\(2 \times 2\) 行列 \(P =\left( \begin{array}{cc} p & q \\ r & s \end{array} \right)\) に対して
\[
\text{Tr}(P) =p+s
\]
と定める.
\(a , b , c\) は \(a \geqq b >0\) , \(0 \leqq c \leqq 1\) を満たす実数とする. 行列 \(A , B , C , D\) を次で定める.
\[\begin{align}
A & = \left( \begin{array}{cc} a & 0 \\ 0 & b \end{array} \right) , \quad B =\left( \begin{array}{cc} b & 0 \\ 0 & a \end{array} \right) , \\
C & =\left( \begin{array}{cc} a^c & 0 \\ 0 & b^c \end{array} \right) , \quad D = \left( \begin{array}{cc} b^{1-c} & 0 \\ 0 & a^{1-c} \end{array} \right)
\end{align}\]
また実数 \(x\) に対し \(U(x) =\left( \begin{array}{cc} \cos x & -\sin x \\ \sin x & \cos x \end{array} \right)\) とする.
このとき以下の問いに答えよ.
(1) 各実数 \(t\) に対して, \(x\) の関数
\[
f(x) = \text{Tr} \left( \left( U(t) A U(-t) -B \right) U(x) \left( \begin{array}{cc} 1 & 0 \\ 0 & -1 \end{array} \right) U(-x) \right)
\]
の最大値 \(m(t)\) を求めよ. (最大値をとる \(x\) を求める必要はない. )
(2) すべての実数 \(t\) に対し
\[
2 \text{Tr} \left( U(t) C U(-t) D \right) \geqq \text{Tr} \left( U(t) A U(-t) +B \right) -m(t)
\]
が成り立つことを示せ.
続きを読む →