Why Does Mathematica Include a Negative Sign in Exp[]?

  • Context: Mathematica 
  • Thread starter Thread starter sukharef
  • Start date Start date
  • Tags Tags
    Integral Mathematica
Click For Summary

Discussion Overview

The discussion revolves around the presence of a negative sign in the expression Exp[] within a mathematical integral related to wave vectors and complex variables. Participants explore the implications of this sign in the context of contour integration, specifically in the upper and lower half-planes.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Debate/contested

Main Points Raised

  • One participant presents an integral involving a wave vector and questions the origin of the negative sign in Exp[].
  • Another participant asserts that the negative sign is correct and suggests that the first participant made an error in their manual calculations.
  • A subsequent reply seeks clarification on where the error occurred in the calculations.
  • Another participant suggests that the first participant may have mixed up the variables related to the semicircle in the upper half-plane, providing an asymptotic form of the integral that converges under certain conditions.
  • Further exploration of the integral bounds is presented, with a focus on the real part of the exponent and its impact on the integral's behavior.
  • One participant acknowledges a potential oversight and expresses a need for further verification of their calculations.

Areas of Agreement / Disagreement

Participants express differing views on the correctness of the calculations and the presence of the negative sign in Exp[]. There is no consensus reached regarding the source of the negative sign or the correctness of the manual calculations.

Contextual Notes

Some assumptions regarding the behavior of integrals in complex analysis and the conditions for convergence are not fully resolved. The discussion includes various interpretations of the integral's bounds and the implications of the real part of the exponent.

sukharef
Messages
54
Reaction score
0
The integral is :

[PLAIN]http://i038.radikal.ru/1108/ed/a6cd0c5e8f36.jpg

, where "y" - coordinate, "kx" - component of wave vector

if we calculate this integral on a paper with a pen and using compex variables theory we obtain:

1) y>0

here, in the capacity of contour we take semicircumference in the upper half plane

[URL]http://s006.radikal.ru/i215/1108/c9/835aa4a65f60.jpg[/URL]

2) y<0

here, in the capacity of contour we take semicircumference in the lower half plane

[URL]http://s58.radikal.ru/i162/1108/b7/37bb3bc6170d.jpg[/URL]

So the total answer is

[URL]http://s004.radikal.ru/i208/1108/4f/c35aafd1c20b.jpg[/URL]

Let's calculate it in Math now.

[URL]http://s40.radikal.ru/i090/1108/f8/cf9f67043005.jpg[/URL]

I wonder where Math gets "-" in Exp[] ?
 
Last edited by a moderator:
Physics news on Phys.org
sukharef said:
I wonder where Math gets "-" in Exp[] ?
The - sign is correct. You made an error doing it by hand. To check do a numeric integration and compare to the analytical answers.
 
DaleSpam said:
The - sign is correct. You made an error doing it by hand. To check do a numeric integration and compare to the analytical answers.

ok, but where is an error?
 
sukharef said:
ok, but where is an error?

Looks to me you got the y's mixed up. When the semicircle is over the upper half-plane, I obtain an integral asymptotic to:

[tex]\int_{0}^{\pi} e^{R\sin(t) y} dt[/tex]

and that converges when y<0. Similar dif for the lower half-plane.
 
jackmell said:
Looks to me you got the y's mixed up. When the semicircle is over the upper half-plane, I obtain an integral asymptotic to:

[tex]\int_{0}^{\pi} e^{R\sin(t) y} dt[/tex]

and that converges when y<0. Similar dif for the lower half-plane.

i'm sorry, but where is "-" in Exp[] ?
 
sukharef said:
i'm sorry, but where is "-" in Exp[] ?

Let [itex]q=Re^{it}[/itex] over the semi-circle in the upper half-plane, and I want to know the bounds on the integral. So, I can write that it's less than:

[tex]\int_0^{\pi}\left|\frac{e^{-iRe^{it}y}}{R^2e^{2it}+k^2}Rie^{it}\right|dt[/tex]

and really, it's going to be dominated by the real part of the exponent in the numerator right? So asymptotically, I (think), it's going to approach:

[tex]\int_0^{\pi}\frac{e^{-iRe^{it}y}}{R}dt[/tex]

[tex]\int_0^{\pi}\frac{e^{-iR(\cos(t)+i\sin(t))}}{R}dt[/tex]

So now, I'm only interested in the absolute value of that and that's dependent on it's real part:

[tex]\int_0^{\pi}e^{R\sin(t)}dt[/tex]

But I did that really quick and sloppy. Would need to double-check it and do a better job with inequalities and all if I were turning it in for a grade.
 
jackmell said:
Let [itex]q=Re^{it}[/itex] over the semi-circle in the upper half-plane, and I want to know the bounds on the integral. So, I can write that it's less than:

[tex]\int_0^{\pi}\left|\frac{e^{-iRe^{it}y}}{R^2e^{2it}+k^2}Rie^{it}\right|dt[/tex]

and really, it's going to be dominated by the real part of the exponent in the numerator right? So asymptotically, I (think), it's going to approach:

[tex]\int_0^{\pi}\frac{e^{-iRe^{it}y}}{R}dt[/tex]

[tex]\int_0^{\pi}\frac{e^{-iR(\cos(t)+i\sin(t))}}{R}dt[/tex]

So now, I'm only interested in the absolute value of that and that's dependent on it's real part:

[tex]\int_0^{\pi}e^{R\sin(t)}dt[/tex]

But I did that really quick and sloppy. Would need to double-check it and do a better job with inequalities and all if I were turning it in for a grade.

you are right, I'm sorry. thanks!
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K