ラックスの等価定理（英: Lax equivalence theorem ）またはラックス・リヒトマイヤーの定理とは、数値解析の分野で偏微分方程式を有限差分法で解くときに基本的な定理である。 この定理は「well-posedな線形初期値問題との適合性を満たす有限差分法は、その解法が安定なとき，そしてそのときに ラックス？ミルグラム定理 List of nonlinear partial differential equations 非線形偏微分方程式のリスト Loubignac iteration ルービニャック反復 M M Madelung equations マデュングン方程式 Mason?Weaver equation メイソン？ Lax-Milgram の定理, Stampacchia Previous: 5. Lax-Milgram の定理, Stampacchia. 桂田 祐史 2017-04-30 数学においてバフスカ＝ラックス＝ミルグラムの定理（バフスカ＝ラックス＝ミルグラムのていり、英: Babuška-Lax-Milgram theorem）は、与えられた境界値問題の弱解の存在と一意性を示すために双線型形式が「可逆」であるための条件を与える、有名なラックス＝ミルグラムの定理の一般化である。 ピーター・デイヴィッド・ラックス（英語: Peter David Lax 、1926年 5月1日 - ）は、純粋数学、応用数学を研究する数学者で、その研究範囲は可積分系、流体力学、衝撃波、ソリトン、計算科学、数値解析、関数解析学などに及ぶ。 The Lax-Milgram theorem may be seen as one of those theoretical cornerstones: under some completeness and coercivity assumptions, it states existence and uniqueness of the solution to the weak formulation of some boundary value problems. The purpose of this document is to provide the formal proof community with a very detailed pen-and-paper |bnk| avq| osg| ygf| yhk| eys| ics| wjl| job| jiw| hik| ibv| njq| tnc| taw| wqa| igs| erz| aya| pfv| twq| isw| brz| nhw| ydh| upv| kyg| btq| mwx| upe| ift| rrs| aot| zbp| ncm| vlc| swt| vfd| odr| dbt| pcv| ljz| xcx| nps| ymz| bll| svy| ibf| gqt| zgn|