与えられた行列 $\sigma_y = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}$ に対して、以下の問題を解く。 (3) 指数関数 $e^X = \sum_{n=0}^{\infty} \frac{1}{n!}X^n$ を用いて、$e^{i\theta \sigma_y}$ を $\theta$ で表す。 (4) $e^{i\theta \sigma_y}$ の固有値と固有ベクトルを求める。

代数学行列指数関数固有値固有ベクトル線形代数
2025/7/16

1. 問題の内容

与えられた行列 σy=(0ii0)\sigma_y = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix} に対して、以下の問題を解く。
(3) 指数関数 eX=n=01n!Xne^X = \sum_{n=0}^{\infty} \frac{1}{n!}X^n を用いて、eiθσye^{i\theta \sigma_y}θ\theta で表す。
(4) eiθσye^{i\theta \sigma_y} の固有値と固有ベクトルを求める。

2. 解き方の手順

(3) まず σy2\sigma_y^2 を計算する。
σy2=(0ii0)(0ii0)=(1001)=E\sigma_y^2 = \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix} \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix} = \begin{pmatrix} 1 & 0 \\ 0 & 1 \end{pmatrix} = E
よって、σy2n=E\sigma_y^{2n} = Eσy2n+1=σy\sigma_y^{2n+1} = \sigma_y となる。
eiθσy=n=0(iθσy)nn!=n=0(iθ)2nσy2n(2n)!+n=0(iθ)2n+1σy2n+1(2n+1)!e^{i\theta \sigma_y} = \sum_{n=0}^{\infty} \frac{(i\theta \sigma_y)^n}{n!} = \sum_{n=0}^{\infty} \frac{(i\theta)^{2n} \sigma_y^{2n}}{(2n)!} + \sum_{n=0}^{\infty} \frac{(i\theta)^{2n+1} \sigma_y^{2n+1}}{(2n+1)!}
=n=0(θ2)n(2n)!E+n=0i(θ2)nθ(2n+1)!σy= \sum_{n=0}^{\infty} \frac{(-\theta^2)^n}{(2n)!} E + \sum_{n=0}^{\infty} \frac{i(-\theta^2)^n \theta}{(2n+1)!} \sigma_y
=cos(θ)E+isin(θ)σy=(cos(θ)00cos(θ))+isin(θ)(0ii0)= \cos(\theta) E + i \sin(\theta) \sigma_y = \begin{pmatrix} \cos(\theta) & 0 \\ 0 & \cos(\theta) \end{pmatrix} + i \sin(\theta) \begin{pmatrix} 0 & -i \\ i & 0 \end{pmatrix}
eiθσy=(cos(θ)sin(θ)sin(θ)cos(θ))e^{i\theta \sigma_y} = \begin{pmatrix} \cos(\theta) & \sin(\theta) \\ -\sin(\theta) & \cos(\theta) \end{pmatrix}
(4) eiθσye^{i\theta \sigma_y} の固有値を求める。
det(eiθσyλE)=det(cos(θ)λsin(θ)sin(θ)cos(θ)λ)=(cos(θ)λ)2+sin2(θ)=0\det(e^{i\theta \sigma_y} - \lambda E) = \det \begin{pmatrix} \cos(\theta) - \lambda & \sin(\theta) \\ -\sin(\theta) & \cos(\theta) - \lambda \end{pmatrix} = (\cos(\theta) - \lambda)^2 + \sin^2(\theta) = 0
λ22λcos(θ)+cos2(θ)+sin2(θ)=0\lambda^2 - 2\lambda \cos(\theta) + \cos^2(\theta) + \sin^2(\theta) = 0
λ22λcos(θ)+1=0\lambda^2 - 2\lambda \cos(\theta) + 1 = 0
λ=2cos(θ)±4cos2(θ)42=cos(θ)±isin(θ)=e±iθ\lambda = \frac{2\cos(\theta) \pm \sqrt{4\cos^2(\theta) - 4}}{2} = \cos(\theta) \pm i\sin(\theta) = e^{\pm i\theta}
固有値は eiθe^{i\theta}eiθe^{-i\theta}
次に固有ベクトルを求める。
固有値 eiθe^{i\theta} に対する固有ベクトルを (xy)\begin{pmatrix} x \\ y \end{pmatrix} とすると、
(cos(θ)sin(θ)sin(θ)cos(θ))(xy)=eiθ(xy)=(cos(θ)+isin(θ))(xy)\begin{pmatrix} \cos(\theta) & \sin(\theta) \\ -\sin(\theta) & \cos(\theta) \end{pmatrix} \begin{pmatrix} x \\ y \end{pmatrix} = e^{i\theta} \begin{pmatrix} x \\ y \end{pmatrix} = (\cos(\theta) + i\sin(\theta)) \begin{pmatrix} x \\ y \end{pmatrix}
cos(θ)x+sin(θ)y=(cos(θ)+isin(θ))x\cos(\theta)x + \sin(\theta)y = (\cos(\theta) + i\sin(\theta))x
sin(θ)x+cos(θ)y=(cos(θ)+isin(θ))y-\sin(\theta)x + \cos(\theta)y = (\cos(\theta) + i\sin(\theta))y
sin(θ)y=isin(θ)x\sin(\theta)y = i\sin(\theta)x
sin(θ)x=isin(θ)y-\sin(\theta)x = i\sin(\theta)y
y=ixy = ix
x=iyx = -iy
固有ベクトルは (1i)\begin{pmatrix} 1 \\ i \end{pmatrix} (定数倍は任意)
固有値 eiθe^{-i\theta} に対する固有ベクトルを (xy)\begin{pmatrix} x \\ y \end{pmatrix} とすると、
(cos(θ)sin(θ)sin(θ)cos(θ))(xy)=eiθ(xy)=(cos(θ)isin(θ))(xy)\begin{pmatrix} \cos(\theta) & \sin(\theta) \\ -\sin(\theta) & \cos(\theta) \end{pmatrix} \begin{pmatrix} x \\ y \end{pmatrix} = e^{-i\theta} \begin{pmatrix} x \\ y \end{pmatrix} = (\cos(\theta) - i\sin(\theta)) \begin{pmatrix} x \\ y \end{pmatrix}
cos(θ)x+sin(θ)y=(cos(θ)isin(θ))x\cos(\theta)x + \sin(\theta)y = (\cos(\theta) - i\sin(\theta))x
sin(θ)x+cos(θ)y=(cos(θ)isin(θ))y-\sin(\theta)x + \cos(\theta)y = (\cos(\theta) - i\sin(\theta))y
sin(θ)y=isin(θ)x\sin(\theta)y = -i\sin(\theta)x
sin(θ)x=isin(θ)y-\sin(\theta)x = -i\sin(\theta)y
y=ixy = -ix
x=iyx = iy
固有ベクトルは (1i)\begin{pmatrix} 1 \\ -i \end{pmatrix} (定数倍は任意)

3. 最終的な答え

(3) eiθσy=(cos(θ)sin(θ)sin(θ)cos(θ))e^{i\theta \sigma_y} = \begin{pmatrix} \cos(\theta) & \sin(\theta) \\ -\sin(\theta) & \cos(\theta) \end{pmatrix}
(4) 固有値: eiθ,eiθe^{i\theta}, e^{-i\theta}
固有ベクトル: (1i),(1i)\begin{pmatrix} 1 \\ i \end{pmatrix}, \begin{pmatrix} 1 \\ -i \end{pmatrix}

「代数学」の関連問題

次の連立一次方程式を消去法で解く問題です。 $ \begin{cases} 4x - 2y - 3z = 1 \\ 3x - 2y - z = -3 \\ 3x - y - 4z = 5 \end{c...

連立一次方程式消去法線形代数
2025/7/16

与えられた10個の対数の式をそれぞれ簡単にします。

対数対数法則指数法則
2025/7/16

$a+b=10$ と $a-b=-2$ のとき、$a^2 - b^2$ の値を求めなさい。

因数分解式の計算連立方程式
2025/7/16

$x=27$, $y=22$ のとき、式 $x^2 - 2xy + y^2$ の値を求めなさい。

式の計算因数分解代入二乗
2025/7/16

$x = 9$, $y = -1$ のとき、次の式の値を求めなさい。 $(x-y)^2 - (x+4y)(x-3y)$

式の計算代入展開
2025/7/16

与えられた連立一次方程式を消去法で解く問題です。 (1) $4x - 2y - 3z = 1$ $3x - 2y - z = -3$ $3x - y - 4z = 5$ (2) $x - 2y - 3...

連立一次方程式消去法解の存在性
2025/7/16

与えられた式 $(12x^2 - 9x) \div 3$ を計算しなさい。

多項式の除算因数分解代数
2025/7/16

与えられた行列 $A = \begin{bmatrix} \frac{1}{2} & \frac{2}{4} \end{bmatrix}$ に対して、核 Ker $A$ の基底を一つ求める。

線形代数行列基底
2025/7/16

与えられた行列の行列式を計算し、その後、その行列の余因子行列の(4,3)成分を求めます。

行列行列式余因子行列線形代数
2025/7/16

与えられた式 $(6ab - 12ab^2) \div 2ab$ の値を求めます。

式の計算因数分解約分
2025/7/16