Professional Documents
Culture Documents
1, 1304 (2013)
www.sbfisica.org.br
1. Introduction
Greens functions for the wave, Helmholtz and Poisson
equations in the absence of boundaries have well known
expressions in one, two and three dimensions. A standard method to derive them is based on the Fourier
transform. Nevertheless, its derivation in two dimensions (the most dicult one), unlike in one and three,
is hardly found in the literature, this being particularly
true for the Helmholtz equation.2 This work aims at
providing new ways of performing the improper double integrals related to the inverse Fourier transforms
that furnish those Greens functions in the bidimensional case.
It is assumed that the reader is acquainted with the
usual prescriptions for circumventing the real poles of
a function being integrated over the real axis: the iprescription [25] and that which leads to the Cauchy
principal value. In this respect, Ref. [6] is closely followed. As described in this reference, in physical applications, the improper integrals that arise are often not
well dened mathematically, being necessary to con1 E-mail:
2.
Wave equation
toscano@im.u.br.
(1)
this equation, the author is aware of the procedure sketched in Ref. [1], p. 173-176
1304-2
Toscano Couto
where T is the stretching force per unit length (uniform and isotropic) and is the mass per unit area.
We admit that the membrane has always been (since
t ) lying at rest on the xy-plane until the source
of vibrations f starts generating waves.
The associated Greens function G(r, t | r , t ) is the
solution of (1) with a unit, point, instantaneous source
at the point r at the time t
1
t | r , t ) (4)
d 2 r eikr G(r, t | r , t ) G(k,
2 R2
2 G(r, t | r , t ) c2 Gtt = T 1 (r r ) (t t )
[
]
r and r in R2 , t and t in R . (2)
t | r , t )}
Ft {G(k,
1
t | r , t ) G(k,
| r , t ),
dt eit G(k,
2
if t < t ,
(3)
| r , t )
and solve the resulting equation to obtain G(k,
2 G(r, t | r , t ) c2 Gtt = T 1 (r r ) (t t )
r
=
2 = [T 1 eikr /(2)] (t t )
t | r , t ) c2 d 2 G/dt
k 2 G(k,
= [T 1 eikr/(2)] eit /2
| r , t ) + (/c)2 G
k 2 G(k,
t
=
2 1 ikr it
e / (2)3/2
| r , t ) = c T e
G(k,
.
2
k 2 c2
i(tt )
e
c2 T 1 ikr
1
e
D
d =
G(k, t | r , t ) = Ft {G(k, | r , t )} =
2 k 2 c2
(2)2
0
(t < t )
c2 T 1
sin kc
c
2
(t
>
t
)
2T
k
(2)
|
{z
}
|
{z
}
ikc
ikc
e
/(2kc)
(5)
/(2kc)
where t t and U( ) is the unit step function (equal to 0 for < 0 and to 1 for > 0).
3 D
means that, in applying the i-prescription method, both the left and right poles are shifted of i. Cauchys P-value as
well as the D++ -, D+ - and D+ -value of the improper integral are not physically acceptable, because they do not vanish for t < t
and are thus inconsistent with the causality principle.
1304-3
- plane
(a) t " t !
kc
kc
CR
CR
(b) t # t !
kc
kc
Figure 1 - The contours used to evaluate the integral in Eq. (5) for (a) t < t and (b) t > t .
sin kc
c U( )
d2 k eik(rr )
.
2
(2) T R2
k
ky
(6)
The brackets in this equation enclose an integral representation of the Bessel function J0 (k), which also admits another well-known integral representation; that
is,4
1
2
2
d e
ik cos
2
= J0 (k) =
kx
[
]
2
sin
ku
c
U(
)
dk sin kc
du
G(r, t | r , t ) =
2T
u2 1
(9)
Now recognizing that the last pair of brackets encloses an integral representation of the delta function
(u c ) [8, 9] and then changing the variable of integration from u to = u c , we can write
c U( ) du (u c )
G(r, t | r , t ) =
=
2T
u2 1
[ 2
]
c U( )
1
ik cos
=
dk sin kc
d e
.
2T
2
0
[
]
2
c U( )
du
=
dk sin ku sin kc .
2T
u2 1
2
eik cos sin kc dk d
0
sin ku
. (8)
du
u2 1
! r"r
(7)
c U( )
2T
d ()
(
)
+c 2
.
1
This integral is easily evaluated by using the sifting property of the delta function;5 we obtain
{
if c > 0 (i.e. /c < 0)
c U( )
( 0 )
G(r, t | r , t ) =
c 2
2T
1/
1
if c < 0 (i.e. /c > 0)
{
U( )
U( ) U( /c)
0 if /c < 0
.
=
=
1 if /c > 0
2T 2 (/c)2
2T 2 (/c)2
|
{z
}
U ( /c)
4 The rst integral representation, by bisecting the range of integration and making the changing of variable 2 in the latter
part, becomes the Eq. (2) in Ref. [7], 2.3, with n = 0 and z = k. The second one is also found in this reference, 6.13, Eq. (3), with
= 0 and x = k.
5 That is, b dx (x) f (x) is equal to f (0) if a < 0 < b and is zero otherwise.
a
1304-4
Toscano Couto
But, in the product U( ) U( /c), we can drop the rst unit step function without altering the result (this is
readily seen by plotting them both). We then obtain the nal result
G(r, t | r , t ) = G(, ) =
3.
1
U( /c)
2T
2 (/c)2
Helmholt equation
3.1.
(t t0 ),
First method
(10)
that is, the external vertical force per unit area varies
harmonically with time with frequency 0 at all points
of the membrane, being (r) (a non-negative function
everywhere) its maximum magnitude at the point r.
In addition, we admit that we are only interested in
the stationary solution zst (r, t) that will prevail after
a very long time has elapsed as a consequence of the
forced harmonic oscillation.
It is well-known that, when this steady-state motion
is reached, all points of the membrane will be vibrating harmonically with the same frequency 0 , but with
amplitudes described by some function (r), that is
zst (r, t) = (r) ei0 t
[ | r r | , t t ] .
(t t0 ).
(11)
Therefore, the desired stationary solution becomes determined as soon as (r) is calculated. By substituting
Eqs. (10) and (11) in Eq. (1), we verify that (r) is the
solution of the two-dimensional Helmholtz equation
2 + k02 (r) = T 1 (r) [k0 0 /c],
(12)
(r | r ) =
T 1
(2)2
dky
dkx eikx
.
2 + k2 k2
k
x
y
0
|
{z
}
I(kx )
(15)
The integral denoted by I(kx ) above can be calculated as part of a contour integral in the ky -plane. It
does not matter if we close the contour with a semicircle
of radius R through the upper or lower half-plane;
let us close it through the upper half-plane (Figs. 3 and
4). However, to investigate the poles of the integrand,
we need to consider two separate cases: |kx | > k0 and
|kx | < k0 .
For |kx | > k0 , by writing the denominator of the
integrand in the form
)(
)
) (
(
ky i kx2 k02 ,
ky2 + kx2 k02 = ky + i kx2 k02
2 + k02 (r | r ) = T 1 (r r )
k 2 (k | r ) + k02 (k | r ) = T 1 eikr/(2)
1
ky - plane
ikr
T
e
(k | r ) =
,
2 k 2 k02
and then calculate the inverse Fourier transform
eik
T 1
2
d
k
(r | r ) =
[ r r ]. (14)
(2)2 R2
k 2 k02
We present two methods of calculating this integral in
the next two subsections.
i kx2
i kx2
k02
k02
Im ky
(a) D
!
k 02
and Eq. (17) for I(kx ), we split the interval of integration in two (for |kx | = |k0 |, convergence occurs when
k 02
kx2
T 1
(r | r ) =
(2)2
kx2
Re ky
T
=
(2)2
(d) D
!
T 1
(2)2
Figure 4 - Four ways of circumventing the real poles in the evaluation of the integral I(kx ) dened in Eq. (15) for |kx | < k0 . These
are the possible i-prescriptions; for each one, the corresponding
D-value (D+ , etc) is indicated.
)
(
I(kx ) = 2i Res i kx2 k02 = 2i
=
2
kx k02
dkx +
|kx |>k0
|kx |<k0
ikx
dkx e
kx2 k02
dkx i eikx
k02 kx2
]
.
|kx |<k0
(c) D!!
!
|kx |>k0
(b) D!
!
1304-5
2i kx2 k02
[ |kx | > k0 ] .
(16)
ky + k02 kx2
ky k02 kx2
clearly
shows the existence of the two real poles
k02
kx2 . Since the residues
at them are given by
(
)
( 2
)
2
2
Res k0 kx = 1/ 2 k0 kx2 , we can deduce
that
/
I(kx ) = i
k02 kx2 [ |kx | < k0 ]
(17)
(r | r ) =
k
cos kx
cos kx
2i 0 0dkx 2
2 k0dkx
2
2
kx k0
k0 kx2
]
.
dkx
=
du
= N0 (k0 ).
2
2
2
2
u 1
kx k0
k0
1
The second integral, with the change of variable kx =
k0 cos , also becomes a known integral representation7
k0
cos kx
dkx 2
=
k0 kx2
/2
d cos(k0 cos ) =
0
J0 (k0 ).
2
We thus get
(r | r ) =
T 1 [
N0 (k0 ) i J0 (k0 ) =
2
2
2
i T 1
[ i N0 (k0 ) + J0 (k0 )] ,
4
(r | r ) = () =
i
(1)
H (k0 )
4T 0
[ | r r | ] .
(18)
1304-6
3.2.
Toscano Couto
Second method
The integral in Eq. (14) can also be calculated in polar coordinates. The rst steps are similar to those performed
in going from Eq. (6) to Eq. (9)
(r | r ) =
T 1
=
2
T 1
(2)2
d2 k
R2
T 1
eik
=
2
2
k k0
(2)2
2
eik cos
0
]
2
dk k
1
T 1
dk k
ik cos
d e
=
k 2 k02 2
2
k 2 k02
0
0
|
{z
}
[
k dk d
k 2 k02
]
[
2
sin ku
du
u2 1
1
|
{z
}
J0 (k)
T 1
2
J0 (k)
[
]
T 1
k sin ku
du
du S(u)
= 2
dk 2
.
2
2
k
u 1
u2 1
0
0
1
1
|
{z
}
(19)
S(u)
To evaluate the integral S(u) dened above, we write it in a more appropriate form
1
S(u) =
2
(
)
k eiku eiku
E + (u) E (u)
=
dk
2i (k 2 k02 )
4i
k eiku
E (u)
dk 2
k k02
]
.
The residues of the integrands in E + (u) and E (u) (denoted by Res+ and Res , respecively) at the poles k0
are
and
Therefore, referring to the contours shown in Fig. 5 (which are closed with innite semicircles that, according to
Jordans lemma, do not contribute to the integrals), we calculate the four possible D-values of S(u) as follows
[
]
D+ S(u) = D+ E + (u) D+ E (u) /(4i) = [2iRes+ (k0 ) (2i)Res (k0 )] /(4i)
[
]
(20)
= (/2) eik0 u /2 + eik0 u /2 = (/2) eik0 u
[
]
D+ E + (u) D+ E (u) /(4i) = [2iRes+ (k0 ) (2i)Res (k0 )] /(4i)
[
]
= (/2) eik0 u /2 + eik0 u /2 = (/2) eik0 u
D+ S(u) =
(21)
z }| { ]
[
D++ E + (u) D++ E (u) /(4i) = 2i [Res+ (k0 ) + Res+ (k0 )] /(4i)
[
]
= (/2) eik0 u /2 + eik0 u /2 = (/2) cos(k0 u)
D++ S(u) =
(22)
[ z }| {
]
D S(u) = D E + (u) D E (u) /(4i) = (2i) [2iRes (k0 ) + Res (k0 )] /(4i)
[
]
= (/2) eik0 u /2 + eik0 u /2 = (/2) cos(k0 u)
(23)
In order to determine the P-value of S(u), let us rst calculate the P-values of E + (u) and E (u) employing
the contours in Figs. 5(c) and 5(h), respectively. Denoting the semicircles of radius r 0 used to circumvent the
poles at k0 by (k0 , r) and the semicircle of radius R centered at the origin by (0, R), we can write
[ I
0]
k eik0 u dk
7
PE (u) = lim
r0
k 2 k02
R
(k0 ,r)
(+k0 ,r)
(0,R)
[
]
PS(u) = PE + (u) PE (u) = (/2) cos(k0 u).
(24)
T 1 du (/2) eik0 u
i
(1)
(r | r ) = 2
=
H0 (k0 ).
21
4T
u
1
Here, in the last step, we used the integral representation of the rst
function of order zero
Hankel
(1)
H0 (x) = (2i/) 1 du eiux / u2 1 , given in Ref. [7],
6.13, Eq. (1).
4.
1
eik 2
(r | r ) =
d k [ r r ]. (25)
2 R2 k 2
To evaluate this integral, we act as in the case of the
wave equation, that is, we choose the kx -axis in the opposite direction of the vector , as in Fig. 2, and adopt
the polar coordinates k and of k. Next, we recognize
the integral with respect to as the rst integral representation of J0 (k) given in Eq. (8). The result is the
following function of only
(r | r ) =
Poisson equation
1
2
2
0
2
(k | r ) = eikr/k
k -plane
eik cos
k dk d =
k2
J0 (k)
dk 1
ik cos
e
= dk
= ().
k 2
k
0
0
0
|
{z
}
J0 (k)
The integral with respect to k becomes straightforward if we dierentiate it with respect to and then
use the chain rule to change to a derivative with respect
to k
k0
k0
D !E
r
D !E
1304-7
(a)
(e)
k0
k0
D! E
D!!E
D E
(b)
D! E
(f)
(c)
D!!E
(g)
(d)
D E
(h)
Figure 5 - The contours in the k-plane associated to the four possible D-values of the integrals E + (u) (at the left) and E (u) (at the
right).
1304-8
Toscano Couto
J0 (k)
() =
dk
=
k
0
]
[
J0 (k)
1
J0 (k)
dk
=
=
,
k
0
k=0
since J0 (x) equals 1 at x = 0 and goes to 0 as x .
Now, integrating with respect to , we obtain the nal
result
(r | r ) = () = ln + constant
[ | r r | ] ,
5.
Final comments
As said in the Introduction, the Greens functions considered here have well known expressions, which are
obtained in a number of ways (e.g., by descenting from
the easier three-dimensional case). Therefore, we did
not aimed at presenting new results but new methods. In this respect, concerning the footnote in the rst
page, we should say that, for the Helmholtz equation,
the procedure adopted here diers considerably from
that in Ref. [1], where that equation is converted into
an ordinary dierential equation (in the y variable) by
References
[1] B. Davies, Integral Transforms and Their Application,
Texts in Applied Mathematics (Springer-Verlag, New
York, 2002), 3rd ed.
[2] R. Shankar, Principles of Quantum Mechanics
(Plenum Press, New York, 1994), 2nd ed., sec. 19.4,
p. 661 and p. 541.
[3] F.W. Byron Jr, and R.W. Fuller, Mathematics fo Classical and Quantum Physics (Dover Publications, New
York, 1992), sec. 7.4, p. 415.
[4] E. Butkov, Mathematical Physics (Addison-Wesley
Publishing Company, Reading, 1973), sec. 7.7, p. 281.
[5] E. Merzbacher, Quantum Mechanics (John Wiley &
Sons, New York, 1970), 2nd ed., sec. 11.3, p. 225.
[6] R. Toscano Couto, Revista Brasileira de Ensino de
Fsica 29, 3 (2007).
[7] G.N. Watson, A Treatise on the Theory of Bessel Functions (Cambridge University Press, London, 1944), 2nd
ed.
[8] G.B. Arfken and H.J. Weber, Mathematical Methods
for Physicists (Harcourt Academic Press, San Diego,
2001), 5th ed., Prob. 1.15.24.
[9] R. Toscano Couto, TEMA Tend. Mat. Apl. Comput.
11, 57 (2010).
[10] F.B. Hildebrand, Advanced Calculus for Applications
(Prentice-Hall, Englewood Clis, 1976), 2nd ed.