跳到主要内容

名古屋大学 情報学研究科 複雑系科学専攻 2022年8月実施 数2 [2]

Author​

思齐塾, 祭音Myyura

Description​

出典:名古屋大学公式問題

以下の各問に答えよ。

  1. y′=f(y/x)y' = f(y/x) の形の微分方程式は、 v=y/xv = y/x と変数変換することにより、変数分離形に帰着できることを示せ。

  2. 微分方程式 y′=x−yx+yy' = \frac{x - y}{x + y} を解け。

题目描述​

回答下列问题。

  1. 证明形如

    y′=f(yx)y'=f\left(\frac yx\right)

    的微分方程经变量代换 v=y/xv=y/x 后可化为可分离变量方程;

  2. 求解微分方程

    y′=x−yx+y.y'=\frac{x-y}{x+y}.

Kai​

  1. On an interval with x≠0x\ne0, let y=vxy = vx . Then y′=v+xv′y' = v + xv' . Substituting into the given differential equation, we have
v+xv′=f(v)v + xv' = f(v)
xv′=f(v)−vxv' = f(v) - v
dvdx=f(v)−vx\frac{dv}{dx} = \frac{f(v) - v}{x}
dvf(v)−v=dxx\frac{dv}{f(v) - v} = \frac{dx}{x}

This is a separable differential equation. ただし、この割り算は f(v)−v≠0f(v)-v\neq0 の範囲で行っている。f(v0)=v0f(v_0)=v_0 を満たす定数 v0v_0 がある場合には、v≡v0v\equiv v_0、すなわち y=v0xy=v_0x も別に解として加える必要がある。

  1. y′=x−yx+yy' = \frac{x - y}{x + y} . Let y=vxy = vx . Then y′=v+xv′y' = v + xv' . Substituting into the given differential equation, we have
v+xv′=x−vxx+vx=1−v1+vv + xv' = \frac{x - vx}{x + vx} = \frac{1 - v}{1 + v}
xv′=1−v1+v−v=1−v−v−v21+v=1−2v−v21+vxv' = \frac{1 - v}{1 + v} - v = \frac{1 - v - v - v^2}{1 + v} = \frac{1 - 2v - v^2}{1 + v}
dvdx=1−2v−v2x(1+v)\frac{dv}{dx} = \frac{1 - 2v - v^2}{x(1 + v)}
1+v1−2v−v2dv=dxx\frac{1 + v}{1 - 2v - v^2} dv = \frac{dx}{x}
∫1+v1−2v−v2dv=∫dxx\int \frac{1 + v}{1 - 2v - v^2} dv = \int \frac{dx}{x}

Let u=1−2v−v2u = 1 - 2v - v^2 . Then du=(−2−2v)dv=−2(1+v)dvdu = (-2 - 2v) dv = -2(1 + v) dv . So (1+v)dv=−12du(1 + v) dv = -\frac{1}{2} du .

−12∫1udu=∫dxx-\frac{1}{2} \int \frac{1}{u} du = \int \frac{dx}{x}
−12ln⁡∣u∣=ln⁡∣x∣+C-\frac{1}{2} \ln |u| = \ln |x| + C
−12ln⁡∣1−2v−v2∣=ln⁡∣x∣+C-\frac{1}{2} \ln |1 - 2v - v^2| = \ln |x| + C
ln⁡∣1−2v−v2∣=−2ln⁡∣x∣+C′\ln |1 - 2v - v^2| = -2 \ln |x| + C'
ln⁡∣1−2yx−y2x2∣=ln⁡x−2+C′\ln |1 - 2 \frac{y}{x} - \frac{y^2}{x^2}| = \ln x^{-2} + C'
1−2yx−y2x2=kx−21 - 2 \frac{y}{x} - \frac{y^2}{x^2} = kx^{-2}
x2−2xy−y2=kx^2 - 2xy - y^2 = k

x2−2xy−y2=Cx^2 - 2xy - y^2 = C

なお、変数分離の際に除いた 1−2v−v2=01-2v-v^2=0 の定数解は

v=−1±2,y=(−1±2)xv=-1\pm\sqrt2, \qquad y=(-1\pm\sqrt2)x

である。これらは上の陰関数表示で C=0C=0 としたときの二つの枝に対応する。

解は x+y≠0x+y\ne0 を満たす連結な枝に制限する。この条件の下では 陰関数の微分から y′=(x−y)/(x+y)y'=(x-y)/(x+y) が得られるため,陰関数表示は x=0x=0 を通る枝にも適用できる。ただし (0,0)(0,0) は元の方程式の定義域外である。