Pith. sign in

REVIEW 4 minor 75 references

Infinity-harmonic functions and inverse mean curvature flow clusters

T0 review · 0 major / 4 minor · reviewed 2026-07-10 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Infinity-harmonic functions in the plane are always C^{1,1/3}, with isolated critical points of unique quasiradial shape.

desk verdict Sharp planar C^{1,1/3} for infinity-harmonic functions via a new IMCF-cluster duality; the bridge looks solid enough to send to referees. read the letter →

arxiv 2607.06698 v1 pith:KRQU6GLZ submitted 2026-07-07 math.AP math.DG

Kai Xu This is my paper · ORCID
classification math.APmath.DG MSC 35J6035J7053E1035B65
keywords infinity-harmonicfunctionsinversemeancurvatureflowIMCFclustersC^{11/3}regularityquasiradialsolutionsp-qdualitycriticalpointssupport
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that every infinity-harmonic function on a planar domain is C^{1,1/3} locally. Critical points form a discrete set, and near each of them the function admits a unique quasiradial blow-up of integer degree. Entire solutions of polynomial growth likewise admit unique quasiradial blow-downs fixed by finitely many Fourier modes of their support functions at infinity. These statements follow from a duality that converts the infinity-Laplacian into piecewise inverse mean-curvature flows glued along ridges and valleys (IMCF clusters). The same clusters recover classical examples such as Aronsson’s |x|^{4/3}–|y|^{4/3} and produce new non-quasiradial entire solutions of degree 3. A sympathetic reader cares because the result settles the long-standing question of optimal Hölder regularity for the gradient in two dimensions and supplies a geometric mechanism that organises the otherwise opaque structure of absolute Lipschitz minimisers.

What carries the argument

IMCF clusters: continuous functions w together with a continuous unit vector field that, on each piece of a C^1 partition of the domain, solve the weak inverse-mean-curvature-flow equation with outer-obstacle (ridge/valley) boundary conditions. These clusters arise as the simultaneous p→∞, q→1 limit of the classical p–q conjugate pair and convert the infinity-Laplace equation into a heat equation for support functions of cuspidal curves.

What would settle it

Either exhibit a planar infinity-harmonic function whose gradient fails to be C^{0,1/3}, or produce an infinity-harmonic function that cannot be reconstructed from any simple or mixed IMCF cluster obtained by the p–q limiting procedure.

Watch

Extended reading notes

Core claim

Every infinity-harmonic function u on a domain in the plane is locally C^{1,1/3}; its critical set is discrete; each critical point admits a unique degree-d quasiradial C^1 blow-up; and every nonlinear entire solution of polynomial growth admits a unique quasiradial blow-down determined by finitely many Fourier modes of the support function of its sublevel sets of |∇u|.

Load-bearing premise

The whole theory rests on the claim that every infinity-harmonic function can be recovered from the p–q limiting IMCF cluster, including that the support functions satisfy the heat equation across cusps and that ridges arise exactly from zero sets of the conjugates.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 4 minor

Summary. The paper develops a duality between planar ∞-harmonic functions and inverse mean curvature flow (IMCF) clusters—piecewise weak IMCFs with outer-obstacle conditions on ridges (and optional valleys/poles). Via the simultaneous p o∞, q o1 limit of the classical p–q conjugate pair (process (1.15), Theorem 6.1), the author extracts a simple/mixed cluster whose support functions satisfy the heat equation ∂_t h=∂_{θθ}h+h across cusps in the viscosity sense (Theorem 7.1). From the resulting C^{1,1/2} regularity of the cuspidal level curves of | abla u| and the normal-field Hölder conversion (Lemma 2.10), the paper obtains the sharp local regularity u∈C^{1,1/3}_loc(Ω) (Theorem 1.1 / ε-regularity Theorems 8.1–8.2). Structural consequences include isolation of critical points with unique quasiradial blow-ups of degree d≥2 (Theorem 1.2) and unique quasiradial blow-downs for entire polynomial-growth solutions, determined by finitely many Fourier modes of the support function (Theorem 1.3). Degree-3 entire solutions are constructed explicitly by polygon splitting of a perturbed support function (Subsection 4.1).

Significance. If correct, the work settles the long-standing question of the sharp C^{1,1/3} regularity of planar ∞-harmonic functions (previously only C^{1,α} for some α>0 was known) and supplies the first systematic structural theory near critical points and at infinity. The IMCF-cluster formalism, the C^{1} equicontinuity of p-harmonics (Theorem 5.1), the viscosity heat equation across cusps, and the explicit degree-3 construction are substantial new tools. The arguments are pure analysis (viscosity, weak IMCF, Sturmian theory) with no free parameters or numerical fitting; the reduction is self-contained once the classical p–q duality and Huisken–Ilmanen weak IMCF are granted. These features make the paper a high-impact contribution to the regularity theory of the ∞-Laplacian and to the interface between free-boundary IMCF and absolute minimizers.

minor comments (4)
  1. [§1.1] The manuscript is very long (∼140 pages). A short roadmap paragraph at the end of the introduction that lists which sections are logically independent would help readers who only need the ε-regularity or the isolation theorem.
  2. [§6] Notation for the two families of sublevel sets (Yt,Zt for | abla u| versus Y't,Z't for the cluster w) is introduced late (Theorem 6.1(xii)). A brief reminder table or a consistent superscript convention earlier would reduce cross-referencing load.
  3. [§4.1] Figures 15–17 illustrate the degree-3 family well, but the caption of Figure 5 (polygon splitting) could explicitly mark the valley σ and the two poles so that the mixed-cluster definition is immediately visible.
  4. A few typographical slips remain (e.g., occasional missing spaces after punctuation, and the arXiv identifier appears as 2607.06698). A final copy-edit pass would clean these.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: regularity and structure theorems are transferred from independent parabolic/Sturmian analysis of the p-q dual IMCF clusters, not forced by definition or self-citation of the target claims.

full rationale

The paper defines ∞-harmonic functions independently (viscosity solutions of ∆_∞ u=0, or AMLE/comparison-with-cones) and constructs simple/mixed IMCF clusters independently (calibrated piecewise weak IMCF with outer-obstacle ridges/valleys). The bridge (process (1.15), Theorem 6.1) is a proved limit of classical p-q conjugates under the new C^{1} equicontinuity of p-harmonics (Theorem 5.1); support functions then satisfy the heat equation ∂_t h=∂_{ heta heta}h+h in the viscosity sense across cusps by direct comparison with sub/supersolutions (Theorem 7.1, Cases 1–2 and maximum principles of Remark 2.13), without presupposing C^{1,1/3}. Regularity of the resulting curves (C^{1,1/2} from nondegenerate roots of κ^{-1} via Sturmian theory) yields C^{0,1/3} normals and thus Theorem 1.1; isolation and blow-ups (Theorems 1.2–1.3) follow by the same IMCF-and-splitting analysis of sublevel sets of | abla u| (Sections 9–12) plus finite Fourier modes of the heat equation. Self-citations (e.g. [74] on obstacle IMCF) supply background tools whose statements do not contain the target C^{1,1/3} or isolation theorems, and the paper explicitly does not use the existence result of [74]. No fitted parameters, no self-definitional loop, and no uniqueness theorem that already encodes the claimed regularity. Residual risk is ordinary technical gap risk in a long geometric-PDE argument, not circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 1 invented entities

Load-bearing background is standard viscosity infinity-Laplace theory, planar p–q duality, Huisken–Ilmanen weak IMCF and calibrations, Moser’s q→1 renormalization, and Angenent-type Sturmian theory for 1D heat equations. The paper’s own invention is the IMCF cluster (simple and mixed) as the geometric object dual to infinity-harmonic functions. No empirical free parameters.

assumptions (6)
  • standard math Equivalence of viscosity infinity-harmonicity, AMLE, comparison with cones, and C⁰_loc limits of p-harmonic functions (Jensen, Crandall–Evans–Gariepy, Bhattacharya–DiBenedetto–Manfredi).
    Used as the definition and approximation engine throughout; invoked from Section 2.1 and Lemma 2.2.
  • standard math Weak inverse mean curvature flow as local minimizers of J_w and the calibrated formulation div(ν)=|∇w| with |ν|≤1 (Huisken–Ilmanen).
    Foundation for IMCF clusters; Section 2.3.
  • standard math Moser renormalization: (1−q)log v_q → weak IMCF as q→1 for positive q-harmonic v_q.
    Bridge from conjugates to IMCF; extended here across sign changes (Section 6).
  • standard math Sturmian root-counting for solutions of the 1D heat equation / ∂_t f = ∂_{θθ}f + f (Angenent).
    Controls nondegeneracy of cusps and Fourier mode counts (Sections 2.4, 7–8, 12).
  • domain assumption Planar restriction: all main theorems are stated only in R²; duality and angle parametrization of curves are two-dimensional.
    Essential; higher-dimensional infinity-Laplace lacks the conjugate and support-function reduction used here.
  • ad hoc to paper Unit-calibrated mixed IMCF clusters produce C¹ infinity-harmonic functions via ∇u = e^{-w} ν^⊥ (Theorem 4.1).
    Paper-specific reconstruction map from clusters back to infinity-harmonic functions; central to constructions and converse structure theory.
invented entities (1)
  • Simple and mixed IMCF clusters (piecewise weak IMCF with outer-obstacle ridges and optional valleys/poles)
    purpose: Geometric dual objects that encode streamlines and level sets of |∇u| for infinity-harmonic u; source of C^{1,1/2} edge regularity that yields C^{1,1/3} for u.
    Defined in Section 3; not present as such in prior IMCF or infinity-Laplace literature. Independent evidence is internal mathematical consistency and recovery of known quasiradial examples, not external experiment.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Infinity-harmonic functions and inverse mean curvature flow clusters." pith.science (2026). https://pith.science/paper/KRQU6GLZ

@misc{pith2026260706698,
  author       = {Pith},
  title        = {Pith review of: Infinity-harmonic functions and inverse mean curvature flow clusters},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KRQU6GLZ}},
  note         = {Machine review of arXiv:2607.06698}
}
abstract

An $\infty$-harmonic function is a viscosity solution of $\nabla^2 u(\nabla u,\nabla u)=0$, or equivalently, an absolute minimizer of $\|\nabla u\|_{L^\infty}$. We prove a variety of new structural and regularity results in two dimensions, including: 1. $\infty$-harmonic functions in domains of $\mathbb{R}^2$ are $C^{1,1/3}$. 2. Critical points are isolated, and at each critical point, the solution has a unique quasiradial blow-up. 3. Entire solutions with polynomial growth have unique quasiradial blow-downs, and are determined by their Fourier modes at infinity. These results are consequences of a new theory relating $\infty$-harmonic functions to inverse mean curvature flow (IMCF) clusters -- which are piecewise weak solutions of IMCF with common obstacle-type boundary conditions on the interfaces (a simple example is an embedded family of cuspidal curves evolving by inverse curvature). This connection arises as the $p\to\infty$ limit of the classical duality between $p$-harmonic and $q$-harmonic functions in $\mathbb{R}^2$, where $\frac1p+\frac1q=1$.

Figures

Figures reproduced from arXiv: 2607.06698 by the authors.

Figure 1
Figure 1. The portion of the curve after each jump, namely the set ∂{w 6 t} \ ∂{w < t}, is always a line segment (blue segments in [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Level sets of |∇u0|, where u0 = |x| 4/3 − |y| 4/3 . hence the level sets of |∇u0| are streamlines of u0. The structure of cusps and streamlines are general: for an ∞-harmonic function u, each set ∂{|∇u| < e−t} is a union of concave curves with cusps at their endpoints, and all edges are streamlines of u (Theorem 9.1). The boundary condition on the interfaces can be understood in two natural ways: either as an IMCF o… view at source ↗
Figure 3
Figure 3. Quasiradial solutions with degree 2, 3, 4. 6 [PITH_FULL_IMAGE:figures/full_fig_p006_3.png] view at source ↗
Figures from the paper (38 more)
Figure 5
Figure 5. Figure 5: Splitting of polygon and mixed IMCF cluster. [PITH_FULL_IMAGE:figures/full_fig_p010_5.png]
Figure 6
Figure 6. Figure 6: Local models near ϑ −1 (0). Model # 1 2 3 4 5 6 7 8 χ− + + − − − + − + χ+ + − + − − − + + h ′ −(0) x1 x1 x1 x1 x2 x2 x2 x2 h ′ +(0) x2 x2 x2 x2 x1 x1 x1 x1 [PITH_FULL_IMAGE:figures/full_fig_p019_6.png]
Figure 7
Figure 7. Figure 7: Solitons of IMCF and their angle parameters. [PITH_FULL_IMAGE:figures/full_fig_p024_7.png]
Figure 8
Figure 8. Figure 8: A local picture when a valley and a ridge contact. [PITH_FULL_IMAGE:figures/full_fig_p033_8.png]
Figure 9
Figure 9. Figure 9: Exceptional point in mixed cluster. Lemma 3.5. Let w, ν, {Di}, {χi}  be a simple cluster in Ω ⊃ Qδ(r) with δ 6 1, so that |ν + ∂y| < e−10δ in Qδ(r). (3.4) If 0 ∈ ∪γj , then (∪γj ) ∩ Qδ(r) is a connected e −9 δ-Lipschitz graph. Proof. (3.2) (3.4) imply that (∪γj ) ∩ Qδ…
Figure 10
Figure 10. Figure 10: Possible local shapes of Yt or Zt . The fifth picture prevents Yt , Zt from being a concave polygon [PITH_FULL_IMAGE:figures/full_fig_p035_10.png]
Figure 11
Figure 11. Figure 11: Possible local shapes Zet . Blue segments represent Zet \ Zt . By (3.5) and that γj is a ridge, we have χ1 = −1 and χ2 = 1, and the cluster consists of an upward evolving IMCF in D1 and a downward evolving IMCF in D2. Thus w(x, y) is ( nondecreasing in y for y 6 f(x),…
Figure 12
Figure 12. Figure 12: Translating soliton and solution u = e −xφ(y). Example 4.5 (∞-harmonic potential in the square). Let u be the unique continuous function in Q(1), so that u is ∞-harmonic in Q(1)\{0}, and u(0) = 1, u|∂Q(1) = 0. See [22, 24, 52, 53] for related works. It is known that (…
Figure 13
Figure 13. Figure 13: ∞-harmonic potential in Q(1), and its odd reflection. We now prove Theorem 4.1. The following is a useful criterion for showing ∞- harmonicity. Recall that a streamline is an ascending gradient flow line. Lemma 4.6. Suppose u ∈ C 1 (Ω), and z ∈ Ω, and ∇u(z) 6= 0. Supp…
Figure 14
Figure 14. Figure 14: Splitting of 6-gon into two 4-gons. splitting time, and θ0 be the angle of direction of the dividing segment. This segment clearly must be tangent to γT at both endpoints. Translating to the language of h, this means h(T, θ0) = h(T, θ0 + 2π). Also, each edge of γt is …
Figure 15
Figure 15. Figure 15: , 16 and 17 respectively describe the solutions with data (a, b, c, d) = (1, 0, 1, 0), (a, b, c, d) = (1, 0, −1, 0) and a = 1, b = 0, c = 1 3  sin 3π 14 − 2 cos π 7  , d = − 4 3 cos2 π 14 sin π 7 . In [PITH_FULL_IMAGE:figures/full_fig_p046_15.png]
Figure 16
Figure 16. Figure 16: The solution with data (a, b, c, d) = (1, 0, −1, 0) [PITH_FULL_IMAGE:figures/full_fig_p047_16.png]
Figure 17
Figure 17. Figure 17: The solution so that T = 0 and θ0 = π/7. Similar fact holds for S 1 2 . Hence, gz has 4 roots for all t ≫ 1 if z /∈ {z1, z2}, and has > 6 roots for all t ≫ 1 if z = z1 6= z2 or z = z2 6= z1, and has > 8 roots if z = z1 = z2. The following lemma keeps track of the chan…
Figure 18
Figure 18. Figure 18: Coordinates in P. Expand gz,0 as Taylor polynomial near θ = 0, 2π using (4.21) and the symmetry of h: gz,0(T, θ) = (a − x)θ + bθ2 + O(θ 3 ), (4.23) gz,0(T, θ + 2π) = (−a − x)θ − bθ2 + O(θ 3 ), (4.24) where a = ∂θh(T, 0) = −∂θh(T, 2π) and b = 1 2 ∂θθh(T, 0) = − 1 2 ∂θθ…
Figure 19
Figure 19. Figure 19: A weak IMCF and its reduction to a simple cluster. [PITH_FULL_IMAGE:figures/full_fig_p061_19.png]
Figure 20
Figure 20. Figure 20: A nonsimple IMCF cluster and its reductions to simple cluste [PITH_FULL_IMAGE:figures/full_fig_p061_20.png]
Figure 21
Figure 21. Figure 21: A mixed cluster with many edges, and its reductions at diffe [PITH_FULL_IMAGE:figures/full_fig_p061_21.png]
Figure 22
Figure 22. Figure 22: Possible clusters arising from Figure [PITH_FULL_IMAGE:figures/full_fig_p062_22.png]
Figure 23
Figure 23. Figure 23: Objects in the proof of Lemma 6.15(i). (ii) Fix D ∈ Dreg. By a covering argument, it suffices to show that for any z ∈ D, there exists a radius ρ = ρ(z) > 0 so that {vp = 0} ∩ B(z, ρ) = ∅ ∀ p > p(z). Let U be the set of points in D that has this property. Clearly, U i…
Figure 24
Figure 24. Figure 24: Objects in the proof of Lemma 6.15(ii). By Lemma 6.14 and B(z1, r) ⋐ D \ Crit(u) ⊂ Ω0 \ ∪γi , there is a constant c ′ > 0 so that inf B(z1,r) |vp| 1 p−1 > c ′ , ∀ p > p(z1, r). (6.32) Then, by our assumption N(σ, 2r) ⊂ U, the function vp has a definite sign in N(σ, 3r…
Figure 25
Figure 25. Figure 25: shows an example where the solution first evolves as a translating soliton, then jumps over the shadowed region at t = 0, then continues evolving with the outer obstacle (i.e. boundary tangency) condition on {y = ±1}. Then J = R × (0, π), and h is not continuous acros…
Figure 26
Figure 26. Figure 26: The orientation χσ. Theorem 7.1 is proved using a geometric comparison: if the stated property fails, then the test function ϕ would generate a subsolution or supersolution {eγt} of IMCF. Then ϕ 6 h or ϕ > h would allow us to compare the position of γt and eγt . The m…
Figure 27
Figure 27. Figure 27: Impossible case (blue segment represents [PITH_FULL_IMAGE:figures/full_fig_p081_27.png]
Figure 28
Figure 28. Figure 28: Local models in Lemma 7.5. Lemma 7.6. The existence of test function ϕ implies 0 ∈ γ0, ν(0) = −∂y, Θ(0) = (0, 0). Proof. Recall that we have reduced to the case h(0, 0) = ϕ(0, 0) = ∂θϕ(0, 0) = 0. In the context of item (ii), our assumption (7.5) implies 0 = ϕ(0, 0)ν0 …
Figure 29
Figure 29. Figure 29: Comparing linear extensions of curves from their suppor [PITH_FULL_IMAGE:figures/full_fig_p084_29.png]
Figure 30
Figure 30. Figure 30: Local models in Claim 4. We may further decrease δ and assume that    h(0, 0) = ϕ(0, 0) = ∂θϕ(0, 0) = 0, ϕ > h in [−δ, 0] × [−δ, δ]  ∩ J \ {(0, 0)}, 0 < ∂θθϕ + ϕ < ∂tϕ in [−δ, δ] × [−δ, δ]. (7.27) By Claim 4 and gt → g0 in C 1 ([−r, r]), there is ε > 0 and T ′ ∈…
Figure 31
Figure 31. Figure 31: A case where ϕ > h but γet does not lie below γt . Case 2: w is a simple cluster, and 0 lies on a ridge γ. We still denote P = [−r, r] × [−r, r]. 87 [PITH_FULL_IMAGE:figures/full_fig_p087_31.png]
Figure 32
Figure 32. Figure 32: Shape of Zt . Claim 6. (∂θθϕ + ϕ)(0, 0) 6 0. Proof. The local model (7.34) implies ∂ − θ h(0, 0) = 0. So for each µ with 0 < µ ≪ 1, there is a constant cµ so that ϕ(0, θ)−µθ+cµ touches h from below at a point θµ ∈ (−δ, 0). The concavity of g0,1 implies that (∂θθh + h)…
Figure 33
Figure 33. Figure 33: Objects in Claim 7. Proof of Claim 8. Let egt be the (concave) function so that eγt = graph(egt), so egt is defined in an interval that depends continuously on t. Recall that for all t ∈ [T, 0], there are concave functions gt,1 : [xt , r] → [−r/2, r/2] and convex func…
Figure 34
Figure 34. Figure 34: Objects in Claim 8. Claim 9. A 2 t ∩ Aet must have a nonempty interior for all t ∈ [T1, 0). Proof. Otherwise, we may translate ∂Aet upward so that it meets ∂A2 t tangentially. Claim 10. A2 t ∩ Aet is compact for all t ∈ [T1, 0]. Proof. This follows from the slope comp…
Figure 35
Figure 35. Figure 35: A smooth cuspidal IMCF. for some c > 0. Let s be the length parameter of γt , with s = 0 corresponding to the cusp. Then we obtain the ODE inequality |dθ/ds| = 1 |κ −1 | 6 1 c|θ − ˚θt | , which implies [PITH_FULL_IMAGE:figures/full_fig_p104_35.png]
Figure 36
Figure 36. Figure 36: Discontinuity of the nodal line of κ −1 . The resolution of this issue is not to compare ∂θθh + h with a linear function, but to compare h with a degree 3 Taylor polynomial, in the use of Sturmian principle. One may show that h remains continuous up to ∂J . The rough …
Figure 37
Figure 37. Figure 37: An extreme case where YT = ∅ and w ≡ T in the shaded region. Consider the remaining regions E3 = n x ∈ [−3, a+ T ], g+ 1,T (x) 6 y 6 g + 2,T (x) o , E4 = n x ∈ [b + T , 3], g+ 1,T (x) 6 y 6 g + 2,T (x) o . Notice E3 = ∅ if a + T < −3, and E4 = ∅ if b + T > 3. The main…
Figure 38
Figure 38. Figure 38: In the second picture, a + T = −4 and E3 = ∅. Claim 3. We have kwkC0,2/3(E4∩Qδ(1)) 6 e −2 δ 4/3 (8.20) and kfridgekC1,1/2([b + T ,3]∩[−1,1]) 6 e −2 δ. (8.21) A similar fact holds for E3. Having known this fact, noting that E1 ∪ E2 ∪ E3 ∪ E4 ⊃ Qδ(3), the main results (…
Figure 39
Figure 39. Figure 39: The black and blue solid curves together represent [PITH_FULL_IMAGE:figures/full_fig_p113_39.png]
Figure 40
Figure 40. Figure 40: Shapes of ∂Yt ∩ ∂Zet , ∂Zet , ∂Zt = γt and ∂Yt , respectively. We now proceed to prove that Claim 8. Θ −1 0 (t, θ) is a line segment for each (t, θ) ∈ J . Proof. The preimage of {t = T} is γ + T , thus the claim holds for t = T. The preimage of {t = T} is ∂Ze T ∩ E4 =…
Figure 41
Figure 41. Figure 41: The intervals (s1, s2) and (s3, s4). since θ(s), θ(s1) ∈ (−e −10δ, e−10δ). Combining both cases, we always have (∂θθh + h)(t, θ(s)) > 1 2 e 14.9 δ −2 [PITH_FULL_IMAGE:figures/full_fig_p119_41.png]
Figure 42
Figure 42. Figure 42: Impossible picture of accumulating edges. [PITH_FULL_IMAGE:figures/full_fig_p123_42.png]

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

75 extracted references · 75 canonical work pages

  1. [1]

    Mass-type invariants in the presence of a cosmological constant

    V. Agostiniani, S. Borghini, L. Mazzieri, Mass-type invariants in the presence of a cosmological constant, preprint (2026), arXiv:2603.01543

    work page Pith review arXiv 2026

  2. [2]

    Agostiniani, C

    V. Agostiniani, C. Mantegazza, L. Mazzieri, F. Oronzio, Riemannian Penrose in- equality via nonlinear potential theory , Annali della Scuola Normale Superiore Classe di Scienze, page 27, 2025

    work page 2025

  3. [3]

    Andreu, C

    F. Andreu, C. Ballester, V. Caselles, J. M. Maz´ on, Minimizing total variation flow , C. R. Acad. Sci. Paris S´ er. I Math. 331 (2000), no. 11, 867–872

    work page 2000

  4. [4]

    Angenent, The zero set of a solution of a parabolic equation , J

    S. Angenent, The zero set of a solution of a parabolic equation , J. Reine. Angew. Math. 390 (1988), 79–96

    work page 1988

  5. [5]

    Angenent, On the formation of singularities in the curve shortening flo w, J

    S. Angenent, On the formation of singularities in the curve shortening flo w, J. Dif- ferential Geom. 33 (1991), no. 3, 601–633

    work page 1991

  6. [6]

    Angenent, B

    S. Angenent, B. Fiedler, The dynamics of rotating waves in scalar reaction diffusion equations, Trans. Amer. Math. Soc. 307 (1988), no. 2, 545–568

    work page 1988

  7. [7]

    Araujo, J

    D. Araujo, J. Urbano, The∞ -Laplacian: from AMLE to machine learning , No. 34 Col´ oquio Brasileiro de Matem´ atica, IMPA, 2023

    work page 2023

  8. [8]

    Armstrong, C

    S. Armstrong, C. Smart, An easy proof of Jensen ’s theorem on the uniqueness of infinity harmonic functions , Calc. Var. Partial Differential Equations 37 (2010), no. 3-4, 381–384

    work page 2010

Show all 75 references
  1. [9]

    Aronsson, Extension of functions satisfying Lipschitz conditions , Ark

    G. Aronsson, Extension of functions satisfying Lipschitz conditions , Ark. Mat. 6, 1967, 551-561

    1967

  2. [10]

    Aronsson, On the partial differential equation u2 xuxx + 2uxuyuxy +u2 yuyy = 0, Ark

    G. Aronsson, On the partial differential equation u2 xuxx + 2uxuyuxy +u2 yuyy = 0, Ark. Mat. 7 (1968), 395–425

    1968

  3. [11]

    Aronsson, On certain singular solutions of the partial differential eq uationu2 xuxx + 2uxuyuxy +u2 yuyy = 0, Manuscripta Math

    G. Aronsson, On certain singular solutions of the partial differential eq uationu2 xuxx + 2uxuyuxy +u2 yuyy = 0, Manuscripta Math. 47 (1984), no. 1-3, 133–151

    1984

  4. [12]

    Aronsson, Construction of singular solutions to the p-harmonic equation and its limit equation for p =∞ , Manuscripta Math

    G. Aronsson, Construction of singular solutions to the p-harmonic equation and its limit equation for p =∞ , Manuscripta Math. 56 (1986), no. 2, 135–158

    1986

  5. [13]

    Aronsson, M

    G. Aronsson, M. Crandall, P. Juutinen, A tour of the theory of absolutely minimizing functions, Bull. Amer. Math. Soc. (N.S.) 41 (2004), no. 4, 439–505

    2004

  6. [14]

    Aronsson, P

    G. Aronsson, P. Lindqvist, On p-harmonic functions in the plane and their stream functions, J. Differential Equations 74 (1988), no. 1, 157–178

    1988

  7. [15]

    Backus, An ∞ -Laplacian for differential forms, and calibrated laminati ons, preprint (2024), arXiv:2404.02215

    A. Backus, An ∞ -Laplacian for differential forms, and calibrated laminati ons, preprint (2024), arXiv:2404.02215

    2024 arXiv

  8. [16]

    Benatti, M

    L. Benatti, M. Fogagnolo, L. Mazzieri, On the isoperimetric Riemannian Penrose inequality, Comm. Pure Appl. Math. 78 (2025), no. 5, 1042–1085

    2025

  9. [17]

    Benatti, L

    L. Benatti, L. Mari, M. Rigoli, A. Setti, K. Xu, Proper solutions of the 1/H -flow and the Green kernel of the p-Laplacian, preprint (2025), arXiv:2512.14591

    2025

  10. [18]

    Benatti, A

    L. Benatti, A. Pluda, M. Pozzetta, Fine properties of nonlinear potentials and a unified perspective on monotonicity formulas , preprint (2024), arXiv:2411.06462

    2024

  11. [19]

    Bhattacharya, On the behaviour of ∞ -harmonic functions near isolated points , Nonlinear Analysis 58 (2004) 333–349

    T. Bhattacharya, On the behaviour of ∞ -harmonic functions near isolated points , Nonlinear Analysis 58 (2004) 333–349

    2004

  12. [20]

    Bhattacharya, A note on non-negative singular infinity-harmonic function s in the half-space, Rev

    T. Bhattacharya, A note on non-negative singular infinity-harmonic function s in the half-space, Rev. Mat. Complut. 18 (2005), no. 2, 377–385

    2005

  13. [21]

    Bhattacharya, E

    T. Bhattacharya, E. DiBenedetto, J. Manfredi, Limits as p→∞ of ∆ pu = f and related extremal problems , Rend. Sem. Mat. Univ. Pol. Torino, Fascicolo Speciale 1989 Nonlinear PDE’s, 15-68. 148

    1989

  14. [22]

    Brustad, The Infinity-Potential in the Square , preprint (2022), arxiv:2210.03447

    K. Brustad, The Infinity-Potential in the Square , preprint (2022), arxiv:2210.03447

    2022 arXiv

  15. [23]

    Brustad, Infinity-harmonic functions in the plane: Regularity by inj ectivity, preprint (2026), arXiv:2606.08257

    K. Brustad, Infinity-harmonic functions in the plane: Regularity by inj ectivity, preprint (2026), arXiv:2606.08257

    2026 arXiv

  16. [24]

    Brustad, E

    K. Brustad, E. Lindgren, P. Lindqvist, The infinity-Laplacian in smooth convex do- mains and in a square , Math. Eng. 5 (2023), no. 4, Paper No. 080, 16 pp

    2023

  17. [25]

    Castro, A

    I. Castro, A. Lerma, Lagrangian homothetic solitons for the inverse mean curvat ure flow, Results Math. 71 (2017), no.3-4, 1109–1125

    2017

  18. [26]

    Chow, D.-H

    B. Chow, D.-H. Tsai, Geometric expansion of convex plane curves , J. Differential Geom. 44 (1996), no. 2, 312–330

    1996

  19. [27]

    M. G. Crandall, A visit with the ∞ -Laplace equation, Calculus of Variations and Non- Linear Partial Differential Equations, Lecture Notes in Mathematic s 1927, Springer, Berlin, Heidelberg, pp. 75–122

    1927

  20. [28]

    M. G. Crandall, L. C. Evans, R. F. Gariepy, Optimal Lipschitz extensions and the infinity laplacian , Calc. Var. Partial Differential Equations 13 (2001), no. 2, 123–1 39

    2001

  21. [29]

    Crandall, H

    M. Crandall, H. Ishii, P.-L. Lions, User’s guide to viscosity solutions of second order partial differential equations , Bull. Amer. Math. Soc. (N.S.) 27 (1992), no. 1, 1–67

    1992

  22. [30]

    Daskalopoulos, K

    G. Daskalopoulos, K. Uhlenbeck, Analytic properties of Stretch maps and geodesic laminations, preprint (2022), arXiv:2205.08250

    2022 arXiv

  23. [31]

    Daskalopoulos, K

    G. Daskalopoulos, K. Uhlenbeck, Transverse measures and best Lipschitz and least gradient maps , J. Differential Geom. 127 (2024), No. 3, 969-1018

    2024

  24. [32]

    Daskalopoulos, K

    G. Daskalopoulos, K. Uhlenbeck, Best Lipschitz maps and Earthquakes , preprint (2024), arXiv:2410.08296

    2024 arXiv

  25. [33]

    H. Dong, F. Peng, Y. Zhang, Y. Zhou, Jacobian determinants for nonlinear gradient of planar∞ -harmonic functions and applications , J. Reine Angew. Math. 812 (2024), 59–98

    2024

  26. [34]

    Drucker, S

    D. Drucker, S. Williams, A note on Aronsson ’s equation, Rocky Mountain J. Math. 39 (2009), no. 6, 1859–1867

    2009

  27. [35]

    Drugan, H

    G. Drugan, H. Lee, G. Wheeler, Solitons for the inverse mean curvature flow , Pacific J. Math. 284 (2016), no. 2, 309–326

    2016

  28. [36]

    L. C. Evans, O. Savin, C 1,α regularity for infinity harmonic functions in two dimen- sions, Calc. Var. Partial Differential Equations 32 (2008), no. 3, 325–3 47

    2008

  29. [37]

    L. C. Evans, C. K. Smart, Everywhere differentiability of infinity harmonic function s, Calc. Var. Partial Differential Equations 42 (2011), no. 1-2, 289– 299

    2011

  30. [38]

    L. C. Evans, C. K. Smart, Adjoint methods for the infinity Laplacian partial differ- ential equation , Arch. Ration. Mech. Anal. 201 (2011), no. 1, 87–113

    2011

  31. [39]

    D. Gale, H. Nikaidˆ o, The Jacobian matrix and global univalence of mappings , Math. Ann. 159 (1965), 81–93

    1965

  32. [40]

    Granlund, N

    S. Granlund, N. Marola, Phragm´ en-Lindel¨ of theorem for infinity harmonic functions, Commun. Pure Appl. Anal. 14 (2015), no. 1, 127–132

    2015

  33. [41]

    G´ orny, J

    W. G´ orny, J. M. Maz´ on, Functions of least gradient , Monogr. Math., 110, Birkh¨ auser/Springer, Cham, 2024, xxviii+428 pp

    2024

  34. [42]

    X. H. Han, Thurston norms, L2-norms, geodesic laminations, and Lipschitz maps , preprint (2023), arXiv:2310.18093

    2023 arXiv

  35. [43]

    Huisken, T

    G. Huisken, T. Ilmanen, The inverse mean curvature flow and the Riemannian Pen- rose inequality, J. Differential Geom. 59 (2001), no. 3, 353–437

    2001

  36. [44]

    Ishii, On the equivalence of two notions of weak solutions, viscosi ty solutions and distribution solutions , Funkcial

    H. Ishii, On the equivalence of two notions of weak solutions, viscosi ty solutions and distribution solutions , Funkcial. Ekvac. 38 (1995), no. 1, 101–120. 149

    1995

  37. [45]

    Iwaniec, J

    T. Iwaniec, J. Manfredi, Regularity of p-harmonic functions on the plane , Rev. Mat. Iberoamericana 5 (1989), no. 1-2, 1–19

    1989

  38. [46]

    Jensen, Uniqueness of Lipschitz extensions: minimizing the sup nor m of the gra- dient, Arch

    R. Jensen, Uniqueness of Lipschitz extensions: minimizing the sup nor m of the gra- dient, Arch. Rational Mech. Anal. 123 (1993), no. 1, 51-74

    1993

  39. [47]

    H. Koch, Y. Zhang, Y. Zhou, An asymptotic sharp Sobolev regularity for planar infinity harmonic functions , J. Math. Pures Appl. (9) 132 (2019), 457–482

    2019

  40. [48]

    Kotschwar, L

    B. Kotschwar, L. Ni, Local gradient estimates of p-harmonic functions, 1/H -flow, and an entropy formula , Ann. Sci. ´Ec. Norm. Sup´ er. (4) 42 (2009), no. 1, 1–36

    2009

  41. [49]

    D. A. Lee, Geometric Relativity, Graduate Studies in Mathematics, 201. American Mathematical Society, Providence, RI, 2019. xii+361 pp

    2019

  42. [50]

    Lewis, Regularity of the derivatives of solutions to certain degen erate elliptic equa- tions, Indiana Univ

    J. Lewis, Regularity of the derivatives of solutions to certain degen erate elliptic equa- tions, Indiana Univ. Math. J. 32 (1983), no. 6, 849–858

    1983

  43. [51]

    G. M. Lieberman, Boundary regularity for solutions of degenerate elliptic e quations, Nonlinear Anal. 12 (1988), no. 11, 1203–1219

    1988

  44. [52]

    Lindgren, P

    E. Lindgren, P. Lindqvist, Infinity-harmonic potentials and their streamlines , Discrete Contin. Dyn. Syst. 39 (2019), no. 8, 4731–4746

    2019

  45. [53]

    Lindgren, P

    E. Lindgren, P. Lindqvist, The gradient flow of infinity-harmonic potentials , Adv. Math. 378 (2021), Paper No. 107526, 24 pp

    2021

  46. [54]

    Lindqvist, Notes on the Infinity Laplace equation , SpringerBriefs Math, BCAM Basque Center for Applied Mathematics, Bilbao; Springer, [Cham], 20 16

    P. Lindqvist, Notes on the Infinity Laplace equation , SpringerBriefs Math, BCAM Basque Center for Applied Mathematics, Bilbao; Springer, [Cham], 20 16. ix+68 pp

  47. [55]

    Lindqvist, J

    P. Lindqvist, J. Manfredi, The Harnack inequality for ∞ -harmonic functions , Elec- tron. J. Differential Equations 1995, No. 04, approx. 5 pp

    1995

  48. [56]

    Maggi, Sets of finite perimeter and geometric variational problems , an introduc- tion to geometric measure theory , Cambridge Stud

    F. Maggi, Sets of finite perimeter and geometric variational problems , an introduc- tion to geometric measure theory , Cambridge Stud. Adv. Math., 135, Cambridge University Press, Cambridge, 2012. xx+454 pp

    2012

  49. [57]

    Manfredi, p-harmonic functions in the plane , Proc

    J. Manfredi, p-harmonic functions in the plane , Proc. Amer. Math. Soc. 103 (1988), no. 2, 473–479

    1988

  50. [58]

    L. Mari, M. Rigoli, A. Setti, On the 1/H-flow by p-Laplace approximation: new estimates via fake distances under Ricci lower bounds , Amer. J. Math. 144 (2022), no. 3, 779–849

    2022

  51. [59]

    J. M. Maz´ on, S. Segura de Le´ on, A non-homogeneous elliptic problem dealing with the level set formulation of the Inverse Mean Curvature Flow , J. Diff. Eq. 259 (2015), 2762–2806

    2015

  52. [60]

    Moser, The inverse mean curvature flow and p-harmonic functions , J

    R. Moser, The inverse mean curvature flow and p-harmonic functions , J. Eur. Math. Soc. (JEMS) 9 (2007), no.1, 77–83

    2007

  53. [61]

    Moser, The inverse mean curvature flow as an obstacle problem , Indiana Univ

    R. Moser, The inverse mean curvature flow as an obstacle problem , Indiana Univ. Math. J. 57 (2008), no. 5, 2235–2256

    2008

  54. [62]

    Moser, The streamlines of∞ -harmonic functions obey the inverse mean curvature flow, Comm

    R. Moser, The streamlines of∞ -harmonic functions obey the inverse mean curvature flow, Comm. Partial Differential Equations 47 (2022), no. 11, 2124–21 45

    2022

  55. [63]

    Moser, A characterisation of ∞ -harmonic maps in terms of 1-currents , preprint (2026), arXiv:2606.10897

    R. Moser, A characterisation of ∞ -harmonic maps in terms of 1-currents , preprint (2026), arXiv:2606.10897

    2026 arXiv

  56. [64]

    S. B. Nadler Jr., Continuum theory. An introduction , Monogr. Textbooks Pure Appl. Math., 158, Marcel Dekker, Inc., New York, 1992. xiv+328 pp

    1992

  57. [65]

    F. Peng, Y. Zhang, Y. Zhou, Regularity from p-harmonic potentials to ∞ -harmonic potentials in convex rings , Proc. Lond. Math. Soc. (3) 130 (2025), no. 6, Paper No. e70062, 54 pp. 150

    2025

  58. [66]

    Peres, O

    Y. Peres, O. Schramm, S. Sheffield, D. B. Wilson, Tug-of-war and the infinity Lapla- cian, J. Amer. Math. Soc. 22 (2009), no. 1, 167–210

    2009

  59. [67]

    P´ olya, G

    G. P´ olya, G. Szeg¨ o,Problems and Theorems in Analysis , Springer (Berlin), 1972

    1972

  60. [68]

    Savin, C 1 regularity for infinity harmonic functions in two dimension s, Arch

    O. Savin, C 1 regularity for infinity harmonic functions in two dimension s, Arch. Ration. Mech. Anal. 176 (2005), no. 3, 351–361

    2005

  61. [69]

    Savin, C

    O. Savin, C. Wang, Y. Yu, Asymptotic behavior of infinity harmonic functions near an isolated singularity , Int. Math. Res. Not. IMRN 2008 (6), Art. ID rnm163, 23 pp

    2008

  62. [70]

    Simon, Lectures on geometric measure theory , Proc

    L. Simon, Lectures on geometric measure theory , Proc. Centre Math. Anal. Austral. Nat. Univ., 3 Australian National University, Centre for Mathematic al Analysis, Canberra, 1983. vii+272 pp

    1983

  63. [71]

    Urbas, Convex curves moving homothetically by negative powers of t heir curvature, Asian J

    J. Urbas, Convex curves moving homothetically by negative powers of t heir curvature, Asian J. Math. 3 (1999), no. 3, 635–656

    1999

  64. [72]

    Wang, An Introduction of Infinity Harmonic Functions , unpublished notes, 2008

    C. Wang, An Introduction of Infinity Harmonic Functions , unpublished notes, 2008

    2008

  65. [73]

    Xu, The weak inverse mean curvature flow: existence theories and applications, Ph.D

    K. Xu, The weak inverse mean curvature flow: existence theories and applications, Ph.D. thesis, Duke University, 2025

    2025

  66. [74]

    Xu, Inverse mean curvature flow with outer obstacle , preprint (2024), arxiv:2405.15181, to appear in Geom

    K. Xu, Inverse mean curvature flow with outer obstacle , preprint (2024), arxiv:2405.15181, to appear in Geom. Topol

    2024 arXiv

  67. [75]

    Zhang, Y

    Y. Zhang, Y. Zhou, C 1-Regularity of planar ∞ -harmonic functions – revisited, Proc. Amer. Math. Soc. 148 (3), 2020, 1187–1193. Department of Mathematics, University of California, Berk eley. Email: kaixu@berkeley.edu 151

    2020

Pith tools

Reviewed July 10, 2026 · model on record in the stance chip above.