6
大学数学基礎解説
文献あり

微分方程式と解析接続

657
0
$$\newcommand{a}[0]{\alpha} \newcommand{Aut}[0]{\operatorname{Aut}} \newcommand{b}[0]{\beta} \newcommand{C}[0]{\mathbb{C}} \newcommand{d}[0]{\delta} \newcommand{D}[0]{\tilde{D}} \newcommand{dis}[0]{\displaystyle} \newcommand{e}[0]{\varepsilon} \newcommand{F}[4]{{}_2F_1\left(\begin{matrix}#1,#2\\#3\end{matrix};#4\right)} \newcommand{farc}[2]{\frac{#1}{#2}} \newcommand{G}[0]{\Gamma} \newcommand{g}[0]{\gamma} \newcommand{Gal}[0]{\operatorname{Gal}} \newcommand{H}[0]{\mathbb{H}} \newcommand{id}[0]{\operatorname{id}} \newcommand{Im}[0]{\operatorname{Im}} \newcommand{Ker}[0]{\operatorname{Ker}} \newcommand{l}[0]{\left} \newcommand{L}[0]{\Lambda} \newcommand{la}[0]{\lambda} \newcommand{La}[0]{\Lambda} \newcommand{Li}[0]{\operatorname{Li}} \newcommand{li}[0]{\operatorname{li}} \newcommand{M}[4]{\begin{pmatrix}#1& #2\\#3& #4\end{pmatrix}} \newcommand{N}[0]{\mathbb{N}} \newcommand{o}[0]{\omega} \newcommand{O}[0]{\Omega} \newcommand{ol}[1]{\overline{#1}} \newcommand{ord}[0]{\operatorname{ord}} \newcommand{P}[0]{\mathfrak{P}} \newcommand{p}[0]{\mathfrak{p}} \newcommand{p}[0]{\tilde{p}} \newcommand{q}[0]{\mathfrak{q}} \newcommand{Q}[0]{\mathbb{Q}} \newcommand{r}[0]{\right} \newcommand{R}[0]{\mathbb{R}} \newcommand{Re}[0]{\operatorname{Re}} \newcommand{s}[0]{\sigma} \newcommand{t}[0]{\theta} \newcommand{u}[0]{\tilde{u}} \newcommand{ul}[1]{\underline{#1}} \newcommand{vp}[0]{\varphi} \newcommand{vt}[0]{\vartheta} \newcommand{Z}[0]{\mathbb{Z}} \newcommand{z}[0]{\zeta} \newcommand{z}[0]{\tilde{z}} \newcommand{ZZ}[1]{\mathbb{Z}/#1\mathbb{Z}} \newcommand{ZZt}[1]{(\mathbb{Z}/#1\mathbb{Z})^\times} $$

はじめに

 この記事では微分方程式の解の解析接続とモノドロミーについて要所を掻い摘んで解説していきます。
 以下では$D$上正則な係数$p_1(z),p_2(z),\cdots,p_n(z)$を持つ微分方程式
$$\frac{d^nu}{dz^n}+p_1(z)\frac{d^{n-1}u}{dz^{n-1}}+\cdots+p_n(z)u=0$$
を考えます。

基本群

基本群

 連続写像$\vp:[0,1]\to D$であって$\vp(0)=\vp(1)=a$を満たすものを$a$を基点とする閉曲線と言う。
 $a$を基点とする閉曲線$\vp,\vp'$に対しその$\vp\cdot\vp'$
$$\vp\cdot \vp'(t)=\l\{\begin{array}{lc}\vp(2t)&(0\leq t\leq1/2)\\\vp'(2t-1)&(1/2\leq t\leq1)\end{array}\r.$$
によって定める。
 また$\vp$$\vp'$に対し連続写像$h:[0,1]\times[0,1]\to D$であって
$$h(s,0)=h(s,1)=a,\quad h(0,t)=\vp(t),\quad h(1,t)=\vp'(t)$$
を満たすようなものが存在するとき$\vp$$\vp'$ホモトピー同値であると言う。
 $a$を基点とする$D$内の閉曲線全体$C(D,a)$をホモトピー同値で割った集合$C(D,a)/\simeq$のことを$a$を基点とする$D$の基本群と言い$\pi_1(D,a)$と表す。基本群の元$[\vp],[\vp']$に対し積
$$[\vp]\cdot[\vp']:=[\vp\cdot\vp']$$
はwell-definedに定まり、$\pi_1(D,a)$はこの演算について群を成す。

 $\vp$$\vp'$がホモトピー同値であるとは簡単に言うと$\vp$$\vp'$が($D$内での)連続変形によって写り合うことを表している。
 例えば$D$が単連結領域であれば任意の$\vp,\vp'$はホモトピー同値となる。また例えば$D=\C\setminus\{0\}$において$\vp(t)=e^{2\pi it},\vp'(t)=2-e^{2\pi it}$のように定めると、$\vp$はどのように連続変形しても$z=0$をその"外側"に出すことはできないので$\vp'$とはホモトピー同値にはなり得ない。
 一般に次のような事実が知られている。

 $D$$\C$から丁度$m$$a_1,a_2,\ldots,a_m$を除いた領域であるとき、任意の$a\in D$に対して$\pi_1(D,a)$$m$個の生成元を持つ自由群となる。
 特に$\vp_k$$a_k$を一周し、その他の点を周回しないような閉曲線とすると
$$\pi_1(D,a)=\langle[\vp_1],[\vp_2],\ldots,[\vp_m]\rangle$$
が成り立つ。

解析接続とモノドロミー

 連続曲線$\vp:[0,1]\to D$について、各$t$に対し$z=\vp(t)$の円盤近傍$U_t$上定義された正則関数$F_t$
・任意の$t_0\in(0,1)$に対し、区間$I=(t_1,t_2)\ni t_0$$\vp(I)\subset U_{t_0}$を満たすように任意に取ったとき、任意の$t\in I$に対し$U_t\cap U_{t_0}$$F_t\equiv F_{t_0}$が成り立つ。
を満たすとき、その族$\{F_t\}$曲線$\vp$に沿う$F=F_0$の解析接続であると言う。

解の存在と一意性

 微分方程式
$$\frac{d^nu}{dz^n}+p_1(z)\frac{d^{n-1}u}{dz^{n-1}}+\cdots+p_n(z)u=0\qquad\cdots(\bigstar)$$
の係数$p_1(z),p_2(z),\cdots,p_n(z)$$D$上正則であれば、初期値
$$u^{(k)}(a)=b_k\quad(k=0,1,\ldots,n-1)$$
を満たす正則な解$u$が、$a$を含む任意の単連結領域$D_a\subset D$においてただ一つ定まる。
 特にこの微分方程式の$D_a$上の解全体を$V_a$とおくと、これは$n$次元$\C$-線形空間となる。

解の解析接続可能性

 上のような解$u$$a$を始点とする任意の連続曲線$\vp$に沿って解析接続でき、それによって得られる関数$u_t$も上の微分方程式を満たす。

 いま$u\in V_a$$a$を基点とする閉曲線$\vp$によって解析接続したとき、その終点において定まる関数$v=u_1$$V_a$に含まれることになる。特にこの対応による線形写像
$$\rho_{\vp}:V_a\to V_a,\quad u\mapsto v$$
はホモトピー同値によって不変であり
$$\rho_{[\vp]}\circ\rho_{[\vp']}=\rho_{[\vp]\cdot[\vp']}$$
を満たすことがわかるので、これによって準同型
$$\rho:\pi_1(D,a)\to GL(V_a)$$
が得られる(ただし$GL(V)$は一般線形群、つまり$V$の線形自己同型全体とした)。
 この準同型$\rho$のことを($a$を基点とする)$(\bigstar)$モノドロミー表現と言う。

 一般に群$G$の元をある線形空間$V$の自己同型に対応させる準同型写像$G\to GL(V)$のことを群の表現と言う。

 また適当に$V_a$の基底$u_1,u_2,\ldots,u_n$を取り、この基底に関する$\rho_{[\vp]}$の表現行列、つまり
$$\begin{bmatrix}\rho_{[\vp]}(u_1)&\rho_{[\vp]}(u_2)&\cdots&\rho_{[\vp]}(u_n)\end{bmatrix} =\begin{bmatrix}u_1&u_2&\cdots&u_n\end{bmatrix}M_{[\vp]}$$
によって定まる準同型
$$M:\pi_1(D,a)\to GL(n,\C)$$
を考えたとき、この像の定める$GL(n,\C)$の部分群のことを基底$u_1,u_2,\ldots,u_n$に関するモノドロミー群と言う。

 例えば$D=\C\setminus\{0\}$上正則な係数を持つ微分方程式
$$\frac{d^2u}{dz^2}+\frac1z\frac{du}{dz}=0$$
を考えると、これは$z\neq0$において
$$u=A+B\log z=\begin{bmatrix}1&\log z\end{bmatrix}\begin{pmatrix}A\\B\end{pmatrix}$$
と解ける。またこれの$\vp(t)=e^{2\pi it}$に沿った解析接続を考えると
$$\rho_{[\vp]}(u)=A+B(\log z+2\pi i) =\begin{bmatrix}1&\log z\end{bmatrix}\M1{2\pi i}01\begin{pmatrix}A\\B\end{pmatrix}$$
と変換されることとなる。したがってこの微分方程式の基本解$1,\log z$に関するモノドロミー群は
$$\l\langle\M 1{2\pi i}01\r\rangle=\l\{\M1{2\pi in}01\mid n\in\Z\r\}$$
となる。

 また例えば微分方程式
$$\frac{du}{dz}-\frac{\a}{z}u=0$$
を考えると、これは$z\neq0$において
$$u=Az^\a$$
と解け、これは
$$\rho_{[\vp]}(u)=Ae^{\a(\log z+2\pi i)}=Ae^{2\pi i\a}z^\a$$
と解析接続される。したがってモノドロミー群は
$$\langle e^{2\pi i\a}\rangle=\{e^{2\pi in\a}\mid n\in\Z\}$$
となる。

普遍被覆面

 上ではモノドロミー表現を基本群を用いて定義したが、これは被覆面の理論を使うことでより扱いやすい形に書き換えることができる。そのことについても以下で見ていこう。

普遍被覆面

 位相空間$D'$から領域$D$への全射連続写像$p$であって
・任意の$z\in D$に対してある開近傍$U\ni z$が存在し、$p^{-1}(U)$の任意の連結成分$V$に対し$p|_V:V\to U$は位相同型となる。
を満たすものが存在するとき$D'$$D$被覆面であると言う。
 特に(弧状連結かつ)単連結な被覆面のことを普遍被覆面と言う。

 被覆面を定める写像(被覆写像)の条件は次のようにも言い換えられる。

  • 任意の$z\in D$に対して$p^{-1}(z)$$D'$において離散位相を持つ。
  • またある開近傍$U\ni z$が存在して同相$\psi:p^{-1}(U)\to U\times p^{-1}(z)$が成り立つ。
  • 特に第一成分への射影を$\pi$とおくと$p|_{p^{-1}(U)}=\pi\circ\psi$が成り立つ。

このように被覆面は局所的に$U$を"束ねた"空間となっており、$p^{-1}(U)$の各連結成分のことを$U$上のシート$p^{-1}(z)$のことを$z$上のファイバーとも呼ばれる。
 なお以下でも触れるように$D$$\C$内の領域としていたことから$D'$には自然に二次元実多様体としての構造が入り、それゆえに被覆"面"と呼んでいることに注意する。ちなみに一般の位相空間$Y$に対する被覆$X$は単に被覆空間と呼ばれる。

被覆変換群

 被覆$D'\overset{p}{\to}D$について、$D'$の位相自己同型$\s$であって$p\circ\s=p$を満たすものを$D'\overset{p}{\to}D$被覆変換、被覆変換全体のなす群のことを被覆変換群と言い$\G(D'\overset{p}{\to}D)$と表す。
 また任意の$z\in D$および$z_1,z_2\in p^{-1}(z)$に対し$z_1=\s(z_2)$を満たすような被覆変換$\s$が存在するような被覆のことをガロア被覆(または正則被覆や正規被覆)と言う。

 次の主張は代数学におけるガロア理論の基本定理に酷似した非常に興味深い定理となっている。

 被覆$D'\overset{p}{\to}D$において$p$による$D'$内の閉曲線は$D$内の閉曲線に写され、これによって定まる準同型
$$p_*:\pi_1(D',z')\to\pi_1(D,z)\quad(z=p(z'))$$
は単射となる。
 また$\pi_1(D,z)$の任意の部分群$\G'$に対しある被覆$D'\overset{p}{\to}D$が存在し$\G'=p_*(\pi_1(D',z'))$が成り立つ(特に$D$の被覆全体に対しある同値関係を入れることでこの対応は一対一となる)。
 特に$\G'$$\pi_1(D,z)$の正規部分群であることと$D'\overset{p}{\to}D$がガロア被覆であることは同値であり、このとき同型
$$\pi_1(D,z)/\G'\simeq\G(D'\overset{p}{\to}D)$$
が成り立つ。

 任意の領域$D$に対し普遍被覆面$D'$が存在し、同型
$$\pi_1(D,z)\simeq\G(D'\overset{p}{\to}D)$$
が成り立つ。

微分方程式と普遍被覆面

 被覆面$\D$には各点$\z\in\D$に対して適当なシート$V_{\z}$を取り局所座標系$p|_{V_{\z}}$を入れることで自然に複素多様体、つまりリーマン面の構造が備わる。一応リーマン面の定義を提示しておこう。

リーマン面

 位相空間$X$とその開集合$U_\la$上の写像$\varphi_\la:U_\la\to\C$
$X$は連結なハウスドルフ空間
$\{U_\la\}_{\la\in\La}$$X$の被覆、つまり$X=\bigcup_{\la\in\La}U_\la$
$\varphi_\la:U_\la\to\varphi_\la(U_\la)$は同相写像
$U_\a\cap U_\b\neq\emptyset$なら$\varphi_\a\circ\varphi_\b^{-1}:\varphi_\a(U_\a\cap U_\b)\to\varphi_\b(U_\a\cap U_\b)$は正則関数
を満たすとき、$(X,\{(U_\la,\varphi_\la)\}_{\la\in\La})$リーマン面、あるいは単に$X$はリーマン面であるという。
 この各写像$\varphi_\la$のことを局所座標系$(U_\la,\varphi_\la)$のことを座標近傍、その組$\{(U_\la,\varphi_\la)\}_{\la\in\La}$のことを座標近傍系という。

 $D$上の正則関数$f$は被覆写像$p$によって被覆面$\D$上の正則関数$f\circ p$に持ち上げられる(正確には引き戻しであるが)。慣例に従ってこれを$f\circ p=p^*f$と表す。
 いまこの作用によって$D$上正則な係数を持つ微分方程式
$$\frac{d^nu}{dz^n}+p_1(z)\frac{d^{n-1}u}{dz^{n-1}}+\cdots+p_n(z)u=0$$
$\D$上正則な係数を持つ微分方程式
$$\frac{d^n\u}{dz^n}+\p_1(\z)\frac{d^{n-1}\u}{dz^{n-1}}+\cdots+\p_n(\z)\u=0$$
に持ち上げられる。特に$\D$を普遍被覆面とすると定理2,3は次のように一般化される。

解の存在と一意性

 単連結なリーマン面$\D$上正則な係数$\p_1,\p_2,\ldots,\p_n$を持つ微分方程式
$$\frac{d^n\u}{dz^n}+\p_1(\z)\frac{d^{n-1}\u}{dz^{n-1}}+\cdots+\p_n(\z)\u=0\qquad\cdots(\tilde{\bigstar})$$
は任意の初期条件
$$\u^{(k)}(\tilde{a})=b_k\quad(k=0,1,\ldots,n-1)$$
に対して$\D$上正則な解$\u$がただ一つ定まる。
 特に$(\tilde{\bigstar})$$\D$上の解全体を$V$とおくと、これは$n$次元$\C$-線形空間をなす。

 いま上のように$(\tilde{\bigstar})$の各係数$\p_k$$D$上の正則関数$p_k$を用いて$\p_k=p^*p_k$と書ける場合を考える。このとき任意の被覆変換$\g\in\G(\D\overset{p}{\to}D)$に対し$\g^*\p_k=(p\circ\g)^*p_k=\p_k$が成り立つことに注意すると$\tilde{v}=\g^*\u$$(\tilde{\bigstar})$を満たすことがわかる。特にこの作用は線形同型
$$\g^*:V\to V$$
を引き起こし、この対応によって定まる準同型
$$\G(\D\overset{p}{\to}D)\to GL(V),\quad\g\mapsto\g^*$$
のことをモノドロミー表現と言う。また$V$のある基底に関する表現行列のなす群のことをモノドロミー群と言う。

 例えば$D=\C\setminus\{0\}$の普遍被覆面として螺旋面
$$\D=\{(r\cos\t,r\sin\t,\t)\mid r,\t\in\R,r>0\}$$
および被覆写像として射影
$$p:(r\cos\t,r\sin\t,\t)\mapsto re^{i\t}$$
が取れる。またこのとき任意の被覆変換$\g$はある整数$n$を用いて
$$\g:(r\cos\t,r\sin\t,\t)\mapsto(r\cos\t,r\sin\t,\t+2\pi n)$$
と表せる。

 このことを踏まえると微分方程式
$$\frac{d^2u}{dz^2}+\frac1z\frac{du}{dz}=0$$
$\D$上で
$$\u=A+B(\log r+i\t)=\begin{bmatrix}1&\log r+i\t\end{bmatrix}\begin{pmatrix}A\\B\end{pmatrix}$$
と解け、これは被覆変換によって
$$\g^*\u=A+B(\log r+i(\t+2\pi n)) =\begin{bmatrix}1&\log r+i\t\end{bmatrix}\M1{2\pi i}01\begin{pmatrix}A\\B\end{pmatrix}$$
と変換されることとなる。

参考文献

[1]
久賀道郎, ガロアの夢:群論と微分方程式, 日本評論社, 1968
[2]
高野恭一, 常微分方程式, 朝倉書店, 2019
投稿日:2023125
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

投稿者

子葉
子葉
985
224711
主に複素解析、代数学、数論を学んでおります。 私の経験上、その証明が簡単に探しても見つからない、英語の文献を漁らないと載ってない、なんて定理の解説を主にやっていきます。 同じ経験をしている人の助けになれば。最近は自分用のノートになっている節があります。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中