A Uniqueness Theorem for Incompressible Fluid Flows with Straight Streamlines

It is proven that the only incompressible Euler fluid flows with fixed straight streamlines are those generated by the normal lines to a round sphere, a circular cylinder or a flat plane, the fluid flow being that of a point source, a line source or a plane source at infinity, respectively. The proof uses the local differential geometry of oriented line congruences to integrate the Euler equations explicitly.

In Newtonian gravitational theory, static fields whose lines of force are straight lines must be generated by the normal lines to either a round sphere, a circular cylinder or a flat plane.
A similar situation holds in general relativity, where both static vaccuum and Weyl-type electrostatic gravitational fields with geodesic lines of force are generated by spheres, cylinders and planes, although new non-Newtonian solutions exist in both cases [4,6,7]. Incompressible Euler flows model the non-relativistic hydrodynamics of fluids with no internal friction. They consist of a time-varying vector field V on R 3 called the fluid velocity, together with a time-varying function p : R 3 → R called the pressure. The streamlines of the fluid are the integral curves of the fluid velocity, which in general evolve in time.
The Euler equations for an incompressible fluid in R 3 are The next section introduces some background on the local geometry of oriented line congruences. Further details can be found in [8].
The three fluid solutions are discussed in Examples 2.1, 2.2 and 2.3 of Sect. 2. All of the solutions have vanishing twist, demonstrating that the rigid vorticity associated with a twisting line congruence is incompatible with the Euler equations.
In Sect. 3 it is shown how every line congruence has a family of divergence-free vector fields tangent to it. These vector fields have singularities at the focal set of the line congruence. Thus fluid flow and geometric optics meet.
Having solved equation (2) we turn to solving equations (1). At a point in the fluid flow, the rank of the associated oriented line congruence is two, one or zero. Section 4 contains the proof that rank two straight streamlines must be the normals to a round sphere. This is first proven for steady and then for non-steady flows.
Section 5 contains the proof that rank one straight streamlines must be the normals to a circular cylinder. This is again first proven for steady and then for non-steady flows. The final section contains the proof of the rank zero case.
The Main Theorem is also likely to hold for the full incompressible Navier-Stokes equations [3], as the introduction of dissipative effects would seem to make straight streamlines even less likely. On the other hand, given the non-Newtonian examples alluded to earlier, the relativistic Euler equations [9] may well admit solutions with geodesic streamlines that are not of the three above classes.
The Euler equations can be extended to arbitrary Riemannian 3-manifolds and incompressible fluids with geodesic streamlines considered. Here again the incompressibility condition can be solved for a vector field that has singularities at the focal points of the associated geodesic congruence. The possible complexity of this focal set in general means that proceeding further along these lines becomes difficult unless one restricts to 3-manifolds of negative curvature.

Oriented Line Congruences
An oriented line congruence is a 2-parameter family of oriented lines in R 3 , or, equivalently, a surface Σ in the space L(R 3 ) of all oriented lines. The 4-manifold L(R 3 ) can be identified with the total space of the tangent bundle to the 2-sphere, T S 2 . Thus it has a natural bundle structure π : L(R 3 ) → S 2 , taking an oriented line to its direction. For semantic reasons, on occasion we drop the word oriented.
A oriented line congruence Σ is graphical if the projection π restricted to Σ has rank two or, equivalently, it arises as the graph of a local section of this bundle.
Taking the complex coordinate ξ on S 2 given by stereographic projection from the North pole, a rank two oriented line congruence is given local by a map ξ → (ξ, η = F (ξ,ξ)), where η is a complex fibre coordinate and F a complex function [8]. Here (ξ, η) ∈ C 2 are local coordinates on L(R 3 ) = T S 2 minus the fibre over the South pole.
For such an oriented line congruence, define the shear σ, divergence θ and twist λ by On the other hand, a rank one oriented line congruence can be parameterized by ). For such line congruences, define the real quantity A rank zero oriented line congruence consists of all oriented lines with a given direction ξ 0 ∈ S 2 , and are thus normal to a flat plane in R 3 . In terms of local coordinates, it can be given by (u, v) → (ξ 0 , η = u+iv).
To connect with Euclidean 3-space with flat coordinates (x 1 , x 2 , x 3 ), use the map Φ : L(R 3 ) × R → R 3 that takes an oriented line (ξ, η) and a number r, to the point Φ((ξ, η), r) ∈ R 3 which lies on the oriented line at an oriented distance r from the point closest to the origin: The distance from a point (z,z, x 3 ) on the oriented line with direction ξ to the point on the line closest to the origin is Given an oriented line congruence Σ, we can locally parameterize R 3 by U × R, for U ⊂ Σ, using the parameter r along each line. For rank two oriented line congruences discussed above, the coordinates are (ξ,ξ, r), while for rank one and zero congruences they are (u, v, r).
For these coordinate systems we must stay away from the focal set of the line congruence (if it has one) -which is at most two points on each line [8].
Oriented line congruences without focal points foliate R 3 [10] and, aside from the parallel line case, are twisting everywhere. We will show that only the parallel case arises as straight streamlines of incompressible Euler fluid flows without focal points. For the other solutions, the focal points are singularities of the velocity vector and can be interpreted as fluid sources or sinks.

The Three Solutions
Consider a flow with straight streamlines. That is, at each point the fluid velocity V is tangent to an oriented line in a 2-parameter family of oriented lines. An Euler flow is said to be steady if the fluid velocity and pressure are independent of time t.
The following examples are the canonical solutions of the Euler equations with straight streamlines.
Example 2.1. The set of normals to a round sphere generates a solution of the Euler equations with the fluid velocity vector and pressure given by for constant p 0 , where r is the distance to the centre of the sphere and H a free function of time. The solution is steady if H is constant. The centre of the sphere is a singularity for the velocity and pressure, and the flow can be interpreted as a point source or sink. As r → ∞ the fluid velocity goes to zero while the pressure becomes constant.
The associated rank two oriented line congruence is η = 1 2 (z 0 −2t 0 ξ −z 0 ξ 2 ) where (z 0 , t 0 ) ∈ C×R = R 3 is the centre of the sphere. By direct computation using equations (3) one finds that σ = ρ = 0. The axis of symmetry is a singularity for the velocity and pressure, and the flow can be interpreted as a line source or sink. As r → ∞ the fluid velocity goes to zero but only in the steady case is the pressure bounded.
After a suitable rotation and translation, the singularity can be lined up with the x 2 axis in R 3 , and the associated rank one oriented line congruence is ξ = u, η = iv. The function β given by equation (4) then turns out to be zero. for constant p 0 , where r is the distance to the plane and u, v are parameters on the plane. The steady solution is finite, indeed constant, everywhere, while the pressure of the non-steady solution grows linearly at infinity. This can be interpreted as a plane source at infinity. Choosing the plane to be the x 1 x 2 −plane, the associated rank zero oriented congruence is simply ξ = 0, η = (u + iv)/2.

Incompressibility
The divergence-free condition (2) models incompressible fluid flow. Every line congruence admits a family of tangent vectors which are divergence-free -one simply scales the unit tangent vector at each point by a suitable factor.
is divergence free for any real function H, where θ, λ and σ are given by equations (3).
Proof. Change from Euclidean coordinates (z = x 1 + ix 2 , x 3 ) to congruence coordinates (ξ,ξ, r) via equations (5) with η = F (ξ,ξ). Pull back the flat metric in congruence coordinates and compute the divergence with V ξ = 0. The resulting divergence-free condition can be integrated to yield the stated result.
Note that this vector field blows up at the points where (r + θ) 2 + λ 2 − |σ| 2 = 0, which is exactly the focal set of the line congruence [8].

Proposition 3.2. Let Σ ⊂ L(R 3 ) be a rank one line congruence. Then the vector field
is divergence free for any function H, where β is given by equation (4).
Proof. from Euclidean coordinates (z = x 1 + ix 2 , x 3 ) to congruence coordinates (u, v, r) via equations (5) with (ξ(u), η(u, v)). Pull back the flat metric into congruence coordinates and compute the divergence The divergence-free condition can then be integrated for V r .
Finally, for rank zero oriented line congruences: be a rank zero oriented line congruence -that is the set of parallel lines with some fixed direction. Choose a plane perpendicular to the lines and let (u, v) be parameters on the plane. Then the vector field is divergence free for any real function H where β is given by equation (4) and r is the distance to the plane. Proof. If we fix the plane to be the x 1 x 2 −plane so that x 1 = u, x 2 = v, x 3 = r then for a fluid velocity the divergence-free condition is simply ∂H ∂r = 0, as claimed.

Rank Two Straight Streamlines
In this Section incompressible Euler flows with straight rank two streamlines are considered. As the associated oriented line congruence is of rank two throughout, it is given as the graph of a section η = F (ξ,ξ), for some complex function F . The first order quantities σ, λ and θ are defined by equations (3). For ease of exposition, the steady rank two fluid flow is solved first in Sect. 4.1. Non-steady rank two flows split into three cases: λ 2 − |σ| 2 > 0, λ 2 − |σ| 2 = 0 and λ 2 − |σ| 2 < 0 and is solved in Sect. 4.2. Proof. Impose the divergence-free condition on a vector field tangent to the line congruence by insisting from equation (7) that

Steady Rank Two Flow
Writing the Euler equations in congruence coordinates (ξ,ξ, r) leads to and This last can be integrated to yield Substituting this back in equation (10) and comparing powers of r one finds from the r 6 term that K = p 0 = constant, while from the r 2 term that H = H 0 = constant. The r term is where λ is the twist of the line congruence defined in the second of equations (3). Thus Σ is Lagrangian and the lines are orthogonal to a 1-parameter family of surfaces in R 3 [8]. By equation (11) the orthogonal surface in R 3 is of constant mean curvature.
Finally the constant term is now The following identity holds between derivatives and so in our case, we know that If σ = 0, and σ = |σ|e iφ this reduces to ∂ ∂ξ This is easily seen to be impossible, so we conclude that σ = 0 and Σ is the set of lines through a point.
Moreover, the velocity and pressure of the fluid are as stated. In particular, if we translate the centre to the origin, then η = 0 and so σ = λ = θ = 0 and V r = H 0 r 2 , p= p 0 − H 2 0 2r 4 . Finally r is the distance to the centre of the sphere.