Convergence of Improper Integrals with Imaginary Units

  • Thread starter Thread starter matematikuvol
  • Start date Start date
  • Tags Tags
    Integrals
Join the discussion
Registration is free. Ask a follow-up in this thread, or start your own.
11 replies · 2K views
matematikuvol
Messages
190
Reaction score
0

Homework Statement


Solve integrals

[tex]\int^0_{-\infty}e^{(a-ik)x}dx[/tex]

[tex]\int^{\infty}_{0}e^{-(a+ik)x}dx[/tex]

Homework Equations



[tex]\int e^x=e^x+C[/tex]

The Attempt at a Solution



My troble is with imaginary unit [tex]i[/tex]

[tex]\int^0_{-\infty}e^{(a-ik)x}dx=\frac{e^{(a-ik)x}}{a-ik}|^0_{-\infty}[/tex]

[tex]\int^{\infty}_{0}e^{-(a+ik)x}dx=\frac{e^{-(a+ik)x}}{-a-ik}|^{\infty}_0[/tex]

I don't know how to get results because of [tex]i[/tex]?
 
Physics news on Phys.org
both integrals converge well if [itex]a > 0[/itex]. Just evaluate the limits and do some complex algebra.

EDIT:
Hint:
[tex] e^{x + i y} = e^{x} \left(\cos{y} + i \sin{y}\right)[/tex]
 
Ok. But here I have x in both terms. Can you show me idea with more details?
 
Look at the modulus of the complex number:
[tex] \left\vert e^{(a + i b) x}\right\vert = e^{a x}[/tex]
When [itex]a < 0[/itex], what does this function tend to as [itex]x \rightarrow \infty[/itex]? How about when [itex]x \rightarrow -\infty[/itex]? How about when [itex]a > 0[/itex]?
 
You tell me if I understand

[tex]\int^0_{-\infty}e^{(a-ik)x}dx=\frac{e^{(a-ik)x}}{a-ik}|^0_{-\infty}=\frac{e^{ax}}{a-ik}|^0_{-\infty}=\frac{1}{a-ik}[/tex]

[tex]\int^{\infty}_{0}e^{-(a+ik)x}dx=\frac{e^{-(a+ik)x}}{-a-ik}|^{\infty}_0=\frac{e^{-ax}}{-a-ik}|^{\infty}_0=\frac{1}{a+ik}[/tex]

I still don't understand why I may do that :(
 
The end results are correct, but the second step is not.
 
Can you write second step?
 
Sure, for the first integral:
[tex] \frac{e^{0} - \lim_{x \rightarrow -\infty}{e^{(a - i k) x}}}{a - i k}[/tex]
 
Ok. I don't know how to solve that limit. i is not bigger and is not less then zero. How to solve that?
 
Do you know this equivalence

[tex] \lim_{x \rightarrow x_0} f(x) = 0 \Leftrightarrow \lim_{x \rightarrow x_0} \vert f(x) \vert = 0[/tex]

meaning that the limit of some function as [itex]x \rightarrow x_0[/itex] is zero if and only if the limit of the modulus of that function is also zero. It follows from the obvious identity:
[tex] \vert f(x) - 0 \vert = \vert f(x) \vert = \vert \vert f(x) \vert \vert = \vert \vert f(x) \vert - 0 \vert[/tex]

You should use this rule, as well as the fact that:
[tex] \vert e^{(a - i k) x} \vert = e^{a x}[/tex]
to show that that limit is zero!

What is this limit:
[tex] \lim_{x \rightarrow -\infty} {e^{a x}} = ?, \; a > 0[/tex]
 
I don't know that equivalence. How can I show that this is equivalent?
 
Doesn't matter. Just show that:
[tex] \lim_{x \rightarrow -\infty}{\left e^{(a - i k) x} \vert} = 0[/tex]
and use it to show that the limit in the numerator of the fraction is zero.