Orthonormal basis of $L^2$ and it's impact on the solution to the heat equation.

320 Views Asked by At

If we consider the homogeneous Dirichlet eigenvalue problem on a bounded domain $\Omega\subset\Bbb R^n$ - (one part of my question is if we can assume $\Omega$ to be a Lipschitz domain and still expect to be able to solve the eigenvalue problem) - we obtain an orthonormal basis $\{\varphi_k\}_{k=1}^\infty$ of $L^2(\Omega)$ consisting of the eigenfunctions. Since $H^1(\Omega)\subset L^2(\Omega)$ we can express a $H^1$ function as an infinite sum of eigenfunctions.

Consider the following three heat equations, (Dirichlet, Neumann, Mixed)

$$\left\{\begin{align}u_t-\Delta u&=f,\quad (x,t)\in\Omega\times(0,T),\\ u&=0,\quad (x,t)\in\partial\Omega\times(0,T),\\ u|_{t=0}&=g,\quad x\in\Omega\end{align}\right.$$

$$\left\{\begin{align}u_t-\Delta u&=f,\quad (x,t)\in\Omega\times(0,T),\\ \frac{\partial u}{\partial n}&=0,\quad (x,t)\in\partial\Omega\times(0,T),\\ u|_{t=0}&=g,\quad x\in\Omega\end{align}\right.$$

$$\left\{\begin{align}u_t-\Delta u&=f,\quad (x,t)\in\Omega\times(0,T),\\ u&=0,\quad (x,t)\in\partial\Omega_1\times(0,T),\\ \frac{\partial u}{\partial n}&=0,\quad (x,t)\in\partial\Omega_2\times(0,T),\\ u|_{t=0}&=g,\quad x\in\Omega\end{align}\right.$$

In the mixed case $\partial\Omega=\partial\Omega_1\cup\partial\Omega_2$, and $n$ is the unit outward normal to whichever boundary portion is in consideration.

The weak formulation to each problem is posed on the space $H^1_0(\Omega)$, $H^1(\Omega)/\Bbb R=\{v\in H^1(\Omega):\int_\Omega v=0\}$, and $H^1_E(\Omega)=\{v\in H^1(\Omega):v|_{\partial\Omega_1}=0\}$, respectively. In this way I can see how the weak solutions differ in nature.

We can use Galerkin approximation to show existence to the three problems, by taking the orthonormal basis $\{\varphi_k\}_{k=1}^\infty$ from the eigenvalue problem, and writing the solution $u(x,t)=\sum_{k=1}^\infty c_k(t)\varphi_k$, and approximating by $u^N(x,t)=\sum_{k=1}^N c_k(t)\varphi_k$, plugging this into the weak formulation $$\int_\Omega u_t\varphi+\nabla u\cdot\nabla\varphi=\int_\Omega f\varphi$$ for all $\varphi$ in the respective spaces given above, arriving at a system of ODE's for which we determine the values $c_k(t)$, $k=1,\ldots, N$.

From here we have our approximate solution $u^N$, and by obtaining suitable energy estimates, we are allowed to take the limit $N\to\infty$, to obtain the solution $u$.

My question (asides from the necessary domain boundary regularity) is that since the weak formulation is the same, so is the system of PDE's for $c_k(t)$, so in what sense are the solutions to the Dirichlet and mixed Dirichlet-Neumann problem different (the difference between the pure Neumann problem and the others that is clear to me is the fact that the solution integrates to zero)?

To be more concise, it seems that the solutions should satisfy different BC's but the closed form of the solution (written as the sum $\sum_{k=1}^\infty c_k(t)\varphi_k$) seems to be the same.