Pith. sign in

REVIEW 3 major objections 6 minor 108 references

Sharp Brezis--Seeger--Van Schaftingen--Yung Formulae for Higher-Order Gradients in Ball Banach Function Spaces

T0 review · 3 major / 6 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 This paper proves that, in any ball Banach function space satisfying a maximal-function hypothesis, the higher-order level-set functional $\sup_{\lambda>0} \lambda \left\| \left( \int_{\{ |\Delta_h^k f(\cdot)| > \lambda…

desk verdict Genuinely new higher-order BSVY formulae with a real advance in the weighted machinery, but the endpoint p=1 proof is delegated to prior work and lacks the stated extrapolation step. read the letter →

arxiv 2505.16110 v1 pith:DNUM3TWK submitted 2025-05-22 math.FA math.APmath.CA

Pingxu Hu , Yinqin Li , Dachun Yang , Wen Yuan , Yangyang Zhang This is my paper · ORCID
classification math.FAmath.APmath.CA MSC 46E3526D1035A2342B2542B35
keywords BSVYformulaballBanachfunctionspacehigher-orderdifferencehomogeneousSobolevGagliardo–NirenberginequalityMuckenhouptweightHardy–Littlewoodmaximaloperatorextrapolation
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's central claim is that the weak-type level-set formula known as the BSVY formula admits a higher-order version in ball Banach function spaces, a common umbrella for Lebesgue, weighted, Morrey, Herz, mixed-norm, variable, Lorentz, Orlicz, and Orlicz-slice spaces. For any such space whose $p$-th root is again a ball Banach space with the Hardy–Littlewood maximal operator bounded on its associate space, and for $q$ and $\gamma$ in sharp ranges, the norm of $\nabla^k f$ is equivalent to a supremum over $\lambda$ of $\lambda$ times the space norm of a level-set integral built from the $k$-th order difference $\Delta_h^k f$. A companion limiting identity expresses the same norm as a sphere integral of the $k$-th derivatives. The applications are a characterization of higher-order homogeneous ball Banach Sobolev spaces and higher-order fractional Gagliardo–Nirenberg and Sobolev inequalities in critical cases. A sympathetic reader would care because the result unifies and extends all earlier first-order BSVY results and is new even for ordinary $L^q$ spaces when $k \ge 2$.

What carries the argument

The carrying object is the $k$-th order difference $\Delta_h^k f(x)=\sum_{j=0}^k (-1)^{k-j}\binom{k}{j} f(x+jh)$ with its level sets $E_{\lambda,\gamma/q,k}[f]=\{(x,h): |\Delta_h^k f(x)| > \lambda |h|^{k+\gamma/q}\}$. The machinery has four parts: Lemma 3.9, a sparse characterization of the dyadic cubes $Q$ for which the higher-order local approximation $E_k(f,Q)$ exceeds $\lambda|Q|^{\beta+\ell/n}$; Theorem 3.1, the higher-order weighted inequality that bounds sums over such cubes by the weighted $L^p$ norm of $\nabla^\ell f$; Lemma 3.10, a variant higher-order Poincaré inequality that bounds $f(x)-P_B^{(k-1)}(f)(x)$ by nested ball averages of local approximation; and an extrapolation argument (Lemmas 4.5, 4.6, and Proposition 4.1) that converts the weighted estimate into the $X$-norm estimate. The limiting identity additionally uses Proposition 4.3, a subtle limsup bound derived from a Taylor-type expansion of $\Delta_h^k f$.

What would settle it

Take $X := L^1$, $k := 2$, $q := 1$, and $\gamma := 1$, and let $f(x) := e^{-|x|^2}$. The theorem predicts that $\sup_{\lambda>0} \lambda \int_{\mathbb{R}^n} \int_{|\Delta_h^2 f(x)| > \lambda |h|^3} |h|^{1-n}\,dh\,dx$ is finite and comparable to $\|\,|\nabla^2 f|\,\|_{L^1}$, and that as $\lambda\to\infty$ the normalized expression tends to the sphere integral $\int_{\mathbb{R}^n} \int_{S^{n-1}} |\sum_{|\alpha|=2} \partial^\alpha f(x)\,\xi^\alpha|\,d\mathcal{H}^{n-1}(\xi)\,dx$; evaluating this limit numerically for this $f$ gives a concrete check of the limiting identity (1.8).

Watch

Extended reading notes

Core claim

On the paper's own terms, the discovery is Theorem 1.1: with $X$ a ball Banach function space, $k\in\mathbb{N}$, $q>0$, and $\gamma$ in the sharp set $\Gamma_{p,q}$ together with $n(1/p-1/q)<k$, every locally integrable $f$ with $|\nabla^k f|\in X$ satisfies the two-sided estimate in (1.6), with constants independent of $f$; under an absolutely continuous norm the $\lambda\to\infty$ or $\lambda\to 0^+$ limit equals $|\gamma|^{-1/q}$ times the $X$-norm of the $q$-th root sphere average of $|\sum \partial^\alpha f\, \xi^\alpha|$ and is again equivalent to $\|\,|\nabla^k f|\,\|_X$. Theorems 1.3 and 1.5 turn this into a characterization of the higher-order homogeneous Sobolev space and into critical fractional Gagliardo–Nirenberg and Sobolev inequalities, including the case where the classical strong-type inequality fails. The proof is built from a sparse dyadic-cube description of level sets of higher-order local approximation, a higher-order weighted inequality extending the classical weighted estimate that Theorem 3.1 generalizes, a variant higher-order Poincaré inequality, and an extrapolation step that transfers the weighted Lebesgue-space estimate to the ball Banach space via an $A_1$ weight constructed from the maximal operator.

Load-bearing premise

The load-bearing premise is that some $p$ with $1\le p<\infty$ makes $X^{1/p}$ a ball Banach function space and makes the Hardy–Littlewood maximal operator bounded on the associate space $(X^{1/p})'$; in the endpoint case $p=1$ it also requires maximal endpoint boundedness on $X'$, uniform boundedness of centered ball averages on $X$, and an absolutely continuous norm.

Editorial extensions

If this is right

  • For every ball Banach function space covered by the hypotheses, the level-set functional is a genuine equivalent norm on the homogeneous Sobolev space $\dot W^{k,X}$, so membership, convergence, and boundedness in that space can be tested by weak-type difference quotients.
  • Theorem 1.3 gives an iff criterion: $f$ lies in $\dot W^{k,X}$ exactly when $f$ is locally integrable and the displayed supremum is finite, provided $X$ and $X'$ have absolutely continuous norms.
  • The critical Gagliardo–Nirenberg inequalities of Theorem 1.5 hold in the level-set formulation, including the critical case where the strong $L^q$ inequality fails; replacing the strong norm by the weak $L^q$ quasi-norm restores the inequality.
  • All statements specialize to weighted Lebesgue, Morrey-type, Herz, mixed-norm, variable Lebesgue, Lorentz, Orlicz, and Orlicz-slice spaces, so the result is a single framework covering many concrete spaces.
  • Even when $X$ is an ordinary $L^q$ space, the higher-order $k\ge 2$ statements are new; for $k=1$ they recover the best known BSVY results.

Reading between the lines

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

  • Editorial inference: The sparse dyadic-cube lemma may be the transportable core; the same lemma could be used to derive higher-order Poincaré-type or trace estimates in any space where the cubes of the level set have the local-approximation structure, even without maximal-operator hypotheses.
  • Editorial inference: If the endpoint $p=1$ assumptions are the bottleneck, an interesting test is whether the conclusion survives for a ball Banach space where the maximal operator is endpoint bounded on $X'$ but centered ball averages fail to be uniformly bounded; Theorem 1.1(II) currently requires all three conditions, so a counterexample there would not contradict the theorem but would indicate
  • Editorial inference: The limiting formula suggests a directional integral identity: the $X$-norm of $|\nabla^k f|$ recovers the $X$-norm of the sphere average of the $k$-th directional derivative, which could be used to characterize functions whose $k$-th derivatives vanish on a given set of directions, a question the paper does not address.
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

3 major / 6 minor

Summary. The paper establishes sharp higher-order Brezis--Seeger--Van Schaftingen--Yung (BSVY) formulae for kth-order differences in ball Banach function spaces. For a BBF space X satisfying either a convexification/maximal-function condition (Theorem 1.1(I)) or an endpoint maximal-function condition (Theorem 1.1(II)), the authors prove the equivalence (1.6) between a weak-type functional built from the level sets E_{λ,γ/q,k}[f] and the homogeneous Sobolev norm || |∇^k f| ||_X, together with the limiting identity (1.8). The proof proceeds through a higher-order weighted variant of Cohen--Dahmen--Daubechies--DeVore inequalities (Theorem 3.1), a weighted BSVY upper estimate for A1 weights (Theorem 3.3), a sharpness result for the range n(1/p-1/q)<k (Proposition 3.12), and an extrapolation argument to general BBF spaces. Applications include a BSVY characterization of higher-order homogeneous ball Banach Sobolev spaces (Theorem 1.3), critical Gagliardo--Nirenberg and Sobolev-type inequalities (Theorem 1.5), and a catalogue of examples ranging from Lebesgue and weighted Lebesgue spaces to Morrey-type, Herz, mixed-norm, variable, Lorentz, Orlicz, and Orlicz-slice spaces.

Significance. If the endpoint case is completed, this is a substantial contribution. The higher-order weighted estimates and the sparse dyadic characterization in Section 3 are new and of independent interest; the sharp ranges for γ and the range n(1/p-1/q)<k are identified and tested by Proposition 3.12; and the applications to a wide family of concrete BBF spaces are broad. The paper also gives genuine credit to the prior first-order BBF treatments and explicitly records that the higher-order, k≥2 Lebesgue-space case is new. The main concern is the proof of Theorem 1.1(II), where the endpoint p=1 upper estimate is delegated to a prior theorem without supplying the endpoint extrapolation that would be needed; this currently leaves a load-bearing gap in the central claim.

major comments (3)
  1. [§4.1, proof of Theorem 1.1, final paragraph] The endpoint case Theorem 1.1(II) is not proved. The text states that (II) 'can be obtained by repeating the proof of [23, Theorem 4.10]' with E_f(λ,q), |∇f|, and Theorem 4.5 there replaced by E_{λ,γ/q,k}[f], |∇^k f|, and (I) here. But Proposition 4.1, the only BBF-space upper estimate proved in this manuscript, assumes the existence of p∈[1,∞) with M bounded on (X^{1/p})'; at p=1 this is exactly M bounded on X'. The hypotheses of Theorem 1.1(II) are weaker: Definition 2.6 only supplies a sequence θ_m→1 with M bounded on (X^{1/θ_m})' and uniformly bounded norms, plus uniform boundedness of centered ball averages and an absolutely continuous norm. Nothing in the text proves that these assumptions imply M bounded on X', and the text explicitly motivates Definition 2.6 by spaces for which M is not known to be bounded on X'. The endpoint analogue of Lemmas 4.5--4.6 and Proposition 4.1 is therefore missing. Since Theorem 1.1(II) supplies the p=1 upper estimate in (1.6), the limiting identity (1.8), and the p=1 applications in Section 5, this is a load-bearing gap rather than a cosmetic omission.
  2. [§4.1, Proposition 4.1] Proposition 4.1 is the key bridge from weighted Lebesgue estimates to general BBF spaces, but its proof is omitted with only the instruction to repeat the proof of [23, (4.10)]. The adaptation is not entirely formal: the functional E_{λ,γ/q,k,ℓ}[f] is defined by a nonlinear level set of a kth-order difference, whereas [23, (4.10)] treats the first-order functional E_f(λ,q). The proof should either be written out, or the authors should identify the specific steps in [23, (4.10)] that are unchanged and the steps that require Theorem 3.3. This is especially important because the endpoint p=1 case of Theorem 1.1 cannot be obtained from Proposition 4.1 as stated.
  3. [§3.3, proof of Corollary 3.5, step '(i) implies (ii)'] The proof of Corollary 3.5 asserts that the weighted estimates for A1 weights can be adapted to A_p(R) weights by 'replacing A1, ℓ, and n(1/p-1/q)<ℓ by Ap(R), k, and 1-1/q<k'. However, Theorem 3.3 and Proposition 3.11(ii) are stated and proved only for A1 weights. For υ∈A_p with p>1, the doubling estimate in Lemma 2.13(ii) has the exponent p rather than 1, so the geometric-factor bookkeeping in Proposition 3.11(ii) changes; no A_p version of these weighted estimates is stated or proved in the manuscript. Since Corollary 3.5 is the characterization of A_p weights for n=1 and all p∈[1,∞), the implication (i)⇒(ii) for p>1 is not justified as written.
minor comments (6)
  1. [§5.4, proof of Theorem 5.12] The proof says 'we find that (iii) holds', but Theorem 5.12 has only items (i) and (ii); the reference to (iii) should be corrected.
  2. [§5.9, Theorem 5.24(ii)] The statement says 'Theorem 1.3 holds with X := LΦ', but in this subsection the relevant space is the Orlicz-slice space (E^r_Φ)_t, not LΦ. This appears to be a copy-and-paste error.
  3. [Theorem 3.3] There is a typo in the sentence defining E_{λ,γ/q,k,ℓ}[f]: 'repalced' should be 'replaced'.
  4. [Introduction] The phrase 'the the desired inequality' appears in the introduction; it should read 'the desired inequality'.
  5. [§3.2, proof of Theorem 3.3] The proof writes 'We only consider the case q∈[p,∞) because the case q∈(0,p) is quite similar and hence we omit the details here.' Since the q∈(0,p) case uses Proposition 3.11(iii) and (iv) rather than a literal repetition, a short indication of the changes (or a reference to the corresponding lines) would improve readability.
  6. [§2.1, Definition 2.6] The definition of endpoint boundedness is stated with a sequence θ_m→1, but the definition would be clearer if the uniformity in the limit of the operator norms were explicitly quantified, as part of the inequality lim_m ∥M∥_{(X^{1/θ_m})'→(X^{1/θ_m})'} < ∞ already suggests; the current wording is acceptable but could be tightened.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the higher-order BSVY formula follows from new weighted estimates plus prior first-order extrapolation lemmas; citations to [23] are dependencies, not reductions.

full rationale

The main equivalence (1.6) is derived from independent ingredients: the weighted upper estimate Theorem 3.3 is proved inside this paper via Lemma 3.9, the Whitney inequality, and Lemma 3.10; the lower estimate Proposition 4.2 is proved from the pointwise limit of k-th order difference quotients together with Lemma 4.7; and the extrapolation Lemmas 4.5-4.6 from [23,107] pass from weighted L^p estimates to the ball Banach function space X. None of these steps assumes the target functional-norm equivalence. The self-cited results [23,107,66] are used as proof machinery with independent proofs, not as restatements of the present theorem. The endpoint p=1 part of Theorem 1.1(II) is delegated by the sentence 'can be obtained by repeating the proof of [23, Theorem 4.10] with E_f(λ,q), |∇f|, and Theorem 4.5 therein replaced, respectively, by E_{λ,γ/q,k}[f], |∇^k f|, and (I) here.' This is a written-proof gap and a substantial dependency on prior same-group work, but it is not a circular reduction: [23, Theorem 4.10] is a first-order statement, and the replacement explicitly inserts the currently proved part (I). No parameter is fitted to data, no known result is renamed as new, and no uniqueness claim is imported from the authors' prior work. The higher-order k>=2 content is therefore independent of the earlier theorems it invokes.

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

The central proof pulls in standard approximation theory (Whitney, dyadic grids, Poincare) and domain assumptions on the maximal operator. No constants are fitted to data, and the only auxiliary object, the T^{p,q}_{gamma,upsilon} space, is a technical definition rather than a postulated entity.

assumptions (8)
  • standard math Ball Banach function space axioms: lattice properties, Fatou property, ball indicator in X, local integrability (Definition 2.1).
    Background framework; these axioms define the class X where the theorem is stated.
  • domain assumption There exists p in [1,infinity) such that X^{1/p} is a ball Banach function space and the Hardy-Littlewood maximal operator M is bounded on (X^{1/p})'.
    Hypothesis of Theorem 1.1(I); used to apply Rubio de Francia extrapolation and the weighted upper estimates.
  • domain assumption In the p=1 endpoint case, M is endpoint bounded on X', centered ball averages are uniformly bounded on X, and X has an absolutely continuous norm.
    Hypothesis of Theorem 1.1(II); used for the limiting identity and density arguments.
  • standard math Shifted dyadic grids D^alpha have the nested property and every ball can be sandwiched between a dyadic cube from one grid and a bounded dilation (Lemma 3.8).
    Geometric ingredient in sparse characterization Lemma 3.9 and in the weighted estimates.
  • standard math Whitney inequality bounds the k-th order local approximation error by the first-order renormalized modulus of continuity (3.13).
    Used in the proof of Theorem 3.1 to reduce higher-order estimates to first-order ones.
  • standard math Higher-order Poincare inequality on balls, cubes, and annuli for BBF spaces with uniformly bounded ball averages (Lemma 2.18).
    Used for density in W-dot^{k,X} (Theorem 2.16) and for the sparse level-set bounds.
  • standard math Muckenhoupt A_p weight properties, including self-improvement and maximal boundedness on weighted L^p (Lemma 2.13).
    Input for weighted estimates and for the characterizations in Theorems 3.1 and 3.3.
  • standard math Rubio de Francia extrapolation and Marcinkiewicz-type interpolation theorems for BBF spaces and mixed-norm spaces (Lemmas 4.5, 4.8, 4.9, 4.10).
    Lift weighted estimates to X; these are cited or proved by reference with some routine details omitted.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sharp Brezis--Seeger--Van Schaftingen--Yung Formulae for Higher-Order Gradients in Ball Banach Function Spaces." pith.science (2026). https://pith.science/paper/DNUM3TWK

@misc{pith2026250516110,
  author       = {Pith},
  title        = {Pith review of: Sharp Brezis--Seeger--Van Schaftingen--Yung Formulae for Higher-Order Gradients in Ball Banach Function Spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DNUM3TWK}},
  note         = {Machine review of arXiv:2505.16110}
}
abstract

Let $X$ be a ball Banach function space on $\mathbb{R}^n$, $k\in\mathbb{N}$, $h\in\mathbb{R}^n$, and $\Delta^k_h$ denote the $k${\rm th} order difference. In this article, under some mild extra assumptions about $X$, the authors prove that, for both parameters $q$ and $\gamma$ in \emph{sharp} ranges which are related to $X$ and for any locally integrable function $f$ on ${\mathbb{R}^n}$ satisfying $|\nabla^k f|\in X$, $$ \sup_{\lambda\in(0,\infty)}\lambda \left\|\left[\int_{\{h\in\mathbb{R}^n:\ |\Delta_h^k f(\cdot)|>\lambda|h|^{k+\frac{\gamma}{q}}\}} \left|h\right|^{\gamma-n}\,dh\right]^\frac{1}{q}\right\|_X \sim \left\|\,\left|\nabla^k f\right|\,\right\|_{X} $$ with the positive equivalence constants independent of $f$. As applications, the authors establish the Brezis--Seeger--Van Schaftingen--Yung (for short, BSVY) characterization of higher-order homogeneous ball Banach Sobolev spaces and higher-order fractional Gagliardo--Nirenberg and Sobolev type inequalities in critical cases. All these results are of quite wide generality and can be applied to various specific function spaces; moreover, even when $X:= L^{q}$, these results when $k=1$ coincide with the best known results and when $k\ge 2$ are completely new. The first novelty is to establish a sparse characterization of dyadic cubes in level sets related to the higher-order local approximation, which, together with the well-known Whitney inequality in approximation theory, further induces a higher-order weighted variant of the remarkable inequality obtained by A. Cohen, W. Dahmen, I. Daubechies, and R. DeVore; the second novelty is to combine this weighted inequality neatly with a variant higher-order Poincar\'e inequality to establish the desired upper estimate of BSVY formulae in weighted Lebesgue spaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

108 extracted references · 72 canonical work pages

  1. [1]

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

    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

    2019

  3. [3]

    Auscher and C

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

    2017

  4. [4]

    B ´egout and A

    P. B ´egout and A. M. Vargas, Mass concentration phenomena for the L2-critical nonlinear Schr¨odinger equation, Trans. Amer. Math. Soc. 359 (2007), 5257–5282

    2007

  5. [5]

    Benedek and R

    A. Benedek and R. Panzone, The space LP, with mixed norm, Duke Math. J. 28 (1961), 301–324

    1961

  6. [6]

    Bennett and R

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

    1988

  7. [7]

    Bourgain, On the restriction and multiplier problems in R3, in: Geometric aspects of functional analysis (1989–90), pp

    J. Bourgain, On the restriction and multiplier problems in R3, in: Geometric aspects of functional analysis (1989–90), pp. 179–191, Lecture Notes in Math. 1469, Springer, Berlin, 1991

    1989

  8. [8]

    Bourgain, Refinements of Strichartz’ inequality and applications to 2D-NLS with critical nonlinearity, Internat

    J. Bourgain, Refinements of Strichartz’ inequality and applications to 2D-NLS with critical nonlinearity, Internat. Math. Res. Notices 1998 (1998), 253–283

    1998

Show all 108 references
  1. [9]

    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. 56 Pingxu Hu, Yinqin Li, Dachun Yang, Wen Yuan and Yangy angZhang

    2001

  2. [10]

    Brezis, How to recognize constant functions

    H. Brezis, How to recognize constant functions. A connection with Sobolev spaces, Russian Math. Surveys 57 (2002), 693–708

    2002

  3. [11]

    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

    2018

  4. [12]

    Brezis and H.-M

    H. Brezis and H.-M. Nguyen, The Jacobian determinant revisited, Invent. Math. 185 (2011), 17–54

    2011

  5. [13]

    Brezis, A

    H. Brezis, A. Seeger, J. Van Schaftingen and P.-L. Yung, Sobolev spaces revisited, Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 33 (2022), 413–437

    2022

  6. [14]

    Brezis, A

    H. Brezis, A. Seeger, J. Van Schaftingen and P.-L. Yung, Families of functionals represent- ing Sobolev norms, Anal. PDE 17 (2024), 943-979

    2024

  7. [15]

    Brezis, J

    H. Brezis, J. Van Schaftingen and P.-L. Yung, A surprising formula for Sobolev norms, Proc. Natl. Acad. Sci. USA 118 (2021), Paper No. e2025254118, 6 pp

    2021

  8. [16]

    Brudnyi, Sobolev spaces and their relatives: local polynomial approximation approach., Sobolev spaces in mathematics

    Y . Brudnyi, Sobolev spaces and their relatives: local polynomial approximation approach., Sobolev spaces in mathematics. II, in: Int. Math. Ser. (N. Y .) 9, Springer, New York, 2009, pp. 31–68

    2009

  9. [17]

    Chiarenza and M

    F. Chiarenza and M. Frasca, Morrey spaces and Hardy–Littlewood maximal function, Rend. Mat. Appl. (7) 7 (1987), 273–279 (1988)

    1987

  10. [18]

    Cleanthous, A

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

    2017

  11. [19]

    Cohen, W

    A. Cohen, W. Dahmen, I. Daubechies and R. DeV ore, Harmonic analysis of the space BV , Rev. Mat. Iberoam. 19 (2003), 235-263

    2003

  12. [20]

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

    2013

  13. [21]

    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

    2024

  14. [22]

    F. Dai, X. Lin, D. Yang, W. Yuan and Y . Zhang, Poincar ´e inequality meets Brezis–Van Schaftingen–Yung formula on metric measure spaces, J. Funct. Anal. 283 (2022), Paper No. 109645, 52 pp

    2022

  15. [23]

    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

    2023

  16. [24]

    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

    2021

  17. [25]

    R. A. DeV ore and G. G. Lorentz, Constructive Approximation, Grundlehren Math. Wiss. 303, Springer-Verlag, Berlin, 1993

    1993

  18. [26]

    R. A. DeV ore and R. Sharpley, Maximal functions measuring smoothness, Mem. Amer. Math. Soc. 47 (1984), no. 293

    1984

  19. [27]

    Diening, P

    L. Diening, P. Harjulehto, P. H ¨ast¨o and M. R ˚uˇziˇcka, Lebesgue and Sobolev Spaces with Variable Exponents, Lecture Notes in Math. 2017, Springer, Heidelberg, 2011

    2017

  20. [28]

    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

    2009

  21. [29]

    Dom ´ınguez, D

    O. Dom ´ınguez, D. D. Haroske and S. Tikhonov, Embeddings and characterizations of Lip- schitz spaces, J. Math. Pures Appl. (9) 144 (2020), 69–105

    2020

  22. [30]

    Dom ´ınguez and M

    O. Dom ´ınguez and M. Milman, New Brezis–Van Schaftingen–Yung–Sobolev type inequal- ities connected with maximal inequalities and one parameter families of operators, Adv. Math. 411 (2022), Paper No. 108774, 76 pp

    2022

  23. [31]

    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. Higher-Order Brezis–Seeger–Van Schaftingen–Y...

    2023

  24. [32]

    Dom ´ınguez, A

    O. Dom ´ınguez, A. Seeger, B. Street, J. Van Schaftingen and P.-L. Yung, Spaces of Besov– Sobolev type and a problem on nonlinear approximation, J. Funct. Anal. 284 (2023), Paper No. 109775, 50 pp

    2023

  25. [33]

    Dom ´ınguez and S

    O. Dom ´ınguez and S. Tikhonov, Sobolev embeddings, extrapolations, and related inequali- ties, arXiv: 1909.12818

    1909 arXiv

  26. [34]

    Dom ´ınguez and S

    O. Dom ´ınguez and S. Tikhonov, Function spaces of logarithmic smoothness: embeddings and characterizations, Mem. Amer. Math. Soc. 282 (2023), no. 1393

    2023

  27. [35]

    Duoandikoetxea, Fourier Analysis, Graduate Studies in Mathematics 29, American Math- ematical Society Providence, RI, 2001

    J. Duoandikoetxea, Fourier Analysis, Graduate Studies in Mathematics 29, American Math- ematical Society Providence, RI, 2001

    2001

  28. [36]

    L. C. Evans and R. F. Gariepy, Measure Theory and Fine Properties of Functions, Revised edition Textb. Math., CRC Press, Boca Raton, FL, 2015

    2015

  29. [37]

    Ferreira, C

    R. Ferreira, C. Kreisbeck and A. Ribeiro, Characterization of polynomials and higher-order Sobolev spaces in terms of functionals involving difference quotients, Nonlinear Anal. 112 (2015), 199–214

    2015

  30. [38]

    R. L. Frank, A characterization of ˙W1,p(Rd), Pure Appl. Funct. Anal. 9 (2024), 53–68

    2024

  31. [39]

    R. L. Frank, F. Sukochev, and D. Zanin, Endpoint Schatten class properties of commutators, Adv. Math. 450 (2024), Paper No. 109738, 53 pp

    2024

  32. [40]

    Grafakos, Classical Fourier Analysis, Third edition, Graduate Texts in Mathematics 249, Springer, New York, 2014

    L. Grafakos, Classical Fourier Analysis, Third edition, Graduate Texts in Mathematics 249, Springer, New York, 2014

    2014

  33. [41]

    Grafakos, Modern Fourier Analysis, Third edition, Graduate Texts in Mathematics 250, Springer, New York, 2014

    L. Grafakos, Modern Fourier Analysis, Third edition, Graduate Texts in Mathematics 250, Springer, New York, 2014

    2014

  34. [42]

    Grafakos, X

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

    1998

  35. [43]

    Hajłasz and A

    P. Hajłasz and A. Kałamajska, Polynomial asymptotics and approximation of Sobolev func- tions, Studia Math. 113 (1995), 55–64

    1995

  36. [44]

    D. D. Haroske, S. D. Moura, C. Schneider and L. Skrzypczak, Unboundedness properties of smoothness Morrey spaces of regular distributions on domains, Sci. China Math. 60 (2017), 2349–2376

    2017

  37. [45]

    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

    2023

  38. [46]

    D. D. Haroske, S. D. Moura and L. Skrzypczak, Some embeddings of Morrey spaces with critical smoothness, J. Fourier Anal. Appl. 26 (2020), Paper No. 50, 31 pp

    2020

  39. [47]

    D. D. Haroske, C. Schneider and L. Skrzypczak, Morrey spaces on domains: di fferent approaches and growth envelopes, J. Geom. Anal. 28 (2018), 817–841

    2018

  40. [48]

    D. D. Haroske and L. Skrzypczak, Embeddings of weighted Morrey spaces, Math. Nachr. 290 (2017), 1066–1086

    2017

  41. [49]

    Hern ´andez and D

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

    1999

  42. [50]

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

    1968

  43. [51]

    Ho, Dilation operators and integral operators on amalgam space (Lp, lq), Ric

    K.-P. Ho, Dilation operators and integral operators on amalgam space (Lp, lq), Ric. Mat. 68 (2019), 661–677

    2019

  44. [52]

    Holland, Harmonic analysis on amalgams of Lp and lq, J

    F. Holland, Harmonic analysis on amalgams of Lp and lq, J. London Math. Soc. (2) 10 (1975), 295–305

    1975

  45. [53]

    H ¨ormander, Estimates for translation invariant operators in Lp spaces, Acta Math

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

    1960

  46. [54]

    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

    2023

  47. [55]

    Huang, D.-C

    L. Huang, D.-C. Chang and D. Yang, Fourier transform of Hardy spaces associated with ball quasi-Banach function spaces, Appl. Anal. 101 (2022), 3825–3840. 58 Pingxu Hu, Yinqin Li, Dachun Yang, Wen Yuan and Yangy angZhang

    2022

  48. [56]

    Huang and D

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

    2021

  49. [57]

    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

    2023

  50. [58]

    Izuki and Y

    M. Izuki and Y . Sawano, Characterization of BMO via ball Banach function spaces, Vestn. St.-Peterbg. Univ. Mat. Mekh. Astron. 4(62) (2017), 78–86

    2017

  51. [59]

    Jia and H

    H. Jia and H. Wang, Decomposition of Hardy–Morrey spaces, J. Math. Anal. Appl. 354 (2009), 99–110

    2009

  52. [60]

    C. E. Kenig, G. Ponce and L. Vega, On the concentration of blow up solutions for the generalized KdV equation critical in L2, in: Nonlinear Wave Equations (Providence, RI, 1998), pp. 131–156, Contemp. Math. 263, Amer. Math. Soc., Providence, RI, 2000

    1998

  53. [61]

    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

    2007

  54. [62]

    Kov ´aˇcik and J

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

    1991

  55. [63]

    J. Li, X. Xiong and F. Yang, Schatten properties of Calder ´on–Zygmund singular integral commutator on stratified Lie groups, J. Math. Pures Appl. (9) 188 (2024), 73–113

    2024

  56. [64]

    Li and D

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

    1996

  57. [65]

    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 Mathematics. 2320, Springer, Singapore, 2022

    2022

  58. [66]

    Y . Li, D. Yang, W. Yuan, Y . Zhang and Y . Zhao, Muckenhoupt weights meet Brezis–Seeger– Van Schaftingen–Yung formulae in ball Banach function spaces, arXiv:2405.19790

    arXiv

  59. [67]

    Lorist and Z

    E. Lorist and Z. Nieraeth, Extrapolation of compactness on Banach function spaces, J. Fourier Anal. Appl. 30 (2024), Paper No. 30, 25 pp

    2024

  60. [68]

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

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

    1995

  61. [69]

    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

    arXiv

  62. [70]

    Masaki and J

    S. Masaki and J. Segata, Existence of a minimal non-scattering solution to the mass- subcritical generalized Korteweg-de Vries equation, Ann. Inst. H. Poincar ´e C Anal. Non Lin´eaire 35 (2018), 283–326

    2018

  63. [71]

    Masaki and J

    S. Masaki and J. Segata, Refinement of Strichartz estimates for Airy equation in nondiago- nal case and its application, SIAM J. Math. Anal. 50 (2018), 2839–2866

    2018

  64. [72]

    Matuszewska and W

    W. Matuszewska and W. Orlicz, On certain properties of φ-functions, Bull. Acad. Polon. Sci. S´er. Sci. Math. Astronom. Phys. 8 (1960), 439–443

    1960

  65. [73]

    Matuszewska and W

    W. Matuszewska and W. Orlicz, On some classes of functions with regard to their orders of growth, Studia Math. 26 (1965), 11–24

    1965

  66. [74]

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

    2011

  67. [75]

    Mohanta, Bourgain–Brezis–Mironescu formula for W s,p q -spaces in arbitrary domains, Calc

    K. Mohanta, Bourgain–Brezis–Mironescu formula for W s,p q -spaces in arbitrary domains, Calc. Var. Partial Differential Equations 63 (2024), Paper No. 31, 17 pp

    2024

  68. [76]

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

    1938

  69. [77]

    Moyua, A

    A. Moyua, A. Vargas and L. Vega, Restriction theorems and maximal operators related to oscillatory integrals in R3, Duke Math. J. 96 (1999), 547–574

    1999

  70. [78]

    Muscalu, T

    C. Muscalu, T. Tao and C. Thiele, Multi-linear operators given by singular multipliers, J. Amer. Math. Soc. 15 (2002), 469–496. Higher-Order Brezis–Seeger–Van Schaftingen–Yung Formulae 59

    2002

  71. [79]

    Nakai and Y

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

    2012

  72. [80]

    Nakai and Y

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

    2014

  73. [81]

    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

    2023

  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

    2024

  75. [83]

    Poliakovsky, Some remarks on a formula for Sobolev norms due to Brezis, Van Schaftin- gen and Yung, J

    A. Poliakovsky, Some remarks on a formula for Sobolev norms due to Brezis, Van Schaftin- gen and Yung, J. Funct. Anal. 282 (2022), Paper No. 109312, 47 pp

    2022

  76. [84]

    M. M. Rao and Z. D. Ren, Applications of Orlicz Spaces, Monographs and Textbooks in Pure and Applied Mathematics 250, Marcel Dekker, Inc., New York, 2002

    2002

  77. [85]

    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

    2020

  78. [86]

    Rudin, Functional Analysis, Second edition, Internat

    W. Rudin, Functional Analysis, Second edition, Internat. Ser. Pure Appl. Math. McGraw- Hill, Inc., New York, 1991

    1991

  79. [87]

    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, Monographs and Research Notes in Mathematics, CRC Press, Boca Raton, FL, 2020

    2020

  80. [88]

    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, Monographs and Research Notes in Mathematics, CRC Press, Boca Raton, FL, 2020

    2020

  81. [89]

    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

    2017

  82. [90]

    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, Pairs, 1980, pp. 67–149

    1980

  83. [91]

    J. Tao, Da. Yang and Do. Yang, Boundedness and compactness characterizations of Cauchy integral commutators on Morrey spaces, Math. Methods Appl. Sci. 42 (2019), 1631–1651

    2019

  84. [92]

    J. Tao, D. Yang, W. Yuan and Y . Zhang, Compactness characterizations of commutators on ball Banach function spaces, Potential Anal. 58 (2023), 645–679

    2023

  85. [93]

    Triebel, Theory of Function Spaces, V ol

    H. Triebel, Theory of Function Spaces, V ol. II, Monogr. Math. 84, Birkh¨auser, Basel, 1992

    1992

  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

    2020

  87. [95]

    F. Wang, D. Yang and W. Yuan, Riesz transform characterization of Hardy spaces associated with ball quasi-Banach function spaces, J. Fourier Anal. Appl. 29 (2023), Paper No. 56, 49 pp

    2023

  88. [96]

    S. Wang, D. Yang, W. Yuan and Y . Zhang, Weak Hardy-type spaces associated with ball quasi-Banach function spaces II: Littlewood–Paley characterizations and real interpolation, J. Geom. Anal. 31 (2021), 631–696

    2021

  89. [97]

    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

    2022

  90. [98]

    X. Yan, Z. He, D. Yang and W. Yuan, Hardy spaces associated with ball quasi-Banach function spaces on spaces of homogeneous type: characterizations of maximal functions, decompositions, and dual spaces, Math. Nachr. 296 (2023), 3056–3116

    2023

  91. [99]

    X. Yan, D. Yang and W. Yuan, Intrinsic square function characterizations of Hardy spaces associated with ball quasi-Banach function spaces, Front. Math. China 15 (2020), 769–806

    2020

  92. [100]

    W. Yuan, W. Sickel and D. Yang, Morrey and Campanato Meet Besov, Lizorkin and Triebel, Lecture Notes in Mathematics 2005, Springer-Verlag, Berlin, 2010. 60 Pingxu Hu, Yinqin Li, Dachun Yang, Wen Yuan and Yangy angZhang

    2005

  93. [101]

    Zhang, L

    Y . Zhang, L. Huang, D. Yang and W. Yuan, New ball Campanato-type function spaces and their applications, J. Geom. Anal. 32 (2022), Paper No. 99, 42 pp

    2022

  94. [102]

    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

    2019

  95. [103]

    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

    2021

  96. [104]

    Y . Zhao, Y . Li, D. Yang, W. Yuan and Y . Zhang, Generalized Frank characterizations of Muckenhoupt weights and homogeneous ball Banach Sobolev spaces, Adv. Math. 458 (2024), Paper No. 109957, 63 pp

    2024

  97. [105]

    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

    2023

  98. [106]

    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

    2023

  99. [107]

    C. Zhu, D. Yang and W. Yuan, Generalized Brezis–Seeger–Van Schaftingen–Yung formulae and their applications in ball Banach Sobolev spaces, Calc. Var. Partial Di fferential Equa- tions 62 (2023), Paper No. 234, 76 pp

    2023

  100. [108]

    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 (Corresponding author), Dachun Yang, Wen Yua...

    2024

Pith tools

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