$f(x)$ はすべての実数 $x$ に対して定義された連続関数とする。 $g(x) = \frac{1}{2} \int_0^x (x-t)^2 f(t) dt$ で定義される関数 $g(x)$ が与えられている。

解析学積分ライプニッツの積分法則微分微積分学の基本定理
2025/4/23

1. 問題の内容

f(x)f(x) はすべての実数 xx に対して定義された連続関数とする。
g(x)=120x(xt)2f(t)dtg(x) = \frac{1}{2} \int_0^x (x-t)^2 f(t) dt で定義される関数 g(x)g(x) が与えられている。

2. 解き方の手順

問題は g(x)g(x) の定義式が与えられている状態です。
この問題文だけでは、具体的に何を求めるのかわかりません。
しかし、g(x)g(x) が積分で定義されているので、g(x)g(x) を微分したり、g(x)g(x) の性質を調べたりする問題が考えられます。
ここでは、ライプニッツの積分法則を用いて、g(x)g(x)を微分することを考えます。
g(x)=120x(xt)2f(t)dtg(x) = \frac{1}{2} \int_0^x (x-t)^2 f(t) dt
まず、g(x)g(x)xx で微分します。
g(x)=12ddx0x(xt)2f(t)dtg'(x) = \frac{1}{2} \frac{d}{dx} \int_0^x (x-t)^2 f(t) dt
ライプニッツの積分法則より、
ddxa(x)b(x)F(x,t)dt=F(x,b(x))db(x)dxF(x,a(x))da(x)dx+a(x)b(x)xF(x,t)dt\frac{d}{dx} \int_{a(x)}^{b(x)} F(x, t) dt = F(x, b(x)) \frac{db(x)}{dx} - F(x, a(x)) \frac{da(x)}{dx} + \int_{a(x)}^{b(x)} \frac{\partial}{\partial x} F(x, t) dt
この場合、F(x,t)=(xt)2f(t)F(x, t) = (x-t)^2 f(t), a(x)=0a(x) = 0, b(x)=xb(x) = x です。
da(x)dx=0\frac{da(x)}{dx} = 0, db(x)dx=1\frac{db(x)}{dx} = 1
g(x)=12[(xx)2f(x)1(x0)2f(0)0+0xx(xt)2f(t)dt]g'(x) = \frac{1}{2} \left[ (x-x)^2 f(x) \cdot 1 - (x-0)^2 f(0) \cdot 0 + \int_0^x \frac{\partial}{\partial x} (x-t)^2 f(t) dt \right]
g(x)=120x2(xt)f(t)dt=0x(xt)f(t)dtg'(x) = \frac{1}{2} \int_0^x 2(x-t) f(t) dt = \int_0^x (x-t) f(t) dt
次に、g(x)g'(x)xx で微分します。
g(x)=ddx0x(xt)f(t)dtg''(x) = \frac{d}{dx} \int_0^x (x-t) f(t) dt
ライプニッツの積分法則より、
g(x)=(xx)f(x)1(x0)f(0)0+0xx(xt)f(t)dtg''(x) = (x-x) f(x) \cdot 1 - (x-0) f(0) \cdot 0 + \int_0^x \frac{\partial}{\partial x} (x-t) f(t) dt
g(x)=0xf(t)dtg''(x) = \int_0^x f(t) dt
さらに、g(x)g''(x)xx で微分します。
g(x)=ddx0xf(t)dtg'''(x) = \frac{d}{dx} \int_0^x f(t) dt
微積分学の基本定理より、
g(x)=f(x)g'''(x) = f(x)

3. 最終的な答え

g(x)=0x(xt)f(t)dtg'(x) = \int_0^x (x-t) f(t) dt
g(x)=0xf(t)dtg''(x) = \int_0^x f(t) dt
g(x)=f(x)g'''(x) = f(x)
問題文から、何を答えるべきかわかりませんが、三次導関数を求めてみました。
g(x)=f(x)g'''(x) = f(x)

「解析学」の関連問題

曲面 $z = f(x, y) = e^{xy}$ について、点 $(x, y) = (0, 2)$ における接平面の方程式を求める問題です。

偏微分接平面多変数関数
2025/4/23

関数 $f(x, y) = x^2 y - y^3$ の偏導関数 $f_x(x, y)$ と $f_y(x, y)$ を求め、さらに偏微分係数 $f_x(0, 0)$ と $f_y(0, 0)$ の値...

偏微分偏導関数多変数関数
2025/4/23

関数 $z = f(x, y) = e^x y$ の偏導関数 $f_x(x, y)$ と $f_y(x, y)$ を求めよ。

偏微分多変数関数
2025/4/23

関数 $z = f(x, y) = e^{xy}$ の偏導関数 $f_x(x, y)$ と $f_y(x, y)$ を求め、さらに偏微分係数 $f_x(0, 0)$ と $f_y(0, 0)$ の値を...

偏微分偏導関数多変数関数
2025/4/23

関数 $f(x, y) = e^{xy}$ の偏導関数 $f_x(x, y)$ と $f_y(x, y)$、および偏微分係数 $f_x(0, 0)$ と $f_y(0, 0)$ を求めます。

偏微分偏導関数多変数関数
2025/4/23

関数 $z = f(x, y) = e^{xy}$ の偏導関数 $f_x(x, y)$ および $f_y(x, y)$ を求め、さらに偏微分係数 $f_x(0, 0)$ および $f_y(0, 0)$...

偏微分多変数関数偏導関数
2025/4/23

関数 $z = f(x, y) = e^{xy}$ の偏導関数 $f_x(x, y)$ と $f_y(x, y)$ を求める問題です。

偏微分多変数関数指数関数
2025/4/23

関数 $z = f(x, y) = x + y$ の偏導関数 $f_x(x, y)$ と $f_y(x, y)$ を求める。

偏微分多変数関数
2025/4/23

問題134は、与えられた方程式で定められる $x$ の関数 $y$ について、$\frac{dy}{dx}$ を求める問題です。 問題134(4)は、$2xy - 3 = 0$ という関係式が与えられ...

微分陰関数微分導関数
2025/4/23

次の極限を求めよ。 $\lim_{n\to\infty} \frac{1}{5n+2}$

極限数列の極限無限大
2025/4/23