3
$\begingroup$

I have started reading Chapter 10 of Brezis' Functional Analysis and run into a problem in the proof of Theorem 10.1. I have a question regarding the part where it's shown that $A$ is maximal monotone.(Pages attached below)

Theorem 10.1 and Theorem 9.25

So far I have figured this much. Here $\Omega$ is of class $C^{\infty}$ with $\Gamma = \partial \Omega$ bounded. Take any $f \in L^2(\Omega)$. We have by a previous theorem that $\exists$ a unique weak solution to $$u - \Delta u =f \text{ in } \Omega$$ $$ u = 0 \text{ on } \Gamma = \partial \Omega $$ That is, $u \in H_{0}^1(\Omega)$ and $$\int_{\Omega} \nabla u \cdot \nabla \phi + \int_{\Omega}u \phi = \int_{\Omega}f \phi \ \ \ \forall \phi \in H_{0}^1(\Omega)$$ Then by Theorem 9.25, $u \in H^2(\Omega)$ and $\left \| u \right \|_{H^2} \leq C \left \| f \right \|_{L^2}$.

From here on how can we proceed to show that the weak solution $u$ actually turns out to be a classical solution? This has been shown to be true if $u \in C^2(\bar{\Omega})$ as in the image below: Classical solution from weak solution

But I can't see if that applies here or how. I feel like this might be an easy step, but I seem to be stuck. Any help is greatly appreciated


Theorem 10.1 and Theorem 9.25


Classical solution from weak solution

$\endgroup$

1 Answer 1

0
$\begingroup$

The weak solution $u$ is not necessarily classical in this case. Since $f\in L^2$ we conclude that $u \in H^2(\Omega)$. For $u\in C^2(\bar{\Omega})$ we require that $u-\Delta u \in C(\Omega)$ but without additional a priori estimates on $f$ there is no way to improve regularity on $u$. As Theorem 9.25 states, Sobolev embeddings will ensure that $H^m(\Omega)\subset C(\Omega)$ provided $m$ is sufficiently large.

From the information you provided, in the proof that $A$ is maximal monotone it seems it is only required that $u\in H^2(\Omega)\cap H^1_0(\Omega)$ and not $u\in C^2(\bar{\Omega})$.

$\endgroup$
0

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .