拉克斯, 米爾格拉姆定理, 拉克斯, 米爾格拉姆定理是數學泛函分析的定理, 以彼得, 拉克斯和阿瑟, 米爾格拉姆命名, 这定理可用來藉弱形式求解偏微分方程, 因此主要用作有限元法的理論基礎, 目录, 敘述, 證明, 一般情形, 附注, 對稱情形, 應用敘述, 编辑設, displaystyle, mathcal, 是實希爾伯特空間, 其內積記作, displaystyle, langle, cdot, cdot, rangle, 導出範數, displaystyle, cdot, displaystyle, cdo. 拉克斯 米爾格拉姆定理是數學泛函分析的定理 以彼得 拉克斯和阿瑟 米爾格拉姆命名 这定理可用來藉弱形式求解偏微分方程 因此主要用作有限元法的理論基礎 目录 1 敘述 2 證明 2 1 一般情形 2 2 附注 2 3 對稱情形 3 應用敘述 编辑設 H displaystyle mathcal H 是實希爾伯特空間 其內積記作 displaystyle langle cdot cdot rangle 導出範數 displaystyle cdot a displaystyle a cdot cdot 是雙線性型 使得在H H displaystyle mathcal H times mathcal H 上連續 c gt 0 u v H 2 a u v c u v displaystyle exists c gt 0 forall u v in mathcal H 2 a u v leq c u v 在H displaystyle mathcal H 上強制 有稱為H displaystyle mathcal H 橢圓性 a gt 0 u H a u u a u 2 displaystyle exists alpha gt 0 forall u in mathcal H a u u geq alpha u 2 dd L displaystyle L 是H displaystyle mathcal H 上的連續線性型 那麼存在唯一的u H displaystyle u in mathcal H 使得對所有v H displaystyle v in mathcal H 都有a u v L v displaystyle a u v Lv 1 u H v H a u v L v displaystyle 1 quad exists u in mathcal H forall v in mathcal H quad a u v Lv 而且如果a displaystyle a 是對稱的 那麼u displaystyle u 是H displaystyle mathcal H 中唯一的元素 使得以下泛函取最小值J H R displaystyle J mathcal H rightarrow mathbb R J v 1 2 a v v L v displaystyle J v tfrac 1 2 a v v Lv 對所有v H displaystyle v in mathcal H 即 2 u H J u min v H J v displaystyle 2 quad exists u in mathcal H quad J u min v in mathcal H J v 證明 编辑一般情形 编辑 套用里斯表示定理到連續線性型上 可知存在唯一的f H displaystyle f in mathcal H 使得L v f v displaystyle Lv langle f v rangle 對任意v H displaystyle v in mathcal H 成立 對所有u H displaystyle u in mathcal H 映射v a u v displaystyle v mapsto a u v 是H displaystyle mathcal H 上連續線性型 因此同樣可知存在唯一的A u H displaystyle A u in mathcal H 使得a u v A u v displaystyle a u v langle A u v rangle 對任意v H displaystyle v in mathcal H 成立 易知算子A u A u displaystyle A u mapsto A u 是一個H displaystyle mathcal H 上連續線性自同態 由此可把 1 displaystyle 1 表示成如下等價形式 u H A u f displaystyle exists u in mathcal H Au f 要證明此命題 只要證得A displaystyle A 是從H displaystyle mathcal H 到H displaystyle mathcal H 的雙射 首先證明它是單射 再證它是滿射 從a displaystyle a 的強制性 使用柯西 施瓦茨不等式 得到對任何v H displaystyle v in mathcal H a v 2 a v v A v v A v v displaystyle alpha v 2 leq a v v langle Av v rangle leq Av v 從而知對任何v H displaystyle v in mathcal H A v a v displaystyle Av geq alpha v 這證明了A displaystyle A 是單射 要證明滿射 考慮算子A displaystyle A 在H displaystyle mathcal H 內的像Z displaystyle mathcal Z 不等式 表示 如A u n displaystyle Au n 是柯西序列 那麼u n displaystyle u n 是H displaystyle mathcal H 內的柯西序列 由H displaystyle mathcal H 的完備性 u n displaystyle u n 收斂至u H displaystyle u in mathcal H 因A displaystyle A 連續 得出A u n displaystyle Au n 收斂至A u displaystyle Au Z displaystyle mathcal Z 因此為H displaystyle mathcal H 中的閉子空間 由投影定理可知H Z Z displaystyle mathcal H mathcal Z oplus mathcal Z perp 再設元素w Z displaystyle w in mathcal Z perp 從定義有 A w w 0 displaystyle langle Aw w rangle 0 因此 a w 2 a w w A w w 0 displaystyle alpha w 2 leq a w w langle Aw w rangle 0 故得w 0 displaystyle w 0 所以Z displaystyle mathcal Z perp 為 0 displaystyle 0 證得A displaystyle A 是滿射 自同態A displaystyle A 是雙射 故在H displaystyle mathcal H 內存在唯一的u displaystyle u 使得A u f displaystyle Au f 且可以由u A 1 f displaystyle u A 1 f 得出 附注 编辑 不用求出u displaystyle u 有其範數的上界估計 u L a displaystyle u leq frac L alpha 其中 displaystyle cdot 表示對偶空間H displaystyle mathcal H 的範數 對稱情形 编辑 如果雙線性型a displaystyle a 對稱 那麼對所有w H displaystyle w in mathcal H 有 J u w J u a u w L w 1 2 a w w displaystyle J u w J u Big a u w Lw Big frac 1 2 a w w 因u displaystyle u 是命題 1 的唯一解 有 J u w J u 1 2 a w w displaystyle J u w J u frac 1 2 a w w 從a displaystyle a 的強制性有 J u w J u a 2 w 2 displaystyle J u w geq J u frac alpha 2 w 2 取v u w displaystyle v u w 從上式有J u J v displaystyle J u leq J v 對任意v H displaystyle v in mathcal H 成立 因而得到 2 displaystyle 2 的結果 應用 编辑這定理是有限元法的基礎 實際上 若不在H displaystyle mathcal H 內求u displaystyle u 而是在H displaystyle mathcal H 的有限n displaystyle n 維子空間H n displaystyle mathcal H n 內求u n displaystyle u n 那麼 如果a displaystyle a 對稱 以a displaystyle a 為內積 u n displaystyle u n 是u displaystyle u 的投影 給出H n displaystyle mathcal H n 的基 f i displaystyle varphi i 上述問題化為求解線性方程組 A u n b displaystyle underline underline A underline u n underline b 其中A i j a f j f i displaystyle A ij a varphi j varphi i b i L f i displaystyle b i L varphi i 泛函分析中的定理 阿尔泽拉 阿斯科利定理 贝尔纲定理 巴拿赫 阿劳格鲁定理 巴拿赫 马祖尔定理 开映射定理 一致有界性原理 閉圖像定理 哈恩 巴拿赫定理 拉克斯 米尔格拉姆定理 取自 https zh wikipedia org w index php title 拉克斯 米爾格拉姆定理 amp oldid 76501388, 维基百科,wiki,书籍,书籍,图书馆,