On some applications of algebraic continued fractions. (Q5914063): Difference between revisions

Die Theorie der algebraischen Kettenbrüche und ihrer Anwendungen hat sich in den letzten Jahren durch wichtige Resultate bereichert, besonders Dank den Arbeiten der russischen Mathematiker Tschebyscheff, Markoff, Possé u. a. Die meisten dieser Resultate in einem Buche zusammenzufassen und der mathematischen Welt zugänglicher zu machen ist der Zweck der Arbeit des Herrn Possé. Die Arbeit ist in fünf Capitel geteilt. Das erste Capitel enthält die Beweise der Grundeigenschaften der Näherungsbrüche \(\frac{\varphi_n}{\psi_n}\) in der Zelegung das Integralas von der Form \(\int_a^b \frac{f(y)dy}{z-y}\) in einen Kettenbruch. Dann folgen einige Formeln, welche den Zusammenhang zwischen den Nennern der Näherungsbrüche dieses Integrals einerseits und der Integrale \[ \int_a^b \frac{(y-a)f(y)dy}{z-y},\quad \int_a^b \frac{(b-y)f(y)dy}{z-y},\quad \int_a^b \frac{(y-a)(b-y)f(y)dy}{z-y} \] andererseits entwickeln, und einige Theoreme über die gegenseitige Verteilung der Wurzeln der betrachteten ganzen Functionen. Das zweite Capitel enthält die Anwendung der Eigenschaften, welche in dem Capitel 1 bewiesen sind, auf die Bildung des Polynoms der Interpolation nach der Methode der kleinsten Quadrate und auf die Bildung des Restgliedes der Reihe für \[ \int_a^b f(x)\varOmega_1(x)\varOmega_2(x)dx; \] diese Reihe ist \[ \sum_{m=0}^{m=\infty} \frac{\int_a^b f(x)\varOmega_1(x)\varphi_m(x)dx \cdot \int_a^b f(x)\varOmega_2(x)\varphi_m(x)dx}{\int_a^b f(x)\varphi_m^2(x)dx}. \] Für alle Anwendungen ist es sehr wichtig, den Ausdruck des Restgliedes der Reihe zu kennen. Der Herr Verfasser reproducirt hier die Analyse, die er schon früher veröffentlicht hat (Darboux Bull. (2) VII. 214, vgl. F. d. M. XV. 1883. 237, JFM 15.0237.01). Der Ausdruck für das Restglied ist \[ R_n=\frac{\int_a^b \varphi_n^2(x)f(x)dx}{\left [\frac{d^n\varphi_n}{dx^n}\right ] }\;\varOmega_1^{(n)}(\xi)\varOmega_2^{(n)}(\eta), \] wo \(\xi\) und \(\eta\) zwei Zahlen zwischen \(a\) und \(b\) sind. Auf diesem Ausdrucke des Restgliedes beruht der Beweis der Tschebyscheff'-schen Ungleichheiten: \(\int_0^1 uvdx>\int_0^1 udx \cdot \int_0^1 vdx\), wenn die Functionen \(u,v\) gleichzeitig zu- oder abnehmem zwischen den Grenzen 0 und 1 der Veränderlichen, und \[ \int_0^1 uvdx<\int_0^1 udx \cdot \int_0^1vdx \] im entgegengesetzten Falle. Das dritte Capitel handelt von den Eigenschaften der Functionen \(T_n\) welche den Legendre'schen ähnlich sind, d. h. der Nenner der Näherungsbrüche der Zerlegung des Integrals \[ \int_{-1}^{+1} \frac{(1+y)^{\alpha-1}(1-y)^{\beta-1}}{z-y}dy. \] Alle diese Eigenschaften: die Differentialgleichung, der diese Functionen genügen, der Ausdruck der Function \(T_n\) durch die \(n\) fache Derivirte, die Ausdrücke der erzeugenden Function für \(T_n\), der Discriminante und einiger anderer symmetrischen Functionen der Gleichung \(T_n(z)=0\) und das Theorem von Stieltjes über das Maximum der Function \[ \varPi(x_i-x_k)^2(1+x_1)^{\alpha}\dots(1+x_n)^{\alpha}(1-x_1)^{\beta}\dots(1-x_n)^{\beta}, \] sind aus der Definitionsgleichung der Functionen \(T_n\): \[ \int_{-1}^{+1} (1+z)^{\alpha-1}(1-z)^{\beta-1} T_n.\theta_{n-1}dz=0, \] wo \(\theta_{n-1}\) eine willkürliche ganze Function des Grades \(\leqq n-1\) ist, entwickelt. Das vierte Capitel enthält die Anwendung der Theorie des ersten Capitels auf die angenäherte Berechnung der Integrale. Man hat nämlich \[ \int_a^b f(x)\varOmega(x)dx=\sum_{i=1}^{i=n} \frac{\psi_n(z_i)}{\varphi_n'(z_i)}\varOmega (z_i)+R_n, \] wo \(z_i\) die Wurzeln der Gleichung \(\varphi_n(z)=0\) sind und \(R_n\) eine lineare Function der Coefficienten \(a_{2n},a_{2n+1},\dots\) in der Entwickelung der Function \(\varOmega\) in die unendliche Reihe: \[ a_0+a_1x+\cdots+a_{2n}x^{2n}+\cdots \] Man kann immer zwei Grenzen bestimmen, zwischen welchen \(R_n\) enthalten ist. Für diesen Zweck benutzt der Verfasser die Hermite'sche Interpolationsformel (Borchardt J. XXXIV., F. d. M. IX. 1877. 312, JFM 09.0312.02). Man erhält dann für \(R_n\) den Ausdruck \[ \frac{\varOmega^{(2n)}(\zeta)}{1.2\dots 2n}\int_a^b \varphi_n^2(z).f(z)dz, \] wo \(\zeta\) zwischen den Grenzen \(a\) und \(b\) liegt. Dieser Ausdruck ist zuerst von Herrn Markoff in seiner Arbeit gegeben: ``Ueber einige Anwendungen der algebraischen Kettenbrüche''. (F. d. M. 1885. XVII. 168., JFM 12.0168.01) Dieselbe Hermite'sche Formel giebt jetzt dem Verfasser auch andere ähnliche Ausdrücke für die angenäherte Berechnung der Integrale, in welche die Functionen \(W_n,U_n,V_n\), d. h. die Nenner der Näherungsbrüche der Integrale \[ \int_a^b \frac{f(y)(y-a)(b-y)dy}{z-y},\quad \int_a^b \frac{f(y)(y-a)}{z-y}\;dy,\quad \int_a^b \frac{f(y)(b-y)}{z-y}\;dy \] eintreten. Auf diese Ausdrücke stützt sich der Beweis der vier Ungleichheiten, welche von Herrn Markoff in dem oben citirten Werke bewiesen sind. Das fünfte Capitel ist der Lösung des Problems gewidmet, das Maximum und das Minimum des Integrals \(\int_a^x \varOmega(y)f(y)dy\) nach den gegebenen Werten der Integrale \[ \int_a^b f(y)dy,\quad \int_a^b yf(y)dy,\quad \dots,\int_a^b y^{\mu}f(y)dy \] zu finden, wo \(x\) eine gegebene Zahl zwischen den Grenzen \(a\) und \(b\) ist, \(f(y)\) keine negativen Werte annehmen kann. Das Problem ist bekanntlich von Tschebyscheff gestellt für den Fall \(\varOmega(y)=1\) ist seiner Abhandlung: ``Sur les valeurs limites des intégrales'' (Journ. de Math. 1874); die erste ausführliche Lösung des Problems in seiner Allgemeinheit ist von Herrn Markoff in dem oben citirten Werke gegeben; die Ausnutzung der Eigenschaften der Functionen \(U_n,V_n,W_n\) gestattet jedoch Herrn Posse, die Beweise in einfacherer Gestalt zu liefern; er giebt auch einige neue Sätze in Bezug auf die Verteilung der Wurzeln verschiedener Gleichungen, welche zur Lösung der betrachteten Frage unentbehrlich sind. Weiter zeigt der Verfasser, wie seine Formeln für die Auffindung des Maximums und Minimums des Integrals \[ \int_a^x \varOmega(z)f(z)dz \] in die Formeln übergehen, welche von Herrn Tschebyscheff in der Abhandlung: ``Sur la représentation des valeurs limites des intégrales'' für den speciellen Fall \(\varOmega=1\) gegeben sind. Am Ende sind einige Fragen der Maxima und Minima beantwortet, welche sich auf die früher gelöste Aufgabe reduciren, z. B. die Frage, das Maximum und Minimum der Function \(f(x)\) zwischen den Grenzen 0 und 1 zu finden nach den gegebenen \[ s_0=\int_0^1 f(y)dy,\quad \dots,\quad s_{\mu}=\int_0^1 y^{\mu}f(y)dy \] und dem Anfangswerte der Function \(f(0)\).