科学大数学系院試過去問解答例(2021午前01)

ここでは科学大数学系の修士課程の院試の2021午前01の解答例を解説していきます。解答例はあくまでも例なので、最短・最易の解答とは限らないことにご注意ください。またこの解答を信じきってしまったことで起こった不利益に関しては一切の責任を負いませんので、参照する際は慎重に慎重を重ねて議論を追ってからご参照ください。また誤り・不適切な記述・非自明な箇所などがあればコメントで指摘していただけると幸いです。

2021午前01

$x$ についての関数からなる実線型空間
$V = {a e^{x} + b x e^{x} + c e^{2 x} | a, b, c \in R}$
を考える。ここで $L (V)$ を自己準同型 $V \to V$ 全体の為す実線型空間とし、 $D_{n} \in L (V)$ を
$D_{n} (f) (x) = \frac{\partial^{n} f}{\partial x^{n}} (x)$
で定義する(但し $D_{0} = {id}_{V}$ とする)。以下の問いに解答しなさい。

$D_{0}, D_{1}, D_{2}$ は $L (V)$ に於いて一次独立であることを示しなさい。
集合 ${D_{n} | n \in N}$ によって生成される $L (V)$ の部分空間の次元を求めなさい。
方程式
$f + D_{n} f = e^{x} + x e^{x} + e^{2 x}$
を満たす $f \in V$ を求めなさい。

初めに $D_{1}$ の基底 $e^{x}, x e^{x}, e^{2 x}$ に関する表現行列は
$(\begin{matrix} 1 & 1 & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 2 \end{matrix})$
である。よって $D_{n}$ の表現行列は
$(\begin{matrix} 1 & n & 0 \\ 0 & 1 & 0 \\ 0 & 0 & 2^{n} \end{matrix})$
である。ここで $a D_{0} + b D_{1} + c D_{2}$ と置いたとき、その表現行列は
$(\begin{matrix} a + b + c & a + 2 b + 3 c & 0 \\ 0 & a + b + c & 0 \\ 0 & 0 & a + 2 b + 4 c \end{matrix})$
であり、これが $0$ になるには $a = b = c = 0$ になるしかない。よって $D_{0}, D_{1}, D_{2}$ は線型独立である。
$D_{n}$ で生成される空間は、ある基底の下
$(\begin{matrix} a & b & 0 \\ 0 & a & 0 \\ 0 & 0 & c \end{matrix})$
の形の行列全体からなる空間の部分空間であるから、その次元は $3$ 以下である一方、(1)から次元 $3$ 以上であることがわかっていた。よって次元はちょうど $3$ である。
$a e^{x} + b x e^{x} + c e^{2 x}$ を列ベクトル
$(\begin{matrix} a \\ b \\ c \end{matrix})$
に対応させると、問題の方程式は
$(\begin{matrix} 2 & n & 0 \\ 0 & 2 & 0 \\ 0 & 0 & 2^{n} + 1 \end{matrix}) (\begin{matrix} a \\ b \\ c \end{matrix}) = (\begin{matrix} 1 \\ 1 \\ 1 \end{matrix})$
を解くことに等しい。この解は
$(a, b, c) = (\frac{1}{2} (1 - \frac{n}{2}), \frac{1}{2}, \frac{1}{2^{n} + 1})$
であるから、問題の方程式の解は
$f = \frac{1}{2} (1 - \frac{n}{2}) e^{x} + \frac{x e^{x}}{2} + \frac{e^{2 x}}{2^{n} + 1}$
であることがわかる。

投稿日：2024年10月11日

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。

バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

藍色日和

53375

藍色の日々。趣味の数学と院試の過去問の(間違ってるかもしれない雑な)解答例を上げていきます。リンクはX(旧Twitter)アカウント　

他の人のコメント

コメントはありません。

読み込み中

藍色日和

科学大数学系院試過去問解答例(2021午前01)