Représentation approchée des fonctionnelles continues par une intégrale multiple. (Q1489533)

Wenn jeder reellen stetigen Funktion \(f(x)\) des Intervalles \((a,t)\) eine reelle Zahl \(U_{f(x)}\) zugeordnet ist, so ist ein Funktional (fonctionnelle) im Sinne \textit{Hadamard}s definiert. Es heißt stetig, wenn \[ \lim U_{\varphi(x)}=U_{f(x)}. \] ist, so oft \(\varphi(x)\) gleichmäßig nach \(f(x)\) konvergiert. Es wird nun der Begriff der ganzen rationalen Funktion auf diese \(U_{f(x)}\) ausgedehnt. Ein reelles Polynom, dessen Grad höchstens gleich \(n\) ist, läßt sich unter den reellen stetigen Funktionen durch folgende Identität charakterisieren: \[ \begin{multlined} f(x_1+x_2+\cdots+x_{n+1})-\sum f(x_{i_1}+x_{i_2}+\cdots+x_{i_n})\\ +\sum f(x_{i_1}+\cdots+x_{i_{n-1}})-\cdots+(-1)^n\sum f(x_{i_1}+(-1)^{n+1}f(0)\equiv 0.\end{multlined} \] Im Anschluß hieran wird ein Funktional \(n\)-ter Ordnung definiert als ein stetiges Funktional, das folgender Bedingung genügt: \[ \begin{multlined} U_{f_1+f_2+\cdots+f_{n+1}}-\sum U_{f_{i_1}}+\cdots+f_{i_n}\\ +\sum U_{f_{i_1}}+\cdots+f_{i_{n-1}}-\cdots+(-1)^n\sum U_{f_{i_1}}+(-1)^{n+1}U_0\equiv 0.\end{multlined} \] Soll die Ordnung wirklich gleich \(n\) sein, so muß man noch fordern, daß \(n\) sich hier durch keine kleinere Zahl ersetzen läßt. Nach Einführung dieses Begriffs eines Funktionals \(n\)-ter Ordnung gilt der Satz, daß jedes stetige Funktional sich durch eine konvergente Reihe von Funktionalen ganzzahliger Ordnungen darstellen läßt. Er ist eine Übertragung eines bekannten Theorems von \textit{Weierstraß} auf diese \(U_{f(x)}\). Nach einem Satze von \textit{Hadamard} läßt sich jedes lineare (d. h. stetige und distributive) Funktional durch ein einfaches Integral approximieren. \textit{Fréchet} verallgemeinert diesen Satz dahin, daß jedes stetige Funktional sich durch mehrfaches Integral approximieren läßt.