Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
You have accessResearch articles

Manifestation of the Berry curvature in geophysical ray tracing

N. Perez

N. Perez

Univ. Lyon, ENS de Lyon, Univ. Claude Bernard, CNRS, Laboratoire de Physique (UMR CNRS 5672), 69342 Lyon, France

[email protected]

Google Scholar

Find this author on PubMed

,
P. Delplace

P. Delplace

Univ. Lyon, ENS de Lyon, Univ. Claude Bernard, CNRS, Laboratoire de Physique (UMR CNRS 5672), 69342 Lyon, France

Google Scholar

Find this author on PubMed

and
A. Venaille

A. Venaille

Univ. Lyon, ENS de Lyon, Univ. Claude Bernard, CNRS, Laboratoire de Physique (UMR CNRS 5672), 69342 Lyon, France

Google Scholar

Find this author on PubMed

    Abstract

    Geometrical phases, such as the Berry phase, have proven to be powerful concepts to understand numerous physical phenomena, from the precession of the Foucault pendulum to the quantum Hall effect and the existence of topological insulators. The Berry phase is generated by a quantity named the Berry curvature, which describes the local geometry of wave polarization relations and is known to appear in the equations of motion of multi-component wave packets. Such a geometrical contribution in ray propagation of vectorial fields has been observed in condensed matter, optics and cold atom physics. Here, we use a variational method with a vectorial Wentzel–Kramers–Brillouin ansatz to derive ray- tracing equations for geophysical waves and to reveal the contribution of the Berry curvature. We detail the case of shallow-water wave packets and propose a new interpretation of their oscillating motion around the equator. Our result shows a mismatch with the textbook scalar approach for ray tracing, by predicting a larger eastward velocity for Poincaré wave packets. This work enlightens the role of the geometry of wave polarization in various geophysical and astrophysical fluid waves, beyond the shallow-water model.

    1. Introduction

    The concept of a geometric phase provides a unified framework to interpret physical phenomena as diverse as the Foucault pendulum experiment [1] or the Aharonov–Bohm effect [2]. It arises in virtually all fields of physics, including geophysical systems [35]. These geometrical phases are the manifestation of an underlying geometrical property of the system, called the curvature F, such that the phase ϕ is formally related to it by an integral formula over a surface as ϕ=(1/2π)FdS.

    For instance, for the Foucault pendulum, the geometrical phase corresponds to its precession angle, called the Hannay angle, that results from the Earth’s curvature. Here, we are concerned with multi-component wave problems which generate a more abstract curvature, called the Berry curvature. Such a curvature encodes the polarization relations between the different wave components in parameter space. Although it was originally proposed in quantum physics [2], the emergence of a Berry curvature only requires the existence of several wave bands: each band n is then characterized by a Berry curvature F(n). As such, it appears naturally in multi-component wave problems, from quantum condensed matter systems [6,7] to classical waves in optics [8,9], plasma physics, mechanics [10,11] and hydrodynamics [12,13]. A direct physical manifestation of the Berry curvature itself—rather than the phase it is related to—arises in ray-tracing experiments: simply put, the Berry curvature is a correction of the group velocity that bends ray trajectories [6,14]. This correction was measured in condensed matter [15,16], cold atom set-ups [17] and photonic quantum walks [18]. Although geophysical flows gather all the ingredients for a Berry curvature to emerge, it has up to now not been established how this curvature arises in geophysical ray tracing. This is the purpose of the present article.

    Previous works have shown that inertia-gravity wave (or Poincaré wave) bands of the rotating shallow-water model admit a non-zero Berry curvature [12]. This is therefore a natural starting point to address possible deviations of ray trajectories, which we derive using a variational principle inspired by quantum mechanics [14,19]. More generally, we propose a consistent framework to reconsider the ray-tracing problem in a large class of multi-component geophysical flow models, building upon previous results on vectorial elliptical linear systems [2022]. This new approach emphasizes the role of Berry curvature effects that were up to now overlooked in geophysics.

    To be more specific, we consider the dynamics of a wave packet in a medium characterized by a length ℓ, varying spatially over a typical distance L. To fix the ideas, we will consider as our main example shallow-water wave packets evolving in a fluid layer. In that case ℓ is called the Rossby radius of deformation, which is inversely proportional to the rotation rate of the frame of reference [23].

    The wave packet has a mean wavelength λ and is modulated by an envelope of typical size Λ > λ. We assume that the extension of the wave’s envelope Λ is much smaller than the typical distance L depicting the medium’s variations (λ, Λ ≪ L). This amounts to assuming that the solution is localized regarding the scale of the medium’s variations, thus allowing one to project the packet onto a plane-wave solution with wavelength λ and local ℓ as parameters. We restrict ourselves to cases where the medium’s properties enter the dispersion relation at lowest order, which, in the family of models considered in this paper, adds up to assuming ℓ ∼ λ. To sum up, the lengths describing the problem and its wave packet solution are organized as follows:

    λ<ΛL. 1.1

    The usual way to derive ray-tracing equations in geophysics is using a Wentzel–Kramers–Brillouin (WKB) ansatz [2426] under scaling conditions such as (1.1). At the scale of the wavelength, the medium is approximately homogeneous and steady, which can be quantified by the introduction of a small dimensionless parameter, say ε = λ/L. This scale separation justifies the use of a WKB ansatz for a solution described by a scalar field v,

    v(r,t)=ei[(Φ0/ε)+Φ1+O(ε)]. 1.2
    Along with slowly varying (in time and space) functions Φi of order 1, expression (1.2) corresponds to the idea of a plane wave modulated by an envelope of finite size, with an identifiable mean wavevector. In geophysics, a WKB ansatz is indeed generally injected in a scalar equation as if the problem were entirely defined by one scalar equation and a sufficient number of boundary conditions [23,25,26]. Nevertheless, what about the models that are not well defined by and reducible to just one equation, even of higher order, and rather by a set of coupled wave equations with distinct coefficients? Such a set of equations can be rewritten as one with a multi-component field, as will be illustrated in the following, which makes the WKB approximation more complex. Indeed a multi-component mode is characterized by both the dispersion and the polarization relations, the latter relating the different component fields between each other, all depending on the wavevector and the medium’s parameters. Therefore, as the wave packet moves through the slowly varying medium, its polarization relations change accordingly as the ray coordinates (r, k) evolve. As a consequence, we expect a footprint of the corresponding Berry curvature in the ray dynamics of multi-component geophysical wave problems.

    The shallow-water model with Coriolis parameter f varying with meridional coordinate y is a classical three-component wave model that cannot be reduced to one scalar equation. It will be used as the key example throughout this paper. A scalar equation for the meridional component of the velocity field v(x, y, t) alone can be derived (see §4.c), then one can inject ansatz (1.2) into this scalar equation in order to infer an approximate WKB solution for v and find the corresponding relations for the phase functions at different orders. The results obtained via this approach for ray tracing can be found in various articles such as [2729] and textbooks [23,30], and are recalled in §4.c. However, the technique suffers from two difficulties.

    First, the field v alone is not sufficient to fully characterize the energy propagation. Indeed, the two other fields involved in the shallow-water dynamics do not satisfy the same wave equation as v when the Coriolis parameter is not homogeneous. Instead, they are both coupled to the field v. This leads to inconsistent WKB ansatzes for the different fields of the problem, as noted by Godin [4] in the context of compressible stratified waves. In fact, keeping just a single scalar wave equation amounts to only considering the dispersion relation and losing all the information on the polarization relations between the fields. In other words, the scalar approach misses any geometrical effect related to the polarization relations of the eigenmodes, which is an essential feature in the presence of inhomogeneity. Thereby the geometrical nature of the problem must be accounted for.

    Second, and just as importantly, we find that the usual textbook derivation of ray-tracing equations from a scalar equation involves a contradictory hypothesis on the scale of variation of the Coriolis parameter: keeping the variations of the Coriolis parameter at leading order of the WKB expansion (which is the dispersion relation that normally accounts for the homogeneous parameters) amounts to assuming that it varies considerably over a distance λ (typically a few kilometres for geophysical shallow-water waves on Earth), whereas it does vary over a scale L that is much greater than λ (L is typically 1000 km on Earth). We show that it is therefore necessary to reconsider the order of magnitude of a small parameter characterizing the inhomogeneity of the medium in order to properly derive ray-tracing equations at order 1 in this small parameter.

    The issue of solving multi-component differential systems has long been addressed in applied mathematics [20,21,31,32]. This has been related to the existence of geometric phases in the vectorial WKB solutions of multi-component wave problems [3,4,22,33,34]. However, the role of Berry curvature in ray tracing—which is a simpler problem because it does not aim at computing precisely the evolution of the phase—has not been shown in the geophysical context. The purpose of the present work is to rectify the situation.

    The paper is organized as follows. In §2., we introduce the shallow-water model and its notations, the dimensionless parameters characterizing it and the spectral properties of the homogeneous problem, which are necessary to construct a wave packet solution for the slowly varying medium. Then in §3., we present a multi-component ansatz and a variational formulation of the problem, accounting for the different orders of the problem in a more consistent way and leading to the set of ray-tracing equations. We show that the ray motion of inertia-gravity waves involves the Berry curvature and, as a by-product, we report a direct analogy between the behaviour of inertia-gravity wave rays on β-plane Earth and the anomalous Hall effect [6,35]. Finally, in §4., we compare the result with the traditional scalar WKB approach for ray tracing.

    2. Formulation of the problem for shallow-water waves

    To illustrate the general issue of ray tracing for multi-component wave problems in a geophysical setting, we propose to treat in this section the particular case of energy propagation through surface waves described by the shallow-water model, keeping in mind that the results presented in §3. have a more general extent.

    (a) The linearized rotating shallow-water model

    Let us consider the shallow-water model in planar geometry, describing a thin layer of fluid with homogeneous density in the presence of gravity (figure 1). It is a bidimensional model, so the position reads rxe^x+ye^y and we write the planar velocity field uue^x+ve^y. For the sake of simplicity, we focus on the case of a flat bottom, with a constant phase speed denoted c for surface waves. We consider a version of the model linearized around a state at rest u ≡ 0 in the rotating frame of reference. We also use here the traditional approximation that consists in only considering the components of the Coriolis force in the horizontal plane, through the Coriolis parameter f, which is twice the projection of the planet’s angular velocity vector on the local plane’s vertical axis (figure 1). All fields, parameters and variables of the problem are non-dimensionalized with length λ and time λ/c. Then the shallow-water equations governing the dynamics of the perturbation fields of velocity u, v and elevation or geopotential η, all much smaller than 1 in amplitude, read

    tu=xη+f(y)v, 2.1a
    tv=yηf(y)u 2.1b
    andtη=xuyv. 2.1c
    Equations (2.1a) and (2.1b) are the projections of the linearized momentum conservation equation while (2.1c) comes from the conservation of mass. Note that the only varying parameter in this problem is the adimensionalized Coriolis parameter f, which is central because it breaks the time-reversal symmetry of equations (2.1) and opens a gap in their dispersion relation (figure 2). Equations (2.1) describe the free solutions of Laplace’s tidal equations, in Cartesian coordinates. The adimensionalized length
    =1|f| 2.2
    is the Rossby radius of deformation, and the gradient of f with latitude is usually denoted by β.
    Figure 1.

    Figure 1. (a) The shallow-water model describes wave propagation on the free surface of a thin layer of homogeneous fluid, whose total elevation is a function of time and position and reads h ≡ H(1 + η). The mean depth H must be much smaller than the typical horizontal variation scales, i.e. H ≪ λ with λ the typical horizontal wavelength. In that case c=gH. (b) Planar approximation: the model is applied to a flow domain that takes place on a locally tangent plane on the planet, with local vertical basis vector n^—with Ω the rotation vector of the Earth, the Coriolis parameter is defined as f=2Ωn^. (Online version in colour.)

    Figure 2.

    Figure 2. Plot of the dispersion relation of the f-plane shallow-water equations for the three bands (indexed by n = −1, 0, + 1). The gap between them equals |f|. The colour bar shows the value of the component Fkxky of the Berry curvature, defined in equation (2.11), as a function of k and for a fixed positive value of f, for each band. (Online version in colour.)

    (b) Dimensionless parameters of the problem and slow variables

    We consider the problem of a shallow-water wave packet evolving in a medium with a varying Coriolis parameter. The dynamics is given by the linear rotating shallow-water equations (2.1) and a typical initial condition as depicted by relations (1.1). The problem involves four length scales, and admits therefore three non-dimensional parameters,

    f,ελLandαλΛ. 2.3
    Let us comment on each of them:

    f ∼ 1 is a function of the slow variable Y ≡ εy, varying over a typical scale Y ∼ 1. We indiscriminately write f as a function of y or Y, as the case may be.

    ε ≪ 1 is the inverse of the adimensionalized typical length for the Coriolis parameter’s variation with latitude. It is the control parameter in the WKB expansion. The contribution of the Berry curvature to ray-tracing equations arises as a correction of order ε, as will be shown in §3.

    α1 reflects the ratio between the wavelength and the spatial extension of the packet. For the wave packet to behave as a plane wave at leading order, its envelope’s extension must be at least a few times the wavelength, and thus α must be smaller than 1. The ratio ε/α = Λ/L appears as a small control parameter that guarantees that the medium is quasi-homogeneous at the scale of the wave packet. Therefore, α must not be too small (i.e. of the order of ε), otherwise this localized wave packet picture fails.

    We propose to organize these parameters according to the set of inequalities εα21 to derive ray-tracing equations, together with f(Y) ∼ 1. This last choice guarantees that rotation enters at lowest order in the wave dispersion relation. The reason for the scaling ε ≪ α2 will be clarified in §3.a.

    Consequently, we suppose that the phase functions are natural functions of the slow variables

    (X,Y,T)(R,T)(εx,εy,εt), 2.4
    whereas the amplitude function is by definition a natural function of the variables
    (X,Y,T)(R,T)(αx,αy,αt). 2.5
    Therefore, the existence of these two parameters describing the solution leads to a multiscale characterization of the ansatz. In the following, we sometimes use instead the derivation operators with respect to these coordinates, namely
    R(X,Y)andR(X,Y). 2.6
    Introducing these notations does not mean that we aim at computing the evolution of the wave packet’s phase, which is not relevant in this ray-tracing context. Our assumptions, however, allow us to treat the variation of the Coriolis parameter as a perturbation—as it should be, considering its order of magnitude—that will enter ray-tracing equations at lower order. As explained in the Introduction, we need such geometric tools as the Berry curvature and a vectorial WKB ansatz in order to address this perturbation correctly regarding the multi-component nature of shallow-water waves.

    (c) Spectral and geometrical features of waves in the f-plane model

    Following [26], in order to construct the wave packet solution for waves in a slowly varying medium we must first and foremost derive the plane-wave solutions supported by the translationally invariant medium. Equations (2.1) can be rewritten in a more compact Schrödinger-like equation

    (itH^(r,))ψ(r,t)=0, 2.7
    withH^(r,)(0if(y)ixif(y)0iyixiy0),ψ(r,t)(uvη), 2.8
    where H^(r,) is a linear differential operator and ψ(r, t) is a three-component vector field, called wave function hereafter.

    It is instructive to consider the simplest possible case where the Coriolis parameter does not vary in space, the celebrated f-plane approximation (figure 1), originally studied by Kelvin [36]. Plane-wave solutions are then allowed and written in the form ψ(r, t) = ei(k·rωt) Uk,ω. The problem (2.7) boils down to a matricial equation

    H[f,k]Uk,ω=ωUk,ω,withH[f,k](0ifkxif0kykxky0), 2.9
    where Uk,ω(u^k,ωv^k,ωη^k,ω)tC3 is the vector of Fourier transforms and k ≡ (kx, ky). Normalized eigenmodes and eigenvalues of this problem are denoted, respectively, ωn[f, k] and Un[f, k], with n ∈ { − 1, 0, 1} for the shallow-water model. In this particular case, one gets
    ω0=0,ω±1=±f2+k2. 2.10
    The first wave is known as the geostrophic mode and the second as the inertia-gravity or Poincaré wave. The dispersion relation is depicted in figure 2. Polarization relations of the waves are given by the eigenmodes Un[f, k], which are provided in appendix A.

    The normalized eigenmodes Un are parameterized over a base space (f, kx, ky). At each point of this base space, each vector Un is defined up to a phase, which defines a complex eigenspace of dimension 1. The continuous family of such parametrized eigenspaces over (f, kx, ky) defines a fibre bundle, or eigenbundle, which owns specific geometric properties, whose repercussions for the wave packet dynamics is the central motivation of this work. Those properties can be quantified by the Berry curvature, defined as

    Fλμλν(n)=i(UnλμUnλνUnλνUnλμ), 2.11
    where the λμ are the coordinates of the base space, e.g. λ ≡ (f, kx, ky) here. Importantly, this quantity is a gauge-invariant real-valued quantity: it does not depend on the phase choice for the eigenmodes Un. Qualitatively, it describes local twisting of these eigenmodes. It was computed for shallow-water waves in the f-plane, i.e. for a fixed value of f, in [12]. The value of Fkxky for f-plane waves is reproduced with the dispersion relation in figure 2.

    Let us now turn to a more general case of rotating shallow-water waves where f(r) varies spatially. It is useful to consider the symbol H[f(r), k], which in our case is formally defined by replacing in the operator H^(r,) of (2.8) by ik, as in equation (2.9) for shallow-water equations. Eigenmodes and eigenvalues of the symbol are just those of the f-plane problem. The study of symbols is at the heart of a mathematical framework called the Weyl calculus [31]. It provides a powerful tool to study wave problems in physics, starting from semi-classical analysis (e.g. [20,21,37]). The strong interest of this approach in geophysical wave transport has recently been advocated by Onuki [22]. We show in §3. how the Berry curvature emerges in this framework.

    3. Berry curvature in ray tracing of multi-component waves

    In this section, we derive ray-tracing equations by exploiting the equivalence between the Schrödinger-like equation (2.7) and a problem of functional optimization [14,19]. First, we introduce a vectorial ansatz for the wave packet, then we show that the Lagrangian describing its dynamics involves the Berry connection of the wave’s eigenspace. The results of this section are not specific to the shallow-water model, and can be applied to any other continuous multi-component wave system provided that the scaling discussed in §2.b is respected.

    (a) A ray-tracing method based on a variational principle for multi-component wave problems

    Our starting point to address the Schrödinger-like equation (2.7) is the following vectorial ansatz:

    ψ(r,t)=A(αr,αt)eiΦ(εr,εt)Un[f(εy),kc(εt)]. 3.1

    This ansatz corresponds to the initial condition discussed in the Introduction, which is a wave packet on band n with an adiabatically varying mean wavevector kc(T) and corresponding local eigenmode Un [f(Y), kc(T)], modulated by the envelope function A(X′, Y′, T′) (with the notations introduced in relations (2.4) and (2.5) for the variables X, Y, T, X′, Y′ and T′). Again, all functions in ansatz (3.1) can be written as a function of the slow or normal variables in the following, as the case may be. Both the slowly varying phase Φ(X, Y, T) and the envelope function A of the vectorial field are real-valued, contrary to the scalar ansatz (1.2), where the phase was given by ReΦ and the amplitude by exp(ImΦ), which is more convenient for the scalar method. We can expand Φ = Φ0/ε + Φ1 + · · ·, with all Φi of order 1, in a WKB framework, but we do not expand further than i = 1, all the geometrical effects of interest here being expected to appear at this order. One needs to eventually take the real part of the wave function (3.1) to find the actual solution of the fluid problem. It is however more convenient to work with the complex solutions throughout this paper.

    We aim at deriving the ray-tracing equations, meaning the equations of motion of the coordinates defining the wave packet: the position rc(t) and momentum kc(t) of its centre of mass, which we hereby define. It is convenient to use a bracket notation, although with non-normalized vectors. For instance, by definition of the canonical inner product of the Hilbert space L2(R2,C3),

    ψ(t)|ψ(t)dxdyψ(x,y,t)ψ(x,y,t)=d2rA(αr,αt)2, 3.2
    the adimensionalized mechanical energy of the perturbation reads
    E=12dxdy(|u(x,y,t)|2+|v(x,y,t)|2+|η(x,y,t)|2)=12ψ|ψ. 3.3
    The energy is a constant of motion since the operator H^ is Hermitian. Similarly, the position and momentum of the centre of the wave packet are defined with Hermitian operators as
    rcψ|r|ψψ|ψandkcψ|(i)|ψψ|ψ. 3.4
    The latter must be equal to the wavevector preassigned in ansatz (3.1). This consistency condition yields the following relation, shown in appendix B:
    kc(t)=RΦ0+ε(RΦ1iUnRUn)+O((εα)2), 3.5
    all the phase functions in relation (3.5) being evaluated at time t and position rc(t), eigenmode Un at [f(Yc(T)), kc(T)].

    Solving equation (2.7) is equivalent to the variational problem of finding the function ψ′ (r, t) optimizing the action integrated from the following Lagrangian [14,19]:

    L[ψ]ψ|(itH^(r,))|ψψ|ψ. 3.6
    The solution of the variational problem (3.6) directly gives a solution of equation (2.7), differing by a time-dependent phase that does not change any of the observables defined by relations (3.3) and (3.4) [19].

    This variational approach is convenient for ray tracing because the Lagrangian L defined by expression (3.6) depends only on the variables of centre of mass rc and kc and their time derivatives at lowest orders (see appendix B for the detailed derivation),

    L=r˙ckc+r˙ciUnUnrc+k˙ciUnUnkcΩ(n)(rc,kc)ddtχ(t)+O((εα)2), 3.7
    with the notations X˙dX/dt and
    Un(rc,kc)Un[f(rc),kc]andΩ(n)(rc,kc)ψ|H^|ψψ|ψ+O((εα)2), 3.8
    where |ψ〉 is the wave function and index n indicates the band over which the packet is defined, as written in expression (3.1). In other words, defining the reduced Lagrangian as
    L(rc,kc,r˙c,k˙c)r˙ckc+r˙ciUnUnrc+k˙ciUnUnkcΩ(n)(rc,kc), 3.9
    the difference between functionals L and L adds up to second-order terms and the exact time derivative of a function χ(t) that can be removed, as it does not affect the solutions of the variational problem (see appendix B).

    We recognize in expression (3.9) for L the Berry connection iUndUn of the nth eigenmode’s bundle parametrized over the ray phase space (rc, kc) as the base space (see §2.c), with

    r˙ciUnUnrc+k˙ciUnUnkc=iUndUndt. 3.10
    We explain in §3b the relation between this function and the Berry curvature introduced in §2. This quantity connects Un (rc + drc, kc + dkc) to Un (rc, kc), thus providing a footprint of the vectorial polarization relations in the ray trajectory in phase space. If the connection were null we would recover the simple form L=r˙ckcΩ(n)(rc,kc) and simply identify observables rc, kc and Ω(n)—defined in equations (3.4) and (3.8)—to the generalized position, momentum1 and Hamiltonian2 of classical analytical mechanics, respectively. Such a trivial case would occur for instance in a one-band system or, more generally, in the case of a band with topologically flat eigenbundles: all Berry connections, of the form iUnUn/q as appearing in expression (3.10), are null in that situation.

    Expression (3.9) justifies the interest of this variational principle altogether with the approximation of a wave packet in a slowly varying medium: the dynamics of such a solution can be reduced to that of its coordinates of the centre of mass. The results of this section do not depend on the choice of ansatz (3.1), as long as the scaling εα21, introduced in §2.b, is respected. More precisely, the reduced Lagrangian L defined in equation (3.9) and the full Lagrangian L defined in equation (3.6) are equal up to order ε in the regime (ε/α)2 ≪ ε ≪ 1.

    (b) Ray-tracing equations and the Berry curvature

    The coordinates of the wave packet in phase space, rc(t) and kc(t), are the generalized coordinates of the system whose Lagrangian L is defined by equation (3.9), and their time derivatives are the generalized velocities. Cancelling the lowest-order variations of the action integrated from L yields the Euler–Lagrange equations,

    Lq=ddt(Lq˙), 3.11
    where q is any of the rc or kc components. Coordinates x and y will be denoted by Greek letters μ or ν for Einstein tensorial notations in the following. The Berry connection arising in expression (3.9) results in the conjugated momentum of rc being equal to kc plus an additional geometric term related to the Berry connection,
    Lr˙c=kc+iUnUnrcandLk˙c=iUnUnkc, 3.12
    for the conjugated momentum of kc. Deriving expression (3.9) and injecting expressions (3.12) in the Euler–Lagrange equations (3.11) finally yields, with q = kc and q = rc, respectively,
    r˙μc=+Ω(n)kμcFkμcrνc(n)r˙νcFkμckνc(n)k˙νc 3.13a
    and
    k˙μc=Ω(n)rμc+Frμcrνc(n)r˙νc+Frμckνc(n)k˙νc. 3.13b
    The Berry curvature tensor F(n) is defined as in equation (2.11), with λμ{xc,yc,kxc,kyc} for the shallow-water model, choosing the phase-space coordinates to parametrize the eigenmodes Un(λ) ≡ Un(rc, kc) of the symbol H(λ) ≡ H[f(rc), kc], with eigenvalue ωn(rc, kc) ≡ ωn[f(rc), kc]. Since Un is normalized for every (rc, kc), the Berry connection iUndUn has real coefficients.

    As shown in [2], the Berry curvature of the nth wave bundle defined in equation (2.11) can be expressed with off-diagonal elements of the symbol’s derivatives,

    Fλμλν(n)=2Im(mnUn(H/λμ)UmUm(H/λν)Un(ωnωm)2)(Berry curvature). 3.14
    As for Ω(n), defined by relation (3.8), we show the following expression in appendix B:
    Ω(n)ωn=Im(mnUn(H/rμc)UmUm(H/kμc)Unωnωm)(gradient correction). 3.15
    The gradient correction Ω(n) − ωn comes from the spatial variations of the medium’s parameters: it is a dynamical quantity. Conversely, the curvature F(n) as expressed in expressions (2.11) or (3.14) only depends on the choice made to parametrize the manifold over which the eigenmodes are defined: it is a purely geometric quantity. As a by-product, Ω(n) − ωn is exactly null for the homogeneous problem, contrary to the Berry curvature F(n). Both the ray Hamiltonian and the Berry curvature corrections in (3.13) are of order ε at best; therefore, we recover the classical scalar ray-tracing equations r˙c=ωn/kc and k˙c=ωn/rc at leading order, with ωn given by the dispersion relation.

    Expressions (3.14) and (3.15) give, respectively, the curvature and the ray Hamiltonian with interband terms m ≠ n, showing that the corrections are larger at points k where the band n is close to another one in frequency and vanish as the bands are separated in frequency.3 This effect is visible in figure 2 in the shallow-water case, with higher values of Fkxky when the triplet (f, kx, ky) becomes closer to the degeneracy point (0, 0, 0). We shall keep in mind that ωn, ωm, Ω(n), H, Un and Um in these relations are all functions of (rc, kc) = (xc, yc, kxc, kyc).

    The set of equations (3.13) is different from the ones obtained with the traditional scalar derivation (see §4.c) as it accounts for both the corrected ray Hamiltonian Ω(n) and the geometry of the wave packet’s polarization relations in ray phase space through the Berry curvature. Such a form of ray-tracing equations has already been derived for different purposes such as the study of the time-dependent Schrödinger equation in the adiabatic limit [19], the theory of Bohr–Sommerfeld quantization [37] and semiclassical analyses of wave packet trajectories in slowly perturbed crystals [6,14,40,41], optical lattices [18,42] and ultracold atoms [17]. Formal expressions for first-order corrections to transport equations in multi-component fluid wave problems with inhomogeneous media were proposed by Onuki [22], with concrete applications to shallow-water waves. However, the explicit contribution of the Berry curvature to ray-tracing equations has never been exhibited in astrophysical or geophysical fluid dynamics. Since a non-trivial Berry curvature has recently been reported in magnetized plasma [43] and compressible stratified fluids [13], we expect that geometrical corrections to ray-tracing equations will matter in those contexts. For now, we illustrate this effect by focusing on shallow-water wave rays with varying background rotation.

    4. Application to shallow-water wave packets

    (a) β-plane shallow-water waves

    As shown in §3., the ray equations of motions (3.13) require only the knowledge of the ray Hamiltonian Ω(n) (rc, kc) and the Berry curvature tensor F(n) (rc, kc), which is a 4-by-4 matrix in the particular case of shallow-water equations. In other words, with equations (3.13) we are dealing with a double correction to the usual ray-tracing equations. These additional terms appear at lowest order in the medium’s variations, since their expressions only involve space derivatives of the symbol H[f(rc), kc] and its eigenmodes. We will therefore only need gradient corrections of the Coriolis parameter to apply equations (3.13) to shallow-water wave rays. It is therefore useful to introduce a new quantity,

    β(y)df(y)dy=εdf(Y)dY. 4.1
    By definition β is of order ε. When β is assumed to be constant, we recover the β-plane approximation, usually exploited to model wave propagation in the equatorial area [12,2729,44,45]. Note that the ray Hamiltonian Ω(n) for shallow-water waves is exactly equal to ωn in the f-plane approximation (β = 0) but in that case the tensor F(n) is not null.

    Just like traditional ray-tracing methods (based on the eikonal equation [26,45] or another scalar equation [23,2730]), we just need to know the properties of the homogeneous (f-plane) system to infer the leading-order deviations arising from inhomogeneities (β-plane). The upgrade brought by the variational method presented in §3. is that it adds the f-plane polarization relations (hence the Berry curvature) to the dispersion relation of the wave, thus accounting for its vectorial character. Then from the homogeneous model’s eigenvalues ωn and eigenmodes Un, we just need to compute Ω(n), defined by expression (3.15), and F(n), defined by expression (3.14), and inject them into equations (3.13) to infer the trajectory of the corresponding wave packets (figure 3). We consider the shallow-water model’s different bands n: geostrophic waves n = 0 and Poincaré waves n = ±1. Since the shallow-water equations are time-invariant, the ray Hamiltonian Ω(n) (rc(t), kc(t)) is a ray-tracing constant of motion, which can be shown directly from the antisymmetry of equations (3.13).

    Figure 3.

    Figure 3. Simulation of an inertia-gravity wave packet in the Northern Hemisphere, computed with Dedalus [46]. The initial wavelength is 1, f0 = 3 is the Coriolis parameter at the middle ordinate of the frame, β = 0.6 and the simulation runs until t = 32. (a) The red dots are the position of the centre of mass rc(t) computed with the fields—from definition (3.4)—at regular steps of the simulation. (b) We zoom around the last position of the packet and compare the real trajectory (red dots) with the ones predicted, respectively, by the geometric ray-tracing equations (4.3) (red curve), scalar equations (4.9) (blue curve) and elementary ray-tracing equations (4.4) (green curve). Although the difference still appears small after t = 32, the geometric theory fits best the actual trajectory. (Online version in colour.)

    (b) Berry curvature contribution to eastward drift of inertia-gravity waves

    Let us now compute the drift of shallow-water vectorial wave packets induced by first-order corrections to ray-tracing equations, for the different bands n = −1, 0, 1 successively, by computing the observables Ω(n) and F(n).

    The connection iU0dU0 of the geostrophic band n = 0 is null everywhere, hence so is its Berry curvature F(0) (see appendix A). Therefore, only the dynamical correction remains in the set of equations of motion (3.13). Expression (3.15) with n = 0 yields

    Ω(0)(rc,kc)=βkxcf(yc)2+kc2, 4.2
    which is nothing more than the dispersion relation of quasi-geostrophic planetary or Rossby waves [23]. In that case the Berry curvature terms in equations (3.13) disappear and we simply retrieve Hamilton’s equations r˙c=Ω(0)/kc and k˙c=Ω(0)/rc, as if the equations of motion came from a scalar WKB ansatz: there is no geometrical effect for these wave rays; that is to say, one scalar field—for instance, the geostrophic streamfunction—contains all the information on the phase of the fields. Therefore, first-order corrections to the Rossby wave ray dynamics only involve a corrected dynamical phase.

    As for the higher-frequency Poincaré wave bands n = ±1, we can straightforwardly infer the properties of the one from the other: since the fields are real, a wave at +k on band +1 must behave as a wave at −k on band −1, which corresponds to the particle-hole-like symmetry (ω, k) → ( − ω, − k), because a real inertia-gravity wave packet is a combination of the two.4 Keeping that in mind we will work with n = +1 only. Expressions of F(±1) and Ω(±1) are, respectively, given in appendices A and B.

    All terms combined, equations (3.13) finally add up to

    x˙c=kxcf(yc)2+kc2+β(yc)2(f(yc)2+kc2), 4.3a
    y˙c=kycf(yc)2+kc2, 4.3b
    k˙xc=0 4.3c
    and   k˙yc=β(yc)f(yc)f(yc)2+kc2. 4.3d
    Equation (4.3c) is a straightforward consequence of the invariance along the zonal direction whereas there is an effective force along the meridional direction. The only footprint of the medium’s variation on the group velocity of inertia-gravity wave rays is along the zonal direction, while the geometrical corrections compensate for the dynamical one for y˙c. On a clockwise rotating planet, up to the definition of the north pole, β is positive everywhere and vanishes at the poles. Therefore, only an eastward anomalous velocity remains along x and a pseudo-force k˙c along y in ray-tracing equations (4.3), both of which are proportional to β and thus of order ε in amplitude. There is an interesting parallel between this anomalous velocity under the β-effect and the anomalous Hall effect [6,35]: in this analogy, the packet undergoes an electric field proportional to β along the meridional direction y. As a consequence, an additional ‘anomalous’ velocity arises, proportional and perpendicular to the electric field.

    (c) Comparison with scalar ray tracing

    As discussed in the Introduction, the method used in [23,2730] to derive ray-tracing equations for v does not deal with the geometrical aspects of the problem as it ignores the polarization relations. We shall recall here the results obtained from this scalar framework and compare them with those that we obtained with the vectorial ansatz and the variational principle used in §3.

    Following Bretherton & Garrett [26], shallow-water ray-tracing equations in the presence of a varying Coriolis parameter are derived from the f-plane dispersion relation ωn(r, k) given by expressions (2.10),

    r˙=ωnkandk˙=ωnr. 4.4
    Ray coordinates are noted from now on as r = (x, y) and k = (kx, ky) as well, without the index c, for simplification. Equations (4.4) yield a term of order β for k˙ but no such correction in the expression of the group velocity r˙. In order to compute the β correction to the shallow-water waves’ group velocity, the traditional approach [23,2730] consists in applying Bretherton’s method to the exact scalar equation for v that includes the β-effect,
    tttv+f(y)2tvΔtvβ(y)xv=0. 4.5
    The corrected dispersion relation is then obtained by formally replacing ∂t with −iω and =(x,y) with ik = (ikx, iky) in (4.5), which yields
    ω3(f(y)2+kx2+ky2)ωβ(y)kx=0. 4.6

    By differentiating equation (4.6) with respect to k, one eventually gets the following expression for the group velocity:

    ωk=k+(β/2ω)e^xω+(βkx/2ω2), 4.7
    where e^x is the unitary basis vector along the local zonal direction, pointing eastward, and ω is one of the solutions of the dispersion relation (4.6). This result can be found in Vallis’s book [23, p. 311]. It echoes directly the scalar WKB solution of equation (4.5). However, using only this equation for ray tracing is problematic whenever β ≠ 0, because the other fields of the problem satisfy different equations,
    tttu+f(y)2tuΔtu+β(y)xu=2β(y)yvβ(y)v 4.8a
    and
    tttη+f(y)2tηΔtη+β(y)xη=2β(y)f(y)v. 4.8b
    This multi-component aspect leads to inconsistent WKB ansatzes for the different scalar fields of the problem [4]. Yet accounting for the three fields is crucial for computing ray observables such as the ones defined by relations (3.3) or (3.4), and therefrom to properly derive ray-tracing equations.

    When β ∼ ε, both scalar and vectorial methods yield the same leading-order ray-tracing equation through the f-plane dispersion relation, whose solutions are given by expressions (2.10). The β term on the l.h.s. of equation (4.5) appears only at next order. We explained that β also induces additional geometric corrections to ray-tracing equations, owing to the multi-component nature of the problem. The scalar approach is therefore inconsistent at order ε.

    Thus the only way to properly take into account the inhomogeneity parameter β is to introduce it as a perturbation in the vectorial problem. Keeping that in mind, it is instructive to compare the group velocity (4.7) derived within the traditional scalar WKB framework with the group velocity (4.3) derived within our vectorial framework. By differentiating expression (4.6) with respect to k and r and expanding the result at order 1 in β ∼ ε, one gets the following ray-tracing equations for Poincaré wave rays:5

    r˙=ωk=kf2+k2+β[e^x2(f2+k2)kxk(f2+k2)2] 4.9a
    and
    k˙=ωr=βfe^yf2+k2. 4.9b
    The latter must be compared with expressions (4.3a) and (4.3b) obtained with the vectorial ansatz. The most striking difference is that the correction proportional to β in the group velocity (4.9a) is not always pointing eastward, contrary to what is predicted by the vectorial method. Accounting for the geometrical character of the inertia-gravity wave rays thus adds a systematic eastward term to its group velocity compared with the expected value of the scalar WKB approximation, as illustrated in figure 4. Figure 4 presents the case of equatorial oscillation [23,28,30], an instructive example showing the enhanced eastward group velocity of an inertia-gravity wave packet, predicted by accounting for the Berry curvature of the Poincaré band in ray-tracing equations. However, one must keep in mind that in the equatorial region—as opposed to mid-latitude ray tracing (figure 3)—below a typical latitude called the equatorial radius of deformation (Leq=c/βeq, for the first baroclinic mode in the equatorial ocean on Earth we have c ≃ 2 ms−1, thus Leq ≃ 300 km [23]), our scaling fails. On the one hand the Coriolis parameter vanishes at the equator, thus so does the separation in frequency between inertia-gravity modes and planetary modes, which can hybridize. On the other hand the wave packet is subjected to strong dispersion in the equatorial region, which eventually spreads its envelope to a scale comparable to L.
    Figure 4.

    Figure 4. Ray trajectory of an inertia-gravity wave packet oscillating eastward around the equator, predicted by the different theories (same colour code as in figure 3). The initial wavelength is 2.8, β = 0.25 and the ray trajectories are plotted to t = 240. The vectorial theory anticipates a packet heading east to be faster than one within the scalar framework. Conversely, a packet heading west would be slower. (Online version in colour.)

    One can wonder what the typical orders of magnitude are for this vectorial correction in dimensional units, say for oceanic inertia-gravity waves on Earth, with c = 2 ms−1 and β = 2.3 × 10−11 m−1s−1 (in the following all quantities are given in their natural units). Subtracting the projection along x of equation (4.9a) to expression (4.3a), the zonal projection of the difference in group velocity between the vectorial and the scalar method reads

    Δvx=βkx2((f/c)2+k2)2βλ2c(λLeq)2, 4.10
    which is a constant of motion with both methods, and shall be compared with the leading-order zonal velocity ckx/(f/c)2+k2. For inertia-gravity waves of wavelength smaller than the equatorial radius of deformation (λ ∼ 100 km), relation (4.10) adds up to a vectorial correction of about 1–10% of c, typically, to the zonal group velocity, thus yielding an overall zonal shift of order λ after a time t = λvx ∼ (βλ)−1, which is typically a month. The corresponding total zonal displacement of the wave packet after such a time is about c/(βλ) ∼ 6000 km.

    5. Conclusion

    Using the classical example of the linear β-plane shallow-water model, we showed how the vectorial nature of eigenmodes is involved in their ray dynamics, through both the β-effect and a geometrical observable: the Berry curvature. In a way that could not be derived from a scalar approach, these joint contributions yield an eastward deviation of the Poincaré wave rays’ trajectory, exhibiting a geophysical analogue to the anomalous Hall effect. The ray-tracing equations that we derive are based on coherent hypotheses with respect to the scales characterizing the wave packet and the variations of the Coriolis parameter, in contrast with scalar derivations of equatorial ray-tracing equations that can be found in classical textbooks.

    Previous studies have revealed geometric phase effects in geophysical waves [3,4,34], although they are rarely mentioned in geophysical fluid dynamics textbooks, with the notable exception of [25]. Our contribution here has been to exhibit a quantitative manifestation of the Berry curvature in ray-tracing equations, with application to shallow-water waves. This manifestation is subtle from a practical point of view. Indeed, the Berry curvature of inertia-gravity wave bands is highest at small wave vectors, and thus for large wavelength (figure 2). Yet our analysis is based on a scaling that assumes sufficiently small wavelength. Furthermore, a large Berry curvature is concomitant with large dispersion as both effects are associated with the proximity of a degeneracy point between wave bands. In practice, large dispersion tends to spread the envelop of the wavepacket. This effect of dispersion, together with dissipation and nonlinearities, will need to be addressed in future works.

    Our approach thus highlights the multi-component nature of geophysical wave dynamics, where the primitive set of equations always involve the time derivative of several fields coupled together. The dynamics is sometimes reduced down to a scalar equation, which can conveniently be expressed in a Lagrangian framework different from the one used in this paper [39]. These scalar field Lagrangian approaches are very useful as they allow one to describe nonlinear effects. However, information on the underlying multi-component dynamics is not encoded into such scalar Lagrangians. This is why we used here an alternative variational approach that takes into account the multi-component nature of the wave equations. It cannot account for nonlinear effects, but it is suitable for capturing Berry curvature effects on ray trajectories.

    Since the Berry curvature most often comes along with multi-component wave problems in the presence of broken discrete symmetries, it is natural to expect its manifestation on a wider class of systems, from small-scale hydrodynamics to large-scale geophysics and astrophysics, as well as in the domain of seismic and elastic waves.

    Data accessibility

    We declare that all information required to reproduce the paper is contained within the paper.

    Authors' contributions

    N.P. conducted the research and performed the numerical calculations. P.D. and A.V. supervised the study. All authors discussed the physics, participated in writing and revising the manuscript, gave final approval for publication and agree to be held accountable for the work performed herein.

    Competing interests

    We declare we have no competing interests.

    Funding

    This project was supported by national grant no. ANR-18-CE30-0002-01. N.P. was funded by a PhD grant allocation Contrat doctoral Normalien.

    Appendix A. Eigenmodes and Berry curvature of the f-plane shallow-water system

    We give here an expression of the eigenmodes and Berry curvature of the f-plane shallow-water model for both geostrophic (n = 0) and inertia-gravity (n = ±1) wave bands, which are purely geometrical features of the eigenspaces supporting the vectorial plane-wave solutions of the f-plane problem.

    As shown in §2., looking for dispersion and polarization relations of the Fourier solutions of the f-plane shallow-water model amounts to solving the eigenvalue equation (2.9). For a given value of (f, kx, ky), the eigenvalues are given by expressions (2.10), and the corresponding C3 basis of normalized eigenmodes is

    U0[f,kx,ky]=1f2+k2(kykxif)=(sinθsinϕsinθcosϕicosθ), A 1
    for the geostrophic band, and
    U±1[f,kx,ky]=1k2(kx±ifkyf2+k2kyifkxf2+k2±k2f2+k2)=12(cosϕ±icosθsinϕsinϕicosθcosϕ±sinθ), A 2
    for inertia-gravity bands, all three being defined up to a gauge phase. Owing to the linear property H[f, kx, ky] = −H[ − f, − kx, − ky] we have U−1[f, kx, ky] = −U+1[ − f, − kx, − ky], again up to a choice of gauge. Above we defined the norm k||k||=kx2+ky2 and the spherical coordinates (ϕ, θ) of the R3 vector (kxkyf)t of norm f2+k2. From expressions (2), we arrive at
    iU0dU0=0,iU±1dU±1=cosθdϕ, A 3
    for the connections of the eigenbundles, hence
    F(0)=0,F(±1)=±sinθdθdϕ, A 4
    for the Berry curvatures. Keeping in mind that in the three-dimensional case the coefficients of F(n) are given by the curl of iUnUn, which is equal to (cotθ/f2+k2)e^ϕ if n = ±1, we have for the latter
    (Fkyf(±1)Ffkx(±1)Fkxky(±1))=×(iU±1U±1)=±1f2+k23(kxkyf), A 5
    in the natural Cartesian basis of (kxkyf)t. Finally, formally replacing the variable f in expression (5), owing to df = β dy, yields the expressions of the only non-zero coefficients6 of the Berry curvature F(±1), used to derive ray-tracing equations (4.3)
    Fkyy(±1)(r,k)=Fyky(±1)(r,k)=±βkxf(y)2+k23, A 6a
    Fykx(±1)(r,k)=Fkxy(±1)(r,k)=±βkyf(y)2+k23 A 6b
    andFkxky(±1)(r,k)=Fkykx(±1)(r,k)=±f(y)f(y)2+k23. A 6c

    Appendix B. Variational derivation of ray-tracing equations

    In this appendix, we derive the ray equations for ray tracing starting from ansatz (3.1) for the wave packet. We pay particular attention to the necessary approximations to get the expansion of the Lagrangian (3.7).

    (a) Reduction of the Lagrangian L

    Firstly, definition (3.6) can be separated as

    L=ψ|it|ψψ|ψψ|H^|ψψ|ψ. B 1
    The second term, defined in relation (3.8), will be treated separately. Using the ansatz (3.1), the first term yields
    ψ|it|ψψ|ψ=A2(tΦ+iUntUn)A2+i2ddtln(A2), B 2
    with the notation A2d2rA(r,t)2. To simplify the presentation, variables of functions have been omitted, i.e. Φ stands for Φ(r, t) and Un for Un[f(r), kc(t)], for instance. Since the operator H^ is Hermitian, the norm of |ψ〉 is left constant by the dynamics;7 therefore, the second term in equation (8) is null, leaving us only with the first term, which is real. Similarly, the expression of the mean wave vector defined in equations (3.4) is simplified into
    kc(t)=A2(ΦiUnUn)A2. B 3
    Let us now simplify expressions (8) and (9) by approximating the integrals weighted by A2. The Taylor expansion of a general function g(r, t) around rc(t) reads
    g(r,t)=g(rc,t)+(rrc)g(rc,t)+O((rrc)2ε2g0), B 4
    if ε−1 is the variation scale of the function g of order g0. By performing the integral of equation (10) weighted by A2, the second term on the r.h.s. of equation (10) yields 0, by definition of rc, whereas by definition of α the third one remains and we get
    A2g(r,t)A2=g(rc,t)+O((εα)2g0). B 5
    The derivatives of the slowly varying functions in integrals (8) and (9) reveal terms of order 1, with −∂tΦ0/ε = −∂TΦ0 and Φ0/ε=RΦ0, and ε with ε(TΦ1+iUnTUn) and ε(RΦ1iUnRUn). Therefore, we have here g0 of order 1 at most and we arrive at
    ψ|it|ψψ|ψ=tΦ(rc,t)+iUn[f(yc),kc(t)]tUn[f(yc),kc(t)]+O((εα)2) B 6
    and
    kc=Φ(rc,t)iUn[f(yc),kc(t)]Un[f(yc),kc(t)]+O((εα)2). B 7
    This last expression is the same as (3.5), only here for the purposes of the following development we do not need to separate the terms of order 1 and ε. Noticing now that (d/dt)ϕ(rc(t), t) is equal to (t+r˙c)ϕ(rc,t) for any function ϕ(r, t), we can combine equation (12) with equation (13) and expressions (3.8), and the Lagrangian reads
    L+ddtΦ(rc(t),t)=r˙ckcΩ(n)(rc,kc)+iUn(rc,kc)ddtUn(rc,kc)+O((εα)2). B 8
    This last relation corresponds to expression (3.7) with the notation χ(t) ≡ Φ(rc(t), t).

    (b) Expression of the ray Hamiltonian

    Let us now prove expression (3.15) for Ω(n) in the case of the shallow-water model. First of all, we note that the Hamiltonian operator defined in relations (2.8) reads H^(r,)=f(r)(H/f)i(H/k), using the formal derivatives of the symbol H defined in relation (2.9). In addition, one can check that Un(H/k)Un is equal to cn ≡ ∂ωn/∂k, the group velocity of the nth band of the f-plane system. Then using ansatz (3.1) yields

    H^ψ|H^|ψψ|ψ=A2[cnΦ+fUn(H/f)UniUn(H/k)Un]icn(A2/2)A2. B 9
    Integrating by parts the last term in the integral of expression (15), and noticing that the symbol reads H[f(r),kc]=f(r)(H/f)+Hkkc, equation (15) yields
    H^=A2[ωn+cn(Φkc)+i/2cniUn(H/k)Un]A2. B 10
    In addition, knowing that m{1,0,+1}UmUm=I3 (the 3-by-3 identity matrix) and that the connection iUnUn is real, one gets
    i2cniUnHkUn=cniUnUn+Im(mnUnHkUmUmUn). B 11
    For m ≠ n, one can prove that UmUn is equal to UmHUn/(ωnωm) [2]; therefore, relation (16) yields
    H^=(A2[Im[mn(Un(H/r)UmUm(H/k)Un/(ωnωm)]]ωn+cn(ΦkciUnUn)Im[mn(Un(H/r)UmUm(H/k)Un/(ωnωm)]])/A2. B 12
    With the approximation of integrals weighted by A2 explained in appendix Aa, the second term in expression (18) being straightforward to deal with via relation (13) and the third one of order ε, equation (18) yields
    H^=ωnIm(mnUn(H/rc)UmUm(H/kc)Unωnωm)+O((εα)2)Ω(n)+O((εα)2). B 13
    An equivalent writing of Ω(n), as in [14], is given by
    Ω(n)=ωnIm[Unrμc(ωnI3H)Unkμc]. B 14
    All functions in expressions (20) are valued at (rc, kc), which demonstrates that Ω(n) is indeed a function of rc and kc only, at leading order in the gradient corrections. This proves relation (3.15). Using expression (19) for Rossby waves (n = 0) one gets relation (4.2) for Ω. For Poincaré waves (n = ±1), it yields
    Ω(±1)(rc,kc)=±f(yc)2+kc2βkxc2(f(yc)2+kc2). B 15

    Footnotes

    1 Indeed rc and kc are both seen as generalized coordinates in phase space, but in the particular case of a null connection we have the equality kc=L/r˙c; therefore, kc identifies to the conjugated momentum of rc.

    2 This corresponds to the ray Hamiltonian, which has the dimension of a frequency and is not to be confused with the energy Hamiltonian commonly used in variational methods for fluid dynamics [26,38,39].

    3 The same perturbative expressions for equations (3.14) and (3.15) can be found in [2,14] for corrected Bloch bands, owing to the interaction between an external magnetic field and the orbital magnetic moment of an electron, for instance.

    4 This can be proven by injecting relation U−1[f, kx, ky] = −U+1[ − f, − kx, − ky] (see appendix A) into expressions (3.14) and (3.15), and then the latter into ray-tracing equations (3.13).

    5 Again we work with the positive solution (n = +1), which reads ω(r,k)=f(y)2+k2+(βkx/2(f(y)2+k2))+O(ε2).

    6 Since the Coriolis parameter has no dependence in the longitudinal direction x and F(n) are antisymmetric tensors, the Berry curvature is entirely defined by the three coefficients Fykx(±1), Fyky(±1) and Fkxky(±1).

    7 Indeed, (i/2)(d/dt)ln(A2)=i(d/dt)||ψ|| and we can restrain the search for a solution to the space of functions of constant norm with respect to time, because H^ is Hermitian: in that way the Lagrangian L is real. One would directly remove the second term in equation (8) from the variational problem because it is an exact time derivative, but if the Lagrangian were not real the Schrödinger-like equation (2.7) would not be equivalent to the corresponding variational problem [19].

    Published by the Royal Society. All rights reserved.

    References