{"id":"c21a2aec-5331-480c-8ca0-177129946ad6","arxiv_id":"2505.12936","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A variational proof that mixed local-nonlocal elliptic equations on hyperbolic space admit nontrivial weak solutions in the subcritical case, and conditionally in the critical case.","lead":"This paper proves existence of weak solutions for a mixed local-nonlocal elliptic equation on hyperbolic space, in both subcritical and critical exponent cases. It extends variational methods for operators that combine the Laplacian and the fractional Laplacian from flat Euclidean domains to a negatively curved space.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Critical existence theorem hinges on condition (1.2), which is never verified for any parameter choice; as it stands, Theorem 1.2 may have empty scope.","rationale":"The reader's weakest assumption correctly identifies condition (1.2) as the main unresolved point. The paper is honest about this being an assumption, so the theorem is not internally inconsistent; however, a theorem whose hypothesis is never checked for any parameter range does not yet deliver a critical existence result. The subcritical part appears essentially sound: the mountain-pass/Nehari argument is standard, and the only non-routine ingredient, the rearrangement inequality for the hyperbolic fractional seminorm, is cited to Beckner and Baernstein but not proved in this setting; this is a genuine gap in exposition but likely true in view of known Riesz rearrangement results on symmetric spaces. The conditional verdict is appropriate: the paper should be accepted conditionally, with the energy condition either verified (for example, by proving attainment of S_{λ,s} or by constructing bubbles below threshold) or explicitly stated as an open problem. I find no reason to reject or to move the verdict: the concern does not invalidate the subcritical theorem, and the critical theorem is clearly labeled as conditional.","tokens_in":24124,"tokens_out":21454,"duration_ms":226230,"concrete_test":"Check whether the infimum S_{λ,s} is attained. If there exists a minimizer w in H^1_r(B^N) of the quotient defining S_{λ,s}, then w solves the Euler-Lagrange equation with the critical power; taking u0 = w in (1.2), the negative subcritical term -1/(p+1) ∫ |w|^{p+1} lowers sup_{ζ≥0} J(ζw) strictly below (1/N) S_{λ,s}^{N/2}, so (1.2) would hold. If S_{λ,s} is not attained, test (1.2) with families of hyperbolic bubbles or Euclidean bubble cut-offs as in [8] for 0 < λ < (N-1)^2/4, computing sup_{ζ} J(ζu0) numerically or analytically; if no family falls below the threshold, Theorem 1.2 is vacuous.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's critical existence result, Theorem 1.2, is conditional on the existence of a nontrivial nonnegative radial function u0 satisfying sup_{ζ≥0} J(ζu0) < (1/N) S_{λ,s}^{N/2}, as stated in (1.2). The proof of Theorem 1.2 is internally consistent: the mountain-pass compactness argument below the threshold is standard and the contradiction in Step 4 is correctly derived. However, condition (1.2) is never instantiated: no admissible choice of λ, p, s, or N is exhibited, nor is any construction of u0 supplied. Consequently, the theorem does not currently establish critical existence for a single concrete parameter range; its hypothesis could be impossible to fulfill, leaving the statement vacuously true. This does not contradict the theorem, but it sharply limits the paper's central claim. A secondary soft spot is the rearrangement inequality for the hyperbolic fractional seminorm used in the subcritical proof, which is cited to [4] (a sphere paper) and [2] but is not proved in the hyperbolic setting; Theorem 1.1's radial reduction depends on it, although it is plausibly a Riesz rearrangement inequality on two-point homogeneous spaces.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies two semilinear elliptic problems on the hyperbolic space B^N involving the mixed local-nonlocal operator -Δ_{B^N} + (-Δ_{B^N})^s, with 0<s<1. For the subcritical problem (P_{λ,s}) with 1<p<2*-1 and λ<(N-1)^2/4, the authors prove the existence of a mountain-pass weak solution in H^1(B^N) and show that every minimizer on the Nehari manifold is radially symmetric up to hyperbolic translations (Theorem 1.1). For the critical perturbed problem (P~_{λ,s}), they prove the existence of a nontrivial radial solution under the assumption that there exists a nonnegative radial function u0 satisfying the energy inequality (1.2) (Theorem 1.2). The paper also establishes an embedding H^1(B^N)↪H^s(B^N) via kernel estimates and a weak maximum principle.","tokens_in":24334,"tokens_out":13453,"duration_ms":127919,"significance":"If the results hold, the subcritical theorem is a meaningful extension of known Euclidean and hyperbolic results to the mixed local-nonlocal setting, and the H^1↪H^s embedding is a useful tool. The paper contains careful variational setups, a proof of kernel monotonicity, and a weak maximum principle, which are concrete strengths. However, the critical existence theorem is conditional on condition (1.2), which is never instantiated, and the radial reduction relies on a rearrangement inequality that is cited rather than proved for the hyperbolic fractional seminorm. These two points currently limit the paper's contribution and need to be addressed.","major_comments":[{"comment":"The critical existence theorem is conditional on the existence of a nontrivial nonnegative radial function u0 satisfying sup_{ζ≥0} J(ζu0) < (1/N) S_{λ,s}^{N/2}. The paper never verifies this condition for any admissible choice of λ, p, s, or N, nor does it provide a construction or heuristic for such u0. Consequently, Theorem 1.2 does not establish critical existence for any concrete parameter range and may be vacuously true. This is load-bearing for the paper's critical-existence claim; the authors should either verify (1.2) in a nontrivial range (for instance, using the subcritical solution or a bubble-type test function) or explicitly recast the critical result as conditional and discuss its scope.","section":"§4, Theorem 1.2, condition (1.2)"},{"comment":"The radial reduction of the minimizing sequence and the symmetry conclusion in part (3) rely on rearrangement inequalities of the form ∫ |(-Δ_{B^N})^{s/2}u*|^2 ≤ ∫ |(-Δ_{B^N})^{s/2}u|^2, and their strict versions, which are cited to [4, Theorem 3] and [2] without proof or adaptation to the hyperbolic space. Reference [4] is a paper on the sphere, and no specific theorem for the hyperbolic fractional seminorm with the kernel K_s is stated. Since Theorem 1.1(1) and (3) depend on these inequalities, the proof has a gap; the authors should either prove the rearrangement inequality for the hyperbolic fractional seminorm (using Lemma 2.1 and a Riesz rearrangement inequality on two-point homogeneous spaces) or provide a precise reference covering this case.","section":"§3, proof of Theorem 1.1"}],"minor_comments":[{"comment":"The displayed estimates for I1, I2, and I3 scale linearly in ‖f‖_{L^2} and ‖∇f‖_{L^2}, whereas the left-hand side [f]_s^2 is quadratic; for example, the bound 'I1 ≤ C‖∇f‖_{L^2}' should read 'I1 ≤ C‖∇f‖_{L^2}^2', and similarly for I2. As written, the proof is not formally correct, although the fix is straightforward.","section":"§2, Theorem 2.1 proof"},{"comment":"The displayed formula for the constant C(N,s) is typeset in a garbled way and is unreadable; please correct the typesetting so that the definition is unambiguous.","section":"§2, equation (2.3)"},{"comment":"The abstract states that the paper establishes existence results 'under appropriate conditions' but does not mention that the critical result is conditional on condition (1.2); the abstract should reflect this important caveat.","section":"Abstract and introduction"}],"recommendation":"major_revision","confidential_remarks":"The subcritical result appears essentially correct (modulo the provenance of the rearrangement inequality), but the critical theorem is conditional on a hypothesis that is never verified. I would suggest the editor require the authors to either verify (1.2) for some parameter range or substantially reframe the paper's claims. The heavy self-citation in the introduction is noticeable but not disqualifying by itself."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The subcritical half of this paper is a genuine new result—the first existence theory for the mixed local-nonlocal operator -Δ_{B^N} + (-Δ_{B^N})^s on hyperbolic space—and the proof strategy is mostly standard but clean. The critical half is an honest conditional theorem whose hypothesis is never verified; as written, Theorem 1.2 does not establish critical existence for a single concrete choice of λ, p, s, N. That is the main thing to know.\n\nThe best technical piece is the kernel analysis in Lemma 2.1, where the authors prove the hyperbolic kernel is decreasing and use it to control the fractional seminorm by the H¹ norm. Their kernel proof of the H¹-to-H^s embedding is useful, especially for N=2, where the Plancherel route in Remark 2.2 is restricted to N≥3. The weak maximum principle is a nice aside. The subcritical proof via the Nehari manifold, mountain pass, and radial compactness looks sound; the one load-bearing external input is the rearrangement inequality for the hyperbolic fractional seminorm, cited to a sphere paper and to Baernstein rather than proved. If the cited result genuinely covers two-point homogeneous spaces, fine; if not, the radial reduction and the strict inequality in the symmetry proof need a short proof in this setting.\n\nThe critical theorem is the larger soft spot. Condition (1.2) is never instantiated: no construction of u₀, no parameter range, no indication that the energy threshold is attainable. The proof steps are internally consistent, but the result is explicitly conditional, and the abstract sells it as establishing existence for critical nonlinearities without flagging that the theorem may have empty scope. That mismatch matters. The claimed novelty of the H¹-to-H^s embedding is also overstated, since Remark 2.2 shows it is immediate from Plancherel for N≥3.\n\nI would send this to a serious referee rather than desk-reject. The subcritical theorem deserves to be in the literature once the rearrangement inequality is checked and either proved or clearly traced to a directly applicable source. The critical theorem needs a concrete verification of (1.2) or a rewrite presenting it as a conditional contribution with the verification left as an open problem. The paper is not a takedown; it is a solid subcritical paper with an over-ambitious critical wrapper.","headline":"The subcritical result is a genuine first and mostly sound; the critical theorem is honest but conditional on an unverified energy inequality, so the paper's headline critical existence is not yet an existence theorem for any concrete parameter range.","tokens_in":24855,"tokens_out":3473,"would_cite":true,"duration_ms":42866,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B09","35B38","35J20","35J61","35R01"],"pacs":[],"model":"deepseek-v4-flash","headline":"On hyperbolic space, the mixed local-nonlocal equation $-\\Delta_{\\mathbb{B}^N}u+(-\\Delta_{\\mathbb{B}^N})^s u-\\lambda u=|u|^{p-1}u$ has mountain-pass weak solutions for subcritical $p$, and the critical perturbed problem has a nontrivial…","keywords":["mixed local-nonlocal operator","hyperbolic space","fractional Laplacian","critical exponent","Nehari manifold","mountain pass theorem","radial symmetry","Sobolev embedding"],"falsifier":"Compute the fractional seminorm of the symmetric-decreasing rearrangement of an explicit nonradial function, say $u(x)=x_1 e^{-d(x,0)}$, using the kernel $K_s$; one case with $[u^*]_s>[u]_s$ would break the symmetrization step in Theorem 1.1. For Theorem 1.2, evaluate $\\sup_{\\zeta\\ge 0}J(\\zeta u_0)$ for, say, $N=3$, $s=\\frac{1}{2}$, and a natural radial candidate $u_0$; if the value is at least $\\frac{1}{N}S_{\\lambda,s}^{N/2}$, that candidate does not verify the conditional hypothesis.","tokens_in":23892,"feed_emoji":"📐","tokens_out":16306,"duration_ms":148987,"temperature":0.7,"pith_summary":"The paper aims to show that a mixed local-nonlocal elliptic equation on the hyperbolic space $\\mathbb{B}^N$, with Laplace-Beltrami term $-\\Delta_{\\mathbb{B}^N}$ plus fractional Laplacian $(-\\Delta_{\\mathbb{B}^N})^s$ for $0<s<1$, has finite-energy solutions for both subcritical and critical power nonlinearities. The subcritical result claims that for $\\lambda<\\frac{(N-1)^2}{4}$ and $1<p<2^*-1$, the equation has a Nehari-minimizer which is a mountain-pass weak solution and, up to hyperbolic translations, radially symmetric. The critical result is conditional: under the energy-threshold hypothesis (1.2), a nontrivial radial solution exists. This matters because the negative curvature and noncompactness of hyperbolic space remove the Euclidean compactness tools, and the paper supplies a variational route through radial symmetrization and the embedding $H^1(\\mathbb{B}^N)\\hookrightarrow H^s(\\mathbb{B}^N)$.","feed_headline":"Mixed local-nonlocal equations admit solutions on hyperbolic space","feed_subtitle":"A variational proof reaches mountain-pass weak solutions; the critical case is conditional on an energy bound.","key_machinery":"The load-bearing mechanism is the reduction to radial functions in the subspace $H^1_r(\\mathbb{B}^N)$. Symmetrization maps an arbitrary function to a radial decreasing function while preserving $L^q$ norms and, by the rearrangement inequality for the fractional seminorm, not increasing the mixed energy; the compact embedding $H^1_r(\\mathbb{B}^N)\\hookrightarrow L^q(\\mathbb{B}^N)$ for $2<q<2^*$ then repairs the compactness lost to hyperbolic translations. In the critical problem, the decisive object is the best constant $S_{\\lambda,s}$ of the mixed Sobolev embedding: the mountain-pass level is trapped below $\\frac{1}{N}S_{\\lambda,s}^{N/2}$, which rules out concentration of the Palais-Smale sequence at zero. The kernel $K_s(d(x,y))$, positive and strictly decreasing in geodesic distance, carries the nonlocal part of the energy through the whole argument.","core_discovery":"The paper's central claim is that the mixed local-nonlocal equation $-\\Delta_{\\mathbb{B}^N}u+(-\\Delta_{\\mathbb{B}^N})^s u-\\lambda u=|u|^{p-1}u$ on $\\mathbb{B}^N$ admits a weak solution for every $0<s<1$, $\\lambda<\\frac{(N-1)^2}{4}$, and $1<p<2^*-1$, where $2^*=\\frac{2N}{N-2}$. The solution is found as a minimizer of the energy on the Nehari manifold, is a mountain-pass weak solution, and every such minimizer is radially symmetric up to a hyperbolic translation. For the critical perturbed right-hand side $|u|^{2^*-2}u+|u|^{p-1}u$, the paper proves that a nontrivial radial solution exists provided some nonnegative radial function $u_0$ satisfies the energy bound $\\sup_{\\zeta\\ge 0} J(\\zeta u_0)<\\frac{1}{N}S_{\\lambda,s}^{N/2}$, where $S_{\\lambda,s}$ is the best constant in the associated Sobolev embedding. The variational argument goes through because $H^1(\\mathbb{B}^N)$ embeds continuously into the fractional space $H^s(\\mathbb{B}^N)$ and because radial functions recover compactness in the subcritical range.","pith_inferences":["Editorial inference: the energy threshold (1.2) is naturally testable by concentrating a Euclidean-like bubble at a point, because $K_s$ behaves like $|x-y|^{-N-2s}$ at short distances; verifying one example for some $N,s,\\lambda$ would turn Theorem 1.2 into an unconditional existence result in that case.","Editorial inference: if the missing rearrangement inequality for $K_s$ is supplied, the symmetry statement in Theorem 1.1 becomes unconditional and, together with the weak maximum principle, would imply that the constructed solutions are positive.","Editorial inference: because the fractional seminorm on the hyperbolic space has the same short-distance singularity as the Euclidean one, the compactness analysis for the critical problem is likely to reproduce the two-profile decomposition known for local critical problems in the hyperbolic space, one profile being a Euclidean bubble and the other a hyperbolic ground state."],"forward_implications":["For every $\\lambda<\\frac{(N-1)^2}{4}$ and $1<p<2^*-1$, the subcritical problem has a weak solution, and least-energy solutions on the Nehari manifold are radially symmetric up to hyperbolic translations.","The mountain-pass level equals the Nehari minimization level, so the solution obtained is a mountain-pass critical point rather than only a constrained minimizer.","If the energy condition (1.2) holds for some radial $u_0$, the critical perturbed problem has a nontrivial radial solution.","The continuous embedding $H^1(\\mathbb{B}^N)\\hookrightarrow H^s(\\mathbb{B}^N)$ holds for every $0<s<1$, making $H^1(\\mathbb{B}^N)$ the natural space for variational arguments with the mixed operator.","A weak maximum principle holds for $-\\Delta_{\\mathbb{B}^N}+(-\\Delta_{\\mathbb{B}^N})^s-\\lambda$, so weak solutions of $Lu\\ge 0$ are nonnegative."],"supporting_citations":[{"why":"defines the fractional Laplacian on hyperbolic space as a principal-value integral with the kernel K_s and its asymptotics.","marker":"[3]"},{"why":"supplies the explicit formula for K_s and the positivity/monotonicity facts used in Lemma 2.1.","marker":"[37]"},{"why":"provides the compact embedding of radial H^1 into L^q used to recover compactness.","marker":"[8]"},{"why":"gives the sharp Sobolev inequality and the spectral bottom that set the admissible range of lambda.","marker":"[43]"},{"why":"cited for the rearrangement inequality for the fractional seminorm used in the symmetrization step.","marker":"[4]"},{"why":"cited for symmetric rearrangement and preservation of L^q norms.","marker":"[2]"},{"why":"provides the mountain-pass theorem variant that does not require the Palais-Smale condition globally.","marker":"[15]"},{"why":"gives the principle of symmetric criticality, allowing the radial reduction in the critical problem.","marker":"[45]"}],"fun_headline_variants":["Existence proof for mixed local-nonlocal PDEs in hyperbolic space","Weak solutions found for mixed operators on hyperbolic space","Solving subcritical and critical mixed-type equations on B^N","Mountain-pass solutions for local-nonlocal hyperbolic problems","Hyperbolic space admits solutions to mixed local-nonlocal PDEs"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The subcritical proof assumes, without proof here, that symmetrization never increases the fractional hyperbolic seminorm, and the critical theorem assumes that some radial test function satisfies the energy bound (1.2); if either premise fails, the corresponding existence result collapses.","fun_headline_variants_meta":{"raw":{"variants":["Existence proof for mixed local-nonlocal PDEs in hyperbolic space","Weak solutions found for mixed operators on hyperbolic space","Solving subcritical and critical mixed-type equations on B^N","Mountain-pass solutions for local-nonlocal hyperbolic problems","Hyperbolic space admits solutions to mixed local-nonlocal PDEs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000196,"raw_usage":{"total_tokens":1334,"prompt_tokens":889,"completion_tokens":445,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":505,"completion_tokens_details":{"reasoning_tokens":360}},"tokens_in":505,"tokens_out":445,"duration_ms":4541,"temperature":1.0,"reasoning_tokens":360,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T20:24:59.125532+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the fractional seminorm of the symmetric-decreasing rearrangement of an explicit nonradial function, say $u(x)=x_1 e^{-d(x,0)}$, using the kernel $K_s$; one case with $[u^*]_s>[u]_s$ would break the symmetrization step in Theorem 1.1. For Theorem 1.2, evaluate $\\sup_{\\zeta\\ge 0}J(\\zeta u_0)$ for, say, $N=3$, $s=\\frac{1}{2}$, and a natural radial candidate $u_0$; if the value is at least $\\frac{1}{N}S_{\\lambda,s}^{N/2}$, that candidate does not verify the conditional hypothesis.","supporting_citations":[{"cited_title":"Some constructions for the fractional Laplacian on noncompact manifolds","cited_arxiv_id":null,"evidence_quote":"defines the fractional Laplacian on hyperbolic space as a principal-value integral with the kernel K_s and its asymptotics."},{"cited_title":"The fracti onal p-laplacian on hyperbolic spaces","cited_arxiv_id":null,"evidence_quote":"supplies the explicit formula for K_s and the positivity/monotonicity facts used in Lemma 2.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"provides the compact embedding of radial H^1 into L^q used to recover compactness."},{"cited_title":"On a semilinear ell iptic equation in Hn","cited_arxiv_id":null,"evidence_quote":"gives the sharp Sobolev inequality and the spectral bottom that set the admissible range of lambda."},{"cited_title":"Sobolev inequalities, the Poisson sem igroup, and analysis on the sphere Sn","cited_arxiv_id":null,"evidence_quote":"cited for the rearrangement inequality for the fractional seminorm used in the symmetrization step."},{"cited_title":"Symmetrization in analysis , volume 36 of New Mathematical Mono- graphs","cited_arxiv_id":null,"evidence_quote":"cited for symmetric rearrangement and preservation of L^q norms."},{"cited_title":"Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents","cited_arxiv_id":null,"evidence_quote":"provides the mountain-pass theorem variant that does not require the Palais-Smale condition globally."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"gives the principle of symmetric criticality, allowing the radial reduction in the critical problem."}],"review_version":1}