[Paper Review] Bounded Mean Oscillation and the Uniqueness of Active Scalar Equations

Jonas Azzam, Jacob Bedrossian|arXiv (Cornell University)|Aug 12, 2011

Navier-Stokes equation solutions24 references4 citations

TL;DR

This paper establishes new uniqueness results for active scalar equations—such as 2D Euler, SQG, and Patlak-Keller-Segel models—by introducing a refined energy method in the $¯{H}^{-1}$ norm. It proves that solutions are unique under low-regularity assumptions, including $¯{L}^1 \cap BMO$ for vorticity, via novel $L^p$-$BMO$ interpolation and a new Sobolev embedding showing $\nabla v \in BMO$ implies local log-Lipschitz regularity.

ABSTRACT

We consider a number of uniqueness questions for several wide classes of active scalar equations, unifying and generalizing the techniques of several authors. As special cases of our results, we provide a significantly simplified proof to the known uniqueness result for the 2D Euler equations in $L^1 \cap BMO$ and provide a mild improvement to the recent results of Rusin for the 2D inviscid surface quasi-geostrophic (SQG) equations, which are now to our knowledge, the best results known for this model. We also obtain what are (to our knowledge) the strongest known uniqueness results for the Patlak-Keller-Segel models. We obtain these results via technical refinements of energy methods which are well-known in the $L^2$ setting but are less well-known in the $\dot{H}^{-1}$ setting. The $\dot{H}^{-1}$ method can be considered a generalization of Yudovich's classical method and is naturally applied to equations such as the Patlak-Keller-Segel models with nonlinear diffusion, and other variants. Important points of our analysis are an $L^p$-$BMO$ interpolation lemma and a Sobolev embedding lemma which shows that velocity fields $v$ with $\grad v \in BMO$ are locally log-Lipschitz; the latter is known in harmonic analysis but does not seem to have been connected to this setting.

Motivation & Objective

• To establish sharp uniqueness criteria for weak solutions of active scalar equations at low regularity.
• To unify and generalize existing energy method techniques across diverse models including 2D Euler, SQG, and Patlak-Keller-Segel equations.
• To prove that $\nabla v \in BMO$ implies local log-Lipschitz regularity, enabling application of the Osgood condition for uniqueness.
• To refine the $\dot{H}^{-1}$ energy method to handle strongly degenerate nonlinear diffusion and nonlocal operators.

Proposed method

• Adapts Yudovich’s classical $L^2$ energy method to the $\dot{H}^{-1}$ norm for measuring solution differences.
• Employs a new $L^p$-$BMO$ interpolation lemma to control solution differences in low-regularity regimes.
• Uses a novel Sobolev embedding result showing that $\nabla v \in BMO$ implies $v$ is locally log-Lipschitz.
• Applies Calderón-Zygmund theory to show that singular integral operators preserve $BMO$ regularity.
• Establishes that $\|v(x) - v(y)\|_{L^1}$ is controlled by $\|\nabla v\|_{BMO}$ via dyadic decomposition and $L^1$-type estimates.
• Uses fundamental calculus arguments and dyadic annuli to bound $\int_{B(x,r)} \frac{|\nabla v(z)|}{|z|^{d-1}} dz \lesssim \|\nabla v\|_{BMO} (r|\log r| - r)$.

Experimental results

Research questions

• RQ1 Can the $\dot{H}^{-1}$ energy method be extended to prove uniqueness for active scalar equations with nonlinear and degenerate diffusion?
• RQ2 What is the minimal regularity required for uniqueness in the 2D Euler equations beyond $L^\infty$ and $L^1$?
• RQ3 Does $\nabla v \in BMO$ imply sufficient regularity to satisfy the Osgood condition for uniqueness?
• RQ4 Can the $\dot{H}^{-1}$ method be applied uniformly across diverse active scalar models, including SQG and Patlak-Keller-Segel?
• RQ5 What is the sharp relationship between $BMO$ regularity of $\nabla v$ and the resulting regularity of the velocity field?

Key findings

• The paper provides a significantly simplified proof of uniqueness for 2D Euler equations in $L^1 \cap BMO$, matching the best-known results.
• It establishes that $\nabla v \in BMO$ implies $v$ is locally log-Lipschitz, a key regularity result not previously connected to this PDE context.
• The $\dot{H}^{-1}$ energy method yields the strongest known uniqueness results for Patlak-Keller-Segel models with nonlinear diffusion.
• The method applies uniformly to equations with strongly degenerate nonlinear diffusion, treating such terms naturally via monotonicity in $H^{-1}$.
• The authors derive a sharp estimate: $\int_{B(x,r)} \frac{|\nabla v(z)|}{|z|^{d-1}} dz \lesssim \|\nabla v\|_{BMO} (r|\log r| - r)$, which controls local oscillation.
• The results improve upon Rusin’s recent work on 2D inviscid SQG, providing the best-known uniqueness results for that model to date.