４　多変数関数のEL-方程式
f-denshi.com  最終更新日：
サイト検索

３．では一つの’’変関数’’ y(t) についての変分問題について考えましたが，ここでは多変関数(ベクトル値汎関数)の変分問題への拡張を行ないます。

１．ベクトル値汎関数への拡張

[１]　関数を成分とするベクトル，すなわち，

の集合を定義域とする汎関数(＝ベクトル値汎関数)，つまり’’多変関数汎関数’’の変分問題と呼ぶべきものを考えます。成分の数はいくつであっても議論の仕方は同じなので，ここでは３成分，x(t)，y(t)，z(t)　として話を進めます。’’一変関数’’から　’’多変関数’’　への極値問題への拡張は普通の関数において１変数関数から多変数関数に拡張するときに偏微分なる概念を導入するのと同じように行います。
　　まず，３つのの独立した関数の組を並べたベクトルが，

y*(t)＝		x*(t)
		y*(t)
		z*(t)

であるとき，作用積分：

S[ｙ(t)]＝

F[t，y(t)，y’(t)]dt　　←　y(t)がベクトルであることに注意しましょう

に極小値(停留値)を与えるとしましょう。もちろん，被積分関数を，

F[t，y(t)，y’(t)]　⇒　F[t，x(t)，y(t)，z(t)，x’(t)，y’(t)，z’(t)]

と書いても同じです。

[２]　そして，ｙ(t)のある成分，例えば　x(ｔ)　だけを取り出し，残りは，y(t)＝y^*(t)，z(t)＝z^*(t)に固定して，次の汎関数，

について，x(t，ε)　＝x^*(t)＋εη(t) とおいて，一変関数固定端変分問題とみなして，３．[#]と同じ議論を繰り返すと，x(t)に関するオイラー方程式，

Fx−		dFx’	＝0
		dt

が得られます。
　　ベクトル成分，y(t)，を考えるときは x(t)＝x^*(t)，z(t)＝z^*(t) に固定して同様の議論をすれば，y(t) 関するオイラー方程式が得られることもわかります。これは”変関数”がいくつであっても繰り返すことができるのは明白です。すなわち，

ここでの議論において，x(t)，y(t)，z(t) が直交座標系の各成分を意味する必要性は全くありません。どんな座標系のどの成分であろうと，「オイラーの方程式」を満たしているのです。以上のことから，最初に[#]述べた「オイラー・ラグランジュ方程式の形が座標系によらない」という理由が説明されます。

[３]　最後に，関数の極値問題と汎関数の極致問題を比較した表を参考のために示しておきます。

		定義域：X	値域：Y	停留値をとる α∈X	極値条件：　δf，δF　＝0
関数：f		｛x｜実数｝	y(x)：実数	x0	dｙ ＝0，または，y’(x0)＝0 dx x＝x0
汎関数：F		｛y(t)｜C2級関数｝	S[y(t)]：実数	y*(t)	Fy− dFy’ ＝0　　 dt ｙ＝y*

[ 目次へ ]