*変分法:汎関数とは [#x18bb5eb]
変分法 Calculus of variations は、汎関数の極値問題の解法である。

Calculus of variations is a field of mathematics that deals with functionals, as opposed to ordinary calculus which deals with functions. Such functionals can for example be formed as integrals involving an unknown function and its derivatives. The interest is in extremal functions – those making the functional attain a maximum or minimum value – or stationary functions – those where the rate of change of the functional is precisely zero.

*汎関数とは [#la1c58b6]
-ある関数y(x) に対して1 つの値F が対応するとき、F はy の汎関数でありF = F[y] と書く。
-y(x) の微小な変化量δy に対するF[y] の変化量F[y + δy] − F[y] をF[y] の変分といいδF と書く。
-y0(x) に近い関数の中でF[y0] が最大(最小) をとるときF[y0] を極大値(極小値) といいδF[y0] = 0 が成り立つ。

-In mathematics, a functional is traditionally a map from a vector space to the field underlying the vector space, which is usually the real numbers. In other words, it is a function that takes a vector as its argument or input and returns a scalar. Its use goes back to the calculus of variations where one searches for a function which minimizes a certain functional. A particularly important application in physics is to search for a state of a system which minimizes the energy functional.

In functional analysis, the functional is also used in a broader sense as a mapping from an arbitrary vector space into the underlying scalar field (usually, real or complex numbers). A special kind of such functionals, linear functionals, gives rise to the study of dual spaces.

*オイラーの方程式 [#kbb11171]
定数a、b に対してF[y(x)] = ∫a-b f(x, y, y')dx という形をしている汎関数を扱います。y'=dy/dx
変分δF は、
 δF = F[y + δy] − F[y]
 =∫ f(x, y + δy, y' + δ(y'))dx − ∫ f(x, y, y')dx
 =∫ [∂f/∂y δy + ∂f/∂yδ(y')]dx
とできて、δ(y') = (y + δy)' − y'= d/dx(y + δy)-d/dx(y)=d/dx(δy)より
 δF =∫ [∂f/∂yδy +∂f/∂y'd/dx(δy)]dx
     =∫ [∂f/∂yδy − δyd/dx∂f/∂y']dx+ ∂f/∂y'δya->b
      =∫ [∂f/∂y −d/dx∂f/∂y']δy dx
2番目の式では部分積分を用いています。a、b は固定されているので両端でのyの変化量δyは0ですので第2項は零。

y の変化量δy は任意に選ぶことができるので、F が極値をとるとき、つまりδF = 0 のとき、最終のδF が零となる条件は
''∂f/∂y −d/dx∂f/∂y'=0   これをオイラーの方程式と呼びます。''
*例題1:2点を結ぶ最短の曲線は、直線である [#ydb1d977]
 L=F(y) =  ∫a-b (1 + y'^2)^1/2 dx
 f=[1 + y'^2]^1/2とおくと、∂f/∂y=0、∂f/∂y'=1/2・(1 + y'^2)^-1/2・2y'より
 d/dx[y'(1 + y'^2)^-1/2]=0
 y''=0 となり、yが直線の場合である。
-Perhaps the simplest example of such a problem is to find the curve of shortest length connecting two points. If there are no constraints, the solution is obviously a straight line between the points. However, if the curve is constrained to lie on a surface in space, then the solution is less obvious, and possibly many solutions may exist. Such solutions are known as geodesics. A related problem is posed by Fermat's principle: light follows the path of shortest optical length connecting two points, where the optical length depends upon the material of the medium. One corresponding concept in mechanics is the principle of least action.

*例題2:懸垂曲線 [#ed8944d8]
カテナリー曲線 カテナリとは、電車線のことをさすが、もともとは、電車線の形づくる曲線(これを懸垂曲線という)を意味している。1m当たりの重量 ωkgw/m の電線を、水平張力Tkgf で張った場合、次式で表わされます。
 E=F(y)=∫a->b gρy ds =∫a->b gρy(1 + y'^2)^1/2dx
の極値を求めればよい。簡単のためgρ = 1 とおくと f=y(1 + y'^2)^1/2とおき、
 ∂f/∂y =(1 + y'^2)^1/2
 ∂f/∂y'=y・y'(1 + y'^2)^1/2
(1 + y'^2)^1/2+d/dx[y・y'(1 + y'^2)^1/2]=0
この形は見通しが悪く, 積分を実行する際に厄介なので、オイラーの公式を書き換える。

*オイラーの方程式の書き換え [#o19297a5]
f(x, y, y')を全微分すると
懸垂線の問題がそうであるように) ラグランジアンがx に陽には依存しないとすると∂f/∂x = 0 であるから
 df/dx=∂f/∂y・y'+ ∂f/∂y'・y''
であり, 左辺は独立変数y'', y' の関数である.
そこで, 次の恒等式を用いて, 一方の独立変数yxx を消去することを考える.
上のふたつの式から 辺ごとに差し引くと
 d/dx[f-y'∂f/∂y']=y'[∂f/∂y - d/dx(∂f/∂y')]=0
が得られる. ここで, 最後の等式はオイラー・ラグランジュ方程式を用いた.

''オイラー方程式の代わりに 下記の式を用いてもよい。''
 f-y'∂f/∂y'=Co Coは定数

*The Beltrami Identity [#pe83321f]
Frequently in physical problems, it turns out that . In that case, the Euler-Lagrange equation can be simplified using the Beltrami identity:
where C is a constant. The left hand side is the Legendre transformation of L with respect to f '.

*懸垂線問題の解 [#tfb98205]
f=y(1 + y'^2)^1/2 を 上の式に適用する。と直ちに
 y(1 + y'^2)^1/2=C
であり, 後は右辺の積分が実行できればよい. そこで, y = c cosh(y') と変数変換すると, dy = c sinh(y') dy'であり,(y^2-c^2) = c sinh(y') であることに注意すると
 x = c ∫dy'= cy'+ c1
 y' = (x − c1)/c= cosh-1(y/c) 
となるので, これをy について解いて
 y = c cosh[(x-c1)/c]
--懸垂線:c = 1, c1 = 0 の場合
*解説 [#v5816b0c]
座標とか極座標) によって形を変えてしまうということがおきません。このようなことを可能にするためにわざわ
ざ物理量でもないラグランジアンL(q; q˙) というのを定義しています。
*参考 [#a975e9d3]

トップ   差分 バックアップ リロード   一覧 単語検索 最終更新   ヘルプ   最終更新のRSS