Über einen allgemeinen Mittelwertsatz der Differentialrechnung. (Q578232)

Es sei \(0 = \tau_0 < \tau_1 < \cdots < \tau_k = 1\), und \(m_0,\, m_1,\, \ldots,\, m_k\) seien positive ganze rationale Zahlen. Es sei \(n = \sum\limits_{i=0}^k m_i - 1\). Es bedeute \(c^{(j)}_i\) den Koeffizienten von \(x^n\) in der ganzen rationalen Funktion \(\varphi_{i,j}(x)\) vom Grade \(\leqq n\), bestimmt durch die Daten: \(\varphi_{i,j}(\tau_\mu)\), \(\varphi_{i,j}'(\tau_\mu)\),~\(\ldots\), \(\varphi_{i,j}^{(m_\mu-1)}(\tau_\mu)\) (\(\mu= 0,\,1,\,\ldots,\,k\)), unter denen \(\varphi_{i,j}^{(j)}(\tau_i) = 1\) ist, alle übrigen aber \({}=0\) sind. Ist nun die Funktion \(f (x)\) in einem Intervalle \((a, b)\) \(n\)-mal differenzierbar und sind die Stellen \((\alpha + \tau_\mu h)\) (\(\mu= 0,\, 1,\,\ldots,\, k\)) in \((a, b)\) gewählt, so gelten die folgenden Mittelwertsätze: 1) Schließt man die ganzen rationalen Funktionen vom Grade \(\leqq n\) aus, so ist die Funktion \[ f (x) = cx^{n+1} + a_0x^n+a_1x^{n-1}+\cdots + a_n\qquad (c \neq 0) \] die einzige, die der Gleichung \[ \sum_{i=0}^k\sum_{j=0}^{m_i-1} c^{(j)}_if^{(j)}(\alpha + \tau_ih)h^j = \frac{h^n}{n!} f^{(n)}(\alpha+\vartheta h)\quad \left(0<\vartheta<1,\;n=\sum_{i=0}^k m_i-1\right) \tag{M} \] mit einem von \(\alpha\) und \(h\) unabhängigen konstanten \(\vartheta=\dfrac{\sum m_i\tau_i}{\sum m_i}\) genügt. 2) Die Funktion \[ f (x) = ce^{\omega x} + a_0x^n+ a_1x^{n-1} + \cdots + a_n\qquad (c \neq 0,\;\omega\neq 0) \] hat allein die Eigenschaft, den Mittelwertsatz \((M)\) mit einem nur von \(h\) abhängigen Werte von \(\vartheta\) zu befriedigen. (IV 6 A.)