|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ ラム ： [らむ] 【名詞】 1. (1) lamb 2. (2) rump 3. (3) rum 4. (4) RAM (random access memory) 5. (P), (n) (1) lamb/(2) rump/(3) rum/(4) RAM (random access memory) ・ 定理 ： [ていり] 【名詞】 1. theorem 2. proposition ・ 理 ： [り] 【名詞】 1. reason
数学においてバフスカ＝ラックス＝ミルグラムの定理（バフスカ＝ラックス＝ミルグラムのていり、）は、与えられた境界値問題の弱解の存在と一意性を示すために双線型形式が「可逆」であるための条件を与える、有名なラックス＝ミルグラムの定理の一般化である。数学者の、ピーター・ラックスおよびの名にちなむ。 == 背景 == 近代の、偏微分方程式の研究のための函数解析的手法においては、与えられた偏微分方程式を直接的に解くのではなく、可能な解のベクトル空間、例えばソボレフ空間 ''W''''k'',''p'' の構造を利用することがある。抽象的に、''U'' と ''V'' を二つの実ノルム線型空間とし、''U''∗ と ''V''∗ をそれらそれぞれの連続双対空間とする。多くの応用において、''U'' は可能な解の空間である。与えられたある偏微分作用素 Λ : ''U'' → ''V''∗ と特別な元 ''f'' ∈ ''V''∗ に対して、次を満たす ''u'' ∈ ''U'' を見つけることが目的である： : しかし弱形式においては、この方程式は ''V'' の他のすべての可能な元について「テスト」されたときに成立することのみが求められる。この「テスト」は、微分作用素 Λ を書き直した双線型函数 ''B'' : ''U'' × ''V'' → R に対して達成されればよい。すなわち、この問題の弱解は、次の関係式を満たす ''u'' ∈ ''U'' である： : 1954年のラックスとミルグラムの業績では、この弱形式が、特定のデータ ''f'' ∈ ''V''∗ に連続的に依存する唯一つの解を持つための十分条件を明らかにされた。それは ''U'' = ''V'' がヒルベルト空間であり、''B'' が連続で、強圧的であること、すなわち : がある定数 ''c'' > 0 とすべての ''u'' ∈ ''U'' に対して成立することである。 例えば、有界開領域 Ω ⊂ R''n'' 上のポアソン方程式 : を解く際、空間 ''U'' はソボレフ空間 ''H''01(Ω) とすればよい。その双対は ''H''−1(Ω) となる。前者は''L''''p'' 空間 ''V'' = ''L''2(Ω) の部分空間である。−Δ に関連する双線型形式 ''B'' は、導函数の ''L''2(Ω) 内積 : である。したがって、与えられた ''f'' ∈ ''L''2(Ω) に対するポアソン方程式の弱形式の問題は、次を満たす ''u''''f'' を見つけることである。 : 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「バフスカ＝ラックス＝ミルグラムの定理」の詳細全文を読む スポンサード リンク
|