{"id":"70e30c72-7639-4295-a19b-6bac95700e1a","arxiv_id":"2506.18057","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Global well-posedness of strong solutions for the planar MHD system without heat conductivity is established for arbitrary large initial data allowing far field vacuum.","lead":"This paper proves that the planar magnetohydrodynamics system without heat conductivity has a unique global strong solution for large initial data, even when the density has empty regions or vanishes far away. It introduces a new analytical tool for handling vacuum in magnetic fluid equations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Far-field limits in deriving (2.2) are assumed, not proved; the J-lower bound and h-estimate rest on this gap.","rationale":"After checking the main estimates, the central claim appears coherent. Lemma 2.5's representation (2.5) has a small algebraic slip: the initial term should carry e^{∫(A(t)−A(0))}, not e^{∫A(t)}; since |∫A(0)| is bounded by (2.6), this is harmless. The far-field decay is more substantial because it is used before any h/P estimates are available and is not a consequence of Definition 1.1 as stated. Nevertheless, the gap is closable: u_y/J∈L^2 gives a sequence with vanishing boundary values, and the time-derivative commutation follows from the integrability of ρ0u_t. Thus the concern does not invalidate the theorem, but it supports the reader's CONDITIONAL verdict: the paper should state and prove the far-field regularity lemma needed for (2.2). I agree with the reader's identification of the weakest assumption and do not see a need to change the verdict.","tokens_in":19153,"tokens_out":29955,"duration_ms":277751,"concrete_test":"Derive (2.2) using only the regularity in Definition 1.1: for each t, pick z_n→−∞ with (u_y/J)(z_n,t)→0 (possible because u_y/J∈L^2), and use h,P∈C([0,T];H^1), J−1∈C([0,T];H^1) to get h(z_n,t), P(z_n,t), J(z_n,t)−1→0. Then verify ∂_t∫_{−∞}^y ρ0u dx = ∫_{−∞}^y ρ0u_t dx by mollification or by using ρ0u∈L∞(0,T;L^1) and ρ0u_t∈L^1((0,T)×R). If both steps hold, the derivation of (2.2) is sound and Lemma 2.5 is safe; if either fails, the proof needs an additional decay lemma before the h-estimate.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weakest link is the unproved far-field decay used to pass from the integrated momentum equation to (2.2). In Lemma 2.5 the authors integrate (1.3)_2 over (z,y), let z→−∞, and assume J→1, u_y→0, h→0, P→0. From Definition 1.1, h(·,t), P(·,t), and J(·,t)−1 are in H^1, so their pointwise decay is fine, but u_y(·,t) is only in L^2; an L^2 function need not tend to 0 at −∞ pointwise, and the boundary term λ(u_y/J)(z) requires a separate argument, for example a subsequence along which it vanishes. The passage also needs ∂_t∫_{−∞}^y ρ0u dx = ∫_{−∞}^y ρ0u_t dx, which is not explicitly justified from √ρ0u_t∈L^2(0,T;L^2) and ρ0∈L^1. Equation (2.2) is then used both to prove the J-lower bound (Lemma 2.3, whose proof is omitted and cited to [18]) and to obtain the dissipative estimate on h that drives Lemma 2.5; if the boundary terms do not vanish, the entire a priori estimate chain lacks a foundation. The issue looks repairable, but as written it is an asserted regularity property rather than a consequence of the stated solution class.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the planar compressible MHD system with constant viscosity and resistivity and zero heat conductivity, reformulated in Lagrangian coordinates. Under initial data with finite mass, nonnegative bounded density, finite energy, and suitable regularity of the velocity, magnetic field, and pressure, the authors prove global existence and uniqueness of strong solutions allowing far-field vacuum, point-like vacuum, and density discontinuities. The novelty is a set of a priori estimates that avoid the entropy-type energy inequality; the key step is a new coupling between the longitudinal velocity and the transverse magnetic field, which yields a dissipative estimate on h through an integrated version of the momentum equation. The proof structure is local existence (quoted from prior work), a chain of a priori estimates in Section 2, and a bootstrap argument in Section 3 to rule out finite-time blow-up.","tokens_in":19399,"tokens_out":20724,"duration_ms":214497,"significance":"If the proof is completed as written, the result is a meaningful extension of the global well-posedness theory for planar MHD to the case with far-field vacuum, zero heat conductivity, and positive resistivity, for large data. The paper also covers discontinuous densities and interior vacuum, going beyond earlier works that require positive lower bounds on density or only handle point-like vacuum. The main technical contribution, the ODE-based estimate for J|h|^2 using the integrated momentum equation, is clearly presented and appears valid. The manuscript is honest about which lemmas are quoted from previous papers, and the dependence of constants on the data and T is stated explicitly; no free parameters or ad-hoc assumptions are introduced. The central a priori estimates in Lemmas 2.5-2.10 are derived in detail, and the bootstrap argument in (2.40)-(2.41) closes correctly.","major_comments":[{"comment":"The derivation of the key identity (2.2) needs an explicit justification of the passage to the limit z -> -infinity. The authors write 'noticing that J->1, u_y->0, h->0, and P->0, as z->-infinity', but this is not immediate from the stated solution class: u_y is only in L^infinity(0,T;L^2) cap L^2(0,T;H^1), so pointwise decay holds only for almost every t and should be deduced from u_y/J in H^1, which in turn uses the equation or the H^1 regularity in Definition 1.1. In addition, the equality d/dt integral_-infinity^y rho0 u dx = integral_-infinity^y rho0 u_t dx should be justified using rho0 in L^1 cap L^infinity and sqrt(rho0)u_t in L^2. Since (2.2) is used not only in Lemma 2.5 but also in Lemma 2.7 and indirectly in Lemma 2.8, this missing justification is load-bearing; however, it is repairable by adding a short argument.","section":"Section 2, Lemma 2.5, Eq. (2.2)"},{"comment":"Lemmas 2.2, 2.3, and 2.4 are quoted from [18] with no proof, and Lemma 2.1 is quoted from [17,18,20]. Because the present system has positive resistivity nu>0, while [18] treats the non-resistive case, the authors should state explicitly that the resistive terms do not affect the proofs of these lemmas, or reproduce the short arguments. In particular, Lemma 2.3 (the lower bound on J) is used throughout the later estimates, and its proof is not available to the reader in the present manuscript. This is a completeness issue for a central ingredient, though it can be resolved by a precise reference or a few lines of proof.","section":"Section 2, Lemmas 2.2-2.4"}],"minor_comments":[{"comment":"The phrase 'can neither disappear nor formulate' should read 'can neither disappear nor form'.","section":"Section 1, Remark 1.1(ii)"},{"comment":"There is a typo: 'simper one' should be 'simpler one'.","section":"Section 1, line after (1.1)"},{"comment":"In (2.16) the integration variable in 'JF·h|h|^2 dx' should be dy, and in (2.18) the variable x in 'A(x,t)' and 'dx' should be y; the integrals are over y.","section":"Section 2, Eq. (2.16) and (2.18)"},{"comment":"The identity -1/2 integral u_y|F|^2 dy = integral u F_y·F dy is used without discussing boundary terms; since u is not known to be in H^1 at this stage, a one-sentence justification (or an alternative estimate using ||u_y||_2||F||_infinity^2) would make the proof self-contained.","section":"Section 2, Lemma 2.6"},{"comment":"The time variable t is used both as the upper limit of integration and as a free variable in sup_{0<=s<=t} and in sqrt(phi(t)); the notation should be made uniform to avoid ambiguity.","section":"Section 2, Eq. (2.36) and (2.41)"}],"recommendation":"major_revision","confidential_remarks":"The paper is technically substantial and the main estimates appear sound. The required revisions are limited: the authors need to supply the missing justifications for the far-field limit in (2.2), clarify the transfer of Lemmas 2.2-2.4 from the non-resistive paper [18], and clean up a few presentation issues. I do not see grounds for rejection; the concerns raised by the stress-test are real but repairable within the scope of the manuscript."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Absent heat conductivity, the standard entropy-type estimate is incompatible with far-field vacuum. This paper avoids it by coupling u and h: the momentum equation is used to express u_y/J as a time derivative plus pressure and |h|^2 terms, and then J|h|^2 is solved as a linear ODE. That yields the missing h-dissipation. The result is global strong solvability for arbitrary large data with finite mass, allowing far-field and interior vacuum, with constant viscosity and resistivity. This closes a gap between the zero-resistivity result (same authors, Li–Li 2022) and the heat-conductive positive-resistivity line of work.\n\nI checked the main estimates. Lemma 2.5 is the crux; the algebra in (2.2), (2.5), (2.7)–(2.11) is coherent. Lemma 2.8's bootstrap (2.40)–(2.41) closes, and the higher-integrability argument in Lemma 2.7 is a nice piece of work. The proof is long but structured: the effective viscous fluxes F and G do the heavy lifting, as expected.\n\nThe one point that looks like a gap is not actually one. In deriving (2.2), the authors integrate the momentum equation and pass z→−∞, relying on J→1, u_y→0, h→0, P→0. A stress-test note worries that u_y is only L^2, so pointwise decay is not automatic. But the solution class includes u_y ∈ L^2(0,T;H^1), so for almost every t, u_y(t) ∈ H^1 and hence vanishes at infinity. Same for the other terms. The ∂_t / integral interchange is fine because ρ0 u_t ∈ L^1(0,T;L^1). A sentence in the paper would have saved readers this check, but the step is justified by the stated regularity.\n\nMinor caveats: Lemmas 2.1–2.4 are quoted, not reproved, from the authors' earlier papers. That is standard practice and the cited results are published. The constants are T-dependent, so long-time behavior is not addressed; the authors say so in Remark 1.1(iii). The citation pattern is appropriate, and the self-citation here points to genuinely prior work.\n\nThis is a solid paper for the compressible-MHD and vacuum-regularity community. The u–h coupling trick should be reusable elsewhere. I recommend peer review, with a request to make the far-field decay step explicit and to state that u_y(t) ∈ H^1 for a.e. t. No fundamental obstacle.","headline":"Global well-posedness for resistive planar MHD without heat conduction, with far-field vacuum, rests on a new u–h coupling that works; the proof is sound and the only flagged gap is covered by the stated solution regularity.","tokens_in":19965,"tokens_out":5817,"would_cite":false,"duration_ms":58001,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["76N10","35D35","76N06"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves global strong solvability for the planar MHD system without heat conductivity, allowing far-field, point-like, and piecewise vacuum.","keywords":["planar magnetohydrodynamics","global well-posedness","strong solutions","vacuum","far field vacuum","zero heat conductivity","effective viscous flux","Cauchy problem"],"falsifier":"A finite-mass initial datum satisfying the theorem's hypotheses whose solution has a non-vanishing limit of $h$ or $P$ at $-\\infty$, or violates $J\\to 1$, would break identity (2.2) and with it Lemma 2.5. Concretely, one could evaluate the boundary terms in the derivation of (2.5) for a compactly supported density and check numerically or analytically whether they vanish.","tokens_in":18897,"feed_emoji":"🧲","tokens_out":7069,"duration_ms":66850,"temperature":0.7,"pith_summary":"The paper proves that the planar magnetohydrodynamic system with constant viscosity and resistivity but zero heat conductivity has a unique global strong solution for arbitrarily large initial data of suitable smoothness, even when the density vanishes in the far field, at a point, or on pieces. This matters because a finite-mass fluid on an unbounded domain necessarily contains far-field vacuum, while earlier global-existence results typically required a positive lower bound on density or a heat-conductivity law incompatible with that regime. The proof treats the usual entropy-type energy inequality as unusable and replaces it with a coupling between the longitudinal velocity and the transverse magnetic field that supplies the missing dissipation on the magnetic field.","feed_headline":"Zero-heat-conduction MHD has global solutions even with vacuum","feed_subtitle":"A velocity–magnetic-field coupling supplies the dissipation that entropy estimates cannot.","key_machinery":"The load-bearing identity is $\\frac{u_y}{J}=\\frac{1}{\\lambda}(\\partial_t\\int_{-\\infty}^y \\rho_0 u\\,dx + P + \\frac{|h|^2}{8\\pi})$, derived by integrating the momentum equation from $-\\infty$ under the assumed far-field decay $J\\to 1$, $u_y\\to 0$, $h\\to 0$, $P\\to 0$. Inserting it into the magnetic-field equation converts $(J|h|^2)_t$ into an ODE whose exponential factor is controlled by the finite mass, giving the missing $L^2(0,T;L^2)$ estimate on $h_y/\\sqrt{J}$. The same mechanism, together with the effective viscous fluxes $F=\\mu w_y/J + h/(4\\pi)$ and $G=\\lambda u_y/J - P - |h|^2/(8\\pi)$, then propagates estimates for $F$, $G$, the pressure, and the Jacobian $J$.","core_discovery":"The central claim, stated as Theorem 1.1, is existence and uniqueness of a global strong solution to the Lagrangian planar MHD system (1.3)–(1.4) for initial data satisfying $\\rho_0\\in L^1$, $0\\le \\rho_0\\le \\bar{\\rho}$, $J_0\\equiv 1$, $(\\sqrt{\\rho_0}u_0,\\sqrt{\\rho_0}w_0,u_0',w_0')\\in L^2$, $h_0\\in H^1$, and $0\\le P_0\\in L^1$, $P_0'\\in L^2$. No smallness of the data is required, and the density may be discontinuous or have point-like or piecewise vacuum. The proof is a chain of a priori estimates that avoids the entropy-type energy estimate, which is inconsistent with far-field vacuum under the ideal gas law, and closes instead through a new dissipative estimate on the transverse magnetic field.","pith_inferences":["Beyond the paper, the same integral identity for $u_y/J$ may transfer to other one-dimensional fluid models—for example with degenerate heat conduction or density-dependent viscosity—wherever the momentum equation can still be integrated from the vacuum end.","The proof suggests that far-field vacuum is not an obstacle once entropy-type estimates are abandoned, so an analogous global result may hold for symmetric multi-dimensional planar flows that preserve the one-dimensional structure.","A concrete numerical test of the ODE representation (2.5) for compactly supported densities could show whether the boundary cancellation at $-\\infty$ survives perturbations, indicating how robust the magnetic-field estimate is."],"forward_implications":["Global existence and uniqueness hold for arbitrarily large initial data in the stated regularity classes, so no smallness condition is needed.","Far-field vacuum, point vacuum, and piecewise vacuum are all admissible; density discontinuities propagate along particle paths, and vacuum regions neither appear nor disappear.","Zero heat conductivity does not block global solvability when resistivity is positive: the magnetic field's dissipation is recovered from the velocity–field coupling rather than from an entropy inequality.","Because the estimates depend on the time horizon, no large-time asymptotic behavior follows from this theorem."],"supporting_citations":[{"why":"Supplies the effective viscous fluxes F and G and the a priori estimate framework that this paper adapts and extends.","marker":"[18]"},{"why":"Introduces the Lagrangian reformulation with the Jacobian J and the entropy-bounded solution framework for far-field vacuum used here.","marker":"[20]"},{"why":"Establishes global well-posedness for non-heat-conductive compressible Navier-Stokes in one dimension, providing the local and global machinery generalized here.","marker":"[17]"},{"why":"Introduced the entropy-type energy estimate that this paper identifies as incompatible with far-field vacuum.","marker":"[28]"},{"why":"Provides the companion treatment of the heat-conductive case with far-field vacuum and the underlying Lagrangian setup.","marker":"[21]"},{"why":"Derives the planar MHD system and supplies a baseline global well-posedness result under positive density and heat-conduction assumptions.","marker":"[32]"}],"fun_headline_variants":["MHD without heat conduction: global solutions even with vacuum","Planar MHD without heat: global well-posedness for large data","No heat conductivity, no smallness: global MHD well-posedness","Global MHD solutions without heat, vacuum allowed","New coupling enables global MHD solutions without heat"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole estimate chain depends on the unproven far-field behavior $J\\to 1$, $u_y\\to 0$, $h\\to 0$, and $P\\to 0$ as $y\\to-\\infty$ when the momentum equation is integrated to obtain identity (2.2); if that decay fails, the magnetic-field dissipation estimate collapses.","fun_headline_variants_meta":{"raw":{"variants":["MHD without heat conduction: global solutions even with vacuum","Planar MHD without heat: global well-posedness for large data","No heat conductivity, no smallness: global MHD well-posedness","Global MHD solutions without heat, vacuum allowed","New coupling enables global MHD solutions without heat"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000295,"raw_usage":{"total_tokens":1701,"prompt_tokens":921,"completion_tokens":780,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":537,"completion_tokens_details":{"reasoning_tokens":695}},"tokens_in":537,"tokens_out":780,"duration_ms":7280,"temperature":1.0,"reasoning_tokens":695,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T18:56:01.646451+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A finite-mass initial datum satisfying the theorem's hypotheses whose solution has a non-vanishing limit of $h$ or $P$ at $-\\infty$, or violates $J\\to 1$, would break identity (2.2) and with it Lemma 2.5. Concretely, one could evaluate the boundary terms in the derivation of (2.5) for a compactly supported density and check numerically or analytically whether they vanish.","supporting_citations":[{"cited_title":"Differential Equations,316(2022), 136–157","cited_arxiv_id":null,"evidence_quote":"Supplies the effective viscous fluxes F and G and the a priori estimate framework that this paper adapts and extends."},{"cited_title":"Math.,361(2020), 106923, 50 pp","cited_arxiv_id":null,"evidence_quote":"Introduces the Lagrangian reformulation with the Jacobian J and the entropy-bounded solution framework for far-field vacuum used here."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes global well-posedness for non-heat-conductive compressible Navier-Stokes in one dimension, providing the local and global machinery generalized here."},{"cited_title":"S.; Durmagambetov, A","cited_arxiv_id":null,"evidence_quote":"Introduced the entropy-type energy estimate that this paper identifies as incompatible with far-field vacuum."},{"cited_title":"Pure Appl","cited_arxiv_id":null,"evidence_quote":"Provides the companion treatment of the heat-conductive case with far-field vacuum and the underlying Lagrangian setup."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Derives the planar MHD system and supplies a baseline global well-posedness result under positive density and heat-conduction assumptions."}],"review_version":2}