arXiv subjects
Publications and source records attributed to Moritz Gerlach.
We generalize a fundamental theorem on positive matrix semigroups stating that each component is either strictly positive for all times or identically zero ("L\'evy'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.
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.
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.
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.
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$.
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.
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.
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.
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.
We characterize Markov lattice semigroups induced by measurable semiflows on probability spaces by properties of their generators. In addition we construct topological models on compact spaces for such semigroups.
We prove that a weakly ergodic, eventually strong Feller semigroup on the space of measures on a Polish space converges strongly to a projection onto its fixed space.
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.
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.
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.
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.