2011/12/20 by Joerg Kampen, Kampen, Joerg · 1 citation
Mathematics · #Advanced Topology and Set Theory #FOS: Mathematics #Logic (math.LO) #Mathematical and Theoretical Analysis #Probability (math.PR) #Probability and Statistical Research #math.LO #math.PR
paper · pdf · doi:10.48550/arxiv.1112.4660
43 p, version 1 basically restored with minor changes, first version Feynman Kac formula basically correct
openalex publication_date 2011/12/20 · arxiv created 2012/01/06 · arxiv updated 2012/01/09 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We describe generalized Brownian motion related to parabolic equation systems from a logical point of view, i.e., as a generalization of Anderson's random walk. The connection to classical spaces is based on the Loeb measure. It seems that the construction of Roux in [11] is the only attempt in the literature to define generalized Brownian motion related to parabolic systems with coupled second order terms, where Lamé's equation of elastic mechanics is considered as an example. In this paper we provide an exact construction from a logical point of view in a more general situation. A Feynman-Kac formula for generalized Brownian motion is derived which is a useful tool in order to design probabilistic algorithms for Cauchy problems and initial-boundary value (of a class of) parabolic systems as well as for stationary boundary problems of (a class of) elliptic equation systems. The article includes a selfcontained introduction into all tools of nonstandard analysis needed, and which can be read with a minimum knowledge of logic in order to make the results available to a wider audience.