{"id":"7b1ecc31-0077-4191-bb27-eb792aedb54f","arxiv_id":"1908.02799","paper_version":1,"verdict":"CONDITIONAL","confidence":"HIGH","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Sobolev-type spaces E^{s,p}_α are introduced for the poly-axially operator using the Fourier-Bessel transform, with completeness, embeddings, Reillich compactness, and Poincaré inequality, all as adaptations of known univariate theories.","lead":"The paper defines Sobolev-type spaces built on the Fourier-Bessel transform for the n-dimensional poly-axially operator and proves standard toolkit results: completeness, embeddings, a Reillich compactness theorem, and a Poincaré inequality. The construction is a routine extension of known Bessel-Sobolev spaces, and the proofs contain several typos and gaps that need correction.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The compactness proof of Proposition 21 hinges on a uniform estimate that is unproved and fails in the classical limit for s<0; Reillich and Poincaré inherit this gap.","rationale":"The reader's weakest_assumption correctly identifies the unproved bound in Proposition 21; I agree. This is load-bearing because every subsequent compactness-based result (Reillich, Corollary 23, Poincaré) depends on it. The rest of the manuscript's framework is standard and likely true; the issues in Proposition 17 and Theorem 14 are fixable proof slips rather than threats to the central construction. The compactness proof, by contrast, contains a missing estimate that is not a simple typo: for negative s the weight in the relevant H^s norm grows, and the claimed uniform control is exactly what would make the dominated-convergence step valid. A local version on ‖ξ‖≤R would repair the proof, but that replacement is absent. Since the central theorem is probably true but the manuscript's route to it is incomplete, the appropriate verdict remains CONDITIONAL; my read does not change the reader's verdict.","tokens_in":13243,"tokens_out":19530,"duration_ms":202775,"concrete_test":"Compute the left-hand side of the asserted uniform estimate in the admissible case n=1, α=0, φ(x)=e^{-x²}, s=-1. With μ_0(dx)=x dx and T_ξf(x)=1/2∫_0^π f(√(x²+ξ²-2xξ cosθ))dθ, evaluate I(ξ)=c_0²∫_0^{∞}(1+x²)^{2}|T_ξF_0(φ)(x)|² x dx at ξ=1,10,100. If I(ξ) grows, inequality (25) is false as stated and the proof of Proposition 21 needs the local-bound repair; if I(ξ) stays bounded, repeat the computation in the α→-1/2 limit to check whether the classical counterexample contaminates the admissible range.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Proposition 21 is the hinge: its compactness conclusion feeds directly into Reillich (Theorem 22) and, through Corollary 23, into Poincaré (Theorem 24). The proof needs a domination of |F_α(φv_k)(ξ)|² on the truncated frequency ball ‖ξ‖≤R. Instead of proving a local bound, the manuscript asserts a global one: between (24) and (25), (1+‖x‖²)^{-2s}T_ξF_α(φ) is claimed to have H^s-norm bounded by ‖φ‖_{L²_α}, uniformly in ξ. Unpacking the H^s norm gives c_α²∫(1+‖x‖²)^{-2s}|T_ξF_α(φ)(x)|²dμ_α(x). For s<0 this is a growing-weight L² norm of a translated Schwartz function; no proof is supplied that it is independent of ξ. In the scalar limiting case α_i=-1/2 (ordinary Fourier analysis), the analogous expression grows polynomially in ξ: for s=-1 and a Gaussian φ, derivatives of e^{-iξη}φ(η) produce positive powers of ξ. Thus the asserted inequality is at best unproved and is false in that classical limit. A locally uniform bound on ‖ξ‖≤R would suffice for dominated convergence, but the paper neither states nor proves continuity of ξ↦T_ξF_α(φ) in H^s_α. As written, the compactness theorem is not established by the given argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":13558,"tokens_out":58419,"duration_ms":542533,"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":[{"comment":"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.","section":"§4, Proposition 21, between (24) and (25)"},{"comment":"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.","section":"§3, Proposition 17"},{"comment":"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.","section":"§4, Theorem 24, proof after (35)-(36)"}],"minor_comments":[{"comment":"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.","section":"§3, Example 8"},{"comment":"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.","section":"§2.2, Theorem 4 and definition of c_α"},{"comment":"The abstract promises p ∈ [1, +∞], but Definition 7 and Example 8 restrict to p ∈ [1, +∞); please harmonize the range of p.","section":"Abstract and Definition 7"},{"comment":"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_α.","section":"Proposition 13"},{"comment":"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.","section":"§3, Theorem 14 proof"},{"comment":"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).","section":"Corollary 23"},{"comment":"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.","section":"Theorem 24"}],"recommendation":"major_revision","confidential_remarks":"The paper is a rather straightforward adaptation of standard Sobolev-space arguments to the Fourier-Bessel setting; the novelty is moderate. The referee's main concern is not the significance but the reliability of the proofs: the compactness proof and the Sobolev-embedding proof currently have fixable but real gaps, and there are several local errors (Example 8, the c_α constant, the scaling formula). If the authors repair these points, the paper is likely acceptable for a specialist journal."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper is a workmanlike extension of the Pathak–Pandey Bessel-Sobolev spaces to the n-dimensional poly-axial operator. The core definition via the isometric isomorphism with L^p_α is sensible, and the completeness, Hilbert structure, continuous embeddings, and negative-space characterization follow correctly from known Fourier-Bessel harmonic analysis. The authors are honest that the proofs are adaptations. The genuinely new items are the Reillich and Poincaré theorems, and that is where the trouble is.\n\nThe stress-test note is right about Proposition 21. The compactness proof needs a uniform bound on |F_α(φv_k)(ξ)|² for ||ξ||≤R. Instead of proving a local bound, the paper asserts a global one through ||(1+||x||²)^{-2s}T_ξF_α(φ)||_{H^s} ≤ ||φ||_{L²_α}. For s<0 the multiplier (1+||x||²)^{-2s} grows, and in the ordinary Fourier limit α_i=-1/2, s=-1, the H^s norm of that object grows like a power of ξ (the Fourier side contains (1-Δ)² applied to cos(ξη)ĝ(η)). So the global domination is false, and no local continuity argument is supplied to replace it. Since Reillich, Corollary 23, and Poincaré all build on Proposition 21, those theorems are not established as written. This is a load-bearing gap, not a typo.\n\nThere are smaller execution problems. Example 8 states the Bessel decay bound with the wrong sign—growth instead of decay—though the final integrability condition is correct. Proposition 17's Hölder line proves L² integrability when the argument needs L¹; the intended fix is straightforward. The density remark after Corollary 12 says S_e is dense in E^{s,∞}, which is false: Schwartz functions are not dense in L∞. Theorem 14's proof also uses a crude integrability estimate that only works for s > -n/2, though Schwartz decay rescues the result.\n\nWhat is solid: the definition, the isometric isomorphism, completeness, and the routine embedding results are done correctly. The paper does not hide behind self-citations or fitted parameters.\n\nThis paper is for readers who want the standard functional-analytic toolkit for Bessel-type degeneracies on R^n_+. It deserves a serious referee only if the compactness estimate can be repaired. I would not desk-reject it, but as it stands the central new theorems are conditional. My recommendation: send it to a referee with instructions to focus on Proposition 21, and expect major revision.","headline":"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.","tokens_in":14086,"tokens_out":17066,"would_cite":false,"duration_ms":180022,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["42A38","44A15","46E35","46F12"],"pacs":[],"model":"deepseek-v4-flash","headline":"Sobolev-type spaces for the poly-axially operator are complete and compactly embedded.","keywords":["Sobolev-type spaces","Poly-axially operator","Fourier-Bessel transform","Bessel translation operator","Reillich theorem","Poincaré inequality","even tempered distributions"],"falsifier":"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.","tokens_in":2140,"feed_emoji":"📐","tokens_out":2878,"duration_ms":162465,"temperature":0.7,"pith_summary":"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.","feed_headline":"Sobolev spaces from the Fourier-Bessel transform: complete and compact","feed_subtitle":"The p=2 scale is Hilbert, compactly embeds on compact supports, and obeys a Poincaré inequality.","key_machinery":"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.","core_discovery":"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 (|\\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