Sharp Sobolev interpolation inequalities for the Stokes operator (Q1386260)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sharp Sobolev interpolation inequalities for the Stokes operator |
scientific article |
Statements
Sharp Sobolev interpolation inequalities for the Stokes operator (English)
0 references
17 May 1998
0 references
Let \(\Omega \) be an open set in \(\mathbb R^n\) \((n=2,3)\) and let \(C_0^\infty (\Omega )\) denote the set of all smooth solenoidal vector fields with compact support in \(\Omega .\) The symbols \(\mathcal L^2(\Omega )\) and \(\mathcal H_0^1(\Omega )\) are used to denote the closure of \(C_0^\infty (\Omega )\) in \(L^2\) and \(H^1,\) respectively. In the paper the Stokes operator \(\widetilde \Delta \) is defined as \(\Pi \Delta ,\) where \(\Delta \) is the Laplace operator and \(\Pi \) denotes the orthogonal projection of \(L^2(\Omega )\) onto \(\mathcal L^2(\Omega ).\) Using fundamental solutions of generalized Stokes systems, the author proves: If \(u\in \mathcal H^1_0(\mathbb R^2)\) and \(\widetilde \Delta \mathbf {u}\in \mathcal L^2(\mathbb R^2),\) then \[ {\| }\mathbf {u}{\| }_\infty \leq 1/(2\sqrt \pi )\big ({\| }\mathbf {u}{\| }_2 {\| }\widetilde \Delta \mathbf {u}{\| }_2 + {\| }\nabla \mathbf {u}{\| }^2\big )^{1/2}. \tag \(*\) \] The case when equality in (\(*\)) occurs is fully described. This is one of the main results of the paper; the others are its modifications.
0 references
Stokes operator
0 references
Sobolev interpolation inequality
0 references
fundamental solutions
0 references