84 5. PUNKTY OSOBLIWE ODOSOBNIONE
Również z własności 1.11.4 dla dostajemy
cos(O) = 1 dla n — 4 Z,
COS
(n)(0) =
— sin(0) = 0 dla n = Al + 1,
— cos(O) = — 1 dla n — Al + 2, sin(O) = 0 dla n = 41 + 3.
Stąd i z (1) dla funkcji cos mamy a%k = (—\)k/(2k)\ ,a<2k+\ = 0 dla każdego k € N.
To kończy rozwiązanie. □
Zadanie 2. Wyznaczyć wartości parametru a, dla których całka funkcji fa : Cx —+ C określonej wzorem fa(z) — (f + j?) exP2 znika wzdłuż dowolnej krzywej regularnej zamkniętej przebiegającej w
C*.
Rozwiązanie. Niech C będzie dodatnio zorientowanym okręgiem o środku w punkcie 0 i promieniu r > 0. Przypuśćmy, że
(1)
/ fa(z)dz = 0.
Jc
Łatwo sprawdzić, korzystając z zadania 4.5.3, że szeregi Laureata
- zn-l
°° ^n-2
^—'(n + 1)! ‘ ^ n! ~ — (n -f 2)!
n=0 n=0 ^ ' n—0 n—0 v 1
są niemal jednostajnie zbieżne w Cx. Stąd, na mocy zadania 1 i własności 1.19.5, dostajemy
- + exp zdz = J
expz
dz +
exp z
dz
'c \
°° r yn—2
f ——-~~dz
±fJc n\
dz
n=0 1/0 n—0
Stąd i z zadania 3.2.8 dostajemy
jfa(z)dz
2iri -f a2iri
Z (1) i (2) dostajemy a = —1.
Łatwo sprawdzamy, że [(1/z) exp z]' — /_ 1. Zatem funkcja /_ 1 ma w Cx funkcję pierwotną.. Stąd, na mocy twierdzenia 1.20.3, całka funkcji /_ 1 znika wzdłuż dowolnej krzywej regularnej zamkniętej przebiegającej w Cx.
Odpowiedź: a = — 1.
To kończy rozwiązanie. □
Zadanie 3. Niech f będzie dowolną funkcją całkowitą i niech T będzie krzywą regularną zamkniętą przebiegającą w C. Pokazać, ze
Rozwiązanie. Z wniosku 1.30.1 dla 2 ę C
00
(1) /(2) = ^afczfc,
k—0
przy czym, w myśl twierdzenia 1.27.1, szereg w (1) jest niemal jednostajnie zbieżny w C. Połóżmy Pn(z) — Y^k=oakzk- Zatem ciąg {.Pn} jest również niemal jednostajnie zbieżny w C do funkcji / i z własności 1.19.5 dostajemy
Z drugiej strony, każdy wielomian ma funkcję pierwotną. Zatem, w myśl twierdzenia 1.20.3, dla każdego n mamy fr Pn(z)dz ~ 0. Stąd i z (2) dostajemy (*).
Zadanie 4. Pokazać, ze.
pcc r 00
/ cos (t2)dt = / sin(t2)df =
Powyższe całki zwane są całkami Fresnela.
Rozwiązanie. Dla dowolnego R > 0 określmy krzywą zamkniętą Pr ~ [0, R] 4- CR + [R exp(ni/4), 0],