This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

A detailed analysis of the origin of deep-decoupling oscillations

John Bailie, Henk A. Dijkstra and Bernd Krauskopf
(May 2024)
Abstract

The variability of the strength of the Atlantic Meridional Overturning Circulation is influenced substantially by the formation of deep water in the North Atlantic. In many ocean models, so-called deep-decoupling oscillations have been found, whose timescale depends on the characteristics of convective vertical mixing processes. Their precise origin and sensitivity to the representation of mixing have remained unclear so far. To study this problem, we revisit a conceptual Welander model for the evolution of temperature and salinity in two vertically stacked boxes for surface and deep water, which interact through diffusion and/or convective adjustment. The model is known to exhibit several types of deep-decoupling oscillations, with phases of weak diffusive mixing interspersed with strong convective mixing, when the switching between them is assumed to be instantaneous. We present a comprehensive study of oscillations in Welander’s model with non-instantaneous switching between mixing phases, as described by a smooth switching function. A dynamical systems approach allows us to distinguish four types of oscillations, in terms of their phases of diffusive versus convective mixing, and to identify the regions in the relevant parameter plane where they exist. The characteristic deep-decoupling oscillations still exist for non-instantaneous switching, but they require switching that is considerably faster than needed for sustaining oscillatory behaviour. Furthermore, we demonstrate how a gradual freshwater influx can lead to transitions between different vertical mixing oscillations. Notably, the convective mixing phase becomes shorter and even disappears, resulting in long periods of much reduced deep water formation. The results are relevant for the interpretation of ocean-climate variability in models and (proxy) observations.

1 Introduction

Decades of studies of the North Atlantic Ocean circulation with Ocean General Circulation Models [1, 2, 3, 4, 5] have shown that convective mixing, in particular, in the Greenland Sea and the Labrador Sea, is involved in the variability of the Atlantic Meridional Overturning Circulation (AMOC) on timescales of decades to millennia. This type of strong mixing between the top layer and deeper parts of the ocean modifies density gradients locally in the respective geographic regions, which lead to a large scale AMOC response via associated pressure gradients.

A particular example are the so-called Dansgaard-Oeschger (D-O) events, which display variability [6] on a millennial timescale. Their modelling has shown that the variability arises through the interaction of ocean-atmosphere, sea-ice, and convective mixing, which couples changes in atmospheric buoyancy fluxes to the AMOC variations. It has been speculated that so-called deep-decoupling oscillations may describe the D-O events. These oscillations are characterized by a short phase of convective mixing in the North Atlantic followed by a very long deep-decoupling phase. During the deep-decoupling phase, mixing is diffusive and the AMOC re-adjusts, leading to overall low-frequency variations [7]. For this variability, the AMOC’s response to surface buoyancy flux anomalies is sensitive to the representation of the vertical mixing component [8, 9].

Conceptual models have played an important role in investigating the sensitivity of the AMOC to representations of vertical mixing [10, 11]. The model by [12] for vertical mixing in the North Atlantic takes a central place here, because it exhibits periodic solutions with the relevant deep-decoupling properties [13, 7, 14]. More precisely, it takes the form of a differential equation for the evolution of temperature and salinity, and its oscillations are characterized by two phases: a deep-coupling phase, where convective mixing between the surface and deep ocean in the North Atlantic strongly ‘couples’ the surface and deep ocean, and a deep-decoupling phase when a polar halocline prevents convective mixing. The [12] model has been analysed extensively by [10] for the case of instantaneous switching between convective and diffusive mixing phases, as represented by a step function. [15] studied the mathematical mechanism of how the periodic solution (dis)appears in this piecewise-smooth model. A comprehensive bifurcation analyses of all dynamical regimes of this limiting case of the Welander model has been presented in [16].

While instantaneous switching between different phases is an interesting limiting case, most models will feature a continuous and smooth switching function to represent switching behaviour. In the Welander model, which is introduced in detail in Sec. 2, switching is realised by a tanh\tanh function with a switching timescale parameter ε\varepsilon. This switching function becomes a step function for ε=0\varepsilon=0, but otherwise the model is smooth. The existence of periodic solutions for ε>0\varepsilon>0 was also studied in [16]; the arguably surprising result is that the Welander model supports oscillations only when the switching between convective and diffucsive mixing phases is sufficiently fast.

We present here an investigation into the nature of the oscillations of the Welander model for positive ε\varepsilon in terms of the existence of deep-coupling phases where mixing is convective, and deep-decoupling phases characterised by weaker diffusive mixing. We take a mathematical approach grounded in dynamical system theory for systems of smooth differential equations [17, 18] in combination with the continuation software AUTO [19]. We define the boundaries of the switching zone for any ε0\varepsilon\geq 0, and this enables us to determine when the periodic solution has a component in the zones of deep coupling and/or of deep decoupling. For the limiting case ε=0\varepsilon=0, we find only oscillations with both a deep-coupling and a deep-decoupling phase [10, 15, 16], which we refer to as Welander oscillations. For ε>0\varepsilon>0, however, these are no longer the only type of oscillation. We present a bifurcation analysis that distinguishes different sub-regions in the relevant parameter plane (of virtual salinity flux and density threshold), where the corresponding oscillation has qualitatively different features. In particular, we find that the existence of Welander deep-(de)coupling oscillations requires even faster switching than needed to sustain periodic solutions.

The paper is organised as follows. Section 2 introduces Welander’s model, and this is followed in Sect. 3 by a brief presentation of the oscillatory regime for the piecewise-smooth limiting case ε=0\varepsilon=0. In Sec. 4, we define the boundary of the switching zone and the zones of deep-(de)coupling for ε>0\varepsilon>0. Section 5 then discusses the different types of oscillations and where they can be found for the representative value ε=0.009\varepsilon=0.009. We start by showing that Welander deep-(de)coupling oscillations still exist, and show in Sec. 55.1 that they are lost when the underlying periodic orbit becomes tangent to the boundary of the switching zone. In Sec. 55.2, we then present bifurcation diagrams that show for which combinations of virtual salinity flux and density threshold Welander and other types of oscillations exist; their properties in terms of different oscillation phases are detailed in Sec. 55.3. By way of an interpretation of these results, Sec. 6 discusses how the nature of the observed oscillation changes gradually when the virtual salinity flux slowly decreases, as would be the case with increasing influx of meltwater from the Greenland ice sheet. Section 7 then shows how the bifurcation diagram in the parameter plane changes with increasing ε\varepsilon, as the region of periodic solutions shrinks and then disappears. The final Sec. 8 discusses our findings and points out directions for future investigations.

2 Conceptual mixing model

Refer to caption
Figure 1: Deep water formation in the North Atlantic and its modelling. Panel (a) presents the Greenland Ice Sheets (GIS), and the Labrador and Nordic seas with the average mixing depth in meters during January 1958 using ORAS5 global ocean reanalysis data [20]; here, dark blue regions illustrate deeper mixing depths, indicating areas of active deep water formation. Panel (b) is a schematic of the two-box Welander model as described by Eqs. (1).

The [12] model comprises of two vertically stacked boxes representing the surface and deep ocean near deep water formation sites in the subpolar North Atlantic, as shown in Fig. 1(a). It describes the evolution of salinity SS and temperature TT in the surface box of height HH that is coupled to a deep water box with prescribed and fixed temperature T0T_{0} and salinity S0S_{0}. Figure 1(b) presents a schematic of this model. Temperature and salinity between the surface and bottom boxes interact according to a mixing process with the exchange function Kε(ρ)K_{\varepsilon}(\rho) that depends on the density ρ\rho at the surface relative to that of the bottom box. Moreover, the salinity SS in the surface box experiences the virtual salinity flux S0F0S_{0}F_{0}, while the temperature TT is relaxing to the atmospheric temperature TaT_{a} at rate γ\gamma. The overall model takes the form

dTdt=γ(TTa)(TT0)Kε(ρ),\displaystyle\frac{dT}{dt}=-\gamma(T-T_{a})-(T-T_{0})K_{\varepsilon}(\rho), (1)
dSdt=F0S0H(SS0)Kε(ρ).\displaystyle\frac{dS}{dt}=\frac{F_{0}S_{0}}{H}-(S-S_{0})K_{\varepsilon}(\rho).

Here, we parameterize the vertical mixing process between the two boxes with enhanced diffusion, as also done in earlier studies [21, 22]; specifically, the convective exchange function

Kε(ρ)=k1+12(k2k1)(1+tanh(ρρ0gε)),\displaystyle K_{\varepsilon}(\rho)=k_{1}+\frac{1}{2}(k_{2}-k_{1})\left(1+\tanh{\left(\frac{\rho-\rho_{0}-g^{*}}{\varepsilon}\right)}\right), (2)

smoothly transitions between diffusive and convective vertical mixing phases, given by vertical mixing coefficients k1k_{1} and k2k_{2}, where 0<k1<k20<k_{1}<k_{2}. Further, gg^{*} is the density threshold that controls the transition between the two types of mixing. When the density difference ρρ0\rho-\rho_{0} between the surface and bottom box exceeds gg^{*}, the water column becomes unstably stratified. Consequently, denser surface water overlies a lighter deep water, promoting strong, vigorous convective mixing between the boxes, represented by k2k_{2}. In contrast, when ρρ0\rho-\rho_{0} falls below gg^{*}, the water column is stably stratified, resulting in weak, diffusive mixing represented by k1k_{1}. Note that the slope of Kε(ρ)K_{\varepsilon}(\rho) at ρρ0=g\rho-\rho_{0}=g^{*} is 1/ε1/\varepsilon. The smaller ε\varepsilon, the steeper is this slope and, hence, the faster the transition, which is why we refer to ε\varepsilon as the switching timescale parameter. Indeed, for ε=0\varepsilon=0 the transition is ‘infinitely fast’, that is, instantaneous.

To complete the model and express Kε(ρ)K_{\varepsilon}(\rho) as a function of SS and TT, we follow standard practice in many conceptual box models [12, 10, 23] and employ a linear equation of state

ρρ0=1+αS(SS0)αT(TT0).\displaystyle\frac{\rho}{\rho_{0}}=1+\alpha_{S}(S-S_{0})-\alpha_{T}(T-T_{0}). (3)

Here, αS\alpha_{S} and αT\alpha_{T} are the saline expansion and thermal compression coefficients, respectively, and the bottom box is taken as a prescribed reference state to measure the relative dynamics of the surface box.

The analysis of system (1) with Kε(ρ)=Kε(S,T)K_{\varepsilon}(\rho)=K_{\varepsilon}(S,T) as given by (2) and (3) is greatly simplified by non-dimensionalising [10, 16], which reduces the number of parameters. The resulting model is given by

x˙=1x𝒦ε(x,y)x,\displaystyle\dot{x}=1-x-\mathcal{K}_{\varepsilon}(x,y)x, (4)
y˙=μ𝒦ε(x,y)y,\displaystyle\dot{y}=\mu-\mathcal{K}_{\varepsilon}(x,y)y,

for the non-dimensional temperature xx and salinity yy; here, the dot represents the derivative with respect to the rescaled time and μ\mu is the rescaled virtual salinity flux. Additionally, the convective exchange function now takes the form

𝒦ε(x,y)=κ1+12(κ2κ1)(1+tanh(yxηε)),\displaystyle\mathcal{K}_{\varepsilon}(x,y)=\kappa_{1}+\frac{1}{2}(\kappa_{2}-\kappa_{1})\left(1+\tanh{\left(\frac{y-x-\eta}{\varepsilon}\right)}\right), (5)

where κ1\kappa_{1} and κ2\kappa_{2} are the non-dimensional vertical mixing coefficients and η\eta is the non-dimensional density threshold. Conveniently, the non-dimensional density takes the simple form ρ=yx\rho=y-x, so that we have 𝒦ε(ρ)=𝒦ε(x,y)\mathcal{K}_{\varepsilon}(\rho)=\mathcal{K}_{\varepsilon}(x,y).

We refer to system (4) with (5) as the adjusted Welander model, and it is our main object of study. Specifically, we fix the vertical mixing coefficients at κ1=0.1\kappa_{1}=0.1 and κ2=1.0\kappa_{2}=1.0, as in [16], and investigate the location in the (μ,η)(\mu,\eta)-plane of oscillations with both deep-decoupling and deep-coupling phases, and how their existence depends on the switching timescale parameter ε\varepsilon. To this end, we make use of the fact that the adjusted Welander model is an example of a ‘switched’ slow-fast system [24, 25]. More specifically, the convective exchange function 𝒦ε(ρ)\mathcal{K}_{\varepsilon}(\rho) in (5) is a switch from κ1\kappa_{1} for small ρ\rho to κ2\kappa_{2} for large ρ\rho; the switching happens over a ρ\rho-interval around ρ=η\rho=\eta, whose width shrinks to 0 with ε\varepsilon.

3 Welander oscillations of the piecewise-smooth limit

Refer to caption
Figure 2: Bifurcation diagrams and representations of the stable periodic solution of system (4) with ε=0\varepsilon=0. Panel (a) is the bifurcation diagram in the (μ,η)(\mu,\eta)-plane with curves BE1\mathrm{BE_{1}}, BE2\mathrm{BE_{2}}, BB\mathrm{BB}, and PS\mathrm{PS} of discontinuity-induced bifurcations (coloured as in [16]) that bound the region WW of Welander oscillations (shaded purple). Panel (b) shows the one-parameter bifurcation diagram in μ\mu for fixed η=0.17\eta=-0.17, with branches of equilibria (black; solid when stable, dashed when unstable) and the branch of periodic solutions represented by their minimum and maximum values yminy_{\rm min} and ymaxy_{\rm max} (green curves). Panel (c) shows the time series of temperature xx (blue) and salinity yy (green) for (μ,η)=(0.219,0.17)(\mu,\eta)=(0.219,-0.17), at the marker in panel (a1). Panel (d1) shows the corresponding stable periodic solution Γ\Gamma (green) on the piecewise constant graph of 𝒦ε\mathcal{K}_{\varepsilon} over the (x,y)(x,y)-plane; here, the graph is coloured blue where 𝒦ε=κ1\mathcal{K}_{\varepsilon}=\kappa_{1} over R1R_{1} and red where 𝒦ε=κ2\mathcal{K}_{\varepsilon}=\kappa_{2} over R2R_{2}, which are connected by the instantaneous vertical switching plane Σ\Sigma (grey). Panels (d2) and (d3) are the correspondingly coloured time series of 𝒦ε\mathcal{K}_{\varepsilon} and ρ\rho along Γ\Gamma, respectively.

In the limit ε=0\varepsilon=0, the switching between κ1\kappa_{1} and κ2\kappa_{2} is instantaneous and system (4) is no longer smooth; rather, it is now a piecewise linear system with a discontinuity along the line where ρ=yx=η\rho=y-x=\eta. As the starting point of our investigation, we recall and present where in the (μ,η)(\mu,\eta)-plane one finds a piecewise smooth periodic orbits, corresponding to Welander oscillations (see [16] for a complete bifurcation analysis of this limiting case).

For ε=0\varepsilon=0, system (4) with (5) is known as a planar Filipov system [26, 27, 28] with the two adjacent regions or zones

R1\displaystyle R_{1} ={(x,y)2,y<x+η},\displaystyle=\{(x,y)\in\mathbb{R}^{2},\ y<x+\eta\},
R2\displaystyle R_{2} ={(x,y)2,y>x+η},\displaystyle=\{(x,y)\in\mathbb{R}^{2},\ y>x+\eta\},

which are separeted by the switching line

Σ={(x,y)2,y=x+η}.\displaystyle\Sigma=\{(x,y)\in\mathbb{R}^{2},\ y=x+\eta\}.

Zone R1R_{1} represents a stably stratified water column with diffusive mixing and, conversely, zone R2R_{2} represents an unstably stratified water column with associated vigorous convective mixing that couples the surface and deep water boxes. The dynamics in R1R_{1} is determined by setting 𝒦ε(ρ)κ1\mathcal{K}_{\varepsilon}(\rho)\equiv\kappa_{1} in (4), and that in R2R_{2} by setting 𝒦ε(ρ)κ2\mathcal{K}_{\varepsilon}(\rho)\equiv\kappa_{2}. Both of these systems are linear, and this implies that any periodic solutions of the planar Filipov system (4) with ε=0\varepsilon=0 must consist of a segment in zone R1R_{1} and a segment in zone R2R_{2} and, thus, cross the switching line Σ\Sigma twice.

Figure 2 illustrates that this type of oscillating solution exists, namely for parameter combinations of μ\mu and η\eta in the shaded parameter region labeled W of the (μ,c)(\mu,c)-plane shown in panel (a). Along the curves FF\mathrm{FF}, BE1\mathrm{BE}_{1}, BB\mathrm{BB} and BE2\mathrm{BE_{2}} that bound this region one finds discontinuity-induced bifurcations [27, 29, 26] that lead to the emergence or disappearance of the periodic solution [16]. When η\eta is fixed at a correpsonding value, a stable periodic solution Γ\Gamma exist for μ\mu-values between the discontinuity-induced bifurcations BE1\mathrm{BE_{1}} and BE2\mathrm{BE_{2}}. This is illustrated in Fig. 2(b) for η=0.17\eta=-0.17, where Γ\Gamma is represented by its maximal and minimal yy-values; note that system (4) with ε=0\varepsilon=0 converges to stable equilibria outside the range of the stable periodic solution. Panel (c) shows the stable oscillating solution for (μ,η)=(0.219,0.17)(\mu,\eta)=(0.219,-0.17) as the time series of temperature xx and salinity yy. Notice the piecewise smooth nature of these Welander oscillations, with corners (discontinuities of their derivative) at the maxima and minima; they are indeed consistent with oscillations found in earlier studies [10, 12].

To clarify which parts of the stable periodic orbit are in R1R_{1} and in R2R_{2}, respectively, we show Γ\Gamma in Fig. 2(d1) on the piecewise-constant graph of the convective exchange function 𝒦ε\mathcal{K}_{\varepsilon} with ε=0\varepsilon=0; the switching line Σ\Sigma is represented here by a vertical plane connecting the plateaux of constant κ1\kappa_{1} over R1R_{1} and κ2\kappa_{2} over R2R_{2}. As is illustrated also by the time series of 𝒦ε\mathcal{K}_{\varepsilon} in Fig. 2(d2), the periodic solution Γ\Gamma indeed features an alternation of deep-decoupling and deep-coupling phases of considerable lengths, with instantaneous switching at Σ\Sigma between them. This oscillating behaviour is represented in panel (d3) by the time series of the density ρ\rho in the surface box. Notice the non-smooth nature of the oscillation whenever the threshold ρ=η\rho=\eta defining Σ\Sigma is crossed. The density is above this threshold during the deep-coupling phase, where the mixing is convective and vigorous. This phase ends abruptly when Γ\Gamma crosses Σ\Sigma, which results in an immediate switch to a stable stratification of the water column. This is the beginning of the deep-decoupling phase with only weak, diffusive mixing, which ends when Γ\Gamma crosses Σ\Sigma again and there is, hence, an immediate switch back to the deep-coupling phase. We remark that the deep-decoupling phase of Γ\Gamma is longer when μ\mu is closer to the boundary BE1\mathrm{BE}_{1} in Fig. 2(a) and (b). Conversely, higher values of μ\mu near BE2\mathrm{BE_{2}} lead to a longer deep-coupling phase.

4 Switching zone of the smooth model

Figure 2 shows that any periodic orbit of system (4) with ε=0\varepsilon=0 necessarily has both a deep-coupling phase and a deep-decoupling phase, which is the characterising property of Welander oscillations. We now address the question whether and where Welander oscillations can be found when ε>0\varepsilon>0. Our starting point is the analysis in [16], which showed that there exists a region of the (μ,η)(\mu,\eta)-plane where a stable periodic orbit Γ\Gamma exists, provided ε\varepsilon is sufficiently small, namely below ε0.147\varepsilon^{*}\approx 0.147. However, no statement has been made previously as to when this periodic orbit is actually a Welander oscillation.

For non-zero ε>0\varepsilon>0 the transition between the deep-decoupling phase near κ1\kappa_{1} and the deep-decoupling phase near κ2\kappa_{2} is no longer instantaneous. Instead, it occurs within an intermediate (narrow) switching zone of the (x,y)(x,y)-plane that corresponds to the steep part of the now smooth convective exchange function 𝒦ε\mathcal{K}_{\varepsilon} from (5). To make this idea precise, one needs to decide when the switching begins and ends. This can be done in different ways, such as by setting threshold values for 𝒦ε\mathcal{K}_{\varepsilon} or by considering a percentage deviation from κ1\kappa_{1} and κ2\kappa_{2}.

We adopt here a geometric approach and define the switching part to lie in between the two points of maximal curvature of the graph of 𝒦ε\mathcal{K}_{\varepsilon} as a function of the density ρ\rho. These points can be found from (5) as the zeros of the derivative of the curvature along 𝒦ε(ρ)\mathcal{K}_{\varepsilon}(\rho); their ρ\rho-values are given as the roots ρ±\rho^{\pm} of the function

G(ρ)\displaystyle G(\rho) =8ε24(κ1κ2)\displaystyle=8\varepsilon^{2}-4(\kappa_{1}-\kappa_{2}) (6)
+(9ε2+8(κ1κ2)2)cosh(2(ρη)ε)\displaystyle+\left(9\varepsilon^{2}+8(\kappa_{1}-\kappa_{2})^{2}\right)\cosh\left(\frac{2(\rho-\eta)}{\varepsilon}\right)
ε2cosh(6(ρη)ε),\displaystyle-\varepsilon^{2}\cosh\left(\frac{6(\rho-\eta)}{\varepsilon}\right),

and the corresponding κ\kappa-values are L±=𝒦ε(ρ±)L^{\pm}=\mathcal{K}_{\varepsilon}(\rho^{\pm}) according to (5) with ρ=yx\rho=y-x.

Refer to caption
Figure 3: The maximum curvature points L±L^{\pm} of the convective exchange function 𝒦ε(ρ)\mathcal{K}_{\varepsilon}(\rho). Panel (a) shows them for ε=0.02\varepsilon=0.02 and η=0.17\eta=-0.17 on the graph of 𝒦ε(ρ)\mathcal{K}_{\varepsilon}(\rho), which is coloured blue up to LL^{-} and red from L+L^{+}, with transitional, fainter colouring in between. Panels (b) and (c) show, respectively, the ρ\rho-values ρ±\rho^{\pm} and corresponding κ\kappa-values of L±L^{\pm} as functions of ε\varepsilon over the range [0,0.3][0,0.3].

Figure 3 illustrates the location of the maximum curvature points, which we also denote L±L^{\pm} for notational convenience. Panel (a) displays 𝒦ε(ρ)\mathcal{K}_{\varepsilon}(\rho) for ε=0.02\varepsilon=0.02 with η=0.17\eta=-0.17, with LL^{-} and L+L^{+} clearly lying where the curvature of this graph is largest. The color scheme indicates that 𝒦ε(ρ)\mathcal{K}_{\varepsilon}(\rho) is near κ1\kappa_{1} to the left of LL^{-} and near κ2\kappa_{2} to the right of L+L^{+}, with a rapid but smooth switch between the two over the ρ\rho-range in between LL^{-} and L+L^{+}. Panels (b) and (c) of Fig. 3 show how the points L±L^{\pm} depend on ε\varepsilon over a considerable range, which includes the value ε0.147\varepsilon^{*}\approx 0.147 beyond which system (4) is no longer able to exhibit oscillations [16]. In the limit ε=0\varepsilon=0 the associated ρ\rho-values coincide at ρ±=η\rho^{\pm}=\eta and the κ\kappa-values are κ1\kappa_{1} and κ2\kappa_{2}, respectively. When ε\varepsilon is increased from 0, the distance in ρ\rho between LL^{-} and L+L^{+} increases quite rapidly, while the corresponding κ\kappa-values remain very close to κ1\kappa_{1} and κ2\kappa_{2}.

Overall, Fig. 3 shows that it quite a natural choice, for any ε0\varepsilon\geq 0, to consider the maximal curvature points L±L^{\pm} as the boundary of the switching part of the convective exchange function 𝒦ε(ρ)\mathcal{K}_{\varepsilon}(\rho). It results in the division of the (x,y)(x,y)-plane of system (4) into the three distinct open regions

R1\displaystyle R_{1} ={(x,y)2,𝒦ε(x,y)<L},\displaystyle=\{(x,y)\in\mathbb{R}^{2},\ \mathcal{K}_{\varepsilon}(x,y)<L^{-}\}, (7)
S\displaystyle S ={(x,y,)2,L<𝒦ε(x,y)<L+},\displaystyle=\{(x,y,)\in\mathbb{R}^{2},\ L^{-}<\mathcal{K}_{\varepsilon}(x,y)<L^{+}\}, (8)
R2\displaystyle R_{2} ={(x,y)2,L+<𝒦ε(x,y)},\displaystyle=\{(x,y)\in\mathbb{R}^{2},\ L^{+}<\mathcal{K}_{\varepsilon}(x,y)\}, (9)

by the two lines along which 𝒦ε(x,y)=L±\mathcal{K}_{\varepsilon}(x,y)=L^{\pm}. To avoid confusion with regions in the parameter (μ,η)(\mu,\eta)-plane we discuss in Sec. 5, we again rather speak of zones: the deep-decoupling zone R1R_{1}, the switching zone SS, and the deep-coupling zone R2R_{2}.

For ε=0\varepsilon=0 this division of the phase plane reduces to that into only the two zones R1R_{1} and R2R_{2}, since then S=S=\emptyset with L±=ΣL^{\pm}=\Sigma. For ε>0\varepsilon>0, zone R1R_{1} indeed still represents the deep-decoupling regime with 𝒦ε(x,y)\mathcal{K}_{\varepsilon}(x,y) very near κ1\kappa_{1}, and zone R2R_{2} the deep-coupling regime with 𝒦ε(x,y)\mathcal{K}_{\varepsilon}(x,y) very near κ2\kappa_{2}. However, there is now a local timescale separation: in zones R1R_{1} and R2R_{2} the dynamics is much slower, compared to the fast switching between κ1\kappa_{1} and κ2\kappa_{2} in zone SS. We remark that the dynamics in the intermediate region SS represents a slow-fast desingularization or “blow up" with ε\varepsilon of the switching line Σ\Sigma [30, 31].

5 Welander oscillations with smooth switching

Refer to caption
Figure 4: Welander oscillation at (μ,η)=(0.14,0.3)(\mu,\eta)=(0.14,-0.3) of system (4) with ε=0.009\varepsilon=0.009. Panel (a1) shows the corresponding stable periodic solution Γ\Gamma (green) on the graph of 𝒦ε\mathcal{K}_{\varepsilon} (colored as in Fig. 3(a)) with L±L^{\pm}, and panels (d2) and (d3) are the corresponding time series of 𝒦ε\mathcal{K}_{\varepsilon} and ρ\rho. Compare with Fig. 2(d1)–(d3).

Welander oscillations can be found for sufficiently small ε>0\varepsilon>0, and an example with ε=0.009\varepsilon=0.009 is shown in Fig. 4. Panel (a1) shows the underlying stable periodic orbit Γ\Gamma on the graph of 𝒦ε\mathcal{K}_{\varepsilon}. It indeed features a deep-decoupling phase in R1R_{1} and a deep-coupling phase in R2R_{2}, now with transitions through the switching zone SS. The time series of 𝒦ε\mathcal{K}_{\varepsilon} in panels (a2) illustrate that this oscillation indeed spends considerable amounts of time in R1R_{1} and in R2R_{2}, respectively, with rapid transitions within SS on a faster timescale when L±L^{\pm} are crossed. The density ρ\rho in panel (a3) shows the same properties but is overall a more gradual oscillation: ρ\rho changes quite slowly during the deep-decoupled phase in R1R_{1}, where it has a minimum, and in the deep-coupling phase in R2R_{2}, where it has a maximum; the faster transtions through the switching zone SS occur in the range between ρ\rho^{-} and ρ+\rho^{+}. Comparison with Fig. 2(d1)–(d3) shows that the Welander oscillation shown in Fig. 4 is the natural counterpart for ε>0\varepsilon>0 of those of the piecewise smooth limit for ε=0\varepsilon=0. Indeed, its characterizing feature is that the coexistence of these deep-(de)coupling phases generates extended periods of inactive and active deep water production; notice that the actual switching time is short here, namely about 8% of the period of the oscillation.

5.1 Tangencies of periodic solution with L±L^{\pm}

Refer to caption
Figure 5: Tangencies of the periodic orbit Γ\Gamma of system (4) with ε=0.009\varepsilon=0.009, shown as in Fig. 4. Panels (a1)–(a3) show the tangency T+T^{+} of Γ\Gamma with L+L^{+} at (μ,η)=(0.1616,0.17)(\mu,\eta)=(0.1616,-0.17), and panels (b1)–(b3) show its tangency TT^{-} with LL^{-} at (μ,η)=(0.3092,0.17)(\mu,\eta)=(0.3092,-0.17).

The stable periodic orbit Γ\Gamma in Fig. 4 can be followed or continued as the virtual salinity μ\mu and the density threshold η\eta are varied. In the process, the lengths of its deep-decoupling phase in R1R_{1} and its deep-coupling phase in R2R_{2} change. In fact, either phase may shrink down to zero and disappear, and this happens when Γ\Gamma becomes tangent to LL^{-} or L+L^{+}. Figure 5 illustrates two cases for fixed η=0.17\eta=-0.17 in the style of Fig. 4. Panels (a1)–(a3) of Fig. 5 show the situation when Γ\Gamma is tangent to the upper threshold L+L^{+}, and we refer to this tangency as T+T^{+}. While the periodic orbit still crosses the entire switching zone SS to just reach ρ+\rho^{+} at the maximum of ρ\rho, it no longer enters the zone R2R_{2} and, hence, Γ\Gamma no longer has a deep-coupling phase. Physically, the water column is almost sufficiently destabilized: changing the virtual salinity μ\mu slightly will result in one of two changes: either a deep-coupling phase will form in zone R2R_{2}, evolving on a slower timescale and with a density sufficient for convective mixing to occur, or the solution will be completely contained within zones SS and R1R_{1}. Fig. 5(ab)–(b3) presents the converse scenario of the tangency TT^{-}, where Γ\Gamma is tangent to the lower threshold LL^{-}. Here the density has a minimum at ρ+\rho^{+} and changing μ\mu slightly will result in either the formation of a deep-decoupling phase, or the oscillation being restricted to zones SS and R2R_{2}.

5.2 Existence region in the (μ,η)(\mu,\eta)-plane

Refer to caption
Figure 6: Bifurcation diagrams of system (4) with ε=0.009\varepsilon=0.009. Panel (a) shows the region in the (μ,η)(\mu,\eta)-plane where there exists a stable periodic orbit Γ\Gamma; it is bounded by branches H\mathrm{H} of Hopf bifurcation (green) and S\mathrm{S} of saddle-node bifurcation (gray, and black when a SNIC), which meet at the shown points BT\mathrm{BT} of Bogdanov-Takens and N\mathrm{N} of non-central saddle-node bifurcation. This region is divided by the tangency curves T+T^{+} and TT^{-} into the four sub-regions PSP_{S} (shaded gray), P1P_{1} (shaded blue), P2P_{2} (shaded red), and WW (shaded purple) of different types of oscillations. One-parameter bifurcation diagrams in μ\mu along the accordingly labeled horizontal lines at η=0.05\eta=0.05, η=0.17\eta=-0.17 and η=0.3\eta=-0.3 are presented in panels (b), (c) and (d), respectively. Shown are the values of ρ\rho of branches of equilibria (black; solid when stable, dashed when unstable), and the minimum and maximum values ρmin\rho_{\rm min} and ρmax\rho_{\rm max} of Γ\Gamma between the two points H\mathrm{H}, which are coloured by the value of 𝒦ε(ρ)\mathcal{K}_{\varepsilon}(\rho) as in Fig. 3(a); the tangency points T+T^{+} and TT^{-} delimit the μ\mu-ranges of the deep-decoupling phase (blue) and the deep-coupling phase (red), respectively.

The stable periodic orbit Γ\Gamma of system (4) exists, for sufficiently small ε\varepsilon, in a region of the (μ,η)(\mu,\eta)-plane that is the continuation of the triangular region WW in Fig. 2(a). Figure 6(a) shows this region for ε=0.009\varepsilon=0.009. It is bounded almost entirely by a curve H\mathrm{H} of Hopf bifurcation, all the way from the point N\mathrm{N} of non-central saddle-node bifurcation to the point BT\mathrm{BT} of Bogdanov-Takens bifurcation (from where H\mathrm{H} emerges). Between BT\mathrm{BT} and N\mathrm{N} the boundary is formed by the part of a curve S\mathrm{S} of saddle-node bifurcations, where the saddle-node lies on the periodic orbit Γ\Gamma (this is also known as a SNIC or SNIPER bifurcation [17, 18]). Additional bifurcation curves emerge from the points N\mathrm{N} and BT\mathrm{BT}, but they bound such narrow regions [16] that they are not of interest for the discussion here.

A crucial difference with the limiting case ε=0\varepsilon=0 is that the stable periodic orbit Γ\Gamma for ε>0\varepsilon>0 is not necessarily a Welander oscillation. In fact, when it is born at the Hopf bifurcation H\mathrm{H} the periodic orbit is initially very small and surrounds an equilibrium in the switching zone SS [16]; therefore, it is not a Welander oscillation near the curve H\mathrm{H}. However, as Γ\Gamma grows, it has tangencies T±T^{\pm} with L±L^{\pm} and then enters the respective zones R1R_{1} and/or R2R_{2}. In the (μ,η)(\mu,\eta)-plane these two types of tangencies from Fig. 5 occur along the curves T+T^{+} and TT^{-}. These two curves can be found by continuing Γ\Gamma together with the condition that it is tangent to L+L^{+} and LL^{-}, respectively; the boundary value problem setup required for this computation is described briefly in Appendix A.

As Fig. 6(a) shows, the curves T±T^{\pm} divide the region of existence of Γ\Gamma into the four parameter sub-regions PSP_{S}, P1P_{1}, P2P_{2} and WW. As we discussed in Sec. 5.1, when crossing T+T^{+} and TT^{-}, the periodic orbit Γ\Gamma gains or loses its deep-coupling or deep-decoupling phase. Hence, the bifurcation diagram in the (μ,η)(\mu,\eta)-plane provides a complete characterization of the nature of oscillations in system (4), where each sub-region corresponds to a different combination in terms of the existence of deep-(de)coupling phases. In particular, only in region WW one finds Welander oscillations with both a deep-coupling and a deep-decoupling phase. Note from the shape of region WW in Fig. 6(a) that Welander oscillations require lower values of the density threshold η\eta, with lower values of the virtual salinity flux μ\mu for lower η\eta. To illustrate further how the different types of oscillations arise, we present in panels (b)–(d) of Fig. 6 the one-parameter bifurcation diagrams in μ\mu for the three fixed values of η\eta that are indicated by the corresponding horizontal lines in panel (a).

For η=0.05\eta=0.05 as in Fig. 6(b), the periodic orbit Γ\Gamma appears and disappears for increasing μ\mu at the Hopf bifurcations H\mathrm{H}. In between these two points, the tangency curves T±T^{\pm} are not encounterd. Therefore, Γ\Gamma remains entirely in the switching zone SS along the entire shown branch of periodic solutions, which is represented again by the maximum and minimum values of ρ\rho along Γ\Gamma. Figure 6(c) shows the bifurcation diagram in μ\mu for η=0.17\eta=-0.17, which is a value for which the tangency curves T±T^{\pm} in panel (a) are encountered, namely twice each. Immediately after the Hopf bifurcation that creates Γ\Gamma in Fig. 6(c), the oscillation is confinced to the switching zone SS. However, the tangency TT^{-} with LL^{-} takes place already for a slightly larger value of μ\mu. Subsequently, Γ\Gamma has a deep-decoupling phase, over the μ\mu-range up to the second encounter with the curve TT^{-} at μ0.3092\mu\approx 0.3092. The tangency T+T^{+} with L+L^{+} takes place only at μ0.1616\mu\approx 0.1616, and Γ\Gamma has a deep-coupling phase until T+T^{+} is encountered again, which happens very close to the Hopf bifurcation H\mathrm{H} where Γ\Gamma disappears. Hence, there are Welander oscillations in the range μ[0.1616,0.3092]\mu\in[0.1616,0.3092]; the two tangencies shown in Fig. 5 are exactly those at the two end points T+T^{+} and TT^{-} of this range for η=0.17\eta=-0.17.

In Fig. 6(d) for the even lower value of η=0.3\eta=-0.3, the order in which the curves T±T^{\pm} are encountered remains unchanged; however, the two left-hand instances of TT^{-} and T+T^{+} are now extremely close to the left-most Hopf bifurcation point H\mathrm{H} and, similarly, the right-hand points TT^{-} and T+T^{+} are extremely close to the right-most point H\mathrm{H}. This means that, for η=0.3\eta=-0.3, Welander oscillations with definite deep-coupling and deep-decoupling phases exist, for all practical purposes, throughout the entire μ\mu-range of existence of the stable periodic orbit Γ\Gamma. As the two-parameter bifurcation diagram in panel (a) shows, this is also the case along horozontal lines for even lower η\eta, as long as they are above the point N\mathrm{N}. Notice also that the size of Γ\Gamma, which is represented by ρmin\rho_{\min} and ρmax\rho_{\max} in Fig. 6(d), grows (or shrinks) extremely rapidly over tiny μ\mu-intervals near the two points H\mathrm{H} of Hopf bifurcation. This phenomenon is typical for slow-fast systems and known as a canard explosion [32, 31].

5.3 The four types of mixing oscillations

Refer to caption
Figure 7: The periodic orbit Γ\Gamma of system (4) with ε=0.009\varepsilon=0.009, when it is of type PSP_{S} at (μ,η)=(0.32,0.05)(\mu,\eta)=(0.32,-0.05) in panels (a1)–(a3), of type P1P_{1} at (μ,η)=(0.11,0.17)(\mu,\eta)=(0.11,-0.17) in panels (b1)–(b3), and of type P2P_{2} at (μ,η)=(0.32,0.17)(\mu,\eta)=(0.32,-0.17) in panels (c1)–(c3), shown as in Figs. 4 and 5.

The example in Fig. 4 of a Welander oscillation with (μ,η)=(0.14,0.3)(\mu,\eta)=(0.14,-0.3) actually shows Γ\Gamma at the star in region WW of Fig. 6(a). The oscillations in the parameter sub-regions PSP_{S}, P1P_{1} and P2P_{2} are shown in the same way in Fig. 7, as represented by Γ\Gamma at the stars in these corresponding sub-regions of the (μ,η)(\mu,\eta)-plane in Fig. 6(a). These illustrations of Γ\Gamma on the graph of 𝒦ε\mathcal{K}_{\varepsilon}, with the times series of 𝒦ε\mathcal{K}_{\varepsilon} and ρ\rho, provide comprehensive insight into the nature of the different phases that define each type of oscillation.

Figure 7(a1) shows that the periodic orbit in sub-region PSP_{S} is confined to the switching zone SS; its time series of 𝒦ε\mathcal{K}_{\varepsilon} in panel (a2) and of ρ\rho in panel (a3) are almost sinosoidal and have a short period, which is due to Γ\Gamma evolving on the faster timescale associated with SS. Indeed, the oscillation in PSP_{S} lacks distinct deep-(de)coupling phases, meaning that there is no discernible deep water formation. Figure7(b1) shows Γ\Gamma in P1P_{1}, which is characterized by a deep-decoupled phase in zone R1R_{1} and fast excursions into zone SS, with the absence of a deep-coupling phase. The time series of 𝒦ε\mathcal{K}_{\varepsilon} in panel (b2) shows a clear timescale separation: the deep-decoupled phase continues for quite some time, and is periodically interrupted by short bursts of the period of the oscillation in panel (a2), with no distinct coupling phase. Panel (b3) shows that, during the deep-decoupled phase, the density ρ\rho has a value below ρ\rho^{-} for long times. Hence, there is predominantly diffusive mixing in a stably stratified water column, with only brief intervals during which deep water production attempts to recover but fails. In sub-region P2P_{2} one finds the converse: Γ\Gamma now has a deep-coupled phase in zone R2R_{2} with fast excursions into zone SS, but no deep-decoupled phase. This is illustrated in Figure7(c1) on the graph of 𝒦ε\mathcal{K}_{\varepsilon} with the associated time series in panel (c2). The quite long deep-coupling phase with strong convective mixing is interrupted periodically by the water column attempting to re-adjust to a stable stratified state. However, this is unsuccessful and mixing returns to being convective as the periodic solution re-enters the deep-coupled zone R1R_{1}. Panel (c3) illustrates that the density is generally sufficient to maintain an active deep water formation with brief lower-density episodes that are not causing a meaningful shutdown of convective mixing.

6 Drifting virtual salinity flux

We now study the influence of a steadily increasing freshwater influx in the North Atlantic, which corresponds to slowly decreasing virtual salinity flux, represented by μ\mu. The focus here is on an intermediate range of the density threshold η\eta, where one encounters the sub-regions P1P_{1}, WW and P2P_{2}. Our analysis so far reveals that decreasing μ\mu leads to progressively shorter deep-coupling phases and longer deep-decoupling phases. Hence, the deep water formation weakens and the AMOCs heat transport to the Northern Hemisphere diminishes in a negative convective feedback loop [33]. Furthermore, the deep water re-adjusts for short periods when the surface and deep-water boxes are decoupled, which can lead to low-frequency variations in the AMOC.

To model the deepwater formation process in this open system, we allow the virtual salinity μ\mu to drift with time tt according to the linear ramp function

μ(t)=(1rt)μstart+rtμend\displaystyle\mu(t)=(1-rt)\mu_{\rm start}+rt\mu_{\rm end} (10)

with rate (or slope of the ramp) rr, which is chosen to be sufficiently small to ensure that system (4) with (10) adiabatically tracks the respective stable solutions between μstart\mu_{\rm start} and μend\mu_{\rm end}. In other words, μ(t)\mu(t) changes slowly enough so that only gradual transitions between different types of deep-(de)coupling oscillations are observed. This approach enables us to identify qualitatively different density oscillations in system (4) under a real-time gradual freshwater influx — as could be observed in the modern climate due to an increased meltwater influx from the Greenland Ice Sheet into the Labrador and Nordic seas [34, 35, 36].

Refer to caption
Figure 8: Drifting dynamics of system (4) with ε=0.009\varepsilon=0.009 and for fixed η=0.17\eta=-0.17 when the virtual salinity decreases linearly from μstart=0.32\mu_{\rm start}=0.32 to μend=0.11\mu_{\rm end}=0.11 with rate of r=0.001r=0.001 in 10. Panel (a1) shows the ramping μ(t)\mu(t), and panel (a2) the corresponding time series of ρ\rho for t[0,1000]t\in[0,1000]. Also shown are the thresholds T±T^{\pm} and three chosen time intervals of width 2020 (shaded in grey). The time series of 𝒦ε\mathcal{K}_{\varepsilon} in each of these time intervals are shown in panels (b1), (c1) and (d1), and those of ρ\rho in panels (b2), (c2) and (d2).

Figure 8 illustrates the transition as the virtual salinity flux μ(t)\mu(t) gradually decreases. It begins at the star in sub-region P2P_{2} and ends at the star in sub-region P1P_{1} from the bifurcation diagram in Figure 6(a); in particular, ε=0.009\varepsilon=0.009 and η=0.17\eta=-0.17 here. Specifically, we consider μ(t)\mu(t) as given by (10), with the start point μstart=0.32\mu_{\rm start}=0.32, as in Figure 7(c1)–(c3), and end point μend=0.11\mu_{\rm end}=0.11, as Figure 7(b1)–(b3), and drift rate r=0.001r=0.001. This downward ramp is illustrated in Fig. 8(a1) over the 10001000 time units it takes to complete the drift from start to finish. The corresponding time series of the density ρ\rho of system (4) is shown in panel (a2), where the initial condition was a point on the periodic orbit Γ\Gamma in Figure 7(c1). Observe in Fig. 8(a2) the overall decreasing trend of ρ\rho, which is expected to accompany a freshening of the North Atlantic. This goes along with a shortening of the deep-coupling phase above ρ+\rho^{+}, and a considerable lengthening of the deep-coupling phase below ρ\rho^{-}. Indeed, the former phase only exists until μ(t)\mu(t) drifts past the tangency T+T^{+}, and the latter only exists past TT^{-}.

The drift rate rr is so small that the time series is effectively periodic over short time intervals; hence, the properties of the oscillation can be studied locally near a ‘frozen’ value of μ\mu. We now examine the time series of 𝒦ε\mathcal{K}_{\varepsilon} and ρ\rho in the three windows, of 20 time units each, that are highlighted in Fig. 8(a2). Panels (b1) and (b2) present these short time series in the first window with t[5,25]t\in[5,25], where we observe the characteristic properties of oscillations from sub-region P2P_{2}: long deep-decoupling phases interrupted by shorter dips in 𝒦ε\mathcal{K}_{\varepsilon} and ρ\rho; compare with Figure 7(c2) and (c3). The second time window with t[300,320]t\in[300,320] is well in between TT^{-} and T+T^{+}, and the corresponding short time series in Fig. 8(c1) and (c2) are indeed typical for Welander oscillations in sub-region WW. They exhibit fast switching between prolonged deep-coupling and deep-decoupling phases of comparable length, which are here of about the same length here; compare with Figure 4(a2) and (a3). As μ(t)\mu(t) monotonically decreases, the length of the deep-decoupling phases increases, and the periodic convective flushes during the deep-coupling phases completely vanish when TT^{-} is passed. As is illustrated with Fig. 8(d1) and (d2) for t[950,970]t\in[950,970], the short time series then clearly consists of long deep-coupling phases with periodic ‘blips’ where the water column briefly looses its stratification, which is the hallmark of sub-region P1P_{1}; compare with Figure 7(b2) and (b3).

7 Influence of the switching timescale parameter

Refer to caption
Figure 9: Bifurcation diagram in the (μ,η)(\mu,\eta)-plane of system (4) with ε=0.02\varepsilon=0.02 in panel (a), ε=0.041\varepsilon=0.041 in panel (b), ε=0.085\varepsilon=0.085 in panel (c), and ε=0.11\varepsilon=0.11 in panel (d). Shown are the sub-regions PSP_{S} (grey), P1P_{1} (light blue), P2P_{2} (light red) and WW (light purple), their bounding curves TT^{-} (blue), T+T^{+} (red), H\mathrm{H} (green) and S\mathrm{S} (gray, and black when a SNIC), and the points BT\mathrm{BT} and N\mathrm{N}. Compare with Fig. 6(a) and Fig. 2(a).

The parameter ε\varepsilon directly influences the switching time between the convective and non-convective mixing phases, and it plays a crucial role in determining the configuration of deep-(de)coupling oscillations observed in system (4). Since any oscillation completely disappears for ε>0.147\varepsilon>0.147 [16], we now address what this means for the fate of the sub-regions PSP_{S}, P1P_{1}, P2P_{2}, and WW.

Figure 9 presents the bifurcation diagrams of system (4) in the (μ,η)(\mu,\eta)-plane for four increasingly larger values of ε\varepsilon. As before, the relevant parts of the curves H\mathrm{H} of Hopf bifurcation and S\mathrm{S} of saddle-node bifurcation bound the region of existence of the stable periodic solution Γ\Gamma. Comparison of Fig. 6(a) for ε=0.009\varepsilon=0.009 with Fig. 9(a) for ε=0.02\varepsilon=0.02 and Fig. 9(b) for ε=0.041\varepsilon=0.041 reveals that these three bifurcation diagrams have the same qualitative features in terms of existence and locations of the sub-regions PSP_{S}, P1P_{1}, P2P_{2} and WW. In particular, they all feature Welander oscillations for lower values of η\eta above the point N\mathrm{N}. We conclude that the situation in Fig. 6 is representative of any positive ε\varepsilon over this initial range. In particular, as ε\varepsilon is decreased to 0 the Hopf bifucation curve H\mathrm{H}, and the tangency curves TT^{-} and T+T^{+} converge to the discontinuity indced bifurcations BE1\mathrm{BE}_{1}, FF\mathrm{FF} and BE2\mathrm{BE}_{2} in Figure 2(a). In the process, the sub-regions PSP_{S}, P1P_{1}, and P2P_{2} disappear, and only region WW of Welander oscillations remains in the limit ε=0\varepsilon=0.

While the bifurcation diagrams in Fig. 6(a) and panels (a) and (b) of Fig. 9 share their qualitative features, there are important quantitative differences. The existence region exhibiting oscillations decreases in size with increasing ε\varepsilon (notice the different scales of the panels of Fig. 9). At the same time, the relative sizes of the sub-regions PSP_{S} and P1P_{1} increase, while P2P_{2} and WW decrease significantly; they are quite small in Fig. 9(b) for ε=0.041\varepsilon=0.041. As is shown in Fig. 9(c), when the switching timescale parameter is increased to ε=0.085\varepsilon=0.085, the sub-regions P2P_{2} and WW and their bounding curve T+T^{+} have actually disappeared. This menas that the periodic orbit Γ\Gamma is always restricted to the switching zone SS and the deep-decoupling zone R1R_{1}. As a result, there are no longer any Welander oscillations, and deep water formation is suppressed. Note that the disappearance of Welander oscillations occurs substantially below ε0.147\varepsilon^{*}\approx 0.147, where the region of oscillations itself vanishes. Figure 9(d) presents the bifurcation diagram for ε=0.11\varepsilon=0.11, where now also sub-region P1P_{1} and its boundary curve TT^{-} have disappeared. Hence, the periodic solution always lies in the (now larger) switching zone SS.

Overall, we observe from Fig. 9 that the deep-coupling phase becomes increasingly limited with increasing ε\varepsilon. Already for ‘intermediate’ values of ε\varepsilon, system (4) is biased toward exhibiting deep-decoupling oscillations. Moreover, Welander oscillations, and deep-coupling phases more generally, only exist when the switching between zones R1R_{1} and R2R_{2} is sufficiently fast — considerably faster than required for the existence of oscillations in the first place.

8 Conclusions and outlook

We have provided a detailed analysis of deep-decoupling oscillations in the Welander model (4) with the smooth convective exchange function given by (5), which describes the transition between diffusive and convective mixing, the timescale of which is determined by the additional parameter ε\varepsilon. In the context of the deepwater formation, this model exhibits self-sustained oscillations of temperature and salinity at the ocean surface. We conducted a bifurcation analysis that identifies sub-regions in the (μ,η)(\mu,\eta)-plane of virtual salinity influx and density threshold where one finds different types of deep-(de)coupling oscillations. The Welander oscillations with coexisting deep-decoupling and deep-coupling phases, which were shown to be the only type of oscillation for ε=0\varepsilon=0, also exist for positive ε\varepsilon, but only up to a value considerable below the value ε\varepsilon^{*} where oscillations disappear altogether. Indeed, this means that other types of oscillations exist for ε>0\varepsilon>0, but which exhibit only a deep-decoupling phase, only a deep-coupling phase, or neither of the two. We delimited their sub-regions of existence in the (μ,η)(\mu,\eta)-plane for any given ε\varepsilon by computing curves of tangencies of the underlying stable periodic orbit with the boundary of the switching zone. Our bifurcation diagrams ‘extend’ the known results for ε=0\varepsilon=0 of instantaneous switching to the more general case where the switching is more gradual and described by a smooth convective exchange function with ε>0\varepsilon>0.

Overall, our results complete the analysis of the possible oscillatory behaviour exhibited by the Welander model. As we have shown, they may provide insights into the potential qualitative changes in the deepwater formation under an influx of freshwater. Specifically, we found that large influxes result in a shortening of the convective phase, leading to prolonged adjustment during deep-decoupled phases. Conversely, with lower levels of freshening, the deepwater formation strengthened due to longer phases of convective mixing and reduced weaker mixing.

We distinguished the deep-decoupling, switching and deep-coupling zones by the lines where the curvature of the convective exchange function is maximal. This is convenient mathematical choice that works well for all ε0\varepsilon\geq 0, but other choices for the boundaries of the switching zone could be made, such as using a percentage deviation from the minimum and maximum values κ1\kappa_{1} and κ2\kappa_{2}. Moreover, one might consider a smooth switching function different from the hyperbolic tangent in (5). Whatever the choice, the technique of finding the curves of tangency with these zone boundaries can still be used to identify where the different types of oscillations exist. Moreover, if the alternative boundaries are close to the lines L±L^{\pm} we considered here, then the respective sub-regions will only differ a little. Hence, what we presented is broadly representative for any reasonable choice of smooth switching function and switching thresholds. Since a form of convective adjustment is a common way to parameterize convective vertical mixing in (particular relatively low resolution) ocean models, our general approach can also be applied to the underlying convective adjustment scheme in more complex models. This would allow one to identify thresholds between deep-coupling and deep-decoupling regimes with realistic representations of the ocean and atmosphere dynamics. In particular, it will be interesting to determine the timescales of these two phases, in comparison with that of the (generally faster) switching between them; indeed, their ratio would give a ‘physical interpretation’ to the switching timescale parameter ε\varepsilon of the Welander model. In this way, it may also be possible to provide insights into the role of deep-decoupling oscillations in modelled D-O events [9].

A next step in the vein of conceptual modelling would be to consider the competition between convective and salt-advective feedback mechanisms in the AMOC [23]. This can be achieved by adding additional boxes to the current schematic in Figure 1. Alternatively, one could incorporate an advective term with a time delay to represent the AMOCs adjustment period. However, the latter yields a model in the form of a delay differential equation with an infinite dimensional state space, the analysis of which comes with its own challenges [37].

Appendix A Computing tangency curves

Equilibria, periodic orbits and their bifurcations can be found and followed in parameters with well-established numerical continuation techniques; see, for example, [38] as an entry point to the literature. We use here the continuation software package AUTO [19] to find the stable periodic orbit Γ\Gamma, as well as the bifurcation curves that bound the region where it exists; see [16] for more information on the exact nature of the bifurcations involved.

The important new aspect here is the computation of the curves TT^{-} and T+T^{+} by continuation, which we achieve as follows. The periodic orbit Γ\Gamma is continued from a point of Hopf bifurcation into the region WW, where it has two intersetion points with each of the switching lines LL^{-} and L+L^{+}. The periodic solution Γ\Gamma is found as an orbit segment 𝒖\bm{u} that satisfies a boundary value problem (BVP); more specifically, 𝒖(t)=(𝒖x(t),𝒖y(t))\bm{u}(t)=(\bm{u}_{x}(t),\bm{u}_{y}(t)) satisfies the differential equation (4) (after rescaling with the period TΓT_{\Gamma} of Γ\Gamma) subject to the periodicity conditions

{𝒖x(0)=𝒖x(1),𝒖y(0)=𝒖y(1).\displaystyle\begin{cases}\bm{u}_{x}(0)=\bm{u}_{x}(1),\\ \bm{u}_{y}(0)=\bm{u}_{y}(1).\end{cases} (11)

Note that the point 𝒖(0)\bm{u}(0) could be any point along Γ\Gamma for conditions (11) to be satisfied. This is why, to ensure this BVP is well defined and has a unique solution, one needs to impose a so-called phase condition [38, Chapter 1 by E. J. Doedel]. AUTO uses an integral phase condition [19], but we impose now the alternative condition

G(𝒖y(0)𝒖x(0))=0,G(\bm{u}_{y}(0)-\bm{u}_{x}(0))=0, (12)

where the function GG is as defined in (6). Hence, the point 𝒖(0)\bm{u}(0) is now a point on LL^{-} or L+L^{+}, and this also defines the solution 𝒖\bm{u} uniquely.

We remark that an initial solution 𝒖\bm{u} satisfying (11) and (12) can be found in AUTO by ‘rotating’ the data representing Γ\Gamma until (12) is satisfied. This orbit segement 𝒖\bm{u} can then be continued in a parameter, say, in μ\mu. When Γ\Gamma becomes tangent to the corresponding line LL^{-} or L+L^{+}, the continuation detects a fold point in the parameter (which is a double root of GG). This fold can then be continued in an additional parameter, say, in η\eta, yielding the respective curve TT^{-} and T+T^{+} in the (μ,η)(\mu,\eta)-plane.

References

  • [1] U. Mikolajewicz, E. Maier-Reimer, Internal secular variability in an ocean general circulation model, Climate Dynamics 4 (1990) 145–156.
  • [2] A. J. Weaver, J. Marotzke, P. F. Cummins, E. S. Sarachik, Stability and variability of the thermohaline circulaion, Journal of Physical Oceanography (1993) 39–60.
  • [3] T. Delworth, M. Mann, Observed and simulated multidecadal variability in the Northern Hemisphere, Climate Dynamics 16 (9) (2000) 661–676.
  • [4] D. L. Bars, J. P. Viebahn, H. A. Dijkstra, A Southern Ocean mode of multidecadal variability, Geophysical Research Letters 43 (2016) 1–9.
  • [5] J. Lohmann, H. A. Dijkstra, M. Jochum, V. Lucarini, P. D. Ditlevsen, Multistability and Intermediate tipping of the Atlantic Ocean Circulation, Science Advances 10 (2024) eadi4253.
  • [6] L. C. Menviel, L. C. Skinner, L. Tarasov, P. C. Tzedakis, An ice–climate oscillatory framework for Dansgaard–Oeschger cycles, Nature Reviews Earth & Environment 1 (12) (2020) 677–693.
  • [7] M. Winton, E. S. Sarachik, Thermohaline oscillations induced by strong steady salinity forcing of ocean general circulation models, Journal of Physical Oceanography 23 (7) (1993) 1389–1410.
  • [8] W. Weijer, H. A. Dijkstra, Multiple oscillatory modes of the global ocean circulation, Journal of Physical Oceanography 33 (2003) 2197–2213.
  • [9] G. Vettoretti, P. Ditlevsen, M. Jochum, S. O. Rasmussen, Atmospheric CO2 control of spontaneous millennial-scale ice age climate oscillations, Nature Geoscience 15 (4) (2022) 300–306.
  • [10] P. Cessi, Convective adjustment and thermohaline excitability, Journal of Physical Oceanography 26 (4) (1996) 481–491.
  • [11] A. Colin de Verdière, A simple model of millennial oscillations of the thermohaline circulation, Journal of Physical Oceanography 37 (5) (2007) 1142–1155.
  • [12] P. Welander, Thermohaline effects in the ocean circulation and related simple models, in: Large-scale transport processes in oceans and atmosphere, Vol. 190 of NATO ASI Series, Springer, 1986, pp. 163–200.
  • [13] M. Winton, Energetics of deep-decoupling oscillations, Journal of Physical Oceanography 25 (3) (1995) 420–427.
  • [14] A. Sima, A. Paul, M. Schulz, The younger dryas—an intrinsic feature of late pleistocene climate change at millennial timescales, Earth and Planetary Science Letters 222 (3-4) (2004) 741–750.
  • [15] J. Leifeld, Non-smooth homoclinic bifurcation in a conceptual climate model, European Journal of Applied Mathematics 29 (5) (2018) 891–904.
  • [16] J. Bailie, B. Krauskopf, Bifurcation analysis of a conceptual model for vertical mixing in the North Atlantic, Physica D: Nonlinear Phenomena 460 (2024) 134077.
  • [17] Y. A. Kuznetsov, Elements of Applied Bifurcation Theory, Vol. 112 of Applied Mathematical Sciences, Springer, 1998.
  • [18] S. H. Strogatz, Nonlinear Dynamics and Chaos: with Applications to Physics, Biology, Chemistry, and Engineering, CRC press, 2018.
  • [19] E. J. Doedel, A. R. Champneys, F. Dercole, T. F. Fairgrieve, Y. A. Kuznetsov, B. Oldeman, R. C. Paffenroth, B. Sandstede, X. J. Wang, C. H. Zhang, Auto-07p: Continuation and bifurcation software for ordinary differential equations, Tech. rep. (2007).
  • [20] Copernicus Climate Change Service (C3S), ORAS5 global ocean reanalysis monthly data from 1958 to present, Climate Data Store (CDS), 2020.
  • [21] M. Vellinga, Multiple equilibria in ocean models as a side effect of convective adjustment, Journal of Physical Oceanography 28 (4) (1998) 621–633.
  • [22] M. den Toom, H. A. Dijkstra, F. W. Wubs, Spurious multiple equilibria introduced by convective adjustment, Ocean Modelling 38 (1-2) (2011) 126–137.
  • [23] W. Weijer, W. Cheng, S. S. Drijfhout, A. V. Fedorov, A. Hu, L. C. Jackson, W. Liu, E. L. McDonagh, J. V. Mecking, J. Zhang, Stability of the atlantic meridional overturning circulation: A review and synthesis, Journal of Geophysical Research: Oceans 124 (8) (2019) 5336–5375.
  • [24] M. Wechselberger, Geometric Singular Perturbation Theory Beyond the Standard Form, Vol. 6 of Frontiers in Applied Dynamical Systems: Reviews and Tutorials, Springer, 2021.
  • [25] K. U. Kristiansen, P. Szmolyan, Relaxation oscillations in substrate-depletion oscillators close to the nonsmooth limit, Nonlinearity 34 (2) (2021) 1030.
  • [26] M. di Bernardo, C. J. Budd, A. R. Champneys, P. Kowalczyk, Piecewise-Smooth Dynamical Systems: Theory and Applications, Vol. 163 of Applied Mathematical Sciences, Springer, 2008.
  • [27] A. F. Filippov, Differential equations with discontinuous righthand sides: control systems, Vol. 18 of Mathematics and its Applications, Springer Science & Business Media., 2013.
  • [28] M. Guardia, T. M. Seara, M. A. Teixeira, Generic bifurcations of low codimension of planar Filippov systems, Journal of Differential Equations 250 (4) (2011) 1967–2023.
  • [29] M. di Bernardo, A. Nordmark, G. Olivar, Discontinuity-induced bifurcations of equilibria in piecewise-smooth and impacting dynamical systems, Physica D: Nonlinear Phenomena 237 (1) (2008) 119–136.
  • [30] M. A. Teixeira, P. R. da Silva, Regularization and singular perturbation techniques for non-smooth systems, Physica D: Nonlinear Phenomena 241 (22) (2012) 1948–1955.
  • [31] C. Kuehn, Multiple Time Scale Dynamics, Vol. 191 of Applied Mathematical Sciences, Switzerland: Springer International Publishing., 2015.
  • [32] M. Desroches, J. Guckenheimer, B. Krauskopf, C. Kuehn, H. Osinga, M. Wechselberger, Mixed-mode oscillations with multiple time scales, SIAM Review 54 (2) (2012) 211–288.
  • [33] H. A. Dijkstra, Nonlinear Physical Oceanography: a Dynamical Systems Approach to the Large Scale Ocean circulation and El Niño, Vol. 28, Springer, 2005.
  • [34] J. Bamber, M. Van Den Broeke, J. Ettema, J. Lenaerts, E. Rignot, Recent large increases in freshwater fluxes from Greenland into the North Atlantic, Geophysical Research Letters 39 (19) (2012).
  • [35] L. D. Trusel, S. B. Das, M. B. Osman, M. J. Evans, B. E. Smith, X. Fettweis, J. R. McConnell, B. P. Noël, M. R. van den Broeke, Nonlinear rise in Greenland runoff in response to post-industrial arctic warming, Nature 564 (7734) (2018) 104–108.
  • [36] I. Sasgen, M. van den Broeke, J. L. Bamber, E. Rignot, L. S. Sørensen, B. Wouters, Z. Martinec, I. Velicogna, S. B. Simonsen, Timing and origin of recent regional ice-mass loss in Greenland, Earth and Planetary Science Letters 333 (2012) 293–303.
  • [37] A. Keane, B. Krauskopf, C. M. Postlethwaite, Climate models with delay differential equations, Chaos 27 (11) (2017) 114309.
  • [38] B. Krauskopf, H. M. Osinga, J. Galán-Vioque (Eds.), Numerical Continuation Methods for Dynamical Systems: Path following and boundary value problems, Understanding Complex Systems, Springer, 2007.