Convergence of Improper Integrals with Imaginary Units

  • Thread starter Thread starter matematikuvol
  • Start date Start date
  • Tags Tags
    Integrals
Click For Summary

Homework Help Overview

The discussion revolves around the convergence of improper integrals involving complex exponentials, specifically integrals of the form \(\int^0_{-\infty} e^{(a-ik)x}dx\) and \(\int^{\infty}_{0} e^{-(a+ik)x}dx\). The subject area includes complex analysis and improper integrals.

Discussion Character

  • Exploratory, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the convergence conditions for the integrals, particularly focusing on the role of the imaginary unit \(i\) and the parameter \(a\). There are attempts to evaluate limits and discuss the modulus of complex functions. Questions arise regarding the handling of limits involving complex exponentials and the implications of the modulus in determining convergence.

Discussion Status

Some participants have provided hints and guidance on evaluating limits and understanding the behavior of the integrals under certain conditions. There is an ongoing exploration of the implications of the imaginary unit and the convergence criteria, with no explicit consensus reached yet.

Contextual Notes

Participants are navigating the complexities of improper integrals with imaginary components, with some expressing uncertainty about specific mathematical equivalences and limits. The discussion reflects a learning environment where foundational concepts are being questioned and clarified.

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?
 
  • #10
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]
 
  • #11
I don't know that equivalence. How can I show that this is equivalent?
 
  • #12
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.
 

Similar threads

Replies
5
Views
2K
Replies
1
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
2
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K