Pith. sign in

REVIEW 3 major objections 7 minor 17 references

Sobolev type spaces associated with the Poly-axially operator

T0 review · 3 major / 7 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read Sobolev-type spaces for the poly-axially operator are complete and compactly embedded.

desk verdict A routine n-dimensional extension of Bessel-Sobolev spaces whose structural results are sound, but the Reillich/Poincaré chain rests on an unproved uniform estimate that fails in the classical limit for s<0. read the letter →

arxiv 1908.02799 v1 pith:LD2GLQ3F submitted 2019-08-07 math.FA

classification math.FA MSC 42A3844A1546E3546F12
keywords Sobolev-typespacesPoly-axiallyoperatorFourier-BesseltransformBesseltranslationReillichtheoremPoincaréinequalityeventempereddistributions
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 constructs Sobolev-type spaces associated with the poly-axially differential operator on the positive orthant. These spaces are defined through the Fourier-Bessel transform, which diagonalizes the operator, and are shown to form a complete nested scale. For the Hilbert case, the paper proves continuous and compact embeddings, a Poincaré inequality, and a regularity gain for a resolvent equation. A sympathetic reader would care because this provides a functional-analytic framework for studying PDEs involving the poly-axially operator.

What carries the argument

The central object is the Fourier-Bessel transform $F_\alpha$, whose kernel is the product of normalized Bessel functions $j_{\alpha_i}(\lambda_i x_i)$, the joint eigenfunctions of $\Delta_\alpha$ with eigenvalue $-\|\xi\|^2$. The Sobolev norm is defined entirely in the transform domain: $\|T\|_{E^{s,p}_\alpha}=c_\alpha\|(1+\|\xi\|^2)^s F_\alpha(T)\|_{L^p_\alpha}$. This turns differential regularity into weighted integrability of the transformed distribution. The paper also uses the generalized Bessel translation and convolution, with the property $F_\alpha(f\ast_\alpha g)=F_\alpha(f)F_\alpha(g)$, to control multiplication by Schwartz functions in the transform domain.

What would settle it

Evaluate the asserted uniform estimate in one dimension with $\alpha=-1/2$ (Fourier cosine case) and $s=-1$: if $\sup_{\xi}\|(1+x^2)^2 T_\xi F_0(\varphi)\|_{H^{-1}_0}$ is infinite, the dominated-convergence step in Proposition 21 fails, and the Reillich compactness result does not follow from the given proof.

Watch

Extended reading notes

Core claim

The central claim is that the spaces $E^{s,p}_\alpha(\mathbb{R}^n_+)$, defined by requiring $(1+\|\xi\|^2)^s F_\alpha(T)$ to belong to $L^p_\alpha$, form a complete and nested family for all real $s$ and $p\ge 1$. When $p=2$, the spaces $H^s_\alpha$ are Hilbert spaces, and for $s> (|\alpha|+n)/2 + m$ they embed into even $C^m$ functions. For any compact set $K$, the embedding $H^{s}_{\alpha,K}\hookrightarrow H^{t}_{\alpha,K}$ is compact for $t<s$, and this compactness yields a Poincaré inequality of the form $\|T\|_{H^t_\alpha}\le C\,\varepsilon^{2(s-t)}\|T\|_{H^s_\alpha}$ for distributions supported on sets of size $\varepsilon$. The paper also establishes a one-order regularity gain for the equation $(k^2-\Delta_\alpha)u=f$ when $f\in H^s_\alpha$.

Load-bearing premise

The compactness result rests on a norm estimate that is stated without proof; if that estimate fails for some cutoffs or some orders, the compact embedding and the Poincaré inequality built on it are not established.

Editorial extensions

If this is right

  • The spaces $E^{s,p}_\alpha$ are Banach for every real $s$ and $p\ge 1$, and $E^{s,2}_\alpha$ is a Hilbert space, so the scale can be used as a setting for variational and spectral arguments.
  • For $t\le s$ the continuous embedding $E^{t,p}_\alpha\subset E^{s,p}_\alpha$ holds, and each power $(-\Delta_\alpha)^k$ is a bounded operator from $E^{s,p}_\alpha$ to $E^{s-k,p}_\alpha$.
  • If $s > (|\alpha|+n)/2 + m$, every element of $H^s_\alpha$ is an even $C^m$ function, giving the analogue of the classical Sobolev embedding for this operator.
  • For any compact $K$ and $t<s$ the embedding $H^s_{\alpha,K}\hookrightarrow H^t_{\alpha,K}$ is compact; the Poincaré estimate $\|T\|_{H^t_\alpha}\le C\varepsilon^{2(s-t)}\|T\|_{H^s_\alpha}$ follows for distributions supported in sets of size $\varepsilon$.
  • For the equation $(k^2-\Delta_\alpha)u=f$ with $f\in H^s_\alpha$, the unique tempered solution $u$ belongs to $H^{s+1}_\alpha$.

Reading between the lines

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

  • An extension not pursued in the paper is to check that the scale reduces to the classical $\mathbb{R}^n$ Sobolev scale when $\alpha_i=-1/2$ for all $i$; an explicit identification of the norms would make that correspondence precise.
  • If the missing uniform estimate behind the compactness proof can be repaired, standard Hilbert-space arguments would give a spectral theory for $\Delta_\alpha$ on bounded domains: compact resolvent and discrete eigenvalues.
  • The $\varepsilon^{2(s-t)}$ Poincaré exponent suggests a local-to-global scaling law for this family of spaces; one testable extension is to compute the optimal constant in terms of $\alpha$ and $n$ and compare it with an eigenfunction scaling argument for $\Delta_\alpha$ on a ball.
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 / 7 minor

Summary. The paper defines, for α_i > -1/2, s ∈ R and p ∈ [1, +∞], Sobolev-type spaces E^{s,p}_α(R^n_+) by the condition (1 + ||ξ||²)^s F_α(T) ∈ L^p_α, where F_α is the n-dimensional Fourier-Bessel transform associated with the poly-axially operator Δ_α. It claims Banach and Hilbert space structure, continuous embeddings, Schwartz multiplier action, a duality theorem H^{-s}_α ≅ (H^s_α)^*, a Reillich compactness theorem for supported distributions, and a Poincaré inequality with scaling factor ε^{2(s-t)}. The main technical device is the isometric isomorphism Ψ(T) = c_α (1 + ||ξ||²)^s F_α(T) from E^{s,p}_α to L^p_α, which transfers completeness and many structural properties to the Fourier-Bessel side.

Significance. If the technical gaps below are repaired, the paper provides a coherent extension of the classical Sobolev-space formalism to the Bessel/poly-axial setting, with natural applications to the regularity of solutions of P(-Δ_α)T = u and (k² - Δ_α)u = f. The isometric-isomorphism formulation is clean and makes the Banach/Hilbert structure immediate; the Sobolev embedding, Reillich theorem, and Poincaré inequality are the nontrivial content and are plausible as stated. The paper does not provide machine-checked proofs, but the overall strategy is standard and the main results are likely salvageable with local fixes. The significance is therefore real, but contingent on the proof repairs described below.

major comments (3)
  1. [§4, Proposition 21, between (24) and (25)] The compactness proof relies on the assertion ||(1 + ||x||²)^{-2s} T_ξ F_α(φ)||²_{H^s_α} ≤ ||φ||²_{L²_α} uniformly in ξ. Expanding the H^s norm gives c_α² ∫ (1 + ||η||²)^{-2s} |T_ξ F_α(φ)(η)|² dµ_α(η). For s ≥ 0 this follows from the L²-contraction of the generalized translation, but for s < 0 the weight grows and the bound is false in the classical limiting case α_i = -1/2, s = -1, with φ a Gaussian: the translated function has mass shifted to frequencies of order ||ξ|| and the weighted integral grows polynomially in ||ξ||. The dominated-convergence step (20) only needs a bound on the compact frequency ball ||ξ|| ≤ R; a local bound sup_{||ξ|| ≤ R} ||(1 + ||x||²)^{-2s} T_ξ F_α(φ)||_{H^s_α} < ∞ would be enough and is plausible from the Schwartz regularity of T_ξ F_α(φ). However, neither this local bound nor the continuity of ξ ↦ T_ξ F_α(φ) in H^s_α is stated or proved. As written, Proposition 21 is not proved for s < 0, and Theorem 22, Corollary 23, and Theorem 24 inherit this gap.
  2. [§3, Proposition 17] The proof aims to show ||ξ||^{2k} F_α(f) ∈ L¹_α for k ≤ m, which is what Lemma 18 requires. The displayed Hölder inequality is applied to |F_α((-Δ_α)^k f)(ξ)|² and yields ∫ |F_α((-Δ_α)^k f)(ξ)|² dµ_α(ξ) < ∞, i.e. membership in L²_α. An L² bound does not imply L¹ integrability on the infinite measure space (R^n_+, dµ_α). The proof can be repaired by applying Hölder to |g| = (1 + ||ξ||²)^{-(s-k)} (1 + ||ξ||²)^{s-k} |g| with g = F_α((-Δ_α)^k f); both resulting factors are finite under the stated condition on s and the fact that (-Δ_α)^k f ∈ H^{s-k}_α. As it stands, the conclusion H^s_α ⊂ C^m_e(R^n) is not established by the given argument.
  3. [§4, Theorem 24, proof after (35)-(36)] The proof silently applies Corollary 23 to T ∈ H^s_{α,ε} with constants C3, C4 independent of ε, but the constants in Corollary 23 depend on the compact set K. The right-hand inequality ∫||ξ||^{4t}|F_α(T)|² ≤ C||T||²_{H^t_α} is uniform by a trivial pointwise bound, but the left-hand inequality requires a scaling argument to show uniformity in ε; such an argument is not supplied. In addition, the displayed scaling formula F_α(T_ε)(ξ) = ε^{-(2|α|+n)} F_α(T)(ξ/ε) is incorrect: the exponent should be -(2|α|+2n) because dµ_α(ε y) = ε^{2|α|+2n} dµ_α(y). Although the erroneous power cancels when forming the ratio that leads to (34), the formula itself must be corrected. Without these justifications, the ε-power in the Poincaré inequality is not rigorously derived as written.
minor comments (7)
  1. [§3, Example 8] The displayed bound |j_{α_i}(x_i y_i)| ≤ C (x_i y_i)^{α_i+1/2} has the wrong sign; the standard decay of the normalized Bessel function is |j_γ(t)| ≤ C (1+t)^{-γ-1/2}. The integrand that follows uses the correct (negative) exponent, so the proof of the example is internally inconsistent and must be corrected.
  2. [§2.2, Theorem 4 and definition of c_α] Taken literally, the displayed formula c_α = 2^{-|α|} ∏ Γ(α_i+1) gives c_α = √(2π) for α_i = -1/2, whereas for the cosine transform on R_+ the Plancherel constant is √(2/π) = 2^{-α}/Γ(α+1). The definition should read c_α = 2^{-|α|} / ∏ Γ(α_i+1), and all formulas using this constant should be checked.
  3. [Abstract and Definition 7] The abstract promises p ∈ [1, +∞], but Definition 7 and Example 8 restrict to p ∈ [1, +∞); please harmonize the range of p.
  4. [Proposition 13] The inner product is written (S,T)_{E^{s,p}_α}, but the proposition is about the case p = 2; it should read E^{s,2}_α or H^s_α.
  5. [§3, Theorem 14 proof] In the convolution inequality, the first factor should be |(1 + ||x||²)^s F_α(T)(x)| with a modulus inside the integral; as written the inequality can fail for complex-valued T. The argument goes through after inserting the modulus.
  6. [Corollary 23] The final chain '1C + 1 ||T||' is garbled; it should read (1/C)||T|| ≤ c_α(∫||ξ||^{4s}|F_α(T)|²)^{1/2} ≤ (1+C)||T|| (or the intended equivalent form).
  7. [Theorem 24] The statement says '∀ε ∈ R_+', but the proof only treats ε ∈ (0,1). For ε ≥ 1 the claim follows from the continuous embedding H^s_α ⊂ H^t_α with a constant independent of ε; this should be stated explicitly.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the paper's derivation chain is self-contained and built on standard Fourier-Bessel harmonic analysis, without fitted parameters or load-bearing self-citations.

full rationale

No circular step could be identified. The spaces E^{s,p}_alpha(R^n_+) are defined by a Fourier-Bessel multiplier condition, and the main theorems (completeness, continuous embedding, Sobolev embedding, Reillich compactness, Poincaré inequality) are derived from standard ingredients: the inversion formula, Plancherel theorem, convolution estimates, density of S_e(R^n), Hahn-Banach and Riesz representation, and classical functional analysis. The definition is a starting point, not a conclusion, and the proofs do not assume the target theorem in its own proof. In particular, Proposition 11 merely identifies the norm as an isometric isomorphism by definition of the norm; this is a construction rather than a circular prediction. Proposition 17 uses Hölder's inequality and the convergence of the weight integral, which is an independent computation. Theorem 22 reduces compactness to Proposition 21, and Proposition 21 uses weak compactness plus pointwise convergence and a dominated-convergence argument; the paper does not call any fitted parameter a prediction, nor does it invoke a uniqueness theorem from prior work. There are no self-citations by the authors, and all references are to standard textbooks and earlier independent papers. A possible gap in Proposition 21 is the unproved uniform bound leading to inequality (25); however, that is a correctness risk, not circularity, because the bound is asserted as a new estimate rather than assumed as an input or as the conclusion being proven. Thus the paper is self-contained against its stated assumptions and contains no significant circularity.

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

The paper introduces no free parameters: the exponents α are input data, and all constants (c_α etc.) are normalizations fixed by the Bessel theory. No new entities are postulated. The central claims rest on the cited Fourier-Bessel harmonic analysis (inversion, Plancherel, convolution, Bessel asymptotics) and on standard functional analysis facts. The proofs are explicitly presented as adaptations of univariate results, so the burden shifts to the rigor of those adaptations.

assumptions (5)
  • domain assumption Fourier-Bessel transform properties: inversion f = c_α² F_α(F_α f), Plancherel ||f||_{L²_α} = c_α ||F_α f||_{L²_α}, and F_α is a topological isomorphism on S_e (Theorems 3 and 4).
    Stated as established facts from Trimèche [13] and Watson [14]; the definition of E^{s,p}_α and the isometric isomorphism in Proposition 11 depend on them.
  • domain assumption Generalized Bessel translation T^α_y is a contraction on L^p_α: ||T_y f||_{L^p_α} ≤ ||f||_{L^p_α} for all p≥1 (formula (3)), and the convolution satisfies Young-type inequality (7).
    Used in Proposition 14 and Proposition 6; the paper states the proofs follow from univariate cases.
  • domain assumption Normalized Bessel function j_γ has |j_γ(t)| ≤ 1 for t≥0 and |j_γ(t)| ≤ C t^{-(γ+1/2)} as t→∞.
    Needed in Example 8 to compute the E^{s,p}_α norm of Dirac distributions; the paper misprints the exponent sign.
  • standard math The inequality (1+||ξ||²)^s ≤ 2^{|s|}(1+||x||²)^s(1+||x-ξ||²)^{|s|}, cited from Zuily [17].
    Used in Proposition 14 to control the multiplication operator.
  • standard math Standard functional analysis: Hahn-Banach, Riesz representation, Alaoglu theorem, dominated convergence, and Urysohn lemma.
    Used in Theorems 19, 21, 22 and Corollary 23.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Sobolev type spaces associated with the Poly-axially operator." pith.science (2026). https://pith.science/paper/LD2GLQ3F

@misc{pith2026190802799,
  author       = {Pith},
  title        = {Pith review of: Sobolev type spaces associated with the Poly-axially operator},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/LD2GLQ3F}},
  note         = {Machine review of arXiv:1908.02799}
}
abstract

In this paper n-dimensional Sobolev type spaces $ E_{\alpha}^{s,p}(\R^n_+)$ $(\alpha\in \R^n,\;\;\alpha_1> -\frac{1}{2},...,\alpha_n>-\frac{1}{2}, s\in \R, p\in [1,+\infty])$ are defined on $\R^n_+$ by using Fourier-Bessel transform. Some properties including completeness and embedding results for these spaces are obtained, Poincar\'{e}'s inequality and Reillich theorem are proved.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 17 canonical work pages

  1. [1]

    Adams R.: Sobolev spaces, Academic Press, New York, San Franc isco, London, 1975

  2. [2]

    New Series, 18, 3-4 (2004)

    Assal M., Nessibi M.M.: Bessel-Sobolev type spaces, J.of Mathema tica Balkanica. New Series, 18, 3-4 (2004)

  3. [3]

    Abilov V.A, Kerimov M.K: Estimates for the Fourier-Bessel transf orms of multivariate functions. Zh. Vychist. Mat. Mat. Fiz, 52(6), 980-989 (2012)

  4. [4]

    Ben Salem N., Dachraoui A.: Sobolev type spaces associated with J acobi differential operators, Inte- gral transform and Special functions, 9(3), 163-184 (2000)

  5. [5]

    Ben Salem N., Ben Nahia Z.; Spherical harmonics and applications ass ociated with the We- instein operator, Proceedings de la Conf´ erence Internationale de Th´ eorie de Potentiel, I. C. P. T. 94, tenue ` a Kouty (en R´ epublique Tch` eque) du 13-20 Aoˆ ut 1994

  6. [6]

    Paris, 3 eme tirage, 1992

    Bresis H.: Analyse fonctionnelle (Th´ eorie et application ), Masson . Paris, 3 eme tirage, 1992

  7. [7]

    A Wiley-interscience pub- lication, New York,Chichester, Brisbane,Toronto, Singapore, 1984

    Folland G.B.: Real analysis ( Modern techniques and their application s). A Wiley-interscience pub- lication, New York,Chichester, Brisbane,Toronto, Singapore, 1984

  8. [8]

    and El Garna A.: Properties of the linear multiplier operat or for the Weinstein transform and applications, Electronic Journal of Differential Equations, 124, 1-18 (2017)

    Gasmi A. and El Garna A.: Properties of the linear multiplier operat or for the Weinstein transform and applications, Electronic Journal of Differential Equations, 124, 1-18 (2017)

Show all 17 references
  1. [9]

    Abstract and Applied Analysis, Article ID 248725, 13 pa ges (2014)

    Jelassi M., Mejjaoli H.: Sobolev-Type Spaces on the Dual of the C h´ ebli-Trim` eche Hypergroup and Applications. Abstract and Applied Analysis, Article ID 248725, 13 pa ges (2014)

  2. [10]

    Espaces de Sobolev

    Lacroix-Sentier M.T.: Distributions. Espaces de Sobolev. Applica tion, Ellipses, Paris, 1998

  3. [11]

    Pathak R.S., Pandey P.K.: Sobolev type spaces associated with Be ssel operators, Journal of Math- ematical Analysis and Applications, 215, 95-111 (1997)

  4. [12]

    Schwartz L.: Th´ eorie des distributions, second ed., Hermann, Paris, 1966

  5. [13]

    Trim` eche K.: Generalized harmonic analysis and wavalet packets , New York, 2001. 15

  6. [14]

    Watson G.N.: A treatise of the theory of Bessel function, seco nd edition, Cambridge Univesty Press, London, New York, 1966

  7. [15]

    and ¨Ozt¨ urk S.: The solutions of the n-dimensional Bessel diamond operator and the Fourier Bessel transform of their convolution, Proc

    Yildirim H., Sarikaya M.Z. and ¨Ozt¨ urk S.: The solutions of the n-dimensional Bessel diamond operator and the Fourier Bessel transform of their convolution, Proc. Indian Acad. Sci. (Math. Sci.), 114 (4), 375-387 (2004)

  8. [16]

    Constr Approx, 33, 93-123 (2011)

    Zhongkai LI, Futao S: A generalized Radon transform on the p lane. Constr Approx, 33, 93-123 (2011)

  9. [17]

    He rmann.´ editeurs des sciences et des arts, p.245, 1986

    Zuily C.: Distributions et ´ equations aux d´ eriv´ ees partielles. He rmann.´ editeurs des sciences et des arts, p.245, 1986. 16

Pith tools

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