Convergence Analysis of Lie and Strang Splitting for Operator-Valued Differential Riccati Equations

IF 3.2 2区 数学 Q1 MATHEMATICS, APPLIED
Eskil Hansen, Tony Stillfjord, Teodor Åberg
{"title":"Convergence Analysis of Lie and Strang Splitting for Operator-Valued Differential Riccati Equations","authors":"Eskil Hansen, Tony Stillfjord, Teodor Åberg","doi":"10.1137/25m1754406","DOIUrl":null,"url":null,"abstract":"SIAM Journal on Numerical Analysis, Volume 64, Issue 3, Page 957-988, June 2026. <br/> Abstract. Differential Riccati equations (DREs) are semilinear matrix- or operator-valued differential equations with quadratic nonlinearities. They arise in many different areas, and are particularly important in optimal control of linear quadratic regulators, where they provide the optimal feedback control laws. In the context of control of partial differential equations, these Riccati equations are operator-valued. To approximate their solutions, both spatial and temporal discretizations are needed. While the former have been well analyzed in the literature, there are very few rigorous convergence analyses of time stepping methods applied to DREs, particularly in the infinite-dimensional, operator-valued setting. In view of this, we analyze two numerical time-stepping schemes, the Lie and Strang splitting methods, in such a setting. The analysis relies on the assumption that the uncontrolled system is parabolic and that either the initial condition is sufficiently smooth, or the nonlinearity in the DRE is sufficiently smoothing. These assumptions are mild, in the sense that they are not enough to even guarantee continuity in the operator norm of the exact solution to the DRE. However, they imply certain regularity in a pointwise sense, which can be leveraged to prove convergence in the operator norm with the classical orders. The results are illustrated by four numerical experiments, where convergence with the expected order is correlated with the relevant assumptions being fulfilled. The experiments also demonstrate that matrix-valued DREs which arise as spatial discretizations of operator-valued DREs behave similarly, unless the discretization is coarse.","PeriodicalId":49527,"journal":{"name":"SIAM Journal on Numerical Analysis","volume":"31 1","pages":""},"PeriodicalIF":3.2000,"publicationDate":"2026-06-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"SIAM Journal on Numerical Analysis","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1137/25m1754406","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q1","JCRName":"MATHEMATICS, APPLIED","Score":null,"Total":0}
引用次数: 0

Abstract

SIAM Journal on Numerical Analysis, Volume 64, Issue 3, Page 957-988, June 2026.
Abstract. Differential Riccati equations (DREs) are semilinear matrix- or operator-valued differential equations with quadratic nonlinearities. They arise in many different areas, and are particularly important in optimal control of linear quadratic regulators, where they provide the optimal feedback control laws. In the context of control of partial differential equations, these Riccati equations are operator-valued. To approximate their solutions, both spatial and temporal discretizations are needed. While the former have been well analyzed in the literature, there are very few rigorous convergence analyses of time stepping methods applied to DREs, particularly in the infinite-dimensional, operator-valued setting. In view of this, we analyze two numerical time-stepping schemes, the Lie and Strang splitting methods, in such a setting. The analysis relies on the assumption that the uncontrolled system is parabolic and that either the initial condition is sufficiently smooth, or the nonlinearity in the DRE is sufficiently smoothing. These assumptions are mild, in the sense that they are not enough to even guarantee continuity in the operator norm of the exact solution to the DRE. However, they imply certain regularity in a pointwise sense, which can be leveraged to prove convergence in the operator norm with the classical orders. The results are illustrated by four numerical experiments, where convergence with the expected order is correlated with the relevant assumptions being fulfilled. The experiments also demonstrate that matrix-valued DREs which arise as spatial discretizations of operator-valued DREs behave similarly, unless the discretization is coarse.
算子值微分Riccati方程Lie和strange分裂的收敛性分析
SIAM数值分析杂志,64卷,第3期,957-988页,2026年6月。摘要。微分Riccati方程(DREs)是具有二次非线性的半线性矩阵值或算子值微分方程。它们出现在许多不同的领域,在线性二次型调节器的最优控制中尤为重要,因为它们提供了最优反馈控制律。在偏微分方程控制的背景下,这些Riccati方程是算子值的。为了逼近它们的解,需要同时进行空间离散和时间离散。虽然前者已经在文献中得到了很好的分析,但很少有时间步进方法应用于DREs的严格收敛分析,特别是在无限维,算子值设置中。考虑到这一点,我们分析了在这种情况下的两种数值时间步进方案:Lie分裂法和Strang分裂法。该分析依赖于不受控制系统是抛物线型的假设,并且初始条件足够光滑,或者DRE中的非线性足够光滑。这些假设是温和的,因为它们甚至不足以保证DRE精确解的算子范数的连续性。然而,它们在点向意义上暗示了一定的正则性,这可以用来证明经典阶算子范数的收敛性。通过四个数值实验说明了结果,其中与期望阶的收敛与相关假设的满足有关。实验还表明,除非离散化是粗糙的,否则作为算子值DREs的空间离散化而产生的矩阵值DREs表现相似。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
CiteScore
4.80
自引率
6.90%
发文量
110
审稿时长
4-8 weeks
期刊介绍: SIAM Journal on Numerical Analysis (SINUM) contains research articles on the development and analysis of numerical methods. Topics include the rigorous study of convergence of algorithms, their accuracy, their stability, and their computational complexity. Also included are results in mathematical analysis that contribute to algorithm analysis, and computational results that demonstrate algorithm behavior and applicability.
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:604180095
Book学术官方微信
小红书