pith. sign in

arxiv: 2606.07767 · v2 · pith:3YDQJABJnew · submitted 2026-06-05 · 🧮 math.AP

Energy maximum principle for vectorial higher order absolute minimisers

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

Pith reviewed 2026-06-30 10:30 UTC · model grok-4.3

classification 🧮 math.AP
keywords absolute minimiserssupremal functionalsmaximum principlehigher-order variational problemsvectorial calculus of variationsDirichlet problemp-harmonic maps
0
0 comments X

The pith

Vectorial absolute minimisers of k-th order supremal functionals satisfy a maximum principle for the energy density H.

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

The paper establishes that absolute minimisers of general k-th order L^∞ supremal functionals in the space W^{k,∞}(Ω, R^N) satisfy an energy maximum principle. For every open subset U of the domain, the maximum value of the energy density H over the closure of U equals the maximum value over the boundary of U. This relation is necessary for absolute minimisers and fully characterises a weaker notion of minimality that allows only compactly supported variations. The authors also obtain existence of solutions to the associated Dirichlet problem and prove a gradient maximum principle for p-harmonic maps when p is finite.

Core claim

We show that vectorial absolute minimisers of general k-th order L^∞ supremal functionals in W^{k,∞}(Ω, R^N) satisfy a maximum principle of the form max over the closure of U of H equals max over the boundary of U, suitably interpreted, for all open U inside Ω. This property is only necessary for absolute minimisers, while it characterises a relevant weaker notion of absolute minimality involving compactly supported variations. We further obtain an existence result for the Dirichlet problem for such absolute minimisers and, via different methods, establish a gradient maximum principle for p-harmonic maps for finite p.

What carries the argument

The Carathéodory energy density H(·, u, Du, …, D^k u) that defines the supremal functional via its L^∞ norm, together with the notion of absolute minimiser with respect to that norm.

If this is right

  • The energy maximum principle holds for every open subset U of the domain.
  • The principle characterises absolute minimisers in the weaker sense of compactly supported variations.
  • Solutions exist for the Dirichlet problem associated with these absolute minimisers.
  • p-harmonic maps satisfy a separate gradient maximum principle when p is finite.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The boundary-maximum property may be used to derive a priori bounds on the energy density inside the domain without solving the full Euler-Lagrange system.
  • The same reasoning could apply to other classes of higher-order functionals whose minimality is measured in supremal rather than integral norms.
  • Numerical approximation schemes for these minimisers might enforce the boundary-maximum condition as a constraint to reduce the search space.

Load-bearing premise

The energy density H is a general Carathéodory function that makes the supremal functional well-defined on W^{k,∞}, and absolute minimality is defined with respect to the L^∞ norm of H rather than an integrated energy.

What would settle it

An explicit example of a Carathéodory function H and a map u in W^{k,∞} that is an absolute minimiser yet violates the equality max over closure U of H equals max over boundary U on some open U.

read the original abstract

We show that vectorial absolute minimisers of general $k$-th order $L^\infty$ supremal functionals in $W^{k,\infty}(\Omega,\mathbb R^N)$ satisfy a maximum principle of the form $$ \max_{\overline U} \rom{H} \big(\cdot, u, \mathrm D u, ..., \mathrm D^{k}u\big)=\max_{\partial U}\rom{H} \big(\cdot, u, \mathrm D u, ..., \mathrm D^{k}u\big), \qquad\forall\ U\subseteq\Om \mbox{ open}, $$ suitably interpreted. This is only necessary for absolute minimisers, while it characterises a relevant weaker notion of absolute minimality involving compactly supported variations. Further, we obtain an existence result to the Dirichlet problem for such absolute minimisers. Finally, via different methods, we establish a gradient maximum principle for $p$-harmonic maps for $p<\infty$.

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.

Referee Report

0 major / 3 minor

Summary. The paper proves that vectorial absolute minimisers of general k-th order L^∞ supremal functionals in W^{k,∞}(Ω, ℝ^N) satisfy a necessary maximum principle max_{\overline U} H(·,u,Du,...,D^k u) = max_{∂U} H(·,u,Du,...,D^k u) for open U ⊆ Ω (suitably interpreted). This characterises a weaker notion of absolute minimality with compactly supported variations. The manuscript also establishes existence for the associated Dirichlet problem and, via separate methods, a gradient maximum principle for p-harmonic maps when p < ∞.

Significance. If the result holds under the stated definitions, it provides a non-trivial extension of the theory of absolute minimisers to higher-order vectorial supremal functionals. The explicit separation between the necessary condition for absolute minimisers and the characterisation of the weaker compactly-supported notion is a clear strength, as is the direct derivation from the modelling assumptions on H without additional fitted parameters.

minor comments (3)
  1. [§2] §2, Definition 2.3: the phrase 'suitably interpreted' for the maximum principle is used without an explicit cross-reference to the precise statement in Theorem 3.1; adding a forward pointer would improve readability.
  2. [§4] §4, proof of Theorem 4.2: the argument for the Dirichlet problem existence relies on a compactness argument in W^{k,∞}; a brief remark on whether the limit preserves absolute minimality would clarify the passage to the limit.
  3. Notation: the symbol rom{H} is introduced in the abstract but the manuscript uses H throughout; consistency in the displayed equation on p. 1 would avoid minor confusion.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and for recommending minor revision. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper derives a necessary maximum principle for vectorial absolute minimisers of k-th order supremal functionals directly from the definitions of the functional class (Carathéodory integrands H) and the notion of absolute minimality with respect to ess sup H. The proof chain consists of standard variational arguments establishing the stated inequality on subdomains U, with explicit acknowledgment that the principle characterises only a weaker compactly-supported notion of minimality. No self-definitional loops, fitted parameters renamed as predictions, load-bearing self-citations, or imported uniqueness theorems appear in the derivation. The additional p-harmonic gradient principle is obtained by separate methods. The result is therefore self-contained against the paper's own definitions and external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on the standard definition of supremal functionals and the Sobolev space W^{k,∞}; no free parameters or invented entities appear in the abstract.

axioms (2)
  • domain assumption W^{k,∞}(Ω,ℝ^N) is the natural space on which the k-th order supremal functional is defined and finite
    Invoked when the authors state the functional class and the maximum principle in W^{k,∞}
  • domain assumption The functional is of the form ess sup_Ω H(x,u,Du,...,D^k u) with H a Carathéodory integrand
    This is the definition of the L^∞ supremal functional used throughout the abstract

pith-pipeline@v0.9.1-grok · 5693 in / 1523 out tokens · 47550 ms · 2026-06-30T10:30:44.413577+00:00 · methodology

Review history (2 revisions) →

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

41 extracted references · 4 canonical work pages

  1. [1]

    Abugirda, N

    H. Abugirda, N. Katzourakis,Existence of1DVectorial Absolute Minimisers inL ∞ under Minimal Assumptions, Proceedings of the AMS 145:6, 2567 - 2575 (2017)

    2017

  2. [2]

    Ansini, F

    N. Ansini, F. Prinari,On the lower semicontinuity of supremal functional under differential constraints, ESAIM - Control, Opt. and Calc. Var.,21(4), 1053–1075 (2015)

    2015

  3. [3]

    S. N. Armstrong, M. G. Crandall, V. Julin, C. K. Smart,Convexity Criteria and Uniqueness of Absolutely Minimising Functions, Arch. Ration. Mech. Anal.200, 405– 443 (2011)

    2011

  4. [4]

    Aronsson,Extension of functions satisfying Lipschitz conditions, Arkiv f¨ ur Matematik,6, 551–561 (1967)

    G. Aronsson,Extension of functions satisfying Lipschitz conditions, Arkiv f¨ ur Matematik,6, 551–561 (1967)

    1967

  5. [5]

    Aronsson, E

    G. Aronsson, E. N. Barron, L ∞ variational problems with running costs and constraints, Appl. Math. Optim. 65 no. 1, 53–90 (2012)

    2012

  6. [6]

    Balci, L

    A. Balci, L. Behn, L. Diening, J. Storn,Examples ofp-harmonic Maps, SIAM Journal on Mathematical Analysis58(1), 260-275 (2026)

    2026

  7. [7]

    Barron, R

    E.N. Barron, R. Jensen,Minimizing theL ∞ norm of the gradient with an energy constraint, Comm. Partial Differential Equations 30, 10-12, 1741-1772 (2005)

    2005

  8. [8]

    Barron, R

    E.N. Barron, R. Jensen, C.Y. Wang,The Euler equation and absolute minimizers ofL ∞ functionals, Arch. Rational Mech. Anal.157, 255-283 (2001)

    2001

  9. [9]

    Brizzi, L

    C. Brizzi, L. De Pascale,A property of Absolute Minimizers inL ∞ Calculus of Variations and of solutions of the Aronsson-Euler equation, Advances in Differential Equations28(3/4), 287-310 (2023). 15

    2023

  10. [10]

    Bungert, Y

    L. Bungert, Y. Korolev,Eigenvalue problems inL ∞: optimality conditions, duality, and relations with optimal transport, Communications of the American Mathematical Society 2:345 (2022)

    2022

  11. [11]

    Carano, N

    S. Carano, N. Katzourakis, R. Moser,Existence, uniqueness and characterisation of vector- valued absolute minimisers for a second orderL ∞-variational problem, Adv. Calc. Var. https://doi.org/10.1515/acv-2025-0107 (2026)

    work page doi:10.1515/acv-2025-0107 2025

  12. [12]

    Carano, R

    S. Carano, R. Moser,AnL ∞-variational problem involving the Fractional Laplacian, Nonlin. Anal.272, 114194, https://doi.org/10.1016/j.na.2026.114194 (2026)

    work page doi:10.1016/j.na.2026.114194 2026

  13. [13]

    Champion, L

    T. Champion, L. De Pascale, F. Prinari, Γ-convergence and absolute minimizers for supremal functionals, COCV ESAIM: Control, Optimisation and Calculus of Variations (2004), Vol. 10, 14-27

    2004

  14. [14]

    Dacorogna,Direct Methods in the Calculus of Variations, 2nd ed., Appl

    B. Dacorogna,Direct Methods in the Calculus of Variations, 2nd ed., Appl. Math. Sci. 78, Springer, New York, 2008

    2008

  15. [15]

    Dacorogna, P

    B. Dacorogna, P. Marcellini,Implicit partial differential equations, Progress in Nonlinear Differential Equations and Applications, Birkh¨ auser (1999)

    1999

  16. [16]

    Dutton, N

    B. Dutton, N. Katzourakis,On Second-OrderL ∞ Variational Problems with Lower-Order Terms, Discrete Contin. Dyn. Syst.,49, 1-21 (2026)

    2026

  17. [17]

    Gilbarg, N

    D. Gilbarg, N. Trudinger,Elliptic Partial Differential Equations of Second Order. Classics in Mathematics, reprint of the 1998 edition, Springer

    1998

  18. [18]

    L. C. Evans, O. Savin,C 1,α Regularity for Infinity Harmonic Functions in Two Dimensions, Calc. Var.32, 325–347 (2008)

    2008

  19. [19]

    Giaquinta, L

    M. Giaquinta, L. Martinazzi,An Introduction to the Regularity Theory for Elliptic Systems, Harmonic Maps and Minimal Graphs, Publications of the Scuola Normale Superiore (2018)

    2018

  20. [20]

    Jensen,Uniqueness of Lipschitz extensions: minimizing the sup norm of the gradient, Arch

    R. Jensen,Uniqueness of Lipschitz extensions: minimizing the sup norm of the gradient, Arch. Ration. Mech. Anal.123(1), 51–74 (1993)

    1993

  21. [21]

    Katzourakis,L ∞ Variational Problems for maps and the Aronsson PDE System, J

    N. Katzourakis,L ∞ Variational Problems for maps and the Aronsson PDE System, J. Dif- ferential Equations253(7), 2123 - 2139 (2012)

    2012

  22. [22]

    Katzourakis,AnL ∞ regularisation strategy to the inverse source identification problem for elliptic equations, SIAM Journal Math, Analysis51(2), 1349-1370 (2019)

    N. Katzourakis,AnL ∞ regularisation strategy to the inverse source identification problem for elliptic equations, SIAM Journal Math, Analysis51(2), 1349-1370 (2019)

    2019

  23. [23]

    N. Katzourakis,An Introduction to Viscosity Solutions for Fully Nonlinear PDE with Appli- cations to Calculus of Variations inL ∞, Springer Briefs in Mathematics, DOI 10.1007/978- 3-319-12829-0 (2015)

    work page doi:10.1007/978- 2015

  24. [24]

    Katzourakis,∞-minimal submanifolds, Proc

    N. Katzourakis,∞-minimal submanifolds, Proc. Amer. Math. Soc.142, 2797-2811 (2014)

    2014

  25. [25]

    Katzourakis,On the structure of∞-harmonic maps, Comm

    N. Katzourakis,On the structure of∞-harmonic maps, Comm. Partial Differential Equations 39, 2091–2124 (2014)

    2091

  26. [26]

    Katzourakis,Absolutely Minimising Generalised Solutions to the Equations of vectorial Calculus of Variations inL ∞, Calculus of Variations and PDE 56:1, 1 - 25 (2017)

    N. Katzourakis,Absolutely Minimising Generalised Solutions to the Equations of vectorial Calculus of Variations inL ∞, Calculus of Variations and PDE 56:1, 1 - 25 (2017). 16

    2017

  27. [27]

    Katzourakis,On the minimisation of the peak–to–average ratio, Nonlinear Differ

    N. Katzourakis,On the minimisation of the peak–to–average ratio, Nonlinear Differ. Equ. Appl.33(4) (2026)

    2026

  28. [28]

    Katzourakis, R

    N. Katzourakis, R. Moser,Existence, uniqueness and structure of second order absolute min- imisers, ARMA231(3), 1615-1634 (2019)

    2019

  29. [29]

    Katzourakis, R

    N. Katzourakis, R. Moser,Minimisers of supremal functionals and mass-minimising 1- currents, Calc. Var.64(26) (2025)

    2025

  30. [30]

    Katzourakis, R

    N. Katzourakis, R. Moser,Variational problems inL ∞ involving semilinear second order differential operators, ESAIM: COCV,29(76) (2023)

    2023

  31. [31]

    Katzourakis, R

    N. Katzourakis, R. Moser,Existence, uniqueness and characterisation of local minimisers in higher order Calculus of Variations inL ∞, to appear in Analysis & PDE (2026)

    2026

  32. [32]

    Katzourakis, T

    N. Katzourakis, T. Pryer,On the numerical approximation ofp-Biharmonic and∞- Biharmonic functions, Numerical Methods for Partial Differential Equations,35(1), 155-180 (2018)

    2018

  33. [33]

    Katzourakis, T

    N. Katzourakis, T. Pryer,2nd orderL ∞ Variational Problems and the∞-Polylaplacian, Advances in Calculus of Variations13, 115-140 (2020)

    2020

  34. [34]

    Kreisbeck, E

    C. Kreisbeck, E. Zappale,Lower semicontinuity and relaxation of nonlocalL ∞-functionals, Calculus of Variations and PDE,59(138), 1–36 (2020)

    2020

  35. [35]

    Q. Miao, C. Wang, Y. Zhou,Uniqueness of Absolute Minimizers forL ∞-Functionals Involving hamiltoniansh(x, p), Archive for Rational Mechanics and Analysis223(1), 141–198 (2017)

    2017

  36. [36]

    F. Peng, C. Wang, Y. Zhou,Regularity of absolute minimizers for continuous convex hamil- tonians, Journal of Differential Equations, Volume 274 (2021), 1115-1164

    2021

  37. [37]

    F. Peng, Y. R. Zhang, Y. Zhou,Regularity fromp-harmonic potentials to∞-harmonic po- tentials in convex rings, Proc. London Math. Soc.130(6), e70062 (2025)

    2025

  38. [38]

    Prinari, E

    F. Prinari, E. Zappale,A Relaxation Result in the Vectorial Setting and Power Law Approx- imation for Supremal Functionals, J Optim. Theory Appl.,186, 412–452 (2020)

    2020

  39. [39]

    A. M. Ribeiro, E. Zappale,Existence of minimisers for nonlevel convex functionals, SIAM J. Control Opt.,52(5), 3341–3370 (2014)

    2014

  40. [40]

    A. M. Ribeiro, E. Zappale,Revisited convexity notions forL ∞ variational problems, Re- vista Matem´ atica Complutense, published online, https://doi.org/10.1007/s13163-024-00499- 0 (2024)

    work page doi:10.1007/s13163-024-00499- 2024

  41. [41]

    Uhlenbeck,Regularity for a class of non-linear elliptic systems, Acta Math.138, 219–240 (1977)

    K. Uhlenbeck,Regularity for a class of non-linear elliptic systems, Acta Math.138, 219–240 (1977). Simone Carano Department of Mathematics and Statistics, University of Reading Whiteknights Campus, Pepper Lane, Reading RG6 6AX, UK E-mail: s.carano@reading.ac.uk 17 Nikos Katzourakis Department of Mathematics and Statistics, University of Reading Whiteknigh...

    1977