## 1. Introduction

Now an accepted fact in dynamical meteorology, the existence of an inherent finite-time barrier in predicting atmospheric flows was first conceptually shown by Lorenz (1969). Using a simple model, he estimated the predictability limit to be slightly over two weeks—a result echoed by recent studies with real-world operational models at major numerical weather prediction centers (Buizza and Leutbecher 2015; Judt 2018; Selz 2019; Zhang et al. 2019). Although advances in probabilistic prediction make it possible to extract predictable signals beyond this limit, the extended predictability mainly results from temporal averaging of the predicted fields, together with the slowly varying components of the climate system (Buizza and Leutbecher 2015). Moreover, the loss of information in probabilistic prediction is reflected in the growth of deterministic error, and under statistically stationary conditions, saturation of the error spectrum corresponds to the predicted probability distribution matching that of the climatology, so that the loss of deterministic and probabilistic predictability are matched. Indeed, empirical evidence suggests that the decay of forecast skill behaves broadly similarly across deterministic and probabilistic predictions (Buizza and Leutbecher 2015). Thus, the study of deterministic error growth can be used to understand the mechanisms limiting the range of predictability to a finite horizon and the role of multiscale interactions in error growth (Rotunno and Snyder 2008; Durran and Gingrich 2014; Sun and Zhang 2016). Such an analysis requires averaging over multiple cases to ensure robust results, which is a somewhat different notion of predictability compared to the fully probabilistic notion used today. However, since the earlier works adopted the deterministic approach with the averaging, we shall take the same approach as we revisit their works.

In his original work, Lorenz (1969) classified fluid systems into two categories:

- those whose error at any future time can be made arbitrarily small by suitably reducing the initial error and
- those whose error at any future time cannot be reduced below a certain limit unless the initial error is zero.

*range of predictability*(or simply

*predictability*): the former category has an indefinite range and the latter has only an inherently finite range. The reader is referred to appendix A for a motivation of the concept and more details about the skill function. By modeling atmospheric flows by the two-dimensional (2D) barotropic vorticity equation and assuming a −5/3 spectral slope along the inertial range of the kinetic energy (KE) spectrum of the unperturbed flow, he argued that such flows have an inherently finite range of predictability. (The inertial range is a continuous part of the spectrum where a specific power-law relationship is followed so that the flow restricted to such scales is self-similar. It is identified by a spectral slope that is the slope of the spectrum as appearing in a log–log plot.)

Although the barotropic vorticity equation with large-scale forcing produces a steeper spectral slope of −3, and unbalanced dynamics are required to produce a spectral slope of −5/3 in more realistic models (Sun and Zhang 2016), it has been shown that predictability is determined much more by the spectral slope than by the nature of the dynamics (Rotunno and Snyder 2008). Thus, it is appropriate to use the barotropic vorticity equation to study predictability with a range of spectral slopes, recognizing that this addresses only one aspect of what limits atmospheric predictability in practice.

Closely related to this system are the incompressible 2D Navier–Stokes (2D N-S) equations, whose well posedness (existence of a unique solution to the initial-value problem that depends continuously on the initial conditions) was first rigorously shown by Ladyzhenskaya also in the second half of the twentieth century (Robinson 2001). As we will see in section 4, it is not difficult to show that well posedness implies an indefinite range of predictability in the sense of Lorenz.

The present paper aims to reconcile the difference between the inherently finite predictability result of Lorenz and the indefinite predictability corollary of Ladyzhenskaya’s proof, in the context of incompressible 2D flows. Section 2 reviews Lorenz’s argument of its inherent finite-time behavior. In section 3 we reproduce Lorenz’s numerical results and discuss the predictability in the directly simulated 2D barotropic vorticity model. An account of the well posedness and indefinite predictability of the incompressible 2D N-S equations is presented in section 4, with which we reconcile Lorenz’s result of inherently finite predictability in section 5. The major findings are summarized in section 6.

## 2. Lorenz’s argument of inherently finite predictability

*ψ*is the velocity streamfunction [related to the velocity

**u**by

*x*, ∂/∂

*y*), and

*J*(

*A*,

*B*) = (∂

*A*/∂

*x*)(∂

*B*/∂

*y*) − (∂

*A*/∂

*y*)(∂

*B*/∂

*x*). Assuming a doubly periodic domain, Lorenz expanded the variables

*ψ*and

*θ*in Fourier series and rewrote the linearized error equation of Eq. (1) in Fourier components. Then he made various assumptions to an ensemble of error fields for the linearized error equation, most notably homogeneity and a slight generalization of the quasi-normal closure. The resulting equation was then passed into the large domain and continuous-spectrum limit.

The derivation is arguably more straightforward if the domain is the whole ^{2} space and the variables are Fourier transformed rather than expanded in Fourier series. We have checked that this method returns the same equation as the limiting equation of Lorenz, up to a constant multiplicative factor.

**Z**of error KE at different scales (each scale

*K*collectively represents wavenumbers

*k*= 2

^{K−1}to

*k*= 2

^{K}) evolves according to the linear model

**W**is the first time derivative of

**Z**, and

As Rotunno and Snyder (2008) mentioned, the computation of

To time integrate Eq. (2), it is necessary that the initial conditions for **Z** and **W** are specified. Lorenz did not explicitly give an initial condition for **W**, but as Rotunno and Snyder (2008) assumed **W**(*t* = 0) ≡ 0 in their predictability experiments, we shall prescribe the same for our numerical simulations (section 3a). The nonlinear effects were accounted for by removing the corresponding components of **Z**, **W**, and

*t*

_{K}of scale

*K*, he found that the successive differences

*t*

_{K}−

*t*

_{K+1}behaved approximately proportional to 2

^{−βK}with

*β*depending on the spectral slope. He therefore concluded that, given an initial error at an infinitesimally small scale, the range of predictability is inherently finite if and only if the telescoping series

*β*> 0. By observing

*β*= 2/3 for the atmospherically relevant spectral slope of −5/3, he suggested inherently finite predictability for the atmosphere. Additionally, he found that

*β*= 1/3 for a hypothetical spectral slope of −7/3. Lorenz thus hypothesized by linear extrapolation that the range of predictability would be indefinite if the spectral slope were steepened to −3.

This result is echoed by arguments on dimensional grounds (Vallis 1985; Lilly 1990). Assuming that *t*_{K} in Eq. (3) depends only on the wavenumber *k* and the one-dimensional KE spectral density *E*(*k*) of the background flow, one has *t*_{K} ~ [*k*^{3}*E*(*k*)]^{−0.5} as this is the only way the physical units of *k* and *E*(*k*) can combine to give the dimension of time. With *k* ~ 2^{K}, one obtains *t*_{K} ~ 2^{−βK}, with *β* = 2/3, 1/3, and 0 for the spectral slopes of −5/3, −7/3, and −3, respectively, the same result as Lorenz’s.

## 3. Numerical simulations

We performed a series of numerical simulations, first on the Lorenz model (2) followed by a forced-dissipative version of the full 2D barotropic vorticity system (1), to see whether indefinite predictability is indeed achieved with a KE spectral slope of −3 as Lorenz hypothesized.

### a. Lorenz’s model

Rotunno and Snyder (2008) solved for the growth of the error KE spectrum for a background spectral slope of −*p* where *p* = 3. To assess the range of predictability in Lorenz’s framework, we extended their calculations to study the relationship between *K* and *t*_{K}.

Figure 1 shows the evolution of the error for the −3 spectrum as in Rotunno and Snyder (2008), and Fig. 2 shows the saturation times *t*_{K} as a function of the scale *K*. Note that in Fig. 2 *t*_{K} is plotted instead of *t*_{K} − *t*_{K+1} against *K*, but the choice makes little difference when *β* > 0 since if *t*_{K} − *t*_{K+1} is proportional to 2^{−βK}, then so is *t*_{K} [cf. Eq. (3)]. It is clear that the saturation times *t*_{K} scale as 2^{−βK} with a small but positive *β* (0.05) along the inertial range, so that the sum in Eq. (3) is still finite for *p* = 3, contrary to Lorenz’s prediction. Indeed, arguing in the same way as Lorenz, our result indicates inherently finite predictability for a −3 spectrum, which is contrary to Lorenz’s hypothesis, although we acknowledge that *β* = 0.05 is just marginally away from the critical value of zero. We did, however, recover Lorenz’s result for the case of a −5/3 spectrum (not shown).

### b. Forced-dissipative 2D barotropic vorticity equation

The difference between our value of *β* and Lorenz’s for the −3 spectrum deserves particular attention because it amounts to a qualitative contrast between inherently finite and indefinite ranges of predictability. To further investigate this, we performed direct numerical simulations (DNS) on this *p* = 3 spectrum in the form of identical-twin experiments (pairs of runs that only differ in the initial condition), and assessed the predictability following Lorenz’s methodology with necessary adaptations.

*f*(

*t*) was chosen to be an independent white-noise process for each 2D wavevector whose scalar wavenumber

*k*falls in the narrow band (±10%) around

*k*= 20. The dissipation

*d*was a highly scale-selective hyperviscosity

*d*~ −Δ

^{6}

*θ*.

*d*were chosen to be

*d*=

*ν*Δ

*θ*,

*ν*> 0. We would have liked to run these DNS on the 2D N-S equations that will be discussed in section 4, but the buildup of KE at the smallest scales as a numerical artifact was so strong that we had to either increase

*ν*—which would substantially shorten the inertial range and thus reduce the reliability of our conclusions—or choose a more scale-selective dissipation. We opted for the latter, as is standard practice in simulations of 2D turbulence (Maltrud and Vallis 1991).

We performed five pairs of identical-twin experiments on Eq. (4) by varying the random seed that generated the preperturbation (original) initial condition. Within each pair, notably, the realizations of the large-scale stochastic forcing *f*(*t*) in the control and perturbed runs were identical. The model was pseudospectral with a truncation wavenumber of *k*_{t} = 512, in which the *J*(*ψ*, *θ*) term was computed in the physical domain via a pair of fast Fourier transforms with the spectral dealiasing filter proposed by Hou and Li (2007). The original initial condition for each of the five cases was an already-developed homogeneous and (approximately) isotropic turbulence with a clean logarithmically corrected −3 spectrum in the inertial range (Fig. 3), which has been shown to be a more accurate description of the large-scale-forced 2D turbulent spectrum for finite inertial ranges (Bowman 1996).

The perturbations were introduced spectrally at each of the 2D wavevectors **k** for a specified value of *k*_{p} = |**k**|. A random phase shift independently drawn from a uniform distribution was applied on a predetermined part *γ* ∈ [0, 1] of the spectral coefficients *γ*(*k*_{p}) and *k*_{p}, are related by *γ* and thus generate the perturbation fields, to which we added the original initial conditions to obtain the perturbed initial conditions.

Since our truncation wavenumber *k*_{t} = 512 corresponds to *K* = 9 of Lorenz’s paper, there would only be 8 values of *t*_{K} − *t*_{K+1}, among which only 4 or 5 would be in the inertial range. It would be inaccurate to determine *β* from such a few data points, so we have transformed Lorenz’s argument to incorporate information from all wavenumbers *k*, not only from the scale *K* as a collection of wavenumbers.

To transform the argument, recall that *t*_{K} ~ 2^{−βK} when *β* > 0, and let *T*(*k*) be the saturation time of wavenumber *k*. Since *k* ~ 2^{K} and both *t*_{K} and *T* represent saturation times, we may write *T* ~ *k*^{−β} and conclude that the *T* should vary with *k* as a power law if Lorenz’s results hold. The argument will break down when *β* becomes zero, that is, when the threshold for indefinite predictability is reached.

In this study, the perturbations were introduced at *k*_{p} = 256. The saturation threshold was chosen to be 1.315 times the KE spectral density of the control flow, or equivalently 0.6575 times the maximum permissible error energy, in accordance with Lorenz (1969). We applied sensitivity tests and found that the results are largely insensitive to the saturation threshold. Figures 4 and 5 show, respectively, the evolution of the error KE spectrum, and the saturation times *T* across different wavenumbers *k* that fit the *T* ~ *k*^{−β} relationship for *β* = 0.24, averaged over the five cases. (The five cases exhibited very similar qualitative behavior, showing that our results are robust to initial conditions, hence justifying the use of averaging to obtain smoother results.) Based on the transformed version of Lorenz’s argument, our result also suggests inherently finite predictability for a (logarithmically corrected) −3 spectrum, this time with greater confidence as *β* is further away from zero.

## 4. Aspects from PDE theory: The incompressible 2D Navier–Stokes equations

A very different approach to the problem of inherently finite or indefinite predictability is via use of the analytic theory of partial differential equations (PDEs). The incompressible 2D N-S Eqs. (5), where we shall drop the word “incompressible” for the remainder of the paper, are always useful as a pedagogical first step toward understanding and modeling the motion of real fluid flows in the atmosphere. As such, the analytical properties of the 2D N-S problem have been extensively studied. Building on these analytic results, we now consider their implications for predictability.

### Well posedness and implications for predictability

Unlike their three-dimensional counterpart whose regularity problem remains open, the initial-value problem for the 2D N-S equations on the torus (i.e., a doubly periodic domain) has been proven to be well posed, by which we mean the existence of a unique solution that depends continuously on the initial conditions. Proofs of its well posedness, for both strong and weak solutions respectively, can be found in the book by Robinson (2001). In the present paper we shall use his proof for weak solutions to demonstrate that the 2D N-S system is indefinitely predictable. To set the context, a summary of the uniqueness proof is provided below. Interested readers may refer to Robinson’s book for a full proof.

*T*. An equation for the error velocity field

*w*=

*u*−

*υ*of two solutions

*u*and

*υ*is formulated, and its inner product with

*w*itself is taken to obtain an equation for the time evolution of the error energy

*L*

^{2}norm on the torus. This equation contains a term that can be bounded above by Ladyzhenskaya’s inequalities (Robinson 2001) specific to the 2D N-S equations. After some work, one uses Grönwall’s inequality to show that

*M*is a positive constant provided by Ladyzhenskaya’s inequalities. Uniqueness follows by setting

*w*(0) = 0. One can also show the continuous dependence on initial conditions, since

As an immediate corollary to inequality (6), the 2D N-S system is indefinitely predictable (Palmer et al. 2014). Indeed, if a prediction is defined to lose its skill when *T* when the initial error *ε*/*L*(*T*).

It is important to note that in the present section the KE spectral slope plays no role in determining the inherent finiteness or indefiniteness of predictability of the 2D N-S equations. The above argument applies to 2D N-S systems of any spectral slope.

## 5. Reconciling the contradiction with Lorenz

At first glance, the indefinite predictability derived in section 4 seems to contradict Lorenz’s result in section 2 for any *p* < 3. However, we have not discussed the role of the KE spectral slope in *L*(*T*) that, as we will see in the following, reconciles the conflict.

*p*(without any logarithmic correction) in its KE spectrum so that

*k*) between its large-scale cutoff wavenumber

*k*

_{1}and small-scale cutoff wavenumber

*k*

_{2}. Then

*s*distinguishes the system itself from a model for the system that we will denote with subscript

*m*. The three terms on the right-hand side of Eq. (7) represent contributions from the large scale, the inertial range, and the viscous range, respectively. Compared to the first two terms, the term representing the viscous range is assumed to be small. In particular, the integrand is assumed to decay rapidly enough so that

*u*

_{s}belongs).

*k*

_{t}≪

*k*

_{2}and numerical dissipation kicks in at wavenumber

*k*

_{0}∈ (

*k*

_{1},

*k*

_{t}). For the model,

*k*

_{0},

*k*

_{t}≪

*k*

_{2}, the second integral in relation (9) with

*p*< 3

*appears*to diverge as the resolution (

*k*

_{0},

*k*

_{t}) increases. Combining this with inequality (6),

*L*(

*T*)—until

*k*

_{2}is reached—grows exponentially with

*k*

_{0}, leading to a breakdown of the Lipschitz-continuous dependence on initial conditions in inequality (6). To keep the error

*k*

_{0}(and the scale of the initial error) falls within the viscous range of the real system, let alone the large-scale error has to be constrained to zero (Durran and Gingrich 2014).

This concept, known as “asymptotic ill posedness,” was put forward by Palmer et al. (2014) as they argued that whether the three-dimensional Navier–Stokes system is well posed is practically irrelevant to the well-established theory of inherently finite predictability. We have now extended the discussion to the 2D N-S system and given a mathematical basis to the concept in our context.

When *p* > 3, the second integral in relation (9) does not appear to diverge as *k*_{0} → *k*_{2}. This means one may indeed approximate *k*_{0}. So would *L*(*T*) of inequality (6) be approximated without regard to the model resolution, making it possible for

*p*< 3 and

*p*> 3 are in harmony with Lorenz’s result in section 2. For the borderline case

*p*= 3, our argument suggests practically inherently finite predictability, since

*k*

_{0}→

*k*

_{2}. This disagrees with Lorenz. Even with the logarithmic correction

For models and systems with multiple inertial ranges, only the range immediately before the viscous range pertains to our argument concerning the large-*k*_{0} behavior. This applies to the real atmosphere where *p* = 5/3 (Nastrom and Gage 1985). Since *k*_{t} for atmospheric models is smaller than *k*_{2} by “at least seven or eight orders of magnitude” (Palmer et al. 2014), the crucial assumption to our discussion (*k*_{t} ≪ *k*_{2}) is satisfied and we conclude that atmospheric predictability is indeed practically inherently finite.

## 6. Conclusions

Half a century on since Lorenz’s pioneering result of inherently finite atmospheric predictability, we revisited his original argument by (i) rerunning his simplified model of the 2D barotropic vorticity equation, (ii) directly simulating the full model, and (iii) comparing his conclusions with the well posedness of the 2D N-S equations as proven by Ladyzhenskaya.

Although his main result—that atmospheric predictability is inherently finite because the KE spectral slope is shallower than −3—has now become an “accepted part of the canon of dynamical meteorology” (Rotunno and Snyder 2008), the details behind the conclusion were reassessed. For the −3 spectrum, we saw a substantially different *β* in the DNS (section 3b) than in the simplified model (section 3a), which may be an indication that the model is inadequate in simulating error growth. In both cases, nevertheless, the hypothesis of indefinite predictability (*β* = 0) for *p* = 3 based on linear extrapolation (section 2) was refuted.

The 2D N-S equations that closely relate to the 2D barotropic vorticity equation were used to address the predictability problem from a more rigorous perspective. The forced-dissipative system was shown to be indefinitely predictable regardless of the spectral slope (section 4). However, we found that *p* = 3 serves as a cutoff between *practically* inherently finite and indefinite predictability by noting how quickly the initial error has to be brought down with increasing resolution in order to maintain the bound for the error at future times (section 5). This echoes Lorenz’s original conclusions except for the borderline case *p* = 3 itself, in which case our result of inherently finite predictability agrees with our own computations of Lorenz’s model and the DNS.

Until recently, KE spectra in global weather forecast models had only resolved the synoptic-scale −3 range. As model resolutions start to extend into the −5/3 range, the strong constraints on the range of predictability envisaged by Lorenz will become visible (Judt 2018). However, the limits on predictability arising from initial errors on the large scales will also limit predictability in practice (Durran and Gingrich 2014), and the interplay between the two could be an interesting area to explore.

By providing another approach to attacking the problem of predictability (via the analytic theory of the 2D N-S equations), we look forward to similar results on more atmospherically relevant PDEs such as the surface quasigeostrophic equations (Held et al. 1995), and a more active contribution from mathematicians on this topic.

## Acknowledgments

Tsz Yan Leung is supported through a Ph.D. scholarship awarded by the Engineering and Physical Sciences Research Council Grant EP/L016613/1 “EPSRC Centre for Doctoral Training in the Mathematics of Planet Earth at Imperial College London and the University of Reading,” with additional funding support from the European Research Council Advanced Grant “Understanding the Atmospheric Circulation Response to Climate Change” (ACRCC), Project 339390, under Theodore G. Shepherd as the Principal Investigator. The work of Sebastian Reich has been partially funded by Deutsche Forschungsgemeinschaft (DFG) through Grant CRC 1114 “Scaling Cascades in Complex Systems,” Project A02 “Multiscale Data and Asymptotic Model Assimilation for Atmospheric Flows.” The authors thank Richard Scott for providing his code for modification for the numerical simulation in section 3b. The authors also wish to thank the three anonymous reviewers for their helpful and valuable comments on an earlier version of this manuscript.

## APPENDIX A

### Motivating the Concept *Range of Predictability*

Standard theory in deterministic dynamical systems dictates that, for a perfect model of the system, the dynamics of the error *ε* can be completely described by the time *t*, the initial error *ε*_{0}, and the initial state of the system *x*, so that *ε* = *ε*(*t*, *ε*_{0}, *x*). Suppose now that the skill *S* of a forecast, particular to an initial state, can be quantified by a continuously decreasing function of some norm *D* of the system, we may define the overall skill *t* in the average, as is in the context of atmospheric predictions, we can infer that

Let us say that a prediction loses its skill when *α* is a fixed threshold), which is typically realized in fluid flows by saturation of the error kinetic energy spectrum at specified scales. Perhaps a first question to the understanding of predictability can be formulated as follows: how long does it take for an initial error *ε*_{0} to grow so that a prediction is no longer skillful? The answer *ε*_{0}. The monotonicity assumption of

By formulating this question for different initial-error fields, we can regard *ε*_{0}. It is clear from the very definition of deterministic systems that *ε*_{0} = 0 implies

With this in mind, a system is said to have an *indefinite range of predictability*, or be *indefinitely predictable*, if the range of predictability could be made arbitrarily large by reducing the initial error to a small yet positive value. Systems that fail to satisfy such a condition are referred to as *inherently finitely predictable*.

## APPENDIX B

### Some Details Regarding the Computation of the Matrix $\mathsf{C}$

The integrations were performed using scipy.integrate.nquad on Python that returned a warning message “IntegrationWarning: Extremely bad integrand behavior occurs at some points of the integration interval” about the integrand’s singular behavior, even if the integration domain were confined to the support of the integrand so that resources were not wasted in integrating zero regions. The warning disappeared by applying a change of coordinates (from logarithmic to Cartesian) in the integrand and accordingly the integration limits, which sped up the wall-clock time of the computation by a factor of about 9 as well. The entries of

The numerical code for these computations is available in the supplemental material (see file “C_kl_methoddiff.py”).

## APPENDIX C

### Solution Procedure of Lorenz’s System

- Set a time step
*h*; in this case,*h*= 0.001. - Initialize the run by setting time
*t*= 0. Also initialize*t*_{0}= 0 (*t*_{0}is the time when the previous saturation occurs). - Project the initial condition onto the eigenspace of the block matrix$\left(\begin{array}{cc}\mathbf{0}& \mathsf{I}\\ \mathsf{C}& \mathbf{0}\end{array}\right)$to determine the constants of the general solution.
- Compute the solution at time
*t*−*t*_{0}and check if any of the scales*K*saturates by time*t.* - If none of the scales saturates, reset
*t*=*t*+*h*and repeat step 4. - If, by time
*t*, the error energy at some scale exceeds the background energy at the same scale, then the clock (i.e., the variable*t*) is reset to the previous time step*t*−*h*, and*h*is refined to 0.000 001. - Repeat steps 4 and 5 with the new value of
*h*until the error energy at some scale*K*exceeds the background energy at the same scale. The saturation time of scale*K*is determined as if the error energy increases linearly between times*t*−*h*and*t.* - Reset
*h*= 0.001 and set*t*_{0}to be the current time*t.*Remove the row and column of the matrix$\mathsf{C}$ corresponding to scale*K*and the corresponding entries of**Z**,**W**, and all the**F**_{j}terms (more on the**F**_{j}terms below). The reduced-size system$\frac{{d}^{2}}{d{t}^{2}}}\mathbf{Z}=\mathsf{C}\mathbf{Z}+{\displaystyle \sum _{j}{\mathbf{F}}_{j}$(where the summation is performed over all saturated scales) has a new inhomogeneous term**F**_{K}that accounts for the contribution of scale*K*’s saturated energy to the error growth at the remaining scales. (**F**_{K}equals the background energy of scale*K*multiplied by the removed column of$\mathsf{C}$ restricted to the rows corresponding to the remaining scales.) As the new system is equivalent to the first-order system$\frac{d}{dt}}\left(\begin{array}{c}\mathbf{Z}\\ \mathbf{W}\end{array}\right)=\left(\begin{array}{cc}\mathbf{0}& \mathsf{I}\\ \mathsf{C}& \mathbf{0}\end{array}\right)\left(\begin{array}{c}\mathbf{Z}\\ \mathbf{W}\end{array}\right)+\left(\begin{array}{c}\mathbf{0}\\ {\displaystyle {\sum}_{j}{\mathbf{F}}_{j}}\end{array}\right)$(with the size of the identity matrix$\mathsf{I}$ accordingly reduced) and$\sum}_{j}{\mathbf{F}}_{j$ is a constant vector, its solution (**Z**,**W**)^{T}can be expressed as the sum of a particular solution (Δ**Z**, Δ**W**)^{T}and a solution of the homogeneous system${\left(\overline{\mathbf{Z}},\overline{\mathbf{W}}\right)}^{\text{T}}$ . A particular solution to the differential equation can be obtained by solving$-\left(\begin{array}{cc}\mathbf{0}& \mathsf{I}\\ \mathsf{C}& \mathbf{0}\end{array}\right)\left(\begin{array}{c}\mathrm{\Delta}\mathbf{Z}\\ \mathrm{\Delta}\mathbf{W}\end{array}\right)=\left(\begin{array}{c}\mathbf{0}\\ {\displaystyle {\sum}_{j}{\mathbf{F}}_{j}}\end{array}\right).$Recalculate the eigenvalues and eigenvectors of the new$\begin{array}{cc}\mathbf{0}& \mathsf{I}\\ \mathsf{C}& \mathbf{0}\end{array})$and project the difference between the current solution at the unsaturated scales (treated as the initial condition in the variable*t*−*t*_{0}) and (Δ**Z**, Δ**W**)^{T}onto such an eigenspace to determine the constants of${\left(\overline{\mathbf{Z}},\overline{\mathbf{W}}\right)}^{\text{T}}$ and thus the full solution. - Repeat steps 4–8 until all scales saturate.

The numerical code for the solution procedure is available in the supplemental material (see file “Analytic_solution.py”).

## REFERENCES

Bowman, J. C., 1996: On inertial-range scaling laws.

,*J. Fluid Mech.***306**, 167–181, https://doi.org/10.1017/S0022112096001279.Buizza, R., and M. Leutbecher, 2015: The forecast skill horizon.

,*Quart. J. Roy. Meteor. Soc.***141**, 3366–3382, https://doi.org/10.1002/qj.2619.Durran, D. R., and M. Gingrich, 2014: Atmospheric predictability: Why butterflies are not of practical importance.

,*J. Atmos. Sci.***71**, 2476–2488, https://doi.org/10.1175/JAS-D-14-0007.1.Held, I. M., R. T. Pierrehumbert, S. T. Garner, and K. L. Swanson, 1995: Surface quasi-geostrophic dynamics.

,*J. Fluid Mech.***282**, 1–20, https://doi.org/10.1017/S0022112095000012.Hou, T. Y., and R. Li, 2007: Computing nearly singular solutions using pseudo-spectral methods.

,*J. Comput. Phys.***226**, 379–397, https://doi.org/10.1016/j.jcp.2007.04.014.Judt, F., 2018: Insights into atmospheric predictability through global convection-permitting model simulations.

,*J. Atmos. Sci.***75**, 1477–1497, https://doi.org/10.1175/JAS-D-17-0343.1.Lilly, D. K., 1990: Numerical prediction of thunderstorms—Has its time come?

,*Quart. J. Roy. Meteor. Soc.***116**, 779–798, https://doi.org/10.1256/SMSQJ.49401.Lorenz, E. N., 1969: The predictability of a flow which possesses many scales of motion.

,*Tellus***21**, 289–307, https://doi.org/10.3402/tellusa.v21i3.10086.Maltrud, M. E., and G. K. Vallis, 1991: Energy spectra and coherent structures in forced two-dimensional and beta-plane turbulence.

,*J. Fluid Mech.***228**, 321–342, https://doi.org/10.1017/S0022112091002720.Nastrom, G. D., and K. S. Gage, 1985: A climatology of atmospheric wavenumber spectra of wind and temperature observed by commercial aircraft.

,*J. Atmos. Sci.***42**, 950–960, https://doi.org/10.1175/1520-0469(1985)042<0950:ACOAWS>2.0.CO;2.Palmer, T. N., A. Döring, and G. Seregin, 2014: The real butterfly effect.

,*Nonlinearity***27**, R123–R141, https://doi.org/10.1088/0951-7715/27/9/R123.Robinson, J. C., 2001: The Navier–Stokes equations: Existence and uniqueness.

*Infinite-Dimensional Dynamical Systems: An Introduction to Dissipative Parabolic PDEs and the Theory of Global Attractors*, Cambridge University Press, 234–257.Rotunno, R., and C. Snyder, 2008: A generalization of Lorenz’s model for the predictability of flows with many scales of motion.

,*J. Atmos. Sci.***65**, 1063–1076, https://doi.org/10.1175/2007JAS2449.1.Selz, T., 2019: Estimating the intrinsic limit of predictability using a stochastic convection scheme.

,*J. Atmos. Sci.***76**, 757–765, https://doi.org/10.1175/JAS-D-17-0373.1.Sun, Y. Q., and F. Zhang, 2016: Intrinsic versus practical limits of atmospheric predictability and the significance of the butterfly effect.

,*J. Atmos. Sci.***73**, 1419–1438, https://doi.org/10.1175/JAS-D-15-0142.1.Vallis, G. K., 1985: Remarks on the predictability properties of two- and three-dimensional flow.

,*Quart. J. Roy. Meteor. Soc.***111**, 1039–1047, https://doi.org/10.1002/qj.49711147008.Zhang, F., Y. Q. Sun, L. Magnusson, R. Buizza, S.-J. Lin, J.-H. Chen, and K. Emanuel, 2019: What is the predictability limit of midlatitude weather?

,*J. Atmos. Sci.***76**, 1077–1091, https://doi.org/10.1175/JAS-D-18-0269.1.