{"id":"b44d653a-2a26-4fe4-9bab-1fd2aa63a42a","arxiv_id":"2502.02049","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper establishes existence and multiplicity of L^2-normalized solutions for a biharmonic Schrödinger equation with mixed dispersion and Sobolev critical nonlinearity, in both mass-subcritical and mass-supercritical regimes.","lead":"This paper proves existence and multiplicity of normalized standing-wave solutions to a fourth-order Schrödinger equation with mixed dispersion and Sobolev critical growth. The results extend recent work on such equations to new parameter regimes, using variational and topological methods.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 5.9's supercritical compactness argument assumes λ̄<0, but the inequality μ(1−γp)‖ū‖_p^p > ϱ2/2 used to prove it is not established; no lower bound on μ‖ū‖_p^p is given, so the sign of λ̄ is undetermined and Theorem 1.5 is not proven.","rationale":"The reader's weakest_assumption identifies the same load-bearing gap I find. Lemma 5.9 is the only bridge from the mountain-pass level γμ(c)=m_r(c) to an actual normalized solution; it must rule out loss of mass. The proof attempts to rule it out by showing λ̄<0, making the term −λ̄‖u_n−ū‖₂² positive in (5.37). But the displayed derivation of λ̄<0 contains an unjustified final inequality. The negative term μ(γ_p−1)‖ū‖_p^p can be made arbitrarily negative by taking μ large only if ‖ū‖_p^p is bounded below independently of μ; none of the bounds in Lemma 5.8 provide this, and the weak limit may itself move with μ. In fact, for the weak limit the Pohozaev and Nehari identities give exactly λ̄c = ½‖∇ū‖₂² − μ(1−γ_p)‖ū‖_p^p, the quantitative balance the proof needs and does not derive. Without λ̄<0, alternative (ii) is not established: from 0 = λ̄ lim‖u_n−ū‖₂² one learns nothing when λ̄=0, and the sequence could lose mass at infinity while still satisfying all energy and Pohozaev limits. The supercritical theorem is therefore conditional on a missing estimate. The subcritical results in Sections 3–4 are independent of Lemma 5.9 and appear new and plausible; hence a conditional verdict, not a rejection, is appropriate.","tokens_in":45432,"tokens_out":18741,"duration_ms":186219,"concrete_test":"Re-derive Lemma 5.9 under the minimal necessary condition for λ̄<0: μ(1−γ_p)‖ū‖_p^p > ½ limsup‖∇u_n‖₂². Using the weak-limit Pohozaev identity P(ū)=0, the energy bound I(ū)<2/N S^{N/4}, and ‖ū‖₂²≤c, compute the infimum of μ‖ū‖_p^p over all admissible limit profiles, or over the explicit test family ū_ε = √c U_ε/‖U_ε‖₂ projected onto P(c) as in Lemma 5.12. If this infimum is not bounded below by a positive constant independent of μ, the asserted inequality can fail and the proof of λ̄<0 is invalid. Equivalently, exhibit a sequence satisfying all previous bounds with λ̄≥0 and μ‖ū‖_p^p=o(1).","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The mass-subcritical results (Theorems 1.1, 1.2, 1.4) do not depend on the disputed step and appear to be the paper's solid contribution. The supercritical Theorem 1.5, however, rests on Lemma 5.9, whose alternative (ii) concludes strong H² convergence from the equation 0 = λ̄ lim_n ‖u_n−ū‖₂² (display after (5.39)). The sign λ̄<0 is the only reason this forces L²-convergence; if λ̄=0 or if the sign is unknown, mass can escape to infinity and the normalization constraint ‖u‖₂²=c is not inherited by the weak limit. The derivation of λ̄<0 is the display after (5.25): λ̄c = lim_n (½‖∇u_n‖₂² + μ(γ_p−1)‖u_n‖_p^p) ≤ ϱ2/2 + μ(γ_p−1)‖ū‖_p^p < 0 for μ sufficiently large and ū≠0. The final inequality requires μ(1−γ_p)‖ū‖_p^p > ϱ2/2. No such quantitative lower bound on μ‖ū‖_p^p is proved. The preceding estimates (5.21)–(5.22) only give upper bounds of the form μ‖u_n‖_p^p + (p/4*)‖u_n‖_{4*}^{4*} ≤ ϱ1 and ‖Δu_n‖₂²+‖∇u_n‖₂² ≤ ϱ2; these are compatible with μ‖ū‖_p^p = o(1) as μ→∞, for instance if the limiting profile spreads or if its effective L² mass is much smaller than c. Since the weak limit ū depends on μ, the claim 'for μ sufficiently large' cannot be read off from γ_p−1<0 without a lower bound on μ‖ū‖_p^p. Thus the compactness premise of Lemma 5.9 is unsecured, and the proof of Theorem 1.5 does not close.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies normalized solutions of the focusing biharmonic Schrödinger equation with mixed dispersion and Sobolev critical growth, problem (1.1). For the L^2-subcritical perturbation 2<p<2+4/N and 0<c<c*, it claims a critical point of I restricted to V_r(c) with negative energy and negative Lagrange multiplier (Theorem 1.1), and multiplicity of such critical points for large μ (Theorem 1.2), with an analogous subcritical multiplicity result for the equation without the Laplacian term (Theorem 1.4). For the L^2-supercritical range p̄<p<4*, the paper claims, under dimension restrictions and for large μ, a nonnegative normalized solution u_{μ,c} with energy below (2/N)S^{N/4} and negative Lagrange multiplier (Theorem 1.5). The proofs are variational: truncation, concentration-compactness, genus theory, Pohožaev manifold, and mountain-pass arguments.","tokens_in":45801,"tokens_out":10373,"duration_ms":108404,"significance":"If correct, the paper would provide the first existence and multiplicity results for normalized solutions of a mixed-dispersion biharmonic NLS with Sobolev critical growth, extending earlier work of Ma–Chang and Chang et al. The subcritical part is supported by a coherent combination of established tools: a local Palais–Smale condition, concentration-compactness, and genus theory, with explicit threshold c* and quantitative energy bounds. The supercritical part contains an interesting novel mechanism for controlling the dispersion term in the mountain-pass level (Lemma 5.12). However, the supercritical existence theorem depends on a compactness lemma whose key sign estimate is not proved, and the paper's radial function space is defined inconsistently. These issues must be resolved before the claims can be accepted.","major_comments":[{"comment":"The proof that the limiting Lagrange multiplier is negative, λ̄<0, reduces to the inequality μ(1−γp)∥ū∥_p^p > ϱ2/2, but this inequality is nowhere established. The preceding estimates (5.21)–(5.22) are upper bounds on μ∥u_n∥_p^p + (p/4*)∥u_n∥_{4*}^{4*} and on ∥Δu_n∥_2^2+∥∇u_n∥_2^2; they are compatible with μ∥ū∥_p^p = o(1) as μ→∞, since the weak limit ū depends on μ. Consequently the phrase 'for μ sufficiently large' cannot be justified from γp−1<0 alone. This is load-bearing: the conclusion that the equation 0 = λ̄ lim_n ∥u_n−ū∥_2^2 after (5.39) forces strong L^2 convergence, and hence the normalization ∥ū∥_2^2=c in alternative (ii), uses only the sign of λ̄, and the final assertion λ_{μ,c}<0 also depends on this sign. Without a quantitative lower bound on μ∥ū∥_p^p, Lemma 5.9 does not close and Theorem 1.5 is not proved.","section":"§5, Lemma 5.9 (display after (5.25))"},{"comment":"The space H^2_r(R^N) is defined as the set of radially decreasing functions. Taken literally, this is not a linear subspace of H^2(R^N): the sum of two radially decreasing functions need not be radially decreasing, and multiplication by negative scalars fails. Therefore S_r(c)=S(c)∩H^2_r is not a C^1 manifold, is not symmetric under u↦−u, and the genus arguments in Section 4 (e.g., Lemma 4.3, where T_m is homeomorphic to S^{m−1} and is required to lie in V_r(c)) are not valid as written. The proofs require H^2_r to be the usual space of radial functions, with monotonicity used only in decay estimates. Please correct the definition or provide a justification that the set as defined carries the manifold and symmetry structure used throughout.","section":"§2, Eq. (1.11)"}],"minor_comments":[{"comment":"The proof is a single sentence invoking Lemmas 3.2 and 3.3. Since V_r(c) is not closed, the existence of a (PS)_{m*(c)} sequence at the infimum should be justified explicitly, for example by an Ekeland variational principle on a suitable complete subset, before applying the local Palais–Smale condition.","section":"Proof of Theorem 1.1"},{"comment":"The lemma statement contains an unresolved cross-reference: 'where λ_n is given in (?? below)'. Please replace this with the explicit formula or a displayed equation number.","section":"Lemma 5.9"},{"comment":"The symbol E is used for a constant in (3.2), while in Section 5 E denotes the product space H^2(R^N)×R. Using the same letter for two unrelated objects is confusing and should be fixed by renaming one of them.","section":"Section 3, Eq. (3.2)"}],"recommendation":"major_revision","confidential_remarks":"The two major issues are independent. The H^2_r definition is likely a typographical error that can be corrected editorially, but the gap in Lemma 5.9 is substantive: the supercritical theorem currently rests on an unproved lower bound on μ∥ū∥_p^p. If the authors cannot supply such an estimate, the supercritical result should be removed or substantially weakened; the subcritical results may be publishable on their own."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the mass-subcritical results are a real contribution, and the supercritical theorem has a genuine gap that a serious referee should not wave through.\n\nThe paper does something new in Theorems 1.1 and 1.2: for the mixed-dispersion biharmonic NLS with Sobolev critical growth, it proves existence and multiplicity of negative-energy normalized solutions when the perturbation is L2-subcritical (2 < p < 2 + 4/N). The truncation constraint V_r(c), the radial compactness argument, and the genus-based multiplicity argument are standard but used correctly. The comparison with Alves-Ji-Miyagaki is honest, and removing their extra assumptions is a real improvement. Theorem 1.4 extends the same multiplicity idea to the problem without the Laplacian term. I would treat the subcritical part as likely correct. The proof of Theorem 1.1 is terse, but that is a presentation issue, not a correctness issue.\n\nThe soft spot is Lemma 5.9 in the supercritical part, and it is load-bearing. To prove that the weak limit inherits the L2 normalization, the paper needs lambda-bar nonzero; it claims lambda-bar < 0. The displayed derivation after (5.25) reduces to the inequality mu(1-gamma_p)||u-bar||_p^p > rho_2/2. That inequality is simply not established. The preceding estimates give upper bounds compatible with mu||u-bar||_p^p decaying to zero as mu grows, and u-bar itself depends on mu. Without a quantitative lower bound, the sign of lambda-bar is undetermined. If lambda-bar = 0, then 0 = lambda-bar lim ||u_n - u-bar||_2^2 gives no L2 convergence, and Theorem 1.5 is not proven. The gap is isolated: the subcritical theorems do not use it, and the mountain-pass geometry and level estimate in Lemma 5.12 look sound.\n\nThis paper is for people working on normalized solutions of fourth-order NLS with mixed dispersion. The subcritical multiplicity result is worth citing, and the paper deserves a serious referee. My recommendation: send it to review, but make sure the referee focuses on Lemma 5.9 and asks for a rigorous proof of lambda-bar < 0, or for a compactness argument that does not need the sign. If that step cannot be fixed, Theorem 1.5 should be removed or marked as conditional.","headline":"Mass-subcritical results are solid and new; supercritical Theorem 1.5 has a real gap at the sign of lambda-bar in Lemma 5.9.","tokens_in":46431,"tokens_out":3947,"would_cite":true,"duration_ms":39856,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35A15","35J30","35J35","35J60"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves existence and multiplicity of normalized solutions to the focusing biharmonic Schrödinger equation with mixed dispersion and Sobolev critical growth, in both mass-subcritical and mass-supercritical regimes.","keywords":["normalized solutions","biharmonic Schrödinger equation","mixed dispersion","Sobolev critical growth","concentration-compactness","genus theory","mountain pass theorem","Lagrange multiplier"],"falsifier":"Take the (PS) sequence {u_n} built in Lemma 5.8 for N = 5, p = 5 at level m_r(c) < (2/N)$S^{{N/4}}$ and examine its weak limit ū; if μ(1−γp)∥ū∥_p^p ≤ ϱ₂/2 for some large μ, then the inequality driving λ̄ < 0 fails and the strong L² convergence asserted in Lemma 5.9 is not justified.","tokens_in":45121,"feed_emoji":"⚛️","tokens_out":8205,"duration_ms":79979,"temperature":0.7,"pith_summary":"The paper tries to establish that the equation Δ²u − Δu − λu = μ|u|^{p−2}u + |u|^{4*−2}u admits solutions with a prescribed L² mass c, where λ is a Lagrange multiplier rather than a preset parameter. In the mass-subcritical range 2 < p < 2 + 4/N and for small masses c < c*, it claims one negative-energy solution for every μ > 0, and for sufficiently large μ, at least m solution pairs with negative energy and negative λ. In the mass-supercritical range p̄ < p < 4*, under dimension-dependent restrictions on p and for large μ, it claims a non-negative solution with positive energy strictly below the critical threshold (2/N)$S^{{N/4}}$. If the arguments hold, these are among the first existence and multiplicity results for normalized solutions of the mixed-dispersion problem with Sobolev critical growth.","feed_headline":"Biharmonic NLS with Sobolev critical term has normalized solutions","feed_subtitle":"Small masses yield negative-energy states; large μ gives a supercritical positive-energy solution.","key_machinery":"In the subcritical regime the argument is carried by the truncated constraint Vr(c) = {u ∈ Sr(c) : ∥Δu∥₂² + ∥∇u∥₂² < r*²}, where r* comes from the auxiliary function hc(r) = (1/2)r² − (μ/p)C_{N,p}^p $c^{{p(1−γp)/2}}$ $r^{{pγp}}$ − (1/(4* $S^{{4*/2}}$)) $r^{{4*}}$; the condition c < c* makes hc positive on [0, r*), giving a bounded-below region in which a local Palais-Smale condition holds. Multiplicity is obtained through the genus minimax theorem on symmetric subsets of Vr(c). In the supercritical regime the load-bearing objects are the Pohožaev manifold Pr(c), the auxiliary scaled functional Ĩ(u,s) = I(H(u,s)) on H²(RN) × R, and the mountain-pass level γμ(c) = inf_{h∈Γ} max_t I(h(t)), shown to equal m_r(c) = inf_{Pr(c)} I. The extremal profile uε = ψUε built from the explicit solution of Δ²u = |u|^{4*−2}u supplies the energy estimate 0 < m_r(c) < (2/N)$S^{{N/4}}$, and a scaling-ratio estimate handling ∥∇u∥₂² is the device that controls the dispersion term.","core_discovery":"The central claim is that Problem (1.1) has normalized critical points of the functional I on the sphere S(c) in two regimes. For 2 < p < 2 + 4/N and 0 < c < c*, the restriction of I to the truncated radial set Vr(c) has a critical point with I(u) < 0 and Lagrange multiplier λ < 0, and for μ ≥ μm there are at least m distinct couples (uj, λj) with these properties, with energies tending to 0− as m grows. For p̄ < p < 4*, under the restrictions 5 ≤ p < 10 when N = 5, 4 < p < 6 when N = 6, 7/2 < p < 14/3 when N = 7, and p̄ < p < 4* when N ≥ 8, the paper claims that for large μ there is a non-negative solution uμ,c satisfying 0 < I(uμ,c) < (2/N)$S^{{N/4}}$ and λμ,c < 0. The paper also claims a multiplicity analogue for the biharmonic equation without the dispersion term Δu.","pith_inferences":["A natural check beyond the paper is whether the quantitative inequality μ(1−γp)∥ū∥_p^p > ϱ₂/2 genuinely holds for the weak limit produced by Lemma 5.8; if it fails for some large μ, the supercritical existence proof would need a different route to strong L² convergence.","The dimension-by-dimension restrictions in Theorem 1.5 mirror the decay of the ratio ∥∇uε∥₂²/∥uε∥_p^p as ε → 0; analogous energy estimates might extend the conclusion to other N and p whenever that ratio vanishes fast enough.","The threshold c* is expressed through the Gagliardo-Nirenberg constant C_{N,p}; making that constant quantitative would turn the existence interval c < c* into an explicit numerical range rather than an existential one.","The non-negativity argument at the end suggests that the supercritical solution is radial and non-negative; whether the same method yields signed or symmetry-breaking solutions is not addressed by the paper."],"forward_implications":["For every prescribed mass c < c*, the standing wave ψ(t,x) = e^{−iλt}u(x) exists with negative energy and λ < 0, so fixed-mass solutions are available in the subcritical focusing regime.","For each integer m, taking μ large enough yields at least m couples (uj, λj) of normalized critical points with negative energy and negative Lagrange multiplier; the energies of these critical points cluster at 0 from below as m increases.","In the supercritical regime, for the stated dimensions and exponent ranges and large μ, a non-negative normalized solution exists with energy below the critical value (2/N)S^{N/4}, so it lies below the threshold at which Sobolev concentration normally destroys compactness.","The truncation-and-genus route also produces multiplicity for the pure biharmonic equation without Δu, extending the earlier ground-state result to arbitrarily many solutions.","Because the supercritical solution lies on the Pohožaev manifold with positive energy, it is a mountain-pass-type critical point rather than a local minimum of the energy on the mass sphere."],"supporting_citations":[{"why":"Supplies the concentration-compactness lemma and the extremal-function estimates for the fourth-order critical equation.","marker":"[1]"},{"why":"Provides the truncation technique and genus-theoretic multiplicity framework that Theorems 1.1 and 1.2 adapt.","marker":"[2]"},{"why":"Establishes the normalized-solution framework for the mixed dispersion equation in the mass-critical and supercritical regimes and supplies the interpolation inequality used here.","marker":"[7]"},{"why":"Is the biharmonic combined-nonlinearity result that the supercritical part extends to mixed dispersion.","marker":"[11]"},{"why":"Supplies the auxiliary-scaling mountain pass construction used to produce the (PS) sequence for the supercritical theorem.","marker":"[15]"},{"why":"Provides the minimax theorem with genus used to count critical points in the subcritical theorem.","marker":"[16]"},{"why":"Gives the earlier ground-state normalized solution for the biharmonic equation with Sobolev critical growth that Theorem 1.4 extends to multiplicity.","marker":"[23]"},{"why":"Gives the mixed-dispersion ground-state result that the paper extends from ground states to existence and multiplicity for the same equation.","marker":"[24]"}],"fun_headline_variants":["Existence and multiplicity of normalized solutions to critical NLS","Normalized solutions found for Sobolev-critical biharmonic NLS","Mixed dispersion enables normalized solutions in critical regime","Sobolev-critical biharmonic NLS: normalized solutions via truncation","Multiplicity of normalized solutions for critical biharmonic NLS"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The supercritical existence theorem rests on the claim that the Lagrange multiplier of the weak limit is negative, and the proof needs a quantitative inequality involving the weak limit's L^p norm that the paper does not establish.","fun_headline_variants_meta":{"raw":{"variants":["Existence and multiplicity of normalized solutions to critical NLS","Normalized solutions found for Sobolev-critical biharmonic NLS","Mixed dispersion enables normalized solutions in critical regime","Sobolev-critical biharmonic NLS: normalized solutions via truncation","Multiplicity of normalized solutions for critical biharmonic NLS"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001025,"raw_usage":{"total_tokens":4418,"prompt_tokens":1139,"completion_tokens":3279,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":755,"completion_tokens_details":{"reasoning_tokens":3195}},"tokens_in":755,"tokens_out":3279,"duration_ms":20477,"temperature":1.0,"reasoning_tokens":3195,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T13:37:00.107239+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take the (PS) sequence {u_n} built in Lemma 5.8 for N = 5, p = 5 at level m_r(c) < (2/N)$S^{{N/4}}$ and examine its weak limit ū; if μ(1−γp)∥ū∥_p^p ≤ ϱ₂/2 for some large μ, then the inequality driving λ̄ < 0 fails and the strong L² convergence asserted in Lemma 5.9 is not justified.","supporting_citations":[{"cited_title":"Alves and J","cited_arxiv_id":null,"evidence_quote":"Supplies the concentration-compactness lemma and the extremal-function estimates for the fourth-order critical equation."},{"cited_title":"Multiplicity of normalized solutions for a Schr\\\"{o}dinger equation with critical growth in $\\mathbb{R}^{N}$","cited_arxiv_id":"2103.07940","evidence_quote":"Provides the truncation technique and genus-theoretic multiplicity framework that Theorems 1.1 and 1.2 adapt."},{"cited_title":"Bonheure, J.B","cited_arxiv_id":null,"evidence_quote":"Establishes the normalized-solution framework for the mixed dispersion equation in the mass-critical and supercritical regimes and supplies the interpolation inequality used here."},{"cited_title":"Existence and instability of standing waves for the biharmonic nonlinear Schroedinger equation with combined nonlinearities","cited_arxiv_id":"2305.00327","evidence_quote":"Is the biharmonic combined-nonlinearity result that the supercritical part extends to mixed dispersion."},{"cited_title":"Jeanjean and S.S","cited_arxiv_id":null,"evidence_quote":"Provides the minimax theorem with genus used to count critical points in the subcritical theorem."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the mixed-dispersion ground-state result that the paper extends from ground states to existence and multiplicity for the same equation."}],"review_version":1}