06.05.2015 Views

What is Scale Separation?: A Theoretical Reflection - Convection

What is Scale Separation?: A Theoretical Reflection - Convection

What is Scale Separation?: A Theoretical Reflection - Convection

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!