|
===================================== 〔語彙分解〕的な部分一致の検索結果は以下の通りです。 ・ 変 : [へん] 1. (adj-na,n) change 2. incident 3. disturbance 4. strange 5. flat (music) 6. odd 7. peculiar 8. suspicious-looking 9. queer 10. eccentric 1 1. funny 1 ・ 分 : [ぶん, ふん] 1. (n,n-suf,pref) (1) part 2. segment 3. share 4. ration 5. (2) rate 6. (3) degree 7. one's lot 8. one's status 9. relation 10. duty 1 1. kind 12. lot 13. (4) in proportion to 14. just as much as 1 ・ 法 : [ほう] 1. (n,n-suf) Act (law: the X Act) ・ 直 : [ひた, ちょく] 【名詞】 1. earnestly 2. immediately 3. exactly ・ 直接 : [ちょくせつ] 1. (adj-na,n-adv) direct 2. immediate 3. personal 4. firsthand ・ 解法 : [かいほう] (n) (key to) solution
数学の一トピックである変分法における直接解法(ちょくせつかいほう、)とは、与えられた汎函数に対する最小点の存在の証明を構築するための一般的な手法である〔Dacorogna, pp. 1–43.〕。1900年頃に、ザレンバとダフィット・ヒルベルトによって導入された。この手法は、函数解析学とトポロジーの手法に依拠するものである。解の存在を証明するために用いられるのと同様に、直接解法は解を所望の精度で計算するために用いられることもある。 == 解法 == 変分法では、ある函数空間 と に対する汎函数 が扱われる。その主な興味は、そのような汎函数の最小点 (minimizer)、すなわち が任意の に対して成り立つような函数 を見つけることである。 函数が最小点であるための必要条件を得る上での標準的な道具は、オイラー=ラグランジュ方程式である。しかし、それらを満たす函数の中から最小点を見つける方法は、前もって最小点の存在が示されていない場合には誤った結論を導くこともある。 汎函数 が最小点を持つためには、下に有界である必要がある。すなわち : が成立する必要がある。この条件は、最小点が存在することを示す上で十分ではないが、最小化列 (minimizing sequence)、すなわち を満たす 内の列 の存在を示す。 直接解法は次の手順で行われる: # に対する最小化列 を取る。 # には、 上の位相 に関して に収束するある部分列が存在することを示す。 # は位相 に関して列的に下半連続であることを示す。 このことが最小点の存在を示すことを確かめる上で、次のような列的に下半連続な函数の特徴付けを行う。 : 函数 が列的に下半連続であるとは、 :: が 内の任意の収束列 に対して成り立つ :ことを言う。 結論は次より成り立つ: : これはすなわち、次を意味する。 : 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「変分法における直接解法」の詳細全文を読む スポンサード リンク
|