Search arXivSearch

arXiv · 1912.10091

Traveling wave solutions to the free boundary incompressible Navier-Stokes equations

Abstract

In this paper we study a finite-depth layer of viscous incompressible fluid in dimension $n \ge 2$, modeled by the Navier-Stokes equations. The fluid is assumed to be bounded below by a flat rigid surface and above by a free, moving interface. A uniform gravitational field acts perpendicularly to the flat surface, and we consider the cases with and without surface tension acting on the free interface. In addition to these gravity-capillary effects, we allow for a second force field in the bulk and an external stress tensor on the free interface, both of which are posited to be in traveling wave form, i.e. time-independent when viewed in a coordinate system moving at a constant velocity parallel to the rigid lower boundary. We prove that, with surface tension in dimension $n \ge 2$ and without surface tension in dimension $n=2$, for every nontrivial traveling velocity there exists a nonempty open set of force and stress data that give rise to traveling wave solutions. While the existence of inviscid traveling waves is well known, to the best of our knowledge this is the first construction of viscous traveling wave solutions. Our proof involves a number of novel analytic ingredients, including: the study of an over-determined Stokes problem and its under-determined adjoint, a delicate asymptotic development of the symbol for a normal-stress to normal-Dirichlet map defined via the Stokes operator, a new scale of specialized anisotropic Sobolev spaces, and the study of a pseudodifferential operator that synthesizes the various operators acting on the free surface functions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Giovanni Leoni, Ian Tice. 2021-07-21. Traveling wave solutions to the free boundary incompressible Navier-Stokes equations. https://arxiv.org/abs/1912.10091

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Blow-Up Dynamics for the $L^2$ critical case of the $2$D Zakharov-Kuznetsov equation

We study blow-up dynamics for the $L^2$-critical cubic Zakharov--Kuznetsov equation in two dimensions, \[ \partial_tu+\partial_{x_1}(Δu+u^3)=0 \qquad\text{on }\mathbb R^2. \] For a class of localized $H^1$ perturbations of the ground state $Q$, we establish a trichotomy near the soliton manifold: exit from a small $L^2$-tube, global asymptotic stability, or finite-time blow-up. In the stable blow-up regime, the solution concentrates a single bubble and \[ λ(t)\sim \ell_0(T-t)^{1/(3-c)}, \] where $\ell_0>0$ depends on the initial datum and $c\in(1,2)$ is an explicit constant determined by the transverse tail of the first-order approximate profile. Consequently, \[ \|\nabla u(t)\|_{L^2} \sim \frac{\|\nabla Q\|_{L^2}} {\ell_0(T-t)^{1/(3-c)}}. \] After subtraction of the concentrating soliton, the radiation converges strongly in $L^p(\mathbb R^2)$ for every $2\leq p<\infty$ to a common nonzero profile $u^*$, while \[ u^*\notin H^s(\mathbb R^2) \qquad\text{for every }s\geq\frac c2. \] The stable blow-up branch is open in the relative $H^1$ topology of the localized class. Finally, every non-soliton datum in this class with non-positive energy blows up in finite time. Interval-arithmetic computer-assisted proofs certify the numerical inputs to the virial coercivity argument. They also yield a rigorous enclosure of $c$, justifying the polynomial moment of order $21$ imposed on the initial data.

math.AP

Propagation of wave packets close to conical intersections

In this paper, we study the propagation of wave packets close to conical intersections with respect to a system of two Schr{ö}dinger equations presenting a codimension 2 crossing. We focus on the dynamics that occur when the wave packets pass through an area close to the crossing, and our main results provide an explicit formula for the outgoing wave packet in terms of the incoming one, with a complete description of its phase and of the classical trajectories it follows, including a drift.

math.AP

A Volterra Calculus for Lie Groupoids

A pseudodifferential Volterra calculus for inverting parabolic differential equations on Lie groupoids is introduced. This enables the study of fundamental solutions of various cases of heat flows on singular manifolds with corners with non-resonant boundary indicial symbols, such as the $b$-manifolds, as well as other geometric bisection covariant heat flows. We also establish the short time asymptotic expansion for the heat kernel of a positive, elliptic differential operator on a Lie groupoid that acts on suitable Sobolev Hilbert modules and is positive definite with respect to the appropriate $L^2$ inner product.

math.AP