電磁気学を深く学ぶ上で、アンペールの法則の微分形は避けて通れない重要なテーマです。
積分形が「閉じた経路全体での磁場と電流の関係」をマクロな視点で記述するのに対し、微分形は「空間の各点における磁場と電流密度の関係」を局所的に記述するという根本的な違いがあります。
微分形の表現には、ベクトル解析のナブラ演算子（∇）と回転（rot、またはcurl）という概念が登場し、これらを正確に理解することが微分形の習得における最大の鍵となります。
アンペールの法則の微分形は∇×H ＝ Jという非常にコンパクトな式で表されますが、この一見シンプルな式の中には「空間のある一点での磁場の渦巻き具合がその点での電流密度に等しい」という深い物理的意味が凝縮されています。
さらに、マクスウェルによって変位電流項が追加された完全形（∇×H ＝ J ＋ ∂D/∂t）は、マクスウェル方程式の中核をなし、電磁波の理論的基盤ともなっています。
本記事では、アンペールの法則の微分形の意味と定義、ナブラ演算子と回転（rot）の数学的な解説、積分形からの導出プロセス、電流密度との関係、そして実際の応用まで、基礎から丁寧に解説していきます。
アンペールの法則の微分形とは何か？結論として式が示す物理的意味
それではまず、アンペールの法則の微分形の基本と物理的な意味について解説していきます。
アンペールの法則の微分形とは、空間の任意の一点において、磁場の回転（rot）がその点における電流密度に等しいことを示す局所的な表現です。
アンペールの法則の微分形（定常電流の場合）
∇ × H ＝ J
または真空中で磁束密度Bを使うと：∇ × B ＝ μ₀J
ここで、∇ × H：磁場Hの回転（rot H、curl Hとも表記）、H：磁場の強さ（A/m）、J：電流密度ベクトル（A/m²）、μ₀：真空の透磁率（4π×10⁻⁷ T・m/A）
「磁場の回転 ＝ 電流密度」という関係が微分形の核心であり、電流が流れる場所では磁場に渦が生じることを示しています。
積分形∮H・dl ＝ I_encが「アンペールループ全体」という有限の領域に対して成立する関係を示すのに対し、微分形∇×H ＝ Jは「空間のある一点」という無限小の領域において成立する局所的な関係を示します。
この局所的な表現こそが微分形の本質であり、空間の各点での電流と磁場の因果関係を精密に記述できる強みがあります。
微分形が「局所的表現」である理由と積分形との対比
微分形が局所的表現と呼ばれる理由は、その式が空間の「一点」での物理量の関係を記述しているためです。
積分形∮H・dl ＝ I_encは、閉じた経路（有限の大きさを持つループ）に沿った積分を通じて、ループ全体という「拡がりを持つ領域」での磁場と電流の関係を示します。
これに対し微分形∇×H ＝ Jは、点r ＝（x, y, z）という空間の一点において、その点での磁場の回転がその点での電流密度と等しいという「点ごとの関係」を示します。
たとえば、ある点に電流密度Jが存在すれば、その点の周囲には∇×H ＝ Jを満たすように磁場の渦が形成されます。
微分形は積分形よりも一般的かつ強力な表現であり、対称性に依存することなく任意の電流分布に対して成立する普遍的な法則です。
数値計算（有限要素法・差分法など）においても微分形が直接使用されることが多く、現代の電磁工学シミュレーションの理論的基盤となっています。
マクスウェル方程式における微分形の位置づけ
アンペールの法則の微分形は、マクスウェル方程式と呼ばれる4つの方程式のひとつ（定常電流の近似版）として位置づけられています。
マクスウェルが変位電流項（∂D/∂t）を追加した完全形は以下のとおりです。
マクスウェル方程式（4つ）の微分形一覧
①ガウスの法則（電場）：∇・D ＝ ρ
②ガウスの法則（磁場）：∇・B ＝ 0
③ファラデーの電磁誘導の法則：∇ × E ＝ −∂B/∂t
④アンペール-マクスウェルの法則：∇ × H ＝ J ＋ ∂D/∂t
アンペールの法則の微分形（④）はマクスウェル方程式の核心的な式であり、電流と時間変化する電場の両方が磁場の渦を生み出すという電磁気学の根本原理を表現しています。
定常電流（時間変化のない電流）の場合は∂D/∂t ＝ 0となるため、∇×H ＝ Jというシンプルな形になります。
微分形が記述する「磁場の渦」の物理的イメージ
∇×H ＝ Jという微分形を直感的に理解するには、「回転（rot）」の物理的イメージをつかむことが大切です。
水の流れを想像してください。
水流の中に小さな羽根車を置いたとき、羽根車が回転するかどうか、またどの方向にどの速さで回転するかが、その点でのベクトル場の「回転（rot）」に相当します。
磁場に当てはめると、ある点でJ（電流密度）が存在するとき、その点の周囲の磁場Hは「渦巻き」を形成しており、その渦の強さと方向がJに等しいということです。
電流が流れている点では磁場に渦が生じ、電流が存在しない点では磁場の渦はゼロ（∇×H ＝ 0）になるというのが微分形の物理的イメージです。
この「電流→磁場の渦」という因果関係が、アンペールの法則の微分形が示す本質的な物理現象です。
ナブラ演算子（∇）と回転（rot）の数学的基礎
続いては、アンペールの法則の微分形を理解するために不可欠なナブラ演算子と回転（rot）の数学的な基礎を確認していきます。
これらのベクトル解析の道具を正確に理解することが、微分形を自在に扱うための基盤となります。
ナブラ演算子（∇）の定義と基本的な使い方
ナブラ演算子（∇、ナブラまたはデルとも呼ばれる）は、ベクトル解析において偏微分演算を表す記号的なベクトル演算子です。
デカルト座標系（x, y, z）では、ナブラ演算子は以下のように定義されます。
ナブラ演算子の定義（デカルト座標）
∇ ＝ （∂/∂x）ex ＋ （∂/∂y）ey ＋ （∂/∂z）ez
ここで、ex、ey、ezはx、y、z方向の単位ベクトルです。
ナブラ演算子の3つの主な使い方：
①スカラー場φへの作用（勾配・grad）：∇φ ＝ （∂φ/∂x）ex ＋ （∂φ/∂y）ey ＋ （∂φ/∂z）ez
②ベクトル場Fとの内積（発散・div）：∇・F ＝ ∂Fx/∂x ＋ ∂Fy/∂y ＋ ∂Fz/∂z
③ベクトル場Fとの外積（回転・rot/curl）：∇ × F
アンペールの法則の微分形∇×H ＝ Jに登場するのは、ナブラ演算子のうちの③「回転（rot、curl）」です。
ナブラ演算子は微分演算とベクトル演算を統合した強力な記号であり、マクスウェル方程式をはじめとする電磁気学の方程式を簡潔に表記するための必須ツールです。
回転（rot、curl）の定義とデカルト座標での成分表示
ベクトル場F ＝（Fx, Fy, Fz）の回転（∇×F、rot F、curl Fとも表記）は、デカルト座標系において以下のように定義されます。
回転（rot）の成分表示（デカルト座標）
∇ × F ＝ （∂Fz/∂y − ∂Fy/∂z）ex
＋ （∂Fx/∂z − ∂Fz/∂x）ey
＋ （∂Fy/∂x − ∂Fx/∂y）ez
行列式を使った記憶方法：
∇ × F ＝ |ex ey ez |
|∂/∂x ∂/∂y ∂/∂z|
|Fx Fy Fz |
（3×3行列式の展開）
アンペールの法則の微分形∇×H ＝ Jをデカルト座標で成分に分解すると、3つの偏微分方程式が得られます。
∇×H ＝ Jの成分表示
x成分：∂Hz/∂y − ∂Hy/∂z ＝ Jx
y成分：∂Hx/∂z − ∂Hz/∂x ＝ Jy
z成分：∂Hy/∂x − ∂Hx/∂y ＝ Jz
回転の成分表示は、各方向の磁場成分の空間的変化率（偏微分）と電流密度成分の対応関係を具体的に示しており、数値計算の際に直接使用される重要な表現です。
円筒座標・球座標での回転の表現
実際の電磁気学の問題では、デカルト座標だけでなく、円筒座標や球座標でロットを表現することが必要な場面も多くあります。
円筒座標（r, φ, z）では、ベクトル場F ＝（Fr, Fφ, Fz）の回転は以下のように表されます。
円筒座標における回転（rot）
（∇×F）r ＝ （1/r）∂Fz/∂φ − ∂Fφ/∂z
（∇×F）φ ＝ ∂Fr/∂z − ∂Fz/∂r
（∇×F）z ＝ （1/r）∂（rFφ）/∂r − （1/r）∂Fr/∂φ
無限長直線電流の問題では円筒座標を使うと計算が非常に簡略化されます。
球座標（r, θ, φ）でも同様に回転の成分表示が存在しますが、より複雑な形になります。
問題の対称性に合わせた座標系を選び、その座標系での回転の表現を使うことで、アンペールの法則の微分形の計算を大幅に簡略化できます。
円筒対称性を持つ問題（直線電流、同軸ケーブルなど）には円筒座標、球対称性を持つ問題には球座標を使うことが一般的な実践的アプローチです。
積分形から微分形への導出：ストークスの定理の応用
続いては、アンペールの法則の積分形から微分形を導出する過程を確認していきます。
この導出プロセスを理解することで、両形式の等価性と微分形の数学的な起源が明確になります。
ストークスの定理の内容と証明の概要
積分形から微分形への導出の鍵となるのが、ベクトル解析のストークスの定理（Stokes’ theorem）です。
ストークスの定理は「閉じた曲線Cに沿ったベクトル場Fの線積分は、Cを境界とする任意の曲面SにおけるFの回転の面積分に等しい」という定理です。
ストークスの定理
∮_C F・dl ＝ ∬_S （∇ × F）・dS
ここで、C：閉じた曲線（境界）、S：Cを境界とする曲面、dS：曲面の法線方向の微小面積ベクトル
直感的イメージ：「曲線上での流れの一周り」＝「その曲線が囲む面での渦の総量」
ストークスの定理は、グリーンの定理（2次元）を3次元に拡張したものであり、線積分と面積分を結びつける重要な定理です。
ストークスの定理は電磁気学だけでなく、流体力学や微分幾何学など多くの分野で使用される数学の普遍的な定理です。
ストークスの定理を使ったアンペールの法則の微分形の導出
アンペールの法則の積分形からストークスの定理を使って微分形を導く手順は以下のとおりです。
導出の手順
ステップ①アンペールの法則（積分形）から出発：
∮_C B・dl ＝ μ₀ I_enc
ステップ②右辺を電流密度Jの面積分で表す：
I_enc ＝ ∬_S J・dS
したがって：∮_C B・dl ＝ μ₀ ∬_S J・dS …（A）
ステップ③左辺にストークスの定理を適用：
∮_C B・dl ＝ ∬_S （∇ × B）・dS …（B）
ステップ④（A）と（B）を比較：
∬_S （∇ × B）・dS ＝ μ₀ ∬_S J・dS
ステップ⑤任意の曲面Sで成立するための条件から：
∇ × B ＝ μ₀J（微分形、完成）
ステップ⑤の論理は「任意の面Sに対して面積分が等しければ、被積分関数（積分の中身）も等しい」というものです。
ストークスの定理によって積分形と微分形は数学的に等価であることが証明されており、どちらの形式を使っても同じ物理法則を表現していることが保証されます。
導出における数学的厳密性と物理的妥当性
上記の導出は数学的に厳密に成立するためにいくつかの前提条件が必要です。
まず、磁場BやH、電流密度Jが空間的に連続かつ微分可能であることが必要です。
次に、ストークスの定理の適用には、曲面Sが滑らかな向きづけ可能な曲面であることが要求されます。
また、積分と微分の順序交換が正当化される連続性条件が満たされていることも前提となります。
物理的な観点では、電流分布が連続的に変化する通常の媒質中ではこれらの条件はほぼ自動的に満たされますが、電流分布に不連続性がある界面（異なる媒質の境界）では微分形の代わりに境界条件（接線成分の不連続性の条件）を使用することが必要です。
境界条件の形は、アンペールの法則の積分形から直接導くことができ、界面での磁場の接線成分の跳びが表面電流密度に等しいという式で表されます。
電流密度との関係：微分形が示す局所的な因果関係
続いては、アンペールの法則の微分形における電流密度との関係と局所的な因果関係について確認していきます。
微分形の核心は「電流密度が存在する点では磁場に回転が生じる」という局所的な因果関係であり、これを深く理解することで電磁気学の本質に迫ることができます。
電流密度（J）の定義と微分形における役割
電流密度（J）とは、単位面積あたりを流れる電流の量を表すベクトル量であり、その方向は電流の流れる方向です。
電流密度の定義
J ＝ dI/dA（スカラー形式の大きさ）
全電流との関係：I ＝ ∬_S J・dS
単位：A/m²（アンペア毎平方メートル）
例：断面積1mm²の銅線に1Aの電流が流れる場合
J ＝ 1A ÷ （1×10⁻⁶m²） ＝ 10⁶（A/m²）
アンペールの法則の微分形∇×H ＝ Jにおいて、電流密度Jは「磁場の回転の源」としての役割を担います。
電流密度が存在する点（J ≠ 0）では磁場に回転があり（∇×H ≠ 0）、電流密度がゼロの点（J ＝ 0）では磁場の回転もゼロ（∇×H ＝ 0、渦なし場）となります。
電流密度Jが磁場の渦（回転）の局所的な源であるという関係が、微分形の表現するアンペールの法則の最も本質的な内容です。
体積電流・面電流・線電流と微分形の関係
実際の電磁気学の問題では、電流はその分布の形態によって体積電流、面電流、線電流の3種類に分類されます。
体積電流は電流が3次元的に分布している場合であり、電流密度Jは体積当たりの電流（A/m²）として表されます。
アンペールの法則の微分形∇×H ＝ Jは体積電流に対して直接適用されます。
面電流（表面電流）は電流が2次元的な面に集中している場合であり、表面電流密度K（A/m）で表されます。
線電流は電流が細い線（1次元）に集中している場合であり、アンペールの法則の積分形では直接扱えますが、微分形ではデルタ関数を使った特異な電流密度として表現されます。
線電流I（ワイヤー）の電流密度は、デルタ関数J ＝ Iδ(x)δ(y)として表現することで微分形に組み込むことができ、この数学的処理が線電流を微分形の枠組みで扱うための標準的アプローチです。
電荷保存則と微分形の整合性：連続の方程式との関係
アンペールの法則の微分形（定常電流版）∇×H ＝ Jは、電荷保存則（連続の方程式）と整合していることが確認できます。
ベクトル解析の恒等式として「任意のベクトル場Fに対して∇・（∇×F）＝ 0」が成立します（回転の発散はゼロ）。
アンペールの法則∇×H ＝ Jの両辺の発散を取ると、∇・J ＝ ∇・（∇×H）＝ 0となります。
定常電流に対する連続の方程式
∇・J ＝ 0（電荷の湧き出しがない、電荷保存則の定常版）
これはアンペールの法則の微分形から自然に導かれます。
一般の非定常の場合の連続の方程式：
∇・J ＋ ∂ρ/∂t ＝ 0（ρ：電荷密度）
アンペールの法則の微分形∇×H ＝ Jが定常電流（∂ρ/∂t ＝ 0）の場合にのみ電荷保存則と完全に整合し、非定常の場合には変位電流項の追加が必要になるという事実が、マクスウェルによる修正の数学的必然性を示しています。
変位電流を含む完全形：アンペール-マクスウェルの法則の微分形
続いては、変位電流を含む完全形であるアンペール-マクスウェルの法則の微分形について確認していきます。
定常電流の場合の∇×H ＝ Jに変位電流項を加えることで、時間変化する電磁場を正確に記述できる完全形が得られます。
変位電流項の追加とその数学的・物理的意味
定常電流版のアンペールの法則∇×H ＝ Jは、非定常（時間変化する）電磁場では電荷保存則と矛盾することをマクスウェルは見抜きました。
非定常の場合の連続の方程式は∇・J ＋ ∂ρ/∂t ＝ 0ですが、∇×H ＝ Jの両辺の発散を取ると∇・J ＝ 0となり、これは∂ρ/∂t ≠ 0の場合と矛盾します。
マクスウェルはこの矛盾を解消するために、右辺に変位電流密度∂D/∂tを追加しました。
アンペール-マクスウェルの法則（微分形、完全形）
∇ × H ＝ J ＋ ∂D/∂t
変位電流密度：Jd ＝ ∂D/∂t ＝ ε（∂E/∂t）（εは誘電率）
整合性の確認：
∇・（∇×H） ＝ 0 ＝ ∇・J ＋ ∇・（∂D/∂t）＝ ∇・J ＋ ∂（∇・D）/∂t ＝ ∇・J ＋ ∂ρ/∂t
ガウスの法則∇・D ＝ ρを使うと、これは∇・J ＋ ∂ρ/∂t ＝ 0（連続の方程式）と一致します。
変位電流項∂D/∂tの追加によって、アンペールの法則は電荷保存則と完全に整合するようになり、非定常の電磁場も矛盾なく記述できる完全な法則となりました。
完全形の微分形から電磁波方程式を導く
アンペール-マクスウェルの法則の完全形とファラデーの法則を組み合わせると、真空中での電磁波を記述する波動方程式が導けます。
電磁波方程式の導出（真空中、J ＝ 0の場合）
ファラデーの法則：∇ × E ＝ −∂B/∂t ＝ −μ₀∂H/∂t …（F）
アンペール-マクスウェルの法則：∇ × H ＝ ε₀∂E/∂t …（AM）
（F）の両辺のrotを取る：∇ × （∇ × E）＝ −μ₀∂（∇ × H）/∂t
左辺にベクトル恒等式∇×（∇×E）＝ ∇（∇・E）−∇²Eを使い、∇・E ＝ 0（真空中、電荷なし）を代入：−∇²E
右辺に（AM）を代入：−μ₀ε₀∂²E/∂t²
したがって：∇²E ＝ μ₀ε₀ ∂²E/∂t²（電場の波動方程式）
波速：v ＝ 1/√（μ₀ε₀）≒ 3×10⁸（m/s）＝光速c
アンペール-マクスウェルの微分形はファラデーの法則と組み合わせることで電磁波の波動方程式を導き、光が電磁波であることを理論的に証明する起点となった歴史的に重要な式です。
周波数領域での微分形の表現：フーリエ変換との組み合わせ
実際の工学応用では、時間領域の微分形をフーリエ変換（または複素指数関数exp(jωt)）を用いて周波数領域に変換した表現がよく使用されます。
時間微分∂/∂tはjω（j：虚数単位、ω：角周波数）に置き換えられるため、アンペール-マクスウェルの法則は以下のように変換されます。
周波数領域でのアンペール-マクスウェルの法則
時間領域：∇ × H ＝ J ＋ ∂D/∂t
周波数領域：∇ × H ＝ J ＋ jωD ＝ J ＋ jωεE
（exp(jωt)の時間依存性を仮定した定常正弦波の場合）
実効的な電流密度：J_eff ＝ （σ ＋ jωε）E（σ：電気伝導率、ε：誘電率）
周波数領域では偏微分方程式が複素代数方程式に変換されるため、計算が大幅に簡略化されます。
マイクロ波・RF回路設計や電磁波の伝搬解析において、周波数領域でのアンペール-マクスウェルの微分形は最も実用的な形式として広く活用されています。
アンペールの法則の微分形の実際の応用と問題解法
続いては、アンペールの法則の微分形の実際の応用と問題解法について確認していきます。
微分形は理論的な重要性にとどまらず、さまざまな工学・物理の問題の解法に直接活用されます。
同軸ケーブルの磁場分布の計算：微分形と円筒座標の応用
同軸ケーブル（内部導体と外部導体が同軸に配置された構造）の磁場分布は、アンペールの法則（積分形または微分形）を使って計算できます。
微分形と円筒座標の組み合わせを使うと、以下のように各領域の磁場を求めることができます。
同軸ケーブルの磁場分布（内部導体半径a、外部導体内半径b、電流I）
領域①（r < a、内部導体内）：B ＝ μ₀Ir/（2πa²）（r：中心からの距離）
領域②（a < r < b、導体間空間）：B ＝ μ₀I/（2πr）
領域③（r > b、外部導体外側）：B ＝ 0（内部の正負の電流が打ち消し合う）
この結果は同軸ケーブルが外部に磁場を漏らさないという重要な性質を示しています。
同軸ケーブルが外部への電磁漏洩が少ない理由はこの磁場分布の性質にあり、信号ケーブルの設計において同軸構造が広く採用されている電磁気学的な根拠がアンペールの法則の微分形から導かれます。
有限要素法（FEM）における微分形の活用
現代の電磁場解析では、複雑な形状や非線形な媒質を持つ問題を数値的に解くために有限要素法（FEM：Finite Element Method）が広く使われています。
FEMでは、解析領域を小さな要素（メッシュ）に分割し、各要素内でアンペールの法則の微分形（∇×H ＝ J ＋ ∂D/∂t）を離散化して連立方程式として解きます。
COMSOL Multiphysics、ANSYS Maxwell、JMAGなどの商用電磁場解析ソフトウェアはすべてこの原理に基づいており、モーター・変圧器・アンテナ・磁気センサーなどの設計に不可欠なツールとなっています。
微分形の離散化において、Nédélec要素（辺要素）と呼ばれる特殊な有限要素が磁場の回転の表現に適しており、電磁場のFEM解析で標準的に使用されます。
有限要素法による電磁場シミュレーションは、アンペールの法則の微分形を数値的に解く技術であり、現代の電気機器設計の中核を担うツールといえるでしょう。
プラズマ物理・宇宙物理学への微分形の応用
アンペールの法則の微分形は、プラズマ物理学や宇宙物理学においても重要な役割を果たします。
核融合炉（トカマク、ステラレータ）では、超高温プラズマを磁場で閉じ込めるために強力な磁場を制御する必要があり、電流密度と磁場の関係はアンペールの法則の微分形で記述されます。
磁気流体力学（MHD：Magnetohydrodynamics）では、プラズマや導電性流体の運動方程式とマクスウェル方程式（アンペールの法則の微分形を含む）を連立して解くことで、プラズマの安定性や波動伝搬を解析します。
太陽フレアや磁気嵐などの宇宙プラズマ現象の理解においても、アンペールの法則の微分形がその理論的基盤となっています。
エネルギー問題の解決を目指す核融合研究から宇宙の謎を探る天体物理学まで、アンペールの法則の微分形は最先端の科学研究における普遍的な基礎方程式として活用されています。
まとめ
本記事では、アンペールの法則の微分形の意味と定義、ナブラ演算子と回転（rot）の数学的基礎、積分形からの導出プロセス、電流密度との関係、変位電流を含む完全形、そして実際の応用まで詳しく解説しました。
アンペールの法則の微分形（∇×H ＝ J）は「空間の各点での磁場の回転がその点の電流密度に等しい」という局所的な関係を表す式であり、積分形とストークスの定理によって数学的に等価な表現です。
ナブラ演算子（∇）と回転（∇×）というベクトル解析の道具を正確に理解することが、微分形を使いこなすための鍵です。
マクスウェルによる変位電流項の追加（∇×H ＝ J ＋ ∂D/∂t）により、定常電流の限定的な法則から非定常の電磁場全体を記述する完全な法則へと進化し、電磁波の存在を理論的に予言する歴史的な方程式となりました。
有限要素法による電磁場シミュレーション、同軸ケーブルの設計、核融合プラズマの制御から宇宙物理学まで、アンペールの法則の微分形は現代の科学・工学のあらゆる場面で活用される電磁気学の最も重要な基礎方程式のひとつであるといえるでしょう。
