118 6. FUNKCJE REGULARNE
R t exp iat
~^Wdt
t sin at
t2 + b2
sin at
dt
(6)
f , f+°° t sin at ,
lim / f{z)dz = 2i +2 >Jadt'
S^+oo Jo t + 0
Ponadto z zadania 1 mamy
.. / zexpiaz
*™°°JcK~2~+V~
dz = 0.
Przechodząc w (5) do granicy przy R —► +00 i korzystając z (4), (6) i (7), dostajemy
H 00 t sin at
7T
^ + ^<=2exp(-ai)-
□
To kończy rozwiązanie.
Zadanie 6. Obliczyć całkę
L
+00
sin atdt
t(t2 + 62)’
gdzie, a > 0, b > 0.
Rozwiązanie. Funkcja p określona wzorem ę(z) = (exp i«z — 1)/z jest holomorficzna w Cx i, na mocy zadania 5.1.1, rozwija się tam w szereg potęgowy
00
&) = E
n=0
Jeśli położymy g(0) = ia, to tak rozszerzona funkcja, na mocy lematu 1.32.1, jest holomorficzna w C, czyli całkowita. Stąd wynika, że funkcje Re.9|a i Imtfk są ciągłe.
Rozważmy w C funkcję / określoną, wzorem
w f & =
!Iest to funkcja meroinorficzna w C. Ma ona jedynie dwa bieguny jednokrotne w punktach Z\ = ib, z% — —ib. Obliczmy residuum funkcji f w punkcie z}. W myśl zadania 6.3.4 marny
(2) resZl / -
9(z)
2z
exp(—ab) — 1 1 1 — exp(—ab)
— = 2&
ib 2 ib
Niech dalej liczba R będzie większa od b. Wówczas mamy
dla k = 1,
z-^ib
dla k — 2.
; Z (1), (2) i (3) na mocy twierdzenia o residuach dla dowolnego R > b dostajemy
f f(z)dz =
l-exp(—ab) 2m..... 262-----
Z drugiej strony, marny (5) f f{z)dz =
f(z)dz.
f(z)dz 4-
Obliczmy granicę pierwszej całki po prawej stronie (5) przy R -hoo. Mamy
'R exp iat - 1
'Cr
d[-R,R] cos at — 1
R W2 + &2)
f{z)dz —
fjm=l
i
sin at
r t{t2 + b2)
dt = 2 i
'dt =
sin at
t(t2 + b2)
dt.
Stąd
(6) lim f
J[-
Ponadto z zadania 1 marny
(7) lim f
R—+oo Jc
-R,R]
... . , [+°° sin at
j(z)dz = 21 dt.
Ja
exp iaz
c, *42 + 4)
-dz =
f expiaz
hm / ----
dc
lim
dz
00 JcR z(z2 + &2) R-+oo Jc z (z2 4- b2)
= 0.