{"id":"5e141476-ddef-4443-ba56-46b18f767c61","arxiv_id":"2411.09941","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Positive solutions of -Δu + (-Δ)^s u + u = u^p in R^n are C^{2,α}, radially symmetric, and satisfy C1/|x|^{n+2s} ≤ u ≤ C2/|x|^{n+2s}.","lead":"This paper proves that positive solutions of a mixed local/nonlocal Schrödinger equation exist, are smooth, radially symmetric, and decay like a power of distance. It also supplies new Fourier-based proofs of heat and Bessel kernel estimates for the blended operator.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.4 (C^{2,α} regularity) is not self-contained: it invokes unpublished [31] as a black box, and without it the classicality and moving-plane steps of Theorem 1.5 are unsupported.","rationale":"The reader's verdict is CONDITIONAL, and the rationale identifies the dependence on the unpublished preprint [31] as the main outstanding gap. I agree this is the single most load-bearing concern: it affects both the existence of a classical solution and the radial symmetry proof, not just a technical lemma. The reader's 'weakest_assumption' field points to the heat-kernel lower bound, but that estimate is proved in the appendices with substantial detail and is likely correct (or at least fixable); the C^{2,α} regularity result is the one place where the paper explicitly delegates a required ingredient to an external, not publicly available source. The concrete check above would settle whether the cited lemmas and the absorption estimate are valid. If they are, the paper's central claims likely hold; if not, Theorem 1.5 collapses. Thus the verdict should remain CONDITIONAL: not enough to reject, but not yet verifiable as accepted.","tokens_in":55474,"tokens_out":26002,"duration_ms":251657,"concrete_test":"Obtain the companion preprint [31] (or a complete proof from the authors) and verify that Lemma 5.4 and Proposition 4.3 hold verbatim for the mixed operator -Δ+(-Δ)^s. Then fill in the absorption step in (3.25) by explicitly bounding R^2|(-Δ)^s(φ_R u_ε)|'_{0,α;B_R} and showing that for every α∈(0,1) and δ>0 there is C_δ with R^2|(-Δ)^s v_ε|'_{0,α;B_R} ≤ δ|u_ε|'_{2,α;B_{2R}} + C_δ‖u_ε‖_{L∞}, uniformly in ε. If either the cited lemmas or this inequality fail, Theorem 1.4 is unproven and the proof of Theorem 1.5 has a genuine gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.5 requires a classical C^2 positive solution (Theorem 4.1) and uses pointwise second-order identities in the moving-plane proof: Lemma 4.7 computes -Δ(u-u_λ) at a zero of u-u_λ, and the maximum-principle comparisons in Theorem 4.2 use the equation pointwise. Both need u ∈ C^2, which is exactly Theorem 1.4. But Theorem 1.4 is not proved in this manuscript: §3.3 states it 'can be obtained by appropriately modifying [31, Theorem 1.6]' and then imports [31, Lemma 5.4] as Lemma 3.6 and [31, Proposition 4.3] as Proposition 3.7 verbatim. The brief sketch does not establish the key estimate (3.25): the fractional term R^2|(-Δ)^s v_ε|'_{0,α;B_R} is controlled by an absorption argument whose details are omitted, and it is not shown that this term is bounded by δ|u_ε|'_{2,α;B_{2R}} + C_δ‖u_ε‖_{L∞} uniformly in ε. If that control fails, the C^{2,α} bound collapses. Without Theorem 1.4, the weak solution from Theorem 1.1 is only known to be C^{1,α}; the strict positivity, power decay, and radial symmetry conclusions of Theorem 1.5 do not follow. This is an omitted proof / missing reference, as flagged in §3.3, not merely a stylistic choice.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies positive solutions of the mixed local/nonlocal Schrödinger equation -Δu+(-Δ)^s u+u=u^p in R^n. It proves existence of nontrivial nonnegative weak solutions by a mountain-pass/Ekeland argument, establishes C^0,μ, C^1,α, and C^2,α regularity for bounded weak solutions, and then derives the qualitative properties announced in Theorem 1.5: existence of a classical positive radially symmetric solution with two-sided power decay C_1/|x|^{n+2s} ≤ u(x) ≤ C_2/|x|^{n+2s} for |x|≥1, and radial symmetry of all classical positive solutions by the moving-plane method. The appendices provide Fourier-analysis proofs of heat-kernel and Bessel-kernel bounds, including the sharp far-field lower bounds used in the barriers.","tokens_in":55769,"tokens_out":5717,"duration_ms":61062,"significance":"If the results are fully established, the paper gives a complete qualitative picture for this mixed-order problem: positive ground states decay like the Bessel kernel and are radially symmetric in every direction. The self-contained treatment of the heat and Bessel kernels associated with -Δ+(-Δ)^s is a useful contribution in its own right. However, the C^2,α regularity theorem is not proved in this manuscript; it is imported from an unpublished companion preprint, and the sketch provided omits a key absorption estimate. Since the later qualitative results use pointwise second-order information, this gap is load-bearing and must be resolved before the main claims can be considered verified.","major_comments":[{"comment":"Theorem 1.4 is not self-contained. The text states that it 'can be obtained by appropriately modifying [31, Theorem 1.6]', and then imports [31, Lemma 5.4] as Lemma 3.6 and [31, Proposition 4.3] as Proposition 3.7 without proof. Reference [31] is listed as an unpublished 2023 preprint. This is not a stylistic issue: Theorem 1.4 is used to conclude that the weak solution is classical in Theorem 4.1, and the pointwise computations in Lemma 4.7 and the maximum-principle comparisons in Theorem 4.2 require u∈C^2. Without a complete proof of Theorem 1.4, or a reference to a published version of [31] containing the needed results, the central claims of Theorem 1.5 are unsupported.","section":"§3.3, Theorem 1.4"},{"comment":"Even accepting the imported lemmas, the key absorption step leading to (3.25) is not demonstrated. The fractional term R^2|(-Δ)^s v_ε|'_{0,α;B_R} is first bounded by C|u_ε|'_{2,α0;B_{2R}} with α0<α, and then replaced by δ|u_ε|'_{2,α;B_{2R}}+C_δ‖u_ε‖_{L∞}. The interpolation inequality behind this replacement is not stated, and it is not shown that the constants can be chosen uniformly in ε and R. Since (3.25) is the sole input to Proposition 3.7, an omission here breaks the uniform C^2,α bound needed for the Arzelà-Ascoli step.","section":"§3.3, estimate (3.25)"},{"comment":"Lemma 4.4 is stated for the kernel K_a with parameter a>0, but no proof is given; the surrounding text only says it is obtained by using Theorem 3.2 'with a parameter a>0 in place of 1'. Because the operator is not scale invariant, this reduction is not immediate. Lemma 4.5 relies on K_{1/2} and is used to construct the supersolution in the proof of the upper bound in Theorem 4.2. The estimates in Lemma 4.4 should either be proved or reduced explicitly to Theorem 3.2 by a displayed change of variables.","section":"§4.1.2, Lemmas 4.4 and 4.5"}],"minor_comments":[{"comment":"The double integral in the weak formulation contains a typographical parenthesis error: '(u(x)-u(y)(v(x)-v(y))' should read '(u(x)-u(y))(v(x)-v(y))'.","section":"Definition 2.2"},{"comment":"In the estimate preceding (3.25), the definition of α0 is introduced but its role in the interpolation is not explained; a one-sentence clarification that the α0-norm is absorbed by interpolation would improve readability.","section":"§3.3, notation"},{"comment":"The one-dimensional integral representation (A.4) is introduced as 'immediate'; since the subsequent asymptotic analysis depends on it, a short derivation or a precise citation would be helpful.","section":"Appendix A.2, Lemma A.3"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is the unpublished companion reference [31] on which Theorem 1.4 depends. I would advise the editor to require either a full proof of Theorem 1.4 in this paper or a published version of [31] before acceptance. The remaining mathematical strategy appears sound and the kernel estimates are presented in considerable detail, but the current manuscript cannot be verified as a standalone contribution."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The two things to know: the paper delivers a plausible and carefully argued existence, Hölder/C^{1,α} regularity, power-type decay |x|^{-(n+2s)} and radial symmetry picture for the mixed operator -Δ+(-Δ)^s+1; and the main qualitative theorem is conditional on an unpublished companion [31], because the C^{2,α} step (Theorem 1.4) is not proved in this manuscript.\n\nWhat is actually new: the piecewise Fourier treatment of the two-scale heat kernel, with uniform-in-η asymptotic expansions (Lemmas A.3 and A.4), and the resulting Bessel kernel bounds, are the strongest part. They are real work and self-contained. The existence proof is standard mountain-pass with the Coti Zelati–Rabinowitz compactness lemma, correctly adapted. The barrier construction with K*χ and K_{1/2}*χ for the sharp decay is clean, and the moving-plane part, though standard, is applied with the right kernel identities.\n\nSoft spots: the load-bearing one is Theorem 1.4. Section 3.3 says the theorem 'can be obtained by appropriately modifying [31, Theorem 1.6]' and then imports [31, Lemma 5.4] and [31, Proposition 4.3] verbatim. The critical absorption estimate for the fractional term in (3.25) is only sketched; it is not shown that R^2|(-Δ)^s v_ε|'_{0,α} is bounded by δ|u_ε|' + C_δ‖u_ε‖_∞ uniformly in ε. Without that, the C^{2,α} bound is unsupported. And without C^{2,α}, Theorem 1.5 has no classical C^2 solution: the strict positivity argument, the pointwise computation in Lemma 4.7, and the comparison principle in Theorem 4.2 all need pointwise C^2. So this is not a stylistic choice; it is a missing proof. The lower heat kernel bound H(x,t) ≥ c t/|x|^{n+2s} for 1<t<|x|^{2s} is also delicate and I did not verify every Bessel computation in A.2, but the structure looks sound and the uniform asymptotic method is credible.\n\nWho it is for: anyone working on mixed local/nonlocal elliptic equations. It deserves serious peer review, but the referee should be instructed that the C^{2,α} gap must be fixed—either a public version of [31] or a self-contained proof. I would not desk-reject.","headline":"Solid mixed-order Schrödinger paper with a real self-containment gap: C^{2,α} regularity and the main qualitative theorem rest on an unpublished companion [31].","tokens_in":56343,"tokens_out":2723,"would_cite":true,"duration_ms":28545,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35A08","35B06","35B09","35B40","35J10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that positive solutions of the mixed local/nonlocal Schrödinger equation are radially symmetric and decay at infinity like $|x|^{-(n+2s)}$.","keywords":["Mixed order operators","fractional Laplacian","nonlinear Schrödinger equation","radial symmetry","power-type decay","heat kernel","Bessel kernel","regularity theory"],"falsifier":"For $n=2$, $s=1/2$, take $t=2$ and $|x|=3$ and evaluate the integral $H(x,t)$ numerically; if $H(x,t) < C_2 t/|x|^{n+2s}$ with the constant from Theorem 3.1, then the subsolution barrier in Lemma 4.3 fails and the decay exponent is not established.","tokens_in":55247,"feed_emoji":"🧮","tokens_out":5894,"duration_ms":55135,"temperature":0.7,"pith_summary":"This paper studies positive solutions that vanish at infinity of the mixed-order Schrödinger equation $-\\Delta u+(-\\Delta)^s u+u=u^p$ on $\\mathbb{R}^n$, where the diffusion is the sum of the classical Laplacian and the fractional Laplacian of order $2s$. The authors establish existence of a nontrivial nonnegative weak solution, then prove a regularity ladder from Hölder continuity up to $C^{2,\\alpha}$, and finally show that every classical positive solution is radially symmetric and decays at infinity like a constant times $|x|^{-(n+2s)}$. The interest is that the operator has two different scaling invariances, so standard single-operator methods do not apply; the paper supplies kernel estimates that let the fractional part govern the far field. If the results are correct, the mixed equation inherits the symmetry and decay structure of the Bessel kernel for $-\\Delta+(-\\Delta)^s+1$.","feed_headline":"Mixed-order Schrödinger states: radial and power-law decay","feed_subtitle":"Positive solutions exist, are C^{2,\\alpha}, are radially symmetric, and decay like 1/|x|^{n+2s}.","key_machinery":"The load-bearing objects are the heat kernel $H(x,t)=\\int_{\\mathbb{R}^n} e^{-t(|\\xi|^2+|\\xi|^{2s})+2\\pi i x\\cdot\\xi}\\,d\\xi$ and the Bessel kernel $K(x)=\\int_0^\\infty e^{-t}H(x,t)\\,dt$ of $-\\Delta+(-\\Delta)^s+1$. The paper proves uniform asymptotic formulae $|x|^{n+2s}H(x,1,\\eta)\\to$ a positive constant, uniformly in $\\eta\\in(0,1)$, using Bessel-function representations and contour rotation; these yield two-sided bounds on $H$ and hence $K(x)\\asymp |x|^{-(n+2s)}$ for large $|x|$, with $K\\in L^1(\\mathbb{R}^n)$. Convolving the characteristic function of a ball with $K$ (and with a rescaled kernel $K_{1/2}$) produces barriers $\\omega$ and $v$ that force the solution between two multiples of $|x|^{-(n+2s)}$, while Fourier-multiplier $W^{2,p}$ theory, a localization trick, and a truncation and covering argument produce the Hölder, $C^{1,\\alpha}$, and $C^{2,\\alpha}$ regularity used by the moving-plane argument.","core_discovery":"The central assertion is Theorem 1.5: problem (1.1) admits a classical, positive, radially symmetric solution, and every classical positive solution is radially symmetric, with $C_1/|x|^{n+2s}\\le u(x)\\le C_2/|x|^{n+2s}$ for $|x|\\ge 1$. The exponent $n+2s$ is exactly the far-field decay of the Bessel kernel $K$ of the operator, and the proof shows that this kernel supplies both the subsolution and the supersolution needed for the comparison argument. Radial symmetry is obtained by the method of moving planes, using the $C^2$ regularity and a quantitative estimate on the set where the reflected solution dominates.","pith_inferences":["The same barrier construction should work for slightly more general nonlinearities or for mixed operators with different weights on the fractional terms, predicting the same $n+2s$ far-field exponent whenever the fractional part has order $s$.","A direct numerical check of the heat-kernel lower bound in the regime $1<t<|x|^{2s}$ would settle the most delicate step without needing the full Bessel asymptotic machinery.","If the decay rate is sharp, it suggests the ground state is nondegenerate, which would open the door to uniqueness and stability arguments for the mixed equation.","The radial symmetry result may extend to other sign-changing or nonlocal settings, but the current proof relies essentially on positivity and on the maximum principle."],"forward_implications":["Positive ground states of the mixed operator have a universal far-field shape, decaying at the same rate as the Bessel kernel and not, for example, like the purely Laplacian kernel $|x|^{2-n}$.","All classical positive solutions are radially symmetric, so the search for ground states reduces to a one-dimensional problem.","The heat-kernel and Bessel-kernel estimates give a ready-made $L^p$ and $W^{2,p}$ theory for the linear mixed operator.","The $C^{2,\\alpha}$ regularity puts the mixed equation within reach of classical elliptic methods such as maximum principles and moving planes.","The mountain-pass solution found in Theorem 1.1 is in fact a classical positive solution with all the qualitative features above."],"supporting_citations":[{"why":"Supplies the Bessel function and modified Bessel function identities used for the uniform asymptotic limits in Lemmas A.3 and A.4.","marker":"[12]"},{"why":"Provides the fractional nonlinear Schrödinger existence and regularity methods that this paper adapts to the mixed operator.","marker":"[14]"},{"why":"Gives prior upper and lower bounds on the transition density of the Brownian-stable mixture that motivate the kernel estimates.","marker":"[29]"},{"why":"Provides the compactness lemma that turns the mountain-pass geometry into a nontrivial critical point.","marker":"[7]"},{"why":"Identifies $W^{2,p}$ with a Fourier-multiplier space, underpinning the $L^p$ regularity step via Calderón--Zygmund theory.","marker":"[30]"},{"why":"Gives the Fourier inversion formula for radial functions used in the one-dimensional integral representations of the heat kernel.","marker":"[4]"}],"fun_headline_variants":["Radial symmetry and power-law decay for mixed-order Schrödinger","Positive solutions of mixed-order Schrödinger are radially symmetric","Mixed-order Schrödinger: existence and decay 1/|x|^{n+2s}","Radially symmetric positive solutions for mixed-order Schrödinger","Existence, symmetry, and 1/|x|^{n+2s} decay in mixed-order Schrödinger"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is a sharp lower bound on the mixed heat kernel in the regime $1<t<|x|^{2s}$; if it fails, the exponent $n+2s$ and the barrier construction built from the Bessel kernel collapse.","fun_headline_variants_meta":{"raw":{"variants":["Radial symmetry and power-law decay for mixed-order Schrödinger","Positive solutions of mixed-order Schrödinger are radially symmetric","Mixed-order Schrödinger: existence and decay 1/|x|^{n+2s}","Radially symmetric positive solutions for mixed-order Schrödinger","Existence, symmetry, and 1/|x|^{n+2s} decay in mixed-order Schrödinger"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000965,"raw_usage":{"total_tokens":4096,"prompt_tokens":923,"completion_tokens":3173,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":539,"completion_tokens_details":{"reasoning_tokens":3073}},"tokens_in":539,"tokens_out":3173,"duration_ms":23599,"temperature":1.0,"reasoning_tokens":3073,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T20:08:57.569667+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"For $n=2$, $s=1/2$, take $t=2$ and $|x|=3$ and evaluate the integral $H(x,t)$ numerically; if $H(x,t) < C_2 t/|x|^{n+2s}$ with the constant from Theorem 3.1, then the subsolution barrier in Lemma 4.3 fails and the decay exponent is not established.","supporting_citations":[{"cited_title":"Erd´ elyi, W","cited_arxiv_id":null,"evidence_quote":"Supplies the Bessel function and modified Bessel function identities used for the uniform asymptotic limits in Lemmas A.3 and A.4."},{"cited_title":"Song and Z","cited_arxiv_id":null,"evidence_quote":"Gives prior upper and lower bounds on the transition density of the Brownian-stable mixture that motivate the kernel estimates."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Identifies $W^{2,p}$ with a Fourier-multiplier space, underpinning the $L^p$ regularity step via Calderón--Zygmund theory."},{"cited_title":"Bochner and K","cited_arxiv_id":null,"evidence_quote":"Gives the Fourier inversion formula for radial functions used in the one-dimensional integral representations of the heat kernel."}],"review_version":1}