Primitive of Function of Exponential Function

Theorem

$\ds \int \map F {e^{a x} } \rd x = \frac 1 a \int \frac {\map F u} u \rd u$

where $u = e^{a x}$.


Proof

\(\ds u\) \(=\) \(\ds e^{a x}\)
\(\ds \leadsto \ \ \) \(\ds \frac {\d u} {\d x}\) \(=\) \(\ds a e^{a x}\) Derivative of Exponential of a x
\(\ds \) \(=\) \(\ds a u\) Definition of $u$
\(\ds \leadsto \ \ \) \(\ds \int \map F {e^{a x} } \rd x\) \(=\) \(\ds \int \frac {\map F u} {a u} \rd u\) Primitive of Composite Function
\(\ds \) \(=\) \(\ds \frac 1 a \int \frac {\map F u} u \rd u\) Primitive of Constant Multiple of Function

$\blacksquare$


Sources

  • 1968: Murray R. Spiegel: Mathematical Handbook of Formulas and Tables ... (previous) ... (next): $\S 14$: Important Transformations: $14.55$
  • 2009: Murray R. Spiegel, Seymour Lipschutz and John Liu: Mathematical Handbook of Formulas and Tables (3rd ed.) ... (previous) ... (next): $\S 16$: Indefinite Integrals: Important Transformations: $16.55.$