Pith. sign in

REVIEW 2 major objections 5 minor 64 references

$\Gamma$-convergence of the $p$-Dirichlet energy for manifold-valued maps

T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read The paper proves that, for a large class of target manifolds, the scaled $p$-Dirichlet energies of manifold-valued Sobolev maps $\Gamma$-converge, as $p$ tends to $k$ from below, to the mass functional on topological singular chains, so…

desk verdict Solid Gamma-convergence result for manifold-valued p-harmonic maps with a new uniform gradient estimate; the main theorem holds up, with a typo in Theorem 2.6 to fix. read the letter →

arxiv 2505.21257 v1 pith:ABGL2XMT submitted 2025-05-27 math.AP

Giacomo Canevari , Van Phu Cuong Le , Ramon Oliver-Bonafoux , Giandomenico Orlandi This is my paper · ORCID
classification math.AP MSC 49Q1549Q2058E1258E20
keywords Γ-convergencep-Dirichletenergytopologicalsingularsetsflatchainsminimalsurfacesp-harmonicmapshomologicalPlateauproblemcobordismclasses
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 studies maps from a smooth bounded domain $\Omega \subseteq \mathbb{R}^{n+k}$ into a closed target manifold $N$ whose first $k-2$ homotopy groups vanish and whose fundamental group is Abelian, in the regime $p\to k^-$ under Dirichlet boundary conditions. It proves that the scaled energies $(k-p)D_p(u)$, with $D_p$ the $p$-Dirichlet energy, $\Gamma$-converge to the mass functional on $n$-dimensional flat chains with coefficients in $\pi_{k-1}(N)$, the variable of convergence being the topological singular set $S(u)$ of the map. Consequently, for a family of energy-minimizing $p$-harmonic maps with fixed boundary data, the singular sets converge in flat norm to a finite-mass chain that minimizes mass within the cobordism class forced by the boundary datum, while $(k-p)D_p$ converges to that chain's mass. This gives a variational interpretation of the limiting $k$-energy problem even when the class $W^{1,k}_v(\Omega,N)$ is empty because of topological obstructions, and it extends earlier $\Gamma$-convergence results from point and line singularities to singular sets of arbitrary dimension $n$.

What carries the argument

The load-bearing object is the topological singular set operator: for an $N$-valued Sobolev map $u$ it produces an $n$-dimensional flat chain $S(u)$ with coefficients in the normed Abelian group $\pi_{k-1}(N)$, the norm $|\sigma|_k$ being the minimal $k$-energy of a sphere map representing $\sigma$. The argument also uses a ball-construction lower bound for the $p$-energy in the critical dimension $k$, a grid and building-blocks construction that turns the sequence into polyhedral chains on adapted grids, and a retraction map from the ambient space minus a codimension-$k$ set onto $N$, which is used to extend maps and to compare singular sets. The technical hinge is a new uniform $L^\infty$ gradient estimate for minimizing $p$-harmonic maps from $S^{k-1}$ into $N$, with constant independent of $p$ as $p\to k^-$; this estimate is what keeps the homotopy-class norms $|\sigma|_p$ comparable to $|\sigma|_k$, yielding the leading term $|\sigma|_k/(k-p)$ in the lower bound and hence the mass inequality.

What would settle it

Take $\Omega$ the unit ball in $\mathbb{R}^k$, $N=S^{k-1}$, and boundary datum the identity map (degree one), and let $v_p$ be the minimizing $p$-harmonic map. The theorem predicts $(k-p)\int_{\Omega}|\nabla v_p|^p \to |\sigma|_k$, the minimal $k$-energy of a degree-one map $S^{k-1}\to S^{k-1}$, as $p\to k^-$. Computing the radial minimizers for a sequence $p_n\to k^-$ and checking whether this product converges to $|\sigma|_k$ would settle the lower bound: a different limit value, or divergence, would refute the $\Gamma$-convergence claim.

Watch

Extended reading notes

Core claim

The central claim is Theorem A. Under the standing hypothesis (H), for any boundary datum $v \in W^{1-1/k,k}(\partial\Omega,N)$: (i) any family $u_p \in W^{1,p}_v(\Omega,N)$ with $\sup_p (k-p)D_p(u_p)<+\infty$ has a subsequence $p_i\to k$ and a finite-mass flat chain $S$ in the cobordism class $C(\Omega,v)$ such that $F_{\Omega,k}(S(u_{p_i})-S)\to 0$ and $M_k(S_A) \leq \liminf_i (k-p_i)D_{p_i}(u_{p_i}, A\cap\Omega)$ for every open set $A$; and (ii) every chain $S$ in $C(\Omega,v)$ is attained as the flat limit of singular sets of maps $u_p$ with $\limsup_p (k-p)D_p(u_p)\leq M_k(S)$. Thus the scaled $p$-Dirichlet energies $\Gamma$-converge to the flat-chain mass, with the maps' topological singular sets as the convergence variable. Applied to minimizers, this yields Theorem B: $p$-harmonic maps $v_p$ solve the minimization problem for each $p$, their singular sets converge to a limiting chain $S$, $(k-p)D_p(v_p)\to M_k(S)$, and $S$ has minimal mass among chains in $C(\Omega,v)$, the homological Plateau problem associated with the boundary datum.

Load-bearing premise

The proof's load-bearing premise is that minimizing $p$-harmonic maps from the sphere $S^{k-1}$ into $N$ satisfy an $L^\infty$ gradient bound whose constant is independent of $p$ as $p\to k^-$; without that bound, the homotopy-norm comparison, the leading $1/(k-p)$ lower term, and the compactness part of the $\Gamma$-limit would collapse.

Editorial extensions

If this is right

  • Energy-minimizing $p$-harmonic maps with a fixed boundary datum have topological singular sets converging in flat norm to a finite-mass chain $S$ that solves the homological Plateau problem in the class $C(\Omega,v)$, and their scaled energies $(k-p)D_p(v_p)$ converge to the mass $M_k(S)$.
  • The $\Gamma$-limit works even when the boundary datum is topologically obstructed, so the genuinely ill-posed $k$-energy problem receives a well-defined relaxation through $p$-energies with $p<k$.
  • The theorem covers singular sets of arbitrary dimension $n$ and codimension $k$ for targets satisfying (H), including targets with nontrivial fundamental group as long as it is Abelian.
  • A boundary-free version (Proposition 5.1) asserts the same $\Gamma$-convergence for relative boundaries, so the result applies to other variational problems with nonlocal or lower-order terms coupled to the $p$-energy.
  • The estimate controlling flat-norm convergence of $S(u_p)$ in terms of the $L^p$ gradient difference means the energy landscape itself relaxes to the mass functional, not merely the distribution of singularities.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Not in the paper: the same scheme should transfer to other regularizations that produce flat-chain-valued singular sets with abelian charges, such as fractional or nonlocal approximations, provided the corresponding uniform gradient bound in the critical dimension can be proved.
  • Not in the paper: quantitative rates are not addressed. For minimizers one may expect $F_{\Omega,k}(S(v_p)-S)$ to decay at a rate tied to the spectral gap of the second variation of the Plateau solution, and inspecting that rate would be a natural test of stability.
  • Not in the paper: the flat-chain formalism forces the coefficient group to be Abelian, so targets such as $\mathbb{RP}^2$ with $k=2$ fall outside the theorem; a possible extension would seek the same $\Gamma$-limit with mod-2 or twisted coefficients, though no construction is offered here.
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

2 major / 5 minor

Summary. The paper proves a Gamma-convergence result for the p-Dirichlet energy of maps from a domain in R^{n+k} into a closed Riemannian manifold N satisfying assumption (H), in the supercritical regime p approaching k from below. The limit functional is the mass on n-dimensional flat chains with coefficients in pi_{k-1}(N); the topological singular sets of the maps converge to a chain solving the homological Plateau problem in the class determined by the boundary datum. Theorem A contains the compactness/lower bound and the upper bound, and Theorem B derives convergence of minimizers of the p-energy. The proof adapts the Ginzburg-Landau Gamma-convergence strategy of Alberti-Baldo-Orlandi and Canevari-Orlandi, with a new uniform L-infinity gradient estimate for supercritical p-harmonic maps from S^{k-1} (Theorem 2.6, proven in Appendix A) used to control the dependence of the homotopy-class norms on p.

Significance. If the central claim holds, this is a substantial contribution: it extends the Gamma-convergence description of topological singularities from the Ginzburg-Landau setting and from the known n=0,1 or sphere-target cases to arbitrary n and general targets satisfying (H), and it identifies the limit of the scaled p-Dirichlet energies with the mass functional. The uniform gradient estimate for p-harmonic maps from S^{k-1} is a new analytic ingredient of independent interest. The paper is carefully written and follows the established framework of flat chains with normed group coefficients, and the main structural steps (ball construction, grid approximation, dipole insertion) are clearly laid out. The principal weakness is that the proof of the uniform L-infinity estimate contains a specific exponent error that is load-bearing for the lower-bound half of Theorem A; this needs to be repaired before the result can be considered fully established.

major comments (2)
  1. [Theorem 2.6 / Corollary 2.7] The displayed definition in Theorem 2.6, alpha := 1 - p/(k-1), is negative for every p > k-1, which is the entire regime of interest. The subsequent proof of Corollary 2.7 requires alpha = 1 - (k-1)/p = (p-k+1)/p, and the algebra leading to f(p,q) = (p-k+1)/(q-k+1) is only valid with this positive exponent. As written, the statement of Theorem 2.6 is inconsistent with its use; please correct the definition and re-check the surrounding text.
  2. [Appendix A, proof of Theorem A.1, equation (A.15)] The absorption step in the proof of Theorem A.1 contains an exponent error that is load-bearing for the p-independence of the constant. Substituting s = M/(2 - 2 sigma M) from (A.12) gives 1/(2s) = 1/M - sigma, hence M(1/(2s) - 1/p) = alpha - M sigma. Therefore the product r_M^sigma vol(B(x))^{1/(2s)-1/p} is bounded by C r_M^{alpha - (M-1) sigma}, not C r_M^alpha as claimed in (A.15). Since r_M tends to 0 as ||grad v||_{L^p} tends to infinity by (A.8), the missing factor r_M^{-(M-1) sigma} is unbounded and cannot be absorbed into a constant independent of v. Consequently inequality (A.14) and the uniform bound of Theorem A.1 do not follow as written. This uniformity is exactly what Corollary 2.7, Proposition 2.4, Proposition 2.5, and the lower bound in Theorem A(i) require. Please correct the exponent computation or the definition of s, and verify that the De Giorgi iteration still yields a constant independent of p.
minor comments (5)
  1. [Section 3, proof of Lemma 3.7] The inequality |gamma_p(K)|_k ≲ |gamma_p(K)|_p^{k/p} is not a consequence of (2.19); the lower bound in (2.19) gives the exponent 1/(p-k+1) instead. The two exponents are asymptotically equal as p -> k, so the final mass bound may survive an adjustment, but the argument as written is not correct.
  2. [Section 1.4] After equation (1.13) the text refers to 'estimate (1.15)' and to 'property (1.15)' two lines later; the numbering appears shifted by one (the intended estimate is (1.13)).
  3. [Theorem A statement and Section 1] The class of admissible chains is denoted C(v, Omega) in Theorem A but C(Omega, v) in the definition in Section 1 and elsewhere; please standardize the notation.
  4. [Paragraph after Theorem 2.6] The sentence 'the constant C_q does not depend on p' should read 'the constant C' (or 'C_0'); the subscript q is undefined and suggests a typo.
  5. [Throughout] There are several small typos, e.g. 'Let V and open bounded set' in Lemma 1.3, 'erferences' in the Introduction, 'for simplificty of notation' in Appendix A, and 'thesesequenceofenergies' in the Introduction; a careful proofreading pass is recommended.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the p->k Gamma-convergence is derived from a new self-contained regularity estimate, classical ball-construction lower bounds, and prior published geometric-measure constructions, without any equation being equated to the target limit.

full rationale

The central claim, Theorem A, is not obtained by renaming an input. The lower bound passes through Proposition 2.1 and the ball construction, where inequality (2.5) uses the definition of E_p as an infimum over sphere maps; this is a chosen norm, not a fitted prediction, and the substantive content lies in the ball-construction argument from Jerrard/Sandier and in the uniform equivalence of Proposition 2.4. Proposition 2.4 in turn rests on Theorem 2.6, whose proof is given in a self-contained Appendix A revisiting Hardt-Lin and DiBenedetto estimates while tracking p-dependence. Even if one doubted the validity or completeness of that long regularity proof, that is a soundness/correctness risk, not circularity: the estimate is not assumed equal to the mass lower bound it feeds. The upper bound uses the dipole insertion and dense-class results cited from the authors' prior works [21,22]; these are established theorems with independent content (published journal papers), and the present paper does not invoke a uniqueness theorem from those works to forbid alternatives. The operator S(u) and the cobordism class C(Ω,v) are constructions from [21], not the Gamma-convergence statement. No parameter is fitted to data and then relabeled a prediction, and no equation in the derivation is identical to Theorem A by construction. The flagged typo in Theorem 2.6, α:=1-p/(k-1), should read 1-(k-1)/p as in Theorem A.1; this is a typographical inconsistency in an exponent, not a circular step. Overall, the derivation chain is self-contained relative to its cited tools, and no load-bearing step reduces to the target result.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

No empirical parameters are fitted and no new physical or geometric entities are postulated. The topological singular set is a flat chain constructed in prior work [21]. The proof uses only analytic constants and thresholds; the central claim rests on the topological assumption (H), the retraction map of Hardt-Kinderlehrer-Lin, the flat-chain formalism, and prior regularity theory. The new uniform gradient estimate is proved in the appendix rather than assumed.

assumptions (7)
  • domain assumption Target manifold N is (k-2)-connected with Abelian fundamental group and pi_{k-1}(N) nonzero (assumption (H)).
    Used throughout; guarantees existence of retraction maps, Abelian flat-chain coefficients, nonempty W^{1,p}_v for p in (k-1,k), and well-defined homotopy classes. Stated in the introduction and Section 1.
  • domain assumption Existence of a retraction map ϱ:R^m\X to N with X a finite union of (m-k)-dimensional compact polyhedra and |∇ϱ(z)| bounded by a constant times 1/dist(z,X).
    This is Proposition 1.1, from Hardt-Kinderlehrer-Lin [40]. It is used to construct approximating maps w_y = ϱ_y ∘ u and to define and control topological singular sets in Section 1.2.
  • standard math Flat chains with coefficients in a normed Abelian group satisfy the deformation theorem, isoperimetric inequality, and compactness (Fleming [30], White [62,63], De Pauw-Hardt [25]).
    The whole statement is formulated in this framework; Lemmas 1.5 to 1.8 and the compactness arguments in Section 3 use these properties.
  • standard math The topological singular set operator S of Canevari-Orlandi [21] has the properties stated in Proposition 1.4, including locality and the Lipschitz-type estimate (1.13).
    Used to compare singular sets of maps and to pass to limits; the object itself is a flat chain with coefficients in pi_{k-1}(N).
  • standard math Classical regularity of minimising p-harmonic maps for p>k-1, including C^{1,alpha} estimates (Hardt-Lin [40], DiBenedetto [26], Tolksdorf [58]).
    Used to define minimising maps v_{p,sigma} that achieve E_p(sigma) and in Appendix A to establish the uniform estimate Theorem A.1.
  • standard math Density of maps smooth away from finitely many point singularities in W^{1,p}(D,N) for p>k-1 (Bethuel [10, Theorem 2]).
    Used in the reduction in Proposition 2.1 to justify working with maps that are smooth except for finitely many point singularities.
  • domain assumption Boundary and extension results: Bethuel-Demengel [13, Theorem 4] for empty W^{1,k}_v and Hardt-Lin [40, Theorem 6.2] for nonempty W^{1,p}_v when p is in (k-1,k).
    Sets up the motivation and the admissible class for boundary data in the introduction.

how reviews work

0 comments
Cite this review

Pith. "Pith review of $\Gamma$-convergence of the $p$-Dirichlet energy for manifold-valued maps." pith.science (2026). https://pith.science/paper/ABGL2XMT

@misc{pith2026250521257,
  author       = {Pith},
  title        = {Pith review of: $\Gamma$-convergence of the $p$-Dirichlet energy for manifold-valued maps},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ABGL2XMT}},
  note         = {Machine review of arXiv:2505.21257}
}
abstract

We prove a ${\Gamma}$-convergence result for the $p$-Dirichlet energy functional defined on maps from a smooth bounded domain $\Omega \subseteq \mathbb{R}^{n+k}$ to $\mathscr{N}$, a $(k-2)$-connected and smooth closed Riemannian manifold with Abelian fundamental group, where $n$ and $k$ are integers, $n \geq 0$, $k \geq 2$. We focus on the regime $p \to~k^-$ under Dirichlet boundary conditions. The result provides a description of the asymptotic behavior of the $\textit{topological singular sets}$ for families of $\mathscr{N}$-valued Sobolev maps which satisfy suitable energy bounds. Such topological singular sets are $n$-dimensional flat chains with coefficients in $\pi_{k-1}(\mathscr{N})$ endowed with a suitable norm. As a consequence of our main result, it follows that the topological singular sets of energy minimizing $p$-harmonic maps converge to a $n$-dimensional flat chain $S$ with coefficients in $\pi_{k-1}(\mathscr{N})$ which has finite mass and solves the Plateau problem within the homology class associated to the boundary datum.

Figures

Figures reproduced from arXiv: 2505.21257 by the authors.

Figure 1
Figure 1. Maps have singularities that are uniformly distributed in the critical dimension with [PITH_FULL_IMAGE:figures/full_fig_p015_1.png] view at source ↗
Figure 2
Figure 2. An illustration of a singular set and a dual grid within a cube. [PITH_FULL_IMAGE:figures/full_fig_p024_2.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

64 extracted references · 55 canonical work pages

  1. [24]

    Caselli, M

    M. Caselli, M. Freguglia, and N. Picenni. Coercivity and Gamma-convergence of thep-energy of sphere-valued Sobolev maps. Preprint, arXiv:2503.14142 [math.AP] (2025), 2025

    arXiv 2025

  2. [42]

    R. L. Jerrard. Lower bounds for generalized Ginzburg-Landau functionals.SIAM J. Math. Anal., 30(4):721–746, 1999

    1999

  3. [22]

    Canevari and G

    G. Canevari and G. Orlandi. Topological singular set of vector-valued maps, II:Γ-convergence for Ginzburg-Landau type functionals.Arch. Ration. Mech. Anal., 241(2):1065–1135, 2021

    work page 2021

  4. [1]

    G. Alberti. A variational convergence result for Ginzburg-Landau functionals in any dimension. Boll. Unione Mat. Ital. Sez. B Artic. Ric. Mat. (8), 4(2):289–310, 2001

    work page 2001

  5. [2]

    Alberti, S

    G. Alberti, S. Baldo, and G. Orlandi. Functions with prescribed singularities.J. Eur. Math. Soc. (JEMS), 5(3):275–311, 2003

    2003

  6. [3]

    Alberti, S

    G. Alberti, S. Baldo, and G. Orlandi. Variational convergence for functionals of Ginzburg- Landau type.Indiana Univ. Math. J., 54(5):1411–1472, 2005

    2005

  7. [4]

    Alicandro and M

    R. Alicandro and M. Cicalese. Variational analysis of the asymptotics of theXYmodel.Arch. Ration. Mech. Anal., 192(3):501–536, 2009

    work page 2009

  8. [5]

    Alicandro, L

    R. Alicandro, L. De Luca, A. Garroni, and M. Ponsiglione. Metastability and dynamics of discrete topological singularities in two dimensions: aΓ-convergence approach.Arch. Ration. Mech. Anal., 214(1):269–330, 2014

    work page 2014

Show all 64 references
  1. [6]

    Alicandro and M

    R. Alicandro and M. Ponsiglione. Ginzburg-Landau functionals and renormalized energy: a revisedΓ-convergence approach.J. Funct. Anal., 266(8):4890–4907, 2014

    2014

  2. [7]

    Baldo, V

    S. Baldo, V. P. C. Le, A. Massaccesi, and G. Orlandi. Energy minimizing maps with prescribed singularities and Gilbert-Steiner optimal networks.Math. Eng., 5(4):Paper No. 078, 19, 2023

    2023

  3. [8]

    J. M. Ball and S. Bedford. Discontinuous order parameters in liquid crystal theories.Molecular Crystals and Liquid Crystals, 612:1–23, 2015

    2015

  4. [9]

    F. Bethuel. A characterization of maps inH1(B3,S 2)which can be approximated by smooth maps.Annales de l’Institut Henri Poincare (C) Non Linear Analysis, 7(4):269 – 286, 1990

    1990

  5. [10]

    F. Bethuel. The approximation problem for Sobolev maps between two manifolds.Acta Math., 167(3-4):153–206, 1991

    1991

  6. [11]

    Bethuel, H

    F. Bethuel, H. Brezis, and J.-M. Coron.Relaxed Energies for Harmonic Maps, pages 37–52. Birkhäuser Boston, Boston, MA, 1990

    1990

  7. [12]

    Bethuel, H

    F. Bethuel, H. Brezis, and F. Hélein.Ginzburg-Landau Vortices. Progress in Nonlinear Differ- ential Equations and their Applications, 13. Birkhäuser Boston Inc., Boston, MA, 1994

    1994

  8. [13]

    Bethuel and F

    F. Bethuel and F. Demengel. Extensions for Sobolev mappings between manifolds.Cal. Var. Partial Differential Equations, 3(4):475–491, 1995. 46

    1995

  9. [14]

    Bhattacharya, E

    T. Bhattacharya, E. DiBenedetto, and J. Manfredi. Limits asp→∞of∆ pup =fand related extremal problems. Number Special Issue, pages 15–68 (1991). 1989. Some topics in nonlinear PDEs (Turin, 1989)

    1991

  10. [15]

    Bousquet, A

    P. Bousquet, A. C. Ponce, and J. Van Schaftingen. Density of smooth maps for fractional Sobolev spacesW s,p intoℓsimply connected manifolds whens≥1.Confluentes Mathematici, 5(2):3–24, 2013

    2013

  11. [16]

    Brezis, J.-M

    H. Brezis, J.-M. Coron, and E. H. Lieb. Harmonic maps with defects.Comm. Math. Phys., 107(4):649–705, 1986

    1986

  12. [17]

    Brezis and P

    H. Brezis and P. Mironescu.Sobolev maps to the circle—from the perspective of analysis, geom- etry, and topology, volume 96 ofProgress in Nonlinear Differential Equations and their Appli- cations. Birkhäuser/Springer, New York, [2021]©2021

    2021

  13. [18]

    Bulanyi, J

    B. Bulanyi, J. Van Schaftingen, and B. Van Vaerenbergh. Limiting behavior of minimizing p-harmonic maps in 3d aspgoes to2with finite fundamental group.Archive for Rational Mechanics and Analysis, 2024

    2024

  14. [19]

    Energy-minimizingtorus-valuedmapswithprescribedsingularities, Plateau’s problem, and BV-lifting.Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, 2024

    G.CanevariandV.P.C.Le. Energy-minimizingtorus-valuedmapswithprescribedsingularities, Plateau’s problem, and BV-lifting.Annali della Scuola Normale Superiore di Pisa, Classe di Scienze, 2024

    2024

  15. [20]

    Canevari, A

    G. Canevari, A. Majumdar, and B. Stroffolini. Minimizers of a Landau–de Gennes energy with a subquadratic elastic energy.Arch. Ration. Mech. Anal., 233(3):1169–1210, 2019

    2019

  16. [21]

    Canevari and G

    G. Canevari and G. Orlandi. Topological singular set of vector-valued maps, I: applications to manifold-constrained Sobolev and BV spaces.Calculus of Variations and Partial Differential Equations, 58(2):72, Mar 2019

    2019

  17. [23]

    Caselli, M

    M. Caselli, M. Freguglia, and N. Picenni. A nonlocal approximation of the area in codimension two. Preprint, arXiv:2406.13696 [math.AP] (2024), 2024

    2024 arXiv

  18. [25]

    De Pauw and R

    T. De Pauw and R. Hardt. Rectifiable and flatGchains in a metric space.Amer. J. Math., 134(1):1–69, 2012

    2012

  19. [26]

    DiBenedetto.C 1+α local regularity of weak solutions of degenerate elliptic equations.Non- linear Analysis: Theory, Methods & Applications, 7(8):827–850, 1983

    E. DiBenedetto.C 1+α local regularity of weak solutions of degenerate elliptic equations.Non- linear Analysis: Theory, Methods & Applications, 7(8):827–850, 1983

    1983

  20. [27]

    DiBenedetto.Partial differential equations

    E. DiBenedetto.Partial differential equations. Cornerstones. Birkhäuser Boston, Ltd., Boston, MA, second edition, 2010

    2010

  21. [28]

    L. C. Evans. A new proof of localC 1,α regularity for solutions of certain degenerate elliptic p.d.e.J. Differential Equations, 45(3):356–373, 1982

    1982

  22. [29]

    Federer and W

    H. Federer and W. H. Fleming. Normal and integral currents.Ann. of Math. (2), 72:458–520, 1960

    1960

  23. [30]

    W. H. Fleming. Flat chains over a finite coefficient group.Trans. Amer. Math. Soc., 121:160– 186, 1966. 47

    1966

  24. [31]

    Giaquinta, G

    M. Giaquinta, G. Modica, and J. Souček.Cartesian currents in the calculus of variations., volume37–38ofErgebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics [Results in Mathematics and Related Areas. 3rd Series. A Series of Moder...

    1998

  25. [32]

    Giaquinta and D

    M. Giaquinta and D. Mucci. The BV-energy of maps into a manifold : relaxation and density results.Annali della Scuola Normale Superiore di Pisa - Classe di Scienze, 5(4):483–548, 2006

    2006

  26. [33]

    Golovaty and J

    D. Golovaty and J. A. Montero. On minimizers of a Landau-de Gennes energy functional on planar domains.Arch. Rational Mech. Anal., 213(2):447–490, 2014

    2014

  27. [34]

    P. Hajłasz. Approximation of Sobolev mappings.Nonlinear Analysis: Theory, Methods & Applications, 22(12):1579–1591, 1994

    1994

  28. [35]

    Hang and F.-H

    F. Hang and F.-H. Lin. Topology of Sobolev mappings. II.Acta Math., 191(1):55–107, 2003

    2003

  29. [36]

    Hardt and B

    R. Hardt and B. Chen. Prescribing singularities forp-harmonic maps.Indiana Univ. Math. J., 44(2):575–602, 1995

    1995

  30. [37]

    Hardt, D

    R. Hardt, D. Kinderlehrer, and F.-H. Lin. Existence and partial regularity of static liquid crystal configurations.Comm. Math. Phys., 105(4):547–570, 1986

    1986

  31. [38]

    Hardt and F

    R. Hardt and F. Lin. Singularities forp-energy minimizing unit vectorfields on planar domains. Calc. Var. Partial Differential Equations, 3(3):311–341, 1995

    1995

  32. [39]

    Hardt, F

    R. Hardt, F. Lin, and C. Wang. Singularities ofp-energy minimizing maps.Comm. Pure Appl. Math., 50(5):399–447, 1997

    1997

  33. [40]

    Hardt and F.-H

    R. Hardt and F.-H. Lin. Mappings minimizing theLp norm of the gradient.Comm. Pure Appl. Math., 40(5):555–588, 1987

    1987

  34. [41]

    C. P. Hopper. Partial regularity for holonomic minimisers of quasiconvex functionals.Arch. Rational Mech. Anal., 222(1):91–141, Oct 2016

    2016

  35. [43]

    R. L. Jerrard and H. M. Soner. The Jacobian and the Ginzburg-Landau energy.Cal. Var. Partial Differential Equations, 14(2):151–191, 2002

    2002

  36. [44]

    R. L. Jerrard and H. M. Soner. Functions of bounded higher variation.Indiana Univ. Math. J., 51(3):645–677, 2003

    2003

  37. [45]

    O. A. Ladyzhenskaya and N. N. Ural’tseva.Linear and quasilinear elliptic equations. Aca- demic Press, New York-London, 1968. Translated from the Russian by Scripta Technica, Inc, Translation editor: Leon Ehrenpreis

    1968

  38. [46]

    Leoni.A first course in Sobolev spaces, volume 181 ofGraduate Studies in Mathematics

    G. Leoni.A first course in Sobolev spaces, volume 181 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, second edition, 2017

    2017

  39. [47]

    Luckhaus

    S. Luckhaus. Partial Hölder continuity for minima of certain energies among maps into a Riemannian manifold.Indiana Univ. Math. J., 37(2):349–367, 1988

    1988

  40. [48]

    Majumdar and A

    A. Majumdar and A. Zarnescu. Landau-De Gennes theory of nematic liquid crystals: the Oseen-Frank limit and beyond.Arch. Rational Mech. Anal., 196(1):227–280, 2010

    2010

  41. [49]

    Monteil, R

    A. Monteil, R. Rodiac, and J. Van Schaftingen. Ginzburg-Landau relaxation for harmonic maps on planar domains into a general compact vacuum manifold.Arch. Ration. Mech. Anal., 242(2):875–935, 2021. 48

    2021

  42. [50]

    Monteil, R

    A. Monteil, R. Rodiac, and J. Van Schaftingen. Renormalised energies and renormalisable singularharmonicmapsintoacompactmanifoldonplanardomains.Math. Ann., 383(3-4):1061– 1125, 2022

    2022

  43. [51]

    D. Mucci. Maps into projective spaces: Liquid crystal and conformal energies.Discrete and Continuous Dynamical Systems – B, 17(2):597–635, 2012

    2012

  44. [52]

    Nguyen and A

    L. Nguyen and A. Zarnescu. Refined approximation for minimizers of a Landau-de Gennes energy functional.Cal. Var. Partial Differential Equations, 47(1-2):383–432, 2013

    2013

  45. [53]

    M. R. Pakzad and T. Rivière. Weak density of smooth maps for the Dirichlet energy between manifolds.Geom. Funct. Anal., 13(1):223–257, 2003

    2003

  46. [54]

    E. Sandier. Lower bounds for the energy of unit vector fields and applications.J. Funct. Anal., 152(2):379–403, 1998. see Erratum, ibidem 171, 1 (2000), 233

    2000

  47. [55]

    D. Stern. Mountain pass energies between homotopy classes of maps.arXiv:1809.03361, 2018

    2018 arXiv

  48. [56]

    Stern.p-harmonic maps toS1 and stationary varifolds of codimension two.Calc

    D. Stern.p-harmonic maps toS1 and stationary varifolds of codimension two.Calc. Var. Partial Differential Equations, 59(6):Paper No. 187, 47, 2020

    2020

  49. [57]

    D. L. Stern.Variational Theory and Asymptotic Analysis for the Ginzburg-Landau Equations and p-Harmonic Maps. ProQuest LLC, Ann Arbor, MI, 2019. Thesis (Ph.D.)–Princeton Uni- versity

    2019

  50. [58]

    Tolksdorf

    P. Tolksdorf. Regularity for a more general class of quasilinear elliptic equations.J. Differential Equations, 51(1):126–150, 1984

    1984

  51. [59]

    Uhlenbeck

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

    1977

  52. [60]

    N. N. Ural’tseva. Degenerate quasilinear elliptic systems.Zap. Nauvcn. Sem. Leningrad. Otdel. Mat. Inst. Steklov. (LOMI), 7:184–222, 1968

    1968

  53. [61]

    Van Schaftingen and B

    J. Van Schaftingen and B. Van Vaerenbergh. Asymptotic behavior of minimizingp-harmonic maps whenp↗2in dimension 2.Calc. Var. Partial Differential Equations, 62(8):Paper No. 229, 45, 2023

    2023

  54. [62]

    B. White. The deformation theorem for flat chains.Acta Math., 183(2):255–271, 1999

    1999

  55. [63]

    B. White. Rectifiability of flat chains.Ann. of Math. (2), 150(1):165–184, 1999

    1999

  56. [64]

    Whitney.Geometric integration theory

    H. Whitney.Geometric integration theory. Princeton University Press, Princeton, N. J., 1957. 49

    1957

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.