院試hub

大阪大学 院試 過去問 解答例

阪大 情報科学研究科 情報基礎数学専攻 数学 2014年度 院試 過去問 解答例・解説(全5問)

全5問。線形代数2問・微分積分・解析2問。テーマタグは3件(固有値・固有ベクトル・重積分と極座標・ヒルベルト空間)。2013年度と共通のテーマは固有値・固有ベクトル。

最終更新:

このページで公開
解説5問・解答5問・最終答5問(全5問)
公開範囲
2014年度は解答・最終答まで全文公開
問題本文
非収録

阪大 数学 2014年度 院試 過去問の出題内容(全5問)

この5問の分野は線形代数2問・微分積分・解析2問です。

大問分野主題解説の小見出し最終答
第1問微分積分・解析変数変換とベータ積分端点の確認 / 採点上の注意あり
第2問—多項式の零点と三角格子なぜ で割れるかあり
第3問線形代数直交行列のCayley変換可換性の使いどころ / 正則性の見方あり
第4問微分積分・解析振動積分の収束と評価Dirichlet判定との関係あり
第5問線形代数回転する固有方向と行列積スペクトル条件あり

この年度の解説には典型ミス2件・検算1件・採点上の注意1件が付いています。

2014年度の出題テーマと、同じテーマを出した他大学・他年度

この年度は3問に3テーマが出ています。

前年度(2013年度)との違い

大問数
2013年度 5問 → 2014年度 5問
両年度に出たテーマ
固有値・固有ベクトル
2014年度で新しく出たテーマ
重積分と極座標・ヒルベルト空間
2013年度のページを見る

第1問 — 変数変換とベータ積分

方針

(1)(1) の被積分関数は (y−x)/(y+x)(y-x)/(y+x) だけに依存する。 そのため,和 x+yx+y と比の向きを表す量を新しい変数にすると, 三角形領域が長方形になり,積分が完全に分離する。

和 u=x+yu=x+y と向き vv で三角形を走査する

端点の確認

(2)(2) は x→−∞x\to-\infty で eαxe^{\alpha x}, x→∞x\to\infty で e(α−1)xe^{(\alpha-1)x} と同程度である。 したがって 0<α<10<\alpha<1 がちょうど収束に効いている。 変数変換後の t=0,∞t=0,\infty の収束条件も同じである。

採点上の注意

第1積分ではヤコビアンの u/2u/2 を落とすミスが出やすい。 第2積分では反射公式に入る角が πα\pi\alpha であり, sin⁡α\sin\alpha ではない点を明記しておくとよい。

解答

(1)(1) では u=x+y,v=y−xy+x u=x+y,\qquad v=\frac{y-x}{y+x} とおく。領域内では u>0u>0 であり, x=u(1−v)2,y=u(1+v)2 x=\frac{u(1-v)}2,\qquad y=\frac{u(1+v)}2 である。条件 x≥0, y≥0, x+y≤1x\ge0,\ y\ge0,\ x+y\le1 は 0≤u≤1,−1≤v≤1 0\le u\le1,\qquad -1\le v\le1 に移る。ヤコビアンは ∣∂(x,y)∂(u,v)∣=∣(1−v)/2−u/2(1+v)/2u/2∣=u2 \left|\frac{\partial(x,y)}{\partial(u,v)}\right| = \left| \begin{matrix} (1-v)/2 & -u/2\\ (1+v)/2 & u/2 \end{matrix} \right| = \frac{u}{2} である。したがって I1=∫01∫−11evu2 dv du=12(∫01u du)(∫−11ev dv)=14(e−e−1). \begin{aligned} I_1 &= \int_0^1\int_{-1}^1 e^v\frac{u}{2}\,dv\,du \\ &= \frac12\left(\int_0^1u\,du\right) \left(\int_{-1}^1e^v\,dv\right) = \frac14(e-e^{-1}). \end{aligned}

(2)(2) では t=ext=e^x とおく。すると dx=dt/tdx=dt/t で, ∫−∞∞eαxex+1 dx=∫0∞tα−11+t dt. \int_{-\infty}^{\infty}\frac{e^{\alpha x}}{e^x+1}\,dx = \int_0^\infty \frac{t^{\alpha-1}}{1+t}\,dt . 0<α<10<\alpha<1 なので,この積分は 00 と ∞\infty の両端で収束する。 オイラーの反射公式 Γ(α)Γ(1−α)=πsin⁡πα \Gamma(\alpha)\Gamma(1-\alpha)=\frac{\pi}{\sin \pi\alpha} と B(α,1−α)=∫0∞tα−11+t dt B(\alpha,1-\alpha) = \int_0^\infty\frac{t^{\alpha-1}}{1+t}\,dt より, I2=πsin⁡πα. I_2=\frac{\pi}{\sin \pi\alpha}.

最終答

I1=e−e−14,I2=πsin⁡πα\displaystyle I_1=\frac{e-e^{-1}}4,\qquad I_2=\frac{\pi}{\sin \pi\alpha}.

第2問 — 多項式の零点と三角格子

方針

一変数では「次数より多い零点を持てない」という事実だけで十分である。 二変数では,同じ事実を底辺 y=0y=0 にまず適用し,そこから yy を 因子としてくくり出す。残った多項式は次数が1つ下がり,格子も一段 下がるので帰納法が閉じる。

三角格子の底辺から次数を1つ下げる

なぜ yy で割れるか

f(x,0)=0f(x,0)=0 が xx の恒等式として成り立つとき,ff を yy の多項式として見ると定数項が消える。従って f(x,y)=yg(x,y)f(x,y)=y g(x,y) と書ける。点ごとの割り算ではなく, 多項式としての因数分解である点が重要である。

典型ミス

三角格子の点の個数と多項式空間の次元が等しいことだけでは証明に ならない。評価写像が単射であることを示す必要があり,上の帰納法は その単射性を直接証明している。

解答

(1)(1) f(x)f(x) は高々 nn 次であり, f(0)=f(1)=⋯=f(n)=0 f(0)=f(1)=\cdots=f(n)=0 を満たす。互いに異なる n+1n+1 個の零点を持つ高々 nn 次多項式は 零多項式である。実際,零多項式でないなら次数は零点の個数以上で なければならず,次数が高々 nn であることに反する。

(2)(2) nn に関する帰納法で示す。n=0n=0 では定数多項式 f(x,y)f(x,y) が f(0,0)=0f(0,0)=0 を満たすので f=0f=0 である。

n≥1n\ge1 とし,次数が高々 n−1n-1 の場合まで主張が成り立つと仮定する。 まず y=0y=0 とおくと,一変数多項式 f(x,0)f(x,0) は高々 nn 次で, f(0,0)=f(1,0)=⋯=f(n,0)=0 f(0,0)=f(1,0)=\cdots=f(n,0)=0 を満たす。よって (1)(1) から f(x,0)f(x,0) は零多項式である。 したがって f(x,y)f(x,y) は多項式環 R[x,y]\mathbb{R}[x,y] で yy を因子に持ち, f(x,y)=y g(x,y) f(x,y)=y\,g(x,y) と書ける。このとき g(x,y)g(x,y) の次数は高々 n−1n-1 である。

次に k,lk,l を k≥0, l≥0, k+l≤n−1k\ge0,\ l\ge0,\ k+l\le n-1 を満たす整数とする。 与えられた条件を点 (k,l+1)(k,l+1) に適用すると f(k,l+1)=0 f(k,l+1)=0 であり,l+1≠0l+1\ne0 だから g(k,l+1)=0 g(k,l+1)=0 である。ここで h(x,y)=g(x,y+1) h(x,y)=g(x,y+1) とおけば,hh も次数が高々 n−1n-1 の多項式で, h(k,l)=0(k,l≥0, k+l≤n−1) h(k,l)=0\qquad (k,l\ge0,\ k+l\le n-1) を満たす。帰納法の仮定より h=0h=0 であり,従って g=0g=0 である。 よって f=yg=0f=y g=0 が従う。

最終答

(1)(1) も (2)(2) も,指定された格子点での零点条件から 多項式は恒等的に 00 である。

第3問 — 直交行列のCayley変換

方針

これは直交行列と交代行列を結ぶCayley変換である。 −1-1 を固有値に持たない直交行列に対して (X−I)(X+I)−1(X-I)(X+I)^{-1} を作ると交代行列になり,逆向きには (I+A)(I−A)−1(I+A)(I-A)^{-1} で戻る。

可換性の使いどころ

X−IX-I と X+IX+I が可換であることを最初に押さえると, 左右どちらから逆行列を掛けても式が崩れない。行列の問題では, スカラー式と同じ変形をする前に可換性を確認するのが安全である。

正則性の見方

I−A=2(X+I)−1I-A=2(X+I)^{-1} と明示できるので,正則性は一瞬で分かる。 行列式を別に計算する必要はない。さらにこの式をそのまま逆変換の 計算に使える。

解答

X+IX+I は正則であり,X−IX-I と X+IX+I はどちらも XX の多項式 なので互いに可換である。したがって (X+I)−1(X+I)^{-1} も X−IX-I と 可換で, A=(X−I)(X+I)−1=(X+I)−1(X−I) A=(X-I)(X+I)^{-1}=(X+I)^{-1}(X-I) が成り立つ。これが (1)(1) である。

(2)(2) XX は直交行列だから XT=X−1X^T=X^{-1} である。(1)(1) の形を 使うと AT=((X+I)−1(X−I))T=(XT−I)(XT+I)−1=(X−1−I)(X−1+I)−1. \begin{aligned} A^T &= \left((X+I)^{-1}(X-I)\right)^T \\ &= (X^T-I)(X^T+I)^{-1} \\ &= (X^{-1}-I)(X^{-1}+I)^{-1}. \end{aligned} ここで X−1−I=X−1(I−X),X−1+I=X−1(I+X) X^{-1}-I=X^{-1}(I-X),\qquad X^{-1}+I=X^{-1}(I+X) より, AT=(I−X)(I+X)−1=−A. A^T=(I-X)(I+X)^{-1}=-A. 従って AA は交代行列である。

(3)(3) I−A=I−(X−I)(X+I)−1={(X+I)−(X−I)}(X+I)−1=2(X+I)−1. I-A = I-(X-I)(X+I)^{-1} = \{(X+I)-(X-I)\}(X+I)^{-1} = 2(X+I)^{-1}. これは正則行列なので,I−AI-A は正則である。

(4)(4) 同様に I+A={(X+I)+(X−I)}(X+I)−1=2X(X+I)−1. I+A = \{(X+I)+(X-I)\}(X+I)^{-1} = 2X(X+I)^{-1}. 従って (I+A)(I−A)−1=2X(X+I)−1⋅12(X+I)=X. (I+A)(I-A)^{-1} = 2X(X+I)^{-1}\cdot \frac12(X+I) = X. よって X=(I+A)(I−A)−1 X=(I+A)(I-A)^{-1} である。

最終答

A=(X+I)−1(X−I)A=(X+I)^{-1}(X-I), AT=−AA^T=-A, I−AI-A は正則, かつ X=(I+A)(I−A)−1X=(I+A)(I-A)^{-1}.

第4問 — 振動積分の収束と評価

方針

元の積分は絶対収束しないが,cos⁡x\cos x の振動により条件収束する。 部分積分で微分を (1+x)−1(1+x)^{-1} に移すと,減衰が (1+x)−2(1+x)^{-2} になり,絶対収束する形に変わる。

Dirichlet判定との関係

∫0rcos⁡x dx=sin⁡r\int_0^r\cos x\,dx=\sin r は有界で,(1+x)−1(1+x)^{-1} は単調に 00 へ下がるので,Dirichlet判定でも存在は示せる。ただし今回の 不等式 ≤1\le1 まで同時に出すには,部分積分後に絶対値評価をする 方法が短い。

典型ミス

∫0∞∣cos⁡x∣1+x dx \int_0^\infty \frac{|\cos x|}{1+x}\,dx は発散するため,最初の形に直接絶対値を付けてはいけない。 収束の根拠は振動による相殺であり,部分積分でその相殺を 可積分な関数に移している。

解答

F(r)=∫0rcos⁡x1+x dx F(r)=\int_0^r\frac{\cos x}{1+x}\,dx とおく。部分積分を cos⁡x dx=d(sin⁡x),11+x \cos x\,dx=d(\sin x),\qquad \frac{1}{1+x} に対して行うと, F(r)=[sin⁡x1+x]0r+∫0rsin⁡x(1+x)2 dx=sin⁡r1+r+∫0rsin⁡x(1+x)2 dx. \begin{aligned} F(r) &= \left[\frac{\sin x}{1+x}\right]_0^r + \int_0^r \frac{\sin x}{(1+x)^2}\,dx \\ &= \frac{\sin r}{1+r} + \int_0^r \frac{\sin x}{(1+x)^2}\,dx . \end{aligned} 第1項は r→∞r\to\infty で 00 に収束する。また ∫0∞∣sin⁡x(1+x)2∣ dx≤∫0∞dx(1+x)2=1 \int_0^\infty \left|\frac{\sin x}{(1+x)^2}\right|\,dx \le \int_0^\infty \frac{dx}{(1+x)^2} = 1 なので,第2項は絶対収束する。従って lim⁡r→∞F(r)=∫0∞sin⁡x(1+x)2 dx \lim_{r\to\infty}F(r) = \int_0^\infty \frac{\sin x}{(1+x)^2}\,dx が存在する。

さらに上の評価から ∣lim⁡r→∞∫0rcos⁡x1+x dx∣=∣∫0∞sin⁡x(1+x)2 dx∣≤∫0∞dx(1+x)2=1. \left| \lim_{r\to\infty}\int_0^r\frac{\cos x}{1+x}\,dx \right| = \left| \int_0^\infty \frac{\sin x}{(1+x)^2}\,dx \right| \le \int_0^\infty \frac{dx}{(1+x)^2} = 1. よって求める不等式が示された。

最終答

極限は存在し,その絶対値は 11 以下である。

第5問 — 回転する固有方向と行列積

方針

各 AkA_k は同じ2つの伸縮率 α,β\alpha,\beta を持つが, その固有方向が kθk\theta ずつ回転している。回転行列で基底を固定して 見ると,行列積は1つの行列 DR−θD R_{-\theta} の反復に帰着する。

回転した固有基底で見ると AkA_k は対角行列になる

スペクトル条件

Mk→0M^k\to0 は固有値の絶対値がすべて 11 未満であることと同値である。 二次の場合は根を直接書いてもよいが,単位円内判定を使うと α,β,θ\alpha,\beta,\theta の条件が簡潔に出る。

検算

θ=π/2\theta=\pi/2 では cos⁡θ=0\cos\theta=0 なので,一般条件は αβ<1\alpha\beta<1 だけになる。これは (2)(2) の直接計算と一致する。 また θ=0\theta=0 では条件は α<1, β<1\alpha<1,\ \beta<1 と同値になり, 固定された固有方向で毎回同じ伸縮をかける状況と合う。

解答

Rϕ=(cos⁡ϕ−sin⁡ϕsin⁡ϕcos⁡ϕ),D=(α00β) R_\phi= \begin{pmatrix} \cos\phi & -\sin\phi\\ \sin\phi & \cos\phi \end{pmatrix}, \qquad D= \begin{pmatrix} \alpha & 0\\ 0 & \beta \end{pmatrix} とおく。条件は,AkA_k が角度 kθk\theta だけ回転した正規直交基底 Rkθe1,Rkθe2 R_{k\theta}e_1,\qquad R_{k\theta}e_2 に関して固有値 α,β\alpha,\beta を持つことを意味する。従って Ak=RkθDR−kθ. A_k=R_{k\theta}D R_{-k\theta}. 成分で書けば Ak=(αcos⁡2kθ+βsin⁡2kθ(α−β)sin⁡kθcos⁡kθ(α−β)sin⁡kθcos⁡kθαsin⁡2kθ+βcos⁡2kθ). A_k= \begin{pmatrix} \alpha\cos^2 k\theta+\beta\sin^2 k\theta & (\alpha-\beta)\sin k\theta\cos k\theta\\ (\alpha-\beta)\sin k\theta\cos k\theta & \alpha\sin^2 k\theta+\beta\cos^2 k\theta \end{pmatrix}. これが (1)(1) の答えである。

(2)(2) θ=π/2\theta=\pi/2 のとき,kk が偶数なら Ak=(α00β), A_k= \begin{pmatrix}\alpha&0\\0&\beta\end{pmatrix}, kk が奇数なら Ak=(β00α) A_k= \begin{pmatrix}\beta&0\\0&\alpha\end{pmatrix} である。従って B2m=(αβ)mI,B2m+1=(αβ)m(β00α). B_{2m}=(\alpha\beta)^m I,\qquad B_{2m+1}=(\alpha\beta)^m \begin{pmatrix}\beta&0\\0&\alpha\end{pmatrix}. よって Bk→0B_k\to0 となるための必要十分条件は αβ<1 \alpha\beta<1 である。

(3)(3) 一般の θ\theta では積を整理する。 Bk=AkAk−1⋯A1=RkθDR−θDR−θ⋯DR−θ=Rkθ(DR−θ)k. \begin{aligned} B_k &= A_kA_{k-1}\cdots A_1 \\ &= R_{k\theta}D R_{-\theta}D R_{-\theta}\cdots D R_{-\theta} \\ &= R_{k\theta}(D R_{-\theta})^k . \end{aligned} 左の回転行列 RkθR_{k\theta} はノルムを変えないので, Bk→0B_k\to0 は Mk→0,M=DR−θ M^k\to0,\qquad M=D R_{-\theta} と同値である。有限次元では Mk→0M^k\to0 となる必要十分条件は, MM の全固有値の絶対値が 11 より小さいことである。

ここで M=(αcos⁡θαsin⁡θ−βsin⁡θβcos⁡θ) M= \begin{pmatrix} \alpha\cos\theta & \alpha\sin\theta\\ -\beta\sin\theta & \beta\cos\theta \end{pmatrix} だから,特性多項式は λ2−(α+β)cos⁡θ λ+αβ \lambda^2-(\alpha+\beta)\cos\theta\,\lambda+\alpha\beta である。実係数二次多項式 λ2−τλ+δ \lambda^2-\tau\lambda+\delta の2根がともに単位円の内側にあるための条件は 1−δ>0,1−τ+δ>0,1+τ+δ>0 1-\delta>0,\qquad 1-\tau+\delta>0,\qquad 1+\tau+\delta>0 である。今回は τ=(α+β)cos⁡θ,δ=αβ \tau=(\alpha+\beta)\cos\theta,\qquad \delta=\alpha\beta なので,求める条件は αβ<1,−1−αβ<(α+β)cos⁡θ<1+αβ \alpha\beta<1,\qquad -1-\alpha\beta<(\alpha+\beta)\cos\theta<1+\alpha\beta である。すなわち  αβ<1,∣(α+β)cos⁡θ∣<1+αβ  \boxed{\ \alpha\beta<1,\qquad |(\alpha+\beta)\cos\theta|<1+\alpha\beta\ } が必要十分条件である。

最終答

Ak=Rkθ(α00β)R−kθ. A_k=R_{k\theta} \begin{pmatrix}\alpha&0\\0&\beta\end{pmatrix} R_{-k\theta}. θ=π/2\theta=\pi/2 では αβ<1\alpha\beta<1。一般には αβ<1\alpha\beta<1 かつ ∣(α+β)cos⁡θ∣<1+αβ|(\alpha+\beta)\cos\theta|<1+\alpha\beta。

阪大 数学 院試 過去問の収録21年度

  • 2025年度(全5問)

    階数と連立一次方程式の整合条件 / 2つの放物線上の点の距離 / 二点境界条件付き線形常微分方程式

  • 2024年度(全5問)

    楕円体と円柱条件の共通部分 / 二変数関数の極値判定 / 単調列と指数型列

  • 2023年度(全5問)

    主値積分 / 二次曲線上の積の極値 / 冪級数の収束半径

  • 2022年度(全5問)

    一次微分方程式 / 4次元球の体積 / 導関数の極限と微分可能性

  • 2021年度(全5問)

    三角関数の定積分 / 定数係数線形微分方程式 / 凸関数の導関数の極限

  • 2020年度(全5問)

    有理関数の広義積分 / 二変数関数の極値 / 正則行列の開性と行列冪の極限

  • 2019年度(全5問)

    パラメータ付き有理型積分 / 偏導関数が消える関数 / 行列の冪と作用素ノルム

  • 2018年度(全5問)

    三角置換と周期積分 / 行列の核と階数1行列 / 制約付き極値

  • 2017年度(全5問)

    二重積分と球・円柱の共通部分 / 二次形式の最大値と固有値 / 漸化式と収束半径

  • 2016年度(全5問)解答・最終答まで全文公開

    円盤上の積分と差分商 / 数列空間と線形漸化式 / 留数定理によるフーリエ型積分

  • 2015年度(全5問)解答・最終答まで全文公開

    重積分と広義積分 / 階段型行列の行列式 / Rodrigues型多項式と直交性

  • 2014年度(このページ・全5問)解答・最終答まで全文公開

    変数変換とベータ積分 / 多項式の零点と三角格子 / 直交行列のCayley変換

  • 2013年度(全5問)解答・最終答まで全文公開

    多項式空間上の線形変換 / 積分剰余と凸性 / 巡回行列の固有値

  • 2012年度(全5問)解答・最終答まで全文公開

    積分の変数変換 / 実数連立方程式 / 指数型母関数と3周期列

  • 2011年度(全5問)解答・最終答まで全文公開

    積分評価 / 線形部分空間 / 正則関数と調和共役

  • 2010年度(全5問)解答・最終答まで全文公開

    広義積分と留数計算 / 行列の核の次元 / 複素数列の周期性

  • 2009年度(全5問)解答・最終答まで全文公開

    制約付き最大化 / 歪対称行列と非対角化性 / 単位円上の留数計算

  • 2008年度(全5問)解答・最終答まで全文公開

    球と円柱の共通部分の体積 / 同伴行列の固有多項式と対角化 / 有界正則関数の係数評価

  • 2007年度(全5問)解答・最終答まで全文公開

    左右から近づく微分商 / 楕円体の体積 / 留数による有理関数積分

  • 2006年度(全5問)解答・最終答まで全文公開

    漸化式と階乗正規化 / 二変数関数の極値 / 単位円上の留数計算

  • 2005年度(全5問)解答・最終答まで全文公開

    可積分条件と無限遠での極限 / 極座標でのラプラシアン / フーリエ型積分と留数