与えられた二つの微分方程式の解を級数の形で求めます。 1. $\frac{dy}{dx} = xy + 1$, 初期条件 $x=0, y=0$

解析学微分方程式級数解初期条件解の導出
2025/7/10

1. 問題の内容

与えられた二つの微分方程式の解を級数の形で求めます。

1. $\frac{dy}{dx} = xy + 1$, 初期条件 $x=0, y=0$

2. $\frac{dy}{dx} = 2xy + x$, 初期条件 $x=0, y=1$

2. 解き方の手順

**

1. 微分方程式 $\frac{dy}{dx} = xy + 1$ の解を求める**

級数解を y=n=0anxny = \sum_{n=0}^{\infty} a_n x^n と仮定します。
初期条件 y(0)=0y(0) = 0 より、a0=0a_0 = 0 となります。
dydx=n=1nanxn1\frac{dy}{dx} = \sum_{n=1}^{\infty} n a_n x^{n-1}
n=1nanxn1=xn=0anxn+1\sum_{n=1}^{\infty} n a_n x^{n-1} = x \sum_{n=0}^{\infty} a_n x^n + 1
n=1nanxn1=n=0anxn+1+1\sum_{n=1}^{\infty} n a_n x^{n-1} = \sum_{n=0}^{\infty} a_n x^{n+1} + 1
左辺の級数の指数を n+1n+1 に合わせるために、 nn+2n \to n+2 とすると、
n=1(n+2)an+2xn+1=n=0anxn+1+1\sum_{n=-1}^{\infty} (n+2) a_{n+2} x^{n+1} = \sum_{n=0}^{\infty} a_n x^{n+1} + 1
x1x^{-1} の項は a1=1a_1 = 1
n0n \ge 0 では、 (n+2)an+2=an(n+2) a_{n+2} = a_n
an+2=ann+2a_{n+2} = \frac{a_n}{n+2}
a0=0a_0 = 0
a1=1a_1 = 1
a2=a02=0a_2 = \frac{a_0}{2} = 0
a3=a13=13a_3 = \frac{a_1}{3} = \frac{1}{3}
a4=a24=0a_4 = \frac{a_2}{4} = 0
a5=a35=135a_5 = \frac{a_3}{5} = \frac{1}{3 \cdot 5}
a6=a46=0a_6 = \frac{a_4}{6} = 0
a7=a57=1357a_7 = \frac{a_5}{7} = \frac{1}{3 \cdot 5 \cdot 7}
よって、y=x+x33+x535+x7357+y = x + \frac{x^3}{3} + \frac{x^5}{3 \cdot 5} + \frac{x^7}{3 \cdot 5 \cdot 7} + \dots
**

2. 微分方程式 $\frac{dy}{dx} = 2xy + x$ の解を求める**

級数解を y=n=0anxny = \sum_{n=0}^{\infty} a_n x^n と仮定します。
初期条件 y(0)=1y(0) = 1 より、a0=1a_0 = 1 となります。
dydx=n=1nanxn1\frac{dy}{dx} = \sum_{n=1}^{\infty} n a_n x^{n-1}
n=1nanxn1=2xn=0anxn+x\sum_{n=1}^{\infty} n a_n x^{n-1} = 2x \sum_{n=0}^{\infty} a_n x^n + x
n=1nanxn1=n=02anxn+1+x\sum_{n=1}^{\infty} n a_n x^{n-1} = \sum_{n=0}^{\infty} 2 a_n x^{n+1} + x
左辺の級数の指数を n+1n+1 に合わせるために、 nn+2n \to n+2 とすると、
n=1(n+2)an+2xn+1=n=02anxn+1+x\sum_{n=-1}^{\infty} (n+2) a_{n+2} x^{n+1} = \sum_{n=0}^{\infty} 2 a_n x^{n+1} + x
x1x^{-1} の項は a1=0a_1 = 0
x1x^{1}の項は 2a3=2a1+12a_3 = 2a_1+1
n0n \ge 0 では、 (n+2)an+2=2an(n+2) a_{n+2} = 2 a_n
an+2=2ann+2a_{n+2} = \frac{2 a_n}{n+2}
a0=1a_0 = 1
a1=0a_1 = 0
a2=2a02=1a_2 = \frac{2 a_0}{2} = 1
a3=2a13=0a_3 = \frac{2 a_1}{3} = 0
a4=2a24=24=12a_4 = \frac{2 a_2}{4} = \frac{2}{4} = \frac{1}{2}
a5=2a35=0a_5 = \frac{2 a_3}{5} = 0
a6=2a46=2(1/2)6=16a_6 = \frac{2 a_4}{6} = \frac{2 (1/2)}{6} = \frac{1}{6}
よって、y=1+x2+x42+x66+y = 1 + x^2 + \frac{x^4}{2} + \frac{x^6}{6} + \dots

3. 最終的な答え

1. $\frac{dy}{dx} = xy + 1$, $y(0) = 0$ の解は、$y = x + \frac{x^3}{3} + \frac{x^5}{3 \cdot 5} + \frac{x^7}{3 \cdot 5 \cdot 7} + \dots$

2. $\frac{dy}{dx} = 2xy + x$, $y(0) = 1$ の解は、$y = 1 + x^2 + \frac{x^4}{2} + \frac{x^6}{6} + \dots = e^{x^2}$

「解析学」の関連問題

関数 $f(x) = \frac{x^2}{4 + x^2}$ の最大値と最小値を求める問題です。

関数の最大値関数の最小値極限微分
2025/7/15

関数 $f(x) = \frac{px + q}{x^2 + 3x}$ について、以下の問いに答えます。 (1) $f(x)$ が $x = -\frac{1}{3}$ で極値 $-9$ をとるとき、...

関数の極値微分分数関数変曲点
2025/7/15

次の定積分の値を計算します。 $\int_{-2}^{0} (-2x^2 - 3x + 2) dx + \int_{0}^{2} (-2x^2 - 3x + 2) dx$

定積分積分多項式
2025/7/15

次の3つの関数 $f(x)$ について、$n$ 次導関数 ($n \geq 1$) を求める問題です。 a) $f(x) = \frac{1}{1+x}$ b) $f(x) = \log(1-x)$ ...

導関数微分数学的帰納法関数の微分
2025/7/15

関数 $f(x) = \log(1 - x)$ の $n$ 次導関数 ($n \ge 1$) を求める。ここで $\log$ は自然対数とする。

導関数自然対数数学的帰納法微分
2025/7/15

以下の関数の$n$次導関数 ($n \geq 1$)を求めよ。 a) $f(x) = \frac{1}{1+x}$ b) $f(x) = \log(1-x)$ c) $f(x) = (1+x)^{\f...

導関数微分n次導関数関数の微分階乗
2025/7/15

$0 \le \theta \le \frac{\pi}{2}$ の範囲において、方程式 $\sqrt{2} \sin \theta = k$ の解の個数が1個となるときの、実数 $k$ の値の範囲を...

三角関数方程式解の個数sin範囲
2025/7/15

関数 $f(x, y) = \arctan(\frac{y}{x})$ について、二階偏導関数 $f_{xx}(x, y)$, $f_{xy}(x, y)$, $f_{yy}(x, y)$ を求めよ。

偏微分二階偏導関数アークタンジェント
2025/7/15

与えられた定積分 $\int_{0}^{\frac{\pi}{4}} \frac{1}{\cos{x}} dx$ を計算する問題です。

定積分積分三角関数部分分数分解置換積分
2025/7/15

定積分 $\int_{1}^{4} \frac{(\sqrt{x}+1)^2}{x} dx$ を計算する問題です。

定積分積分対数関数根号
2025/7/15