6
$\begingroup$

For smooth domains $\Omega$ in $\mathbb{R}^n$ it is known that one can decompose vector fields in $L^p(\Omega)^n$, $1 < p <\infty $ into a "gradient"- and a "divergence-free"-part such that

$L^p(\Omega)^n=G^p(\Omega) \oplus D^p(\Omega)$,

where $G^p(\Omega)= \{ w\in L^p(\Omega)^n; w= \nabla p$ for some $p\in W^{1,p}(\Omega)\}$, and $D^p(\Omega)$ is the completion of $\{ u\in \mathcal{C}^\infty_0(\Omega)^n; \nabla \cdot u=0 \}$ in $L^p$.

Is such a decomposition also available on a compact Riemannian manifold (with boundary) $M$ with respect to the gradient- and divergence-operator induced by the Riemannian metric? Does one additionally have a "annihilator"-property in the spirit of $D^p(\Omega)^\perp = G^q(\Omega)$ (with dual exponent $q$)?

$\endgroup$
3
  • 7
    $\begingroup$ For closed manifolds this is established in jstor.org/stable/2154923 $\endgroup$ Sep 2, 2011 at 12:01
  • $\begingroup$ It seems to me that the formula for L^p(Ω)^n should have direct sum instead of tensor product. $\endgroup$ Sep 3, 2011 at 19:48
  • 1
    $\begingroup$ Concerning the comment of Willie Wong: This paper deals only with manifolds without boundary. A later paper including manifolds with boundary would be springerlink.com/content/c0737x2130116676. However, I have some doubts about the results on orthogonal complements (see the table after Theorem 5.7), since the proof seems to rely on a L^p-decomposition of a function in L^q (without having the appropriate embedding, see at the end of page 67). $\endgroup$
    – Sören
    Sep 5, 2011 at 12:15

1 Answer 1

3
$\begingroup$

Günter Schwarz, Hodge Decomposition - A Method for Solving Boundary Value Problems, Lecture Notes in Maths 1607 (1995)

$\endgroup$

Your Answer

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

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