Register to reply

Analitic function

by matematikuvol
Tags: analitic, function
Share this thread:
matematikuvol
#1
Dec2-11, 07:38 AM
P: 192
[tex]\oint dz\frac{e^{ikz}}{z}[/tex]

How we know for [tex]k>0[/tex] is function analytic in upper or in lower half plane?
Phys.Org News Partner Science news on Phys.org
Study links polar vortex chills to melting sea ice
Lab unveil new nano-sized synthetic scaffolding technique
Cool calculations for cold atoms: New theory of universal three-body encounters
jgens
#2
Dec2-11, 11:20 AM
P: 1,622
I am assuming you want to calculate:
[tex]\int_{\gamma}\frac{exp(ikz)}{z} \, \mathrm{d}z[/tex]
where [itex]\gamma[/itex] is some closed loop such that [itex]0 \in \mathrm{Int}(\gamma)[/itex].

If this is the case, you can the integral using the Residue Theorem. That is, write [itex]exp(ikz)[/itex] as a power series. Divide each term of the power series by [itex]z[/itex] to obtain a meromorphic function. You can then perform the integration and the only term that contributes to the value of the integral is the residue.
matematikuvol
#3
Dec2-11, 11:36 AM
P: 192
I asked what I want to know. I don't understand why if I have

[tex]\oint \frac{e^{ikz}}{z}[/tex], [tex]k>0[/tex] function is analytic in upper half plane if I [tex]k<0[/tex] function is analytic in lower half plane? Why?

jgens
#4
Dec2-11, 11:46 AM
P: 1,622
Analitic function

The contour integral is a number, not a function. So asking if the integral is analytic in the upper/lower half-plane doesn't seem to make much sense. If you want to consider the function all of whose values are equal to the contour integral, then this is just a constant function and is obviously analytic on the upper and lower half-plane.

So, unless your question is about trivialities, I think you need to be more precise.
matematikuvol
#5
Dec2-11, 11:52 AM
P: 192
Quote Quote by jgens View Post
The contour integral is a number, not a function. So asking if the integral is analytic in the upper/lower half-plane doesn't seem to make much sense. If you want to consider the function all of whose values are equal to the contour integral, then this is just a constant function and is obviously analytic on the upper and lower half-plane.

So, unless your question is about trivialities, I think you need to be more precise.
My mistake. Why function [tex]\frac{e^{ikz}}{z}[/tex] is analytic in upper half plane for [tex]k>0[/tex]?
jgens
#6
Dec2-11, 11:57 AM
P: 1,622
Well, exp(ikz) is entire and therefore analytic on the whole plane. If we divide the power series of exp(ikz) by z, we see that exp(ikz)/z has a simple pole at k = 0 but is well-defined everywhere else. Which means that our series expansion for exp(ikz)/z is valid on the upper half-plane.
matematikuvol
#7
Dec2-11, 11:59 AM
P: 192
Why we close counture in upper half plane for k>0?
jgens
#8
Dec2-11, 12:01 PM
P: 1,622
What do you mean by 'close counture'?
matematikuvol
#9
Dec2-11, 12:05 PM
P: 192
When we calculate integral which I wrote we use contour in upper half plane for k>0. Why?
jgens
#10
Dec2-11, 12:13 PM
P: 1,622
I do not know why you would choose to do this. Since the contour will be chosen over a closed curve and since exp(ikz)/z is analytic in the upper half-plane, this means if we integrate along any closed curve which lies entirely in the upper half-plane, the integral will necessarily be zero.
matematikuvol
#11
Dec2-11, 12:53 PM
P: 192
I will also take a small conture around zero.
matematikuvol
#12
Dec2-11, 01:24 PM
P: 192
Understand now?
Attached Thumbnails
conture.JPG  
matematikuvol
#13
Dec2-11, 01:32 PM
P: 192
I want to calculate integral [tex]\int^{\infty}_{-\infty}\frac{sinkx}{x}[/tex] use integration which I wrote. Why for k>0 in upper plane? Tnx.
jgens
#14
Dec2-11, 03:25 PM
P: 1,622
Ah! That is not a contour in the upper half-plane; the upper half-plane excludes the real axis. And you take the integral that way because you know exp(ikz)/z is analytic everywhere except 0 and there is a theorem that involves evaluating real integrals using complex integrals like the one you have.
jackmell
#15
Dec2-11, 05:20 PM
P: 1,666
Quote Quote by matematikuvol View Post
I want to calculate integral [tex]\int^{\infty}_{-\infty}\frac{sinkx}{x}[/tex] use integration which I wrote. Why for k>0 in upper plane? Tnx.
Need to be more clear mate. We choose the upper half-contour for k>0 in that integral because we wish the integral over the large semi-circle to tend to zero as R goes to infinity. Consider the expression:

[tex]e^{ikz}[/tex]

for [itex]z=Re^{it}[/itex]

thats:

[tex]e^{ikR(\cos(t)+i\sin(t))}[/tex]

Now consider it's absolute value:

[tex]e^{-kR\sin(t)}[/tex]

In the upper half-plane, sine is positive so that will tend to zero for k>0. And if k<0, they we'd have to divert the contour to the lower half-plane because then sin(t)<0.
matematikuvol
#16
Dec4-11, 06:10 AM
P: 192
Thanks mate. Sorry again. Is there some easy way to see that that integral will go to zero? When you see

[tex]\oint\frac{e^{ikz}}{z}[/tex]?
jackmell
#17
Dec4-11, 07:13 AM
P: 1,666
Quote Quote by matematikuvol View Post
Thanks mate. Sorry again. Is there some easy way to see that that integral will go to zero? When you see

[tex]\oint\frac{e^{ikz}}{z}[/tex]?
Ok, that one "looks" like you're just going around the origin but really you mean the half-disc contour in either half-plane. Around the origin, the integral is 2pi i. Otherwise if it's around the discs. You could be more specific like:

[tex]\mathop\oint\limits_{|z|=1} \frac{e^{ikz}}{z}dz[/tex]

that's really clear or in the other case:

[tex]\mathop\oint\limits_{D} \frac{e^{ikz}}{z}dz[/tex]

then clearly specify in the text what D is. In regards to you question about the integral over the upper half-disc around the semi-circle, well, you just need to plug it all in and analyze it to see what happens as R goes to infinity.
matematikuvol
#18
Dec5-11, 08:02 AM
P: 192
Thanks. What about

[tex]\lim_{R\to\infty}e^{ikR\cos t}[/tex]?


Register to reply

Related Discussions
Analitic Geometry Differential Geometry 8
Square of the Riemann zeta-function in terms of the divisor summatory function. Linear & Abstract Algebra 6
Give to an interpolation function an analitic function with mathematica Math & Science Software 1
Help in finding a good forum for analitic geometry Calculus & Beyond Homework 1
Vector Algebra & Analitic Geometry in Space General Math 1