Pith. sign in

REVIEW 3 major objections 6 minor 12 references

The boundedness of rough generalized commutators with Lipschitz functions on homogeneous variable exponent Herz type 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 Rough generalized commutators with Lipschitz symbols are bounded on homogeneous variable-exponent Herz and Herz-Morrey spaces.

desk verdict Plausible Herz-space extension with a fixable norm swap in the local term; worth refereeing after corrections. read the letter →

arxiv 2506.12164 v1 pith:QSSUL6XL submitted 2025-06-13 math.AP

Ferit Gurbuz This is my paper · ORCID
classification math.AP MSC 46E3542B2542B35
keywords roughkernelgeneralizedcommutatorLipschitzfunctionvariableexponenthomogeneousHerzspaceHerz-MorreyTaylorremainderfractionalintegral
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 establishes that two rough generalized commutators—one an integral operator, one a maximal operator—are bounded on homogeneous variable-exponent Herz spaces and Herz-Morrey spaces, provided the kernel is only assumed to lie in $L^s$ on the unit sphere and the highest derivatives of the symbol lie in a homogeneous Lipschitz space. The target exponent is constrained by the source exponent through $1/p_2(\cdot)=1/p_1(\cdot)-(\beta+\phi)/n$, so the operators shift integrability by an amount fixed by the fractional order $\phi$ and the Lipschitz smoothness $\beta$. If the proof is correct, these operators, whose rough kernels escape smoother-kernel techniques, become bounded mappings in the variable-exponent setting used for partial differential equations with nonstandard growth. The norm bounds are proportional to the sum of the $\dot{\Lambda}_\beta$ norms of the order $m-1$ derivatives of the symbol, so the estimates are quantitative in the symbol.

What carries the argument

The machinery is the dyadic annulus decomposition of the Herz norm together with a local estimate for the Taylor remainder: Lemma 4 shows $|R_m(A;x,y)| \lesssim \sum_{|\gamma|=m-1}\|D^\gamma A\|_{\dot{\Lambda}_\beta}|x-y|^{m-1+\beta}$, converting the high-order symbol into a power gain $|x-y|^\beta$ that is then absorbed by the Riesz potential $I_{\phi+\beta}$. The proof splits $f=\sum_z f\chi_z$ into annuli, estimates the nonlocal annulus sums with the variable-exponent Hölder inequality and characteristic-function norm inequalities, and handles the local five annuli by invoking the known $L^{p_1(\cdot)}\to L^{p_2(\cdot)}$ boundedness of the same commutator. The maximal operator $M^{A,m}_{\Omega,\phi}$ is controlled by the absolute-value integral operator, so the integral bounds transfer to the maximal operator.

What would settle it

Inspect Theorem 5 of the cited reference [12] alongside Theorem 1: if that theorem requires different conditions, for example $p_2=p_1$ or a smoother kernel, then the inequality used to bound the local term $Y$ is not available, and the claimed boundedness does not follow from the argument given.

Watch

Extended reading notes

Core claim

The paper's central claim is that the rough generalized commutators $I^{A,m}_{\Omega,\phi}$ and $M^{A,m}_{\Omega,\phi}$, defined through the $m$-th Taylor remainder $R_m(A;x,y)$ of $A$ and a homogeneous kernel $\Omega\in L^s(S^{n-1})$ of degree zero, are bounded between homogeneous variable exponent Herz spaces. Under $D^\gamma A\in \dot{\Lambda}_\beta(\mathbb{R}^n)$ for $|\gamma|=m-1$, $\frac{1}{p_2(\cdot)}=\frac{1}{p_1(\cdot)}-\frac{\beta+\phi}{n}$, $(p'_1)_+<s$, and the displayed range on $\alpha$, Theorem 1 asserts $$\|$I^{{A,m}}$_{\$\Omega$,\phi} f\|_{\dot{K}^{\$\alpha$,q_2}_{p_2(\cdot)}(\mathbb{R}^n)} \lesssim \sum_{|\gamma|=m-1}\|D^\gamma A\|_{\dot{\Lambda}_\$\beta$(\mathbb{R}^n)}\|f\|_{\dot{K}^{\$\alpha$,q_1}_{p_1(\cdot)}(\mathbb{R}^n)},$$ with the identical estimate for $M^{A,m}_{\Omega,\phi}$. Theorem 2 establishes the same pair of estimates with $\dot{K}$ replaced by the homogeneous variable exponent Herz-Morrey space $M\dot{K}^{\alpha,q}_{p(\cdot)}$, and the corollaries record the $m=1$ case, where $R_1(A;x,y)=A(x)-A(y)$ and the estimates reduce to bounds on the ordinary rough commutators $I^A_{\Omega,\phi}$ and $M^A_{\Omega,\phi}$.

Load-bearing premise

The proof's local-annulus estimate invokes an earlier boundedness result for the same commutator on variable Lebesgue spaces without restating that result's hypotheses, so if those hypotheses are not automatically satisfied by this theorem's assumptions, the local term and hence the whole theorem are not justified.

Editorial extensions

If this is right

  • For $m=1$, the classical rough commutators $I^A_{\Omega,\phi}$ and $M^A_{\Omega,\phi}$ are bounded with norm controlled by $\|A\|_{\dot{\Lambda}_\beta}$, so Lipschitz symbols alone already give Herz-space boundedness.
  • Setting the Herz-Morrey parameter $\lambda=0$ in Theorem 2 recovers Theorem 1, confirming that the Herz-Morrey estimate is a genuine extension rather than a different phenomenon.
  • The exponent relation $1/p_2(\cdot)=1/p_1(\cdot)-(\beta+\phi)/n$ identifies the target Lebesgue integrability that must be used for such a commutator; no other choice of $p_2$ would make the Riesz-potential absorption work.
  • The maximal commutator satisfies the same bound as the integral commutator, so pointwise domination by the absolute-value integral operator is preserved on these spaces.
  • The index window $\phi+\beta+n\delta_2<\alpha<n\delta_1-(\phi+\beta+(n-1)/s)$ gives explicit upper and lower thresholds for the Herz exponent $\alpha$ that can be tested numerically in constant-exponent limits.

Reading between the lines

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

  • The same dyadic-annulus argument would plausibly give the analogous bounds on inhomogeneous variable-exponent Herz spaces, where the norm runs only over $k\ge 0$ and the characteristic-function estimates are replaced by the inhomogeneous version; the paper does not state this extension.
  • One could probe the sharpness of the index window by taking $\Omega$ at the endpoint $s=(p'_1)_+$ and checking whether the nonlocal terms still converge, since the displayed estimates require the strict inequality.
  • Because the proof's main quantitative input is Lemma 4, the commutator is Lipschitz in the symbol $A$ with respect to the $\dot{\Lambda}_\beta$ norm, which raises the question of whether $A\mapsto I^{A,m}_{\Omega,\phi}$ is Fréchet differentiable as a map between these Herz spaces; this is not addressed in the paper.
  • A self-contained proof of the local term $Y$ from Lemma 4 alone would remove the argument's dependence on the cited $L^{p_1(\cdot)}\to L^{p_2(\cdot)}$ theorem and would be a natural follow-up.
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 / 6 minor

Summary. The paper studies the rough generalized commutators I^{A,m}_{Ω,φ} and M^{A,m}_{Ω,φ}, defined through the m-th order Taylor remainder R_m(A;x,y), with homogeneous kernel Ω of degree zero and with Lipschitz symbols D^γA ∈ Λ̇_β for |γ|=m−1. It claims boundedness from the homogeneous variable exponent Herz space K̇^{α,q1}_{p1(·)} to K̇^{α,q2}_{p2(·)} under the relation 1/p2(·)=1/p1(·)−(β+φ)/n and an explicit interval condition on α (Theorem 1), with an analogous statement for Herz–Morrey spaces (Theorem 2). The proof decomposes the annulus sum into nonlocal terms X and Z, estimated by size/geometric decay and the exponent conditions, and a local term Y, estimated through an L^{p1(·)}→L^{p2(·)} commutator bound cited from [12].

Significance. If the result is correct, the paper extends the Lipschitz commutator estimates of Wu–Lan [12] from variable exponent Lebesgue spaces to homogeneous variable exponent Herz and Herz–Morrey spaces, which is a natural and useful extension in harmonic analysis. The main theorems are stated as explicit inequalities with no free parameters, and the nonlocal estimates X and Z are carried out with explicit geometric factors and careful summation arguments. The main reservations are the unproved local term Y and the heavy reliance on the author's earlier results [4,5] and on an external theorem [12]; the central idea is standard and the local gap appears repairable.

major comments (3)
  1. The display for Y is not valid as written. After invoking the L^{p1(·)}→L^{p2(·)} boundedness of I^{A,m}_{Ω,φ}, the proof bounds Y by a sum containing ∥f_zχ_k∥_{L^{p2}}, then by Σ_k 2^{kαq1}∥fχ_k∥_{L^{p2}}^{q1}, and finally identifies this with ∥f∥_{K̇^{α,q1}_{p1}}^{q1}. This identification is false unless p1=p2. Since 1/p2(·)=1/p1(·)−(β+φ)/n, the L^{p2} and L^{p1} norms of a function supported on Δ_k differ by a factor of order 2^{k(β+φ)}, so the printed equality does not follow. To repair the argument, the input norm after applying the commutator bound should be L^{p1}, namely ∥f_z∥_{L^{p1}} (equivalently ∥fχ_z∥_{L^{p1}}), and then one should use 2^{kα}≈2^{zα} for |k−z|≤2. As printed, this is a load-bearing gap because Y contains exactly the annuli where x and y are close.
  2. The local term Y is the only place where the actual commutator boundedness is used, but the proof cites Theorem 5 of [12] without stating its hypotheses. The reader cannot check whether the assumptions of Theorem 1—namely Ω∈L^s(S^{n−1}) with s>(p'_1)_+, the relation 1/p2(·)=1/p1(·)−(β+φ)/n, and D^γA∈Λ̇_β—match those of the cited theorem. The manuscript should either restate the theorem with its precise conditions or give a proof of the needed L^{p1(·)}→L^{p2(·)} estimate in the present setting.
  3. In the estimate of Z12, the displayed line jumps from a q1-th power of a sum over z to a sum of q1-th powers without showing the Hölder/Young step that justifies it. The intermediate factor (Σ_z b_z^{q1'})^{q1/q1'} for the decaying exponential factors is suppressed, so the displayed inequality is not directly verifiable. This is a local but load-bearing omission in the proof of Theorem 2; the step should be written out fully, as is done elsewhere in the paper for the analogous X and Z estimates.
minor comments (6)
  1. After defining f_Q as the average of f over Q, the text says 'where f_Q is the center of Q'; this should be 'average value', not 'center'.
  2. The sentence 'define p1(·) and p2(·) by 1/p2(·)=1/p1(·)−(β+φ)/n' is ambiguous because p1 was already assumed to be given. It should say that p2 is defined by this relation. The exponent p(·) also appears in the assumptions but is not used in the statement; this should be clarified or removed.
  3. In the display for ∥f_z∥_{L^{p1(·)}}, the last expression appears to have the exponent q1 on the Herz–Morrey norm by mistake; the inequality should read ≲2^{z(λ−α)}∥f∥_{M K̇^{α,q1}_{p1(·)}}, not with the norm raised to q1.
  4. The abstract is entirely generic and does not state the operators, spaces, or the main theorem; a concise statement of the actual result would be helpful.
  5. There are several typographical issues, e.g., 'do depentent on parameters involved', 'Nekavinda' for 'Nekvinda', and inconsistent spacing. A careful proofreading pass is recommended.
  6. Reference [5] is to the author's own submitted/accepted work with only an arXiv identifier; if possible, the published version or volume information should be supplied.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the Herz-space boundedness is derived from standard endpoint estimates, with auxiliary self-citations that are not load-bearing.

full rationale

The central claims are boundedness inequalities for the generalized commutators on homogeneous variable exponent Herz and Herz-Morrey spaces. The proof decomposes f into dyadic annuli and bounds the three resulting terms X, Y, Z. The X and Z terms use standard tools: the local Lipschitz remainder estimate Lemma 4 (proved from Cohen-Gosselin and Paluszynski), generalized Hölder inequalities, characteristic-function estimates, and Riesz potential bounds. The Riesz potential bound is cited to the author's own [5], but this is a standard variable-exponent Riesz potential result and is used only as an auxiliary estimate, not as the target commutator theorem. Similarly, Lemma 3.2 of [4] is a pointwise domination lemma used to pass from the integral-type commutator to the maximal commutator; this is not a circular reduction. The Y term invokes Theorem 5 of [12], the L^{p1(·)}→L^{p2(·)} boundedness of the same operator with Lipschitz symbol. That result is external to the present paper, and using a Lebesgue-space endpoint to prove a Herz-space bound is a legitimate strengthening rather than a self-referential derivation. The paper does contain a nontrivial correctness issue in the displayed Y estimate: after applying Theorem 5 of [12], it writes ‖f_zχ_k‖_{L^{p2(·)}} and then identifies Σ_k 2^{kαq1}‖fχ_k‖_{L^{p2(·)}}^{q1} with ‖f‖_{Ẋ^{α,q1}_{p1(·)}}^{q1}. This equality is false when p1 ≠ p2, and the correct line should use the L^{p1(·)} norm; the proof also omits details for Z and does not restate the hypotheses of [12, Theorem 5]. These are correctness/self-containedness gaps, not circularity, because they do not make the conclusion equivalent to an input by construction. No parameter is fitted, no prediction is defined in terms of the target result, and no uniqueness theorem or ansatz is imported from the author's prior work. Therefore the circularity score is 0.

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

The paper introduces no fitted constants and no new physical or mathematical entities. The central claim rests on standard functional-analysis assumptions: log-Hölder continuity of the variable exponents, an integrable rough kernel with zero mean, Lipschitz regularity of the symbol derivatives, and imported boundedness theorems for Riesz potentials and for the generalized commutator on Lebesgue spaces. The main imported theorem [12] is not restated, which is the largest provenance gap.

assumptions (6)
  • domain assumption p(·), p1(·), p2(·) satisfy the log-Hölder conditions (1.1) and (1.2), which imply the Hardy-Littlewood maximal operator is bounded and the estimates (1.5) and (1.6) hold.
    Invoked throughout the proof to control ratios of characteristic-function norms on nested balls; if p(·) lacks these conditions the annulus estimates and Riesz potential step fail.
  • domain assumption The kernel Ω is homogeneous of degree zero, has zero mean on S^{n-1}, and lies in L^s(S^{n-1}) with s > (p'_1)_+.
    Needed for Lemma 5 rough-kernel estimates and for applying inequality (1.4) to split Ω and χ_z.
  • domain assumption The symbol A has D^γA in Λ̇_β for |γ| = m-1 and m-th order derivatives in local L^q with q > n, so Lemma 4 bounds the Taylor remainder by |x-y|^{m-1+β}.
    This is the Lipschitz-structure assumption that makes the commutator estimates possible; it is stated in the theorem and used in Lemma 4.
  • standard math The Riesz potential I_{φ+β} is bounded from L^{p1(·)} to L^{p2(·)} for 1/p2 = 1/p1 - (β+φ)/n.
    Used in estimates (3.6)-(3.8) and (3.11)-(3.12); the paper cites this to [1] and to the author's own preprint [5].
  • standard math The generalized commutator I^{A,m}_{Ω,φ} is bounded from L^{p1(·)} to L^{p2(·)} for Lipschitz symbols, as stated in Theorem 5 of [12].
    This imported theorem carries the local annulus term Y; the paper does not restate its hypotheses, so this is a load-bearing external result.
  • standard math The domination relation eT^A_{|Ω|,φ}(|f|) ≥ M^A_{Ω,φ}f from Lemma 3.2 of [4] is used to pass from integral commutator estimates to maximal commutator estimates.
    This is a comparison between the integral operator with absolute values and the maximal commutator; it is cited to the same author's earlier paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The boundedness of rough generalized commutators with Lipschitz functions on homogeneous variable exponent Herz type spaces." pith.science (2026). https://pith.science/paper/QSSUL6XL

@misc{pith2026250612164,
  author       = {Pith},
  title        = {Pith review of: The boundedness of rough generalized commutators with Lipschitz functions on homogeneous variable exponent Herz type spaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QSSUL6XL}},
  note         = {Machine review of arXiv:2506.12164}
}
read the original abstract

With the development of science, many nonlinear problems have emerged. At this time, the classical function space has certain restrictions. For example, it has lost its effectiveness for nonlinear problems under nonstandard growth conditions. In the process of studying such nonlinear problems, scholars are paying more and more attention to the transition from classical function space to variable exponent function space. Also, there is a big difference between variable exponent space and classical function space, mainly because variable exponent function space has lost translation invariance. This difference leads to many properties that hold in classical space no longer hold in variable exponent space. It is important to emphasize that variable exponent function spaces are a fundamental building block in harmonic analysis. In recent years, there has been a growing interest in the study of function spaces equipped with variable exponents, leading to the development of a new framework known as variable exponent analysis. These spaces provide a powerful tool for analyzing functions with variable growth or decay rates and have found applications in various areas of mathematics, including partial differential equations, harmonic analysis and image processing. One can better understand the heterogeneity and complexity inherent in many real world phenomena by taking into consideration the theory of variable exponent function spaces. Thus, by using certain properties of Lipschitz functions and variable exponents, in this article, we establish the boundedness of a class of rough generalized commutators with Lipschitz functions on homogeneous variable exponent Herz and Herz-Morrey spaces.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

12 extracted references · 12 canonical work pages

  1. [12]

    H. L. Wu and J. C. Lan. Lipschitz estimates for fractional multilinear singular integral on variable exponent Lebesgue spaces. Abstr. Appl. Anal. 2013, Art. ID 632384, 6 pp. Department of Mathematics, Kırklareli University, Kırklareli 39100, T ¨urkiye Email address:feritgurbuz@klu.edu.tr

    work page 2013

  2. [1]

    Capone, D

    C. Capone, D. Cruz-Uribe, A. Fiorenza. The fractional maximal operator and fractional integrals on variableL p spaces. Rev. Mat. Iberoam. 23(3) (2007), 743-770

    work page 2007

  3. [2]

    Cohen, J

    J. Cohen, J. Gosselin. ABM Oestimate for multilinear singular integrals.Illinois J. Math. 30(1986), 445-464

    work page 1986

  4. [3]

    Diening, P

    L. Diening, P. Harjulehto, P. H¨ ast¨ o and M. R¨ uˇ ziˇ cka, Lebesgue and Sobolev Space with variable exponents, Springer Lecture Notes, Vol. 2017, Berlin: Springer-Verlag, 2011

    work page 2017

  5. [4]

    G¨ urb¨ uz

    F. G¨ urb¨ uz. Some estimates for generalized commutators of rough fractional maximal and integral operators on generalized weighted Morrey spaces. Canad. Math. Bull. 60(1) (2017), 131-145

    work page 2017

  6. [5]

    Some Inequalities for Riesz Potential on Homogeneous Variable Exponent Herz-Morrey-Hardy Spaces

    F. G¨ urb¨ uz. Some inequalities for Riesz potential on homogeneous variable exponent Herz-Morrey-Hardy spaces. (submitted.) arXiv:2411.13880v1 [math.F A] 21 Nov 2024 DOI: 10.48550/arXiv.2411.13880 (accepted for publication in the Springer Volume)

    work page Pith review arXiv doi:10.48550/arxiv.2411.13880 2024

  7. [6]

    M. Izuki. Fractional integrals on Herz-Morrey spaces with variable exponent. Hiroshima Math. J. 40(3) (2010), 343-355

    work page 2010

  8. [7]

    Kov´ aˇ cik, J

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

    work page 1991

Show all 12 references
  1. [8]

    Nakai and Y

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

    2012

  2. [9]

    Nekavinda, Hardy -littlewood maximal operator onL p(x) (R)

    A. Nekavinda, Hardy -littlewood maximal operator onL p(x) (R). Math. Inequal. Appl. 7(2) (2004), 255-265

    2004

  3. [10]

    Paluszy´ nski

    M. Paluszy´ nski. Characterization of the Besov spaces via the commutator operator of Coif- man, Rochberg and Weiss. Indiana Univ. Math. J. 44(1) (1995), 1-17

    1995

  4. [11]

    H. X. Wu, Boundedness of multilinear fractional integral operators with rough kernel on weighted Herz space. Adv. Math. (China) 32(4) (2003), 489-497 (Chinese)

    2003

Pith tools

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