Über Partialbruchzerlegung bei vielfachen Linearfaktoren des Nenners. (Q1496969)

Es sei \(R(x)=\varphi (x):\psi(x)\) die vorgelgte rationale Funktion, worin Zähler und Nenner teilerfremd sind und der Grad des Zählers kleiner als der de Nenners ist; ferner sei \(\psi (x)=(x-\alpha )^{\mu}(x-\beta )^{\nu}\dotsm =(x-\alpha )^{\mu}\chi (x)\) und \[ \frac {\varphi (x)}{\psi (x)}=\frac {A(x)}{{(x-\alpha )}^{\mu}}+\frac {B(x)}{(x-\beta )^{\nu}}+\dotsm ; \] es soll die ganze Funktion \((\mu -1)\)-ten Grades \(A(x)=A_0+A_1(x-\alpha )+A_2(x-\alpha )^2/2!+\dotsm +A_{\mu -1}(x-\alpha )^{\mu -1}/(\mu -1)!\) bestimmt werden; es sei \(\varphi (x)=A(a)\chi (x)+(x-\alpha )^{\mu}\,[\,\,]\). Ist \(\omega (x)\) eine Funktion von \(x\), \(\omega^i(x)\) der \(i\)-te Differentialquotient von \(\omega (x)\), und setzt man \(\omega^i(x)/i!=\omega_i(x)\), \(\varphi_i(\alpha )=\varphi_i\), \(\chi_i(\alpha )=\chi_i\), \(\varphi (\alpha )=\varphi_0\), \(\chi (\alpha )=\chi_0\), so kann man nacheinander Größen \(X_0=1\), \(X_1=\chi_1X_0\), \(X_2=\chi_1X_1-\chi_0\chi_2X_0\), \(X_3=\chi_1X_2-\chi_0\chi_2X_1+\chi_0^2\chi_3X_0,X_4=\chi_1X_3-\chi_0\chi_2X_2+\chi_0^2\chi_3X_1-\chi_0^3\chi_4X_0\), \dots, \(X_{i+1}\) berechnen, dann ist \((k=0,1,\dots ,\mu -1)\): \[ \begin{multlined} A_k\chi_0^{k+1}=\varphi_kX_0\chi_0^k-\varphi_{k-1}X_1\chi_0^{k-1}+\varphi_{k-2}X_2\chi_0^{k-2}-\varphi_{k-3}X_3\chi_0^{k-3}+\dotsm \\ +(-1)^{k-2}\varphi_2X_{k-2}\chi_0^2+(-1)^{k-1}\varphi_1X_{k-1}\chi_0^1+(-1)^k\varphi_0X_k. \end{multlined} \] Für die explizite Darstellung der \(X_k\) als Aggregate von Potenzen der \(\chi\) ergibt sich: \(X_k\) ist eine homogene ganze Funktion der \(\chi_0,\chi_1,\chi_2,\dots , \chi_k\) vom Gewichte \(k\). -- Das Vorzeichen irgend eines Gliedes \(\chi_0^{\alpha_0}\chi_1^{\alpha_1}\dots ,\chi_k^{\alpha_k}\) in \(X_k\) ist \((-1)^{\alpha_0}\). Der absolute numerische Koeffizient dieses Gliedes ist \((k-\alpha_0)!/\alpha_0!\alpha_1!\dots\alpha_k!\) oder \((\alpha_1+\alpha_2+\dotsm +\alpha_k)!/\alpha_0!\alpha_1!\dots\alpha_k!\), wo 0!=1 ist. -- Nach steigenden Potenzen von \(\chi_0\) geordnet, ist \(X_k\) ein alternierendes Produkt von der Gestalt \(P_{k-\chi_0}P_{k-1}+\chi_0^2P_{k-2}-\chi_0^3P_{k-3}+\dotsm +(-1)^{k-2}\chi_0^{k-2}P_2+(-1)^{k-1}\chi_0^{k-1}P_1\); darin ist \(P_i\) die Gesamtheit der Glieder in der polynomischen Entwicklung von \((\chi_1+\chi_2+\dotsm +\chi_k)^i\), denen das Gewicht \(k\) zukommt. Im Anschluß hieran wird auch eine ganze Funktion \(\varphi (x)\) von einem Grade \(<\mu\alpha +\nu\beta +\pi\gamma +\dotsm \) dargestellt, bei der die Werte der Funktion und ihrer Ableitungen bis zur Ordnung \(\mu-1\), \(\nu-1\), \(\pi-1\), \dots\, für die beliebigen ungleichen Argumente \(\alpha ,\beta ,\gamma,\dots\) beliebig vorgegebene (endliche) Werte haben.