物理学において、作用とは、物理系の運動エネルギーと位置エネルギーのバランスが軌道によってどのように変化するかを記述するスカラー量である。作用は、複数の物体に対してより単純な古典力学のアプローチである定常作用の原理への入力であるため重要である。 [ 1 ]作用と変分原理は、ファインマンの量子力学の定式化[ 2 ]および一般相対性理論[ 3 ]で使用されている。プランク定数に近い小さな作用値を持つ系では、量子効果が重要となる。[ 4 ]
単一の粒子が一定の速度で運動する場合(つまり、等速直線運動をする場合)、作用とは、粒子の運動量と移動距離を掛け合わせたものを、その経路に沿って合計したものです。言い換えれば、作用とは、粒子の運動エネルギーと位置エネルギーの差に、そのエネルギー量を持つ期間を掛けたものです。
より厳密には、アクションは、システムの軌跡(経路または履歴とも呼ばれる)を引数として受け取り、実数を結果として持つ数学的関数です。一般に、アクションは経路ごとに異なる値をとります。[ 5 ]アクションの次元はエネルギー×時間または運動量×長さであり、SI単位はジュール秒(プランク定数hと同様)です。[ 6 ]
初等物理学はしばしばニュートンの運動法則、すなわち力と運動の関係から始まるが、作用は実用的かつ教育的な利点を持つ、全く同等の代替アプローチの一部である。[ 1 ]しかし、この概念がニュートン的なアプローチに取って代わるまでには何十年もかかり、学生に紹介するのは依然として困難である。[ 7 ]
地球上の空中を移動するボールの軌跡の場合、作用は、2 つの時点t 1とt 2の間で、運動エネルギー ( KE ) から位置エネルギー ( PE ) を引いたものを時間積分したものとして定義されます。[ 4 ] この動作は運動エネルギーと位置エネルギーのバランスをとる。[ 4 ]
質量mのボールの運動エネルギーは 1 / 2 mv 2で、vはボールの速度です。位置エネルギーはmgxで、 gは重力加速度、x はその高さです。すると、 t 1とt 2の間の作用は次のようになります。 作用値は、x ( t )とv ( t )を通るボールの軌跡に依存します。これにより、作用は古典力学と量子力学の両方で強力な定常作用原理の入力となります。定常作用原理を使用して作用からボールのニュートンの運動方程式を導出できますが、作用に基づく力学の利点は、ニュートンの法則を適用するのが難しい場合にのみ現れ始めます。ボールを電子に置き換えます。古典力学は失敗しますが、定常作用は引き続き機能します。[ 4 ]単純な作用の定義におけるエネルギー差、運動エネルギーマイナス位置エネルギーは、より複雑なケースでは一般化され、ラグランジアンと呼ばれます。
プランク定数はhと表記され、作用の量子(最小量)です。 [ 8 ]これは角運動量ħとħ = h / 2πの関係で結び付けられています。これらの定数はエネルギーと時間の積の単位を持ちます。これらは不確定性原理やド・ブロイ波長など、すべての重要な量子方程式に現れます。作用の値がプランク定数に近づくと、量子効果が顕著になります。[ 4 ]
1740年代に活動していたピエール・ルイ・モーペルテュイとレオンハルト・オイラーは、作用原理の初期バージョンを開発した。ジョセフ・ルイ・ラグランジュは変分法を発明することで数学を明確化した。ウィリアム・ローワン・ハミルトンは1853年にハミルトンの原理を定式化し、次の大きなブレークスルーを達成した。[ 9 ] : 740ハミルトンの原理は、リチャード・ファインマンとジュリアン・シュウィンガーが量子作用原理を開発する まで、さまざまな形式の作用に関する古典的な研究の基礎となった。[ 10 ] : 127
変分法を用いて数学的に表現すると、物理システムの進化(つまり、システムが実際にある状態から別の状態へとどのように変化するか)は、作用の定常点(通常は最小値)に対応します。作用の次元は[エネルギー] × [時間]であり、そのSI単位はジュール秒で、これは角運動量の単位と同じです。
物理学では、「作用」の定義がいくつか一般的に用いられています。[ 11 ] [ 12 ]作用は通常、時間に関する積分です。しかし、作用が場に関するものである場合、空間変数についても積分されることがあります。場合によっては、作用は物理システムがたどる経路に沿って積分されます。
この動作は通常、システムの初期時刻から最終時刻までのシステムの経路に沿って時間積分として表されます。 [ 11 ] ここで、被積分関数Lはラグランジアンと呼ばれる。作用積分が適切に定義されるためには、軌道は時間と空間において有界でなければならない。
最も一般的には、この用語は、時間と(場の場合)空間の関数を入力として受け取り、スカラーを返す関数𝒮に使用されます。[ 13 ] [ 14 ]古典力学では、入力関数は、時間t 1とt 2の間のシステムの進化q ( t )であり、qは一般化座標を表します。アクション𝒮[ q ( t )]は、2 つの時間間の入力進化に対するラグランジアンLの積分として定義されます。 ここで、進化の終点は固定されており、q 1 = q ( t 1 )およびq 2 = q ( t 2 )と定義されます。ハミルトンの原理によれば、真の進化q true ( t )は、作用𝒮[ q ( t )]が定常状態(最小値、最大値、または鞍点) となる進化です。この原理は、ラグランジュ力学における運動方程式につながります。
アクション関数に加えて、簡略アクションと呼ばれる別の関数があります。簡略アクションでは、入力関数は、時間によるパラメータ化に関係なく、物理システムがたどる経路です。例えば、惑星の軌道は楕円であり、一様な重力場における粒子の軌道は放物線です。どちらの場合も、経路は粒子が経路を移動する速度に依存しません。
簡略化された作用𝒮 0 ( Wと表記されることもある) は、一般化された運動量の積分として定義される。 一般化座標q iにおける経路に沿った システムラグランジアンLについて: ここで、q 1とq 2は開始座標と終了座標です。モーペルテュイの原理によれば、システムの真の経路は、簡略化された作用が静止する経路です。
全エネルギーEが保存される場合、ハミルトン・ヤコビ方程式は加法変数分離法で解くことができる。[ 11 ]: 225 ここで、時間に依存しない関数W ( q 1 , q 2 ,…, q N )はハミルトンの特性関数と呼ばれます。この関数の物理的な意味は、その全時間微分をとることによって理解されます。
これは統合して
作用角座標における変数J k は、一般化座標q kの「作用」と呼ばれ、回転運動または振動運動に対応する位相空間内の閉じた経路に沿って単一の一般化運動量を積分することによって定義されます。 [ 15 ] : 454
J kに対応する共役正準変数は、その「角度」w kです。その理由は、作用角座標の項でより詳しく説明されています。積分は単一の変数q kについてのみ行われるため、上記の簡略化された作用積分における積分された内積とは異なります。変数J kは、閉じた経路に沿ってq kを変化させたときのS k ( q k )の変化に等しくなります。いくつかの興味深い物理系では、J k は定数であるか、非常にゆっくりと変化します。そのため、変数J kは摂動計算や断熱不変量の決定によく使用されます。たとえば、惑星や衛星の軌道の計算に使用されます。[ 15 ] : 477
相対論的効果が顕著な場合、固有時間τでパラメータ化された世界線Cを移動する質量mの点粒子の作用は次のようになる。
代わりに、粒子が粒子の座標時間tによってパラメータ化され、座標時間がt 1からt 2 の範囲である場合、アクションは次のようになります。 where the Lagrangian is[16]
where gμν is the metric tensor≈ (−c2,1,1,1).
Physical laws are frequently expressed as differential equations, which describe how physical quantities such as position and momentum change continuously with time, space or a generalization thereof. Given the initial and boundary conditions for the situation, the "solution" to these empirical equations is one or more functions that describe the behavior of the system and are called equations of motion.
Action is a part of an alternative approach to finding such equations of motion. Classical mechanics postulates that the path actually followed by a physical system is that for which the action is minimized, or more generally, is stationary. In other words, the action satisfies a variational principle: the principle of stationary action (see also below). The action is defined by an integral, and the classical equations of motion of a system can be derived by minimizing the value of that integral.
The action principle provides deep insights into physics, and is an important concept in modern theoretical physics. Various action principles and related concepts are summarized below.
In classical mechanics, Maupertuis's principle (named after Pierre Louis Maupertuis) states that the path followed by a physical system is the one of least length (with a suitable interpretation of path and length). Maupertuis's principle uses the abbreviated action between two generalized points on a path.
Hamilton's principle states that the differential equations of motion for any physical system can be re-formulated as an equivalent integral equation. Thus, there are two distinct approaches for formulating dynamical models.
ハミルトンの原理は、単一粒子の古典力学だけでなく、電磁場や重力場などの古典場にも適用されます。ハミルトンの原理は量子力学や量子場理論にも拡張されており、特に量子力学の経路積分定式化ではこの概念が利用されています。そこでは、物理システムがすべての可能な経路を探索し、各経路の確率振幅の位相は経路に対する作用によって決定されます。最終的な確率振幅は、すべての経路をその複素振幅と位相を使用して加算します。[ 17 ]
ハミルトンの主関数S = S ( q , t ; q 0 , t 0 )は、作用汎関数𝒮から、初期時刻t 0と初期終点q 0を固定し、上限時刻tと第二終点qを変化させることによって得られます。ハミルトンの主関数は、古典力学の定式化であるハミルトン・ヤコビ方程式を満たします。シュレーディンガー方程式との類似性から、ハミルトン・ヤコビ方程式は、おそらく量子力学との最も直接的なつながりを提供します。
ラグランジュ力学では、作用積分が小さな摂動の下で定常であるという要件は、変分法を用いて得られる一連の微分方程式(オイラー・ラグランジュ方程式と呼ばれる)と同等である。
作用原理を拡張することで、電磁場や重力場などの場の運動方程式を導出することができる。 定常作用の条件として、マクスウェル方程式を導出することができる。
アインシュタイン方程式は、変分原理によって制約されたアインシュタイン・ヒルベルト作用を利用します。重力場における物体の軌跡(時空内の経路)は、作用原理を用いて求めることができます。自由落下する物体の場合、この軌跡は測地線となります。
物理的状況における対称性の意味は、作用原理と、作用原理から導出されるオイラー・ラグランジュ方程式によって見出すことができる。例として、物理的状況におけるすべての連続対称性には保存則が対応し(そしてその逆も成り立つ)、というノーターの定理がある。この深い関係性を理解するには、作用原理を仮定する必要がある。[ 17 ]
量子力学では、系は作用が定常的な単一の経路をたどるのではなく、系の挙動は許容されるすべての経路とその作用の値に依存します。様々な経路に対応する作用を用いて経路積分を計算し、それによって様々な結果の確率振幅が得られます。
作用原理は古典力学においてはニュートンの法則と同等であるが、より一般化に適しており、現代物理学において重要な役割を果たしている。実際、この原理は物理科学における偉大な一般化の一つである。量子力学、特にリチャード・ファインマンの経路積分定式化において最もよく理解され、そこでは量子振幅の破壊的干渉から生じる。
作用原理はさらに一般化できる。例えば、非局所的な作用が可能であるため、作用は積分である必要はない。非可換幾何学などの特定の特性を考慮すると、構成空間は関数空間である必要すらない。しかし、これらの数学的拡張の物理的基礎は、実験的に確立される必要がある。[ 13 ]