-
The free boundary Euler equations with large surface tension
Authors:
Marcelo M. Disconzi,
David G. Ebin
Abstract:
We study the free boundary Euler equations with surface tension in three spatial dimensions, showing that the equations are well-posed if the coefficient of surface tension is positive. Then we prove that under natural assumptions, the solutions of the free boundary motion converge to solutions of the Euler equations in a domain with fixed boundary when the coefficient of surface tension tends to…
▽ More
We study the free boundary Euler equations with surface tension in three spatial dimensions, showing that the equations are well-posed if the coefficient of surface tension is positive. Then we prove that under natural assumptions, the solutions of the free boundary motion converge to solutions of the Euler equations in a domain with fixed boundary when the coefficient of surface tension tends to infinity.
△ Less
Submitted 6 April, 2016; v1 submitted 5 June, 2015;
originally announced June 2015.
-
Riemannian geometry of the contactomorphism group
Authors:
David G. Ebin,
Stephen C. Preston
Abstract:
We define a right-invariant Riemannian metric on the group of contactomorphisms and study its Euler-Arnold equation. If the metric is associated to the contact form, the Euler-Arnold equation reduces to $m_t + u(m) + (n+2) mE(f) = 0$, in terms of the Reeb field $E$, a stream function $f$, the contact vector field $u$ defined by $f$, and the momentum $m = f - Δf$. Here the equation is considered on…
▽ More
We define a right-invariant Riemannian metric on the group of contactomorphisms and study its Euler-Arnold equation. If the metric is associated to the contact form, the Euler-Arnold equation reduces to $m_t + u(m) + (n+2) mE(f) = 0$, in terms of the Reeb field $E$, a stream function $f$, the contact vector field $u$ defined by $f$, and the momentum $m = f - Δf$. Here the equation is considered on a compact manifold $M$ of dimension $2n+1$. When $n=0$ this reduces to the Camassa-Holm equation, and we emphasize the analogy with the higher-order equation.
We use the usual momentum conservation law for Euler-Arnold equations to rewrite the geodesic equation as a smooth first-order equation on the contactomorphism group of Sobolev class $H^s$, and thus obtain local existence in time of solutions which depend smoothly on initial data. In addition we prove a global existence criterion analogous to the Beale-Kato-Majda criterion in fluid mechanics, and show how this criterion is automatically satisfied on the totally geodesic subgroup of quantomorphisms. Finally we briefly discuss singular solutions and conservation laws of the Euler-Arnold equation.
△ Less
Submitted 7 September, 2014;
originally announced September 2014.
-
Motion of slightly compressible fluids in a bounded domain. II
Authors:
Marcelo M. Disconzi,
David G. Ebin
Abstract:
We study the problem of inviscid slightly compressible fluids in a bounded domain. We find a unique solution to the initial-boundary value problem and show that it is near the analogous solution for an incompressible fluid provided the initial conditions for the two problems are close. In particular, the divergence of the initial velocity of the compressible flow at time zero is assumed to be smal…
▽ More
We study the problem of inviscid slightly compressible fluids in a bounded domain. We find a unique solution to the initial-boundary value problem and show that it is near the analogous solution for an incompressible fluid provided the initial conditions for the two problems are close. In particular, the divergence of the initial velocity of the compressible flow at time zero is assumed to be small. Furthermore we find that solutions to the compressible motion problem in Lagrangian coordinates depend differentiably on their initial data, an unexpected result for this type of non-linear equations.
△ Less
Submitted 14 June, 2016; v1 submitted 2 September, 2013;
originally announced September 2013.
-
Riemannian geometry on the quantomorphism group
Authors:
David G. Ebin,
Stephen C. Preston
Abstract:
We are interested in the geometry of the group $\mathcal{D}_q(M)$ of diffeomorphisms preserving a contact form $θ$ on a manifold $M$. We define a Riemannian metric on $\mathcal{D}_q(M)$, compute the corresponding geodesic equation, and show that solutions exist for all time and depend smoothly on initial conditions. In certain special cases (such as on the 3-sphere), the geodesic equation is a sim…
▽ More
We are interested in the geometry of the group $\mathcal{D}_q(M)$ of diffeomorphisms preserving a contact form $θ$ on a manifold $M$. We define a Riemannian metric on $\mathcal{D}_q(M)$, compute the corresponding geodesic equation, and show that solutions exist for all time and depend smoothly on initial conditions. In certain special cases (such as on the 3-sphere), the geodesic equation is a simplified version of the quasigeostrophic equation, so we obtain a new geodesic interpretation of this geophysical system. We also show that the genuine quasigeostrophic equation on $S^2$ can be obtained as an Euler-Arnold equation on a one-dimensional central extension of $T_{\id}\mathcal{D}_q(M)$, and that our global existence result extends to this case.
If $E$ is the Reeb field of $θ$ and $μ$ is the volume form, assumed compatible in the sense that $\text{div} E=0$, we show that $\mathcal{D}_q(M)$ is a smooth submanifold of $\mathcal{D}_{E,μ}(M)$, the space of diffeomorphisms preserving the vector field $E$ and the volume form $μ$, in the sense of $H^s$ Sobolev completions. The latter manifold is related to symmetric motion of ideal fluids. We further prove that the corresponding geodesic equations and projections are $C^{\infty}$ objects in the Sobolev topology.
△ Less
Submitted 20 February, 2013;
originally announced February 2013.
-
On the limit of large surface tension for a fluid motion with free boundary
Authors:
Marcelo M. Disconzi,
David G. Ebin
Abstract:
We study the free boundary Euler equations in two spatial dimensions. We prove that if the boundary is sufficiently regular, then solutions of the free boundary fluid motion converge to solutions of the Euler equations in a fixed domain when the coefficient of surface tension tends to infinity.
We study the free boundary Euler equations in two spatial dimensions. We prove that if the boundary is sufficiently regular, then solutions of the free boundary fluid motion converge to solutions of the Euler equations in a fixed domain when the coefficient of surface tension tends to infinity.
△ Less
Submitted 25 March, 2014; v1 submitted 30 January, 2013;
originally announced January 2013.