REVIEW 3 major objections 5 minor 44 references
Weak and mild solutions to the MHD equations and the viscoelastic Navier-Stokes equations with damping in Wiener amalgam spaces
T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read The paper proves global weak solutions for MHD and damped viscoelastic flows in Wiener amalgam spaces, extending the Navier–Stokes theory.
desk verdict The MHD half is a real contribution; the viscoelastic half is unproved, and the paper as a whole is not ready as stated. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The carrying object is the Wiener amalgam space $E^p_q$, defined by the norm $\|f\|_{E^p_q} = \| \|f\|_{L^p(B_1(k))} \|_{\ell^q(k \in \mathbb{Z}^3)}$, which blends local integrability with a global $\ell^q$ decay pattern; $E^p_\infty$ is $L^p_{\mathrm{uloc}}$. Two spacetime norms, $L^s_T E^p_q$ and $E^{s,p}_{T,q}$, convert the local-in-space bounds into global-in-time integral estimates. The weak-solution half of the paper is carried by the notion of a local energy solution, whose definition includes a local pressure expansion of the form $\pi = -\Delta^{-1}\mathrm{div}\,\mathrm{div}[(v\otimes v - b\otimes b)\chi_{4R}] + \text{(far-field term)} + c_{x_0,R}(t)$ and a local energy inequality; these are the structures that must survive the limiting arguments. For $q \ge 2$, the proof mechanism is perturbation and restarting; for $1 \le q < 2$, it is a diagonal subsequence of solutions to the localized-regularized equations (3.31), with the pressure representation required to converge at every scale.
What would settle it
For some $1 \le q < 2$ and a fixed scale $R$, exhibit a sequence of regularized solutions $(v_k,b_k,\pi_k)$ to (3.31) whose pressure term $\hat{\pi}^k_{x_0,R}$ fails to converge to $\hat{\pi}_{x_0,R}$ in $L^{3/2}(B_{2R}(x_0)\times(0,T))$; this would break the local pressure expansion and refute Theorem 1.10 for that range. Alternatively, find divergence-free initial data in $E^2_q$ whose diagonal limit violates the local energy inequality on a single cylinder.
Extended reading notes
Core claim
The central discovery is that the Wiener amalgam framework carries over from the Navier–Stokes equations to the MHD system and to the damped viscoelastic Navier–Stokes system. For divergence-free $v_0,b_0 \in E^2_q$ with $1 \le q < \infty$, Theorem 1.10 asserts the existence of a time-global local energy solution $(v,b)$ with an associated pressure $\pi$ such that $\|(v,b)\|_{LE_q(0,T)} < \infty$ for every finite $T$, and in particular $(v,b) \in L^\infty(0,T;E^2_q \times E^2_q)$. The proof treats $q \ge 2$ by perturbing the MHD equations and restarting at regular times, and $1 \le q < 2$ by taking a diagonal subsequence of solutions to localized, regularized equations on expanding balls. Along the way the paper establishes eventual and initial regularity, an explicit growth rate for the localized energy, and a uniqueness theorem for data small at high frequencies. Theorem 1.14 states the analogous global existence result for the viscoelastic system with damping.
Load-bearing premise
The proof requires that the local pressure formula and the local energy inequality pass unchanged to the weak limits built in Section 3.3 at every ball scale, and it assumes the viscoelastic system behaves exactly like MHD even though those proofs are omitted.
Editorial extensions
If this is right
- For any divergence-free initial data in $E^2_q$ with $1 \le q < \infty$, the MHD equations admit a local energy solution that exists for all positive times and has finite $\ell^q$ local energy on every finite interval.
- For $1 \le q \le 3$, every such MHD solution becomes regular after a finite time, with a $t^{1/2}$ bound on the $L^\infty$ norm at large times; the same is asserted for the damped viscoelastic system.
- Small critical data in $E^3_q$ give unique mild solutions with the expected spacetime integral bounds, so data that do not decay at infinity are still well-posed in an appropriate sense.
- Local energy solutions of MHD are unique when the initial data are small at high frequencies, and this implies short-time uniqueness for data in $E^3$.
Reading between the lines
- The same amalgam machinery would likely apply to other coupled parabolic systems whose nonlinearity is a divergence of a quadratic form, such as Boussinesq or Oldroyd-B type models, provided an $\epsilon$-regularity criterion is available.
- The $1 \le q < 2$ case rests on a delicate diagonal pressure argument; a uniform-in-scale pressure convergence lemma would replace the case-by-scale check and make the existence proof more transparent.
- The viscoelastic system is handled entirely by analogy, so the claimed global existence is conditional on that analogy; an explicit verification of the local pressure expansion for the vNSEd system would remove the gap.
- If the theorems hold for every $q < \infty$, the boundary case $q = \infty$ (locally square-integrable data with no global decay) remains the natural place to test whether the method can be pushed further.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies the three-dimensional incompressible MHD equations and the incompressible viscoelastic Navier–Stokes equations with damping (vNSEd) in Wiener amalgam spaces E^p_q. For the MHD system it proves: local well-posedness of mild solutions in subcritical spaces (Theorem 1.1), in critical spaces with small data (Theorem 1.2), and in critical spaces with sufficiently decaying data (Theorem 1.3); and for local energy weak solutions it proves eventual regularity (Theorem 1.8), an explicit growth-rate estimate for the local energy (Theorem 1.9), and time-global existence of local energy solutions for divergence-free data in E^2_q, 1≤q<∞ (Theorem 1.10). Theorems 1.4–1.6 and 1.12–1.14 state the analogous results for the vNSEd system, but their proofs are explicitly omitted in Sections 2 and 3. The MHD proofs adapt the semigroup, interpolation, and epsilon-regularity machinery of Bradshaw–Lai–Tsai and Bradshaw–Tsai to the coupled (v,b) system, with a separate construction for q≥2 via a perturbed system and for 1≤q<2 via localized regularized equations and a diagonal subsequence argument.
Significance. If the claims are correct, the paper extends the Wiener amalgam framework from the Navier–Stokes equations to two coupled fluid models, giving mild solutions with spacetime integral bounds and time-global local energy solutions for data in E^2_q. The MHD results are presented in considerable detail and rely on the previously published estimates of [1,3,4], which are adapted rather than re-derived; this is a strength because the main technical work is explicit. A serious limitation is that the vNSEd theorems, which are advertised in the abstract as part of the paper's central contribution, are not proved at all. Since the vNSEd system is not a literal relabeling of MHD (the velocity equation contains a sum over columns and the local energy inequality and pressure expansion have column-sum structure), the analogy argument needs a written verification before the viscoelastic claims can be accepted. With the MHD part alone the paper is a substantial progress report; with the vNSEd part it is currently incomplete.
major comments (3)
- [§2 and §3, Theorems 1.4–1.6 and 1.12–1.14] The proofs of all six viscoelastic main theorems are omitted. Section 2 states 'The proofs of Theorems 1.4, 1.5, and 1.6 for (vNSEd) are omitted for brevity', and Section 3 states 'The details of verification of Theorems 1.12, 1.13, 1.14 for (vNSEd) are left to the readers.' This is not a harmless bookkeeping omission: the vNSEd velocity equation in (1.18) contains the sum ∑_n f_n⊗f_n, the pressure expansion (1.32) contains ∑_n f_n⊗f_n, and the local energy inequality (1.33) contains the column-sum term −2∑_n (v·f_n)(f_n·∇φ). The MHD estimates and the weak-limit construction in Section 3.3.2 are written for a single magnetic field b; transferring them to the tensor F requires at minimum verifying the analogous a priori bounds, the pressure decomposition, and the survival of the local energy inequality under the regularized limits for the column-sum structure. Since the abstract advertises existence results for both systems, these theorems are load-bearing and their proofs must be supplied or the claims must be restricted to the MHD system.
- [Lemma 3.9, Eq. (3.32)] The linearized term L_t^(2)(v_ǫ,b_ǫ) in the integral equation (3.32) does not match the second equation of the perturbed system (3.30) or (3.34). The displayed formula contains both '+ b_ǫ⊗(η_ǫ*u)' and '− b_ǫ⊗(η_ǫ*u)', which cancel, and it omits the term '− v_ǫ⊗(η_ǫ*a)' that is required by the linearization. As written, the right-hand side of the b-equation reduces to (η_ǫ*u)⊗b_ǫ − (η_ǫ*a)⊗v_ǫ, missing both the b_ǫ⊗(η_ǫ*u) and v_ǫ⊗(η_ǫ*a) contributions that appear in (3.30). Since Lemma 3.9 is used in the q≥2 global-existence construction of Section 3.3.1, this incorrect formula needs to be corrected and the estimates below it rechecked against the correct integral equation.
- [Theorem 1.10, proof for 1≤q<2, §3.3.2] The diagonal-limit argument asserts that the local pressure expansion and the local energy inequality are inherited by the limiting solution, but the verification is compressed into the sentence 'The local energy inequality follows from the local energy equality for (v_k,b_k) and π_k, and (3.67), (3.68), (3.69), and π̂_n(x,t)=π(x,t)−c_n(t)'. This is a nontrivial step: the pressure representation (1.27) is defined at every scale, yet the compactness statements (3.67)–(3.68) are obtained on expanding balls B_n, and the far-field pressure tail is handled by choosing M large after fixing the scale. For a complete proof, the author should explain explicitly why the scale-by-scale pressure convergence in (3.68) is uniform enough to pass to the limit in the local energy inequality for all cylinders, rather than only on the fixed diagonal sequence. As written, the global existence claim for 1≤q<2 depends on this unstated uniformity.
minor comments (5)
- [Definition 1.11] In the paragraph after Definition 1.11, the set of local energy solutions is denoted 'N_MHD(v0,F0)' but should be 'N_vNSEd(v0,F0)'.
- [Theorem 1.3, conditions (1.16) and (1.17)] Theorem 1.3 says 'Instead of (1.25), if we assume ...' but equation (1.25) belongs to Theorem 1.6 for the viscoelastic system; the reference should be to condition (1.16) in the same theorem. In addition, (1.16) states 'm>p′' while (1.17) uses 'm≥p′'; please clarify whether this difference is intentional.
- [Lemma 3.2, epsilon-regularity criterion] The displayed criterion in Lemma 3.2 contains a duplicated term: it reads '|v|^3 + |v|^3 + |π|^{3/2}' but should be '|v|^3 + |b|^3 + |π|^{3/2}'.
- [Theorems 1.2 and 1.5, Eq. (1.14) and (1.23)] The symbol '/BD' appearing in both displayed estimates is a corrupted artifact; the intended conditional indicator for the case q≤s should be typeset properly so the statement is unambiguous.
- [Section 3.3.1, Lemma 3.10] In the first sentence of the proof of Lemma 3.10, the text says 'where c0 is given in Lemma 3.11'; the reference should be to Lemma 3.10, which is the lemma whose constants are being used.
Circularity Check
No circularity: all load-bearing estimates are imported from prior independent works; the unproved vNSEd theorems are a completeness limitation, not circularity.
full rationale
After walking the claimed derivation chain, I find no step that meets the evidentiary standard for circularity. The MHD mild-solution theorems (Theorems 1.1, 1.2, 1.3) are proved by adapting lemmas from Bradshaw, Lai, and Tsai [1] and Bradshaw and Tsai [3,4]; these are prior published results with independent proofs, and the imported linear, bilinear, and smoothing estimates are not the target theorems, so the self-citations are real evidence rather than a circular reduction. The local-energy arguments in Section 3 prove the needed a priori bounds (Lemmas 3.7, 3.8) and compactness steps rather than assuming the conclusion. There are no fitted parameters or data-driven predictions, so no prediction reduces to an input by construction. Two explicit limitations should be weighed separately from circularity. Section 2 states: 'Since the structure of (vNSEd) is analogous to that of (MHD), we prove Theorems 1.1, 1.2, and 1.3 for (MHD). The proofs of Theorems 1.4, 1.5, and 1.6 for (vNSEd) are omitted for brevity.' Section 3 states: 'The details of verification of Theorems 1.12, 1.13, 1.14 for (vNSEd) are left to the readers.' These passages mean the viscoelastic claims are unsupported as written, which is a correctness and completeness risk, not a circular derivation. Similarly, the 1 <= q < 2 pressure-convergence step in Section 3.3.2 asserts the limit (3.68) after term-by-term estimates; no reduction to inputs is exhibited. I therefore find no significant circularity.
Assumptions & free parameters
assumptions (5)
- standard math Heat semigroup and Oseen kernel estimates hold in E_p^q amalgam norms as stated in [1, Lemma 2.1, 2.4, 2.7, 2.8].
- domain assumption The epsilon-regularity criterion of Mahalov-Nicolaenko-Shilkin [34, Theorem 3.1] applies to MHD suitable weak solutions satisfying the local energy inequality.
- domain assumption The local energy solution definitions and localized pressure expansions (1.27) and (1.32) are valid for MHD and viscoelastic Navier-Stokes systems.
- ad hoc to paper For the viscoelastic Navier-Stokes system, the damping parameter can be set to mu = 1 because it does not affect the analysis.
- domain assumption If div F = 0 initially, then div F = 0 for all later times, so the viscoelastic system can be written columnwise with divergence-free columns.
Cite this review
Pith. "Pith review of Weak and mild solutions to the MHD equations and the viscoelastic Navier-Stokes equations with damping in Wiener amalgam spaces." pith.science (2026). https://pith.science/paper/X24KMGUI
@misc{pith2026250606621,
author = {Pith},
title = {Pith review of: Weak and mild solutions to the MHD equations and the viscoelastic Navier-Stokes equations with damping in Wiener amalgam spaces},
year = {2026},
howpublished = {\url{https://pith.science/paper/X24KMGUI}},
note = {Machine review of arXiv:2506.06621}
}
abstract
We study the three-dimensional incompressible magnetohydrodynamic (MHD) equations and the incompressible viscoelastic Navier-Stokes equations with damping. Building on techniques developed by Bradshaw, Lai, and Tsai (Math. Ann. 2024), we prove the existence of mild solutions in Wiener amalgam spaces that satisfy the corresponding spacetime integral bounds. In addition, we construct global-in-time local energy weak solutions in these amalgam spaces using the framework introduced by Bradshaw and Tsai (SIAM J. Math. Anal. 2021). As part of this construction, we also establish several properties of local energy solutions with $L^2_{\rm uloc}$ initial data, including initial and eventual regularity as well as small-large uniqueness, extending analogous results obtained for the Navier-Stokes equations by Bradshaw and Tsai (Comm. Partial Differential Equations 2020).
Reference graph
Works this paper leans on
-
[1]
Z. Bradshaw, C.-C. Lai, and T.-P. Tsai. Mild solutions an d spacetime integral bounds for Stokes and Navier-Stokes flows in Wiener amalgam spaces. Math. Ann. , 388(3):3053–3126, 2024
work page 2024
-
[2]
Z. Bradshaw and T.-P. Tsai. Forward discretely self-sim ilar solutions of the Navier-Stokes equations II. Ann. Henri Poincar´ e, 18(3):1095–1119, 2017
work page 2017
-
[3]
Z. Bradshaw and T.-P. Tsai. Global existence, regularit y, and uniqueness of infinite energy solutions to the Navier-Stokes equations. Comm. Partial Differential Equations , 45(9):1168– 1201, 2020
work page 2020
-
[4]
Z. Bradshaw and T.-P. Tsai. Local energy solutions to the Navier-Stokes equations in Wiener amalgam spaces. SIAM J. Math. Anal. , 53(2):1993–2026, 2021
work page 1993
-
[5]
Z. Bradshaw and T.-P. Tsai. On the local pressure expansi on for the Navier–Stokes equations. J. Math. Fluid Mech. , 24:1–32, 2022
work page 2022
-
[6]
L. Caffarelli, R. Kohn, and L. Nirenberg. Partial regulari ty of suitable weak solutions of the Navier-Stokes equations. Comm. Pure Appl. Math. , 35(6):771–831, 1982
work page 1982
- [7]
-
[8]
D. Chamorro, F. Cortez, J. He, and O. Jarr ´ ın. On the local regularity theory for the magne- tohydrodynamic equations. Doc. Math. , 26:125–148, 2021
work page 2021
Show all 44 references
-
[9]
Q. Chen, C. Miao, and Z. Zhang. On the regularity criterio n of weak solution for the 3D viscous magneto-hydrodynamics equations. Comm. Math. Phys. , 284:919–930, 2008. 65
2008
-
[10]
Chen and P
Y. Chen and P. Zhang. The global existence of small solut ions to the incompressible vis- coelastic fluid system in 2 and 3 space dimensions. Comm. Partial Differential Equations , 31(10-12):1793–1810, 2006
2006
-
[11]
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
-
[12]
P. G. Fern´ andez-Dalgo and O. Jarr ´ ın. Discretely self-similar solutions for 3D MHD equations and global weak solutions in weighted L2 spaces. J. Math. Fluid Mech. , 23(1):Paper No. 22, 30, 2021
2021
-
[13]
P. G. Fern´ andez-Dalgo and O. Jarr ´ ın. Weak-strong uniqueness in weighted L2 spaces and weak suitable solutions in local Morrey spaces for the MHD equati ons. J. Differential Equations , 271:864–915, 2021
2021
-
[14]
Y. Giga, K. Inui, and S. Matsui. On the cauchy problem for the Navier-Stokes equations with nondecaying initial data. Quad. Mat. , 4:28–68, 1999
1999
-
[15]
He and Z
C. He and Z. Xin. Partial regularity of suitable weak sol utions to the incompressible magne- tohydrodynamic equations. J. Funct. Anal. , 227(1):113–152, 2005
2005
-
[16]
He and Z
C. He and Z. Xin. On the self-similar solutions of the mag neto-hydro-dynamic equations. Acta Math. Sci. Ser. B (Engl. Ed.) , 29(3):583–598, 2009
2009
-
[17]
R. Hynd. Partial regularity of weak solutions of the vis coelastic Navier-Stokes equations with damping. SIAM J. Math. Anal. , 45(2):495–517, 2013
2013
-
[18]
K. Kang, B. Lai, C.-C. Lai, and T.-P. Tsai. The Green tens or of the nonstationary Stokes system in the half space. Comm. Math. Phys. , 399(2):1291–1372, 2023
2023
-
[19]
Kang and J
K. Kang and J. Lee. Interior regularity criteria for sui table weak solutions of the magnetohy- drodynamic equations. J. Differential Equations , 247(8):2310–2330, 2009
2009
-
[20]
K. Kang, H. Miura, and T.-P. Tsai. Short time regularity of Navier–Stokes flows with locally L3 initial data and applications. Int. Math. Res. Not. IMRN , 2021(11):8763–8805, 2021
2021
-
[21]
Kikuchi and G
N. Kikuchi and G. Seregin. Weak solutions to the Cauchy p roblem for the Navier-Stokes equations satisfying the local energy inequality. In Nonlinear equations and spectral theory , volume 220 of Amer. Math. Soc. Transl. Ser. 2 , pages 141–164. Amer. Math. Soc., Providence, RI, 2007
2007
-
[22]
J.-M. Kim. On regularity criteria of weak solutions to t he 3D viscoelastic Navier-Stokes equations with damping. Appl. Math. Lett. , 69:153–160, 2017
2017
-
[23]
Kwon and T.-P
H. Kwon and T.-P. Tsai. Global Navier–Stokes flows for no n-decaying initial data with slowly decaying oscillation. Comm. Math. Phys. , 375(3):1665–1715, 2020
2020
-
[24]
B. Lai, J. Lin, and C. Wang. Forward self-similar soluti ons to the viscoelastic Navier-Stokes equation with damping. SIAM J. Math. Anal. , 49(1):501–529, 2017
2017
-
[25]
C.-C. Lai. Forward discretely self-similar solutions of the MHD equations and the viscoelastic Navier-Stokes equations with damping. J. Math. Fluid Mech. , 21(3):Paper No. 38, 28, 2019. 66
2019
-
[26]
Z. Lei, C. Liu, and Y. Zhou. Global solutions for incompr essible viscoelastic fluids. Arch. Ration. Mech. Anal. , 188(3):371–398, 2008
2008
-
[27]
P. G. Lemari´ e-Rieusset. Recent developments in the Navier-Stokes problem , volume 431 of Chapman & Hall/CRC Research Notes in Mathematics . Chapman & Hall/CRC, Boca Raton, FL, 2002
2002
-
[28]
F. Lin. A new proof of the Caffarelli-Kohn-Nirenberg theo rem. Comm. Pure Appl. Math. , 51(3):241–257, 1998
1998
-
[29]
F.-H. Lin, C. Liu, and P. Zhang. On hydrodynamics of visc oelastic fluids. Comm. Pure Appl. Math., 58(11):1437–1471, 2005
2005
-
[30]
Y. Lin, H. Zhang, and Y. Zhou. Global smooth solutions of MHD equations with large data. J. Differential Equations , 261(1):102–112, 2016
2016
-
[31]
F. Liu, S. Xi, Z. Zeng, and S. Zhu. Global mild solutions t o three-dimensional magnetohydro- dynamic equations in Morrey spaces. J. Differential Equations , 314:752–807, 2022
2022
-
[32]
Liu and X
M. Liu and X. Lin. Global classical solutions to the elas todynamic equations with damping. J. Inequal. Appl. , 2021(1):88, 2021
2021
-
[33]
Maekawa and Y
Y. Maekawa and Y. Terasawa. The Navier-Stokes equation s with initial data in uniformly local Lp spaces. Differential Integral Equations , 19(4):369–400, 2006
2006
-
[34]
Mahalov, B
A. Mahalov, B. Nicolaenko, and T. Shilkin. L3,∞-solutions to the MHD equations. J. Math. Sci, 143:2911–2923, 2007
2007
-
[35]
C. Miao, B. Yuan, and B. Zhang. Well-posedness for the in compressible magneto- hydrodynamic system. Math. Methods Appl. Sci. , 30(8):961–976, 2007
2007
-
[36]
Neˇ cas, M
J. Neˇ cas, M. R ˚ uˇ ziˇ cka, and V.ˇSver´ ak. On Leray’s self-similar solutions of the Navier-S tokes equations. Acta Math. , 176(2):283–294, 1996
1996
-
[37]
C. W. Oseen. Neuere methoden und ergebnisse in der hydrodynamik , volume 1. Akademische Verlagsgesellschaft, 1927
1927
-
[38]
Sermange and R
M. Sermange and R. Temam. Some mathematical questions r elated to the MHD equations. Comm. Pure Appl. Math. , 36(5):635–664, 1983
1983
-
[39]
Z. Tan, W. Wu, and J. Zhou. Existence of mild solutions an d regularity criteria of weak solutions to the viscoelastic Navier–Stokes equation with damping. Commun. Math. Sci. , 18(1):205–226, 2020
2020
-
[40]
T.-P. Tsai. Lectures on Navier-Stokes equations , volume 192 of Graduate Studies in Mathe- matics. American Mathematical Society, Providence, RI, 2018
2018
-
[41]
J. Wu. Regularity results for weak solutions of the 3D MH D equations. Discrete Contin. Dyn. Syst, 10(1/2):543–556, 2004
2004
-
[42]
Y. Yang. Forward self-similar solutions to the mhd equa tions in the whole space. arXiv preprint arXiv:2404.02601, 2024. 67
2024 arXiv
-
[43]
G. Yue, Z. Pang, and Y. Wu. On the interior regularity cri teria for the viscoelastic fluid system with damping. Adv. Calc. Var. , 18(2):323–338, 2025
2025
-
[44]
Y. Zhou. Remarks on regularities for the 3D MHD equation s. Discrete Contin. Dyn. Syst , 12(5):881–886, 2005. 68
2005
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.