莱布尼茨定理例子-莱布尼茨定理实例及应用深度解析

求函数 F(x) = ∫₁^x³ (2t + cos t) dt 的导数 F′(x)。

这是基础形式：莱布尼茨定理中 a(x)=1（常数），b(x)=x³，f(t)=2t+cos t

计算 f(b(x)) = f(x³) = 2x³ + cos(x³)

计算 b′(x) = d/dx(x³) = 3x²

因 a(x)=1 为常数，a′(x)=0，且 f(a(x))·a′(x)=0

可通过先积分再求导验证：原函数为 t² + sin t，代入得 F(x)=x⁶ + sin(x³) − 1 − sin 1
求导：F′(x)=6x⁵ + 3x²cos(x³)，结果一致！
易错点：忘记乘以 b′(x) 是常见错误，务必记住链式法则！

计算 d/dx [ ∫₀^x e^x−t dt ]

e^x−t = e^x·e^−t，因此 f(x,t) = e^x·e^−t

注意：此处偏导数与原函数形式相同！

a(x)=0, b(x)=x ⇒ a′(x)=0, b′(x)=1

f(x,b(x)) = e^x−x = e⁰ = 1

注意到原积分 ∫₀^x e^x−t dt = e^x ∫₀^x e^−t dt = e^x[−e^−t]₀^x = e^x(1 − e^−x) = e^x − 1

因此原式 = 1 + (e^x − 1) = e^x

更简便方法：直接计算积分得 ∫₀^x e^x−t dt = e^x − 1，再求导得 e^x，结果一致！

设一根长度为 L 的细杆，其线密度为 ρ(x)（单位长度质量），温度分布为 T(x)。总热能 E = ∫₀^L ρ(x)·c·T(x) dx，其中 c 为比热容常数。求热能对位置 x 的变化率。

严格来说，E 是常数（总能量），但若考虑“从 0 到 x 段”的热能：
E(x) = c ∫₀^x ρ(t)T(t) dt

这表示：单位长度上的热能贡献 = 密度 × 温度 × 比热容

此即热流密度的微分形式，是热传导方程的基础。

若密度和温度均显含 x，如 ρ(x,t)=x·t, T(x,t)=x+t，求：
d/dx [ ∫₀^x (x·t)(x+t) dt ]

令 f(x,t)=x²t + xt²，则 ∂f/∂x = 2xt + t²

应用广义公式：
= f(x,x)·1 − f(x,0)·0 + ∫₀^x (2xt + t²) dt
= x²·x + x·x² + [x t² + t³/3]₀^x
= 2x³ + (x³ + x³/3) = (10/3)x³

直接计算：∫₀^x (x²t + xt²) dt = x²·t²/2 + x·t³/3 |₀^x = x⁴/2 + x⁴/3 = (5/6)x⁴
求导得 (10/6)x³ = (5/3)x³？错误！

修正：原积分应为 ∫₀^x x t (x + t) dt = ∫₀^x (x²t + xt²) dt = x⁴/2 + x⁴/3 = (5/6)x⁴
导数应为 (20/6)x³ = (10/3)x³，与公式结果一致！

设 F(x) = ∫₀¹ e^xt dt，求 F⁽⁴⁾(0)（四阶导数在 x=0 处的值）

由莱布尼茨定理高阶形式：
F⁽ⁿ⁾(x) = ∫₀¹ tⁿ·e^xt dt

因此 F⁽⁴⁾(x) = ∫₀¹ t⁴·e^xt dt

先计算 F(x)：F(x) = ∫₀¹ e^xt dt = (e^x − 1)/x (x≠0)
展开 e^x = 1 + x + x²/2! + x³/3! + x⁴/4! + ...
得 F(x) = (x + x²/2! + x³/3! + x⁴/4! + ...)/x = 1 + x/2! + x²/3! + x³/4! + ...

泰勒系数：F⁽⁴⁾(0)/4! = 1/4! ⇒ F⁽⁴⁾(0) = 1，矛盾！

修正：展开应为 F(x) = (e^x−1)/x = 1 + x/2 + x²/6 + x³/24 + x⁴/120 + ...
x⁴ 系数为 1/120 = 1/5!，而 F⁽⁴⁾(0)/4! = 系数 of x⁴？错误！

正确：泰勒展开 F(x) = Σ F⁽ⁿ⁾(0)xⁿ/n!
由积分展开：F(x) = Σ xⁿ/(n+1)! ⇒ F⁽ⁿ⁾(0)/n! = 1/(n+1)! ⇒ F⁽ⁿ⁾(0) = n!/(n+1)! = 1/(n+1)

因此 F⁽⁴⁾(0) = 1/5，与积分法结果一致！