[Paper Review] Global Existence and Uniqueness of Weak Solutions of 3-D Euler Equations with Helical Symmetry in the Absence of Vorticity Stretching

Boris Ettinger, Edriss S. Titi|ArXiv.org|Feb 15, 2008

Navier-Stokes equation solutions18 references3 citations

TL;DR

This paper establishes the global existence and uniqueness of weak solutions to the 3D Euler equations under helical symmetry with initial vorticity in $L^\infty$, under a geometric constraint that eliminates vorticity stretching. By adapting Yudovich's framework to helical flows and leveraging elliptic regularity and compactness arguments, the authors prove that the $L^\infty$ norm of vorticity remains bounded, ensuring long-time existence and uniqueness of solutions.

ABSTRACT

We prove uniqueness and existence of the weak solutions of Euler equations with helical symmetry, with initial vorticity in $L^{\infty}$ under "no vorticity stretching" geometric constraint. Our article follows the argument of the seminal work of Yudovich. We adjust the argument to resolve the difficulties which are specific to the helical symmetry.

Motivation & Objective

• To establish global existence and uniqueness of weak solutions for the 3D Euler equations under helical symmetry.
• To address the challenge of vorticity stretching in helical flows by imposing a geometric constraint that eliminates this term.
• To extend Yudovich's existence and uniqueness framework to the helical symmetry setting, where standard methods face new analytical difficulties.
• To prove that the $L^\infty$ norm of vorticity remains bounded over time, ensuring global regularity under the given constraints.
• To provide a rigorous weak solution framework for helical flows using stream function formulation and compactness arguments.

Proposed method

• Adapt Yudovich's method for 2D Euler equations to the 3D helical symmetry case, focusing on weak solutions with initial vorticity in $L^\infty$.
• Introduce the geometric constraint $yu_x - xu_y + \kappa u_z = 0$ to ensure vanishing of the vorticity stretching term.
• Use the stream function formulation to reduce the Euler equations to a transport equation for vorticity along the helical symmetry lines.
• Apply elliptic regularity theory to control the velocity field via the stream function in Sobolev spaces.
• Establish uniform bounds on approximate solutions in $L^\infty$ and $W^{2,p}$ norms to enable compactness arguments.
• Use Aubin's compactness lemma to extract a convergent subsequence of approximate solutions, proving existence of a weak solution.

Experimental results

Research questions

• RQ1 Can global existence and uniqueness of weak solutions be established for the 3D Euler equations under helical symmetry?
• RQ2 Does the absence of vorticity stretching—enforced via a geometric constraint—allow for global regularity despite the 3D nature of the equations?
• RQ3 Can Yudovich's framework for 2D Euler equations be extended to the 3D helical setting with nontrivial symmetry?
• RQ4 How does the $L^\infty$ norm of vorticity behave over time under helical symmetry and no vorticity stretching?
• RQ5 What role does the stream function formulation play in controlling the velocity and vorticity dynamics in this symmetric setting?

Key findings

• The $L^\infty$ norm of the vorticity remains bounded for all time, which is the key to proving global existence.
• The vorticity is shown to be transported along helical symmetry lines, with its magnitude preserved up to normalization.
• A weak solution exists globally in time for initial vorticity in $L^\infty$, under the no-vorticity-stretching condition.
• Uniqueness of the weak solution is established via a modification of Yudovich's argument, adapted to helical symmetry.
• The velocity field is recovered from the stream function via elliptic regularity, ensuring sufficient regularity for the weak formulation.
• Compactness arguments based on Aubin's lemma allow extraction of a convergent subsequence from approximate solutions, yielding a solution to the weak problem.