## Abstract

We study the ocean flow in Arctic gyres using a recent model for gyres derived in spherical coordinates on the rotating sphere. By projecting this model onto the plane using the Mercator projection, we obtain a semi-linear elliptic partial differential equation in an unbounded domain, difficulty which is then overcome by projecting the PDE onto the unit disk via a conformal map. We then study existence, regularity and uniqueness of solutions for constant and linear vorticity functions.

## Introduction

The shape of our coasts and the mixing and transportation of temperature, chemicals, and nutrients are largely due to oceanic currents: these currents sometimes link up to form large-scale spiraling circulations called gyres. The movements of gyres drive the “ocean conveyor belt”, which in turn circulates ocean water around the entire planet. This thermohaline circulation also carries around heat from the sun, making gyres essential in understanding the role of the ocean in climate.

The motion of gyres is due mostly to two major forces, the first one being the wind patterns. The waters move in the direction of the winds on small scales but on large-scales they are deflected by the second major force, due to the rotation of the Earth. This force, commonly referred to as the Coriolis force, produces clockwise circular motions in the Northern hemisphere and counterclockwise ones in the Southern hemisphere. Finally, the currents are interrupted and diverted by the landmasses. Note that, whereas winds mostly only act on the surface of the water, landmasses and the Coriolis force also act beneath the surface. Each deeper layer in the water column is deflected by slightly less than the one above it, thus creating in non-equatorial regions a spirally pattern of approximately 100 meters deep, known as the Ekman spiral. We refer to [7, 21] for a discussion of the Ekman spiral.

Gyres can be found in every major ocean, with the Atlantic and the Pacific ocean containing four each. There are five major large-scale gyres and numerous smaller, moderate-scale ones. There are three types of gyres. The first ones are the subpolar gyres. They are the smallest ones on the planet and are situated in the polar regions. There are several in the Northern hemisphere, such as the Beaufort gyre, and two large gyres in the Southern ocean. There are also tropical gyres, formed near the Equator but confined strictly to the Northern or Southern hemispheres (as there is no Coriolis force at the Equator, there are no gyres on or crossing it). Lastly, we have the subtropical gyres, situated between the Equator and the polar regions. Since they lie beneath areas of high atmospheric pressure, they are gigantic placid ocean areas with thousands of kilometers of diameter.

In this paper we will only be focusing on the Arctic gyres. In this respect, we would like to point out that the Arctic is very different from the Antarctic. Whereas the Arctic is made up of sea and ice, surrounded by land, the Antarctic is a landmass surrounded by a very powerful current known as the antarctic circumpolar current (ACC). This geographical difference makes the study of Arctic gyres significantly more difficult than that of the ACC. Indeed, as we will see in the next section, projecting the Arctic region onto the plane using the Mercator projection gives us an unbounded domain whereas the projection of the ACC is a nice bounded strip. See discussions in [6, 15, 17, 19] and the references therein for studies of the ACC.

The plan of the paper is the following: we reduce the model for gyres on the rotating sphere derived by Constantin and Johnson to a semi-linear elliptic partial differential equation by projecting it onto the plane using a cylindrical projection. We then study the existence, uniqueness and regularity of solutions to this PDE for constant and linear vorticity functions.

## The Arctic Gyres

Before we recall the Mercator projection, we briefly present the Constantin and Johnson model for gyres derived in [5]. We begin by denoting by \(\theta \in [0,\pi )\) the polar angle such that \(\theta =0\) corresponds to the South Pole. Consequently, our latitude angle will be \(\theta -\frac{\pi }{2}\). We denote by \(\varphi \) the azimuthal, or longitude, angle. Following this model for gyres in spherical coordinates, the polar and azimuthal velocity components of the flow on the Earth are given by

respectively, where \(\psi (\theta ,\varphi )\) represents the stream function in spherical coordinates.

Furthermore, the governing equation for gyres is given by

where \(\Psi (\theta ,\varphi )=\psi (\theta ,\varphi )+\omega \cos (\theta )\) is associated with the vorticity of motion of the ocean relative to the Earth’s surface, \(2\omega \cos (\theta )\) is the spin vorticity due to the rotation of the Earth and \(F(\Psi -\omega \cos (\theta ))\) is the oceanic vorticity, due to the motion of the ocean and specific to a particular gyre. Other than linear (and piecewise linear) functions *F*, the case of exponential functions is of interest because of the link to Stuart vortices (see [8, 9, 20] for more details on Stuart vortices).

We would now like to project this model from the sphere onto the plane. For this, we turn to the Mercator projection, a conformal cylindrical projection (see [10]). Using the change of variable

our new plane has the Equator as \({\tilde{Y}}\)-axis and the Central Meridian as \({\tilde{X}}\)-axis, with the North Pole situated at \({\tilde{X}}=-\infty \) (see Fig. 1).

Using the change of variable (2), we get that \({\tilde{X}}\) is negative in the Northern Hemisphere with

Let us set

We can then rewrite the governing equation as the following semi-linear elliptic PDE

with boundary condition

if the boundary of our spherical region corresponds to the parallel \(\theta _0=2\arctan (e^{-{\tilde{X}}_0})\in \left( \frac{\pi }{2},\pi \right) \), situated in the Northern Hemisphere.

The North Pole is a stagnation point if and only if

uniformly in \({\tilde{Y}}\in {\mathbb {R}}\) since the horizontal velocity is

We will see that the solutions we construct have this property, which makes them physically admissible.

We are now interested in investigating the partial differential equation (3). However, our domain \(\Omega =(-\infty ,{\tilde{X}}_0]\times [0,2\pi )\) is unbounded in the \({\tilde{X}}\) direction, making the analysis difficult. We therefore use a conformal map to project (3) into the unit circle.

## The Conformal Mapping

In order to map (3) from the unbounded strip on the plane into the unit circle, we begin by setting \({\tilde{Z}}={\tilde{X}}+i{\tilde{Y}}\). We then translate \({\tilde{Z}}\) to get

and finally use an exponential map to get into the unit circle:

We now denote by *x* and *y* the new variables in the unit disk, defined by:

and the function *u*(*x*, *y*) in the disk, such that \(u(x,y)=U({\tilde{X}},{\tilde{Y}})\).

Notice that in terms of the original spherical variables \((\theta ,\varphi )\), we have

Therefore, (3) becomes

with boundary condition

We will consider here the case where

Similarly as in (4), a necessary and sufficient condition for the North Pole to be a stagnation point is the condition

Notice that (6) is equivalent to

## Constant Vorticity

We begin by looking at the case when our oceanic vorticity is constant: \(F(u)=F_0\), where \(F_0\) is an arbitrary constant. We therefore obtain the Poisson equation:

where

with boundary condition

From the theory of partial differential equations (see [4]), we know that the Poisson equation with homogeneous Dirichlet boundary condition admits a unique weak solution in \({\mathbb {D}}\) and since *f*(*x*, *y*) is smooth in our domain, we have that this unique solution \(u(x,y)\in C^{\infty }(\overline{{\mathbb {D}}})\) (uniqueness being recovered using the maximum principle for elliptic partial differential equations). Moreover, since the solution to the Poisson equation on the unit disk is radial, the asymptotic conditions are also satisfied. We can therefore state the following proposition.

### Proposition 1

On our domain \({\mathbb {D}}\), the Poisson equation (8) with boundary condition (9) admits a unique solution \(u\in C^{\infty }(\overline{{\mathbb {D}}})\) satisfying the asymptotic conditions (7).

## Linear Vorticity

We now turn to the case of linear vorticity. We set \(F(u)=au+b\) where \(a,b\in {\mathbb {R}}\). Our partial differential equation (5) becomes

Here

### Theorem 5.1

On the domain \({\mathbb {D}}\), for \(b\in {\mathbb {R}}\) and \(a\ge 0\), the elliptic equation (9) admits a unique solution \(u\in C^{\infty }(\overline{{\mathbb {D}}})\) satisfying the boundary condition \(u\big |_{\partial {\mathbb {D}}}=0\). Moreover, for the case \(a<0\), such a unique solution *u* exists if \({\tilde{X}}_0\le -C_a\), where \(C_a>0\) is a constant depending on *a*.

### Remark 1

Notice that existence of solutions for \(a<0\) depends on the location of \({\tilde{X}}_0\). In fact, we shall see in the proof that the further we move away from the Equator, the more vorticity we can allow.

### Proof

We begin by rewriting (9) in its variational formulation. For any \(v\in H_0^1({\mathbb {D}})\), we have

We set

as our bilinear form on \(H_0^1({\mathbb {D}})\times H_0^1({\mathbb {D}})\) and

as our linear form on \(H_0^1({\mathbb {D}})\). Clearly, \(\beta (u,v)\) and *j*(*v*) are continuous (for the bilinear form, this can be shown using the Cauchy-Schwarz inequality).

Using the Poincare inequality, the bilinear form \(\beta (u,v)\) is coercive for all \(a\ge 0\). Therefore, from the Lax-Milgram theorem, we get that there exists a unique weak solution \(u\in H_0^1({\mathbb {D}})\) to (9) for all positive \(a\in {\mathbb {R}}\).

It can be shown that the operator \(L_a:=-\Delta u+ag(x,y)u=f(x,y)\) is “semi”-Fredholm (has closed range and finite-dimensional kernel). The proof follows exactly as in [14]. Moreover, by self-adjointness of the operator, the index of \(L_a\) is equal to zero for all \(a\in {\mathbb {R}}\). Consequently, we have existence of solutions for all *a* for which the operator is injective.

Note that since \({\mathbb {D}}\) is of class \(C^{\infty }\) and \(f\in C^{\infty }(\overline{{\mathbb {D}}})\) and \(g\in C^{\infty }(\overline{{\mathbb {D}}})\), by the theory on regularity for elliptic problems with smooth and periodic coefficients, if the solution *u* to (9) exists we have a unique solution \(u\in C^{\infty }(\overline{{\mathbb {D}}})\). (Uniqueness follows from Lax-Milgram, or alternatively from the maximum principle for elliptic partial differential equations on bounded domains).

We now look at the case when *a* is negative. Since \(g\in L^{\infty }(\overline{{\mathbb {D}}})\), by the generalized maximum principle for elliptic problems (see [18]), if we can find a function \(\sigma >0\) on \(\overline{{\mathbb {D}}}\) such that \((\Delta -ag)[\sigma ]\le 0\) in \({\mathbb {D}}\), then (9) has at most one solution.

For simplicity of notation, consistency with results in [13, 14], and to make the physical implications easier to see, we will express this \(\sigma \) in terms of the variables \(({\tilde{X}},{\tilde{Y}})\) in the strip: this can all easily be mapped into the unit disk setting using the change of variables presented at the beginning of this paper.

From [13] we know that a solution to (3) satisfying the asymptotic conditions is the Legendre polynomial (see [1, 2, 16] for more details on such special functions):

where \(z=\tanh ({\tilde{X}})\) and \(a=-l(l+1)\), \(l\in {\mathbb {Z}}\), with *l* an integer.

For \(l=1\), we set \(\sigma _1({\tilde{X}})=-\tanh ({\tilde{X}})\) which is strictly positive on \(-\infty \le {\tilde{X}}\le {\tilde{X}}_0<0\) and therefore

is negative if and only if \(a\ge -2\).

For \(l=2\), we set \(\sigma _2({\tilde{X}})=3\tanh ^2({\tilde{X}})-1\) which is strictly positive for \(-\infty \le {\tilde{X}}\le {\tilde{X}}_0\le -0.66\). Similarily as in (14) we get uniqueness for \(a\ge -6\).

For \(\sigma _3({\tilde{X}})=-\frac{1}{2}(5\tanh ^3({\tilde{X}})-3\tanh ({\tilde{X}}))\) we will require \({\tilde{X}}_0\le -1\) to obtain uniqueness for all \(a\ge -12\). For \(\sigma _4({\tilde{X}})=\frac{1}{8}(35\tanh ^4({\tilde{X}})-30\tanh ^2({\tilde{X}})+3)\) we will require \({\tilde{X}}_0\le -1.3\) for uniqueness for all \(a\ge -20\).

In general, assume that \(a\in [-l(l+1),-l(l-1))\) for some integer *l*. We now seek the associated \(\sigma _l\). Notice that for \(k=0\), the Legendre polynomial (13) can be expressed as

We denote by \({\tilde{X}}_0^{(l)}\) the largest value of \({\tilde{X}}\) such that \(\tilde{\sigma _l}\) has a fixed sign on \((-\infty ,{\tilde{X}}_0^{(l)}]\). If that sign is positive, we define \(\sigma _l\) by \(\sigma _l=\tilde{\sigma _l}\) and if it is negative, we choose \(\sigma _l=-\tilde{\sigma _l}\). We denote by \(C_a\) the positive constant such that \({\tilde{X}}_0^{(l)}\le -C_a.\)

We therefore notice that the further away from 0 we are, the easier it gets to prove uniqueness. In other words, the further away we are from the Equator, the larger vorticity we can allow. The uniqueness and therefore also the existence of solutions to (9) will depend \({\tilde{X}}_0\).

We now go back to the unit disk setting.

We still need to check the asymptotic condition (7). Notice that the solution *u* to (9) is radial. Indeed, this can easily be shown using a moving plane argument such as in Sect. 9.5.2 in [11]. As a result, since \(u_x(0,0)\) is an odd function of *x*, which is smooth close to the origin, we get

This concludes the proof. \(\square \)

## Physical Relevance of the Results

As shown in the previous section, the negative linear vorticities for which we have existence, uniqueness and regularity of solutions depend on \({\tilde{X}}_0\), and in other words, on how far away we are from the Equator. Arctic gyres are located between the North Pole and \(84^\circ \)N, which is approximately equal to \(\frac{14\pi }{15}\).

From our Mercator projection, we therefore have

Following the process we used in the proof of Theorem 5.1, we notice that

which is strictly positive for \(-\infty \le {\tilde{X}}\le {\tilde{X}}_0\le -2.17\), and the value of *a* associated with \(\sigma _{10}\) is \(a=-110\). (Note that \(\sigma _{11}\) already requires that \({\tilde{X}}_0\le -2.255\).)

We now show that we can find an \(L^\infty \) bound on *u* from estimates on \(\omega \). Moreover, by estimating *F*, we then provide some conditions on \(a>0\) and *b* such that the above mentioned \(L^\infty \) bound holds. We refer to these values as *physically relevant*. From the non-dimensionalization described in [5] and recalled [14] the parameter \(\omega \), which accounts for the spin vorticity due to the rotation of the Earth, is defined by

Here \(\Omega '\simeq 7.29\times 10^{-5}rad.s^{-1}\) is the constant rate of rotation of the Earth (see the discussion in [5]), \(R'\simeq 6378\)km is the radius of the Earth and \(c'\simeq 0.1m.s^{-1}\), the speed scale, is the typical horizontal velocity of large-scale ocean flows [21]. In particular, the typical value of \(\omega \) can be calculated to be approximately 4650.

Similarly, as the typical vorticity values for a gyre are of the order of \(10^{-5}\mathrm{{rad\,s}}^{-1}\) [3], we get that \(F(u)=au+b\) is of order \(10^{-4}\) and we can therefore set \(|F(u)|\le C_v\), where \(C_v>0\) is a constant of order \(10^{-4}\).

We use the following weak maximum principle of Aleksandrov (see [12]). Notice that this theorem only holds for \(c(x,y):=-ag(x,y)\) negative, which implies that we must choose \(a>0\). We will therefore only obtain results for part of the solutions obtained in Theorem 5.1.

### Theorem 6.1

Let \(\Delta u+c(x,y)u\ge f(x,y)\) with \(c<0\), in a bounded domain \(\Omega \) and \(u\in C^0({\overline{\Omega }})\cap C^2(\Omega )\). Then

where the constant C only depends on the diameter of \(\Omega \) and the dimension of the domain.

In our notation, the domain \(\Omega \) is the unit disk \({\mathbb {D}}\) in \(\mathbb {R^2}\), where we have \(\sup _{\partial {\mathbb {D}}}u=0\) and \(c(x,y):=-ag(x,y)\) with \(a>0\) and *f* and *g* defined as in (10).

The constant C (see [12]) in our case is given by

and so we find that

since we know from the considerations above that \(\omega \simeq 4.7\times 10^{3}\).

As a result, we obtain that

We would now like to find conditions on *a* and *b* such that the corresponding solution *u* satisfies (17). Since we know that \(|F(u)|\le C_v\), we have \(|au+b|\le C_v\) which implies that

As a result, we conclude that acceptable values of \(a>0\) and \(b\in {\mathbb {R}}\) must satisfy

## References

Abramowitz, M., Stegun, I.: Handbook of Mathematical Functions with Formulas, Graphs and Mathematical Tables. Dover Publications, INC., New York (1965)

Andrews, G.E., Askey, R., Roy, R.: Special Functions. Cambridge University Press, Cambridge (1999)

Asplin, M.G., Lukovich, J.V., Barber, D.G.: Atmospheric forcing of the Beaufort Sea ice gyre: surface pressure climatology and sea ice motion. J. Geophys. Res. (2009). https://doi.org/10.1029/2008JC005127

Brézis, H.: Functional Analysis, Sobolev Spaces and Partial Differential Equations. Springer, Berlin (2011)

Constantin, A., Johnson, R.S.: Large gyres as a shallow-water asymptotic solution of Euler’s equation in spherical coordinates. Proc. R. Soc. Lond. Ser. A

**473**, 20170063 (2017)Constantin, A., Johnson, R.S.: An exact, steady, purely azimuthal flow as a model for the Antarctic Circumpolar Current. J. Phys. Oceanogr.

**46**, 3585–3594 (2016)Constantin, A., Johnson, R.S.: Ekman-type solutions for shallow-water flows on a rotating sphere: a new perspective on a classical problem. Phys. Fluids (2019). https://doi.org/10.1063/1.5083088

Constantin, A., Krishnamurthy, V.: Stuart-type vortices on a rotating sphere. J. Fluid Mech.

**865**, 1072–1084 (2019)Crowdy, D.G.: Stuart vortices on a sphere. J. Fluid Mech.

**398**, 381–402 (2004)Daners, D.: The Mercator and stereographic projections, and many in between. Am. Math. Mon.

**119**, 199–210 (2012)Evans, Lawrence C.: Partial Differential Equations. Graduate Studies in Mathematics, 2nd edn. American Mathematical Society, Providence (2010)

Gilbarg, D., Trudinger, N.S.: Elliptic Partial Differential Equations of Second Order. Springer, Berlin (1983)

Haziot, S.V.: Explicit two-dimensional solutions for the ocean flow in arctic gyres. Monatshefte Math.

**189**, 429–440 (2018). https://doi.org/10.1007/s00605-018-1198-3Haziot, S.V.: Study of an elliptic partial differential equation modelling the Antarctic Circumpolar Current. Discrete Contin. Dyn. Sys. A

**39**(8), 4415–4427 (2019)Hsu, H.-C., Martin, C.I.: On the existence of solutions and the pressure function related to the Antarctic Circumpolar Current. Nonlinear Anal.

**155**, 285–293 (2017)Kamke, E.: Differentialgleichungen: Lösungensmethoden und Lösungen. Akademische Verlagsgesellschaft, Leipzig (1967)

Marynets, K.: Two-point boundary problem for modeling the jet flow of the Antarctic Circumpolar Current. Electron. J. Differ. Equ.

**56**, 1–12 (2018)Protter, M.H., Weinberger, H.F.: Maximum Principles in Differential Equations. Springer, New York (1984)

Quirchmayr, R.: A steady, purely azimuthal flow model for the Antarctic Circumpolar Current. Monatshefte Math.

**187**, 565–572 (2018). https://doi.org/10.1007/s00605-017-1097-zStuart, J.T.: On finite amplitude oscillations in laminar mixing layers. J. Fluid Mech.

**29**, 417–440 (1967)Vallis, G.K.: Atmosphere and Ocean Fluid Dynamics. Cambridge University Press, Cambridge (2006)

## Acknowledgements

The author is grateful to the referee for the valuable comments and suggestions. These have greatly contributed to improving the manuscript.

## Funding

Open access funding provided by University of Vienna. Open access funding provided by University of Vienna.

## Author information

### Authors and Affiliations

### Corresponding author

## Ethics declarations

### Conflict of interest

The author declares that there is no conflict of interest.

## Additional information

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Communicated by D. Lannes

## Rights and permissions

**Open Access** This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.

## About this article

### Cite this article

Haziot, S.V. Study of an Elliptic Partial Differential Equation Modeling the Ocean Flow in Arctic Gyres.
*J. Math. Fluid Mech.* **23, **48 (2021). https://doi.org/10.1007/s00021-021-00584-0

Accepted:

Published:

DOI: https://doi.org/10.1007/s00021-021-00584-0

### Keywords

- Spherical coordinates
- Elliptic equation
- Gyres

### Mathematics Subject Classification

- 35Q35
- 76U05