zbMATH — the first resource for mathematics

On the Stokes system and on the biharmonic equation in the half-space: An approach via weighted Sobolev spaces. (English) Zbl 0998.35037
The author of this paper studies the Stokes system, \[ -\nu \triangle\mathbf u +\nabla p=\mathbf f \quad\text{div } \mathbf u =h \quad \text{in } \mathbb R_+^n \] with an adhesion condition \(\mathbf u\)\(=\mathbf g\) at \(\Sigma \) or under a slip condition \(\mathbf u\)\(\cdot \mathbf n\)\(=g\), \(\mathbf e\)\(_i\cdot \)\(\mathcal T\)\((\mathbf u\)\(,p)\cdot \mathbf n\)\(=\mathbf z\)\(\cdot\mathbf e\)\(_i\), \(i\in \{1,2,\dots,n-1\}\) at \(\Sigma \). Here \(\mathcal T\) denotes the stress tensor, \(\mathbf n\) is the normal vector on \(\Sigma \) and \(\mathbf e\)\(_i\) (\(i=1,2,\dots,n-1\)) are the tangential vectors on \(\Sigma \). The approach applied here rests on the use of a family of weighted Sobolev spaces as a framework for describing the behavior at infinity. A complete class of existence, uniqueness and regularity results for the considered problem is proved. Another problem investigated here is the biharmonic equation \(\triangle^2 u=f\) with boundary condition \(u=g\) at \(\Sigma \), \(\partial u/\partial n=h\) at \(\Sigma \). Existence, uniqueness and regularity results for this problem are shown as well. The proofs of the main results are based on the principle of reflection.

35Q30 Navier-Stokes equations
35J25 Boundary value problems for second-order elliptic equations
76D07 Stokes and related (Oseen, etc.) flows
31B30 Biharmonic and polyharmonic equations and functions in higher dimensions
Full Text: DOI
[1] Tanaka, Journal of Differential Equations 115 pp 70– (1995)
[2] Mulone, Annali di Matematica Pura ed Applicata 139 pp 147– (1985)
[3] Heywood, Acta Mathematica 136 pp 61– (1976)
[4] Cattabriga, Rendiconti del Seminario Matematico dell’Universita di Padovo 31 pp 308– (1961)
[5] An Introduction to the Mathematical Study of Navier-Stokes Equations, vol. I-II. Springer: Berlin, 1994.
[6] Etude de quelques problèmes aux limites extérieurs et résolution par équations intégrales. Thèse de Doctorat d’Etat. Université Pierre et Marie Curie, Paris, 1987.
[7] Amrouche, Journal de Mathematiques Pures et Appliquees 73 pp 579– (1994)
[8] Boulmezaoud, Comptes Rendus de l’Académie des Sciences, Série I 328 pp 221– (1999)
[9] Finite Element Methods for Navier-Stokes Equations. Springer: Berlin, 1986. · Zbl 0585.65077
[10] Alliot, Mathematical Methods in Applied Sciences 9 pp 723– (1999)
[11] Farwig, Mathematische Nachrichten 170 pp 53– (1994)
[12] Farwig, Acta Applicandae Mathematicae 37 pp 41– (1994)
[13] Kudrjavcev, Trudy Mat. Inst. Steklov 55 pp 1– (1959)
[14] Kondratev, Transactions of the Moscow Mathematical Society 16 pp 227– (1967)
[15] Weighted Sobolev Spaces. Chichester: Wiley, 1985. · Zbl 0601.46039
[16] Hanouzet, Rendiconti del Seminario Matematico dell’ Universita di Padovo XLVI pp 227– (1971)
[17] Cantor, Indiana University Mathematics Journal 24 pp 897– (1975)
[18] Avantaggiati, Unione Matematica Italiana. Bollettino 13-A pp 1– (1976)
[19] Thèse de Doctorat, Université Pierre et Marie Curie, Paris, 1999 (see http://www.univ-pau.fr/?boulmeza).
[20] Elliptic Boundary Value Problems on Corner Domains. Lecture Notes in Mathematics, vol. 1341. Springer: Berlin, 1988. · Zbl 0668.35001
[21] Girault, Differential and Integral Equations 7 pp 535– (1994)
[22] Passerini, Math. Mod. Meth. App. Sci. 4 pp 705– (1994)
[23] Galdi, Annali di Matematica Pura ed Applicata pp 147– (1994)
[24] Héron, Communications in Partial Differential Equations 6 pp 1301– (1981)
[25] Heywood, Indiana University Mathematics Journal 29 pp 639– (1980)
[26] The Mathematical Theory of Viscous Incompressible Flow. Gordon and Breach: London, 1964.
[27] Maremonti, Ricerche Matematica 1 pp 81– (1991)
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.