Existence, uniqueness and characterisation of vector-valued absolute minimisers for a second order $L^\infty$-variational problem

Nikos Katzourakis; Roger Moser; Simone Carano

arxiv: 2504.04181 · v3 · pith:7BKSKSEInew · submitted 2025-04-05 · 🧮 math.AP

Existence, uniqueness and characterisation of vector-valued absolute minimisers for a second order L^infty-variational problem

Simone Carano , Nikos Katzourakis , Roger Moser This is my paper

Pith reviewed 2026-05-22 21:27 UTC · model grok-4.3

classification 🧮 math.AP

keywords L^∞ variational problemsabsolute minimisersvectorial problemselliptic operatorssecond orderexistence and uniquenessPDE characterisation

0 comments

The pith

Existence, uniqueness and PDE characterisation hold for vector-valued absolute minimisers of a second-order L^∞ variational problem with a general linear elliptic operator.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes existence and uniqueness of a minimiser u_∞ for a vectorial second-order supremal functional that depends on u through a linear elliptic operator in divergence form, subject to fixed Dirichlet boundary conditions. It further shows that this minimiser satisfies a specific system of PDEs. A sympathetic reader would care because the result extends earlier scalar results and the Laplacian case to vectors and arbitrary such operators, supplying a complete variational theory for these L^∞ problems.

Core claim

We study a vectorial L^∞-variational problem of second order, where the supremal functional depends on the vector function u through a linear elliptic operator in divergence form. We prove existence and uniqueness of the minimiser u_∞ under prescribed Dirichlet boundary conditions, together with a characterisation of u_∞ as solution of a specific system of PDEs. Our result extends previous work to the vectorial setting and to more general elliptic operators in place of the Laplacian.

What carries the argument

The supremal functional depending on the vector function u through a linear elliptic operator in divergence form, whose absolute minimisers are characterised by a system of PDEs.

Load-bearing premise

The supremal functional is defined through a linear elliptic operator in divergence form acting on the vector function u.

What would settle it

A specific linear elliptic operator in divergence form together with boundary data for which either no minimiser exists or at least two distinct minimisers exist.

read the original abstract

We study a vectorial $L^\infty$-variational problem of second order, where the supremal functional depends on the vector function $u$ through a linear elliptic operator in divergence form. We prove existence and uniqueness of the minimiser $u_\infty$ under prescribed Dirichlet boundary conditions, together with a characterisation of $u_\infty$ as solution of a specific system of PDEs. Our result can be seen as a twofold extension of the one in Katzourakis-Moser (ARMA 2019): we generalise it to the vectorial setting and, at the same time, we consider more general elliptic operators in place of the Laplacian.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This extends the 2019 scalar result to vectors and general divergence-form elliptic operators via p-approximation, and the argument holds up without gaps.

read the letter

The paper takes the Katzourakis-Moser scalar result on absolute minimizers for a second-order supremal functional and extends it in two directions: to vector-valued maps and to a general linear elliptic operator in divergence form instead of the Laplacian. They prove existence and uniqueness of the minimizer under Dirichlet boundary conditions, plus a characterization as a solution to the corresponding Aronsson-type system. The method follows the usual p-approximation route, uses weak-star compactness in the right Sobolev space, applies a comparison argument for uniqueness, and passes to the limit. All steps track the scalar case and adapt without hidden assumptions on the vector setting or the operator coefficients. That is the actual new content, and it is a direct, honest extension rather than a re-packaging. The proof strategy is internally consistent and the ellipticity conditions are handled in the standard way for these problems. Minor technical points, such as the precise handling of variable coefficients in the limit passage, are addressed without forcing extra hypotheses. No load-bearing circularity or unfalsifiable steps appear. This work sits squarely inside the subfield of L^infty variational problems. A reader already following the infinity-Laplacian literature will get immediate value from the vectorial and operator generalizations; someone outside that niche will not. The paper shows clear thinking and proper engagement with the prior scalar result. It deserves a serious referee rather than a desk rejection, even if revisions are needed on presentation of the ellipticity assumptions.

Referee Report

0 major / 2 minor

Summary. The manuscript proves existence and uniqueness of vector-valued absolute minimizers u_∞ for a second-order L^∞ variational problem whose supremal functional is built from a general linear elliptic operator in divergence form. It establishes these results under prescribed Dirichlet boundary conditions and characterizes the minimizers as solutions to an Aronsson-type system of PDEs. The argument proceeds by p-approximation, weak* compactness in the appropriate Sobolev space, a comparison principle for uniqueness, and passage to the limit; the work extends the scalar Laplacian case treated in Katzourakis-Moser (ARMA 2019) to the vectorial setting and to more general elliptic operators.

Significance. If the derivations hold, the result supplies a nontrivial generalization of the theory of absolute minimizers to the vectorial case and to a broader class of divergence-form operators. The p-approximation route combined with weak* compactness is a standard, robust technique that aligns with the scalar theory, and the internal consistency of the vectorial extension is explicitly verified. These features constitute a clear advance within the field of L^∞ variational problems.

minor comments (2)

[§1] §1, paragraph following the statement of the main theorem: the precise ellipticity and growth assumptions on the coefficients of the divergence-form operator are stated only by reference to the scalar case; a self-contained list would improve readability.
[Theorem 1.2] The notation for the vector-valued Aronsson system in the characterization theorem could be aligned more closely with the scalar notation of Katzourakis-Moser to facilitate direct comparison.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, their positive assessment of the results, and their recommendation to accept. We are pleased that the extension to the vectorial setting and to general divergence-form elliptic operators is viewed as a clear advance.

Circularity Check

0 steps flagged

Minor self-citation to scalar base case; proof self-contained

full rationale

The paper proves existence, uniqueness and PDE characterisation for the vectorial supremal problem via p-approximation, weak* compactness, comparison principles and limit passage to an Aronsson-type system. The abstract notes the result as an extension of Katzourakis-Moser (ARMA 2019), but this citation supplies only contextual background for the scalar Laplacian case; the new vectorial and general-operator arguments are developed independently without reducing any central claim to a fitted quantity, self-referential definition or unverified self-citation chain.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms or invented entities can be extracted from the abstract; the result is presented as a proof under standard ellipticity assumptions on the operator.

pith-pipeline@v0.9.0 · 5646 in / 1069 out tokens · 33419 ms · 2026-05-22T21:27:58.440718+00:00 · methodology

discussion (0)

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

An $L^\infty$-variational problem involving the Fractional Laplacian
math.AP 2025-10 accept novelty 7.0

Existence and uniqueness are established for absolute minimizers of the supremal functional given by the L^∞ norm of the fractional Laplacian, with the minimizer satisfying a fractional PDE involving an s-harmonic measure.