{"id":"da9e2cdc-11b0-4cbe-bcc9-5ae2b85cd8d0","arxiv_id":"1908.02636","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Global weak solutions for 2D and 3D MHD with time-dependent magnetic boundary data, with 2D strong solutions and a uniform attractor.","lead":"This paper proves global existence of weak solutions to the magnetohydrodynamic equations in two and three dimensions, and global strong solutions plus a uniform attractor in two dimensions, when the magnetic field obeys a time-dependent boundary condition. The interest is that the boundary data change over time, which breaks the standard energy law and requires new estimates.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Weak-solution uniqueness proof uses the nonzero-trace magnetic difference as a test function, producing an H^{-1/2} boundary term that the weak solution class does not justify.","rationale":"The paper contains substantial and largely coherent existence machinery: the semi-Galerkin scheme, the lifting estimates in Lemmas 2.2-2.3, and the energy inequality (3.22) are all directed at the genuinely nontrivial time-dependent boundary condition. The reader's stated weakest assumption concerned lifting regularity, which is plausible and not where I find the sharpest problem. The most concrete obstruction to the central claim as written is in the uniqueness proof: testing the magnetic-field difference directly is illegal because that difference has nonzero boundary trace, and the resulting boundary integral is controlled with a regularity that the weak solution class does not supply. This is a real proof gap, but it is likely repairable by testing with a parabolic lift of the boundary difference. For that reason I do not move the verdict from the reader's CONDITIONAL assessment; the paper should not be accepted unconditionally until either this test-function step is justified or the argument is rewritten with an admissible test function.","tokens_in":27455,"tokens_out":18348,"duration_ms":192833,"concrete_test":"Use the parabolic lift \\bar h_p and re-derive the difference estimate with \\tilde b = \\bar b - \\bar h_p. If the computation reproduces (3.28) with only controlled boundary-data terms, the uniqueness proof can be repaired; if an uncontrolled term such as ||∂_t \\bar h_p||_{L^2(H^{-1/2})} appears, the uniqueness claim as written is not correct.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of uniqueness and continuous dependence for the 2D weak solutions (Theorem 3.1) is not justified as written. In (3.29)-(3.28), the magnetic-field difference \\bar b = b^{(1)} - b^{(2)} is used as a test function, but \\bar b has trace \\bar h on Γ, so it does not belong to the space V of admissible test functions with zero boundary trace. Multiplying the \\bar b-equation by \\bar b produces the boundary integral K3 = ∫_Γ ∂_ν \\bar b · \\bar h ds. The paper estimates K3 by ||∂_ν \\bar b||_{H^{-1/2}(Γ)} ||\\bar h||_{H^{1/2}(Γ)}; however, the weak solution class (L^∞(L^2) ∩ L^2(H^1)) does not provide a normal-derivative trace in H^{-1/2}, so this step does not follow from the established regularity. Consequently, the displayed estimate (3.28) is not established, and the statement in Theorem 1.1 that the global weak solution is unique is not fully proved as written. The standard repair is to test the difference equation with \\bar b - \\bar h_p, where \\bar h_p is a parabolic lift of \\bar h with zero initial and boundary data, but this repair is not present in the paper.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the incompressible MHD system (1.1) in a smooth bounded domain Ω⊂R^n, n=2,3, with no-slip velocity boundary condition and time-dependent Dirichlet boundary data h for the magnetic field. It introduces elliptic and parabolic lifting functions for h and proves three main results: Theorem 1.1 gives global weak solutions with (u,b)∈L∞(H×L^2)∩L^2(V×H^1) under h∈L^{q_n}(H^{1/2}), ∂_t h∈L^2(H^{-1/2}), plus uniqueness for n=2; Theorem 1.2 gives global strong solutions in 2D with (u,b)∈L∞(V×H^1)∩L^2(H^2×H^2) under higher boundary regularity; Theorem 1.3 constructs a uniform attractor in V×H^1 for the solution process. The proofs use a semi-Galerkin approximation for the velocity, fixed-point arguments for the magnetic field, energy estimates with lifting functions, and a uniform-attractor criterion of Chepyzhov–Vishik type.","tokens_in":27683,"tokens_out":12271,"duration_ms":121588,"significance":"If the three theorems were fully proved, the paper would provide a complete well-posedness and long-time-behavior theory for a natural MHD model with nonautonomous magnetic boundary conditions, extending the classical Leray–Hopf theory to the MHD setting with nonhomogeneous Dirichlet data. The lifting construction is standard and the energy estimates for the weak solution existence are detailed and plausible; the weak-solution existence part (n=2,3) appears largely supported by the Galerkin–compactness argument. However, as written, the uniqueness proof for 2D weak solutions and the strong-solution proof contain gaps that are load-bearing, so the significance can only be assessed after those gaps are repaired.","major_comments":[{"comment":"The uniqueness/continuous-dependence proof for 2D weak solutions is not justified. The difference pair (\\bar u,\\bar b) satisfies (3.29) with \\bar b|_Γ = \\bar h, which is generally nonzero; nevertheless the proof multiplies the \\bar b-equation by \\bar b. Since \\bar b is not an admissible zero-trace test function in the weak formulation, this multiplication is not permitted. The resulting boundary integral K3 = ∫_Γ ∂_ν \\bar b · \\bar h ds is then bounded by ‖∂_ν \\bar b‖_{H^{-1/2}(Γ)}‖\\bar h‖_{H^{1/2}(Γ)}, but a function in the weak-solution class L^∞(L^2)∩L^2(H^1) does not have a normal-derivative trace in H^{-1/2}(Γ). Thus (3.28) is not established, and the uniqueness claim in Theorem 1.1 for n=2 currently lacks proof. The standard repair is to subtract a parabolic (or harmonic) lift of \\bar h and test with the resulting zero-trace function; this repair does not appear in the manuscript.","section":"§3.1, Theorem 3.1"},{"comment":"The proof of the global strong solution is circular at its first step. Equation (1.5) is multiplied by S u = -Δu + ∇p and by -Δ\\hat b, and the estimate (3.30) is derived. These operations require u and \\hat b to have H^2 spatial regularity and the equations to hold a.e., which is precisely the regularity (1.8) that the theorem aims to prove. The only solution available at that point is the weak solution from Theorem 1.1, with regularity L^∞(H×L^2)∩L^2(V×H^1). No Galerkin approximation or other regularization is used to justify the strong-form multipliers, and no limiting argument is supplied to pass from approximate solutions to (1.8). Since (1.8)-(1.9) are also used in Theorem 3.2 and in Section 4, this gap undermines those results as well.","section":"§3.2, proof of Theorem 1.2"},{"comment":"The proof of ω-limit compactness for the process is incomplete. The derivation of (4.9)-(4.11) again multiplies by -S u_2 and -Δb_2, which presupposes the H^2 regularity that is not available because Theorem 1.2 is not established (see previous comment). Moreover, after (4.11) the text concludes that by choosing n and m large, all terms on the right-hand side become arbitrarily small. The final term ∫_{t_0}^{t} e^{-γ(t-s)}‖h(s)‖^2_{H^{3/2}(Γ)} ds carries no small spectral coefficient, and the uniform-in-h smallness of this tail is not shown; the normality condition in (A2) could provide it, but the argument is not given. The claim of ω-limit compactness therefore rests on missing justifications.","section":"§4.2, Step 1"}],"minor_comments":[{"comment":"The phrase 'reduced from' should be 'reduced form'.","section":"Abstract"},{"comment":"The sentence 'For more details, one can refer to ... the reference therein' should read 'references therein'.","section":"Section 1, literature review"},{"comment":"The second component is written as ∂_t d; it should be ∂_t b.","section":"Equation (1.9)"},{"comment":"The expression '12 d/dt' should be '(1/2) d/dt'.","section":"Theorem 3.2, proof"},{"comment":"The phrase 'we need to obtain some absorbing sets ... uniform abstractor' should read 'uniform attractor'.","section":"Section 4.1, Lemma 4.2 paragraph"},{"comment":"The notation 'cM qt' is ambiguous; the intended expression appears to be c M^q t, and this should be clarified.","section":"Equations (3.9)-(3.18)"}],"recommendation":"major_revision","confidential_remarks":"The paper is not obviously wrong in its overall strategy, and the weak-existence part is a solid contribution if polished. I would be willing to re-review after the authors supply the missing justifications. One concern: the manuscript is quite terse in several passages and contains numerous typographical errors; a careful revision is needed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear colleague,\n\nShort version: this is a real paper, not a throwaway. The genuinely new result is global weak well-posedness for (1.1)-(1.5) with time-dependent Dirichlet data on the magnetic field, for n=2,3, plus a 2D uniform attractor. That extends the homogeneous-boundary MHD theory (Duvaut-Lions, Sermange-Temam) in a way that requires lifting arguments, and the weak-existence part of the paper is largely careful and convincing: the semi-Galerkin scheme, the elliptic/parabolic lifts in Lemmas 2.2-2.3, and the energy estimate (3.22) all fit together, and the compactness passage looks standard. This part deserves credit.\n\nBut there are two load-bearing soft spots.\n\nFirst, Theorem 1.2 (global strong solution in 2D) is not actually proved. The proof multiplies (1.5) by Su and -Delta b-hat and derives (3.30). That is a formal a priori estimate. There is no Galerkin or regularization argument showing the operations are legitimate, and no passage from approximate solutions to the limit in the strong norms. A specialist can probably supply the missing approximation, but as written the theorem overclaims.\n\nSecond, the continuous-dependence estimate in Theorem 3.1 has a trace problem, and the stress-test note identifies it correctly. The difference b-bar is tested against itself, but b-bar has trace h-bar, so multiplying the b-bar equation by b-bar produces K3 = integral over Gamma of partial_nu b-bar dot h-bar. The estimate of K3 uses partial_nu b-bar in H^{-1/2}(Gamma), which does not follow from the established weak-solution regularity. The standard repair is to test with b-bar minus a parabolic or harmonic lift, which has zero trace; that repair is not in the paper. Note that uniqueness for a fixed boundary datum still goes through, since then h-bar = 0 and the offending term disappears; but the stronger continuous-dependence statement (3.28) is not justified.\n\nThe circularity burden is minimal and the citation pattern is fine; the paper uses standard external tools rather than tailoring them to force a conclusion. The attractor section inherits the gap in Theorem 1.2, since it relies on the strong-solution input.\n\nBottom line: the weak-existence theorem is likely correct and is the paper's real contribution. The strong-solution and continuous-dependence claims need repair. This is exactly the kind of manuscript a serious referee should see: revise, not desk reject. I would not cite the strong-solution theorem yet, but the weak-existence part is worth engaging with once the paper is cleaned up.\n\nBest,\n[Your name]","headline":"Genuinely new weak-solution theory for MHD with time-dependent boundary data, but the strong-solution claim and the continuous-dependence estimate are not proved as written.","tokens_in":28251,"tokens_out":3477,"would_cite":false,"duration_ms":39811,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","35B65","76W05","76N10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that the incompressible MHD system with a time-dependent Dirichlet boundary condition on the magnetic field admits global weak solutions in two and three dimensions, unique in two dimensions, and, with stronger data, a…","keywords":["magnetohydrodynamic equations","global weak solutions","strong solutions","time-dependent Dirichlet boundary condition","lifting functions","semi-Galerkin method","uniform attractor","well-posedness"],"falsifier":"Directly test the key energy estimate: choose a smooth bounded domain and boundary data $h$ at the threshold of (1.6), compute $\\|h_E\\|_{L^{q_n}(0,T;H^1)}$ and $\\|\\partial_t h_E\\|_{L^2(L^2)}$ numerically, and compare with Lemma 2.2. If the estimate fails for any such $h$, or if a 2D solution with data in (1.6) develops a singularity before time $T$, the global existence claim is false. Conversely, if the lifting bounds saturate exactly and the energy inequality (3.22) still closes, the proof's mechanism is confirmed.","tokens_in":27231,"feed_emoji":"🧲","tokens_out":11053,"duration_ms":110320,"temperature":0.7,"pith_summary":"This paper claims global well-posedness for the incompressible magnetohydrodynamic equations when the magnetic field obeys a time-dependent Dirichlet boundary condition, a setting in which the usual dissipative energy law does not hold. For initial and boundary data at the regularity of Theorem 1.1, it proves the global existence of weak solutions in two and three dimensions, uniqueness and continuous dependence in two dimensions, and, under stronger data, a unique global strong solution in two dimensions. The same framework yields a compact uniform attractor for the two-dimensional system. The result matters because it converts a non-autonomous boundary-value problem into a controlled energy-estimate problem, giving a fairly complete well-posedness and long-time-behavior picture in 2D.","feed_headline":"Global MHD solutions exist with time-dependent magnetic boundary data","feed_subtitle":"A lifting trick restores energy estimates and yields weak solutions in 2D and 3D, uniqueness and an attractor in 2D.","key_machinery":"The two lifting functions $h_E$ and $h_p$ are the load-bearing objects. $h_E$ is the unique solution of $-\\Delta h_E=0$ with $h_E=h$ on $\\Gamma$, so subtracting it transfers the nonhomogeneous boundary condition to a homogeneous one while injecting boundary regularity into the interior; $h_p$ solves $\\partial_t h_p-\\Delta h_p=0$ with initial data $b_0$ and boundary data $h$, used for strong solutions. Their regularity (Lemmas 2.2 and 2.3) supplies the integrability that makes the Gronwall argument close. The approximation scheme is semi-Galerkin: only the velocity is projected onto eigenfunctions of the Stokes operator, while the magnetic equation is solved as a nonlinear parabolic PDE for each projected velocity, with local existence by a Schauder fixed-point argument and global extension by the uniform energy bounds.","core_discovery":"The central claim is that the time-dependent boundary term $b=h$ on $\\Gamma$ can be removed by lifting: write $b=\\tilde b+h_E$, where $h_E$ is the harmonic extension of $h$, or $b=\\hat b+h_p$, where $h_p$ solves a linear heat equation with boundary value $h$. After this change, the system has homogeneous boundary conditions and the energy estimate takes the form $\\frac{d}{dt}(\\|u\\|^2+\\|\\tilde b\\|^2)+\\|\\nabla u\\|^2+\\|\\nabla\\tilde b\\|^2$ bounded by terms involving only boundary data and the same norms. Lemmas 2.2 and 2.3 give the needed regularity of the liftings, and Gronwall's inequality then yields the uniform bounds (3.23)-(3.24). Theorem 1.1 follows by a semi-Galerkin approximation and compactness; Theorem 3.1 gives uniqueness and continuous dependence in 2D; Theorem 1.2 gives a strong solution in 2D; Theorem 1.3 gives the uniform attractor.","pith_inferences":["The harmonic/parabolic lifting trick should transfer to other dissipative systems with time-dependent Dirichlet data, such as Boussinesq or liquid-crystal models; the only prerequisite is an elliptic or parabolic lifting lemma with matching regularity.","The 3D result is existence-only; since no regularity criterion is proved, the paper leaves open whether 3D weak solutions with this boundary condition are unique or become strong. A natural next step is to seek a Serrin-type condition involving the boundary datum $h$.","The attractor theorem assumes smallness of $\\sup_t\\|h\\|_{H^{1/2}(\\Gamma)}$ and normality of the symbol space. If that smallness is essential, the long-time behavior for large-amplitude time-dependent boundary fields may differ, for example by lacking a bounded absorbing set, which could be tested by direct simulation.","The exponents $q_n=4$ in 2D and $q_n=8$ in 3D come from Sobolev interpolation in the nonlinear terms; one could try to lower them, which would widen the admissible class of boundary data."],"forward_implications":["In two dimensions, the initial-boundary value problem (1.2)-(1.5) is globally well-posed: a unique weak solution exists for every $T>0$ and depends continuously on $(u_0,b_0,h)$.","With higher regularity $(u_0,b_0)\\in V\\times H^1$ and $h\\in L^2(0,T;H^{3/2}(\\Gamma))$, $\\partial_t h\\in L^2(0,T;H^{-1/2}(\\Gamma))$, the 2D solution is a strong solution with $(u,b)\\in L^\\infty(V\\times H^1)\\cap L^2(H^2\\times H^2)$.","The associated process has a compact uniform attractor in $V\\times H^1$, equal to the union over boundary symbols $h\\in\\Sigma_1$ of the kernel sections $K_h(0)$; this describes the long-time behavior of the non-autonomous system.","In three dimensions, global weak solutions exist for large data of the stated regularity, though uniqueness and strong solutions are not obtained.","The energy inequality (3.22) provides uniform-in-time bounds independent of the Galerkin dimension $m$, which powers both the compactness argument and the construction of absorbing sets."],"supporting_citations":[{"why":"Supplies the Stokes regularity estimate $\\|u\\|_{H^2}+\\|P\\|_{H^1}\\le c\\|Su\\|_{L^2}$ used for the velocity in Lemma 2.1 and in the strong-solution estimates.","marker":"[43]"},{"why":"Provides the elliptic and parabolic regularity theory for nonhomogeneous boundary value problems that gives the lifting lemmas (Lemmas 2.2 and 2.3).","marker":"[28]"},{"why":"Gives the elliptic regularity for the harmonic lifting $h_E$ used in Lemma 2.2.","marker":"[41]"},{"why":"Supplies the logarithmic interpolation inequality used in the attractor compactness proof to control the $L^\\infty$ norm of the projected velocity.","marker":"[5]"},{"why":"Is the source of the semi-Galerkin method in which only the velocity is projected onto Stokes eigenfunctions.","marker":"[27]"},{"why":"Supplies the compactness theorem in $L^p(0,T;B)$ used to pass to the limit in the Galerkin sequence.","marker":"[37]"},{"why":"Gives the abstract uniform-attractor theorem and the $\\omega$-limit compactness criterion used in Section 4.","marker":"[31]"},{"why":"Supplies the uniform Gronwall inequality used to construct the absorbing set $B_2$ in $V\\times H^1$.","marker":"[42]"}],"fun_headline_variants":["Global well-posed MHD with time-dependent magnetic boundary","MHD global well-posedness with time-varying boundary data","Time-dependent magnetic boundary: global MHD well-posed","Global MHD well-posedness for dynamic magnetic boundary","MHD: global well-posedness with nonautonomous boundary"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof rests on the lifting lemmas: the boundary datum $h$ must be regular enough that the harmonic extension $h_E$ has $\\|h_E\\|_{L^{q_n}(0,T;H^1)}$ finite and $\\partial_t h_E\\in L^2(L^2)$, and the parabolic extension $h_p$ has the corresponding $H^1/H^2$ bounds. If the boundary regularity (1.6) or (1.7) is weakened, these integrability estimates fail and the Gronwall argument in (3.22)-(3.24) no longer closes; the global existence, uniqueness, and attractor results would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Global well-posed MHD with time-dependent magnetic boundary","MHD global well-posedness with time-varying boundary data","Time-dependent magnetic boundary: global MHD well-posed","Global MHD well-posedness for dynamic magnetic boundary","MHD: global well-posedness with nonautonomous boundary"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001293,"raw_usage":{"total_tokens":5237,"prompt_tokens":865,"completion_tokens":4372,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":481,"completion_tokens_details":{"reasoning_tokens":4288}},"tokens_in":481,"tokens_out":4372,"duration_ms":33264,"temperature":1.0,"reasoning_tokens":4288,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:39:57.928930+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Directly test the key energy estimate: choose a smooth bounded domain and boundary data $h$ at the threshold of (1.6), compute $\\|h_E\\|_{L^{q_n}(0,T;H^1)}$ and $\\|\\partial_t h_E\\|_{L^2(L^2)}$ numerically, and compare with Lemma 2.2. If the estimate fails for any such $h$, or if a 2D solution with data in (1.6) develops a singularity before time $T$, the global existence claim is false. Conversely, if the lifting bounds saturate exactly and the energy inequality (3.22) still closes, the proof's mechanism is confirmed.","supporting_citations":[{"cited_title":"Temam, Navier-Stokes Equations, Theory and Numeric al Analysis, Second edition, North-Holland, Amsterdam, 1979","cited_arxiv_id":null,"evidence_quote":"Supplies the Stokes regularity estimate $\\|u\\|_{H^2}+\\|P\\|_{H^1}\\le c\\|Su\\|_{L^2}$ used for the velocity in Lemma 2.1 and in the strong-solution estimates."},{"cited_title":"Lions, E","cited_arxiv_id":null,"evidence_quote":"Provides the elliptic and parabolic regularity theory for nonhomogeneous boundary value problems that gives the lifting lemmas (Lemmas 2.2 and 2.3)."},{"cited_title":"Taylor, Partial Pi fferential Equations, V ol","cited_arxiv_id":null,"evidence_quote":"Gives the elliptic regularity for the harmonic lifting $h_E$ used in Lemma 2.2."},{"cited_title":"Br´ ezis, T","cited_arxiv_id":null,"evidence_quote":"Supplies the logarithmic interpolation inequality used in the attractor compactness proof to control the $L^\\infty$ norm of the projected velocity."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Is the source of the semi-Galerkin method in which only the velocity is projected onto Stokes eigenfunctions."},{"cited_title":"Simon, Compact sets in the space Lp(0, T ; B), Ann","cited_arxiv_id":null,"evidence_quote":"Supplies the compactness theorem in $L^p(0,T;B)$ used to pass to the limit in the Galerkin sequence."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the abstract uniform-attractor theorem and the $\\omega$-limit compactness criterion used in Section 4."},{"cited_title":"Temam, Infinite-dimensional Dynamical Systems in Me chanics and Physics, 2nd edition, Appl","cited_arxiv_id":null,"evidence_quote":"Supplies the uniform Gronwall inequality used to construct the absorbing set $B_2$ in $V\\times H^1$."}],"review_version":1}