arxiv: v1 [math.na] 19 May 2018

Transcription

1 Energy preserving methods on Riemannian manifolds Elena Celledoni, Sølve Eidnes, Brynjulf Owren, Torbjørn Ringholm * May 22, 28 arxiv: v [math.na] 9 May 28 Abstrat The energy preserving disrete gradient methods are generalized to finite-dimensional Riemannian manifolds by definition of a disrete approximation to the Riemannian gradient, a retration, and a oordinate enter funtion. The resulting shemes are intrinsi and do not depend on a partiular hoie of oordinates, nor on embedding of the manifold in a Eulidean spae. Generalizations of well-known disrete gradient methods, suh as the average vetor field method and the Itoh Abe method are obtained. It is shown how methods of higher order an be onstruted via a olloation-like approah. Loal and global error bounds are derived in terms of the Riemannian distane funtion and the Levi-Civita onnetion. Some numerial results on spin system problems are presented. Keywords: Geometri integration, disrete gradients, Riemannian manifolds, numerial analysis. Classifiation: 37K5, 53B99, 65L5, 82-8 Introdution A first integral of an ordinary differential equation ODE) is a salar-valued funtion on the phase spae of the ODE that is preserved along solutions. The potential benefit of using numerial methods that preserve one or more suh invariants is well-doumented, and several energypreserving methods have been developed in reent years. Among these are the disrete gradient methods, whih were introdued for use in Eulidean spaes in [], see also [2]. These methods are based on the idea of expressing the ODE using a skew-symmetri operator and the gradient of the first integral, and then reating a disrete ounterpart to this in suh a way that the numerial sheme preserves the energy. For manifolds in general, one an use the same shemes expressed in loal oordinates. A drawbak is that the numerial approximation will typially depend on the partiular hoie of oordinates and also on the strategy used for transition between oordinate harts. Another *Department of Mathematial Sienes, Norwegian University of Siene and Tehnology, N 749 Trondheim Elena Celledoni: elena.elledoni@ntnu.no; Sølve Eidnes: solve.eidnes@ntnu.no; Brynjulf Owren: brynjulf.owren@ntnu.no; Torbjørn Ringholm: torbjorn.ringholm@ntnu.no This work was supported by the European Union s Horizon 22 researh and innovation programme under the Marie Skłodowska-Curie grant agreement No. 697.

2 alternative is to use a global embedding of the manifold into a larger Eulidean spae, but then it typially happens that the numerial solution deviates from the manifold. Even if the situation an be amended by using projetion, it may not be desirable that the omputed approximation depends on the partiular embedding hosen. Crouh and Grossmann [3] and Munthe-Kaas [4, 5] introdued different ways of extending existing Runge Kutta methods to a large lass of differentiable manifolds. Both these approahes are generally lassified as Lie group integrators, see [6] or the more reent [7] for a survey of this lass of methods. They an also both be formulated abstratly by means of a post-lie struture whih onsists of a Lie algebra with a flat onnetion of onstant torsion, see e.g. [8]. In the present paper we shall state the methods in a slightly different ontext, using the notion of a Riemannian manifold. It is then natural to make use of the Levi-Civita onnetion, whih in ontrast to the post-lie setting is torsion-free, and whih in general has a non-zero urvature. For our purposes it is also an advantage that the Riemannian metri provides an intrinsi definition of the gradient. Taking an approah more in line with this, Leimkuhler and Patrik [9] onsidered mehanial systems on the otangent bundle of a Riemannian manifold and sueeded in generalising the lassial leap-frog sheme to a sympleti integrator on Riemannian manifolds. Some lassial numerial methods in Eulidean spaes preserve ertain lasses of invariants; for instane, sympleti Runge Kutta methods preserve all quadrati invariants. This an be useful when there is a natural way of embedding a manifold into a linear spae by using onstraints that are expressed by means of suh invariants. An example is the 2-sphere whih an be embedded in R 3 by adding the onstraint that these vetors should have unit length. The lassial midpoint rule will automatially ensure that the numerial approximations remain on the sphere as it preserves all quadrati invariants. In general, however, the invariants preserved by these methods are expressed in terms of oordinates. Hene the preservation property of the method may be lost under oordinate hanges if the invariant is no longer quadrati. In [], a generalization of the disrete gradient method to differential equations on Lie groups and a broad lass of manifolds was presented. Here we develop this further by introduing a Riemannian struture that an be used to provide an intrinsi definition of the gradient as well as a means to measure numerial errors. The struture of this paper is as follows: In setion 2, we formulate the problem to be solved and introdue disrete Riemannian gradient methods, as well as presenting some partiular examples with speial attention to a generalization of the Itoh Abe disrete gradient. We also briefly disuss the Eulidean setting as a speial hoie of manifold and show how the standard disrete gradient methods are reovered in this ase. In the third setion, we onsider higher order energy preserving methods based on generalization of a olloation strategy introdued by Hairer [] to Riemannian manifolds. We present some error analysis in setion 4, and show numerial results in setion 5, where the methods are applied to spin system problems. 2 Energy preservation on Riemannian manifolds Consider an initial value problem on the finite-dimensional Riemannian manifold M, g ), u = F u), u) = u M. 2.) 2

3 We denote by FM) the spae of smooth funtions on M. The set of smooth vetor fields and differential one-forms are denoted ΓT M) and ΓT M) respetively, and for the duality pairing between these two spaes we use the angle brakets,. A first integral assoiated to a vetor field F ΓT M) is a funtion H FM) suh that dh,f vanishes identially on M. First integrals are preserved along solutions of 2.), 2. Preliminaries d Hut)) = dhut)), ut) = dhut)),f ut)) =. dt The fat that a vetor field F has a first integral H is losely related to the existene of a tensor field Ω ΓT M T M) =: ΓT M), skew-symmetri with respet to the metri g, suh that F u) = Ωu)gradHu), 2.2) where gradh ΓT M) is the Riemannian gradient, the unique vetor field satisfying dh, = g gradh, ). Any ODE 2.) where F is of this form preserves H, sine d dt Hu) = dhu), u = dhu),ωgradhu) = g gradhu),ωgradhu)) =. A onverse result is detailed in the following proposition. Proposition. Any system 2.) with a first integral H an be written with an F of the form 2.2). The skew tensor field Ω an be hosen so as to be bounded near every nondegenerate ritial point of H. Proof. Similar to the proof of Proposition 2. in [2], we an write an expliit expression for a possible hoie of Ω, g gradh, y)f g F, y)gradh Ωy =. 2.3) g gradh,gradh) Clearly, g y,ωy) = for all y. Sine H is a first integral, g F,gradH) = dh,f =, so ΩgradH = F. For a proof that Ω is bounded near nondegenerate ritial points, see [2]. In fat, suh a tensor field Ω often arises naturally from a two-form ω through Ωy = ω, y). A well-known example is when ω is a sympleti two-form. Note that Ω is not neessarily unique. Retrations, viewed as maps from T M to M, will play an important role in the methods we disuss here. Their formal definition an be found e.g. in [2]: Definition. Let φ be a smooth map φ : T M M and let φ p denote the restrition of φ to T p M, with p being the zero-vetor in T p M. Then φ is a retration if it satisfies the onditions. φ p is defined in an open ball B rp p ) T p M of radius r p about p, 2. φ p x) = p if and only if x = p, 3. T φ p p = Id Tp M. A generi example of a retration on M, g ) is obtained via the Riemannian exponential, setting φ p x) = exp p x), i.e. following along the geodesi emanating from p in the diretion x. 3

4 2.2 The disrete Riemannian gradient method We adapt the disrete gradients in Eulidean spae to disrete Riemannian gradients DRG) on M, g ) by means of a retration map φ and a enter point funtion. Definition 2. A disrete Riemannian gradient is a triple grad,φ,) where. : M M M is a ontinuous map suh that u,u) = u for all u M, 2. grad : FM) Γ T M), 3. φ : T M M is a retration, suh that for all H FM), u M, v M, = u, v) M, Hv) Hu) = g gradhu, v),φ v) φ u)), 2.4) gradhu,u) = gradhu). 2.5) The DRG gradh is a ontinuous setion of the pullbak bundle T M, meaning that π gradh =, where π : T M M is the natural projetion. We also need to define an approximation to be used for the tensor field Ω ΓT M). To this end we let Ω Γ T M) be a ontinuous skew-symmetri tensor field suh that Inspired by [, 3], we propose the sheme Ωu,u) = Ωu) u M. u k+ = φ k W u k,u k+ )), k = u k,u k+ ) 2.6) W u k,u k+ ) = φ k u k ) + h Ωu k,u k+ )gradhu k,u k+ ), 2.7) where h is the step size. The sheme 2.6) 2.7) preserves the invariant H, sine Hu k+ ) Hu k ) = g gradhu k,u k+ ),φ k u k+ ) φ k u k )) = g gradhu k,u k+ ),h Ωu k,u k+ )gradhu k,u k+ )) =. Here and in the following we adopt the shorthand notation = u, v) as long as it is obvious what the arguments of are. The Average Vetor Field AVF) method has been studied extensively in the literature; some early referenes are [4, 2, 5]. This is a disrete gradient method, and we propose a orresponding DRG satisfying 2.4)-2.5) as follows: grad AVF Hu, v) = T γξ φ ) T gradhφ γ ξ ))dξ, γ ξ = ξ)φ where T x φ ) T : T φ x)m T x M is the unique operator satisfying u) + ξφ v), 2.8) g T x φ ) T a,b) = g a,t x φ b), x,b T M, a T φ x)m. To avoid luttered notation we will just write grad for the triple grad,φ,) in the sequel. 4

5 Furthermore, we have the generalization of Gonzalez midpoint disrete gradient [], Hv) Hu) g gradhu, v)),η) grad MP Hu, v) = gradhu, v)) + η 2.9) g η,η) where η = φ v) φ u). Note that both these DRGs involve the gradient of the first integral. This may be a disadvantage if H is non-smooth or if its gradient is expensive to ompute. Also, the impliit nature of the shemes requires the solution of an n-dimensional nonlinear system of equations at eah time step. An alternative is to onsider the Itoh Abe disrete gradient [6], also alled the oordinate inrement disrete gradient [2], whih in ertain ases requires only the solution of n deoupled salar equations. We now present a generalization of the Itoh Abe disrete gradient to finite-dimensional Riemannian manifolds. 2.3 Itoh Abe disrete Riemannian gradient Definition 3. For any tangent spae T M one an hoose a basis {E,...,E n } omposed of tangent vetors E i, i =,...,n, orthonormal with respet to the Riemannian metri g. Then, given u, v M, there exists a unique {α i } n so that i= φ n v) φ u) = α i E i. i= The Itoh Abe DRG of the first integral H is then given by grad IA Hu, v) = n a j E j, 2.) j = where Hw j ) Hw j ) if α j, a j = α j g gradhw j ),T φ η j )E j ) if α j =, w j = φ η j ), η j = φ j u) + α i E i. i= We refer to [3] for proof that this is indeed a DRG satisfying 2.4)-2.5). 2.4 Eulidean setting Let M = V be an R-linear spae, and let g be the Eulidean inner produt, g x, y) = x T y. The operator Ω is a solution dependent skew-symmetri n n matrix Ωu). For any u V, we have T u V V. The retration φ : V V is defined as φ p x) = p + x, the Riemannian exponential on V, so that φ v) φ u) = v u. The gradient gradh is an n-vetor whose ith omponent is 5

6 H u i, and the definition of the disrete Riemannian gradient oinides with the standard disrete gradient, sine 2.4) now reads Hv) Hu) = gradu, v) T v u). Furthermore, 2.6)-2.7) simply beomes the disrete gradient method introdued in [], given by the sheme u k+ u k = hωu k,u k+ )gradhu k,u k+ ), 2.) where Ω is a skew-symmetri matrix approximating Ω. Typial hoies are Ωu k,u k+ ) = Ωu k ), or Ωu k,u k+ ) = Ωu k+ + u k )/2) if one seeks a symmetri method. The DRGs 2.8) and 2.9) beome the standard AVF and midpoint disrete gradients in this ase. For the Itoh Abe DRG, the pratial hoie for the orthogonal basis would be the set of unit vetors, {e,...,e n }, so that α i = v i u i, and we get 2.) with Hw j ) Hw j ) if u j v j, a j = v j u j H u j w j ) if u j = v j, w j = j i= v i e i + n i=j + u i e i, whih is a reformulation of the Itoh Abe disrete gradient as it is given in [6], [2] and the literature otherwise. 3 Methods of higher order In the Eulidean setting, a strategy to obtain energy preserving methods of higher order was presented in [7] and later in [], see also [8]. This tehnique is generalized to a Lie group setting in []. We will here formulate these methods in the ontext of Riemannian manifolds. 3. Energy-preserving olloation-like methods on Riemannian manifolds Let,..., s be distint real numbers. Consider the Lagrange basis polynomials, l i ξ) = s j =,j i ξ j i j, and let b i := l i ξ)dξ. 3.) We assume that,..., s are suh that b i for all i. A step of the energy-preserving olloationlike method, starting at u M, is defined via a polynomial σ : R T M of degree s satisfying σ) = φ u ), 3.2) d ) dξ σξh) ξ=j = T U j φ Ω j grad j H, U j := φ σj h) ) 3.3) u := φ σh)), 3.4) 6

7 where grad j H := l j ξ) b j TU j φ ) T Tσξh) φ ) T gradh φ σξh)) ) dξ, and Ω j := ΩU j ). Notie that with s = and independently on the hoie of, we reprodue the DRG method 2.6)-2.7) with the AVF DRG 2.8). Using Lagrange interpolation and 3.3), the derivative of σξh) at every point ξh is from whih by integrating we get στh) = φ d s dξ σξh) = u ) + h j = s j = ) l j ξ)t U j φ Ω j grad j H, 3.5) τ ) l j ξ)dξt U j φ Ω j grad j H. The defined method is energy preserving, whih we see by using d φ σξh)) ) ) d = T σξh) φ dξ dξ σξh), and 3.5) to get Hu ) Hu ) = = = = = s j = s j = g gradh φ σξh)) ) ) d, dξ φ σξh)) dξ g gradh φ σξh)) ) s, T σξh) φ j = Tσξh) ) T g φ gradh φ σξh)) ) s, b j g l j ξ) b j l j ξ)t U j φ j = Ω j grad j H) )) dξ l j ξ)t U j φ Ω j grad j H) ) dξ TU j φ ) T ) T Tσξh) φ gradh φ σξh)) ) ) dξ, Ω j grad j H ) b j g grad j H, Ω j grad j H =, and hene repeated use of 3.2)-3.4) ensures Hu k ) = Hu ) for all k N. 3.2 Higher order extensions of the Itoh Abe DRG method From the Itoh Abe DRG one an get a new DRG, also satisfying 2.4), by grad SIA Hu, v) = 2 ) grad IA Hu, v) + grad IA Hv,u). 3.6) We all this the symmetrized Itoh Abe DRG. Note that we need the base point to be the same in the evaluation of grad IA Hu, v) and grad IA Hv,u). When u, v) = v,u) and Ω u,v) = Ω v,u), we get a symmetri DRG method 2.6)-2.7), whih is therefore of seond order. 7

8 Alternatively, one an get a symmetri 2-stage method by a omposition of the Itoh Abe DRG method and its adjoint. Furthermore, one an get energy preserving methods of any order using a omposition strategy. To ensure symmetry of an s-stage omposition method, one needs i u, v) = s+ i v,u) for different enter points i belonging to eah stage and, similarly, Ω i u, v) = Ω s+ i v,u). 4 Error analysis 4. Loal error In this setion, ϕ t u) is the t-flow of the ODE vetor field F. The most standard disrete gradient methods have a low or moderate order of onvergene, and that is also the ase for the DRG methods unless speial are is taken in designing Ω and gradh. We shall not pursue this approah here, but refer to the olloation-like methods if high order of auray is required. We shall see, however, that the methods designed here are onsistent and an be made symmetri. Analysis of the loal error an be done in loal oordinates, assuming that the step size is always hosen suffiiently small, so that within a fixed step, u k,u k+,u k,u k+ ) and the exat loal solution ut k+ ) all belong to the same given oordinate hart. From the definition 2.6)-2.7) it follows immediately that the representation of u k+ h) satisfies u k+ ) = u k and d dh uk+ ) = F u k ). Then by equivalene of loal oordinate norms and the Riemannian distane, we may onlude that the loal error in DRG methods satisfies du k+,ϕ h u k )) Ch 2. Similar to what was also observed in [], the DRG methods 2.6)-2.7) are symmetri whenever gradhu, v) = gradhv,u), Ωu, v) = Ωv,u), and u, v) = v,u) for all u, v M. In that ase we obtain an error bound for the loal error of the form du k+,ϕ h u k )) Ch 3. The olloation-like methods of setion 3 have assoiated nodes { i } s i= and weights {b i } s i= defined by 3.). The order of the loal error depends on the auray of the underlying quadrature formula given by these nodes and weights. The following result is a simple onsequene of Theorem 4.3 in [8]. Theorem. Let ψ h be the method defined by 3.2)-3.4). The order of the loal error is at least p = minr,2r 2s + 2) where r is the largest integer suh that s i= b i q i are positive onstants C and h suh that = q for all q r. This means that there dψ h u),ϕ h u)) C h p+ for h < h, u M. Proof. Choose h small enough suh that the solution an be represented in the form uhξ) = φ γξh)),ξ [,], and onsider the orresponding differential equation for γ in T M: d dt γt) = φ F ) γt)) = T γt) φ ) ΩgradH φ γt)) ). 4.) 8

9 Notie that ) T γ φ = TU φ obtain d dt γt) = T U t)φ where U = φ γ and T U t) φ : T U t) M T M for every t. We Ω T U t) φ ) T ) T Tγt) φ gradh φ γt)) ). 4.2) Considering the Hamiltonian H : T M R, Hγ) := φ Hγ) = H φ γ), we an then rewrite 4.) in the form d dt γt) = Ωγ)grad Hγ), Ωγ) := T U t) φ Ω T U t) φ ) T, 4.3) where we have used that grad H = T γt) φ T gradh φ γt))), whih is now a gradient on the linear spae T M with respet to the metri inherited from M, g. Loally in a neighborhood of, 3.2)-3.4) applied to 4.3) oinides with the methods of Cohen and Hairer, and therefore the order result [8, Thm 4.3] an be applied. Sine the Riemannian distane d, ) and any norm in loal oordinates are equivalent, the result follows. 4.2 Global error We prove the following result for the global error in DRG methods. Theorem 2. Let ut) be the exat solution to 2.) where F is a omplete vetor field on a onneted Riemannian manifold M, g ) with flow ut) = ϕ t u ). Let ψ h represent a numerial method u k+ = ψ h u k ) whose loal error an be bounded for some p N as Suppose there is a onstant L suh that dψ h u),ϕ h u)) Ch p+ for all u M. F g L, where is the Levi-Civita onnetion and g is the operator norm with respet to the metri g. Then the global error is bounded as d ukh),u k) C L ekhl )h p for all k >. Proof. Denoting the global error as e k := dukh),u k ), the triangle inequality yields e k+ d ϕ h ukh) ) ),ϕ h u k )) + d ϕ h u k ),ψ h u k ). The first term is the error at nh propagated over one step, the seond term is the loal error. For the first term, we find via a Grönwall type inequality of [9], ) d ϕ h ukh)),ϕ h u k ) e hl d ukh),u k) = e hl e k. Using the loal error estimate for the seond term, we get the reursion e k+ e hl e k +Ch p+, 9

10 whih yields e k C ekhl e hl hp+ C L ekhl )h p. Remark: Following Theorem.4 in [9], the ondition that F is omplete an be relaxed if ϕ t u ) and {u k } k N lie in a relatively ompat submanifold N of M ontaining all the geodesis from u k to ϕ kh u ). This is the ase if, for instane, H has ompat, geodesially onvex sublevel sets, sine both ϕ t u ) and {u k } k N are restrited to the level set M Hu ) = {p M Hp) = Hu )} and hene lie in the sublevel set N Hu ) = {p M Hp) Hu )}. 5 Examples and numerial results We test our methods on two different variants of the lassial spin system, whose solution evolves on the d-fold produt of two-spheres, S 2 ) d, ds i dt = s i H S, s i S 2 2, i =,...,d, H F ) d ). 5.) s i The Riemannian metri g on S 2 ) d restrits to the so-alled round metri on eah opy of the sphere. This metri oinides with the Eulidean inner produt on the tangent planes of eah of the spheres. Geometri integrators for suh systems are disussed widely in the literature, see e.g. [2, 2, 22, 23] and referenes therein. We study one or more bodies whose orientation is represented by a vetor s i of unit length in R 3, so that s i lies on the manifold M = S 2 = { s R 3 : s = }. Here and in what follows, denotes the 2-norm. Starting with d =, our hoie of retration φ is given by its restrition to p, φ p x) = p + x, p + x 5.2) with the inverse φ p u) = u p T u p defined when p T u >. We note that p T x = for all x T p S 2. The tangent map of the retration and its inverse are given by ) p + x) p + x) T x φ p = I p + x, T p + x 2 u φ p = p T I u p ) u p T, 5.3) u where denotes the outer produt 2 of the vetors. For d >, we use the retration defined by Φ p x) = φ p x i ),...,φ pd x d )), where eah φ pi x i ) is given by 5.2). 2 If x and y are in R 3, x y is the matrix-matrix produt of x taken as a 3 matrix and y taken as a 3 matrix.

11 5. Example : Perturbed spinning top We onsider first a nonlinear perturbation of a spinning top, see [22]. This is a spin system with one spin s. Given the inertia tensor I = diagi,i 2,I 3 ), and denoting by s 2 the omponent-wise square of s, we an define the Hamiltonian as The ODE system an be written in the form Hs) = 2 I s) T s s2 ). ds = Ωs)gradHs), Ωs) = ŝ, dt using the hat operator defined by ŝy = s y. We approximate this system numerially, testing the sheme 2.6)-2.7) with different disrete Riemannian gradients: the AVF 2.8), the midpoint 2.9), the Itoh Abe 2.) and its symmetrized version 3.6). For the three symmetri methods, we have hosen s, s) = s+ s s+ s, so that φ s) = φ s). Using that gradhs) = I s + s 2 ) and onsidering the transpose of T γξ φ from 5.3), the AVF DRG beomes grad AVF Hs, s) = = l ξ l ξ I l ) ξ l ξ l ξ 2 I φ γ ξ ) + φ γ ξ ) 2 )dξ I φ γ ξ ) + φ γ ξ ) 2) φ γ ξ ) T I φ γ ξ ) + φ γ ξ ) 2) φ γ ξ ) ) dξ, with γ ξ = ξ)φ s) + ξφ s) = 2ξ)φ s) and l ξ = + γ ξ. Similarly, the midpoint DRG beomes grad MP Hs, s) = I s + s + 2 s 2 + s s + s 2)) 2 + s + ) s 2 2 s + s 3 s s 2 H s) Hs)) s s), where we have used that g s, s) = s T s = for all s S 2. To obtain the basis of T M for the definition of the Itoh Abe DRG, we have used the singular-value deomposition. For the first order sheme, noting that φ s s) =, we hoose s, s) = s, and get α j = φ s s) T E j, for j =,2. Then the DRG 2.) an be written as grad IA Hs, s) = H φ s φ s s) T )) E E Hs) φ s s) T E E + H s) H φs φ s s) T )) E E φ s s) T E ) E 2 We solve the same problem using the 4th, 6th and 8th order variants of the olloation-like sheme 3.2)-3.4). Choosing in the 4th order ase the Gaussian nodes,2 = as olloation points and setting s, s) = s, we get the nonlinear system S = h φ s 2 T S φ s Ω grad H ) ) T S2 φ s Ω2 3 grad 2 H ) ), ) ) 3 S 2 = h φ s 2 + s = h φ s TS φ s 3 T S φ s Ω grad H ) + 2 T S 2 φ s Ω2 grad 2 H ) Ω grad H ) + T S2 φ s Ω2 grad 2 H )),,

12 -2 Norm of error Step size AVF MP IA SIA Comp-2 Norm of error Step size Coll-4 Coll-6 Coll-8 Comp-SIA Comp-4 Figure : Error norm at t = for the perturbed spinning top problem solved with different shemes, plotted with blak, dashed referene lines of order, 2, 4, 6 and 8. Initial ondition s =,,)/ 3 and I = diag,2,4). Left: The AVF, midpoint MP), Itoh Abe IA) and symmetrized Itoh Abe SIA) DRGs and a 3-stage omposition of the IA DRG sheme Comp-2). Right: Colloation-type shemes of order 4, 6 and 8, a 3-stage omposition of the SIA DRG sheme Comp-SIA), and a 6-stage omposition of the IA DRG sheme Comp-4). where σξh) = ) 3 φ s S ) ) ) ) 3 φ s S 2 ) ξ φ s S 2 ) 3 + ) ) 3 φ s S ) ξ 2 and we use the transposes of 5.3) and gradhs) = I s + s 2 ) in the evaluation of grad H and grad 2 H. The 6th and 8th order shemes are derived in a similar manner, using the standard Gaussian nodes. A seond order sheme is derived by omposing the Itoh Abe DRG method with its adjoint, and a 4th order sheme is obtained by omposing this method again with itself, as well as one by omposition of the symmetrized Itoh Abe DRG method with itself. In all stages of these omposition methods, a symmetri u, v) is used. Plots onfirming the order of all methods an be seen in Figure, where solutions using the different shemes are ompared to a referene solution obtained using a very small step size. See the left hand panel of Figure 2 for numerial onfirmation that our methods do indeed preserve the energy to mahine preision, while the impliit midpoint method does not. In the right hand panel of Figure 2, the solution obtained by the Itoh Abe DRG sheme with a step size h = is plotted together with a solution obtained using the symmetrized Itoh Abe DRG method with a muh smaller time step. We observe, as expeted for a method that onserves both the energy and the angular momentum, that the solution stays on the trajetories of the exat solution, although not neessarily at the right plae on the trajetory at any given time. 2

13 -5.5 Energy error - AVF MP IA IMP Time Figure 2: Left: Energy error with inreasing time for the AVF, midpoint MP) and Itoh Abe IA) DRG methods, as well as the impliit midpoint IMP) method, with step size h =, initial ondition s =,,)/ 3 and I = diag,2,4). Right: Curves of onstant energy on the sphere, found by our method with different starting values. The blak solid line is the solution using the symmetrized Itoh Abe DRG method with step size h =., while the red dots are the solutions obtained by the Itoh Abe DRG method with step size h =. 5.2 Example 2: Heisenberg spin hain We now onsider the Heisenberg spin hain of miromagnetis. This problem is onsidered in [2, 23], where different geometri integrators are tested. Here, s S 2)d, and the Hamiltonian is Hs) = d s T i s i, 5.5) with s = s d and s d+ = s. The system 5.) beomes, for this Hamiltonian, and an be written in the blok form i= ds i dt = ŝ i s i + s i+ ), i =,...,d, ds dt = Ωs)gradHs), where Ωs) = diagŝ,..., ŝ d ). 5.6) For suh a d-partile system, we may write the DRGs as gradhs, s) = grad Hs, s),...,grad d ) Hs, s), where we note that grad i Hs, s) is a disrete approximation to H s i. We thus get the AVF DRG 3

14 defined by grad i AVF Hs, s) = = l i,ξ l i,ξ I l ) i,ξ l i,ξ l i,ξ φi 2 γ i,ξ) + φ γ i+ i+,ξ) ) dξ φ i γ i,ξ ) + φ i+ γ i+,ξ ) l T i,ξ φi γ i,ξ) + φ γ i+ i+,ξ) ) ) l i,ξ dξ, with γ i,ξ = 2ξ)φ i s i ) and l i,ξ = i + γ i,ξ. For the midpoint DRG we get grad i MP Hs, s) = i + i+ + H s) Hs) gradhs, s))t η η T η i, η where η = η,...,η d ) and η i = 2φ i s i ). In the numerial experiments, however, we have used a small modifiation of this, grad i MMP Hs, s) = i + i+ + st i s i s i T s i i + i+ ) T η i η i T η i η i. This DRG, whih does indeed satisfy 2.4)-2.5), leads to a more omputationally effiient sheme than the original midpoint DRG. Eah grad i IAHs, s) in the Itoh Abe DRG is found as in the previous example, by 5.4). Higher order shemes are also derived in the same manner as before. We test our shemes by omparing the numerial solutions with the exat solution s j t) = a osθ j + ã sinθ j )osφ + ā sinφ, θ j = j p 2 os p)sinφ, for a hoie of onstants φ, p R and orthogonal unit vetors a, ã, ā R 3, see [2]. Order plots for the methods are provided in Figure 3, using d = 5, φ = π/3, p = 2π/d, a =,2, )/ 6, ã = 2,,4)/ 2 and ā = a ã. All shemes are shown to have the expeted order. 6 Conlusions and further work We have presented a general framework for onstruting energy preserving numerial integrators on Riemannian manifolds. The main tool is to generalize the notion of disrete gradients as known from the literature. The new methods make use of an approximation to the Riemannian gradient oined the disrete Riemannian gradient, as well as a retration map and a oordinate enter funtion. An appealing feature of the new methods is that they do not depend on a partiular hoie of loal oordinates or on an embedding of the manifold into a larger) Eulidean spae, but are of an intrinsi nature. Partiular examples of disrete Riemannian gradient methods are given as generalizations of well-known shemes, suh as the average vetor field method, the midpoint disrete gradient method and the Itoh Abe method. Extensions to higher order are proposed via a olloation-like method. We have analysed the loal and global error behaviour of the methods, and they have been implemented and tested for ertain spin systems where the phase spae is S 2)d. 4

15 Norm of error AVF MMP IA SIA Comp-2 Norm of error Coll-4 Coll-6 Coll-8 Comp-SIA Comp Step size - Step size Figure 3: Error norm at t = for the Heisenberg spin hain problem solved with different shemes, plotted with blak, dashed referene lines of order, 2, 4, 6 and 8. Left: The AVF, modified midpoint MMP), Itoh Abe IA) and symmetrized Itoh Abe SIA) DRGs and a 3-stage omposition of the IA DRG sheme Comp-2). Right: Colloation-type shemes of order 4, 6 and 8, a 3-stage omposition of the SIA DRG sheme Comp-SIA), and a 6-stage omposition of the IA DRG sheme Comp-4). Possible diretions for future researh inlude a more detailed study of the stability and propagation of errors, taking into aount partiular features of the Riemannian manifold; for instane, it may be expeted that the setional urvature will play an important role. More examples should also be tried out, and we belive, inspired by [3], that there is a potential for making our implementations more effiient by tailoring them for the partiular manifold, as well as the ODE problem onsidered. Referenes [] O. Gonzalez, Time integration and disrete Hamiltonian systems, J. Nonlinear Si., vol. 6, no. 5, pp , 996. [2] R. I. MLahlan, G. R. W. Quispel, and N. Robidoux, Geometri integration using disrete gradients, R. So. Lond. Philos. Trans. Ser. A Math. Phys. Eng. Si., vol. 357, no. 754, pp. 2 45, 999. [3] P. E. Crouh and R. Grossman, Numerial integration of ordinary differential equations on manifolds, Journal of Nonlinear Siene, vol. 3, no., pp. 33, 993. [4] H. Munthe-Kaas, Lie Buther theory for Runge Kutta methods, BIT Numerial Mathematis, vol. 35, no. 4, pp ,

16 [5] H. Munthe-Kaas, Runge Kutta methods on Lie groups, BIT Numerial Mathematis, vol. 38, no., pp. 92, 998. [6] A. Iserles, H. Z. Munthe-Kaas, S. P. Nørsett, and A. Zanna, Lie-group methods, Ata Numeria, vol. 9, pp , 2. [7] E. Celledoni, H. Marthinsen, and B. Owren, An introdution to Lie group integrators basis, new developments and appliations, Journal of Computational Physis, vol. 257, pp. 4 6, 24. [8] H. Z. Munthe-Kaas and A. Lundervold, On post-lie algebras, Lie Buther series and moving frames, Found. Comput. Math., vol. 3, no. 4, pp , 23. [9] B. Leimkuhler and G. W. Patrik, A sympleti integrator for Riemannian manifolds, Journal of Nonlinear Siene, vol. 6, no. 4, pp , 996. [] E. Celledoni and B. Owren, Preserving first integrals with symmetri Lie group methods, Disrete Contin. Dyn. Syst., vol. 34, no. 3, pp , 24. [] E. Hairer, Energy-preserving variant of olloation methods, JNAIAM. J. Numer. Anal. Ind. Appl. Math., vol. 5, no. -2, pp , 2. [2] R. L. Adler, J.-P. Dedieu, J. Y. Margulies, M. Martens, and M. Shub, Newton s method on Riemannian manifolds and a geometri model for the human spine, IMA Journal of Numerial Analysis, vol. 22, no. 3, pp , 22. [3] E. Celledoni, S. Eidnes, B. Owren, and T. Ringholm, Dissipative shemes on Riemannian manifolds, arxiv preprint, arxiv:84.84, 28. [4] A. Harten, P. D. Lax, and B. van Leer, On upstream differening and Godunov-type shemes for hyperboli onservation laws, SIAM Rev., vol. 25, no., pp. 35 6, 983. [5] G. Quispel and D. MLaren, A new lass of energy-preserving numerial integration methods, J. of Phys. A: Math. and Theor., vol. 4, no. 4, pp. 4526, 7, 28. [6] T. Itoh and K. Abe, Hamiltonian-onserving disrete anonial equations based on variational differene quotients, Journal of Computational Physis, vol. 76, no., pp. 85 2, 988. [7] L. Brugnano, F. Iavernaro, and D. Trigiante, Hamiltonian boundary value methods energy preserving disrete line integral methods), J. Numer. Anal. Ind. Appl. Math, vol. 5, no., pp. 7 37, 2. [8] D. Cohen and E. Hairer, Linear energy-preserving integrators for Poisson systems, BIT Numerial Mathematis, vol. 5, no., pp. 9, 2. [9] M. Kunzinger, H. Shihl, R. Steinbauer, and J. A. Vikers, Global Gronwall estimates for integral urves on Riemannian manifolds, Rev. Mat. Complut., vol. 9, no., pp , 26. 6

17 [2] J. Frank, W. Huang, and B. Leimkuhler, Geometri integrators for lassial spin systems, Journal of Computational Physis, vol. 33, no., pp. 6 72, 997. [2] D. Lewis and N. Nigam, Geometri integration on spheres and some interesting appliations, Journal of Computational and Applied Mathematis, vol. 5, no., pp. 4 7, 23. [22] R. I. MLahlan, K. Modin, and O. Verdier, Sympleti integrators for spin systems, Physial Review E, vol. 89, no. 6, p. 63, 24. [23] R. MLahlan, K. Modin, and O. Verdier, A minimal-variable sympleti integrator on spheres, Mathematis of Computation, vol. 86, no. 37, pp , 27. 7