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

- haakon.io on Why fry rice before boiling?
- Joshua Engel on Why fry rice before boiling?
- Peter Machado on Why fry rice before boiling?
- Lex on Does Google Analytics track 404 page responses as valid page views?
- Jon Church on Why fry rice before boiling?

Recent Questions

- How Do I Get The Ifruit App Off Of Gta 5 / Grand Theft Auto 5
- Iv’e designed a space elevator using a series of lasers. do you know anybody i could submit the designs too that could manufacture the concept and put it to use
- Need help finding a book. Female OP protagonist, magic
- Why is the WWF pending games (“Your turn”) area replaced w/ a column of “Bonus & Reward”gift boxes?
- Does Google Analytics track 404 page responses as valid page views?

© 2023 AnswerBun.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP