Table of Contents
Fetching ...

Ill-Posedness of the 2D Euler Equations in a Logarithmically Refined Critical Sobolev Space

Elaine Cozzi, Nicholas Harrison, Zachary Radke

TL;DR

The paper establishes strong ill-posedness for the 2D Euler equations in logarithmically refined critical Sobolev spaces $H^{2,\alpha}(\mathbb{R}^2)$ when $\alpha\le \tfrac{1}{2}$, extending Bourgain–Li’s critical-space ill-posedness results. It defines $H^{s,\alpha}$ via the operator $\log^{\alpha}(D+1)$, proves a sharp threshold $\alpha=\tfrac{1}{2}$ separating ill-posedness from global well-posedness (proved in prior work for $\alpha>\tfrac{1}{2}$), and develops a two-pronged construction: first, a local norm inflation in $H^{1,\alpha}$ through large Lagrangian deformation and high-frequency perturbations; then, an interaction framework that patches infinitely many such localized configurations to yield global ill-posedness. A key methodological element is a quantitative nonstationary-phase oscillatory integral bound that tracks phase-dependent behavior under the flow, enabling precise control of the trajectory map and vorticity transport. The results delineate the sharp boundary of well-posedness versus ill-posedness at the logarithmically refined critical scale and underscore the delicate role of logarithmic regularity in 2D fluid dynamics.

Abstract

In their seminal work, Bourgain and Li establish strong ill-posedness of the 2D Euler equations for initial velocity in the critical Sobolev space $H^2(\mathbb{R}^2)$. In this work, we extend those results by demonstrating strong ill-posedness in logarithmically regularized spaces which are strictly contained in $H^2(\mathbb{R}^2)$ and which contain $H^s(\mathbb{R}^2)$ for all $s>2$. These spaces are constructed via application of a fractional logarithmic derivative to the critical Sobolev norm. We show that if the power $α$ of the logarithmic derivative satisfies $α\leq 1/2$, then the 2D Euler equations are strongly ill-posed.

Ill-Posedness of the 2D Euler Equations in a Logarithmically Refined Critical Sobolev Space

TL;DR

The paper establishes strong ill-posedness for the 2D Euler equations in logarithmically refined critical Sobolev spaces when , extending Bourgain–Li’s critical-space ill-posedness results. It defines via the operator , proves a sharp threshold separating ill-posedness from global well-posedness (proved in prior work for ), and develops a two-pronged construction: first, a local norm inflation in through large Lagrangian deformation and high-frequency perturbations; then, an interaction framework that patches infinitely many such localized configurations to yield global ill-posedness. A key methodological element is a quantitative nonstationary-phase oscillatory integral bound that tracks phase-dependent behavior under the flow, enabling precise control of the trajectory map and vorticity transport. The results delineate the sharp boundary of well-posedness versus ill-posedness at the logarithmically refined critical scale and underscore the delicate role of logarithmic regularity in 2D fluid dynamics.

Abstract

In their seminal work, Bourgain and Li establish strong ill-posedness of the 2D Euler equations for initial velocity in the critical Sobolev space . In this work, we extend those results by demonstrating strong ill-posedness in logarithmically regularized spaces which are strictly contained in and which contain for all . These spaces are constructed via application of a fractional logarithmic derivative to the critical Sobolev norm. We show that if the power of the logarithmic derivative satisfies , then the 2D Euler equations are strongly ill-posed.
Paper Structure (8 sections, 10 theorems, 178 equations)

This paper contains 8 sections, 10 theorems, 178 equations.

Key Result

Theorem 1.1

Let $\alpha\in(0,\frac{1}{2}]$ and $\varepsilon>0$. Then there exists $u_0\in H^{2,\alpha}(\mathbb{R}^2)\cap C^\infty(\mathbb{R}^2)$ such that $\|u_0\|_{H^{2,\alpha}}<\varepsilon$ and the unique smooth solution $u$ to $(VelocityEquation)$ satisfies

Theorems & Definitions (20)

  • Theorem 1.1
  • Lemma 2.1
  • proof
  • Lemma 2.2
  • proof
  • Theorem 3.1
  • Remark 3.2
  • proof
  • Lemma 3.3
  • proof
  • ...and 10 more