433
§ 4. Dodatkowe wiadomości o szeregach potęgowych
4 M (p + M)
r—x
(')
Jeżeli dla uproszczenia wzoru wprowadzimy oznaczenie
to wzór na y możemy napisać w postaci
Stąd widać już, że gdy skorzystamy z szeregu dwumiennego, wyrażenie to można rozwinąć według potęg x dla |x| < rt < r. Ponieważ wspomniane rozwinięcie musi być identyczne z (19*), więc na tym kończymy dowód zbieżności szeregu (19*) przynajmniej dla |x| < r,, a więc i zbieżności szeregu (19).
Należy zauważyć, że twierdzenie ustala tylko możliwość rozwinięcia y według potęg x (lub w przypadku ogólnym, według potęg x—x0) w pobliżu x = 0 (x = x0). Dokładne wyznaczenie przedziału zbieżności wymaga specjalnych badań.
W podobny sposób można potraktować także przypadek ogólny, gdy układ funkcji otrzymujemy z układu równań.
Piękna metoda rozumowania, zastosowana powyżej pochodzi od Cauchy’ego. W istocie polega ona na zamianie danych szeregów potęgowych jednej lub kilku zmiennych przez, bardziej wygodne do badań, majoranty, które mają wszystkie współczynniki dodatnie i odpowiednio większe od wartości bezwzględnych współczynników wyjściowych. W związku z tym sama metoda została nazwana metodą majoratu. Często korzystamy z niej w teorii równań różniczkowych.
451. Odwrócenie szeregu potęgowego. Jako szczególny przypadek rozwiązanego wyżej zagadnienia rozpatrzmy teraz zadanie odwrócenia szeregu potęgowego. Niech funkcja v = /(x) da się w pewnym otoczeniu punktu x = x0 przedstawić w postaci szeregu ustawionego według potęg x—x0. Oznaczając wyraz wolny (wartość y dla x = x0) przez y0, napiszemy to rozwinięcie w postaci
y - y0 = oi(x — x0) + a2(x — x0)2 + ... +a1,(x-jCo)n+ •••
Jeżeli a t ^ 0, to x da się stąd wyznaczyć w otoczeniu y = y0 juko funkcja y, która z kolei daje się rozwinąć w szereg według potęg y—y0-
Tak więc, jeżeli y jest w punkcie x0 funkcją analityczną zmiennej x, to funkcja odwrotna też będzie analityczna w odpowiednim punkcie y0 (przy podanych warunkach).
(') Znak minus przed pierwiastkiem został postawiony w tym celu, żeby dla x = 0 było y = 0.
9ft naobimalr fó4w(nvVnurv