What is Scale Separation?: A Theoretical Reflection - Convection
What is Scale Separation?: A Theoretical Reflection - Convection
What is Scale Separation?: A Theoretical Reflection - Convection
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
version:3 January 2012: /home/yano/doc/COST/WG1/scale-separation/ms.tex<br />
<strong>What</strong> <strong>is</strong> <strong>Scale</strong> <strong>Separation</strong>?: A <strong>Theoretical</strong> <strong>Reflection</strong><br />
COST Document, ES0905<br />
by<br />
Jun-Ichi Yano,<br />
GAME/CNRM, Météo-France and CNRS (URA 1357), 31057 Toulouse Cedex, France<br />
Corresponding author address: Jun-Ichi Yano, CNRM, Météo-France, 42 av Coriol<strong>is</strong>,<br />
31057 Toulouse Cedex, France. E-mail: jun-ichi.yano@meteo.fr.
abstract<br />
The present essay argues that the scale separation principle assumed in traditional<br />
subgrid–scale parameterizations <strong>is</strong> best understood in terms of the multi–scale analys<strong>is</strong><br />
under asymptotic expansion. Unfortunately, subtility of the notion of asymptotic expansion<br />
makes scale separation also a subtle concept. Various m<strong>is</strong>understandings associated<br />
with the scale separation principle are extensively d<strong>is</strong>cussed from th<strong>is</strong> perspective. It <strong>is</strong><br />
emphasized that a parameterization cons<strong>is</strong>tent with the scale separation has never been seriously<br />
tested systematically. It <strong>is</strong> more tempting to go beyond and construct subgrid–scale<br />
parameterization without scale separation constraint. However, drastic re–formulation of<br />
the parameterization problem <strong>is</strong> required for th<strong>is</strong> purpose. Issues of the scale–independent<br />
parameterizations are also remarked.<br />
1
1. Introduction<br />
The scale separation principle <strong>is</strong> considered as the bas<strong>is</strong> of many subgrid-scale parameterizations<br />
(cf., Ooyama 1982, Frank 1983, Arakawa and Chen 1987). There <strong>is</strong> no doubt<br />
that Arakawa and Schubert (1974) <strong>is</strong> one of the first articles introducing th<strong>is</strong> concept in<br />
the context of subgrid–scale parameterization. However, strangely, a clearly formulated<br />
statement about the scale separation <strong>is</strong> m<strong>is</strong>sing in the literature. Many statements are<br />
made without well-defined qualifications.<br />
In many cases, the principle <strong>is</strong> mathematically simply stated as<br />
∆X ≫ ∆x, (1.1)<br />
where ∆X and ∆x are character<strong>is</strong>tic scales for large-scale and subgrid-scale processes,<br />
respectively. However, th<strong>is</strong> mathematical statement <strong>is</strong>, most of the time, not much elaborated<br />
on from th<strong>is</strong> starting point.<br />
The present essay proposes that the scale separation <strong>is</strong> best understood in terms of the<br />
multiple scale analys<strong>is</strong> under a framework of asymptotic expansion. The scale separation<br />
principle <strong>is</strong> relatively easy to criticize (e.g., Mapes 1997, Yano et al. 2000). However, the<br />
actual concept <strong>is</strong> rather subtle, due to the subtilities of the notion of the asymptotic limit.<br />
The goal of the present essay <strong>is</strong> to clarify various confusions concerned with th<strong>is</strong><br />
concept. A more immediate reason for presenting th<strong>is</strong> essay <strong>is</strong> because we are currently<br />
faced with a strong demand, due to increasing horizontal resolutions of operational models,<br />
for developing parameterizations that are no longer constrained by scale separation (cf.,<br />
Yano 2010a). However, in order to move beyond the scale separation, we need to better<br />
understanding it first. The present essay <strong>is</strong> written with the convection parameterization,<br />
to which I am the most familiar with, mostly in mind. However, it intends to be general<br />
enough so that all the statements could be applied to the other types of parameterizations.<br />
Th<strong>is</strong> essay begins with general remarks in the next section. The multi–scale analys<strong>is</strong><br />
under asymptotic expansion <strong>is</strong> introduced in Sec. 3. The formulation presented in th<strong>is</strong><br />
2
section, in turn, provides a bas<strong>is</strong> for critical d<strong>is</strong>cussions on the concept of scale separation<br />
in Sec. 4. The <strong>is</strong>sues of parameterization in high–resolution limits are d<strong>is</strong>cussed in Sec. 5.<br />
Th<strong>is</strong> essay <strong>is</strong> written in philosophical style rather than being scientific due to the nature<br />
of the subject. For th<strong>is</strong> reason, it <strong>is</strong> important to follow the evolution of the thoughts<br />
carefully. Many thoughts become gradually more specific as the essay evolves. Some of the<br />
later statements may sound contradictory to earlier statements, if they are not considered<br />
as refinements of earlier ones. Th<strong>is</strong> essay does not intend to explain how to calculate, but<br />
the focus <strong>is</strong> on how to think about the problem. It intends to cover the <strong>is</strong>sues that we need<br />
to consider before starting any calculations by reading textbooks.<br />
Most of the materials presented in th<strong>is</strong> essay are expected to be all familiar to the special<strong>is</strong>ts,<br />
though most of them are never d<strong>is</strong>cussed systematically in literature. No original<br />
research result <strong>is</strong> presented. Though d<strong>is</strong>cussions on high–resolution limits in Sec. 4 somehow<br />
presents materials slightly original, the presentation <strong>is</strong> still in style of essay without<br />
attempting any water–tight arguments.<br />
2. General remarks<br />
The basic idea of subgrid–scale parameterization under scale separation may be understood<br />
in analogy with a multi–component flow system. A colloidal system such as milk<br />
<strong>is</strong> an example. Milk cons<strong>is</strong>ts of many “bubbles” of water and fats, which are not v<strong>is</strong>ible<br />
on a macroscopic scale (i.e., large scale or grid scale), but which should appear on the<br />
microscale (i.e., subgrid scale). Thus, in order to describe the macroscopic evolution of<br />
milk, we have to specify, for example, the fractional volume occupied by water and fats,<br />
respectively, at every macroscopic point in order to properly take into account these microscopic<br />
properties. A review on multi–component fluid systems given, for example, by<br />
Gyarmati (1970) <strong>is</strong> fruitful for better understanding the scale–separation principle for th<strong>is</strong><br />
reason.<br />
The scale separation can be, under th<strong>is</strong> analogy, understood in terms of the scale<br />
gap between the macroscopic and microscopic scales. Designating the character<strong>is</strong>tic scales<br />
3
for the macroscopic and microscopic processes as, respectively, ∆X and ∆x, the scale<br />
separation <strong>is</strong> mathematically stated as Eq. (1.1).<br />
A mathematically formal manner of describing th<strong>is</strong> type of two–scale systems <strong>is</strong> to<br />
adopt that of the multi-scale analys<strong>is</strong> as pointed out by Majda (2007a, b), and as applied by<br />
Xing et al. (2009). Under th<strong>is</strong> approach, the coordinates for the two scales are introduced,<br />
those, say, (x, y) describing the subgrid–scales and those (X, Y ) describing the large–scale<br />
(grid–scale). General coordinates may be given by (x + X/ǫ, y + Y/ǫ) with ǫ being a<br />
small parameter, which may be taken ∆x/∆X. By taking an asymptotic limit, ǫ →<br />
0, the subgrid-scale variability described by the coordinates (x, y) shrinks into a single<br />
“macroscopic” point in respect to the large–scale (grid–scale) coordinates (X, Y ). 1) That<br />
<strong>is</strong> the basic notion behind the scale separation.<br />
A more common approach <strong>is</strong> to try to understand the notion of the subgrid scale by<br />
introducing the grid–box size, L g . The grid–box size must be sufficiently smaller than<br />
typical macroscopic processes, because otherw<strong>is</strong>e they are not numerically properly represented.<br />
2) On the other hand, it <strong>is</strong> normally argued that the grid–box size must be taken<br />
sufficiently larger than a typical scale for microscopic (subgrid–scale) processes. These<br />
constraints lead to the relations:<br />
∆X ≫ L g ≫ ∆x. (2.1)<br />
Note that the first inequality in Eq. (2.1) <strong>is</strong> as important as the second, because if we<br />
attempt to simulate a phenomena of the scale, ∆X, with a grid size, L g ∼ ∆X, we are<br />
likely to face numerical instability. Strictly speaking, the grid size, L g , may be taken as<br />
1) Think th<strong>is</strong> way: by taking th<strong>is</strong> limit, the change due to the local coordinates (x, y) <strong>is</strong><br />
negligible compared to that of (X, Y ).<br />
2) Th<strong>is</strong> basic principle tends to be neglected in the literature, because of course, the<br />
numerical modellers always want to push to the limit of their model resolutions. However,<br />
th<strong>is</strong> basic principle remains, at least in asymptotic sense (cf., Sec. 4.6).<br />
4
small as possible, and the result should not change, if both the model and the system are<br />
properly designed so that a solution simply converges as L g <strong>is</strong> decreased. We return to<br />
th<strong>is</strong> point in Sec. 3.2. However, unfortunately, most of the atmospheric flow regimes do<br />
not sat<strong>is</strong>fy th<strong>is</strong> property, as d<strong>is</strong>cussed in Sec. 4.10.<br />
A particular advantage of the two–scale based formulation of the parameterization<br />
<strong>is</strong> that we do not have to invoke the concept of the grid–box average, or even that of<br />
grid box itself, at all. These concepts do not appear in any place of the formulation.<br />
Probably most importantly, th<strong>is</strong> makes the point that parameterization <strong>is</strong> not necessarily<br />
a notion associated with numerical modelling, but a solution could be defined analytically,<br />
if possible. In other words, the large–scale variables must be continuous functions of the<br />
large–scale coordinates (X, Y ). For th<strong>is</strong> reason, we avoid the reference to the grid box as<br />
much as possible in the following d<strong>is</strong>cussions, except for the cases either when reference to<br />
th<strong>is</strong> concept helps the understanding, or when the grid box really becomes an <strong>is</strong>sue as in<br />
Sec. 5.<br />
3. The two–scale formulation<br />
The present section presents the idea of parameterization under a clean setting as much<br />
as possible. The two–scale formulation <strong>is</strong> presented in the first subsection in order to provide<br />
the basic framework for all the subsequent d<strong>is</strong>cussions. The second subsection provides<br />
a general formulation for the parameterization problem under th<strong>is</strong> two–scale framework in<br />
as a clean manner as possible. Issues ar<strong>is</strong>ing in more real<strong>is</strong>tic situations along with the<br />
subtilities of the concept of asymptotic limits are d<strong>is</strong>cussed in the next section.<br />
3.1. Formulation<br />
In order to elucidate the basic idea of the two–scale system under asymptotic expansion,<br />
let us take an advective system described by<br />
∂<br />
ϕ + ∇ · ϕv = F (3.1)<br />
∂t<br />
for an unspecified physical variable, ϕ. Here, v <strong>is</strong> the velocity, and F <strong>is</strong> forcing (source).<br />
5
The velocity <strong>is</strong> also described by a similar equation to Eq. (3.1), but not specified here for<br />
brevity.<br />
We introduce two–scale description both in time and space. Thus, the time derivative<br />
<strong>is</strong> re–written<br />
∂<br />
∂t = ǫ ∂<br />
∂T + ∂ ∂t<br />
(3.2)<br />
in terms of the slow T and the fast t times with ǫ designating a small parameter for scale<br />
separation. The horizontal coordinates are also re–written in a similar manner, e.g.,<br />
∂<br />
∂x = ǫ ∂<br />
∂X + ∂<br />
∂x .<br />
We also re–write the nabla operator, with a bar and prime designating operations on the<br />
large–scale and subgrid–scale coordinates, respectively:<br />
∇ = ǫ¯∇ + ∇ ′ . (3.3)<br />
Here, we use the same small parameter, ǫ, both for time and space separations for simplicity,<br />
though different small parameters could be taken in general.<br />
Accordingly, all the physical variables are separated into the two parts, those solely<br />
depending on the large scale, and those that also depend on the subgrid scales:<br />
ϕ = ¯ϕ(X, Y, z, T) + ϕ ′ (x, y, z, t, X, Y, T). (3.4)<br />
Note that we do not introduce the two scales in the vertical direction, z, by following the<br />
conventional w<strong>is</strong>dom of meteorology, i.e., the vertical scale <strong>is</strong> comparable both in large<br />
scale and subgrid scales. Stratification of the atmosphere <strong>is</strong> a main reason for preventing<br />
from making such a d<strong>is</strong>tinction.<br />
A bar <strong>is</strong> added for the large–scale variable in order to suggest that it can be obtained<br />
by averaging the full variable, ϕ, over subgrid–scale (small–scale) coordinates, i.e.,<br />
∫<br />
1 L/2 ∫ L/2<br />
¯ϕ = lim<br />
L→∞ L 2 ϕdxdy (3.5)<br />
−L/2 −L/2<br />
6
(cf., Ch. 3, Cotton and Anthes 1989). 3) As a simple corollary, we can prove:<br />
ϕ ′ = 0. (3.6)<br />
It transpires that the bar can be considered as an averaging operator:<br />
lim<br />
L→∞<br />
∫<br />
1 L/2 ∫ L/2<br />
L 2 dxdy. (3.7)<br />
−L/2 −L/2<br />
Th<strong>is</strong> operation may be considered what typically called “large–scale average” in slight<br />
contradiction with the fact that it <strong>is</strong> defined in terms of average over the subgrid–scale<br />
coordinates. Recall that as a consequence of the asymptotic scale separation (1.1), the<br />
integral in Eq. (3.7) over an infinite domain over subgrid–scale coordinates <strong>is</strong> considered as<br />
a single large–scale point. We defer to Sec. 4.6 for subtilities associated with the asymptotic<br />
limits.<br />
After introducing these two–scale descriptions, the three terms in Eq. (3.1) are, respectively,<br />
re–written as<br />
∂ϕ<br />
∂t<br />
= ǫ∂<br />
¯ϕ<br />
∂T + ∂ϕ′<br />
∂t + ǫ∂ϕ′ ∂T ,<br />
∇ · ϕv = ǫ¯∇ · (¯ϕ¯v + ¯ϕv ′ + ϕ ′¯v + ϕ ′ v ′ ) + ∇ ′ · (¯ϕv ′ + ϕ ′¯v + ϕ ′ v ′ ),<br />
F = ǫ ¯F + F ′ .<br />
Substitution of these three expressions into Eq. (3.1) leads to a full equation under the<br />
two–scale description.<br />
To O(1) in ǫ–expansion, Eq. (3.1) gives<br />
∂ϕ ′<br />
∂t + ∇′ · (¯ϕv ′ + ϕ ′¯v + ϕ ′ v ′ ) = F ′ . (3.8)<br />
Th<strong>is</strong> equation describes the evolution of the subgrid–scale processes at every large–scale<br />
point (X, Y ).<br />
3) To be strict, average may also apply in direction of time, but we neglect th<strong>is</strong> rigor<br />
here.<br />
7
To O(ǫ), Eq. (3.1) gives<br />
∂<br />
∂T (¯ϕ + ϕ′ ) + ¯∇ · (¯ϕ¯v + ¯ϕv ′ + ϕ ′¯v + ϕ ′ v ′ ) = ¯F.<br />
In order to obtain an equation better closed in terms of the large–scale variables, ¯ϕ and<br />
¯v, we apply an averaging operator, (3.7), to the above. Assuming that th<strong>is</strong> operator<br />
<strong>is</strong> interchangeable with the differential operators for the large–scale variables, and also<br />
recalling the property (3.6), we obtain<br />
3.2. Parameterization under the two–scale framework<br />
∂<br />
∂T ¯ϕ + ¯∇ · (¯ϕ¯v + ϕ ′ v ′ ) = ¯F. (3.9)<br />
The goal of the subgrid–scale parameterization <strong>is</strong> to obtain closed expressions for both<br />
ϕ ′ v ′ and ¯F in Eq. (3.9).<br />
An important point to keep in mind <strong>is</strong> that all the subgrid–scale variables, ϕ ′ and v ′ ,<br />
are also functions of large–scale coordinates, (X, Y ). All these variables not only vary from<br />
one grid point to another, but smoothly, because otherw<strong>is</strong>e smoothness of the large–scale<br />
solution <strong>is</strong> not guaranteed (cf., Lander and Hoskins 1997).<br />
Recall that no notion of grid–box average has been invoked in deriving Eq. (3.9). In<br />
th<strong>is</strong> respect, the solution of Eq. (3.9) should not depend on the numerical resolution. It also<br />
follows that any parameterization under scale separation must be constructed in such manner<br />
that no resolution dependence <strong>is</strong> found. For example, when convection happens only<br />
at a single <strong>is</strong>olated grid point (a grid–point storm, or more generally grid–point instabilities),<br />
the situation should be considered either as a numerical instability or incons<strong>is</strong>tency<br />
of parameterization with scale separation.<br />
3.3. Filtering Approach<br />
Averaging operator defined by Eq. (3.7) can be generalized by including a filtering<br />
operator, say, G(x, y), into the integrand. The method originally introduced by Leonard<br />
(1974, see also e.g., Sec. 3.3, Meneveau and Katz 2000), as popularly used in fluid mechan-<br />
8
ics, provides a more generalized perspective for the scale separation, by taking the filtering<br />
operator in flexible manner.<br />
Th<strong>is</strong> noble approach has an advantage and d<strong>is</strong>advantage: as an advantage, it provides<br />
a way of better specifying the terms coming from the variabilities in a middle between the<br />
large (∼ ∆X) and the subgrid (∼ ∆x) scales. D<strong>is</strong>advantage <strong>is</strong> in fact a kind of advantage,<br />
because after th<strong>is</strong> abstraction, it gives us a way of interpreting the <strong>is</strong>sues of scale separation<br />
as a matter of a formal filtering operation without invoking the two different scales, ∆X and<br />
∆x, explicitly any more. Ironically, th<strong>is</strong> conclusion <strong>is</strong> very akin to the conclusion going to<br />
be found from th<strong>is</strong> essay. However, th<strong>is</strong> abstraction with filtering concept <strong>is</strong>, often, made<br />
with a penalty of d<strong>is</strong>regarding the real <strong>is</strong>sues of scale separation, or the residual terms<br />
coming from the intermediate scales. The present essay, instead, takes a more painful path<br />
of considering the very concept of scale separation more carefully in order to well identify<br />
the merits and the limits of th<strong>is</strong> concept.<br />
For th<strong>is</strong> very last reason, the present essay does not consider the filtering approaches<br />
in its remainder. We refer to the textbook by Wyngaard (2010), which <strong>is</strong>, fair to say,<br />
entirely written from th<strong>is</strong> perspective.<br />
4. Issues associated with the Concept of <strong>Scale</strong> <strong>Separation</strong><br />
The present section d<strong>is</strong>cusses various practical <strong>is</strong>sues ar<strong>is</strong>ing in applying the two–scale<br />
principle presented as in a clean manner as possible in the last section. The contribution<br />
of forcing term <strong>is</strong> already a source of confusion compared to standard fluid–mechanical<br />
parameterization, as d<strong>is</strong>cussed in the first sub–section. The next few sub–sections outline<br />
basic strategies for formulating a parameterization slightly more concretely. Moment–<br />
based stat<strong>is</strong>tics (Sec. 4.4) and mass flux (Sec. 4.5) are taken as two concrete examples<br />
in order to provide better hints about how a parameterization <strong>is</strong> constructed. However,<br />
we do not intend to present their full formulations here. Sec. 4.6 extensively d<strong>is</strong>cusses<br />
subtilities associated with the notion of asymptotic limits. The remainder of the sub-<br />
9
sections (Secs. 4.7–4.10) are devoted to limits and implications of the asymptotic scale<br />
separation principle in actual atmospheric flows. Sec. 4.9 especially touches on the <strong>is</strong>sues<br />
of scale–independent parameterization.<br />
4.1. Forcing term<br />
The forcing term, ¯F, in Eq. (3.9) also involves parameterization, although it <strong>is</strong> a large–<br />
scale variable by itself. In order to perceive th<strong>is</strong> point clearly, we conveniently assume that<br />
forcing <strong>is</strong> only function of ϕ, i.e.,<br />
F = F(ϕ).<br />
We have to immediately realize that<br />
¯F(ϕ) ≠ F(¯ϕ),<br />
i.e., large–scale mean forcing <strong>is</strong> not the same as a forcing obtained by solely using large–<br />
scale variables. In order to state th<strong>is</strong> point more emphatically, we write<br />
F = F(¯ϕ + ϕ ′ )<br />
In order to see th<strong>is</strong> point more clearly, we write<br />
F = F(¯ϕ + ϕ ′ )<br />
= F(¯ϕ) + δF(¯ϕ, ϕ ′ ).<br />
We have to realize that th<strong>is</strong> last deviation term does not van<strong>is</strong>h by average over the<br />
subgrid–scale coordinates:<br />
δF ≠ 0.<br />
As a result, the total large–scale forcing, ¯F, <strong>is</strong> given by<br />
¯F = F(¯ϕ) + δF. (4.1)<br />
Subtilities associated with the large–scale forcing, ¯F, are more extensively d<strong>is</strong>cussed in<br />
Sec. 2.3 of Mapes (1997).<br />
10
4.2. Super–parameterization and parameterization<br />
The goal of the parameterization <strong>is</strong> to obtain a closed expression for both ϕ ′ v ′ and<br />
¯F in Eq. (3.9) in terms of the large–scale variables (i.e., the variables averaged over the<br />
subgrid–scale coordinates). The most straightforward approach for getting information<br />
about the subgrid–scale variability would be to integrate Eq. (3.8) for the subgrid–scale<br />
variable, ϕ ′ , directly in time with the given large–scale state. Th<strong>is</strong> technique originally<br />
proposed by Grabowski and Smolarkiewicz (1999) <strong>is</strong> called super–parameterization. A<br />
formal framework for super–parameterization <strong>is</strong> presented by Grabowski (2004).<br />
The two–scale formulation in the last section can be considered an extended derivation<br />
of the formulation outlined in Sec. 2.a of Grabowski (2004). Note specifically, Grabowski<br />
(2004) well recognizes in h<strong>is</strong> Eq. (4) the two contributions to the large–scale forcing as<br />
given by Eq. (4.1). Thus, the goal of the parameterization <strong>is</strong>, more prec<strong>is</strong>ely, stated as<br />
follows: to obtain a simpler “parametric” formulation for the subgrid–scale variability, in<br />
a numerically much simpler manner than by directly integrating Eq. (3.8) in time.<br />
Here, it may be important to emphasize that the super–parameterization <strong>is</strong> introduced<br />
in a manner perfectly cons<strong>is</strong>tent with the two–scale formulation of the last subsection<br />
(so with the scale separation). Thus, the major challenge would be to transform the<br />
super–parameterzation into a parameterization by retaining the cons<strong>is</strong>tency with the scale<br />
separation.<br />
4.3. Parameterization under scale separation<br />
Parameterization under scale separation must be “stat<strong>is</strong>tical” in nature in one way or<br />
another. Here, it would be useful to recall the analogy between the parameterization and<br />
a description of milk as d<strong>is</strong>cussed in Sec. 2. A single macroscopic point of milk contains<br />
many bubbles of water and fat. With the same token, under the scale separation (2.1),<br />
the domain in concern given under fixed large–scale coordinates <strong>is</strong> so vast in subgrid–scale<br />
coordinates that we can virtually find infinite number of subgrid–scale elements over the<br />
domain. Thus, behavior of individual subgrid–scale elements <strong>is</strong> totally out of our interests,<br />
11
ut we just need to know “stat<strong>is</strong>tical” nature of all these subgrid–scale variabilities. 4)<br />
Randomness and homogeneity are often m<strong>is</strong>leadingly invoked in order to argue for a<br />
“parameterizibility” of subgrid–scale processes. On the contrary, individual subgrid–scale<br />
elements may have an organized coherent structure, as long as they are numerous, and scale<br />
separation <strong>is</strong> valid. The 3rd paragraph of the introduction in Wyngaard (1998) provides a<br />
short but lucid d<strong>is</strong>cussion on th<strong>is</strong> <strong>is</strong>sue. In short, “The eddy diffusivity model says nothing<br />
about local events”. Recall that eddy diffusivity <strong>is</strong> a simplest parameterization that we<br />
can invoke under the scale separation principle, as <strong>is</strong> going to be d<strong>is</strong>cussed next.<br />
4.4. Moment stat<strong>is</strong>tics based approach<br />
The most straightforward approach for constructing a parameterization under scale<br />
separation <strong>is</strong> to write down a series of equations for the moments, ϕ ′n (n = 2, 3, · · ·), and<br />
try to truncate at a finite n (cf., Mironov 2009). The simplest in th<strong>is</strong> category <strong>is</strong> to truncate<br />
the series with n = 2 and relate the variance with the large–scale gradient, leading to the<br />
notion of eddy diffusivity.<br />
Here, it should be reiterated that the moments, ϕ ′n , do not represent character<strong>is</strong>tics<br />
of any individual subgrid–scale elements, but the characterizations of the average over the<br />
whole types of the elements. These subgrid–scale elements are so numerous that we can<br />
believe that such a moment–based description <strong>is</strong> possible.<br />
4.5. Mass flux based approach<br />
The so–called mass flux formulation (e.g., Arakawa and Schubert 1974, Tiedtke 1989,<br />
Bechtold et al. 2001) takes organization of these subgrid–scale elements into account more<br />
explicitly. The approach takes a note that atmospheric convection typically cons<strong>is</strong>ts of an<br />
ensemble of convective plumes, or similar, such as deep convective towers. These convective<br />
elements are well localized in space.<br />
4) However, I add quotation on “stat<strong>is</strong>tical” here, because the word means various different<br />
things depending on the context. Note that here we do not invoke any soph<strong>is</strong>ticated<br />
theories either from stat<strong>is</strong>tical physics or mathematical stat<strong>is</strong>tics.<br />
12
Here, in order to simplify the formulation, 5) let us assume that each convective element<br />
occupies a circular area with a radius, r j (z), given as a function of height z (cf., Bechtold<br />
et al. 2001). Then a subgrid–scale variability associated with an single convective element<br />
may be given by<br />
H(r j (z, t, T) − r)ϕ j (z, t, T),<br />
where r = ((x−x j ) 2 +(y−y j ) 2 ) 1/2 <strong>is</strong> the d<strong>is</strong>tance from the center, (x j , y j ), of the convective<br />
element, r j <strong>is</strong> the radius of the plume, H <strong>is</strong> the Hev<strong>is</strong>ide stepfunction, and ϕ j (z, t, T) <strong>is</strong> a<br />
vertical profile associated with th<strong>is</strong> convective element. The subscript j <strong>is</strong> added in order<br />
to label the individual convective elements. As a result, the total subgrid–scale variability<br />
<strong>is</strong> given by<br />
ϕ ′ = ∑ j<br />
H(r j (z, t, T) − r)ϕ j (z, t, T). (4.2)<br />
The core of mass flux parameterization <strong>is</strong>, without getting into any technical details,<br />
to provide a “stat<strong>is</strong>tical” closed description for ϕ j (z, t, T). Usually, we seek an expression<br />
ϕ j = ϕ j (z, T)<br />
without dependence on the subgrid–scale time scale, t. We also construct the formulation<br />
in such way that we no longer have to worry about the positions, (x j , y j ), of individual convective<br />
elements. Such a construction <strong>is</strong> possible thanks to the scale separation principle.<br />
These positions can be considered too much detail as a result.<br />
4.6. Subtilities of the notion of asymptotic limit<br />
Careful readers may have noticed that whenever I take a limiting operation, I never<br />
fail to add an adjective asymptotic. As stated earlier, I propose to base the whole notion<br />
of the scale separation on the asymptotic limit to ∆x/∆X → 0.<br />
The notion of the asymptotic limit <strong>is</strong> very subtle, and if you do not have th<strong>is</strong> notion, it<br />
<strong>is</strong> best adv<strong>is</strong>ed to have a look of basic textbooks such as Olver (1974), Bender and Orszag<br />
5) A more general d<strong>is</strong>cussion <strong>is</strong> found, for example, in Sec. 4 of Yano et al. (2005).<br />
13
(1978). Pedlosky (1987) writes h<strong>is</strong> textbook on the geophysical fluid dynamics entirely<br />
from a point of view of asymptotic expansion.<br />
Here, I emphasize few key points: the most important one <strong>is</strong> that we have to clearly<br />
d<strong>is</strong>tingu<strong>is</strong>h the notions associated with the two words asymptotic and analytic. When we<br />
take an analytical limit to, say, ǫ → 0, what it means <strong>is</strong> that we literally take the parameter,<br />
ǫ, infinitesimally small. From a point of view of numerical calculations, we have to take<br />
the value of ǫ as small as possible, in order to obtain the answer correctly. However, the<br />
asymptotic limit means something else: the asymptotic limit to ∆x/∆X → 0 means that<br />
we take the ratio ∆x/∆X very very small, but maintain it finite.<br />
The best known example in the fluid mechanics <strong>is</strong> when we take an asymptotic limit<br />
of van<strong>is</strong>hing v<strong>is</strong>cosity. Under th<strong>is</strong> asymptotic limit, we can neglect the effects of v<strong>is</strong>cosity<br />
almost everywhere in the fluid, and take the fluid as if perfectly inv<strong>is</strong>cid, but with a major<br />
exception over a very thin (yes, with an asymptotically van<strong>is</strong>hing thickness) boundary<br />
layer, where the fluid should be taken v<strong>is</strong>cous. In other words, the effects of v<strong>is</strong>cosity do<br />
not van<strong>is</strong>h when the asymptotic limit of van<strong>is</strong>hing v<strong>is</strong>cosity <strong>is</strong> taken.<br />
With the same token, we said, we take an asymptotic limit to ∆X/∆x → ∞, but<br />
it does not mean that we analytically consider that the domain over a large–scale point,<br />
(X, Y ), <strong>is</strong> infinitely large in measure of subgrid–scale coordinates. It <strong>is</strong> only asymptotic,<br />
i.e., it <strong>is</strong> just very very large, but not literally infinite.<br />
The idea of asymptotic expansion <strong>is</strong> based on that of writing down variables and<br />
equations in a manner ranked by the power of a parameter, ǫ, assumed to be asymptotically<br />
small, as developed in Sec. 3. The main problem with asymptotic expansion <strong>is</strong> that, in<br />
turn, it does not say, how small the parameter must be. The situation <strong>is</strong> more confusing,<br />
because more than often, we re–set th<strong>is</strong> small parameter as ǫ = 1 at the end. In th<strong>is</strong> respect,<br />
the notion of the asymptotic limit <strong>is</strong> confusing enough for the beginners. We say in the<br />
beginning we take the limit to ∆x ≪ ∆X, then after all the mathematical manipulations,<br />
at the end we say that it <strong>is</strong> probably not too bad to take it back to ∆x ∼ ∆X.<br />
14
In fact, an asymptotic expansion <strong>is</strong> considered to be powerful when the result still<br />
works well even when we set an expansion parameter to ǫ = 1. In many situations, we<br />
find that <strong>is</strong> the case. One particular example <strong>is</strong> found in Fig. 6 of Yano (1992). Here,<br />
an asymptotic expansion <strong>is</strong> essentially (without going into the details) made assuming a<br />
smallness of s. The plots show that the asymptotic–expansion solutions (solid curves) fit<br />
well the full numerical solutions (dashed curves) for the whole range of s.<br />
To some extent the asymptotic limit could even be considered as a kind of thought<br />
experiment. We just suppose that large scale and subgrid scale are well separated, and begin<br />
all our mathematical manipulations under th<strong>is</strong> hypothes<strong>is</strong>. Ex<strong>is</strong>tence of a clear spectrum<br />
gap between the large and subgrid scales could be a robust bas<strong>is</strong> for th<strong>is</strong> approach, but it <strong>is</strong><br />
not a absolute pre–requ<strong>is</strong>ite. More strongly stated, it <strong>is</strong> rather a matter of our convenience<br />
to separate between the large scale and subgrid scales.<br />
Validity of an asymptotic expansion cannot be automatically measured by any observational<br />
estimates of the expansion parameter, e.g., ǫ ≡ ∆x/∆X. In th<strong>is</strong> respect, the<br />
asymptotic expansion works more like a matter of art. We may fail terribly even with a<br />
numerically small ǫ, but we may obtain an excellent result even when ǫ <strong>is</strong> not small at<br />
all by any conventional measure. Extent of its working can be tested only a posteori by<br />
numerical validations.<br />
Consequently, under asymptotic expansions, the notion of the scale separation can<br />
only be qualitative, or even merely conceptual. The validity of the notion can be verified<br />
only a posteori under a working of the model, not by looking for a spectrum gap.<br />
4.7. Limits of the scale separation principle<br />
In order to see limits of parameterizations based on scale separation more clearly,<br />
let me ra<strong>is</strong>e a typical common m<strong>is</strong>understanding. Suppose that we want to parameterize<br />
propagating squall–line systems. Because each squall line moves with time, people are<br />
often worried : what we should do when a given squall line moves out from one grid box<br />
and moves into another?<br />
15
Here, I emphasize that under the scale separation principle, such a situation never<br />
happens. A propagating squall line would always remains within the same grid box, or<br />
more prec<strong>is</strong>ely it never moves away from the original large–scale grid point, (X, Y ). By<br />
taking an asymptotic limit, ∆X/∆x → ∞, the grid box <strong>is</strong> “infinitely” large, in point of<br />
view of subgrid–scale variability, thus regardless of how much the squall line propagates it<br />
<strong>is</strong> never able to move away from the domain.<br />
Recall the d<strong>is</strong>cussions in Sec. 4.3, in order to justify “stat<strong>is</strong>tical” description of the<br />
squall–line system, we should have “many” squall lines within a single grid box. Goal of<br />
parameterization <strong>is</strong> not in describing a contribution of any single squall line to the large<br />
scale, but it <strong>is</strong> only concerned with an ensemble effect of many squall lines to the large<br />
scale.<br />
However, here again, recall the subtilities of asymptotic notion just d<strong>is</strong>cussed in the<br />
last subsection: “many” may not be that many, but even just one squall line in a grid<br />
box could be enough. Probably, the more important implication of the scale separation<br />
principle <strong>is</strong> that we should also find another squall line at the next grid box so that the<br />
continuity of a squall–line dominant environment <strong>is</strong> guaranteed. In th<strong>is</strong> case, propagation<br />
of a train of squall lines would be successfully parameterized under a scale separation<br />
principle.<br />
Th<strong>is</strong> type of situation may be most vividly demonstrated by a simulation of mesoscale<br />
organization under super–parameterization by Grabowski (2006).<br />
See specifically h<strong>is</strong><br />
Fig. 3: here propagation of mesoscale organization <strong>is</strong> simulated by using only 8 large–<br />
scale grid boxes over a horizontally one–dimensional periodic domain. Each grid box<br />
represents convective–scale variability by using the method of super–parameterization and<br />
by assuming a horizontal periodicity for solving all the subgrid–scale equations analogous<br />
to Eq. (3.8). In other words, individual convective elements simulated by super–<br />
parameterization never move away from one large–scale grid box into another. Nevertheless,<br />
the propagation of mesoscale organization (which could be interpreted as a modula-<br />
16
tion of convective variability for the sake of the argument here) <strong>is</strong> successfully simulated,<br />
because the adopted super–parameterization formulation <strong>is</strong> cons<strong>is</strong>tent with the scale separation<br />
principle, as already emphasized in Sec. 4.2.<br />
However, if you really want to represent an <strong>is</strong>olated squall–line in a grid box (so that<br />
there <strong>is</strong> no squall line in neighboring grid boxes), th<strong>is</strong> <strong>is</strong> another story. You are really<br />
looking for a subgrid–scale parameterization beyond scale separation, that <strong>is</strong> the subject<br />
of the next section.<br />
4.8. Importance of conservat<strong>is</strong>m<br />
Before concluding th<strong>is</strong> section, I would like to make three more points in the following<br />
three sub–sections. First, I would like to emphasize an importance of continuing efforts for<br />
pursuing better parameterization under a strict application of the scale separation principle.<br />
It <strong>is</strong> much easier to blame the scale separation for failure of a parameterization rather<br />
than carefully re–examining all of its technical details. Here, I do not claim the problem<br />
of parameterization reduces into these details. Rather, I emphasize the importance of<br />
carefully verifying these details in terms of cons<strong>is</strong>tency with the scale separation principle.<br />
In order to guarantee the smoothness of the large–scale solution, the parameterization<br />
must also be constructed in such way that smooth evolution of parameterized subgrid–scale<br />
processes must be ensured. For example, adjustment of environment by convection must<br />
be a smooth function of time. In order to ensure such a smooth evolution, we should not<br />
add any drastic adjustment over a single time step. In actual implementation of convection<br />
parameterization, there are normally triggering and suppression conditions in order to turn<br />
on and to turn off a scheme. It <strong>is</strong> important to ensure that no d<strong>is</strong>continuous adjustment<br />
<strong>is</strong> applied both at triggering and suppression of a given scheme.<br />
As I d<strong>is</strong>cussed so far, the concept of scale separation <strong>is</strong> rather subtle, and it <strong>is</strong> easy to<br />
criticize in short–circuited manner. It <strong>is</strong> even easier to point out lack of actual evidence for<br />
scale separtion from observatinos. Personally, I have been long since convinced that scale<br />
separation <strong>is</strong> clearly not justified by observational evidences (Yano and Takeuchi 1987,<br />
17
Yano and N<strong>is</strong>hi 1989: see e.g., Tuck 2008, Lovejoy and Schertzer 2010 for general reviews).<br />
However, an important point emphasized in the last subsection <strong>is</strong> that even without<br />
observationally–supported scale separation, the asymptotic scale separation principle could<br />
still be applied as a mathematical tool for cleverly separating the given system into two<br />
separate scales. We simply declaire mathematically that there are two scales, ∆x and ∆X,<br />
and see how much cons<strong>is</strong>tently we can describe the given system. I personally consider<br />
that possibility of such two–scale description has never been tried out seriously enough<br />
Unfortunately, it appears that the situation <strong>is</strong> often other way round: Fig. 1 presents<br />
precipitation time series for the GATE phase III period obtained by a single–column version<br />
of the two global models: (a) ECHAM and (b) UK UM model (as implemented into<br />
Australian ACCESS model). In both cases, the simulated time series are much more spiky<br />
than the observed one, suggesting that parameterizations are not working in a manner<br />
cons<strong>is</strong>tent with scale separation. Thus, there are must be something wrong with the<br />
construction of these two parameterizations. I believe that these two examples are not<br />
exceptions. A reason for Cullen and Salmond (2003) finding that the current formulation<br />
of convection parameterization <strong>is</strong> not compatible with a two time–scale predictor–corrector<br />
time stepping scheme may also be partially attributed to its incons<strong>is</strong>tency with the scale<br />
separation principle.<br />
When a scale for a particular subgrid–scale process, say deep convection, actually<br />
becomes closer to the grid size, i.e., ∆x → L g , one may argue that scale separation<br />
has finally begun to break down. Th<strong>is</strong> <strong>is</strong> the <strong>is</strong>sue to be d<strong>is</strong>cussed in the next section.<br />
However, before moving to the next section, I would like to emphasize that th<strong>is</strong> <strong>is</strong> not<br />
necessarily the case, because from a point of view of asymptotic expansion (cf., Sec. 4.6),<br />
the actual resolved scale (large–scale) of the model <strong>is</strong> still much larger than th<strong>is</strong> grid<br />
scale, i.e., ∆x → L g ≪ ∆X. Even under th<strong>is</strong> regime, a very ingenious application of the<br />
scale separation principle may better off for formulating the convection parameterization<br />
problem, rather than pursing a one without it. Th<strong>is</strong> still remains an open question not<br />
18
fully addressed.<br />
4.9. <strong>Scale</strong> independence?<br />
A need for a scale–independent parameterization <strong>is</strong> often claimed in context of increasing<br />
horizontal resolutions of models. Implications that a parameterization must be<br />
adjusted against increasing resolutions, or better still it must be constructed in such manner<br />
than such adjustment <strong>is</strong> not at all necessary. That <strong>is</strong> roughly an idea of the scale<br />
independence.<br />
Here, we must realize that if a parameterization <strong>is</strong> constructed in a manner perfectly<br />
cons<strong>is</strong>tent with the scale separation, it <strong>is</strong> automatically scale independent as long as the<br />
scale separation <strong>is</strong> valid. Recall that validity of scale separation must be relatively wide<br />
by following the arguments of Sec. 4.6.<br />
More formally stated, under scale separation, a parameterization can be constructed<br />
under an asymptotic expansion of a parameter, ǫ = ∆x/∆X. As long as such an asymptotic<br />
expansion procedure <strong>is</strong> performed in formally correct manner, the resulting parameterization<br />
must be scale independent. Th<strong>is</strong> conclusion does not change whether the given<br />
parameterization explicitly includes the parameter, ǫ, or not.<br />
Reasons for the scale dependence found in ex<strong>is</strong>ting parameterizations mostly like come<br />
from various ad hoc assumptions introduced without clear physical bas<strong>is</strong>. These assumptions<br />
are likely to be scale dependent, thus scrutinizing <strong>is</strong> clearly warranted. Unfortunately,<br />
th<strong>is</strong> basic <strong>is</strong>sue <strong>is</strong> not much investigated.<br />
4.10. Reality bites<br />
Finally, reality bites. In Sec. 3.2, I have emphasized importance of a smooth solution<br />
independent of the numerical resolution. However, such statement <strong>is</strong> valid only in a<br />
clean problem with a well–defined large scale. Unfortunately, atmospheric flows are highly<br />
turbulent cons<strong>is</strong>ting of many scales. As the numerical resolution increases, we find more<br />
structures to be resolved. In other words, we continuously see a parameterized subgrid<br />
scale turns into a resolved scale as the resolution increases. Under th<strong>is</strong> situation, the con-<br />
19
cept of the scale separation becomes far more subtle than otherw<strong>is</strong>e, if it does not make it<br />
useless. Refer to Sec. 4.6 again in order to recall how subtle th<strong>is</strong> concept <strong>is</strong> even without<br />
th<strong>is</strong> aspect.<br />
Occasionally, a certain phenomena, for example deep convection, crosses right at the<br />
grid scale, L g . It <strong>is</strong> rather natural to think that we need a special attention to such a<br />
situation, especially considering the continuous spectrum of the system. That <strong>is</strong> the <strong>is</strong>sue<br />
to be d<strong>is</strong>cussed in the next section.<br />
5. Parameterization beyond <strong>Scale</strong> <strong>Separation</strong><br />
5.1. Background<br />
<strong>What</strong> should we do, then, when the subgrid–scale processes no longer sat<strong>is</strong>fy scale separation?<br />
Th<strong>is</strong> <strong>is</strong> not merely an academic question, but the problem that many operational<br />
research centers are facing right now as a consequence of increasing horizontal resolutions<br />
of operational forecast models (cf., Yano et al. 2010a).<br />
Many regional forecast models have begun to take horizontal resolutions of 1–5 km. As<br />
a result, deep convection <strong>is</strong> almost resolved, but not quite. The standard procedure would<br />
be to turn off deep–convection parameterization hoping that resolved model circulations<br />
would be accurate enough to generate deep convection by themselves. Unfortunately, it<br />
does not always happen.<br />
Often, we face with situations in which deep convection never kicks off in spite of a<br />
very favorable condition, and also in spite of the fact that it did kick off in validation.<br />
In fortunate cases, we do predict deep convection but strongly localized to selective few<br />
grid columns: a feature of grid–scale storms (e.g., Zhang et al. 1988, Molinari and Dudek<br />
1986, 1992). For these reasons, in spite of the fact that deep convection <strong>is</strong> almost resolved,<br />
it appears that a deep–convection parameterization <strong>is</strong> still required (cf., Kuo et al. 1997,<br />
B<strong>is</strong>ter 1998).<br />
5.2. Conceptual <strong>is</strong>sues<br />
How can we construct a parameterization when the scale separation <strong>is</strong> no longer valid?<br />
20
It may even be argued that the question itself <strong>is</strong> already self–contradictory.<br />
Under the scale separation, the parameterization <strong>is</strong> a well–defined problem (in a priori<br />
sense in spite of all the technical difficulties follow) because we have a clear d<strong>is</strong>tinction<br />
between the resolved and subgrid–scale processes, given by ¯ϕ and ϕ ′ , respectively, in<br />
Eq. (3.4). Once the scale separation <strong>is</strong> gone, there <strong>is</strong> no obvious way to d<strong>is</strong>tingu<strong>is</strong>h what<br />
<strong>is</strong> resolved and what <strong>is</strong> not resolved. In th<strong>is</strong> respect, arguably, the parameterization ceases<br />
to be a well–defined problem. In other words, how do we define “subgrid–scale” without<br />
scale separation?<br />
It <strong>is</strong> clear that if we ever want to continue to pursue the idea of parameterization<br />
even without scale separation, we need to define “subgrid–scale” in conceptually different<br />
way. Alternatively, a different concept other than “subgrid–scale” must be introduced for<br />
a “parameterization”.<br />
5.3. Mesh–refinement and nesting<br />
The situation in concern <strong>is</strong> when, for example, deep convection <strong>is</strong> almost resolved, but<br />
not quite. That <strong>is</strong> the <strong>is</strong>sue at stake. However, obviously, if the model resolution were<br />
slightly increased, the problem of parameterizing a particular process in concern would<br />
simply be gone.<br />
Diverse methods already ex<strong>is</strong>t in order to zoom a model in such a manner. The<br />
stretched coordinates (cf., Baker, 1997) and adaptive mesh-refinement (AMR, e.g., Berger<br />
and Colella 1989, Bell et al. 1994) have been traditionally adopted methods. These approaches<br />
have been, respectively, applied to atmospheric modelling by e.g., Dietachmayer<br />
and Droegemeier (1992) on the one hand, by e.g., Skamarock and Klemp (1993), Hubbard<br />
and Nikiforak<strong>is</strong> (2003), Prusa and Smolarkiewicz (2003), Fournier et al. (2004),<br />
Jablonowski et al. (2006), St-Cyr et al. (2008) on the other hand.<br />
Nesting (e.g., Clark and Farley 1984, Zhang et al. 1986) <strong>is</strong> a more popular approach<br />
in atmospheric modelling in order to gain higher resolutions over a local region of interest.<br />
The basic principle of nesting resides on coupling two models with large and small domains<br />
21
together. The procedure <strong>is</strong> easier than mesh-refinement to implement. However, due<br />
to its design, the nesting approach tends to slave the nested–domain processes to the<br />
host domain, completely losing its fine–scale predictability within the nested domain in<br />
relatively short time (Lapr<strong>is</strong>e et al. 2008). 6) It <strong>is</strong> even harder to apply it in an adaptive<br />
manner.<br />
More important to keep in mind <strong>is</strong> a fact that the zooming capacity of these methods<br />
<strong>is</strong> relatively limited, and usually it <strong>is</strong> technically possible to zoom only by factor of a few. It<br />
<strong>is</strong> a clear d<strong>is</strong>tinction from multi–scale analys<strong>is</strong> introduced in Sec. 3, which <strong>is</strong> conceptually<br />
based on the idea of “infinite” zooming by taking an asymptotic limit, ∆X/∆x → +∞.<br />
However, such a slight zooming <strong>is</strong> exactly what we need when deep convection, for<br />
example, <strong>is</strong> almost resolved. For th<strong>is</strong> very reason, the notion of mesh–refinement and nesting<br />
are likely to provide an important conceptual bas<strong>is</strong> for developing a parameterization<br />
when the scale separation does not ex<strong>is</strong>t any more.<br />
5.4. Mass–flux based approach<br />
It may be worthwhile to notice that the mass flux approach, outlined in Sec. 4.5, <strong>is</strong><br />
also based on an idea of dividing the grid box into subdomains cons<strong>is</strong>ting of number of<br />
convective elements (convective plumes), as designated by Eq. (4.2), and a large remaining<br />
part called the environment.<br />
Under the scale separation principle, the total fractional area occupied by convective<br />
elements <strong>is</strong> expected to be much smaller than the environment. However, arguably, th<strong>is</strong><br />
constraint <strong>is</strong> not fundamental to the mass flux formulation. Conceptually, the basic idea<br />
of the mass–flux formulation would relatively easily be generalized to the cases without<br />
th<strong>is</strong> constraint. Under such a generalization, any physical variable given at large–scale<br />
6) Couple of days in their particular configuration zooming a Canadian region in a global<br />
simulation.<br />
22
coordinates, (X, Y ), may be given by<br />
¯ϕ(X, Y, z, T) = ∑ j<br />
σ j (X, Y, z, T)ϕ j (X, Y, z, T), (5.1)<br />
where ϕ j with j = 1, 2, · · · <strong>is</strong> a value for a subgrid–scale subcomponent at (X, Y ), and σ j<br />
<strong>is</strong> a fractional area occupied by the j–th subcomponent. Each subcomponent variable, ϕ j ,<br />
would be described by an analogue equation to Eq. (3.9) describing the “total” large–scale<br />
variable.<br />
However, the above <strong>is</strong> just a very crude sketch. It would be fair to say that a prec<strong>is</strong>e<br />
formulation under such a generalization <strong>is</strong> still left for debate. My own proposal <strong>is</strong> outlined<br />
in Sec. 4 of Yano et al. (2005). A more specific application of the idea <strong>is</strong> presented in Yano<br />
et al. (2010b). The other proposals include Gerard and Geleyn (2005), Gerard (2007),<br />
Kuell et al. (2007). The full d<strong>is</strong>cussion <strong>is</strong> beyond the scope here. However, for example,<br />
the exact position, (x j , y j ), of each subgrid–scale component <strong>is</strong> likely to become critical,<br />
because that <strong>is</strong> no longer a matter of negligible small scales.<br />
5.5. Stochastic approach?<br />
On the other hand, more “stat<strong>is</strong>tically” based approaches such as those based on<br />
moments are less easily modified to the cases when the scale separation breaks down.<br />
These methods are based on the implicit assumptions that there are numerous subgrid–<br />
scale elements over a given grid box so that a reliable stat<strong>is</strong>tics can be developed by<br />
grid–scale average. Once the scale separation breaks down, these stat<strong>is</strong>tics are no longer<br />
obtained in a reliable manner, because the subgrid–scale elements are no longer numerous<br />
over the grid–box scale. 7)<br />
If we still ins<strong>is</strong>t of using information from these “stat<strong>is</strong>tically” based approaches, the<br />
procedure would be like taking a draw, rather than simply taking the most expected value.<br />
Thus, an implementation would be stochastic, as an approach taken by Plant and Craig<br />
7) Note that the argument here <strong>is</strong> exclusively focused on those half–resolved structures.<br />
The other subgrid–scale varaibilities are not in concern of the d<strong>is</strong>cussions.<br />
23
(2008, see also Plant 2010). Nevertheless, the title of their paper already indicates the<br />
limit of their approach: it <strong>is</strong> based on an equilibrium stat<strong>is</strong>tics, assuming a homogeneous<br />
background state. On the other hand, in the limit to ∆x → ∆X, the “large–scale” (or<br />
resolved–scale) processes are expected to be highly heterogeneous to the scale even very<br />
close the subgrid scale. In any rate, the two scales are no longer well separated, whereas<br />
the “equilibrium” notion supposes a separation of the two.<br />
D<strong>is</strong>cussions on these limitations point to another basic character of subgrid–scale<br />
parameterization beyond scale separation: the approach could be inherently stochastic.<br />
5.6. Numerical Issues<br />
It may be worthwhile to return again to certain numerical <strong>is</strong>sues. As emphasized<br />
already, “grid–point storm” <strong>is</strong> something to be avoided for stability of numerical computations.<br />
I have already emphasized that if a parameterization <strong>is</strong> developed in a manner<br />
cons<strong>is</strong>tent with the scale separation principle, “grid–point storms” should not happen.<br />
However, once a parameterization <strong>is</strong> developed free of th<strong>is</strong> principle, we no longer have a<br />
guarantee of the absence of “grid–point storms”. Nevertheless, these are still something<br />
to be avoided for numerical reasons. <strong>What</strong> shall we do with th<strong>is</strong> situation? There are two<br />
answers.<br />
The first point to realize <strong>is</strong> that majority of mesh–refinement and nesting methods do<br />
not allow us to zoom a single grid box leaving all the other neighboring grid boxes intact.<br />
In general, both mesh–refinement and nesting must be performed over a substantial area<br />
spanning over more than few grid boxes in one direction. Otherw<strong>is</strong>e, the method would be<br />
numerically unstable. For the same reason, zooming must be gradual in both approaches.<br />
Th<strong>is</strong> argument suggests that in order to develop a legitimate subgrid–scale parameterization<br />
without scale separation, it would be not enough to simply subdivide a given<br />
grid–box domain as outlined under the mass–flux framework in Sec. 5.4. We also have to<br />
carefully take into account the influences to neighboring grid boxes. In other words, lateral<br />
interactions between grid boxes become the critical element of subgrid–scale parameteri-<br />
24
zation under th<strong>is</strong> situation.<br />
Another way of looking at the <strong>is</strong>sue <strong>is</strong> to realize that the notion of grid–box average,<br />
that we often invoke in order to understand the idea of parameterization, does not ex<strong>is</strong>t<br />
in literal sense in many numerical implementations, especially those based on either finite<br />
difference or spectrum transform. Under these approaches, we only know the physical<br />
values on the d<strong>is</strong>cretized grid, and nothing in–between by construction. We face a kind of<br />
self–contradiction when we begin to try to subdivide a grid box in a code based on these<br />
numerical algorithms.<br />
A way to avoid such a self–contradiction (which may further lead to numerical instability<br />
of the code) <strong>is</strong> to adopt a numerical algorithm that literally takes a grid box as a<br />
basic element of computations, so that we can also take the notion of the grid box average<br />
literally. The finite volume method developed based on th<strong>is</strong> idea (cf., LeVeque 2002) could<br />
be, thus, more desirable for constructing a high–resolution model containing subgrid–scale<br />
parameterization without scale separation.<br />
6. Concluding Remarks: Issues of Theories and Practice<br />
In concluding th<strong>is</strong> essay, I have to inevitably turn to the operational reality: it <strong>is</strong> often<br />
said that there <strong>is</strong> no beautiful theory for the parameterizations. The statement reflects<br />
a deep-rooted mentality in numerical weather forecast (NWP) community that tends to<br />
shun theoretical approaches to parameterization.<br />
It may be pointed out that in spite of th<strong>is</strong> overall NWP mentality, there are still quite<br />
few good theoretical works on parameterizations. A shining example <strong>is</strong> of course, Arakawa<br />
and Schubert (1974), who also proposed the concept of the scale separation along with<br />
many others. Most of the ex<strong>is</strong>ting parameterizations are presented in publ<strong>is</strong>hed articles as<br />
mathematically well–formulated systems based on theoretical ideas.<br />
However, we have to realize that what a parameterization developer thinks what a<br />
parameterization <strong>is</strong> doing <strong>is</strong> often not what the parameterization <strong>is</strong> actually doing. An<br />
associated <strong>is</strong>sue <strong>is</strong> a sad fact that almost no parameterization <strong>is</strong> ever implemented as<br />
25
exactly stated in the publ<strong>is</strong>hed article even originally. The actual operational version<br />
usually goes through various modifications that are never publ<strong>is</strong>hed in literature.<br />
Under th<strong>is</strong> situation, most people believe, we are now facing with a challenge of moving<br />
beyond the constraint of scale separation. The intention of the present essay has been<br />
to cast thoughts on th<strong>is</strong> challenge from theoretical perspectives. Currently many stop–<br />
gap type approaches (e.g., Gerard and Geleyn 2005, Gerard 2007, Kuell et al. 2007) are<br />
going on in many operational research centers in order to cope with increasing horizontal<br />
resolutions. I am also aware of the fact that many researchers are working at operational<br />
research centers under very high pressure without much room for theoretical reflections.<br />
On the other hand, I emphasize again the fact that current parameterizations are<br />
constructed under the principle of scale separation. Th<strong>is</strong> concept <strong>is</strong> so hard wired to the<br />
basic formulation of these parameterizations that it <strong>is</strong> more likely to mess up things if<br />
we simply try to modify a scheme for higher resolutions without examining the whole<br />
structure of the problem carefully. I have even suggested that a more careful construction<br />
of a parameterization cons<strong>is</strong>tent with the scale separation could be a better approach under<br />
a challenge of increasing resolutions of operational models.<br />
The present essay <strong>is</strong> short of making any concrete proposal for parameterizations in<br />
high–resolution limit. However, it <strong>is</strong> hoped that the present essay helps to find a way for<br />
developing such a one by rigorous theoretical approaches.<br />
acknowledgements<br />
The present essay has evolved through the d<strong>is</strong>cussions under the COST Action ES0905.<br />
Comments by Dmitrii Mironov, Alan L. M. Grant, Sue Gray are appreciated. The ECHAM<br />
run shown in Fig. 1(a) <strong>is</strong> performed by Suvarchal Kumar. Greg Roff ass<strong>is</strong>ted me for running<br />
the ACCESS case in Fig. 1(b).<br />
26
References<br />
Arakawa, A., and J.-M. Chen, 1986: Closure assumptions in the cumulus parameterization<br />
problem. in Short– and Medium–Range Numerical Weather Prediction,<br />
Collection of Papers at the WMO/IUGG NWP Symposium, Tokyo, 4–8 August<br />
1986, 107–131.<br />
Arakawa, A., and W. H. Schubert, 1974: Interaction of a cumulus cloud ensemble<br />
with the large–scale environment, part I, J. Atmos. Sci., 31, 674–701. (AS)<br />
Baker, T. J., 1997: Mesh Adaptation strategies for problems in fluid dynamics. Finite<br />
Elements in Analys<strong>is</strong> and Design, 25, 243–273.<br />
Bechtold, P., E. Bazile, F. Guichard, P. Mascart, and E. Richard, 2001: A mass-flux<br />
convection scheme for regional and global models. Quart. J. Roy. Meteor. Soc.,<br />
127, 869 –889.<br />
Bell, J., M. Berger, J. Saltzman, and M. Welcome, 1994: Three-dimensional adaptive<br />
mesh refinement for hyperbolic conservation laws. SIAM J. Sci. Comput., 15,<br />
127–138.<br />
Bender, C. M., and S. A. Orszag, 1978: Advanced Mathematical Methods for Scient<strong>is</strong>ts<br />
and Engineers, McGraw–Hill, New York, 593pp.<br />
Berger, M. J., and P. Colella, 1989: Local adaptive mesh refinement for shock hydrodynamics.<br />
J. Comput. Phys., 82, 64–84.<br />
B<strong>is</strong>ter, M., 1998: Cumulus parameter<strong>is</strong>ation in regional forecast models: A review;<br />
HIRLAM Technical Report, No. 35, pp. 30.<br />
Clark, T. L., and R. D. Farley, 1984: Severe downslope windstorm calculations in two<br />
and three spatial dimensions using anelastic interactive grid nesting: A possible<br />
mechan<strong>is</strong>m for gustiness. J. Atmos. Sci., 41, 329–350.<br />
Cotton, W. R., and R. A. Anthes, 1989: Storm and Cloud Dynamics. Academic Press,<br />
880pp.<br />
Cullen, M. J. P., and D. S. Salmond, 2003: On the use of a predictor–corrector scheme<br />
27
to couple the dynamics with physical parameterization in the ECMWF model.<br />
Quart. J. Roy. Meteor. Soc., 129, 127–1236.<br />
Dietachmayer, G. S., and K. K. Droegemeier, 1992: Application of continuous dynamic<br />
grid adaption techniques to meteorological modeling. Part I: Basic formulation<br />
and accuracy. Mon. Wea. Rev., 120, 1675–1706.<br />
Fournier, A., M. A. Taylor, and J. J. Tribbia, 2004: The Spectral Element Atmosphere<br />
Model (SEAM): High-resolution parallel computation and localized resolution of<br />
regional dynamics. Mon. Wea. Rev., 132, 726–748.<br />
Frank, W. M., 1983: The cumulus parameterization problem. Mon. Wea. Rev., 111,<br />
1859–1871.<br />
Gerard, L., and J.-F. Geleyn, 2005: Evolution of a subgrid deep convection parameterization<br />
in a limited–area model with increasing resolution. Quart. J. Roy.<br />
Meteor. Soc., 131, 2293–2312. (GG)<br />
Gerard, L., 2007: An integrated package for subgrid convection, clouds and precipitation<br />
compatible with meso-gamma scales Quart. J. Roy. Meteor. Soc., 133,<br />
711–730.<br />
Grabowski, W. W., 2004: An improved framework for superparameterization. J.<br />
Atmos. Sci., 61, 1940–1952.<br />
Grabowski, W. W., 2006: Comments on “Preliminary tests of mult<strong>is</strong>cale modeling<br />
with a two–dimensional framework: Sensitivity to coupling methods”. Mon.<br />
Wea. Rev., 134, 2012–2026.<br />
Grabowski, W. W., and P. K. Smolarkiewicz, 1999: CRCP: A cloud resolving convection<br />
parameterization for modeling the tropical convecting atmospehre. Physica<br />
D, 133, 171–178.<br />
Gyarmati, I., 1970:Non-equilirium thermodynamics. Springer, Berlin<br />
Hubbard, M. E. and N. Nikiforak<strong>is</strong>, 2004: A three-dimensional, adaptive, Godunovtype<br />
model for global atmospheric flows. Mon. Wea. Rev., 131, 1848–1864.<br />
28
Jablonowski, C., M. Herzog, J. E. Penner, R. C. Oehmke, Q. F. Stout, B. van Leer,<br />
and K. G. Powell, 2006: Block-structured adaptive grids on the sphere: Advection<br />
experiments. Mon. Wea. Rev., 134, 3691–3713.<br />
Kuell, V., A. Gassmann, and A. Bott, 2007: Towards a new hybrid cumulus<br />
parametrization scheme for use in non–hydrostatic weather prediction models.<br />
Quart. J. Roy. Meteor. Soc., 133, 479–490.<br />
Kuo, Y., J. F. Bresch, M.–D. Cheng, J. S. Kain, D. B. Parsons, W.–K. Tao, and<br />
D.–L. Zhang, 1997: Summary of mini workshop on cumulus parameterization for<br />
mesoscale models. Bull. Amer. Meteor. Soc., 78, 475–491.<br />
Lander, J. L., and B. J. Hoskins, 1997: Believable scale and parameterizations in a<br />
spectral transform model. Mon. Wea. Rev., 125, 292–303.<br />
Lapr<strong>is</strong>e, R., R. de Elia, D. Caya, S. Biner, Ph. Lucas-Picher, E. P. Diaconescu, M.<br />
Leduc, A. Alexandru et L. Separovic, 2008: Challenging some tenets of regional<br />
climate modelling, Meteorol. Atmos. Phys., 100, 3-22.<br />
Leonard, A., 1974: Energy cascade in large–eddy simulations of turbulent flows. Adv.<br />
Geophys., 418A, 237–248.<br />
LeVeque, R. J., 2002: Finite Volume Methods for Hyperbolic Problems, Cambridge<br />
University Press, 578pp.<br />
Lovejoy, S., and D. Schertzer, 2010: Towards a new synthes<strong>is</strong> for atmospheric dynamics:<br />
Space–time cascades. Atmos. Res., 96, 1–52.<br />
Majda, A. J., 2007a: New mult<strong>is</strong>cale models and self-similarity in tropical convection.<br />
J. Atmos. Sci., 64, 1393–131404. doi:10.1175/JAS3880.1<br />
Majda, A. J., 2007b: Mult<strong>is</strong>cale models with mo<strong>is</strong>ture and systematic strategies for<br />
superparameterization. J. Atmos. Sci., 64, 2726–2734.<br />
Mapes, B. E., 1997: Equilibrium vs. activation controls on large–scale variations of<br />
tropical deep convection. the Physics and Parameterization of Mo<strong>is</strong>t Atmospheric<br />
<strong>Convection</strong>, R. K. Smith, Ed., NATO ASI, Kloster Seeon, Kluwer Academic<br />
29
Publ<strong>is</strong>hers, Dordrecht, 321–358.<br />
Meneveau, C., and J. Katz, 2000: <strong>Scale</strong>–invariance and turbulence models for large–<br />
eddy simulation. Ann. Rev. Fluid Mech., 32, 1–32.<br />
Mironov, D. V., 2009: Turbulence in the lower troposphere: second–order closure<br />
and mass–flux modelling frameworks. in Interd<strong>is</strong>ciplinary Aspects of Turbulence.<br />
Lect. Notes Phys., 756, W. Hillebrandt and F. Kupka, Eds., Springer–Verlag,<br />
Berlin, Heidelberg, 161–221. (DOI:10.1007/978–3–540–78961–1 5)<br />
Molinari, J., and M. Dudek, 1986: Implicit versus explicit convective heating in numerical<br />
weather prediction models. Mon. Wea. Rev., 114, 1822–1831.<br />
Molinari, J., and M. Dudek, 1992: Parameterization of convective precipitation in<br />
mesoscale numerical models: A critical review. Mon. Wea. Rev., 120, 326–344.<br />
Olver, F. W. J., 1974: Asymptotics and Special Functions, Academic Press, 572pp.<br />
Ooyama, K. V., 1982: Conceptual evolution of the theory and modeling of the tropical<br />
cyclone, J. Met. Soc. Japan, 60, 369–380.<br />
Pedlosky, J., 1987: Geophysical Fluid Dynamics, 2nd Ed., 710pp, Springer-Verlag.<br />
Plant, R. S., 2010: A review of the theoretical bas<strong>is</strong> for bulk mass flux convective<br />
parameteization. Atmos. Chem. Phys., 10, 3529–3544.<br />
Plant, R. S., and G. C. Craig, 2008: A stochastic parameterization for deep convection<br />
based on equilibrium stat<strong>is</strong>tics. J. Atmos. Sci., 65, 87–105.<br />
Prusa, J.M., and P. Smolarkiewicz, 2003: An all-scale anelastic model for geophysical<br />
flows: Dynamic grid deformation. J. Comp. Phys., 190, 601–622.<br />
Skamarock, W. C., and J. B. Klemp, 1993: Adaptive grid refinement for twodimensional<br />
and three-dimensional nonhydrostatic atmospheric flow. Mon. Wea.<br />
Rev., 121, 788–804.<br />
St-Cyr, A., C. Jablonowski, J. M. Denn<strong>is</strong>, H. M. Tufo, and S. J. Thomas, 2008:<br />
A compar<strong>is</strong>on of two shallow water models with nonconforming adaptive grids.<br />
Mon. Wea. Rev., 136, 1898–1922.<br />
30
Tiedtke, M., 1989: A comprehensive mass flux scheme of cumulus parameterization<br />
in large–scale models. Mon. Wea. Rev., 117, 1779–1800.<br />
Tuck, A., Atmospheric Turbulence: A molecular Dynamics Perspective, Oxford University<br />
Press.<br />
Xing, Y., A. J. Majda, and W. W. Grabowski, 2009: New efficient sparse space–<br />
time algorithms for superparameterization on mesoscales. J. Atmos. Sci., 137,<br />
4307–4324.<br />
Wyngaard, J. C., 1998: Experiment, numerical modelling, numerical simulation, and<br />
their roles in the study of convection. in Buoyancy <strong>Convection</strong> in Geophysical<br />
Flows, E. J. Plate, E. E. Fedorovich, D. X. Viegas, J. C. Wyngaard, Eds., pp.<br />
239-251.<br />
Wyngaard, J. C., 2010: Turbulence in the Atmosphere, Cambridge University Press,<br />
393pp.<br />
Xing, Y., A. J. Majda, and W. W. Grabowski, 2009: New efficient sparse space–<br />
time algorithms for superparameterization on mesoscales. J. Atmos. Sci., 137,<br />
4307–4324.<br />
Yano, J.-I., 1992: Asymptotic theory of thermal convection in the rapidly rotating<br />
systems, J. Fluid Mech., 243, 103-131.<br />
Yano, J.-I., and Y. Takeuchi, 1987: The self-similarity of horizontal cloud pattern in<br />
the intertropical convergence zone, J. Meteor. Soc. Japan, 65, 661–667.<br />
Yano, J.-I., and N. N<strong>is</strong>hi, 1989: The hierarchy and self-affinity of the time-variability<br />
within the tropical atmosphere inferred from the NOAA OLR data, J. Meteor.<br />
Soc. Japan, 67, 771–789.<br />
Yano, J.-I., W. W. Grabowski, G. L. Roff, and B. E. Mapes, 2000 : Asymptotic<br />
approaches to convective quasi–equilibrium. Quart. J. Roy. Meteor. Soc., 126,<br />
1861–1887.<br />
Yano, J.-I., J.-L. Redelsperger, F. Guichard, and P. Bechtold, 2005: Mode decompo-<br />
31
sition as a methodology for developing convective-scale representations in global<br />
models. Quart. J. Roy. Meteor. Soc., 131, 2313–2336.<br />
Yano, J.–I., J.–F. Geleyn, S. Malinowski, 2010a: Challenges for A New Generation<br />
of Regional Forecast Models: Workshop on Concepts for Convective Parameterizations<br />
in Large-<strong>Scale</strong> Model III: ”Increasing Resolution and Parameterization”;<br />
Warsaw, Poland, 17-19 March 2010. EOS, 91, No. 26, 232.<br />
Yano, J.-I., P. Benard, F. Couvreux, and A. Lahellec, 2010b: NAM-SCA: Nonhydrostatic<br />
Anelastic Model under Segmentally–Constant Approximation. Mon. Wea.<br />
Rev., 138, 1957–1974.<br />
Zhang, D.-L., H.-R. Chang, N. L. Seaman, T. T. Warner, and J. M. Fritsch, 1986: A<br />
two–way interactive nesting procedure with variable train resolution, Mon. Wea.<br />
Rev., 114, 1330–1339.<br />
Zhang, D.–L., E.–Y. Hsie, and M. W. Moncrieff, 1988: A compar<strong>is</strong>on of explicit and<br />
implicit predictions of convective and stratiform precipitating weather systems<br />
with a meso–β–scale numerical models. Quart. J. Roy. Meteor. Soc., 114,<br />
31–60.<br />
32
(a) GATE Precipitation: ECHAM<br />
(b) GATE precipitation: ACCESS<br />
Fig. 1 : Precipitation time series for the GATE phase III period obtained by a single–<br />
column version of the two global models: (a) ECHAM and (b) UK UM model<br />
(as implemented into Australian ACCESS model). In (a), the observation and<br />
the simulation are shown by the red and the black curves, respectively. In (b),<br />
the observation and the simulation are shown by the solid and the dashed curves,<br />
respectively.<br />
33