Pith. sign in

REVIEW 3 major objections 4 minor 65 references

Adams-Trudinger-Moser inequalities of Adimurthi-Druet type regulated by the vanishing phenomenon and its extremals

T0 review · 3 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash

Pith's one-line read This paper proves a sharp Adams–Trudinger–Moser inequality of Adimurthi–Druet type on the whole space R^n for every order m < n, and shows that in the critical case n = 4, m = 2 the supremum is attained for small vanishing parameters.

desk verdict Genuinely new sharp higher-order Adams–Adimurthi–Druet inequality with a clean proof, but the critical attainability proof rests on a false local estimate and needs major repair. read the letter →

arxiv 2505.24297 v1 pith:YJKRPFBG submitted 2025-05-30 math.AP math.FA

classification math.APmath.FA MSC 35J6035B3335J9135J3031A3026D10
keywords Trudinger-MoserinequalitiesAdamsPolyharmonicequationsHardyAdimurthi-Druettypeextremalfunctionsvanishingphenomenonblow-upanalysis
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

This paper proves a sharp Adams–Trudinger–Moser inequality of Adimurthi–Druet type on the whole space R^n for all higher orders 1 ≤ m < n, with a modified exponent that grows when the $L^{{n/m}}$-norm of the function dominates the norm of its m-th gradient—the 'vanishing phenomenon.' The factor ((1 + α||u||_q^q)/(1 − γα||u||_q^q))^{m/(n−m)} can become arbitrarily large along vanishing sequences, so the inequality bundles a genuine loss of compactness into the constant. The paper shows the Adams critical constant β0 is sharp, and that the supremum is attained in the subcritical range for n = 2m (for a non-empty interval of β) and, in the critical case β0, for n = 4, m = 2 and small α, γ. This supplies the first m ≥ 2 Adimurthi–Druet type inequality on an unbounded domain and the first critical extremal result for it.

What carries the argument

The central object is the vanishing-regulated exponent factor ζ(u) = ((1 + α||u||_{n/m}^{n/m})/(1 − γα||u||_{n/m}^{n/m}))^{m/(n−m)}, which multiplies β0|u|^{n/(n−m)} inside the exponential; along sequences with ||∇^m u_j||_{n/m} → 0 it approaches β0(1 + α)/(1 − γα), which can be arbitrarily large. The proof of Theorem 1.1 uses a two-step scaling (defining v and w with τ = 1 − α, μ = τ − γα) that converts the vanishing factor into the standard Adams normalization. For the extremal problems the machinery is the concentration-compactness alternative for radial sequences, a blow-up analysis with the biharmonic truncation of DelaTorre–Mancini, and a comparison in n = 4, m = 2 between the Adams functional on the Green function G of Δ² + κ0 (κ0 = 1 − α(γ + 1)) and the test function built from the explicit bubble z(x) = −1/(16π²) ln(1 + (π/√6)|x|²). The constant K0, the value at the origin of the regular part of G, marks the threshold that the test function must exceed.

What would settle it

Compute whether the limsup in Lemma 6.25 is still bounded by |B_R| $e^{{-1/3}}$/3 for a sequence u_j ∈ $H_0^{2}$(B_R) with ||Δu_j||_2 = 1, u_j ⇀ 0, and the exponent β_j ζ̃_j $u_j^{2}$, where ζ̃_j = (1 + α||u_j||$_2^{2}$)/(1 − γα||u_j||$_2^{2}$). If any sequence yields a larger limsup, the comparison with the test function value in Section 7 breaks and Theorem 1.4 would not follow from the present argument.

Watch

Extended reading notes

Core claim

Theorem 1.1 fixes the space $W^{{m,n/m}}$(R^n) and proves that the supremum of the integral of Φ(β0 ((1 + α||u||_{n/m}^{n/m})/(1 − γα||u||_{n/m}^{n/m}))^{m/(n−m)} |u|^{n/(n−m)}) over the unit ball of ||∇^m u||_{n/m}^{n/m} + ||u||_{n/m}^{n/m} is finite for every 0 ≤ α < 1 and 0 < γ < 1/α − 1, and that β0 is the largest constant with this property. The proof scales the normalization to absorb the factors (1 − α||u||^q) and (1 − γα||u||^q), reducing the claimed inequality to the known sharp Adams inequality on R^n. The paper then studies the extremal problem: for n = 2m it proves attainability of the subcritical supremum for β in a range above a threshold involving the Gagliardo–Nirenberg constant B_GN, non-attainability for β sufficiently small, and in the critical case n = 4, m = 2 it proves that AD(4,2,β0,α,γ) is attained for small α and γ, using blow-up analysis, biharmonic truncations, and a test-function comparison against the Green function of Δ² + κ0.

Load-bearing premise

The critical attainability proof assumes that the Lu–Yang upper bound on concentrating $H_0^{2}$(B_R) sequences remains valid with the same constant after the exponent β_j $u_j^{2}$ is replaced by β_j ζ̃_j $u_j^{2}$, a step that is cited rather than demonstrated.

Editorial extensions

If this is right

  • A sharp higher-order Adams–Adimurthi–Druet inequality holds on the entire space R^n for every 1 ≤ m < n, with the same critical constant β0 as the classical Adams inequality and no loss at the critical exponent.
  • In even dimensions n = 2m, the subcritical supremum AD(2m, m, β, α, γ) is attained for α, γ in the stated range and β close to β0, and is not attained for small β, so the extremal landscape has a threshold behaviour.
  • In the critical case n = 4, m = 2, β = β0, the supremum is attained for all sufficiently small α and γ, giving the first critical extremal result for an m ≥ 2 Adimurthi–Druet type inequality.
  • The inequality is governed by the vanishing phenomenon: along normalized sequences with vanishing gradient part the effective exponent grows, and the full Sobolev normalization in Theorem 1.1 is exactly what restores finiteness at the critical constant.

Reading between the lines

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

  • The scaling reduction in Theorem 1.1 suggests a family of interpolated Adimurthi–Druet inequalities obtained by replacing the vanishing factor's ||u||^q with ||u||_r^q for other r, provided the known Adams inequality holds in the interpolated norm; the sharp constant and the extremal structure would presumably change accordingly.
  • The test-function comparison in Section 7, which for α → 0 reduces to the Chen–Lu–Zhu constant, suggests that the critical attainability set in (α, γ) might be much larger than the small-α interval stated in Theorem 1.4; one could numerically explore the sign of the difference in (7.1) for larger α.
  • The non-attainment result of Theorem 1.3 points to a phase transition in β: there should exist a threshold β*(α, γ) below which no maximizer exists and above which it does; locating this threshold would be a natural next problem.
  • Because Lemma 6.25 cites rather than derives the transfer of the Lu–Yang bound to the vanishing-regulated exponent, the critical attainability theorem is more fragile than the inequalities in Theorem 1.1; a direct proof of that transfer would settle Theorem 1.4 on solid ground.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

3 major / 4 minor

Summary. The paper proves an Adams-Trudinger-Moser inequality of Adimurthi-Druet type on the whole space R^n: for 1≤m<n, parameters α,γ as stated, and the critical Adams constant β0, the supremum of ∫ Φ(β0((1+α||u||^q)/(1-γα||u||^q))^{m/(n-m)} |u|^{n/(n-m)}) dx over the full Sobolev ball is finite, and β0 is claimed to be sharp. It then studies extremals: for n=2m it proves attainability for β in a subcritical interval (Theorem 1.2) and non-attainability for small β (Theorem 1.3), and for n=4,m=2 it claims attainability at β=β0 for small α,γ (Theorem 1.4). The arguments combine a scaling reduction of the finite-part inequality to known Adams bounds, a concentration-compactness-vanishing analysis, and a blow-up/truncation argument in the critical case.

Significance. If correct, Theorem 1.1 would give the first higher-order Adimurthi-Druet type sharp inequality on the whole space, and Theorem 1.4 would give a first critical extremal result for that inequality; the subcritical Theorems 1.2 and 1.3 would also be new. The scaling proof of the finite part of Theorem 1.1 is clean and self-contained modulo the external sharp Adams bound of Fontana-Morpurgo, and the paper gives credit where earlier machinery is imported (DelaTorre-Mancini, Chen-Lu-Zhu, Lu-Yang). The manuscript is ambitious and the overall strategy is coherent. However, the critical part contains a load-bearing estimate whose proof is not merely incomplete but inconsistent with the cited inequality, and the advertised sharpness of β0 is never proved.

major comments (3)
  1. [§6.5, Lemma 6.25] The transfer from the cited Lu-Yang estimate is not valid, and the displayed bound is inconsistent with the cited inequality. With A0=(8π²)^{-1}ln R − (16π²)^{-1}, the intermediate expression attributed to [42, Ineq. (5.23)] equals π²/6 e^{5/3} + 4 ln R − 2, while the claimed |B_R| e^{-1/3}/3 equals π² R^4 e^{-1/3}/6; these are not equal, and for small R the former even becomes negative although it is asserted as a limsup of nonnegative integrals. The factor ζ̃_j→1 also occurs at an uncontrolled rate, so replacing β_j by β_j ζ̃_j is not covered by the cited inequality. Since Lemma 6.26 uses Lemma 6.25 to exclude concentration, and Section 7 constructs test functions whose value is strictly above π²/6 e^{5/3}+32π²K0, the proof of Theorem 1.4 depends entirely on this unsupported upper bound. A correct proof or a corrected citation of the concentration estimate is needed before the critical attainability claim can be assessed.
  2. [§1.4 and §3.1] The sharpness of β0 in Theorem 1.1 is asserted but never proved. The proof in §3.1 establishes only finiteness for β=β0, stopping after the reduction to the known Adams bound (3.2). No sequence (u_j) with ||∇^m u_j||^q + ||u_j||^q ≤ 1 is constructed for which the integral diverges when β>β0. Sharpness for the standard Adams inequality does not automatically transfer to the modified coefficient ((1+α||u||^q)/(1-γα||u||^q))^{m/(n-m)} with the full Sobolev normalization, so a separate argument is required; as written, the central claim of sharpness is unsupported.
  3. [§4, Proposition 4.3] Formula (4.10) and the expansion (4.14) use (n/m−1)! and t^{n/m} for general n>m, but these expressions are undefined or are not the correct truncation terms when n/m is not an integer. For non-integer q=n/m, the lowest surviving term in Φ is t^{j_{m,n}−1}/(j_{m,n}−1)! with j_{m,n}=⌈q⌉, not t^{q−1}/(q−1)!. The proposition should be restricted to n/m∈N (or at least the proof must be reworked for non-integer ratios); as stated, it overclaims beyond what the expansion proves.
minor comments (4)
  1. [§2, equation (2.1)] The functional is written for u∈W^{m,2}(R^n), which is inconsistent with the spaces W^{m,n/m}(R^n) used throughout the paper; this should be corrected.
  2. [§6.2, Lemma 6.3] In the statement and proof, 'u_j→0 in L^2(R^2)' appears; the ambient dimension is 4, so this should read L^2(R^4).
  3. [§4.1, Lemma 4.1] The proof uses the notation ũ_j before defining it clearly, and the displayed estimate containing 'e^{C(n,m,R) 1/R ζ_j ||u_j||_{n/m}}' is garbled; the argument needs to be rewritten with exact definitions and exponents.
  4. [General presentation] Several displayed formulas are misnumbered or repeated (for instance, the displayed '(1.4)' in the introduction appears with different content), and some inline formulas in the statements of Theorems 1.2 and 1.4 are typeset in a compressed way that makes the hypotheses hard to read; these should be cleaned up.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the central inequalities and extremal results are derived from external sharp estimates, and the few self-citations are not load-bearing.

full rationale

The paper's main inequality (Theorem 1.1) is proved by an explicit scaling reduction to the known finite sharp constant K_{1/\mu} from Fontana-Morpurgo, displayed in equations (3.1)-(3.3); no fitted parameter is later relabeled as a prediction. The subcritical extremal results (Theorems 1.2-1.3) use Lemma 4.2 and Proposition 4.3, which are internal derivations from the Adams/Tarsi estimates and from the Gagliardo-Nirenberg constant estimate (2.5), not from the conclusions they establish. The critical attainability result (Theorem 1.4) rests on the DelaTorre-Mancini truncation argument, Chen-Lu-Zhu ideas, and the Lu-Yang concentration estimate [42, Ineq. (5.23)]; these are external works by different authors and are invoked as mathematical facts, so the chain is not a self-citation loop. The paper does cite works by members of the present team, namely [12] and [13], but those are used only for a Taylor expansion of a Gamma ratio and as a literature reference to concentration levels; neither carries an unverified load-bearing premise. The proof of Lemma 6.25 is very terse and the asserted arithmetic is not transparent, so there is a potential correctness risk in transferring the Lu-Yang estimate to the modified exponent \beta_j\tilde{\zeta}_j; however, an unsupported or even erroneous citation transfer is not circularity: the target bound is not identical by construction to its input. No step defines a quantity in terms of the very result it is supposed to yield, and no fitted number is renamed as a prediction. Score 1 rather than 0 only because the paper contains repeated self-citations for background and technical lemmas; none of them is load-bearing.

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

The central claims rest on several imported sharp inequalities rather than on fitted parameters. No numerical constants are fit to data. The most load-bearing inputs are the weighted Adams inequality, the Fourier rearrangement reduction, Tarsi's bounded-domain Adams bound, and Lu-Yang's local concentration upper bound; these are prior results, not free parameters.

assumptions (6)
  • domain assumption Weighted Adams-type inequality: sup over ||grad^m u||^q + tau||u||^q <= 1 of Integral Phi(beta0 |u|^{n/(n-m)}) is finite, as in Fontana-Morpurgo [20, Theorem 1-(b)].
    Used in Eq (3.1) to start the scaling chain for Theorem 1.1; if the weighted form failed, (1.13) would not follow.
  • domain assumption Fourier rearrangement of Lenzmann-Sok [34] permits the reduction H to H_rad in (2.2).
    Invoked in Section 2 to take maximizing sequences radial; needed in Theorems 1.2 and 1.4.
  • domain assumption Tarsi's Adams inequality for W^{m,n/m}_N(B_R) holds with sharp constant beta0, as in Theorem 4 of [58].
    Used in Lemma 4.1 and Lemma 6.3 to control local integrals; a quantitative failure would break the vanishing and concentration estimates.
  • ad hoc to paper Sharp local concentration estimate of Lu-Yang [42, Ineq. (5.23)] transfers to e^{beta_j zeta_tilde_j u_j^2} with bound |B_R| e^{-1/3}/3, as stated in Lemma 6.25.
    This is the upper threshold that Section 7's test function must beat; the paper does not derive the transfer. It is the most fragile imported premise.
  • standard math Standard elliptic regularity, Pizzetti's formula, and Martinazzi's classification of biharmonic entire solutions are applied as black boxes, as in Lemmas 6.7 through 6.10, 6.12 and 6.13.
    Used throughout Section 6 to justify C^3 convergence and Green function asymptotics; these are standard in the field.
  • ad hoc to paper The degenerate case 1 - mu_j ||u_j||_2^2 = 0 in Eq (6.12) does not occur for large j.
    This is asserted between (6.11) and (6.12) with proof deferred to the convergence ||u_j||_2 to 0 that Lemma 6.3 itself needs; without it lambda_j is undefined.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Adams-Trudinger-Moser inequalities of Adimurthi-Druet type regulated by the vanishing phenomenon and its extremals." pith.science (2026). https://pith.science/paper/YJKRPFBG

@misc{pith2026250524297,
  author       = {Pith},
  title        = {Pith review of: Adams-Trudinger-Moser inequalities of Adimurthi-Druet type regulated by the vanishing phenomenon and its extremals},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/YJKRPFBG}},
  note         = {Machine review of arXiv:2505.24297}
}
abstract

Let $W^{m,\frac{n}{m}}(\mathbb{R}^n)$ with $1\le m < n$ be the standard higher order derivative Sobolev space in the critical exponential growth threshold. We investigate a new Adams-Adimurthi-Druet type inequality on the whole space $\mathbb{R}^n$ which is strongly influenced by the vanishing phenomenon. Specifically, we prove \begin{equation}\nonumber \sup_{\underset{\|\nabla^{m} u\|_{\frac{n}{m}}^{^{\frac{n}{m}}}+\|u\|_{\frac{n}{m}}^{\frac{n}{m}} \leq 1}{u\in W^{m,\frac{n}{m}}(\mathbb{R}^n)}} \int_{\mathbb{R}^n}\Phi\left(\beta \left(\frac{1+\alpha\|u\|_{\frac{n}{m}}^{\frac{n}{m}}}{1-\gamma\alpha\|u\|_{\frac{n}{m}}^{\frac{n}{m}}}\right)^{\frac{m}{n-m}}|u|^{\frac{n}{n-m}}\right) \mathrm{d}x<+\infty. \end{equation} where $0\le \alpha<1$, $0<\gamma<\frac{1}{\alpha}-1$ for $\alpha>0$, $\nabla^{m} u$ is the $m$-th order gradient for $u$, $0\le\beta\le \beta_0$, with $\beta_0$ being the Adams critical constant, and $\Phi(t) = \operatorname{e}^{t}-\sum_{j=0}^{j_{m,n}-2}\frac{t^{j}}{j!}$ with $j_{m,n}=\min\{j\in\mathbb{N}\;:\: j\ge n/m\}$. In addition, we prove that the constant $\beta_0$ is sharp. In the subcritical case $\beta<\beta_0$, the existence and non-existence of extremal function are investigated for $n=2m$ and attainability is proven for $n=4$ and $m=2$ in the critical case $\beta=\beta_0$. Our method to analyze the extremal problem is based on blow-up analysis, a truncation argument recently introduced by DelaTorre-Mancini \cite{DelaTorre} and some ideas by Chen-Lu-Zhu \cite{luluzhu20}, who studied the critical Adams inequality in $\mathbb{R}^4$.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

65 extracted references · 65 canonical work pages

  1. [20]

    Fontana and C

    L. Fontana and C. Morpurgo , Sharp A dams and M oser- T rudinger inequalities on R ^n and other spaces of infinite measure , arXiv.org, (2015)

  2. [1]

    Adachi and K

    S. Adachi and K. Tanaka , Trudinger type inequalities in R^N and their best exponents , Proc. Amer. Math. Soc., 128 (2000), pp. 2051--2057

  3. [2]

    D. R. Adams , A sharp inequality of J . M oser for higher order derivatives , Ann. of Math. (2), 128 (1988), pp. 385--398

  4. [3]

    Druet , Blow-up analysis in dimension 2 and a sharp form of T rudinger- M oser inequality , Comm

    Adimurthi and O. Druet , Blow-up analysis in dimension 2 and a sharp form of T rudinger- M oser inequality , Comm. Partial Differential Equations, 29 (2004), pp. 295--322

  5. [4]

    Baird, A

    P. Baird, A. Fardoun, and R. Regbaoui , Q -curvature flow on 4-manifolds , Calc. Var. Partial Differential Equations, 27 (2006), pp. 75--104

  6. [5]

    height 2pt depth -1.6pt width 23pt, Prescribed Q -curvature on manifolds of even dimension , J. Geom. Phys., 59 (2009), pp. 221--233

  7. [6]

    Br\' e zis and L

    H. Br\' e zis and L. Nirenberg , Positive solutions of nonlinear elliptic equations involving critical S obolev exponents , Comm. Pure Appl. Math., 36 (1983), pp. 437--477

  8. [7]

    D. M. Cao , Nontrivial solution of semilinear elliptic equations with critical exponent in r , Communications in Partial Differential Equations, 17 (1992), pp. 407--435

Show all 65 references
  1. [8]

    Carleson and S.-Y

    L. Carleson and S.-Y. A. Chang , On the existence of an extremal function for an inequality of J . M oser , Bull. Sci. Math. (2), 110 (1986), pp. 113--127

  2. [9]

    Cassani, F

    D. Cassani, F. Sani, and C. Tarsi , Equivalent M oser type inequalities in R ^2 and the zero mass case , J. Funct. Anal., 267 (2014), pp. 4236--4263

  3. [10]

    L. Chen, G. Lu, and M. Zhu , Existence and nonexistence of extremals for critical A dams inequalities in R ^4 and T rudinger- M oser inequalities in R ^2 , Adv. Math., 368 (2020), pp. 107143, 61

  4. [11]

    J. F. de Oliveira and J. a. M. do \'O , Concentration-compactness principle and extremal functions for a sharp T rudinger- M oser inequality , Calc. Var. Partial Differential Equations, 52 (2015), pp. 125--163

  5. [12]

    J. F. de Oliveira and J. M. do \'O , On a sharp inequality of Adimurthi - Druet type and extremal functions , Calc. Var. Partial Differ. Equ., 62 (2023), p. 40. Id/No 162

  6. [13]

    J. F. A. de Oliveira and A. C. Macedo , Estimate for concentration level of the A dams functional and extremals for A dams-type inequality , J. Funct. Anal., 283 (2022), pp. Paper No. 109633, 32

  7. [14]

    de Souza and J

    M. de Souza and J. a. M. do \'O , A sharp T rudinger- M oser type inequality in R ^2 , Trans. Amer. Math. Soc., 366 (2014), pp. 4513--4549

  8. [15]

    DelaTorre and G

    A. DelaTorre and G. Mancini , Improved A dams-type inequalities and their extremals in dimension 2m , Commun. Contemp. Math., (2020)

  9. [16]

    Deng and Y

    Y. Deng and Y. Li , Exponential decay of the solutions for nonlinear biharmonic equations , Commun. Contemp. Math., 9 (2007), pp. 753--768

  10. [17]

    J. a. M. do \'O and M. de Souza , A sharp inequality of T rudinger- M oser type and extremal functions in H^ 1,n ( R ^n) , J. Differential Equations, 258 (2015), pp. 4062--4101

  11. [18]

    J. M. B. do \'O , N -Laplacian equations in R ^N with critical growth , Abstract and Applied Analysis, 2 (1997), pp. 301 -- 315

  12. [19]

    Flucher , Extremal functions for the T rudinger- M oser inequality in 2 dimensions , Comment

    M. Flucher , Extremal functions for the T rudinger- M oser inequality in 2 dimensions , Comment. Math. Helv., 67 (1992), pp. 471--497

  13. [21]

    height 2pt depth -1.6pt width 23pt, Sharp exponential integrability for critical R iesz potentials and fractional L aplacians on R ^n , Nonlinear Anal., 167 (2018), pp. 85--122

  14. [22]

    Gazzola, H.-C

    F. Gazzola, H.-C. Grunau, and G. Sweers , Polyharmonic boundary value problems , vol. 1991 of Lecture Notes in Mathematics, Springer-Verlag, Berlin, 2010. Positivity preserving and nonlinear higher order elliptic equations in bounded domains

  15. [23]

    J. A. Hempel, G. R. Morris, and N. S. Trudinger , On the sharpness of a limiting case of the S obolev imbedding theorem , Bull. Austral. Math. Soc., 3 (1970), pp. 369--373

  16. [24]

    Ibrahim, N

    S. Ibrahim, N. Masmoudi, and K. Nakanishi , Trudinger- M oser inequality on the whole plane with the exact growth condition , J. Eur. Math. Soc. (JEMS), 17 (2015), pp. 819--835

  17. [25]

    Ishiwata , Existence and nonexistence of maximizers for variational problems associated with T rudinger- M oser type inequalities in R ^N , Math

    M. Ishiwata , Existence and nonexistence of maximizers for variational problems associated with T rudinger- M oser type inequalities in R ^N , Math. Ann., 351 (2011), pp. 781--804

  18. [26]

    V. I. Judovi c , Some estimates connected with integral operators and with solutions of elliptic equations , Dokl. Akad. Nauk SSSR, 138 (1961), pp. 805--808

  19. [27]

    Kavian , Introduction \`a la th\' e orie des points critiques et applications aux probl\`emes elliptiques , vol

    O. Kavian , Introduction \`a la th\' e orie des points critiques et applications aux probl\`emes elliptiques , vol. 13 of Math\' e matiques & Applications (Berlin) [Mathematics & Applications], Springer-Verlag, Paris, 1993

  20. [28]

    Lam and G

    N. Lam and G. Lu , Sharp A dams type inequalities in S obolev spaces W^ m, n m ( R ^n) for arbitrary integer m , J. Differential Equations, 253 (2012), pp. 1143--1171

  21. [29]

    Anal., 19 (2012), pp

    height 2pt depth -1.6pt width 23pt, Sharp singular A dams inequalities in high order S obolev spaces , Methods Appl. Anal., 19 (2012), pp. 243--266

  22. [30]

    Differential Equations, 255 (2013), pp

    height 2pt depth -1.6pt width 23pt, A new approach to sharp M oser- T rudinger and A dams type inequalities: a rearrangement-free argument , J. Differential Equations, 255 (2013), pp. 298--325

  23. [31]

    13 of Springer INdAM Ser., Springer, Cham, 2015, pp

    height 2pt depth -1.6pt width 23pt, Sharp singular T rudinger- M oser- A dams type inequalities with exact growth , in Geometric methods in PDE 's, vol. 13 of Springer INdAM Ser., Springer, Cham, 2015, pp. 43--80

  24. [32]

    N. Lam, G. Lu, and L. Zhang , Equivalence of critical and subcritical sharp T rudinger- M oser- A dams inequalities , Rev. Mat. Iberoam., 33 (2017), pp. 1219--1246

  25. [33]

    N. Lam, G. Lu, and L. Zhang , Existence and nonexistence of extremal functions for sharp trudinger-moser inequalities , Advances in Mathematics, 352 (2019), pp. 1253--1298

  26. [34]

    Lenzmann and J

    E. Lenzmann and J. Sok , A Sharp Rearrangement Principle in Fourier Space and Symmetry Results for PDEs with Arbitrary Order , International Mathematics Research Notices, 2021 (2020), pp. 15040--15081

  27. [35]

    J. Li, G. Lu, and M. Zhu , Concentration-compactness principle for T rudinger- M oser inequalities on H eisenberg groups and existence of ground state solutions , Calc. Var. Partial Differential Equations, 57 (2018), pp. Paper No. 84, 26

  28. [36]

    Li and B

    Y. Li and B. Ruf , A sharp T rudinger- M oser type inequality for unbounded domains in R ^n , Indiana Univ. Math. J., 57 (2008), pp. 451--480

  29. [37]

    Lin , A classification of solutions of a conformally invariant fourth order equation in R ^n , Comment

    C.-S. Lin , A classification of solutions of a conformally invariant fourth order equation in R ^n , Comment. Math. Helv., 73 (1998), pp. 206--231

  30. [38]

    Lin , Extremal functions for M oser's inequality , Trans

    K.-C. Lin , Extremal functions for M oser's inequality , Trans. Amer. Math. Soc., 348 (1996), pp. 2663--2671

  31. [39]

    Lions , The concentration-compactness principle in the calculus of variations

    P.-L. Lions , The concentration-compactness principle in the calculus of variations. T he limit case. I , Rev. Mat. Iberoamericana, 1 (1985), pp. 145--201

  32. [40]

    T he limit case

    height 2pt depth -1.6pt width 23pt, The concentration-compactness principle in the calculus of variations. T he limit case. II , Rev. Mat. Iberoamericana, 1 (1985), pp. 45--121

  33. [41]

    Lu and H

    G. Lu and H. Tang , Sharp M oser- T rudinger inequalities on hyperbolic spaces with exact growth condition , J. Geom. Anal., 26 (2016), pp. 837--857

  34. [42]

    Lu and Y

    G. Lu and Y. Yang , Adams' inequalities for bi- L aplacian and extremal functions in dimension four , Adv. Math., 220 (2009), pp. 1135--1170

  35. [43]

    height 2pt depth -1.6pt width 23pt, Sharp constant and extremal function for the improved M oser- T rudinger inequality involving L^p norm in two dimension , Discrete Contin. Dyn. Syst., 25 (2009), pp. 963--979

  36. [44]

    Martinazzi , A threshold phenomenon for embeddings of H^m_0 into O rlicz spaces , Calc

    L. Martinazzi , A threshold phenomenon for embeddings of H^m_0 into O rlicz spaces , Calc. Var. Partial Differential Equations, 36 (2009), pp. 493--506

  37. [45]

    Masmoudi and F

    N. Masmoudi and F. Sani , Adams' inequality with the exact growth condition in R ^4 , Comm. Pure Appl. Math., 67 (2014), pp. 1307--1335

  38. [46]

    Partial Differential Equations, 40 (2015), pp

    height 2pt depth -1.6pt width 23pt, Trudinger- M oser inequalities with the exact growth condition in R ^N and applications , Comm. Partial Differential Equations, 40 (2015), pp. 1408--1440

  39. [47]

    Moser , A sharp form of an inequality by N

    J. Moser , A sharp form of an inequality by N . T rudinger , Indiana Univ. Math. J., 20 (1970/71), pp. 1077--1092

  40. [48]

    V. H. Nguyen , Extremal functions for the M oser- T rudinger inequality of A dimurthi- D ruet type in W^ 1,N ( R ^N) , Commun. Contemp. Math., 21 (2019), pp. 1850023, 37

  41. [49]

    O'Neil , Convolution operators and L(p,\,q) spaces , Duke Math

    R. O'Neil , Convolution operators and L(p,\,q) spaces , Duke Math. J., 30 (1963), pp. 129--142

  42. [50]

    Ozawa , On critical cases of sobolev's inequalities , FREEDOM, 127 (1995), p

    T. Ozawa , On critical cases of sobolev's inequalities , FREEDOM, 127 (1995), p. 259

  43. [51]

    Panda , On semilinear N eumann problems with critical growth for the n - L aplacian , Nonlinear Anal., 26 (1996), pp

    R. Panda , On semilinear N eumann problems with critical growth for the n - L aplacian , Nonlinear Anal., 26 (1996), pp. 1347--1366

  44. [52]

    Peetre , Espaces d'interpolation et th\'eor\`eme de S oboleff , Ann

    J. Peetre , Espaces d'interpolation et th\'eor\`eme de S oboleff , Ann. Inst. Fourier (Grenoble), 16 (1966), pp. 279--317

  45. [53]

    Pizzetti , Sulla media dei valori che una funzione dei punti dello spazio assume sulla superficie della sfera , Rend

    P. Pizzetti , Sulla media dei valori che una funzione dei punti dello spazio assume sulla superficie della sfera , Rend. Mat. Acc. Lincei, 18 (1909), pp. 182--185

  46. [54]

    S. I. Pohozaev , The sobolev embedding in the case pl = n , Proceedings of the Technical Scientific Conference on Advances of Scientific Research, 138 (1965), pp. 158--170

  47. [55]

    Ruf , A sharp T rudinger- M oser type inequality for unbounded domains in R ^2 , J

    B. Ruf , A sharp T rudinger- M oser type inequality for unbounded domains in R ^2 , J. Funct. Anal., 219 (2005), pp. 340--367

  48. [56]

    Ruf and F

    B. Ruf and F. Sani , Sharp A dams-type inequalities in R ^n , Trans. Amer. Math. Soc., 365 (2013), pp. 645--670

  49. [57]

    Struwe , Critical points of embeddings of H^ 1,n _0 into O rlicz spaces , Ann

    M. Struwe , Critical points of embeddings of H^ 1,n _0 into O rlicz spaces , Ann. Inst. H. Poincar\' e Anal. Non Lin\' e aire, 5 (1988), pp. 425--464

  50. [58]

    Tarsi , Adams' inequality and limiting S obolev embeddings into Z ygmund spaces , Potential Anal., 37 (2012), pp

    C. Tarsi , Adams' inequality and limiting S obolev embeddings into Z ygmund spaces , Potential Anal., 37 (2012), pp. 353--385

  51. [59]

    Tintarev , Trudinger- M oser inequality with remainder terms , J

    C. Tintarev , Trudinger- M oser inequality with remainder terms , J. Funct. Anal., 266 (2014), pp. 55--66

  52. [60]

    N. S. Trudinger , On imbeddings into O rlicz spaces and some applications , J. Math. Mech., 17 (1967), pp. 473--483

  53. [61]

    C ern\' y , A

    R. C ern\' y , A. Cianchi, and S. Hencl , Concentration-compactness principles for M oser- T rudinger inequalities: new results and proofs , Ann. Mat. Pura Appl. (4), 192 (2013), pp. 225--243

  54. [62]

    Yang , Extremal functions for a sharp M oser- T rudinger inequality , Internat

    Y. Yang , Extremal functions for a sharp M oser- T rudinger inequality , Internat. J. Math., 17 (2006), pp. 331--338

  55. [63]

    height 2pt depth -1.6pt width 23pt, A sharp form of M oser- T rudinger inequality in high dimension , J. Funct. Anal., 239 (2006), pp. 100--126

  56. [64]

    Differential Equations, 258 (2015), pp

    height 2pt depth -1.6pt width 23pt, Extremal functions for T rudinger- M oser inequalities of A dimurthi- D ruet type in dimension two , J. Differential Equations, 258 (2015), pp. 3161--3193

  57. [65]

    Yang and X

    Y. Yang and X. Zhu , Blow-up analysis concerning singular T rudinger- M oser inequalities in dimension two , J. Funct. Anal., 272 (2017), pp. 3347--3374

Pith tools

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