pith. sign in

arxiv: 2606.28944 · v1 · pith:ASA5CJXInew · submitted 2026-06-27 · 🧮 math.AP

A Runge-type theorem by remote forcing for the linearized resistive MHD system

Mitsuo Higaki , Franck Sueur This is my paper

Pith reviewed 2026-06-30 08:53 UTC · model grok-4.3

classification 🧮 math.AP
keywords Runge approximationlinearized resistive MHDremote forcingbounded domainsglobal solutionsmagnetic relaxationcontrol theory
0
0 comments X

The pith

Bounded-domain solutions to the linearized resistive MHD system can be approximated by global solutions on R^3 using remote forcing, with explicit cost bounds on the forcing.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a quantitative Runge-type approximation result for the linearized resistive magnetohydrodynamic system in bounded domains of arbitrary topology. It decomposes any solution into a time-evolving component and a stationary component, then shows that the time-evolving part can be approximated to any desired accuracy by a solution defined on all of R^3 that is driven only by a forcing term supported far from the original domain. The construction supplies an explicit relation between the size of the approximation error and the cost of the remote forcing. A reader would care because this supplies a control-theoretic way to extend local relaxation trajectories, which are known to converge to harmonic equilibria in the resistive case, into global ones without changing the topology or the resistive dynamics.

Core claim

After decomposing the bounded-domain solution of the linearized resistive MHD system into its time-evolving part and its stationary part, the time-evolving part can be approximated arbitrarily closely by a global solution on R^3 that is generated by a remote forcing term; the paper gives an explicit dependence of the forcing cost on the approximation error.

What carries the argument

Decomposition of the solution into time-evolving and stationary parts, followed by remote forcing on R^3 to control only the time-evolving component.

If this is right

  • Relaxation trajectories generated inside a bounded domain can be realized, to any accuracy, by global flows driven only from far away.
  • The approximation holds uniformly for domains of arbitrary topology.
  • The cost of the remote forcing grows in a controlled way as the target error decreases.
  • The method works specifically in the resistive regime where relaxation to harmonic equilibria is known to be stable.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • Numerical codes that solve the resistive MHD system on bounded domains could be validated by comparing them against cheaper global simulations that use only distant forcing.
  • The same decomposition-plus-remote-forcing strategy might be testable on related resistive systems such as the Navier-Stokes equations or the heat equation with similar boundary conditions.
  • If the stationary part can be matched exactly, the method effectively isolates the transient dynamics that are responsible for relaxation.

Load-bearing premise

The decomposition of the bounded-domain solution into a time-evolving part and a stationary part is valid and reduces the approximation task to controlling only the time-evolving component.

What would settle it

A concrete initial datum and domain topology for which no remote forcing supported outside a large ball can make the time-evolving component on R^3 arbitrarily close to the original bounded-domain evolution, regardless of how large the forcing amplitude is allowed to be.

read the original abstract

In this paper, we study a quantitative Runge-type global approximation theorem for the linearized magnetohydrodynamic (MHD) system in bounded domains with arbitrary topology. In the context of magnetic relaxation, the interplay between the domain topology and magnetic field structure plays a crucial role. Recent studies illustrate a sharp contrast in the dynamics: while Enciso--Peralta-Salas (2025) highlights that the geometric complexity of magnetic fields acts as an obstruction to relaxation in non-resistive regimes, Kozono-Shimizu-Yanagisawa (2025) proves that in resistive regimes, the flow stably relaxes towards a harmonic equilibrium. Focusing on this resistive scenario, we adopt a control-theoretic viewpoint to quantitatively approximate the relaxation trajectory generated by the linearized initial-boundary value problem. Specifically, after decomposing the bounded-domain solution into the time-evolving part and the stationary part, we approximate it by a global solution on $\mathbb{R}^3$ under a remote forcing. An explicit dependence of the forcing cost on the approximation error is provided.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 4 minor

Summary. The paper establishes a quantitative Runge-type global approximation theorem for solutions of the linearized resistive MHD system in bounded domains of arbitrary topology. After decomposing a bounded-domain solution into its time-evolving (transient) and stationary parts, the transient component is approximated by a global solution on R^3 driven by a remote forcing term; an explicit bound relating the L^2-norm of the forcing to the approximation error is derived.

Significance. If the central estimates hold, the result supplies a control-theoretic tool with explicit cost for approximating resistive MHD relaxation trajectories, complementing recent work on topology-dependent relaxation (Enciso-Peralta-Salas 2025, Kozono-Shimizu-Yanagisawa 2025). The explicit forcing-cost dependence is a concrete strength for applications in controllability of linear PDEs.

minor comments (4)
  1. [Introduction] The precise statement of the linearized resistive MHD system (including the form of the Lorentz force and resistivity term) should be displayed as an equation block immediately after the introduction of the control-theoretic viewpoint.
  2. [Section 2] In the decomposition step, the stationary part is identified with a harmonic field; a brief remark on why this identification is compatible with arbitrary topology would improve readability.
  3. [Theorem 1.1] The Runge-type approximation is stated for the transient component only; the manuscript should explicitly verify that the stationary part can be absorbed into the global solution without additional cost.
  4. [Section 3] Notation for the remote forcing support (e.g., the distance parameter R) is introduced late; moving the definition to the statement of the main theorem would aid the reader.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No major comments were raised in the report.

Circularity Check

0 steps flagged

No significant circularity in derivation chain

full rationale

The paper derives a quantitative Runge-type approximation for the linearized resistive MHD system by decomposing the bounded-domain solution into time-evolving and stationary components, then constructing a remote-forcing global solution on R^3 with explicit cost bounds. This chain proceeds from the PDE equations and control-theoretic construction without any self-definitional loops, fitted inputs renamed as predictions, or load-bearing self-citations. The cited prior works (Enciso-Peralta-Salas 2025, Kozono-Shimizu-Yanagisawa 2025) are by unrelated authors and supply only contextual contrast, not the core approximation result. The decomposition is presented as a standard reduction step rather than an assumption that encodes the target bound. The overall result is therefore self-contained and externally falsifiable via the underlying linear system.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The result rests on standard functional-analytic assumptions for linear PDEs on bounded domains and the validity of the time-evolving/stationary decomposition; no free parameters or invented entities are mentioned.

axioms (2)
  • domain assumption The linearized resistive MHD initial-boundary value problem admits a decomposition into time-evolving and stationary components whose sum solves the system.
    Invoked in the abstract when the approximation is applied after decomposition.
  • standard math Existence and regularity of solutions to the linearized resistive MHD system on bounded domains with arbitrary topology.
    Background assumption required for the Runge-type approximation to be stated.

pith-pipeline@v0.9.1-grok · 5705 in / 1411 out tokens · 22510 ms · 2026-06-30T08:53:41.419570+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

30 extracted references · 1 canonical work pages

  1. [1]

    The stability for the Cauchy problem for elliptic equations.Inverse Problems, 25(12):123004, 47, 2009

    Giovanni Alessandrini, Luca Rondi, Edi Rosset, and Sergio Vessella. The stability for the Cauchy problem for elliptic equations.Inverse Problems, 25(12):123004, 47, 2009. 28

    2009

  2. [2]

    V . Arnold. Sur la g ´eom´etrie diff´erentielle des groupes de Lie de dimension infinie et ses applications `a l’hydrodynamique des fluides parfaits.Ann. Inst. Fourier (Greno- ble), 16:319–361, 1966

    1966

  3. [3]

    Felix E. Browder. Approximation by solutions of partial differential equations.Amer. J. Math., 84:134–160, 1962

    1962

  4. [4]

    Debrouwere and T

    A. Debrouwere and T. Kalmes. Quantitative Runge type approximation theorems for zero solutions of certain partial differential operators.Adv. Math., 478:Paper No. 110413, 31, 2025

    2025

  5. [5]

    Duvaut and J.-L

    G. Duvaut and J.-L. Lions. In ´equations en thermo ´elasticit´e et magn´etohydrodynamique.Arch. Rational Mech. Anal., 46:241–279, 1972

    1972

  6. [6]

    Approximation theorems for parabolic equations and movement of local hot spots.Duke Math

    Alberto Enciso, Ma ´Angeles Garc´ıa-Ferrero, and Daniel Peralta-Salas. Approximation theorems for parabolic equations and movement of local hot spots.Duke Math. J., 168(5):897–939, 2019

    2019

  7. [7]

    Approximation theorems for the Schr¨odinger equation and quantum vortex reconnection.Comm

    Alberto Enciso and Daniel Peralta-Salas. Approximation theorems for the Schr¨odinger equation and quantum vortex reconnection.Comm. Math. Phys., 387(2):1111–1149, 2021

    2021

  8. [8]

    Obstructions to topological relaxation for generic magnetic fields.Arch

    Alberto Enciso and Daniel Peralta-Salas. Obstructions to topological relaxation for generic magnetic fields.Arch. Ration. Mech. Anal., 249(1):Paper No. 6, 28, 2025

    2025

  9. [9]

    Springer- Verlag, Berlin, 1986

    Vivette Girault and Pierre-Arnaud Raviart.Finite element methods for Navier-Stokes equations, volume 5 ofSpringer Series in Computational Mathematics. Springer- Verlag, Berlin, 1986. Theory and algorithms

    1986

  10. [10]

    Cambridge University Press, Cambridge, 2002

    Allen Hatcher.Algebraic topology. Cambridge University Press, Cambridge, 2002

    2002

  11. [11]

    AnL 2-quantitative global approximation for the Stokes initial- boundary value problem.arXiv:2511.16079, 2025

    Mitsuo Higaki. AnL 2-quantitative global approximation for the Stokes initial- boundary value problem.arXiv:2511.16079, 2025

    work page arXiv 2025

  12. [12]

    A Runge-type approximation theorem for the 3D unsteady Stokes system.Comm

    Mitsuo Higaki and Franck Sueur. A Runge-type approximation theorem for the 3D unsteady Stokes system.Comm. Math. Phys., 406(8):Paper No. 180, 27, 2025

    2025

  13. [13]

    Frank Jones, Jr

    B. Frank Jones, Jr. An approximation theorem of Runge type for the heat equation. Proc. Amer. Math. Soc., 52:289–292, 1975

    1975

  14. [14]

    Extension and rep- resentation of divergence-free vector fields on bounded domains.Math

    Tosio Kato, Marius Mitrea, Gustavo Ponce, and Michael Taylor. Extension and rep- resentation of divergence-free vector fields on bounded domains.Math. Res. Lett., 7(5-6):643–650, 2000

    2000

  15. [15]

    Stability of harmonic vector fields as an equilibrium of the 3D MHD equations in bounded domains with arbitrary geometry.Math

    Hideo Kozono, Senjo Shimizu, and Taku Yanagisawa. Stability of harmonic vector fields as an equilibrium of the 3D MHD equations in bounded domains with arbitrary geometry.Math. Ann., 393(1):923–952, 2025

    2025

  16. [16]

    P. D. Lax. A stability theorem for solutions of abstract differential equations, and its application to the study of the local behavior of solutions of elliptic equations.Comm. Pure Appl. Math., 9:747–766, 1956

    1956

  17. [17]

    Quantitative uniqueness estimates for the gen- eralized non-stationary Stokes system.Appl

    Ching-Lung Lin and Jenn-Nan Wang. Quantitative uniqueness estimates for the gen- eralized non-stationary Stokes system.Appl. Anal., 101(10):3591–3611, 2022. 29

    2022

  18. [18]

    Modern Birkh¨auser Classics

    Alessandra Lunardi.Analytic semigroups and optimal regularity in parabolic prob- lems. Modern Birkh¨auser Classics. Birkh¨auser/Springer Basel AG, Basel, 1995. [2013 reprint of the 1995 original] [MR1329547]

    1995

  19. [19]

    Existence et approximation des solutions des ´equations aux d´eriv´ees partielles et des ´equations de convolution.Ann

    Bernard Malgrange. Existence et approximation des solutions des ´equations aux d´eriv´ees partielles et des ´equations de convolution.Ann. Inst. Fourier (Grenoble), 6:271–355, 1955/56

    1955

  20. [20]

    H. K. Moffatt. Magnetostatic equilibria and analogous Euler flows of arbitrarily com- plex topology. I. Fundamentals.J. Fluid Mech., 159:359–378, 1985

    1985

  21. [21]

    H. K. Moffatt. Magnetostatic equilibria and analogous Euler flows of arbitrarily com- plex topology. II. Stability considerations.J. Fluid Mech., 166:359–378, 1986

    1986

  22. [22]

    Existence in critical spaces for the magnetohydrodynamical system in 3D bounded Lipschitz domains.J

    Sylvie Monniaux. Existence in critical spaces for the magnetohydrodynamical system in 3D bounded Lipschitz domains.J. Elliptic Parabol. Equ., 7(2):311–322, 2021

    2021

  23. [23]

    E. N. Parker. Topological dissipation and the small-scale fields in turbulent gases. Astrophys. J., 174:499–510, June 1972

    1972

  24. [24]

    E. N. Parker. Spontaneous current sheets in magnetic fields : with applications to stellar x-rays.International Series in Astronomy and Astrophysics, 1, January 1994

    1994

  25. [25]

    Springer-Verlag, New York, 1983

    Amnon Pazy.Semigroups of linear operators and applications to partial differential equations, volume 44 ofApplied Mathematical Sciences. Springer-Verlag, New York, 1983

    1983

  26. [26]

    Quantitative Runge approximation and inverse problems.Int

    Angkana R ¨uland and Mikko Salo. Quantitative Runge approximation and inverse problems.Int. Math. Res. Not. IMRN, 2019(20):6216–6234, 2019

    2019

  27. [27]

    Springer-Verlag, Berlin, 1995

    G ¨unter Schwarz.Hodge decomposition—a method for solving boundary value prob- lems, volume 1607 ofLecture Notes in Mathematics. Springer-Verlag, Berlin, 1995

    1995

  28. [28]

    Some mathematical questions related to the MHD equations.Comm

    Michel Sermange and Roger Temam. Some mathematical questions related to the MHD equations.Comm. Pure Appl. Math., 36(5):635–664, 1983

    1983

  29. [29]

    J. L. Walsh. The approximation of harmonic functions by harmonic polynomials and by harmonic rational functions.Bull. Amer. Math. Soc., 35(4):499–544, 1929

    1929

  30. [30]

    On the Ohm-Navier-Stokes system in magneto- hydrodynamics.J

    Zensho Yoshida and Yoshikazu Giga. On the Ohm-Navier-Stokes system in magneto- hydrodynamics.J. Math. Phys., 24(12):2860–2864, 1983. 30

    1983