1.NOAA/National Severe Storms Laboratory, Norman, Oklahoma 73069, USA 2.Cooperative Institute for Mesoscale Meteorological Studies, University of Oklahoma, Norman, Oklahoma 73072, USA 3.Institute of Atmospheric Physics, Chinese Academy of Sciences, Beijing 100029, China Manuscript received: 2020-08-27 Manuscript revised: 2020-11-16 Manuscript accepted: 2020-12-10 Abstract:Two types of existing iterative methods for solving the nonlinear balance equation (NBE) are revisited. In the first type, the NBE is rearranged into a linearized equation for a presumably small correction to the initial guess or the subsequent updated solution. In the second type, the NBE is rearranged into a quadratic form of the absolute vorticity with the positive root of this quadratic form used in the form of a Poisson equation to solve NBE iteratively. The two methods are rederived by expanding the solution asymptotically upon a small Rossby number, and a criterion for optimally truncating the asymptotic expansion is proposed to obtain the super-asymptotic approximation of the solution. For each rederived method, two iterative procedures are designed using the integral-form Poisson solver versus the over-relaxation scheme to solve the boundary value problem in each iteration. Upon testing with analytically formulated wavering jet flows on the synoptic, sub-synoptic and meso-α scales, the iterative procedure designed for the first method with the Poisson solver, named M1a, is found to be the most accurate and efficient. For the synoptic wavering jet flow in which the NBE is entirely elliptic, M1a is extremely accurate. For the sub-synoptic wavering jet flow in which the NBE is mostly elliptic, M1a is sufficiently accurate. For the meso-α wavering jet flow in which the NBE is partially hyperbolic so its boundary value problem becomes seriously ill-posed, M1a can effectively reduce the solution error for the cyclonically curved part of the wavering jet flow, but not for the anti-cyclonically curved part. Keywords: nonlinear balance, iterative method, optimal truncation 摘要:本文回顾了求解非线性平衡方程(NBE)的两种迭代方法,一种是针对相对小的初始猜值情况,把NBE转化成线性方程再迭代求解线性方程;另一种把NBE改写成二次方程式,认为解是平方根的正值分量,再代回Poisson方程迭代求解。本研究以罗斯贝数(Ro)为小参数,通过渐进展开非线性平衡方程(NBE)的解,增加最优截断条件,重新推导了以往的两种迭代求解方法,并在求解边条件下Poisson方程的每一步迭代过程中,采用原有的超张弛算法和积分形式的高精度求解算法。通过四组不同Ro分别代表的天气尺度、次天气尺度和中-α尺度天气系统的数值试验,检验了不同迭代方法的求解精度和效率。结果表明,采用积分形式的高精度求解算法的第一种类型迭代法,求解误差显著降低,求解效率大幅提高。即使在气旋式弯曲的中-α尺度急流中,Ro增大到了0.4,而且NBE变成可能无解的双曲型方程,在急流气旋式弯曲部分依然能求得高精度的解,但在反气旋式弯曲部分的解仍有待改进。 关键词:非线性平衡, 迭代法, 最优截断
HTML
--> --> --> -->
2.1. Scaling and asymptotic expansion based on small Rossby number
The NBE can be expressed in the following form (Charney, 1955): where $ N(\psi) \equiv {\nabla ^2}\psi + (\nabla \psi) \cdot \nabla f + 2{J_{xy}}\left({{\partial _x}\psi,{\partial _y}\psi } \right) = \nabla \cdot (f\nabla \psi) + $$ 2{J_{xy}}\left({{\partial _x}\psi,{\partial _y}\psi } \right) = {\nabla ^2}(f\psi) - \nabla \cdot (\psi \nabla f) + 2{J_{xy}}({\partial _x}\psi,{\partial _y}\psi) $, ψ is the streamfunction, ? is the geopotential, $ \nabla \equiv \left({{\partial _x},{\partial _y}} \right) $, $ \nabla^2 \equiv \nabla \cdot \nabla = \partial _x^2 + \partial _y^2 $, and $ {J_{xy}}\left({{\partial _x}\psi,{\partial _y}\psi } \right) \equiv \left({\partial _x^2\psi } \right) \left({\partial _y^2\psi } \right) - $$ {\left({{\partial _x}{\partial _y}\psi } \right)^2} $. For large-scale and synoptic-scale flows, the geostrophic approximation, $ {\nabla ^2}\phi \approx {\nabla ^2}\left({f\psi } \right) $, is the leading-order balance in Eq. (1a) and thus $ {\nabla ^2}\left({f\psi } \right) $ is the dominant term in N(ψ). In this case, the boundary condition for solving ψ from Eq. (1a) over a middle-latitude domain D can be given by where $\partial D $ denotes the domain boundary, and $ {\psi _{\rm{g}}} \equiv \phi /f $ is the global geostrophic streamfunction (Kuo, 1959; Charney and Stern, 1962; Schubert et al., 2009). Formally, we can scale x and y by L, scale f = f0 + f′ by f0, and scale ψ and ? by UL and f0UL, respectively, where U is the horizontal velocity scale, L is the horizontal length scale, f0 is a constant reference value of f which can be the value of f at the domain center. The scaled variables are still denoted by their respectively original symbols, so the NBE can have the following non-dimensional form: where Ro $ \equiv $U/f0L is the Rossby number. For synoptic-scale and sub-synoptic-scale flows, the above scaling can give Ro = ε < 1. Substituting this into Eq. (2) gives where F = f′/(f0Ro) ≤ O(1) and O() is the “order-of-magnitude” symbol. Thus, ψ can have the following asymptotic expansion: where ψ0 = ψg and $ {\Sigma _{\underline 1 }} $ denotes the summation over k from 1 to ∞. The kth order truncation of the asymptotic expansion of ψ in Eq. (4) is given by ${\psi _k} \equiv {\psi _0} + {\Sigma _{\underline 1 }}^k{\varepsilon ^{k'}}\delta {\psi _{k'}}$, where ${\Sigma _{{{\underline 1 }}}}^k $ denotes the summation over k' from 1 to k. Formally, ψ = ψk + O(εk+1), so ψk is accurate up to O(εk) as an approximation of ψ. By substituting Eq. (4) into Eq. (3) and Eq. (1b), and then collecting terms of the same order of ε, we obtain Here, Eq. (5) gives a formal series of linearized equations for computing δψk consecutively from δψ1 to increasingly higher-order term in the expansion of ψ with the boundary conditions of δψk = 0 (on $ \partial D $ for k = 1, 2, 3, …). The equations in Eq. (5), however, are inconvenient to use, because the equation at each given order becomes increasingly complex as the order k increases. It is thus desirable to modify Eq. (5) into a recursive form, and this can be done non-uniquely by first combining the equations in Eq. (5) with $ {\nabla ^2}$(fψ0) = $ {\nabla ^2}$? into a series of equations for ψk (instead of δψk) and then adding properly selected higher-order terms to the equation for ψk at each order without affecting the order of accuracy of the equation. In particular, two different modifications will be made in the next two subsections. From these two modifications, the two types of iterative methods reviewed in the introduction for solving the NBE can be derived formally and systematically via the asymptotic expansion of ψ in Eq. (4).
2 2.2. Derivation of method-1 -->
2.2. Derivation of method-1
The equations in Eq. (5) can be combined with $ {\nabla ^2}$(fψ0) = $ {\nabla ^2}$? at O(ε0) into a series of equations for ψk defined in Eq. (4) as shown blow: Formally ψk is accurate up to O(εk) and so is $ {\nabla ^2}$(fψk) on the left-hand side of the above kth equation. This implies that the kth equation is accurate only up to O(εk), so the last term O(εk+1) (that represents all the high-order terms) on the right-hand side can be neglected without degrading the order of accuracy of the equation. This leads to the following recursive form of equation and boundary condition for solving the NBE iteratively: If ε is sufficiently small to ensure the convergence of the asymptotic expansion in Eq. (4), then ψk → ψ gives the solution of the NBE in the limit of k → ∞. Substituting $ \varepsilon \nabla F = \nabla f/{f_0} $ and ε = Ro $ \equiv $U/f0L into Eq. (7) gives the dimensional form of Eq. (7): For f = constant, Eq. (8a) recovers Eq. (5) of Bushby and Huckle (1956), but this recursive form of equation is derived here formally and systematically via the asymptotic expansion of the solution in Eq. (4). Substituting the dimensional form of ψk = ψk?1 + εkδψk, that is, ψk = ψk?1 + δψk into Eq. (8) gives where N() is the nonlinear differential operator defined in Eq. (1a). Analytically, Eq. (9a) is identical to Eq. (8a) but expressed in an incremental form. Numerically, however, solving δψk from Eq. (9) and updating ψk?1 to ψk = ψk?1 + δψk iteratively does not give exactly the same solution as that obtained by solving ψk from Eq. (8) iteratively. According to our additional numerical experiments (not shown), the solutions obtained from Eq. (8) are less accurate (by about an order of magnitude for the case of Ro = 0.1) than their counterpart solutions obtained from Eq. (9), so the non-incremental form of boundary value problem in Eq. (8) will not be considered in this paper.
2 2.3. Derivation of method-2 -->
2.3. Derivation of method-2
The equation for ψk in Eq. (6.4) can be multiplied by 2 and rewritten as where ψk = ψk?1 + εkδψk = ψk?1 + O(εk) and $ {\nabla ^2}$(fψk) = fζk + ($ \nabla $f)·$ \nabla $ψk + $ \nabla $·(ψk$ \nabla $f) = fζk + ε($ \nabla $F)·$ \nabla $ψk + ε$ \nabla $·(ψk$ \nabla $F) = fζk + ε($ \nabla $F)·($ \nabla $ψk?1) + ε$ \nabla $·(ψk?1$ \nabla $F) + O(εk+1) are used. One can verify that ?4εJxy(${\partial _x}{\psi _k} $, ${\partial _y}{\psi _k} $) = ε(ζk2 ? Ak2? Bk2) = εζk2 ? ε(Ak?12 + Bk?12) + O(εk+1) where ζk = $ \nabla $2ψk, Ak$ \equiv $ (${\partial _x}^2 - {\partial _y}^2$)ψk, Bk$ \equiv $$ 2{\partial _x}{\partial _y}{\psi _k} $, and Ak = ($ {\partial _x}^2 - {\partial _y}^2 $)(ψk?1 + εkδψk) = Ak?1 + O(εk) and Bk = $2{\partial _x}{\partial _y}$(ψk?1 + εkδψk) = Bk?1 + O(εk) are used. Substituting these into Eq. (10) gives This leads to the following recursive form of equation that is accurate up to O(εk): Substituting $\varepsilon \nabla F = \nabla f/{f_0} $ and ε = Ro $ \equiv $U/(f0L) into Eq. (12a) gives its dimensional form which can be rewritten as The non-negative condition of (f + ζk)2 ≥ 0 requires Mk?1 ≥ 0 on the right-hand side of Eq. (12b). Also, as a quadratic equation of f + ζk for given ? and ψk?1, Eq. (12b) has two roots, but only the positive root, given by f + ζk = Mk?11/2, is physically acceptable (because f + ζk ≥ 0 is required for stably balanced flow). This leads to the following recursive form of equation and boundary condition for solving the NBE iteratively: where Mk?1 ≥ 0 is ensured by setting Mk?1 = 0 when the computed Mk?1 from the previous step becomes negative. Here, Eq. (13a) gives essentially the same recursive form of equation as that in Eq. (8) of Shuman (1957) for solving the NBE iteratively, but this recursive form of equation is derived here via the asymptotic expansion of the solution in Eq. (4).
-->
3.1. Criterion for optimal truncation
When the Rossby number is not sufficiently small to ensure the convergence of the asymptotic expansion, the optimal truncation of the asymptotic expansion of ψ in Eq. (4) can be determined (Boyd, 1999) by an empirical criterion in the following dimensional form: where N() is the function form defined in Eq. (1a), K is the number of optimal truncation, E[N(ψk)] $ \equiv $ ||ε[N(ψk)]||′, || ||′ denotes the root-mean-square (RMS) of discretized field of the variable inside || ||′ computed over all the interior grid points (excluding the boundary points) of domain D, and ε[N(ψk)] $ \equiv $ [N(ψk) ? N(ψt)]/||N(ψt)||′ = [N(ψk) ? $ {\nabla ^2}$?]/||$ {\nabla ^2}$?||′ is the relative error of N(ψk) with respect to N(ψt) which is also the normalized (by ||$ {\nabla ^2}$?||′) residual error of the NBE caused by the approximation of ψ ≈ ψk, and ψt denotes the true solution. Here, E[N(ψK)] is expected to be the global minimum of E[N(ψk)]. If E[N(ψk)] does not oscillate as k increases, then it is sufficient to set m = 1 in Eq. (14). Otherwise, m should be sufficiently large to ensure E[N(ψK)] be the global minimum of E[N(ψk)].
2 3.2. Iterative procedures -->
3.2. Iterative procedures
The iterative procedure for method-1 performs the following steps: 1. Start from k = 0 and set ψ0 = ψg$ \equiv $?/f in D and $ \partial D $. 2. Substitute ψk?1 (= ψ0 for k = 1) into N(ψk?1) to compute the right-hand-side of Eq. (9a), and then solve the boundary value problem in Eq. (9) for δψk. 3. Substitute ψk = ψk?1 + αδψk into ||N(ψk) ? $ {\nabla ^2}$?||′ and save the computed ||N(ψk) ? $ {\nabla ^2}$?||′ where α is an adjustable parameter in the range of 0 < α ≤ 1. 4. If k ≥ 2m, then find min||N(ψk′) ? $ {\nabla ^2}$?||′, say at k′ = K′, for k′ = k, k ? 1, … k ? 2m. If K′ < k ? m, then K = K′ and ψK gives the optimally truncated solution—the final solution that ends the iteration. Otherwise, go back to step 2. When the Poisson solver (or SOR scheme) is used to solve the boundary value problem in the above step 2, the iterative procedure designed for method-1 is named M1a (or M1b). For the Poisson solver used in this paper, the internally induced solution is obtained by using the scheme S2 described in section 2.1 of Cao and Xu (2011) and the externally induced solution obtained by using the Cauchy integral method described in section 4.1 of Cao and Xu (2011). For M1a with Ro < 0.4 (or Ro = 0.4), it is sufficient to set m = 1 and α = 1 (or 1/2). For M1b, it is sufficient to set m = 3 and α = 1. The iterative procedure for method-2 performs the following steps: 1. Start from k = 0 and set ψ0 = ψg$ \equiv $?/f in D and $ \partial D $. 2. Substitute ψk?1 into Mk?1 defined in Eq. (12b) to compute the right-hand-side of Eq. (13a), and then solve the boundary value problem in Eq. (13) for ψk. 3. Compute and save ||N(ψk) ? $ {\nabla ^2}$?||′. 4. Perform this step as described above for step 4 of method-1. When the Poisson solver (or SOR scheme) is used to solve boundary value problem in the above step 2, the iterative procedure designed for method-2 is named M2a (or M2b). For M2a and M2b, it is sufficient to set m = 1 and α = 1.
2 3.3. Experiment design -->
3.3. Experiment design
To examine and compare the accuracies and computational efficiencies of the four iterative procedures, the true streamfunction field is formulated for a wavering jet flow by and the associated velocity components are given by and where U = 20 m s?1 is the maximum zonal speed of the wavering jet flow, y = ?0.25Lcos(πx′/L) is the longitudinal location (in y-coordinate) of the wavering jet axis as a function of x′ = x ? x0, and x0 is the zonal location of wave ridge. By setting the half-wavelength L to 2000, 1000 and 500 km, the flow fields formulated in Eqs. (15) and (16) resemble wavering westerly jet flows on the synoptic, sub-synoptic and meso-α scales, respectively (as often observed on northern-hemisphere mid-latitude 500 hPa weather maps). Four sets of experiments are designed to test and compare the iterative procedures with ψt given in Eq. (15) over a square domain of D$ \equiv $ [?L ≤ x ≤ L, ?L ≤ y ≤ L]. The first set consists of four experiments to test the four iterative procedures (that is, M1a, M1b, M2a and M2b) on the synoptic scale by setting L = 2000 km and x0 = 0 for ψt in Eq. (15). The second set also consists of four experiments but to test the four iterative procedures on the sub-synoptic scale by setting L = 1000 km and x0 = 0 for ψt in Eq. (15). The third (or fourth) set still consists of four experiments to test the four iterative procedures on the meso-α scale by setting L = 500 km and x0 = 0 (or L) for ψt in Eq. (15). Note that setting x0 = 0 (or L) places the ridge (or trough) of the wavering jet in the middle of domain D, so the nonlinearly balanced flow used for the tests in the third (or fourth) set is curved anti-cyclonically (or cyclonically) in the middle of domain D. For simplicity, the Coriolis parameter f is assumed to be constant and set to f = f0 = 10?4 s?1 in all the experiments. The Rossby number, defined by Ro = U/f0L, is thus 0.1, 0.2 and 0.4 for L = 2000, 1000 and 500 km, respectively. The true geopotential field, ?, is obtained by solving the Poisson equation, ${\nabla ^2} $? = N(ψt), numerically on a 51×51 grid over domain D with the boundary condition given by ? = fψt. In this case, ψt in Eq. (15) is also discretized on the same 51×51 grid over the same square domain, and is used to compute the right-hand side of ${\nabla ^2} $? = N(ψt) via standard finite-differencing. Then, ? is solved numerically by using the Poisson solver of Cao and Xu (2011). The SOR scheme can be also used to solve for ?, but the solution is generally less accurate than that obtained by using the Poisson solver. The NBE discretization error (scaled by ||$ {\nabla ^2}$?||′) can be denoted and defined by This error is 3.25×10?3 (or 4.33×10?3) for ? obtained by using the Poisson solver with L = 2000 (or 1000) km but increases to 5.58×10?3 (or 5.78×10?3) for ? obtained by using the SOR scheme. Thus, the solution obtained by using the Poisson solver is used as the input field of ? in the NBE to test the iterative procedures in each set of experiments.
-->
4.1. Results from first set of experiments
For this set of experiments, ψt and (ut, vt) are plotted in Fig. 1a, ψg and (ug, vg) $ \equiv $ ($ - {\partial _y}{\psi _{\rm{g}}},\; - {\partial _x}{\psi _{\rm{g}}}$) are plotted in Fig. 1b, the vorticity ζt$ \equiv $$ {\nabla ^2} $ψt is plotted in Fig. 1c, and the geostrophic vorticity ζg$ \equiv $$ {\nabla ^2} $ψg is plotted in Fig. 1d. Figure 1c shows that the absolute vorticity, defined by f + ζt, is positive everywhere so the nonlinearly balanced wavering jet flow is inertially stable over the entire domain (see the proof in Appendix C of Xu, 1994). Figure 1c also shows that the geostrophic vorticity ζg is larger than ?f/2 (= ?f0/2) everywhere, so the NBE is elliptic over the entire domain and its associated boundary value problem in Eq. (1) is well posed. Figure1. (a) ψt plotted by color contours every 4.0 in the unit of 106 m2 s?1 and (ut, vt) plotted by black arrows over domain D$ \equiv $ [?L ≤ x ≤ L, ?L ≤ y ≤ L] with L = 2000 km for the first set of experiments. (b) As in (a) but for ψg and (ug, vg) with ψg$ \equiv $?/f and ? computed from ψt by setting f = f0 = 10?4 s?1 as described in section 3.3. (c) Vorticity ${\zeta _{\rm{t}}} \equiv {\nabla ^2}{\psi _{\rm{t}}}$ plotted by color contours every 0.1 in the unit of 10?4 s?1 over domain D. (d) As in (c) but for geostrophic vorticity ${\zeta _{\rm{g}}} \equiv {\nabla ^2}{\psi _{\rm{g}}} $. The wavering jet axis is along the green contour of ψt = 0 in (a) with its ridge at x = 0 and two troughs at x = ±L on the west and east boundaries of domain D.
The relative error of ψk with respect to ψt can be denoted and defined by where || || denotes the RMS of discretized field of the variable inside || || computed over all the grid points (including the boundary points) of domain D. The accuracy of the solution ψk obtained during the iterative process in each experiment can be evaluated by the RMS of ε(ψk), denoted and defined by where || || is defined in Eq. (18). The accuracy to which the NBE is satisfied by ψk can be measured by E[N(ψk)] defined in Eq. (14). Table 1 lists the values of E(ψk) and E[N(ψk)] for the initial guess ψ0 (= ψg) in row 1 and the optimally truncated solutions ψK from the four experiments in rows 2?5. As shown in row 2 versus row 1 of Table 1, M1a reaches the optimal truncation at k = K = 6 where E[N(ψk)] is reduced (from 0.120 at k = 0) to its minimum [= 2.411×10?3 < E($ {\nabla ^2}$?) = 3.25×10?3—the NBE discretization error defined in Eq. (17)] with E(ψk) reduced (from 2.43×10?2 at k = 0) to 4.87×10?4. Figure 2a shows that E(ψk) reaches its minimum (= 4.79×10?4) at k = 10. This minimum is slightly below E(ψK) = 4.87×10?4 but undetectable in real-case applications.
E(ψk)
E[N(ψk)]
k
ψ0
2.43×10?2
0.120
k = 0
M1a
4.87×10?4
2.41×10?3
k = K = 6
M1b
1.68×10?3
1.81×10?2
k = K = 38493
M2a
4.55×10?3
3.55×10?2
k = K = 19
M2b
2.69×10?3
2.66×10?2
k = K = 26
Table1. Values of E(ψk) and E[N(ψk)] listed in row 1 for the initial guess ψ0 (= ψg) with k = 0 and in rows 2?5 for ψK from the four iterative procedures in the first set of experiments (with Ro = 0.1). Here, E(ψk) is defined in Eq. (19), E[N(ψk)] is defined in Eq. (14), k is the iteration number, and ψK is the optimally truncated solution at k = K.
Figure2. (a) E[N(ψk)] and E(ψk) from M1a in the first set of experiments plotted by red and blue curves, respectively, as functions of k over the range of 1 ≤ k ≤ 20. (b) As in (a) but from M1b plotted over the range of 1 ≤ k ≤ 4×104. (c) As in (a) but from M2a plotted over the range of 1 ≤ k ≤ 60. (d) As in (c) but from M2b. In each panel, the ordinate of E[N(ψk)] is on the left side labeled in red and the ordinate of E(ψk) is on the right side labeled in blue.
E(ψk)
E[N(ψk)]
k
ψ0
4.86×10?2
0.243
k = 0
M1a
1.24×10?3
5.23×10?3
k =K = 13
M1b
5.14×10?3
2.20×10?2
k = K = 48057
M2a
6.31×10?3
4.17×10?2
k = K = 26
M2b
3.96×10?3
2.94×10?2
k = K = 35
Table2. As in Table 1 but for the second set of experiments (with Ro = 0.2).
E(ψk)
E[N(ψk)]
k
ψ0
9.72×10?2
0.57
k = 0
M1a
8.20×10?2
0.13
k = K = 2
M1b
8.31×10?2
0.15
k = K = 10325
M2a
8.25×10?2
0.11
k = K = 26
M2b
8.26×10?2
0.10
k = K = 29
Table3. As in Table 1 but for the third set of experiments (with Ro = 0.4 and x0 = 0).
On the contrary, as shown in row 3 of Table 1 and Fig. 2b, M1b reaches the optimal truncation very slowly at k = K = 38493 where E[N(ψk)] is reduced to its global minimum (= 1.81×10?2) with E(ψk) reduced to 1.68×10?3. Here, E[N(ψk)] has three extremely shallow and small local minima (at k = 32408, 38490 and 38497) not visible in Fig. 2b. These local minima are detected and passed by setting m = 3 in Eq. (14) for M1b. Clearly M1b is less accurate and much less efficient than M1a. Figure 2c (or 2d) shows that M2a (or M2b) reaches the optimal truncation at k = K = 19 (or 26) where E[N(ψk)] is reduced to its global minimum [= 3.55×10?2 (or 2.66×10?2)] with E(ψk) reduced to 4.55×10?3 (or 2.69×10?3), and E(ψk) decreases continuously toward its minimum [= 2.45×10?3 (or 1.62×10?3)] as k increases beyond K. Thus, M2a and M2b are less efficient and much less accurate than M1a for Ro = 0.1.
2 4.2. Results from second set of experiments -->
4.2. Results from second set of experiments
For this set of experiments, ψt and (ut, vt) have the same patterns as those in Fig. 1a, and ψg and (ug, vg) are similar to those in Fig. 1b, but the contour intervals of ψt and ψg are reduced by 50% as L is reduced from 2000 to 1000 km with Ro increased to 0.2, so the wavering jet flow is on the sub-synoptic scale. In this case, the nonlinearly balanced jet flow is still inertially stable over the entire domain since ζt > ?f everywhere as shown in Fig. 3a, but ζg < ?f/2 in the two small yellow colored areas as shown in Fig. 3b, so the NBE becomes hyperbolic locally in this small area and the boundary value problem in Eq. (1) is not fully well posed. Figure3. (a) ζt plotted by color contours every 0.25 in the unit of 10?4 s?1 in domain D with L = 1000 km and Ro = 0.2 for the second set of experiments. (b) As in (a) but for ζg. As shown in (b), ζg < ?f/2 (= ?f0/2) in the two small yellow colored areas where the NBE becomes locally hyperbolic.
In this case, as shown in row 2 versus row 1 of Table 2, M1a reaches the optimal truncation at k = K = 13 where E[N(ψk)] is reduced (from 0.243 at k = 0) to its minimum [= 5.23×10?3 close to E($ {\nabla ^2}$?) = 4.33×10?3] with E(ψk) reduced (from 4.86×10?2 at k = 0) to 1.24×10?3. The rapid descending processes of E(ψk) and E[N(ψk)] (not shown) are similar to those in Fig. 2a for M1a in the first set of experiments. As shown in row 3 of Table 2, M1b takes K = 48057 iterations to reach the optimal truncation and the values of E[N(ψk)] and E(ψk) at k = K are about four times larger than those from M1a. The extremely slow descending processes of E(ψk) and E[N(ψk)] (not shown) are similar to those in Fig. 2b for M1b in the first set of experiments. As shown in row 4 (or 5) of Table 2, M2a (or M2b) reaches the optimal truncation at k = K = 26 (or 35) and the values of E[N(ψK)] and E(ψK) are more than (or about) 4 times of those from M1a. Thus, M1a is still more accurate and much more efficient than M1b and is more efficient and much more accurate than M2a and M2b for Ro = 0.2, although the boundary value problem in Eq. (1) in this case is not fully (but nearly) well posed.
2 4.3. Results from third set of experiments -->
4.3. Results from third set of experiments
For this set of experiments, ψt and (ut, vt) have the same patterns as those in Fig. 1a but the contour interval of ψt is reduced 4 times as L is reduced from 2000 to 500 km with Ro increased to 0.4, so the wavering jet flow is on the meso-α scale. Figure 4a shows the fields of ψg and (ug, vg) for the nonlinearly balanced jet flow. This nonlinearly balanced jet flow is inertially unstable in the yellow colored area south of the ridge of wavering jet axis in the middle of domain D where ζt < ?f as shown in Fig. 4c. Figure 4d shows that ζg < ?f/2 in the long and broad yellow colored area along and around the wavering jet, so the NBE is hyperbolic in this area and the boundary value problem in Eq. (1) becomes seriously ill-posed. Figure4. (a) ψg plotted by color contours every 1.0 in the unit of 106 m2 s?1 and (ug, vg) plotted by black arrows over domain D with L = 500 km and Ro = 0.4 for the third set of experiments. (b) As in (a) but for ε(ψ0) = ε(ψg) plotted by color contours every 5.0 in the unit of 10?2. (c) As in (a) but for ζt plotted by color contours every 0.5 in the unit of 10?4 s?1 in domain D. (d) As in (c) but for ζg. As shown in (c), ζt < ?f in the yellow colored area south of the ridge of wavering jet axis where the jet flow becomes inertially unstable. As shown in (c), ζg < ?f/2 (= ?f0/2) in the long and broad yellow colored area (along and around the wavering jet) where the NBE becomes hyperbolic.
In this case, as shown in row 2 of Table 3 and Fig. 5a, M1a reaches the optimal truncation at k = K = 2 where E[N(ψk)] is decreased (from 0.57 at k = 0) to its minimum (= 0.13), while E(ψk) decreases from 9.72×10?2 at k = 0 to 8.20×10?2 at k = K = 2 and then to its minimum (= 7.38×10?2) at k = 6. As k increases beyond 6, M1a diverges. Its optimally truncated solution ψK is merely slightly more accurate than the initial guess ψ0. As shown in row 3 of Table 3 and Fig. 5b, M1b reaches the optimal truncation at k = K = 10325 where E[N(ψk)] is decreased to its global minimum (= 0.15), while E(ψk) decreases to 8.31×10?2 at k = K and then to its minimum (= 7.68×10?2) at k = 23515. Thus, M1b is still less accurate and much efficient than M1a. Figure5. (a) E[N(ψk)] and E(ψk) from M1a in the third set of experiments plotted by red and blue curves, respectively, as functions of k over the range of 1 ≤ k ≤ 8, (b) As in (a) but from M1b plotted over the range of 1 ≤ k ≤ 3×104. (c) As in (a) but from M2a plotted over the range of 1 ≤ k ≤ 60. (d) As in (c) but from M2b. In each panel, the ordinates of E[N(ψk)] and E(ψk) are placed and labeled as in Fig. 2.
Figure 5c (or 5d) shows that M2a (or M2b) reaches the optimal truncation at k = K = 26 (or 29) where E[N(ψk)] is reduced to its minimum [= 0.11 (or 0.10)], while E(ψk) is reduced to its minimum [= 8.24×10?2 (or 8.24×10?2)] at k = 25 (or 26) and then increases slightly to 8.25×10?2 (or 8.26×10?2) at k = K = 26 (or 29). As shown in row 4 (or 5) versus row 2 of Table 3, E(ψK) from M2a (or M2b) is larger than that from M1a, so M2a (or M2b) is still less accurate than M1a in this case. Figure 6a (or 6b) shows that ε(ψK) from M1a (or M1b) peaks positively and negatively in the middle of domain D as ε(ψ0) does in Fig. 4b but with slightly reduced amplitudes. Figure 6c (or 6d) shows that ε(ψK) from M2a (or M2b) has a broad negative peak south of the ridge of wavering jet axis similar to that of ε(ψ0) in Fig. 4b but with a slightly enhanced amplitude. In this case, M1a is still slightly more accurate than the other three iterative procedures, but it cannot effectively reduce the solution error in the central part of the domain where not only is NBE hyperbolic (with ζg < ?f/2 as shown in Fig. 4d), but also the jet flow is strongly anti-cyclonically curved and subject to inertial instability (with ζt < ?f as shown in Fig. 4c). Figure6.ε(ψK) plotted by color contours every 0.5 in the unit of 10?2 for ψK from (a) M1a, (b) M1b, (c) M2a and (d) M2b in the third set of experiments.
2 4.4. Results from fourth set of experiments -->
4.4. Results from fourth set of experiments
For this set of experiments, ψt and (ut, vt) are plotted in Fig. 7a. These fields represent the same nonlinearly balanced wavering westerly jet flow as that in the third set of experiments except that the wave fields are shifted by a half-wavelength so the jet flow is curved cyclonically in the middle of domain D. In this case, ψg and (ug, vg) are nearly the same as the half-wavelength shifted fields (not shown) from Fig. 4a but with small differences, mainly along and around the trough and ridge lines due to the boundary condition, ?$ \equiv $fψg = fψt, used here along the two trough lines (instead of the two ridge lines in Fig. 4a) for solving ? from ${\nabla ^2} $? = N(ψt). Figure 7c shows that the jet flow becomes inertially unstable in the two yellow colored areas (where ζt < ?f) around the west and east boundaries of domain D. Figure 7d shows that the NBE becomes hyperbolic in the long and broad yellow colored area (where ζg < ?f/2) that is nearly the same as the yellow colored area in Fig. 4d but half-wavelength shifted, so the area of ζg < ?f (that is, the area of ζ0 + f < 0 in which the initial guess field is inertially unstable) in Fig. 4d is moved with the ridge line to the west and east boundaries in Fig. 7d. As the area of ζg < ?f and area of ζt < ?f are moved away from the domain center to the domain boundaries where ψt is known and given by ?/f, the NBE becomes less difficult to solve in this fourth set of experiments than in the third set. Figure7. (a) As in Fig. 4a but for ψt and (ut, vt) in the fourth set of experiments with L = 500 km and x0 = L (instead of x0 = 0). (b) As in (a) but for ε(ψ0) = ε(ψg) plotted by color contours every 6.0 in the unit of 10?2. (c) As in (a) but for ζt plotted by color contours every 0.5 in the unit of 10?4 s?1 in domain D. (d) As in (c) but for ζg.
In this case, as shown in row 2 of Table 4 and Fig. 8a, M1a reaches the optimal truncation at k = K = 7 where E[N(ψk)] is decreased (from 0.76 at k = 0) to its minimum (= 3.81×10?2), while E(ψk) decreases from 9.71×10?2 at k = 0 to 2.29×10?2 at k = K = 7 and then to its flat minimum (= 2.25×10?2) at k = 12, so ψK is significantly more accurate than ψ0 and slightly less accurate than ψk at k = 12 (which is undetectable in real-case applications). As shown in row 3 of Table 4 and Fig. 8b, M1b reaches the optimal truncation at k = K = 31830 where E[N(ψk)] is decreased to its global minimum (= 4.54×10?2), while E(ψk) decreases to 2.37×10?2 at k = K and then to its minimum (= 2.21×10?2) at k = 57 586. Thus, M1b is still much less efficient and less accurate than M1a.
E(ψk)
E[N(ψk)]
k
ψ0
9.71×10?2
0.76
k = 0
M1a
2.29×10?2
3.81×10?2
k = K = 7
M1b
2.37×10?2
4.54×10?2
k=K= 31830
M2a
3.03×10?2
5.42×10?2
k = K = 27
M2b
2.64×10?2
4.66×10?2
k = K = 32
Table4. As in Table 1 but for the fourth set of experiments (with Ro = 0.4 and x0 = L).
Figure8. (a) E[N(ψk)] and E(ψk) from M1a in the fourth set of experiments plotted by red and blue curves, respectively, as functions of k over the range of 1 ≤ k ≤ 24, (b) As in (a) but from M1b plotted over the range of 1 ≤ k ≤ 6×104. (c) As in (a) but from M2a plotted over the range of 0 ≤ k ≤ 60. (d) As in (c) but from M2b. In each panel, the ordinates of E[N(ψk)] and E(ψk) are placed and labeled as in Fig. 2.
Figure 8c (or 8d) shows that M2a (or M2b) reaches the optimal truncation at k = K = 27 (or 32) where E[N(ψk)] is reduced to its minimum [= 5.42×10?2 (or 4.66×10?2)], E(ψk) reduces to 3.03×10?2 (or 2.64×10?2) at k = K and then to its minimum [= 2.72×10?2 (or 2.43×10?2)] at k = 36 (or 44), so M2a (or M2b) is still less efficient and less accurate than M1a in this case. Figure 7b shows that ε(ψ0) has a broad positive (or negative) peak south (or north) of the trough of wavering jet axis in the middle of domain D. These broad peaks are mostly reduced by M1a as shown by ε(ψK) in Fig. 9a but slightly less reduced by M1b as shown in Fig. 9b and less reduced by M2a (or M2b) as shown in Fig. 9c (or 9d). However, the small secondary negative peak of ε(ψg) near the west or east boundary in Fig. 7b is reduced only about 30% by M1a (or M1b) as shown by ε(ψK) in Fig. 9a (or 9b) and even less reduced by M2a (or M2b) as shown in Fig. 9c (or 9d). Thus, all the four iterative procedures have difficulties in reducing the errors of their optimally truncated solutions near the west and east boundaries where not only is the NBE hyperbolic (with ζg < ?f/2 as shown in Fig. 7d), but also the jet flow is subject to inertial instability (with ζt < ?f as shown in Fig. 7c). Nevertheless, since the area of ζt < ?f is moved with the ridge of wavering jet axis to the domain boundaries in Fig. 7c, all of the four iterative procedures perform significantly better in this set of experiments than in the previous third set, as shown in Fig. 9 and Table 4 versus Fig. 6 and Table 3. In this case, M1a is still most accurate and M1b is still least efficient among the four iterative procedures. Figure9.ε(ψK) plotted by color contours every 2.0 in the unit of 10?2 for ψK from (a) M1a, (b) M1b, (c) M2a and (d) M2b in the fourth set of experiments.