KonkurStudy
همه کارت‌ها

L'Hôpital with the Fundamental Theorem of Calculus

When a limit has a variable-limit integral ∫0xg(t) dt\int_0^x g(t)\,dt on top of a 0/00/0 (or ∞/∞\infty/\infty) quotient, differentiate it with the FTC — its derivative is just g(x)g(x) — and the integral disappears.

کارت الگوریتم کنکور ارشد علوم کامپیوتر

اهمیت
۰/۵

When to reach for this

Some konkur limits put an integral with a variable upper limit into a quotient, e.g.

lim⁡x→a∫cxg(t) dth(x).\lim_{x\to a}\frac{\displaystyle\int_{c}^{x} g(t)\,dt}{h(x)}.

You usually cannot find a closed form for ∫cxg(t) dt\int_c^x g(t)\,dt (the integrand may have no elementary antiderivative). The escape is to never integrate at all: if the quotient is indeterminate, apply L'Hôpital's rule and differentiate the integral with the Fundamental Theorem of Calculus (FTC), which hands you the integrand back with no work.

The two tools

FTC, Part 1 (Leibniz form). If gg is continuous near aa and F(x)=∫cxg(t) dtF(x)=\displaystyle\int_{c}^{x} g(t)\,dt, then

F′(x)=g(x).F'(x)=g(x).

With a moving upper limit u(x)u(x) you also need the chain rule:

ddx∫cu(x)g(t) dt=g(u(x)) u′(x).\frac{d}{dx}\int_{c}^{u(x)} g(t)\,dt = g\bigl(u(x)\bigr)\,u'(x).

L'Hôpital's rule. If N(x)D(x)\dfrac{N(x)}{D(x)} is of the form 00\tfrac{0}{0} or ∞∞\tfrac{\infty}{\infty} as x→ax\to a, and the right-hand limit exists, then

lim⁡x→aN(x)D(x)=lim⁡x→aN′(x)D′(x).\lim_{x\to a}\frac{N(x)}{D(x)} = \lim_{x\to a}\frac{N'(x)}{D'(x)}.

The magic is that N(x)=∫cxg(t) dtN(x)=\int_c^x g(t)\,dt has N′(x)=g(x)N'(x)=g(x) — the integral sign is gone after a single differentiation.

The algorithm

  1. Check the form first. A variable-limit integral ∫cxg dt→0\int_c^x g\,dt\to 0 as x→cx\to c whenever gg is bounded near cc (so the area shrinks to zero). Confirm the denominator →0\to 0 too. Without a genuine 00\tfrac00 or ∞∞\tfrac\infty\infty, L'Hôpital is illegal.
  2. Differentiate top and bottom. Numerator: use FTC, ddx∫cu(x)g dt=g(u(x)) u′(x)\frac{d}{dx}\int_c^{u(x)} g\,dt = g(u(x))\,u'(x). Denominator: ordinary differentiation.
  3. Evaluate the new quotient by substituting x=ax=a. Knowing the integrand's limit g(x)→g(a)g(x)\to g(a) is enough — you never needed the antiderivative.
  4. Repeat or expand if still indeterminate. If 00\tfrac00 persists, apply L'Hôpital again or replace the integrand by its leading Taylor term.

Mini-example

Evaluate lim⁡x→0∫0xet2 dtx\displaystyle\lim_{x\to 0}\frac{\int_{0}^{x} e^{t^{2}}\,dt}{x} (the numerator has no elementary antiderivative).

  • Form: as x→0x\to 0 the integrand et2e^{t^2} is bounded near 00, so ∫0xet2 dt→0\int_0^x e^{t^2}\,dt\to 0, and the denominator →0\to 0. It is 00\tfrac00. ✓
  • Differentiate: numerator →ex2\to e^{x^{2}} by the FTC; denominator →1\to 1.
  • Evaluate: lim⁡x→0ex21=e0=1.\displaystyle\lim_{x\to 0}\frac{e^{x^{2}}}{1}=e^{0}=1.

A harder integrand changes nothing: only its value at x=ax=a matters after differentiating.

Pitfall: Always verify the indeterminate form before differentiating. If the integrand →L≠0\to L\neq 0, then ∫0xg dt≈Lx\int_0^x g\,dt \approx Lx for small xx, which already tells you the leading behavior — but you may only invoke L'Hôpital when both numerator and denominator genuinely tend to 00 (or both to ∞\infty). And don't forget the chain-rule factor u′(x)u'(x) when the upper limit is u(x)u(x) rather than a bare xx.

فرمول‌های کلیدی

FTC derivative of a variable-limit integral
ddx∫cxg(t) dt=g(x)\frac{d}{dx}\int_{c}^{x} g(t)\,dt = g(x)

Part 1 of the Fundamental Theorem: differentiating an integral with variable upper limit returns the integrand at that limit.

FTC with a moving upper limit (chain rule)
ddx∫cu(x)g(t) dt=g(u(x)) u′(x)\frac{d}{dx}\int_{c}^{u(x)} g(t)\,dt = g\bigl(u(x)\bigr)\,u'(x)

When the upper limit is a function u(x), multiply the integrand at u(x) by u'(x).

L'Hôpital's rule
lim⁡x→aN(x)D(x)=lim⁡x→aN′(x)D′(x)\lim_{x\to a}\frac{N(x)}{D(x)} = \lim_{x\to a}\frac{N'(x)}{D'(x)}

Valid only when N/D is of the form 0/0 or ∞/∞ and the right-hand limit exists.

#lhopital#fundamental-theorem-of-calculus#limits#indeterminate-form#variable-limit-integral#leibniz-rule

سوالات تمرینی