MathOverflow Asked by artful_dodger on January 3, 2022
(Edited)
If $u in H^2(B_1^+) cap {rm Lip}(B_1^+)$ satisfies
begin{cases}
{rm div}(F(x,u,nabla u)) = F_0(x,u,nabla u) quad & {rm in} B_1^+ \
u = 0 & {rm on} B_1′
end{cases}
where
$$F in C^{1,beta}(B_1^+timesmathbb{R}timesmathbb{R}^{n+1};mathbb{R}^{n+1}), quad F_0 in C^{0,beta}(B_1^+timesmathbb{R}timesmathbb{R}^{n+1};mathbb{R})$$
for some $0<beta<1$, and
$$langle D_p F(x,u,p) xi,xi rangle ge lambda(M) |xi|^2$$
for some $0 < lambda(M) < + infty$, for every $x in overline{B_1^+}$, $u in mathbb{R}$, and $|p| le M$,
then $u in C^{2,alpha}(overline{B_{1/2}^+})$ for some $0<alpha<1$.
$$B_1^+ = {x = (x’,x_{n+1}) in mathbb{R}^{n+1} : |x| < 1, , , x_{n+1} > 0}$$
is the half-ball and
$$B_1′ = {x = (x’,0) in mathbb{R}^{n+1} : |x’| < 1}$$
is the flat part of its boundary.
Also, we have $n ge 1$.
$H^2$ denotes the Sobolev Space of functions with second order weak derivatives in $L^2$ and ${rm Lip}$ is the space of Lipschitz-continuous funcions, whilst $C^{k,alpha}$ is the space of functions whose $k$-th order classical derivatives are Hölder-continuous of exponent $alpha$.
The discussion from Section 13.1 in the book of Gilbarg and Trudinger shows that $u in C^{1,,alpha}left(B_{3/4}^+right)$. From here one can apply Schauder estimates for linear equations. For example, one can pass the divergence on the left hand side and view $u$ as a solution to a non-divergence form linear equation with Hölder continuous coefficients (namely $F^i_j(nabla u)$, in the case that $F$ depends only on $nabla u$). For the relevant linear theory, see e.g. Section 5.5 from the book of Giaquinta and Martinazzi here.
Answered by Connor Mooney on January 3, 2022
2 Asked on November 3, 2021 by james_t
calculus of variations fa functional analysis integral operators integral transforms integration
1 Asked on November 3, 2021
1 Asked on November 3, 2021
differential equations fa functional analysis fixed point theorems periodic functions
2 Asked on November 3, 2021 by user158636
ag algebraic geometry algebraic surfaces arithmetic geometry
0 Asked on November 3, 2021
0 Asked on November 3, 2021 by qixiao
1 Asked on November 3, 2021
0 Asked on March 4, 2021 by matt-roberts
5 Asked on February 28, 2021 by wanderer
0 Asked on February 25, 2021 by user_501
4 Asked on February 25, 2021 by alexandre-eremenko
1 Asked on February 23, 2021 by rori
3 Asked on February 22, 2021 by penelope-benenati
co combinatorics combinatorial optimization mg metric geometry pr probability
1 Asked on February 21, 2021 by user163784
3 Asked on February 21, 2021 by madeleine-birchfield
axioms ct category theory foundations groupoids higher category theory
0 Asked on February 21, 2021 by ivo-terek
0 Asked on February 21, 2021 by vidit-nanda
ct category theory equivariant homotopy group actions higher category theory
2 Asked on February 20, 2021 by edwin-beggs
1 Asked on February 20, 2021 by sascha
almost periodic function ca classical analysis and odes ergodic theory fourier analysis real analysis
1 Asked on February 18, 2021 by mikhail-tikhomirov
Get help from others!
Recent Answers
Recent Questions
© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP