
物理学において、運動方程式とは、物理システムの挙動を時間の関数としての運動の観点から記述する方程式である。 [ 1 ]より具体的には、運動方程式は、動的変数の観点からの一連の数学関数として物理システムの挙動を記述する。これらの変数は通常、空間座標と時間であるが、運動量成分を含む場合もある。最も一般的な選択肢は、物理システムに特徴的な任意の便利な変数である一般化座標である。 [ 2 ]関数は、古典力学ではユークリッド空間で定義されるが、相対性理論では曲がった空間に置き換えられる。システムのダイナミクスが既知であれば、方程式は、ダイナミクスの運動を記述する微分方程式の解である。
運動には、動力学と運動学という2つの主要な記述方法があります。動力学は、粒子の運動量、力、エネルギーを考慮に入れるため、より一般的な概念です。この場合、動力学という用語は、システムが満たす微分方程式(例えば、ニュートンの第二法則やオイラー・ラグランジュ方程式)を指す場合もあれば、それらの方程式の解を指す場合もあります。
しかし、運動学はより単純です。運動学は、物体の位置と時間から導かれる変数のみを扱います。一定の加速度の状況では、これらのより単純な運動方程式は通常、SUVAT方程式と呼ばれ、変位( s )、初速度( u )、終速度( v )、加速度( a )、および時間( t )という運動学的量の定義から生じます。
運動の微分方程式(通常は何らかの物理法則(例えば、F = ma)として表される)と物理量の定義を用いて、運動学の問題を解くための方程式を立てます。微分方程式を解くと、任意の定数を含む一般解が得られます。この任意性は、解の集合に対応します。特定の解は、定数の値を固定する初期値を設定することによって得られます。
正式に述べると、一般に、運動方程式Mは、物体の位置 r、その速度( rの1階時間微分、v = d r / dt )、その加速度 ( rの2 階微分、a = d 2 r / dt 2 )、および時間tの関数です。3Dのユークリッドベクトルは、全体を通して太字で示されています。これは、 rの運動方程式がrの2 階常微分方程式(ODE)であると言うことと同等です。
ここでtは時間であり、各ドットは時間微分を表します。初期条件はt = 0における定数値で与えられます。
指定された初期値を持つ運動方程式の解r ( t )は、 t = 0以降のすべての時刻tにおけるシステムを記述します。物体の運動量pなどの他の動的変数、またはrとpから導出される角運動量などの量は、運動方程式から解くべき量としてrの代わりに使用できますが、時刻tにおける物体の位置は、これまでで最も求められている量です。
方程式が線形である場合、厳密に解ける可能性が高くなります。一般的には、方程式は非線形であり、厳密に解くことはできないため、さまざまな近似法を用いる必要があります。非線形方程式の解は、システムが初期条件にどれだけ敏感かによって、カオス的な挙動を示す場合があります。
運動学、動力学、そして宇宙の数学的モデルは、多くの思想家のおかげで3000年以上にわたって徐々に発展してきたが、その一部しか名前が知られていない。古代において、司祭、占星術師、天文学者は日食や月食、太陽の至点や分点、月の周期を予測していた。しかし、彼らを導いていたのは一連のアルゴリズムだけだった。運動方程式が書き記されるのは、さらに1000年後のことだった。
13世紀の中世の学者たち、例えば比較的新しいオックスフォード大学やパリ大学の学者たち――は、古代の数学者(ユークリッドやアルキメデス)や哲学者(アリストテレス)の業績を参考に、現在物理学と呼ばれる新しい知識体系を発展させた。
オックスフォード大学のマートン・カレッジには、主に物理学、天文学、数学といった自然科学に専念する学者たちが集まっており、彼らはパリ大学の知識人たちと同等の地位にあった。トーマス・ブラッドワーディンは、距離や速度といったアリストテレス的な量を拡張し、それらに強度と広がりを与えた。ブラッドワーディンは、力、抵抗、距離、速度、時間を含む指数法則を提唱した。ニコラ・オレームは、ブラッドワーディンの議論をさらに発展させた。マートン学派は、等加速度運動をしている物体の運動量は、加速運動の中間地点で到達する速度での等加速度運動の運動量に等しいことを証明した。
ガリレオ以前の運動学の著述家にとって、短い時間間隔を測定することができなかったため、時間と運動の関係は不明瞭でした。彼らは時間を距離の関数として用い、自由落下においては、高度が高くなるにつれて速度が大きくなると考えていました。スペインの神学者ドミンゴ・デ・ソトだけが、1545年に出版されたアリストテレスの『自然学』の注釈書の中で、「等速運動」(等加速度運動)を時間に対して比例するものと定義した後(速度という言葉は使われていませんでした)、この種の運動は自由落下する物体や投射物と同一であると正しく述べました。ただし、彼はこれらの命題を証明したり、時間、速度、距離の関係を示す公式を提案したりはしていません。デ・ソトの記述は、加速度の定義(加速度は運動(速度)の時間変化率)と、上昇中は加速度が負になるという観察に関して、驚くほど正確です。
このような議論はヨーロッパ中に広がり、ガリレオ・ガリレイらの研究を形作り、運動学の基礎を築くのに役立った。[ 3 ]ガリレオは、現在では運動学の方程式の1つの特殊なケースとして知られるマートンの法則を用いて、幾何学的に方程式s = 1/2 gt 2を導き出した。 [ 4 ]
ガリレオは、投射物の軌道が放物線であることを示した最初の人物でした。ガリレオは遠心力を理解しており、運動量の正しい定義を与えました。運動量を力学における基本量として強調したことは、極めて重要です。彼は運動量を速度と重量の積で測定しました。質量は、後にホイヘンスとニュートンによって発展した概念です。ガリレオは『論考』[ 5 ]の中で、単振り子の揺れについて、 「弧に沿って下降する際に得られるすべての運動量は、同じ運動物体が同じ弧を上昇する際に生じる運動量に等しい」と述べています。投射物に関する彼の分析は、ガリレオが運動の第一法則と第二法則を理解していたことを示しています。彼は、地球の重力の影響を受けない物体にこれらの法則を一般化して適用することはしませんでした。その段階はニュートンの貢献でした。
「慣性」という用語は、静止している物体に適用したケプラーによって用いられた。(運動の第一法則は現在では慣性の法則と呼ばれることが多い。)
ガリレオは、アリストテレスのいくつかの誤りを訂正したものの、運動の第三法則である作用反作用の法則を完全に理解していたわけではなかった。ガリレオはステヴィンらとともに静力学についても著作を残している。彼は力の平行四辺形の原理を定式化したが、その適用範囲を完全に認識していなかった。
ガリレオは振り子の法則にも興味を持ち、若い頃に初めてその現象を観察した。1583年、ピサ大聖堂で祈りを捧げていたガリレオは、点灯したまま揺らめいている大きなランプの動きに目を奪われた。彼は自分の脈拍を基準に時間を計っていたのだが、ランプの動きが大きく弱まった後でも周期は変わらないように見えた。こうして彼は振り子の等時性を発見したのである。
彼が後に実施したより綿密な実験(彼の著書『論考』に記述されている)により、振動周期は長さの平方根に比例するが、振り子の質量には依存しないことが明らかになった。
こうして、ルネ・デカルト、アイザック・ニュートン、ゴットフリート・ライプニッツなどが登場し、現代の運動方程式として認識され始める、発展した運動方程式の形が確立されるに至った。
その後、運動方程式は電気力学にも現れ、電場と磁場における荷電粒子の運動を記述する際に、ローレンツ力は電場と磁場の意味を定義する一般的な方程式として用いられました。特殊相対性理論と一般相対性理論の出現により、時空に対する理論的な修正によって、古典的な運動方程式も光の有限速度と時空の曲率を考慮するように修正されました。これらのすべての場合において、微分方程式は、力やエネルギー変換の影響を受ける空間座標と時間座標で粒子の軌跡を記述する関数で表されました。[ 6 ]
しかし、量子力学の方程式は、粒子の空間座標と時間座標を用いて量子状態がどのように振る舞うかを記述する波動関数の微分方程式であるため、「運動方程式」とみなすこともできます。物理学の他の分野にも、波、流体、場などとみなせる物理現象の集合体に対応する運動方程式の類似例が存在します。

瞬間位置r = r ( t )から、瞬間とは時刻tの瞬間値におけることを意味するが、瞬間速度v = v ( t )および加速度a = a ( t )は、座標に依存しない一般的な定義を持つ。[ 7 ]
速度は常に運動の方向を指していることに注意してください。つまり、曲線経路の場合、速度は接線ベクトルになります。大まかに言うと、1階微分は曲線の接線に関係しています。一定速度での運動の場合、加速度は経路の曲率中心に向かいます。これも大まかに言うと、2階微分は曲率に関係しています。
回転に関する類似のものは、「角ベクトル」(粒子が何らかの軸を中心に回転する角度)θ = θ ( t )、角速度ω = ω ( t )、および角加速度α = α ( t )です。
ここで、n̂は回転軸の方向の単位ベクトルであり、 θは物体が軸を中心に回転する角度である。
角速度ωで何らかの軸の周りを公転する点状粒子については、次の関係が成り立つ。 [ 8 ]
ここで、rは粒子の位置ベクトル(回転軸からの半径方向)、v は粒子の接線速度です。回転する連続体剛体の場合、これらの関係は剛体内の各点で成り立ちます。
直線上を一定または等加速度で運動する粒子の運動方程式は単純です。加速度が一定であるため、物体の位置の2階微分も一定になります。この場合の結果を以下にまとめます。
これらの方程式は、一定の加速度で直線上を 3 次元で直線的に運動する粒子に適用されます。[ 9 ]位置、速度、加速度は共線(平行で、同じ線上にある)であるため、これらのベクトルの大きさだけが必要であり、運動が直線に沿っているため、問題は実質的に 3 次元から 1 次元に縮小されます。
どこ:
式[1]と[2]は、初期条件r ( t0 )= r0およびv ( t0 )= v0の下での速度と加速度の定義[ 9 ]を積分することによって得られる。
大きさにおいて、
式[3]には平均速度 v + v 0 / 2 が含まれています。直感的には、速度は直線的に増加するため、平均速度に時間を掛けたものは、速度がv 0からvまで増加する間に移動した距離になります。これは、速度を時間に対して直線グラフとしてプロットすることで視覚的に示せます。代数的には、[1]を解くことで次の式が得られます。
[2]に代入すると
そして簡略化して
または大きさで
[3]より、
[1]のtを代入すると:
[3]より、
[2]に代入すると:
通常は最初の4つだけで十分で、5つ目は任意です。
ここで、 aは一定の加速度、または重力の影響下で運動する物体の場合は標準重力加速度gを使用します。各方程式には 5 つの変数のうち 4 つが含まれているため、この状況では 5 つの変数のうち 3 つが分かれば残りの 2 つを計算できます。
IGCSE PhysicsやIB DP Physicsプログラム(国際的なプログラムだが、特に英国とヨーロッパで人気が高い)などの一部のプログラムでは、同じ公式が異なる変数セットで記述されます。そこでは、 v 0がuに、r - r 0が sに置き換えられます。これらはしばしばSUVAT方程式と呼ばれ、「SUVAT」は変数s = 変位、u = 初速度、v = 終速度、a = 加速度、t = 時間 の頭文字をとったものです。[ 10 ] [ 11 ]これらの変数では、運動方程式は次のように記述されます。

初期位置、初期速度、および加速度ベクトルは共線である必要はなく、運動方程式はほぼ同じ形式になります。唯一の違いは、速度の二乗の大きさには内積が必要であることです。導出は基本的に共線の場合と同じです。
運動学における基本的でよくある例としては、例えば上方に投げ上げられたボールのような投射物があります。初速度uが与えられれば、ボールが落下し始める前にどれだけ高く飛ぶかを計算できます。加速度は重力の局所的な加速度gです。これらの量はスカラーのように見えますが、変位、速度、加速度の方向が重要です。実際には、これらは一方向のベクトルと考えることができます。地面から上を測る基準をsとすると、重力は下向きに作用するため、ボールにかかる加速度も下向きになるため、加速度a は実際には−gでなければなりません。
最高点ではボールは静止しているので、v = 0 となります。上記の式[4]を用いると、次のようになります。
代入してマイナス符号を消去すると次のようになります。
上記の方程式の類似式は回転についても記述できます。ここでも、これらの軸方向ベクトルはすべて回転軸に平行でなければならないため、ベクトルの大きさだけが必要です。
ここで、αは一定の角加速度、ωは角速度、ω₀は初期角速度、θは回転した角度(角変位)、θ₀は初期角度、tは初期状態から最終状態まで回転するのにかかる時間です。
これらは、位置r = r ( t )で表される平面内の経路を移動する粒子の運動方程式です。[ 12 ]これらは、角速度ωと角加速度αの上記の物理量の定義を使用して、平面極座標における位置ベクトルの時間微分です。これらは時間とともに変化する瞬間的な量です。
粒子の位置は
ここで、ê rとê θは極座標単位ベクトルである。時間に関して微分すると速度が得られる。
半径方向成分 dr / dt と、回転による追加成分 rω を持つ。時間に関して微分すると、加速度が得られる。
これは、半径方向の加速度 d 2 r / dt 2 、向心加速度– rω 2、コリオリ加速度2 ω dr / dt 、および角加速度rαに分解されます。
これらの式で記述される運動の特殊なケースを、以下の表に定性的にまとめました。そのうち2つは既に上で説明済みで、半径方向成分または角度方向成分のいずれかがゼロで、運動の非ゼロ成分が等加速度運動を表す場合です。
3D空間では、対応する単位ベクトルêr 、 êθ 、 êφを持つ球面座標( r、θ、φ )の式は、位置、速度、加速度をそれぞれ次のように一般化する。
φが定数の場合、これは上記の平面方程式に帰着する。
最初に開発された一般的な運動方程式は、ニュートンの運動第二法則である。最も一般的な形では、物体の運動量p = p ( t ) = m v ( t )の変化率は、物体に作用する力F = F ( x ( t ), v ( t ), t )に等しいと述べている。 [ 13 ] : 1112
方程式中の力は、物体が及ぼす力ではありません。運動量を質量と速度の積に置き換えると、この法則はより有名な形で次のように表されます。
mはニュートン力学における定数であるため。
ニュートンの第二法則は、点状粒子および剛体内のすべての点に適用されます。また、変形可能な固体や流体などの質量連続体内の各点にも適用されますが、システムの運動を考慮する必要があります(物質微分を参照)。質量が一定でない場合、質量と速度の時間微分に積の法則を使用するだけでは不十分であり、ニュートンの第二法則は運動量保存則と整合するように何らかの修正が必要となります(可変質量システムを参照)。
ニュートンの運動法則を用いて運動方程式をベクトル形式で記述するのは簡単かもしれませんが、その成分は空間座標や時間によって複雑に変化する可能性があり、解くのは容易ではありません。多くの場合、問題を完全に解くには変数が多すぎるため、ニュートンの法則は必ずしもシステムの運動を決定する最も効率的な方法ではありません。単純な直交座標系ではニュートンの法則はうまく機能しますが、他の座標系では劇的に複雑になる可能性があります。
運動量形式の方が好ましいのは、特殊相対性理論や一般相対性理論などのより複雑なシステムに容易に一般化できるためである(4つの運動量を参照)。[ 13 ]: 112また、運動量保存則と併用することもできる。しかし、ニュートンの法則は運動量保存則よりも基本的ではない。なぜなら、ニュートンの法則は、物体に作用する合力がゼロであれば運動量が一定であるのに対し、合力があれば運動量が一定ではないという事実と整合しているにすぎないからである。運動量保存則は、合力の影響を受けない孤立系では常に成り立つ。
多数の粒子(多体問題を参照)の場合、他の粒子の影響を受ける1つの粒子iの運動方程式は[ 7 ] [ 1 ]である。
ここで、 p iは粒子iの運動量、F ijは粒子jが粒子iに及ぼす力、F E はシステムの一部ではない任意の作用因子による合力外力である。粒子iは自身に力を及ぼさない。
オイラーの運動法則はニュートンの法則と似ていますが、特に剛体の運動に適用されます。ニュートン・オイラー方程式は、剛体に作用する力とトルクを一つの方程式にまとめたものです。
回転に関するニュートンの第2法則は、並進運動の場合と同様の形式をとる。[ 13 ]
物体に作用するトルクをその角運動量Lの変化率に等しくすることによって、慣性モーメントテンソルI は、質量と加速度の積に類似しており、回転軸周りの質量の分布に依存し、角加速度は角速度の変化率です。
繰り返しますが、これらの式は点状の粒子、または剛体の各点に適用されます。
同様に、多数の粒子の場合、1 つの粒子iの運動方程式は[ 7 ]です。
ここで、L iは粒子iの角運動量、τ ij は粒子jによる粒子iへのトルク、τ Eは(システムの一部ではない任意の作用因子による)外部トルクの合成値である。粒子i は自身にトルクを及ぼさない。
ニュートンの法則の例[ 14 ]には、単純振り子の運動の説明などがある。
そして減衰する正弦波駆動の調和振動子、
重力による質量の運動を記述するために、ニュートンの万有引力の法則はニュートンの第二法則と組み合わせることができます。2 つの例を挙げると、質量mのボールが空気の流れ (風など) の中で投げられた場合、抵抗力のベクトル場R = R ( r , t )で記述されます。
ここで、Gは重力定数、Mは地球の質量、A = R / m は位置rと時刻tにおける気流による発射体の加速度である。
重力によって互いに相互作用するN個の粒子に関する古典的なN体問題は、 N個の非線形結合2階常微分方程式のセットである。
ここで、i = 1, 2, ..., N は、各粒子に関連付けられた量(質量、位置など)を表す。

システムに制約がある場合、3D空間の3つの座標すべてを使用する必要はありません。システムがN自由度を持つ場合、N個の一般化座標q ( t ) = [ q1 ( t ), q2 ( t ) ... qN ( t )]を使用してシステムの構成を定義できます。これらは弧長または角度の形式で表すことができます。これらは、システムの動きを制限する固有の制約を利用し、座標の数を最小限に抑えるため、動きを記述する上で非常に簡略化されています。一般化座標の時間微分は一般化速度です。
オイラー・ラグランジュ方程式は[ 2 ] [ 16 ]
ここで、ラグランジアンは構成qとその時間変化率d q / dt(および場合によっては時間t)の関数である。
システムのラグランジアンを設定し、それを方程式に代入して偏微分を評価して簡略化すると、座標に関する一連の連立N個の2階常微分方程式が得られる。
ハミルトニアン
は構成qと共役「一般化」運動量の関数である
ここで、 ∂ / ∂ q = ( ∂ / ∂ q 1 , ∂ / ∂ q 2 , …, ∂ / ∂ q N )は、指定された変数に関する偏微分のベクトルの略記法であり(この分母表記については、例えば行列計算を参照)、場合によっては時間tも含まれます。
システムのハミルトニアンを設定し、それを方程式に代入して偏微分を評価して簡略化すると、座標q iと運動量p iに関する連立2 N個の 1 階常微分方程式が得られます。
どこ
ハミルトンの主関数は、古典的作用とも呼ばれ、 Lの汎関数です。この場合、運動量は次のように与えられます。
この方程式は単純な一般形を持つが、与えられたハミルトニアンに対しては、実際にはN +1個の変数を持つ単一の1階非線形偏微分方程式である。作用Sは、力学的な問題自体を完全に解くことができない場合でも、力学系の保存量を特定することを可能にする。これは、物理系の作用の微分可能な対称性には対応する保存則が存在するという、エミー・ノーターの定理によるものである。
古典的な運動方程式はすべて、ハミルトンの最小作用の原理として知られる変分原理から導き出すことができる。
システムが構成空間を通過する経路は、アクションSが最も少ない経路であることを示しています。

電気力学では、電荷qの荷電粒子に働く力はローレンツ力である。[ 17 ]
ニュートンの第二法則と組み合わせると、粒子の位置に関する一次微分方程式が得られる。
あるいはその勢い:
質量mと電荷qの荷電粒子に対して、ラグランジアンを使用して(上記のラグランジュ方程式を適用して)同じ方程式を得ることができます。[ 16 ]
ここで、Aとϕは電磁スカラーポテンシャル場とベクトルポテンシャル場である。ラグランジアンはさらに詳細を示しており、ラグランジュ力学における正準運動量は次のように与えられる。 単にm v ではなく、荷電粒子の運動は基本的に粒子の質量と電荷によって決定されることを示唆している。ラグランジアンの式は、力の方程式を導出するために最初に使用された。
あるいはハミルトニアン(そして方程式に代入する):[ 16 ] ローレンツ力方程式を導出することができる。

上記の式は平坦な時空において有効です。曲がった時空では直線が存在しないため、数学的に複雑になります。これは一般化され、曲がった時空の測地線(2点間の最短曲線長)に置き換えられます。計量テンソルgを持つ曲がった多様体の場合、計量は弧長の概念を提供します(詳細は線要素を参照)。微分弧長は次のように与えられます。[ 19 ] : 1199
そして測地線方程式は座標に関する2階微分方程式である。一般解は測地線の族である:[ 19 ]:1200
ここで、Γ μ αβは第 2 種のクリストッフェル記号であり、(座標系に関して) 計量を含んでいます。
応力エネルギーテンソルT αβによって与えられる質量エネルギー分布を考慮すると、アインシュタイン場の方程式は計量に関する非線形2階偏微分方程式のセットであり、時空の曲率が重力場と等価であることを意味します(等価原理を参照)。曲がった時空に落下する質量は、重力場に落下する質量と等価です。なぜなら、重力は仮想的な力だからです。曲がった時空におけるある測地線と別の測地線の相対加速度は、測地線偏差方程式によって与えられます。
ここで、ξ α = x 2 α − x 1 αは 2 つの測地線間の分離ベクトル、 D / ds (単に d / ds ではない) は共変微分、R α βγδはクリストッフェル記号を含むリーマン曲率テンソルである。言い換えれば、測地線偏差方程式は、曲がった時空における質量の運動方程式であり、電磁場における電荷のローレンツ力方程式に類似している。[ 18 ] : 34–35
平坦な時空では、計量は定数テンソルとなるため、クリストッフェル記号は消滅し、測地線方程式の解は直線となる。これはまた、質量がニュートンの万有引力の法則に従って運動する場合の極限ケースでもある。
一般相対性理論では、回転運動は相対論的角運動量テンソル(スピンテンソルを含む)によって記述され、これは固有時間に関する共変微分のもとで運動方程式に現れる。マティソン・パパペトルー・ディクソン方程式は、重力場を運動する回転物体の運動を記述する。
粒子力学を記述する運動方程式は連立常微分方程式系であるのに対し、波動や場の力学を支配する類似の方程式は常に偏微分方程式である。これは、波動や場が空間と時間の関数であるためである。特定の解を求めるには、初期条件に加えて境界条件も指定する必要がある。
次のような文脈では、波動方程式や場の方程式は「運動方程式」とも呼ばれることがあります。
場の空間依存性と時間発展を記述する方程式は場方程式と呼ばれます。これには以下が含まれます。
この用語は普遍的なものではありません。例えば、ナビエ・ストークス方程式は流体の速度場を記述するものですが、この文脈では流体の運動量を表すため、通常は「場の方程式」とは呼ばれず、「運動量方程式」と呼ばれます。
波動運動の方程式は波動方程式と呼ばれます。波動方程式の解は、振幅の時間発展と空間依存性を示します。境界条件によって、解が進行波を表すか定常波を表すかが決まります。
古典的な運動方程式と場の方程式から、力学的方程式、重力波方程式、電磁波方程式を導出できる。3次元における一般的な線形波動方程式は次のとおりである。
ここで、X = X ( r , t )は任意の機械的または電磁場振幅であり、例えば次のようになります。[ 20 ]
ここで、vは位相速度です。非線形方程式は、 vをv ( X )に置き換えることで、位相速度の振幅依存性をモデル化します。非常に特殊な用途向けの他の線形および非線形波動方程式もあります。たとえば、Korteweg–de Vries 方程式を参照してください。
量子論では、波動と場という概念の両方が登場する。
量子力学において、古典的な運動方程式(ニュートンの法則、オイラー・ラグランジュ方程式、ハミルトン・ヤコビ方程式など)に相当するものは、最も一般的な形のシュレーディンガー方程式である。
ここで、Ψは系の波動関数、 Ĥは古典力学における関数ではなく量子ハミルトニアン演算子、ħはプランク定数を2πで割った値です。ハミルトニアンを設定して方程式に代入すると波動方程式が得られ、その解は空間と時間の関数としての波動関数です。対応原理を考慮すると、 ħがゼロになる極限でシュレーディンガー方程式自体はハミルトン・ヤコビ方程式に帰着します。測定と比較するには、観測量の演算子に実験に応じて量子波動関数を適用し、波動的または粒子的な結果を得る必要があります。
量子論のあらゆる側面において、相対論的であろうと非相対論的であろうと、量子系の時間発展と挙動を記述するシュレーディンガー方程式に代わる様々な定式化が存在する。例えば、以下のようなものがある。
つのシンボルが分かれば、残りの2つも見つけることができます。