70
VIII. Funkcja pierwotna (całka nieoznaczona)
Te wzory redukcyjne pozwalają sprowadzić interesujące nas całki do przypadku
Jeśli przez P (...) nadal oznaczamy wielomian, to jako ostateczny wynik otrzymujemy twierdzenie, że w postaci skończonej można obliczyć całki postaci
J P(x, ea'x, ea"x.....sin b'x, sin b"x.....cos b'x, cos b"x ,...) dx,
gdzie a', a", b' b", ... są stałymi.
Sprowadza się to do całkowania wyrażenia
xV*sin*' b'x sin*" b"x ... cos"1' b'x ...
Jeśli skorzystamy z elementarnych wzorów trygonometrycznych
. ,, 1—cos2ńx
sin b'x sin b” x = y[cos(ń' — b")x — cos(ń' + ń'')x]
i podobnych, to łatwo możemy rozbić rozpatrywane wyrażenia na składniki postaci Axneaxsin bx i Bxneaxcos bx, z którymi umiemy sobie już poradzić.
290. Uwagi ogólne i definicje. Rozpatrzmy całkę postaci
(1) R (x, y) dx ,
gdzie y jest funkcją algebraiczną zmiennej x, tzn. [205] spełnia równanie
(2) P(x,y) = 0,
gdzie P jest wielomianem względem zmiennych x i y. Całki tego rodzaju otrzymały nazwę całek Abela. Należą do nich całki
J R ^x, ~p/ ^ dx> J* R (x, l/ax2 + bx-ł-c )dx,
zbadane w § 3.
Rzeczywiście, funkcje
"/a x + 8 z—5—r-
spełniają odpowiednio równania algebraiczne
(yx+<5) ym—(ax+P) = 0 i y2—(ax2 + bx — c) = 0 .