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

Ben Dutton,Nikos Katzourakis
2024-12-16
Abstract: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}_\infty(u,\Omega') :=\underset{\Omega'}{\mathrm{ess}\sup}\hspace{1mm}\mathrm H (\cdot,u,\mathrm D u,\mathrm D^2u ) , \ \ u\in W^{2,\infty}(\Omega), \ \Omega' \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.
Analysis of PDEs
What problem does this paper attempt to address?