1. Twierdzenie Lagrange’a o inwersji
Jeśli φ(z) jest funkcją analityczną w otoczeniu 0 i φ(0)=0
wówczas istnieje funkcja y(z) analityczna w otoczeniu 0 taka, że y(z)=z⋅φ(y(z)).
Ponadto:
- [zn]y(z)=n1[un−1]φn(u)
- [zn]yk(z)=nk[un−k]φn(u)
Bardzo przydatna maszynka do wychodzenia z rekursji!
2. Przykład
Zadanie 2. na liście 2. z ćwiczeń