運動量
運動量（うんどうりょう、）とは、初等的には物体の運動の状態を表す物理量で、質量と速度の積として定義される。この意味の運動量は後述する一般化された運動量と区別して、運動学的運動量（あるいは動的運動量、）と呼ばれる。また、角運動量 という運動量とは異なる量と対比する上で、線型運動量 などと呼ばれることもある。
日常生活において、物体の持つ運動量は、動いている物体の止めにくさとして体感される。つまり、重くて速い物体ほど運動量が大きく、静止させるのに大きな力積が必要になる。
アイザック・ニュートンは運動量の時間的変化と力の関係を運動の第2法則として提示した。
解析力学では、上述の定義から離れ、運動量は一般化座標とオイラー＝ラグランジュ方程式を通じて与えられる。この運動量は一般化座標系における一般化速度の対応物として、一般化運動量 と呼ばれる。
特にハミルトン形式の解析力学においては、正準方程式を通じて与えられる正準変数の一方を座標と呼び他方を運動量と呼ぶ。この意味の運動量は、他と区別して、正準運動量 と呼ばれる。また、正準運動量は、正準方程式において座標の対となるという意味で、共役運動量 と呼ばれる。運動量は、ハミルトン形式の力学では、速度よりも基本的な量であり、ハミルトン形式で記述される通常の量子力学においても重要な役割を果たす。
共役運動量と通常の運動学的運動量の違いが際立つ例として、磁場中を運動する電子の運動の例が挙げられる（#解析力学における運動量も参照）。電磁場中を運動する電子に対してはローレンツ力が働くが、このローレンツ力に対応する一般化されたポテンシャルエネルギーには電子の速度の項があるために、共役運動量はラグランジアンのポテンシャル項に依存した形になる。このとき共役運動量と運動学的運動量は一致しない。また、電磁場中の電子の運動を記述する古典的ハミルトニアンでは、共役運動量の部分がすべて共役運動量からベクトルポテンシャルの寄与を引いたものに置き換わる。
運動量は、運動の第2法則において、その時間に対する変化の割合が力と等しい量として導入される。
つまり、運動量 はニュートンの運動方程式、
を満たす。力 はベクトル量であり、運動量もまたベクトル量である。また、定義から明らかなように、運動量は時刻 の関数として表される量である。
質点の運動量は、質点の速度に比例する。質点の運動量は、質点の速度を と表し、比例係数を とすると、
で与えられる。ここで導入された比例係数 は慣性質量 と呼ばれ質点の速度の変化し難さを表す。運動量の変化量は力積であるが、運動の間、慣性質量が一定であるとすれば、速度の変化量は力積を慣性質量で割ったものとなる。従って、同じ大きさの力積に対しては、慣性質量が大きいほど速度の変化は小さいものとなる。
時刻 から の間の物体の運動量の変化量を
とする。
この物体が時刻 に力 を受けながら運動していたとすると、運動方程式から運動量の時間変化率 は力 に等しいため、運動量の変化量 は
となり力 を時刻 から まで積分したものに等しい。
この力の時間積分は力積（）と呼ばれ、運動量の変化量に等しい。
時間 で物体が受ける力の時間的な平均は
で定義される。力の時間平均 を用いれば力積は
となる。
特に時間 が充分に短く、力が一定であると見なせる場合には、力積は単に力と時間の積
として表すことができる。
つまり、物体に一定の力を加えて、物体の運動量の変化を大きくするには、力が作用する時間を長くすればよい。逆に、大きな力を加えたとしても、それがごく短期間のものであれば、物体に与える力積は小さくなる。
運動量は加法的な量であり、系の全運動量は部分の運動量の和で表される。
質点系の全運動量 は、質点 の運動量 とすれば
となる。
ここで質点系の全質量 と質量中心 を
により導入すれば
となる。
即ち、質点系の全運動量は、質量中心に全質量が集中していると考えたときの運動量に等しい。
質点 の運動量 の時間変化は、質点 に作用する力 に等しく
を満たす。
ここで質点 に作用する力は、質点系の外部から作用する外力と、系に含まれる他の質点との内部相互作用に分けられる。
質点 に作用する外力を 、質点 から質点 に作用する内力を とすれば
と表される。
ただし、質点 から質点 自身に作用する力は とする。
全運動量の時間変化を考えると
となる。
ここで運動の第3法則から、質点 から質点 に作用する力 と
質点 から質点 に作用する力 は大きさが等しく符号が逆なので
が成り立ち、内力を全て足し合わせたものは となる。
従って
となり、質点系の全運動量の時間変化は作用する外力の総和と等しい。
これは、重力などの単純な外力の下では質量中心の運動が相対位置の運動から分離できることを意味している。
質点系の運動において、特に作用する外力が釣り合っている場合は
が成り立つ。
つまり、この系では系の全運動量は時間的に変化しない。これは運動量保存の法則 と呼ばれる。運動量保存の法則は、ニュートン力学においては作用反作用の法則から導かれるが、運動量保存則自体は作用反作用の法則より一般的に成り立つ法則である。たとえば、電磁気学などの場の理論では近接作用論の立場をとり、遠隔作用論的な法則である作用反作用の法則をその基礎には置かない。しかしながら、電磁気学においても運動量保存の法則は成り立ち、それに伴い運動量の定義も拡張される。
物理学において、ベクトルで表される物理量とある原点に対する位置の外積をモーメントという。運動量のモーメントは、角運動量 と呼ばれ、次のように定義される。
古典的な角運動量の大きさは、位置ベクトル の大きさと、運動量 の に直交する成分の大きさの積として表される。2 つのベクトル が載っている平面上の、2 つのベクトル の間の角度を とすれば、角運動量の大きさは次のように表される。
解析力学においては、角運動量は角度に対応した一般化運動量として得られる。
角運動量は、ニュートンの運動方程式と同様な方程式、
を満たす。ここで は物体に作用する力のモーメントである。
解析力学において、一般化座標 に対応する一般化運動量 はその系のラグランジアン の一般化速度 による偏微分として定義される。
ここで、ラグランジアン は、運動エネルギー 、ポテンシャル の差として定義される。
ハミルトン形式の力学では、一般化速度の代わりに一般化運動量が力学変数として用いられる。ハミルトニアン は、ラグランジアン のルジャンドル変換として定義される。ルジャンドル変換
の右辺を最大化する を考えると、ルジャンドル変換をする領域 の中でラグランジアンが凸でありかつ充分滑らかなら、そのような は以下の関係を満たす。
\left(
)\right) = \boldsymbol{0}.
これはすなわち、ハミルトニアンの変数 が一般化運動量に等しいことを意味する。
3 次元の直交座標系 においては、ポテンシャルが速度 に依存しないときには
であり、このとき一般化運動量 は質量と速度の積となっている。これはニュートン形式の運動量に一致する。
一般化座標として二次元極座標 を選ぶと、ラグランジアン及び に共役な運動量 はそれぞれ
となる。ここで、 に共役な運動量は角運動量となっている。また の共役運動量は動径方向への運動量を表している。
ポテンシャルが速度に依存するときもある。このとき直交座標系における一般化運動量はニュートン力学におけるものとは異なっている。
このような系の例として、電磁場中を運動する電荷を持つ粒子の非相対論的な運動が挙げられる。
この系のラグランジアンは具体的に
である。ここで は物体の持つ電荷、 はスカラーポテンシャル、 はベクトルポテンシャルである。このとき、共役運動量は
となる。このときの共役運動量は質量と速度の積の"普通の"運動量に、電磁場との相互作用による の項が加わる。
このとき、ハミルトニアンは、ルジャンドル変換
より、
となる。ベクトルポテンシャルのない系と比べると、形式的には共役運動量 を運動学的な運動量 に置き換えたものとなっている。
相対性理論において運動量とエネルギーはミンコフスキー空間における四元ベクトルを為し、
である（ は質量、 は固有時間）。これの空間成分は
となる。非相対論的極限 において前述の運動量（質量と速度の積）に一致する。
運動量とエネルギーは
の関係を満たしている。運動量が の場合は有名な の式になっている。
光（あるいは電磁波）は波であるが、実験によりエネルギーと運動量を持つ粒子でもあると考えられている。
そのエネルギーと運動量は
である。（ここで はプランク定数、 は振動数、 は角振動数、 は真空中の光速、 は波長、 は波数である）
前述のエネルギーと運動量の関係式にこの関係を入れると、 からこの粒子の質量は であることが分かる。この質量 の粒子を光子という。
量子力学では、上記の古典論的運動量 formula_6 は、波動関数 formula_7 に対する、
という演算子であるとみなされる。ここに、formula_9 は虚数単位、formula_10はナブラである。
或いはエネルギーとまとめて四元ベクトルで表すと、
である。これらは対応原理と呼ばれ、解析力学における作用積分 formula_12 の汎関数微分が
であることなどから類推された。
また、正準量子化という方法によれば、位置と運動量は正準交換関係
を満たす物理量として量子化される。
運動量は空間の一様性（並進対称性）に対応する保存量である。
時間の一様性に対応するエネルギー、空間の等方性に対応する角運動量とともに、基本的な物理量である。