6
$\begingroup$

Hi!

Let $(M,g)$ be a smooth compact riemannian manifold without boundary. Let $L$ be a linear elliptic operator on $M$ of order $2k$ with smooth coefficients. Suppose i have $u\in W^{2k,2}(M)$ and $f\in C^{0,\alpha}(M)$ such that $$L(u)=f$$ Do i have Schauder estimates of type

$$\left\|u\right\|_{C^{2k,\alpha}\left(M\right)}\leq C\left(L\right)\left\|f\right\|_{C^{0,\alpha}\left( M \right)}$$

I can assume also that $L$ (it would be better for $L$ of general type) is self adjoint and $u$ is $L^2$-orthogonal to $\ker\left(L \right)$.

If yes is there a reference for this kind of result?

Thank you in advance.

Improve this question
$\endgroup$
3
  • $\begingroup$ Dear Italo I have tried to edit your question, it is ok for you? $\endgroup$
    – agt
    Commented Jan 7, 2013 at 15:23
  • $\begingroup$ Perfect! What was the problem? $\endgroup$
    – Italo
    Commented Jan 7, 2013 at 15:24
  • $\begingroup$ When MathJax seems having problems, the basic solution is to enclose between backtips any TeX code containing underscores or asterisks. $\endgroup$
    – agt
    Commented Jan 7, 2013 at 15:38

2 Answers 2

Reset to default
4
$\begingroup$

The result is true with some caveats. Under your assumptions we have the following results.

1. If $u\in W^{2k,2}(M)$ and $Lu\in C^{j,\alpha}(M)$, then $u\in C^{2k+j,\alpha}(M)$.

2. There exists $C>0$ depending only on $M$, $L$, $j$, and $\alpha$ such that, for any $u\in C^{2k+j,\alpha}(M)$ we have

$$\Vert u\Vert_{C^{2k+j,\alpha}} \leq C\Bigl(\; \Vert Lu\Vert_{C^{j,\alpha}}+ \Vert u\Vert\_{C^{0,\alpha}}\;\Bigr) $$

3. There exists $C>0$ depending only on $M$, $L$, $j$, and $\alpha$ such that, for any $u\in C^{2k+j,\alpha}(M)\cap (\ker L)^\perp $ (the $\perp$ refers to the $L^2$-inner product) we have

$$\Vert u\Vert_{C^{2k+j,\alpha}} \leq C \Vert Lu\Vert_{C^{j,\alpha}} $$

For proofs and more details see Chapter 10 of these notes and the references therein.

Improve this answer
$\endgroup$
8
  • $\begingroup$ Thank you very much Liviu! I'm reading your notes, once i work out the details i'll accept the answer! If i need, can i ask you some details? $\endgroup$
    – Italo
    Commented Jan 8, 2013 at 15:33
  • $\begingroup$ Sure, you can ask me any questions. $\endgroup$
    – Liviu Nicolaescu
    Commented Jan 8, 2013 at 16:13
  • $\begingroup$ Dear Liviu i have some questions: 1) how do you get the local $C^{2k,\alpha}$-regularity of $u$ if you only know that $u\in W^{2k,2}(M)$? I had this idea but it brought me nowhere: i can't use the elliptic estimates (thm 10.3.1 part b) of your notes as they are because you assume the $C^{k+j}$-regularity for $u$ so i mollify $u$ with a smoothing kernel $\rho_{\frac{1}{n}}$ obtaining a sequence of smooth functions $u_n=u\star \rho_{\frac{1}{n}}$ and i use cutoffs to come to the euclidean case. $\endgroup$
    – Italo
    Commented Jan 9, 2013 at 15:46
  • $\begingroup$ So i get elliptic estimates of type ` $$\left\|u_n\right\|_{C^{2k,\alpha}(M)}\leq C(L,M,g)\left(\left\|L(u_n)\right\|_{C^{0,\alpha}(M)} +\left\|u_n \right\|_{C^{0,\alpha}(M)} \right)$$ ` but now i can't get the $C^{0,\alpha}(M)$-convergence for $u_n$. $\endgroup$
    – Italo
    Commented Jan 9, 2013 at 15:50
  • $\begingroup$ 2) i've no idea on how to get the last inequality, for the $L^{p}$ case i have the generalized poincare inequality, but for the $C^{2k,\alpha}(M)$ i don't know how to go on. Thank you in advance! $\endgroup$
    – Italo
    Commented Jan 9, 2013 at 15:54
2
$\begingroup$

This is probably more of a comment: Section 3.2 in Lunardi's book contains a broad overview on higher order parabolic problems with lots of references, including the most important Hölder estimates.

On manifolds, you should be able to extend these results using a finite number of coordinate charts (by compactness) as in these notes. But, this is not a reference...

Improve this answer
$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .