Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences
You have accessSpecial feature

Tropical atmospheric circulations with humidity effects

    Abstract

    The main objective of this article is to study the effect of the moisture on the planetary scale atmospheric circulation over the tropics. The modelling we adopt is the Boussinesq equations coupled with a diffusive equation of humidity, and the humidity-dependent heat source is modelled by a linear approximation of the humidity. The rigorous mathematical analysis is carried out using the dynamic transition theory. In particular, we obtain mixed transitions, also known as random transitions, as described in Ma & Wang (2010 Discrete Contin. Dyn. Syst.26, 1399–1417. (doi:10.3934/dcds.2010.26.1399); 2011 Adv. Atmos. Sci.28, 612–622. (doi:10.1007/s00376-010-9089-0)). The analysis also indicates the need to include turbulent friction terms in the model to obtain correct convection scales for the large-scale tropical atmospheric circulations, leading in particular to the right critical temperature gradient and the length scale for the Walker circulation. In short, the analysis shows that the effect of moisture lowers the magnitude of the critical thermal Rayleigh number and does not change the essential characteristics of dynamical behaviour of the system.

    1. Introduction

    This article is part of a research programme to study low-frequency variability of the atmospheric and oceanic flows. As we know, typical sources of climate low-frequency variability include the wind-driven (horizontal) and thermohaline (vertical) circulations (THC) of the ocean, and the El Niño Southern Oscillation (ENSO). Their variability, independently and interactively, may play a significant role in climate change, past and future. The primary goal of our study is to document, through careful theoretical and numerical studies, the presence of climate low-frequency variability, to verify the robustness of this variability’s characteristics to changes in model parameters and to help explain its physical mechanisms. The thorough understanding of the variability is a challenging problem with important practical implications for geophysical efforts to quantify predictability, analyse error growth in dynamical models and develop efficient forecast methods.

    ENSO is one of the strongest interannual climate variabilities associated with strong atmosphere–ocean coupling, with significant impacts on global climate. ENSO consists of warm events (El Niño phase) and cold events (La Niña phase) as observed by the equatorial eastern Pacific sea-surface temperature (SST) anomalies, which are associated with persistent weakening or strengthening in the trade winds; see among others [116]. An interesting current debate is whether ENSO is best modelled as a stochastic or chaotic system—linear and noise-forced, or nonlinear oscillatory and unstable system [14]. It is obvious that a careful fundamental level examination of the problem is crucial. For this purpose, Ma & Wang [17] initiated a study of ENSO from the dynamical transition point of view and derived in particular a new oscillation mechanism of ENSO. Namely, ENSO is a self-organizing and self-excitation system, with two highly coupled oscillation processes–the oscillation between metastable El Nino and La Nina and normal states, and the spatio-temporal oscillation of the SST.

    The main objective of this article is to address the moisture effect on the low-frequency variability associated with ENSO. First, as our main purpose is to capture the patterns and general features of the large-scale atmospheric circulation over the tropics, it is appropriate to use the Boussinesq equations coupled with a diffusive equation of humidity. In addition, the humidity effect is also taken into consideration by treating the heating source as a linear approximation of the humidity function.

    Second, although the introduction of the humidity effect leads to substantial difficulty from the mathematical point of view, we have shown in theorem 4.1 that the humidity does not affect the type of dynamic transition the system undergoes. Namely, we show that under the idealized boundary conditions, only continuous transition (Type I) occurs. However, the critical thermal Rayleigh number is slightly smaller than that in the case without moisture factor. To see this effect of humidity, we refer to formula (3.31), which reads

    Rc=1Le+1+Le αkc224α1αTh2Le αqαkc2κTR~+αkc4r02k2αkc2+1r02+αkc2r02.
    As in the expression of the thermal critical Rayleigh number Rc, the coefficient of the humidity Rayleigh number R~ is negative; this indicates that the presence of humidity lowers the critical temperature difference for the onset of the dynamic transition.

    Third, we remark that the perturbation analysis in [17] can be applied to the case here to carry out the analysis, and we can show that under the natural boundary condition, the underlying system with humidity effect will undergo a mixed-type transition. In addition, as we argued in [17], it is necessary to include turbulent friction terms in the model to obtain correct convection scales for the large-scale tropical atmospheric circulations, leading in particular to the right critical temperature gradient and the length scale for the Walker circulation.

    Finally, based on these theoretical results, it is easy then to conclude the same mechanism for ENSO as proposed in Ma & Wang [17,18]. In particular, the random transition behaviour of the system explains general features of the observed abrupt changes between strong El Nino and strong La Nina states. Also, with the deterministic model considered in this article, the randomness is closely related to the uncertainty/fluctuations of the initial data between the narrow basins of attractions of the corresponding metastable events, and the deterministic feature is represented by a deterministic coupled atmospheric and oceanic model predicting the basins of attraction and the SST. In addition, from the predictability and prediction point of view, it is crucial to capture more detailed information on the delay feedback mechanism of the SST. For this purpose, the study of an explicit multi-scale coupling mechanism to the ocean is inevitable. In fact, the new mechanism strongly suggests the need and importance of the coupled ocean–atmosphere models for ENSO predication in [1,311].

    This article is organized as follows. Section 2 gives the objective Boussinesq model with humidity. The eigenvalue problem is analysed in §3. The transition theorem is stated and proved in §4. In §5, the turbulence friction factors are considered and the corresponding critical temperature difference and the wavenumbers of Walker circulation are checked.

    2. Model for atmospheric motion with humidity

    (a) Atmospheric circulation model

    The hydrodynamical equations governing the atmospheric circulation is the Navier–Stokes equations with the Coriolis force generated by the Earth’s rotation, coupled with the first law of thermodynamics.

    Let (φ,θ,r) be the spheric coordinates, where φ represents the longitude, θ the latitude and r the radial coordinate. The unknown functions include the velocity field u=(uφ,uθ,ur), the temperature function T, the humidity function q, the pressure p and the density function ρ. Then the equations governing the motion and states of the atmosphere consist of the momentum equation, the continuity equation, the first law of thermodynamics, the diffusion equation for humidity and the equation of state (for ideal gas), which read

    ρut+uu+2Ω×u+p+kρg=μu,2.1
    ρt+div(ρu)=0,2.2
    ρcvTt+uT+pdivu=Q~+κ~TT,2.3
    ρqt+uq=S~+κ~qq2.4
    andp=RρT.2.5
    Here, 0≤φ≤2π, −π/2≤θπ/2, a<r<a+h,a is the radius of the Earth, h is the height of the troposphere, Ω is the Earth’s rotating angular velocity, g is the gravitational constant, μ, κ~T,κ~q,cv,R are constants, Q~ and S~ are heat and humidity sources, and k=(0,0,1). The differential operators used are as follows:

    (1) The gradient and divergence operators are given by

    =1rcosθφ,1rθ,randdivu=1r2r(r2ur)+1rcosθ(uθcosθ)θ+1rcosθuφφ

    (2) In the spherical geometry, although the Laplacian for a scalar is different from the Laplacian for a vectorial function, we use the same notation Δ for both of them

    Δu=Δuφ+2r2cosθurφ+2sinθr2cos2θuθφuφr2cos2θ,Δuθ+2r2urθuθr2cos2θ2sinθr2cos2θuφφ,Δur2urr22r2cosθ(uθcosθ)θ2r2cosθuφφandΔf=1r2cosθfθcosθθ+1r2cos2θ2fφ2+1r2frr2r.

    (3) The convection terms are given by

    uu=uuφ+uφurruφuθrtanθ,uφ2+uθ2ruuθ+uθurr+uφ2rtanθ,uuruφ2+uθ2r.

    (4) The Coriolis term 2Ω×u is given by

    2Ω×u=2Ω(cosθursinθuθ,sinθuφ,cosθuφ).
    Here, Ω is the angular velocity vector of the Earth, and Ω is the magnitude of the angular velocity.

    The above system of equations is basically the equations used by L. F. Richardson in his pioneering work [19]. However, they are in general too complicated to conduct theoretical analysis. As practised by earlier researchers such as Charney [20], and from the lessons learned by the failure of Richardson’s pioneering work, one tries to be satisfied with simplified models approximating the actual motions to a greater or lesser degree instead of attempting to deal with the atmosphere in all its complexity. By starting with models incorporating only what are thought to be the most important of atmospheric influences, and by gradually bringing in others, one is able to proceed inductively and thereby to avoid the pitfalls inevitably encountered when a great many poorly understood factors are introduced all at once. The simplifications are usually done by taking into consideration some of the main characterizations of the large-scale atmosphere. One such characterization is the small aspect ratio between the vertical and horizontal scales, leading to a hydrostatic equation replacing the vertical momentum equation. The resulting system of equations is called the primitive equations (see among others [21]). Another characterization of large-scale motion is the fast rotation of the Earth, leading to the celebrated quasi-geostrophic equations [22].

    (b) Tropical atmospheric circulation model

    In this article, our main focus is on formation and transitions of the general circulation patterns. For this purpose, the approximations we adopt involve the following components.

    First, we often use the Boussinesq assumption, where the density is treated as a constant except in the buoyancy term and in the equation of state.

    Second, because the air is generally not incompressible, we do not use the equation of state for ideal gas; rather, we use the following empirical formula, which can be regarded as the linear approximation of (2.5):

    ρ=ρ0[1αT(TT0)αq(qq0)],2.6
    where ρ0 is the density at T=T0 and q=q0, and αT and αq are the coefficients of thermal and humidity expansion.

    Third, as the aspect ratio between the vertical scale and the horizontal scale is small, the spheric shell, which the air occupies, is treated as a product space Sa2×(a,a+h) with the product metric

    ds2=a2dθ2+a2sin2θdϕ2+dz2.
    This approximation is extensively adopted in geophysical fluid dynamics.

    Fourth, the hydrodynamic equations governing the atmospheric circulation over the tropical zone are the Navier–Stokes equations coupled with the first law of thermodynamics and the diffusion equation of the humidity. These equations are restricted on the lower latitude region where the meridional velocity component uθ is zero.

    Let (ϕ,z)∈M=(0,2π)×(a,a+h) be the coordinate, where ϕ is the longitude, a the radius of the Earth and h the height of the troposphere. The unknown functions include the velocity field u=(uϕ,uz), the temperature function T, the humidity function q and the pressure p. Then, the equations governing the motion and states of the atmosphere read

    uϕt+(u)uϕ+uϕuza=νΔuϕ+2a2uzϕuϕa22Ωuz1ρ0apϕ,uzt+(u)uzuϕ2a=νΔuz2a2uϕϕ2uza2+2Ωuϕ1ρ0pzg(1αT(TT0)αq(qq0)),Tt+(u)T=κTΔT+Q,qt+(u)q=κqΔq+Sand1auϕϕ+uzz=0,2.7
    where Ω is the Earth’s rotating angular velocity, g the gravitational constant, ρ0 the density of air at T=T0, ν=μ/ρ0, κT=κ~T/ρ0cν, κq=κ~q/ρ0, Q=Q~/ρ0cν, S=S~/ρ0 and αT and αq are the coefficients of thermal and humidity expansion. However, the differential operators used in (2.7) are as follows:
    (u)=uϕaϕ+uzz,Δf=1a22ϕ2f+2z2fandΔu=Δ(uϕeϕ+uzez)=Δuϕ+2a2uzϕuϕa2eθ+Δuz2a2uϕϕ2uza2ez,
    where Δf is the Laplacian for scalar functions, and Δu is the Laplace–Beltrami operator on (0,2π)×(a,a+h) with the product metric. Based on the thermodynamics, the heat source Q is a function of the humidity q. For simplicity, we take the linear approximation
    Q=α0+α1q,2.8
    and the humidity source is taken as zero
    S=0.2.9
    The boundary conditions are periodic in the ϕ-direction
    (u,T,q)(ϕ+2π,z)=(u,T,q)(ϕ,z),2.10
    and free-slip on the Earth surface z=a and the tropopause z=a+h,
    uz=0,uϕz=0,T=T0,q=q0,at z=aanduz=0,uϕz=0,T=T1,q=0,at z=a+h,2.11
    where T0, T1, q0 and q1 are constants satisfying
    T0>T1andq0>0.2.12
    The problem (2.7)–(2.11) possesses a steady-state solution
    u~=0,T~=γ16κTz3γ02κTz2+c1z+c0,q~=q0hz+q0h(h+a)andp~=0zρ0g(1αT(T~T0)αq(q~q0))dz,2.13
    where
    γ0=α0+α1q0(h+a)h,γ1=α1q0h,c0=a+hhγ16κTa3+γ02κTa2+T0ahγ16κT(a+h)3+γ02κT(a+h)2+T1andc1=1h(T0T1)1κTγ16(h2+3ha+3a2)γ02(h+2a).

    To obtain the non-dimensional form, let

    x=hx,a=hr0,t=h2tκT,u=κTuh,T=(T0T1)T+T~,q=q0q+q~andp=ρ0νκTph2+p~,
    and consider
    (x1,x2)=(r0ϕ,z)and(u1,u2)=(uϕ,uz).

    Omitting the primes, equations (2.7) become

    u1t=PrΔu1+2r0u2x11r02u1px1ωu2(u)u11r0u1u2,u2t=PrΔu22r0u1x12r02u2+RT+R~qpx2+ωu1(u)u2+1r0u12,Tt=ΔT1T0T1dT~(hx2)dx2u2+αq(u)T,qt=Le Δq+u2(u)qandu1x1+u2x2=0,2.14
    where the non-dimensional physical parameters are
    Pr=νκTthe Prandtl number,R=αTg(T0T1)h3κTνthe thermal Rayleigh number,R~=αqgq0h3κTνthe humidity Rayleigh number,Le=κqκTthe Lewis number,ω=2Ωh2κTthe Earth rotationandα=α1q0h2κT(T0T1),2.15
    and
    1T0T1dT~(hx2)dx2=1+γ0h2κT(T0T1)x2r012α1q0h22κT(T0T1)x22r02r013,2.16
    where r0<x2<r0+1, and r0 is the non-dimensional radius of the Earth. For simplicity, we take the average approximation x2=r0+12. In this case, (2.16) is given by
    1T0T1dT~dx2x2=r0+1/2=1+α1q0h224κT(T0T1).
    Thus, equation (2.14) is approximated by
    u1t=PrΔu1+2r0u2x11r02u1px1ωu2(u)u11r0u1u2,u2t=PrΔu22r0u1x12r02u2+RT+R~qpx2+ωu1(u)u2+1r0u12,Tt=ΔT+γu2+αq(u)T,qt=Le Δq+u2(u)qanddiv u=0,2.17
    where
    γ=1+α24.2.18
    The domain is M=[0,2πr0]×(r0,r0+1), and the boundary conditions are given by
    (u,T,q)(x1+2πr0,x2)=(u,T,q)(x1,x2)andu2=0,u1x2=0,T=0,q=0,at x2=r0,r0+1.2.19
    For the problem (2.17)–(2.19), we set the spaces
    H={(u,T,q)L2(M,R4)div u=0,u2=0 at r0,r0+1}andH1={(u,T,q)H2(M,R4)H(u,T,q) satisfies (2.12)}.2.20

    3. Eigenvalue problem and principle of exchange of stability

    (a) Eigenvalue problem

    To study the transition of (2.17)–(2.19) from the basic state, we need to consider the following eigenvalue problem:

    PrΔu1+2r0u2x11r02u1px1ωu2=βu1,PrΔu22r0u1x12r02u2+RT+R~qpx2+ωu1=βu2,ΔT+γu2+αq=βT,Le Δq+u2=βqandu1x1+u2x2=03.1
    supplemented with the boundary conditions (2.19). By the boundary conditions (2.19), the eigenvalues of (3.1) can be solved by separation of variables as follows:
    ψ1=u11=uk(x2)sinkx1r0,u21=vk(x2)coskx1r0,T1=Tk(x2)coskx1r0,q1=qk(x2)coskx1r0,p1=Ak(x2)coskx1r0Bk(x2)sinkx1r03.2
    and
    ψ2=u12=uk(x2)coskx1r0,u22=vk(x2)sinkx1r0,T2=Tk(x2)sinkx1r0,q2=qk(x2)sinkx1r0,p2=Ak(x2)sinkx1r0+Bk(x2)coskx1r0,3.3
    for k=1,2,3,…. Based on the continuity equation in (3.1), we have
    uk=r0kdvkdx2.3.4
    Let
    Bk=ωr0kPrvk(x2)andAk=pk+2r0vk(x2).3.5
    Owing to (2.19), plugging (3.2) or (3.3) into (3.1), we obtain the following system of ordinary differential equations:
    PrDk2uk1r02ukkr0pk=βuk,PrDk2vk2r02vk+RTk+R~qkDpk=βvk,Dk2Tk+γvk+αqk=βTk,Le Dk2qk+vk=βqkandDuk=0,vk=0,Tk=0,qk=0,at x2=r0,r0+1,3.6
    where
    D=ddx2andDk2=d2dx22k2r02.
    Plugging vk=sinjπ(x2r0) into (3.6), we see that the eigenvalue β satisfies the cubic equation
    (αkj2+β)(Le αkj2+β)Prαkj2+Prr02+βαkj2+k2Prr04(αkj2+β)(Le αkj2+β)k2PrRr02(γLe αkj2+γβ+α)k2PrR~r02(αkj2+β)=0,3.7
    where
    αkj=j2π2+k2r021/2(j1,k1).3.8

    (b) Principle of exchange of stabilities

    The linear stability of the problem (2.17)–(2.19) is dictated precisely by the eigenvalues of (3.1), which are determined by (3.7). The expansion of (3.7) is

    β3+(1+Le +Pr)αkj2+Prr02+k2Prr04αkj2β2+(Pr+Le Pr+Le)αkj4+Prr02(1+Le)αkj2+k2r02Prk2r02αkj2(γR+R~)β+Le αkj4Prαkj2+Prr02+Prk2r02αkj2αkj2R~αRγLe αkj2R+Le αkj4r02=0.3.9
    We see that β=0 is a solution of (3.9) if and only if
    Le αkj4Prαkj2+Prr02+Prk2r02αkj2αkj2R~αRγLe αkj2R+Le αkj4r02=0.3.10
    Inferring from (2.15) and (2.18),
    αR=α1αTgq0h5κT2ν=α1αTh2αqκTR~andγR=R+α1αTgq0h524κT2ν=R+α1αTh224αqκTR~.3.11
    Hence, we rewrite (3.10) as
    R=1Le+1+Le αkj224α1αTh2Le αqαkj2κTR~+αkj4r02k2αkj2+1r02+αkj2r02.3.12

    We define the critical Rayleigh number Rc as

    Rc=mink,j11Le+1+Le αkj224α1αTh2Le αqαkj2κTR~+αkj4r02k2αkj2+1r02+αkj2r02=mink11Le+1+Le αk1224α1αTh2Le αqαk12κTR~+αk14r02k2αk12+1r02+αk12r02,3.13
    where
    αk12=π2+k2r02.
    Based on (3.9)–(3.12), by definition (3.13), we shall prove the following principle of exchange of stabilities later.

    Lemma 3.1

    Let βjkbe the eigenvalues of (3.1) that satisfy (3.9). Letkc≥1 be integer minimizing (3.13), andβkci (1≤i≤3) be solution of (3.9) with (k,j)=(kc,1), and

    Reβkc3Reβkc2Reβkc1.
    thenβkc1must be real nearR=Rc, and
    βkc1(R)<0,R<Rc,=0,R=Rc,>0,R>Rc,Reβkcj(Rc)<0,for j=2,3.
    Moreover, we have
    βjk(Rc)<0for βjk being real andβjkβkc1.

    Remark 3.2

    The value Rc defined by (3.13) is called the critical Rayleigh number at which the principle of exchange of stability (PES) holds. It provides the critical temperature difference ΔTc=T0T1 given by

    αTgh3ΔTcκTν=Rc.
    Equivalently, we have
    ΔTc=κTναTgh31Le+1+Le αkc1224α1αTh2Le αqαkc12κTR~+αkc14r02kc2αkc12+1r02+αkc12r02,3.14
    where kc≥1 is the integer which satisfies (3.13).

    Next, we consider the PES for the complex eigenvalues of (3.1). Let β=0 (ρ0≠0) be a zero of (3.9). Then

    ρ02=(Pr+Le Pr+Le)αkj4+Prr02(1+Le)αkj2+k2r02Prk2r02αkj2(γR+R~)andρ02=Le αkj4Prαkj2+Prr02+Prk2r02αkj2αkj2R~αRγLe αkj2R+Le αkj4r02/(1+Le+Pr)αkj2+Prr02.
    Hence, equation (3.9) has a pair of purely imaginary solutions ±0 if and only if the following condition holds true:
    (1+Le+Pr)αkj2+Prr02Prr02(Pr+Le+Le Pr)αkj4+Prr02(1+Le)αkj2+k2r02Prk2r02αkj2(γR+R~)=Le αkj4Prαkj2+2Prr02+Prk2r02αkj2αkj2R~αRγLe αkj2R+Le αkj4r02>0.3.15

    It follows from (3.11) and (3.15) that

    Prr02+(Pr+1)αkj2R=α1αTh2αqκT1124Prr02+(Pr+1)αkc2Prr02+(Pr+Le)αkc2R~+r02αkj2k2PrLe(1+Le)αkj6+Pr(1+Le+Pr)αkj2+Prr02Prr02(1+Le)αkj4+(1+Le)r02αkj2+k2Ler04+Prk2r04(1+Pr)αkj2+Prr02,3.16
    where αkj2 is as defined in (3.8).

    According to (3.16), we define the critical Rayleigh number for the complex PES as follows:

    Rc=mink,j11Pr/r02+(Pr+1)αkj2×α1αTh2αqκT1124Prr02+(Pr+1)αkc2Prr02+(Pr+Le)αkc2R~+r02αkj2k2PrLe(1+Le)αkj6+Pr(1+Le+Pr)αkj2+Prr02Prr02(1+Le)αkj4+(1+Le)r02αkj2+k2Ler04+Prk2r04(1+Pr)αkj2+Prr02.3.17

    Then we have the following complex PES.

    Lemma 3.3

    Letkc,jcbe the integers satisfying (3.17), andβkcjc1andβkcjc2be the pair of complex eigenvalues of (3.9) with(k,j)=(kc,jc)nearR=R*c. then,

    Reβkcjc1=Reβkcjc2<0,R<Rc,=0,R=Rc,>0,R>Rc.

    Furthermore, for all complex eigenvalues βkj of (3.1), we have

    Reβkj(Rc)<0,for (k,j)(kc,jc).

    (c) Proof of lemmas thm3.1 and thm3.3

    We note that all eigenvalues of (3.1) are determined by (3.9) and the eigenvalue equations

    ΔT+αq=βTandLe Δq=βq,3.18
    with the boundary condition (2.19). It is clear that the eigenvalues of (3.18) are real and negative. Hence, it suffices to prove lemmas 3.1 and 3.3 for eigenvalues βkj of (3.9). We rewrite (3.9) as
    β3+b2β2+b1β+b0=0,3.19
    where
    b2=(1+Le+Pr)αkj2+Prr02+k2Prr04αkj2,b1=(Pr+Le Pr+Le)αkj4+Prr02(1+Le)αkj2+k2r02Prk2r02αkj2(γR+R~)andb0=Le αkj4Prαkj2+Prr02+Prk2r02αkj2αkj2R~αRγLe αkj2R+Le αkj4r02.
    We see that
    b0,b1,b2>0at R=0 for all k,j1,3.20
    which implies that all real eigenvalues of (3.9) are negative at R=0. By the definition of Rc, we find
    b0>0,(k,j)(kc,1),0RRcandb0>0,R<Rc=0,R=Rc,<0,R>Rc,for (k,j)=(kc,1).3.21
    As b0=βkj1βkj2βkj3, lemma 3.1 follows from (3.20) and (3.21).

    Next, let βkcjc, the solution of (3.9), take the form

    βkcjc(R)=λ(R)+iσ(R)andλ(R)0,σ(R)σ0,as RRc.3.22
    Inserting (3.22) into (3.19), we obtain
    (3σ2+b1)λ+b0b2σ2+o(λ)=0andσ3+σb1+2σb2λ+o(λ)=0.3.23
    As σ0≠0, we infer from (3.23) that
    λ(R)+o(λ)=b0b2σ23σ2b1=b0b1b22b22λ2b1+6b2λ+o(λ).
    Thus, we have
    λ(R)=b0b1b22b22λ2b1+6b2λ+o(λ).3.24
    Under the condition (3.15), we see b1>0. It follows from (3.22) and (3.24) that
    Reβkcjc(R)=λ(R)<0,b0<b1b2,=0,b0=b1b2,>0,b0>b1b2,3.25
    for R near R*c. By the definition of R*c, it is easy to see that
    b0<b1b2,R<Rc,=b1b2,R=Rc,>b1b2,R>Rc.3.26
    This proves lemma 3.3.

    By lemmas 3.1 and 3.3, we immediately obtain the following theorem which provides a criterion to determine the equilibrium and the spatio-temporal oscillation transitions.

    Theorem 3.4

    Let Rcand R*cbe the parameters defined by (3.13) and (3.17) respectively. Then, the following assertions hold true.

    (i) WhenRc<Rc,the first critical-crossing eigenvalue of the problem (3.1) isβkc1given by lemma 3.1, i.e.

    βkc1(R)<0,ifR<Rc,=0,ifR=Rc,>0,ifR>Rc3.27
    and
    Reβ(Rc)<0,3.28
    for all other eigenvalues β of (3.1).

    (ii) When R*c<Rc, the first critical-crossing eigenvalues are the pair of complex eigenvaluesβkcjc1andβkcjc2given by lemma 3.3, namely,

    Reβkcjc1(R)=Reβkcjc2(R)<0,ifR<Rc,=0,ifR=Rc,>0,ifR>Rc3.29
    and
    Reβ(Rc)<0,3.30
    for all other eigenvalues β(R) of (3.1).

    Remark 3.5

    In the atmospheric science, the integer jc in (3.29) is 1. Hence, the critical Rayleigh numbers Rc and R*c are given by

    Rc=1Le+1+Le αkc224α1αTh2Le αqαkc2κTR~+αkc4r02k2αkc2+1r02+αkc2r023.31
    and
    Rc=1Pr/r02+(Pr+1)αkc2×α1αTh2αqκT1124Prr02+(Pr+1)αkc2Prr02+(Pr+Le)αkc2R~+r02αkc2k2PrLe(1+Le)αkc6+Pr(1+Le+Pr)αkc2+Prr02Prr02(1+Le)αkc4+(1+Le)r02αkc2+kc2Ler04+Prkc2r04(1+Pr)αkc2+Prr02,3.32
    where
    αkc2=π2+kc2r02andαkc2=π2+kc2r02.3.33

    4. Transition theorem

    Inferring from theorem 4.1, system (2.17)–(2.19) has a transition to equilibria at R=Rc provided Rc<Rc and has a transition to spatio-temporal oscillation at R=R*c provided R*c<Rc, where the critical values Rc and R*c are defined by (3.13) and (3.17), respectively.

    Theorem 4.1

    For the problem (2.17)–(2.19), we have the following assertions.

    (1) WhenR<min{Rc,Rc},the equilibrium solution (u,T,q)=0 is stable in H.

    (2) If Rc<R*c, then this problem has a continuous transition at R=Rc, and bifurcates from ((u,T,q),R)=(0,Rc) to an attractor ΣR=S1on R>Rcwhich is a cycle of steady-state solutions.

    (3) As R*c<Rc, the problem has a transition atR=R*c, which is either of continuous type or of jump type, and it transits to a spatio-temporal oscillation solution. In particular, if the transition is continuous, then there is an attractor of three-dimensional homological sphere S3is bifurcated from ((u,T,q),R)=(0,R*c) on R>R*c, which contains no steady-state solutions.

    Remark 4.2

    Although the introduction of the humidity effect leads to substantial difficulty from the mathematical point of view, we see from theorem 4.1 that the humidity does not affect the type of dynamic transition the system undergoes. In particular, as Ma & Wang [17,18], the random transition behaviour of the system in the general case explains general features of the observed abrupt changes between strong El Nino and strong La Nina states. Also, with the deterministic model considered in this article, the randomness is closely related to the uncertainty/fluctuations of the initial data between the narrow basins of attractions of the corresponding metastable events, and the deterministic feature is represented by a deterministic coupled atmospheric and oceanic model predicting the basins of attraction and the SST. From the predictability and prediction point of view, it is crucial to capture more detailed information on the delay feedback mechanism of the SST. For this purpose, the study of an explicit multi-scale coupling mechanism to the ocean is inevitable. In fact, the new mechanism strongly suggests the need and importance of the coupled ocean–atmosphere models for ENSO predication in [1,311]. Finally, by (3.31), the critical thermal Rayleigh number is slightly smaller than that in the case without moisture factor [17,18].

    Proof of theorem 4.1.

    We shall prove this theorem with several steps.

    Step 1. Let H and H1 be the spaces defined by (2.20). We define the operators LR=A+BR:H1H and G:H1H by

    Aψ=PPrΔu1+2r0u2x1,PrΔu22r0u1x1,ΔT,Le Δq,BRψ=PPrr02u1ωu2,Pr2r02u2RTR~q+ωu1,γu2+αq,u2andG(ψ)=P(u)u1+1r0u1u2,(u)u21r0u12,(u)T,(u)q),4.1
    where P:L2(M,R4)H is the Leray projection and
    ψ=(u,T,q)H1.
    Thus, the problem (2.17)–(2.19) is expressed in form of
    dψdt=LRψ+G(ψ),4.2
    and the eigenvalue problem (3.1) with the condition (2.19) is rewritten as
    LRψ=βψ.4.3

    Step 2. We shall calculate the centre manifold reduction for (4.2) in this step. Let ψkc1 and ψkc2 be the eigenfunctions of (4.3) corresponding to βkc1(R), where βkc1 is the eigenvalue of (4.3) in the case of (3.27). Denote the conjugate eigenfunctions of ψkc1 and ψkc2 by ψkc1 and ψkc2, i.e.

    LRψkci=βkc1ψkci,i=1,2.4.4
    The corresponding equations of (4.4) read
    PrΔu1+2r0u2x11r02u1px1+ωu2=βu1,PrΔu22r0u1x12r02u2px2+γT+qωu1=βu2,ΔT+PrRu2=βT,Le Δq+PrR~u2+αT=βqandu1x1+u2x2=0.4.5
    Express ψH1 as
    ψ=xψkc1+yψkc2+Φ(x,y,R),4.6
    where (x,y)R2 and Φ(x,y,R) is the centre manifold function of (4.2) near R=Rc. For the reference of centre manifold functions, see, for example, Section 2.4 of [23]. Then, the reduction equations of (4.2) are
    dxdt=βkc1x+1ψkc1,ψkc1G(ψ),ψkc1anddydt=βkc1y+1ψkc2,ψkc2G(ψ),ψkc2.4.7

    Step 3. Computation ofψkciandψkci (i=1,2). Based on (3.2)–(3.8), we can derive

    ψkc1=u11=ukccosπ(x2r0)sinkcx1r0,u21=vkcsinπ(x2r0)coskcx1r0,T11=Tkcsinπ(x2r0)coskcx1r0,q1=qkcsinπ(x2r0)coskcx1r04.8
    and
    ψkc2=u12=ukccosπ(x2r0)coskcx1r0,u22=vkcsinπ(x2r0)sinkcx1r0,T2=Tkcsinπ(x2r0)sinkcx1r0,q2=qkcsinπ(x2r0)sinkcx1r0,4.9
    where
    ukc=r0πkc,vkc=1,andTkc=α+γ(Le αkc2+βkc1)(αkc2+βkc1)(Le αkc2+βkc1),qk=1Le αkc2+βkc1.4.10

    Similarly, we can also derive from (4.5) the conjugate eigenfunctions as follows:

    ψkc1=u11=ukccosπ(x2r0)sinkcx1r0,u21=vkcsinπ(x2r0)coskcx1r0,T11=Tkcsinπ(x2r0)coskcx1r0,q1=qkcsinπ(x2r0)coskcx1r04.11
    and
    ψkc2=u12=ukccosπ(x2r0)coskcx1r0,u22=vkcsinπ(x2r0)sinkcx1r0,T2=Tkcsinπ(x2r0)sinkcx1r0,q2=qkcsinπ(x2r0)sinkcx1r0,4.12
    where
    ukc=r0πkc,vkc=1,andTkc=PrRαkc2+βkc1,qkc=αPrRPrR~(αkc2+βkc1)(αkc2+βkc1)(Le αkc2+βkc1).4.13

    Step 4. Computation of the second-order approximation of the centre manifold function. The nonlinear operator G defined in (4.1) is bilinear, which can be expressed as

    G(ψ,ϕ)=Pu1v1x1+u2v1x2+1r0u1v2u1v2x1+u2v2x21r0u1v1u1T~x1+u2T~x2u1q~x1+u2q~x2,4.14
    where ψ=(u1,u2,T,q) and ϕ=(v1,v2,T~,q~). Direct calculation shows
    G(ψk1,ψk1)=Pr0π22ksin2kx1r0,π2sin2π(x2r0)r0π24k2[1+cos2π(x2r0)],0,0t+π4ksin2π(x2r0)sin2kx1r0,r0π24k2cos2π(x2r0)cos2kx1r0,0,0t+0,r0π24k2cos2kx1r0,Tkπ2sin2π(x2r0),qkπ2sin2π(x2r0)t.4.15
    As the first two terms on the right-hand side of (4.15) are gradient fields, we obtain
    G(ψk1,ψk1)=0,r0π24k2cos2kx1r0,Tkπ2sin2π(x2r0),qkπ2sin2π(x2r0)t.4.16
    Similarly, we can derive
    G(ψk1,ψk2)=r0π22kcos2π(x2r0)+π4ksin2π(x2r0),r0π24k2sin2kx1r0,0,0t,G(ψk2,ψk1)=r0π22kcos2π(x2r0)π4ksin2π(x2r0),r0π24k2sin2kx1r0,0,0tandG(ψk2,ψk2)=0,r0π24k2cos2kx1r0,Tkπ2sin2π(x2r0),qkπ2sin2π(x2r0)t4.17
    and
    G(ψk1,ψk1)=0,r0π24k2cos2kx1r0,Tkπ2sin2π(x2r0),qkπ2sin2π(x2r0)t,G(ψk1,ψk2)=r0π22kcos2π(x2r0)+π4ksin2π(x2r0),r0π24k2sin2kx1r0,0,0t,G(ψk2,ψk1)=r0π22kcos2π(x2r0)π4ksin2π(x2r0),r0π24k2sin2kx1r0,0,0tandG(ψk2,ψk2)=0,r0π24k2cos2kx1r0,Tkπ2sin2π(x2r0),qkπ2sin2π(x2r0)t.4.18
    By (4.16) and (4.17), we have
    G(ψki1,ψki2),ψki3=0,4.19
    for i1,i2,i3=1,2. Moreover, direct calculation shows
    G(ϕ1,ϕ2),ϕ3=G(ϕ1,ϕ3),ϕ2andG(ϕ1,ψki),ψki=0,4.20
    for ϕ1,ϕ2,ϕ3H1 and i=1,2. As the centre manifold function Φ(x,y)=O(|x|2+|y|2), by (4.16)–(4.20), we obtain
    G(ψ),ψkc1=xG(ψkc1,ψkc1),ΦyG(ψkc2,ψkc1),Φ+yG(Φ,ψkc2),ψkc1+o(|x|3+|y|3)andG(ψ),ψkc2=xG(ψkc1,ψkc2),ΦyG(ψkc2,ψkc2),Φ+xG(Φ,ψkc1),ψkc2+o(|x|3+|y|3).4.21

    Let the centre manifold function be denoted by

    Φ=βkjiβkc1Φβkji(x,y)ψkji.4.22

    By (4.15)–(4.21), only

    ψ021=(0,0,0,sin2π(x2r0)),ψ022=(0,0,sin2π(x2r0),0)andψ023=(cos2π(x2r0),0,0,0)4.23
    contribute to the third-order terms in evaluation of (4.21). Direct calculation shows that
    G(ψkc1,ψkc1),ψ021=qkc2π2r0,G(ψkc1,ψkc2),ψ021=0,G(ψkc2,ψkc1),ψ021=0,G(ψkc2,ψkc2),ψ021=qkc2π2r0,G(ψkc1,ψkc1),ψ022=Tkc2π2r0,G(ψkc1,ψkc2),ψ022=0,G(ψkc2,ψkc1),ψ022=0,G(ψkc2,ψkc2),ψ022=Tkc2π2r0,G(ψkc1,ψkc1),ψ023=0,G(ψkc1,ψkc2),ψ023=r02π32kcandG(ψkc2,ψkc1),ψ023=r02π32kc,G(ψkc2,ψkc2),ψ023=0.4.24
    We note that
    β021=Le α022=4π2Le,β022=α022=4π2andβ023=Prα0222Prr02=4π2Pr1r02Pr.4.25
    By the approximation formula of centre manifold functions, see Section 2.4 of [23], we get
    Φβ021(x,y)=qk8πLe (x2+y2)+o(x2+y2),Φβ022(x,y)=Tk8π(x2+y2)+o(x2+y2)andΦβ023(x,y)=o(x2+y2).4.26
    Plugging (4.22) into (4.21), by (4.18) and (4.26), we obtain
    G(ψ),ψkc1=xG(ψkc1,ψkc1),Φ+o(|x|3+|y|3)=πr016qkcqkcLe+TkcTkcx(x2+y2)+o(|x|3+|y|3)andG(ψ),ψkc2=yG(ψkc2,ψkc2),Φ+o(|x|3+|y|3)=πr016qkcqkcLe+TkcTkcy(x2+y2)+o(|x|3+|y|3).4.27
    By (4.10), (4.13) and (4.27), we evaluate (4.7) at R=Rc and obtain the reduction equation
    dxdt=b8x(x2+y2)+o(|x|3+|y|3)anddydt=b8y(x2+y2)+o(|x|3+|y|3),4.28
    where b is as defined as
    b=Le3αkc2Rc+(((1+Le2)α1αTh2)/αqκT+α1αTαkc2Le3h2/24αqκT+αkc2)R~(Le3αkc6/Pr)(1+r02π2/kc2)+Le3αkc2R+Le((1+Le)α1αTh2/αqκT+α1αTαkc2Le2h2/24αqκT+αkc2)R~,4.29

    and αK2 and Rc are given by remark 3.5. It is obvious that b>0. As b>0, due to the reduction equation (4.28), assertion (2) follows from Theorem 2.2.5 of [24]. Assertions (1) and (3) follow from Theorem 3.1 and Theorem 2.4.17 of [24]. This completes the proof of theorem 4.1.  □

    5. Convection scales

    Under the same setting as (2.17)–(2.19), including the fluid frictions, we consider the following non-dimensional equation:

    u1t=PrΔu1+2r0u2x11r02u1δ0u1px1ωu2(u)u11r0u1u2,u2t=PrΔu22r0u1x12r02u2+RT+R~qδ1u2px2+ωu1(u)u2+1r0u12,Tt=ΔT+γu2+αq(u)T,qt=Le Δq+u2(u)qanddiv u=0,5.1
    where
    γ=1+α24,δi=Cih4ν,i=0,1,C0=3.78×101m2s1andC1=6.7×104m2s1.5.2
    The domain is M=[0,2πr0]×(r0,r0+1), and the boundary conditions are given by
    (u,T,q)(x1+2πr0,x2)=(u,T,q)(x1,x2)andu2=0,u1x2=0,T=0,q=0,at x2=r0,r0+1.5.3
    The corresponding eigenvalue problem reads
    PrΔu1+2r0u2x11r02u1δ0u1px1ωu2=βu1,PrΔu22r0u1x12r02u2+RT+R~qδ1u2px2+ωu1=βu2,ΔT+γu2+αq=βT,Le Δq+u2=βqandu1x1+u2x2=0.5.4
    Using the same analysis as in §3a, we obtain the following formula of the critical thermal Rayleigh number:
    Rc=mink,j11Le+1+Le αkj224α1αTh2Le αqαkj2κTR~+αkj4r02k2αkj2+1r02+αkj2r02+δ1αkj2+δ0π2r02αkj2k2=mink11Le+1+Le αk1224α1αTh2Le αqαk12κTR~+αk14r02k2αk12+1r02+αk12r02+δ1αk12+δ0π2r02αk12k2,5.5
    where
    αk12=π2+k2r02.
    Let, y=k2/r02 and
    g(y)=1Le+1+Le(y+π2)24α1αTh2Le αqκT(y+π2)R~+1y(y+π2)2y+π2+1r02+1r02(y+π2)+δ1(y+π2)+δ0π2(y+π2)y.
    Taking the derivative of g(y), we get
    g(y)=2y+3π2+2r02+δ11y2π6+π4r02+δ0π4+α1αTh2R~Le αqκT(y+π2)2.
    By (5.2), we have
    δ1=2.76×1020andδ0=1.55×1015.5.6
    Hence,
    δ1δ01.5.7

    Under this condition, the critical value of g(y) is approximated by

    ycδ0δ1π2.5.8
    Therefore, the critical thermal Rayleigh number is approximated by
    Rcδ1π2=2.76×1021.5.9
    Next, as in [18,24], we adopt
    ν=1.6×105m2s1,κT=2.25×105m2s1,andαT=3.3×103 per C,Pr=0.71.5.10
    We note also that the height of the troposphere is
    h=8×103m.
    Hence, we get
    T0T1=ΔTc=κTναTgh3Rc=60C.5.11

    Here, we note that the above approximations agree with that of the model of tropical atmospheric circulations without humidity. However, as we can see from (5.5), the coefficient of R~ is negative. This implies that the humidity factor lowers the critical thermal Rayleigh number a little bit.

    Next, as the non-dimensional radius of the Earth is r0=6 400 000/h=800, we derive from

    k2r02=δ0δ11/2π25.12
    that the wavenumber kc and the convection length-scale Lc as
    kc6andL=(6400×π)6=3350km.
    This is consistent with the large-scale atmospheric circulation over the tropics.

    Acknowledgements

    The authors are grateful for two referees for there insightful comments and suggestions.

    Funding statement

    The work of S.W. was supported in part by the US Office of Naval Research and by the US National Science Foundation.

    Appendix A. Recapitulation of dynamic transition theory

    The main results of this article are based on the dynamic transition theory developed recently by two of the authors [23,24]. Hereafter, we briefly recapitulate the basic ideas of the theory and refer the interested readers to these references for more details.

    First, dissipative systems are governed by differential equations—both ordinary and partial—which can be written in the following unified abstract form:

    dudt=Lλu+G(u,λ),u(0)=u0,A1
    where u:[0,)X is the unknown function, λR1 is the system control parameter and X is a Banach space. We shall always consider u the deviation of the unknown function from some equilibrium state u¯. Hence, Lλ:X1X is a linear operator, and G:X1×R1X is a nonlinear operator. For example, for the classical incompressible Navier–Stokes equations, u represents the velocity function, and for the time-dependent Ginzburg–Landau equations of superconductivity, we have u=(ψ,A), where ψ is a complex-valued wave function, and A is the magnetic potential.

    Second, the dynamic transition of a given dissipative system is clearly associated with the linear eigenvalue problem for system (A1). The underlying physical concept is the PES, leading to precise information on linear unstable modes. Let, {βj(λ)CjN} be the eigenvalues (counting multiplicity) of Lλ and assume that

    Reβi(λ)<0ifλ<λ0,=0ifλ=λ0,>0ifλ>λ01im,A2
    and
    Reβj(λ0)<0jm+1.A3

    Third, with PES, the dynamic transition is fully dictated then by the nonlinear interactions of the system. One important component of the dynamic transition theory is to establish a general principle, which classifies all dynamic transitions of a dissipative system into three categories, continuous, catastrophic and random, which are also called Type I, Type II and Type III. A continuous transition says that as the control parameter crosses the critical threshold, the transition states stay in a close neighbourhood to the basic state. A catastrophic transition corresponds to the case in which the system undergoes a more drastic change as the control parameter crosses the critical threshold. A random transition corresponds to the case in which a neighbourhood (fluctuations) of the basic state can be divided into two regions such that fluctuations in one of them lead to continuous transitions and those in the other lead to catastrophic transitions.

    Fourth, in the dynamic transition theory, the complete set of transition states is represented by local attractors. The identification and classification of these local attractors are important part of the theory. One crucial technical component is the approximation of the centre manifold of the underlying system, corresponding to the m unstable modes as described in the PES.

    In fact, using the centre manifold reduction, we know that the type of transitions for (A1) at (0,λ0) is completely dictated by its reduction equation near λ=λ0

    dxdt=Jλx+g(x,λ)for xRm,A4
    where g(x,λ)=(g1(x,λ),…,gm(x,λ)) and
    gj(x,λ)=Gi=1mxiei+Φ(x,λ),λ,ej1jm.A5
    Here, ej and e*j (1≤jm) are the eigenvectors of Lλ and L*λ, respectively, corresponding to the eigenvalues βj(λ), Jλ is the m×m order Jordan matrix corresponding to the eigenvalues, and Φ(x,λ) is the centre manifold function of (A1) near λ0.

    The centre manifold function Φ is implicitly defined and is oftentimes hard to compute. A systematic approach is developed in [23,24] to derive approximations of Φ, which provide complete information on the dynamic transition of (A1). Suppose the nonlinear operator G to be of the form

    G(u,λ)=Gk(u,λ)+o(uk),as u0 in Xμ.A6
    for some integer k≥2, where Gk is a k-multilinear operator
    Gk(u,λ)=Gk(u,,u,λ):X1××X1X.

    By Theorem A.1.1 in [24], the centre manifold function Φ(x,λ) can be expressed as

    Φ(x,λ)=0eτLλρεP2Gk(eτJλx,λ)dτ+o(xk),A7
    where Jλ and Lλ are restrictions of Lλ to the linear invariant spaces generated by the first modes and the rest modes, respectively, Gk(u,λ) is the lowest order k-multiple linear operator, and x=i=1mxiei. In particular, we have the following assertions:

    (1) If Jλ is diagonal near λ=λ0, then (A7) can be written as

    LλΦ(x,λ)=P2Gk(x,λ)+o(xk)+O(|β|xk).A8

    (2) Let m=2 and β1(λ)=β2(λ)¯=α(λ)+iρ(λ) with ρ(λ0)≠0. If Gk(u,λ)=G2(u,λ) is bilinear, then Φ(x,λ) can be expressed as

    [(Lλ)2+4ρ2(λ)](Lλ)Φ(x,λ)=[(Lλ)2+4ρ2(λ)]P2G2(x,λ)2ρ2(λ)P2G2(x,λ)+2ρ2P2G2(x1e2x2e1)+ρ(Lλ)P2[G2(x1e1+x2e2,x2e1x1e2)+G2(x2e1x1e2,x1e1+x2e2)]+o(k),A9
    where we have used o(k)=o(∥xk)+O(|Re β(λ)|∥xk).

    Footnotes

    One contribution to a Special feature ‘Climate dynamics:multiple scales, memory effects and control perspectives’.

    References