マクスウェル方程式の直感的ガイド（2020）
(photonlines.substack.com)- 1865年のJames Clerk Maxwellの論文は、電磁場の変化を数学的に扱い、電磁波の伝播速度が光の速度と等しいというつながりを示した
- 当初の理論は20個の方程式と複雑な物理の言葉のため、20年以上にわたって広く理解されず、Oliver HeavisideやHertz、Lorentz、Einsteinの世代を経て、現在の4つの方程式の形に整理された
- 電場と磁場は機械装置ではなく、空間と時間にわたるスカラー場・ベクトル場として読むことができ、発散は源・吸収源を、カールは回転を表す
- 4つの方程式は、電荷、磁束、時間とともに変化する場、電流が互いにどのような発散と循環を生むのかを圧縮して表現している
- 真空・無電荷の空間では、電場と磁場は波動方程式を満たし、光速で伝播する1つの電磁波として統合される
マクスウェル理論が遅れて重要視されるようになった理由
- 1865年、James Clerk MaxwellはRoyal SocietyのPhilosophical Transactionsに「A dynamical theory of the electromagnetic field」を発表した
- この論文は電磁場の変化を記述し、日常で経験する力の大半が、重力を除けば電磁気的な起源を持つという点で、物理学的に大きな意味を持つ
- Maxwell方程式は電磁波の存在を予測し、その伝播速度が光の速度と等しいことから、電磁波と可視光を同じ現象として結びつけた
- しかしMaxwellの仕事はすぐには受け入れられなかった
- 当初の形式は、現在なじみのある4つの方程式ではなく20個の方程式だった
- 当時の物理学者にとっては代数的な複雑さが大きく、数学者にとってはMaxwellの物理的な説明言語が近づきにくかった
- 当時の世界観では、場（field）よりも、その下にある機械的な「車輪と歯車」のような構造をより基本的なものと見る傾向が強かった
- Oliver Heavisideが方程式を単純化し、Hertz、Lorentz、Einsteinの世代が続くなかで、場の方程式と数学法則が宇宙の基本的な説明として定着した
場を読むための基本的な直感
- **場（field）**は、空間と時間全体にわたって作用する関数と見ることができる
- 場は日常的な物質や機械的なたとえに完全に還元するのが難しい
- 交換粒子、仮想粒子、時空の曲率といった説明も、結局は数学的抽象として扱うことができる
- 場を理解する基本インターフェースは、空間と時間に広がる数学関数という直感である
- スカラー場は、空間上の一点を入力として受け取り、1つの数値を出力する
- 山を登るとき高度によって温度が変わる例では、
T(x, y, z)は位置を温度値へ対応づける - 金属板の温度分布を時間まで含めて
T(x, y, t)、または現実的にはT(x, y, z, t)として扱うと、熱方程式が温度場の変化をモデル化する
- 山を登るとき高度によって温度が変わる例では、
- 偏微分方程式は、複数の変数とその変化率の間の関係を表す
- 金属板の温度は、位置による変化
dT/dxだけでなく、時間による変化dT/dtも合わせて考える必要がある - 各微分は全体の変化の一部だけを表すため偏微分となり、場の時間的発展を扱うのに使われる
- 金属板の温度は、位置による変化
- ベクトル場は、空間上の一点を入力として受け取り、大きさと向きを持つベクトルを出力する
- 流体の速度場では、各位置のベクトルが流体要素の速度の向きと大きさを表す
- 重力場と磁場もベクトル場としてモデル化できる
- 電磁場では実際の流体が流れるわけではないが、磁束・源・吸収源といった流体の流れの用語を比喩的に使う
発散とカールで読む方程式の言語
- **発散（divergence）**は、ある点の周囲で場が源のように外へ出ていくのか、吸収源のように内へ入ってくるのかを表す
- 小さな円を一点の周りに描いたとき、外へ出ていく矢印のほうが多ければ正の発散である
- 入ってくる矢印のほうが多ければ負の発散である
- どちらでもなければ、発散は0または0に近い
- 電場では、正電荷を源、負電荷を吸収源のように見ることができる
- Gaussの電場の法則は、ある点における電場の発散が、その点の電荷密度に比例すると述べる
- **カール（curl）**は、ある点の周囲で場がどれだけ回転しているかを表す
- 反時計回りの回転は正のカール、時計回りの回転は負のカールと見ることができる
- 仮想的な水車を一点に置いたとき、場がその水車をどれほど速く回すかがカールの大きさの直感である
- 3次元では、カールは特定の右手則に従って回転方向を示すベクトルとして出力される
- Maxwell方程式は微分形と積分形で書くことができる
- 微分形は、各点での発散とカールを中心に電磁場を表現する
- 積分形は、閉曲面や閉経路を通る総磁束と循環として同じ内容を扱う
- 積分は、曲線の下の面積を求めるために区間を小さな幅
Δxの長方形に分けて足し合わせる過程から始まるΔxが0に近づくほど、面積の近似は正確になる- Maxwell方程式の積分形では、閉曲面の小さな面積要素を合計して、全体の磁束や循環を計算する
4つのMaxwell方程式が語ること
- Gaussの電場の法則は、電荷が電場を作るという内容を発散と磁束で表現する
- 微分形では、電場の発散が電荷密度に比例する
- 積分形では、閉曲面を通過する電束が、その表面内に含まれる総電荷と等しい
- 電気力線は正電荷から出て負電荷へ入る向きに描かれる
- 電場の強さは点電荷から遠ざかるほど、逆二乗則に従って
1/r²で弱くなる - 真空の誘電率
ε0は、真空が電気力線をどれだけ通すかを表す定数である
- Gaussの磁場の法則は、磁場の発散が常に0であると述べる
- 磁場には電荷に相当する磁気単極子がないと解釈される
- 閉曲面を通る総磁束は常に0である
- 磁力線は電気力線のように電荷から始まったり終わったりせず、常に自分自身へ戻る閉じたループを作る
- 球、立方体、トーラスなど、どのような閉曲面でも、外へ出る磁束と内へ入る磁束が相殺される
- Faradayの法則は、時間とともに変化する磁場が循環する電場を誘導すると述べる
- 磁束が増加すると、その変化に反対する向きの循環電場が生じる
- 磁束が減少すると、反対向きの循環電場が作られる
- 変化に反対する方向性はLenzの法則と呼ばれる
- 誘導電場は、電荷から始まったり終わったりする電場とは異なり、力線が自分自身で閉じたループを作る
- この法則は、閉回路で電荷を動かして電流を作れるようにし、発電機と機械エネルギーから電気エネルギーへの変換を可能にする
- Ampere-Maxwellの法則は、電流または時間とともに変化する電場が循環する磁場を誘導すると述べる
- 左辺は磁場のカールを表す
- 右辺は電流密度と電場の時間変化率を含む
- 電流は、ある断面積を通る電荷の流量として定義されるが、単に電線内の電子の移動だけを意味するわけではない
- 電流密度
Jは、電流方向に垂直な単位断面積を通過する電荷量を表す - 流れる電流がなくても、時間とともに変化する電場は磁場を作ることができる
- 積分形のAmpere-Maxwellの法則は、閉じた磁気経路の線積分を、閉曲面を貫く正味電流と電束の変化率で表現する
- 表面を一方向に貫く電流は正味電流に寄与する
- 同じ電流が両方向に表面を貫くと、正味電流は0になることがある
- 真空の誘電率
ε0と真空の透磁率μ0はε0 μ0 = 1/c²の関係を持ち、Gaussian単位系では消える次元定数として扱われる
電場と磁場の統合
- 電場と磁場は2つの独立した場ではなく、1つの電磁場と見ることができる
- 電磁波では、電場ベクトル、磁場ベクトル、伝播方向が3次元で互いに整列する
- 電場ベクトルと磁場ベクトルは互いに垂直である
- 一方の場の変化がもう一方の場を補完する構造を持つ
- 磁場は相対論的効果を含む電場として説明できる
- 電流が流れる電線の横で電子とともに動く基準系から見ると、電子は静止しているため磁気力は現れない
- 特殊相対性理論の長さの収縮により、動いている陽イオンは移動方向に圧縮され、より高い正電荷密度を持つようになる
- この基準系では、電線が正味の正電荷を帯びているように見え、電子は電気的引力で電線のほうへ引かれる
- 同じ現象は、静止した観察者には磁気力として、電子とともに動く観察者には電気力として説明される
- 真空・無電荷の空間ではMaxwell方程式を単純化でき、電場と磁場は波動方程式を満たす
1 / μ0 ε0 = c²なので、電磁波は光速で伝播する- Maxwellは光と磁気現象を同じ物質の状態と見なし、光を電磁法則に従って場を通じて伝播する電磁的擾乱として結びつけた
- Feynmanは、Maxwell方程式、電荷保存、Lorentz力の法則、運動法則、Newtonの重力法則を1つの表に収めることで、1905年までに知られていた古典物理の基本法則を要約できると考えた
1件のコメント
Hacker Newsのコメント
物理学の学位を取っていたころに、こういう資料があったら本当に良かったと思う。図が美しく、電磁気学に必要なベクトル微積分の核心概念を的確に突いている
Jackson[1]を通過儀礼のように苦労して読んだ記憶はあるが、次の世代まで同じ苦労をする理由はない。Webは本来、こういうもののためにあるのだと思う
[1]: https://en.wikipedia.org/wiki/Classical_Electrodynamics_(boo...
役に立ったなら、共有と購読をお願いしたい。Schrödinger方程式、ブラックホール、量子力学のような複雑なテーマも直感的に案内していくつもりで、最終的には数学と物理をはるかに明快かつ直感的に説明する本も書きたい。数学は理解しにくいものであるべきではない。根底では非常に単純だが、それを明快で直感的に提示することは本当に難しいと認めている。資料のかなりの部分はGrant Sanderson（3Blue1Brown）の影響を受けており、図の大半はVexlioで作った: https://vexlio.com/
Jacksonは大学院向けの電磁気学の教科書なので、数学的に難しく書かれた本だ。その本を読むころには、すでに3〜4年は電磁気学と概念的基礎を知っているべきで、目的も、学部生には難しい状況で方程式を解くことにある。学部時代に何を勉強したのか気になる
だから、あるテーマで最高の本は「2冊目に読む本」だという言い方がある。2回目に見ると、ずっと直感的に見える
その科目の期末試験は、これまで見た試験問題の中で最も短い文章だった: 「Maxwell’s Equationsを導出せよ」。Krausの本には満足していた
教育課程で最も良かった部分の一つが、電磁気学を経てMaxwell方程式の美しさにたどり着くことだった
後になって、微分幾何学でさらに圧縮すると、その美しさをもっと引き出せることも知った
http://virtualmath1.stanford.edu/~conrad/diffgeomPage/handou...
https://en.wikipedia.org/wiki/Mathematical_descriptions_of_t...
「Maxwell理論は、場（field）、つまり数学的関数を根本的なものと見なし、電磁的応力と力学的な力をその場の結果として考えるとき、初めて単純で優雅になる。その逆ではない」
場は実在するのかについての興味深い議論は多く、その対話は数世紀前にまでさかのぼる: https://youtu.be/j2oSyAfPzWg?si=BHRv8lodGhqZBtbl
彼は場を論じるとき、しばしばテレパシーに関する「疑似」科学的な仕事へとつながっていくが、その中でいちばん好きな講演はこちら: https://www.youtube.com/watch?v=GS1Drlyr37Q
説明が本当に素晴らしい。すべてが単純だが細部が豊かで、覚えて理解するには努力と集中なしでは無理だ
こうして筋が通るように説明されると、全体が魅惑的に感じられる。工学部2年のときにこの内容に取り組んで格闘したが、当時は半分もきちんと理解できなかった。こういう説明があれば、ずっと楽しく勉強できたと思う。教科書と公式の結果を理解できるほど賢くなかったために、テーマそのものに魅了される機会を逃していた気がする
こういう記事は好きだが、みんな幾何代数ではなくベクトル代数から始めるという同じ間違いをしている
3次元空間ではベクトル代数はうまく機能するが、2次元や4次元の状況では完全に崩れる。直感的だったものが、ある時点で完全に破綻する。同じスタイルの記事でありつつ、適切なところで bivector のようなものを使い、全体が3次元空間だけでなく4次元時空へきれいに一般化されているとよいと思う
ベクトル解析はかなり直感的で学びやすいうえ、工学と物理学の世界に完全に定着している。100年が経った今、実務で使っている人たちが Maxwell 方程式4本を幾何代数の方程式1本にするために表記法を変えることはないだろう。Gibbs のベクトル解析は流体力学や他の工学分野でも使われており、流体力学の研究者に幾何代数の利点を訴える流れもほとんど見たことがない。誰かが幾何積で Navier-Stokes 方程式を表した孤独な研究者を持ち出すことはできるかもしれないが、それで何が変わるのかわからない。伝統的なベクトル解析は誰もが話せる言語で、幾何代数は同じことを言う別の方法にすぎないのに、なぜ変えるのかと思う
こうした内容を一般向けに提示するアイデアがあれば教えてほしいし、喜んでアプローチを修正する
要約すると、幾何代数の幾何積は次数が混ざった微分形式なのでかなり奇妙だ。単に微分形式として考えればよいのでは？ Maxwell 方程式は dF=0, d*F = J と非常にすっきり要約できる
すべてのベクトル解析の講師は、学生に勾配、発散、回転の直感的、つまり視覚的・物理的な意味を教えるべきだ
Stokes の定理や Gauss の定理のような結果の背後にある直感も同様だ。証明に関心のない工学系の学生でも、その直感は理解できるようにすべきだ
Maxwell の元の方程式は、光と電気を結び付けたものだった。元の20個の方程式には20個の未知数があり、誰も理解できなかった四元数ベースの表記を使っていた。
Heaviside は Maxwell の20個の方程式をベクトル解析で4つの方程式に書き直し、単純化には役立ったが、代償がなかったわけではないと思う。現代世界にもまだ説明されていないことは多く、特に個人の人間的体験に関わるものについてはそう感じる。タクシー運転手として働く中で、こうしたものを垣間見る機会があり、自分が疑問に思っていたことを解いてくれる人たちに出会った。電磁気学と重力の間には何らかのつながりがあるはずだが、まだ突き止められていない。Bing CoPilot が私の質問に対してこの Wikipedia 記事を引用したのだが、自分のレベルを超えているので、誰か噛み砕いて説明してくれるとありがたい: https://en.wikipedia.org/wiki/Gravitoelectromagnetism
誰にも聞かれていない Heaviside 豆知識をもう一つ付け加えると、彼は部分分数分解を素早く行う「被覆」法を作った人物でもある[2]
[1] https://www.thp.uni-koeln.de/gravitation/mitarbeiter/hehl/Ma...
[2] https://math.mit.edu/~jorloff/suppnotes/suppnotes03/h.pdf
彼が四元数を取り除いたのは確かだが、Maxwell も四元数を大々的に活用していたわけではなく、常にスカラー部分とベクトル部分に分けていたので、その差は小さく見える。より大きな違いは、Maxwell がスカラーポテンシャルとベクトルポテンシャルで表現していた点で、これは QED では必ずそうしなければならない方式である。一方 Heaviside はこれをなくし、電場と磁場だけを残した。Heaviside 流の4つの方程式を導くには Maxwell の7つの方程式が必要であることを確認した。四元数を真面目に受け止めるなら、自然単位を使って有名な4つの方程式をわずか2つに書ける:
∇E + dB/dt = -ρ
∇B - dE/dt = J
一般相対性理論のある形式的特徴が、電磁気学でいう数学的構造におおよそ対応する、という程度であり、2つの理論の基礎にある対称性は互いに異なるという但し書きが付く
Terence Tao は、なぜ誰もリーマン予想を証明できていないのかと問われたとき、現時点では証明に適した道具がないからだと答えたことがある。数学者ではないが、四元数はリーマン予想を証明する強力な道具の一つになりそうだという強い感覚がある。音波のような他の波と違い、電磁波には独特の偏光性質がある。電磁気に基づく現象を完全かつ正しくモデル化するには、四元数ベースの定式化と表現が必要である。既存の無線変調の大半が偏光を活用していない理由の一つは、マイクロ波および無線エンジニアの多くが四元数に慣れていないからだ。皮肉なことに、こうした偏りは初期の数学者や科学者が複素数に強く反対していた態度に似ており、今では OFDM のような現代の無線変調の多くが複素数を使っている。幾何代数と四元数を使って Maxwell 方程式を導出する記事はここにあり、1つの優雅な方程式に要約できる[1][2]
[1] Maxwell’s eight equations as one quaternion equation:
https://pubs.aip.org/aapt/ajp/article/46/4/430/1050887/Maxwe...
[2] A derivation of the quaternion Maxwell’s equations using geometric algebra:
https://peeterjoot.com/2018/03/05/a-derivation-of-the-quater...
よければもっと聞かせてほしい。多少神秘主義的な話でも、誰も読んでいないふりをすればいい
電場と磁場の相対論的等価性については、ここも参考になる:
https://physics.stackexchange.com/questions/489291/how-did-e...
Sussman と Wisdom は古典的な SICP の Scheme 本にならって Structure and Interpretation of Classical Mechanics という本を書いたが、電磁気学にも似たアプローチを試みた人がいるのか気になる
したがって Maxwell 方程式は、古典力学という大きな体系に属する理論の一つである。望むなら、場の中の荷電粒子など、さまざまな実験構成についてラグランジアン密度やハミルトニアンを書き、Maxwell 方程式を導出できる。そうした論文もいくつかある。SICM の形式主義を使えない理由もない。有用な練習かどうかは分からない
第6章だと思う
画面にお金を投げているのに、何も起きない
この記事と関連トピックで、ぜひ本を作ってほしい。本当に文章がうまい。