Ricerche sui momenti di una funzione limitata compressa fra limiti assegnati. (Q2580923): Difference between revisions

In einem endlichen oder unendlichen Intervall sei eine quasistetige Funktion \(f(x)\) mit \(0 \leqq f(x) \leqq 1\) gegeben mit endlichen Momenten \[ \mu_k = \int x^k f(x)\, dx \qquad (k = 0, 1, 2, \dots). \] Die linksseitigen Bimomente von \(f(x)\) werden rekursiv definiert durch \[ \sigma_0 = \mu_0, \qquad (k+1) \sigma_k = -\mu_0 \sigma_{k-1} 2\mu_1 \sigma_{k-2} - \cdots - k\mu_{k-1} \sigma_0 + (k+1) \mu_k, \] die rechtsseitigen Bimomente durch \[ \delta_0 = \mu_0, \qquad (k+1) \delta_k = \mu_0 \delta_{k-1} + 2\mu_1 \delta_{k-2} + \cdots + k\mu_{k-1} \delta_0 + (k+1) \mu_k. \] Es folgt die Gleichheit der beiden Hankelschen Determinanten \[ \varDelta_k = \begin{vmatrix} \l & \;\l & \;\l & \;\l \\ \sigma_0 & \sigma_1 & \cdots & \sigma_k \\ \sigma_1 & \sigma_2 & \cdots & \sigma_{k+1} \\ \vdots & & & \\ \sigma_k & \sigma_{k+1} & \cdots & \sigma_{2k} \end{vmatrix} = \begin{vmatrix} \l & \;\l & \;\l & \;\l \\ \delta_0 & \delta_1 & \cdots & \delta_k \\ \delta_1 & \delta_2 & \cdots & \delta_{k+1} \\ \vdots & & & \\ \delta_k & \delta_{k+1} & \cdots & \delta_{2k} \end{vmatrix}. \] Neben der ``Hankelschen Folge'' \(\varDelta_0, \varDelta_1, \dots, \varDelta_k, \dots\) werden noch die bzgl. des Punktes \(\xi\) links- (bzw. rechts-) seitigen Hankelschen Folgen \[ \varDelta_k^\prime(\xi) = \begin{vmatrix} \l & \;\l & \;\l & \;\l & \;\l \\ 1 & \xi & \xi^2 & \cdots & \xi^k \\ \sigma_0 & \sigma_1 & \sigma_2 & \cdots & \sigma_k \\ \vdots & & & & \\ \sigma_{k-1} & \sigma_k & \sigma_{k+1} & \cdots & \sigma_{2k-1} \end{vmatrix} \;\text{ und } \varDelta_k^{\prime\prime}(\xi) = \begin{vmatrix} \l & \;\l & \;\l & \;\l & \;\l \\ 1 & \xi & \xi^2 & \cdots & \xi^k \\ \delta_0 & \delta_1 & \delta_2 & \cdots & \delta_k \\ \vdots & & & & \\ \delta_{k-1} & \delta_k & \delta_{k+1} & \cdots & \delta_{2k-1} \end{vmatrix} \;\text{ für } \;k = 1, 2, 3, \dots \] herangezogen. Seien \(2n\) Zahlen \(\alpha_1 < \beta_1 < \alpha_2 < \beta_2 < \cdots < \alpha_n < \beta_n\) gegeben. Als Rechtecksfunktion bzgl. dieser Zahlen wird die Funktion \(\bar f_n(x)\) definiert, die in den Intervallen \(\alpha_\nu \leqq x \leqq \beta_\nu\) den Wert 1, sonst den Wert 0 besitzt. \textit{Satz}: Zu jeder Rechtecksfunktion \(\bar f_n(x)\) gibt es ein und nur ein System positiver Massen \(p_1, p_2, \dots, p_n\) [bzw. \(q_1, q_2, \dots, q_n\)], die in den Punkten \(\alpha_\nu\) [bzw. \(\beta_\nu\)] anzubringen sind, derart daß die entstehende Massenverteilung als Momente die links- (bzw. rechts-) seitigen Bimomente von \(\bar f_n(x)\) besitzt. -- Der Satz ist umkehrbar. Aus bekannten Sätzen über die Momente von Massenverteilungen ergeben sich jetzt Sätze über die Bimomente von Rechtecksfunktionen. Es ist das Hauptziel des Verf., bei Kenntnis der \(k\) ersten Momente einer Funktion \(f(x)\) Schranken für das \((k + 1)\)-te Moment anzugeben. Die in dieser Hinsicht wichtigsten Ergebnisse seien hier für den Fall geschildert, daß die Funktion \(f(x)\) im Gebiet \((a, \infty)\) betrachtet wird: \textit{Satz I}: Die Folge \(\varDelta_0, \varDelta_1^\prime(a), \varDelta_1, \varDelta_2^\prime(a), \dots, \varDelta_{k-1}, \varDelta_k^\prime(a), \dots\) besteht entweder aus lauter positiven Zahlen oder aus endlich vielen positiven Zahlen zu Beginn und anschließend aus lauter Nullen; im letzteren Fall ist \(f(x)\) eine Rechtecksfunktion. \textit{Satz II}: Für die Momente ungerader Ordnung \(2n - 1\) gilt unter der Voraussetzung \(\varDelta_{n-1}^\prime(a) > 0\), \(\varDelta_n^\prime(a) \geqq 0\) \[ \mu_{2n-1} \geqq \dfrac{1}{2n} (\mu_0 \sigma_{2n-2} + 2\mu_1 \sigma_{2n-3} + \cdots + (2n-1) \mu_{2n-2} \sigma_0) \] \[ -\begin{vmatrix} \l & \;\l & \;\l & \;\l & \;\l \\ 1 & a & \cdots & a^{n-1} & a^n \\ \sigma_0 & \sigma_1 & \cdots & \sigma_{n-1} & \sigma_n \\ \vdots & & & & \\ \sigma_{n-2} & \sigma_{n-1} & \cdots & \sigma_{2n-3} & \sigma_{2n-2} \\ \sigma_{n-1} & \sigma_n & \cdots & \sigma_{2n-2} & 0 \end{vmatrix} : \begin{vmatrix} \l & \;\l & \;\l & \;\l \\ 1 & a & \cdots & a^{n-1} \\ \sigma_0 & \sigma_1 & \cdots & \sigma_{n-1} \\ \vdots & & & \\ \sigma_{n-2} & \sigma_{n-1} & \cdots & \sigma_{2n-3} \end{vmatrix} \equiv \varPhi_{2n-1}(\mu_0, \mu_1, \dots, \mu_{2n-2}; \, a), \] wo also \(\varPhi_{2n-1}\) eine rationale Funktion ihrer Argumente ist. Das Gleichheitszeichen steht hier nur, wenn \(f(x)\) eine Rechtecksfunktion mit den Momenten \(\mu_1, \mu_2, \dots, \mu_{2n-2}\) ist. \textit{Sats III}: Eine analog gebaute Abschätzung nach unten ergibt sich für \(\mu_{2n}\). Im Falle des Grundintervalls \((-\infty, b)\) erhält man statt Satz II eine entsprechende Abschätzung von \(\mu_{2n-1}\) nach oben, im Falle des Grundintervalls \((-\infty, +\infty)\) fällt Satz II überhaupt fort. Für ein endliches Grundintervall \((a, b)\) lassen sich \(\mu_{2n}\) und \(\mu_{2n-1}\) in zwei entsprechend aufgebaute Schranken einschließen.