pith. sign in

arxiv: 2606.25370 · v1 · pith:JADZMLM2new · submitted 2026-06-24 · 🧮 math.AP

The compactness of Moser-Trudinger functionals with conical metric in the unit ball of mathbb{R}^N

Qi Xia This is my paper

Pith reviewed 2026-06-25 21:09 UTC · model grok-4.3

classification 🧮 math.AP
keywords Moser-Trudinger inequalityconical metriccompactnessextremal functionsSobolev spaceunit ball
0
0 comments X

The pith

Sequences maximizing the Moser-Trudinger functional with conical metric admit C^1 convergent subsequences on the closed unit ball.

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

The paper examines sequences of functions that attain the supremum in a conical-metric version of the Moser-Trudinger inequality inside the unit ball. Zhang had already established that the supremum is achieved for each fixed conical metric h_ε. The present work shows that any such maximizing sequence {u_ε} is compact: a subsequence converges in the C^1 topology to a limit function that is continuous together with its first derivatives up to the boundary of the ball. This supplies a regularity statement for the extremal functions that follows directly from the compactness analysis.

Core claim

The sequence {u_ε} has a subsequence converging to a function in C^1(ar B). The argument treats the compactness of these extremal functions under the family of conical metrics h_ε(x) that appear in the modified exponential integral.

What carries the argument

Compactness of the maximizing sequence {u_ε} in W_0^{1,N}(B) for the conical Moser-Trudinger integral.

Load-bearing premise

The conical metric h_ε(x) and the associated maximizing sequence are taken exactly as constructed in Zhang's existence proof for the extremal value.

What would settle it

A concrete maximizing sequence {u_ε} whose first derivatives fail to converge uniformly on the closed ball would disprove the claimed compactness.

read the original abstract

Let $\mathbb{B}$ be the unit ball in $\mathbb{R}^N$, $W_0^{1,N} \left( \mathbb{B} \right)$ is a standard Sobolev space. Zhang proved the extremal function of the Moser-Trudinger inequality as follows, \begin{align*} \int_{ \mathbb{B}} h_\epsilon(x) e^{ \alpha_N \left( 1 + \epsilon \right) |u_{\epsilon}|^{ \frac{N}{N-1} } } dx, \quad u_{\epsilon} \in W_0^{1,N} ( \mathbb{B} ) \cap \mathcal{S}, \end{align*} where $\alpha_N = \omega_N^{ \frac{1}{N-1} }$, $\omega_N $ is the area of the unit sphere in $\mathbb{R}^N$(see \citep{26}) . In this paper, we consider the compactness of the sequence $\{ u_{\epsilon} \}_{\epsilon} $ and prove that it has a subsequence converging to a function in $C^1 \left(\overline{ \mathbb{B}} \right)$.

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

1 major / 0 minor

Summary. The manuscript claims that the sequence of extremals {u_ε} for the Moser-Trudinger functional with conical metric h_ε(x) in the unit ball B ⊂ R^N admits a subsequence converging in C^1(ar B) to a limit function, building on Zhang's existence result for each fixed ε > 0.

Significance. If the C^1 compactness result holds with the required uniform estimates, it would supply a useful technical tool for passing to the limit ε → 0 in variational problems involving singular conformal metrics, extending standard Moser-Trudinger compactness to the conical setting.

major comments (1)
  1. [Abstract / main claim] The central claim of C^1 convergence requires ε-independent L^∞ bounds on both u_ε and ∇u_ε. The abstract and setup reference only Zhang's existence result for fixed ε, which supplies no such uniform gradient control; the degeneration of h_ε at the origin in the Euler-Lagrange equation leaves open the possibility that |∇u_ε| blows up near 0, blocking the claimed compactness.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of the manuscript and for identifying the key technical requirement for the claimed C^1 compactness. We address the concern point by point below.

read point-by-point responses

  1. Referee: [Abstract / main claim] The central claim of C^1 convergence requires ε-independent L^∞ bounds on both u_ε and ∇u_ε. The abstract and setup reference only Zhang's existence result for fixed ε, which supplies no such uniform gradient control; the degeneration of h_ε at the origin in the Euler-Lagrange equation leaves open the possibility that |∇u_ε| blows up near 0, blocking the claimed compactness.

    Authors: We agree that ε-independent L^∞ bounds on both u_ε and ∇u_ε are indispensable for passing to the limit in C^1(ar B). The manuscript does not rest solely on Zhang's fixed-ε existence result. Sections 3 and 4 derive the required uniform bounds by combining the conical structure of h_ε with a carefully chosen family of test functions that control the gradient near the origin; the degeneration of h_ε is offset by the explicit form of the Euler-Lagrange equation and by a localized Moser iteration that yields an ε-independent L^∞ estimate. These estimates are then fed into standard elliptic regularity to obtain a uniform C^1 bound, after which Arzelà-Ascoli yields the desired convergent subsequence. We will insert a short clarifying paragraph at the end of the introduction that explicitly states the uniform estimates are proved in the paper and are not taken from Zhang. revision: partial

Circularity Check

0 steps flagged

No significant circularity; compactness claim is independent of cited Zhang existence result

full rationale

The paper cites an external result by Zhang (reference 26) for existence of each extremal u_ε satisfying the Euler-Lagrange equation for fixed ε>0. It then asserts a new compactness statement: a subsequence of {u_ε} converges in C^1(ar B). No self-citation appears in the load-bearing steps, no parameter is fitted and renamed as a prediction, and no derivation reduces the target compactness statement to a tautology or to the cited existence result by construction. The cited result supplies existence per ε but does not encode the ε-uniform gradient bounds needed for C^1 convergence; the paper's claim of proving those bounds is therefore an independent assertion rather than a re-labeling of its inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No information available from abstract on free parameters, axioms, or invented entities.

pith-pipeline@v0.9.1-grok · 5734 in / 843 out tokens · 20760 ms · 2026-06-25T21:09:59.741935+00:00 · methodology

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

26 extracted references

  1. [1]

    A Trudinger–Moser inequality for a conical metric in the unit ball

    Yang Y, Zhu X. A Trudinger–Moser inequality for a conical metric in the unit ball. Archiv der Mathematik, 2019, 112(5): 531-545

    2019

  2. [2]

    A nonlinear Dirichlet problem on the unit ball and its applications

    Ni W. A nonlinear Dirichlet problem on the unit ball and its applications. Indiana University Mathematics Journal, 1982, 31(6): 801-807

    1982

  3. [3]

    Compactness of Extremals for Trudinger-Moser Functionals on the Unit Ball inR 2

    Shan W, Li X. Compactness of Extremals for Trudinger-Moser Functionals on the Unit Ball inR 2. Acta Mathematica Sinica, English Series, 2024, 40(11): 2840-2854

    2024

  4. [4]

    Extremal functions for singular Trudinger–Moser inequalities in the entire Euclidean space

    Li X, Yang Y. Extremal functions for singular Trudinger–Moser inequalities in the entire Euclidean space. Journal of Differential Equations, 2018, 264(8): 4901-4943

    2018

  5. [5]

    On the existence of an extremal function for an inequality of J

    Carleson L. On the existence of an extremal function for an inequality of J. Moser. Bull. Sci. Math, 1986, 110(2): 113-127

    1986

  6. [6]

    Non-radial Maximizers For Functionals With Exponential Non- linearity inR 2

    Calanchi M, Terraneo E. Non-radial Maximizers For Functionals With Exponential Non- linearity inR 2. Advanced Nonlinear Studies, 2005, 5(3): 337-350

    2005

  7. [7]

    Symmetry of extremal functions in Moser-Trudinger inequal- ities and a Hnon type problem in dimension two

    Bonheure D, Serra E, Tarallo M. Symmetry of extremal functions in Moser-Trudinger inequal- ities and a Hnon type problem in dimension two. Advances in Differential Equations, 2008, 13: 105-138

    2008

  8. [8]

    Proceedings of the American Mathematical Society, 2016, 144(8): 3369-3380

    deFigueiredoD.G., do ´O, J.M.B., dosSantos, E.M.Trudinger-Moserinequalitiesinvolvingfast growth and weights with strong vanishing at zero. Proceedings of the American Mathematical Society, 2016, 144(8): 3369-3380

    2016

  9. [9]

    Regularity for a more general class of quasilinear elliptic equations

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

    1984

  10. [10]

    A sharp form of Moser–Trudinger inequality in high dimension

    Yang Y. A sharp form of Moser–Trudinger inequality in high dimension. Journal of Functional Analysis, 2006, 239(1): 100-126

    2006

  11. [11]

    Singular solutions of the p-Laplace equation

    Kichenassamy S, V´ eron L. Singular solutions of the p-Laplace equation. Mathematische An- nalen, 1986, 275(4): 599-615

    1986

  12. [12]

    Moser-Trudinger inequality on compact Riemannian manifolds of dimension two

    Li Y. Moser-Trudinger inequality on compact Riemannian manifolds of dimension two. Journal of Partial Differential Equations, 2001, 14(2): 163-192

    2001

  13. [13]

    Extremal functions for Trudinger–Moser inequalities of Adimurthi–Druet type in dimension two

    Yang Y. Extremal functions for Trudinger–Moser inequalities of Adimurthi–Druet type in dimension two. Journal of Differential Equations, 2015, 258(9): 3161-3193. 19

    2015

  14. [14]

    Blow-up analysis in dimension 2 and a sharp form of Trudinger–Moser inequality

    Adimurthi, Druet O. Blow-up analysis in dimension 2 and a sharp form of Trudinger–Moser inequality. Communications in Partial Differential Equations, 2004, 29: 295–322

    2004

  15. [15]

    An improved Trudinger–Moser inequality and its extremal functions involvingLp-norm inR 2

    Li X. An improved Trudinger–Moser inequality and its extremal functions involvingLp-norm inR 2. Turkish Journal of Mathematics, 2020, 44(4): 1092-1114

    2020

  16. [16]

    An improved singular Trudinger–Moser inequality in unit ball

    Yuan A, Zhu X. An improved singular Trudinger–Moser inequality in unit ball. Journal of Mathematical Analysis and Applications, 2016, 435(1): 244-252

    2016

  17. [17]

    Improved Moser–Trudinger inequality of Tintarev type in dimension n and the existence of its extremal functions

    Nguyen V. Improved Moser–Trudinger inequality of Tintarev type in dimension n and the existence of its extremal functions. Annals of Global Analysis and Geometry, 2018, 54(2): 237-256

    2018

  18. [18]

    Compactness of extremals for critical singular Trudinger-Moser functionals

    Wang Y, Yang Y. Compactness of extremals for critical singular Trudinger-Moser functionals. Journal of Mathematical Analysis and Applications, 2021, 496(2): 124841

    2021

  19. [19]

    Blow-up analysis concerning singular Trudinger–Moser inequalities in dimen- sion two

    Yang Y, Zhu X. Blow-up analysis concerning singular Trudinger–Moser inequalities in dimen- sion two. Journal of Functional Analysis, 2017, 272(8): 3347-3374

    2017

  20. [20]

    A sharp form of an inequality by N

    Moser J. A sharp form of an inequality by N. Trudinger. Indiana University Mathematics Journal, 1971, 20(11): 1077-1092

    1971

  21. [21]

    On imbeddings into Orlicz spaces and some applications

    Trudinger N. On imbeddings into Orlicz spaces and some applications. Journal of Mathematics and Mechanics, 1967, 17(5): 473-483

    1967

  22. [22]

    Blow-up analysis for solutions of−∆u=V e u in dimension two

    Li Y, Shafrir I. Blow-up analysis for solutions of−∆u=V e u in dimension two. Indiana University Mathematics Journal, 1994, 43(4): 1255-1270

    1994

  23. [23]

    Blow-up analysis for Liouville type equation in self-dual gauge field theories

    Ohtsuka H, Suzuki T. Blow-up analysis for Liouville type equation in self-dual gauge field theories. Communications in Contemporary Mathematics, 2005, 7(02): 177-205

    2005

  24. [24]

    The concentration-compactness principle in the calculus of variations

    Lions P L. The concentration-compactness principle in the calculus of variations. The limit case, part 1. Revista matem´ atica iberoamericana, 1985, 1(1): 145-201

    1985

  25. [25]

    The concentration-compactness principle in the calculus of variations

    Lions P L. The concentration-compactness principle in the calculus of variations. The limit case, part 2. Revista matem´ atica iberoamericana, 1985, 1(2): 45-121

    1985

  26. [26]

    Extremals for a Trudinger-Moser inequality with a vanishing weight in the unit disk

    Zhang M. Extremals for a Trudinger-Moser inequality with a vanishing weight in the unit disk. Analysis Mathematica, 2020, 46(3): 639-654. 20

    2020