Existence, uniqueness, and regularity for linear parabolic PDE on a complete Riemannian manifold - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T02:49:30Z http://mathoverflow.net/feeds/question/86666 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/86666/existence-uniqueness-and-regularity-for-linear-parabolic-pde-on-a-complete-riem Existence, uniqueness, and regularity for linear parabolic PDE on a complete Riemannian manifold Deane Yang 2012-01-25T23:15:13Z 2012-06-15T22:37:13Z <p>Let $M$ be a smooth manifold with a complete Riemannian metric $g$ and $E$ a smooth vector bundle over $M$ with an inner product and compatible connection $\nabla$. Let $K: E \rightarrow E$ be a smooth bundle map. Then I believe the following is true:</p> <p>Given any smooth compactly supported section $u_0$ of $E$, there exists a unique solution $u: [0,\infty) \times M \rightarrow E$ of the linear heat equation $$\partial_t u = g^{ij}\nabla_i\nabla_j u + Ku$$ such that $u$ is smooth for $t > 0$ and the $L^p$ norm of $u(t,\cdot)$ is bounded for each $t \ge 0$ and $1 \le p \le \infty$.</p> <p>If I'm wrong, please explain. Otherwise, is there a reference for this somewhere? If not the exact theorem, a proof of a similar theorem that can be adapted to a proof of this?</p> <p>ADDED: I'm mostly interested in proving the existence statement and preferably using a standard PDE approach. It appears to me that there is a straightforward argument starting by approximating the equation by the standard constant coefficient heat equation on a sufficiently small co-ordinate chart and patching together local solutions to the constant coefficient equation to get a global section. You then use a priori estimates to show that the global section is an approximate solution to the original system. This can then be iterated into an exact solution. But the details are a bit tedious, so it would be nice if I could find it all written down somewhere. And it would be nice to be clear about what, if any, assumptions on the Riemannian metric are needed to make this all work.</p> <p>ADDED: I'm being a little slow here. Since everything is linear and homogeneous, it <em>suffices</em> to prove existence for initial data supported on a sufficiently small co-ordinate chart. If you start with compactly supported initial data, then you can always write it as a finite sum, where each term is supported in a sufficiently small open set.</p> <p>ADDED: I took another quick look at a partition of unity argument for reducing the question to solving a parabolic PDE on an open set in $R^n$. It looks like this really does work pretty easily. But it still seems like something that someone should write up carefully and publish in a book somewhere.</p> http://mathoverflow.net/questions/86666/existence-uniqueness-and-regularity-for-linear-parabolic-pde-on-a-complete-riem/86692#86692 Answer by Anatoly Kochubei for Existence, uniqueness, and regularity for linear parabolic PDE on a complete Riemannian manifold Anatoly Kochubei 2012-01-26T06:11:46Z 2012-01-26T06:11:46Z <p>There is a paper <a href="http://ir.library.osaka-u.ac.jp/metadb/up/LIBOJMK01/ojm32_02_04.pdf" rel="nofollow">http://ir.library.osaka-u.ac.jp/metadb/up/LIBOJMK01/ojm32_02_04.pdf</a> by K. Sturm considering parabolic equations in a still greater generality, in the language of Dirichlet forms. It contains a long list of references, some of which are related to your question.</p> http://mathoverflow.net/questions/86666/existence-uniqueness-and-regularity-for-linear-parabolic-pde-on-a-complete-riem/86866#86866 Answer by Martin Gisser for Existence, uniqueness, and regularity for linear parabolic PDE on a complete Riemannian manifold Martin Gisser 2012-01-27T23:06:28Z 2012-01-27T23:26:37Z <p>I've played with such things 15 years ago. Here's what I remember...</p> <p>Sure you need some semi-boundedness condition on K. Uniqueness should then follow via semigroup domination (aka Kato's inequality) from scalar case.</p> <p>I. Shigekawa, L^p Contraction Semigroups for Vector Valued Functions, J. Funct. Analysis 147 (1997), 69-108</p> <p>Shigekawa had rediscovered Barry Simon's semigroup domination criterion (i.e. Kato's inequality) and generalized it to the vector valued things.</p> <p>See also:</p> <p>R.S. Strichartz, Analysis of the Laplacian on the Complete Riemannian Manifold, J. Funct. Analysis 52 (1983), 48-79. Scalar case: Theorem 3.5 - but has uniqueness only for 1&lt; p&lt;∞.</p> <p>(Some details in Strichartz' proof(s) for vector valued Laplacians not optimal (classic problems with doing tensor calculus and Stokes...) not even in the follow-up paper "L^p contractive projections and the heat semigroup for differential forms" J. Funct. Analysis, 65 (1985), 348-357)</p> <p>Perhaps look also for El Maati Ouhabaz ca. 1999. He's written a book, "Analysis of Heat Equations on Domains" (2004) but I never got hold of it.</p>