Source author record

Martin Grothaus

Martin Grothaus appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

24works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

24 published item(s)

preprint2022arXiv

Essential m-dissipativity and hypocoercivity of Langevin dynamics with multiplicative noise

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.

preprint2020arXiv

Hypocoercivity of Langevin-type dynamics on abstract smooth manifolds

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.

preprint2016arXiv

Hilbert space hypocoercivity for the Langevin dynamics revisited

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.

preprint2015arXiv

A Fundamental Solution to the Schrödinger Equation with Doss Potentials and its Smoothness

We construct a fundamental solution to the Schrödinger equation for a class of potentials of polynomial type by a complex scaling approach as in [Doss1980]. The solution is given as the generalized expectation of a white noise distribution. Moreover, we obtain an explicit formula as the expectation of a function of Brownian motion. This allows to show its differentiability in the classical sense. The admissible potentials may grow super-quadratically, thus by a result from [Yajima1996] the solution does not belong to the self-adjoint extension of the Hamiltonian.

preprint2015arXiv

A hypocoercivity related ergodicity method with rate of convergence for singularly distorted degenerate Kolmogorov equations and applications

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.

preprint2015arXiv

Construction and analysis of sticky reflected diffusions

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\}$.

preprint2015arXiv

Mittag-Leffler Analysis II: Application to the fractional heat equation

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.

preprint2015arXiv

On a nonlinear partial differential algebraic system arising in technical textile industry: Analysis and numerics

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.

preprint2014arXiv

A White Noise Approach to the Feynman Integrand for Electrons in Random Media

Using the Feynman path integral representation of quantum mechanics it is possible to derive a model of an electron in a random system containing dense and weakly-coupled scatterers, see [Proc. Phys. Soc. 83, 495-496 (1964)]. The main goal of this paper is to give a mathematically rigorous realization of the corresponding Feynman integrand in dimension one based on the theory of white noise analysis. We refine and apply a Wick formula for the product of a square-integrable function with Donsker's delta functions and use a method of complex scaling. As an essential part of the proof we also establish the existence of the exponential of the self-intersection local times of a one-dimensional Brownian bridge. As result we obtain a neat formula for the propagator with identical start and end point. Thus, we obtain a well-defined mathematical object which is used to calculate the density of states, see e.g. [Proc. Phys. Soc. 83, 495-496 (1964)].

preprint2014arXiv

Construction and analysis of a sticky reflected distorted Brownian motion

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.

preprint2013arXiv

Analytically weak solutions to SPDEs with unbounded time-dependent differential operators and an application

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.

preprint2013arXiv

The Hamiltonian Path Integrand for the Charged Particle in a Constant Magnetic field as White Noise Distribution

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.

preprint2012arXiv

Construction of a finite volume dynamical wetting model with δ-pinning in (d+1)-dimension via Dirichlet forms

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.

preprint2012arXiv

Geometric Langevin equations on submanifolds and applications to the stochastic melt-spinning process of nonwovens and biology

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.

preprint2012arXiv

Geometry, mixing properties and hypocoercivity of a degenerate diffusion arising in technical textile industry

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.

preprint2012arXiv

Hypocoercivity for Kolmogorov backward evolution equations and applications

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.

preprint2011arXiv

Construction of $\mathcal L^p$-strong Feller Processes via Dirichlet Forms and Applications to Elliptic Diffusions

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.

preprint2011arXiv

Parameter Estimation from Occupation Times

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.

preprint2010arXiv

A White Noise Approach to Phase Space Feynman Path Integrals

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.

preprint2010arXiv

Smooth Contractive Embeddings and Application to Feynman Formula for Parabolic Equations on Smooth Bounded Domains

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,α}$.

preprint2008arXiv

N/V-limit for Langevin dynamics in continuum

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$.