作用 (物理学)

物理学における作用は、物理系の動力学的な性質を示すもので、数学的には経路を引数にとる実数値の汎関数として表現される。一般には、異なる経路に対する作用は異なる値を持つParker。古典力学においては、作用の停留点における経路が実現される。この法則を最小作用の原理と呼ぶ。

作用は、エネルギーと時間の積の次元を持つ。従って、国際単位系  では、作用の単位はジュール秒  となる。作用の次元を持つ物理定数としてプランク定数がある。そのため、プランク定数は作用の物理的に普遍な単位としてしばしば用いられる。なお、作用と同じ次元の物理量として角運動量がある。

物理学において「作用」という言葉は様々な意味で用いられる。たとえば作用・反作用の法則や近接作用論・遠隔作用論の中で論じられる「作用」とは物体に及ぼされる力を指す。本項では力の意味での作用ではなく、解析力学におけるラグランジアンの積分としての作用についてを述べる。

1. 概要
-----

物理法則は微分方程式として表されることが多い。時間に関する微分方程式は、位置や運動量といった時間に対して連続な物理量がどのように変化するかを記述する。それぞれの状況に対応して、微分方程式に初期条件を含む境界条件が与えられ、与えられた境界条件から得られる微分方程式の解は、それぞれの状況に対する系の振る舞いを決定する。微分方程式の解は、境界条件によって定められる時間領域および空間領域のすべての点に対して、粒子の位置や運動量を決定する関数として得られる。

運動方程式を見つけるための異なるアプローチがある。古典力学では、系が実際に辿る経路はその経路の作用が停留値をとるものに限ると仮定される。つまり、古典力学において作用は最小作用の原理を満たす。最小作用の原理は変分原理の一種であり、作用の第一変分が 0 となる経路として古典的経路を定める。作用は積分の形で定義され、これを作用積分と呼ぶ。系の古典的運動方程式は、作用積分を最小化する必要条件として、作用積分の境界条件を除いた形で得られる。

この単純な原理は、物理へ深い洞察をもたらす現代理論物理学での重要な概念である。

微分方程式による表現と変分原理による表現の二つのアプローチが互いに等価であることは、ハミルトンの原理から導かれる。ハミルトンの原理は任意の系の運動方程式である微分方程式は等価な積分方程式として再定式化することができることを言っている。これは、単に単一粒子の運動に留まらず、電磁場や重力場のような古典場の理論にも適用できる。ハミルトンの原理はまた、量子力学や場の量子論への拡張、特に経路積分の定式化に用いられる。量子系の可能なすべての経路に対して、それぞれの経路の確率振幅がその経路の作用積分によって決定される。

2. 歴史
-----

作用は概念の発達とともに様々な方法で定義された。

ゴットフリート・ライプニッツ、ヨハン・ベルヌーイ、ピエール・ルイ・モーペルテュイらは、光の作用を光の速度やその逆数の経路の長さに沿った積分として定義した。
レオンハルト・オイラー物質の粒子の作用を、粒子が辿る空間上の経路にそった粒子の速度の積分として定義した。
モーペルテュイは互いに矛盾するいくつかのアド・ホックな作用の定義を用いた。モーペルテュイは自身の論文の中で、作用をポテンシャルエネルギーとして定義したり、仮想的な運動エネルギーとして定義したり、またはそれらの組み合わせとして定義している。これらの異なる作用の定義は、粒子の衝突に関して運動量保存則を保証するように導入されている。

3. 数学的定義
--------

系が辿る実際の時間発展の経路は、作用の停留点に対応する。作用の停留点は作用積分に対する変分により与えられる。

作用には異なるいくつかの定義があり、それらは物理学で一般的に使われている。Hand よく使われる作用の定義は、ラグランジアンの時間積分として与えられる。しかし、場の作用に対しては、ラグランジアンではなくラグランジアン密度に対する積分として定義され、空間と時間の両方の積分として定義される。いくつかの特別な場合において、作用は時間をパラメターとした系の辿る経路に沿った積分に置き換えられる。例えば粒子系の時間発展に関して、作用積分はそれぞれの粒子が辿る経路に束縛されるため、作用積分は時間をパラメターとする粒子の軌跡の積分となる。

典型的な作用は、初期時刻 //t//i}} と終端時刻 //t//f}} の間で系が辿る経路に沿った時間積分として表現されるものである。

右辺の被積分関数 L}} はラグランジアンと呼ばれる。作用積分が well-defined であるためには、ラグランジアンに与えられる軌跡は時間と空間の両方について有界である必要がある。

3.1. 作用汎関数
----------

最も一般的には、時間と空間の関数に対するスカラー値の汎関数 を作用と呼ぶ。Penrose

古典力学において、作用汎関数に与えられる関数は初期時刻 //t//i}} と終端時刻 //t//f}} の間の系の経路 //}} である。ここで //}} は一般化座標である。作用 は初期時刻 //t//i}} と終端時刻 //t//f}} の間のラグランジアン L}} の時間積分

として定義される。

また上記の定義に加え補助的な境界条件として、初期時刻および終端時刻における系の一般化座標 //}} はそれぞれ // =}} //i, // =}} //f}} と固定される。最小作用の原理に従えば、実現される経路 //true}} は作用 の停留点である。上記の作用に対する最小作用の原理は、ラグランジュ力学における運動方程式、すなわちオイラー＝ラグランジュ方程式を与える。

3.2. 簡約された作用
------------

簡約された作用ランダウは、一般に と表される汎関数である。簡約された作用は、ラグランジアンが時間に陽に依存しない作用に対して、作用の時間に関する項を除いたものとして定義される。

例えば、惑星の軌道は楕円であり、一様な重力場の中の物体の経路は放物線である。どちらの場合も、経路の形は物体が通過する速さには依存しない。簡約された作用 は、一般化座標系の中の経路に沿った一般化運動量の積分として定義される。

モーペルテュイの原理に従うと、実現される経路は、簡約された作用 が停留となる経路である。

3.3. ハミルトンの主関数
--------------

ハミルトンの主関数はハミルトン・ヤコビ方程式により定義される。ハミルトン・ヤコビ方程式は古典力学の別の定式化となっている。通常、ハミルトンの主関数は S}} と表される。この記法は、ハミルトンの主関数 S}} と作用汎関数 を同一視できることによる。作用汎関数 の積分の初期時刻 //t//i}} と経路の始点 //i}}、および終端時刻 //t//f}} と経路の終点 //f}} を変数と見なせば、ハミルトンの主関数はそれらを独立変数とする関数となる。言い換えれば、ハミルトンの主関数 S}} はラグランジアンの時間に関する不定積分である。

3.4. ハミルトンの特性関数
---------------

全エネルギー E}} が保存される場合、ハミルトン・ヤコビ方程式は、一般化座標の関数と時間の関数の和の形に変数分離することができる。

時間に依存しない関数 //W//}} をハミルトンの特性関数と呼ぶ。

特性関数の物理的重要性は、時間に関する全微分から明らかにされる。

特性関数の全微分を改めて積分すると

となり、特性関数が定数を除き簡約された作用に一致することが分かる。

3.5. ハミルトン・ヤコビ方程式の他の解
---------------------

エネルギー保存則が成り立つ系について時間の関数を分離できたように、特別な場合にはハミルトン・ヤコビ方程式の解は変数分離形となる。ある独立変数についてハミルトンの主関数が変数分離できた場合、その変数分離された項 //Sk//}} もまた「作用」と呼ばれることがある。

3.6. 一般化座標の作用
-------------

作用・角変数座標系の正準変数 Jk}} は、一般化運動量の相空間の閉経路上の積分を積分として定義される。

正準変数 Jk}} は回転や振動の運動に対応している。

変数 Jk}} を一般化座標 qk}} の作用変数  と呼び、正準変数 Jk}} の共役 wk}} をその作用変数に対する角変数  と呼ぶ。作用変数を決定する積分に含まれるのは一般化座標の一成分 qk}} だけであり、簡約された作用の中の被積分関数のドット積とは異なる。作用変数 Jk}} は、qk}} が閉経路の上を動く場合の //Sk//}} の変化量に等しい。大抵の系において、Jk}} は一定ないし変化が非常に緩やかであるため、作用変数 Jk}} は摂動計算や断熱不変量の決定によく用いられる。

3.7. ハミルトンフローの作用
----------------

自然1-形式を参照。

4. 作用積分のオイラー・ラグランジュ方程式}}作用積分のオイラー＝ラグランジュ方程式
-------------------------------------------

作用汎関数の節でも触れたが、一般化座標の時間発展の小さな摂動の下で作用積分が停留点を持つという要請は、変分法を用いて与えられる一連の微分方程式と同値である。このことを一般化座標が一変数 x}} の場合を例に取って説明する。多変数への拡張は一変数での議論をそのまま適用すればよい。Parker

ハミルトンの原理を受け入れるならば、作用積分の被積分関数であるラグランジアン L}} は、座標 //x//}} とその時間微分 sfrac にのみ依存するか、あるいは問題によって、それらに加えて時刻 t}} に陽に依存する。このラグランジアンに対する作用積分は次のように書き表わすことができる。

ここで、運動の初期時刻 //t//i}} と終端時刻 //t//f}}、および初期位置 1=//x//i = //x//}} と終端位置 1=//x//f = //x//}} はあらかじめ固定しておく。

//x//true}} を求める真の時間発展とし、その摂動バージョンを //x//per}} とする。ただし摂動バージョンの端点は真の時間発展に一致するものとし、1=//x//per = //x//i}} かつ 1=//x//per = //x//f}} なるものを選ぶ。同時刻における2つの時間発展の差

はすべての時刻において充分小さいものとする。摂動に関する仮定から、時間発展の両端においてこの差分は正確に 0}} に等しい。

作用積分の変分

について、作用の差はラグランジアンの差の積分に置き換えられる。

摂動された時間発展 //x//per}} を真の時間発展と摂動項の和 //x//true + //ε//}} に置き換えれば、摂動項は無限小量と見なせることを仮定しているため、ラグランジアンを摂動項に関する一次展開に書き直すことができる。したがって作用積分の変分は

と計算できる。最後の項を部分積分し、境界条件 1=//ε// = //ε// = 0}} を適用すれば、次の等式が得られる：

作用 が停留点を持つという要請は、真の時間発展の周りのすべての可能な摂動はその一次変化がゼロである、という要請を暗に含んでいる。

この停留作用の原理は、ラグランジアンが以下のオイラー＝ラグランジュ方程式を満たす場合にのみ成り立つ。

作用の変分に関する議論は汎関数微分によって表現することもできる。オイラー＝ラグランジュ方程式が成立するなら、作用積分の汎関数微分が恒等的にゼロである：

オイラー＝ラグランジュ方程式に現れる量 sfrac は、座標 x}} の共役運動量  と呼ばれる。オイラー＝ラグランジュ方程式に関する重要な結果として、ラグランジアン L}} が陽に座標 x}} を含まない場合、すなわち

が成り立つ場合、対応する共役運動量は時間によらず一定である。

この場合の x}} は巡回的  な座標と呼ばれ、その共役運動量は保存される。

4.1. 極座標での自由粒子
--------------

簡単な問題を例にとり、オイラー＝ラグランジュ方程式を通じて作用原理を用いることの利点を示す。ユークリッド空間上の直線を自由粒子が運動をしているとする。この運動をオイラー＝ラグランジュ方程式を用いて極座標の形式に書き直すことを考えよう。ポテンシャルがない場合、ラグラジアンは単純に運動エネルギーに等しく、直交座標 }} では、

となる。ドットは曲線の媒介変数に関する微分を表す。

一方で極座標 }} によってラグランジアンを書き直せば

となる。各成分 r}} と φ}} に関するオイラー＝ラグランジュ方程式は、それぞれ、

となる。

これらの 2つの方程式の解は、初期条件として決まる定数 //a//, //b//, //c//, //d//}} に対し、

により与えられる。この解は等速直線運動を表わしており、自由粒子が実際に等速直線運動することと整合する。

5. 作用原理
-------

5.1. 古典場
--------

粒子の運動方程式に対する作用原理を拡張して、電磁場や重力場のような、場の運動方程式を与える作用原理を考えることができる。

アインシュタイン方程式はアインシュタイン・ヒルベルトの作用に変分原理を適用することで得られる。

重力場中の物体の世界線は、作用原理によって決定できる。自由落下する物体の世界線は測地線である。

5.2. 保存則
--------

ある物理的な対称性の意味を、作用原理と作用原理から導かれるオイラー＝ラグランジュ方程式の中に見出すことができる。ネーターの定理はその一つの例であり、物理系の連続対称性にはそれと一対一に対応する保存則があることを示す。この対称性と保存則の対応関係は、作用原理を前提としている。

5.3. 量子力学と場の量子論
---------------

量子力学では、系は作用の停留点にある経路のみに従うのではなく、全ての可能な経路に対する作用がその系の振る舞いに寄与する。個々の経路の作用は経路積分中に現れ、その経路に対する確率振幅を与える。

作用原理は、古典力学におけるニュートンの法則と等価であるにもかかわらず、理論の一般化に適しており、現代物理学においても重要な役割を果たしている。

マクスウェル方程式も停留作用の条件として導出することができる。

5.4. 単一の相対論的粒子
--------------

相対論効果が重要なとき、固有時間によりパラメトライズされる世界線を動く質量が m}} の点粒子の作用は、

で表される。

替わって、粒子の座標時刻 t}} によりパラメトライズされていて、座標時刻が //t//1}} から //t//2}} の幅を持っていると、作用は、

となる。ここにラグランジアンは、

である。

5.5. 一般化
--------

作用原理はさらに一般化することができる。例えば、作用は非局所ラグランジアンを考慮すれば積分である必要はない。配位空間は、非可換幾何のような決まった特徴を持った関数空間である必要もない。しかし、これらの数学的な拡張に対して、実験に基づく物理的基礎は未だ確立されていないPenrose。

6. 参照項目
-------

変分
汎関数微分
ハミルトン力学
ラグランジアン
ラグランジュ力学
ネーターの定理
経路積分
プランク定数
最小作用の原理
量子力学
エントロピー

7. 注釈
-----

8. 出典
-----

9. 関連書籍
-------

注釈付きの文献リストは、エドウィン・テイラーの [1] や、以下のリストを参照。

title=Classical Mechanics
first=Cornelius . この分野でしばしば引用される教科書。
first1=L. D.. 最小作用の原理から始まる教科書。
Gerald Jay Sussman and Jack Wisdom, [2] . Begins with the principle of least action, uses modern mathematical notation, and checks the clarity and consistency of procedures by programming them in computer language.
Dare A. Wells, Lagrangian Dynamics, Schaum's Outline Series  ISBN 0-07-069258-0, A 350 page comprehensive "outline" of the subject.
Robert Weinstock, Calculus of Variations, with Applications to Physics and Engineering . ISBN 0-486-63069-2. An oldie but goodie, with the formalism carefully defined before use in physics and engineering.
Wolfgang Yourgrau and Stanley Mandelstam, Variational Principles in Dynamics and Quantum Theory . A nice treatment that does not avoid the philosophical implications of the theory and lauds the Feynman treatment of quantum mechanics that reduces to the principle of least action in the limit of large mass.
Edwin F. Taylor's page [3]
[4] Excellent interactive explanation/webpage