名古屋大学 情報学研究科 知能システム学専攻 2021年8月実施 解析・線形代数

标签：

• 名古屋大学
• 复数根
• 多元极值的海森矩阵判别法
• 二次型
• 正定矩阵
• 柯西–欧拉方程
• 降阶法

Author

祭音Myyura (co-authored with GPT 5.6 SOL)

Description

題意の要約。出典：名古屋大学・令和4年度知能システム学専攻入試問題、解析・線形代数。導出過程も示す。

1

虚数単位を $i$ として、複素方程式 $z^2+2z+1-2i=0$ を解く。

2

$f(x,y)=x^3+y^3-3xy$ の極値を求める。

3

$a$ を定数として、$Q(x_1,x_2)=ax_1^2+ax_2^2+2(a+1)x_1x_2$ を考える。

(a) $\boldsymbol x=(x_1,x_2)^T$ に対して $Q=\boldsymbol x^TA\boldsymbol x$ となる対称行列 $A$ を求める。

(b) $A$ の固有値を求める。

(c) $Q$ が定符号となる $a$ の範囲を求める。

4

$x>0$ における微分方程式

$$x^2y''-3xy'+4y=0\tag{*}$$

を考える。

(a) $y=x^m$ の形をした解を求め、その $m$ を示す。

(b) (a) の解を $u(x)$ 倍し、$z=du/dx$ とおくことで、(*) を $z$ の $x$ に関する微分方程式へ変換する。

(c) (b) の方程式を解いて、(*) の一般解を求める。

题目描述

[1] 求复方程

$$(z+1)^2=2i$$

的全部解。

[2] 对函数

$$f(x,y)=x^3+y^3-3xy$$

求全部驻点，利用 Hessian 判断各驻点是否为极值点或鞍点，并求相应的极值。

[3] 给定二次型

$$Q(x,y)=ax^2+2(a+1)xy+ay^2.$$

1. 写出满足 $Q(x,y)=(x,y)A(x,y)^\top$ 的实对称矩阵 $A$；
2. 求 $A$ 的全部特征值；
3. 求使 $Q$ 为定号二次型的实数 $a$ 的范围。

[4] 在 $x>0$ 上考察 Cauchy–Euler 方程

$$x^2y''-3xy'+4y=0.$$

1. 令 $y=x^m$，求一个幂函数解；
2. 令 $y=x^2u(x)$、$z=u'(x)$，导出 $z$ 所满足的一阶微分方程；
3. 求第二个与前一解线性无关的解，并写出原方程的通解。

Kai

1

$$\begin{aligned} (z+1)^2 &= 2i \\ z+1 &= \pm \sqrt{2} \cdot \frac{1+i}{\sqrt{2}} \\ &= \pm (1+i) \\ \therefore \ \ z &= i, -2-i \end{aligned}$$

2

まず、

$$\begin{aligned} \frac{\partial f}{\partial x} = 3x^2 - 3y &, \ \ \frac{\partial f}{\partial y} = 3y^2 - 3x , \\ \frac{\partial^2 f}{\partial x^2} = 6x , \ \ \frac{\partial^2 f}{\partial y^2} = 6y &, \ \ \frac{\partial^2 f}{\partial x \partial y} = \frac{\partial^2 f}{\partial y \partial x} = -3 \end{aligned}$$

であり、 $\partial f/\partial x = \partial f/\partial y = 0$ となるのは、 $(x,y)=(0,0),(1,1)$ のときである。

$(x,y)=(0,0)$ でのヘッセ行列は、

$$\begin{aligned} \begin{pmatrix} 0 & -3 \\ -3 & 0 \end{pmatrix} \end{aligned}$$

であり、これの2つの固有値を $\alpha, \beta$ とすると、 $\alpha \beta = -9$ から異符号である。 よって、この点は鞍点であり、極値を与えない。

$(x,y)=(1,1)$ でのヘッセ行列は、

$$\begin{aligned} \begin{pmatrix} 6 & -3 \\ -3 & 6 \end{pmatrix} \end{aligned}$$

であり、これの2つの固有値を $\alpha, \beta$ とすると、 $\alpha + \beta = 12, \alpha \beta = 27$ から、どちらも正である。 よって、この点で極小値をとり、その値は $f(1,1)=-1$ である。

3

(a)

$$\begin{aligned} A = \begin{pmatrix} a & a+1 \\ a+1 & a \end{pmatrix} \end{aligned}$$

(b)

$A$ の固有値を $\lambda$ とすると、

$$\begin{aligned} 0 &= \det \begin{pmatrix} a - \lambda & a+1 \\ a+1 & a - \lambda \end{pmatrix} \\ &= (\lambda + 1)(\lambda - 2a - 1) \\ \therefore \ \ \lambda &= -1, 2a+1 \end{aligned}$$

である。

(c)

2次形式 $Q$ が定符号であるということは、 対称行列 $A$ の2つの固有値が同符号であるということなので、 求める範囲は

$$\begin{aligned} 2a+1 &\lt 0 \\ \therefore \ \ a &\lt - \frac{1}{2} \end{aligned}$$

である。

4

(a)

$y=x^m$ とすると、

$$\begin{aligned} \frac{dy}{dx} &= m x^{m-1} \\ \frac{d^2 y}{dx^2} &= m(m-1) x^{m-2} \end{aligned}$$

であり、これらを与えられた微分方程式 (*) に代入して、 $x \gt 0$ に注意して整理すると、

$$\begin{aligned} (m-2)^2 &= 0 \\ \therefore \ \ m &= 2 \end{aligned}$$

を得る。 実際、

$$\begin{aligned} y = x^2 \end{aligned}$$

が (*) の解であることは簡単に確かめられる。

(b)

$y=x^2 u(x)$ として、 $z = du/dx$ を使うと、

$$\begin{aligned} \frac{dy}{dx} &= 2xu + x^2 z \\ \frac{d^2 y}{dx^2} &= 2u + 4xz + x^2 \frac{dz}{dx} \end{aligned}$$

であり、これらを与えられた微分方程式 (*) に代入して、 $x \gt 0$ に注意して整理すると、

$$\begin{aligned} x \frac{dz}{dx} + z = 0 \end{aligned}$$

を得る。

(c)

(b) で得られた微分方程式を積分して、積分定数を適当に選ぶと、

$$\begin{aligned} z &= \frac{1}{x} \\ u &= \log x \end{aligned}$$

を得る。 実際、 $y = x^2 \log x$ は () を満たす。 以上より、 () の一般解は、任意定数を $A,B$ として、

$$\begin{aligned} y = A x^2 + B x^2 \log x \end{aligned}$$

である。