Abstract
The aim of this paper is to study one class of nonlinear differential equations, which model the Antarctic circumpolar current. We prove the existence results for such equations related to the geophysical relevant boundary conditions. First, based on the weighted eigenvalues and the theory of topological degree, we study the semilinear case. Secondly, the existence results for the sublinear and superlinear cases are proved by fixed point theorems.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The combined forces of gravity and Coriolis (due to Earth’s rotation), triggered by the wind stress, drive circulating ocean currents, called gyres, in which the ocean flow adjusts to these two major forces acting on them so that those forces balance one another (see the discussions in [12, 13]). Since the Coriolis effect deflects winds, the deflection of gyres is clockwise in the Northern Hemisphere and counter-clockwise in the Southern Hemisphere. These geophysical flows are dominantly horizontal, with horizontal velocities being about a factor \(10^4\) larger than the vertical velocities [26]. At the same time, friction also plays a role in the generation of the currents (see the discussion in [7]). However, these currents persist after the wind stress has ceased, and in this regime one can neglect frictional effects.
Recently, in [9] a model of the general motion of a gyre in spherical coordinates as a shallow-water flow on a rotating sphere was obtained, in which the gyre motion is described in terms of a stream function by the solution of an elliptic boundary value problem, which can be transfomed into a second-order differential equation by neglecting azimuthal variation. In recent works [2,3,4,5,6], the first author used this equation to model the arctic gyres as a boundary value problem on semi-infinite interval. Such an equation with suitable boundary conditions was also used to model the Antarctic gyres in [8, 15, 16, 18,19,20,21,22,23,24,25]. The presence of a non-uniform current in the Southern Ocean is of great physical relevance, since this region features the largest known waves (see discussions in [10, 27]). Moreover, new flow phenomena appear in wave-current interactions due to non-uniformity in currents (see [11]).
Now let us recall the model of the general motion of a gyre in spherical coordinates. Let \(\theta \in [0,\pi )\) be the polar angle (with \(\theta =0\) corresponding to the North Pole) and \(\varphi \in [0,2 \pi \)) be the angle of longitude (or azimuthal angle) as shown at Fig. 1.
Let \(\psi (\theta ,\varphi )\) be the stream function and
where \(\omega >0\) is the non-dimensional form of the Coriolis parameter. The governing equation for the gyre flow (see the discussion in [9]) is
where \(F(\varPsi -\omega \,\cos \theta )\) is the oceanic vorticity, which is typically one order of magnitude larger than the planetary vorticity \(2\omega \cos \theta \), generated by the Earth’s rotation. The total vorticity of the gyre flow is the sum of the oceanic vorticity \(F(\varPsi -\omega \,\cos \theta )\), and of the planetary vorticity \(2\omega \,\cos \theta \).
Using the stereographic projection of the unit sphere (centred at the origin) from the North Pole to the equatorial plane (see Fig. 2), Eq. (2) in spherical coordinates
where \((r,\phi )\) are the polar coordinates in the equatorial plane, can be transformed into the semilinear elliptic partial differential equation
where \(\varDelta =\partial _x^2+\partial _y^2\) denotes the Laplace operator.
The stereographic projection \(P \mapsto P'\) from the North Pole to the equatorial plane: for any point P in the Southern Hemisphere, the straight line connecting it to the North Pole intersects the equatorial plane in a point \(P'\) belonging to the interior of the circular region delimited by the Equator. The depicted thick band, delimited by two parallels of latitude, represents one of the jets of the Antarctic Circumpolar Current and is mapped bijectively into an annular planar region concentric with the Equator
Since the ACC presents a considerable uniformity in the azimuthal direction it corresponds to radially symmetric solutions \(\psi =\psi (r)\) of the problem (4). The change of variables
with \(r=e^{-s/2} \) for
and \(0<r_-<r_+<1\), Eq. (4) is transformed to the second-order ordinary differential equation
for \(s_1< s < s_2.\)
The flow in a jet component of the ACC, between the parallels of latitude defined by an appropriate choice of \(r_\pm \in (0,1)\) with \(r_+/r_- \in (1,2)\), is modeled by coupling (7) with the boundary conditions
which expresses the fact that the boundary of the jet is a streamline—since the flow is steady, this means that a particle there will be confined to the boundary at all times.
Given \(0<s_1<s_2\), the change of variables
transforms (7) and (8) into the equivalent two-point boundary-value problem
where
and
2 Semilinear Cases
In this section, we will establish the existence results for (10) in the semilinear case, that is, the function F is \(L^1\)-Caratheodory and there exist two positive constants \(\alpha ,\beta \) such that
To prove the results, we shall apply the method of topological degree together with some facts on the weighted eigenvalue of the corresponding linear problems. For more details on semilinear differential equations with and without a singularity we refer to [28,29,30] and the references therein.
Let us first consider the following weighted eigenvalue problem
where a(t) is given by (11).
It is easy to show that all eigenvalues \(\lambda \) of (13) are positive. Indeed, multiplication (13) by u and integration by parts leads to the inequality
from which we conclude that for \(\lambda \ne 0\) the Dirichlet spectrum of (13) consists of a sequence of strictly positive numbers, which accumulate at \(\infty \).
Additional analysis can be done regarding the Eq. in (13). The Liouville transformation
with
transforms (13) into the Dirichlet boundary value problem for the Hill’s equation:
where
It is a proven fact that the Dirichlet eigenvalues in (15) are simple and can be ordered in an increasing sequence going to infinity (see [17]).
The following result follows essentially from [29, Theorem 2.1].
Theorem 1
The eigenvalue problem (13) has a sequence of eigenvalues:
Theorem 2
Assume that the function F(u) satisfies the inequality
for some constant \(\beta >0\) and
Then the problem (10) has at least one solution.
Proof
Let us deform the Eq. (10) to the following one
and write a homotopic equation in the form:
where \(G(t, u, \tau )=\tau (-a(t)F(u)-b(t))+(1-\tau )\beta u.\)
The problem (18) is equivalent to a fixed point equation
in the space
with the \(C^1\)–norm.
By assumption (17), when \(\tau =0\), the problem (18) has only a trivial solution. As the operator \({\mathcal {M}}_0\) is odd in \(u\in X\),
which means that the theorem will be proved, if we find a priori bounds for all solutions of (18).
By (16), there exists a constant \(0\le \psi <+\infty \) such that
for all \(u\in {\mathbb {R}}\) for a.e. \(t\in [0, 1]\). Thus
for all \(u\in {\mathbb {R}}\) for a.e. \(t\in [0, 1]\) and \(\tau \in [0, 1]\).
Let \(u(\cdot )\) be the solution of (18) for some \(\tau \in [0, 1]\). On the one hand, we have
and on the other hand, \(\lambda _1(a)\) has the following property:
Thus an estimate holds
Let us take \(\epsilon _0<\lambda _1(1)(1-\frac{1}{\lambda _1(a)})\), then
Since \(u(0)=u(1)=0\), there exists some constant \(c_1>0\) such that
By assumption, the function F(u) is \(L^1\)–Caratheodory function, and it implies that there is some \(\varPsi \in L^1(0, 1)\), \(\varPsi \ge 0\) such that
for all \(t, \tau \) and all solutions \(u(\cdot )\) of (18).
Due to the Dirichlet boundary conditions in (18), there exists some \(t_1\in (0, 1)\), for which \(u'(t_1)=0\) and
Hence all solutions of the boundary value problem (18) are bounded and the theorem is proved. \(\square \)
Note that condition (17) can be also explicitated variationally (see the considerations in [1]).
Theorem 3
Assume that the function F(u) satisfies condition (12) and there exists an integer \(k\ge 2\) such that
then problem (10) has at least one solution.
Proof
Note, that the sequence of eigenvalues \(\{\lambda _n(a)\}\) satisfies Theorem 2. Under our assumption, \(\beta \ge \alpha \). Therefore, \(\lambda (\beta )\le \lambda (\alpha )\).
Let us take
and consider a differential equation
subjected to the boundary constraints (14).
Since \(\gamma > \alpha \), we can conclude that
On the other hand, since \(\gamma < \beta \) it follows that
Thus, for any \(n \in {\mathbb {N}}\) \(\lambda _n(\gamma )\ne 1\). Hence, the problem (25), (14) has only a trivial solution, and therefore the nonlinear problem (10) has at least one solution.
\(\square \)
Remark 1
Moreover, if in Theorems 2 and Theorem 3 function F(u) is assumed to be nondecreasing, it is easy to prove that the solution of the semilinear boundary value problem (10), (14) is unique (see Theorem 5.1 in [25]).
3 Superlinear Cases
In this section, we prove one existence result for (10) in the superlinear case at \(u=\infty \), which means that
For example, both
and
are typical superlinear functions. It is easy to see that looking for a solution of (10) is equivalent to looking for a fixed point of the following operator equation
where
where G(t, s) is the Green function given by
and
To present the main result, we will use the notations
and
Obviously, the functions \({\mathcal {A}}(t)\) and \(\gamma (t)\) are nonnegative, and \({\mathcal {A}}^*>0,\gamma ^*>0\).
The proof is based on the following nonlinear alternative of Leray-Schauder, which can be found in [14, page 120–130].
Lemma 1
Assume that \(\varOmega \) is an open subset of a convex set K in a normed linear space X and \(p\in \varOmega \). Let \(T:{\overline{\varOmega }}\rightarrow K\) be a compact and continuous map. Then one of the following two conclusions holds:
- (I):
-
T has at least one fixed point in \({\overline{\varOmega }}.\)
- (II):
-
There exists \(x\in \partial \varOmega \) and \(0<\lambda <1\) such that
$$\begin{aligned} x=\lambda Tx+(1-\lambda )p. \end{aligned}$$
Theorem 4
Assume that \(F: {{\mathbb {R}}} \rightarrow {{\mathbb {R}}}\) is continuous and there exists a nondecreasing continuous function \(g:[0,\infty )\rightarrow [0,\infty )\) such that
Suppose further that there exists a positive number \(r>\gamma ^*\) such that
Then Eq. (10) has at least one solution u with \({0<\Vert u\Vert <r}\).
Proof
Let us first consider the family of problems
where \(\lambda \in [0,1].\) Note that a solution of (31) is just a fixed point of the operator equation
where \({\mathcal {F}}\) is given as (28).
We claim that for any \(\lambda \in [0,1]\), Eq. (32) has no fixed point x with \(x\in \partial \varOmega \), where
and \(X=C[0,1]\) is a Banach space by taking the norm \(\Vert u\Vert =\max _{t\in [0,1]}|u(t)|\) for \(x\in X\). Obviously, \(\varOmega \) is an open subset in X with \(0\in \varOmega \).
Otherwise, assume that there exists \(\lambda _0\in [0,1]\) such that Eq. (32) with \(\lambda =\lambda _0\) has a fixed point \(u_0\) with \(\Vert u_0\Vert = r\). Note that
Hence
which is a contradiction to the condition (30).
Obviously \(\varOmega \) is an open subset in X with \(\gamma (t)\in \varOmega \) since \(\gamma ^*<r\). Now using Lemma 1, we know that \(u=Tu\) has a fixed point u in \(\varOmega \), i.e., Eq. (10) has a solution u with \(\Vert u\Vert < r\). Finally, one may readily see that u is a nontrivial solution since \(u(t)\ge \gamma (t).\) \(\square \)
Example 1
Let F be given as (26). Then
- (i):
-
If \(\beta <1,\) then Eq. (10) has at least one nontrivial solution for each \(\mu >0\).
- (ii):
-
If \(\beta \ge 1\), then Eq. (10) has at least one nontrivial solution for each \(0< \mu < {\tilde{\mu }}\), where \({\tilde{\mu }}\) is some positive constant.
Proof
We will apply Theorem 4. To this end, we take
which is non-decreasing in \(x\in (0,\infty )\). Now the existence condition (30) becomes
for some \(r>0\). So Eq. (10) has at least one nontrivial solution for
Note that \({\tilde{\mu }}=\infty \) if \(\beta <1\) and \({\tilde{\mu }} < \infty \) if \(\beta \ge 1\). We have (i) and (ii). \(\square \)
References
Buttazzo, G., Giaquinta, M., Hildebrandt, S.: One-Dimensional Variational Problems. An introduction. Oxford University Press, New York (1998)
Chu, J.: On an infinite-interval boundary-value problem in geophysics. Monatsh. Math. 188, 621–628 (2019)
Chu, J.: On a differential equation arising in geophysics. Monatsh. Math. 187, 499–508 (2018)
Chu, J.: On a nonlinear integral equation for the ocean flow in arctic gyres. Q. Appl. Math. 76, 489–498 (2018)
Chu, J.: On a nonlinear model for arctic gyres. Ann. Mat. Pura Appl. (4) 197, 651–659 (2018)
Chu, J.: Monotone solutions of a nonlinear differential equation for geophysical fluid flows. Nonlinear Anal. 166, 144–153 (2018)
Constantin, A.: Frictional effects in wind-driven ocean currents. Geophys. Astrophys. Fluid Dyn. 115, 1–14 (2021)
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.: Large gyres as a shallow-water asymptotic solution of Euler’s equation in spherical coordinates. Proc. R. Soc. A Math. Phys. Eng. Sci. 473(2200), 20170063 (2017)
Constantin, A., Monismith, S.G.: Gerstner waves in the presence of mean currents and rotation. J. Fluid Mech. 820, 511–528 (2017)
Constantin, A., Strauss, W., Varvaruca, E.: Global bifurcation of steady gravity water waves with critical layers. Acta Math. 217, 195–262 (2016)
Gabler, R.E., Petersen, J.F., Trapasso, L.M.: Essentials of Physical Geography. Thomson Brooks/Cole, Belmont (2007)
Garrison, T.: Essentials of Oceanography. National Geographic Society/Cengage Learning, Stamford (2014)
Granas, A., Dugundji, J.: Fixed Point Theory. Springer Monographs in Mathematics. Springer, New York (2003)
Haziot, S.: Study of an elliptic partial differential equation modelling the Antarctic Circumpolar Current. Discrete Contin. Dyn. Syst. 39, 4415–4427 (2019)
Haziot, S., Marynets, K.: Applying the stereographic projection to modeling of the flow of the Antarctic Circumpolar Current. Oceanography 31, 68–75 (2018)
Magnus, W., Winkler, S.: Hill’s Equation. Interscience Publishers, New York (1966)
Martin, C., Quirchmayr, R.: Explicit and exact solutions concerning the Antarctic Circumpolar Current with variable density in spherical coordinates. J. Math. Phys. 60, 101505 (2019)
Marynets, K.: Two-point boundary problem for modeling the jet flow of the Antarctic Circumpolar Current, Electron. J. Differ. Equ., Paper No. 56, 12 pp (2018)
Marynets, K.: A nonlinear two-point boundary-value problem in geophysics. Monatsh. Math. 188, 287–295 (2019)
Marynets, K.: On a two-point boundary-value problem in geophysics. Appl. Anal. 98, 553–560 (2019)
Marynets, K.: On the modeling of the flow of the Antarctic Circumpolar Current. Monatsh. Math. 188, 561–565 (2019)
Marynets, K.: The Antarctic Circumpolar Current as a shallow-water asymptotic solution of Euler’s equation in spherical coordinates. Deep Sea Res. Part II Top. Stud. Oceanogr. 160, 58–62 (2019)
Marynets, K.: A weighted Sturm–Liouville problem related to ocean lows. J. Math. Fluid Mech. 20, 929–935 (2018)
Marynets, K.: Study of a nonlinear boundary-value problem of geophysical relevance. Discrete Contin. Dyn. Syst. 39, 4771–4781 (2019)
Viudez, A., Dritschel, D.G.: Vertical velocity in mesoscale geophysical flows. J. Fluid Mech. 483, 199–223 (2015)
Walton, D.W.H.: Antarctica: Global Science from a Frozen Continent. Cambridge University Press, Cambridge (2013)
Yan, P., Zhang, M.: Higher order non-resonance for differential equations with singularities. Math. Methods Appl. Sci. 26, 1067–1074 (2003)
Zhang, M.: Nonuniform nonresonance of semilinear differential equations. J. Differ. Equ. 166, 33–50 (2000)
Zhang, M.: Periodic solutions of equations of Emarkov–Pinney type. Adv. Nonlinear Stud. 6, 57–67 (2006)
Acknowledgements
Jifeng Chu was supported by the National Natural Science Foundation of China (Grants Nos. 12071296, 11671118 and 11871273) and by Science and Technology Innovation Plan of Shanghai (Grant No. 20JC1414200). The authors are grateful to reviewers for their valuable comments.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
The authors declare that they have no conflict of interest.
Additional information
Communicated by A. Constantin.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Chu, J., Marynets, K. Nonlinear Differential Equations Modeling the Antarctic Circumpolar Current. J. Math. Fluid Mech. 23, 92 (2021). https://doi.org/10.1007/s00021-021-00618-7
Accepted:
Published:
DOI: https://doi.org/10.1007/s00021-021-00618-7