1
$\begingroup$

I am conducting research on partial differential equations and I need a short-time existence result from the literature which I can not find at the moment. More precisely I would like to know the following: In the book "Linear and Quasilinear Equations of Parabolic Type" by Ladyzenskaja and others the following initial value problem is studied: Let $\Omega \subset \mathbb{R}^n$ be a domain and $S$ be its boundary. Furthermore we denote $\Omega_T:= \Omega \times [0, T)$ and $S_T:= S \times [0, T)$. We then study the initial value problem $$ Lu=f, u\mid_{S_T}=0, u \mid_{t=0}= \psi_0(x) \, \, (*)$$ where $L$ is an operator of the form $Lu=\frac{\partial u}{\partial t}-\frac{\partial }{\partial x_i}(a_{ij}u_{x_i}+a_iu)-b_iu_{x_i}-au$, with $a_{ij}(x, t)$ satisfying the inequality $v \sum_{i=1}^n \zeta_i^2 \leq a_{ij} \zeta_i \zeta_j \leq \mu \sum_{i=1}^n \zeta_i^2$. One now has to introduce a concept of weak solutions for this equation: We start with some definitions. We denote by $W^{1, 0}_2(Q_T)$ the Hilbert space with scalar product $$ (u, v)_{W^{1, 0}(Q_T)}= \int_{Q_T} (uv+ u_{x_k}v_{x_k}) dx dt$$ and by $V_2(Q_T)$ the Banach space consisting of all elements of $W^{1, 0}_2(Q_T)$, which have a finite norm $$\vert u \vert_{Q_T}= \mbox{ess sup}_{0 \leq t \leq T} \left( \int_{\Omega} \vert u \vert^q dx \right)^{\frac{1}{q}}+ \left( \int_{Q_T} u_x^2 \right)^{\frac{1}{2}}$$ Moreover we let $\mathring{V_2}(Q_T)$ be the closure of the smooth functions with compact support in $V_2(Q_T)$. \ Now we retun to the problem (): We define a weak solution of () to be a function $u$ from $\mathring{V}_2(Q_T)$ which fulfills for almost all $t_1$ the identity $$I(t_1; u, \eta)= \int_{\Omega} \psi_0(x) \eta(x, 0) ds$$ where we let $$I(t_1; u, \eta)= \int_{\Omega} u(x, t_1) \eta(x, t_1) dx- \int_0^{t_1} \int_{\Omega} u \eta_t dx dt+ \int_0^{t_1} (L_1(u, \eta)+ L_2(, \eta)) dt=0$$ with the abbreviations $$L_1(u, \eta)= \int_M ((a_{ij}u_{x_j}+ a_iu)\eta_{x_i}+ (b_iu_{x_i}+au)\eta)dx$$ and $$ L_2(f, \eta)=\int_M (f_i\eta_{x_i}+ f \eta)dx$$ Then it is shown in the book "Linear and Quasilinear Equations of Parabolic Type" by Ladyzenskaja and others that the problem (*) always has a weak solution which furthermore is contained in $C^{2+\alpha, 1+\frac{\alpha}{2}}(Q_T)$ provided that the coefficients $a_{ij}$, $b_i$, $c$ as well as the free terms $f$ and $\psi_0$ are elements of $C^{\alpha, \frac{\alpha}{2}}(Q_T)$ (this is precisely Theorem 12.1 in Chapter iii). But what I can not find in the book is a statement about the regularity at the boundary, i.e. whether $u$ has to be continuous at the boundary or whatever. \ I thus would like to know: Can somebody say anything about the regularity at the boundary? Is it continuous at least?

$\endgroup$
3

0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.