{"id":"37f3369c-bc2a-47f3-87dd-f992438b2a69","arxiv_id":"2412.11497","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"For a weighted critical problem driven by the spectral fractional Laplacian with mixed Dirichlet-Neumann data, the paper establishes existence of one or multiple positive solutions depending on the flatness of the weight and the parameter λ.","lead":"This paper proves when a fractionally diffusive equation with mixed boundary conditions has positive solutions, and shows that several solutions appear when the weight peaks at several boundary points. The result extends a classical critical-exponent method to the nonlocal setting, which matters for models with anomalous diffusion and mixed boundary data.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The multiplicity proof's contradiction in Proposition 13 depends entirely on [13, Thm 4.5] classifying minimizing sequences for S(Σ_D); if that classification is not valid under (C=), Theorem 15 collapses.","rationale":"The paper's variational machinery is standard and the estimates in Lemmas 4-7 and Proposition 13 are mostly self-contained. My stress-test pass focused on Theorem 15 because that is the strongest claim. The proof of Proposition 13 is the only place that produces the strict lower bound on ~m_{λ,i}; without it, the chain (4.7) cannot run. The chain relies on two external facts: non-attainment of S(Σ_D) under (C=) and the dichotomy in [13, Theorem 4.5]. The former is stated in the introduction with reference to [13]; the latter is quoted in the proof. Both are imported. Of the two, the dichotomy is the more load-bearing because Proposition 13 uses it to rule out the compact case and to force the concentration point into Σ_N with exact measure convergence. A misstatement in Theorem 9's proof (the (Q1)-(ii) 'all λ>0' case is only proved for large λ or a negative bracket) and a sign typo in the q=1 energy expression in Proposition 13 do not affect Theorem 15. Conditional on [13, Theorem 4.5] applying under (C=), the multiplicity argument appears sound: the barycenter separation gives k distinct critical points at levels m_{λ,i}, and positivity follows from the strong maximum principle. Thus the reader's CONDITIONAL verdict is appropriate, with the condition being verification of the imported classification.","tokens_in":25462,"tokens_out":16545,"duration_ms":138936,"concrete_test":"Verify the hypotheses and proof of [13, Theorem 4.5] in the equality case S(Σ_D)=2^{-2s/N}S(s,N). Specifically, check whether the theorem's proof covers (C=) or only (C<), and whether the concentration point is guaranteed to lie in the interior of Σ_N rather than on Γ. If the theorem requires strict inequality, add an appendix proving the same dichotomy under (C=) or restrict Theorem 15 accordingly.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 15) rests on the strict inequality ~m_{λ,i} > s/N S(s,N)^{N/(2s)}/(2 Q_M^{(N-2s)/(2s)}) from Proposition 13. The proof of Proposition 13 forces the normalized sequence z_n to be a minimizing sequence for S(Σ_D) and then invokes [13, Theorem 4.5] to assert that any such sequence either is relatively compact or concentrates at a point x0∈Σ_N with the measure convergences in (4.6). The compact alternative is dismissed by citing non-attainment of S(Σ_D) under (C=); the concentration alternative yields Q(x0)=QM and contradicts (Q2) via the barycenter condition. Every step after normalization is controlled, but the dichotomy itself is imported verbatim from a previous paper and is not re-derived. If Theorem 4.5 of [13] only covers the strict case (C<), or if its concentration statement allows x0 to lie on Γ=Σ_D∩Σ_N rather than in the interior of Σ_N, then Proposition 13 has no valid dichotomy and the chain (4.7) in Theorem 15 lacks its lower bound. This is load-bearing because no other argument in the paper produces the separation m_{λ,i} < ~m_{λ,i}.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the weighted critical problem for the spectral fractional Laplacian with mixed Dirichlet--Neumann boundary conditions, namely (P_{\\lambda,q}) with critical exponent 2^*_s and subcritical perturbation \\lambda u^q. Using the s-harmonic extension, the authors define a variational framework in X^s_{\\Sigma^*_D}(C_\\Omega), prove a Palais--Smale compactness result below the threshold c_\\star (Proposition 3), and then construct positive solutions by the mountain pass theorem, distinguishing the two cases (C=) and (C<) for the mixed Sobolev constant S(\\Sigma_D). The main existence results are Theorems 8 and 9. In the final section, under the assumption (C=) and a weight condition (Q2) on strict maximizers on the Neumann boundary, the authors use the Nehari manifold and a barycenter map to prove a multiplicity result: Theorem 15 gives at least k positive solutions for small \\lambda, one near each maximizer a_i of Q.","tokens_in":25687,"tokens_out":11442,"duration_ms":105100,"significance":"If the technical points are fully justified, the paper gives a substantial extension of the classical Liao--Liu--Zhang--Tang result to the spectral fractional Laplacian with mixed boundary conditions. The compactness analysis, the explicit asymptotic estimates for truncated instantaneous functions (Lemmas 4--6), and the careful separation of the equality and strict-inequality cases for S(\\Sigma_D) are genuine strengths. The multiplicity mechanism via barycenter constraints is standard but is adapted here in a nontrivial way. However, the main claims currently rest on two unresolved points: the proof of Theorem 9 does not establish the claimed 'any \\lambda>0' conclusion, and Proposition 13 depends on an imported classification of minimizing sequences from [13, Theorem 4.5] whose applicability to the present (C=) setting and whose treatment of the interface \\Gamma are not verified. These points are load-bearing for the stated theorems, so the paper needs a careful revision before the claims can be accepted.","major_comments":[{"comment":"The statement of Theorem 9 claims, under (Q1)-(ii), existence for any \\lambda>0, and similarly under (Q1)-(iii) for all \\lambda>0 when q>1. The proof, however, only establishes the desired upper bound sup_t \\zeta_\\lambda(t)0' assertions for (Q1)-(ii) and (Q1)-(iii). The authors should either supply an argument covering all \\lambda in those branches or weaken the theorem accordingly.","section":"Theorem 9"},{"comment":"The proof of Proposition 13, and through it the lower bound \\tilde m_{\\lambda,i}>c_\\star in (4.7), relies entirely on the dichotomy quoted from [13, Theorem 4.5]: any minimizing sequence for S(\\Sigma_D) is either relatively compact or concentrates at a point x_0\\in\\Sigma_N with the measure convergences in (4.6). The manuscript neither states this theorem nor verifies its hypotheses in the present setting, and the paper is working under (C=), whereas the classification in [13] may be formulated for a different regime. In particular, it is not shown that the concentration point x_0 lies in the interior of \\Sigma_N rather than on the interface \\Gamma; if x_0\\in\\Gamma is allowed, the conclusion Q(x_0)=Q_M does not contradict (Q2) unless (Q2) explicitly excludes all maximizers outside \\{a_1,\\dots,a_k\\}. Because this dichotomy is the only mechanism producing the strict separation m_{\\lambda,i}1 would be impossible and the multiplicity theorem would be vacuous. The proof of Proposition 13 uses the stronger fact that Q(x_0)=Q_M with x_0\\neq a_i cannot occur; this requires the global maximum set to be exactly \\{a_1,\\dots,a_k\\}. The assumption should be restated precisely, for example by requiring Q(a_i)=Q_M for i=1,\\dots,k and Q(x)0\" under (Q1)-(ii), but the proof only delivers that when the bracket is negative or when λ is large. For small λ the bracket is generally positive, so the claimed range is unsupported. This looks fixable by weakening the statement or adding an argument, but it is a real gap. Second, Proposition 13 imports [13, Theorem 4.5] for the dichotomy that carries the multiplicity theorem. The paper does not re-derive or even state the theorem's precise hypotheses. There is also a misstatement in the compact alternative: convergence would mean S(Σ_D) is attained, not S(s,N). The conclusion still works if S(Σ_D) is not attained under (C=), but the sentence as written is wrong. If the imported dichotomy only covers the strict case, or allows the concentration point on Γ, then Theorem 15 has no lower bound and the k solutions are not obtained. The authors need to either quote Theorem 4.5 accurately and check its hypotheses under (C=), or prove the dichotomy themselves. Third, minor: (Q2) says \"strict global maximizers\" for k>1; that wording is inconsistent and should be cleaned up.\n\nWho is this for: people working on nonlocal critical problems with mixed boundary data. The estimates are reusable even if Theorem 9 needs surgery. It deserves a serious referee. My recommendation: send it to review, and require the authors to address the Theorem 9 proof gap and the Proposition 13 reliance on [13, Thm 4.5] before acceptance.","headline":"Solid variational paper with a genuinely new problem, but Theorem 9 overclaims the full λ range and the multiplicity proof leans on an imported dichotomy that the authors need to verify.","tokens_in":26265,"tokens_out":4775,"would_cite":true,"duration_ms":43675,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35R11","35B33","35B09","49J35","35A15","35S15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that a weighted critical problem for the spectral fractional Laplacian with mixed Dirichlet-Neumann boundary conditions has at least as many positive solutions as the weight has strict global maxima on the Neumann…","keywords":["spectral fractional Laplacian","mixed Dirichlet-Neumann boundary conditions","critical Sobolev exponent","multiplicity of positive solutions","Nehari manifold","barycenter map","concentration-compactness","weighted critical nonlinearity"],"falsifier":"Numerically solve the one-dimensional radial version of the problem with a ball-shaped domain, a small closed Dirichlet cap, the remaining Neumann boundary, and a weight with two antipodal strict maxima on $\\Sigma_N$, and count the positive solutions as $\\lambda\\to 0$; if fewer than two distinct solutions persist, the multiplicity claim fails. Alternatively, search for a minimizing sequence for $S(\\Sigma_D)$ whose concentration measure has two atoms on $\\Sigma_N$, since such an example would invalidate the classification on which Proposition 13 depends.","tokens_in":25207,"feed_emoji":"🧮","tokens_out":8208,"duration_ms":71711,"temperature":0.7,"pith_summary":"This paper studies a nonlocal elliptic problem in which the spectral fractional Laplacian acts with mixed Dirichlet-Neumann boundary conditions and the reaction term is weighted and critical, of the form $\\lambda u^q + Q(x) u^{2^*_s-1}$. The central result is a multiplicity theorem: if the continuous positive weight $Q$ has $k$ strict global maxima on the Neumann part of the boundary, then for all sufficiently small positive $\\lambda$ the problem has at least $k$ distinct positive solutions. The proof shows that each solution concentrates near one of those maxima, with its barycenter trapped in a small disjoint neighbourhood of the maximum. This matters because the critical exponent destroys compactness, and the paper identifies an explicit energy threshold below which compactness is restored, using the flatness of $Q$ around its maxima. The work extends a classical result for the Dirichlet Laplacian to the nonlocal setting with mixed boundary conditions.","feed_headline":"For small forcing, weight maxima count positive solutions","feed_subtitle":"For small forcing, each strict maximum of the weight yields its own positive solution.","key_machinery":"The central object is the Nehari manifold $\\mathcal{N}_\\lambda=\\{w\\ne 0:\\|w\\|^2_{X^s_{\\Sigma_D^*}}-\\int_\\Omega Q|w|^{2^*_s}\\,dx-\\lambda\\int_\\Omega |w|^{q+1}\\,dx=0\\}$ together with the barycenter map $\\beta(w)=\\int_\\Omega x|w(x,0)|^{2^*_s}dx/\\int_\\Omega |w(x,0)|^{2^*_s}dx$. The barycenter splits the Nehari manifold into $k$ disjoint regions, one near each maximum point $a_i$, separated by the spheres $\\mathcal{M}_{\\lambda,i}$ where $|\\beta(w)-a_i|=r_0$. The load-bearing estimates come from fibering maps $t\\mapsto J_\\lambda(t z_{\\varrho,\\varepsilon}^i)$ built from truncated Aubin-Talenti-type instantons centered at each maximum; Lemma 6 gives explicit bounds on the maximizers of these fibers as functions of $\\varepsilon$ and $\\lambda$, and Lemma 4 controls their $L^p$ norms. The weight's flatness rate $\\alpha$ is chosen exactly so that the fiber energies fall below $c_\\star$, while the separating spheres stay above it. Finally, the classification of minimizing sequences for the mixed-boundary Sobolev constant quoted from [13, Theorem 4.5] is what converts a candidate minimizer on $\\mathcal{N}_{\\lambda,i}$ into a genuine positive solution.","core_discovery":"On its own terms, the paper establishes, under the standing assumption $S(\\Sigma_D)=2^{-2s/N}S(s,N)$, that problem $(P_{\\lambda,q})$ has at least $k$ positive solutions whenever the weight $Q$ satisfies condition $(Q2)$: it attains its global maximum $Q_M$ at $k$ distinct points $a_1,\\dots,a_k$ of the Neumann boundary $\\Sigma_N$, with the prescribed vanishing rate $Q(x)-Q(a_i)=o(|x-a_i|^\\alpha)$. For each $i$, the proof restricts the Nehari manifold to the region where the barycenter map stays within a fixed small distance of $a_i$, and shows that the infimum $m_{\\lambda,i}$ there lies strictly below the compactness threshold $c_\\star=\\frac{s}{N}S(\\Sigma_D)^{N/2s}Q_M^{(N-2s)/2s}$, while any competitor whose barycenter sits exactly at distance $r_0$ from $a_i$ has energy strictly above $c_\\star$ for small $\\lambda$. A minimizing sequence then converges to a nontrivial nonnegative solution, which the strong maximum principle makes positive. Since the regions around the distinct maxima are disjoint, the resulting solutions are distinct.","pith_inferences":["A natural extension, not pursued in the paper, would be to ask whether the number of solutions is governed by the number of isolated maxima of $Q$ on $\\Sigma_N$ even when some maxima are not strict, or when infinitely many maxima accumulate; the barycenter separation argument suggests that only maxima with disjoint neighbourhoods contribute distinct solutions.","The same fibering-plus-barycenter strategy could plausibly be adapted to Robin-type or other nonlocal boundary conditions, provided a classification of minimizing sequences for the corresponding Sobolev constant is available; the explicit rate $\\alpha$ would then depend on the new boundary geometry.","The theorem yields a testable prediction for numerical continuation: starting from small $\\lambda$ and continuing solutions, one should observe at least $k$ distinct branches, one near each strict maximum of the weight, provided the weight satisfies the flatness condition (Q2).","The paper does not address whether the $k$ solutions have distinct variational indices or are ordered by energy; one might expect, but would need to prove, that the solution associated with a more isolated maximum carries a Morse index related to the geometry of the maximizer."],"forward_implications":["For sufficiently small $\\lambda$, the problem has at least $k$ positive solutions, each arising as a minimizer in a different disjoint region of the Nehari manifold and hence tied to a different strict maximum point $a_i$ of the weight on the Neumann boundary.","In the non-attained case $S(\\Sigma_D)=2^{-2s/N}S(s,N)$, the existence theorem covers all $\\lambda>0$ in case (Q1)-(ii), sufficiently large $\\lambda$ in case (Q1)-(i), and the stated ranges of $\\lambda$ in case (Q1)-(iii), with the linear case $q=1$ restricted to $\\lambda\\in(0,\\lambda_1^s)$.","In the attained case $S(\\Sigma_D)<2^{-2s/N}S(s,N)$, the same existence conclusions hold for $q>1$, but the linear case $q=1$ is ruled out because the extremal functions for $S(\\Sigma_D)$ are not explicitly available.","The admissible flatness rate $\\alpha$ of the weight is fixed by the relation $\\alpha=[N-(N-2s)(q+1)]/2$, so the multiplicity result applies precisely to weights whose decay near each maximum is matched to the dimension, the order of the operator, and the subcritical exponent.","The positive solutions are obtained as limits of minimizing sequences below the explicit threshold $c_\\star$, so the Palais-Smale condition, rather than the nonexistence of solutions to the pure critical problem, is the operative compactness mechanism in the mixed-boundary setting."],"supporting_citations":[{"why":"Supplies the properties of the mixed-boundary Sobolev constant $S(\\Sigma_D)$ and, crucially, the classification of its minimizing sequences used in Proposition 13 to force concentration at a strict maximum of $Q$.","marker":"[13]"},{"why":"The classical Dirichlet-Laplace problem whose Nehari submanifold and barycenter method are extended here to the nonlocal mixed-boundary setting, and the source of the comparison for the ranges of $\\alpha$ and $q$.","marker":"[19]"},{"why":"Provides the $s$-harmonic extension framework, the trace inequality, and the functional setting for the spectral fractional Laplacian with boundary conditions.","marker":"[3]"},{"why":"Establishes the Caffarelli-Silvestre extension and the localization formula $\\partial w/\\partial\\nu^s=(-\\Delta)^s u$, which identifies the extended problem $(P^*_{\\lambda,q})$ with the original one.","marker":"[9]"},{"why":"Introduces the Brezis-Nirenberg compactness-threshold idea: a subcritical perturbation restores compactness below a critical energy level, which is the template for the threshold $c_\\star$.","marker":"[7]"},{"why":"Previous work on the concave-convex critical problem for the spectral fractional Laplacian with mixed boundary conditions, supplying norm estimates for the truncated instantons $z_{\\varrho,\\varepsilon}^i$ and the relevant functional framework.","marker":"[23]"},{"why":"Provides the implicit-function lemma used in Lemma 14 to construct local reparametrizations on the Nehari manifold, which is essential for showing that minimizing sequences are Palais-Smale sequences.","marker":"[25]"},{"why":"The concave-convex model of Ambrosetti-Brezis-Cerami that motivates the subcritical perturbation $\\lambda u^q$ and the associated Nehari manifold analysis.","marker":"[1]"}],"fun_headline_variants":["Each strict weight maximum yields its own positive solution","Small forcing turns weight peaks into multiple positive solutions","Weight peaks on Neumann boundary each give a positive solution"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof leans on a quoted classification theorem: any near-best sequence for the mixed-boundary Sobolev inequality must either converge or concentrate all its mass at a single point of the Neumann boundary, and if that classification failed, the contradiction in Proposition 13 forcing the concentration point to be a strict maximum of $Q$ would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Each strict weight maximum yields its own positive solution","Small forcing turns weight peaks into multiple positive solutions","Weight peaks on Neumann boundary each give a positive solution"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000647,"raw_usage":{"total_tokens":2979,"prompt_tokens":959,"completion_tokens":2020,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":575,"completion_tokens_details":{"reasoning_tokens":1972}},"tokens_in":575,"tokens_out":2020,"duration_ms":14178,"temperature":1.0,"reasoning_tokens":1972,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T14:52:40.530803+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically solve the one-dimensional radial version of the problem with a ball-shaped domain, a small closed Dirichlet cap, the remaining Neumann boundary, and a weight with two antipodal strict maxima on $\\Sigma_N$, and count the positive solutions as $\\lambda\\to 0$; if fewer than two distinct solutions persist, the multiplicity claim fails. Alternatively, search for a minimizing sequence for $S(\\Sigma_D)$ whose concentration measure has two atoms on $\\Sigma_N$, since such an example would invalidate the classification on which Proposition 13 depends.","supporting_citations":[{"cited_title":"Colorado, A","cited_arxiv_id":null,"evidence_quote":"Supplies the properties of the mixed-boundary Sobolev constant $S(\\Sigma_D)$ and, crucially, the classification of its minimizing sequences used in Proposition 13 to force concentration at a strict maximum of $Q$."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"The classical Dirichlet-Laplace problem whose Nehari submanifold and barycenter method are extended here to the nonlocal mixed-boundary setting, and the source of the comparison for the ranges of $\\alpha$ and $q$."},{"cited_title":"Br¨ andle, E","cited_arxiv_id":null,"evidence_quote":"Provides the $s$-harmonic extension framework, the trace inequality, and the functional setting for the spectral fractional Laplacian with boundary conditions."},{"cited_title":"Caffarelli and L","cited_arxiv_id":null,"evidence_quote":"Establishes the Caffarelli-Silvestre extension and the localization formula $\\partial w/\\partial\\nu^s=(-\\Delta)^s u$, which identifies the extended problem $(P^*_{\\lambda,q})$ with the original one."},{"cited_title":"Brezis, L","cited_arxiv_id":null,"evidence_quote":"Introduces the Brezis-Nirenberg compactness-threshold idea: a subcritical perturbation restores compactness below a critical energy level, which is the template for the threshold $c_\\star$."},{"cited_title":"Ortega, Concave-convex critical problems for the spectral fractio nal laplacian with mixed boundary condi- tions","cited_arxiv_id":null,"evidence_quote":"Previous work on the concave-convex critical problem for the spectral fractional Laplacian with mixed boundary conditions, supplying norm estimates for the truncated instantons $z_{\\varrho,\\varepsilon}^i$ and the relevant functional framework."},{"cited_title":"Tarantello, On nonhomogeneous elliptic involving critical Sobolev exp onent","cited_arxiv_id":null,"evidence_quote":"Provides the implicit-function lemma used in Lemma 14 to construct local reparametrizations on the Nehari manifold, which is essential for showing that minimizing sequences are Palais-Smale sequences."},{"cited_title":"Ambrosetti, H","cited_arxiv_id":null,"evidence_quote":"The concave-convex model of Ambrosetti-Brezis-Cerami that motivates the subcritical perturbation $\\lambda u^q$ and the associated Nehari manifold analysis."}],"review_version":1}