Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

A Classification Theorem for Steady Euler Flows

Tarek M. Elgindi, Yupei Huang, Ayman R. Said, Chunjing Xie

TL;DR

This work establishes a sharp dichotomy for analytic steady 2D Euler flows on simply connected bounded domains: a steady state is either radial or arises as a Dirichlet solution to a semilinear elliptic equation $\Delta\psi=F(\psi)$. The authors develop a framework based on the Poisson bracket $\{\psi,\Delta\psi\}=0$, zero-set theory for analytic functions, and a refined moving-plane method to handle singular nonlinearities near $0$, centered around the innermost loop of critical points $\Gamma$ and the associated domain $\Omega_{\Gamma}$. They show that on $\Omega_{\Gamma}$, $\Delta\psi$ is a function of $\psi$, and through a detailed case analysis (including overdetermined boundary problems and Puiseux-type expansions of $F$) they prove radial symmetry in the degenerate case or realization by $F$ in the general case, culminating in a 1-1 correspondence with analytic $F$-solutions when $\Omega$ is not a ball. The result is optimal in the analytic category, and a counterexample on multiply connected domains demonstrates the necessity of simple connectivity. The work provides a structural understanding of steady Euler states and informs potential pathways for addressing long-time dynamics via the local/global geometry of the steady-state set.

Abstract

Fix a bounded, analytic, and simply connected domain $Ω\subset\mathbb{R}^2.$ We show that all analytic steady states of the Euler equations with stream function $ψ$ are either radial or solve a semi-linear elliptic equation of the form $Δψ= F(ψ)$ with Dirichlet boundary conditions. In particular, if $Ω$ is not a ball, then there exists a one to one correspondence between analytic steady states of the Euler equations and analytic solutions of equations of the form $Δψ= F(ψ)$ with Dirichlet boundary conditions.

A Classification Theorem for Steady Euler Flows

TL;DR

This work establishes a sharp dichotomy for analytic steady 2D Euler flows on simply connected bounded domains: a steady state is either radial or arises as a Dirichlet solution to a semilinear elliptic equation . The authors develop a framework based on the Poisson bracket , zero-set theory for analytic functions, and a refined moving-plane method to handle singular nonlinearities near , centered around the innermost loop of critical points and the associated domain . They show that on , is a function of , and through a detailed case analysis (including overdetermined boundary problems and Puiseux-type expansions of ) they prove radial symmetry in the degenerate case or realization by in the general case, culminating in a 1-1 correspondence with analytic -solutions when is not a ball. The result is optimal in the analytic category, and a counterexample on multiply connected domains demonstrates the necessity of simple connectivity. The work provides a structural understanding of steady Euler states and informs potential pathways for addressing long-time dynamics via the local/global geometry of the steady-state set.

Abstract

Fix a bounded, analytic, and simply connected domain We show that all analytic steady states of the Euler equations with stream function are either radial or solve a semi-linear elliptic equation of the form with Dirichlet boundary conditions. In particular, if is not a ball, then there exists a one to one correspondence between analytic steady states of the Euler equations and analytic solutions of equations of the form with Dirichlet boundary conditions.
Paper Structure (24 sections, 28 theorems, 58 equations, 4 figures)

This paper contains 24 sections, 28 theorems, 58 equations, 4 figures.

Table of Contents

  1. Introduction and Main Results
  2. The Euler Equations
  3. Steady States
  4. Main Results
  5. Main Ideas
  6. Some observations about $\{f,g\}=0$
  7. Properties of the set $\{\nabla\psi=0\}$ when $\{\psi,\Delta\psi\}=0$
  8. Moving Plane Arguments
  9. Organization of the Paper
  10. Facts about $\{f,g\}=0$
  11. Key Facts
  12. Zero Sets of Analytic Functions
  13. Structure of the Set of Critical Points
  14. The Innermost Loop
  15. Rigidity in Case 2
  16. ...and 9 more sections

Key Result

Theorem 1.1

Let $\Omega$ be a simply connected and bounded domain of $\mathbb{R}^2$. Assume that $\psi$ is analytic on $\bar{\Omega}$, is constant on $\partial\Omega$, and satisfies the steady Euler equation SEEBracket. Let $[a,b]$ be the range of $\psi$ on $\bar{\Omega}.$ Then, one of the following must hold.

Figures (4)

  • Figure 1: 2D Contour plot of $g$ and $f$ in Example 1
  • Figure 2: 2D contour plot of $g$ and $f$ in Example 2
  • Figure 3: Illustrations for a potential critical set of $\psi$
  • Figure 4: Internal tangency and boundary tangency

Theorems & Definitions (59)

  • Theorem 1.1
  • Remark 1.1
  • Remark 1.2
  • Corollary 1.2
  • Remark 1.3
  • Remark 1.4
  • Remark 1.5
  • Remark 1.6
  • Lemma 1.3
  • Definition 2.1
  • ...and 49 more