The eigenvalue problem for the ∞-Bilaplacian

We consider the problem of finding and describing minimisers of the Rayleigh quotient Λ∞:=infu∈W2,∞(Ω)∖{0}∥Δu∥L∞(Ω)∥u∥L∞(Ω), Λ∞:=infu∈W2,∞(Ω)∖{0}‖Δu‖L∞(Ω)‖u‖L∞(Ω), where Ω⊆RnΩ⊆Rn is a bounded C1,1C1,1 domain and W2,∞(Ω)W2,∞(Ω) is a class of weakly twice differentiable functions satisfying either u=0u=0 on ∂Ω∂Ω or u=|Du|=0u=|Du|=0 on ∂Ω∂Ω . Our first main result, obtained through approximation by LpLp -problems as p→∞p→∞ , is the existence of a minimiser u∞∈W2,∞(Ω)u∞∈W2,∞(Ω) satisfying {Δu∞∈Λ∞Sgn(f∞)Δf∞=μ∞ a.e. in Ω, in D′(Ω), {Δu∞∈Λ∞Sgn(f∞) a.e. in Ω,Δf∞=μ∞ in D′(Ω), for some f∞∈L1(Ω)∩BVloc(Ω)f∞∈L1(Ω)∩BVloc(Ω) and a measure μ∞∈M(Ω)μ∞∈M(Ω) , for either choice of boundary conditions. Here Sgn is the multi-valued sign function. We also study the dependence of the eigenvalue Λ∞Λ∞ on the domain, establishing the validity of a Faber–Krahn type inequality: among all C1,1C1,1 domains with fixed measure, the ball is a strict minimiser of Ω↦Λ∞(Ω)Ω↦Λ∞(Ω) . This result is shown to hold true for either choice of boundary conditions and in every dimension