The average value of a functional. (Q1457897): Difference between revisions

Durch verschiedene Autoren ist der Begriff des Integrals bzw. Mittelwertes auf Funktionen in Funktionenräumen (Funktionale) ausgedehnt worden. Naturgemäß\ kann hier, je nach den besonderen Verhältnissen, in sehr verschiedener Art Verfahren werden. Der Autor gibt eine zusammenfassende Darstellung einer solchen, von ihm in drei vorangegangenen Arbeiten (Proc. Nat. Acad. Sci., Washington, 7 und Mass. Journ. Math. and Phys. 2) entwickelten Theorie, die an die Brownsche Molekularbewegung anknüpft. Sei \(C\) die Zeit-Wegkurve \(x=\psi(t)\) eines Teilchens, das während des Zeitintervalls [0,1] vom Nullpunkte ausgehend sich geradlinig bewegt und betrachten wir die Gesamtheit aller (stetigen) \(C\) als den zugrundegelegten Funktionenraum. Gewissen Teilmengen \(J\) (``Intervallen'') aller \(C\) wird dann als ``Gewicht'' \(W_J\) die Wahrscheinlichkeit zugeordnet, daß\ \(C\) in \(J\) liegt. Diese Wahrscheinlichkeit läßt sich nach Einstein (Ann. d. Phys. 17) berechnen. Auf Grund dieser Festsetzungen läßt sich nun nach einer allgemeinen Methode von Daniell (Ann. of Math. 19; F. d. M. 46, 395 (JFM 46.0395.*), 1918) deren Anwendbarkeit ausführlich gezeigt wird, für ein beschränktes, stetiges Funktional \(F(C)\) das Integral bzw. der Mittelwert: \[ A[F]=\int F(C)dW \] über den Raum aller \(C\) definieren. Der Autor gelangt bis zu einer analytischen Darstellung von \(A[F]\), die folgendermaßen lautet: bezeichnet man die spezielle Zeit-Wegkurve, die durch das Polygon mit den Ecken \((t;x)\) gegeben ist -- \(x_0=0\), \(0=t_0<t< \cdots <t_n=1\) - mit \(x=\Psi \left( \begin{matrix} x_1 \dots x_n \\ t_1 \dots t_n \end{matrix} t \right)\), so gilt \[ \frac{1}{\sqrt{\pi^n \prod_1^n (t_k-t_{k-1})}} \int_{- \infty}^{+\infty} \cdots \int_{-\infty}^{+\infty} F \left\{ \Psi \left( \begin{matrix} x_1 \dots x_n \\ t_1 \dots t_n \end{matrix} t \right) \right\} e^{-\sum_1^n \frac{(x_k-x_k- 1)^2}{t_k-t_k-1}} dx_1 \dots dx_n \] \[ \to A[F]\;\text{für max}\;(t_{i+1}-t_i)\to 0. \]