
模拟地球大气是一项艰巨的挑战,需要将连续、优美的物理定律转换到计算机的有限、离散的网格上。我们如何选择在此网格上表示温度和风等物理量,并非无足轻重的细节;这是一个具有深远影响的基础性选择。看似合乎逻辑的决策可能会无意中产生数字“幽灵”——这些非物理误差会困扰模拟过程并破坏其结果。本文旨在探讨数值模拟中的一个根本性问题:因网格结构而产生的这些计算伪影。
本文将引导您深入了解大气网格设计的复杂性。在“原理与机制”部分,我们将剖析流行的洛伦兹网格,揭示其导致被称为计算模的“机器中的幽灵”的隐藏缺陷,并展示优雅的查尼-菲利普斯网格作为一个稳健的解决方案。随后,“应用与跨学科联系”部分将探讨这些网格选择在现实世界中的影响,从在山脉上产生虚假的风,到准确模拟影响全球天气模式的关键气候现象。
想象一下,您试图画一幅杰作,一幅天空的完美复制品。真实的天空是颜色和光线的无缝连续体。然而,您的画布却是一个由像素组成的网格。您只能在每个像素中填充一种纯色。您如何选择颜色并排列它们以捕捉原作的精髓?这正是大气建模的根本挑战。由 Newton 及其后继者书写的优美、连续的流体动力学定律,必须被转换到计算机的离散、有限的网格上。我们在此转换——即离散化(discretization)的艺术——中所做的选择,会产生深远的影响。这不仅仅关乎细节的正确性,更关乎确保最终的图像不被数字幽灵所困扰。
让我们将大气简化为一列堆叠的盒子,即层。我们需要决定在哪里“存储”代表我们物理量的数字:温度、压力、风等等。一个看似合乎逻辑的第一步是后来被称为Lorenz grid的方案。我们将代表层内“状态”或“物质”的变量——例如其温度()和压力()——放置在每个盒子的正中心。而代表盒子之间“流动”的变量,例如垂直速度(),则放置在界面的位置,即每个盒子的顶部和底部。这感觉很直观,就像测量桶内的水量(一个层中心量)和连接到下一个桶的管道的流速(一个界面量)一样。这种排列方式似乎是组织我们数字大气的一种整洁而合理的方法。但正如我们将要看到的,这种整洁背后隐藏着一个虽细微但至关重要的缺陷。
自然界遵循着一个优美的原则,即静力平衡。从本质上讲,它指出大气中任何高度上的压力都由其上方所有空气的重量决定。这意味着一个气层顶部和底部之间的压差与该层内空气的质量直接相关——因此也与其平均温度和密度直接相关。在我们的离散 Lorenz grid 上,一个层的位势厚度(与压差相关)由存储在其中心的温度 决定。
现在,我们来做一个思想实验。想象一下,我们用一种奇特的温度模式来初始化我们的模型:第一层微暖,第二层微冷,第三层微暖,第四层微冷,以此类推,就像一个垂直堆叠的棋盘。应该会发生什么呢?这种暖(密度较低)和冷(密度较高)空气的模式应产生浮力,导致空气移动和混合,最终使该模式平滑化。
让我们看看我们的 Lorenz grid 模型会做什么。垂直风 是由层间界面上的浮力驱动的。但是在 Lorenz grid 上,我们没有界面上的温度值。获得该值的唯一方法是通过我们已有的值来计算它。最自然且最常用的方法是平均相邻两层的温度:。
这就是“顿悟”的时刻,我们发现了机器中的幽灵。一个暖扰动(我们称之为+1)和一个冷扰动(-1)的平均值是多少?是零!
在每一个界面上,平均化过程都完全消除了棋盘信号。驱动垂直运动的动力过程位于界面上,而从它们的角度来看,棋盘状的温度模式是完全不可见的。模型感觉不到任何浮力,也不会产生垂直风来纠正这个模式。
这就是一个计算模:一个非物理的、网格尺度的模式,它是离散方程的一个有效解,但与模型的物理过程完全解耦。它可以无限期地持续甚至增长,用与真实天气无关的高频噪音污染模拟结果。这是一个由看似无害的网格结构选择所产生的幻影。
我们如何驱除这个幽灵?问题源于平均化这一行为。Jule Charney 和 Norman Phillips 等先驱者的卓越洞见,不是添加复杂的滤波器,而是重新设计网格本身。这催生了Charney-Phillips (C-P) grid。
解决方法异常简单:将温度从层的中心移到界面,而垂直速度则定义在层的中心。现在,驱动垂直运动的浮力是根据界面上的物理量计算的。不再需要进行平均。
让我们在 C-P grid 上重演我们的思想实验。我们在界面温度上施加一个棋盘模式。现在,交替的浮力被每个界面上的垂直速度直接感受到。一个高浮力区域立即驱动向上的运动,而一个低浮力区域则驱动向下的运动。物理过程现在在所有尺度上都与温度场正确而稳健地耦合在一起。模型会主动地平滑掉这个非物理的模式。幽灵被破除了。
这种优越的结构还有其他好处。大气对垂直运动的阻力,即其静力稳定度,由布伦特-维萨拉频率(Brunt–Väisälä frequency) 决定,它与位温的垂直梯度 成正比。在 C-P grid 上,位温 定义在界面上。这意味着我们可以直接使用层顶部和底部的数值来计算跨层的梯度,无需插值,从而对控制大气波的稳定度得出一个更直接、更准确的度量。
这个优雅的解决方案不仅仅是针对单个问题的补丁。它的优点在整个模型中产生连锁反应,揭示了数值稳定性、物理准确性和基本守恒定律之间的深刻统一。
大气中充满了内重力波,这是一种输送能量和动量的波动,有时会传播极远的距离。它们表示的准确性至关重要。Lorenz grid 上的平均化不仅扼杀了棋盘模式,还损害了所有短的垂直波。我们可以证明,插值过程起到了滤波器的作用,将波的振幅乘以一个因子 ,其中 是无量纲的垂直波数。对于最短的波(),,这个因子是 ,这正是我们发现的计算模。对于其他短波,该因子小于一,这会人为地阻尼它们并减慢其传播速度。Charney-Phillips grid 通过避免这种插值,以高得多的保真度表示这些重要波的速度和振幅。
真实世界的模型必须处理复杂的地形。它们通过使用“地形跟随”坐标来实现这一点,这种坐标像毯子一样覆盖在山脉和山谷之上。然而,这种数学变换在至关重要的气压梯度力方程中引入了新的项。在静止的大气中,这些新项必须完美地相互抵消。如果不能抵消,模型就会在数字山脉上产生虚假的、幽灵般的风。实现这种抵消是一门精细的艺术。在 Charney-Phillips grid 上,压力、温度和层厚度之间的紧密、一致的耦合为这种抵消提供了更为稳固的基础,从而在复杂地形上实现更平稳、更准确的模拟。
也许最深刻的联系是与总能量守恒。在真实的绝热大气中,总能量是守恒的。一个运行数十年或数百年的气候模型绝不能虚假地创造或毁灭能量。为实现这一点,离散的能量转换项——动能、势能和内能之间的交换——在代数上必须相互抵消,形成一个在整个大气柱上求和时为零的“伸缩和”。事实证明,实现这种完美抵消取决于我们一直在讨论的相同的结构特性。Charney-Phillips 排列方式,其中热力学量和垂直速度并置在界面上,正是允许在没有插值的情况下计算能量的垂直通量的公式。这使得代数抵消能够精确实现,纯粹凭借其设计保证了模型完美地守恒能量。
在一个网格上将数字放在何处,起初看来似乎是一个微不足道的技术细节。但正如我们所见,事实远非如此。正确的选择,如 Charney-Phillips grid,不仅能驱除数值幽灵,还能带来更好的波物理、在山脉上更好的表现,以及最美妙的是,一个尊重宇宙最基本守恒定律之一的离散系统。这证明了一个事实:在构建世界模型时,设计的优雅往往能带来结果的真实。
我们刚刚探讨的原理远非抽象的数学奇谈。它们代表了现代科学核心中一些最关键、最实用、最具思想美感的挑战。如何在计算网格上布置数字——这一选择包括像 Lorenz grid 这样的排列方式——具有深远的影响,其影响波及气象学、海洋学和气候科学。您手机上的天气预报、我们星球未来气候的预测,以及我们对其他世界大气现象的理解,都部分取决于正确设置网格这门优雅的艺术。
让我们踏上一段旅程,看看这些思想是如何发挥作用的,从我们模型中的一个基本悖论,到模拟整个地球系统的深远影响。
想象一下一个平静日子里的山脉。空气静止,处于完美的静力平衡状态。你会很合理地预期,一个用这种宁静状态初始化的大气计算机模型,会预测出……什么都没有。没有风。然而,多年来,早期的大气模型会做一些令人抓狂的事情:它们会自发地产生在山坡上上下吹拂的狂风。这股幽灵般的力量从何而来?
罪魁祸首在于水平气压梯度力(PGF)的计算。在微分方程的连续世界里,这个力有优美的表达形式。但是,在一个使用地形跟随坐标(其中网格层像毯子一样覆盖在山脉上)的模型中计算它时,PGF 是作为两个非常大的相反项之间的微小差异来计算的。一项涉及沿倾斜网格面的位势梯度,另一项涉及压力梯度。在真实的连续世界中,它们在静止大气中完美抵消。
然而,在离散网格上,事情变得棘手。在Lorenz grid上,热力学变量如温度()和压力()存储在完全相同的点上(网格的“整层”),这两个大项的离散近似值彼此不完全一致。在连续世界中保证它们抵消的微妙代数对称性被打破了。结果是一个微小但持续存在的残差,一种在空气本应静止时推动其移动的“虚假”力。这不是一个简单的错误,而是网格几何结构的一个基本属性。
建模者发明了一种聪明的、部分的修复方法,称为混合 sigma–压力坐标。这些坐标在近地表处跟随地形,但随着高度增加逐渐变平,成为高空中的等压面。这个技巧之所以有效,是因为 PGF 误差在等压面上消失了。它减少了高空的问题,但虚假风的悖论仍然存在于低层大气中,也就是山脉所在的地方。要真正解开这个谜题,我们必须更深入地探究,直面机器中的那个幽灵。
为什么 Lorenz grid 会如此具体地失败?原因既优雅又令人沮丧:该网格允许某些非物理模式,即“计算模”,存在,而这些模式对模型的动力过程是完全不可见的。
想象一个棋盘。如果你的测量设备只能看到任意两个相邻方块的平均颜色,它将总是看到中灰色。棋盘模式本身——交替的黑与白——将是不可见的。Lorenz grid 在垂直方向上也有类似的弱点。因为像位温()这样的热力学量存储在相同的层上,而层与层之间的力取决于它们的平均状态,所以温度中可能出现一种垂直交替的“之字形”或“棋盘”模式,而这种模式被这种平均化完全过滤掉了。
一个形如 的虚假温度廓线(其中 是垂直层指数),在计算垂直速度()的中间层级上不产生浮力。温度可以在一层与下一层之间剧烈振荡,而动力过程却毫无感觉。这种非物理模式就是机器中的幽灵。它是离散物理算子的一个零空间,它的存在污染了气压梯度力的计算,直接导致了我们山脉上的虚假风。
这个原理具有惊人的普遍性。同样的问题也出现在水平维度上。一个将压力和速度点并置的网格(称为 Arakawa A-grid)会受到压力中的水平棋盘模式的影响,该模式不产生风,严重降低了声波和重力波的模拟质量。这揭示了一种美妙的统一性:一个好的数值方案,无论是在垂直还是水平方向,都必须被设计成能够“看到”并正确处理网格所能表示的最高频率模式。
那么,我们如何驱除这个幽灵呢?由 Jule Charney 和 Norman Phillips 等远见卓识者开创的解决方案,是改变我们游戏板的几何形状。我们不把所有变量放在同一个地方,而是将它们交错排列。
在Charney–Phillips (C-P) grid中,这种排列是交错的。温度()、位势()和压力()定义在界面上(“整层”)。相比之下,垂直速度()定义在模型层的中心(“半层”)。
这种排列不仅在物理上更直观,在数学上也更稳健。它直接将浮力与垂直运动耦合,无需任何垂直平均。棋盘状的温度模式不再是幽灵;它现在会产生一个真实的浮力,动力过程可以看到并正确地将其阻尼掉。
最重要的是,这种交错排列允许构建一种静力协调的离散 PGF 计算。通过将离散的静力学定律和离散的 PGF 精心结合起来,可以设计出一种方案,使得两个巨大的相反项在代数上相互抵消。在一个使用 C-P grid 的数值实验中,可以为静止大气构建一个压力场,其中计算出的静力不平衡不仅很小,而且在机器精度范围内为零。山脉上的虚假风最终得以平息。这就是为什么 Charney-Phillips 交错,及其水平方向的对应物 Arakawa C-grid,构成了几乎所有现代高性能天气和气候模型的支柱。
这个关于网格和幽灵的故事可能看起来像一个高度技术性的细节,但其影响是巨大的。网格交错的选择对我们模拟全球气候系统关键组成部分的能力有着直接而深远的影响。
一个典型的例子发现在平流层高处,这是我们头顶上方数十公里的稀薄区域。这里的动力学受到大气重力波的强烈影响——这是一种微妙的空气涟漪,很像池塘表面的波浪,垂直传播。这些波通常由气流经过山脉或雷暴产生,它们向上输送动量并将其沉积在平流层中。这个过程是宏大的行星尺度现象背后的引擎,例如准两年期振荡 (QBO)——一种每两年左右赤道风向的宏伟逆转,以及平流层突然增温 (SSW)——这是极地平流层在短短几天内升温数十度的戏剧性事件。QBO 和 SSW 对我们地表所经历的天气都有详细记录的影响。
为了预测这些现象,模型必须准确模拟重力波的传播方式。波的垂直传播由一个方程控制,该方程对大气稳定度(由布伦特-维萨拉频率的平方 衡量)和背景风切变非常敏感。你现在可能已经猜到,在 Lorenz grid 和 Charney–Phillips grid 上, 的离散计算(涉及温度的垂直导数)是不同的。详细的分析表明,截断误差中这个看似微小的差异会导致计算出的波的垂直波数()不同。这反过来又会改变波的路径、其破碎点以及它如何沉积动量。不准确的网格选择会导致对这些关键的波-平均流相互作用的错误表示,从而损害模型产生可靠的长期预报或准确的气候预测的能力。
教训是明确的:计算网格这个看似深奥的选择并非纯粹的技术问题。它是物理学、数学和计算机科学交叉领域的一个深刻问题。从防止单个山脉上的虚假风,到捕捉编排我们星球气候的波的微妙舞蹈,优雅的网格交错艺术是现代地球科学中一位无名英雄。它有力地提醒我们,在我们模拟自然的探索中,我们选择如何观察与我们正在观察什么同等重要。