Generalized Flows Satisfying Spatial Boundary Conditions

In a region D in R-2 or R-3, the classical Euler equation for the regular motion of an inviscid and incompressible fluid of constant density is given by partial derivative(t)v + (v . del(x))v = -del(xP), div(x)v = 0, where v(t, x) is the velocity of the particle located at x is an element of D at time t and p(t, x) is an element of R is the pressure. Solutions v and p to the Euler equation can be obtained by solving {del x {partial derivative t phi(t, x, a) + p(t, x) + (1/2)|del(x)phi(t, x, a)|(2)} = 0 at a = kappa(t, x), v(t, x) = del(x)phi(t, x, a) at a = kappa(t, x), partial derivative(t)kappa(t, x) | (v. del(x))kappa(t, x) = 0 div(x)v(t, x) = 0 where phi : R x D x R-l -> R and kappa : R x D -> R-l are additional unknown mappings (l >= 1 is prescribed). The third equation in the system says that kappa is an element of R-l is convected by the flow and the second one that phi can be interpreted as some kind of velocity potential. However vorticity is not precluded thanks to the dependence on a. With the additional condition kappa(0, x) = x on D (and thus l = 2 or 3), this formulation was developed by Brenier (Commun Pure Appl Math 52: 411-452, 1999) in his Eulerian-Lagrangian variational approach to the Euler equation. He considered generalized flows that do not cross. D and that carry each "particle" at time t = 0 at a prescribed location at time t = T > 0, that is, kappa(T, x) is prescribed in D for all x is an element of D. We are concerned with flows that are periodic in time and with prescribed flux through each point of the boundary partial derivative D of the bounded region D (a two-or three-dimensional straight pipe). More precisely, the boundary condition is on the flux through partial derivative D of particles labelled by each value of. at each point of partial derivative D. One of the main novelties is the introduction of a prescribed "generalized" Bernoulli's function H : R-l -> R, namely, we add to (0.1) the requirement that partial derivative(t)phi(t, x, a) + p(t, x) + (1/2)|del(x)phi(t, x, a)|(2) = H(a) at a = kappa(t, x) with phi, p, kappa periodic in time of prescribed period T > 0. Equations (0.1) and (0.2) have a geometrical interpretation that is related to the notions of "Lamb's surfaces" and "isotropic manifolds" in symplectic geometry. They may lead to flows with vorticity. An important advantage of Brenier's formulation and its present adaptation consists in the fact that, under natural hypotheses, a solution in some weak sense always exists (if the boundary conditions are not contradictory). It is found by considering the functional (kappa, v) -> integral(T)(0)integral(D) {1/2|v(t, x)|(2) + H(kappa(t, x))} dtdx defined for kappa and v that are T-periodic in t, such that partial derivative(t)kappa(t, x) + (v . del(x))kappa(t, x) = 0, div(x)v(t, x) = 0, and such that they satisfy the boundary conditions. The domain of this functional is enlarged to some set of vector measures and then a minimizer can be obtained. For stati