PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: Very high
[parent] integration under integral sign (Theorem)

Let $$I(\alpha) \;=\; \int_a^b\!f(x,\,\alpha)\,dx.$$ where $f(x,\,\alpha)$ is continuous in the rectangle $$a \leqq x \leqq b,\, \quad \alpha_1 \leqq \alpha \leqq \alpha_2.$$ Then $\alpha \mapsto I(\alpha)$ is continuous and hence integrable on the interval $\alpha_1 \leqq \alpha \leqq \alpha_2$ ; we have $$\int_{\alpha_1}^{\alpha_2}I(\alpha)\,d\alpha \;=\; \int_{\alpha_1}^{\alpha_2}\left(\int_a^b\!f(x,\,\alpha)\,dx\right)d\alpha.$$ This is a double integral over a regular domain in the $x\alpha$ -plane, whence one can change the order of integration and accordingly write $$\int_{\alpha_1}^{\alpha_2}\left(\int_a^b\!f(x,\,\alpha)\,dx\right)d\alpha \;=\; \int_a^b\left(\int_{\alpha_1}^{\alpha_2}\!f(x,\,\alpha)\,d\alpha\right)dx.$$ Thus, a definite integral depending on a parametre may be integrated with respect to this parametre by performing the integration under the integral sign.

Example. For being able to evaluate the improper integral $$I \;=\; \int_0^\infty\frac{e^{-ax}-e^{-bx}}{x}\,dx \qquad (a > 0,\; b > 0),$$ we may interprete the integrand as a definite integral: $$\frac{e^{-ax}-e^{-bx}}{x} \;=\; \sijoitus{\alpha=b}{\quad a}\!\frac{e^{-\alpha x}}{x} \;=\; \int_a^b\!e^{-\alpha x}\,d\alpha.$$ Accordingly, we can calculate as follows:

$\displaystyle I$ $\displaystyle \;=\; \int_0^\infty\left(\int_a^b\!e^{-\alpha x}\,d\alpha\right)dx$    
  $\displaystyle \;=\; \int_a^b\left(\int_0^\infty\!e^{-\alpha x}\,dx\right)d\alpha$    
  $\displaystyle \;=\; \int_a^b\left(\operatornamewithlimits{\Big/}_{\!\!\!x=0}^{\,\quad\infty}\!-\frac{e^{-\alpha x}}{\alpha}\right)d\alpha$    
  $\displaystyle \;=\; \int_a^b\!\frac{1}{\alpha}\,d\alpha \;=\; \operatornamewithlimits{\Big/}_{\!\!\!a}^{\,\quad b}\!\ln{\alpha}$    
  $\displaystyle \;=\; \ln\frac{b}{a}$    




"integration under integral sign" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: Fubini's theorem, differentiation under the integral sign, relative of exponential integral


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: calculate, integrand, improper integral, integral sign, parametre, definite integral, double integral, interval, rectangle, continuous

This is version 2 of integration under integral sign, born on 2009-01-24, modified 2009-01-25.
Object id is 11567, canonical name is IntegrationUnderIntegralSign.
Accessed 472 times total.

Classification:
AMS MSC26A42 (Real functions :: Functions of one variable :: Integrals of Riemann, Stieltjes and Lebesgue type)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)