# 平成29年度 東大院 物理学専攻 修士 数学 解答

> 平成29年度 修士課程 数学（全2問）の解答。ラプラス変換の収束条件、たたみ込み定理による積分方程式の解法、ブロムウィッチ積分での逆変換、外積の行列表示から回転行列の指数関数表示と共役による回転軸の移り方を扱います。
> https://rikai.mugen-giken.com/exams/utokyo-physics/master-h29-math

:::caution[出典と、この解答の位置づけ]
本記事が扱う問題は、**東京大学大学院理学系研究科物理学専攻の大学院入試問題**からの引用です（引用元: [https://www.phys.s.u-tokyo.ac.jp/](https://www.phys.s.u-tokyo.ac.jp/)）。

- 掲載している**解答・解説は東京大学が公表したものではなく**、夢現技研合同会社が独自に作成したものです。誤りが含まれる可能性があります。
- 本記事に**問題文は転載していません**。問題は上記の専攻公式サイトでご確認ください。
- 本記事の内容について、東京大学および同専攻へのお問い合わせはご遠慮ください。誤りのご指摘は[お問い合わせ](/contact)までお願いします。
:::

大問2題で、どちらも必答です。第1問はラプラス変換で、変換そのものの計算は軽い一方、「収束条件を示せ」「たたみ込み定理を示せ」「複素積分で逆変換せよ」と、積分の順序交換の根拠と積分路の閉じ方を書かせる作りになっています。第2問は外積を行列 $J(\vec a)$ で表すところから出発して、射影 $P(\vec a)$、指数関数の閉じた表示（ロドリゲスの公式）、共役 $R\exp(\varphi J(\vec b))R^{-1}$ の意味までを一続きに登ります。$\mathrm{SO}(3)$ とその生成子の代数を知っていれば後半は見通しがよく、知らなくても設問3と設問4の関係式だけで押し切れます。試験時間は90分です。

| 問題 | 分野 | 主題 |
|---|---|---|
| 第1問 | 複素解析・微分方程式 | ラプラス変換、たたみ込み定理、ブロムウィッチ積分 |
| 第2問 | 線形代数・群論 | 外積の行列表示と3次元回転の指数関数表示 |

## 第1問 ラプラス変換と積分方程式

### 設定

$t\ge0$ で定義された関数 $f(t)$ に対し、複素数 $s$ を用いてラプラス変換を

$$
L[f(t)]=F(s)=\int_{0}^{\infty}e^{-st}f(t)\,dt
$$

で定義します。逆変換は $s$ に関する複素積分

$$
L^{-1}[F(s)]=f(t)=\frac{1}{2\pi i}\int_{\gamma-i\infty}^{\gamma+i\infty}e^{st}F(s)\,ds
$$

で与えられ、積分路は実部が $\gamma$ の虚軸に平行な直線で、$F(s)$ のすべての特異点が積分路の左側に来るように $\gamma$ を選びます。以下、$s=\sigma+i\tau$（$\sigma=\mathrm{Re}\,s$、$\tau=\mathrm{Im}\,s$ は実数）と書き、$\int_0^\infty$ は $\lim_{T\to\infty}\int_0^T$ の意味の広義積分、逆変換の直線積分は $\lim_{R\to\infty}\int_{\gamma-iR}^{\gamma+iR}$ の意味に取ります。

### 設問1

$\mathrm{Re}\,s\le0$ で収束しないことは、(i) と (iii) では次の観察で一度に片づきます。$f$ が $[0,\infty)$ 上で正かつ単調非減少とし、$\sigma\le0$ とします。$\tau\ne0$ なら $\delta=\pi/(3|\tau|)$、$\tau=0$ なら $\delta=1$ と置くと $u\in[0,\delta]$ で $\cos\tau u\ge1/2$ なので、$e^{-\sigma t}\ge1$ を使って

$$
\mathrm{Re}\left(e^{i\tau T}\int_{T}^{T+\delta}e^{-st}f(t)\,dt\right)=\int_{0}^{\delta}e^{-\sigma(T+u)}f(T+u)\cos(\tau u)\,du\ \ge\ \frac{\delta}{2}f(T)
$$

が成り立ちます。広義積分が収束するなら幅 $\delta$ の窓の上での積分は $T\to\infty$ で $0$ に近づかねばならず、$|e^{i\tau T}|=1$ なので左辺も $0$ に近づくはずです。しかし右辺は $f(T)\ge f(1)>0$ で下から離れているので矛盾します。よって $\sigma\le0$ では収束しません。

(i) $f(t)=t$ のとき。$s\ne0$ に対して部分積分すると

$$
\int_{0}^{T}te^{-st}\,dt=\left[-\frac{t}{s}e^{-st}\right]_{0}^{T}+\frac{1}{s}\int_{0}^{T}e^{-st}\,dt=\frac{1}{s^{2}}-e^{-sT}\left(\frac{T}{s}+\frac{1}{s^{2}}\right)
$$

です（右辺を $T$ で微分すると $te^{-sT}$ に戻り、$T=0$ で $0$ になるので確かに正しい原始関数です）。$\sigma>0$ なら $|e^{-sT}(T/s+1/s^{2})|\le e^{-\sigma T}(T/|s|+1/|s|^{2})\to0$ となり極限が存在します。また $|te^{-st}|=te^{-\sigma t}$ なので絶対収束もします。$\sigma\le0$ では上の補題（$f(t)=t$ は正で単調増加）から収束しません。$s=0$ のときは $\int_0^T t\,dt=T^2/2\to\infty$ で発散します。したがって

$$
F(s)=\frac{1}{s^{2}}\qquad(\mathrm{Re}\,s>0)
$$

が答えで、収束条件は $\mathrm{Re}\,s>0$ です。

(ii) $f(t)=\sin\omega t$（$\omega>0$）のとき。$\sin\omega t=(e^{i\omega t}-e^{-i\omega t})/(2i)$ と書くと、$s\mp i\omega\ne0$ のとき

$$
\int_{0}^{T}e^{-(s\mp i\omega)t}\,dt=\frac{1-e^{-(s\mp i\omega)T}}{s\mp i\omega},\qquad \left|e^{-(s\mp i\omega)T}\right|=e^{-\sigma T}
$$

です。$\sigma>0$ ではどちらも $1/(s\mp i\omega)$ に収束し、$|e^{-st}\sin\omega t|\le e^{-\sigma t}$ より絶対収束します。値は

$$
F(s)=\frac{1}{2i}\left(\frac{1}{s-i\omega}-\frac{1}{s+i\omega}\right)=\frac{1}{2i}\cdot\frac{2i\omega}{s^{2}+\omega^{2}}=\frac{\omega}{s^{2}+\omega^{2}}
$$

となります。$\sigma\le0$ の場合を見ます。$\sigma<0$ なら、$T$ に依存する部分は $e^{-sT}$ の因子をもつので、$T$ に依存しない部分と分けて

$$
\int_{0}^{T}e^{-st}\sin\omega t\,dt=\frac{\omega}{s^{2}+\omega^{2}}-e^{-sT}\,\frac{s\sin\omega T+\omega\cos\omega T}{s^{2}+\omega^{2}}
$$

と書けます（$s^2+\omega^2\ne0$ のとき）。$T_n=2\pi n/\omega$ に沿って第2項の絶対値は $|\omega|e^{-\sigma T_n}/|s^{2}+\omega^{2}|\to\infty$ となり発散します。$\sigma=0$ すなわち $s=i\tau$ のときは、$\tau=\pm\omega$ なら $e^{-i\tau t}\sin\omega t$ の展開に定数項 $\pm1/(2i)$ が残るので $\int_0^T$ は $T$ に比例して増大し発散します。$\tau\ne\pm\omega$ なら $\mu=\omega-\tau\ne0$、$\nu=\omega+\tau\ne0$ と置いて

$$
\int_{0}^{T}e^{-i\tau t}\sin\omega t\,dt=\frac{\omega}{\omega^{2}-\tau^{2}}+h(T),\qquad h(T)=\frac{1}{2i}\left(\frac{e^{i\mu T}}{i\mu}+\frac{e^{-i\nu T}}{i\nu}\right)
$$

となります。$h$ は $0$ でない振動数 $\mu$ と $-\nu$（$\mu-(-\nu)=2\omega\ne0$ なので互いに異なる）の三角多項式です。もし $h(T)\to L$ なら $\frac{1}{T}\int_0^T h\,dT'\to L$ ですが、各項の平均は $0$ なので $L=0$、他方 $\frac{1}{T}\int_0^T|h|^{2}dT'\to\frac{1}{4}(\mu^{-2}+\nu^{-2})>0$ で $h\to0$ と両立しません。よって極限は存在せず、収束しません。まとめると

$$
F(s)=\frac{\omega}{s^{2}+\omega^{2}}\qquad(\mathrm{Re}\,s>0)
$$

で、収束条件は $\mathrm{Re}\,s>0$ です。$\omega$ が実数である以上、$\pm i\omega$ の極は虚軸上にあり、収束領域の境界がちょうど虚軸になっていることと整合します。

(iii) $f(t)=\sqrt t$ のとき。$t\to0$ では $\sqrt t$ は有界で可積分、$t\to\infty$ では $\sigma>0$ なら指数因子が勝つので

$$
\int_{0}^{\infty}\sqrt t\,e^{-\sigma t}\,dt<\infty\qquad(\sigma>0)
$$

となり絶対収束します。$\sigma\le0$ では $\sqrt t$ が正で単調増加なので、冒頭の補題から収束しません。よって収束条件は $\mathrm{Re}\,s>0$ です。値を求めます。まず $s>0$ が実数の場合、$t=x/s$ と置換して

$$
\int_{0}^{\infty}\sqrt t\,e^{-st}\,dt=\frac{1}{s^{3/2}}\int_{0}^{\infty}x^{1/2}e^{-x}\,dx=\frac{\Gamma(3/2)}{s^{3/2}}=\frac{\sqrt\pi}{2\,s^{3/2}}
$$

です。ここで $\Gamma(3/2)=\tfrac12\Gamma(1/2)$ と、$x=y^{2}$ の置換による $\Gamma(1/2)=2\int_0^\infty e^{-y^{2}}dy=\sqrt\pi$ を使いました。次に複素の $s$ へ広げます。$\mathrm{Re}\,s>0$ の任意のコンパクト集合上で $|\sqrt t\,e^{-st}|\le\sqrt t\,e^{-\sigma_{0}t}$（$\sigma_0>0$ はその集合での $\mathrm{Re}\,s$ の下限）と評価できるので、$\int_0^T$ は $T\to\infty$ で局所一様収束します。各 $\int_0^T$ は $s$ の整関数なので、ワイエルシュトラスの定理より $F(s)$ は右半平面で正則です。$s^{-3/2}$ を正の実軸上で正の値をとる主枝（切断は負の実軸で右半平面には入りません）に取れば、これも右半平面で正則です。両者は正の実軸上で一致するので、一致の定理から連結開集合 $\mathrm{Re}\,s>0$ の全体で一致します。答えは

$$
F(s)=\frac{\sqrt\pi}{2\,s^{3/2}}\qquad(\mathrm{Re}\,s>0,\ s^{3/2}\ \text{は主枝})
$$

です。$s=2$ で数値積分すると $0.31333$、右辺は $\sqrt\pi/(2\cdot2^{3/2})=0.31333$ で一致します。

### 設問2

(i) たたみ込み定理を示します。$f_1,f_2$ は $[0,\infty)$ 上区分連続で指数型、すなわち定数 $M_i>0$、$\alpha_i$ があって $|f_i(t)|\le M_ie^{\alpha_it}$ を満たすとします（これがラプラス変換の存在を保証する標準的な仮定で、以下 $\mathrm{Re}\,s>\alpha:=\max(\alpha_1,\alpha_2)$ で考えます）。このとき

$$
|(f_1*f_2)(t)|\le M_1M_2\int_{0}^{t}e^{\alpha_1(t-t')+\alpha_2t'}dt'\le M_1M_2\,t\,e^{\alpha t}
$$

なので $(f_1*f_2)(t)$ も指数型で、そのラプラス変換の積分は $\mathrm{Re}\,s>\alpha$ で収束します。

定義を書き下すと、これは領域 $D=\{(t,t')\mid 0\le t'\le t<\infty\}$ 上の2重積分です。

$$
L[(f_1*f_2)(t)]=\int_{0}^{\infty}dt\,e^{-st}\int_{0}^{t}dt'\,f_1(t-t')f_2(t')=\iint_{D}e^{-st}f_1(t-t')f_2(t')\,dt\,dt'
$$

変数変換 $u=t-t'$、$v=t'$ は $D$ から第1象限 $\{u\ge0,\ v\ge0\}$ への線形全単射で、ヤコビアンの絶対値は $1$、そして $e^{-st}=e^{-su}e^{-sv}$ です。絶対値を取った積分は

$$
\iint_{u,v\ge0}e^{-\sigma(u+v)}|f_1(u)||f_2(v)|\,du\,dv=\left(\int_{0}^{\infty}e^{-\sigma u}|f_1(u)|du\right)\left(\int_{0}^{\infty}e^{-\sigma v}|f_2(v)|dv\right)<\infty
$$

と有限なので（$\sigma>\alpha$）、トネリの定理で絶対可積分性が保証され、フビニの定理により累次積分の順序交換と変数変換が許されます。したがって

$$
L[(f_1*f_2)(t)]=\int_{0}^{\infty}e^{-su}f_1(u)\,du\int_{0}^{\infty}e^{-sv}f_2(v)\,dv=F_1(s)F_2(s)
$$

が得られます。使った仮定は、両者が指数型であること（絶対収束の確保）と $\mathrm{Re}\,s>\alpha$ であることだけです。

(ii) 式(2) の右辺第2項は $\sin t$ と $f(t)$ のたたみ込みそのものです。$f$ が指数型でラプラス変換 $F(s)$ をもつと仮定して（得られた解が実際に式(2)を満たすことは (iii) で直接確かめるので、この仮定は最後に正当化されます）、$\mathrm{Re}\,s$ が十分大きい領域で両辺を変換します。設問1(ii) で $\omega=1$ と置くと $L[\sin t]=1/(s^{2}+1)$ なので、式(3) より

$$
F(s)=\frac{1}{s^{2}+1}+\frac{1}{s^{2}+1}F(s)
$$

です。$\mathrm{Re}\,s>0$ では $s\ne0$ かつ $s^{2}+1\ne0$（$s^2=-1$ の解は虚軸上）なので、移項して

$$
\left(1-\frac{1}{s^{2}+1}\right)F(s)=\frac{s^{2}}{s^{2}+1}F(s)=\frac{1}{s^{2}}\cdot\frac{s^{2}}{s^{2}+1}
$$

すなわち

$$
F(s)=\frac{1}{s^{2}}
$$

が答えです。

(iii) 設問1(i) より $L[t]=1/s^{2}$ なので、$f(t)=t$ が候補です。連続関数のラプラス変換は一致すれば関数も一致する（レルヒの定理）ので、これが解です。ここでは仮定を使わずに直接代入して確認します。$u=t-t'$ と置くと

$$
\int_{0}^{t}\sin(t-t')\,t'\,dt'=\int_{0}^{t}\sin u\,(t-u)\,du=t(1-\cos t)-\int_{0}^{t}u\sin u\,du
$$

で、$\int_0^t u\sin u\,du=[-u\cos u]_0^t+\int_0^t\cos u\,du=-t\cos t+\sin t$ です。よって

$$
\int_{0}^{t}\sin(t-t')\,t'\,dt'=t-t\cos t+t\cos t-\sin t=t-\sin t
$$

となり、式(2) の右辺は $\sin t+(t-\sin t)=t$ です。左辺と一致するので $f(t)=t$ は確かに式(2)の解です。答えは

$$
f(t)=t\qquad(t\ge0)
$$

です。$t=0.3,\,1,\,2.5,\,5$ で右辺を数値積分しても $0.3,\,1,\,2.5,\,5$ が返り、恒等的に成り立っていることが確かめられます。

### 設問3

$F(s)=s/(s-1)^{2}$ の特異点は $s=1$ の2位の極だけなので、$\gamma>1$ と取ります。$t>0$ とし、直線上の区間 $\gamma-iR\to\gamma+iR$ に、中心 $\gamma$ 半径 $R$ の円のうち $\mathrm{Re}\,s\le\gamma$ にある半円 $C_R$（反時計回りに閉じる向き）を継ぎ足して閉曲線を作ります。

まず $C_R$ 上の寄与が消えることを示します。$s=\gamma+Re^{i\phi}$（$\pi/2\le\phi\le3\pi/2$）と書くと $|e^{st}|=e^{\gamma t}e^{Rt\cos\phi}$ です。$|s|\ge R-|\gamma|$ より $R$ が大きいところで $|F(s)|\le C/R$（$C$ は定数）と評価できます。$\phi=\pi/2+\psi$ と置き $\cos\phi=-\sin\psi$、さらに $[0,\pi/2]$ で $\sin\psi\ge2\psi/\pi$ を使うと

$$
\left|\int_{C_R}e^{st}F(s)\,ds\right|\le\frac{C}{R}e^{\gamma t}R\int_{0}^{\pi}e^{-Rt\sin\psi}d\psi=\frac{2C e^{\gamma t}}{1}\int_{0}^{\pi/2}e^{-Rt\sin\psi}d\psi\le 2Ce^{\gamma t}\int_{0}^{\pi/2}e^{-2Rt\psi/\pi}d\psi\le\frac{\pi Ce^{\gamma t}}{Rt}
$$

となり、$t>0$ なら $R\to\infty$ で $0$ に収束します（ジョルダンの補題のブロムウィッチ型）。

$R>1+|\gamma|$ なら $s=1$ は閉曲線の内部にあり、他に特異点はないので留数定理から

$$
\frac{1}{2\pi i}\oint e^{st}F(s)\,ds=\mathrm{Res}_{s=1}\frac{s\,e^{st}}{(s-1)^{2}}=\left.\frac{d}{ds}\left(s\,e^{st}\right)\right|_{s=1}=\left[e^{st}+st\,e^{st}\right]_{s=1}=(1+t)e^{t}
$$

です。$R\to\infty$ で半円部分が落ちるので、直線積分の値がこれに等しく

$$
f(t)=(1+t)e^{t}
$$

が答えです。$t=0$ では $f(0)=1$ で、これは右極限としての値と一致します。

検算を2通りします。部分分数分解では

$$
\frac{s}{(s-1)^{2}}=\frac{(s-1)+1}{(s-1)^{2}}=\frac{1}{s-1}+\frac{1}{(s-1)^{2}}
$$

で、$L[e^{t}]=1/(s-1)$、$L[te^{t}]=1/(s-1)^{2}$（設問1(i) の計算で $s\to s-1$ と置いたもの）なので $f(t)=e^{t}+te^{t}$ です。順方向の変換で直接確かめると、$\mathrm{Re}\,s>1$ で

$$
\int_{0}^{\infty}e^{-st}(1+t)e^{t}\,dt=\int_{0}^{\infty}(1+t)e^{-(s-1)t}\,dt=\frac{1}{s-1}+\frac{1}{(s-1)^{2}}=\frac{s}{(s-1)^{2}}
$$

となり元に戻ります（$s=3$ での数値積分は $0.750$、$s/(s-1)^2=0.75$）。なお設問2の $F(s)=1/s^{2}$ に同じ手続きを当てると、$s=0$ の2位の極の留数は $\frac{d}{ds}e^{st}|_{s=0}=t$ で、$f(t)=t$ を再現します。

## 第2問 外積の行列表示と3次元回転

### 設定

3次元実ベクトル空間を考え、

$$
\vec a=\begin{pmatrix}a_1\\a_2\\a_3\end{pmatrix},\qquad \sum_{i=1}^{3}a_i^{2}=1
$$

を単位ベクトルとします。任意の3次元ベクトル $\vec x$ に対する外積を行列で $\vec a\times\vec x=J(\vec a)\vec x$ と表し、$P(\vec a)=-J(\vec a)^{2}$、行列の指数関数は $\exp(\theta J(\vec a))=\sum_{n=0}^{\infty}\frac{\theta^{n}}{n!}J(\vec a)^{n}$ で定義します。$I$ は3行3列の単位行列、$\vec x^{\mathrm T}$ は転置、繰り返す添字は $1$ から $3$ まで和を取る規約を使います。$\varepsilon_{ijk}$ は完全反対称テンソル（$\varepsilon_{123}=1$）で、恒等式 $\varepsilon_{ijk}\varepsilon_{ilm}=\delta_{jl}\delta_{km}-\delta_{jm}\delta_{kl}$ と巡回性 $\varepsilon_{ijk}=\varepsilon_{jki}=\varepsilon_{kij}$ を使います。

### 設問1

外積の成分は $(\vec a\times\vec x)_i=\varepsilon_{ijk}a_jx_k$ なので、$J(\vec a)_{ik}=\varepsilon_{ijk}a_j$ です。成分を並べると

$$
J(\vec a)=\begin{pmatrix}0&-a_3&a_2\\ a_3&0&-a_1\\ -a_2&a_1&0\end{pmatrix}
$$

が答えです。実際に掛けると第1成分は $a_2x_3-a_3x_2$、第2成分は $a_3x_1-a_1x_3$、第3成分は $a_1x_2-a_2x_1$ で、外積の定義と一致します。$J(\vec a)^{\mathrm T}=-J(\vec a)$、つまり実交代行列であることに注意しておきます。これは $\vec x\cdot(\vec a\times\vec x)=0$ の行列版です。

### 設問2

固有多項式を計算します。

$$
\det(\lambda I-J(\vec a))=\det\begin{pmatrix}\lambda&a_3&-a_2\\ -a_3&\lambda&a_1\\ a_2&-a_1&\lambda\end{pmatrix}
$$

を第1行で展開すると

$$
\begin{aligned}
\det(\lambda I-J(\vec a))&=\lambda(\lambda^{2}+a_1^{2})-a_3(-a_3\lambda-a_1a_2)-a_2(a_1a_3-\lambda a_2)\\
&=\lambda^{3}+(a_1^{2}+a_2^{2}+a_3^{2})\lambda+a_1a_2a_3-a_1a_2a_3\\
&=\lambda^{3}+\lambda=\lambda(\lambda^{2}+1)
\end{aligned}
$$

となります（$|\vec a|=1$ を使いました）。したがって固有値は

$$
\lambda=0,\ +i,\ -i
$$

の3つで、いずれも単根です。$\lambda=0$ の固有ベクトルは $J(\vec a)\vec a=\vec a\times\vec a=\vec 0$ より $\vec a$ 自身です。実交代行列の固有値が純虚数または $0$ であること、実行列なので虚の固有値が共役対で現れること、奇数次の交代行列は $\det J=\det J^{\mathrm T}=\det(-J)=-\det J$ から $\det J=0$、すなわち $0$ が固有値であること、これらすべてと整合しています。

### 設問3

まず $J(\vec a)^{2}$ を求めます。成分計算では

$$
(J^{2})_{il}=J_{ik}J_{kl}=\varepsilon_{ijk}a_j\,\varepsilon_{kml}a_m=\varepsilon_{kij}\varepsilon_{kml}a_ja_m=(\delta_{im}\delta_{jl}-\delta_{il}\delta_{jm})a_ja_m=a_ia_l-\delta_{il}
$$

なので、$|\vec a|=1$ を使って

$$
J(\vec a)^{2}=\vec a\,\vec a^{\mathrm T}-I,\qquad P(\vec a)=I-\vec a\,\vec a^{\mathrm T}
$$

です。ベクトルに作用させた形では $P(\vec a)\vec x=\vec x-(\vec a\cdot\vec x)\vec a$ で、$P(\vec a)$ は $\vec a$ に垂直な平面への直交射影です。これは外積の公式 $\vec a\times(\vec a\times\vec x)=(\vec a\cdot\vec x)\vec a-(\vec a\cdot\vec a)\vec x$ と同じ内容です。以下はこの表示から直ちに従います。

(i) $P(\vec a)\vec a=\vec a-(\vec a\cdot\vec a)\vec a=\vec a-\vec a=\vec 0$ です。

(ii) $\vec a\cdot\vec b=0$ を満たす任意の $\vec b$ に対して $P(\vec a)\vec b=\vec b-(\vec a\cdot\vec b)\vec a=\vec b$ です。

(iii) $\vec a^{\mathrm T}\vec a=1$ を使って

$$
P(\vec a)^{2}=(I-\vec a\vec a^{\mathrm T})^{2}=I-2\vec a\vec a^{\mathrm T}+\vec a(\vec a^{\mathrm T}\vec a)\vec a^{\mathrm T}=I-2\vec a\vec a^{\mathrm T}+\vec a\vec a^{\mathrm T}=I-\vec a\vec a^{\mathrm T}=P(\vec a)
$$

です。射影らしく冪等になっています。(i) と (ii) は、任意の $\vec x$ を $\vec x=(\vec a\cdot\vec x)\vec a+\vec x_\perp$ と分解したとき $P$ が $\vec a$ 方向を消し垂直成分をそのまま残すことを言っており、(iii) はその言い換えです。

### 設問4

$J=J(\vec a)$、$P=P(\vec a)$ と略記します。鍵になるのは $J$ の冪が3周期で閉じることです。$J\vec a=\vec 0$ より $JP=J(I-\vec a\vec a^{\mathrm T})=J-(J\vec a)\vec a^{\mathrm T}=J$ であり、$J^{2}=-P$ と合わせて

$$
J^{3}=J\cdot J^{2}=-JP=-J
$$

が得られます。ここから、$k\ge1$ に対して $J^{2k}=(J^{2})^{k}=(-1)^{k}P^{k}=(-1)^{k}P$（設問3(iii) の $P^{2}=P$ を使いました）、$k\ge0$ に対して $J^{2k+1}=(-1)^{k}J$ が帰納法で従います。

級数の項の並べ替えについて一言。任意の行列 $M$ に対し $\sum_n\||\theta|^{n}M^{n}/n!\|\le e^{|\theta|\,\|M\|}<\infty$（$\|\cdot\|$ は作用素ノルムなど劣乗法的なノルム）なので指数級数は絶対収束し、偶数項と奇数項に分けて和を取り直してよいです。よって

$$
\begin{aligned}
\exp(\theta J)&=I+\sum_{k=1}^{\infty}\frac{\theta^{2k}}{(2k)!}(-1)^{k}P+\sum_{k=0}^{\infty}\frac{\theta^{2k+1}}{(2k+1)!}(-1)^{k}J\\
&=I+(\cos\theta-1)P+\sin\theta\,J
\end{aligned}
$$

です。$J=JP$ だったので、これは問題の形 $f_1I+f_2P+f_3JP$ に一致します。答えは

$$
f_1(\theta)=1,\qquad f_2(\theta)=\cos\theta-1,\qquad f_3(\theta)=\sin\theta
$$

で、確かに $\vec a$ に依存しません。係数の一意性も確かめておきます。$\alpha I+\beta P+\gamma JP=\alpha I+\beta P+\gamma J=0$ とすると、交代部分を取って $\gamma J=0$、$|\vec a|=1$ より $J\ne0$ なので $\gamma=0$。残りを $\vec a$ に作用させると $P\vec a=\vec 0$ から $\alpha\vec a=\vec 0$、よって $\alpha=0$、続いて $\beta P=0$ から $\beta=0$ です。つまり $I,P,JP$ は線形独立で、$f_1,f_2,f_3$ は一意に決まります。

$J^{2}=-P$ を使って書き直すと $\exp(\theta J)=I+\sin\theta\,J+(1-\cos\theta)J^{2}$ で、ロドリゲスの公式に一致します。$\theta=0$ で $I$、$\theta$ の1次で $I+\theta J$ となることも確認できます。数値的にも、乱数で取った単位ベクトル $\vec a$ と $\theta=0.7$ で級数和と右辺が一致します。

### 設問5

$\vec a$ と直交する単位ベクトルの一つを $\vec b$、$\vec c=\vec a\times\vec b$ とします。$|\vec c|=|\vec a||\vec b|\sin(\pi/2)=1$、$\vec c\perp\vec a$、$\vec c\perp\vec b$ なので $\vec a,\vec b,\vec c$ は正規直交基底で、さらに $\vec b\times\vec c=\vec b\times(\vec a\times\vec b)=\vec a(\vec b\cdot\vec b)-\vec b(\vec b\cdot\vec a)=\vec a$、$\vec c\times\vec a=-\vec a\times(\vec a\times\vec b)=\vec b$ より右手系です。

必要な作用は $J\vec a=\vec a\times\vec a=\vec 0$、$J\vec b=\vec a\times\vec b=\vec c$、$J\vec c=\vec a\times\vec c=(\vec a\cdot\vec b)\vec a-(\vec a\cdot\vec a)\vec b=-\vec b$、および $P\vec a=\vec 0$、$P\vec b=\vec b$、$P\vec c=\vec c$ です。$R=\exp(\theta J(\vec a))=I+(\cos\theta-1)P+\sin\theta\,J$ を当てると

$$
\begin{aligned}
R\vec a&=\vec a,\\
R\vec b&=\vec b+(\cos\theta-1)\vec b+\sin\theta\,\vec c=\cos\theta\,\vec b+\sin\theta\,\vec c,\\
R\vec c&=\vec c+(\cos\theta-1)\vec c-\sin\theta\,\vec b=-\sin\theta\,\vec b+\cos\theta\,\vec c
\end{aligned}
$$

となります。すなわち基底 $(\vec a,\vec b,\vec c)$ に関する表現行列は

$$
\begin{pmatrix}1&0&0\\0&\cos\theta&-\sin\theta\\0&\sin\theta&\cos\theta\end{pmatrix}
$$

です。これが $\vec a$ を軸とする角度 $\theta$ の回転であることを、次の3点で示します。

第一に、$R$ は正規直交基底を正規直交基底に写します。上の3つのベクトルの内積を取ると $R\vec a\cdot R\vec a=1$、$R\vec b\cdot R\vec b=\cos^{2}\theta+\sin^{2}\theta=1$、$R\vec c\cdot R\vec c=1$、$R\vec a\cdot R\vec b=R\vec a\cdot R\vec c=0$、$R\vec b\cdot R\vec c=-\cos\theta\sin\theta+\sin\theta\cos\theta=0$ です。よって $R$ は直交行列で、長さと角度を保ちます。表現行列の行列式は $\cos^{2}\theta+\sin^{2}\theta=1$ なので $R\in\mathrm{SO}(3)$、鏡映を含まない回転です。

第二に、$R\vec a=\vec a$ より $\vec a$ 方向は動きません。回転軸は $\vec a$ です（固有値 $1$ の固有空間は、$\theta$ が $2\pi$ の整数倍でなければ $\vec a$ の張る1次元だけで、表現行列から直接読めます）。

第三に、$\vec a$ に垂直な平面 $\{\beta\vec b+\gamma\vec c\}$ はそれ自身に写り、その中での作用はちょうど角度 $\theta$ の回転です。実際、$\vec x_\perp=\rho(\cos\psi\,\vec b+\sin\psi\,\vec c)$（$\rho\ge0$）に対して

$$
R\vec x_\perp=\rho\bigl(\cos\psi(\cos\theta\,\vec b+\sin\theta\,\vec c)+\sin\psi(-\sin\theta\,\vec b+\cos\theta\,\vec c)\bigr)=\rho\bigl(\cos(\psi+\theta)\vec b+\sin(\psi+\theta)\vec c\bigr)
$$

となり、長さ $\rho$ は変わらず、平面内の位相角が $\psi$ から $\psi+\theta$ へちょうど $\theta$ だけ進みます。$\vec b$ から $\vec c$ へ回る向きは $(\vec a,\vec b,\vec c)$ が右手系であることから $\vec a$ に関する右ねじの向きで、$\vec a$ の先端から見て反時計回りです。任意のベクトルは $\vec x=(\vec a\cdot\vec x)\vec a+\vec x_\perp$ と一意に分解でき、$R$ は前者を固定し後者をこの平面回転で写すので、$R=\exp(\theta J(\vec a))$ は $\vec a$ を軸とする角度 $\theta$ の回転です。

補助的な確認として、トレースは $\operatorname{Tr}R=1+2\cos\theta$ で、回転角 $\theta$ の3次元回転行列の一般公式と一致します。$\theta\to0$ で $R\to I$、$\theta\to\theta+2\pi$ で $R$ が不変であることも上の表示から明らかです。

### 設問6

回転で共役を取ると外積の生成子は軸ごと回る、という事実を使います。

補題。$R\in\mathrm{SO}(3)$ と任意のベクトル $\vec u,\vec w$ に対し $R(\vec u\times\vec w)=(R\vec u)\times(R\vec w)$ が成り立ちます。証明は、スカラー3重積が行列式であること $(\vec u\times\vec w)\cdot\vec z=\det[\vec u,\vec w,\vec z]$ を使えば1行です。任意の $\vec z$ に対して

$$
\bigl((R\vec u)\times(R\vec w)\bigr)\cdot(R\vec z)=\det[R\vec u,R\vec w,R\vec z]=\det R\,\det[\vec u,\vec w,\vec z]=(\vec u\times\vec w)\cdot\vec z=\bigl(R(\vec u\times\vec w)\bigr)\cdot(R\vec z)
$$

です。1つめの等号で3重積の行列式表示、2つめで行列式の乗法性、3つめで $\det R=1$、4つめで $R^{\mathrm T}R=I$（内積の保存）を使いました。$\vec z$ が全空間を動くとき $R\vec z$ も全空間を動くので、両辺のベクトルはすべてのベクトルと同じ内積をもち、したがって等しいです。

この補題から、任意の $\vec x$ に対して

$$
RJ(\vec v)R^{-1}\vec x=R\bigl(\vec v\times(R^{-1}\vec x)\bigr)=(R\vec v)\times\bigl(RR^{-1}\vec x\bigr)=(R\vec v)\times\vec x=J(R\vec v)\vec x
$$

すなわち

$$
RJ(\vec v)R^{-1}=J(R\vec v)\qquad(R\in\mathrm{SO}(3))
$$

が成り立ちます。さらに $RM^{n}R^{-1}=(RMR^{-1})^{n}$ と指数級数の絶対収束から $R\exp(\varphi M)R^{-1}=\exp(\varphi RMR^{-1})$ が項別に言えるので、$M=J(\vec b)$ として

$$
R\exp(\varphi J(\vec b))R^{-1}=\exp\bigl(\varphi J(R\vec b)\bigr)
$$

です。ここで $R=\exp(\theta J(\vec a))$ と取ります。$\theta J(\vec a)$ と $-\theta J(\vec a)$ は交換するので $\exp(\theta J(\vec a))\exp(-\theta J(\vec a))=\exp(0)=I$、つまり $\exp(-\theta J(\vec a))=R^{-1}$ であり、設問5 より $R\in\mathrm{SO}(3)$ で $R\vec b=\cos\theta\,\vec b+\sin\theta\,\vec c$ です。したがって

$$
\exp(\theta J(\vec a))\exp(\varphi J(\vec b))\exp(-\theta J(\vec a))=\exp\bigl(\varphi J(\cos\theta\,\vec b+\sin\theta\,\vec c)\bigr)
$$

となり、答えは

$$
\vec e=0\cdot\vec a+\cos\theta\,\vec b+\sin\theta\,\vec c,\qquad \chi=\varphi
$$

です。$\vec b,\vec c$ が正規直交なので $|\vec e|^{2}=\cos^{2}\theta+\sin^{2}\theta=1$ で、$\vec e$ は確かに単位ベクトルです。幾何的には、回転 $\exp(\varphi J(\vec b))$ を $R$ で共役にすると、軸 $\vec b$ が $R\vec b$ に運ばれ回転角 $\varphi$ はそのまま残る、というだけの内容です。なお $(\chi,\vec e)$ の選び方は一意ではなく、$(-\chi,-\vec e)$ や $(\chi+2\pi n,\vec e)$ も同じ行列を与えます。上の組は $\theta=0$ で $(\varphi,\vec b)$ に戻る自然な選択です。

検算します。$\vec a=\vec e_3$、$\vec b=\vec e_1$、$\vec c=\vec e_3\times\vec e_1=\vec e_2$、$\theta=\pi/2$ の場合、$R$ は $z$ 軸まわりの $\pi/2$ 回転で $\vec e_1$ を $\vec e_2$ に写すので、共役は $x$ 軸まわりの回転を $y$ 軸まわりの回転に変えるはずです。公式は $\vec e=\cos(\pi/2)\vec e_1+\sin(\pi/2)\vec e_2=\vec e_2$、$\chi=\varphi$ を与え、期待どおりです。一般の $\vec a$、$\theta=0.7$、$\varphi=1.3$ で両辺の行列を数値的に作っても、成分の差は倍精度の丸め誤差の範囲に収まります。

出典: 東京大学大学院理学系研究科 物理学専攻 平成29年度 修士課程 入学試験問題 数学。問題文は要約して引用しています。