微分方程式による逆関数定理の証明

多様体の局所座標を構成したり, 綺麗な局所座標変換の存在を示すのに便利なのが, 学部1~2年次に学ぶ逆関数定理です. この定理の証明としては

1. 緻密な評価を重ねて全単射性やなめらかさを直接示す.
2. 縮小写像原理を用いて逆写像を構成する.

の2つが特に有名です.
今回はそのどちらでもない第３の方法, 常微分方程式の解の存在とその微分可能性の問題に帰着させる方法を紹介しようと思います.

※本稿では常微分方程式論, 特に方程式の解の存在に関する理論(Picard-Lindelöfの定理)を学習済みの読者を想定しています.

逆関数定理の証明

はじめに逆関数定理のステートメントを思い出しておきましょう.

一見$f(0)=0$という仮定が強すぎるように見えますが, 任意の点は並行移動という微分同相によって原点に移動できるため, このように仮定しても一般性を失いません. また, $d{f}_0$は正則行列になりますから, その逆行列をかけるという微分同相により$d{f}_0=I$と仮定して一般性を失いません.

そこで以下では$d{f}_0=I$とします.

定理を示すために, 原点の周りで定義された逆写像を構成することを考えます.

問題の読み替え

ひとまず, 原点の小さな近傍$V$で定義された写像$g$で次を満たすものを構成することを考えます:
$$\begin{array}{r}f(g(y))=y.\end{array}$$
この$g$自体も微分同相になることが(当然)期待されるので, 自明な微分同相である恒等写像を変形することによって$g$を作ってみます. すなわち, ホモトピー$\phi :V\times [0,1]\to U$で

• $\phi (y,0)=y$
• $f(\phi (y,1))=y$

を満たすようなものを探します.
そのために,
$$\begin{array}{r}\eta (z,t)=tf(z)+(1-t)z\end{array}$$
とおきます(線分で結ぶイメージです). ここで, もし$\phi$が
$$\begin{array}{}\text{(1)}& \frac{\partial }{\partial t}\eta (\phi (y,t),t)=0\end{array}$$
を満たすと仮定すると,
$$\begin{array}{r}f(\phi (y,1))=\eta (\phi (y,1),1)=\eta (\phi (y,0),0)=\phi (y,0)=y\end{array}$$
となり, $g=\phi (\cdot ,1)$とおけば所与の性質を満たすことがわかります. 式$\text{(1)}$を満たす$\phi$を見つけるということはすなわち, $\phi$に関する微分方程式を解くことに他なりません. また, 写像$g$のなめらかさは, 解$\phi$の初期条件$\phi (y,0)=y$に関するなめらかさを調べることでわかります.

こうして, (右)逆写像$g$を求めよという問題が, $\phi$に関する微分方程式$\text{(1)}$の初期値問題を解けという問題に帰着されたことになります.

近傍$V$の取り方や$g$が左逆写像にもなっているかなどの細かい部分の検証も含めて, 次節以降でこの方程式やその解$\phi$について見ていこうと思います.

方程式 $\frac{\partial }{\partial t}\eta (\phi (y,t),t)=0$ を解く

先ほど導出した微分方程式$\text{(1)}$に,
$$\begin{array}{r}\eta (\phi (y,t),t)=tf(\phi (y,t))+(1-t)\phi (y,t)\end{array}$$
を代入して計算すると,
$$\begin{array}{}\text{(2)}& f(\phi (y,t))-\phi (y,t)+td{f}_{\phi (y,t)}(\frac{\partial }{\partial t}\phi (y,t))+(1-t)\frac{\partial }{\partial t}\phi (y,t)=0\end{array}$$
となります. この式を${\partial }_t\phi =\dots$の形に変形しましょう.
平均値の定理より,
$$\begin{array}{r}f(x)=f(x)-f(0)={\int }_0^1\frac{\partial }{\partial s}(f(sx))ds={\int }_0^{1}d{f}_{sx}(x)ds\end{array}$$
となるので,
$$\begin{array}{r}f(\phi (y,t))-\phi (y,t)={\int }_0^1(d{f}_{s\phi (y,t)}(\phi (y,t))-\phi (y,t))ds.\end{array}$$
ここで, $z\in {\mathbb{R}}^n$をパラメータに持つ2つの行列$T_0(z),T_1(z,t)$を,
$$\begin{array}{rl}{T}_0(z)& ={\int }_0^1(d{f}_{sz}-I)ds,\\ T_1(z,t)& =td{f}_z+(1-t)I\end{array}$$
で定義すると, 方程式$\text{(2)}$は,
$$\begin{array}{r}{T}_0(\phi (y,t))\phi (y,t)+T_1(\phi (y,t),t)\frac{\partial }{\partial t}\phi (y,t)=0\end{array}$$
と表せます. もし行列$T_1(z,t)$が逆行列を持てば, この式は
$$\begin{array}{r}\frac{\partial }{\partial t}\phi (y,t)=-T_1(\phi (y,t),t{)}^{-1}\circ T_0(\phi (y,t))\phi (y,t)\end{array}$$
と綺麗な形に変形できるのですが, このことは次の補題で正当化されます.

以下, $\delta >0$を補題2の証明中で取った$\delta$とします.
この補題により, 行列関数
$$\begin{array}{r}A(z,t)=-T_1(z,t{)}^{-1}\circ T_0(z)\end{array}$$
が$B_{\delta }$においてwell-definedになります. これを用いると, 方程式$\text{(2)}$は結局
$$\begin{array}{r}\frac{\partial }{\partial t}\phi (y,t)=A(\phi (y,t),t)\phi (y,t)\end{array}$$
となります.
仮定から, $d{f}_z$は$z$に関して$C^{r-1}$級ですので, 行列関数$A(z,t)$もまた$z$について$C^{r-1}$-級です. これにより, 常微分方程式の解の存在および初期値に関するなめらかさの理論から, $y$に関して$C^{r-1}$級になる方程式$\text{(1)}$の解$\phi (y,t)$がただ一つ存在することがわかりました.

ここまでに分かったことを定理の形でまとめておきます.

$g=\phi (\cdot ,1)$とおいて, 次節で証明の細部を詰めていきます.

$g$は微分同相

次に, 任意の$t$に対して, 写像$g:B_{\delta }\to {\mathbb{R}}^n$は像$g(B_{\delta })$の上への同相写像になることを示します.

補題2の証明をよく見ると, $\delta >0$の取り方から$t\in [-1,0]$に対しても$A(z,t)$が定義できることがわかるので, 解$\phi (y,t)$は$t\in [-1,1]$の範囲にまで拡張することができます. このとき, 常微分方程式の解の一意性から直ちに次がわかります(詳細は例えばMMの定理17.7を参照してください).

これを用いれば, $g=\phi (\cdot ,1)$が$f$の逆写像になっていることが示せます.

ここまででほぼ逆関数の定理の証明は終わったのですが, 命題3の主張を思い返すと, 逆写像$g$の微分可能性が$C^{r-1}$級までしか示せていません. 最後に$g$が$C^r$級であることを示しましょう.

以上によってめでたく逆関数定理が証明できました.

おわりに

本稿で用いた, 微分同相の存在を常微分方程式の解の存在に帰着させる手法はMoser's trickと呼ばれています. 元々は論文Moにおいて用いられた手法ですが, 例えばsymplectic幾何学におけるDarboux座標の存在やMorseの補題の証明など, 都合のいい座標変換の存在を示すのに応用されます. 本稿の証明も, 文献JJによるMorseの補題の証明を参考にしています.

追記:
2024/04/29 補題2の証明中に誤りがあったため修正. ご指摘ありがとうございました.