翻訳と辞書 Words near each other ・ 変凹君 ・ 変分 ・ 変分メッセージパッシング ・ 変分モンテカルロ法 ・ 変分原理 ・ 変分問題 ・ 変分学 ・ 変分法 ・ 変分法 (解析力学) ・ 変分法における直接法 ・ 変分法における直接解法 ・ 変分法の直接法 ・ 変則 ・ 変則チェス ・ 変則主幹形 ・ 変則主幹形整枝 ・ 変則将棋 ・ 変則衆参同時選挙 ・ 変力(性) ・ 変力作用 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク 変分法における直接解法 ： ウィキペディア日本語版 変分法における直接解法[ちょくせつかいほう] 数学の一トピックである変分法における直接解法（ちょくせつかいほう、）とは、与えられた汎函数に対する最小点の存在の証明を構築するための一般的な手法である〔Dacorogna, pp. 1–43.〕。1900年頃に、ザレンバとダフィット・ヒルベルトによって導入された。この手法は、函数解析学とトポロジーの手法に依拠するものである。解の存在を証明するために用いられるのと同様に、直接解法は解を所望の精度で計算するために用いられることもある。 == 解法 == 変分法では、ある函数空間 $V$ と $\backslash bar\; =\; \backslash mathbb\; \backslash cup\; \backslash$ に対する汎函数 $J\backslash colon\; V\; \backslash to\; \backslash bar$ が扱われる。その主な興味は、そのような汎函数の最小点 (minimizer)、すなわち $J(v)\; \backslash leq\; J(u)$ が任意の に対して成り立つような函数 $v\; \backslash in\; V$ を見つけることである。 函数が最小点であるための必要条件を得る上での標準的な道具は、オイラー＝ラグランジュ方程式である。しかし、それらを満たす函数の中から最小点を見つける方法は、前もって最小点の存在が示されていない場合には誤った結論を導くこともある。 汎函数 $J$ が最小点を持つためには、下に有界である必要がある。すなわち :$\backslash inf\backslash \; >\; -\backslash infty\; \backslash ,$ が成立する必要がある。この条件は、最小点が存在することを示す上で十分ではないが、最小化列 (minimizing sequence)、すなわち $J(u\_n)\; \backslash to\; \backslash inf\backslash$ を満たす $V$ 内の列 $(u\_n)$ の存在を示す。 直接解法は次の手順で行われる： # $J$ に対する最小化列 $(u\_n)$ を取る。 # $(u\_n)$ には、$V$ 上の位相 $\backslash tau$ に関して $u\_0\backslash in\; V$ に収束するある部分列が存在することを示す。 # $J$ は位相 $\backslash tau$ に関して列的に下半連続であることを示す。 このことが最小点の存在を示すことを確かめる上で、次のような列的に下半連続な函数の特徴付けを行う。 : 函数 $J$ が列的に下半連続であるとは、 ::$\backslash liminf\_\; J(u\_n)\; \backslash geq\; J(u\_0)$ が $V$ 内の任意の収束列 $u\_n\; \backslash to\; u\_0$ に対して成り立つ :ことを言う。 結論は次より成り立つ： :$\backslash inf\backslash \; =\; \backslash lim\_\; J(u\_n)\; =\; \backslash lim\_\; J(u\_)\; \backslash geq\; J(u\_0)\; \backslash geq\; \backslash inf\backslash .$ これはすなわち、次を意味する。 :$J(u\_0)\; =\; \backslash inf\backslash .$ 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「変分法における直接解法」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.