elliptic regularity on manifolds - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T00:24:01Z http://mathoverflow.net/feeds/question/117409 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/117409/elliptic-regularity-on-manifolds elliptic regularity on manifolds student 2012-12-28T14:52:40Z 2013-01-03T17:41:58Z <p>Hello!</p> <p>I'm reading the book of T. Aubin Some nonlinear problems in Riemannian geometry. In chapter 3 he introduces elliptic operators on manifolds, but then he gives regularity results for elliptic operators on bounded open sets of $\mathbb{R}^n$. How these results extend to the manifold setting? More precisely, let $(M,g)$ be a $n$-dimensional smooth compact Riemannian manifold without boundary, $T$ be a linear elliptic differential operator of order $2m$ with (in local coordinates) smooth coefficients.<br> Let $f\in L^{p}\left(M\right)$ with $1&lt; p&lt;\infty$ and suppose there exist $u\in L^{q}\left(M\right)$ with $1&lt; q&lt;\infty$ s.t. $$\int_{M}u T^{*}\left(v\right)=\int_{M}fv$$ for all $v\in C^{\infty}\left(M\right)$ with $T^{*}$ the adjoint of $T$ w.r.t. the metric $g$. What can be said about $u$? Which kind of estimates does it satisfy? How can i use the theory on bounded open sets of euclidean spaces to get elliptic estimates on $u$?</p> <p>EDIT: I'd like to prove the following proposition: Let $\left(M,g\right)$ compact Riemannian manifold without boundary, $T$ a linear elliptic operator of order $2m$ with smooth coefficients. Let $f\in L^{p}\left(M\right)$ with $1&lt; p&lt;\infty$ and suppose there exist $u\in L^{q}\left(M\right)$ with $1&lt; q&lt;\infty$ s.t. $$\int_{M}u T^{*}\left(v\right)=\int_{M}fv$$ for all $v\in C^{\infty}\left(M\right)$ with $T^{*}$ the adjoint of $T$ w.r.t. the metric $g$. Then $u\in W^{2m,p}\left(M\right)$ and satisfies the estimate</p> <p>$$\left\|u\right\|<em>{W^{2m,p}\left(M\right)} \le \left(M,T,g,m,p\right)\left(\left\|f\right\|</em>{L^{p}\left(M\right)}+ \left\|u\right\|_{L^{p}\left(M\right)} \right)$$</p> <p>Proof (tentative): I do the convolution $u_k = J_{\frac{1}{k}} \star u$ with $J_{\epsilon}$ the smoothing kernel. So i have </p> <p>$$u_k\rightarrow u$$ </p> <p>in $L^{q}$ moreover for every $v\in C^{\infty}\left(M\right)$ </p> <p>$$\lim_{k\rightarrow +\infty}\int_{M}T\left(u_k\right)v=\lim_{k\rightarrow +\infty}\int_{M}u_k T^{*}\left(v\right)=\int_{M}u T^{*}\left(v\right)=\int_{M}f v$$</p> <p>so $T\left(u_k\right)$ converges weakly in $L^p\left(M\right)$ to $f$ and because of this</p> <p>$$\left\|T\left(u_k\right)\right\|_{L^{p}\left(M\right)}\leq C\left(f\right)$$</p> <p>Now take an open covering $\lbrace B_{r,j}\rbrace_{j\in J}$ with $B_{r,j}$ open sets diffeomorphic to balls of radius $r$ sufficiently small and $\chi_j$ cutoff functions s.t. $\chi_{j}=1$ identically on $B_{2r,j}$ and $\chi_{j}=0$ identically outside $B_{3r,j}$. By Local theory i have that</p> <p>$$\left\|\chi_j u_k\right\|<em>{W^{2m,p}\left(B</em>{3r,j}\right)}\leq C_j\left(\left\|T\left(\chi_j u_k\right)\right\|<em>{L^p\left(B</em>{3r,j}\right)}+ \left\|\chi_j u_k\right\|<em>{L^p\left(B</em>{3r,j}\right)}\right)\leq C_j\left(\left\|T\left(\chi_j u_k\right)\right\|<em>{L^p\left(B</em>{3r,j}\right)}+ \left\|u_k\right\|_{L^p\left(M\right)}\right)$$</p> <p>Thanks to Deane i made some steps forward, </p> <p>$$\left\|\chi_j u_k\right\|<em>{W^{2m,p}\left(B</em>{3r,j}\right)}\leq C_j\left(\left\|\chi_j T\left(u_k\right)\right\|<em>{L^p\left(B</em>{3r,j}\right)}+ \left\|u_k\right\|_{L^p\left(M\right)} + C_j\left(T\right)\left\|\chi_j \right\|<em>{W^{2m,\infty}\left(B</em>{3r,j}\right)}\left\|u_k\right\|<em>{W^{2m-1,p}\left(B</em>{3r,j}\right)}\right)$$</p> <p>that becomes</p> <p>$$\left\|\chi_j u_k\right\|<em>{W^{2m,p}\left(B</em>{3r,j}\right)}\leq C_j\left(\left\|T\left(u_k\right)\right\|_{L^p\left(M\right)}+ \left\|u_k\right\|_{L^p\left(M\right)} + C_j\left(T\right)\left\|\chi_j \right\|<em>{W^{2m,\infty}\left(B</em>{3r,j}\right)}\left\|u_k\right\|<em>{W^{2m-1,p}\left(B</em>{3r,j}\right)}\right)$$</p> <p>By Ehrling's lemma (thm $7.30$ of Renardy-Rogers book Introduction to PDEs) i have that $\forall \epsilon_j>0$ exist $c\left(\epsilon_j\right)>0$ s.t.</p> <p>$$\left\| u_k\right\|<em>{W^{2m-1,p}\left(B</em>{3r,j}\right)}\leq \epsilon_j\left\|u_k\right\|<em>{W^{2m,p}\left(B</em>{3r,j}\right)}+ c\left(\epsilon_j\right)\left\|u_k\right\|<em>{L^p\left(B</em>{3r,j}\right)}$$</p> <p>that implies</p> <p>$$\left\|\chi_j u_k\right\|<em>{W^{2m,p}\left(B</em>{3r,j}\right)}\leq \tilde{C}_j\left(T,\epsilon_j,\chi_j\right)\left[ \left\|T\left(u_k\right)\right\|_{L^p\left(M\right)}+ \left\|u_k\right\|_{L^p\left(M\right)} \right] + \epsilon_jC_j\left(T\right)\left\|\chi_j\right\|<em>{W^{2m,\infty}\left(B</em>{3r,j}\right)}\left\|u_k\right\|_{W^{2m,p}\left(M\right)}$$</p> <p>Choosing $\epsilon_j$ small enough i have at last</p> <p>$$\left\| u_k\right\|_{W^{2m,p}\left(M\right)}\leq \tilde{C}\left(T,\epsilon_j,\chi_j\right)\left[ \left\|T\left(u_k\right)\right\|_{L^p\left(M\right)}+ \left\|u_k\right\|_{L^p\left(M\right)} \right]$$</p> <p>Now i suppose $p\geq q$ so</p> <p>$$\left\| u_k\right\|_{W^{2m,p}\left(M\right)}\leq \tilde{C}\left(T,\epsilon_j,\chi_j\right)\left[ C\left(f\right)+ \left\|u\right\|_{L^q\left(M\right)} \right]$$</p> <p>and by Sobolev embedding the best i can say is that $u\in W^{2m-1,p}\left(M\right)$ and it satisfies</p> <p>$$\left\|u\right\|<em>{W^{2m-1,p}\left(M\right)}\leq C\left( C\left(f\right)+ \left\|u\right\|</em>{L^{q}\left(M\right)} \right)$$ </p> <p>How can i gain the $W^{2m,p}$ regularity and the estimates? How can i deal with the case $q$ is smaller than $p$?</p>