5
$\begingroup$

Let $u\in H^1(\Omega)$ with $\nabla\times u=0$ in $\Omega\subset\mathbb{R}^3$ (open bounded domain), $u\times n=0$ on $\partial\Omega$ (where $n$ is a a normal vector to $\partial\Omega$), $\operatorname{div}(u)=0$ in $\Omega$ and $u\cdot n=0$ on $\partial\Omega$.

Prove that $u=0$.

Thanks.

$\endgroup$
1
$\begingroup$

For $u\in H^1(\Omega)$, you can write : \begin{equation} ||u||_{H^1(\Omega)}\leq C \{ ||u||_{L^2(\Omega)}+ ||div\ u||_{L^2(\Omega)} + ||curl\ u||_{L^2(\Omega)} + ||u\cdot n||_{H^{\frac{1}{2}}(\partial\Omega)}\} \end{equation} or, \begin{equation} ||u||_{H^1(\Omega)}\leq C \{ ||u||_{L^2(\Omega)}+ ||div\ u||_{L^2(\Omega)} + ||curl\ u||_{L^2(\Omega)} + ||u\times n||_{H^{\frac{1}{2}}(\partial\Omega)}\}. \end{equation} Now if $$u =div\ u=curl\ u = 0 \quad\mbox{ in }\Omega$$ and $$u\cdot n =0 \quad \mbox{ or, }\quad u\times n =0 \quad\mbox{ on }\partial\Omega$$ then following the above estimates you can conclude $$u = 0 \quad\mbox{ in }\Omega.$$

$\endgroup$
0
$\begingroup$

I could not comment in the above answer by tuhin, but strangely it assumes $u=0$ to prove $u=0$!!!!

This result is actually far from trivial. It is not necessarily true if you only assume $\Omega$ to be just open and bounded. However, if you assume $\partial\Omega$ to be $C^{2},$ the result is true.

See Theorem 5.21 in the book "The Pullback Equation for Differential Forms" by Csato, Dacorogna, Kneuss, Progress in Nonlinear Differential Equations and their Applications, 83. Birkhäuser/Springer, New York, 2012.

The estimate, simplified to the case of the question is $$ \lVert u \rVert_{H^1(\Omega)} \leq C \left( \lVert \operatorname*{curl}u \rVert_{L^2(\Omega)} + \lVert \operatorname*{div}u \rVert_{L^2(\Omega)} + \lVert n \times u \rVert_{H^{1/2}(\partial\Omega)} + \lVert n \cdot u \rVert_{L^1(\partial\Omega)} \right).$$

The estimate itself is a corollary of Theorem 2 in Bolik's paper--- Bolik, Jürgen, "H. Weyls Boundary Value Problems for Differential Forms", Differential Integral Equations 14 (2001), no. 8, 937–952.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.