$f(x)$ は0でない $x$ の整式で、次の等式を満たしている。 $xf''(x) + (1-x)f'(x) + 3f(x) = 0$, $f(0) = 1$ (1) $f(x)$ の次数を求めよ。 (2) $f(x)$ を求めよ。

解析学微分方程式整式次数解の決定
2025/6/30

1. 問題の内容

f(x)f(x) は0でない xx の整式で、次の等式を満たしている。
xf(x)+(1x)f(x)+3f(x)=0xf''(x) + (1-x)f'(x) + 3f(x) = 0, f(0)=1f(0) = 1
(1) f(x)f(x) の次数を求めよ。
(2) f(x)f(x) を求めよ。

2. 解き方の手順

(1) f(x)f(x) の次数を nn とすると、f(x)f'(x) の次数は n1n-1f(x)f''(x) の次数は n2n-2 である。
xf(x)+(1x)f(x)+3f(x)=0xf''(x) + (1-x)f'(x) + 3f(x) = 0 において、xx の次数の最も高い項を考えると、xf(x)+3f(x)=0-xf'(x) + 3f(x) = 0 である。
xf(x)x f'(x) の次数は nn であり、3f(x)3 f(x) の次数も nn であるので、この項が消えなければならない。
仮に f(x)=anxn++a0f(x) = a_n x^n + \cdots + a_0 (an0a_n \neq 0) とすると、
f(x)=nanxn1+f'(x) = n a_n x^{n-1} + \cdots
xf(x)=nanxn+x f'(x) = n a_n x^n + \cdots
xf(x)+3f(x)=nanxn+3anxn+=(3n)anxn+=0-xf'(x) + 3f(x) = -n a_n x^n + 3 a_n x^n + \cdots = (3-n) a_n x^n + \cdots = 0
よって、3n=03 - n = 0 より、n=3n = 3 である。
(2) f(x)f(x) を求める。
f(x)f(x) は3次式なので、f(x)=ax3+bx2+cx+df(x) = ax^3 + bx^2 + cx + d とおく。f(0)=1f(0)=1 より d=1d=1 である。
よって、f(x)=ax3+bx2+cx+1f(x) = ax^3 + bx^2 + cx + 1
f(x)=3ax2+2bx+cf'(x) = 3ax^2 + 2bx + c
f(x)=6ax+2bf''(x) = 6ax + 2b
これらを xf(x)+(1x)f(x)+3f(x)=0xf''(x) + (1-x)f'(x) + 3f(x) = 0 に代入する。
x(6ax+2b)+(1x)(3ax2+2bx+c)+3(ax3+bx2+cx+1)=0x(6ax + 2b) + (1-x)(3ax^2 + 2bx + c) + 3(ax^3 + bx^2 + cx + 1) = 0
6ax2+2bx+3ax2+2bx+c3ax32bx2cx+3ax3+3bx2+3cx+3=06ax^2 + 2bx + 3ax^2 + 2bx + c - 3ax^3 - 2bx^2 - cx + 3ax^3 + 3bx^2 + 3cx + 3 = 0
6ax2+2bx+3ax2+2bx+c3ax32bx2cx+3ax3+3bx2+3cx+3=06ax^2 + 2bx + 3ax^2 + 2bx + c - 3ax^3 - 2bx^2 - cx + 3ax^3 + 3bx^2 + 3cx + 3 = 0
(6a+3a2b+3b)x2+(2b+2bc+3c)x+(c+3)=0(6a + 3a - 2b + 3b)x^2 + (2b + 2b - c + 3c)x + (c + 3) = 0
(9a+b)x2+(4b+2c)x+(c+3)=0(9a + b)x^2 + (4b + 2c)x + (c + 3) = 0
これが全ての xx について成り立つので、各係数は0である。
9a+b=09a + b = 0
4b+2c=04b + 2c = 0
c+3=0c + 3 = 0
c=3c = -3
4b+2(3)=04b + 2(-3) = 0
4b=64b = 6
b=32b = \frac{3}{2}
9a+32=09a + \frac{3}{2} = 0
9a=329a = -\frac{3}{2}
a=16a = -\frac{1}{6}
よって、f(x)=16x3+32x23x+1f(x) = -\frac{1}{6}x^3 + \frac{3}{2}x^2 - 3x + 1

3. 最終的な答え

(1) 3
(2) f(x)=16x3+32x23x+1f(x) = -\frac{1}{6}x^3 + \frac{3}{2}x^2 - 3x + 1

「解析学」の関連問題

$R^2$ 上の $C^1$ 級関数 $f(x, y)$ と $g(x, y)$ に対して、その積 $F(x, y) = f(x, y)g(x, y)$ が $C^1$ 級になることを示す。

多変数関数偏微分C1級
2025/6/30

空欄にあてはまる整数を0から9の中から選ぶ問題です。 (1) $f(x) = x^2 + x$のとき、$f(1)$、$f'(1)$、および$x=1$における接線を求めます。 (2) $f(x) = \...

微分導関数接線関数のグラフ
2025/6/30

関数 $z = 2x^2 - y^2$ の $\mathbb{R}^3$ におけるグラフの、点 (1, 1, 1) における接平面を求める問題です。

偏微分接平面多変数関数
2025/6/30

$\mathbb{R}^2$ 上の関数 $f(x, y) = x^2 y$ と $g(x, y) = (x+y)e^y$ の偏導関数をそれぞれ求める。

偏導関数多変数関数
2025/6/30

次の3つの極限を求める問題です。 (1) $\lim_{x \to 0} \frac{e^x - \cos x}{x}$ (2) $\lim_{x \to 0} \frac{e^x - e^{-x} ...

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

* (1) $\lim_{x \to 0} \frac{e^x - \cos x}{x}$ * (2) $\lim_{x \to 0} \frac{e^x - e^{-x} - 2x}...

極限ロピタルの定理極値微分
2025/6/30

与えられた関数 $f(x)$ と区間 $[a, b]$ に対して、平均値の定理を満たす $c$ の値を求める問題です。平均値の定理は、ある関数 $f(x)$ が閉区間 $[a, b]$ で連続で、開区...

平均値の定理微分対数関数多項式関数
2025/6/30

$\sin{\frac{\pi}{12}}$ の値を計算する問題です。

三角関数半角の公式三角関数の値
2025/6/30

与えられた3つの集合A, B, Cに対して、それぞれの上限(sup)と下限(inf)を求める問題です。 $A = \{x \in \mathbb{R} | x^2 < 2\}$ $B = \{x \i...

上限下限集合実数不等式
2025/6/30

与えられた定積分 $\int_0^2 \frac{x^2}{(4+x^2)^2} dx$ を計算します。

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