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
    0 references

    Identifiers