-
The essential m-dissipativity for degenerate infinite dimensional stochastic Hamiltonian systems and applications
Authors:
Benedikt Eisenhuth,
Martin Grothaus
Abstract:
We consider a degenerate infinite dimensional stochastic Hamiltonian system with multiplicative noise and establish the essential m-dissipativity on $L^2(μ^Φ)$ of the corresponding Kolmogorov (backwards) operator. Here, $Φ$ is the potential and $μ^Φ$ the invariant measure with density $e^{-Φ}$ with respect to an infinite dimensional non-degenerate Gaussian measure. The main difficulty, besides the…
▽ More
We consider a degenerate infinite dimensional stochastic Hamiltonian system with multiplicative noise and establish the essential m-dissipativity on $L^2(μ^Φ)$ of the corresponding Kolmogorov (backwards) operator. Here, $Φ$ is the potential and $μ^Φ$ the invariant measure with density $e^{-Φ}$ with respect to an infinite dimensional non-degenerate Gaussian measure. The main difficulty, besides the non-sectorality of the Kolmogorov operator, is the coverage of a large class of potentials. We include potentials that have neither a bounded nor a Lipschitz continuous gradient. The essential m-dissipativity is the starting point to establish the hypocoercivity of the strongly continuous contraction semigroup $(T_t)_{t\geq 0}$ generated by the Kolmogorov operator. By using the refined abstract Hilbert space hypocoercivity method of Grothaus and Stilgenbauer, originally introduced by Dolbeault, Mouhot and Schmeiser, we construct a $μ^Φ$-invariant Hunt process with weakly continuous paths and infinite lifetime, whose transition semigroup is associated with $(T_t)_{t\geq 0}$. This process provides a stochastically and analytically weak solution to the degenerate infinite dimensional stochastic Hamiltonian system with multiplicative noise. The hypocoercivity of $(T_t)_{t\geq 0}$ and the identification of $(T_t)_{t\geq 0}$ with the transition semigroup of the process leads to the exponential ergodicity. Finally, we apply our results to degenerate second order in time stochastic reaction-diffusion equations with multiplicative noise. A discussion of the class of applicable potentials and coefficients governing these equations completes our analysis.
△ Less
Submitted 21 October, 2024;
originally announced October 2024.
-
Construction of distorted Brownian motion with permeable sticky behaviour on sets with Lebesgue measure zero
Authors:
Torben Fattler,
Martin Grothaus,
Nathalie Steil
Abstract:
The starting point is a gradient Dirichlet form with respect to $\varrhoλ^d$ on the space $L^2({\mathbb{R}}^d, \varrhoμ)$. Here $λ^d$ is the Lebesgue measure on ${\mathbb R}^d$, $\varrho$ a strictly positive density and $μ$ puts weight on a set $A\subset {\mathbb R}^d$ with Lebesgue measure zero. We show that the Dirichlet form admits an associated stochastic process $X$.
We derive an explicit r…
▽ More
The starting point is a gradient Dirichlet form with respect to $\varrhoλ^d$ on the space $L^2({\mathbb{R}}^d, \varrhoμ)$. Here $λ^d$ is the Lebesgue measure on ${\mathbb R}^d$, $\varrho$ a strictly positive density and $μ$ puts weight on a set $A\subset {\mathbb R}^d$ with Lebesgue measure zero. We show that the Dirichlet form admits an associated stochastic process $X$.
We derive an explicit representation of the corresponding generator if $A$ is a Lipschitz boundary. This representation together with the Fukushima decomposition identifies $X$ as a distorted Brownian motion with drift given by the logarithmic derivative of $\varrho$ in ${\mathbb R}^d \setminus A$. Furthermore, we prove $X$ to be irreducible and recurrent. Finally, via ergodicity we prove positive séjour time of $X$ on $A$. Hence we obtain a stochastic process $X$ with permeable sticky behaviour on $A$.
△ Less
Submitted 27 February, 2025; v1 submitted 17 October, 2024;
originally announced October 2024.
-
Mosco convergence of gradient forms with non-convex potentials II
Authors:
Martin Grothaus,
Simon Wittmann
Abstract:
This article provides a scaling limit for a family of skew interacting Brownian motions in the context of mesoscopic interface models. Let $d\in\mathbb N$, $y_1,\dots,y_M\in\mathbb R$ and $f\in C_b(\mathbb R)$ be fixed. For each $N\in\mathbb N$ we consider a $k_N$-dimensional, skew reflecting distorted Brownian motion $(X^{N,i}_t)_{i=1,\dots,k_N}$, $t\geq 0$, and investigate the scaling limits for…
▽ More
This article provides a scaling limit for a family of skew interacting Brownian motions in the context of mesoscopic interface models. Let $d\in\mathbb N$, $y_1,\dots,y_M\in\mathbb R$ and $f\in C_b(\mathbb R)$ be fixed. For each $N\in\mathbb N$ we consider a $k_N$-dimensional, skew reflecting distorted Brownian motion $(X^{N,i}_t)_{i=1,\dots,k_N}$, $t\geq 0$, and investigate the scaling limits for $N\to\infty$. The drift includes skew reflections at height levels $\tilde y_j:=N^{1-\frac{d}{2}}y_j$ with intensities $β_j/N^d$ for $j=1,\dots,M$. The corresponding SDE is given by \begin{equation}
d X^{N,i}_t=-\big(A_N X^{N}_t\big)_id t-\frac{1}{2}N^{-\tfrac{d}{2}-1}\,f\big(N^{\frac{d}{2}-1}X^{N,i}_t\big)d t
\\+\sum_{j=1}^M\tfrac{1-e^{-β_j/N^d}}{1+e^{-β_j/N^d}}d l_t^{N,i, \tilde y_j}
+d B_t^{N,i}, \end{equation} where ${(B_t^{N,i})}_{t\geq 0}$, $i=1,\dots, k_N$, are independent Brownian motions and $ l_t^{N,i, \tilde y_j}$ denotes the local time of ${(X^{N,i}_t)}_{t\geq 0}$ at $\tilde y_j$. We prove the weak convergence of the equilibrium laws of \begin{equation*}
u_t^N=Λ_N\circ X^{N}_{N^2t},\quad t\geq 0, \end{equation*} for $N\to\infty$, choosing suitable injective, linear maps $Λ_N:\mathbb R^{k_N}\to \{h\,|\,h:D\to\mathbb R\}$. The scaling limit is a distorted Ornstein-Uhlenbeck process whose state space is the Hilbert space $H=L^2(D, dz)$. We characterize a class of height maps, such that the scaling limit of the dynamic is not influenced by the particular choice of ${(Λ_N)}_{N\in\mathbb N}$ within that class.
△ Less
Submitted 27 August, 2024;
originally announced August 2024.
-
Stochastic Currents of Fractional Brownian Motion
Authors:
Martin Grothaus,
Jose Luis da Silva,
Herry Pribawanto Suryawan
Abstract:
By using white noise analysis, we study the integral kernel $ξ(x)$, $x\in\mathbb{R}^{d}$, of stochastic currents corresponding to fractional Brownian motion with Hurst parameter $H\in(0,1)$. For $x\in\mathbb{R}^{d}\backslash\{0\}$ and $d\ge1$ we show that the kernel $ξ(x)$ is well-defined as a Hida distribution for all $H\in(0,1/2]$. For $x=0$ and $d=1$, $ξ(0)$ is a Hida distribution for all…
▽ More
By using white noise analysis, we study the integral kernel $ξ(x)$, $x\in\mathbb{R}^{d}$, of stochastic currents corresponding to fractional Brownian motion with Hurst parameter $H\in(0,1)$. For $x\in\mathbb{R}^{d}\backslash\{0\}$ and $d\ge1$ we show that the kernel $ξ(x)$ is well-defined as a Hida distribution for all $H\in(0,1/2]$. For $x=0$ and $d=1$, $ξ(0)$ is a Hida distribution for all $H\in(0,1)$. For $d\ge2$, then $ξ(0)$ is a Hida distribution only for $H\in(0,1/d)$. To cover the case $H\in[1/d,1)$ we have to truncate the delta function so that $ξ^{(N)}(0)$ is a Hida distribution whenever $2N(H-1)+Hd>1$.
△ Less
Submitted 20 August, 2024;
originally announced August 2024.
-
Hypocoercivity for infinite-dimensional non-linear degenerate stochastic differential equations with multiplicative noise
Authors:
Alexander Bertram,
Benedikt Eisenhuth,
Martin Grothaus
Abstract:
We analyze infinite-dimensional non-linear degenerate stochastic differential equations with multiplicative noise. First, essential m-dissipativity of their associated Kolmogorov backward generators on $L^2(μ^Φ)$ defined on smooth finitely based functions is established. Here $Φ$ is an appropriate potential and $μ^Φ$ is the invariant measure with density $e^{-Φ}$ w.r.t. an infinite-dimensional non…
▽ More
We analyze infinite-dimensional non-linear degenerate stochastic differential equations with multiplicative noise. First, essential m-dissipativity of their associated Kolmogorov backward generators on $L^2(μ^Φ)$ defined on smooth finitely based functions is established. Here $Φ$ is an appropriate potential and $μ^Φ$ is the invariant measure with density $e^{-Φ}$ w.r.t. an infinite-dimensional non-degenerate Gaussian measure. Second, we use resolvent methods to construct corresponding right processes with infinite lifetime, solving the martingale problem for the Kolmogorov backward generators. They provide weak solutions, with weakly continuous paths, to the non-linear degenerate stochastic partial differential equations. Moreover, we identify the transition semigroup of such a process with the strongly continuous contraction semigroup $(T_t)_{t\geq 0}$ generated by the corresponding Kolmogorov backwards generator. Afterwards, we apply a refinement of the abstract Hilbert space hypocoercivity method, developed by Dolbeaut, Mouhot and Schmeiser, to derive hypocoercivity of $(T_t)_{t\geq 0}$. I.e. we take domain issues into account and use the formulation in the Kolmogorov backwards setting worked out by Grothaus and Stilgenbauer. The method enables us to explicitly compute the constants determining the exponential convergence rate to equilibrium of $(T_t)_{t\geq 0}$. The identification between $(T_t)_{t\geq 0}$ and the transition semigroup of the process yields exponential ergodicity of the latter. Finally, we apply our results to second order in time stochastic reaction-diffusion and Cahn-Hilliard type equations with multiplicative noise. More generally, we analyze corresponding couplings of infinite-dimensional deterministic with stochastic differential equations.
△ Less
Submitted 23 June, 2023;
originally announced June 2023.
-
Singular Degenerate SDEs: Well-Posedness and Exponential Ergodicity
Authors:
Panpan Ren,
Martin Grothaus,
Feng-Yu Wang
Abstract:
The well-posedness and exponential ergodicity are proved for stochastic Hamiltonian systems containing a singular drift term which is locally integrable in the component with noise. As an application, the well-posedness and uniform exponential ergodicity are derived for a class of singular degenerated McKean-Vlasov SDEs.
The well-posedness and exponential ergodicity are proved for stochastic Hamiltonian systems containing a singular drift term which is locally integrable in the component with noise. As an application, the well-posedness and uniform exponential ergodicity are derived for a class of singular degenerated McKean-Vlasov SDEs.
△ Less
Submitted 28 April, 2023;
originally announced May 2023.
-
Stochastic analysis for vector-valued generalized grey Brownian motion
Authors:
Wolfgang Bock,
Martin Grothaus,
Karlo Orge
Abstract:
In this article, we show that the standard vector-valued generalization of a generalized grey Brownian motion (ggBm) has independent components if and only if it is a fractional Brownian motion. In order to extend ggBm with independent components, we introduce a vector-valued generalized grey Brownian motion (vggBm). The characteristic function of the corresponding measure is introduced as the pro…
▽ More
In this article, we show that the standard vector-valued generalization of a generalized grey Brownian motion (ggBm) has independent components if and only if it is a fractional Brownian motion. In order to extend ggBm with independent components, we introduce a vector-valued generalized grey Brownian motion (vggBm). The characteristic function of the corresponding measure is introduced as the product of the characteristic functions of the one-dimensional case. We show that for this measure, the Appell system and a calculus of generalized functions or distributions are accessible. We characterize these distributions with suitable transformations and give a d-dimensional Donsker's delta function as an example for such distributions. From there, we show the existence of local times and self-intersection local times of vggBm as distributions under some constraints, and compute their corresponding generalized expectations. At the end, we solve a system of linear SDEs driven by a vggBm noise in d dimensions.
△ Less
Submitted 17 November, 2021;
originally announced November 2021.
-
Dirichlet form analysis of the Jacobi process
Authors:
Martin Grothaus,
Max Sauerbrey
Abstract:
We construct and analyze the Jacobi process - in mathematical biology referred to as Wright-Fisher diffusion - using a Dirichlet form. The corresponding Dirichlet space takes the form of a Sobolev space with different weights for the function itself and its derivative. Depending on the parameters we characterize the boundary behavior of the functions in the Dirichlet space, show density results, d…
▽ More
We construct and analyze the Jacobi process - in mathematical biology referred to as Wright-Fisher diffusion - using a Dirichlet form. The corresponding Dirichlet space takes the form of a Sobolev space with different weights for the function itself and its derivative. Depending on the parameters we characterize the boundary behavior of the functions in the Dirichlet space, show density results, derive Sobolev embeddings and verify functional inequalities of Hardy type. Since the generator is a hypergeometric differential operator, many of the proofs can be carried out by explicit calculations involving hypergeometric functions. We deduce corresponding properties for the associated semigroup and Markov process and show that the latter is up to minor technical modifications a solution to the Jacobi SDE.
△ Less
Submitted 2 November, 2021;
originally announced November 2021.
-
Convergence Rate for Degenerate Partial and Stochastic Differential Equations via weak Poincaré Inequalities
Authors:
Alexander Bertram,
Martin Grothaus
Abstract:
We employ weak hypocoercivity methods to study the long-term behavior of operator semigroups generated by degenerate Kolmogorov operators with variable second-order coefficients, which solve the associated abstract Cauchy problem. We prove essential m-dissipativity of the operator, which extends previous results and is key to the rigorous analysis required. We give estimates for the $L^2$-converge…
▽ More
We employ weak hypocoercivity methods to study the long-term behavior of operator semigroups generated by degenerate Kolmogorov operators with variable second-order coefficients, which solve the associated abstract Cauchy problem. We prove essential m-dissipativity of the operator, which extends previous results and is key to the rigorous analysis required. We give estimates for the $L^2$-convergence rate by using weak Poincaré inequalities. As an application, we obtain estimates for the (sub-)exponential convergence rate of solutions to the corresponding degenerate Fokker-Planck equations and of weak solutions to the corresponding degenerate stochastic differential equation with multiplicative noise.
△ Less
Submitted 11 October, 2021;
originally announced October 2021.
-
Hypocoercivity for non-linear infinite-dimensional degenerate stochastic differential equations
Authors:
Benedikt Eisenhuth,
Martin Grothaus
Abstract:
The aim of this article is to construct solutions to second order in time stochastic partial differential equations and to show hypocoercivity of the corresponding transition semigroups. More generally, we analyze non-linear infinite-dimensional degenerate stochastic differential equations in terms of their infinitesimal generators. In the first part of this article we use resolvent methods develo…
▽ More
The aim of this article is to construct solutions to second order in time stochastic partial differential equations and to show hypocoercivity of the corresponding transition semigroups. More generally, we analyze non-linear infinite-dimensional degenerate stochastic differential equations in terms of their infinitesimal generators. In the first part of this article we use resolvent methods developed by Beznea, Boboc and Röckner to construct diffusion processes with infinite lifetime and explicit invariant measures. The processes provide weak solutions to infinite-dimensional Langevin dynamics. The second part deals with a general abstract Hilbert space hypocoercivity method, developed by Dolbeaut, Mouhot and Schmeiser. In order to treat stochastic (partial) differential equations, Grothaus and Stilgenbauer translated these concepts to the Kolmogorov backwards setting taking domain issues into account. To apply these concepts in the context of infinite-dimensional Langevin dynamics we use an essential m-dissipativity result for infinite-dimensional Ornstein-Uhlenbeck operators, perturbed by the gradient of a potential. We allow unbounded diffusion operators as coefficients and apply corresponding regularity estimates. Furthermore, essential m-dissipativity of a non-sectorial Kolmogorov backward operator associated to the dynamic is needed. Poincaré inequalities for measures with densities w.r.t. infinite-dimensional non-degenerate Gaussian measures are studied. Deriving a stochastic representation of the semigroup generated by the Kolmogorov backward operator as the transition semigroup of a diffusion process enables us to show an $L^2$-exponential ergodicity result for the weak solution. Finally, we apply our results to explicit infinite-dimensional degenerate diffusion equations.
△ Less
Submitted 19 June, 2023; v1 submitted 21 September, 2021;
originally announced September 2021.
-
An improved characterisation of regular generalised functions of white noise and an application to singular SPDEs
Authors:
Martin Grothaus,
Jan Müller,
Andreas Nonnenmacher
Abstract:
A characterisation of the spaces $\mathcal{G}_K$ and $\mathcal{G}_K'$ introduced in Grothaus et al. (Methods Funct Anal Topol 3(2):46-64, 1997) and Potthoff and Timpel (Potential Anal 4(6):637-654, 1995) is given. A first characterisation of these spaces provided in Grothaus et al. (Methods Funct Anal Topol 3(2):46-64, 1997) uses the concepts of holomorphy on infinite dimensional spaces. We, inste…
▽ More
A characterisation of the spaces $\mathcal{G}_K$ and $\mathcal{G}_K'$ introduced in Grothaus et al. (Methods Funct Anal Topol 3(2):46-64, 1997) and Potthoff and Timpel (Potential Anal 4(6):637-654, 1995) is given. A first characterisation of these spaces provided in Grothaus et al. (Methods Funct Anal Topol 3(2):46-64, 1997) uses the concepts of holomorphy on infinite dimensional spaces. We, instead, give a characterisation in terms of U-functionals, i.e., classic holomorphic function on the one dimensional field of complex numbers. We apply our new characterisation to derive new results concerning a stochastic transport equation and the stochastic heat equation with multiplicative noise.
△ Less
Submitted 6 September, 2021;
originally announced September 2021.
-
A White Noise Approach to Stochastic Currents of Brownian Motion
Authors:
Martin Grothaus,
Herry Pribawanto Suryawan,
José Luís da Silva
Abstract:
In this paper we study stochastic currents of Brownian motion $ξ(x)$, $x\in\mathbb{R}^{d}$, by using white noise analysis. For $x\in\mathbb{R}^{d}\backslash\{0\}$ and for $x=0\in\mathbb{R}$ we prove that the stochastic current $ξ(x)$ is a Hida distribution. Moreover for $x=0\in\mathbb{R}^{d}$ with $d>1$ we show that the stochastic current is not a Hida distribution.
In this paper we study stochastic currents of Brownian motion $ξ(x)$, $x\in\mathbb{R}^{d}$, by using white noise analysis. For $x\in\mathbb{R}^{d}\backslash\{0\}$ and for $x=0\in\mathbb{R}$ we prove that the stochastic current $ξ(x)$ is a Hida distribution. Moreover for $x=0\in\mathbb{R}^{d}$ with $d>1$ we show that the stochastic current is not a Hida distribution.
△ Less
Submitted 26 August, 2021;
originally announced August 2021.
-
Mosco convergence of gradient forms with non-convex interaction potential
Authors:
Martin Grothaus,
Simon Wittmann
Abstract:
This article provides a new approach to address Mosco convergence of gradient-type Dirichlet forms, $\mathcal E^N$ on $L^2(E,μ_N)$ for $N\in\mathbb N$, in the framework of converging Hilbert spaces by K.~Kuwae and T.~Shioya. The basic assumption is weak measure convergence of the family ${(μ_N)}_{N}$ on the state space $E$ - either a separable Hilbert space or a locally convex topological vector s…
▽ More
This article provides a new approach to address Mosco convergence of gradient-type Dirichlet forms, $\mathcal E^N$ on $L^2(E,μ_N)$ for $N\in\mathbb N$, in the framework of converging Hilbert spaces by K.~Kuwae and T.~Shioya. The basic assumption is weak measure convergence of the family ${(μ_N)}_{N}$ on the state space $E$ - either a separable Hilbert space or a locally convex topological vector space. Apart from that, the conditions on ${(μ_N)}_{N}$ try to impose as little restrictions as possible. The problem has fully been solved if the family ${(μ_N)}_{N}$ contain only log-concave measures, due to L.~Ambrosio, G.~Savaré and L.~Zambotti, 2009. However for a large class of convergence problems the assumption of log-concavity fails. The article suggests a way to overcome this hindrance, as it presents a new approach. Combining the theory of Dirichlet forms with methods from numerical analysis we find abstract criteria for Mosco convergence of standard gradient forms with varying reference measures. These include cases in which the measures are not log-concave. To demonstrate the accessibility of our abstract theory we discuss a first application, generalizing an approximation result by S.~K.~Bounebache and L.~Zambotti, 2014.
△ Less
Submitted 24 June, 2024; v1 submitted 11 May, 2021;
originally announced May 2021.
-
Essential m-dissipativity for generators of infinite-dimensional non-linear degenerate diffusion processes
Authors:
Benedikt Eisenhuth,
Martin Grothaus
Abstract:
First essential m-dissipativity of an infinite-dimensional Ornstein-Uhlenbeck operator $N$, perturbed by the gradient of a potential, on a domain $\mathcal{F}C_b^{\infty}$ of finitely based, smooth and bounded functions, is shown. Our considerations allow unbounded diffusion operators as coefficients. We derive corresponding second order regularity estimates for solutions $f$ of the Kolmogorov equ…
▽ More
First essential m-dissipativity of an infinite-dimensional Ornstein-Uhlenbeck operator $N$, perturbed by the gradient of a potential, on a domain $\mathcal{F}C_b^{\infty}$ of finitely based, smooth and bounded functions, is shown. Our considerations allow unbounded diffusion operators as coefficients. We derive corresponding second order regularity estimates for solutions $f$ of the Kolmogorov equation $αf-Nf=g$, $α\in (0,\infty)$, generalizing some results of Da Prato and Lunardi. Second we prove essential m-dissipativity for generators $(L_Φ,\mathcal{F}C_b^{\infty})$ of infinite-dimensional non-linear degenerate diffusion processes. We emphasize that the essential m-dissipativity of $(L_Φ,\mathcal{F}C_b^{\infty})$ is useful to apply general resolvent methods developed by Beznea, Boboc and Röckner, in order to construct martingale/weak solutions to infinite-dimensional non-linear degenerate diffusion equations. Furthermore, the essential m-dissipativity of $(L_Φ,\mathcal{F}C_b^{\infty})$ and $(N,\mathcal{F}C_b^{\infty})$, as well as the regularity estimates are essential to apply the general abstract Hilbert space hypocoercivity method from Dolbeault, Mouhot, Schmeiser and Grothaus, Stilgenbauer, respectively, to the corresponding diffusions.
△ Less
Submitted 9 April, 2021;
originally announced April 2021.
-
Essential m-dissipativity and hypocoercivity of Langevin dynamics with multiplicative noise
Authors:
Alexander Bertram,
Martin Grothaus
Abstract:
We provide a complete elaboration of the $L^2$-Hilbert space hypocoercivity theorem for the degenerate Langevin dynamics with multiplicative noise, studying the longtime behaviour of the strongly continuous contraction semigroup solving the abstract Cauchy problem for the associated backward Kolmogorov operator. Hypocoercivity for the Langevin dynamics with constant diffusion matrix was proven pre…
▽ More
We provide a complete elaboration of the $L^2$-Hilbert space hypocoercivity theorem for the degenerate Langevin dynamics with multiplicative noise, studying the longtime behaviour of the strongly continuous contraction semigroup solving the abstract Cauchy problem for the associated backward Kolmogorov operator. Hypocoercivity for the Langevin dynamics with constant diffusion matrix was proven previously by Dolbeault, Mouhot and Schmeiser in the corresponding Fokker-Planck framework, and made rigorous in the Kolmogorov backwards setting by Grothaus and Stilgenbauer. We extend these results to weakly differentiable diffusion coefficient matrices, introducing multiplicative noise for the corresponding stochastic differential equation. The rate of convergence is explicitly computed depending on the choice of these coefficients and the potential giving the outer force. In order to obtain a solution to the abstract Cauchy problem, we first prove essential self-adjointness of non-degenerate elliptic Dirichlet operators on Hilbert spaces, using prior elliptic regularity results and techniques from Bogachev, Krylov and Röckner. We apply operator perturbation theory to obtain essential m-dissipativity of the Kolmogorov operator, extending the m-dissipativity results from Conrad and Grothaus. We emphasize that the chosen Kolmogorov approach is natural, as the theory of generalized Dirichlet forms implies a stochastic representation of the Langevin semigroup as the transition kernel of a diffusion process which provides a martingale solution to the Langevin equation with multiplicative noise. Moreover, we show that even a weak solution is obtained this way.
△ Less
Submitted 24 May, 2022; v1 submitted 13 February, 2021;
originally announced February 2021.
-
Hypocoercivity of Langevin-type dynamics on abstract smooth manifolds
Authors:
Martin Grothaus,
Maximilian Mertin
Abstract:
In this article we investigate hypocoercivity of Langevin-type dynamics in nonlinear smooth geometries. The main result stating exponential decay to an equilibrium state with explicitly computable rate of convergence is rooted in an appealing Hilbert space strategy by Dolbeault, Mouhot and Schmeiser. This strategy was extended in [GS14] to Kolmogorov backward evolution equations in contrast to the…
▽ More
In this article we investigate hypocoercivity of Langevin-type dynamics in nonlinear smooth geometries. The main result stating exponential decay to an equilibrium state with explicitly computable rate of convergence is rooted in an appealing Hilbert space strategy by Dolbeault, Mouhot and Schmeiser. This strategy was extended in [GS14] to Kolmogorov backward evolution equations in contrast to the dual Fokker-Planck framework. We use this mathematically complete elaboration to investigate wide ranging classes of Langevin-type SDEs in an abstract manifold setting, i.e. (at least) the position variables obey certain smooth side conditions. Such equations occur e.g. as fibre lay-down processes in industrial applications. We contribute the Lagrangian-type formulation of such geometric Langevin dynamics in terms of (semi-)sprays and point to the necessity of fibre bundle measure spaces to specify the model Hilbert space.
△ Less
Submitted 20 June, 2020;
originally announced June 2020.
-
Overdamped limit of generalized stochastic Hamiltonian systems for singular interaction potentials
Authors:
Andreas Nonnenmacher,
Martin Grothaus
Abstract:
First weak solutions of generalized stochastic Hamiltonian systems (gsHs) are constructed via essential m-dissipativity of their generators on a suitable core. For a scaled gsHs we prove convergence of the corresponding semigroups and tightness of the weak solutions. This yields convergence in law of the scaled gsHs to a distorted Brownian motion. In particular, the results confirm the convergence…
▽ More
First weak solutions of generalized stochastic Hamiltonian systems (gsHs) are constructed via essential m-dissipativity of their generators on a suitable core. For a scaled gsHs we prove convergence of the corresponding semigroups and tightness of the weak solutions. This yields convergence in law of the scaled gsHs to a distorted Brownian motion. In particular, the results confirm the convergence of the Langevin dynamics in the overdamped regime to the overdamped Langevin equation. The proofs work for a large class of (singular) interaction potentials including, e.g., potentials of Lennard--Jones type.
△ Less
Submitted 18 September, 2018;
originally announced September 2018.
-
Skorokhod decomposition for a reflected $\mathcal L^p$-strong Feller diffusions with singular drift
Authors:
Benedict Baur,
Martin Grothaus
Abstract:
We construct Skorokhod decompositions for diffusions with singular drift and reflecting boundary behavior on open subsets of $\mathbb R^d$ with $C^2$-smooth boundary except for a sufficiently small set. This decomposition holds almost surely under the path measures of the process for every starting point from an explicitly known set. This set is characterized by the boundary smoothness and the sin…
▽ More
We construct Skorokhod decompositions for diffusions with singular drift and reflecting boundary behavior on open subsets of $\mathbb R^d$ with $C^2$-smooth boundary except for a sufficiently small set. This decomposition holds almost surely under the path measures of the process for every starting point from an explicitly known set. This set is characterized by the boundary smoothness and the singularities of the drift term. We apply modern methods of Dirichlet form theory and $\mathcal L^p$-strong Feller processes. These tools have been approved as useful for the pointwise analysis of stochastic processes with singular drift and various boundary conditions. Furthermore, we apply Sobolev space theorems and elliptic regularity results to prove regularity properties of potentials related to surface measures. These are important ingredients for the pointwise construction of the boundary local time of the diffusions under consideration. As an application we construct stochastic dynamics for particle systems with hydrodynamic and pair interaction. Our approach allows highly singular potentials like Lennard-Jones potentials and position-dependent diffusion coefficients and thus the treatment of physically reasonable models.
△ Less
Submitted 6 January, 2018;
originally announced January 2018.
-
Weak Poincaré Inequalities for Convergence Rate of Degenerate Diffusion Processes
Authors:
Martin Grothaus,
Feng-Yu Wang
Abstract:
For a contraction $C_0$-semigroup on a separable Hilbert space, the decay rate is estimated by using the weak Poincaré inequalities for the symmetric and anti-symmetric part of the generator. As applications, non-exponential convergence rate is characterized for a class of degenerate diffusion processes, so that the study of hypocoercivity is extended. Concrete examples are presented.
For a contraction $C_0$-semigroup on a separable Hilbert space, the decay rate is estimated by using the weak Poincaré inequalities for the symmetric and anti-symmetric part of the generator. As applications, non-exponential convergence rate is characterized for a class of degenerate diffusion processes, so that the study of hypocoercivity is extended. Concrete examples are presented.
△ Less
Submitted 14 March, 2017;
originally announced March 2017.
-
Integration by parts on the law of the modulus of the Brownian bridge
Authors:
Martin Grothaus,
Robert Voßhall
Abstract:
We prove an infinite dimensional integration by parts formula on the law of the modulus of the Brownian bridge $BB=(BB_t)_{0 \leq t \leq 1}$ from $0$ to $0$ in use of methods from white noise analysis and Dirichlet form theory. Additionally to the usual drift term, this formula contains a distribution which is constructed in the space of Hida distributions by means of a Wick product with Donsker's…
▽ More
We prove an infinite dimensional integration by parts formula on the law of the modulus of the Brownian bridge $BB=(BB_t)_{0 \leq t \leq 1}$ from $0$ to $0$ in use of methods from white noise analysis and Dirichlet form theory. Additionally to the usual drift term, this formula contains a distribution which is constructed in the space of Hida distributions by means of a Wick product with Donsker's delta (which correlates with the local time of $|BB|$ at zero). This additional distribution corresponds to the reflection at zero caused by the modulus.
△ Less
Submitted 22 June, 2017; v1 submitted 8 September, 2016;
originally announced September 2016.
-
Hilbert space hypocoercivity for the Langevin dynamics revisited
Authors:
Martin Grothaus,
Patrik Stilgenbauer
Abstract:
We provide a complete elaboration of the $L^2$-Hilbert space hypocoercivity theorem for the degenerate Langevin dynamics via studying the longtime behavior of the strongly continuous contraction semigroup solving the associated Kolmogorov (backward) equation as an abstract Cauchy problem. This hypocoercivity result is proven in previous works before by Dolbeault, Mouhot and Schmeiser in the corres…
▽ More
We provide a complete elaboration of the $L^2$-Hilbert space hypocoercivity theorem for the degenerate Langevin dynamics via studying the longtime behavior of the strongly continuous contraction semigroup solving the associated Kolmogorov (backward) equation as an abstract Cauchy problem. This hypocoercivity result is proven in previous works before by Dolbeault, Mouhot and Schmeiser in the corresponding dual Fokker-Planck framework, but without including domain issues of the appearing operators. In our elaboration, we include the domain issues and additionally compute the rate of convergence in dependence of the damping coefficient. Important statements for the complete elaboration are the m-dissipativity results for the Langevin operator established by Conrad and the first named author of this article as well as the essential selfadjointness results for generalized Schrödinger operators by Wielens or Bogachev, Krylov and Röckner. We emphasize that the chosen Kolmogorov approach is natural. Indeed, techniques from the theory of (generalized) Dirichlet forms imply a stochastic representation of the Langevin semigroup as the transition kernel of diffusion process which provides a martingale solution to the Langevin equation. Hence an interesting connection between the theory of hypocoercivity and the theory of (generalized) Dirichlet forms is established besides.
△ Less
Submitted 28 August, 2016;
originally announced August 2016.
-
A hypocoercivity related ergodicity method with rate of convergence for singularly distorted degenerate Kolmogorov equations and applications
Authors:
Martin Grothaus,
Patrik Stilgenbauer
Abstract:
In this article we develop a new abstract strategy for proving ergodicity with explicit computable rate of convergence for diffusions associated with a degenerate Kolmogorov operator L. A crucial point is that the evolution operator L may have singular and nonsmooth coefficients. This allows the application of the method e.g. to degenerate and singular particle systems arising in Mathematical Phys…
▽ More
In this article we develop a new abstract strategy for proving ergodicity with explicit computable rate of convergence for diffusions associated with a degenerate Kolmogorov operator L. A crucial point is that the evolution operator L may have singular and nonsmooth coefficients. This allows the application of the method e.g. to degenerate and singular particle systems arising in Mathematical Physics. As far as we know in such singular cases the relaxation to equilibrium can't be discussed with the help of existing approaches using hypoellipticity, hypocoercivity or stochastic Lyapunov type techniques. The method is formulated in an L2-Hilbert space setting and is based on an interplay between Functional Analysis and Stochastics. Moreover, it implies an ergodicity rate which can be related to L2-exponential convergence of the semigroup. Furthermore, the ergodicity method shows up an interesting analogy with existing hypocoercivity approaches. In the first application we discuss ergodicity of the N-particle degenerate Langevin dynamics with singular potentials. The dual to this equation is also called the kinetic Fokker-Planck equation with an external confining potential. In the second example we apply the method to the so-called (degenerate) spherical velocity Langevin equation which is also known as the fiber lay-down process arising in industrial mathematics.
△ Less
Submitted 29 December, 2015; v1 submitted 14 June, 2015;
originally announced June 2015.
-
Mittag-Leffler Analysis II: Application to the fractional heat equation
Authors:
Martin Grothaus,
Florian Jahnert
Abstract:
Mittag-Leffler analysis is an infinite dimensional analysis with respect to non-Gaussian measures of Mittag-Leffler type which generalizes the powerful theory of Gaussian analysis and in particular white noise analysis. In this paper we further develop the Mittag-Leffler analysis by characterizing the convergent sequences in the distribution space. Moreover we provide an approximation of Donsker's…
▽ More
Mittag-Leffler analysis is an infinite dimensional analysis with respect to non-Gaussian measures of Mittag-Leffler type which generalizes the powerful theory of Gaussian analysis and in particular white noise analysis. In this paper we further develop the Mittag-Leffler analysis by characterizing the convergent sequences in the distribution space. Moreover we provide an approximation of Donsker's delta by square integrable functions. Then we apply the structures and techniques from Mittag-Leffler analysis in order to show that a Green's function to the time-fractional heat equation can be constructed using generalized grey Brownian motion (ggBm) by extending the fractional Feynman-Kac formula from Schneider. Moreover we analyse ggBm, show its differentiability in a distributional sense and the existence of corresponding local times.
△ Less
Submitted 9 June, 2015;
originally announced June 2015.
-
Construction and analysis of sticky reflected diffusions
Authors:
Martin Grothaus,
Robert Voßhall
Abstract:
We give a Dirichlet form approach for the construction of distorted Brownian motion in a bounded domain $Ω$ of $\mathbb{R}^d$, $d \geq 1$, with boundary $Γ$, where the behavior at the boundary is sticky. The construction covers the case of a static boundary behavior as well as the case of a diffusion on the hypersurface $Γ$ (for $d \geq 2)$. More precisely, we consider the state space…
▽ More
We give a Dirichlet form approach for the construction of distorted Brownian motion in a bounded domain $Ω$ of $\mathbb{R}^d$, $d \geq 1$, with boundary $Γ$, where the behavior at the boundary is sticky. The construction covers the case of a static boundary behavior as well as the case of a diffusion on the hypersurface $Γ$ (for $d \geq 2)$. More precisely, we consider the state space $\overlineΩ=Ω\stackrel{.}{\cup} Γ$, the process is a diffusion process inside $Ω$, the occupation time of the process on the boundary $Γ$ is positive and the process may diffuse on $Γ$ as long as it sticks on the boundary. The problem is formulated in an $L^2$-setting and the construction is formulated under weak assumptions on the coefficients and $Γ$. In order to analyze the process we assume a $C^2$-boundary and some weak differentiability conditions. In this case, we deduce that the process is also a solution to a given SDE for quasi every starting point in $\overlineΩ$ with respect to the underyling Dirichlet form. Under the addtional condition that $\{ \varrho =0 \}$ is of capacity zero, we prove ergodicity of the constructed process and consequently, we verify that the boundary behavior is indeed sticky. Moreover, we show ($\mathcal{L}^p$-)strong Feller properties which allow to characterize the constructed process even for every starting point in $\overlineΩ \backslash \{ \varrho=0\}$.
△ Less
Submitted 13 January, 2015; v1 submitted 12 December, 2014;
originally announced December 2014.
-
Strong Feller property of sticky reflected distorted Brownian motion
Authors:
Martin Grothaus,
Robert Voßhall
Abstract:
Using Girsanov transformations we construct from sticky reflected Brownian motion on $[0,\infty)$ a conservative diffusion on $E:=[0,\infty)^n$, $n \in \mathbb{N}$, and prove that its transition semigroup possesses the strong Feller property for a specified general class of drift functions. By identifying the Dirichlet form of the constructed process, we characterize it as sticky reflected distort…
▽ More
Using Girsanov transformations we construct from sticky reflected Brownian motion on $[0,\infty)$ a conservative diffusion on $E:=[0,\infty)^n$, $n \in \mathbb{N}$, and prove that its transition semigroup possesses the strong Feller property for a specified general class of drift functions. By identifying the Dirichlet form of the constructed process, we characterize it as sticky reflected distorted Brownian motion. In particular, the relations of the underlying analytic Dirichlet form methods to the probabilistic methods of random time changes and Girsanov transformations are presented. Our studies are motivated by its applications to the dynamical wetting model with $δ$-pinning and repulsion.
△ Less
Submitted 9 December, 2016; v1 submitted 22 October, 2014;
originally announced October 2014.
-
Construction and analysis of a sticky reflected distorted Brownian motion
Authors:
Torben Fattler,
Martin Grothaus,
Robert Voßhall
Abstract:
We give a Dirichlet form approach for the construction of a distorted Brownian motion in $E:=[0,\infty)^n$, $n\in\mathbb{N}$, where the behavior on the boundary is determined by the competing effects of reflection from and pinning at the boundary (sticky boundary behavior). In providing a Skorokhod decomposition of the constructed process we are able to justify that the stochastic process is solvi…
▽ More
We give a Dirichlet form approach for the construction of a distorted Brownian motion in $E:=[0,\infty)^n$, $n\in\mathbb{N}$, where the behavior on the boundary is determined by the competing effects of reflection from and pinning at the boundary (sticky boundary behavior). In providing a Skorokhod decomposition of the constructed process we are able to justify that the stochastic process is solving the underlying stochastic differential equation weakly for quasi every starting point with respect to the associated Dirichlet form. That the boundary behavior of the constructed process indeed is sticky, we obtain by proving ergodicity of the constructed process. Therefore, we are able to show that the occupation time on specified parts of the boundary is positive. In particular, our considerations enable us to construct a dynamical wetting model (also known as Ginzburg--Landau dynamics) on a bounded set $D_{\scriptscriptstyle{N}}\subset \mathbb{Z}^d$ under mild assumptions on the underlying pair interaction potential in all dimensions $d\in\mathbb{N}$. In dimension $d=2$ this model describes the motion of an interface resulting from wetting of a solid surface by a fluid.
△ Less
Submitted 25 September, 2014;
originally announced September 2014.
-
Mittag-Leffler Analysis I: Construction and characterization
Authors:
Martin Grothaus,
Florian Jahnert,
Felix Riemann,
José Luís da Silva
Abstract:
We construct an infinite dimensional analysis with respect to non-Gaussian measures of Mittag-Leffler type which we call Mittag-Leffler measures. It turns out that the well-known Wick ordered polynomials in Gaussian analysis cannot be generalized to this non-Gaussian case. Instead of using Wick ordered polynomials we prove that a system of biorthogonal polynomials, called Appell system, is applica…
▽ More
We construct an infinite dimensional analysis with respect to non-Gaussian measures of Mittag-Leffler type which we call Mittag-Leffler measures. It turns out that the well-known Wick ordered polynomials in Gaussian analysis cannot be generalized to this non-Gaussian case. Instead of using Wick ordered polynomials we prove that a system of biorthogonal polynomials, called Appell system, is applicable to the Mittag-Leffler measures. Therefore we are able to introduce a test function and a distribution space. As an application we construct Donsker's delta in a non-Gaussian setting as a weak integral in the distribution space.
△ Less
Submitted 31 July, 2014;
originally announced July 2014.
-
Feynman formulae and phase space Feynman path integrals for tau-quantization of some Lévy-Khintchine type Hamilton functions
Authors:
Yana Butko,
Martin Grothaus,
Oleg Smolyanov
Abstract:
This note is devoted to representation of some evolution semigroups. The semigroups are generated by pseudo-differential operators, which are obtained by different (parametrized by a number $τ$) procedures of quantization from a certain class of functions (or symbols) defined on the phase space. This class contains functions which are second order polynomials with respect to the momentum variable…
▽ More
This note is devoted to representation of some evolution semigroups. The semigroups are generated by pseudo-differential operators, which are obtained by different (parametrized by a number $τ$) procedures of quantization from a certain class of functions (or symbols) defined on the phase space. This class contains functions which are second order polynomials with respect to the momentum variable and also some other functions. The considered semigroups are represented as limits of $n$-fold iterated integrals when $n$ tends to infinity (such representations are called Feynman formulae). Some of these representations are constructed with the help of another pseudo-differential operators, obtained by the same procedure of quantization (such representations are called Hamiltonian Feynman formulae). Some representations are based on integral operators with elementary kernels (these ones are called Lagrangian Feynman formulae and are suitable for computations). A family of phase space Feynman pseudomeasures corresponding to different procedures of quantization is introduced. The considered evolution semigroups are represented also as phase space Feynman path integrals with respect to these Feynman pseudomeasures. The obtained Lagrangian Feynman formulae allow to calculate these phase space Feynman path integrals and to connect them with some functional integrals with respect to probability measures.
△ Less
Submitted 12 November, 2013;
originally announced November 2013.
-
The Hamiltonian Path Integrand for the Charged Particle in a Constant Magnetic field as White Noise Distribution
Authors:
Wolfgang Bock,
Martin Grothaus
Abstract:
The concepts of Hamiltonian Feynman integrals in white noise analysis are used to realize as the first velocity dependent potential the Hamiltonian Feynman integrand for a charged particle in a constant magnetic field in coordinate space as a Hida distribution. For this purpose the velocity dependent potential gives rise to a generalized Gauss kernel. Besides the propagators also the generating fu…
▽ More
The concepts of Hamiltonian Feynman integrals in white noise analysis are used to realize as the first velocity dependent potential the Hamiltonian Feynman integrand for a charged particle in a constant magnetic field in coordinate space as a Hida distribution. For this purpose the velocity dependent potential gives rise to a generalized Gauss kernel. Besides the propagators also the generating functionals are obtained.
△ Less
Submitted 12 July, 2013;
originally announced July 2013.
-
Hypocoercivity for Kolmogorov backward evolution equations and applications
Authors:
Martin Grothaus,
Patrik Stilgenbauer
Abstract:
In this article we extend the modern, powerful and simple abstract Hilbert space strategy for proving hypocoercivity that has been developed originally by Dolbeault, Mouhot and Schmeiser. As well-known, hypocoercivity methods imply an exponential decay to equilibrium with explicit computable rate of convergence. Our extension is now made for studying the long-time behavior of some strongly continu…
▽ More
In this article we extend the modern, powerful and simple abstract Hilbert space strategy for proving hypocoercivity that has been developed originally by Dolbeault, Mouhot and Schmeiser. As well-known, hypocoercivity methods imply an exponential decay to equilibrium with explicit computable rate of convergence. Our extension is now made for studying the long-time behavior of some strongly continuous semigroup generated by a (degenerate) Kolmogorov backward operator L. Additionally, we introduce several domain issues into the framework. Necessary conditions for proving hypocoercivity need then only to be verified on some fixed operator core of L. Furthermore, the setting is also suitable for covering existence and construction problems as required in many applications. The methods are applicable to various, different, Kolmogorov backward evolution problems. As a main part, we apply the extended framework to the (degenerate) spherical velocity Langevin equation. The latter can be seen as some kind of an analogue to the classical Langevin equation in case spherical velocities are required. This model is of important industrial relevance and describes the fiber lay-down in the production process of nonwovens. For the construction of the strongly continuous contraction semigroup we make use of modern hypoellipticity tools and pertubation theory.
△ Less
Submitted 23 July, 2012;
originally announced July 2012.
-
Geometric Langevin equations on submanifolds and applications to the stochastic melt-spinning process of nonwovens and biology
Authors:
Martin Grothaus,
Patrik Stilgenbauer
Abstract:
In this article we develop geometric versions of the classical Langevin equation on regular submanifolds in euclidean space in an easy, natural way and combine them with a bunch of applications. The equations are formulated as Stratonovich stochastic differential equations on manifolds. The first version of the geometric Langevin equation has already been detected before by Lelièvre, Rousset and S…
▽ More
In this article we develop geometric versions of the classical Langevin equation on regular submanifolds in euclidean space in an easy, natural way and combine them with a bunch of applications. The equations are formulated as Stratonovich stochastic differential equations on manifolds. The first version of the geometric Langevin equation has already been detected before by Lelièvre, Rousset and Stoltz with a different derivation. We propose an additional extension of the models, the geometric Langevin equations with velocity of constant absolute value. The latters are seemingly new and provide a galaxy of new, beautiful and powerful mathematical models. Up to the authors best knowledge there are not many mathematical papers available dealing with geometric Langevin processes. We connect the first version of the geometric Langevin equation via proving that its generator coincides with the generalized Langevin operator proposed by Soloveitchik, Jorgensen and Kolokoltsov. All our studies are strongly motivated by industrial applications in modeling the fiber lay-down dynamics in the production process of nonwovens. We light up the geometry occuring in these models and show up the connection with the spherical velocity version of the geometric Langevin process. Moreover, as a main point, we construct new smooth industrial relevant three-dimensional fiber lay-down models involving the spherical Langevin process. Finally, relations to a class of self-propelled interacting particle systems with roosting force are presented and further applications of the geometric Langevin equations are given.
△ Less
Submitted 25 April, 2012;
originally announced April 2012.
-
Geometry, mixing properties and hypocoercivity of a degenerate diffusion arising in technical textile industry
Authors:
Martin Grothaus,
Axel Klar,
Johannes Maringer,
Patrik Stilgenbauer
Abstract:
We study a stochastic equation modeling the lay-down of fibers in the production process of nonwovens. The equation can be formulated as some manifold-valued Stratonovich stochastic differential equation. Especially, we study the long time behaviour of the stochastic process. Demanding mathematical difficulties arising due to the degeneracity of the lay-down equation and its associated generator.…
▽ More
We study a stochastic equation modeling the lay-down of fibers in the production process of nonwovens. The equation can be formulated as some manifold-valued Stratonovich stochastic differential equation. Especially, we study the long time behaviour of the stochastic process. Demanding mathematical difficulties arising due to the degeneracity of the lay-down equation and its associated generator. We prove strong mixing properties by making use of the hypoellipticity of the generator and a new version of Doob's theorem derived recently by Gerlach and Nittka. Moreover, we show convergence to equilibrium exponentially fast with explicitly computable rate of convergence. This analytic approach uses powerful modern Hilbert space methods from the theory of hypocoercivity developed by Dolbeault, Mouhot and Schmeiser. Summarizing, we give interesting mathematical applications of geometric stochastic analysis to real world problems.
△ Less
Submitted 20 March, 2012;
originally announced March 2012.
-
On a nonlinear partial differential algebraic system arising in technical textile industry: Analysis and numerics
Authors:
Martin Grothaus,
Nicole Marheineke
Abstract:
In this paper we explore a numerical scheme for a nonlinear fourth order system of partial differential algebraic equations that describes the dynamics of slender inextensible elastica as they arise in the technical textile industry. Applying a semi-discretization in time, the resulting sequence of nonlinear elliptic systems with the algebraic constraint for the local length preservation is reform…
▽ More
In this paper we explore a numerical scheme for a nonlinear fourth order system of partial differential algebraic equations that describes the dynamics of slender inextensible elastica as they arise in the technical textile industry. Applying a semi-discretization in time, the resulting sequence of nonlinear elliptic systems with the algebraic constraint for the local length preservation is reformulated as constrained optimization problems in a Hilbert space setting that admit a solution at each time level. Stability and convergence of the scheme are proved. The numerical realization is based on a finite element discretization in space. The simulation results confirm the analytically predicted properties of the scheme.
△ Less
Submitted 18 March, 2015; v1 submitted 16 March, 2012;
originally announced March 2012.
-
Construction of a finite volume dynamical wetting model with δ-pinning in (d+1)-dimension via Dirichlet forms
Authors:
Torben Fattler,
Martin Grothaus,
Robert Voßhall
Abstract:
We give a Dirichlet form approach for the construction of a distorted Brownian motion in $E := [0;\infty)^n$, $n\in\mathbb{N}$, where the behavior on the boundary is determined by the competing effects of reflection from and pinning at the boundary. The problem is formulated in an $L^2$-setting with underlying measure $μ=\varrho m$. Here $\varrho$ is a positive density, integrable with respect to…
▽ More
We give a Dirichlet form approach for the construction of a distorted Brownian motion in $E := [0;\infty)^n$, $n\in\mathbb{N}$, where the behavior on the boundary is determined by the competing effects of reflection from and pinning at the boundary. The problem is formulated in an $L^2$-setting with underlying measure $μ=\varrho m$. Here $\varrho$ is a positive density, integrable with respect to the measure $m$ and fulfilling the Hamza condition. The measure $m$ is such that the boundary of $E$ is not of $m$-measure zero. A reference measure of this type is needed in order to give meaning to the so-called Wentzell boundary condition which is in literature typical for modeling such kind of boundary behavior. In providing a Skorokhod decomposition of the constructed process we are able to justify that the stochastic process is solving the underlying stochastic differential equation weakly in the sense of N. Ikeda and Sh. Watanabe for quasi every starting point. At the boundary the constructed process indeed is governed by the competing effects of reflection and pinning. In order to obtain the Skorokhod decomposition we need $\varrho$ to be continuously differentiable on $E$, which is equivalent to continuity of the logarithmic derivative of $\varrho$. Furthermore, we assume that the logarithmic derivative of $\varrho$ is square integrable with respect to $μ$. We do not need that the logarithmic derivative of $\varrho$ is Lipschitz continuous. In particular, our considerations enable us to construct a dynamical wetting model (also known as Ginzburg-Landau dynamics) on a bounded set $D_N\subset\mathbb{Z}^d$ under mild assumptions on the underlying pair interaction potentials in all dimensions $d\in\mathbb{N}$. In dimension $d=2$ this model describes the motion of an interface resulting from wetting of a solid surface by a fluid.
△ Less
Submitted 9 March, 2012;
originally announced March 2012.
-
The Feynman integrand for the Charged Particle in a Constant Magnetic field as White Noise Distribution
Authors:
Wolfgang Bock,
Martin Grothaus,
Sebastian Jung
Abstract:
The concepts of Feynman integrals in white noise analysis are used to realize the Feynman integrand for a charged particle in a constant magnetic field as a Hida distribution. For this purpose we identify the velocity dependent potential as a so called generalized Gauss kernel.
The concepts of Feynman integrals in white noise analysis are used to realize the Feynman integrand for a charged particle in a constant magnetic field as a Hida distribution. For this purpose we identify the velocity dependent potential as a so called generalized Gauss kernel.
△ Less
Submitted 29 February, 2012;
originally announced March 2012.
-
Construction of $\mathcal L^p$-strong Feller Processes via Dirichlet Forms and Applications to Elliptic Diffusions
Authors:
Benedict Baur,
Martin Grothaus,
Patrik Stilgenbauer
Abstract:
We provide a general construction scheme for $\mathcal L^p$-strong Feller processes on locally compact separable metric spaces. Starting from a regular Dirichlet form and specified regularity assumptions, we construct an associated semigroup and resolvents of kernels having the $\mathcal L^p$-strong Feller property. They allow us to construct a process which solves the corresponding martingale pro…
▽ More
We provide a general construction scheme for $\mathcal L^p$-strong Feller processes on locally compact separable metric spaces. Starting from a regular Dirichlet form and specified regularity assumptions, we construct an associated semigroup and resolvents of kernels having the $\mathcal L^p$-strong Feller property. They allow us to construct a process which solves the corresponding martingale problem for all starting points from a known set, namely the set where the regularity assumptions hold. We apply this result to construct elliptic diffusions having locally Lipschitz matrix coefficients and singular drifts on general open sets with absorption at the boundary. In this application elliptic regularity results imply the desired regularity assumptions.
△ Less
Submitted 21 December, 2011;
originally announced December 2011.
-
Analytically weak solutions to SPDEs with unbounded time-dependent differential operators and an application
Authors:
Benedict Baur,
Martin Grothaus,
Tan Thanh Mai
Abstract:
We analyze the concepts of analytically weak solutions of stochastic differential equations (SDEs) in Hilbert spaces with time-dependent unbounded operators and give conditions for existence and uniqueness of such solutions. Our studies are motivated by a stochastic partial differential equation (SPDE) arising in industrial mathematics.
We analyze the concepts of analytically weak solutions of stochastic differential equations (SDEs) in Hilbert spaces with time-dependent unbounded operators and give conditions for existence and uniqueness of such solutions. Our studies are motivated by a stochastic partial differential equation (SPDE) arising in industrial mathematics.
△ Less
Submitted 30 January, 2013; v1 submitted 8 December, 2011;
originally announced December 2011.
-
An Invariance Principle for the Tagged Particle Process in Continuum with Singular Interaction Potential
Authors:
Florian Conrad,
Torben Fattler,
Martin Grothaus
Abstract:
We consider the dynamics of a tagged particle in an infinite particle environment moving according to a stochastic gradient dynamics. For singular interaction potentials this tagged particle dynamics was constructed first in [FG11], using closures of pre-Dirichlet forms which were already proposed in [GP87] and [Osa98]. The environment dynamics and the coupled dynamics of the tagged particle and t…
▽ More
We consider the dynamics of a tagged particle in an infinite particle environment moving according to a stochastic gradient dynamics. For singular interaction potentials this tagged particle dynamics was constructed first in [FG11], using closures of pre-Dirichlet forms which were already proposed in [GP87] and [Osa98]. The environment dynamics and the coupled dynamics of the tagged particle and the environment were constructed separately. Here we continue the analysis of these processes: Proving an essential m-dissipativity result for the generator of the coupled dynamics from [FG11], we show that this dynamics does not only contain the environment dynamics (as one component), but is, given the latter, the only possible choice for being the coupled process. Moreover, we identify the uniform motion of the environment as the reversed motion of the tagged particle. (Since the dynamics are constructed as martingale solutions on configuration space, this is not immediate.) Furthermore, we prove ergodicity of the environment dynamics, whenever the underlying reference measure is a pure phase of the system. Finally, we show that these considerations are sufficient to apply [DMFGW89] for proving an invariance principle for the tagged particle process. We remark that such an invariance principle was studied before in [GP87] for smooth potentials, and shown by abstract Dirichlet form methods in [Osa98] for singular potentials. Our results apply for a general class of Ruelle measures corresponding to potentials possibly having infinite range, a non-integrable singularity at 0 and a nontrivial negative part, and fulfill merely a weak differentiability condition on $\mathbb R^d\setminus\{0\}$.
△ Less
Submitted 26 March, 2012; v1 submitted 11 July, 2011;
originally announced July 2011.
-
Parameter Estimation from Occupation Times
Authors:
Wolfgang Bock,
Thomas Götz,
Martin Grothaus,
Uditha Prabhath Liyanage
Abstract:
We derive an equation to compute directly the expected occupation time of the centered Ornstein-Uhlenbeck process. This allows us to identify the parameters of the Ornstein-Uhlenbeck process for available occupation times via a standard least squares minimization. To test the method, we generate occupation times via Monte-Carlo simulations and recover the parameters with the above mentioned proced…
▽ More
We derive an equation to compute directly the expected occupation time of the centered Ornstein-Uhlenbeck process. This allows us to identify the parameters of the Ornstein-Uhlenbeck process for available occupation times via a standard least squares minimization. To test the method, we generate occupation times via Monte-Carlo simulations and recover the parameters with the above mentioned procedure.
△ Less
Submitted 27 May, 2011;
originally announced May 2011.
-
Smooth Contractive Embeddings and Application to Feynman Formula for Parabolic Equations on Smooth Bounded Domains
Authors:
Benedict Baur,
Florian Conrad,
Martin Grothaus
Abstract:
We prove two assumptions made in an article by Ya.A. Butko, M. Grothaus, O.G. Smolyanov concerning the existence of a strongly continuous operator semigroup solving a Cauchy-Dirichlet problem for an elliptic differential operator in a bounded domain and the existence of a smooth contractive embedding of a core of the generator of the semigroup into the space $C_c^{2,α}(\R^n)$. Based on these assum…
▽ More
We prove two assumptions made in an article by Ya.A. Butko, M. Grothaus, O.G. Smolyanov concerning the existence of a strongly continuous operator semigroup solving a Cauchy-Dirichlet problem for an elliptic differential operator in a bounded domain and the existence of a smooth contractive embedding of a core of the generator of the semigroup into the space $C_c^{2,α}(\R^n)$. Based on these assumptions a Feynman formula for the solution of the Cauchy-Dirichlet problem is constructed in the article mentioned above. In this article we show that the assumptions are fulfilled for domains with $C^{4,α}$-smooth boundary and coefficients in $C^{2,α}$.
△ Less
Submitted 6 December, 2010;
originally announced December 2010.
-
A White Noise Approach to Phase Space Feynman Path Integrals
Authors:
Wolfgang Bock,
Martin Grothaus
Abstract:
The concepts of phase space Feynman integrals in White Noise Analysis are established. As an example the harmonic oscillator is treated. The approach perfectly reproduces the right physics. I.e., solutions to the Schrödinger equation are obtained and the canonical commutation relations are satisfied. The later can be shown, since we not only construct the integral but rather the Feynman integrand…
▽ More
The concepts of phase space Feynman integrals in White Noise Analysis are established. As an example the harmonic oscillator is treated. The approach perfectly reproduces the right physics. I.e., solutions to the Schrödinger equation are obtained and the canonical commutation relations are satisfied. The later can be shown, since we not only construct the integral but rather the Feynman integrand and the corresponding generating functional.
△ Less
Submitted 6 December, 2010;
originally announced December 2010.
-
N/V-limit for Langevin dynamics in continuum
Authors:
Florian Conrad,
Martin Grothaus
Abstract:
We construct an infinite particle/infinite volume Langevin dynamics on the space of configurations in $\R^d$ having velocities as marks. The construction is done via a limiting procedure using $N$-particle dynamics in cubes $(-λ,λ]^d$ with periodic boundary conditions. A main step to this result is to derive an (improved) Ruelle bound for the canonical correlation functions of $N$-particle syste…
▽ More
We construct an infinite particle/infinite volume Langevin dynamics on the space of configurations in $\R^d$ having velocities as marks. The construction is done via a limiting procedure using $N$-particle dynamics in cubes $(-λ,λ]^d$ with periodic boundary conditions. A main step to this result is to derive an (improved) Ruelle bound for the canonical correlation functions of $N$-particle systems in $(-λ,λ]^d$ with periodic boundary conditions. After proving tightness of the laws of finite particle dynamics, the identification of accumulation points as martingale solutions of the Langevin equation is based on a general study of properties of measures on configuration space (and their weak limit) fulfilling a uniform Ruelle bound. Additionally, we prove that the initial/invariant distribution of the constructed dynamics is a tempered grand canonical Gibbs measure. All proofs work for general repulsive interaction potentials $φ$ of Ruelle type (e.g. the Lennard-Jones potential) and all temperatures, densities and dimensions $d\geq 1$.
△ Less
Submitted 16 May, 2008;
originally announced May 2008.
-
Tagged particle process in continuum with singular interactions
Authors:
Torben Fattler,
Martin Grothaus
Abstract:
By using Dirichlet form techniques we construct the dynamics of a tagged particle in an infinite particle environment of interacting particles for a large class of interaction potentials. In particular, we can treat interaction potentials having a singularity at the origin, non-trivial negative part and infinite range, as e.g., the Lennard-Jones potential.
By using Dirichlet form techniques we construct the dynamics of a tagged particle in an infinite particle environment of interacting particles for a large class of interaction potentials. In particular, we can treat interaction potentials having a singularity at the origin, non-trivial negative part and infinite range, as e.g., the Lennard-Jones potential.
△ Less
Submitted 8 September, 2009; v1 submitted 30 April, 2008;
originally announced April 2008.
-
N/V-limit for Stochastic Dynamics in Continuous Particle Systems
Authors:
Martin Grothaus,
Yuri G. Kondratiev,
Michael Röckner
Abstract:
We provide an $N/V$-limit for the infinite particle, infinite volume stochastic dynamics associated with Gibbs states in continuous particle systems on $\mathbb R^d$, $d \ge 1$. Starting point is an $N$-particle stochastic dynamic with singular interaction and reflecting boundary condition in a subset $Λ\subset {\mathbb R}^d$ with finite volume (Lebesgue measure) $V = |Λ| < \infty$. The aim is t…
▽ More
We provide an $N/V$-limit for the infinite particle, infinite volume stochastic dynamics associated with Gibbs states in continuous particle systems on $\mathbb R^d$, $d \ge 1$. Starting point is an $N$-particle stochastic dynamic with singular interaction and reflecting boundary condition in a subset $Λ\subset {\mathbb R}^d$ with finite volume (Lebesgue measure) $V = |Λ| < \infty$. The aim is to approximate the infinite particle, infinite volume stochastic dynamic by the above $N$-particle dynamic in $Λ$ as $N \to \infty$ and $V \to \infty$ such that $N/V \to ρ$, where $ρ$ is the particle density.
△ Less
Submitted 20 December, 2005;
originally announced December 2005.
-
Scaling limit of stochastic dynamics in classical continuous systems
Authors:
Martin Grothaus,
Yuri G. Kondratiev,
Eugene Lytvynov,
Michael Roeckner
Abstract:
We investigate a scaling limit of gradient stochastic dynamics associated to Gibbs states in classical continuous systems on ${\mathbb R}^d, d \ge 1$. The aim is to derive macroscopic quantities from a given micro- or mesoscopic system. The scaling we consider has been investigated in \cite{Br80}, \cite{Ro81}, \cite{Sp86}, and \cite{GP86}, under the assumption that the underlying potential is in…
▽ More
We investigate a scaling limit of gradient stochastic dynamics associated to Gibbs states in classical continuous systems on ${\mathbb R}^d, d \ge 1$. The aim is to derive macroscopic quantities from a given micro- or mesoscopic system. The scaling we consider has been investigated in \cite{Br80}, \cite{Ro81}, \cite{Sp86}, and \cite{GP86}, under the assumption that the underlying potential is in $C^3_0$ and positive. We prove that the Dirichlet forms of the scaled stochastic dynamics converge on a core of functions to the Dirichlet form of a generalized Ornstein--Uhlenbeck process. The proof is based on the analysis and geometry on the configuration space which was developed in \cite{AKR98a}, \cite{AKR98b}, and works for general Gibbs measures of Ruelle type. Hence, the underlying potential may have a singularity at the origin, only has to be bounded from below, and may not be compactly supported. Therefore, singular interactions of physical interest are covered, as e.g. the one given by the Lennard--Jones potential, which is studied in the theory of fluids. Furthermore, using the Lyons--Zheng decomposition we give a simple proof for the tightness of the scaled processes. We also prove that the corresponding generators, however, do not converge in the $L^2$-sense. This settles a conjecture formulated in \cite{Br80}, \cite{Ro81}, \cite{Sp86}.
△ Less
Submitted 20 November, 2002;
originally announced November 2002.
-
Knots, Feynman Diagrams and Matrix Models
Authors:
Martin Grothaus,
Ludwig Streit,
Igor V. Volovich
Abstract:
An U(N)-invariant matrix model with d matrix variables is studied. It was shown that in the limit $N\to \infty $ and $d\to 0$ the model describes the knot diagrams. We realize the free partition function of the matrix model as the generalized expectation of a Hida distribution $Φ_{N,d}$. This enables us to give a mathematically rigorous meaning to the partition function with interaction. For the…
▽ More
An U(N)-invariant matrix model with d matrix variables is studied. It was shown that in the limit $N\to \infty $ and $d\to 0$ the model describes the knot diagrams. We realize the free partition function of the matrix model as the generalized expectation of a Hida distribution $Φ_{N,d}$. This enables us to give a mathematically rigorous meaning to the partition function with interaction. For the generalized function $Φ_{N,d}$ we prove a Wick theorem and we derive explicit formulas for the propagators.
△ Less
Submitted 3 August, 1999;
originally announced August 1999.
