我正在阅读 Mats Larson 和 Fredrik Bengzon 所著的《有限元方法:理论、实现和应用》这本书的第 140 页,他们这样说:
“Lax-Milgram 引理是应用数学中最重要的定理之一”
但是,为什么?!...为了回答这个问题,我们回想起常微分方程和偏微分方程的许多边值问题可以用以下抽象变分形式提出:找到使得
其中是范数空间。例如泊松方程的有限元法中的弱公式。
Lax-Milgram 引理为 ( ) 的解的存在性和唯一性提供了充分条件。
然后我想知道,
我考虑过Picard 存在定理,它给出了初始值问题具有唯一解的条件。
我的问题由()给出。谢谢!