Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

let $M$ be a Riemannian manifold and $\alpha$ be any some unknown form on $M$. I am interested in solutions or some references of the equation of type $(d + \delta) \alpha = 0$ where $\delta$ is the Hodge operator. And also with some boundary conditions. Is there any literature (books) on this, or papers? Tanks in advance.

share|improve this question
    
Please see the FAQ, and also mathoverflow.net/howtoask This is an overly broad reference request. –  David Roberts May 22 '12 at 6:27
    
I added a tag {} –  David Roberts May 22 '12 at 6:27
1  
This equation is a bit problematic. If $\alpha$ is a $k$-form, then $d\alpha$ is a $(k+1)$-form and $\delta\alpha$ is a $(k-1)$-form. I suppose you could interpret this equation as living on the entire space of forms, i.e., $\alpha$ is of mixed type. Did you mean to solve $(d+\delta)^2\alpha=0$? Those are the harmonic forms. –  Brendan Foreman May 22 '12 at 16:38
    
Is $M$ compact? Is it perhaps not compact but complete? –  Ben McKay May 28 '12 at 12:10

3 Answers 3

On a compact manifold, the conditions $(d{+}\delta)\alpha=0$ and $\Delta\alpha=0$ are equivalent, but this is not true on noncompact manifolds or manifolds with boundary, and I suspect that this is the situation in the original question.

For example, take the flat metric on $\mathbb{R}^n$ and consider the case of a $1$-form $\alpha$. The (local and global) solutions of $(d{+}\delta)\alpha=0$ are given by $\alpha = da$ where $a$ is any solution to the (determined elliptic) equation $\Delta a = 0$, while the (local and global) solutions of $\Delta \alpha = 0$ are $\alpha = \alpha_1\ dx^1 + \cdots + \alpha_n\ dx^n$, where $\Delta \alpha_i = 0$ for all $i$. Obviously, when $n>1$, there are a lot more solutions of the latter equation than the former.

Moreover, if one wants to specify boundary data that will make the solution unique, then it's clear that one will have to specify boundary data completely differently in the two cases. For example, for solutions of the equation $(d{+}\delta)\alpha=0$ on a domain $D\subset\mathbb{R}^n$ with smooth boundary, specifying the pullback of $\alpha$ to $\partial D$, say, $(\partial D)^*\alpha = \phi$, clearly won't work unless $\phi\in \Omega^1(\partial D)$ satisfies $d\phi=0$ and $[\phi]\in H^1_{dR}(\partial D)$ lies in the image of the restriction mapping $H^1_{dR}(D)\to H^1_{dR}(\partial D)$. On the other hand, for the second equation $\Delta\alpha=0$, the appropriate boundary problem would be to specify the restriction (not the pullback) of $\alpha$ to $\partial D$.

Similar remarks apply for $k$-forms with $k>1$ on a general Riemannian manifold with boundary. This problem is not immediately reducible to the Hodge theorem for compact orientable manifolds without boundary.

share|improve this answer

Warner, ''Foundations of differentiable manifolds and Lie groups'' Jost, ''Riemannian geometry and geometric analysis'', Wells: ''Differential analysis on complex manifolds''. Each of these books contains a chapter concerning this PDE.

share|improve this answer
    
where exactly in Jost "Riemannian geometry and geometric analysis" do I find this? –  pascal May 22 '12 at 12:17
1  
2nd edition, Theorem 2.2.1, page 88ff –  Johannes Ebert May 22 '12 at 14:03
    
I do not see from this theorem how to solve a equation like $(\delta + d)\alpha = 0$? what do you mean ? –  pascal May 22 '12 at 14:31
2  
The theorem is called Hodge theorem and it has several equivalent formulations. You can read in, say Warners book, how the different formulations relate to each other. –  Johannes Ebert May 22 '12 at 17:07

For manifolds with or without boundary, I can think of two references that discuss your question in great detail. The first is Ch. Morrey's classic,

Multiple integrals in the calculus of variations, Springer Verlag

The second reference is the first volume of M. Taylor's three volume monograph on PDE's. The language in this reference may be more familiar to the modern reader.

For manifolds without boundary you can also try my lectures.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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