Integrable geodesic flows on tubular sub-manifolds
In this paper we construct a new class of surfaces whose geodesic flow is integrable (in the sense of Liouville). We do so by generalizing the notion of tubes about curves to 3-dimensional manifolds, and using Jacobi fields we derive conditions under which the metric of the generalized tubular sub-manifold admits an ignorable coordinate. Some examples are given, demonstrating that these special surfaces can be quite elaborate and varied.
\section{Introduction}


Let $(\mathcal{M}^n,g)$ be a Riemannian manifold. We may write the geodesic equations as a Hamiltonian system on the cotangent bundle $T^*\mathcal{M}$. The integral curves of this vector field constitute a flow, called the geodesic flow. If this Hamiltonian system has $n$ first integrals, functionally independent and in involution, we say the geodesic flow is Liouville integrable (see, for example, \cite{kling},\cite{josesaletan},\cite{sakai},\cite{docarmoriemm}). Throughout this paper we will describe this property with phrases such as ``the manifold has integable geodesic flow'', or ``the manifold is integrable''.

The known surfaces and manifolds with integrable geodesic flow is surprisingly small. The classic examples are surfaces of revolution and ellipsoids (see \cite{kling} for a detailed treatment or \cite{tabach} for an unusual approach), both known for many years (18th and 19th centuries respectively). The case of ellipsoids has been extended to quadratic manifolds in general \cite{tabach}, and there was a recent series of new examples of integrable manifolds in the form of Lie groups (see \cite{bolsinov},\cite{bols2} for reviews and references). On the other hand, in some recent papers \cite{TWspherical},\cite{TWmonge},\cite{TWetds} the author has shown that there are classes of surfaces and manifolds whose geodesic flow is {\it not} integrable. It would seem that surfaces/manifolds with integrable geodesic flow are indeed very rare and special, and often those that are known are not of a type which can be visualized easily \cite{dullin}. In this paper we will add to the list of integrable surfaces, by first considering the geodesic flow on tubes about curves and then generalizing this notion. We will show that in the examples we construct the Hamiltonian has an ignorable coordinate and hence by Noether's theorem \cite{josesaletan} admits a linear integral; together with the Hamiltonian itself this means the surface has integrable geodesic flow.


We begin with an observation about curves in $\mathbb{R}^3$. Let $\bmt{\gamma}:I\subset\mathbb{R}\to\mathbb{R}^3$ be a simple smooth regular curve, and let $\{\bmt{T},\bmt{N},\bmt{B}\}$ be the associated Frenet frame. The tube of radius $\rho_0$ about $\bmt{\gamma}$ has parameterisation \[ \bmt{\beta}:I\times\mathbb{S}^1\to\mathbb{R}^3:\bmt{\beta}(s,\psi;\rho_0)=\bmt{\gamma}(s)+\rho_0\cos\psi\bmt{N}(s)+\rho_0\sin\psi\bmt{B}(s).\] The line element is found to be \begin{equation} d\varsigma^2=\big[(1-k_1(s)\rho_0\cos\psi)^2+k_2(s)^2\rho_0^2\big]ds^2+2k_2(s)\rho_0^2 dsd\psi+\rho_0^2d\psi^2, \label{ler3} \end{equation} where $k_1(s),k_2(s)$ are the curvature scalars (curvature and torsion) associated with $\bmt{\gamma}$, and we restrict $\rho_0$ such that the tube is a well-defined surface (see later). From the line element we can find the Hamiltonian for the geodesic flow, $\mathcal{H}=\tfrac{1}{2}g^{ij}p_ip_j$, and we observe that $s$ only enters the Hamiltonian explicitly via the curvature scalars $k_{1,2}$. Thus if $k_{1,2}$ are constants, $s$ will be an ignorable coordinate leading to a linear integral, $p_s$, and the geodesic flow will be integrable. Hence the geodesic flow on the tube about a helix in $\mathbb{R}^3$ is integrable.

Let us state this explicitly: the tube around a curve in $\mathbb{R}^3$ has integrable geodesic flow if the curve has constant curvature scalars. There are a number of ways of generalizing this statement which spring to mind, and some are discussed in the conclusions. In this work we will focus on the following: suppose the curve is instead embedded in some manifold $\mathcal{M}$ of dimension 3, and the curve has constant curvature scalars with respect to $\mathcal{M}$; is the geodesic flow on the tube about this curve integrable? We will see that the answer is yes when $\mathcal{M}$ is a space form, but also in the case that $\mathcal{M}$ is of a more general class and {\it not} of constant curvature.

First some background theory which will be useful in what follows. The Frenet-Serret equations are generalized to curves in Riemannian manifolds in the following way: let $\bmt{\gamma}=\bmt{\gamma}(s):I\subset\mathbb{R}\to\mathcal{M}$ be a simple smooth regular curve parameterized by arc-length. Letting $\bmt{T}=\dot{\bmt{\gamma}}$ and $\{\bmt{T},\bmt{N},\bmt{B}\}$ be an orthonormal frame in $T_{\bmt{\gamma}} \mathcal{M}$, the frame evolves along $\bmt{\gamma}$ according to (\cite{Gutkin},\cite{Barros},\cite{Tamura}): \[ \frac{D}{ds}\begin{pmatrix}
  \bmt{T}\\ \bmt{N}\\ \bmt{B}
\end{pmatrix}=\begin{pmatrix}
  0 & k_1(s) & 0 \\ -k_1(s) & 0 & k_2(s) \\ 0 & -k_2(s) & 0
\end{pmatrix}\begin{pmatrix}
  \bmt{T}\\ \bmt{N}\\ \bmt{B}
\end{pmatrix}. \] Here and throughout we will let $D/ds$ denote the covariant derivative with respect to $\dot{\bmt{\gamma}}$, as opposed to $D$ in \cite{Gutkin}, $\bar{\nabla}_{\bmt{T}}$ in \cite{Barros} and $D_{\dot{\bmt{\gamma}}}$ in \cite{Tamura}. $k_1$ is often known as the `geodesic curvature', however we will simply refer to $k_{1,2}$ as the `curvature scalars'. If $k_{1,2}$ are constants we will refer to $\bmt{\gamma}$ as a `constant curvature curve' (as opposed to `helix', `proper helix' etc. \cite{Barros},\cite{Tamura}).

It will be convenient to denote by $T_{\bmt{\gamma}}^{\perp}\mathcal{M}$ the orthogonal complement of $\dot{\bmt{\gamma}}$ in $T_{\bmt{\gamma}}\mathcal{M}$ (i.e.\ span$(\bmt{N},\bmt{B})$). In Euclidean space, the tube about a curve $\bmt{\gamma}$ is the locus of circles of fixed radius orthogonal to $\bmt{\gamma}$. However, in $\mathcal{M}$ the tube about $\bmt{\gamma}$ is the locus of {\it geodesic} circles whose radial geodesics have tangent vectors in $T_{\bmt{\gamma}}^{\perp}\mathcal{M}$ at $\bmt{\gamma}$. As such a parameterisation of the tube of radius $\rho_0$ about $\bmt{\gamma}\in\mathcal{M}$ would be \[ \bmt{\beta}:I\times\mathbb{S}^1\to\mathcal{M}:\bmt{\beta}(s,\psi;\rho_0)=\textrm{exp}_{\bmt{\gamma}(s)}\big(\rho_0\cos\psi\bmt{N}(s)+\rho_0\sin\psi\bmt{B}(s)\big), \] where $\textnormal{exp}_p:T_p\mathcal{M}\to\mathcal{M}$ denotes the exponential map defined as follows: let $\bmt{\Gamma}$ be the unique geodesic through $p$ with tangent vector $\bmt{v}$ at $p$; then $\textnormal{exp}_p(\bmt{v})=\bmt{\Gamma}(\|\bmt{v}\|)$. As alluded to previously, we restrict $\bmt{\gamma}$ and $\rho_0$ as required in order for the tube to be well defined, by avoiding either the curvature of $\bmt{\gamma}$ being too high at a certain point, reaching conjugate/focal points along radial geodesics (see \cite{sakai},\cite{TWbif}), or $\bmt{\gamma}$ passing close to itself leading to self-intersections.

The question we wish to address is: for what $\mathcal{M}$ does the tube $\bmt{\beta}(s,\psi;\rho_0)$ have integrable geodesic flow? While tubes as sub-manifolds have been much studied previously (see for example \cite{gray}), it is typically in the context of the area and volume of the tube, and not in terms of the geodesic flow {\it on} the tube. In the following section we formulate the problem using Jacobi fields and prove that if $\mathcal{M}$ is a space form then the geodesic flow on the tube about a constant curvature curve is integrable; we also give some examples. An advantage to formulating the problem in terms of Jacobi fields is we lay the foundations for further study of evolutes, focal surfaces, etc. (see \cite{TWbif} for example).  In Section 3 we consider curves in more general manifolds not of constant curvature, and find some conditions for the geodesic flow on tubular sub-manifolds to be integrable; again we give some examples. In each case considered we show the existence of an ignorable coordinate, i.e. the metric admits a Killing vector field and the sub-manifold is therefore invariant under a 1-parameter group of isometries; integrability follows naturally. Section 4 contains some conclusions and further comments.



\section{Curves in space forms}


Consider the following parameterisation of the neighbourhood of $\bmt{\gamma}$: \[ \bmt{\beta}:I\times\mathbb{S}^1\times \mathbb{R}^+\to\mathcal{M}:\bmt{\beta}(s,\psi,\rho)=\textnormal{exp}_{\bmt{\gamma}(s)}\big(\rho\cos\psi\bmt{N}+\rho\sin\psi\bmt{B}\big) \] with $\bmt{\beta}(\rho=0)=\bmt{\gamma}$ and the appropriate restriction on $\rho$ as discussed previously. We could describe this as a `geodesic cylindrical coordinate system', with $\bmt{\gamma}$ as the axis and $\rho=\rho_0$ defining the tube of radius $\rho_0$ about $\bmt{\gamma}$. We will show that under certain conditions the line element on $\rho=\rho_0$ is independent of $s$; this will imply the geodesic flow on $\rho=\rho_0$ is integrable. For this we require the pairwise inner products of $d\bmt{\beta}/ds$ and $d\bmt{\beta}/d\psi$.


\begin{figure}
\scalebox{0.8}{
\begin{tikzpicture}
\clip (2,0.6) rectangle (14,8);
\draw[thick] (1,0) .. controls (9,3) and (1,6) .. (3,8);
\draw (4,4.8) arc (130:111:7);
\draw (4.38,4.15) arc (120:100:7);
\draw (4.6,3.5) arc (110:91:7);
\draw[thick] (8,0) .. controls (16,3) and (8,6) .. (10,8);
\draw (5,2) node {$\bmt{\gamma}(s)$};
\draw (4.1,3.3) node {\footnotesize{$s_{-1}$}};
\draw (4,4) node {\footnotesize{$s_0$}};
\draw (3.7,4.6) node {\footnotesize{$s_1$}};
\draw (8,5) node {$\bmt{\Gamma}(\rho;s_0,\psi_0)$};
\draw[->,thick] (4.38,4.15) -- (3.5,6);
\draw[->,thick] (6.65,4.98) -- (6,6.85);
\draw (4.5,6) node {$\bmt{T}(s_0)$};
\draw (7.6,6.8) node {$\bmt{J}_s(\rho;s_0,\psi_0)$};
\draw (11.38,4.15) arc (160:135:2.5);
\draw (11.38,4.15) arc (128:106.5:6);
\draw (11.38,4.15) arc (90:72.5:5);
\draw[dashed,rotate around={20:(11.38,4.15)}] (11,3.3) arc (-100:100:2.4cm and 0.8cm);
\draw[->, thick] (13.4,5.175) -- (11.5,5.9);
\draw (12.7,6.5) node {$\bmt{J}_\psi(\rho;s_0,\psi_0)$};
\draw (13.2,4.8) node {\footnotesize{$\psi_0$}};
\draw (11.8,5.3) node {\footnotesize{$\psi_1$}};
\draw (13.2,3.7) node {\footnotesize{$\psi_{-1}$}};
\draw[->,thick] (4.26,2) -- (4.325,2.1);
\draw[->,thick] (11.26,2) -- (11.325,2.1);
\draw[->,thick] (2.825,6.6) -- (2.795,6.65);
\draw[->,thick] (9.825,6.6) -- (9.795,6.65);
\draw[dashed] (7,3) .. controls (6.88,5) and (6.7,5) .. (5.4,7);
\draw[->] (7.5,4.7) arc (-30:-150:0.77);
\end{tikzpicture}
}
\caption{The radial geodesics along $\bmt{\gamma}$ give two variations through geodesics by letting either $s$ or $\psi$ vary; the variation fields $\bmt{J}_s$ and $\bmt{J}_{\psi}$ are shown.}\label{varfields}
\end{figure}


 If we fix $s=s_0,\psi=\psi_0$ and consider the radial geodesic \[ \bmt{\Gamma}(\rho;s_0,\psi_0)=\textnormal{exp}_{\bmt{\gamma}(s_0)}\big(\rho\cos\psi_0\bmt{N}(s_0)+\rho\sin\psi_0\bmt{B}(s_0)\big), \] we may describe two variation fields along this geodesic (see Figure \ref{varfields}) \[ \bmt{J}_s(\rho)=\frac{\partial \bmt{\beta}}{\partial s},\quad\textrm{and}\quad\bmt{J}_{\psi}(\rho)=\frac{\partial \bmt{\beta}}{\partial \psi} \]
 where we will suppress cumbersome notation such as $\bmt{J}_s(\rho;s_0,\psi_o)$. Both $\bmt{J}_s$ and $\bmt{J}_{\psi}$ solve the Jacobi equation (here and throughout a prime denotes $d/d\rho$)  \begin{equation} \frac{D^2}{d\rho^2}\bmt{J}_*=R(\bmt{J}_*,\bmt{\Gamma}')\bmt{\Gamma}',\qquad (*=s,\psi), \label{jaceq}\end{equation} as indeed do all Jacobi fields; what distinguishes one Jacobi field from the next is the initial conditions. Focussing on $\bmt{J}_s$ first, we note \[ \bmt{J}_s(\rho=0)=\frac{\partial \bmt{\beta}}{\partial s}(\rho=0)=\frac{\partial}{\partial s}\big( \bmt{\beta}(\rho=0)\big)=\frac{\partial}{\partial s}\big(\bmt{\gamma}\big)=\bmt{T}. \] Also (letting $|_0$ denote $\rho=0$), \[ \left.\frac{D\bmt{J}_s}{d\rho}\right|_0=\left.\left[\frac{D}{d\rho}\left(\frac{\partial \bmt{\beta}}{\partial s}\right)\right]\right|_0=\left.\left[\frac{D}{ds}\left(\frac{\partial \bmt{\beta}}{\partial \rho}\right)\right]\right|_0=\frac{D}{ds}\left[\left.\left(\frac{\partial \bmt{\beta}}{\partial \rho}\right)\right|_0\right]. \] Remembering that $\bmt{\beta}(s,\psi,\rho)$ denotes the unit speed geodesic, parameterized by $\rho$, passing through $\bmt{\gamma}(s)$ with tangent vector $\cos\psi\bmt{N}(s)+\sin\psi\bmt{B}(s)$, we have \[ \frac{D}{ds}\left[\left.\left(\frac{\partial \bmt{\beta}}{\partial \rho}\right)\right|_0\right]=\frac{D}{ds}\left(\cos\psi\bmt{N}+\sin\psi\bmt{B}\right)=\cos\psi(-k_1\bmt{T}+k_2\bmt{B})+\sin\psi(-k_2\bmt{N}).  \] In summary both $\bmt{J}_s$ and $\bmt{J}_\psi$ solve the Jacobi equation \eqref{jaceq} with initial conditions \begin{equation} \bmt{J}_s(0)=\bmt{T},\quad \frac{D\bmt{J}_s}{d\rho}(0)=-k_1\cos\psi\bmt{T}-k_2\sin\psi\bmt{N}+k_2\cos\psi\bmt{B}, \label{jsdata} \end{equation} and \begin{equation} \bmt{J}_\psi(0)=\bmt{0},\quad \frac{D\bmt{J}_\psi}{d\rho}(0)=-\sin\psi\bmt{N}+\cos\psi\bmt{B}. \label{jpsidata}  \end{equation} We are now ready to prove the first theorem.

\begin{thm}
  Let $\bmt{\gamma}=\bmt{\gamma}(s):I\subset \mathbb{R}\to\mathcal{M}$ be a simple smooth regular curve in the 3-dimensional Riemannian manifold $\mathcal{M}$. If $\mathcal{M}$ is a space form $(\mathbb{R}^3/\mathbb{S}^3/\mathbb{H}^3)$ and $\bmt{\gamma}$ is a constant curvature curve, then the geodesic flow on the tube about $\bmt{\gamma}$ is integrable.
\end{thm}

\begin{proof}
  If $\mathcal{M}$ is a space form with constant sectional curvature $K_0$, $\bmt{\Gamma}$ is a unit speed geodesic of $\mathcal{M}$, and $\bmt{J}_*$ is a Jacobi field orthogonal to $\bmt{\Gamma}'$, then \cite{docarmoriemm}  \[ R(\bmt{J}_*,\bmt{\Gamma}')\bmt{\Gamma}'=-K_0\bmt{J}_* \] and hence the Jacobi equation \eqref{jaceq} becomes \[ \frac{D^2\bmt{J}_*}{d\rho^2}=-K_0\bmt{J}_*. \] Given w.l.o.g.\ $K_0=-1,0,1$ we may simply solve this Jacobi equation for $\bmt{J}_s$ and $\bmt{J}_\psi$ with the data given in \eqref{jsdata},\eqref{jpsidata}, then take their pairwise inner products to find the line element on the tube $\rho=\rho_0$, which is \[ d\varsigma^2=\big[(F_0-k_1(s)G_0\cos\psi)^2+k_2(s)^2G_0^2\big]ds^2+2k_2(s)G_0^2 ds d\psi+G_0^2 d\psi^2 \] where \[ \left. \begin{array}{c}
    F_0=\cos(\rho_0),\ G_0=\sin(\rho_0) \\
    F_0=1,\ G_0=\rho_0 \\
    F_0=\cosh(\rho_0),\ G_0=\sinh(\rho_0)
  \end{array} \right\} \quad \textrm{if}\quad \left\{\begin{array}
    {c} K_0=1,\\ K_0=0, \\ K_0=-1.
  \end{array} \right. \]
   In each case the coordinate $s$ only enters the line element via the curvature scalars $k_1$ and $k_2$, and hence if $\bmt{\gamma}$ is a constant curvature curve $s$ will be an ignorable coordinate and the geodesic flow on the tube will be integrable.
\end{proof}

Before giving an example we can extend this result by observing that a `tube', defined as an equidistant surface, consists of a circle in $T_{\bmt{\gamma}}^{\perp}\mathcal{M}$ projected under exp into $\mathcal{M}$; however we can also consider the `generalized tube' where any simple closed curve, fixed w.r.t.\ $s$, in $T_{\bmt{\gamma}}^{\perp}\mathcal{M}$ is projected into $\mathcal{M}$. That is, if $(f(\psi),g(\psi))$ is a simple closed curve in the plane, then the generalized tube (intuitively understood as this simple closed curve being ``carried along'' by $\bmt{\gamma}$) also has integrable geodesic flow.


\begin{corr}
  The geodesic flow on the generalized tube \[ \bmt{\beta}(s,\psi,\rho_0)=\textnormal{exp}_{\bmt{\gamma}(s)}\big(\rho_0 f(\psi)\bmt{N}(s)+\rho_0 g(\psi)\bmt{B}(s) \big) \] has integrable geodesic flow if $\bmt{\gamma}\subset\mathcal{M}$ has constant curvature scalars and $\mathcal{M}$ is $\mathbb{R}^3,\mathbb{S}^3$ or $\mathbb{H}^3$.
\end{corr}


We give an example. Using the Hopf parameterisation of $\mathbb{S}^3$, \[ \bmt{\sigma}(\eta,\theta,\phi)=(\sin\eta\cos\theta,\sin\eta\sin\theta,\cos\eta\cos\phi,\cos\eta\sin\phi), \] we consider the curve $(\eta,\theta,\phi)=(\eta_0,\alpha t,\beta t)$. We require $\alpha/\beta\in\mathbb{Q}$ (in order to avoid the tube self-intersecting for $t\in\mathbb{R}$) in which case $\bmt{\gamma}$ is a knot on the Clifford torus in $\mathbb{S}^3$. $t$ is only the arc-length if $\sqrt{\alpha^2\sin^2\eta_0+\beta^2\cos^2\eta_0}\equiv p=1$. The curvature scalars are found to be (correcting \cite{Tamura}) \[ k_1=\frac{(\alpha^2-\beta^2)\sin\eta_0\cos\eta_0}{p^2}, \quad k_2=\frac{\alpha \beta}{p^2}. \] Note this curve has constant curvature scalars, and hence its tube has integrable geodesic flow.

In Fig \ref{stereo} we show the stereographic projection from $\mathbb{S}^3$ into $\mathbb{R}^3$ of the generalized tube with $f=(1+0.3\cos(3\psi))\cos\psi,\ g=(1+0.3\cos(3\psi))\sin\psi,\rho_0=0.2$ about the constant curvature curve described in the proceeding paragraph with $\alpha=5,\beta=2,\eta_0=\pi/4$.



\begin{figure}[h!]
\begin{center}
 \includegraphics[width=0.75\textwidth]{3sphplot2}\caption{The stereograhic projection from $\mathbb{S}^3$ into $\mathbb{R}^3$ of a generalized tube about a constant curvature curve (see text for details). This surface has integrable geodesic flow.} \label{stereo}
\end{center}
\end{figure}



\section{Curves in more general manifolds}


We suspect that there may be manifolds more complicated than the space forms which admit integrable sub-manifolds in the form of (generalized) tubes about curves if the curves take advantage of some symmetry in the manifold. Indeed this is the case as we will show.


\begin{thm}
  Let $\bmt{\gamma}=\bmt{\gamma}(s):I\subset \mathbb{R}\to\mathcal{M}$ be a simple smooth regular curve in the 3-dimensional Riemannian manifold $\mathcal{M}$. The neighbourhood of $\bmt{\gamma}\subset\mathcal{M}$ can be parameterized as follows: \[ \bmt{\beta}:I\times\mathbb{S}^1\times \mathbb{R}^+\to\mathcal{M}:\bmt{\beta}(s,\psi,\rho)=\textnormal{exp}_{\bmt{\gamma}(s)}\big(\rho\cos\psi\bmt{N}+\rho\sin\psi\bmt{B}\big) \] with $\bmt{\beta}(\rho=0)=\bmt{\gamma}$ and the appropriate restriction on $\rho$. If in the tubular neighbourhood of $\bmt{\gamma}$ the sectional curvatures are independent of $s$, and $\bmt{\gamma}$ is a constant curvature curve, then the tube $\bmt{\beta}(s,\psi;\rho_0)$ will have integrable geodesic flow.
\end{thm}

\begin{proof}
  We begin by extending the $\bmt{T},\bmt{N},\bmt{B}$ frame into the neighbourhood of $\bmt{\gamma}$ by parallel transport along the radial geodesics $\bmt{\Gamma}$, i.e.\ define $(\tilde{\bmt{T}},\tilde{\bmt{N}},\tilde{\bmt{B}})(s,\psi,\rho)$ via \[ \nabla_{\bmt{\Gamma}'}(\tilde{\bmt{T}},\tilde{\bmt{N}},\tilde{\bmt{B}})\equiv\frac{D}{d\rho}(\tilde{\bmt{T}},\tilde{\bmt{N}},\tilde{\bmt{B}})=\bmt{0},\quad (\tilde{\bmt{T}},\tilde{\bmt{N}},\tilde{\bmt{B}})(\rho=0)=(\bmt{T},\bmt{N},\bmt{B}). \] Parallel transport preserves lengths and angles so $(\tilde{\bmt{T}},\tilde{\bmt{N}},\tilde{\bmt{B}})$ is an orthonormal basis in the neighbourhood of $\bmt{\gamma}$, and we can write \[ \bmt{J}_*=t_*\tilde{\bmt{T}}+n_*\tilde{\bmt{N}}+b_*\tilde{\bmt{B}} \] where everything depends on $s,\psi,\rho$, and the Jacobi equation separates into three ODE's: \begin{align*}
    t_*''+\langle R(\bmt{\Gamma}',\bmt{J}_*)\bmt{\Gamma}',\tilde{\bmt{T}}\rangle=0, \\ n_*''+\langle R(\bmt{\Gamma}',\bmt{J}_*)\bmt{\Gamma}',\tilde{\bmt{N}}\rangle=0, \\ b_*''+\langle R(\bmt{\Gamma}',\bmt{J}_*)\bmt{\Gamma}',\tilde{\bmt{B}}\rangle=0.
  \end{align*} Note $\bmt{\Gamma}'(s,\psi,\rho)=\cos\psi\tilde{\bmt{N}}+\sin\psi\tilde{\bmt{B}}$ (since $\nabla_{\bmt{\Gamma}'}(\cos\psi\tilde{\bmt{N}}+\sin\psi\tilde{\bmt{B}})=\bmt{0}$ and $\bmt{\Gamma}'(s,\psi,0)=\cos\psi\bmt{N}+\sin\psi\bmt{B}$), thus each of these equations has 12 terms. Many are zero however (using the symmetries of the Riemann tensor and \cite{sakai}), reducing to \begin{align}
    t_*''+t_*\cos^2\psi(\tilde{\bmt{N}},\tilde{\bmt{T}},\tilde{\bmt{N}},\tilde{\bmt{T}})+t_*\sin^2\psi(\tilde{\bmt{B}},\tilde{\bmt{T}},\tilde{\bmt{B}},\tilde{\bmt{T}})=0,\nonumber \\
    n_*''+(\tilde{\bmt{N}},\tilde{\bmt{B}},\tilde{\bmt{N}},\tilde{\bmt{B}})[n_*\sin^2\psi-b_*\cos\psi\sin\psi]=0, \\
    b_*''+(\tilde{\bmt{N}},\tilde{\bmt{B}},\tilde{\bmt{N}},\tilde{\bmt{B}})[b_*\cos^2\psi-n_*\cos\psi\sin\psi]=0=0,\nonumber
  \end{align} (using the notation for sectional curvature  in \cite{docarmoriemm}) with initial data \begin{align*} t_s(0)=1,\ n_s(0)=0,\ b_s(0)=0,\\ t_s'(0)=-k_1(s)\cos\psi,\ n_s'(0)=-k_2(s)\sin\psi,\ b_s'(0)=k_2(s)\cos\psi, \end{align*} and \begin{align*} t_{\psi}(0)=0,\ n_{\psi}(0)=0,\ b_{\psi}(0)=0,\\ t_{\psi}'(0)=0,\ n_{\psi}'(0)=-\sin\psi,\ b_{\psi}'(0)=k_2(s)\cos\psi. \end{align*} In general, since the coefficients of these differential equations depend on $s,\psi,\rho$ then the solutions will depend on $s,\psi,\rho$. However, if the sectional curvatures are independent of $s$, then the coefficients in these differential equations do not depend explicitly on $s$. Hence the dependence of $t_*$ etc.\ on $s$ only manifests itself via the initial conditions, which in turn only depend on $s$ via the curvature scalars $k_{1,2}$. Thus if these scalar functions are in fact constants, then $t_*$ etc.\ will not depend explicitly on $s$ and therefore $\langle\bmt{J}_s,\bmt{J}_s\rangle=t_s^2+n_s^2+b_s^2$ etc.\ will not depend on $s$. Hence $s$ will be an ignorable coordinate for the Hamiltonian function describing the geodesic flow on the tubes $\bmt{\beta}(s,\psi;\rho_0)$, which will therefore be integrable.
\end{proof}

\noindent We give an example. Consider the manifold (a degenerate 3-ellipsoid) \[ \frac{x_1^2}{a^2}+\frac{x_2^2}{a^2}+\frac{x_3^2}{b^2}+\frac{x_4^2}{b^2}=1. \] Modifying the Hopf coordinates in the obvious way, the metric tensor is \[ diag\big(a^2\cos^2\eta+b^2\sin^2\eta,a^2\sin^2\eta,b^2\cos^2\eta \big) \] and the curve $(\eta,\theta,\phi)=(\eta_0,\alpha t,\beta t)$ has constant curvatures \[ k_1=\left(\frac{b^2\beta^2}{p^2}-\frac{a^2\alpha^2}{p^2}\right)\ \frac{\cos\eta_0\sin\eta_0}{q},\quad k_2=\frac{a b \alpha \beta}{p^2 q} \] and Frenet frame \[ \bmt{T}=(0,\alpha/p,\beta/p),\quad \bmt{N}=(1/q,0,0),\quad \bmt{B}=\left(0,\frac{b \beta\cos\eta_0}{a p},-\frac{a \alpha \tan\eta_0}{b p}\right), \] where $p=\sqrt{a^2\alpha^2\sin^2\eta_0+b^2\beta^2\cos^2\eta_0}$ and $q=\sqrt{a^2\cos^2\eta_0+b^2\sin^2\eta_0}$.

Now to show that the tube around $(\eta,\theta,\phi)=(\eta_0,\alpha s/p,\beta s/p)$ is integrable we need to show that the sectional curvatures in the neighbourhood of $\bmt{\gamma}$ do not depend on $s$. The difficulty is that Theorem 2 is phrased in terms of the geodesic cylindrical coordinates $s,\psi,\rho$, whereas our manifold is parameterised by $\eta,\theta,\phi$ and the connection between these two coordinate systems is not known explicitly. However, we do know that if we let $R$ denote a generic component of the Riemann tensor, then \begin{equation} \frac{\partial R}{\partial s}=\frac{\partial R}{\partial \eta}\frac{\partial \eta}{\partial s}+\frac{\partial R}{\partial \theta}\frac{\partial \theta}{\partial s}+\frac{\partial R}{\partial \phi}\frac{\partial \phi}{\partial s}. \label{genR} \end{equation} The last two terms are zero as the metric tensor depends only on $\eta$. To show the first term is zero we consider $\partial \eta/\partial s$.

Suppose we take a point $s=s_0$ on $\bmt{\gamma}$ and consider the radial geodesic whose initial tangent vector makes the angle $\psi_0$ in the $\bmt{N}(s_0),\bmt{B}(s_0)$ plane; this geodesic will solve the initial value problem \[ \ddot{\eta}+\Gamma^1_{11}\dot{\eta}^2+\Gamma^1_{22}\dot{\theta}^2+\Gamma^1_{33}\dot{\phi}^2=0,\quad \ddot{\theta}+2\Gamma^2_{12}\dot{\eta}\dot{\theta}=0,\quad \ddot{\phi}+2\Gamma^3_{13}\dot{\eta}\dot{\phi}=0, \] with \begin{align*} \big(\eta,\theta,\phi,\dot{\eta},\dot{\theta},\dot{\phi}\big)(0)=\left(\eta_0,\frac{\alpha s_0}{p},\frac{\beta s_0}{p},\frac{\cos\psi_0}{q},\frac{\sin\psi_0 b \beta\cos\eta_0}{a p},-\frac{\sin\psi_0 a \alpha \tan\eta_0}{b p}\right). \end{align*} However, since the Christoffel symbols do not depend on $\theta,\phi$, we see the following $4$-$d$ first order system decouples: \[ \dot{\eta}=u,\ \dot{u}=-\Gamma^1_{11}u^2-\Gamma^1_{22}v^2-\Gamma^1_{33}w^2,\ \dot{v}=-2\Gamma^2_{12}uv,\ \dot{w}=-2\Gamma^3_{13}uw, \] with \[ \eta(0)=\eta_0,\ u(0)=\frac{\cos\psi_0}{q},\ v(0)=\frac{\sin\psi_0 b \beta\cos\eta_0}{a p},\ w(0)=-\frac{\sin\psi_0 a \alpha \tan\eta_0}{b p}. \] This system is completely independent of $s$, as moving along $\bmt{\gamma}$ only changes $\theta(0),\phi(0)$ which are not part of this decoupled system. As such, the solutions for $(\eta,u,v,w)$ are independent of $s$.

Since $d\eta/ds=0,$ this means via \eqref{genR} that the elements of the Riemann tensor are independent of $s$ and hence the sectional curvatures in the neighbourhood of $\bmt{\gamma}$ are independent of $s$. Hence Theorem 2 implies the tube around this curve is integrable.


\section{Conclusion}

We have shown that there is a broad class of sub-manifolds (which could be described as `generalized tubes') which have geodesic flow that is integrable in the sense of Liouville. This adds to the very limited number of integrable surfaces known to date, and we can see from Figure \ref{stereo} that these sub-manifolds can be quite varied and elaborate. What's more our formulation in terms of Jacobi fields provides a foundation for further study of caustics and envelopes in curved manifolds. Our results arose out of generalizing to $\mathcal{M}$ the following observation in $\mathbb{R}^3$: the tube around a curve in $\mathbb{R}^3$ is integrable if the curve has constant curvature scalars. As mentioned in the Introduction there are other possibilities in generalizing this result.

Firstly we could consider changing the previous statement to: the tube around a curve in $\mathbb{R}^3$ is integrable {\it if and only if} the curve has constant curvature scalars. An obvious place to begin would be to consider the tube around an ellipse. Rigourous proofs of non-integrability using differential Galois theory could be attempted as in \cite{TWspherical},\cite{TWmonge},\cite{TWetds}, however strong evidence of non-integrability can be provided much more quickly by the method of Poincar\'{e} section (see Appendix A). While it seems very likely the ``if and only if'' statement is true, it would be very hard to prove: there is no topological obstruction to integrability (the tubes are either cylinders or torii) and as such the geometry of the tube would need to be specified exactly (or at best within a large family of curves with parameters).

A second generalization would be to consider curves in $\mathbb{R}^n$, and construct the following manifold: at each point on the curve take the orthogonal complement to the tangent vector and place an $(n-2)$-dimensional sphere. This would generate an $(n-1)$-dimensional manifold, and we would suspect that this manifold might be integrable if the $n-1$ curvature scalars associated with the curve are constants. This is however too much to ask: we find that again $s$ is an ignorable coordinate leading to an integral of the motion, which together with the ``energy'' gives two integrals, but for curves in $\mathbb{R}^4$ or above this would not be enough to imply integrability. Again, we offer numerical evidence: for the 3-dimensional manifold around a constant curvature curve in $\mathbb{R}^4$, we use the integral $p_s$ to reduce the geodesic flow to a 2-dimensional Hamiltonian system and take a Poincar\'{e} section. The results are very like those of Appendix A and will not be shown. Nonetheless there is some numerical evidence to suggest that there may be families of integrable manifolds in this broad class and this may be worth further investigation.






2017-12-20T02:07:46.000
1712
1712.06896
en
https://arxiv.org/abs/1712.06896
In this paper we construct a new class of surfaces whose geodesic flow is integrable (in the sense of Liouville). We do so by generalizing the notion of tubes about curves to 3-dimensional manifolds, and using Jacobi fields we derive conditions under which the metric of the generalized tubular sub-manifold admits an ignorable coordinate. Some examples are given, demonstrating that these special surfaces can be quite elaborate and varied.
Differential Geometry (math.DG)
Integrable geodesic flows on tubular sub-manifolds
Qwen/Qwen-72B
1. YES
2. YES