Integration using Euler's formula

Template:Short description Template:More citations needed {{#invoke:sidebar|collapsible | class = plainlist | titlestyle = padding-bottom:0.25em; | pretitle = Part of a series of articles about | title = Calculus | image = $\underset{a}{\overset{b}{\int }}{f}^{\prime }(t)dt=f(b)-f(a)$ | listtitlestyle = text-align:center; | liststyle = border-top:1px solid #aaa;padding-top:0.15em;border-bottom:1px solid #aaa; | expanded = integral | abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

• Fundamental theorem

• Limits
• Continuity

• Rolle's theorem
• Mean value theorem
• Inverse function theorem

| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = Template:Bigger | list2 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | heading1 = Definitions
 | content1 =

• Derivative (generalizations)
• Differential
  • infinitesimal
  • of a function
  • total

 | heading2 = Concepts
 | content2 =

• Differentiation notation
• Second derivative
• Implicit differentiation
• Logarithmic differentiation
• Related rates
• Taylor's theorem

 | heading3 = Rules and identities
 | content3 =

• Sum
• Product
• Chain
• Power
• Quotient
• L'Hôpital's rule
• Inverse
• General Leibniz
• Faà di Bruno's formula
• Reynolds

}}

| list3name = integral | list3title = Template:Bigger | list3 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Lists of integrals
• Integral transform
• Leibniz integral rule

| heading2 = Definitions

 | content2 =

• Antiderivative
• Integral (improper)
• Riemann integral
• Lebesgue integration
• Contour integration
• Integral of inverse functions

 | heading3 = Integration by
 | content3 =

• Parts
• Discs
• Cylindrical shells
• Substitution (trigonometric, tangent half-angle, Euler)
• Euler's formula
• Partial fractions (Heaviside's method)
• Changing order
• Reduction formulae
• Differentiating under the integral sign
• Risch algorithm

}}

| list4name = series | list4title = Template:Bigger | list4 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Geometric (arithmetico-geometric)
• Harmonic
• Alternating
• Power
• Binomial
• Taylor

 | heading2 = Convergence tests
 | content2 =

• Summand limit (term test)
• Ratio
• Root
• Integral
• Direct comparison
• 
  Limit comparison
• Alternating series
• Cauchy condensation
• Dirichlet
• Abel

}}

| list5name = vector | list5title = Template:Bigger | list5 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Gradient
• Divergence
• Curl
• Laplacian
• Directional derivative
• Identities

 | heading2 = Theorems
 | content2 =

• Gradient
• Green's
• Stokes'
• Divergence
• generalized Stokes
• Helmholtz decomposition

}}

| list6name = multivariable | list6title = Template:Bigger | list6 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | heading1 = Formalisms
 | content1 =

• Matrix
• Tensor
• Exterior
• Geometric

 | heading2 = Definitions
 | content2 =

• Partial derivative
• Multiple integral
• Line integral
• Surface integral
• Volume integral
• Jacobian
• Hessian

}}

| list7name = advanced | list7title = Template:Bigger | list7 ={{#invoke:sidebar|sidebar|child=yes

 |contentclass=hlist
 | content1 =

• Calculus on Euclidean space
• Generalized functions
• Limit of distributions

}}

| list8name = specialized | list8title = Template:Bigger | list8 =

• Fractional
• Malliavin
• Stochastic
• Variations

| list9name = miscellanea | list9title = Template:Bigger | list9 =

• Precalculus
• History
• Glossary
• List of topics
• Integration Bee
• Mathematical analysis
• Nonstandard analysis

}} In integral calculus, Euler's formula for complex numbers may be used to evaluate integrals involving trigonometric functions. Using Euler's formula, any trigonometric function may be written in terms of complex exponential functions, namely $e^{ix}$ and $e^{-ix}$ and then integrated. This technique is often simpler and faster than using trigonometric identities or integration by parts, and is sufficiently powerful to integrate any rational expression involving trigonometric functions.

Euler's formula

Euler's formula states that

$e^{ix}=\cos x+i\sin x.$

Substituting $-x$ for $x$ gives the equation

$e^{-ix}=\cos x-i\sin x$

because cosine is an even function and sine is odd. These two equations can be solved for the sine and cosine to give

$\cos x=\frac{e^{ix}+e^{-ix}}{2}\text{and}\sin x=\frac{e^{ix}-e^{-ix}}{2i}.$

Examples

First example

Consider the integral

$\int {\cos }^{2}xdx.$

The standard approach to this integral is to use a half-angle formula to simplify the integrand. We can use Euler's identity instead:

$\begin{array}{cc}\int {\cos }^{2}xdx& =\int {\left(\frac{e^{ix}+e^{-ix}}{2}\right)}^{2}dx\\ & =\frac{1}{4}\int (e^{2ix}+2+e^{-2ix})dx\end{array}$

At this point, it would be possible to change back to real numbers using the formula Template:Math. Alternatively, we can integrate the complex exponentials and not change back to trigonometric functions until the end:

$\begin{array}{cc}\frac{1}{4}\int (e^{2ix}+2+e^{-2ix})dx& =\frac{1}{4}(\frac{e^{2ix}}{2i}+2x-\frac{e^{-2ix}}{2i})+C\\ & =\frac{1}{4}(2x+\sin 2x)+C.\end{array}$

Second example

Consider the integral

$\int {\sin }^{2}x\cos 4xdx.$

This integral would be extremely tedious to solve using trigonometric identities, but using Euler's identity makes it relatively painless:

$\begin{array}{cc}\int {\sin }^{2}x\cos 4xdx& =\int {\left(\frac{e^{ix}-e^{-ix}}{2i}\right)}^2\left(\frac{e^{4ix}+e^{-4ix}}{2}\right)dx\\ & =-\frac{1}{8}\int (e^{2ix}-2+e^{-2ix})(e^{4ix}+e^{-4ix})dx\\ & =-\frac{1}{8}\int (e^{6ix}-2e^{4ix}+e^{2ix}+e^{-2ix}-2e^{-4ix}+e^{-6ix})dx.\end{array}$

At this point we can either integrate directly, or we can first change the integrand to Template:Math and continue from there. Either method gives

$\int {\sin }^{2}x\cos 4xdx=-\frac{1}{24}\sin 6x+\frac{1}{8}\sin 4x-\frac{1}{8}\sin 2x+C.$

Using real parts

In addition to Euler's identity, it can be helpful to make judicious use of the real parts of complex expressions. For example, consider the integral

$\int e^x\cos xdx.$

Since Template:Math is the real part of Template:Math, we know that

$\int e^x\cos xdx=\mathrm{Re}\int e^x{e}^{ix}dx.$

The integral on the right is easy to evaluate:

$\int e^x{e}^{ix}dx=\int e^{(1+i)x}dx=\frac{e^{(1+i)x}}{1+i}+C.$

Thus:

$\begin{array}{cc}\int e^x\cos xdx& =\mathrm{Re}\left(\frac{e^{(1+i)x}}{1+i}\right)+C\\ & =e^x\mathrm{Re}\left(\frac{e^{ix}}{1+i}\right)+C\\ & =e^x\mathrm{Re}\left(\frac{e^{ix}(1-i)}{2}\right)+C\\ & =e^x\frac{\cos x+\sin x}{2}+C.\end{array}$

Fractions

In general, this technique may be used to evaluate any fractions involving trigonometric functions. For example, consider the integral

$\int \frac{1+{\cos }^{2}x}{\cos x+\cos 3x}dx.$

Using Euler's identity, this integral becomes

$\frac{1}{2}\int \frac{6+e^{2ix}+e^{-2ix}}{e^{ix}+e^{-ix}+e^{3ix}+e^{-3ix}}dx.$

If we now make the substitution $u=e^{ix}$, the result is the integral of a rational function:

$-\frac{i}{2}\int \frac{1+6u^2+u^4}{1+u^2+u^4+u^6}du.$

One may proceed using partial fraction decomposition.

See also

• Trigonometric substitution
• Weierstrass substitution
• Euler substitution