f5db7bff867fedd7.tex
1: \begin{definition}{\bf\text (Weak solution)}\label{def}
2: The function $u(x,t)$, defined for all $(x,t)\in\mathbb{R}^+\times\mathbb{R}^+$,
3: is a weak solution for \eqref{spe}, if initial and boundary conditions \eqref{ID1} and \eqref{CC} 
4: are satisfied pointwisely and
5: 	\begin{itemize}
6: 	\item[i.] The equation (\ref{spe}) is satisfied in the weak sense		
7: 	\beq\label{weak}
8: 			\int_{0}^\infty\int_{0}^\infty \Big\{-u_{x}\, 
9: 			(\phi_t+f'(u)\,\phi_x)+(\lambda-1)\, f''(u)u_x^2\,\phi\Big\}\, dx\, dt=0,
10: 		\eeq
11: 		for any test function $\phi\in C_c^1(\mathbb{R}^+\times\mathbb{R}^+)$.
12: 	\item[ii.] For any fixed $t>0$, the function $u(\cdot,t)$ is in $W_{loc}^{1,\frac{1}{\la}}( \RR^+)$, hence is locally H\"older continuous with exponent $1-\la$ by the Sobolev embedding Theorem. 
13: 	%\item[iii.] $u_t+ f'(u)\,u_x$ has finite $L^\infty$-norm 
14: 			%on any bounded subset of $\mathcal{A}$.
15: 	\end{itemize}			
16: \end{definition}
17: