Abstract
We present a study of equatorial ocean flows exhibiting geophysical effects, a complex vertical structure and moving in the azimuthal direction, with no variation in this direction. By means of a fixed-point approach, we study the relation between the pressure at the free surface of such flows and the resulting distortion of that free surface. The method in the present paper allows us to enlarge the class of nonlinearities from our previous works.
COMMUNICATED BY:
2010 Mathematics Subject Classifications:
1. Introduction
This paper is concerned with a study of the ocean dynamics in the equatorial region of the Pacific ocean, situated within a band of about latitude from the Equator. Equatorial waves are believed to be the main triggers of the El Niño phenomenon – an event associated with the appearance around the Christmas season of an ocean anomaly manifesting itself as a warm equatorial water flow approaching the western coast of South America. This occurrence was named by early fishermen ‘El Niño’ (Spanish for ‘The Christ Child’) and is one of the main factors in global climate change, cf. the discussion in [Citation1].
For an appropriate analytical treatment that catches observed particularities of equatorial ocean dynamics, one needs to take into account a series of features like nonlinear effects arising from the conservation of momentum equations, as well as from the intricate boundary conditions, geophysical effects stemming from the Earth's rotation or the involved vertical structure of the ocean currents; e.g. while in a near-surface layer, and within about 150 km on each side of the Equator, there is the westward current (driven by the prevailing trade winds), confined to depths of no more than about 100–200 m, lies the Equatorial Undercurrent (EUC)–an eastward flowing jet whose core resides on the thermocline, cf. [Citation2,Citation3].
A rigorous mathematical framework for the study of geophysical ocean flows was established by Constantin [Citation4–7] and Constantin and Johnson [Citation1,Citation2,Citation8] by means of providing exact solutions describing geophysical water flows. It is to note that exact solutions are extremely rare in fluid mechanics, in general. While unable to capture all flow peculiarities, exact solutions might confirm the correctness of the governing equations. On the other hand, they supply the foundations of more direct and relevant analyses by means of asymptotic or perturbative methods. Several recent developments pertaining to geophysical fluid dynamics were obtained by means of investigating exact solutions [Citation9–27].
The latter aspect of exact solutions is also the prospect that we pursue here. More precisely, we work with the governing equations for an inviscid, incompressible fluid, written in cylindrical coordinates (with the Equator ‘straightened’ to become a generator of the cylinder) together with the free surface and the rigid boundary conditions. For this system, an exact solution is presented; it describes a steady flow which is moving only in the azimuthal direction, without variations in this direction. However, our study is able to accommodate an EUC, since the azimuthal velocity component has an arbitrary variation with respect to the depth (i.e. radius).
Using the pressure boundary condition at the free surface, we derive a relation between this pressure and the distortion of the free surface. This relation is shown to be amenable to a fixed-point approach for partially ordered sets as developed in [Citation28–31]. Using the latter approach, we then prove existence and uniqueness for the function describing the shape of the free surface, under the (reasonable) assumption that the pressure acting on the surface is not too big. This method applies for larger classes of nonlinearities (allowing for more general flows) than those in [Citation23].
2. The model for equatorial ocean waves
We give here a presentation of the geometry and of the variables associated with the rotating system. The coordinate system is chosen so that the Equator is ‘straightened’ and replaced by a line parallel to the z-axis, while the body of the sphere is represented by a circular disc described in the corresponding polar coordinates. Therefore, in a right-handed system, our coordinates are , where r is the distance to the center of the disc (representing the Earth), is increasing from North to South and measures the deflection from the Equator, and the positive z-axis points from West to East. The equation describes the line of the Equator. The corresponding unit vectors in the system are and the velocity components are . Throughout the paper km will denote the Earth's radius.
Remark 2.1
The range of the polar angle θ is , with , choice that accommodates a strip of the width of about 100 km centered about the Equator.
With regard to the previous considerations, the governing equations in a coordinate system with its origin at the center of the sphere are Euler's equations, which in cylindrical coordinates are written, cf. [Citation2], as (1) (1) (where denotes the pressure in the fluid and is the body-force vector) and the equation of mass conservation (2) (2) To include the effects of the Earth's rotation in our setting, we associate to a point fixed on the sphere which is rotating about its polar axis. This means that we need to add in the left of Euler's equations the Coriolis force and the centripetal acceleration with where rad s is the rotation speed of the Earth. Adding the joint contributions of the Coriolis and of the centripetal acceleration (3) (3) to Equation (Equation1(1) (1) ), and taking into account that, cf. [Citation2], the body force is due only to gravity (denoted with g), we have that the water motion is driven by the system (4) (4) together with the equation of mass conservation (Equation2(2) (2) ). The specification of the water wave problem becomes complete after we impose the kinematic boundary conditions (5) (5) on the free surface , and (6) (6) on the bed , respectively, while, at the free surface, we also require the dynamic boundary condition (7) (7)
3. Existence and uniqueness of solutions
The solutions that we seek represent water flows that exhibit a pred direction of propagation. Namely, we will prove the existence of flows that are purely in the azimuthal direction with no variation in this direction. This means that the velocity field satisfies (8) (8) while the free surface is described by for some unknown function , and the bed is represented by for some given function . Amounting to the previous requirements, the system (Equation4(4) (4) ) becomes (9) (9) Moreover, the equation of mass conservation (Equation2(2) (2) ), as well as the kinematic boundary conditions (Equation5(5) (5) ) and (Equation6(6) (6) ), are automatically satisfied.
Noticing from (Equation9(9) (9) ) that , we can eliminate the pressure from the first two equations and obtain that w satisfies the partial differential equation (10) (10) which can be solved by the method of characteristics. More precisely, we obtain (11) (11) for some arbitrary function f. From the latter, we obtain the formula for the pressure (12) (12) where A is a constant, F is an anti derivative of f with . Of course, in this circumstance The lack of the z dependence of the pressure function yields that the dynamic boundary condition (Equation7(7) (7) ) reads now The latter yields (13) (13) equation that represents a link between the imposed pressure at the ocean's surface to the resulting deformation of that surface. The pressure needed to maintain the free surface undisturbed and following the Earth's curvature is obtained by setting in (Equation13(13) (13) ). We denote it by . Thus, Moreover, assuming that the pressure at the Equator (that is at the location ) is atmospheric, then To non-dimensionalize (Equation13(13) (13) ), we divide it by and obtain (14) (14) with the non-dimensional constants defined by means of (15) (15) and with the non-dimensional functions Notice that Equation (Equation14(14) (14) ) can be written as the fixed-point equation (16) (16) provided we denote and set (17) (17) The latter equation allows for the utilization of a fixed-point theorem due to O'Regan and Petruşel [Citation28] (see also Petruşel and Rus [Citation29]), which improves upon a result of Ran and Reurings [Citation31]. We quote below the notions related to this result, as well as the result itself and refer the reader to [Citation28,Citation29] for further details.
Let be a partially ordered set, i.e. X is a nonempty set and ⪯ is a reflexive, transitive and anti-symmetric relation on X. In this context, we denote Let X be a nonempty set. Then, by definition is an ordered metric space if and only if:
is an metric space;
is a partially ordered set;
, and , for each .
The following result (see [Citation30]) will be applied in our main theorem.
Theorem 3.1
Let be an ordered metric space and be an operator. We suppose that:
For each with there exists such that and ;
is increasing;
there exists such that ;
is continuous
or
if is an increasing sequence convergent in X to x, then for all ;
there exists such that for each with ;
the metric d is complete.
Then is a Picard operator, i.e. has a unique fixed-point and, for each the sequence of successive approximations of starting from x converges to .
Now, we can prove our existence, uniqueness and approximation result for the considered problem.
Theorem 3.2
We consider the problem (Equation14(14) (14) ) and the equivalent fixed-point problem (Equation16(16) (16) ), where the operator is given by (Equation17(17) (17) ). We assume that ) m. Given any sufficiently small deviation from such that for all there exists a unique with satisfying . Moreover, can be obtained as the limit of the sequence for every with .
Proof.
Let be the set of positive valued continuous functions on that do not exceed .
We define a partial ordering ‘⪯’ on X by requiring for , that Moreover, the set X can be given the structure of a metric space by defining the functional through Clearly, d defined above is a complete metric on X and is an ordered metric space. Moreover, for any increasing sequence in X converging to a certain we have , for any . Also, for every there exists which is comparable, with respect ‘⪯’, with and .
Defining by the formula (Equation17(17) (17) ), we will prove first that is continuous and monotone. To this end, note that (18) (18) Utilizing the mean value theorem, we find that for some lying between and . Taking now into account the formulas for and β from (Equation15(15) (15) ) we infer that (19) (19) from which we see at once that is continuous and monotone, since and since f is positive by (Equation11(11) (11) ).
To verify condition from Theorem 3.1, we use the assumption that the w-component of the velocity field is less than and see from (Equation19(19) (19) ) that (20) (20) Letting we see that condition (iii) from Theorem 3.1 is satisfied. Indeed, the relation is equivalent with , for all , which means, according to [Citation2], that A is of the order of bar. This gives exactly our assumption. This concludes the proof.
Remark 3.3
In the proof of the above result the operator was continuous. However, by Theorem 3.1, we can see that a fixed-point result, in the above context, can be obtained for non-continuous mappings, using the assumption (iv).
4. Conclusion
We showed the relevance of recent advances in fixed-point theory to the study of nonlinear ocean flows; we refer to [Citation32] for a survey of fixed-point theorems. We believe that the presented approach can be further developed to study other problems of current interest in equatorial water flows – e.g. the inclusion of capillary effects [Citation18] and accounting for the Earth's curvature [Citation23]. Some aspects of geophysical flows in the Southern Ocean appear also to be amenable to the type of approach undertaken in [Citation8,Citation16,Citation17,Citation19].
Disclosure statement
No potential conflict of interest was reported by the author(s).
Additional information
Funding
References
- Constantin A, Johnson RS. The dynamics of waves interacting with the equatorial undercurrent. Geophys Astrophys Fluid Dyn. 2015;109(4):311–358. doi: https://doi.org/10.1080/03091929.2015.1066785
- Constantin A, Johnson RS. An exact, steady, purely azimuthal equatorial flow with a free surface. J Phys Oceanogr. 2016;46(6):1935–1945. doi: https://doi.org/10.1175/JPO-D-15-0205.1
- McCreary JP. Modeling equatorial ocean circulation. Ann Rev Fluid Mech. 1985;17:359–409. doi: https://doi.org/10.1146/annurev.fl.17.010185.002043
- Constantin A. On the modelling of equatorial waves. Geophys Res Lett. 2012;39:L05602. doi: https://doi.org/10.1029/2012GL051169
- Constantin A. An exact solution for equatorially trapped waves. J Geophys Res Oceans. 2012;117:C05029. doi: https://doi.org/10.1029/2012JC007879
- Constantin A. Some three-dimensional nonlinear equatorial flows. J Phys Oceanogr. 2013;43:165–175. doi: https://doi.org/10.1175/JPO-D-12-062.1
- Constantin A. Some nonlinear, equatorially trapped, nonhydrostatic internal geophysical waves. J Phys Oceanogr. 2014;44(2):781–789. doi: https://doi.org/10.1175/JPO-D-13-0174.1
- Constantin A, Johnson RS. An exact, steady, purely azimuthal flow as a model for the antarctic circumpolar current. J Phys Oceanogr. 2016;46(12):3585–3594. doi: https://doi.org/10.1175/JPO-D-16-0121.1
- Chu J, Escher J. Steady periodic equatorial water waves with vorticity. Discrete Cont Dyn Syst Ser A. 2019;39(8):4713–4729. doi: https://doi.org/10.3934/dcds.2019191
- Constantin A, Johnson RS. A nonlinear, three-dimensional model for ocean flows, motivated by some observations of the pacific equatorial undercurrent and thermocline. Phys Fluids. 2017;29(5):056604. doi: https://doi.org/10.1063/1.4984001
- Constantin A, Johnson RS. Large gyres as a shallow-water asymptotic solution of Euler's equation in spherical coordinates. Proc Roy Soc Lond A. 2017;473:20170063. doi: https://doi.org/10.1098/rspa.2017.0063
- Constantin A, Monismith S. Gerstner waves in the presence of mean currents and rotation. J Fluid Mech. 2017;820:511–528. doi: https://doi.org/10.1017/jfm.2017.223
- Constantin A, Johnson RS. Large-scale oceanic currents as shallow-water asymptotic solutions of the Navier-Stokes equation in rotating spherical coordinates. Deep-Sea Res Part II. 2019;160:32–40. doi: https://doi.org/10.1016/j.dsr2.2018.12.007
- Henry D. An exact solution for equatorial geophysical water waves with an underlying current. Eur J Mech B/ Fluids. 2013;38:18–21. doi: https://doi.org/10.1016/j.euromechflu.2012.10.001
- Henry D. Equatorially trapped nonlinear water waves in a β-plane approximation with centripetal forces. J Fluid Mech. 2016;804:R11–R111. doi: https://doi.org/10.1017/jfm.2016.544
- Henry D, Martin C-I. Free-surface, purely azimuthal equatorial flows in spherical coordinates with stratification. J Differ Equ. 2019;266:6788–6808. doi: https://doi.org/10.1016/j.jde.2018.11.017
- Henry D, Martin C-I. Exact, free-surface equatorial flows with general stratification in spherical coordinates. Arch Ration Mech Anal. 2019;233:497–512. doi: https://doi.org/10.1007/s00205-019-01362-z
- Hsu H-C, Martin C-I. Free-surface capillary-gravity azimuthal equatorial flows. Nonlin Anal Theory Methods Appl. 2016;144:1–9. doi: https://doi.org/10.1016/j.na.2016.05.019
- Hsu H-C, Martin C-I. On the existence of solutions and the pressure function related to the antarctic circumpolar current. Nonlin Anal Theory Methods Appl. 2017;155:285–293. doi: https://doi.org/10.1016/j.na.2017.02.021
- Ionescu-Kruse D. An exact solution for geophysical edge waves in the f-plane approximation. Nonlin Anal Real World Appl. 2015;24:190–195. doi: https://doi.org/10.1016/j.nonrwa.2015.02.002
- Ionescu-Kruse D. An exact solution for geophysical edge waves in the β-Plane approximation. J Math Fluid Mech. 2015;17(4):699–706. doi: https://doi.org/10.1007/s00021-015-0233-6
- Ionescu-Kruse D. Exponential profiles producing genuine three-dimensional nonlinear flows relevant for equatorial ocean dynamics. J Differ Equ.. doi:https://doi.org/10.1016/j.jde.2019.08.041
- Martin C-I. On the existence of free surface azimuthal equatorial flows. Appl Anal. 2017;96(7):1207–1214. doi: https://doi.org/10.1080/00036811.2016.1180370
- Matioc A-V, Matioc B-V. On periodic water waves with coriolis effects and isobaric streamlines. J Nonlin Math Phys. 2012;19(Suppl. 1):1240009.
- Matioc A-V. An exact solution for geophysical equatorial edge waves over a sloping beach. J Phys A: Math Theor. 2012;45(36):365501. doi: https://doi.org/10.1088/1751-8113/45/36/365501
- Matioc A-V. An explicit solution for deep water waves with Coriolis effects. J Nonlin Math Phys. 2012;19:1240005.
- Matioc A-V. Exact geophysical waves in stratified fluids. Appl Anal. 2013;92:2254–2261. doi: https://doi.org/10.1080/00036811.2012.727987
- O'Regan D, Petruşel A. Fixed point theorems for generalized contractions in ordered metric spaces. J Math Anal Appl. 2008;341:1241–1252. doi: https://doi.org/10.1016/j.jmaa.2007.11.026
- Petruşel A, Rus IA. Fixed point theorems in ordered L-spaces. Proc Amer Math Soc. 2006;134(2):411–418. doi: https://doi.org/10.1090/S0002-9939-05-07982-7
- Petruşel A, Rus IA. Fixed point theory in terms of a metric and of an order relation. Fixed Point Theory. 2019;20(2):601–622. doi: https://doi.org/10.24193/fpt-ro.2019.2.40
- Ran ACM, Reurings MC. A fixed point theorem in partially ordered sets and some applications to matrix equations. Proc Amer Math Soc. 2004;132:1435–1443. doi: https://doi.org/10.1090/S0002-9939-03-07220-4
- Rus IA, Petruşel A, Petruşel G. Fixed point theory. Cluj-Napoca: Cluj University Press; 2008.