Pith. sign in

REVIEW 5 minor 102 references

Fractional Gagliardo--Nirenberg Inequalities: Pointwise Estimates,Sharp Asymptotics, and Optimal Target Spaces

T0 review · 0 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Pith's one-line read This paper proves that the optimal rearrangement-invariant target space for fractional Gagliardo–Nirenberg inequalities is precisely the Calderón–Lozanovskii construction, settling an open Lorentz-space question.

desk verdict Solid, technically dense paper; the optimal target-space characterization is new and the necessity argument checks out, with the only real caveat being an imported density assumption in the BBM limit theorem. read the letter →

arxiv 2608.06813 v1 pith:NO5RHD5O submitted 2026-08-07 math.CA math.AP

classification math.CAmath.AP MSC 26D1046E3542B2542B35
keywords fractionalGagliardo–NirenberginequalitypointwiseestimatesharpasymptoticsoptimaltargetspaceCalderón–LozanovskiiballBanachfunctionrearrangementinvariantBMOendpoint
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

Fractional Gagliardo–Nirenberg inequalities interpolate between a function and its $k$-th order gradient in different function spaces, with a fractional difference operator of order $s$ as the interpolated quantity. This paper builds a complete such theory inside ball Banach function spaces: it proves pointwise bounds with sharp dependence on $s$, derives norm inequalities including a BMO endpoint, and determines the exact endpoint asymptotics as $s\to1^-$ and $s\to0^+$. Its central discovery is optimality: when the underlying spaces are rearrangement invariant, an inequality with any rearrangement-invariant target $B$ holds for all $f$ if and only if the Calderón–Lozanovskii space $X^{1-s}Y^s$ embeds into $B$. This makes $X^{1-s}Y^s$ the minimal admissible target and answers an open question of Leśnik, Roskovec, and Soudský about Lorentz targets.

What carries the argument

The load-bearing object is the Calderón–Lozanovskii space $X^{1-s}Y^s$, defined as the set of functions pointwise dominated by $|f|^{1-s}|g|^s$ with norm $\inf\|f\|_X^{1-s}\|g\|_Y^s$; it is simultaneously the natural interpolation target and, by the converse argument, the necessary target. The proof engine for the norm inequalities is a pair of pointwise estimates for the fractional difference operator $D^{s,k}_q(f)$, obtained by expanding $\Delta^k_h f$ through shifted dyadic grids and minimizing polynomials (Lemma 2.4), with constants that scale like $[(s-s_0)(\tilde s_0-s)]^{-1/q}$ and $[s(1-s)]^{-1/q}$. For the optimality direction, a new family of test functions combines separated localized bumps whose supports are far apart, so that rearrangement-invariant norms split into those of the underlying simple functions and force $u^{1-s}v^s$ into the target $B$.

What would settle it

Compute the ratio $\|D^{s,k}_q(f_{R,L})\|_B/(\|f_{R,L}\|_X^{1-s}\|\nabla^k f_{R,L}\|_Y^s)$ for the separated-bump functions of (4.11) while letting $L\to\infty$; the theorem predicts the liminf is bounded below by $\|u^{1-s}v^s\|_B$, so a pair of rearrangement-invariant spaces where this lower bound fails would refute the optimality claim. For the sharpness of the parameter condition, the function $\varphi$ of Lemma 5.1 satisfies $D^{s,k}_q(\varphi)(x)\gtrsim |x|^{-n/q-sk}$, and the divergence of $\int^\infty |x|^{-p_s(n/q+sk)}\,dx$ when $n(\frac1{p_s}-\frac1q)\ge sk$, with $1/p_s=(1-s)/p_1+s/p_2$, already shows no inequality can hold outside the stated range.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.9. For fixed $s\in(0,1)$, $k\in\mathbb{N}$, and $q\in[1,\infty)$, if the lower generalized Boyd indices satisfy $n\bigl(\frac{1-s}{p_X}+\frac{s}{p_Y}-\frac1q\bigr)<sk$, then $$\left\|$D^{{s,k}}$_q(f)\right\|_{$X^{{1-s}}$Y^s}\lesssim \|f\|$_X^{{1-s}}$\|\nabla^k f\|_Y^s$$ for every $f\in X\cap\dot{W}^{k,Y}$. Conversely, whenever $X,Y,B$ are rearrangement-invariant Banach function spaces and the same inequality holds with target $B$ for all such $f$, necessarily $X^{1-s}Y^s\hookrightarrow B$; the BMO endpoint version forces $Y^{1/s}\hookrightarrow B$. The Calderón–Lozanovskii space is therefore not one admissible target among many but the unique minimal rearrangement-invariant target. The same separated-bump argument removes the extra assumption $X\subset Y$ from the integer-order optimality result, extends it to all $1\le j<k$, and yields the explicit Lorentz-space characterization: the inequality is valid for target $L^{\tilde r,\tilde\mu}$ iff $\tilde r=r$ and $\tilde\mu\ge\mu$.

Load-bearing premise

The Bourgain–Brezis–Mironescu limit in Theorem 1.5 imports the simultaneous density of smooth compactly supported functions in $X\cap W^{k,Y}$ for both norms from a cited result; if this density failed for some admissible ball Banach function space, the endpoint formula would only be known for smooth functions and the passage to all $f$ would break.

Editorial extensions

If this is right

  • For Lorentz scales, the characterization is explicit: the fractional or integer Gagliardo–Nirenberg inequality with a Lorentz target holds exactly when the first index is the Calderón–Lozanovskii interpolation of the two source indices and the second index is at least the interpolated one; the case $j=1$, $k=2$ answers [57, Question 2.6].
  • The asymptotic factors in the inequalities are optimal: the norms diverge like $(1-s)^{-1/q}$ as $s\to1^-$ and like $s^{-1/q}$ as $s\to0^+$, so no uniform-in-$s$ constant can improve them.
  • Off-diagonal inequalities ($X\neq Y$) and the BMO endpoint estimates are new for weighted Lebesgue, Morrey, Bourgain–Morrey, Lorentz, and Orlicz spaces.
  • The integer-order optimality theorem now covers all $1\le j<k$ and removes the additional inclusion assumption $X\subset Y$ used in the earlier optimality proof.
  • When the derivative space is a Lebesgue space, the BMO endpoint estimate sharpens to a double-integral bound with factor $1/((1-s)(sp-1))$, new for $k\ge2$.

Reading between the lines

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

  • If the characterization is correct, computing the sharp constant in any concrete rearrangement-invariant instance reduces to computing the embedding constant of $X^{1-s}Y^s$ into the target; this converts a family of inequalities into a single embedding problem.
  • The separated-bump construction is a transferable template: any functional that is subadditive across widely separated bumps and satisfies a lower bound like (4.9) should admit the same minimal-target characterization among rearrangement-invariant spaces.
  • A natural testable extension is to replace rearrangement invariance by a weaker symmetry (for example, mixed-norm or variable Lebesgue spaces), where Theorem 1.9 gives the inequality but leaves the optimality question open.
  • The BMO endpoint suggests that other critical endpoint spaces (for instance exponential-type Orlicz spaces) could replace $L^\infty$ in the lower-order factor, with the same Calderón–Lozanovskii product governing the target.
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 / 5 minor

Summary. The paper develops a fractional Gagliardo–Nirenberg theory in the framework of ball Banach function spaces. The main technical input is a pair of pointwise estimates for the k-th order fractional difference operator D^{s,k}_q(f), with constants tracking the dependence on s∈(0,1): Theorem 1.1(i) uses the sharp maximal function and a powered Hardy–Littlewood maximal function, while Theorem 1.1(ii) extends the Maz'ya–Shaposhnikova pointwise estimate to higher order and off-diagonal parameters. These pointwise estimates are then converted into norm inequalities on Calderón–Lozanovskii spaces X^{1-s}Y^s (Theorem 1.3), including a BMO endpoint. The paper also proves Bourgain–Brezis–Mironescu limits as s→1⁻ (Theorem 1.5) and Maz'ya–Shaposhnikova type asymptotic bounds as s→0⁺ (Theorem 1.7), showing that the asymptotic factors in Theorem 1.3 have optimal order. The central result is Theorem 1.9: for fixed s, under a sharp parameter condition, the inequality with target B holds for all f in the appropriate intersection if and only if X^{1-s}Y^s embeds into B, when X,Y,B are rearrangement invariant Banach function spaces. The necessity is proved in Theorem 4.1 by a separated-bump construction that avoids the additional assumption X⊂Y imposed in earlier work.

Significance. If correct, the paper settles a natural and nontrivial optimality question: the Calderón–Lozanovskiı space is not merely an admissible target but the minimal rearrangement invariant target for fractional Gagliardo–Nirenberg inequalities. The separated-bump necessity proof is a genuine improvement over the prior X⊂Y-constrained argument of [57, Corollary 2.4], and it yields a new integer-order optimality statement as well. The pointwise estimates with explicit s-dependence are likely to be useful beyond the present applications, and the BMO endpoint and off-diagonal results are new in several of the function-space scales treated in Section 6. The paper is well structured: Theorem 1.1 is proved from dyadic telescoping and covering estimates, Theorem 1.9(i) combines those estimates with maximal boundedness, and the optimality direction is self-contained up to standard rearrangement-invariant space facts. The parameter sharpness in Section 5 is also explicitly tested by constructed examples. I found no internal contradiction in the main argument, and I am not aware of an error that would undermine the central characterization.

minor comments (5)
  1. [§3.1, Eq. (3.8), Proposition 3.2] The proof of Theorem 1.5 uses the simultaneous C_c^∞-density of X∩W^{k,Y} in both norms, imported from [17, Corollary 3.10]. Please state the precise density result and its hypotheses explicitly, since this is the one ingredient I did not independently verify; this concern does not affect Theorem 1.9 or Theorem 4.1.
  2. [§1, proof of Theorem 1.9; §4, proof of Theorem 4.1] The word 'Corrollary' appears twice in the discussion of the proof strategy for Theorem 1.9 and should be corrected to 'Corollary'.
  3. [§1, Theorem 1.9] The optimality statement in Theorem 1.9 changes the status of X and Y from general ball Banach function spaces in the inequality part to rearrangement invariant Banach function spaces in the if-and-only-if part; this should be made explicit in the theorem statement to avoid confusion.
  4. [§6.2, Theorem 6.2] In the necessity part of Theorem 6.2, the scaling argument is only sketched; a one-line display showing that the scaling exponents force er=r would improve readability.
  5. [§2, Proposition 2.1] In the definition of δ0 in the proof of Proposition 2.1(i), the displayed formula would be clearer if the parentheses and the positive-part notation were typeset unambiguously, since the subsequent summability argument depends on the exact relation between δ0 and the exponent s0k - n((1-s0)/p1 + s0/p2 - 1/q).

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation chain is self-contained and the optimal-target theorem rests on an independent bump construction.

full rationale

The paper's central claims are derived rather than assumed. Theorem 1.1 is proved from shifted dyadic grid estimates and Poincaré inequalities (Lemma 2.4, Proposition 2.1), with constants tracked in s; Theorem 1.3 follows by applying maximal boundedness on convexifications, and Theorem 1.9(i) combines Theorem 1.1 with the Calderón–Lozanovskii norm definition for sufficiency and uses the separated bump construction in Theorem 4.1 for necessity. The necessity proof assumes the inequality (4.4) and then derives the embedding X^{1-s}Y^s→B for simple functions via distribution estimates and dilation bounds; this is a standard and genuine test-function argument, not a restatement of the definition of the target space. No fitted parameters are renamed as predictions anywhere in the paper. The self-citations to [17], [40], [41], [57], and [82] are used as prior published tools with independent proofs, and the cited results do not include the target optimality statement; hence they are independent support rather than load-bearing circularity. The one technical assumption imported from [17, Corollary 3.10]—simultaneous approximation of f in X∩W^{k,Y} by C_c^∞ functions—is used only in the proof of the BBM limit (Theorem 1.5), not in the optimal target characterization (Theorem 1.9), and it is an external approximation theorem with stated hypotheses not containing the conclusion being proved. The sharpness arguments in Section 5 are likewise self-contained counterexamples. Overall, no step in the claimed derivation reduces by construction to its own inputs.

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

No ad hoc numerical constants are fitted to data; auxiliary indices p1 and p2 are chosen by continuity from p_X and p_Y and are not free parameters of the results. No new physical or structural entities are postulated; the Triebel-Lizorkin type spaces F^{σ,k}_{X,q} are technical definitions rather than invented entities with independent content.

assumptions (8)
  • domain assumption Ball Banach function space axioms in Definition 2.6, including lattice property, Fatou property, local integrability, and characteristic functions of balls in X.
    All main results are stated in this ambient class; the norm inequalities in Theorems 1.3, 1.5, 1.7, and 1.9 rely on these lattice properties.
  • domain assumption The lower generalized Boyd index p_X from Definition 2.12 guarantees that the Hardy-Littlewood maximal operator is bounded on convexifications X^{1/p} for p less than p_X.
    Used in the proofs of Theorems 1.3 and 1.9 to pass from the pointwise estimates in Theorem 1.1 to Calderón-Lozanovskii norm estimates.
  • domain assumption C_c^∞ is dense simultaneously in X and in W^{k,Y} for spaces with absolutely continuous norms and p indices greater than 1.
    Used at Eq. (3.8) in Proposition 3.2 to extend the BBM limit from smooth compactly supported functions to all admissible f; cited from [17, Corollary 3.10].
  • domain assumption Centered ball average operators are uniformly bounded on X^{1/q} and Y^{1/q} in Theorem 1.7.
    Lemma 3.8 uses this to control the outer integral in the fractional difference norm as s goes to 0; if it failed, the MS type upper bound in (1.12) may fail.
  • domain assumption X, Y, and B are rearrangement invariant in Theorem 1.9 and Theorem 4.1, so their norms depend only on distribution functions and the dilation inequality (4.3) holds.
    The separated bump optimality proof compares norms of test functions by comparing rearrangements; without rearrangement invariance the necessity conclusion is not claimed.
  • domain assumption Absolute continuity of the norms of X and Y in Theorem 1.5, which is equivalent to dominated convergence for the Banach function space.
    Used in Lemma 3.4 to take the limit s to 1- inside the norm for C_c^∞ functions and then in Proposition 3.2.
  • standard math Poincaré inequalities in W^{k,1} and covering estimates for shifted dyadic grids from Lemmas 2.2 to 2.4.
    The pointwise estimates in Theorem 1.1 are built from telescoping sums over dyadic cubes and polynomial approximation errors; these are standard background results, cited from [55] and [76].
  • standard math Lozanovski duality formula (X^{1-s}Y^s)' = (X')^{1-s}(Y')^s from [16, Theorem 7.2].
    Used in Lemma 3.3 to identify the limit of the Calderón-Lozanovskii norm as s goes to 1- via the associate space.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Fractional Gagliardo--Nirenberg Inequalities: Pointwise Estimates,Sharp Asymptotics, and Optimal Target Spaces." pith.science (2026). https://pith.science/paper/NO5RHD5O

@misc{pith2026260806813,
  author       = {Pith},
  title        = {Pith review of: Fractional Gagliardo--Nirenberg Inequalities: Pointwise Estimates,Sharp Asymptotics, and Optimal Target Spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NO5RHD5O}},
  note         = {Machine review of arXiv:2608.06813}
}
abstract

We establish two pointwise estimates for fractional difference operators, tracking explicitly the dependence of the constants on the smoothness index $s\in(0,1)$. Using these, within the framework of ball Banach function spaces we obtain two fractional Gagliardo--Nirenberg inequalities, including the BMO endpoint case. Furthermore, we establish endpoint asymptotic results as $s\to0^+$ and $s\to1^-$, proving that the asymptotic factors appearing in these inequalities have optimal order. Under the additional assumption that the underlying function space is rearrangement invariant, we show that the optimal Gagliardo--Nirenberg target spaces are precisely those given by the Calder\'on--Lozanovski\u{\i} space. This completely characterizes the rearrangement invariant target spaces for which the corresponding Gagliardo--Nirenberg inequalities hold, thereby answering an open question posed by K. Le\'snik, T. Roskovec, and F. Soudsk\'y. These results can be applied to various function spaces; in particular, they are completely new in the off-diagonal and BMO cases.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

102 extracted references · 55 canonical work pages

  1. [1]

    D. R. Adams, Morrey spaces, Lecture Notes in Applied and Numerical Harmonic Analysis, Birkh¨auser/Springer, Cham, 2015

  2. [2]

    Auscher and M

    P. Auscher and M. Mourgoglou, Representation and uniqueness for boundary value elliptic problems via first order systems, Rev. Mat. Iberoam. 35 (2019), 241–315

  3. [3]

    Auscher and C

    P. Auscher and C. Prisuelos-Arribas, Tent space boundedness via extrapolation, Math. Z. 286 (2017), 1575–1604

  4. [4]

    Benedek and R

    A. Benedek and R. Panzone, The spaceL P, with mixed norm, Duke Math. J. 28 (1961), 301–324. 46PingxuHu, YinqinLi, DachunYang andWenYuan

  5. [5]

    Bennett and R

    C. Bennett and R. Sharpley, Interpolation of Operators, Pure Appl. Math. 129, Academic Press, Inc., Boston, MA, 1988

  6. [6]

    Bourgain, On the restriction and multiplier problems inR 3, in: Geometric Aspects of Functional Analysis (1989–90), pp

    J. Bourgain, On the restriction and multiplier problems inR 3, in: Geometric Aspects of Functional Analysis (1989–90), pp. 179–191, Lecture Notes in Math. 1469, Springer, Berlin, 1991

  7. [7]

    Bourgain, H

    J. Bourgain, H. Brezis and P. Mironescu, Another look at Sobolev spaces, in: Optimal Control and Partial Differential Equations, pp. 439–455, IOS Press, Amsterdam, 2001

  8. [8]

    Bourgain, H

    J. Bourgain, H. Brezis and P. Mironescu, Limiting embedding theorems forWs,p whens↑1 and applications, J. Anal. Math. 87 (2002), 77–101

Show all 102 references
  1. [9]

    Brezis and P

    H. Brezis and P. Mironescu, Gagliardo–Nirenberg inequalities and non-inequalities: the full story, Ann. Inst. H. Poincar´e C Anal. Non Lin´eaire 35 (2018), 1355–1376

  2. [10]

    T. A. Bui, J. Li and F. K. Ly, Weighted embeddings for function spaces associated with Hermite expansions, J. Approx. Theory 264 (2021), Paper No. 105534, 25 pp

  3. [11]

    Calder ´on, Intermediate spaces and interpolation, the complex method, Studia Math

    A.-P. Calder ´on, Intermediate spaces and interpolation, the complex method, Studia Math. 24 (1964), 113–190

  4. [12]

    Cleanthous and A

    G. Cleanthous and A. G. Georgiadis, Mixed-normα-modulation spaces, Trans. Amer. Math. Soc. 373 (2020), 3323–3356

  5. [13]

    Cleanthous, A

    G. Cleanthous, A. G. Georgiadis and M. Nielsen, Anisotropic mixed-norm Hardy spaces, J. Geom. Anal. 27 (2017), 2758–2787

  6. [14]

    Cleanthous, A

    G. Cleanthous, A. G. Georgiadis and M. Nielsen, Molecular decomposition of anisotropic homogeneous mixed-norm spaces with applications to the boundedness of operators, Appl. Comput. Harmon. Anal. 47 (2019), 447–480

  7. [15]

    D. V . Cruz-Uribe and A. Fiorenza, Variable Lebesgue Spaces: Foundations and Harmonic Analysis, Applied and Numerical Harmonic Analysis, Birkh ¨auser/Springer, Heidelberg, 2013

  8. [16]

    Cwikel, P

    M. Cwikel, P. G. Nilsson and G. Schechtman, Interpolation of weighted Banach lattices. A characterization of relatively decomposable Banach lattices, Mem. Amer. Math. Soc. 165 (2003), no. 787, vi+127 pp

  9. [17]

    F. Dai, L. Grafakos, Z. Pan, D. Yang, W. Yuan and Y . Zhang, The Bourgain–Brezis– Mironescu formula on ball Banach function spaces, Math. Ann. 388 (2024), 1691–1768

  10. [18]

    F. Dai, X. Lin, D. Yang, W. Yuan and Y . Zhang, Brezis–Van Schaftingen–Yung formu- lae in ball Banach function spaces with applications to fractional Sobolev and Gagliardo– Nirenberg inequalities, Calc. Var. Partial Differential Equations 62 (2023), Paper No. 56, 73 pp

  11. [19]

    del Campo, A

    R. del Campo, A. Fern ´andez, F. Mayoral and F. Naranjo, Orlicz spaces associated to a quasi-Banach function space: applications to vector measures and interpolation, Collect. Math. 72 (2021), 481–499

  12. [20]

    Diening, P

    L. Diening, P. H ¨ast¨o and S. Roudenko, Function spaces of variable smoothness and integra- bility, J. Funct. Anal. 256 (2009), 1731–1768

  13. [21]

    Di Nezza, G

    E. Di Nezza, G. Palatucci and E. Valdinoci, Hitchhiker’s guide to the fractional Sobolev spaces, Bull. Sci. Math. 136 (2012), 521–573

  14. [22]

    Dom ´ınguez and M

    O. Dom ´ınguez and M. Milman,Bourgain–Brezis–Mironescu–Maz’ya–Shaposhnikova limit formulae for fractional Sobolev spaces via interpolation and extrapolation, Calc. Var. Partial Differential Equations 62 (2023), Paper No. 43, 37 pp

  15. [23]

    Duoandikoetxea, Fourier Analysis, Grad

    J. Duoandikoetxea, Fourier Analysis, Grad. Stud. Math. 29, American Mathematical Soci- ety, Providence, RI, 2001

  16. [24]

    Fiorenza, M

    A. Fiorenza, M. R. Formica, T. G. Roskovec and F. Soudsk´y, Gagliardo–Nirenberg inequal- ity for rearrangement-invariant Banach function spaces, Atti Accad. Naz. Lincei Rend. Lin- cei Mat. Appl. 30 (2019), 847–864

  17. [25]

    Gagliardo, Ulteriori propriet `a di alcune classi di funzioni in pi `u variabili, Ricerche Mat

    E. Gagliardo, Ulteriori propriet `a di alcune classi di funzioni in pi `u variabili, Ricerche Mat. 8 (1959), 24–51. FractionalGagliardo–NirenbergInequalities47

  18. [26]

    Grafakos, Classical Fourier Analysis, Third edition, Grad

    L. Grafakos, Classical Fourier Analysis, Third edition, Grad. Texts in Math. 249, Springer, New York, 2014, xviii+638 pp

  19. [27]

    Grafakos, X

    L. Grafakos, X. Li and D. Yang, Bilinear operators on Herz-type Hardy spaces, Trans. Amer. Math. Soc. 350 (1998), 1249–1275

  20. [28]

    Hashimoto, Y

    D. Hashimoto, Y . Sawano and T. Shimomura, Gagliardo–Nirenberg inequality for gener- alized Riesz potentials of functions in Musielak–Orlicz spaces over quasi-metric measure spaces, Colloq. Math. 161 (2020), 51–66

  21. [29]

    Hatano, T

    N. Hatano, T. Nogayama, Y . Sawano and D. I. Hakim, Bourgain–Morrey spaces and their applications to boundedness of operators, J. Funct. Anal. 284 (2023), Paper No. 109720, 52 pp

  22. [30]

    Hern ´andez and D

    E. Hern ´andez and D. Yang, Interpolation of Herz spaces and applications, Math. Nachr. 205 (1999), 69–87

  23. [31]

    C. S. Herz, Lipschitz spaces and Bernstein’s theorem on absolutely convergent Fourier transforms, J. Math. Mech. 18 (1968/69), 283–323

  24. [32]

    Ho, Generalized Boyd’s indices and applications, Analysis (Munich) 32 (2012), 97– 106

    K.-P. Ho, Generalized Boyd’s indices and applications, Analysis (Munich) 32 (2012), 97– 106

  25. [33]

    Ho, Dilation operators and integral operators on amalgam space (L p,l q), Ric

    K.-P. Ho, Dilation operators and integral operators on amalgam space (L p,l q), Ric. Mat. 68 (2019), 661–677

  26. [34]

    Ho, Operators on Orlicz-slice spaces and Orlicz-slice Hardy spaces, J

    K.-P. Ho, Operators on Orlicz-slice spaces and Orlicz-slice Hardy spaces, J. Math. Anal. Appl. 503 (2021), Paper No. 125279, 18 pp

  27. [35]

    Ho, Fractional integral operators on Orlicz slice Hardy spaces, Fract

    K.-P. Ho, Fractional integral operators on Orlicz slice Hardy spaces, Fract. Calc. Appl. Anal. 25 (2022), 1294–1305

  28. [36]

    Ho, Strongly singular Calder ´on–Zygmund operators on Hardy spaces associated with ball quasi-Banach function spaces, Anal

    K.-P. Ho, Strongly singular Calder ´on–Zygmund operators on Hardy spaces associated with ball quasi-Banach function spaces, Anal. Math. Phys. 13 (2023), Paper No. 67, 22 pp

  29. [37]

    Ho and Y

    K.-P. Ho and Y . Sawano, New characterization of Morrey–Herz spaces and Morrey–Herz– Hardy spaces with applications to various linear operators, Acta Math. Sin. (Engl. Ser.) 41 (2025), 327–354

  30. [38]

    H ¨ormander, Estimates for translation invariant operators inL p spaces, Acta Math

    L. H ¨ormander, Estimates for translation invariant operators inL p spaces, Acta Math. 104 (1960), 93–140

  31. [39]

    P. Hu, Y . Li and D. Yang, Bourgain–Morrey spaces meet structure of Triebel–Lizorkin spaces, Math. Z. 304 (2023), Paper No. 19, 49 pp

  32. [40]

    P. Hu, Y . Li, D. Yang and W. Yuan, A sharp localized weighted inequality related to Gagliardo and Sobolev seminorms and its applications, Adv. Math. 481 (2025), Paper No. 110537, 66 pp

  33. [41]

    P. Hu, Y . Li, D. Yang, W. Yuan and Y . Zhang, Sharp Brezis–Seeger–Van Schaftingen– Yung formulae for higher-order gradients in ball Banach function spaces, J. Geom. Anal. 35 (2025), Paper No. 388

  34. [42]

    Huang, J

    L. Huang, J. Liu, D. Yang and W. Yuan, Atomic and Littlewood–Paley characterizations of anisotropic mixed-norm Hardy spaces and their applications, J. Geom. Anal. 29 (2019), 1991–2067

  35. [43]

    Huang and D

    L. Huang and D. Yang, On function spaces with mixed norms—a survey, J. Math. Study 54 (2021), 262–336

  36. [44]

    Huang, F

    L. Huang, F. Weisz, D. Yang and W. Yuan, Summability of Fourier transforms on mixed- norm Lebesgue spaces via associated Herz spaces, Anal. Appl. (Singap.) 21 (2023), 279– 328

  37. [45]

    Kałamajska, Pointwise multiplicative inequalities and Nirenberg type estimates in weighted Sobolev spaces, Studia Math

    A. Kałamajska, Pointwise multiplicative inequalities and Nirenberg type estimates in weighted Sobolev spaces, Studia Math. 108 (1994), no. 3, 275–290

  38. [46]

    Kałamajska and K

    A. Kałamajska and K. Pietruska-Pałuba, Gagliardo–Nirenberg inequalities in weighted Or- licz spaces, Studia Math. 173 (2006), no. 1, 49–71

  39. [47]

    Kałamajska and K

    A. Kałamajska and K. Pietruska-Pałuba, Interpolation inequalities for derivatives in Orlicz spaces, Indiana Univ. Math. J. 55 (2006), no. 6, 1767–1790. 48PingxuHu, YinqinLi, DachunYang andWenYuan

  40. [48]

    G. E. Karadzhov, M. Milman and J. Xiao, Limits of higher-order Besov spaces and sharp reiteration theorems, J. Funct. Anal. 221 (2005), 323–339

  41. [49]

    Kikuchi, E

    N. Kikuchi, E. Nakai, N. Tomita, K. Yabuta and T. Yoneda, Calder ´on–Zygmund operators on amalgam spaces and in the discrete case, J. Math. Anal. Appl. 335 (2007), 198–212

  42. [50]

    Kolwicz, K

    P. Kolwicz, K. Le ´snik and L. Maligranda, Pointwise products of some Banach function spaces and factorization, J. Funct. Anal. 266 (2014), 616–659

  43. [51]

    Kov ´aˇcik and J

    O. Kov ´aˇcik and J. R ´akosn´ık, On spacesL p(x) andW k,p(x) , Czechoslovak Math. J. 41 (116) (1991), 592–618

  44. [52]

    Kozono and Y

    H. Kozono and Y . Taniuchi, Bilinear estimates in BMO and the Navier–Stokes equations, Math. Z. 235 (2000), 173–194

  45. [53]

    Kozono and Y

    H. Kozono and Y . Taniuchi, Limiting case of the Sobolev inequality in BMO, with applica- tion to the Euler equations, Comm. Math. Phys. 214 (2000), 191–200

  46. [54]

    Krugljak and L

    N. Krugljak and L. Maligranda, Calder ´on–Lozanovski˘ı construction on weighted Banach function lattices, J. Math. Anal. Appl. 288 (2003), 744–757

  47. [55]

    Leoni, A First Course in Sobolev Spaces, Second edition, Grad

    G. Leoni, A First Course in Sobolev Spaces, Second edition, Grad. Stud. Math. 181, Amer- ican Mathematical Society, Providence, RI, 2017

  48. [56]

    Leoni, A First Course in Fractional Sobolev Spaces, Grad

    G. Leoni, A First Course in Fractional Sobolev Spaces, Grad. Stud. Math. 229, American Mathematical Society, Providence, RI, 2023

  49. [57]

    Le ´snik, T

    K. Le ´snik, T. Roskovec and F. Soudsk ´y, Optimal Gagliardo–Nirenberg interpolation in- equality for rearrangement invariant spaces, Rev. R. Acad. Cienc. Exactas F´ıs. Nat. Ser. A Mat. RACSAM 117 (2023), Paper No. 161, 23 pp

  50. [58]

    Le ´snik, T

    K. Le ´snik, T. Roskovec and F. Soudsk ´y, Gagliardo–Nirenberg inequality via a new point- wise estimate, J. Funct. Anal. 289 (2025), Paper No. 110996, 26 pp

  51. [59]

    Li and D

    X. Li and D. Yang, Boundedness of some sublinear operators on Herz spaces, Illinois J. Math. 40 (1996), 484–501

  52. [60]

    Y . Li, D. Yang and L. Huang, Real-Variable Theory of Hardy Spaces Associated with Gen- eralized Herz Spaces of Rafeiro and Samko, Lecture Notes in Math. 2320, Springer, Singa- pore, 2022

  53. [61]

    E. E. Lokharu, Interpolation inequalities for maximal functions that measure smoothness, Algebra i Analiz 24 (2012), no. 2, 192–229

  54. [62]

    G. G. Lorentz, Some new functional spaces, Ann. of Math. (2) 51 (1950), 37–55

  55. [63]

    G. G. Lorentz, On the theory of spacesΛ, Pacific J. Math. 1 (1951), 411–429

  56. [64]

    Lorist and Z

    E. Lorist and Z. Nieraeth, Banach function spaces done right, Indag. Math. (N.S.) 35 (2024), 247–268

  57. [65]

    Lu, Four Lectures on RealH p Spaces, World Scientific Publishing Co., Inc., River Edge, NJ, 1995

    S. Lu, Four Lectures on RealH p Spaces, World Scientific Publishing Co., Inc., River Edge, NJ, 1995

  58. [66]

    Masaki, Two minimization problems on non-scattering solutions to mass-subcritical non- linear Schr¨odinger equation, arXiv:1605.09234

    S. Masaki, Two minimization problems on non-scattering solutions to mass-subcritical non- linear Schr¨odinger equation, arXiv:1605.09234

  59. [67]

    V . G. Maz’ya, Sobolev Spaces with Applications to Elliptic Partial Differential Equations, Second, revised and augmented edition, Grundlehren Math. Wiss. 342, Springer, Heidel- berg, 2011

  60. [68]

    Maz’ya and T

    V . Maz’ya and T. Shaposhnikova, On pointwise interpolation inequalities for derivatives, Math. Bohem. 124 (1999), 131–148

  61. [69]

    Maz’ya and T

    V . Maz’ya and T. Shaposhnikova, An elementary proof of the Brezis and Mironescu the- orem on the composition operator in fractional Sobolev spaces, J. Evol. Equ. 2 (2002), 113–125

  62. [70]

    Maz’ya and T

    V . Maz’ya and T. Shaposhnikova, On the Bourgain, Brezis, and Mironescu theorem con- cerning limiting embeddings of fractional Sobolev spaces, J. Funct. Anal. 195 (2002), 230– 238. FractionalGagliardo–NirenbergInequalities49

  63. [71]

    D. S. McCormick, J. C. Robinson and J. L. Rodrigo, Generalised Gagliardo–Nirenberg inequalities using weak Lebesgue spaces and BMO, Milan J. Math. 81 (2013), no. 2, 265– 289

  64. [72]

    Miyazaki, A short proof of the Gagliardo–Nirenberg inequality with BMO term, Proc

    Y . Miyazaki, A short proof of the Gagliardo–Nirenberg inequality with BMO term, Proc. Amer. Math. Soc. 148 (2020), no. 10, 4257–4261

  65. [73]

    Mizuta, E

    Y . Mizuta, E. Nakai, Y . Sawano and T. Shimomura, Gagliardo–Nirenberg inequality for generalized Riesz potentials of functions in Musielak–Orlicz spaces, Arch. Math. (Basel) 98 (2012), 253–263

  66. [74]

    Mizuta, E

    Y . Mizuta, E. Nakai, Y . Sawano and T. Shimomura, Littlewood–Paley theory for variable ex- ponent Lebesgue spaces and Gagliardo–Nirenberg inequality for Riesz potentials, J. Math. Soc. Japan 65 (2013), 633–670

  67. [75]

    C. B. Morrey, On the solutions of quasi-linear elliptic partial differential equations, Trans. Amer. Math. Soc. 43 (1938), 126–166

  68. [76]

    Muscalu, T

    C. Muscalu, T. Tao and C. Thiele, Multi-linear operators given by singular multipliers, J. Amer. Math. Soc. 15 (2002), 469–496

  69. [77]

    Nakai and Y

    E. Nakai and Y . Sawano, Hardy spaces with variable exponents and generalized Campanato spaces, J. Funct. Anal. 262 (2012), 3665–3748

  70. [78]

    Nakai and Y

    E. Nakai and Y . Sawano, Orlicz–Hardy spaces and their duals, Sci. China Math. 57 (2014), 903–962

  71. [79]

    Nieraeth, Extrapolation in general quasi-Banach function spaces, J

    Z. Nieraeth, Extrapolation in general quasi-Banach function spaces, J. Funct. Anal. 285 (2023), Paper No. 110130, 109 pp

  72. [80]

    Nieraeth, The Muckenhoupt condition, J

    Z. Nieraeth, The Muckenhoupt condition, J. Funct. Anal. 290 (2026), Paper No. 111209, 66 pp

  73. [81]

    Nirenberg, On elliptic partial differential equations, Ann

    L. Nirenberg, On elliptic partial differential equations, Ann. Scuola Norm. Sup. Pisa Cl. Sci. (3) 13 (1959), 115–162

  74. [82]

    Z. Pan, D. Yang, W. Yuan and Y . Zhang, Gagliardo representation of norms of ball quasi- Banach function spaces, J. Funct. Anal. 286 (2024), Paper No. 110205, 78 pp

  75. [83]

    M. M. Rao and Z. D. Ren, Applications of Orlicz Spaces, Monogr. Textbooks Pure Appl. Math. 250, Marcel Dekker, Inc., New York, 2002

  76. [84]

    Rafeiro and S

    H. Rafeiro and S. Samko, Herz spaces meet Morrey type spaces and complementary Morrey type spaces, J. Fourier Anal. Appl. 26 (2020), Paper No. 74, 14 pp

  77. [85]

    Sawano, G

    Y . Sawano, G. Di Fazio and D. I. Hakim, Morrey Spaces–Introduction and Applications to Integral Operators and PDE’s, V ol. I, Monogr. Res. Notes Math., CRC Press, Boca Raton, FL, 2020

  78. [86]

    Sawano, G

    Y . Sawano, G. Di Fazio and D. I. Hakim, Morrey Spaces–Introduction and Applications to Integral Operators and PDE’s, V ol. II, Monogr. Res. Notes Math., CRC Press, Boca Raton, FL, 2020

  79. [87]

    Sawano, K.-P

    Y . Sawano, K.-P. Ho, D. Yang and S. Yang, Hardy spaces for ball quasi-Banach function spaces, Dissertationes Math. 525 (2017), 1–102

  80. [88]

    Sawano and H

    Y . Sawano and H. Wadade, On the Gagliardo–Nirenberg type inequality in the critical Sobolev–Morrey space, J. Fourier Anal. Appl. 19 (2013), 20–47

  81. [89]

    Spector, An optimal Sobolev embedding forL 1, J

    D. Spector, An optimal Sobolev embedding forL 1, J. Funct. Anal. 279 (2020), Paper No. 108559, 26 pp

  82. [90]

    Strzelecki, Gagliardo–Nirenberg inequalities with a BMO term, Bull

    P. Strzelecki, Gagliardo–Nirenberg inequalities with a BMO term, Bull. London Math. Soc. 38 (2006), no. 2, 294–300

  83. [91]

    Taibleson and G

    M. Taibleson and G. Weiss, The molecular characterization of certain Hardy spaces, in: Representation Theorems for Hardy Spaces, Ast´erisque 77, Soc. Math. France, Paris, 1980, pp. 67–149

  84. [92]

    Triebel, Theory of Function Spaces, Monogr

    H. Triebel, Theory of Function Spaces, Monogr. Math. 78, Birkh ¨auser Verlag, Basel, 1983, 284 pp. 50PingxuHu, YinqinLi, DachunYang andWenYuan

  85. [93]

    Van Schaftingen, Fractional Gagliardo–Nirenberg interpolation inequality and bounded mean oscillation, Comptes Rendus Math´ematique 361 (2023), 1041–1049

    J. Van Schaftingen, Fractional Gagliardo–Nirenberg interpolation inequality and bounded mean oscillation, Comptes Rendus Math´ematique 361 (2023), 1041–1049

  86. [94]

    F. Wang, D. Yang and S. Yang, Applications of Hardy spaces associated with ball quasi- Banach function spaces, Results Math. 75 (2020), Paper No. 26, 58 pp

  87. [95]

    S. Wu, D. Yang and W. Yuan, Interpolations of mixed-norm function spaces, Bull. Malays. Math. Sci. Soc. 45 (2022), 153–175

  88. [96]

    X. Yan, Z. He, D. Yang and W. Yuan, Hardy spaces associated with ball quasi-Banach function spaces on spaces of homogeneous type: Littlewood–Paley characterizations with applications to boundedness of Calder´on–Zygmund operators, Acta Math. Sin. (Engl. Ser.) 38 (2022), 1133–1184

  89. [97]

    W. Yuan, W. Sickel and D. Yang, Interpolation of Morrey–Campanato and related smooth- ness spaces, Sci. China Math. 58 (2015), 1835–1908

  90. [98]

    Zhang, D

    Y . Zhang, D. Yang, W. Yuan and S. Wang, Real-variable characterizations of Orlicz-slice Hardy spaces, Anal. Appl. (Singap.) 17 (2019), 597–664

  91. [99]

    Zhang, D

    Y . Zhang, D. Yang, W. Yuan and S. Wang, Weak Hardy-type spaces associated with ball quasi-Banach function spaces I: Decompositions with applications to boundedness of Calder´on–Zygmund operators, Sci. China Math. 64 (2021), 2007–2064

  92. [100]

    Y . Zhao, Y . Sawano, J. Tao, D. Yang and W. Yuan, Bourgain–Morrey spaces mixed with structure of Besov spaces, Proc. Steklov Inst. Math. 323 (2023), 244–295

  93. [101]

    Y . Zhao, D. Yang and Y . Zhang, Mixed-norm Herz spaces and their applications in related Hardy spaces, Anal. Appl. (Singap.) 21 (2023), 1131–1222

  94. [102]

    C. Zhu, D. Yang and W. Yuan, Brezis–Seeger–Van Schaftingen–Yung-type characteriza- tion of homogeneous ball Banach Sobolev spaces and its applications, Commun. Contemp. Math. 26 (2024), Paper No. 2350041, 48 pp. Pingxu Hu, Yinqin Li, Dachun Yang and Wen Yuan. Laboratory of Mat...

Pith tools

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