For a Hamiltonian $H \in C^2(R^{N \times n})$ and a map $u:\Omega \subseteq R^n \to R^N$, we consider the supremal functional \begin{eqnarray} E_\infty (u,\Omega) := \|H(Du)\|_{L^\infty(\Omega)} . \end{eqnarray} The ``Euler-Lagrange PDE associated to (1) is the quasilinear system \begin{eqnarray} A_\infty u := (H_P \otimes H_P + H[H_P]^\bot H_{PP})(Du):D^2 u = 0. \end{eqnarray} (1) and (2) are the fundamental objects of vector-valued Calculus of Variations in $L^\infty$ and first arose in recent work of the author [28]. Herein we show that the Dirichlet problem for (2) admits for all $n = N \geq 2$ infinitely-many smooth solutions on the punctured ball, in the case of $H(P)=|P|^2$ for the $\infty$-Laplacian and of $H(P)= {|P|^2}{\det(P^\top P)^{-1/n}}$ for optimised Quasiconformal maps. Nonuniqueness for the linear degenerate elliptic system $A(x):D^2u =0$ follows as a corollary. Hence, the celebrated $L^\infty$ scalar uniqueness theory of Jensen [24] has no counterpart when $N \geq 2$. The key idea in the proofs is to recast (2) as a first order differential inclusion $Du(x) \in \mathcal{K} \subseteq R^{n\times n}$, $x\in \Omega$.
Read full abstract