54 VIII. Funkcja pierwotna (całka nieoznaczona)
m > 1, obliczmy pochodną
TT . X'
i-l V'
2 JY
2(m-l) x"~2(ax2 + &x+c)+x"~‘(2ax + Zi)
2j/T
1A a x"_1
= ma —==■ + m
M
ym-2
+ (m-l) c—pr-
yT l/7
i scalkujmy otrzymaną tożsamość; otrzymamy
xm-1 /F = maVM+ (m — y) 6Km-!+(m — 1) cKm-2. Biorąc tu m = 1 znajdziemy
gS' *4^-i*-
8 a5
4 a
Biorąc następnie m = 2 i wykorzystując wyrażenie dla V\ otrzymujemy V2 = -X-(2ax-3b)fr + -^(362-4ac) V0 .
Postępując tak dalej dojdziemy do ogólnego wzoru
fjL = Pm-l(x)V* +AmP0,
gdzie (x) jest wielomianem stopnia m—\, a Am = const. Tak więc wszystkie całki sprowadzają się do VQ.
Jeżeli w całce I wielomian P (x) będzie stopnia n, iu całka ta będzie kombinacją liniowi całek V0, Vlf..., V„f a więc na mocy poprzedniego wzoru można ją napisać w postać
gdzie Q (x) jest pewnym wielomianem stopnia n— 1, a A = const.
Samo wyznaczenie wielomianu Q (x) i stałej A dokonuje się zwykle metodą współczynników nieoznaczonych. Różniczkując (9) i mnożąc obie strony otrzymanej równości przez yfY otrzymujemy
P(x) * Q'(x)(ax2 + óx+c) + yQ(x)(2ax + ó) + A.
Jeśli zamiast Q (x) podstawimy tu wielomian stopnia «-l o współczynnikach nieoznaczonych, to otrzymamy po obu stronach wielomiany stopnia n. Przyrównując współczynniki
otrzymamy układ n+1 równań liniowych, z których wyznaczymy n współczynników wielomianu Q (x) i stałą A (*).
Uwaga. Wzór (9) wydziela część algebraiczną całki
Podobnego wydzielenia części algebraicznej można by dokonać także dla całki w ogólnej postaci
gdzie jR jest dowolną funkcją wymierną. Nie będziemy się jednak na tym zatrzymywali. II. Całka
/dx (x-a)k\/Y
sprowadza się przez podstawienie x—oc= 1/t do rozpatrzonego wyżej typu. Rzeczywiście, mamy
I dt , f (aoP + ba+ć) t2+(2aa+b) t+a
dx = —-j-, ax2 + bx + c -p-,
a więc (uważając na przykład, że x > a i f > 0) otrzymujemy
/
_dx_
(x—a)k \/ax2+bx+c
_ik~xdt_
|/(aa2 + ba + c) t2 +(2aa + b) t + a
Jeżeli aa2+ba+c = 0, tzn. jeżeli a jest pierwiastkiem trój mianu Y, to rzecz się upraszcza — otrzymujemy całkę typu rozpatrzonego w ustępie 278.
III. (a) Przechodząc do ostatniej całki rozpatrzymy osobno przypadek, gdy trójmian ax2+bx+c różni się od trójmianu x2+px+q tylko czynnikiem a. Wówczas szukana całka ma postać
r Mx+N J (ax2 + bx + c)(2m+1>/2 dx *
Można ją łatwo przedstawić jako sumę dwóch całek
M r_2ax + b_ , /„ Mb\ r_dx
2a J (ax2 + bx+c)(2m+l)/2 * \ 2a JJ {ax2 + bx+c)l2m+l>/2
z których pierwszą można obliczyć od razu za pomocą podstawienia t = ax2 + bx + f.
(l) Z udowodnionego wynika, że układ ten będzie rozwiązalny dla dowolnych wartości wyrazów wolnych, wówczas zaś wyznacznik układu musi być różny od zera i układ jest zawsze określony. Tym samym udowodniona została też jednoznaczność przedstawienia (9). (Por. str. 32 i 35).