×

On the expansion of real functions in series by the method of least squares. (Ueber die Entwickelung reeller Functionen in Reihen mittelst der Methode der kleinsten Quadrate.) (German) JFM 15.0321.03

Herr Gram legt hier frühere Arbeit (vgl. F. d. M. XI. 1879. 166, JFM 11.0166.01) in etwas geänderter und vervollständigter Form vor. Es seien \(v_x\) und \(f_(x)\) von \(\alpha\) bis \(\beta\) continuirlich gegebene Functionen von \(x\), die erstere durchaus positiv, und \[ y^{(n)}_x=a_1 X_1 + a_2 X_2+\cdots+a_n X_n \] eine nach bekannten Functionen fortschreitende Reihe. Die Coefficienten \(a_1,a_2,\dots,a_n\) sind so zu bestimmen, dass \[ \int^{\beta}_{\alpha} v_x(f(x)-y^{(n)}_x)^2 dx \] ein Minimum wird. Man gelangt stets zu einer einzigen Lösung, welche sich in der Form \[ y^{(n)}_x=\frac{A_1}{C_1} \varPhi_1(x)+\frac{A_2}{C_2} \varPhi_2(x)+\cdots+\frac{A_n}{C_n} \varPhi_n(x) \] darstellen lässt, wo die \(\varPhi\) Gleichung \[ \int^{\beta}_{\alpha} v_X \varPhi_m(x) \varPhi_n(x) dx=0 \qquad \qquad \qquad (m=n) \] identisch befriedigen und als Determinanten dargestellt werden können. Die Zähler und Nenner haben die folgende Form \[ A_i= \int^{\beta}_{\alpha} v_x \varPhi_i(x) f(x)dx, \quad C_i=\int^{\beta}_{alpha} v_x \varPhi^{2}_{i} (x) dx. \] Für den Minimalwert des obigen Integrales erhält man \[ M_n=\int^{\beta}_{\alpha} v_x f^2(x) dx -Q_n, \] wo \[ Q_n=\frac{A_1^2}{C_1}+\frac{A_2^2}{C_2}+\cdots+\frac{A_n^2}{C_n}\cdot \] Wenn nun \(\lim M_n=0\) bei \(\lim n=+\infty\), so wird die Reihe \(y^{(n)}\), ins Unendliche forgesetzt, im allgemeinen, d. h. discrete Punkte zwischen \(\alpha\) und \(\beta\) abgerechnet, gegen \(f(x)\) convergiren. Wenn für die Entwickelung einer beliebigen endlichen aber unstetigen Function \(\lim M_n=0 \) wird, so lässt sich jede endliche und stiege Function, die nur eine endliche Anzahl von Maximis und Minimis besitzt, so überall übereinstimmen mit Ausnahme der festen, “kritischen” Punkte, welche allen Entwickelungen gemeinsam und nur von \(v\) und den \(\varPhi\) abhängig sind. Solche sind nicht vorhanden, wenn im Unstetigkeitspunkte \(y=\frac{1}{2} (f(x+0)+f(x-0))\) ist. Sogar wenn \(f(x)\) in einer endlichen Anzahl von discreten Punkten endliche Sprünge macht oder oscillirend mit endlichen Schwankungen ist, gilt die Entwickelung für alle anderen Punkte. Ist dagegen \(f(x)\) irgendwo unendlich, so bedarf die Reihe einer genaueren Untersuchung; doch bleibt sie, falls \(\int^{\beta}{\alpha} vf^2(x)dx\) endlich ist, noch im allgemeinen gültig. Ist dieses Integral eine endliche Grösse, so kann ein von Null verschiedener Grenzwert von \(M_n\) nur vorkommen, 1) wenn das System der Entwickelungsfunctionen \(\varPhi_i(x)\) nicht (relativ) vollständig ist, 2) wenn die kritischen Punkte in unendlicher Anzahl vorhanden sind, 3) wenn \(f(x)\) auf einer endlichen Strecke unendlich viele Maxima und Minima hat, 4) wenn \(f(x)\) in irgend einem Punkte gleichzeitig unendlich und unstetig oder oscillirend wird. Dabei heisst ein System \(\varPhi_i\) (relativ) vollständig, wenn mittelst desselben eine unstetige Function \(\Psi(x,z)\), welche von \(\alpha\) bis \(z\) mit einer willkürlich gewählten endlichen und stetigen Function \(\chi(x)\) zusammenfällt und von \(z\) bis \(\beta\) Null ist, bei willkürlichem Unstetigkeitspunkt \(x=z\) sich im allgemeinen darstellen lässt. Die Methode wird schliesslich an bekannten Systemen von Entwickelungsfunctionen geprüft.

MSC:

41-XX Approximations and expansions

Citations:

JFM 11.0166.01
PDFBibTeX XMLCite
Full Text: DOI Crelle EuDML