Pith. sign in

REVIEW 2 major objections 1 minor 8 references

Dissipative solutions exist for the Hasegawa-Mima equation with any L2 divergence-free initial data on the torus or bounded C1 domains.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

T0 review · grok-4.3

2026-07-02 09:03 UTC pith:E46DJNTC

load-bearing objection Adapts Lions' dissipative solutions to the Hasegawa-Mima equation but the linear term likely needs an unstated bound on log n0. the 2 major comments →

arxiv 2607.01119 v1 pith:E46DJNTC submitted 2026-07-01 math.AP math-phmath.MP

Weak and dissipative solutions for the Hasegawa-Mima equation

Michele Gorini This is my paper
classification math.AP math-phmath.MP
keywords Hasegawa-Mima equationdissipative solutionsweak solutionsEuler equationsplasma fluid modelsexistence theorydivergence-free fields
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

The paper shows that dissipative solutions, defined by adapting Lions' framework for the Euler equations, exist for the Hasegawa-Mima equation written in velocity form. The initial velocity can be any square-integrable, divergence-free vector field. This construction works uniformly for the periodic torus and for smooth bounded domains in the plane. A reader would care because the result supplies a notion of solution that remains available even when the data lack the regularity needed for classical smooth solutions.

Core claim

Adapting the notion from Lions' book on the Euler equations, we prove the existence of dissipative solutions for this equation for any L2 divergence free initial condition w in L2(D), for D equal to the torus T2 and D a bounded C1 domain in R2.

What carries the argument

Dissipative solutions, defined via a weak formulation plus an energy inequality, applied directly to the velocity form of the Hasegawa-Mima equation that includes the perpendicular advection term with log n0.

Load-bearing premise

The specific structure of the velocity form, including the time-independent background density term, permits the direct transfer of Lions' dissipative-solution definition without further restrictions on n0 or the domain.

What would settle it

Existence would fail if, for some divergence-free L2 initial velocity, every sequence of smooth approximations either fails to converge weakly or violates the required energy inequality in the limit.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Solutions exist even when the initial data are too rough for classical existence theorems.
  • The same construction applies equally to periodic and to bounded domains with smooth boundary.
  • No extra regularity or structural assumptions on the background density n0 are required beyond time-independence.
  • The energy inequality built into the definition controls the L2 norm of the velocity along the solution.

Where Pith is reading between the lines

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

  • The result suggests that similar velocity-form adaptations could yield dissipative solutions for other drift-fluid models sharing the same perpendicular advection structure.
  • One could test whether these dissipative solutions satisfy additional conservation properties or select physically relevant limits when smooth solutions exist.
  • The framework might extend to domains with less regular boundaries if the approximation scheme can be adjusted accordingly.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

2 major / 1 minor

Summary. The manuscript claims to prove the existence of dissipative solutions (in the sense of Lions) to the Hasegawa-Mima equation in velocity form, ∂_t(u − Δ^{-1}u) + (u · ∇)u − u^⊥ log n_0 = 0, for arbitrary divergence-free initial data w ∈ L²(D) on the torus T² or on bounded C¹ domains D ⊂ R². The proof is presented as a direct adaptation of Lions' framework for the 2D Euler equations, with n_0 time-independent and no further structural hypotheses stated on n_0.

Significance. If the adaptation is valid, the result would furnish global-in-time existence of dissipative solutions for this plasma model at the same low regularity level as for the Euler equations. The explicit use of an established functional-analytic framework is a methodological strength.

major comments (2)
  1. [Abstract and §1] Abstract and §1 (main theorem statement): the claim of existence 'without additional structural assumptions on n0' is not supported by the equation as written. For the term u^⊥ log n_0 to be well-defined in the distributional sense when test functions are integrated against u ∈ L², log n_0 must belong to L^∞(D) (or at least L^{2+ε}); this integrability condition is load-bearing for the weak formulation and the subsequent compactness argument, yet is not listed among the hypotheses.
  2. [§3] §3 (definition of dissipative solution and approximating sequence): the energy estimates and passage to the limit must control the extra linear term −u^⊥ log n_0 uniformly in the mollified or Galerkin approximations. Without an explicit bound on log n_0, it is unclear whether the defect measure or the dissipation inequality closes in the same way as in Lions' original argument for the pure Euler case.
minor comments (1)
  1. [§1] Notation for the perpendicular gradient and the operator Δ^{-1} should be recalled once in the introduction for readers outside plasma physics.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive comments. We agree that the regularity of log n_0 must be stated explicitly for the weak formulation to be well-defined, and we will revise the manuscript to incorporate this hypothesis. The core existence result remains unchanged.

read point-by-point responses

  1. Referee: [Abstract and §1] Abstract and §1 (main theorem statement): the claim of existence 'without additional structural assumptions on n0' is not supported by the equation as written. For the term u^⊥ log n_0 to be well-defined in the distributional sense when test functions are integrated against u ∈ L², log n_0 must belong to L^∞(D) (or at least L^{2+ε}); this integrability condition is load-bearing for the weak formulation and the subsequent compactness argument, yet is not listed among the hypotheses.

    Authors: We agree that the statement in the abstract and §1 is imprecise. While the physical context implies n_0 > 0 with log n_0 regular, the manuscript does not list this explicitly. We will add the hypothesis log n_0 ∈ L^∞(D) to the abstract, §1, and the statement of the main theorem. With this, u^⊥ log n_0 belongs to L² and the distributional formulation is justified. This is a clarification of an implicit assumption rather than a substantive change to the result. revision: yes

  2. Referee: [§3] §3 (definition of dissipative solution and approximating sequence): the energy estimates and passage to the limit must control the extra linear term −u^⊥ log n_0 uniformly in the mollified or Galerkin approximations. Without an explicit bound on log n_0, it is unclear whether the defect measure or the dissipation inequality closes in the same way as in Lions' original argument for the pure Euler case.

    Authors: With the added assumption log n_0 ∈ L^∞(D), the linear term satisfies |⟨u^⊥ log n_0, φ⟩| ≤ ||log n_0||_∞ ||u||_2 ||φ||_2 uniformly for test functions φ. This bound carries over directly to the mollified and Galerkin approximations, so the energy estimates, passage to the limit, defect measure, and dissipation inequality proceed exactly as in the pure Euler case of Lions. We will insert the explicit estimate for this term into the revised §3. revision: yes

Circularity Check

0 steps flagged

No circularity: pure existence proof via external adaptation

full rationale

The paper is a standard mathematical existence result adapting Lions' dissipative-solution framework for the Euler equations to the Hasegawa-Mima velocity form. The derivation relies on external functional-analytic tools (Lions' book) and standard approximation arguments for weak solutions; no parameters are fitted, no quantities are defined in terms of the target result, and no self-citations form a load-bearing chain. The claim is not reduced to its inputs by construction, satisfying the default expectation of no significant circularity.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard tools from PDE theory and functional analysis already developed for the Euler equations; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (1)
  • domain assumption Lions' framework for dissipative solutions of the Euler equations extends to the given velocity form of the Hasegawa-Mima equation
    The entire proof strategy is described as an adaptation of this framework.

pith-pipeline@v0.9.1-grok · 5658 in / 1227 out tokens · 27215 ms · 2026-07-02T09:03:53.513917+00:00 · methodology

0 comments
read the original abstract

We consider the Hasegawa-Mima equation in its ``Euler-like'' velocity form: \[\partial_t(u-\Delta^{-1}u)+(u\cdot\nabla)u-u^\perp\log n_0=0,\] $n_0$ being the time-independent function appearing in the particle count $n=n_0e^{\frac{e\varphi}{T}}$, and $u$ being the drift velocity $\nabla^\perp\varphi=-\nabla\varphi\times\hat z$. Adapting the notion from Lions' book on the Euler equations, we prove the existence of dissipative solutions for this equation for any $L^2$ divergence free initial condition $w\in L^2(D)$, for $D=\mathbb T^2$ and $D\subset\mathbb R^2$ a bounded $\mathcal{C}^1$ domain.

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

8 extracted references · 2 canonical work pages

  1. [1]

    659-688, September 2018

    Marta Colombo, Camillo De Lellis, Luigi De Rosa, Ill-Posedness of Leray Solutions for the Ipodissipative Navier-Stokes Equations, Communications in Mathematical Physics, 362(2), pp. 659-688, September 2018

    2018

  2. [2]

    Archive for Rational Mechanics and Analysis, 195(1), pp

    Camillo De Lellis and László Székelyhidi Jr.,On admissibility criteria for weak solutions of the Euler equations . Archive for Rational Mechanics and Analysis, 195(1), pp. 225- 260, 2010

    2010

  3. [3]

    Franco Flandoli, Y assine Tahraoui,Hasegawa-Mima equation in bounded domain with singular density, arXiV preprint arXiv:2509.16754, September 2025

    work page arXiv 2025

  4. [4]

    1639-1647, April 2004

    Boling Guo, Y ongqian Han, Existence and uniqueness of global solution of the Hasegawa-Mima equation, Journal of Mathematical Physics, 45, pp. 1639-1647, April 2004

    2004

  5. [5]

    205–208, July 1977

    Kunioki Mima, Akira Hasegawa,Stationary spectrum of strong turbulence in magnetized nonuniform plasma, Physical Review Letters, 39(4), pp. 205–208, July 1977

    1977

  6. [6]

    Hagop Karakazian, Nabil Nassif, Strong and Weak Solutions to the Hasegawa-Mima Equation with Periodic Boundary Conditions , arXiV preprint ID 1712.05524, May 2022. 25

    work page arXiv 2022

  7. [7]

    193-248, 1934

    Jean Leray, Sur le mouvement d’un liquide visqueux emplissant l’espace , Acta Mathe- matica, 63(1), pp. 193-248, 1934

    1934

  8. [8]

    6 4.2 Dissipative solutions to velocity-form Hasegawa-Mima

    Pierre-Louis Lions, Mathematical Topics in Fluid Mechanics, Clarendon Press, Oxford, 1996, Contents 1 Introduction 1 2 The derivation of velocity-form Hasegawa-Mima 3 3 Weak solutions to potential-form and velocity-form Hasegawa-Mima 4 4 Dissipative solutions: definitions, equivalence, and weak-strong uniqueness 6 4.1 Dissipative solutions to potential-for...

    1996