Abstract
We develop an integral geometry of stationary Euler equations defining some function w on the Grassmannian of affine lines in \(\mathbb {R}^3\) depending on a putative compactly supported solution (v; p) of the system and deduce some linear differential equations for w. We conjecture that \(w=0\) everywhere and prove that this conjecture implies that \(v=0.\)
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In the present paper we introduce and develop a version of integral geometry for the steady Euler system.
More precisely, the system which we consider is as follows
for an unknown smooth vector field \(v=v(x)=(v^1(x),v^2(x),v^3(x))\) and an unknown smooth scalar function \(p=p(x),\,x\in \mathbb {R}^3\); it expresses the conservation of fluid’s momentum \(v\otimes v +p\delta _{ij}\) and reads in a coordinate free form as follows
Note that if we add to (1.1) the incompressibility condition
the system (1.2) and (1.3) describes a steady state flow of the ideal fluid.
A long-standing folklore conjecture states that a smooth compactly supported solution of (1.2) and (1.3) should be identically zero, and this is known for Beltrami flows; see Nadirashvili (2014) and also Chae and Constantin (2015). Let us state it explicitly:
Conjecture 1.1
Let \((v;p)\in C_0(\mathbb {R}^3)\) be a solution of (1.2)–(1.3). Then \(v=0,\,p=0.\)
Note, however, that there do exist nontrivial Beltrami flows slowly decaying at infinity; see Enciso and Peralta-Salas (2012). Note also that nontrivial compactly supported solutions of system (1.1) exist, e.g., any spherically symmetric vector field v is a solution of (1.1) for a suitable pressure p, but we do not know whether the system
which is equivalent to (1.1) and to (1.2) under the additional condition (1.3), admits a non-trivial compactly supported solution not satisfying (1.3).
Our idea is to separate the study of system (1.1) from the study of Eq. (1.3) using an integral geometry technique which permits to encode (almost) all information about a compactly supported solution v of (1.1) in a single scalar function w defined on the Grassmannian M of affine lines in space. We conjecture that this function w is in fact identically zero, which can readily be verified for any spherically symmetric solution. If it were the case, then adding the incompressibility condition (1.3) to the condition \(w=0\) we were able to obtain that \(v=0\) everywhere. In order to proof that \(w=0\) we deduce a linear differential equation for w on M. Unfortunately, this equation is not elliptic and admits non-trivial solutions, and therefore, the purported annulation of w remains conjectural, despite some additional integral geometry arguments going in the same direction.
More concretely, below we characterize the kernel of (1.1) in terms of integral transforms of the quadratic forms \(v^iv^j\). Thus, given any smooth compactly supported solution (v; p) of (1.1), we define a smooth function w on the Grassmannian M classifying lines in space using the X-ray transforms of \(v^iv^j\) and then derive a linear differential equation for w. Using a Radon plane transform of w we deduce one more linear homogeneous differential equation which suggests that \(w=0\) everywhere. However, we are not able to justify this claim rigorously and we formulate it as a conjecture; we show that assuming the conjecture and (1.3) one can deduce Conjecture 1.1. Therefore, we put forth
Conjecture 1.2
Let w be the function on the Grassmannian \(G_{1,3}\) of affine lines in \(\mathbb {R}^3,\) defined below in Sect. 3, which depends on a compactly supported solution (v; p) of (1.1). Then \(w=0\) everywhere.
Note, in particular, that this conjecture holds for any spherically symmetric compactly supported vector field v.
Note also that it is possible to prove that the general solution of Eq. (4.5) depends on two arbitrary (smooth compactly supported) functions (V.A. Sharafutdinov, personal communication) and therefore to prove Conjecture 1.2 one needs to use some non-linear argument, e.g. using the fact that the tensor \(v\otimes v\) is of rank 1 as opposed to the general symmetric tensor of rank 3 which also gives a solution of (4.5) by constructing the corresponding function w; thus, we can say that we have (at least) two more independent conditions on w. Unfortunately, we not know how to use this rank conditions to restrict possible functions w’s. However, there do exist some natural linear conditions for a suitable tensor which are sufficient to prove Conjecture 1.2, for instance, system (5.4) which is partially supported by Eq. (5.3).
The rest of the paper is organized as follows: in Sect. 2 we recall some definitions and results from Sharafutdinov (1994) concerning the X-ray transform of symmetric tensor fields. In Sect. 3 we define and study a smooth function \(w\in C^{\infty }(M)\) which depends on a smooth compactly supported solution (v, p) of (1.1). Section 4 contains a description of two invariant order 2 differential operators on \(C^\infty (M)\) and a differential equation for w in terms of those operators. In Sect. 5 we define a plane Radon transform for quadratic tensor fields, prove that it vanishes for some quadratic tensor field connected with w and explain why this annulation partially confirms Conjecture 1.2. Finally, in Sect. 6 we deduce Conjecture 1.1 assuming Conjecture 1.2 together with (1.3).
2 Tensor X-ray Transform
We use throughout our paper the integral geometry of tensor fields developed in Sharafutdinov (1994) and discussed in Nadirashvili et al. (2016) in its three-dimensional form. Let us give some of its points in our simple situation. For details see Sharafutdinov (1994) and Nadirashvili et al. (2016).
In what follows we fix a positive scalar product \(\langle x,y\rangle , \, x,y\in \mathbb {R}^n\). Let
be the tangent bundle of \({\mathbb S}^{n-1}\subset {\mathbb R}^n\).
Given a continuous rank h symmetric tensor field f on \({\mathbb R}^n\), the X-ray transform of f is defined for \((x ,\xi )\in {\mathbb R}^n\times ({\mathbb R}^n{\setminus }\{0\})\) by
under the assumption that f decays at infinity so that the integral converges.
We denote by \({\mathcal S} (S^h;{\mathbb R}^n)\) the space of symmetric degree h tensor fields with all components lying in the Schwartz space, and denote by \({\mathcal S}(T{\mathbb S}^{n-1})\) the Schwartz space on \(T{\mathbb S}^{n-1}\). Below we consider only tensors from \({\mathcal S} (S^h;{\mathbb R}^n)\) and functions from \({\mathcal S}(T{\mathbb S}^{n-1})\). For such \(f\in {\mathcal S} (S^h;{\mathbb R}^n)\) we get a \(C^\infty \)-smooth function \(\psi (x,\xi )=(If)(x,\xi )\) on \({\mathbb R}^n\times ({\mathbb R}^n{\setminus }\{0\})\) satisfying the following conditions:
which mean that \((If)(x,\xi )\) actually depends only on the line passing through the point x in direction \(\xi \), and we parameterize the manifold of oriented lines in \({\mathbb R}^n\) by \(T{\mathbb S}^{n-1}\). For \(\chi (x,\xi )\in {\mathcal S}(T{\mathbb S}^{n-1})\) we can extend \(\chi \) by homogeneity, setting \(\chi (x,\xi )=\chi (x,\xi /\Vert \xi \Vert )\), to the open subset \({\mathcal Q}\cap \{\xi \ne 0 \}\) of the quadric
Conversely, for a tensor field \(f\in {\mathcal S}(S^h;{\mathbb R}^n)\), the restriction \(\chi =\psi |_{T{\mathbb S}^{n-1}}\) of the function \(\psi =If\) to the manifold \(T{\mathbb S}^{n-1}\) belongs to \({\mathcal S}(T{\mathbb S}^{n-1} )\). Moreover, the function \(\psi \) is uniquely recovered from \(\chi \) by the formula
which follows from (2.2); note that \(\Big (x-\frac{\langle x,\xi \rangle }{\Vert \xi \Vert ^2}\xi ,\frac{\xi }{\Vert \xi \Vert }\Big )\in T\mathbb {S}^{n-1} \subset {\mathcal Q}\), and thus the right-hand side of (2.3) is correctly defined. Therefore, the X-ray transform can be considered as a linear continuous operator \(I:{\mathcal S}(S^h;{\mathbb R}^n){\longrightarrow }{\mathcal S}(T{\mathbb S}^{n-1})\), and now we are going to describe its image and kernel.
The image of the operator I is described by Theorem 2.10.1 in Sharafutdinov (1994) as follows.
John’s Conditions. A function \(\chi \in {\mathcal S}(T{\mathbb S}^{n-1})\ (n\ge 3)\) belongs to the range of the operator I if and only if the following two conditions hold:
-
1.
\(\chi (x,-\xi )=(-1)^h\chi (x,\xi );\)
-
2.
The function \(\psi \in C^\infty ({\mathbb R}^n\times ({\mathbb R}^n{\setminus }\{0\}))\) defined by (2.3) satisfies the equations
$$\begin{aligned} \left( \frac{\partial ^2}{\partial x_{i_1}\partial \xi _{j_1}}-\frac{\partial ^2}{\partial x_{j_1}\partial \xi _{i_1}}\right) \dots \left( \frac{\partial ^2}{\partial x_{i_{h+1}}\partial \xi _{j_{h+1}}}-\frac{\partial ^2}{\partial x_{j_{h+1}}\partial \xi _{i_{h+1}}}\right) \psi =0 \end{aligned}$$(2.4)written for all indices \(1\le i_1,j_1,\ldots ,i_{h+1},j_{h+1}\le n.\)
Define the symmetric inner differentiation operator \(d_s=\sigma \nabla \) by symmetrization of the covariant differentiation operator \(\nabla :C^{\infty } (S^h) {\longrightarrow }C^{\infty }(T^{h+1}),\)
it does not depend on the choice of a coordinate system.
The kernel of the operator I is given by (Theorem 2.2.1, (1),(2) in Sharafutdinov 1994).
Kernel of the Ray Transform. Let \(n\ge 2\) and \(h\ge 1\) be integers. For a compactly-supported field \(f\in C^{\infty }_0(S^h;\mathbb {R}^n)\) the following statements are equivalent:
-
1.
\(If = 0;\)
-
2.
There exists a compactly-supported field \(v \in C^{\infty }_0(S^{h-1};\mathbb {R}^n)\) such that its support is contained in the convex hull of the support of f and
$$\begin{aligned} d_sv = f. \end{aligned}$$(2.5)
Note also that an inversion formula for the operator I given by Theorem 2.10.2 in Sharafutdinov (1994) implies that it is injective on the subspace of divergence-free (\(=\)solenoidal) tensor fields.
The 3-Dimensional Case For \(n=3\) one notes that the tangent bundle \(T\mathbb {S}^2\) over \(\mathbb {S}^2\) coincides with the homogeneous space \(M=G/(\mathbb {R}\times \mathrm{SO}(2))=G'/(\mathbb {R}\times \mathrm{O}(2))\), where \(G=\mathbb {R}^3\rtimes \mathrm{SO}(3)\) is the group of proper rigid motions of \(\mathbb {R}^3\), while \(G'=G\cdot \{\pm I_3\}\) is the isometry group of \(\mathbb {R}^3\). Therefore the operator I for \(n=3\) can be written as \(I:{\mathcal S}(S^h;{\mathbb {R}}^3){\longrightarrow }{\mathcal S}(M).\)
Let us define coordinates on the open subset \(M_{nh}\) of M consisting of non-horizontal affine lines. Namely, \(m=m\left( y_1,y_2,\alpha _1,\alpha _2 \right) \) is given by a parametric equation for a current point A on m,
where t grows in the positive direction of m and thus the vector \(\alpha =(\alpha _1,\alpha _2,1)\) defines the positive direction of m.
We can now rewrite the above general formulas using the coordinates \((y_1,y_2,\alpha _1,\alpha _2)\). First we fix the following notation:
we will use this notation throughout the paper.
Define the diffeomorphism
on the open set \(U= T{\mathbb {S}}^2\cap \{ \xi _3>0\}\) by
Then \((U,\Phi )\) is a coordinate patch on M; this parametrization was used by F. John in his seminal paper (John 1938).
For a function \(\chi \in C^\infty (U)\), we define \(\varphi \in C^\infty ({\mathbb R}^4)\) by
These two functions are expressed through each other by the formulas
If a function \(\chi \in C^\infty (T{\mathbb S}^2)\) satisfies \(\chi (-x,-\xi )=(-1)^h\chi (x,\xi )\), then it is uniquely determined by
For a tensor field \(f\in {\mathcal S}(S^h;{\mathbb R}^3)\), the function
is expressed through f by the formula
with \(\alpha _3=1\), which easily follows from (2.1).
Let
be the John operator. The main result of Nadirashvili et al. (2016) says that for \(n=3\), a function \(\chi \in {\mathcal S}(T{\mathbb S}^2)\) belongs to the range of the operator I for a given \(h\ge 0\) if and only if the following two conditions hold:
3 Function w
In what follows we fix a compactly supported smooth solution \((v,p)\in C^\infty _0(\mathbb {R}^3)\) of system and define a function \(w\in C^\infty _0 (M)\) using the following result.
Lemma 3.1
Let L be an affine plane in \(\mathbb {R}^3\) and let \(\nu _L \) be its unit normal, then
for any \(z\in L\) where \(d\sigma _L\) is the area element on L.
Proof
We can assume without loss of generality that \(L=\{(x_1,x_2,0)\}\) and \(\nu _L =(0,0,1)=e_3,\, z=z_1e_1+z_2e_2\) for \(e_1=(1,0,0),\,e_2=(0,1,0),\, e_3=(0,0,1)\). Then we have
Note that by Eq. (1.1) with \(i=1\) and \(i=2\) there holds
and thus we get
Therefore, the compactly supported functions
of \(x_3\) on \(\mathbb {R}\) are constant and thus vanish everywhere which finishes the proof.
For any fixed value of \(x_3\), we define the vector field \(v^\perp v^3=(-v^2v^3,\,v^1v^3)\) on the plane \((x_1,x_2,x_3)\) with coordinates \(\{x_1,x_2\}\) depending on \(x_3\) as on a parameter, where \(u^\perp =(-u_2, u_1)\) for a vector field \(u=(u_1, u_2)\) on \(\mathbb {R}^2\); note that below we use this notation for vector fields on various planes in \(\mathbb {R}^3\). Then let us set
note that F is a compactly supported vector field on the plane \(\Pi _{12}=\{(x_1,x_2,0)\}\) with coordinates \(\{x_1,x_2\}\) and (3.1) implies that \(IF=0\). Indeed, choose \(x^0 = (x^0_1, x^0_2)\in \mathbb {R}^2\), \(0\ne \xi = ( \xi _1, \xi _2)\in \mathbb {R}^2\), and let L be the 2-plane through the point \(x^0\) parallel to the vectors \(\xi \) and (0, 0, 1). Then the vector \(\nu = (- \xi _1, \xi _2,0)\) is orthogonal to L and the vector \(\tilde{\xi }_a = (- \xi _1, \xi _2,a)\) is parallel to L for every a. By (3.1) we have
and thus we get
Substituting the values \(a=0,\,a=1\) and taking the difference we get the equation \(IF=0\).
Therefore, by (2.5) we have
for a unique compactly supported smooth scalar function \(w_0=w_0(x)\).
Let us fix for a moment a point \(P^0=(x_1^0, x_2^0)\in \mathbb {R}^2\), let \(r \subset \Pi _{12}= \mathbb {R}^2\) be a ray emanating from \(P^0\) and let \(e_r\) be a unit directional vector of r, then in virtue of (3.3) we have
for the line element \(ds_{r}\) of r. Let \(H\subset \mathbb {R}^3\) be a half-plane perpendicular to \(\Pi _{12}\) with \(\partial H=m(x_1^0, x_2^0,0,0)\), where \(m(x_1^0,x_2^0,0,0)\) is the vertical line passing through the point \((x^0_1,x^0_2,0) \in \Pi _{12}\); therefore, H orthogonally projects onto some ray r emanating from \(P_0\). Let us consider the integral
for the area element \(d\sigma _{H}\) of H and a suitable unit normal \(\nu _{H}\) to H, then by (3.4) it does not depend on H for a fixed point \(P^0=(x_1^0, x_2^0)\) and a fixed line \(\partial H=m(x_1^0, x_2^0,0,0)\). Since the choice of a vertical line in \(\mathbb {R}^3\) is arbitrary we see that the following definition is correct:
Definition 3.2
Define
where H(m) is a half-plane with \(\partial H(m)= m\) and \(\nu _{H(m)}\) is the unit normal to H(m) such that the basis \((e_m, \nu _{m},\nu _{H(m)})\) is positively oriented for the interior unit normal \(\nu _{m}\) to m lying in H(m).
Therefore, w is a compactly supported smooth function on M and it can be written as \(w=w(y_1,y_2,\alpha _1,\alpha _2)\) on \(M_{nh}\); moreover, we get
Lemma 3.3
We have
Proof
Indeed, it is sufficient to verify that
which is clear, since
for the half-planes
Now we give two explicit formulas for w which use two specific choices of H(m). We begin by putting
recall also that \(k=\sqrt{1+\alpha _1^2+\alpha _2^2}.\)
Given a line \(m\in M_{nh},\) let \(H(m)_1\) and \(H(m)_2\) be the half-planes with the border-line m which are determined by the following conditions:
-
(i)
\(H(m)_1\) is parallel to \(x_1\)-axis, \(H(m)_2\) is parallel to \(x_2\)-axis;
-
(ii)
\(\langle \nu _i,e_i\rangle >0,\;i=1,2,\)
for \(e_1=(1,0,0),\,e_2=(0,1,0)\) and the internal normals \( \nu _i\in H(m)_i\), \(i=1,2\).
We have then
and the plane \(H(m)_1\) forms angle \(\beta _1\) with the coordinate plane \(\Pi _{13}=\{x_2=0\}\) where \(\cos \beta _1={1/k_2}\), while the plane \(H(m)_2\) forms angle \(\beta _2\) with the coordinate plane \(\Pi _{23}=\{x_1=0\}\), \(\cos \beta _2={1/ k_1}\). Note also that we have
for the positive unit directional vector \(e_m\) of m.
Proposition 3.4
Let \(d\sigma _i\) be the surface area element on \(H(m)_i\) and let \(l_i=y_i+x_3\alpha _i\) for \(i=1,2.\) Then in the introduced notation we have
Proof
This is an elementary calculation which we give only for \(H(m)_1\), since the case of \(H(m)_2\) is completely similar; note only that the choice of normals \(\nu _{H(m)_1}\) and \(\nu _{H(m)_2} \) comes from the orientation condition. Let us fix the values of \(y_1\), \(y_2\), \(\alpha _1\), and \(\alpha _2\), and let \(H_i\supset H(m)_i\) be an affine plane containing \(H(m)_i\) for \(i=1,2\). Then an equation of \(H_1\) is of the form \(ax_2+bx_3+c=0\), and therefore \(c=-ay_2\). Since \(e_m\in {\bar{H}_1}\) for the vector plane \({\bar{H}_1}\) parallel to \(H_1\), we get \(a \alpha _2+b=0\), and we can choose \(a=1\), \(b= - \alpha _2\), so the equation takes the form
and therefore \(x_2=x_3\alpha _2+y_2\) on the half-plane \(H(m)_1\). Since \(\cos \beta _1 = {\cos \arctan \alpha _2}= {1 \over k_2}\), we see that \(d\sigma _{1} = k_2\,dx_1dx_3\). Then one notes that the orthogonal projection \(\pi _{13}(m)\) of m on the coordinate plane \(\Pi _{13}=\{x_2=0\}\) is given by
and thus \(H(m)_1\) projects onto
since \(\langle \nu _2,e_2\rangle >0\), which completes the proof.
The formulas (3.8) and (3.9) are somewhat cumbersome and use below only the following simple consequence.
Corollary 3.5
In the first order of \((\alpha _1,\alpha _2),\) ignoring terms with total \(deg_\alpha \ge 2,\) we have the following expressions :
This corollary permits to calculate the quantities
for \(k+l\le 1\), and in particular, implies the following.
Corollary 3.6
We have
Proof of (3.12)
From (3.10) we have
whence we get
and, finally,
The proof of (3.13) is completely similar and that of (3.14) is even simpler.
Taking then the difference of (3.12) and (3.13) we get the following formula:
Indeed, we have \(\;{\partial (v^3v^1)\over \partial x_1} +{\partial (v^3v^2) \over \partial x_2} =-{\partial (p +(v^3)^2 )\over \partial x_3}\) by (1.1) and integrating
by parts we get (3.15).
4 Operators P and \(\Delta _M\)
Let us define first an order 2 differential operator P on the space \(C^{2}(M).\)
Recall that \(M=G/(\mathbb {R}\times \mathrm{SO}(2))=G'/(\mathbb {R}\times \mathrm{O}(2))\) for \(G=\mathbb {R}^3\rtimes \mathrm{SO}(3)\) and \(G'=G\cdot \{\pm I_3\}.\)
Definition 4.1
Let \(f\in C^{2}(M),\,m_0\in M\), and let \(g(m_0)=0=(0,0,0,0)\) for \(g\in G\). Then
where \(f_g(m)=f(g^{-1}(m))\) for any \(m\in M\) and L is defined by (2.11).
Lemma 4.2
This definition is correct.
Proof
We must verify that \(Lf_g(0)=Lf_h(0)\) for any \(g,h\in G\) such that \(g(m_0)=h(m_0)=(0)\).
We put \( u=g^{-1}h,\,F=f_u\), and thus we have to verify that \(LF(0)=LF_u(0)\) for \(u\in {\mathbb {R}}\times {\mathrm SO}(2)=St_0\), \(St_0<G\) being the stabilizer of the vertical line. It is sufficient to verify the equality separately for \(u\in {\mathbb {R}}\) and \(u\in {\mathrm SO}(2)\). It is clear for a vertical shift \(u\in {\mathbb {R}}\) since L has constant coefficients; for a rotation \(u\in {\mathrm SO}(2)\) by angle \(\theta \) in the horizontal plane one easily calculates
and a simple calculation shows the necessary equation, since we get
The proof is finished.
We can now rewrite (3.15) as follows
for the operator \(P_0\) being P evaluated at 0, which implies that
for the quadratic tensor field \( Q_0=(p+|v|^2)\delta _{ij}-2v\otimes v\) and any \(m\in M\), since P is G-invariant; therefore \(Pw=IQ_0\) as functions on M.
We will also use the fiber-wise Laplacian \(\Delta _M=\Delta _{y_1, y_2}\) acting in tangent planes to \(\mathbb {S}^2\); it is defined by the usual formula
for \(f\in C^2(M)\) and a vertical line \(m=m(y_1,y_2,0,0)\). For any \(m\in M\) the value \(\Delta _M f(m)\) is determined by the G-invariance condition as for the operator P above, and the rotational symmetry of \(\Delta _{y_1, y_2}\) guarantees the correctness of that definition. Note that the operators P, \(\Delta _M\) commute and note also that (2.10) implies that for \(Q\in C_0^\infty (S^h,\mathbb {R}^3)\) there holds a commutation rule
Remark 4.1
The algebra \(D_{G'}(M)\) of the \(G'\)-invariant differential operators on M is freely generated by \(\Delta _M\) and \(P^2\) as a commutative algebra, see Gonzalez and Helgason (1986).
One can also give explicit formulas for P and \(\Delta _M\) in our coordinates, namely,
Now we deduce the principal linear differential equation for w.
Proposition 4.3
We have
Proof
We begin with the following simple result.
Lemma 4.4
If \(f\in C^{\infty }_0(\mathbb {R}^3)\) is a scalar function then \(P(If)=0.\)
Indeed, since P is G-invariant, it is sufficient to verify the equation at a single point \(0\in M\) which follows from (2.12) with \(h=0\).
Lemma 4.4 implies by (4.2) that
for a compactly supported vector field v solving (1.1). Moreover, we have
and thus by (3.14) we get
hence \(P I(v\otimes v)= 2\Delta _Mw \) everywhere and \(P^2w=-4\Delta _Mw\) by (4.6).
Corollary 4.5
The equation
implies Conjecture 1.2.
Indeed, if \(IQ_0(m)=0\) then \(\Delta _M w(m)=-\frac{1}{4} P^2w(m)=-\frac{1}{4} PIQ_0(m)=0\) and thus \(w=0\), since w is compactly supported.
Invariant definitions and the second proof of (4.5) Now let us give a description of P and \(\Delta _M\) in terms of the Lie algebra \(\mathfrak g\) of G. We have \(\mathfrak g= {\mathfrak so}(3)\oplus {\mathfrak r}(3)=\mathbb {R}^3\oplus \mathbb {R}^3\) as vector spaces, where \({\mathfrak r}(3)\) is 3-dimensional and abelian. Thus, we can write any \(g\in \mathfrak g\) as \( g=(r;s) \in {\mathfrak so}(3)\oplus {\mathfrak r}(3)\), and the commutators in \(\mathfrak g\) are given by
Let \((R_1,R_2,R_3)\) be the standard basis of \({\mathfrak so}(3)\), and \((S_1,S_ 2, S_3)\) be that of \({\mathfrak r}(3)\). Consider the following operators on M:
where we denote simply by g the action on M of an element \(g\in U (\mathfrak g)\) of the universal enveloping algebra \(U(\mathfrak g)\); therefore, \(S_i\) acts as the infinitesimal shift in the \(x_i\)-direction, and \(R_i\) as the infinitesimal rotation about \(x_i\)-axis.
Proposition 4.6
We have \(\tilde{\Delta }_M =\Delta _M\) and \(\tilde{P}=P.\)
Proof
First, the operators \(\tilde{\Delta }_M\) and \( \tilde{P}\) are G-invariant. Indeed, it follows from the rotational invariance of the quadratic form \(x_1^2+x_2^2+x_3^2\) that \(\tilde{\Delta }_M\) is rotationally invariant; for translations, the same follows from the commutation rule \({S_i}{S_j} ={S_j}{S_i}\) for \(i,j=1,2,3\).
To prove the invariance of \(\tilde{P}\) under the \(x_3\)-axis rotation we verify that \(\tilde{P}\) and \({R_3}\) commute which can be shown as follows:
Similarly we get its invariance under the \(x_1\)- and \(x_2\)-axis rotations and thus its \({\mathrm {SO}}(3)\)-invariance, while its \(x_3\)-translations invariance follows from
Since any line is \({\mathrm SO}(3)\)-conjugate to a vertical one, \(\tilde{P}\) is G-invariant. Finally, we have \(\tilde{\Delta }_M (m_0)=\Delta _M (m_0),\, \tilde{P}(m_0)=P(m_0)\,\) for \(m_0=m(0,0,0,0)\), which finishes the proof, since \(\Delta _M\) and P are both G-invariant. Indeed, e.g., in \(\tilde{P}(m_0)\) the terms \(S_1R_1+S_2R_2\) give L(0), while \(S_3R_3\) vanishes since \(m_0\) is invariant under both \(S_3\) and \(R_3.\)
Second Proof of Proposition 4.3
Let \( t\in \mathbb {R}\), and let \( l_t=m(t,0,0,0)\) be a vertical line in the plane \( \Pi _{13}\); note that \(\Pi _{13}=\bigcup _{t\in \mathbb {R}} l_t \).
Lemma 4.7
For \(f\in C^\infty _0(M)\) we have
Proof
Define the operators A and B by \(A= {S_1} {R_1}P,\, B= {S_3} {R_3}P;\) then
Since \(Af(l_t)\) is a derivative of a function of t, while B vanishes identically on \(\Pi _{13}\), we get that
We have also
thus the integral of the left-hand side is zero and the same is true for
since \({S_2R_2S_2R_2}=S_2^2R_2^2\) we get the conclusion.
Lemma 4.8
We have
Proof
Let us fix a positive constant \(c<{\pi \over 2}\), and let \(l^\theta _t =({t\over \cos (\theta )},0,\tan (\theta ),0)\) for any \(\theta \) with \(|\theta |<c\); therefore, \(l^\theta _t\) is just the line \(l_t\) rotated (in the clockwise direction) through the angle \(\theta \) about the origin in the plane \(\Pi _{13}\), and for any t we have
Let \(e^\theta _1=(\cos \theta ,0,-\sin \theta ),\;e^\theta _3=(\sin \theta ,0,\cos \theta )\) then we have
by (3.8), and if we put \(t={x_1\cos \theta }-x_3\sin \theta \) we get that
Therefore, since \(\langle v,e^\theta _1\rangle \langle v,e^\theta _3\rangle =v^1v^3\cos 2\theta +((v^1)^2-(v^3)^2){\sin 2\theta \over 2}\) we have
and evaluating at \(\theta =0\) we get a proof of Lemma 4.8.
We can finish now our second proof of (4.5). Indeed, (4.9) and (4.10) imply that
If we define a function \(F(x_1,x_2)\) on \(\mathbb {R}^2\) by
then the integral of F over the \(x_1\)-axis vanishes by (4.11). Changing the coordinate system \(x_1,x_2\) in \(\mathbb {R}^2\), we get the same for the integral of F over any line in the plane \(\{ x_1,x_2\}\). Thus \(F=0\) by Radon’s theorem, and we get the conclusion.
Remark 4.2
One can compare (4.5) with results that can be deduced from (2.12) for \(h=2\). A simple direct calculation using (4.4) gives for \(h=2\)
if \(\psi =IQ\) for \(Q\in C_0^\infty (S^2,\mathbb {R}^3)\). Applying then (4.12) to \(\psi =\Delta _M w\) (which can be written as \(\Delta _M w=IQ'\) for a certain \(Q'\) not given here) we obtain \(P^3\Delta _Mw+4P\Delta ^2_M w=\Delta _MP(P^2w+4\Delta _M w)=0 \) and thus \(P(P^2w+4\Delta _M w)=0\) which is much weaker than (4.5) since the kernel of P is enormous.
However, it is possible to construct a function \(u\in C_0^\infty (M)\) verifying
for some \(\,Q_1\in C_0^\infty (S^2,\mathbb {R}^3)\) and applying (4.12) to \(\psi =\Delta _Mu=IQ_1\) we get
and thus we reprove (4.5). We can define u similarly to (3.5) as follows
where \(\mathrm{{dist}}(P,m)\) is the distance from a point \(P\in H(m)\) to m.
5 A Radon Plane Transform
Let us define a Radon tensor plane transform J as follows:
for an affine plane \(L\subset \mathbb {R}^3\) and \(Q\in C^{\infty }(S^{2};\mathbb {R}^3)\) satisfying
for some \(\varepsilon >0,\) where \(Q_{|L}\) is the restriction onto L; then we get a bounded linear operator
for the manifold \(\mathbb {R}P^3\) parametrizing affine planes \(L\subset \mathbb {R}^3.\)
Proposition 5.1
We have \(JQ_0(L)=0.\)
Proof
We have for any affine plane \(L\subset \mathbb {R}^3\) that
Indeed, setting without loss of generality \(L=\Pi _{12},\,\nu _L=e_3\) we get that
Therefore, \(JQ_0(\Pi _{12})\) does not depend on \(x_3\) and hence equals 0.
Let us explain in what Proposition 5.1 partially confirms (4.7) and thus Conjecture 1.2. One can verify that the condition \(JQ_0(L)=0, \forall L\in \mathbb {R}P^3\) is equivalent to the following equation for the components \(\{q^{ij}\}\) of \(Q_0{:}\)
while \(IQ_0(m)=0,\, \forall m\in M\) is equivalent to the following system
of three equations and their sum gives (5.3).
6 A Uniqueness Theorem
Now we can deduce Conjecture 1.1 from Conjecture 1.2.
Theorem 6.1
Let \((v,p)\in \mathbb {C}^\infty _0(\mathbb {R}^3)\) be a solution of (1.1)–(1.3) and let the corresponding function w vanish everywhere on M then \((v;p)=0\) everywhere.
Proof
For \(m\in M\) denote by t a vector parallel to m and by n a vector perpendicular to m, then the equality \(w=0\) implies that
Let \(L\subset \mathbb {R}^3\) be an affine plane; let \( v_n=\langle \nu _L,v\rangle \) and \(v_t=v-v_n\nu _L\) be its components normal to L and tangent to L, respectively. Then by (6.1) we have \(IV=0\) for the vector field \(V=v_n v_t\) on L, and hence \({{\mathrm{curl}}}_L V =0\) for the curl operator \({{\mathrm{curl}}}_L\) on L which gives
for the normal component \(\omega _n\) of \(\omega ={{\mathrm{curl}}}v\) and the gradient operator \(\nabla _L\) on L. We will apply (6.2) to various planes \(L \subset \mathbb {R}^3\).
First take \(L=\Pi _{12}\), then \(v_t=(v^1,v^2,0),\,v_n=v^3,\,V=v^3v_t\) and we get
Let now
and let \(D=_\mathrm{def}\mathbb {R}^3{\setminus } \bar{\Omega }\). We can suppose that \(\Omega \) is not empty, since otherwise in a neighborhood of a point \(x_0\) where the maximum of |v| is attained we have \(\Delta v=-{{\mathrm{curl}}}{{\mathrm{curl}}}v+\nabla \text{ div }\, v=0\) and thus v is harmonic which contradicts the maximum principle for harmonic fields. It follows then that \(v=0\) in this neighborhood and thus everywhere.
In orthonormal coordinates with \(v^1(u_0)=v^2(u_0) =0\) we get for \(u_0\in \Omega \) that
Therefore \(\langle v,\omega \rangle =0\) holds everywhere on \(\Omega \), thus on \(\mathbb {R}^3\) and differentiating this relation in the v-direction we obtain
using the commutation law
we get then from (6.5) that
In orthonormal coordinates \(x_1,x_2,x_3\) with \(x_1\) directed along v and \(x_2\) directed along \(\omega \) at \(u_0\) we can rewrite (6.7) as follows
since \(v(u_0)\ne 0\) and \(\omega (u_0)\ne 0\). Below we always use that coordinate system.
Moreover, since the vector \(\omega \) is directed along \(x_2\), we get
Let then \(L=\Pi _{13}\), and thus \(v_t=(v^1,0,v^3),\,v_n=v^2,\,V=v^2v_t\). Since \(v_n(u_0)=0\), we get from (6.2) and (6.6) that
Then, differentiating (6.4) with respect to \(x_1\) and \(x_3\) at \(u_0\), we get
Now we take \(L=\{x_2+x_3=0\}\), therefore \(v_n={v^2+v^3\over \sqrt{2}},\nu _L=\left( 0, {1\over \sqrt{2}},{1\over \sqrt{2}} \right) \), \(v_t=\left( v^1, {v^2-v^3\over 2},{v^3-v^2\over 2} \right) \) and \( V={v^2+v^3\over \sqrt{2}} \left( v^1, {v^2-v^3\over \sqrt{2}} \right) _{\mathcal {B}}\) in the orthonormal basis \({\mathcal {B}}=\left\{ e_1'=(1,0,0), e_2'= \left( 0, {1\over \sqrt{2}},-{1\over \sqrt{2}} \right) \right\} \). Since \(v_n(u_0)=0\) and the vector \(v_t^\perp (u_0)\) is directed along \(e'_1\), we get from (6.2) that
and thus
Therefore by (6.10) we get also
For \(L=\{x_1+x_2=0\}\) we then have \(v_n={v^1+v^2\over \sqrt{2}}\), \(\nu _L=\left( {1\over \sqrt{2}},{1\over \sqrt{2}},0 \right) ,\) \(v_t=\left( {v^1-v^2\over 2},{v^2-v^1\over 2},v^3\right) \) and thus \( V={v^1+v^2\over \sqrt{2}}\left( {v^1-v^2\over \sqrt{2}},v^3\right) _{\mathcal {B'}}\) in the plane basis \({\mathcal {B'}}=\left\{ \left( {1\over \sqrt{2}},-{1\over \sqrt{2}},0 \right) , (0,0,1)\right\} \). Since the vector \(v_t^\perp (u_0)\) is directed along (0, 0, 1) we get from (6.2) and (6.9) that
therefore, we get by (6.10) that
If a trajectory \(\gamma =\gamma (t)\) of the flow v is parametrized by t, i.e. \( \frac{d\gamma }{d t}=v,\) we have in virtue of (6.6) a differential inequality
for the function \(q(t)=_\mathrm{def } \omega ^2(\gamma (t))\) and a positive constant C. Therefore, if \(q(0)\ne 0\) then \(q(t)\ne 0\) for any \(t\in \mathbb {R}\), thus any trajectory of v does not cross \(\partial \Omega =\partial D\) and hence stays either in \(\bar{\Omega }\) or in \(\bar{D}\).
Using (6.9), we see that |v| is constant on any trajectory \(\Gamma \) of the vector field \(\omega \) and, conversely, (6.10) and (6.11) imply that \(\omega \) has a constant direction on any trajectory \(\gamma \) of the flow v and therefore \(\gamma \subset \Pi _\gamma \) is a plane curve for an affine plane \(\Pi _\gamma \). Set \(\xi =\omega /|\omega |\), then we can define the vector \(\xi (\gamma )\) for any \(\gamma \subset \Omega \) and \(\xi (\gamma )\perp \Pi _\gamma \). For \(z\in \Omega \) we get
since v(z) is parallel to \(x_1\), \(\omega (z)\) is parallel to \(x_2\) and \(\xi (z)=(0,1,0)\); thus (6.11) implies that
Therefore \(\xi \) satisfies the Frobenius integrability condition \(\langle \xi ,{{\mathrm{curl}}}\xi \rangle =0\) and hence in a neighborhood of z there exists a smooth function U(x) with \(\nabla U\ne 0\) parallel to \(\xi \). Moreover, U is a first integral of the flow v since \(\partial U/\partial v=0\). Let then S be a level surface of U containing z, then S is foliated by the trajectories of v and the vector field \(\xi \) defines the Gauss map \(\xi : S\rightarrow \mathbb {S}^2\). Since \(\xi \) is constant on the trajectories of v the image \(\beta =\xi (S) \subset \mathbb {S}^2\) is a curve or a point. Moreover, \(\beta \) is orthogonal to the axis \(x_1\) at \(\xi (\gamma )\) by (6.14), (6.15) and (6.13) implies that \(\gamma \) is not a straight line. Thus we can choose \(z'\in \gamma , z'\ne z\) and get that \(\gamma \) is orthogonal at \(\xi (\gamma )\) to some line not parallel to \(x_1\). Therefore \(\mathrm{rank}\,\xi (\gamma ) =0,\) hence \(\mathrm{rank}\, \xi =0\) on S, \(\xi \) is constant on S and thus S is a plane. We see that a neighborhood of z in \(\mathbb {R}^3\) is foliated by planes invariant under the flow v.
Denote by \(\gamma (s,t)\subset \Omega \) the trajectory of v passing through \(z+(0,s,0)\), and let \(L_s^z\) be the plane containing \(\gamma (s,t)\). Then \(L_s^z\perp \omega (z+(0,s,0))\) and the planes \(L_s^z\) are invariant under the flow v and foliate a neighborhood of z in \(\mathbb {R}^3\). Let \(\lambda (s,y)\) for \(y\in \Pi _{13}\) be an affine function on \(\Pi _{13}\) with the graph \(L_s^z\) and let \(l_z(y)={\partial \lambda \over \partial s}(0,y)\) then \(l_z\) is an affine linear function. Denote by G a connected component of \(\Pi _{13}\cap \Omega ,\, z\in G\) then G is invariant under the flow v. We fix some \(z'\in G\) and set
then \(l(z')=1\).
Let \(z_1,z_2\in G\), then some neighborhoods of \(z_1\) and \(z_2\) in \(\mathbb {R}^3\) are foliated by the same set of planes invariant under the flow v and thus the sets of planes \(L^{z_1}_s\) and \(L^{z_2}_s\) are the same after a reparametrization. Therefore l does not vanish in G and we have \( l_{z_1}=l_{z_2}/l_{z_2}(z_1)\). Set now
then \(h(0)=(0,1,0)\) and thus by (6.6) the vector field h is proportional to \(\omega \) on \(\gamma =\gamma (0,t)\). Since \(\omega \) is orthogonal to \(\Pi _{13}\) on \(\gamma \) we get that \(h(y) = (0,l(y),0),\)
for any \(y\in \gamma \) and l does not vanish on \(\gamma \).
It follows by (6.16) and (6.12) that
and since \(\text{ div }\, v=0\) there holds (recall that \(x_1\) is directed along v(y))
hence we get that
along the trajectory \(\gamma \) for a positive constant \(C_\gamma \) depending on \(\gamma \). Note also that equations (6.16)–(6.19) hold for any trajectory of v in G and hence by continuity in \(\bar{G}\) outside the zero locus of l; in particular, we see that
Let \(z_0\in \bar{G}\) be a point where the function |v| attains its maximum on \(\bar{G}\), then \(z_0\in \partial G\). Indeed, if it is not the case, we have
and hence \(\omega (z_0)=0\) by (6.13) which implies \(z_0\in \partial G\).
Let \(\gamma _1\) be the trajectory of v starting from \(z_1\in \partial G\) with \( v(z_1)\ne 0\), then \(\omega =0\) on the whole trajectory \(\gamma _1\) and \(\gamma _1\subset \partial \Omega \). Therefore \(\nabla b = v\times \omega =0\) on \(\gamma _1\), where \(b=p+\frac{1}{2} |v|^2 \) is the Bernoulli function (see, e.g., Arnold and Khesin 1998) and we get
Let \(y\in \gamma _1\) and let e be a unit vector in \(\Pi _{13}\) orthogonal to v(y), then \(\langle v_e(y),v(y)\rangle =0\) for \(v_e= (\nabla _e v^1,\nabla _e v^3)\) by (6.13) since \(\omega (y)=0\). Therefore \(\langle \nabla |v|^2(y),e\rangle =0\) and (6.21) implies that \(\gamma _1\) is a straight line interval I which is finite since v has a compact support, v vanishes at its end points and thus \(l|_I=0\) by (6.20).
Let now \(z_0=0\) and continue to assume that \(x_1\) is directed along \(v(0)\ne 0\) and \(x_2\) is directed along \(\omega (x)\ne 0\) for some \(x\in G\) (the direction of \(\omega (x)\) does not depend on x), then l is a linear function on \(\Pi _{13}\) vanishing on the \(x_1\)-axis: \(l=Cx_3\) for \( C\ne 0\). Denote now \(D^+_\varepsilon =B_\varepsilon \cap \{ 0< x_3 \}\) and \(D^-_\varepsilon =B_ \varepsilon \cap \{0>x_3 \},\) then we have \(D^+_\varepsilon \subset G\). Indeed, first note that \( (D^+_\varepsilon \cap \partial G)\cup ( D^-_\varepsilon \cap \partial G)=\emptyset \) since otherwise the trajectory \(\gamma _1\) starting from \(z_1\in (D^+_\varepsilon \cap \partial G)\cup (D^-_\varepsilon \cap \partial G)\) leads to a contradiction since \(l|_{\gamma _1}=0\). Moreover, for the trajectory \(\alpha _0(t) \) of \(v^\perp =(-v^3,v^1)\) starting at 0 we have \(\alpha _0(t)\in D^+_\varepsilon \) for a small \(t>0\) and \(\alpha _0(t)\in D^-_\varepsilon \) for a small \(t<0\). Since \(\omega \ne 0\) on G we get that |v| strictly decreases along \(\alpha _0\) by (6.13) (v(0) being parallel to \(x_1\)) while \(\alpha _0(t)\) stays in G and since |v| attains at 0 its maximum in \(\bar{G}\) we get that \(D^-_\varepsilon \bigcap G=\emptyset \); therefore, \(D^+_\varepsilon \subset G\).
Furthermore, any trajectory \(\gamma _s\) of v starting from the point \((0,0,s)\in D^+_ \varepsilon \) with \( 0<s<\varepsilon \) and a sufficiently small \(\varepsilon >0\) is closed. Indeed, by (6.19) we may assume that \(C_{\gamma _s}\) strictly increases as a function of \(s\in (0,\varepsilon )\) and thus \(\gamma _s\) with \(s\in (0,\varepsilon )\) intersects the interval \((0,(0,\varepsilon ))\) only once. By the Poincaré–Bendixson theorem we get that \(\gamma _s\) either
-
(i)
tends to a limit, or
-
(ii)
tends to a limit cycle \(\rho \subset G\), or
-
(iii)
is closed.
Since (i) contradicts (6.19) and (ii) implies that any trajectory \(\gamma _a\) with \(s<a<\varepsilon \) tends to \(\rho \) which contradicts (6.19) as well, we get that (iii) holds. Moreover, any trajectory starting inside \(D^+_\varepsilon \) enters the domain\(\{x_3>\delta \}\cap G\) for some fixed \(\delta >0\) and the union \(A=\bigcup _{0<s<\varepsilon }\gamma _s\subset G \) is a topological annulus.
Note now that \(C_{\gamma _s}\) tends to zero for \(s \rightarrow 0\) by (6.19). Any trajectory \(\alpha \) of \(v^\perp \) in A is orthogonal to the trajectories \(\gamma _s\) and thus intersects all \(\gamma _s\) while |v| strictly decreases along \(\alpha \) by (6.13) since \(\omega ^2>0\) on G. If \(\lambda \in (0,\varepsilon )\) then
for a sufficiently small \(s\in (0,\lambda )\) and some \(z\in \gamma _s\), while the trajectory \(\alpha _z\) of \(v^\perp \) starting from z intersects \(\gamma _{\lambda }\) and |v| strictly decreases along \(\alpha _z\) which gives a contradiction and thus finishes the proof.
7 Vector Analysis’ Framework
Let us briefly discuss Conjectures 1.1 and 1.2 in terms of the vector analysis for compactly supported tensor fields in \(\mathbb {R}^3\). In this section we suppose that \(v\in C_0^\infty (S^1,\mathbb {R}^3)\). We can rewrite (1.2) as follows
Proposition 7.1
If (7.1) holds and the corresponding function \(w\in C_0^\infty (M)\) is everywhere zero on M then
for the symmetrization \(\Psi \) of the tensor field \({{\mathrm{curl}}}(v\otimes v),\) i.e.
where \(\varepsilon _{ijk}\) is the standard permutation (pseudo-)tensor, giving the sign of the permutation (ijk) of (123) and the summation convention applies.
Proof
For any fixed value of \(x_1\), we define the vector field
on the vertical plane \({\Pi _{23}(x_1)} =\{x_1,x_2,x_3\}\) with coordinates \(\{x_2,x_3\}\) depending on \(x_1\) as on a parameter.
We have then \(IZ(m')=w_{\nu _m}(m)=\langle \nabla w, \nu _m\rangle \) for a line \(m\subset {\Pi _{23}(x_1)},\) a normal \(\nu _m\) to m and a line \(m'\perp m\subset {\Pi _{23}(x_1)},\) thus \(IZ=0\) and hence the solenoidal component \(^sZ \) equals zero, where \(Z=^sZ+\,^pZ\) is the Helmholtz decomposition of the vector field Z. Therefore we have
thus \(\Psi ^{ii}=0\) for \( \,i=1,2,3\) and rotating the coordinate system in each plane \({\{ x_i,x_j\}}\) through the angle \(\frac{\pi }{4}\) we get \(\Psi ^{ij}=0\) for all \(\,1\le i \le j\le 3.\)
Moreover, the proof of Theorem 6.1 shows that the conditions \(\Psi (v)=0\) and \(\mathrm {div}\,v=0\) imply \(v=0\).
Therefore Conjectures 1.1 and 1.2 follow from
Conjecture 7.2
If \({{\mathrm{curl}}}(\mathrm {div}(v\otimes v))=0\) then \( \sigma ({{\mathrm{curl}}}(v\otimes v))=0.\)
Another equivalent statement can be formulated as follows
Conjecture 7.3
If \(I({\mathrm {div}}(v\otimes v))=0\) then \(PI(v\otimes v)=0.\)
One can also ask whether the condition \({{\mathrm{curl}}}(\mathrm {div}(v\otimes v))=0\) implies that v is spherically symmetric, which would grant Conjectures 1.1, 1.2, 7.2 and 7.3.
References
Arnold, V.I., Khesin, B.A.: Topological Methods in Hydrodynamics. Springer, Berlin (1998)
Chae, D., Constantin, P.: Remarks on a Liouville-type theorem for Beltrami flows. Int. Math. Res. Not. 20, 10012–10016 (2015)
Enciso, A., Peralta-Salas, D.: Existence of knotted vortex tubes in steady Euler flows. Ann. Math. 175, 345–367 (2012)
Gonzalez, F., Helgason, S.: Invariant differential operators on Grassmann manifolds. Adv. Math. 60, 81–91 (1986)
John, F.: The ultrahyperbolic differential equation with four independent variables. Duke Math. J. 4(2), 300–322 (1938)
Nadirashvili, N.: Liouville theorem for Beltrami flow. Geom. Funct. Anal. 24, 916–921 (2014)
Nadirashvili, N., Sharafutdinov, V.A., Vlăduţ, S.: The John equation for tensor tomography in three-dimensions. Inverse Probl. 32, 105013 (2016). doi:10.1088/0266-5611/32/10/105013
Sharafutdinov, V.A.: Integral Geometry of Tensor Fields. VSP, Utrecht (1994)
Acknowledgements
We would like to thank A. Enciso, A. Jollivet and V. Sharafutdinov for their aid at different stages of our work.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Nadirashvili, N., Vlăduţ, S. Integral Geometry of Euler Equations. Arnold Math J. 3, 397–421 (2017). https://doi.org/10.1007/s40598-017-0072-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40598-017-0072-z