Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Sharp asymptotic stability of the incompressible porous media equation

Roberta Bianchini, Min Jun Jo, Jaemin Park, Shan Wang

TL;DR

This work proves sharp asymptotic stability for the IPM equation near a stable stratified density in Sobolev spaces $H^k$ with $k>2$, by unveiling a variational structure through a potential energy $\mathcal{E}$ and leveraging refined commutator estimates to control high-regularity norms. The authors establish global-in-time existence and $L^2$-decay of the density toward the measure-preserving stratification $\rho_0^*$ at rate $t^{-k/2}$, while showing instability at the critical threshold $k=2$. The analysis combines linear decay insights, a nonlinear energy framework, and time-averaged estimates to close a bootstrap and confirm optimal regularity requirements. The results bridge the gap between previously known $H^3$-type stability and ill-posedness in $H^2$, delivering the sharp threshold and precise long-time behavior with potential implications for related fluid models. The construction of the level-set stratification and the variational perspective offer a robust approach that could extend to other stratified fluid systems with similar transport-dominated dynamics.

Abstract

In this paper, we prove the asymptotic stability of the incompressible porous media (IPM) equation near a stable stratified density, for initial perturbations in the Sobolev space $H^k$ with any $2<k \in\mathbb{R}$. While it is known that such a steady state is unstable in $H^2$, our result establishes a sharp stability threshold in higher-order Sobolev spaces. The key ingredients of our proof are twofold. First, we extract long-time convergence from the decay of a potential energy functional$-$despite its non-coercive nature$-$thereby revealing a variational structure underlying the dynamics. Second, we derive refined commutator estimates to control the evolution of higher Sobolev norms throughout the full range of $k>2$.

Sharp asymptotic stability of the incompressible porous media equation

TL;DR

This work proves sharp asymptotic stability for the IPM equation near a stable stratified density in Sobolev spaces with , by unveiling a variational structure through a potential energy and leveraging refined commutator estimates to control high-regularity norms. The authors establish global-in-time existence and -decay of the density toward the measure-preserving stratification at rate , while showing instability at the critical threshold . The analysis combines linear decay insights, a nonlinear energy framework, and time-averaged estimates to close a bootstrap and confirm optimal regularity requirements. The results bridge the gap between previously known -type stability and ill-posedness in , delivering the sharp threshold and precise long-time behavior with potential implications for related fluid models. The construction of the level-set stratification and the variational perspective offer a robust approach that could extend to other stratified fluid systems with similar transport-dominated dynamics.

Abstract

In this paper, we prove the asymptotic stability of the incompressible porous media (IPM) equation near a stable stratified density, for initial perturbations in the Sobolev space with any . While it is known that such a steady state is unstable in , our result establishes a sharp stability threshold in higher-order Sobolev spaces. The key ingredients of our proof are twofold. First, we extract long-time convergence from the decay of a potential energy functionaldespite its non-coercive naturethereby revealing a variational structure underlying the dynamics. Second, we derive refined commutator estimates to control the evolution of higher Sobolev norms throughout the full range of .
Paper Structure (16 sections, 17 theorems, 341 equations, 1 figure)

This paper contains 16 sections, 17 theorems, 341 equations, 1 figure.

Table of Contents

  1. Introduction
  2. Incompressible porous media equation
  3. Main theorem
  4. Brief overview of the proof
  5. Decay rates in the linearized equation
  6. Nonlinear analysis
  7. Notations
  8. Preliminaries
  9. Fractional Sobolev spaces
  10. Time average decay
  11. Stratification and potential energy
  12. Local wellposedness for the IPM equation
  13. High regularity estimates
  14. Energy structure analysis
  15. Proof of Theorem \ref{['main_theorem']}
  16. ...and 1 more sections

Key Result

Theorem 1.1

Let $\rho_s$ be a stratified density satisfying density_property. Then $\rho_s$ is asymptotically stable for the IPM equation, IPM-Darcy_law, in $H^k(\Omega)$ for any $k\in\mathbb{R}$ such that $k>2$. More precisely, setting there exist $\varepsilon,\ C>0$ which depends only on $\gamma$ such that if $\rVert \rho_0 -\rho_s\rVert_{H^k}\le \varepsilon,$ then there exists a unique solution $\rho(t)$

Figures (1)

  • Figure 1: An illustration of the level sets of $f$. Each level set $f=s$ is uniquely decomposed into $\phi_0$ and $h$ so that $\int_{\mathbb{R}}h(x_1,s)dx_1=0$ for each $s\in\mathbb{R}$.

Theorems & Definitions (35)

  • Theorem 1.1
  • Remark 1.2
  • Remark 1.3
  • Remark 1.4
  • Lemma 2.1
  • Lemma 2.2
  • Lemma 2.3
  • proof
  • Lemma 2.4
  • proof
  • ...and 25 more