[Paper Review] A class large solution of the 3D Hall-magnetohydrodynamic equations

Jinlu Li, Yanghai Yu+1 more|arXiv (Cornell University)|Mar 6, 2019

Navier-Stokes equation solutions16 references4 citations

TL;DR

This paper establishes the global existence of smooth solutions to the 3D incompressible Hall-MHD equations for a class of large initial data, where the $L^∞$ norm of the initial velocity and magnetic fields can be arbitrarily large. By constructing solutions supported in a frequency annulus with specific spectral conditions and leveraging energy estimates with exponential decay, the authors prove global well-posedness under a smallness condition on a combination of $L^1$-norms of the initial data's Fourier transform and $L^2$-norms of the initial data itself.

ABSTRACT

In this paper, we establish the global existence to the three-dimensional incompressible Hall-MHD equations for a class of large initial data, whose $L^{\infty}$ norms can be arbitrarily large.

Motivation & Objective

• To establish global existence of smooth solutions to the 3D incompressible Hall-MHD equations for initial data that are large in $L^\infty$ norm.
• To extend the known global well-posedness theory beyond small initial data, particularly in the context of the Hall-MHD system with quadratic Hall term.
• To construct a class of initial data with arbitrarily large $L^\infty$ norms for which the system admits unique global solutions.
• To prove that the solution remains globally regular under a smallness condition involving the $L^1$-norm of the Fourier transform and $L^2$-norm of the initial data.

Proposed method

• The initial data are constructed as $u_0 = U_0$ and $b_0 = -\nabla \times U_0$, where $U_0$ is a smooth, divergence-free vector field with $\nabla \times U_0 = \Lambda U_0$ and Fourier support in a frequency annulus $\mathcal{C}$.
• The solution is decomposed into $u = U + v$ and $b = B + c$, where $U$ is the linear evolution of $U_0$ under the heat equation, and $v, c$ represent perturbations.
• Energy estimates are derived in $H^3$-norm for the perturbation terms $v$ and $c$, using the structure of the Hall-MHD system and the spectral localization of $U_0$.
• The estimates exploit the decay of $U$ and its derivatives in $L^\infty$ and $L^3$ norms via the heat kernel and spectral support, leading to exponential decay in time.
• A smallness condition on the initial data is imposed in terms of $\varepsilon^4 \|U_0\|_{L^2}^2 (\|\hat{U}_0\|_{L^1}^2 + \|U_0\|_{L^2}^2) \exp(C(\|\hat{U}_0\|_{L^1} + \|\hat{U}_0\|_{L^1}^2)) \leq \delta$ to control nonlinear terms.
• A continuity argument is applied to the maximal time of existence, showing that the solution norm remains bounded, thus extending the solution globally in time.

Experimental results

Research questions

• RQ1 Can global smooth solutions exist for the 3D Hall-MHD system with initial data that are large in $L^\infty$ norm?
• RQ2 What structural conditions on the initial data allow for global existence despite large $L^\infty$ norms?
• RQ3 How does the spectral localization of the initial data in a frequency annulus influence the global regularity of solutions?
• RQ4 Can the Hall term's quadratic nonlinearity be controlled globally under specific initial data constraints?
• RQ5 What smallness condition on the initial data ensures global existence when the $L^\infty$ norm is not small?

Key findings

• The system admits a unique global solution for a class of initial data with arbitrarily large $L^\infty$ norms, provided the initial data satisfy a smallness condition involving $\|\hat{U}_0\|_{L^1}$, $\|U_0\|_{L^2}$, and $\varepsilon$.
• The smallness condition is expressed as $C\varepsilon^4\|U_0\|_{L^2}^2 (\|\hat{U}_0\|_{L^1}^2 + \|U_0\|_{L^2}^2) \exp(C(\|\hat{U}_0\|_{L^1} + \|\hat{U}_0\|_{L^1}^2)) \leq \delta$ for a sufficiently small $\delta > 0$.
• The solution remains bounded in $H^3$-norm for all time, implying global regularity and existence for all $t > 0$.
• The Fourier support of $U_0$ is restricted to the annulus $\mathcal{C} = \{\xi : 1-\varepsilon \leq |\xi| \leq 1+\varepsilon\}$ with $0 < \varepsilon < (2-\sqrt{2})/2$, ensuring spectral localization.
• The perturbation terms $v$ and $c$ remain bounded in $H^3$-norm due to exponential decay of $U$ and the smallness of the initial data, preventing blow-up.
• The proof relies on a continuity argument showing that the solution cannot lose regularity in finite time, thus $T^* = \infty$.