大阪大学 院試 過去問 解答例
阪大 情報科学研究科 情報基礎数学専攻 数学 2014年度 院試 解答例・解説
大阪大学 情報科学研究科 情報基礎数学専攻 数学 2014年度の院試 過去問について、設問ごとの解法方針と確認点を解説。全5問収録の解答・解説PDFと併用できます。問題本文は含みません。
最終更新:
第1問 — 変数変換とベータ積分
方針
の被積分関数は だけに依存する。 そのため,和 と比の向きを表す量を新しい変数にすると, 三角形領域が長方形になり,積分が完全に分離する。
和 と向き で三角形を走査する
端点の確認
は で , で と同程度である。 したがって がちょうど収束に効いている。 変数変換後の の収束条件も同じである。
採点上の注意
第1積分ではヤコビアンの を落とすミスが出やすい。 第2積分では反射公式に入る角が であり, ではない点を明記しておくとよい。
2014年度は公開から時間が経過しているため、解答・最終答まで全文公開しています
では とおく。領域内では であり, である。条件 は に移る。ヤコビアンは である。したがって
では とおく。すると で, なので,この積分は と の両端で収束する。 オイラーの反射公式 と より,
最終答
.
第2問 — 多項式の零点と三角格子
方針
一変数では「次数より多い零点を持てない」という事実だけで十分である。 二変数では,同じ事実を底辺 にまず適用し,そこから を 因子としてくくり出す。残った多項式は次数が1つ下がり,格子も一段 下がるので帰納法が閉じる。
三角格子の底辺から次数を1つ下げる
なぜ で割れるか
が の恒等式として成り立つとき, を の多項式として見ると定数項が消える。従って と書ける。点ごとの割り算ではなく, 多項式としての因数分解である点が重要である。
典型ミス
三角格子の点の個数と多項式空間の次元が等しいことだけでは証明に ならない。評価写像が単射であることを示す必要があり,上の帰納法は その単射性を直接証明している。
2014年度は公開から時間が経過しているため、解答・最終答まで全文公開しています
は高々 次であり, を満たす。互いに異なる 個の零点を持つ高々 次多項式は 零多項式である。実際,零多項式でないなら次数は零点の個数以上で なければならず,次数が高々 であることに反する。
に関する帰納法で示す。 では定数多項式 が を満たすので である。
とし,次数が高々 の場合まで主張が成り立つと仮定する。 まず とおくと,一変数多項式 は高々 次で, を満たす。よって から は零多項式である。 したがって は多項式環 で を因子に持ち, と書ける。このとき の次数は高々 である。
次に を を満たす整数とする。 与えられた条件を点 に適用すると であり, だから である。ここで とおけば, も次数が高々 の多項式で, を満たす。帰納法の仮定より であり,従って である。 よって が従う。
最終答
も も,指定された格子点での零点条件から 多項式は恒等的に である。
第3問 — 直交行列のCayley変換
方針
これは直交行列と交代行列を結ぶCayley変換である。 を固有値に持たない直交行列に対して を作ると交代行列になり,逆向きには で戻る。
可換性の使いどころ
と が可換であることを最初に押さえると, 左右どちらから逆行列を掛けても式が崩れない。行列の問題では, スカラー式と同じ変形をする前に可換性を確認するのが安全である。
正則性の見方
と明示できるので,正則性は一瞬で分かる。 行列式を別に計算する必要はない。さらにこの式をそのまま逆変換の 計算に使える。
2014年度は公開から時間が経過しているため、解答・最終答まで全文公開しています
は正則であり, と はどちらも の多項式 なので互いに可換である。したがって も と 可換で, が成り立つ。これが である。
は直交行列だから である。 の形を 使うと ここで より, 従って は交代行列である。
これは正則行列なので, は正則である。
同様に 従って よって である。
最終答
, , は正則, かつ .
第4問 — 振動積分の収束と評価
方針
元の積分は絶対収束しないが, の振動により条件収束する。 部分積分で微分を に移すと,減衰が になり,絶対収束する形に変わる。
Dirichlet判定との関係
は有界で, は単調に へ下がるので,Dirichlet判定でも存在は示せる。ただし今回の 不等式 まで同時に出すには,部分積分後に絶対値評価をする 方法が短い。
典型ミス
は発散するため,最初の形に直接絶対値を付けてはいけない。 収束の根拠は振動による相殺であり,部分積分でその相殺を 可積分な関数に移している。
2014年度は公開から時間が経過しているため、解答・最終答まで全文公開しています
とおく。部分積分を に対して行うと, 第1項は で に収束する。また なので,第2項は絶対収束する。従って が存在する。
さらに上の評価から よって求める不等式が示された。
最終答
極限は存在し,その絶対値は 以下である。
第5問 — 回転する固有方向と行列積
方針
各 は同じ2つの伸縮率 を持つが, その固有方向が ずつ回転している。回転行列で基底を固定して 見ると,行列積は1つの行列 の反復に帰着する。
回転した固有基底で見ると は対角行列になる
スペクトル条件
は固有値の絶対値がすべて 未満であることと同値である。 二次の場合は根を直接書いてもよいが,単位円内判定を使うと の条件が簡潔に出る。
検算
では なので,一般条件は だけになる。これは の直接計算と一致する。 また では条件は と同値になり, 固定された固有方向で毎回同じ伸縮をかける状況と合う。
2014年度は公開から時間が経過しているため、解答・最終答まで全文公開しています
とおく。条件は, が角度 だけ回転した正規直交基底 に関して固有値 を持つことを意味する。従って 成分で書けば これが の答えである。
のとき, が偶数なら が奇数なら である。従って よって となるための必要十分条件は である。
一般の では積を整理する。 左の回転行列 はノルムを変えないので, は と同値である。有限次元では となる必要十分条件は, の全固有値の絶対値が より小さいことである。
ここで だから,特性多項式は である。実係数二次多項式 の2根がともに単位円の内側にあるための条件は である。今回は なので,求める条件は である。すなわち が必要十分条件である。
最終答
では 。一般には かつ 。