56 I. WIADOMOŚCI TEORETYCZNE. ZADANIA. PRZYKŁADY ROZWIĄZAŃ
Korzystając z (1.4.22), (1.4.24) oraz (1.4.25) możemy zapisać równość (1.4.21) następująco
R
/sin x
-dx = ni-Ir-IR (1.4.27)
X
r
Jeżeli r -* 0+, to wobec (1.4.23) Jr -*■ 0, więc prawa strona równości (1.4.27) dąży do ni IR. Do tej samej granicy dąży zatem lewa strona tej równości, czyli
R
C sin* , . .
21 j ~^—dx = tti-Tr (1.4.28)
o
Jeżeli R-y + co, to wobec (1.4.26) IR —► 0, więc prawa strona równości (1.4.28) dąży do ni. Stąd
+ 00 +00
2i J —-—dx = ni, więc ostatecznie J —-—dx = —
Wnioski. Z parzystości funkcji podcałkowej wynika, że
+ 00
/
sin x
dx = n
(1.4.29)
Ponadto, podstawiając u = ax, otrzymujemy dla każdego a e R — {0}
•Y 00
dx = n sgn a
/sin ax
x
Wzór ten jest także prawdziwy dla a = 0. Można z niego wyprowadzić wiele interesujących wniosków, na przykład
+ 00
. r sinajc —sinóx ,
-dx = n (sgn a - sgn b)
J X
dla każdych a, be R. Zachęcam Czytelnika do zaznaczenia w układzie współrzędnych Oab wartości funkcji (a, b) -> u = /„jfc. Czy jest to funkcja ograniczona? Czy jest ciągła?
Uwaga. Całka
+ oo
f -£2Ł2-dx
J X
jest rozbieżna. Wynika to (dlaczego?) z następującego rachunku: niech 0 < e < —
J x J 2x 2 \ 3 / t-.0 +
Istnieje natomiast część główna całki w sensie Cauchy’ego (vałeur principale de Cauchy — skrót v.p.). Ola każdego a > 0 mamy bowiem (0 < e < a < R)
v.p. T ^-dx = lim ( f *-«“*_dx+ f-™*-dx) +
J X « ,-,0+ \ J X J X /
- co -a I
+ lim ( f -c°* -dx+ f -cos * dx) = lim 0+ lim 0 = 0
R-. + 0O \_Jr X J X ] Z-.0 + R- + oo
ponieważ funkcja podcałkowa jest nieparzysta. Z równości (1.4.29) wynika oczywiście, że ^- dx = lim f dx = k
X « *-, + *, Jr X
Zadania do samodzielnego rozwiązania
6. Obliczyć całkę
— CO
metodą residuów oraz metodą klasyczną opartą na definicji całki niewłaściwej. Wyznaczyć i narysować zbiór wszystkich par (a, b), 0 < a < b, dla których spełniona jest nierówność Ia b < n.
7. Obliczyć całkę 2*
/ = J esln x dx
o
a) metodą residuów, b) korzystając z wartości całki (1.4.17).
8. Obliczyć całkę
sin z
|z + t| = l (1+z2)
9. Obliczyć całki
a) It = z e" ctg z dz, b) I2 = <£ z e1"1 ctg z dz
|z| = 4 1*1=4
gdzie n e N. Udowodnić, że dla każdego n e N |/j| < 2tc2 e"”
10. Obliczyć całkę
2n
I - f cos (sin x) dx o