[论文解读] Dynamical low-rank tensor approximations to high-dimensional parabolic problems: existence and convergence of spatial discretizations

Markus Bachmayr, Henrik Eisenmann+1 more|arXiv (Cornell University)|Jan 1, 2023

Tensor decomposition and applications被引用 1

一句话总结

本文建立了高维抛物型PDE的动态低秩张量近似空间离散化的存在性与收敛性。证明了空间离散化DLRA格式的解在希尔伯特空间中收敛于连续DLRA解，将先前结果扩展至张量列车与分层格式，并对基于流形的时间演化进行了严格分析。

ABSTRACT

We consider dynamical low-rank approximations to parabolic problems on higher-order tensor manifolds in Hilbert spaces. In addition to existence of solutions and their stability with respect to perturbations to the problem data, we show convergence of spatial discretizations. Our framework accommodates various standard low-rank tensor formats for multivariate functions, including tensor train and hierarchical tensors.

研究动机与目标

• 在希尔伯特空间中建立高维抛物问题动态低秩张量近似的存在性与稳定性。
• 解决DLRA中空间离散化收敛性这一长期存在的开放问题。
• 在变分的、基于流形的设定下，将DLRA的理论框架扩展至张量列车与分层张量格式。
• 对空间半离散化下低秩张量解的时间演化提供严格分析。
• 弥合高维PDE背景下离散数值格式与连续DLRA格式之间的差距。

提出的方法

• 将DLRA问题在希尔伯特空间设定下表述为低秩张量流形上的变分时间演化。
• 应用狄拉克-弗伦克尔原理（时间依赖的伽辽金法），其中测试函数被限制在流形的切空间内。
• 采用Gelfand三元组框架，对初始数据属于L²(Ω)、数据属于L²(0,T;H⁻¹(Ω))的抛物型PDE进行弱形式化。
• 在希尔伯特空间中采用变分时间步进格式，证明在最大时间区间上解的存在性与唯一性。
• 通过多线性参数化与光滑曲线表示，分析张量列车流形的切空间结构。
• 建立到切空间的投影算子的利普希茨连续性与有界性，从而支持收敛性分析。

实验结果

研究问题

• RQ1 在希尔伯特空间设定下，高维抛物型PDE的动态低秩张量近似是否存在解？
• RQ2 当网格细化时，空间离散化的DLRA格式是否收敛于连续DLRA解？
• RQ3 能否对张量列车与分层张量等低秩张量格式的空间离散化收敛性进行严格证明？
• RQ4 低秩张量流形的切空间结构如何影响DLRA格式的稳定性和收敛性？
• RQ5 在非光滑数据条件下，何种条件能保证抛物问题中DLRA解的存在性与唯一性？

主要发现

• 本文在希尔伯特空间框架下证明了抛物问题动态低秩张量近似在最大时间区间上的解的存在性与唯一性。
• 建立了空间离散化对连续DLRA解的收敛性，解决了文献中的一个关键开放问题。
• 收敛性在最小正则性假设下成立：初始数据属于L²(Ω)，强迫项属于L²(0,T;H⁻¹(Ω))。
• 通过通用流形框架，该分析适用于多种低秩张量格式，包括张量列车与分层张量。
• 证明了到切空间的投影算子是利普希茨连续的，其常数有界于O(1/σ)，其中σ为核张量的最小奇异值。
• 本文证明了固定秩张量的流形是希尔伯特空间的C¹子流形，从而使得分析中可应用微分几何工具。