跳到主要内容

東北大学 工学研究科 機械・知能系 2017年秋季 数学A 第3問

Author​

祭音Myyura (co-authored with GPT 6 Astra)

Description​

2017年10月・2018年4月入学対象、2017年8月実施。

n×nn\times n 行列を

A=(a1a2a3⋯anana1a2⋯an−1an−1ana1⋯an−2⋮⋮⋮⋱⋮a2a3a4⋯a1),J=(010⋯0001⋯0⋮⋮⋱⋱⋮00⋯0110⋯00)A=\begin{pmatrix} a_1&a_2&a_3&\cdots&a_n\\ a_n&a_1&a_2&\cdots&a_{n-1}\\ a_{n-1}&a_n&a_1&\cdots&a_{n-2}\\ \vdots&\vdots&\vdots&\ddots&\vdots\\ a_2&a_3&a_4&\cdots&a_1 \end{pmatrix},\qquad J=\begin{pmatrix} 0&1&0&\cdots&0\\0&0&1&\cdots&0\\ \vdots&\vdots&\ddots&\ddots&\vdots\\0&0&\cdots&0&1\\1&0&\cdots&0&0 \end{pmatrix}

とする。ai≠0a_i\ne0(i=1,…,ni=1,\ldots,n)、II は nn 次単位行列とする。

  1. n=4n=4 のとき J2,J3J^2,J^3 を求めよ。
  2. a1I+a2J+⋯+anJn−1a_1I+a_2J+\cdots+a_nJ^{n-1} を AA で表せ。
  3. 行列式 ∣J−ωI∣|J-\omega I| を求めよ。
  4. JJ の固有値を ωk\omega_k とするとき、AA の固有値が λk=a1+a2ωk+⋯+anωkn−1\lambda_k=a_1+a_2\omega_k+\cdots+a_n\omega_k^{n-1}(k=1,…,nk=1,\ldots,n)となることを示せ。

题目描述​

本题为2017年8月实施、面向2017年10月及2018年4月入学的考试。

给定上列循环矩阵 AA 和循环移位矩阵 JJ,各 ai≠0a_i\ne0,II 为单位矩阵。(1)在 n=4n=4 时求 J2,J3J^2,J^3。(2)用 AA 表示 a1I+a2J+⋯+anJn−1a_1I+a_2J+\cdots+a_nJ^{n-1}。(3)求 det⁡(J−ωI)\det(J-\omega I)。(4)证明若 JJ 的特征值为 ωk\omega_k,则 AA 的全部特征值为 λk=∑j=1najωkj−1\lambda_k=\sum_{j=1}^na_j\omega_k^{j-1}。

Kai​

(1)​

JJ は各成分を一つ巡回移動させるので

J2=(0010000110000100),J3=(0001100001000010).\boxed{J^2=\begin{pmatrix}0&0&1&0\\0&0&0&1\\1&0&0&0\\0&1&0&0\end{pmatrix},\qquad J^3=\begin{pmatrix}0&0&0&1\\1&0&0&0\\0&1&0&0\\0&0&1&0\end{pmatrix}}.

(2)​

JjJ^j の第 ii 行では、第 i+ji+j 列(添字は nn を法とする)だけが1である。従って各成分を比較して

a1I+a2J+⋯+anJn−1=A.\boxed{a_1I+a_2J+\cdots+a_nJ^{n-1}=A}.

(3)​

第1列で余因子展開すると、対角成分からの寄与が (−ω)n(-\omega)^n、左下の1からの寄与が (−1)n+1(-1)^{n+1} である。よって

∣J−ωI∣=(−1)n(ωn−1).\boxed{|J-\omega I|=(-1)^n(\omega^n-1)}.

(4)​

固有値は ωk=e2πik/n\omega_k=e^{2\pi ik/n}(k=1,…,nk=1,\ldots,n)。 vk=(1,ωk,…,ωkn−1)Tv_k=(1,\omega_k,\ldots,\omega_k^{n-1})^T とすれば ωkn=1\omega_k^n=1 より Jvk=ωkvkJv_k=\omega_kv_k。従って

Avk=∑j=1najJj−1vk=(∑j=1najωkj−1)vk.Av_k=\sum_{j=1}^na_jJ^{j-1}v_k =\left(\sum_{j=1}^na_j\omega_k^{j-1}\right)v_k.

さらに相異なる ωk\omega_k からなるヴァンデルモンド行列 (v1 ⋯ vn)(v_1\ \cdots\ v_n) は正則なので、これらは固有ベクトルの基底を作る。ゆえに重複度を含む全固有値は

λk=a1+a2ωk+⋯+anωkn−1(k=1,…,n).\boxed{\lambda_k=a_1+a_2\omega_k+\cdots+a_n\omega_k^{n-1}\quad(k=1,\ldots,n)}.

Reference​