On Second-Order $L^\infty$ Variational Problems with Lower-Order Terms

• Main Authors: Dutton, Ben, Katzourakis, Nikos
• Format: Journal Article
• Language: English
• Published: 16.12.2024
• Subjects: Mathematics - Analysis of PDEs
• DOI: 10.48550/arxiv.2412.11701

In this paper we study $2$nd order $L^\infty$ variational problems, through seeking to minimise a supremal functional involving the Hessian of admissible functions as well as lower-order terms. Specifically, given a bounded domain $\Omega\subseteq \mathbb R^n$ and $\mathrm H : \Omega\times\big(\mathbb R \times\mathbb R^n \times \mathbb R^{n^{\otimes2}}_s \big) \to \mathbb R$, we consider the functional \[ \mathrm{E}_ınfty(u, \mathcal{O}) :=\underset{ \mathcal{O}}{\mathrm{ess}\sup}\hspace{1mm}\mathrm H (\cdot,u,\mathrm D u,\mathrm D^2u ) , \ \ uın W^{2,ınfty}(\Omega), \ \mathcal{O} \subseteq \Omega \text{ measurable}. \] We establish the existence of minimisers subject to (first-order) Dirichlet data on $\partial \Omega$ under natural assumptions, and, when $n=1$, we also show the existence of absolute minimisers. We further derive a necessary fully nonlinear PDE of third-order which arises as the analogue of the Euler-Lagrange equation for absolute minimisers, and is given by $$ \ \ \mathrm H_{\mathrm X}(\cdot,u,\mathrm D u,\mathrm D^2u): \mathrm D\big(\mathrm H(\cdot,u,\mathrm D u,\mathrm D^2u)\big)\otimes \mathrm D\big(\mathrm H(\cdot,u,\mathrm D u,\mathrm D^2u)\big)=0\ \ \text{ in }\Omega. $$ We then rigorously derive this PDE from smooth absolute minimisers, and prove the existence of generalised D-solutions to the (first-order) Dirichlet problem. Our work generalises the key results obtained in [26] which first studied problems of this type with pure Hessian dependence only, providing at the same time considerably simpler streamlined proofs.