解答:
第2式の両辺に 2g(x) を掛け,第1式を用いると
2g(x)g′(x)=2αf(x){g(x)}2
dxdg(x)2=2αf(x)f′(x)=αdxdf(x)2
両辺を x で積分し,
{g(x)}2=α{f(x)}2+C
初期条件 f(0)=0,g(0)=1 より,C=1。
{g(x)}2=α{f(x)}2+1
これを第1式に代入して変数分離形を得る。
f′(x)=α{f(x)}2+1
(i) α=0 のとき
f′(x)⟹f(x)=1=x+C1
f(0)=0 より f(x)=x。
{g(x)}2=1 と g(0)=1 より g(x)=1。
f(x)=x,g(x)=1
(ii) α>0 のとき
∫αf2+1df=∫dx
α1arctan(αf)=x+C2
f(0)=0 より C2=0。
f(x)=α1tan(αx)
{g(x)}2=tan2(αx)+1=cos2(αx)1 であり,g(0)=1 より正の平方根をとる。
f(x)=α1tan(αx),g(x)=cos(αx)1
(iii) α<0 のとき
∫αf2+1df=∫dx
−α1artanh(−αf)=x+C3
f(0)=0 より C3=0。
f(x)=−α1tanh(−αx)
{g(x)}2=−tanh2(−αx)+1=cosh2(−αx)1 であり,g(0)=1 より正の平方根をとる。
f(x)=−α1tanh(−αx),g(x)=cosh(−αx)1
补充说明:
本题考查了非线性常微分方程组的求解。解题的核心在于通过代数变形构造出两个函数之间的守恒关系,即求出常微分方程系统的首次积分。注意到第二个方程右侧含有 f(x)g(x),如果在两边同乘 2g(x) 就可以凑出对 g2 求导的形式,而此时右侧正好出现 2f(x)g2(x),将其中的 g2 替换为第一个方程给出的 f′,就能将右侧完美转化为常数乘上对 f2 求导的形式。通过两边同时积分并代入给定的初始条件,就可以将原本的耦合方程组化简为一个关于 f(x) 的一阶可分离变量微分方程。最后在具体求解该积分时,由于分母中 αf2+1 的系数 α 的符号会直接决定原函数的类型,因此必须根据 α 为零、大于零和小于零三种情况进行分类讨论,分别运用基本多项式、反正切函数和反双曲正切函数的积分公式,从而得到多项式、三角函数和双曲函数形式的解。在求解 g(x) 开平方时,要注意结合初始条件 g(0)=1 选取正号。