Searcharxiv⌕ Search

arXiv · 2610.29938

A PDE-theory-guided neural operator and the long-time relaxation of the two-dimensional anisotropic Boussinesq system

Abstract

We design a neural operator for the two-dimensional Boussinesq system with anisotropic dissipation on the periodic box, guided by a rigorous analysis of its long-time behavior. The operator maps a small perturbation of hydrostatic equilibrium, of amplitude $\varepsilon$, to the vorticity at a late time. We prove that the flow relaxes to a stratified shear flow, with the horizontally averaged vorticity staying within $O(\varepsilon^2)$ of its initial value $\barω_0$ and the oscillation about it of order $\varepsilon$. Accordingly, the network outputs $\barω_0$ plus these two parts, each scaled to its size, which grows as $\varepsilon^2$ and $\varepsilon$, respectively. Without this guidance the training either does not converge or misses the $\varepsilon^2$ growth. With it, one network reproduces, sample by sample on $2\times10^3$ test runs over a factor of $23$ in amplitude, the quantity bounded by the theorem to a median error of $2.2$ percent. Being fast and differentiable with respect to the initial data, the network is also used to search the space of initial data, and with every candidate checked by the solver the search finds initial data for which this quantity is $4.4$ times the largest value among the test runs, raising the lower bound for the constant of the theorem by that factor.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Akram Moustafa, Jiahong Wu, Xiaoming Zheng. 2026-10-21. A PDE-theory-guided neural operator and the long-time relaxation of the two-dimensional anisotropic Boussinesq system. https://arxiv.org/abs/2610.29938

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Convergence of solutions to the $p$-Laplace evolution equation as $p$ goes to 1

We prove that the set of solutions to the parabolic singular $p$-Laplace equation with Dirichlet boundary conditions on a bounded Lipschitz domain $Ω$ for all space dimensions is continuous in the parameter $p\in [1,+\infty)$ and the initial data. The highly singular limit case $p=1$ is included. In particular, we show that the solutions $u_p$ converge strongly in $L^2(Ω)$, uniformly in time, to the solution $u_1$ of the parabolic $1$-Laplace equation as $p\to 1$.

math.AP↗

Complex Monge-Ampère equation for positive $(p,p)$-forms on compact Kähler manifolds

A complex Monge-Ampère equation for differential $(p,p)$-forms is introduced on compact Kähler manifolds. For any $1 \leq p < n$, we show the existence of smooth solutions unique up to adding constants. For $p=1$, this corresponds to the Calabi-Yau theorem proved by S. T. Yau, and for $p=n-1$, this gives the Monge-Ampère equation for $(n-1)$ plurisubharmonic functions studied by Tosatti-Weinkove. For other $p$ values, this defines a non-linear PDE that falls outside of the general framework of Caffarelli-Nirenberg-Spruck. Further, we define a geometric flow for higher-order forms that extends the Kähler-Ricci flow naturally to $(p,p)$-forms. As a consequence of our main theorem, we show that this flow exists in a maximal time interval and can be shown to converge under some assumptions. A modified flow is introduced and the convergence of the associated normalized flow is shown.

math.AP↗

Existence and Smoothing for a Nondivergence-Form Degenerate Diffusion from Plasma-Wave Theory

We prove existence and positive-time smoothing of weak solutions to the degenerate parabolic Cauchy--Dirichlet problem $\partial_t u = ρ_λ(x)u\,\partial_x^2 u + ρ_λ(x)g(x)u$ on the half-line, where $ρ_λ$ vanishes at the boundary and grows at infinity. This scalar problem arises from a formal reduction of the one-dimensional quasilinear system for plasma waves, which couples an electron distribution to a wave-energy spectrum: we develop a solution theory for the scalar problem that lifts to this system. For the scalar problem, we construct nonnegative weak solutions under weighted integrability assumptions on the initial data and boundedness of the reaction coefficient $ρ_λg$, admitting unbounded and discontinuous data pertinent to the physical model. We establish a one-sided bound on $\partial_t u$ which yields positive-time smoothing: solutions become locally Hölder continuous in both space and time and locally Lipschitz continuous in space. Explicit examples show that this spatial regularity is sharp. Under natural assumptions on the initial data, our scalar solutions lift to weak solutions of the particle--wave system that preserve nonnegativity, conserve particle mass, smooth initial particle measures to locally bounded densities at positive times, and exhibit quantitative decay of the wave spectrum at large wavenumber.

math.AP↗