Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

In the book of Gilbar Trudinger (Elliptic partial differential equations of second order), the theorem 4.6 (page $60$) give the following estimate: $$|u|'_{2,\alpha;B_1}\leq C(|u|_{0;B_2}+R^2|f|'_{0,\alpha;B_2}),$$ where $u$ is a Poisson equation solution $(\Delta u=f)$, and $B_1$ and $B_2$ are two concentrics balls.

In the end of the page, he claims that this estimate implies in the equicontinuity on compact subdomains of the second derivatives of any bounded set of solutions of Poisson's equation.

I can see why the first derivatives are equicontinuity, because with this estimate applied in the second derivatives, implies in the boundness uniform of the second derivatives and this implies that the first derivatives of the bounded set of solutions of Poisson's equations is uniformly Lipschitz. But I can't to explain why the second derivatives are equicontinuity. Someone understood this consequence? Thank you.

share|improve this question

1 Answer 1

up vote 0 down vote accepted

Functions that are uniformly bounded in a Holder space are equicontinuous, in this case, the second derivatives are uniformly bounded in $C^\alpha$.

share|improve this answer
    
In fact, all derivatives are in a Holder space, this is correct? –  José Carlos Feb 11 '13 at 2:58
    
Up to the 2nd derivatives, yes. –  Ray Yang Feb 11 '13 at 9:33
    
This norm $|\cdot|_{2,\alpha,B}$ envolves every derivatives of order $0$, $1$ and $2$? –  José Carlos Feb 11 '13 at 23:25
    
Yes, it does. It's usually defined as $\|u\|_{2,\alpha,B} = \|u\|_\infty + \|Du\|_\infty + \|D^2 u\|_\infty + [D^2 u]_{C^\alpha}$, although equivalent formulations are possible. –  Ray Yang Feb 12 '13 at 15:38

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.