導出が止まる原因は、式変形の“飛び”にある。
流体で頻出する定理を「何に使うか → 最短の証明 → 典型の使い方」で一枚にまとめる。
結論
3つだけ覚え方を変える：定理名ではなく「変換の方向」で持つ。
流体力学の導出で本当に使う定理は、実は“数個の変換”に集約されます。
代表は、面積分→体積積分（発散定理）、曲線積分→面積分（ストークスの定理）、
そして「追いかける微分」へ変換（レイノルズの輸送定理）です。
定理名を覚えるより、何が何に変わるか（面→体積、線→面、固定→追跡）を固定すると、
導出で迷子になりません。今日はそのための“証明つき最短まとめ”です。
この記事では、証明は「何を仮定して、どこで何を使うか」だけが見える最短ルートに絞ります。
厳密な位相条件などは踏み込みません（流体の導出に必要な範囲だけ）。
あるある
“定理を知ってる”のに、導出で使えない。
「発散定理は知ってる」「ストークスの定理は見たことある」。
でも導出の途中で急に面積分が体積積分になった瞬間、手が止まる。
それは“証明の流れ”が頭に無いからです。
シママ、定理って“知っとる”のに、導出で使えんときあるたいね。
今日はそこを潰すばい。証明は短く、でも飛ばさん。
ほんとそれ…。名前だけ覚えても、変形の根拠が言えないのよ。
“なぜ変えていいか”が分かる形でまとめて。
よか。定理名は飾りたい。大事なのは「線→面」「面→体積」「固定→追跡」。これで勝てる。
本文
頻出定理を「使いどころ→最短証明→使い方」で並べる。
1) ガウスの発散定理（面積分→体積積分）
使いどころ：表面力や流束の面積分を、体積の中の式（発散）に落とす。
$$\oint_{\partial V}\mathbf{a}\cdot\mathbf{n}\,dA=\int_V \nabla\cdot\mathbf{a}\,dV$$
最短証明（アイデア）
1) まず微小直方体（辺 $dx,dy,dz$）で成り立つことを示す。
2) 直方体を敷き詰めて足し合わせると、内部面の流束は隣同士で相殺し、境界面だけが残る。
3) 極限で一般形に拡張する。
（1）微小直方体での計算
$x$方向の2面だけ見ると、流束差は $a_x(x+dx)-a_x(x)\approx (\partial a_x/\partial x)\,dx$。面積 $dy\,dz$ を掛ける。
$$\text{（x面からの寄与）}\approx \frac{\partial a_x}{\partial x}\,dx\,dy\,dz$$
同様に $y,z$ も足すと
$$\oint_{\partial V}\mathbf{a}\cdot\mathbf{n}\,dA\approx \left(\frac{\partial a_x}{\partial x}+\frac{\partial a_y}{\partial y}+\frac{\partial a_z}{\partial z}\right)dx\,dy\,dz=(\nabla\cdot\mathbf{a})\,dV$$
典型：流束項 $-\oint_{\partial V}\rho\phi(\mathbf{u}\cdot\mathbf{n})\,dA$ を体積積分へ。
$$-\oint_{\partial V}\rho\phi(\mathbf{u}\cdot\mathbf{n})\,dA=-\int_V \nabla\cdot(\rho\phi\mathbf{u})\,dV$$
2) ストークスの定理（曲線積分→面積分）
使いどころ：循環（線積分）を渦度（回転）の面積分に変える。渦や循環の議論の土台。
$$\oint_{\partial S}\mathbf{A}\cdot d\mathbf{l}=\int_S (\nabla\times\mathbf{A})\cdot\mathbf{n}\,dA$$
最短証明（アイデア）
1) 微小長方形で線積分を計算すると、一次近似で「回転の成分×面積」になる。
2) 面を微小パッチに分割して足し合わせると、内部の辺は逆向きに打ち消し合い、境界だけが残る。
3) 極限で一般形へ。
（1）微小長方形（x–y平面）
長方形の周回線積分は、一次近似で $(\partial A_y/\partial x-\partial A_x/\partial y)\,dx\,dy$ になる。
$$\oint \mathbf{A}\cdot d\mathbf{l}\approx \left(\frac{\partial A_y}{\partial x}-\frac{\partial A_x}{\partial y}\right)dx\,dy=(\nabla\times\mathbf{A})_z\,dA$$
典型：速度場 $\mathbf{u}$ の循環 $\Gamma$。
$$\Gamma=\oint_{\partial S}\mathbf{u}\cdot d\mathbf{l}=\int_S (\nabla\times\mathbf{u})\cdot\mathbf{n}\,dA$$
3) レイノルズの輸送定理（固定→追跡、積分と時間微分の交換）
使いどころ：物質体積（流体と一緒に動く領域）の中の量の時間変化を、検査体積（固定領域）で書き直す。保存則導出の心臓部。
$$\frac{d}{dt}\int_{V(t)} \phi\,dV=\int_{V(t)}\frac{\partial \phi}{\partial t}\,dV+\oint_{\partial V(t)}\phi(\mathbf{u}\cdot\mathbf{n})\,dA$$
最短証明（アイデア）
1) 時刻 $t$ の体積 $V(t)$ と、$t+\Delta t$ の体積 $V(t+\Delta t)$ の差分を見る。
2) 境界が速度 $\mathbf{u}$ で動くので、体積差は「境界の薄い殻（厚み $\mathbf{u}\cdot\mathbf{n}\Delta t$）」で表せる。
3) その殻に入ってくる量が面積分の流束項になり、内部の時間変化が体積積分の $\partial\phi/\partial t$ になる。
結果として、上の式が得られる（$\Delta t\to 0$）。
典型：$\phi=\rho$ を入れると質量保存の積分形が出る（ここから局所形へ）。
さらに、スカラー場を粒子に沿って追う微分は
$$\frac{D\phi}{Dt}=\frac{\partial \phi}{\partial t}+\mathbf{u}\cdot\nabla\phi$$
となる（局所＋移流）。
4) 勾配定理（線積分の基本：ポテンシャル差）
使いどころ：保存力場（ポテンシャル）があるとき、線積分が端点差になる。エネルギー形の整理で便利。
$$\int_C \nabla f\cdot d\mathbf{l}=f(\mathrm{end})-f(\mathrm{start})$$
最短証明
曲線 $\mathbf{x}(s)$ に沿って $f(\mathbf{x}(s))$ を微分すると
$$\frac{d}{ds}f(\mathbf{x}(s))=\nabla f\cdot\frac{d\mathbf{x}}{ds}$$
両辺を $s$ で積分すれば端点差になる。
5) 任意体積の補題（積分形→局所形への最後の一歩）
使いどころ：「任意の体積で成り立つ」から「被積分が0」へ落とす。保存則を局所形にする最後の論理。
$$\forall V:\ \int_V f(\mathbf{x})\,dV=0\ \Rightarrow\ f(\mathbf{x})=0\ \text{（ほとんど至る所）}$$
最短説明
もしある点近傍で $f>0$ が成り立つなら、その近傍だけを含む小体積を取ると積分は正になって 0 にならない。
同様に $f<0$ も矛盾。だから $f$ はほぼどこでも 0。
6) まとめ：導出での“役割”だけ覚える
面→体積：発散定理（流束・表面力を体積の発散へ）
線→面：ストークスの定理（循環を回転の面積分へ）
固定↔追跡：レイノルズ輸送定理（保存則の時間微分を扱う）
端点差：勾配定理（ポテンシャルがあるときの線積分）
積分→局所：任意体積の補題（被積分一致で落とす）
これなら整理できる。“定理名”じゃなくて“何が何に変わるか”で持てばいいのね。
証明が短いのも助かる。導出で飛ばされる部分が、ちゃんと見える。
よかね。導出って、結局この変換を何回かやっとるだけたい。
あとは “どの段で何を使ったか” を自分で言えるようになったら完成ばい。
テンプレ
導出が止まったときの復帰手順。
（1）積分の種類を確認
線積分？面積分？体積積分？時間微分が絡む？
（2）変換の方向を選ぶ
線→面：ストークス／面→体積：発散定理／固定↔追跡：輸送定理
（3）最後に局所形へ
任意体積の補題で被積分を一致させる。
落とし穴
定理を“記号変換”としてしか見ない。
落とし穴は一つ。定理を「見た目を変えるだけ」として扱うことです。
実際は「内部の密度」と「境界の総和」を繋ぐ橋で、物理量の解釈が変わります。
橋の意味が分かると、式変形が“勝手に”見えるようになります。
締め
証明は、導出のための道具。
証明は暗記用じゃなか。導出で「ここ変えてよか？」って自分に許可出すための根拠たい。
変換の方向で持てたら、もう十分強いばい。
“許可出す”って表現、妙にしっくりくるのよね…。
でも確かに、根拠が頭にあると手が止まらない。今日は助かった。