Sul calcolo delle derivate d'ordine superiore. (Q2580053)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Sul calcolo delle derivate d'ordine superiore. |
scientific article |
Statements
Sul calcolo delle derivate d'ordine superiore. (English)
0 references
1941
0 references
\(x_1,x_2,\ldots,x_{n+1}\) seien willkürlich verschiedene Punkte des Intervalls \((a, b)\). Es werde \[ \sigma=\sum_{i=1}^{n+1} |x_i-x| \] gesetzt und \[ f(x_1,x_2,\ldots,x_{n+1}) = \sum_{i=1}^{n+1} \dfrac{f(x_i)}{\varphi'(x_i)}; \qquad \varphi(x) \equiv \prod\limits_{i=1}^{n+1} (x-x_i). \] Ist dann \(f(x)\) in \((a, b)\) \((n-1)\)-mal differenzierbar, und besitzt \(f (x)\) in \(x\) eine \(n\)-te Ableitung, so gilt \[ \lim\limits_{\sigma\to 0} f(x_1,x_2,\ldots,x_{n+1}) = \dfrac{1}{n!}f^{(n)}(x), \tag{1} \] falls man die \(x_i\) so wählt, daß mit endlicher Konstanten \(C\) gilt: \[ \left|\dfrac{x_i-x}{x_i-x_k}\right| \leqq C,\qquad (i\neq k;\;i,k=1,\ldots,n+1). \tag{2} \] Hat \(f(x)\) in \((a, b)\) überall eine \(n\)-te, in \(x\) eine \((n +1)\)-te Ableitung, und ist außer (2) noch \[ \sum_{i=1}^{n+1} x_i = (n+1)x, \] so gilt sogar \[ \lim\limits_{\sigma\to0} \left[\dfrac{1}{\sigma}\left\{ f(x_1,\ldots,x_{n+1})\dfrac{f^{(n)}(x)}{n!}\right\}\right] =0. \tag{3} \] Beweis durch Taylorsatz. Alles Gesagte gilt auch im Komplexen im Regularitätsgebiet einer analytischen Funktion \(f (x)\). (3) ist dann dahin zu verschärfen, daß \(f(x_1,\ldots, x_{n+1}) - \dfrac{1}{n!}f^{(n)}(x)\) bezüglich \(\sigma\) im allgemeinen von der Ordnung Eins klein ist, hingegen mindestens von der Ordnung \(m + 1\) (\(m\leqq n\)), wenn \(\sum\limits_{i=1}^{n+1}(x_i-x)^{\mu}=0\), \(\mu=1,\ldots,m\) gewählt wird, und sogar mindestens von der Ordnung \(n + 1\), wenn \(x_1,\ldots, x_{n+1}\) die Ecken eines regulären \((n+1)\)-Ecks mit dem Mittelpunkt \(x\) bilden. Allgemeiner entsteht die interessante Frage, ob aus der Existenz von \[ \lim\limits_{\sigma\to 0} f(x_1,\ldots,x_{n+1}) \] bei gewissen Beschränkungen der \(x_i\) auf die Analytizität von \(f (x)\) geschlossen werden kann. Hierzu einige Beiträge.
0 references