線形1階微分方程式 $x' = f(t)x + g(t)$ (2) に関する問題です。具体的には、斉次方程式の解の線形結合が解になることの証明、斉次方程式の一般解の導出、定数変化法による特殊解の導出、そして、具体的な微分方程式の一般解を定数変化法と未定係数法で求める問題です。

解析学微分方程式線形微分方程式定数変化法未定係数法一般解
2025/5/8

1. 問題の内容

線形1階微分方程式 x=f(t)x+g(t)x' = f(t)x + g(t) (2) に関する問題です。具体的には、斉次方程式の解の線形結合が解になることの証明、斉次方程式の一般解の導出、定数変化法による特殊解の導出、そして、具体的な微分方程式の一般解を定数変化法と未定係数法で求める問題です。

2. 解き方の手順

1) x1x_1x2x_2x=f(t)xx' = f(t)xの解であるとき、αx1+βx2\alpha x_1 + \beta x_2も解になることを示す。
x1=f(t)x1x_1' = f(t)x_1 かつ x2=f(t)x2x_2' = f(t)x_2 が成り立つ。
線形結合αx1+βx2\alpha x_1 + \beta x_2を微分すると、
(αx1+βx2)=αx1+βx2=αf(t)x1+βf(t)x2=f(t)(αx1+βx2)(\alpha x_1 + \beta x_2)' = \alpha x_1' + \beta x_2' = \alpha f(t)x_1 + \beta f(t)x_2 = f(t)(\alpha x_1 + \beta x_2)
したがって、αx1+βx2\alpha x_1 + \beta x_2x=f(t)xx' = f(t)xの解である。
2) 斉次方程式x=f(t)xx' = f(t)xを変数分離法で解く。
dxdt=f(t)x\frac{dx}{dt} = f(t)x
dxx=f(t)dt\frac{dx}{x} = f(t)dt
dxx=f(t)dt\int \frac{dx}{x} = \int f(t)dt
lnx=f(t)dt+C\ln|x| = \int f(t)dt + C'
x=ef(t)dt+C=eCef(t)dt=Cef(t)dtx = e^{\int f(t)dt + C'} = e^{C'}e^{\int f(t)dt} = Ce^{\int f(t)dt} (Cは任意定数)
3) 定数変化法で方程式(2)の特殊解xpx_pを求める。
xp(t)=u(t)ef(t)dtx_p(t) = u(t)e^{\int f(t)dt}と仮定する。
xp=u(t)ef(t)dt+u(t)f(t)ef(t)dtx_p' = u'(t)e^{\int f(t)dt} + u(t)f(t)e^{\int f(t)dt}
これを方程式(2)に代入すると、
u(t)ef(t)dt+u(t)f(t)ef(t)dt=f(t)u(t)ef(t)dt+g(t)u'(t)e^{\int f(t)dt} + u(t)f(t)e^{\int f(t)dt} = f(t)u(t)e^{\int f(t)dt} + g(t)
u(t)ef(t)dt=g(t)u'(t)e^{\int f(t)dt} = g(t)
u(t)=g(t)ef(t)dtu'(t) = g(t)e^{-\int f(t)dt}
u(t)=g(t)ef(t)dtdtu(t) = \int g(t)e^{-\int f(t)dt}dt
したがって、xp(t)=ef(t)dtg(t)ef(t)dtdtx_p(t) = e^{\int f(t)dt} \int g(t)e^{-\int f(t)dt}dt
4) xg(t)+xp(t)x_g(t) + x_p(t)が式(2)の解であることを示す。
xg(t)x_g(t)x=f(t)xx' = f(t)xの解なので、xg(t)=f(t)xg(t)x_g'(t) = f(t)x_g(t)
xp(t)x_p(t)x=f(t)x+g(t)x' = f(t)x + g(t)の特殊解なので、xp(t)=f(t)xp(t)+g(t)x_p'(t) = f(t)x_p(t) + g(t)
よって、(xg(t)+xp(t))=xg(t)+xp(t)=f(t)xg(t)+f(t)xp(t)+g(t)=f(t)(xg(t)+xp(t))+g(t)(x_g(t) + x_p(t))' = x_g'(t) + x_p'(t) = f(t)x_g(t) + f(t)x_p(t) + g(t) = f(t)(x_g(t) + x_p(t)) + g(t)
したがって、xg(t)+xp(t)x_g(t) + x_p(t)は式(2)の解である。
5) 次の微分方程式の一般解を定数変化法と未定係数法それぞれで求める。
1) x=x+e2tx' = x + e^{2t}
定数変化法:
f(t)=1,g(t)=e2tf(t) = 1, g(t) = e^{2t}
f(t)dt=dt=t\int f(t)dt = \int dt = t
xg(t)=Cetx_g(t) = Ce^{t}
xp(t)=ete2tetdt=etetdt=etet=e2tx_p(t) = e^{t} \int e^{2t}e^{-t}dt = e^{t} \int e^{t}dt = e^{t}e^{t} = e^{2t}
x(t)=xg(t)+xp(t)=Cet+e2tx(t) = x_g(t) + x_p(t) = Ce^{t} + e^{2t}
未定係数法:
x=x+e2tx' = x + e^{2t}
斉次方程式 x=xx' = x の解は x=Cetx = Ce^t
特殊解を xp=Ae2tx_p = Ae^{2t} と仮定する。
xp=2Ae2tx_p' = 2Ae^{2t}
2Ae2t=Ae2t+e2t2Ae^{2t} = Ae^{2t} + e^{2t}
A=1A = 1
xp=e2tx_p = e^{2t}
x=Cet+e2tx = Ce^t + e^{2t}
2) x=2xt+t2+2t3x' = -\frac{2x}{t} + t^2 + 2t - 3
定数変化法:
f(t)=2t,g(t)=t2+2t3f(t) = -\frac{2}{t}, g(t) = t^2 + 2t - 3
f(t)dt=2tdt=2lnt=ln(t2)\int f(t)dt = \int -\frac{2}{t}dt = -2\ln|t| = \ln(t^{-2})
xg(t)=Ct2x_g(t) = Ct^{-2}
xp(t)=t2(t2+2t3)t2dt=t2(t4+2t33t2)dtx_p(t) = t^{-2} \int (t^2 + 2t - 3)t^{2}dt = t^{-2} \int (t^4 + 2t^3 - 3t^2)dt
=t2(15t5+12t4t3)=15t3+12t2t= t^{-2} (\frac{1}{5}t^5 + \frac{1}{2}t^4 - t^3) = \frac{1}{5}t^3 + \frac{1}{2}t^2 - t
x(t)=Ct2+15t3+12t2tx(t) = Ct^{-2} + \frac{1}{5}t^3 + \frac{1}{2}t^2 - t
未定係数法:
x=2xt+t2+2t3x' = -\frac{2x}{t} + t^2 + 2t - 3
これは、x+2tx=t2+2t3x' + \frac{2}{t}x = t^2 + 2t - 3という形。
まず斉次方程式 x+2tx=0x' + \frac{2}{t}x = 0 を解く。
dxx=2tdt\frac{dx}{x} = -\frac{2}{t}dt
lnx=2lnt+C=ln(t2)+C\ln|x| = -2\ln|t| + C' = \ln(t^{-2}) + C'
x=Ct2x = Ct^{-2}
次に特殊解を求める。
xp=At3+Bt2+Ctx_p = At^3 + Bt^2 + Ct と仮定する。
xp=3At2+2Bt+Cx_p' = 3At^2 + 2Bt + C
3At2+2Bt+C+2t(At3+Bt2+Ct)=t2+2t33At^2 + 2Bt + C + \frac{2}{t}(At^3 + Bt^2 + Ct) = t^2 + 2t - 3
3At2+2Bt+C+2At2+2Bt+2Ct/t=t2+2t33At^2 + 2Bt + C + 2At^2 + 2Bt + 2Ct/t= t^2 + 2t - 3
5At2+4Bt+3C=t2+2t35At^2 + 4Bt + 3C = t^2 + 2t - 3
5A=1A=1/55A = 1 \Rightarrow A = 1/5
4B=2B=1/24B = 2 \Rightarrow B = 1/2
3C=3C=13C = -3 \Rightarrow C = -1
xp=15t3+12t2tx_p = \frac{1}{5}t^3 + \frac{1}{2}t^2 - t
x=Ct2+15t3+12t2tx = Ct^{-2} + \frac{1}{5}t^3 + \frac{1}{2}t^2 - t

3. 最終的な答え

1) 任意の定数α,β\alpha, \betaに対して、αx1+βx2\alpha x_1 + \beta x_2x=f(t)xx' = f(t)x の解である。
2) xg(t)=Cef(t)dtx_g(t) = Ce^{\int f(t)dt} (Cは任意定数)
3) xp(t)=ef(t)dtg(t)ef(t)dtdtx_p(t) = e^{\int f(t)dt} \int g(t)e^{-\int f(t)dt}dt
4) xg(t)+xp(t)x_g(t) + x_p(t)x=f(t)x+g(t)x' = f(t)x + g(t)の解である。
5)
1) x=x+e2tx' = x + e^{2t} の一般解: x=Cet+e2tx = Ce^t + e^{2t} (定数変化法と未定係数法の結果は同じ)
2) x=2xt+t2+2t3x' = -\frac{2x}{t} + t^2 + 2t - 3 の一般解: x=Ct2+15t3+12t2tx = Ct^{-2} + \frac{1}{5}t^3 + \frac{1}{2}t^2 - t (定数変化法と未定係数法の結果は同じ)

「解析学」の関連問題

以下の不定積分を計算する。 $\int \frac{\cos^2 x}{2 - \sin^2 x} dx$

積分不定積分三角関数置換積分
2025/6/4

$\int \frac{x + \sin x}{1 + \cos x} dx$ を計算します。

積分三角関数部分積分置換積分
2025/6/4

関数 $f(x) = 2x^3 - 3x^2 + 6kx$ が極大値と極小値をもち、その差が8であるとき、実数 $k$ の値を求める問題です。

極値微分関数解の差
2025/6/4

与えられた関数 $f(x) = x^4 - 6x^2 + 8x - 3$ と $g(x) = -x^3 + 2x^2 + x + 3$ の極値を求める問題です。

微分極値導関数二階導関数三次導関数
2025/6/4

関数 $g(x) = -x^3 + 2x^2 + x + 3$ が与えられています。この関数に関して、極値などを求める問題の一部だと思われます。ここでは、関数 $g(x)$ が与えられたところまでを扱...

微分導関数関数の微分
2025/6/4

次の2つの関数の極値を求める問題です。 (1) $f(x) = x^4 - 6x^2 + 8x - 3$ (2) $g(x) = -x^3 + 2x^2 + x + 3$

微分極値関数の増減三次関数四次関数
2025/6/4

与えられた極限を計算します。 $$\lim_{x \to \infty} x \left( \frac{\pi}{2} - \arctan(x) \right)$$

極限arctan三角関数ロピタルの定理
2025/6/4

次の不等式を証明します。 (1) $x \log x \ge x - 1$ ($x > 0$) (2) $\frac{2}{\pi}x < \sin x < x$ ($0 < x < \frac{\p...

不等式微分関数の単調性対数関数三角関数
2025/6/4

関数 $f(x) = x^3 \log x$ の $n$ 次導関数 ($n \geq 4$) を求めよ。

微分導関数対数関数
2025/6/4

関数 $f(x) = x^5 - 5x^4 + \frac{20}{3}x^3 - 45x$ が与えられている。 (1) 関数 $f(x)$ の極値を求め、そのときの $x$ の値を求めよ。 (2) ...

関数の極値三角関数最大値最小値微分
2025/6/4