[Paper Review] Scalars convected by a 2D incompressible flow

Diego Córdoba, Charles Fefferman|ArXiv.org|Jan 30, 2001

Navier-Stokes equation solutions7 references3 citations

TL;DR

This paper introduces a criterion to test for sharp front formation in 2D incompressible flows by analyzing velocity growth. It proves that if a sharp front forms in finite time, the velocity must exhibit uncontrolled growth; thus, controlled velocity growth rules out front formation, providing a numerical validation test for simulations of MHD, QG, and Boussinesq equations.

ABSTRACT

We provide a test for numerical simulations, for several two dimensional incompressible flows, that appear to develop sharp fronts. We show that in order to have a front the velocity has to have uncontrolled velocity growth.

Motivation & Objective

• To identify a necessary condition for sharp front formation in 2D incompressible flows convecting a scalar.
• To provide a numerical test to validate simulations that appear to form sharp fronts.
• To rule out sharp front formation under the assumption of controlled velocity growth.
• To extend the Beale-Kato-Majda criterion by focusing on velocity rather than vorticity or gradient growth.
• To analyze level curve dynamics and their collapse into a single curve as a mechanism for front formation.

Proposed method

• Define a sharp front as the collapse of two distinct level curves $\Gamma_{+}(t)$ and $\Gamma_{-}(t)$ into a single curve $\Gamma$ at time $T$.
• Use the stream function $\psi$ to express the velocity field via $u = \nabla^\perp \psi$, ensuring incompressibility.
• Derive the time derivative of the front length integral $A(t) = \int_{\tilde{a}(t)}^{\tilde{b}(t)} [f_+(x_1,t) - f_-(x_1,t)] dx_1$ using the transport equation for level curves.
• Introduce time-dependent bounds $\tilde{a}(t)$ and $\tilde{b}(t)$ based on sup-norm of velocity over the front region.
• Apply the dominated convergence theorem to show that $A(t)$ cannot decrease if velocity growth is controlled.
• Contradict the assumption of front formation by proving $dA/dt > 0$ under controlled velocity growth, implying front cannot collapse.

Experimental results

Research questions

• RQ1 Can a sharp front form in finite time under controlled velocity growth in 2D incompressible flows?
• RQ2 What condition on velocity growth must be violated for a sharp front to form?
• RQ3 How does the collapse of level curves relate to gradient blowup in scalar convected fields?
• RQ4 Can numerical simulations showing front formation be validated using velocity growth as a criterion?
• RQ5 Is the velocity growth criterion a stronger or more practical test than existing BKM-type criteria for singularity formation?

Key findings

• A sharp front cannot form at finite time $T$ if the velocity field satisfies controlled growth: $\int_0^T \sup |u| \, dt < \infty$ over the front region.
• The proof relies on showing that the integral of the front length difference remains bounded away from zero, contradicting the collapse condition $\lim_{t\to T^-} (f_+ - f_-) = 0$.
• The time derivative of the front length integral $A(t)$ is strictly positive under controlled velocity growth, violating the requirement for collapse.
• The result provides a practical test for numerical simulations: if velocity growth is bounded, front formation is ruled out.
• This criterion is more directly applicable to simulations than the original BKM theorem, which relies on vorticity or gradient norms.
• The method applies to MHD, QG, and Boussinesq equations, where front formation is numerically observed but not rigorously proven.