arxiv: 2605.11754 · v1 · submitted 2026-05-12 · 🧮 math.AP

Recognition: 2 theorem links

· Lean Theorem

Global Existence and Uniqueness of Strong Solutions for a Phase Transition Model in Atmospheric Dynamics

Donatella Donatelli, Giada Cianfarani Carnevale, Stefano Spirito

Pith reviewed 2026-05-13 05:51 UTC · model grok-4.3

classification 🧮 math.AP

keywords phase transition modelatmospheric dynamicsstrong solutionsmultivalued termprecipitationtropical climate modelprimitive equationsglobal existence

0 comments

The pith

A regularized approximation establishes global existence of strong solutions for the phase transition model in atmospheric dynamics on the whole plane.

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

The paper studies a system of equations for atmospheric dynamics that includes a multivalued discontinuous term representing precipitation formation when supersaturation occurs. A smoothed version of this term is introduced so that approximate solutions exist and are unique, after which compactness arguments recover strong solutions for the original unsmoothed system. The result justifies the tropical climate model over all of R squared while avoiding an artificial viscosity term in the humidity equation.

Core claim

The authors prove that the regularized phase transition model admits unique global strong solutions, and that these converge via compactness arguments to a strong solution of the original model featuring the multivalued precipitation term active only under supersaturation. Uniqueness for the original model holds provided a certain physically justified condition on the solution is met.

What carries the argument

the regularized formulation of the multivalued discontinuous nonlinear term for precipitation

If this is right

The tropical climate model receives a rigorous mathematical justification on the entire plane R squared.
Global strong solutions exist for the coupled velocity, temperature, and humidity system.
Uniqueness of solutions holds under the stated conditional assumption on supersaturation.
The humidity equation requires no added viscosity term.

Where Pith is reading between the lines

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

The same regularization approach could extend to other atmospheric models that contain similar discontinuous phase-transition terms.
The conditional nature of uniqueness points to the role of physical constraints in closing the system.
Numerical tests that track supersaturation regions would provide concrete checks on whether the obtained solutions match observed precipitation behavior.

Load-bearing premise

The regularized solutions converge to a limit that satisfies the original multivalued precipitation relation while preserving the physical supersaturation condition.

What would settle it

An explicit example or numerical computation showing that the compactness limit fails to satisfy the original discontinuous term, or that uniqueness fails when the supersaturation condition is violated.

read the original abstract

In this work, we study a phase transition model in atmospheric dynamics, inspired by the works [6,14,15], which analyze the primitive equations governing the evolution of velocity, temperature, and specific humidity. The main difficulty arises from the presence of a multivalued discontinuous nonlinear term in the temperature and in the humidity equations, describing the formation of precipitations, which becomes active under supersaturation conditions. To overcome this issue, we introduce a regularized formulation that ensures the existence and uniqueness of approximate solutions. By employing classical compactness arguments, we then establish the existence of a strong solution to the original model. Additionally, we establish uniqueness under a conditional and physically meaningful assumption. This approach allows us to provide a rigorous justification of the tropical climate model on the whole space $\mathbb{R}^2$, while avoiding the introduction of a viscosity term in the humidity equation.

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.

Desk Editor's Note private letter to a colleague

This paper gives a standard existence proof via regularization and compactness for strong solutions to an atmospheric phase transition model on R^2, plus conditional uniqueness, but the limit passage for the discontinuous term needs explicit verification.

read the letter

The main result is global existence of strong solutions to this phase transition model on the whole plane, with uniqueness under a conditional physical assumption. It extends prior primitive-equation work by regularizing the multivalued precipitation term that activates only under supersaturation and then passing to the limit with compactness, all while skipping extra viscosity in the humidity equation.

Referee Report

1 major / 1 minor

Summary. The manuscript analyzes a phase transition model for atmospheric dynamics on R^2, featuring multivalued discontinuous precipitation terms active under supersaturation in the temperature and humidity equations. It introduces a regularized formulation to obtain existence and uniqueness of approximate solutions, then applies classical compactness arguments to pass to the limit and establish global existence of strong solutions to the original system. Conditional uniqueness is proved under a physically meaningful assumption, providing a rigorous justification of the tropical climate model without introducing viscosity in the humidity equation.

Significance. If the limit passage is rigorously justified, the result would be significant for providing a mathematical foundation for phase-transition models in atmospheric science on unbounded domains, avoiding artificial viscosity that could alter physical behavior. The conditional uniqueness result highlights the role of the supersaturation assumption in a physically relevant way.

major comments (1)

[Compactness argument for existence] Compactness and limit passage (as described after the regularization step): the argument that classical compactness yields a strong solution to the original system with the multivalued discontinuous precipitation term requires an explicit verification that the supersaturation condition is preserved in the limit. On the unbounded domain R^2, weak convergence of the regularized term alone does not automatically guarantee that the limiting pair satisfies the graph inclusion of the original operator, especially without viscosity in the humidity equation to strengthen a-priori estimates. A monotonicity or Minty-type argument carrying the activation condition through the limit is needed to support the central existence claim.

minor comments (1)

[Introduction] The abstract and introduction could clarify the precise differences between the current model and the referenced works [6,14,15] to better situate the novelty of avoiding viscosity in the humidity equation.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive comments. We address the major concern regarding the compactness and limit passage argument below.

read point-by-point responses

Referee: Compactness and limit passage (as described after the regularization step): the argument that classical compactness yields a strong solution to the original system with the multivalued discontinuous precipitation term requires an explicit verification that the supersaturation condition is preserved in the limit. On the unbounded domain R^2, weak convergence of the regularized term alone does not automatically guarantee that the limiting pair satisfies the graph inclusion of the original operator, especially without viscosity in the humidity equation to strengthen a-priori estimates. A monotonicity or Minty-type argument carrying the activation condition through the limit is needed to support the central existence claim.

Authors: We agree that the limit passage for the multivalued precipitation term requires careful justification to ensure the supersaturation condition is preserved. While the manuscript employs standard compactness arguments to pass to the limit after regularization, we acknowledge that an explicit verification using a Minty-type monotonicity argument would strengthen the proof, particularly on the unbounded domain without additional viscosity in the humidity equation. In the revised manuscript, we will add a detailed section applying the Minty-Browder technique to the regularized precipitation operator, showing that the weak limit satisfies the graph inclusion of the original multivalued term. revision: yes

Circularity Check

0 steps flagged

Standard regularization and compactness arguments yield independent existence result

full rationale

The paper introduces a regularized formulation to obtain approximate solutions with existence and uniqueness, then applies classical compactness arguments to pass to a strong solution of the original system. This chain relies on standard PDE techniques (regularization + compactness) that are independent of the target result and do not reduce by construction to fitted parameters, self-definitions, or self-citation chains. Uniqueness is explicitly conditional on a physically motivated assumption rather than derived unconditionally. No load-bearing self-citations or ansatz smuggling appear; the derivation is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the validity of the regularization approximating the original multivalued term and on standard compactness theorems from PDE theory; no free parameters or new entities are introduced.

axioms (1)

standard math Standard compactness results in appropriate function spaces allow passage to the limit from regularized solutions
Invoked to obtain the strong solution of the original system from the approximate ones.

pith-pipeline@v0.9.0 · 5455 in / 1205 out tokens · 36168 ms · 2026-05-13T05:51:10.061558+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear
We introduce a regularized formulation... By employing classical compactness arguments, we then establish the existence of a strong solution... uniqueness under a conditional... assumption (q1−qs)(q2−qs)≥0
IndisputableMonolith/Foundation/BranchSelection.lean branch_selection unclear
H(r) multivalued Heaviside... G+(T) positive part... precipitation term P = Hg/πR (divv)− H(q−qs)G+(T)

Reference graph

Works this paper leans on

27 extracted references · 27 canonical work pages

[1]

Az´ erad and F

P. Az´ erad and F. Guill´ en, Mathematical justification of the hydrostatic approximation in the prim- itive equations of geophysical fluid dynamics,SIAM J. Math. Anal., 33, 847–859, 2001

work page 2001
[2]

Math.82, 99–128, 2014

Bousquet, A.; Coti Zelati, M.; Temam, R.; Phase transition models in atmospheric dynamics.Milan J. Math.82, 99–128, 2014

work page 2014
[3]

S.: Local and global well-posedness of strong solutions to the 3D primitive equations with vertical eddy diffusivity,Arch

Cao, C.; Li, J.; Titi, E. S.: Local and global well-posedness of strong solutions to the 3D primitive equations with vertical eddy diffusivity,Arch. Rational Mech. Anal., 35–76, no. 214, 2014

work page 2014
[4]

S.: Global well-posedness of the 3D primitive equations with only horizontal viscosity and diffusivity,Comm

Cao, C.; Li, J.; Titi, E. S.: Global well-posedness of the 3D primitive equations with only horizontal viscosity and diffusivity,Comm. Pure Appl. Math., 69, 1491–1531, 2016

work page 2016
[5]

S.; Global well-posedness of the three-dimensional viscous primitive equations of large scale ocean and atmosphere dynamics.Annals of Mathematics, 245–267, 2007

Cao, C.; Titi, E. S.; Global well-posedness of the three-dimensional viscous primitive equations of large scale ocean and atmosphere dynamics.Annals of Mathematics, 245–267, 2007

work page 2007
[6]

Kukavica, I.; Temam, R.; Ziane, M

Coti Zelati, M.; Huang, A. Kukavica, I.; Temam, R.; Ziane, M. The primitive equations of the atmosphere in presence of vapour saturation,Nonlinearity, 28, 625–668. 2015

work page 2015
[7]

Coti Zelati, M.; Fr´ emond, M.; Temam, R.; Tribbia, J., The equations of the atmosphere with humidity and saturation: Uniqueness and physical bounds;Physica D, 264, 49–65, 2013

work page 2013
[8]

Methods Appl

Donatelli, D.; Juh´ asz, N.; Weak solution of the merged mathematical equations of the polluted atmosphere.Math. Methods Appl. Sci.43, no. 15, 9245–9261, 2020

work page 2020
[9]

Donatelli, D.; Juh´ asz, N.; The primitive equations of the polluted atmosphere as a weak and strong limit of the 3D Navier-Stokes equations in downwind-matching coordinates.Discrete Contin. Dyn. Syst.42, no. 6, 2859–2892, 2022

work page 2022
[10]

MW; Majda, A

Frierson, D. MW; Majda, A. J.; Pauluis, O.M.; Large scale dynamics of precipitation fronts in the tropical atmosphere: A novel relaxation limit.Commun. Math. Sci., 2, 591–626, 2004

work page 2004
[11]

Guo, B.; Huang, D.; Existence of weak solutions and trajectory attractors for the moist atmospheric equations in geophysicsJ. Math. Phys.47, 2006

work page 2006
[12]

7, 3206–3236, 2020

Hittmeir, S.; Klein, R.; Li, J.; Titi, E.S.; Global well-posedness for the primitive equations coupled to nonlinear moisture dynamics with phase changes.Nonlinearity33, no. 7, 3206–3236, 2020. 38 G. CIANFARANI CARNEVALE, D. DONATELLI, AND S. SPIRITO

work page 2020
[13]

J.; Stechmann, S

Khouider, B.; Majda, A. J.; Stechmann, S. N. Climate science in the tropics: waves, vortices and PDEs.Nonlinearity, 26, R1–R68, 2013

work page 2013
[14]

S.; A tropical atmosphere model with moisture: global well-posedness and relaxation limit.Nonlinearity, 29, no.9, 2674–2714, 2016

Li, J.; Titi, E. S.; A tropical atmosphere model with moisture: global well-posedness and relaxation limit.Nonlinearity, 29, no.9, 2674–2714, 2016

work page 2016
[15]

Li,J.; Titi, E.S.; Global well-posedness of strong solutions to a tropical climate model,Discrete Contin. Dyn. Syst.36no.8, 4495–4516, 2016

work page 2016
[16]

Li, J.; Titi, E.S.; Recent advances concerning certain class of geophysical flows.Handbook of math- ematical analysis in mechanics of viscous fluids, 933–971, 2018

work page 2018
[17]

Li and E

J. Li and E. S. Titi, The primitive equations as the small aspect ratio limit of the Navier-Stokes equations: Rigorous justification of the hydrostatic approximation,J. Math. Pures Appl.,124, 30–58, 2019

work page 2019
[18]

New formulations of the primitive equations of atmosphere and applications,Nonlinearity,5, 237–288, 1992

Lions, J.L.; Temam R.; Wang,S. New formulations of the primitive equations of atmosphere and applications,Nonlinearity,5, 237–288, 1992

work page 1992
[19]

Lions, J.L.; Temam R.; Wang, S.; On the equations of the large scale Ocean,Nonlinearity, 5, 1007–1053, 1992

work page 1992
[20]

Liu, H.; Sun, C.; Li, M.; Global smooth solution for the 3D generalized tropical climate model with partial viscosity and damping.J. Math. Anal. Appl.543, no. 2, Paper No. 129007, 23 pp., 2025

work page 2025
[21]

Pedlosky, J.; Geophysical Fluid Dynamics,Springer-Verlag, New York, 1987

work page 1987
[22]

Richardson, L.F.; Weather Prediction by Numerical Process,Cambridge University Press, Cam- bridge 1922 (reprint, Dover, New York, 1988)

work page 1922
[23]

Salmon, R.; Lectures on Geophysical Fluid Dynamics,Oxford University Press, New York, Oxford, 1998

work page 1998
[24]

Simon, J.; Compact sets in the spaceL p((0, T);B).Annali di Matematica pura ed applicata, 146, 65-96, 1986

work page 1986
[25]

Temam, R.; Ziane, M.; Some mathematical problems in geophysical fluid dynamics,Handbook of Mathematical Fluid Dynamics, 2003

work page 2003
[26]

N.; Majda, A.J.; The structure of precipitation fronts for finite relaxation time

Stechmann, S. N.; Majda, A.J.; The structure of precipitation fronts for finite relaxation time. Theoretical and Computational Fluid Dynamics20, 377–404, 2006

work page 2006
[27]

Atmospheric and oceanic fluid dynamics

Vallis, Geoffrey K. Atmospheric and oceanic fluid dynamics. Cambridge University Press, 2017. (Giada Cianfarani Carnevale)Dipartimento di Ingegneria e Scienze dell’Informazione e Matematica, Universit`a degli Studi dell’Aquila (Italy) Email address:giada.cianfaranicarnevale@univaq.it (Donatella Donatelli)Dipartimento di Ingegneria e Scienze dell’Informazi...

work page 2017