- ORIGINAL ARTICLE
- Open Access

# Magnetic geodesics on surfaces with singularities

- Volker Branding
^{1}Email author and - Wayne Rossman
^{2}

**9**:3

https://doi.org/10.1186/s40736-017-0028-1

© The Author(s) 2017

**Received:**26 July 2016**Accepted:**6 February 2017**Published:**6 March 2017

## Abstract

We focus on the numerical study of magnetic geodesics on surfaces, including surfaces with singularities. In addition to the numerical investigation, we give restrictive necessary conditions for tangency directions of magnetic geodesics passing through certain types of singularities.

## Keywords

- Magnetic geodesic
- Surface
- Singularities
- Numerical solutions

## 2010 Mathematics Subject Classification

- 53C22
- 53A05
- 53A10
- 65-05

## Introduction

A magnetic geodesic describes the trajectory of a charged particle in a Riemannian manifold *M* under the influence of an external magnetic field. Numerical experimentation suggests that almost all magnetic geodesics tend to avoid any lightlike singularities (points where the tangent spaces are lightlike) that *M* may have, regardless of choice of bounded smooth external magnetic field. Our primary result is a mathematically rigorous confirmation of this behavior.

*M*to be a complete, orientable Riemannian manifold without boundary of dimension

*n*and Riemannian metric 〈·,·〉. For a given two-form

*Ω*defined on

*M*we associate a smooth section

*Z*∈Hom(

*T*

*M,T*

*M*) defined via

*η*,

*ξ*∈

*TM*. We will investigate the existence of closed curves

*γ*=

*γ*(

*t*) satisfying the following equation

Note that, in contrast to geodesics, which correspond to *Z*=0, the equation for magnetic geodesics is not invariant under rescaling of *t*.

*M*is a surface, that is

*n*=2, we know that every two-form

*Ω*is a multiple of the volume form

*Ω*

_{0}associated with 〈·,·〉. Thus, every two-form can be written as

*Ω*=

*κ*

*Ω*

_{0}for some function \(\kappa \colon M\to \mathbb {R}\). We can exploit this fact to rewrite the right hand side of (1.1) as

where \(J^{90}_{\gamma }\) represents rotation in the tangent space *T*
_{
γ
}
*M* by angle *π*/2, see [10]. Due to this fact one often refers to (1.2) as the *prescribed geodesic curvature equation*, and *κ* is proportional to the geodesic curvature function.

We will always assume that *κ* is a smooth and bounded function.

###
**Remarks 1.1**

If the two-form *Ω* is exact, then (1.1) also arises from a variational principle, see *[*
2
*,*
14
*]*.

due to the skew-symmetry of the two-form *Ω*.

For magnetic geodesics on surfaces, several existence results are available, employing techniques from symplectic geometry [5,6] and from the calculus of variations [14]. In the papers of Schneider [11,12], and the paper by Schneider and Rosenberg [13], existence results for closed magnetic geodesics on Riemann surfaces are given by studying the zeros of a certain vector field. Recently, an existence result for magnetic geodesics has been established by the heat flow method [1].

Here rather, we give an approach more aimed at usefulness for numerics, and then proceed to produce examples of closed magnetic geodesics numerically. We then study the behavior of magnetic geodesics near singular points of a surface by proving our main result Theorem 3.1, and our proof employs the fact that magnetic geodesics have constant speed parametrization.

This article is organized as follows: In Section 2 we derive several numerical examples of magnetic geodesics. Moreover, we provide several analytic statements that support our numerical calculations. In Section 3 we focus on magnetic geodesics on almost-everywhere-spacelike surfaces with lightlike singularities and show that they will tend to turn away from the singularities unless they enter the singular sets at specific angles, which is the content of Theorem 3.1.

## Closed magnetic geodesics on surfaces in Euclidean and Minkowski 3-spaces

Before we turn to the numerical integration of (1.1) let us make the following observations.

By the Theorem of Picard-Lindeloef we always get a local solution to (1.1). However, similar to the classical Hopf-Rinow theorem in Riemannian geometry we can show

###
**Theorem 2.1**

*M*,〈·,·〉)be a complete Riemannian surface and \(\kappa : M \to \mathbb {R}\) be a prescribed function. Let

*M*with geodesic curvature

*κ*(

*γ*(

*t*)) at

*γ*(

*t*), in other words,

*γ*is a nontrivial solution to

Then the domain (*a,b*) can be extended to all of \(\mathbb {R}\).

###
*Proof*

*γ*:(

*a,b*)→

*M*is a magnetic geodesic with maximal domain of definition. Since |

*γ*

^{′}|

^{2}is constant we know that the curve

*γ*has constant length

*L*[

*γ*]. Then we have for a sequence \(\gamma (t_{i})_{i\in \mathbb {N}}\)

*d*denotes the Riemannian distance function. Hence, \(\gamma (t_{i})_{i\in \mathbb {N}}\) is a Cauchy sequence with respect to

*d*. It is easy to see that the limit is independent of the chosen sequence.

*γ*

^{′}to (

*a,b*]. To this end we use the local expression for (2.1), that is

Using that |*γ*
^{′}| is constant it follows that *γ*
^{′}(*t*
_{
i
}) forms a Cauchy sequence and converges to some \(\gamma ^{\prime }_{\infty }\). Again, the limit is independent of the chosen sequence.

By differentiating the equation for magnetic geodesics and using the same method as for estimating \(|\gamma ^{\prime }(t_{i})-\gamma ^{\prime }(t_{j})|_{L^{\infty }}\) we can show that also *γ*
^{′′}(*t*
_{
i
}) forms a Cauchy sequence.

Now, assume that \(\tilde {\gamma }\colon (\beta -a,\beta +a)\to M\) is a magnetic geodesic with \(\tilde {\gamma }(\beta)=\hat {\gamma }(\beta)\) and \(\tilde {\gamma }^{\prime }(\beta)=\hat {\gamma }^{\prime }(\beta)\). Since magnetic geodesics are uniquely determined by their initial values, \(\tilde {\gamma }\) and \(\hat {\gamma }\) coincide on their common domain of definition. This yields a continuation of *γ* as a magnetic geodesic on (*a,b*+*β*), which contradicts the maximality of *b*. □

###
**Remarks 2.2**

We will be looking for closed solutions of (1.1), which Theorem 2.1 does not inform us about. Theorem 2.1 can be generalized to higher dimensions. Note that Theorem 2.1 no longer holds on a surface that is in some way not complete, for example a surface with singularities.

Again, since magnetic geodesics are uniquely determined by their initial values, the intermediate value theorem gives us the following method for finding closed magnetic geodesics, which was employed to produce the numerical examples of closed magnetic geodesics found in the figures in this paper:

###
**Proposition 2.3**

*n*=2. Suppose there exists a continuous one-parameter family of solutions

*γ*

_{ s }, with

*s*∈ [ 0,1], as in Theorem 2.1, and suppose there exist

*t*

_{1}(

*s*) and

*t*

_{2}(

*s*) in \(\mathbb {R}\) with

*t*

_{2}(

*s*)>

*t*

_{1}(

*s*) such that

- (1)
*t*_{1}(*s*) and*t*_{2}(*s*) depend continuously on*s*, - (2)
*γ*_{ s }(*t*_{1}(*s*))=*γ*_{ s }(*t*_{2}(*s*)) for all*s*∈ [ 0,1], - (3)
\(\{ \gamma _{0}^{\prime }(t_{1}(0)), \gamma _{0}^{\prime }(t_{2}(0)) \}\) spans \(T_{\gamma _{0}(t_{1}(0))}M=T_{\gamma _{0}(t_{2}(0))}M\) with one orientation, and \(\{ \gamma _{1}^{\prime }(t_{1}(1)), \gamma _{1}^{\prime }(t_{2}(1)) \}\) spans \(T_{\gamma _{1}\!(t_{1}(1))}M\,=\,T_{\gamma _{1}\!(t_{2}(1))}M\) with the opposite orientation.

Then *γ*:[ *t*
_{1}(*s*),*t*
_{2}(*s*)]→*M* forms a closed loop for some *s*∈(0,1).

For our numerical studies of (1.2) we need the following

###
**Proposition 2.4**

where *n* denotes a normal to the surface compatible with *J*
^{90} and × denotes the cross product in \(\mathbb {R}^{3}\).

###
*Proof*

Since the magnetic geodesic equation implies \(\phantom {\dot {i}\!}|\nabla _{\gamma '}\gamma '|^{2}=\kappa ^{2} |\gamma '|^{2}\), we obtain the second equation.

To establish the equivalence between (1.1) and the system (2.2), (2.3) we note that (2.2), (2.3) is obtained from (1.1) by taking the scalar product with both *γ*
^{′} and \(J_{\gamma }^{90}(\gamma ')\). However, \(\gamma ', J_{\gamma }^{90}(\gamma ')\) form a basis of the tangent space *T*
_{
γ
}
*M*, yielding the equivalence. □

*S*(

*u,v*) parametrized by coordinates (

*u,v*) in a subdomain of \(\mathbb {R}^{2}\), and a curve

*γ*(

*t*)=

*S*(

*u*(

*t*),

*v*(

*t*)) on the surface. We can rewrite (2.2) and (2.3): Expanding to obtain

*n*=

*S*

_{ u }×

*S*

_{ v }, and using

Using the formulations (2.4), (2.5), (2.6) and (2.7), we now use the idea in Proposition 2.3 to numerically produce examples of closed magnetic geodesics.

### 2.1 Example: round sphere

*κ*=0 will give great circles of course, and clearly

*κ*a nonzero constant will give a circle in the sphere that is not a great circle.

*κ*= sin

*u*can give a curve as in Fig. 1.

### 2.2 Example: Clifford torus

### 2.3 Example: catenoid

*f*= cosh2

*u*, as

### 2.4 Example: minimal Enneper surface

*f*=(1+

*u*

^{2}+

*v*

^{2})

^{2}. This yields the system

### 2.5 Minkowski 3-space

Let \(\mathbb {R}^{2,1}\) denote the Minkowski 3-space \(\{ (x,y,s) \, | \, x,y,s \in \mathbb {R} \}\) with Lorentzian metric of signature (+,+,−). Spacelike surfaces with mean curvature identically zero are called *maximal surfaces*, and the next example is such a surface. Our primary result (Theorem 3.1) is about spacelike surfaces in \(\mathbb {R}^{2,1}\), with singularities at which the tangent planes become lightlike. Proposition 2.4 is true for spacelike surfaces in \(\mathbb {R}^{2,1}\) as well, once \(\mathbb {R}^{3}\) is replaced by \(\mathbb {R}^{2,1}\), the cross product for \(\mathbb {R}^{3} \) is replaced by the cross product for \(\mathbb {R}^{2,1}\), and the induced connection ∇ for surfaces in \(\mathbb {R}^{3}\) is replaced by the induced connection ∇ for surfaces in \(\mathbb {R}^{2,1}\). The statement is as follows:

###
**Proposition 2.5**

where *n* denotes a normal to the surface compatible with *J*
^{90} and × denotes the cross product in \(\mathbb {R}^{2,1}\).

One set of motivating examples for the result presented here are maximal surfaces in \(\mathbb {R}^{2,1}\), for which singularities commonly occur (see, for example, *[*
3
*]*), as in the next example.

### 2.6 Example: maximal Enneper surface

*g*is a meromorphic function and

*η*is a holomorphic 1-form on a Riemann surface. This surface is conformally parametrized wherever it is nonsingular, and has spacelike tangent planes at nonsingular points. The singularities occur whenever |

*g*|=1, and the metric for the surface is

*γ*(

*t*)=

*S*(

*u*(

*t*),

*v*(

*t*)), we have

*u*

^{′2}+

*v*

^{′2}would have to diverge whenever

*γ*approaches a singular point. It follows that magnetic geodesics cannot be extended, as solutions of the magnetic geodesic equation, into singular points.

Typically, even at their singularities, maximal surfaces can be described as smooth graphs of functions over domains in the horizontal spacelike coordinate plane of \(\mathbb {R}^{2,1}\) (see [4,7,8] for example), and thus Theorem 3.1 will apply to maximal surfaces.

### 2.7 Example: rotated cycloids

## Restrictions for tangency directions of magnetic geodesics passing through a singularity

In our numerical investigations of magnetic geodesics on the maximal Enneper surface we have seen that magnetic geodesics avoid the singular set of the surface. In this section we will prove a result that helps explain this behavior not only on arbitrary maximal surfaces, but on general spacelike surfaces in \(\mathbb {R}^{2,1}\) at points where the tangent planes degenerate to become lightlike. More precisely, we will consider the case that the tangent plane *T*
_{
p
}
*M* becomes lightlike and the surface is a graph of a function over a domain \(\mathcal {U}\) with immersable boundary \(\partial \mathcal {U}\) in the horizontal spacelike coordinate plane of \(\mathbb {R}^{2,1}\) whose second derivatives are finite and not all zero at the projection of *p* into \(\overline {\mathcal {U}}\).

This is the content of the following theorem:

###
**Theorem 3.1**

Suppose that (*M,g*) is an almost-everywhere-spacelike smooth surface in \(\mathbb {R}^{2,1}\) that becomes singular at a non-flat point *p*∈*M*.

Then there are only at most six directions within *T*
_{
p
}
*M* to which any magnetic geodesic meeting *p* with *C*
^{1} regularity and bounded geodesic curvature must be tangent. Two of these at most six directions are the lightlike directions.

###
*Proof*

*S*(

*u,v*)=(

*u,v*,

*f*(

*u,v*)) for some function

*f*(

*u,v*), and we can consider a curve

*γ*(

*t*)=

*S*(

*u*(

*t*),

*v*(

*t*)). The surface is spacelike, with the exception of a measure zero set in the surface at which the tangent planes are lightlike. Without loss of generality, we assume

- 1.
the tangent plane at

*u*=*v*=0 is lightlike, - 2.the surface is placed in \(\mathbb {R}^{2,1}\) in such a way that$$f(0,0)=0,\qquad f_{u}(0,0)=1,\qquad f_{v}(0,0)=0, $$
- 3.the curve
*γ*(*t*) on the surface satisfiesfor some value of \(\theta \in \mathbb {R} \setminus \pi \mathbb {Z}\),$$\gamma(0)=S(0,0),\qquad u'(0)=\cos\theta,\qquad v'(0)=\sin\theta $$ - 4.
the tangent planes to

*f*at the points*γ*(*t*) for*t*>0 are spacelike.

*γ*is a magnetic geodesic, thus 〈

*γ*

^{′},

*γ*

^{′}〉 is a positive constant for

*t*>0. We set

*u*

^{′′}(

*t*) and

*v*

^{′′}(

*t*) as t approaches 0. Because 〈

*γ*

^{′},

*γ*

^{′}〉 is constant for

*t*>0, by property (3) above we have 〈

*γ*

^{′},

*γ*

^{′}〉= sin2

*θ*for all

*t*≥0. We can assume |

*n*|=1 for

*t*>0. We then have

*t*→0 in Eq. 3.1 to obtain the finite limit

*A*|

_{ t=0}=0 and

*B*|

_{ t=0}= sin

*θ*≠0, we see that only these two cases can occur:

- 1.
*u*^{′′}is bounded at*t*=0 and \({\lim }_{t \to 0} v^{\prime \prime } = \cot \theta \cdot R|_{t=0}\), or - 2.
there exists a sequence

*t*_{ j }>0 converging to zero so that |*u*^{′′}(*t*_{ j })| diverges to infinity and |*v*^{′′}(*t*_{ j })/*u*^{′′}(*t*_{ j })| converges to zero as*j*→*∞*.

*j*→

*∞*.

*t*→0 of Eq. 3.2, we see that

*t*=0.

In the first case (1) above with bounded *u*
^{′′}, \({\mathcal T}\) converges asymptotically to \(\sqrt {h} R \sin \theta \), and this can be bounded only if *R*|_{
t=0}=0.

*u*

^{′′}, we can write \({\mathcal T}\) at

*t*

_{ j }as

Since *u*
^{′}(*t*
_{
j
}) and *v*
^{′}(*t*
_{
j
}) are bounded, and *v*
^{′′}(*t*
_{
j
})/*u*
^{′′}(*t*
_{
j
}) and *h*
^{−1}(*t*
_{
j
}) converge to zero, and since \((v' f_{u}-u' f_{v})|_{t=t_{j}}\phantom {\dot {i}\!}\) converges to sin*θ*, as *j*→*∞*, this term is asymptotically equal to \((\sqrt {h} R \sin \theta)|_{t=t_{j}}\) were *R*|_{
t=0}≠0, and again we conclude \({\mathcal T}\) is bounded only if *R*|_{
t=0}=0.

*f*

_{ vv }≠0, resp.

*f*

_{ uu }≠0, the angle

*θ*must satisfy

If *f*
_{
uu
}=*f*
_{
vv
}=0, then *θ*=*π*/2+*k*
*π* for some integer *k*.

Thus there are at most four possible values for the angle *θ*∈ [ 0,2*π*) in addition to *θ*=0,*π* for which the magnetic geodesic can approach the singular point *p*. □

###
**Remarks 3.2**

Theorem 3.1 can be generalized to almost-everywhere-spacelike submanifolds of general dimensional Minkowski spaces, with the corresponding conclusion being that generically the possible directions in which a magnetic geodesic can approach a point with a lightlike tangent space form a subset in the space of all directions that has codimension at least *1*.

## Declarations

### Funding

This research was supported by the joint Austrian-Japanese grant I1671-N26: Transformations and Singularities. The first author was also supported by the Austrian Science Fund (FWF) through the START-Project Y963-N35 of Michael Eichmair.

### Competing interests

Both authors declare that they have no competing interests.

### Authors’ contributions

Both authors read and approved the final manuscript.

**Open Access** This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.

## Authors’ Affiliations

## References

- Branding, V, Hanisch, F: Magnetic geodesics via the heat flow. arxiv:1411.6848, to appear In: Asian Journal of Mathematics. https://arxiv.org/abs/1411.6848.
- Contreras, G, Macarini, L, Paternain, G: Periodic orbits for exact magnetic flows on surfaces. Int. Math. Res. Not. 8, 361–387 (2004).MathSciNetView ArticleMATHGoogle Scholar
- Fujimori, S, Saji, K, Umehara, M, Yamada, K: Singularities of maximal surfaces. Math. Zeit. 259, 827–848 (2008).MathSciNetView ArticleMATHGoogle Scholar
- Fujimori, S, Kim, YW, Koh, S-E, Rossman, W, Shin, H, Umehara, M, Yamada, K, Yang, S-D: Zero mean curvature surfaces in Lorentz-Minkowski 3-space and 2-dimensional fluid dynamics. Math. J. Okayama Univ. 57, 173–200 (2015).MathSciNetMATHGoogle Scholar
- Ginzburg, V: On closed trajectories of a charge in a magnetic field. Appl. Symplectic Geom. Contact Symplectic Geom. (Camb). 8, 131–148 (1994).MATHGoogle Scholar
- Ginzburg, VL: On the existence and non-existence of closed trajectories for some Hamiltonian flows. Mathematische Zeitschrift. 223(3), 397–409 (1996).MathSciNetView ArticleMATHGoogle Scholar
- Gu, CH: The extremal surfces in the 3-dimensional Minkowski spaces. Acta Math. Sinica (new series). 1(2), 173–180 (1985).MathSciNetView ArticleGoogle Scholar
- Klyachin, VA: Zero mean curvature surfaces of mixed type in Minkowski space. Izv. Math. 67, 209–224 (2003).MathSciNetView ArticleMATHGoogle Scholar
- Kobayashi, O: Maximal Surfaces in the 3-Dimensional Minkowski Space L
_{3}. Tokyo J. Math. 6(2), 297–309 (1983).MathSciNetView ArticleMATHGoogle Scholar - Miranda, JAG: Generic properties for magnetic flows on surfaces. Nonlinearity. 19(8), 1849–1874 (2006).MathSciNetView ArticleMATHGoogle Scholar
- Schneider, M: Closed magnetic geodesics on S
_{2}. J. Differential Geom. 87, 343–388 (2011).MathSciNetMATHGoogle Scholar - Schneider, M: Closed magnetic geodesics on closed hyperbolic Riemann surfaces. Proc. Lond. Math. Soc. 105(3), 424–446 (2012).MathSciNetView ArticleMATHGoogle Scholar
- Schneider, M, Rosenberg, H: Embedded constant curvature curves on convex surfaces. Pac. J. Math. 253, 213–219 (2011).MathSciNetView ArticleMATHGoogle Scholar
- Taimanov, IA: Periodic magnetic geodesics on almost every energy level via variational methods. Regul. Chaotic Dyn. 15(4–5), 598–605 (2010).MathSciNetView ArticleMATHGoogle Scholar