大阪大学 院試 過去問 解答例
阪大 情報科学研究科 情報基礎数学専攻 数学 2015年度 院試 解答例・解説
大阪大学 情報科学研究科 情報基礎数学専攻 数学 2015年度の院試 過去問について、設問ごとの解法方針と確認点を解説。全5問収録の解答・解説PDFと併用できます。問題本文は含みません。
最終更新:
第1問 — 重積分と広義積分
方針
第1積分は放物面と 平面にはさまれた立体上の積分である。 について先に積分すれば,円板上の多項式積分に落ちる。 角度方向に依存する部分と半径方向に依存する部分を分離できるのが 極座標の利点である。
底面は単位円板になる
典型ミス
で角度積分を先に見ると, は平均して 零にはならない。円周上では と の平均は同じなので, の平均は 1個分だけ残る。
広義積分の確認
は のため で被積分関数が発散する。 ただし変数変換後は の積分であり, だから収束する。この収束条件を書いておくと, 単なる形式計算ではないことが明確になる。
2015年度は公開から時間が経過しているため、解答・最終答まで全文公開しています
ではまず について積分する。底面は単位円板であり, である。極座標 を用いると なので, 角度方向は である。また したがって
では とおく。ヤコビアンは で,領域は に移る。よって なので で広義積分は収束し,
最終答
.
第2問 — 階段型行列の行列式
方針
この行列は行方向より列方向の差を取ると形が見える。隣り合う列の差を 取ると,上側に連続した が現れ,行列式は下三角行列の対角積に 帰着する。
列変形の順序
を右から左へ行えば,まだ使っていない 左隣の列を壊さずに済む。左から右へ機械的に進めると,すでに変形した 列を引いてしまい,意図した差分にならない。
検算
では であり,公式と一致する。小さい次数で符号を確認してから一般化すると, 符号ミスを避けやすい。
2015年度は公開から時間が経過しているため、解答・最終答まで全文公開しています
列ベクトルを と書く。列基本変形として を行う。これは行列式を変えない。変形後の第1行は である。
また, に対して新しい第 列は,第1行から第 行までが ,第 行が となる。第 行より下には 型の成分が残るが, これは対角成分より下にしか現れない。
したがって,第1行・第1列を除いた 次行列は下三角行列で, その対角成分は である。よって
最終答
.
第3問 — Rodrigues型多項式と直交性
方針
これは Legendre 多項式の Rodrigues 公式と同じ構造である。 標準的な Legendre 多項式 とは の関係にあるため,直交性もノルムも標準公式から見通せる。 答案では標準公式を丸暗記で使うより,部分積分で導く方が安全である。
境界項が消える理由
部分積分を繰り返すとき,端点で の から 階までの導関数が消えることが 重要である。ここを書かないと,直交性の証明としては不十分になる。
採点上の注意
ノルム計算では と の約分で が分母に残る。最後の係数 も,変数変換 の を忘れると 半分ずれる。
2015年度は公開から時間が経過しているため、解答・最終答まで全文公開しています
とおくと, である。 は に 重零点を持つため, は両端で消える。
とする。部分積分を 回行うと,境界項はすべて 消え, は高々 次の多項式であり, だから である。したがって
同様に, を用いて の最高次項は なので である。よって ここで とおくと 与えられた Beta 関数の値を使えば したがって
最終答
.
第4問 — 像空間と多項式消滅条件
方針
像空間の交わりを扱う問題では,積 の像が と の両方に入ることを 使う。ただしこれは が可換なときにきれいに働く。 ここでは の多項式だけが出ているので可換性は自動的に成り立つ。
第2問の注意点
から と が分かっても, ただちに とは言えない。 と が互いに素で あること,すなわち上の恒等式を使って 自身をそれらの線形結合で 表す必要がある。
検算
の条件 は射影行列の条件である。 射影では空間が 固有空間と 固有空間に分かれ, と が交わらない, という幾何的な見方と一致する。
2015年度は公開から時間が経過しているため、解答・最終答まで全文公開しています
まず であるから, は任意の について にも にも属する。 したがって ならば がすべての で成り立ち, である。
逆に とする。このとき である。 とすると, と書ける。 と から であり, と から である。よって となる。
多項式 と は互いに素であり, が成り立つことを用いる。
まず であるから, は と の両方に 属する。従って,交わりが ならば である。
逆に とする。 を取る。すると と書ける。可換性より 上の Bezout 型恒等式に を代入して に作用させると よって交わりは である。
最終答
それぞれの像の交わりが零空間であることと,対応する多項式 , が零行列になることは同値である。
第5問 — コーシーの積分定理と実積分
方針
実積分は奇関数部分と偶関数部分に分けるのが第一手である。 は左右対称な区間では打ち消し合う。 残りは有名な で,留数定理を使うと短く評価できる。
上半円内の2つの極だけが寄与する
注意すべき極限
は無限遠で のように振る舞うため, 片側ずつの広義積分は収束しない。ここで求めているのは 上の対称極限であり,そのため奇関数部分を とできる。 この区別を書いておくと答案が厳密になる。
採点上の注意
留数の和の符号を誤ると答えが負になりやすい。実積分は正の関数 の積分なので,最後の値は必ず正でなければならない。
2015年度は公開から時間が経過しているため、解答・最終答まで全文公開しています
代表的には次のように述べればよい。 より一般には,閉曲線とその内部を含む領域で が正則なら, その閉曲線に沿う積分は である。
まず と分ける。第1項は奇関数なので,任意の について したがって求める極限は である。
上半円の半径 の経路を用いて を積分する。上半平面の極は であり,いずれも単純極である。留数は だから, 半円弧上の積分は で に近づくので,留数定理より 以上より
最終答
コーシーの積分定理は,正則関数の閉曲線積分が零になるという定理である。また,指定された対称極限は .