Related papers: Representation of It\^o Integrals by Lebesgue/Boch…
The Bochner integral is a generalization of the Lebesgue integral, for functions taking their values in a Banach space. Therefore, both its mathematical definition and its formalization in the Coq proof assistant are more challenging as we…
Using the theory of stochastic integration developed recently by the authors, in this paper we prove an It\^{o} formula for Hilbert space-valued It\^{o} processes defined with respect to a cylindrical-martingale valued measure. As part of…
Our goal of this note is to give an easy proof that spaces of predictable processes with values in a Banach space are isomorphic to spaces of progressive resp. adapted, measurable processes. This provides a straightforward extension of the…
This work develops, from a functional analytic perspective, the construction of random variables in Lebesgue spaces L^p. It extends classical notions of measurability, integrability, and expectation to L^p valued functions, using Pettis's…
A Bochner integral formula is derived that represents a function in terms of weights and a parametrized family of functions. Comparison is made to pointwise formulations, norm inequalities relating pointwise and Bochner integrals are…
This article gives dual representations for convex integral functionals on the linear space of regular processes. This space turns out to be a Banach space containing many more familiar classes of stochastic processes and its dual can be…
The like-Lebesgue integral of real-valued measurable functions (abbreviated as \textit{RVM-MI})is the most complete and appropriate integration Theory. Integrals are also defined in abstract spaces since Pettis (1938). In particular,…
We study representations of a random variable $\xi$ as an integral of an adapted process with respect to the Lebesgue measure. The existence of such representations in two different regularity classes is characterized in terms of the…
This paper provides an existence-and-uniqueness theorem characterizing the stochastic integral with respect to a Wiener process. The integral is represented as a mapping from the space of measurable and adapted pathwise locally integrable…
The dynamics of interacting quantum systems in the presence of disorder is studied and an exact representation for disorder-averaged quantities via Ito stochastic calculus is obtained. The stochastic integral representation affords many…
In the article, integration of temporal functions in (possibly non-UMD) Banach spaces with respect to (possibly non-Gaussian) fractional processes from a finite sum of Wiener chaoses is treated. The family of fractional processes that is…
We present a natural way to cover an Archimedean directed ordered vector space $E$ by Banach spaces and extend the notion of Bochner integrability to functions with values in $E$. The resulting set of integrable functions is an Archimedean…
We construct a pathwise calculus for functionals of integer-valued measures and use it to derive an martingale representation formula with respect to a large class of integer-valued random measures. Using these results, we extend the…
The main result says that every surjective isometry between two ideal Banach function spaces satisfying certain conditions can be presented as a composition of a measurable transformation of a variable and multiplication by a function.
Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects.…
We give an infinitesimal meaning to the symbol $dX_t$ for a continuous semimartingale $X$ at an instant in time $t$. We define a vector space structure on the space of differentials at time $t$ and deduce key properties consistent with the…
In this paper, we show how under the continuum hypothesis one can obtain an integral representation for elements of the topological dual of the space of functions of bounded variation in terms of Lebesgue and Kolmogorov-Burkill integrals.
This paper is devoted to a construction of the stochastic It\^o integral with respect to infinite dimensional cylindrical Wiener process. The construction given is an alternative one to that introduced by DaPrato and Zabczyk [3]. The…
In this article we study existence of pathwise stochastic integrals with respect to a general class of $n$-dimensional Gaussian processes and a wide class of adapted integrands. More precisely, we study integrands which are functions that…
Introduced is the notion of minimality for spectral representations of sum- and max-infinitely divisible processes and it is shown that the minimal spectral representation on a Borel space exists and is unique. This fact is used to show…