The 3-D time-dependent Navier–Stokes equations on multi-connected domains with inhomogeneous boundary conditions and spectral hyperviscosity

Abstract

We consider the time-dependent 3-D Navier–Stokes equations (NSE) on a multi-connected bounded domain Ω⊂R3\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Omega \\subset \\mathbb {R^{\ extrm{3}}}$$\\end{document} with inhomogeneous boundary data β∈H1/2(Γ)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\beta \\in H^{1/2}(\\Gamma )$$\\end{document} on ∂Ω=Γ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\partial \\Omega =\\Gamma $$\\end{document}, where Γ\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma $$\\end{document} is a union of Lipschitz continuous surfaces Γ0,Γ1,⋯,Γl\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma _{0},\\Gamma _{1},\\dots ,\\Gamma _{l}$$\\end{document}. This assumption includes the particular case when the Γi\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\Gamma _{i}$$\\end{document} are disjoint, the stationary version of which is classically known as Leray’s problem. Existence results for Leray’s problem have either assumed flux conditions beyond the general flux condition necessitated by compatibility constraints, or required size restrictions on the data. Here we incorporate a spectral hyperviscosity term in the time-dependent case and obtain existence and foundational results, assuming only the general flux condition and without imposing size restrictions on the boundary data β\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\beta $$\\end{document}. For any such β∈H1/2(Γ)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\beta \\in H^{1/2}(\\Gamma )$$\\end{document} we establish global existence and uniqueness of mild solutions. Then on any interval [0, T] on which these solutions and the corresponding NSE solution share a common H1\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$H^{1}$$\\end{document}-bound (as is present on local intervals of existence of strong solutions, in certain special cases, or as is commonly assumed in achieving strong convergence results in numerical studies) we show for slightly more regular β\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\beta $$\\end{document} that the spectrally-hyperviscous solutions converge strongly and uniformly in H1(Ω)\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$H^{1}(\\Omega )$$\\end{document} to the NSE solution as the spectral hyperviscosity term vanishes in the limit of key parameters. To achieve this robust sense of approximation of the NSE system, an involved setup and specially-adapted semigroup techniques assume essential roles, and the exposition is new for the case β=0\\documentclass[12pt]{minimal} \\usepackage{amsmath} \\usepackage{wasysym} \\usepackage{amsfonts} \\usepackage{amssymb} \\usepackage{amsbsy} \\usepackage{mathrsfs} \\usepackage{upgreek} \\setlength{\\oddsidemargin}{-69pt} \\begin{document}$$\\beta =0$$\\end{document} as well. Our final results adapt the NSE reformulation in Liu et al. (J Comput Phys 229(9):3428–3453, 2010) to recast our approximating system in a form potentially more adaptable to computation.