名古屋大学 工学研究科 機械航空系 2018年度 基礎部門 問題3

标签：

• 名古屋大学
• 可分离变量的常微分方程
• 一阶齐次常微分方程
• 二阶线性常微分方程
• 弗罗贝尼乌斯法

Author

祭音Myyura (co-authored with GPT 6 Astra)

Description

以下の問いに答えよ。

1. 次の常微分方程式の一般解を求めよ。

   $$\frac{dy}{dx}=\frac{(1+x^2)y^3}{(y^2-1)x^3}.$$

2. 次の常微分方程式の一般解を求めよ。

   $$x^2\frac{dy}{dx}=x^2+y^2.$$

   ヒント：$\displaystyle\int dx/(x^2+a^2)=a^{-1}\arctan(x/a)+C$。

3. 次の常微分方程式の一般解を求めよ。

   $$y''+y'+y=\cos2x.$$

4. $|x|<1$ において $x(1+x)y''-2y'-2y=0$ を、定数 $r,a_m$ による級数

   $$y=x^r\sum_{m=0}^{\infty}a_mx^m,\qquad a_0\ne0$$

   で解く。1) $r$ の決定方程式と根 $r_1>r_2$ を求めよ。2) $r_1$ に対する基底 $y_1$ を $a_0$ を用いて示せ。級数式のままでもよい。ヒント：方程式が $x$ について恒等的に零となる条件を考えよ。

题目描述

（1）至（3）分别求上述三个常微分方程式的通解。（4）对 $x(1+x)y''-2y'-2y=0$ 使用给定的弗罗贝尼乌斯级数，在 $|x|<1$ 下求指标方程及两个根 $r_1>r_2$，再求较大根对应的解，以非零首项系数 $a_0$ 表示。

Kai

(1)

$x\ne0$、$y\ne0,\pm1$ の区間で変数分離すると

$$\left(\frac1y-\frac1{y^3}\right)dy =\left(\frac1{x^3}+\frac1x\right)dx.$$

積分して

$$\boxed{\log\left|\frac yx\right|+\frac1{2y^2}+\frac1{2x^2}=C}.$$

変数分離の際に除いた $\boxed{y\equiv0}$ も解である。元の式は $x=0$ および $y=\pm1$ で定義されない。

(2)

$x\ne0$ として $y=xu$ とおくと $xu'=u^2-u+1$ となるから

$$\frac2{\sqrt3}\arctan\frac{2u-1}{\sqrt3}=\log|x|+C.$$

従って、右辺が有限となる各区間で

$$\boxed{y=x\left\{\frac12+\frac{\sqrt3}{2} \tan\left(\frac{\sqrt3}{2}\log|x|+C\right)\right\}}.$$

(3)

同次方程式の特性根は $(-1\pm i\sqrt3)/2$。特殊解を $a\cos2x+b\sin2x$ とおくと $-3a+2b=1$、$-2a-3b=0$ より $a=-3/13$、$b=2/13$ となる。

$$\boxed{y=e^{-x/2}\left(C_1\cos\frac{\sqrt3x}{2}+C_2\sin\frac{\sqrt3x}{2}\right) -\frac3{13}\cos2x+\frac2{13}\sin2x}.$$

(4)

1)

級数を代入すると最低次 $x^{r-1}$ の係数は $a_0r(r-3)$ である。従って

$$\boxed{r(r-3)=0,\qquad r_1=3,\quad r_2=0}.$$

2)

$m\ge1$ の $x^{m+r-1}$ の係数から

$$(m+r)(m+r-3)a_m +\bigl((m+r-1)(m+r-2)-2\bigr)a_{m-1}=0.$$

$r=3$ のとき $m(m+3)(a_m+a_{m-1})=0$ なので $a_m=(-1)^ma_0$。よって

$$\boxed{y_1=a_0\sum_{m=0}^{\infty}(-1)^mx^{m+3} =\frac{a_0x^3}{1+x}\qquad(|x|<1)}.$$

Reference

• 名古屋大学公式問題：2017年8月22日実施・基礎部門、PDF 4ページ