Sur la détermination des fonctions par leur accroissement infinitésimal. (Q2580609)

Es sei \(g(x, h)\) eine reelle Funktion der reellen Variablen \(x\), \(h\) mit \(a < x < b\), \(-\lambda <h<\lambda \), ferner sei \(g (x, 0) = 0\) und \(g(x,h)\) stetige Funktion von \((x, h)\). Verf. gibt Kennzeichen (d. h. notwendige und zugleich hinreichende Bedingungen) für die Existenz einer Funktion \(f(x)\) derart, daß in \(f(x + h)-f(x)=g(x,h)+\alpha h\) mit \(\alpha =\alpha (x,h)\) gilt: \(\displaystyle \lim_{h\to0}\alpha (x,h)=0\) gleichmäßig für alle \(x\). Solche Kennzeichen sind: I. Für beliebige \(x\), \(h\) und ganze \(n > 1\) gilt: \(\biggl|\,g(x,h)-\sum\limits_{\nu -1}^{n-1}g\biggl(x+\nu \dfrac{h}{n},\dfrac{h}{n}\biggr)\,\biggr|<\eta \cdot h\), wobei \(\displaystyle \lim_{h\to0}\eta =0\) gleichmäßig für alle \(x\) und \(n\). Alsdann ist \(f(x)\) durch \(g(x,h)\) bis auf eine additive Konstante \(C\) eindeutig bestimmt, und zwar ist (wenn \(x_0=a<x_1<\cdots<x_{p-1}<x_p=x\)) \[ f(x)=C+\textstyle \int\limits_{a}^{x}g(t,dt)=C+\displaystyle \lim_{\text{Max}|\,x_\nu -x_\nu -1\,|\to0}\biggl\{g(x_{p-1}, x-x_{p-1})+\textstyle \sum\limits_{\nu =1}^{p}g(x_{\nu -1},x_\nu -x_{\nu -1})\biggr\}. \] Der angegebenen Kennzeichnung genügt z. B. \[ g(x,h)=\textstyle \sum\limits_{\varrho =0}^{\infty }\{A_\varrho (x)\,[\cos\, \varrho (x+h)-\cos\, \varrho x]+B_\varrho (x)\,[\sin\, \varrho (x+h)-\sin\, x\varrho ] \] bei Konvergenz von \(\varSigma (A_\varrho (x)\,\cos\, \varrho y+B_\varrho (x)\,\sin\, \varrho y)\) für alle \(x\), \(y\) sowie stetig differenzierbaren \(A_\varrho (x)\), \(B_\varrho (x)\) mit konvergenter \(\varSigma \varrho (\text{Max}\,|\,A_\varrho '(x)\,|+\text{Max}\,|\,B_\varrho '(x)\,|)\). Anschließend Bemerkungen über die Konstruktion nirgends differenzierbarer Funktionen. -- II. Es ist das Kurvenintegral \(\oint\limits_{\mathfrak C}[g(x,h+\lambda )-g(x,h)]\,(dx+dh)=0\) längs jeder geschlossenen Kurve \(\mathfrak C\) für jeden Wert von \(\lambda \). -- III. Besitzt \(g(x, h)\) stetige partielle Ableitungen bis zur zweiten Ordnung einschließlich, abgesehen höchstens vom Fall \(h = 0\), so lautet ein Kennzeichen: \(\Bigl|\,\iint\limits_{s_n}(g_{uv}^{\prime \prime }-g_{vv}^{\prime \prime })\,du\,dv\,\Bigr|<\varepsilon h\) erstreckt über gewisse Bereiche \(s_n\), wobei \(\displaystyle \lim_{h\to0}\varepsilon =0\) gleichmäßig.