Gradient regularity for widely degenerate elliptic partial differential equations

TL;DR

This paper studies the regularity of solutions to a class of degenerate elliptic PDEs where ellipticity vanishes on a set, proving continuity of certain derivatives under broad conditions.

Contribution

It establishes the continuity of derivatives for solutions to degenerate elliptic equations with ellipticity vanishing on a convex set, extending regularity theory.

Findings

Proves regularity of weak solutions with degeneracy on a convex set.

Shows continuity of derivatives vanishing on the degeneracy set.

Handles arbitrary data in L^{n+σ} for some σ > 0.

Abstract

In this paper, we investigate the regularity of weak solutions $u\colon\Omega\to\mathbb{R}$ to elliptic equations of the type \begin{equation*} \mathrm{div}\, \nabla \mathcal{F}(x,Du) = f\qquad\text{in $\Omega$}, \end{equation*} whose ellipticity degenerates in a fixed bounded and convex set $E\subset\mathbb{R}^n$ with $0\in \mathrm{Int}\, E$. Here, $\Omega\subset\mathbb{R}^n$ denotes a bounded domain, and $\mathcal{F} \colon \Omega\times\mathbb{R}^n \to\mathbb{R}_{\geq 0}$ is a function with the properties: for any $x\in\Omega$, the mapping $\xi\mapsto \mathcal{F}(x,\xi)$ is regular outside $E$ and vanishes entirely within this set. Additionally, we assume $f\in L^{n+\sigma}(\Omega)$ for some $\sigma > 0$, representing an arbitrary datum. Our main result establishes the regularity \begin{equation*} \mathcal{K}(Du)\in C^0(\Omega) \end{equation*} for any continuous function $\mathcal{K}\in C^0(\mathbb{R}^n)$ vanishing on $E$.