Uniqueness for mild solutions of Navier-Stokes equations in \(L^3(\mathbb{R}^3)\) and other limit functional spaces (Q5929439): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
 
Property / OpenAlex ID
 
Property / OpenAlex ID: W1980560954 / rank
 
Normal rank

Latest revision as of 09:46, 30 July 2024

scientific article; zbMATH DE number 1585038
Language Label Description Also known as
English
Uniqueness for mild solutions of Navier-Stokes equations in \(L^3(\mathbb{R}^3)\) and other limit functional spaces
scientific article; zbMATH DE number 1585038

    Statements

    Uniqueness for mild solutions of Navier-Stokes equations in \(L^3(\mathbb{R}^3)\) and other limit functional spaces (English)
    0 references
    0 references
    0 references
    10 October 2001
    0 references
    Consider \[ \begin{cases} \overrightarrow{\nabla}\vec u=0 \cr \partial_t\vec u=\triangle\vec u-(\vec u \overrightarrow{\nabla})\vec u-\overrightarrow{\nabla}p \end{cases}\tag{1} \] the Navier-Stokes (N-S) - equations for an incompressible and homogeneous viscous fluid filling all the space and in the absence of exterior forces (the density and the viscosity constants being taken \(1\)) where \(\vec u(t,x):\mathbb{R}^+\times \mathbb{R}^3 \to \mathbb{R}^3\) is the speed vector and \(p(t,x):\mathbb{R}^+\times \mathbb{R}^3 \to \mathbb{R}\) is the pressure. Let \(T \in ]0,\infty]\). A weak solution on \(]0,T[\) of (1) is a field of vectors \(\vec u(t,x)\in (L^2_{\text{loc}}(]0,T[\times \mathbb{R}^3))^3\) which verifies \[ \begin{cases} \overrightarrow{\nabla}\vec u=0\cr \text{there exists} \;p\in D'(]0,T[\times \mathbb{R}^3) \;\text{such that } \partial_t\vec u=\triangle\vec u-\overrightarrow{\nabla}\cdot \vec u \otimes \vec{u}-\overrightarrow{\nabla}p. \end{cases} \] If, in addition \(\vec{u}(t,x) \in C([0,T[,(L^p)^3)\), one says that \( \vec u\) is a mild solution in \(L^p\). The main result of the paper is the proof of uniqueness for mild solutions of the (N-S) equations in \(L^3(\mathbb{R}^3)\) given by the Theorem 1. Let \(\vec u \in C([0,T[,(L^3)^3), \text \;\overrightarrow{v} \in C([0,T'[,(L^3)^3)\), such that i) \(\vec u \;\text{is a weak solution of the (N-S) - equations on} \;]0,T[\), ii) \(\overrightarrow{v} \;\text{is a weak solution of the (N-S) - equations on} \;]0,T'[\), iii) \(\vec u |_{t=0}=\overrightarrow{v} |_{t=0}\). Then \(\vec u=\overrightarrow{v} \;\text{on} \;[0,\text{inf}\{T,T'\}[\).
    0 references
    uniqueness
    0 references
    Navier- Stokes equations
    0 references
    weak solution
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references