54 VHI. Funkcja pierwotna (całka nieoznaczona)
Niech będzie dany ułamek właściwy PIQ, o którym zakładamy, że jest nieskracalny i że jego mianownik Q jest rozłożony na czynniki pierwsze [patrz (3)]. Wówczas całka tego ułamka zapisze się w postaci sumy całek ułamków postaci (5) [lub (6). Jeśli k (lub m) jest większe od jedności, to całki wszystkich ułamków grupy (5) lub (6)] oprócz pierwszej przekształcą się według wzoru (7) pub (8)]. Łącząc wszystkie te wyniki otrzymujemy o-stateczny wzór w postaci
54 VHI. Funkcja pierwotna (całka nieoznaczona)
Część wymierną całki P\IQ\ otrzymujemy w wyniku dodawania wydzielonych wyżej części wymiernych, jest więc ona przede wszystkim ułamkiem właściwym, a jej mianownik Qi ma rozkład
Qt(x) = (x—a)k~1... (x2+px+q)m~1
Co się zaś tyczy ułamka P2/Q2, który pozostał pod znakiem całki, to otrzymuje się go z dodawania ułamków postaci I i III, a więc jest on również ułamkiem właściwym
Oczywiście [patrz (3)] Q — Qx Q2.
Wzór (9) nazywa się wzorem Ostrogradskiego.
Różniczkując można przedstawić go w postaci równoważnej
Widzieliśmy, że wielomiany <2i i Qz można łatwo znaleźć, jeśli znamy rozkład (3) wielomianu Q. Mogą być one jednak wyznaczone również bez tego rozkładu. Rzeczywiście, ponieważ pochodna Q’ zawiera wszystkie czynniki pierwsze, na które rozkłada się Q w potędze o jeden niższej, Qx jest największym wspólnym dzielnikiem Q i Q\ a więc można go obliczyć z tych wielomianów na przykład przez kolejne dzielenie (czyli za pomocą algorytmu Euklidesa, przyp. tłum). Jeśli znamy £i> to Q2 wyznaczamy dzieląc po prostu Q przez Qv
Zajmiemy się teraz wyznaczeniem dzielników Px i P2 we wzorze (10). Skorzystamy w tym celu także z metody współczynników nieoznaczonych.
Oznaczmy stopnie wielomianów Qt Qu Qz odpowiednio przez «, nu n2, wówczas, nx+n2 — n. Stopnie wielomianów P, Pu P2 nie przewyższają odpowiednio n—1, ni — 1, 1. Podstawmy za Px i P2 wielomiany stopnia /i4 — 1 i n2— 1 o współczynnikach literowych. Współczynników tych będzie razem nt+n2, tzn. n. Zróżniczkujmy (10) obustronnie, otrzymujemy
Wykażemy teraz, że pierwszy ułamek można zawsze sprowadzić do mianownika Q w ten sposób, aby licznik pozostał wielomianem. Istotnie,
p' o -P O1
Pi (U-Pi Qi I 1 1 Qi _ Pt Qi-Pi H
5! Qi 0.2 Q
gdzie H oznacza iloraz Q\ Q2IQi- Iloraz ten można jednak przedstawić w postaci wielomianu. Rzeczywiście, jeśli (x—a)k przy k > 1 wchodzi w skład Qx, to (x—a¥~l wchodzi, do Q\, a x—a do Q2. Do takiego samego wniosku dojdziemy, gdy chodzi o wielomian kształtu (x2 +px+q)m dla m > 1. Tak więc licznik ułamka H dzieli się bez reszty przez mianownik, można zatem dalej traktować //jako wielomian stopnia n2— 1.
Uwalniając się od wspólnego mianownika Q otrzymujemy tożsamość dwóch wielomianów stopnia n—1:
Pi Q2-P2 H+P2 Qi = P.
Jak i wyżej otrzymujemy stąd dla wyznaczenia wprowadzonych n nieoznaczonych współczynników układ n równań liniowych.
Ponieważ możliwość rozkładu (10) została udowodniona dla dowolnego P, więc wspomniany układ musi być niesprzeczny przy wszelkich wyrazach wolnych. Stąd już samo przez się wynika, że wyznacznik układu musi być różny od zera, a więc układ jest oznaczony i rozkład (10) jest określony dla danych mianowników Qi i Q2 — jednoznacznie (1).
Przykład. Wydzielić część wymierną całki
dx.
f 4x4+4x3+16x2+12x+8
(x+l)2(x2+l)2
Mamy
= [ ax2+bx+c ] l x3+x2+x+l J
x3+x2+x+l,
dx2+ex+f
+
x3+x2+x+l
skąd
4x4+4x3 + 16x2+12x+8 =
=(2ax+b) (x2+x2+x+l)—(ax2+6x+c)(3x2+2x+l)+(<ćc2+ex+/)(x3+x2+x+l).
Przyrównując współczynniki przy jednakowych potęgach x z obu stron równości otrzymujemy układ równań, z którego wyznaczymy niewiadome a, b, ...,/:
x5 d = 0 (dalej d nie bierzemy już pod uwagę),
x4 —a+e = 4,
x3 -2ó+e+/“4,
x2 a—b—3c+e+f=1 16,
xl 2a—2c+1+/« 12,
x° b—c+f= 8,
skąd
c = —4.
3, /“ 3.
na ułamki proste str. 32.
3*
Porównaj analogiczną uwagę dotyczącą rozkładu ułamka właściwego