$ 3. Wykorzystanie zbieżności jednostajnej całek
istnienie i ciągłość całek dla wszystkich wartości a wynika z istnienia majoranty e-*1. Według reguły Leibniza
± = - f c-1 sin «L - iŁ dx = -2 f sin 0- = ^-).
da. J x2 x* J x
o o
Druga całka jest dla wszystkich wartości a zbieżna jednostajnie w punktach y = 0 i y = oo i wobec tego pierwsza całka jest zbieżna jednostajnie w punktach x = oo i x = O dla * spełniających nierówność 0<ao<«</4< + oo. Wobec tego stosowanie reguły Leibniza jest przy <%>0 dozwolone.
Dalsze różniczkowanie względem a (dopuszczalność uzasadnimy analogicznie) prowadzi do równości
d2u
da2
00 00 2 j sin y2 dy = 4 J e' o >
Dokładnie tak samo otrzymujemy
d2 v da2
—Au.
Przyjmując w = u-fiu otrzymujemy dla w równanie różniczkowe
d2w
d<x2
—Aiw.
Równanie charakterystyczne 2I+4f = 0 ma pierwiastki X = ±|/2=F|/2/. Ogólne rozwiązanie równania różniczkowego ma zatem postać
w = u+iv = Ae-*^2 (cos a j/T+i sin a ^2 )+Be2^2 (cos a tfl—i sin » )/l) .
Ponieważ funkcja w jest ograniczona dla wszystkich wartości *, to B = 0. Dalej, dla « — 0 powinno być w = , skąd A — -Ł—-. Ostatecznie
u = J^-e~**^cos ot ^2, v = £Le~*'frsin * l/T.
2 2
11) Udowodnić tożsamość
a C e 1,1 dx xl+a2
(o > 0).
Oznaczymy całkę z lewej strony przez u, a całkę z prawej przez u. Podstawiając x2 +a2 = y2 w całce n doprowadzamy ją do postaci
W całce v wprowadzamy nową zmienną podstawiąjąc x = az; otrzymujemy
v —