{"id":"72f4889b-5142-4867-a1a0-6369835adcff","arxiv_id":"2607.11132","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Refined inverse-reduction blow-up analysis classifies one-bubble Struwe decompositions of the Brezis-Nirenberg equation for N≥4 and proves least-energy sign-changing solutions exist at every eigenvalue in 4D.","lead":"This paper classifies the precise blow-up profiles of solutions to the Brezis-Nirenberg equation in the one-bubble regime for dimensions N≥4 as the parameter approaches eigenvalues. It then uses the classification to prove that least-energy sign-changing solutions exist for every positive λ, including at eigenvalues of the Laplacian, in four dimensions.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates the expansions of the orthogonal conditions as the technically most delicate step. Those expansions are, however, derived directly from the equation by testing against the projected kernels and using only the already-established size of the remainder (Lemmas 4.2 and 5.1) together with the elementary integral estimates of Lemma 7.1. All error terms are tracked by powers of κ_ε and β_ε and are shown to be of strictly lower order in each of the four regimes needed for the existence argument. The energy identity (6.4)–(6.5) then follows at once, and the test-function construction (with the obvious correction of the index range) produces a strictly smaller upper bound. Because the orders close, the classification is complete and the compactness argument at every eigenvalue is rigorous. No adjustment of the ACCEPT verdict is required.","tokens_in":59876,"tokens_out":606,"duration_ms":57762,"concrete_test":"Insert the explicit boundary rates of Theorem 1.3(b2) (μ_ε∼e^{-1/√ε}, β_ε∼ε^{-3/4}e^{-1/√ε}, d(ξ_ε,∂Ω)∼ε^{1/4}) into every error term of Proposition 4.1; confirm that each is o(μ_ε^{2}|log μ_ε|). If any error is only O(μ_ε^{2}|log μ_ε|), the energy lower bound (6.5) fails and the contradiction with the test-function upper bound collapses.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (existence of least-energy sign-changing solutions for every λ>0 when N=4) rests on the one-bubble classification in Theorems 1.3–1.5. Those theorems are obtained by successively removing projections onto the bubble kernels and the eigenspace of λ_k, then expanding the resulting orthogonal conditions (Propositions 4.1 and 5.2) to second/third order. The expansions control every error term by the distance-to-boundary parameter κ_ε and the L^∞/H^{1} size of the remainder; the orders remain strictly smaller than the retained leading terms in every regime (interior/boundary, ε→0^{+}/0^{-}, N=4/5/≥6). Consequently no unforeseen higher-order cancellation can appear that would invalidate the location/rate conclusions or the energy contradiction used in Section 6. The only typographical slip (the range of indices in the definition of v_ε on p. 45) is harmless: the explicit formula for the coefficients ϱ_{j,l} shows that the low modes are cancelled, placing v_ε correctly in Y_k.","agreement_with_reader":"partial"},"referee_report":{"model":"grok-4.5","summary":"The paper studies the Brezis–Nirenberg equation −Δu=λu+|u|^{4/(N−2)}u in a smooth bounded domain Ω⊂R^N (N≥4). Using a refined inverse-reduction argument, it gives a complete classification of one-bubble Struwe decompositions of solutions with energy at most S^{N/2} as λ approaches a positive limit (Theorems 1.3–1.5). The classification distinguishes interior/boundary concentration, the sign of ε=λ−λ_k, and dimensions N=4,5 versus N≥6, and identifies the concentration point as a singular point of a linear combination of eigenfunctions (or gives precise rates when the point is regular). As an application, the authors prove that for N=4 the equation admits a least-energy sign-changing solution for every λ>0 (Theorem 1.2), including at every eigenvalue λ_k∈σ(−Δ), thereby completing the existence theory for N≥4 that had remained open at eigenvalues since the mid-1980s.","tokens_in":60107,"tokens_out":849,"duration_ms":15768,"significance":"The existence statement for N=4 at eigenvalues closes a classical gap left open by Capozzi–Fortunato–Palmieri, Cerami–Fortunato–Struwe, Clapp–Weth, Szulkin–Weth–Willem and subsequent works. The refined one-bubble classification (second- and third-order expansions of the orthogonal conditions after successive projections onto bubble kernels and the eigenspace) is of independent interest for critical problems and for sign-changing blow-up analysis on domains and manifolds. The argument is self-contained once the Wang–Wei inverse-reduction framework and the classical non-degeneracy of Aubin–Talenti bubbles are granted; the new expansions and the energy-test-function constructions used in the compactness argument of Section 6 are derived independently of the final existence claim.","major_comments":[],"minor_comments":[{"comment":"Abstract and title page: “fist time” should be “first time”; several other minor spelling slips appear (e.g., “the fist time” in the abstract body).","section":null},{"comment":"Page 45 (proof of Theorem 1.2, Step 2): the definition of the test function v_ε writes the sum over low modes with an index range that is slightly inconsistent with the subsequent claim that v_ε lies in Y_k; the explicit formula for the coefficients ϱ_{j,l,ε} already cancels those modes, so the construction is correct, but the written range should be aligned with Y_k=⊕_{j≥k+1} Ξ_j for readability.","section":null},{"comment":"Throughout Sections 4–5 the constants D_{N,i} are introduced at the moment of use; a short table or a single list in the preliminaries would help the reader track which integral appears in which expansion.","section":null},{"comment":"In Theorem 1.3(b2) and the corresponding rate statements, the normal derivative ∂_ν E_0^* is written without an explicit orientation convention; a one-line clarification that ν is the outward unit normal would remove any ambiguity.","section":null},{"comment":"References: a few arXiv preprints cited as “to appear” or with only arXiv numbers could be updated if journal versions are already available; this is purely bibliographic.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is long and technical but the logical chain is complete and the estimates are written with explicit remainders differentiated by dimension and by the sign of ε. I see no load-bearing gap. The result is a natural fit for a top analysis journal; the only reason I would not push for “accept as is” is the usual copy-editing of typos. No concerns about novelty disclosure or citation pattern."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This paper closes a genuine gap that has sat open since Capozzi–Fortunato–Palmieri: for smooth bounded domains in four dimensions the Brezis-Nirenberg equation has a least-energy sign-changing solution at every eigenvalue (and in fact for every λ>0). The route is a complete classification of one-bubble Struwe decompositions as λ approaches any eigenvalue from either side (Theorems 1.3–1.5).\n\nWhat is new is the refined inverse-reduction analysis. After the usual orthogonal decomposition onto the bubble kernels, they project further onto the eigenspace of λ_k, expand the resulting orthogonal conditions to second order (Proposition 4.1), and, when a leading-term cancellation appears for λ\toλ_k^-, construct an auxiliary eigenfunction correction and expand once more to third order (Proposition 5.2). The expansions keep every remainder strictly smaller than the retained terms, uniformly in the interior/boundary and N=4/5/≥6 regimes. The energy contradiction that rules out blow-up for the least-energy sequences then follows by a carefully chosen test function that sits in the correct Pankov–Nehari manifold. The argument is long but standard for the field and free of free parameters or circularity; the Wang–Wei framework and the classical non-degeneracy of Aubin–Talenti bubbles are used cleanly as black boxes.\n\nThe only soft spot worth flagging is that the whole existence statement rests on those expansions remaining non-degenerate after every possible cancellation involving the eigenfunction projection and the Robin function. The stress-test note is right that the written error terms already dominate any higher-order remainder that could appear, so the risk is low, but it is still the load-bearing step. A minor index slip on page 45 is harmless once the coefficients are written out.\n\nThis is for people who work on critical elliptic equations and blow-up analysis. Anyone who has followed the 4D existence literature will want the classification theorems even if they never care about the existence corollary. I would send it to referees without hesitation; the technical core is solid and the gap it fills is real.","headline":"Solid classification of one-bubble Struwe profiles that finally settles least-energy sign-changing existence at every eigenvalue for the 4D Brezis-Nirenberg problem.","tokens_in":60734,"tokens_out":557,"would_cite":true,"duration_ms":9202,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B33","35B40","35B44","35J15"],"pacs":[],"model":"grok-4.5","headline":"A complete one-bubble classification for the Brezis-Nirenberg equation yields least-energy sign-changing solutions in four dimensions for every positive λ, including every eigenvalue.","keywords":["Brezis-Nirenberg equation","Struwe decomposition","refined blow-up analysis","sign-changing solution","inverse reduction argument","least energy","critical Sobolev exponent","one-bubble case"],"falsifier":"Exhibit a smooth bounded domain in dimension 4 and an eigenvalue λ_k for which a least-energy nodal sequence still blows up (energy strictly less than S^{2}/4 yet non-compact), or construct a one-bubble solution whose concentration point and rates violate the singular-point/rate conclusions of Theorems 1.3–1.5.","tokens_in":60778,"feed_emoji":"△","tokens_out":1133,"duration_ms":18389,"temperature":0.7,"pith_summary":"The Brezis-Nirenberg equation is a classic critical-exponent elliptic problem whose existence theory for positive solutions is essentially settled, but whose sign-changing solutions still had gaps at eigenvalues when the dimension is four. This paper supplies a refined blow-up analysis that fully classifies every possible one-bubble Struwe decomposition as the parameter λ approaches any positive limit, including eigenvalues. The classification forces minimizing sequences of least-energy sign-changing solutions to remain compact at every eigenvalue, producing a least-energy nodal solution for every λ > 0 when N = 4. The same analysis recovers the known existence picture for N ≥ 5 and supplies precise concentration rates and locations (interior singular points of eigenfunctions or boundary points). The result closes a forty-year gap in the existence theory for N ≥ 4.","feed_headline":"4D Brezis-Nirenberg gains nodal solutions at every eigenvalue","feed_subtitle":"A full one-bubble classification forces compactness of least-energy sequences for all λ > 0","key_machinery":"The refined inverse-reduction expansion of the remainder after projection onto bubble kernels and the eigenspace of the limiting eigenvalue (Propositions 4.1 and 5.2), which produces non-degenerate second- and third-order identities that locate the concentration point and determine the precise vanishing rates of μ_ε and the eigenfunction amplitudes.","core_discovery":"For N ≥ 4 every solution that blows up with a single bubble and uniformly bounded energy must, after a refined orthogonal decomposition that removes both bubble kernels and eigenfunction projections, concentrate at a singular point of a linear combination of eigenfunctions belonging to the limiting eigenvalue, with explicitly computed rates for the bubble scale μ_ε and the eigenfunction coefficients; when N = 4 the classification implies that least-energy nodal minimizers remain compact at every eigenvalue, yielding a least-energy sign-changing solution for all λ > 0.","pith_inferences":["The same refined expansion should extend, with only technical changes, to the multi-bubble Struwe decomposition and thereby control higher-energy nodal solutions.","Because the classification is local near each concentration point, analogous statements are expected for the Yamabe-type equation on compact manifolds with boundary when the parameter approaches an eigenvalue of the conformal Laplacian.","The non-degeneracy of the secondary matrix (1.19) for simple eigenvalues suggests that generic domains admit only the singular-point concentration scenario of Theorem 1.5.","The boundary-concentration rates obtained for N = 4 open a concrete route to construct solutions that bubble at the boundary when the eigenfunction changes sign near ∂Ω."],"forward_implications":["In every smooth bounded domain in R^{4} the Brezis-Nirenberg equation admits a least-energy sign-changing solution for every λ > 0, including every eigenvalue of -Δ.","The least-energy function m_sg(λ) is continuous and strictly decreasing on each interval (λ_i, λ_{i+1}], with explicit limits at the endpoints that complete the variational picture.","The same classification rules out one-bubble blow-up for N ≥ 6 under the energy bound S^{N/2}, recovering and sharpening known non-existence statements.","Precise asymptotic rates (μ_ε \to 0 and eigenfunction amplitudes) become available for any future construction or uniqueness argument near eigenvalues.","The method supplies a template for classifying one-bubble sign-changing solutions of other critical equations on domains or manifolds."],"fun_headline_variants":["One-bubble Struwe classification for Brezis-Nirenberg, N≥4","Refined blow-up forces one-bubble rates and eigenfunction limits","N=4 Brezis-Nirenberg least-energy solutions exist at every eigenvalue","Compactness of one-bubble sequences yields nodal solutions for all λ>0","Full one-bubble decomposition of Brezis-Nirenberg for N≥4"],"cache_read_input_tokens":49280,"weakest_assumption_plain":"The second- and third-order expansions of the orthogonal conditions remain free of unexpected higher-order cancellations involving the eigenfunction projection and the Robin function on every smooth domain.","fun_headline_variants_meta":{"raw":{"variants":["One-bubble Struwe classification for Brezis-Nirenberg, N≥4","Refined blow-up forces one-bubble rates and eigenfunction limits","N=4 Brezis-Nirenberg least-energy solutions exist at every eigenvalue","Compactness of one-bubble sequences yields nodal solutions for all λ>0","Full one-bubble decomposition of Brezis-Nirenberg for N≥4"]},"model":"grok-4.5","effort":"low","cost_usd":0.002894,"raw_usage":{"total_tokens":1143,"prompt_tokens":895,"num_sources_used":0,"completion_tokens":89,"cost_in_usd_ticks":28940000,"prompt_tokens_details":{"text_tokens":895,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":159,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":895,"tokens_out":89,"duration_ms":2340,"temperature":1.0,"reasoning_tokens":159,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-14T06:49:33.339738+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Exhibit a smooth bounded domain in dimension 4 and an eigenvalue λ_k for which a least-energy nodal sequence still blows up (energy strictly less than S^{2}/4 yet non-compact), or construct a one-bubble solution whose concentration point and rates violate the singular-point/rate conclusions of Theorems 1.3–1.5.","supporting_citations":[],"review_version":1}