Search arXiv⌕ Search

arXiv subjects

Moritz Gerlach

Publications and source records attributed to Moritz Gerlach.

15 recordsLinked to original sources
arXiv2024

On Characteristics of the Range of Integral Operators

We show that a positive operator between $L^p$-spaces is given by integration against a kernel function if and only if the image of each positive function has a lower semi-continuous representative with respect to a suitable topology. This is a consequence of a new characterization of kernel operators on general Banach lattices as those operators whose range can be represented over a fixed countable set of positive vectors. Similar results are shown to hold for operators that merely dominate a non-trivial kernel operator.

math.FA↗
arXiv2024

A Generalization of Lévy's Theorem on Positive Matrix Semigroups

We generalize a fundamental theorem on positive matrix semigroups stating that each component is either strictly positive for all times or identically zero ("Lévy's Theorem"). Our proof of this fact that does not require the matrices to be Markovian nor to be continuous at time zero. We also provide a formulation of this theorem in the terminology of one-parameter operator semigroups on sequence spaces.

math.FA↗
arXiv2021

Stability of transition semigroups and applications to parabolic equations

The paper deals with the long-term behavior of positive operator semigroups on spaces of bounded functions and of signed measures, which have applications to parabolic equations with unbounded coefficients and to stochastic analysis. The main results are a Tauberian type theorem characterizing the convergence to equilibrium of strongly Feller semigroups and a generalization of a classical convergence theorem of Doob. None of these results requires any kind of time regularity of the semigroup.

math.FA↗
arXiv2019

Convergence of Positive Operator Semigroups

We present new conditions for semigroups of positive operators to converge strongly as time tends to infinity. Our proofs are based on a novel approach combining the well-known splitting theorem by Jacobs, de Leeuw and Glicksberg with a purely algebraic result about positive group representations. Thus we obtain convergence theorems not only for one-parameter semigroups but for a much larger class of semigroup representations. Our results allow for a unified treatment of various theorems from the literature that, under technical assumptions, a bounded positive $C_0$-semigroup containing or dominating a kernel operator converges strongly as $t \to \infty$. We gain new insights into the structure theoretical background of those theorems and generalise them in several respects; especially we drop any kind of continuity or regularity assumption with respect to the time parameter.

math.FA↗
arXiv2018

Mean ergodicity vs weak almost periodicity

We provide explicit examples of positive and power-bounded operators on $c_0$ and $\ell^\infty$ which are mean ergodic but not weakly almost periodic. As a consequence we prove that a countably order complete Banach lattice on which every positive and power-bounded mean ergodic operator is weakly almost periodic is necessarily a KB-space. This answers several open questions from the literature. Finally, we prove that if $T$ is a positive mean ergodic operator with zero fixed space on an arbitrary Banach lattice, then so is every power of $T$.

math.FA↗
arXiv2018

Error estimates for spectral convergence of the graph Laplacian on random geometric graphs towards the Laplace--Beltrami operator

We study the convergence of the graph Laplacian of a random geometric graph generated by an i.i.d. sample from a $m$-dimensional submanifold $M$ in $R^d$ as the sample size $n$ increases and the neighborhood size $h$ tends to zero. We show that eigenvalues and eigenvectors of the graph Laplacian converge with a rate of $O\Big(\big(\frac{\log n}{n}\big)^\frac{1}{2m}\Big)$ to the eigenvalues and eigenfunctions of the weighted Laplace-Beltrami operator of $M$. No information on the submanifold $M$ is needed in the construction of the graph or the "out-of-sample extension" of the eigenvectors. Of independent interest is a generalization of the rate of convergence of empirical measures on submanifolds in $R^d$ in infinity transportation distance.

stat.ML↗
arXiv2017

On a Convergence Theorem for Semigroups of Positive Integral Operators

We give a new and very short proof of a theorem of Greiner asserting that a positive and contractive $C_0$-semigroup on an $L^p$-space is strongly convergent in case that it has a strictly positive fixed point and contains an integral operator. Our proof is a streamlined version of a much more general approach to the asymptotic theory of positive semigroups developed recently by the authors. Under the assumptions of Greiner's theorem, this approach becomes particularly elegant and simple. We also give an outlook on several generalisations of this result.

math.FA↗
arXiv2017

Convergence of Dynamics and the Perron-Frobenius Operator

We complete the picture how the asymptotic behavior of a dynamical system is reflected by properties of the associated Perron-Frobenius operator. Our main result states that strong convergence of the powers of the Perron-Frobenius operator is equivalent to setwise convergence of the underlying dynamic in the measure algebra. This situation is furthermore characterized by a uniform mixing-like property of the system.

math.DS↗
arXiv2016

Lower Bounds and the Asymptotic Behaviour of Positive Operator Semigroups

If $(T_t)$ is a semigroup of Markov operators on an $L^1$-space that admits a non-trivial lower bound, then a well-known theorem of Lasota and Yorke asserts that the semigroup is strongly convergent as $t \to \infty$. In this article we generalise and improve this result in several respects. First, we give a new and very simple proof for the fact that the same conclusion also holds if the semigroup is merely assumed to be bounded instead of Markov. As a main result we then prove a version of this theorem for semigroups which only admit certain individual lower bounds. Moreover, we generalise a theorem of Ding on semigroups of Frobenius-Perron operators. We also demonstrate how our results can be adapted to the setting of general Banach lattices and we give some counterexamples to show optimality of our results. Our methods combine some rather concrete estimates and approximation arguments with abstract functional analytical tools. One of these tools is a theorem which relates the convergence of a time-continuous operator semigroup to the convergence of embedded discrete semigroups.

math.FA↗
arXiv2013

On the lattice structure of weakly continuous operators on the space of measures

Consider the lattice of bounded linear operators on the space of Borel measures on a Polish space. We prove that the operators which are continuous with respect to the weak topology induced by the bounded measurable functions form a sublattice that is lattice isomorphic to the space of transition kernels. As an application we present a purely analytic proof of Doob's theorem concerning stability of transition semigroups.

math.FA↗
arXiv2012

On the peripheral point spectrum and the asymptotic behavior of irreducible semigroups of Harris operators

Given a positive, irreducible and bounded C_0-semigroup on a Banach lattice with order continuous norm, we prove that the peripheral point spectrum of its generator is trivial whenever one of its operators dominates a non-trivial compact or kernel operator. For a discrete semigroup, i.e. for powers of a single operator T, we show that the point spectrum of some power T^k intersects the unit circle at most in 1. As a consequence, we obtain a sufficient condition for strong convergence of the C_0-semigroup and for a subsequence of the powers of T, respectively.

math.FA↗
arXiv2012

Mean ergodic theorems on norming dual pairs

We extend the classical mean ergodic theorem to the setting of norming dual pairs. It turns out that, in general, not all equivalences from the Banach space setting remain valid in our situation. However, for Markovian semigroups on the norming dual pair (C_b(E), M(E)) all classical equivalences hold true under an additional assumption which is slightly weaker than the e-property.

math.FA↗
arXiv2011

A new proof of Doob's theorem

We prove that every bounded, positive, irreducible, stochastically continuous semigroup on the space of bounded, measurable functions which is strong Feller, consists of kernel operators and possesses an invariant measure converges pointwise. This differs from Doob's theorem in that we do not require the semigroup to be Markovian and request a fairly weak kind of irreducibility. In addition, we elaborate on the various notions of kernel operators in this context, show the stronger result that the adjoint semigroup converges strongly and discuss as an example diffusion equations on rough domains. The proofs are based on the theory of positive semigroups and do not use probability theory.

math.FA↗