# 平成20年度 東大院 物理学専攻 修士 数学 解答 > 平成20年度 修士課程 数学（全2問）の解答。3次元回転群の性質・回転の固有値・交代行列の指数関数による生成と、エルミート多項式の次数・ガウス積分・複素積分による母関数・エルミートの微分方程式を扱います。 > https://rikai.mugen-giken.com/exams/utokyo-physics/master-h20-math :::caution[出典と、この解答の位置づけ] 本記事が扱う問題は、**東京大学大学院理学系研究科物理学専攻の大学院入試問題**からの引用です（引用元: [https://www.phys.s.u-tokyo.ac.jp/](https://www.phys.s.u-tokyo.ac.jp/)）。 - 掲載している**解答・解説は東京大学が公表したものではなく**、夢現技研合同会社が独自に作成したものです。誤りが含まれる可能性があります。 - 本記事に**問題文は転載していません**。問題は上記の専攻公式サイトでご確認ください。 - 本記事の内容について、東京大学および同専攻へのお問い合わせはご遠慮ください。誤りのご指摘は[お問い合わせ](/contact)までお願いします。 ::: 大問2題で、2問すべてが必答です（試験時間は60分）。第1問は3次元回転の集合 $SO(3)$ を題材に、群としての性質の真偽判定から始めて、回転の固有値、無限小回転の生成子、交代行列の指数関数が回転になることまでを一本の線でたどります。第2問は $f_n(x)=e^{x^2}(d/dx)^n e^{-x^2}$ で定義される多項式（符号を除いてエルミート多項式）の問題で、部分積分によるガウス型積分、コーシーの積分表示から母関数を導く部分、母関数が満たす偏微分方程式から各 $f_n$ の常微分方程式を取り出す部分が山になります。どちらの問題も「示せ」「説明せよ」が多く、極限操作や場合分けの詰めがそのまま得点になります。 | 問題 | 分野 | 主題 | |---|---|---| | 第1問 | 線形代数・群論・微分方程式 | 3次元回転群、回転の固有値、交代行列と行列指数関数 | | 第2問 | 特殊関数・複素解析・微分方程式 | エルミート多項式、ガウス型積分、複素積分による母関数 | ## 第1問 3次元回転群と行列指数関数 ### 設定 $R$ は3次元空間の回転を表す実 $3\times 3$ 行列全体の集合で、単位行列 $I$ も含みます。ここで回転とは、原点を固定する線形変換のうち、長さ（したがって内積）を保ち、かつ右手系を右手系に写す（行列式が正の）もの、という意味で使います。この解釈のもとで $R=SO(3)$ です。 $\Omega(\boldsymbol{n},\theta)$ は単位ベクトル $\boldsymbol{n}$ を軸とする角 $\theta$ の回転行列で、回転の正の向きは $\boldsymbol{n}$ の方向に進む右ねじを回す向きとします。任意の実3次元ベクトル $\boldsymbol{v}_0$ に対して $\boldsymbol{v}(\theta)=\Omega(\boldsymbol{n},\theta)\boldsymbol{v}_0$ と置きます。また $A(\boldsymbol{a})$ は、任意の $\boldsymbol{u}$ に対して $A(\boldsymbol{a})\boldsymbol{u}=\boldsymbol{a}\times\boldsymbol{u}$ を満たす実 $3\times 3$ 行列です。標準基底を $\boldsymbol{e}_1,\boldsymbol{e}_2,\boldsymbol{e}_3$ と書きます。 以下で繰り返し使う道具を1つ先に用意します。単位ベクトル $\boldsymbol{n}$ に対して、$(\boldsymbol{f}_1,\boldsymbol{f}_2,\boldsymbol{n})$ が右手系の正規直交系（つまり $\boldsymbol{f}_1\times\boldsymbol{f}_2=\boldsymbol{n}$、$\boldsymbol{n}\times\boldsymbol{f}_1=\boldsymbol{f}_2$、$\boldsymbol{f}_2\times\boldsymbol{n}=\boldsymbol{f}_1$）となるように $\boldsymbol{f}_1,\boldsymbol{f}_2$ を取ると、$\Omega(\boldsymbol{n},\theta)$ の作用は $$ \Omega(\boldsymbol{n},\theta)\boldsymbol{n}=\boldsymbol{n},\qquad \Omega(\boldsymbol{n},\theta)\boldsymbol{f}_1=\cos\theta\,\boldsymbol{f}_1+\sin\theta\,\boldsymbol{f}_2,\qquad \Omega(\boldsymbol{n},\theta)\boldsymbol{f}_2=-\sin\theta\,\boldsymbol{f}_1+\cos\theta\,\boldsymbol{f}_2 $$ で尽くされます。これは「軸を動かさず、軸に垂直な平面内を右ねじの向きに角 $\theta$ だけ回す」という定義をそのまま書き下したものです。 ### 設問(i) (a) ○ です。$X,Y$ が長さを保つなら合成 $XY$ も長さを保ちます。また $\det(XY)=\det X\det Y>0$ なので向きも保ちます。よって $XY$ も回転で、$R$ は行列の積について閉じています（実際 $R$ は群をなします）。 (b) × です。軸の異なる回転は一般に交換しません。$X=\Omega(\boldsymbol{e}_1,\pi/2)$、$Y=\Omega(\boldsymbol{e}_3,\pi/2)$、すなわち $$ X=\begin{pmatrix}1&0&0\\0&0&-1\\0&1&0\end{pmatrix},\qquad Y=\begin{pmatrix}0&-1&0\\1&0&0\\0&0&1\end{pmatrix} $$ を取ると $$ XY=\begin{pmatrix}0&-1&0\\0&0&-1\\1&0&0\end{pmatrix},\qquad YX=\begin{pmatrix}0&0&1\\1&0&0\\0&1&0\end{pmatrix} $$ で、たとえば $XY\boldsymbol{e}_1=(0,0,1)$ に対し $YX\boldsymbol{e}_1=(0,1,0)$ となり一致しません。 (c) ○ です。$X\in R$ は内積を保つので、任意の $\boldsymbol{u},\boldsymbol{w}$ に対して $$ {}^{t}\boldsymbol{u}\,({}^{t}XX)\,\boldsymbol{w}={}^{t}(X\boldsymbol{u})(X\boldsymbol{w})={}^{t}\boldsymbol{u}\,\boldsymbol{w} $$ が成り立ちます。$\boldsymbol{u}=\boldsymbol{e}_i$、$\boldsymbol{w}=\boldsymbol{e}_j$ と取れば $({}^{t}XX)_{ij}=\delta_{ij}$、つまり ${}^{t}XX=I$ です。これで $X$ は正則で逆行列が ${}^{t}X$ と分かるので、$X{}^{t}X=I$ も従います。 (d) × です。直交性だけでは行列式の符号が決まりません。反例は鏡映 $$ X=\begin{pmatrix}1&0&0\\0&1&0\\0&0&-1\end{pmatrix} $$ で、${}^{t}XX=X{}^{t}X=I$ を満たしますが $\det X=-1$ であり、右手系を左手系に写すので回転ではありません（$X=-I$ でも同じです）。直交行列全体 $O(3)$ のうち $\det=+1$ の部分だけが $R=SO(3)$ です。 (e) ○ です。(c) より $X$ は実直交行列なので $X^{\dagger}={}^{t}X=X^{-1}$ であり、$X^{\dagger}X=XX^{\dagger}=I$ が成り立ちます。すなわち $X$ はユニタリ行列であり、特に正規行列です。正規行列はユニタリ行列で対角化できる（スペクトル定理）ので、$U^{\dagger}XU$ が対角行列となるユニタリ $U$ が存在します。$U$ の具体形は設問(ii)(2)で作ります。 まとめると (a)○、(b)×、(c)○、(d)×、(e)○ が答えです。 ### 設問(ii)(1) $\boldsymbol{n}=(0,0,1)$ のときは設定で述べた作用そのままで、$\boldsymbol{f}_1=\boldsymbol{e}_1$、$\boldsymbol{f}_2=\boldsymbol{e}_2$ と取れて $$ \Omega(\boldsymbol{n},\theta)=\begin{pmatrix}\cos\theta&-\sin\theta&0\\ \sin\theta&\cos\theta&0\\ 0&0&1\end{pmatrix} $$ です。固有方程式は $$ \det\bigl(\Omega-\lambda I\bigr)=(1-\lambda)\bigl\{(\cos\theta-\lambda)^2+\sin^2\theta\bigr\}=(1-\lambda)\bigl(\lambda^2-2\lambda\cos\theta+1\bigr)=0 $$ となり、$\lambda^2-2\lambda\cos\theta+1=0$ の根は $\lambda=\cos\theta\pm i\sin\theta$ です。答えは $$ \lambda=1,\quad e^{i\theta},\quad e^{-i\theta} $$ の3つです。検算として $\operatorname{Tr}\Omega=1+2\cos\theta$ が固有値の和 $1+e^{i\theta}+e^{-i\theta}$ に、$\det\Omega=1$ が積 $1\cdot e^{i\theta}\cdot e^{-i\theta}$ に一致します。 ### 設問(ii)(2) 任意の単位ベクトル $\boldsymbol{n}$ についても固有値は同じで、答えは $\lambda=1,\ e^{i\theta},\ e^{-i\theta}$ です。 理由は基底の取り替えです。設定で用意した右手系正規直交系 $(\boldsymbol{f}_1,\boldsymbol{f}_2,\boldsymbol{n})$ を列に並べた行列を $P=(\boldsymbol{f}_1\ \boldsymbol{f}_2\ \boldsymbol{n})$ とすると $P$ は直交行列で、$\Omega(\boldsymbol{n},\theta)$ のこの基底での表現行列は設定で書いた作用より設問(ii)(1) と同じ形の行列 $M(\theta)$ になります。すなわち $$ \Omega(\boldsymbol{n},\theta)=P\,M(\theta)\,{}^{t}P,\qquad M(\theta)=\begin{pmatrix}\cos\theta&-\sin\theta&0\\ \sin\theta&\cos\theta&0\\ 0&0&1\end{pmatrix} $$ です。相似変換で固有値は変わらないので、設問(ii)(1) の結果がそのまま使えます。 固有ベクトルも書き下せます。設定の作用から $$ \Omega(\boldsymbol{n},\theta)(\boldsymbol{f}_1\mp i\boldsymbol{f}_2)=e^{\pm i\theta}(\boldsymbol{f}_1\mp i\boldsymbol{f}_2),\qquad \Omega(\boldsymbol{n},\theta)\boldsymbol{n}=\boldsymbol{n} $$ が直接確かめられます。$(\boldsymbol{f}_1-i\boldsymbol{f}_2)/\sqrt{2}$、$(\boldsymbol{f}_1+i\boldsymbol{f}_2)/\sqrt{2}$、$\boldsymbol{n}$ はエルミート内積について正規直交なので、これらを列に並べた $U$ はユニタリで $$ U^{\dagger}\,\Omega(\boldsymbol{n},\theta)\,U=\begin{pmatrix}e^{i\theta}&0&0\\0&e^{-i\theta}&0\\0&0&1\end{pmatrix} $$ となります。これが設問(i)(e) の $U$ の具体形です。 ### 設問(ii)(3) 同じ軸のまわりの回転は角度が足し算になります。実際、設定の基底 $(\boldsymbol{f}_1,\boldsymbol{f}_2,\boldsymbol{n})$ では $\Omega(\boldsymbol{n},\theta)$ は $M(\theta)$ で表され、三角関数の加法定理から $M(\Delta\theta)M(\theta)=M(\theta+\Delta\theta)$ が成り立つので $$ \boldsymbol{v}(\theta+\Delta\theta)=\Omega(\boldsymbol{n},\theta+\Delta\theta)\boldsymbol{v}_0=\Omega(\boldsymbol{n},\Delta\theta)\,\boldsymbol{v}(\theta) $$ です。つまり、$\theta$ から $\theta+\Delta\theta$ への変化は、いまの位置 $\boldsymbol{v}(\theta)$ を軸 $\boldsymbol{n}$ のまわりに $\Delta\theta$ だけ回すことに等しくなります。 そこで $\boldsymbol{u}=\boldsymbol{v}(\theta)$ を軸に平行な成分と垂直な成分に分けます。 $$ \boldsymbol{u}_{\parallel}=(\boldsymbol{n}\cdot\boldsymbol{u})\boldsymbol{n},\qquad \boldsymbol{u}_{\perp}=\boldsymbol{u}-\boldsymbol{u}_{\parallel} $$ $\boldsymbol{u}_{\perp}\neq\boldsymbol{0}$ の場合を先に扱います。$\rho=|\boldsymbol{u}_{\perp}|>0$ と置き、$\boldsymbol{f}_1=\boldsymbol{u}_{\perp}/\rho$、$\boldsymbol{f}_2=\boldsymbol{n}\times\boldsymbol{f}_1$ と取れば $(\boldsymbol{f}_1,\boldsymbol{f}_2,\boldsymbol{n})$ は右手系の正規直交系です。回転は軸方向成分を動かさず、垂直成分を $\boldsymbol{f}_1\boldsymbol{f}_2$ 平面内で $\Delta\theta$ 回すので $$ \Omega(\boldsymbol{n},\Delta\theta)\boldsymbol{u}=\boldsymbol{u}_{\parallel}+\rho\bigl(\cos\Delta\theta\,\boldsymbol{f}_1+\sin\Delta\theta\,\boldsymbol{f}_2\bigr) $$ となります。ここで $\rho\boldsymbol{f}_2=\boldsymbol{n}\times\boldsymbol{u}_{\perp}=\boldsymbol{n}\times\boldsymbol{u}$（$\boldsymbol{n}\times\boldsymbol{u}_{\parallel}=\boldsymbol{0}$ を使いました）なので $$ \boldsymbol{v}(\theta+\Delta\theta)-\boldsymbol{v}(\theta)=(\cos\Delta\theta-1)\,\boldsymbol{u}_{\perp}+\sin\Delta\theta\,\bigl(\boldsymbol{n}\times\boldsymbol{u}\bigr) $$ が厳密に成り立ちます。$\cos\Delta\theta-1=-\Delta\theta^2/2+O(\Delta\theta^4)$、$\sin\Delta\theta=\Delta\theta+O(\Delta\theta^3)$ より、$\Delta\theta$ の1次までで $$ \boldsymbol{v}(\theta+\Delta\theta)-\boldsymbol{v}(\theta)=\boldsymbol{n}\times\boldsymbol{v}(\theta)\,\Delta\theta+O(\Delta\theta^2) $$ となり、これが示すべき式です。誤差は $\Delta\theta^2$ のオーダーで、軸に平行な向きには生じません。 幾何的には次の絵になります。$\boldsymbol{v}(\theta)$ の終点は、軸上の点 $\boldsymbol{u}_{\parallel}$ を中心とし軸に垂直な平面内にある半径 $\rho=|\boldsymbol{n}\times\boldsymbol{v}(\theta)|$ の円周上を動きます。$\theta$ が $\Delta\theta$ 増えると終点はこの円周上を弧長 $\rho\,\Delta\theta$ だけ進みます。進む向きは円の接線方向で、右ねじの正の向きに取れば単位接ベクトルは $\boldsymbol{f}_2=(\boldsymbol{n}\times\boldsymbol{v})/\rho$ です。したがって変位は $\rho\,\Delta\theta\cdot(\boldsymbol{n}\times\boldsymbol{v})/\rho=\boldsymbol{n}\times\boldsymbol{v}\,\Delta\theta$ となります。弧と弦の差が $\Delta\theta$ の2次であることが、上の展開に対応します。 n v(θ) n × v(θ) Δθ ρ O 残る場合として $\boldsymbol{u}_{\perp}=\boldsymbol{0}$、つまり $\boldsymbol{v}(\theta)$ が軸に平行なときは、終点が軸上にあって回転しても動かず $\boldsymbol{v}(\theta+\Delta\theta)-\boldsymbol{v}(\theta)=\boldsymbol{0}$ です。一方 $\boldsymbol{n}\times\boldsymbol{v}(\theta)=\boldsymbol{0}$ なので、示すべき式は両辺ともゼロベクトルとなって成立します。これで場合が尽くされました。 ### 設問(ii)(4) 設問(ii)(3) の式を $\Delta\theta$ で割って $\Delta\theta\to 0$ とすると、右辺の誤差項は $O(\Delta\theta)\to 0$ なので $\boldsymbol{v}(\theta)$ は微分可能で $$ \frac{d\boldsymbol{v}}{d\theta}=\boldsymbol{n}\times\boldsymbol{v}(\theta)=A(\boldsymbol{n})\,\boldsymbol{v}(\theta) $$ を満たします。これが定数係数の線形常微分方程式で、初期条件は $\boldsymbol{v}(0)=\Omega(\boldsymbol{n},0)\boldsymbol{v}_0=\boldsymbol{v}_0$ です。 これを解きます。$A=A(\boldsymbol{n})$ と略記します。行列指数関数 $e^{\theta A}=\sum_{k\ge 0}\theta^kA^k/k!$ は任意の $\theta$ で絶対収束し（$\lVert \theta^kA^k/k!\rVert\le(\lvert\theta\rvert\lVert A\rVert)^k/k!$ が収束級数で押さえられます）、項別微分して $\frac{d}{d\theta}e^{\theta A}=Ae^{\theta A}=e^{\theta A}A$ が成り立ちます。また $e^{\theta A}e^{-\theta A}=I$ なので $e^{\theta A}$ は正則です。そこで $$ \boldsymbol{w}(\theta)=e^{-\theta A}\boldsymbol{v}(\theta) $$ と置くと $$ \frac{d\boldsymbol{w}}{d\theta}=-Ae^{-\theta A}\boldsymbol{v}+e^{-\theta A}\frac{d\boldsymbol{v}}{d\theta}=e^{-\theta A}\bigl(-A\boldsymbol{v}+A\boldsymbol{v}\bigr)=\boldsymbol{0} $$ となります（$A$ と $e^{-\theta A}$ が交換することを使いました）。よって $\boldsymbol{w}$ は定ベクトルで $\boldsymbol{w}(\theta)=\boldsymbol{w}(0)=\boldsymbol{v}_0$、つまり $$ \Omega(\boldsymbol{n},\theta)\boldsymbol{v}_0=\boldsymbol{v}(\theta)=e^{\theta A(\boldsymbol{n})}\boldsymbol{v}_0 $$ です。この式は任意の $\boldsymbol{v}_0\in\mathbb{R}^3$ について成立するので、$\boldsymbol{v}_0=\boldsymbol{e}_1,\boldsymbol{e}_2,\boldsymbol{e}_3$ と取れば両辺の行列の各列が一致します。ゆえに行列として $$ \Omega(\boldsymbol{n},\theta)=e^{\theta A(\boldsymbol{n})} $$ が成り立ちます。 確認しておきます。$\boldsymbol{n}=(0,0,1)$ なら、設問(ii)(5) で求める対応から $$ A(\boldsymbol{n})=\begin{pmatrix}0&-1&0\\1&0&0\\0&0&0\end{pmatrix},\qquad A(\boldsymbol{n})^2=\begin{pmatrix}-1&0&0\\0&-1&0\\0&0&0\end{pmatrix},\qquad A(\boldsymbol{n})^3=-A(\boldsymbol{n}) $$ なので、指数関数の級数を偶数次と奇数次に分けると $$ e^{\theta A}=I+\sin\theta\,A+(1-\cos\theta)A^2=\begin{pmatrix}\cos\theta&-\sin\theta&0\\ \sin\theta&\cos\theta&0\\ 0&0&1\end{pmatrix} $$ となり、設問(ii)(1) の $\Omega$ と一致します。なお $A(\boldsymbol{n})^3=-A(\boldsymbol{n})$ は一般の単位ベクトル $\boldsymbol{n}$ でも成り立ちます（$\boldsymbol{n}\times(\boldsymbol{n}\times\boldsymbol{u})=(\boldsymbol{n}\cdot\boldsymbol{u})\boldsymbol{n}-\boldsymbol{u}$ から従います）。したがって上の3項の表式はどの軸でも使えて、これがロドリゲスの公式です。 ### 設問(ii)(5) $A(\boldsymbol{a})$ を成分で書きます。$(\boldsymbol{a}\times\boldsymbol{u})_1=a_2u_3-a_3u_2$ などから $$ A(\boldsymbol{a})=\begin{pmatrix}0&-a_3&a_2\\ a_3&0&-a_1\\ -a_2&a_1&0\end{pmatrix} $$ です。これを問題の $X$ と成分ごとに比べます。$(1,2)$ 成分から $-a_3=x_{12}$、$(1,3)$ 成分から $a_2=x_{13}$、$(2,3)$ 成分から $-a_1=x_{23}$ が決まります。交代性 $x_{ij}=-x_{ji}$ を使えば残りの $(2,1),(3,1),(3,2)$ 成分の条件も同じ3式に帰着し、矛盾なく解けます。よって答えは $$ \boldsymbol{a}_0=(x_{32},\,x_{13},\,x_{21})=(-x_{23},\,-x_{31},\,-x_{12}) $$ です。添字を使えば $(\boldsymbol{a}_0)_i=-\tfrac{1}{2}\varepsilon_{ijk}X_{jk}$ とも書けます。対角成分が $0$ で独立成分が3個という交代行列の自由度が、ベクトルの3成分とちょうど対応しています。写像 $\boldsymbol{a}\mapsto A(\boldsymbol{a})$ は線形で、いま見たようにベクトル全体から実3次交代行列全体への全単射です。 ### 設問(ii)(6) $X$ を実3次交代行列とし、$Y=e^X$ とします。設問(ii)(5) より $X=A(\boldsymbol{a}_0)$ となる実ベクトル $\boldsymbol{a}_0$ が取れます。 $\boldsymbol{a}_0=\boldsymbol{0}$ のときは $X=O$、$Y=I$ で、$I\in R$ なので主張は成り立ちます。 $\boldsymbol{a}_0\neq\boldsymbol{0}$ のときは $\theta=|\boldsymbol{a}_0|>0$、$\boldsymbol{n}=\boldsymbol{a}_0/\theta$（単位ベクトル）と置きます。$A(\boldsymbol{a})\boldsymbol{u}=\boldsymbol{a}\times\boldsymbol{u}$ は $\boldsymbol{a}$ について線形なので $A(\boldsymbol{a}_0)=A(\theta\boldsymbol{n})=\theta A(\boldsymbol{n})$ です。よって設問(ii)(4) の結果が使えて $$ Y=e^{X}=e^{\theta A(\boldsymbol{n})}=\Omega(\boldsymbol{n},\theta) $$ となります。これは軸 $\boldsymbol{n}$ のまわりの角 $\theta$ の回転を表す行列そのものなので、$Y\in R$ です。以上で示せました。軸と回転角が $\boldsymbol{n}=\boldsymbol{a}_0/|\boldsymbol{a}_0|$、$\theta=|\boldsymbol{a}_0|$ と具体的に読み取れる点まで込めての結論です。 行列の性質から直接確認することもできます。$X$ が実なら級数の各項が実なので $Y$ は実行列です。転置は級数の各項ごとに取れて $$ {}^{t}Y={}^{t}\bigl(e^{X}\bigr)=e^{{}^{t}X}=e^{-X}=\bigl(e^{X}\bigr)^{-1}=Y^{-1} $$ なので ${}^{t}YY=Y{}^{t}Y=I$、つまり $Y$ は実直交行列です。さらに $\det e^{X}=e^{\operatorname{Tr}X}$ と交代行列の対角成分が $0$ であること（$\operatorname{Tr}X=0$）から $\det Y=e^{0}=1$ です。設問(i)(d) で見たように直交性だけでは足りず、$\det Y=+1$ まで言えて初めて回転だと結論できます。ここまでで $Y\in SO(3)$ が分かり、$SO(3)$ の元が必ずある軸のまわりの回転であること（オイラーの定理）を使えば同じ結論になりますが、上の構成的な議論はその軸と角を明示的に与えている点で強い主張です。 ## 第2問 エルミート多項式の母関数と微分方程式 ### 設定 $n=0,1,2,\dots$ に対して $$ f_n(x)=e^{x^2}\frac{d^n}{dx^n}\bigl(e^{-x^2}\bigr) $$ と定義します。以下では $g(x)=e^{-x^2}$ と書きます。定義は $e^{-x^2}f_n(x)=g^{(n)}(x)$ と同値で、積分の設問ではこの形をそのまま使います。設問(iv) 以降では $x$ を複素変数 $z$ に置き換えますが、$e^{-z^2}$ が整関数なので $f_n$ は複素平面全体で定義された多項式になります。 漸化式を先に用意します。定義から $$ f_{n+1}(x)=e^{x^2}\frac{d}{dx}\Bigl(e^{-x^2}f_n(x)\Bigr)=e^{x^2}\Bigl(e^{-x^2}f_n'(x)-2xe^{-x^2}f_n(x)\Bigr)=f_n'(x)-2xf_n(x) $$ です。$f_0=1$ から順に $$ f_1=-2x,\qquad f_2=4x^2-2,\qquad f_3=-8x^3+12x,\qquad f_4=16x^4-48x^2+12 $$ が得られます。エルミート多項式 $H_n$ とは $f_n(x)=(-1)^nH_n(x)$ という関係にあります。 もう1つ、以下で何度も使う減衰の事実を確認しておきます。$g^{(k)}(x)$ は（$x$ の多項式）$\times e^{-x^2}$ の形なので、任意の $m,k\ge 0$ に対して $x^mg^{(k)}(x)\to 0$（$|x|\to\infty$）であり、この形の関数の $\mathbb{R}$ 上の積分は絶対収束します。以下の部分積分の境界項はすべてこれで消えます。 ### 設問(i) $n$ 次です。漸化式 $f_{n+1}=f_n'-2xf_n$ による帰納法で示します。$f_0=1$ は $0$ 次で最高次係数は $a_0=1$ です。$f_n$ が $n$ 次で最高次係数 $a_n\neq 0$ だとすると、右辺の $f_n'$ は $n-1$ 次以下、$-2xf_n$ は $n+1$ 次で最高次係数 $-2a_n$ です。次数が異なるので打ち消しは起こらず、$f_{n+1}$ は $n+1$ 次で $a_{n+1}=-2a_n\neq 0$ となります。よって $\deg f_n=n$ で、最高次係数は $a_n=(-2)^n$ です。答えは $x$ の $n$ 次多項式です。 ### 設問(ii) $e^{-x^2}f_n(x)=g^{(n)}(x)$ を使うと $$ \int_{-\infty}^{\infty}xf_n(x)e^{-x^2}dx=\int_{-\infty}^{\infty}x\,g^{(n)}(x)\,dx $$ です。$n>1$ すなわち $n\ge 2$ のもとで部分積分すると $$ \int_{-\infty}^{\infty}x\,g^{(n)}(x)\,dx=\Bigl[x\,g^{(n-1)}(x)\Bigr]_{-\infty}^{\infty}-\int_{-\infty}^{\infty}g^{(n-1)}(x)\,dx=-\Bigl[g^{(n-2)}(x)\Bigr]_{-\infty}^{\infty}=0 $$ となります。1つ目の境界項は設定で確認した減衰から $0$ です。2つ目では $n-1\ge 1$ なので $g^{(n-1)}$ の原始関数として $g^{(n-2)}$（$n=2$ のときは $g$ 自身）が取れ、その境界値も $0$ です。答えは $0$ です。 $n=1$ を除外している理由もはっきりします。$n=1$ では $\int g^{(0)}dx=\int e^{-x^2}dx=\sqrt{\pi}$ が残り、積分値は $-\sqrt{\pi}\neq 0$ です。$n\ge 2$ で消えるのは、重み $e^{-x^2}$ についての直交性から $f_n$ が $1$ 次以下の多項式と直交することの言い換えでもあります。 ### 設問(iii) 同じ書き換えで $$ \int_{-\infty}^{\infty}x^nf_n(x)e^{-x^2}dx=\int_{-\infty}^{\infty}x^n\,g^{(n)}(x)\,dx $$ です。部分積分を $n$ 回繰り返します。$j$ 回目の境界項は $\bigl[\frac{d^{j-1}}{dx^{j-1}}(x^n)\cdot g^{(n-j)}(x)\bigr]_{-\infty}^{\infty}$ の形で、設定の減衰からすべて $0$ です。よって $$ \int_{-\infty}^{\infty}x^n\,g^{(n)}(x)\,dx=(-1)^n\int_{-\infty}^{\infty}\frac{d^n}{dx^n}\bigl(x^n\bigr)\,g(x)\,dx=(-1)^n\,n!\int_{-\infty}^{\infty}e^{-x^2}dx $$ となり、答えは $$ \int_{-\infty}^{\infty}x^nf_n(x)e^{-x^2}dx=(-1)^n\,n!\,\sqrt{\pi} $$ です。 小さい $n$ で検算します。$n=0$ では $\int e^{-x^2}dx=\sqrt{\pi}$ で、式は $(-1)^0 0!\sqrt{\pi}=\sqrt{\pi}$ を与えます。$n=1$ では $f_1=-2x$ から $\int(-2x^2)e^{-x^2}dx=-2\cdot\frac{\sqrt{\pi}}{2}=-\sqrt{\pi}$ で、式の値 $(-1)^1\,1!\,\sqrt{\pi}$ と合います。$n=2$ では $f_2=4x^2-2$ から $\int x^2(4x^2-2)e^{-x^2}dx=4\cdot\frac{3\sqrt{\pi}}{4}-2\cdot\frac{\sqrt{\pi}}{2}=2\sqrt{\pi}$ で、$2!\sqrt{\pi}$ と一致します。 ### 設問(iv) $e^{-\omega^2}$ は整関数なので、与えられた表示は $z$ を中心とする半径 $1$ の円周に対するコーシーの積分公式です。まず $n$ 階微分の表示に持ち上げます。$z$ を固定し $C=\{\omega:|\omega-z|=1\}$（反時計回り）と書きます。$|\zeta-z|<1/2$ を満たす点 $\zeta$ に対して、$\zeta$ を中心とする半径 $1$ の円周は、$e^{-\omega^2}$ が正則な領域（複素平面全体）の内部で $C$ へ連続変形でき、どちらも $\zeta$ を正の向きに1回だけ囲みます。したがってコーシーの定理から経路を $C$ に取り替えられて $$ e^{-\zeta^2}=\frac{1}{2\pi i}\oint_{C}\frac{e^{-\omega^2}}{\omega-\zeta}d\omega\qquad\bigl(|\zeta-z|<1/2\bigr) $$ が成り立ちます。右辺の経路 $C$ は $\zeta$ に依らないので、$\zeta$ について微分できます。実際、$\omega\in C$ と $|\zeta-z|<1/2$ のとき $|\omega-\zeta|\ge 1/2$ なので分母が $0$ に近づかず、被積分関数は $\zeta$ について何回でも微分可能でその導関数は $\omega\in C$ について一様有界です。$C$ はコンパクトなので微分と積分は交換できます。$\zeta$ で $n$ 回微分して $\zeta=z$ と置くと $$ \frac{d^n}{dz^n}e^{-z^2}=\frac{n!}{2\pi i}\oint_{C}\frac{e^{-\omega^2}}{(\omega-z)^{n+1}}d\omega, \qquad\text{つまり}\qquad \frac{f_n(z)}{n!}=\frac{e^{z^2}}{2\pi i}\oint_{C}\frac{e^{-\omega^2}}{(\omega-z)^{n+1}}d\omega $$ です（グルサの公式）。 これを級数に代入します。 $$ \sum_{n=0}^{\infty}\frac{t^n}{n!}f_n(z)=e^{z^2}\,\frac{1}{2\pi i}\oint_{C}e^{-\omega^2}\sum_{n=0}^{\infty}\frac{t^n}{(\omega-z)^{n+1}}\,d\omega $$ 順序交換は問題の指示で認められていますが、根拠も明確です。$C$ 上では $|\omega-z|=1$ なので $\bigl|t/(\omega-z)\bigr|=|t|<1$ が $\omega$ に依らない定数で押さえられ、級数は $C$ 上一様絶対収束します。$e^{-\omega^2}$ は $C$ 上有界なので、有界な連続関数を掛けても一様収束は保たれ、コンパクトな経路上での項別積分が正当化されます。 等比級数を足すと $$ \sum_{n=0}^{\infty}\frac{t^n}{(\omega-z)^{n+1}}=\frac{1}{\omega-z}\cdot\frac{1}{1-\dfrac{t}{\omega-z}}=\frac{1}{\omega-(z+t)} $$ なので $$ \sum_{n=0}^{\infty}\frac{t^n}{n!}f_n(z)=e^{z^2}\,\frac{1}{2\pi i}\oint_{C}\frac{e^{-\omega^2}}{\omega-(z+t)}\,d\omega $$ となります。$|t|<1$ より点 $z+t$ は円 $C$ の内部にあり、$e^{-\omega^2}$ は整関数なので、右辺の積分にコーシーの積分公式が使えて値は $e^{-(z+t)^2}$ です。よって $$ \sum_{n=0}^{\infty}\frac{t^n}{n!}f_n(z)=e^{z^2}e^{-(z+t)^2}=e^{-t^2-2tz} $$ が示せました。仮定 $|t|<1$ は、等比級数の収束と $z+t$ が $C$ の内部に入ることの両方に使われています。 低次で確認しておきます。右辺を $t$ で展開すると $e^{-t^2-2tz}=1-2tz+(2z^2-1)t^2+\cdots$ で、左辺の $t^0,t^1,t^2$ の係数は $f_0=1$、$f_1=-2z$、$f_2/2!=(4z^2-2)/2=2z^2-1$ です。一致します。 ### 設問(v) $F(t,z)=e^{-t^2-2tz}$ と置きます。与えられた式は直接確かめられます。$\partial F/\partial z=-2tF$、$\partial^2F/\partial z^2=4t^2F$、$\partial F/\partial t=-(2t+2z)F$ なので $$ \frac{\partial^2F}{\partial z^2}-2z\frac{\partial F}{\partial z}=\bigl(4t^2+4tz\bigr)F=-2t\bigl(-2t-2z\bigr)F=-2t\frac{\partial F}{\partial t} $$ です。 設問(iv) より $|t|<1$ で $F(t,z)=\sum_{m\ge 0}\frac{t^m}{m!}f_m(z)$ であり、収束冪級数の係数は一意なので $$ f_n(z)=\frac{\partial^nF}{\partial t^n}\bigg|_{t=0} $$ が成り立ちます。そこで上の式の両辺を $t$ で $n$ 回微分して $t=0$ と置きます。$F$ は $(t,z)$ の整関数なので偏微分の順序はすべて交換できます。 左辺は $z$ 微分と $t$ 微分を入れ替えて $$ \frac{\partial^n}{\partial t^n}\Bigl(\frac{\partial^2F}{\partial z^2}-2z\frac{\partial F}{\partial z}\Bigr)\bigg|_{t=0} =\frac{d^2}{dz^2}f_n(z)-2z\frac{d}{dz}f_n(z) $$ となります。右辺はライプニッツ則から $$ \frac{\partial^n}{\partial t^n}\Bigl(t\frac{\partial F}{\partial t}\Bigr)=t\frac{\partial^{n+1}F}{\partial t^{n+1}}+n\frac{\partial^{n}F}{\partial t^{n}} $$ なので、$t=0$ で第1項が落ちて $n f_n(z)$ が残り、全体で $-2nf_n(z)$ です。両者を等号で結べば $$ \frac{d^2}{dz^2}f_n(z)-2z\frac{d}{dz}f_n(z)+2n\,f_n(z)=0 $$ が得られます。これが示すべき微分方程式で、答えは $\lambda=2n$ です。 $\lambda$ の値は最高次の項だけを見ても確認できます。$f_n=a_nz^n+\cdots$（$a_n=(-2)^n\neq 0$）を代入すると、$z^n$ の係数は $f_n''$ から寄与がなく、$-2zf_n'$ から $-2na_n$、$\lambda f_n$ から $\lambda a_n$ なので、$(\lambda-2n)a_n=0$ すなわち $\lambda=2n$ が必要です。多項式全体で成り立つことは上の議論が保証します。具体例でも確かめられます。$f_2=4z^2-2$ では $f_2''=8$、$-2zf_2'=-16z^2$、$4f_2=16z^2-8$ の和が $0$ です。$f_3=-8z^3+12z$ では $f_3''=-48z$、$-2zf_3'=48z^3-24z$、$6f_3=-48z^3+72z$ の和が $0$ です。$\lambda=2n$ はエルミートの微分方程式の固有値で、設定で述べた $f_n=(-1)^nH_n$ という対応と整合しています。 出典: 東京大学大学院理学系研究科 物理学専攻 平成20年度 修士課程 入学試験問題 数学。問題文は要約して引用しています。