论文标题
在球形浅水方程中的动态模式分解的素描方法
Sketching Methods for Dynamic Mode Decomposition in Spherical Shallow Water Equations
论文作者
论文摘要
动态模式分解(DMD)是一种新兴方法,最近吸引了从事非智力减少订单建模的计算科学家。 DMD拥有的主要优势之一是从Koopman近似理论中具有理论根源。确实,DMD可能被视为著名的Koopman操作员的数据驱动实现。但是,DMD的稳定实现会产生计算输入数据矩阵的单数值分解。反过来,这使得该过程对高维系统的计算要求。为了减轻这种负担,我们基于草图方法开发了一个框架,其中矩阵的草图只是另一个矩阵,它明显较小,但仍然足够近似于原始系统。通过在输入矩阵上应用一定属性的随机转换来执行此类素描或嵌入,以产生初始系统的压缩版本。因此,许多昂贵的计算可以在较小的矩阵上进行,从而加速了原始问题的解决方案。我们在地球物理流中使用球形浅水方程作为原型模型进行数值实验。评估了几种草图方法的性能,以捕获数据矩阵的范围和共同范围。与直接在原始输入数据上运行的经典方法相比,提出的基于草图的框架可以加速DMD算法的各个部分。这最终导致了实质性的计算增长,这对于高维系统的数字化至关重要。
Dynamic mode decomposition (DMD) is an emerging methodology that has recently attracted computational scientists working on nonintrusive reduced order modeling. One of the major strengths that DMD possesses is having ground theoretical roots from the Koopman approximation theory. Indeed, DMD may be viewed as the data-driven realization of the famous Koopman operator. Nonetheless, the stable implementation of DMD incurs computing the singular value decomposition of the input data matrix. This, in turn, makes the process computationally demanding for high dimensional systems. In order to alleviate this burden, we develop a framework based on sketching methods, wherein a sketch of a matrix is simply another matrix which is significantly smaller, but still sufficiently approximates the original system. Such sketching or embedding is performed by applying random transformations, with certain properties, on the input matrix to yield a compressed version of the initial system. Hence, many of the expensive computations can be carried out on the smaller matrix, thereby accelerating the solution of the original problem. We conduct numerical experiments conducted using the spherical shallow water equations as a prototypical model in the context of geophysical flows. The performance of several sketching approaches is evaluated for capturing the range and co-range of the data matrix. The proposed sketching-based framework can accelerate various portions of the DMD algorithm, compared to classical methods that operate directly on the raw input data. This eventually leads to substantial computational gains that are vital for digital twinning of high dimensional systems.