Heat方程有限元离散化的算子范数

计算科学 线性代数 有限元 pde 有限差分 矩阵
2021-12-17 07:43:33

我正在求解通过 FEM 在空间上离散化并通过反向欧拉在时间上离散化的热方程。我得到系统

Mu˙=Ku+f
在哪里u是表示空间位置解的向量。

对于分段线性基函数,质量矩阵定义为 在此处输入图像描述 刚度矩阵K在此处输入图像描述

通过及时离散化,我得到

uk+1=Auk+Byk
对于一些矩阵B.这里,A=(IΔtM1K)1在哪里Δt是时间步长。

是否可以证明

A2<1
对于足够小?我想要一个无需在 Matlab 中计算的分析解决方案。Δt

我很难分析这个,因为不是对称的,尽管是对称的。否则,我可以使用光谱半径和 2 范数重合的事实。M1KM,K

1个回答

对于稳定性分析,我们可以假设首先我们写 的特征分解(一维有显式表达式),使得 表示特征模态的基础。从那里,您应该能够获得一个分析表达式来控制f=0

M(uk+1uk)=ΔtKuk+1
(MΔtK)uk+1=Muk
(K,M)
wiTKwj=δijλiandwiTMwj=δij
wiT(MΔtK)uk+1=wiTMuk
ukuk+1Δt