# Second-order $L^2$-regularity in nonlinear elliptic problems

## TL;DR

This paper establishes second-order regularity results for solutions to nonlinear elliptic equations like the p-Laplace, demonstrating the existence of square-integrable derivatives of nonlinear gradient expressions under minimal boundary regularity.

## Contribution

It develops a second-order $L^2$-regularity theory for nonlinear elliptic equations with minimal boundary regularity assumptions, filling a gap in the nonlinear PDE literature.

## Key findings

- Proves existence of square-integrable derivatives of nonlinear gradient expressions.
- Establishes local and global regularity estimates for solutions.
- Shows no boundary regularity needed if the domain is convex.

## Abstract

A second-order regularity theory is developed for solutions to a class of quasilinear elliptic equations in divergence form, including the $p$-Laplace equation, with merely square-integrable right-hand side. Our results amount to the existence and square integrability of the weak derivatives of the nonlinear expression of the gradient under the divergence operator. This provides a nonlinear counterpart of the classical $L^2$-coercivity theory for linear problems, which is missing in the existing literature. Both local and global estimates are established. The latter apply to solutions to either Dirichlet or Neumann boundary value problems. Minimal regularity on the boundary of the domain is required. If the domain is convex, no regularity of its boundary is needed at all.