# Reference to a Classical Regularity Theorem

(Edited)

## I need a reference to the following result:

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, 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.

## Notations:

$$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$$.

MathOverflow Asked by artful_dodger on January 3, 2022

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

## Related Questions

### Does the following sum converge?

1  Asked on December 21, 2021 by ryan-chen

### Is a homotopy sphere with maximum Morse perfection actually diffeomorphic to a standard sphere?

0  Asked on December 21, 2021 by fredy

### Differential birational equivalence

0  Asked on December 20, 2021

### Calculating $n$-dimensional hypervolumes ($n sim 50$), for example

1  Asked on December 20, 2021 by luka-klini

### Definition of a system of recurrent events

1  Asked on December 20, 2021 by rob-arthan

### Regularity of a conformal map

2  Asked on December 20, 2021 by amorfati

### Is there a standard definition of weak form of a nonlinear PDE?

1  Asked on December 20, 2021

### Is there an algebraic version of Darboux’s theorem?

1  Asked on December 20, 2021

### The strength of “There are no $Pi^1_1$-pseudofinite sets”

1  Asked on December 20, 2021

### Are groups with the Haagerup property hyperlinear?

1  Asked on December 18, 2021 by maowao

### Proof of second incompleteness theorem for Set theory without Arithmetization of Syntax

0  Asked on December 18, 2021

### Characterization of effective descent morphism

0  Asked on December 18, 2021 by kind-bubble

### Analogue of decay of Fourier coefficients of a smooth function on $mathbb{S}^1$

2  Asked on December 18, 2021

### Strong Data Processing Inequality for capped channels

1  Asked on December 18, 2021 by thomas-dybdahl-ahle

### lattice suprema vs pointwise suprema

2  Asked on December 18, 2021 by giuliosky

### In infinite dimensions, is it possible that convergence of distances to a sequence always implies convergence of that sequence?

2  Asked on December 18, 2021

### Are those distributional solutions that are functions, the same as weak solutions?

0  Asked on December 18, 2021

### Ability to have function sequence converging to zero at some points

1  Asked on December 16, 2021 by mathcounterexamples-net

### Curious anti-commutative ring

1  Asked on December 16, 2021 by robert-bruner

### Minkowski (box-counting) dimension of generalized Cantor set

0  Asked on December 16, 2021