有限元方法核心知识解析
1. 强形式与弱形式的等价性
在解决问题的过程中,常常会涉及到连续问题(CP)和变分问题(VP)两种不同的表述形式。然而,不能简单地认为变分问题(VP)的任何解都是连续问题(CP)的解,在很多情况下,这种观点是错误的。
两者等价性的概念完全依赖于各自求解的泛函框架。以拉普拉斯 - 狄利克雷问题为例,若连续问题(CP)的解在索伯列夫空间$H^2(\Omega)$中寻找,变分问题(VP)的解则在$H^1(\Omega)$中寻找,且$H^2(\Omega) \subset H^1(\Omega)$。也就是说,连续问题的解可能是变分问题的解,但反之不一定成立。
接下来探讨一个“部分逆命题”:若变分问题(VP)的解$u$具有连续问题(CP)的正则性,即属于$H^2(\Omega)$,它是否就是连续问题(CP)的解呢?
假设$u \in H^2(\Omega)$是变分问题(VP)的解,利用格林公式可得:
[
-\int_{\Omega} \Delta u \cdot v d\Omega + \int_{\partial\Omega} \frac{\partial u}{\partial n} v d\Gamma = \int_{\Omega} f \cdot v d\Omega, \quad \forall v \in H^1_0(\Omega)
]
由于$v \in H^1_0(\Omega)$,上式中边界积分项为零,进而得到:
[
\int_{\Omega} [\Delta u + f] \cdot v d\Omega = 0, \quad \forall v \in H^1_0(\Omega)
超级会员免费看
订阅专栏 解锁全文

3122

被折叠的 条评论
为什么被折叠?



