Showing 1–50 of 64 results for author: Glück, J

Square Root Operators and the Well-Posedness of Pseudodifferential Parabolic Models of Wave Phenomena

Authors: Matthias Ehrhardt, Jochen Glück, Pavel Petrov, Stefan Tappe

Abstract: Pseudodifferential parabolic equations with an operator square root arise in wave propagation problems as a one-way counterpart of the Helmholtz equation. The expression under the square root usually involves a differential operator and a known function. We discuss a rigorous definition of such operator square roots and show well-posedness of the pseudodifferential parabolic equation by using the… ▽ More Pseudodifferential parabolic equations with an operator square root arise in wave propagation problems as a one-way counterpart of the Helmholtz equation. The expression under the square root usually involves a differential operator and a known function. We discuss a rigorous definition of such operator square roots and show well-posedness of the pseudodifferential parabolic equation by using the theory of strongly continuous semigroups. This provides a justification for a family of widely-used numerical methods for wavefield simulations in various areas of physics. △ Less

Submitted 30 April, 2025; originally announced April 2025.

Comments: 7 pages

MSC Class: 35S10; 47G30; 76Q05

A functional representation approach to vector lattice covers for spaces of compact operators

Authors: Onno van Gaans, Jochen Glück, Anke Kalauch

Abstract: For ordered normed vector spaces $X, Y$, we consider the space $\mathcal{L}(X,Y)$ of bounded linear operators and characterize when its cone of positive operators has non-empty interior. When this is satisfied, we give a functional representation of the closure $\mathcal{C}(X,Y)$ of the finite rank operators in $\mathcal{L}(X,Y)$. This space is particularly interesting since it coincides in many c… ▽ More For ordered normed vector spaces $X, Y$, we consider the space $\mathcal{L}(X,Y)$ of bounded linear operators and characterize when its cone of positive operators has non-empty interior. When this is satisfied, we give a functional representation of the closure $\mathcal{C}(X,Y)$ of the finite rank operators in $\mathcal{L}(X,Y)$. This space is particularly interesting since it coincides in many cases with the space of compact operators from $X$ to $Y$. Our functional representation has very good order properties in the sense that it is a so-called vector lattice cover of $\mathcal{C}(X,Y)$. This can be used to characterize disjointness of operators in $\mathcal{C}(X,Y)$ and to determine which operators have a modulus in $\mathcal{C}(X,Y)$. We demonstrate how our results can be applied to a variety of concrete spaces. △ Less

Submitted 6 March, 2025; originally announced March 2025.

Comments: 15 pages

MSC Class: 46B40; 47B65

Positivity properties of the Dirichlet-to-Neumann operator on graphs

Authors: Daniel Daners, Jochen Glück, James B. Kennedy

Abstract: We explore positivity properties of the semigroup generated by the negative of the Dirichlet-to-Neumann operator with real potential $λ$, defined on a subset of the vertices of a quantum graph. We show that for rationally independent edge lengths and suitable graph topologies, this semigroup will alternate between being positive, eventually positive without being positive (that is, positive only f… ▽ More We explore positivity properties of the semigroup generated by the negative of the Dirichlet-to-Neumann operator with real potential $λ$, defined on a subset of the vertices of a quantum graph. We show that for rationally independent edge lengths and suitable graph topologies, this semigroup will alternate between being positive, eventually positive without being positive (that is, positive only for sufficiently large times), and not even eventually positive, as $λ\to \infty$. For other graph topologies, the semigroup will alternate between being positive and not eventually positive. The topological conditions are related to a reduced graph which is a schematic map of the connections between the vertices on which the Dirichlet-to-Neumann operator acts. △ Less

Submitted 23 February, 2025; originally announced February 2025.

MSC Class: 34B45; 47A10; 47D03

Automatic time continuity of positive matrix and operator semigroups

Authors: Jochen Glück

Abstract: We consider a matrix semigroup $T: [0,\infty) \to \mathbb{R}^{d \times d}$ without assuming any measurability properties and show that, if $T$ is bounded close to $0$ and $T(t) \ge 0$ entrywise for all $t$, then $T$ is continuous. This complements classical results for the scalar-valued case. We also prove an analogous result if $T$ takes values in the positive operators over a sequence space. We consider a matrix semigroup $T: [0,\infty) \to \mathbb{R}^{d \times d}$ without assuming any measurability properties and show that, if $T$ is bounded close to $0$ and $T(t) \ge 0$ entrywise for all $t$, then $T$ is continuous. This complements classical results for the scalar-valued case. We also prove an analogous result if $T$ takes values in the positive operators over a sequence space. △ Less

Submitted 19 February, 2025; originally announced February 2025.

Comments: 6 pages

MSC Class: 47D06; 47B65

Increasing sequences in ordered Banach spaces -- new theorems and open problems

Authors: Jochen Glück

Abstract: An ordered Banach space $X$ is said to have the Levi property or to be regular if every increasing order bounded net (equivalently, sequence) is norm convergent. We prove four theorems related to this classical concept: (i) The Levi property follows from the - formally weaker - assumption that every increasing net that has a minimal upper bound is norm convergent. This motivates a discussion abo… ▽ More An ordered Banach space $X$ is said to have the Levi property or to be regular if every increasing order bounded net (equivalently, sequence) is norm convergent. We prove four theorems related to this classical concept: (i) The Levi property follows from the - formally weaker - assumption that every increasing net that has a minimal upper bound is norm convergent. This motivates a discussion about in which sense the Levi property resembles the notion of order continuous norm from Banach lattice theory. (ii) If $X$ is separable and has normal cone, then the assumption that every increasing order bounded sequence has a supremum implies the Levi property. This generalizes a classical result about Banach lattices, but requires new ideas since one cannot work with disjoint sequences in the proof. (iii) A version of Dini's theorem for ordered Banach spaces that is more general than what is typically stated in the literature. We use this to derive a sufficient condition for the space of all compact operators between two Banach lattices to have the Levi property. (iv) Dini's theorem never holds on reflexive ordered Banach spaces with non-normal cone - i.e., on such a space one can always find an increasing sequence that converges weakly but not in norm. We illustrate our results by various examples and counterexamples and pose four open problems. △ Less

Submitted 29 September, 2024; originally announced September 2024.

Comments: 25 pages

MSC Class: 46B40

Uniform ergodic theorems for semigroup representations

Authors: Jochen Glück, Patrick Hermle, Henrik Kreidler

Abstract: We consider a bounded representation $T$ of a commutative semigroup $S$ on a Banach space and analyse the relation between three concepts: (i) properties of the unitary spectrum of $T$, which is defined in terms of semigroup characters on $S$; (ii) uniform mean ergodic properties of $T$; and (iii) quasi-compactness of $T$. We use our results to generalize the celebrated Niiro-Sawashima theorem t… ▽ More We consider a bounded representation $T$ of a commutative semigroup $S$ on a Banach space and analyse the relation between three concepts: (i) properties of the unitary spectrum of $T$, which is defined in terms of semigroup characters on $S$; (ii) uniform mean ergodic properties of $T$; and (iii) quasi-compactness of $T$. We use our results to generalize the celebrated Niiro-Sawashima theorem to semigroup representations and, as a consequence, obtain the following: if a positive and bounded semigroup representation on a Banach lattice is uniformly mean ergodic and has finite-dimensional fixed space, then it is quasi-compact. △ Less

Submitted 16 August, 2024; originally announced August 2024.

Comments: 33 pages

MSC Class: 47D03; 47D06; 47B65; 46B42

A note on the positivity of inverse operators acting on $C^*$-algebras

Authors: Jochen Glück, Ulrich Groh

Abstract: For a positive and invertible linear operator $T$ acting on a $C^*$-algebra, we give necessary and sufficient criteria for the inverse operator $T^{-1}$ to be positive, too. Moreover, a simple counterexample shows that $T^{-1}$ need not be positive even if $T$ is unital and its spectrum is contained in the unit circle. For a positive and invertible linear operator $T$ acting on a $C^*$-algebra, we give necessary and sufficient criteria for the inverse operator $T^{-1}$ to be positive, too. Moreover, a simple counterexample shows that $T^{-1}$ need not be positive even if $T$ is unital and its spectrum is contained in the unit circle. △ Less

Submitted 7 July, 2024; originally announced July 2024.

Comments: 16 pages

MSC Class: 37A55; 46L40; 46L55; 47B65

A note on the Huijsmans-de Pagter problem on finite dimensional ordered vector spaces

Authors: Catalin Badea, Jochen Glück

Abstract: A classical problem posed in 1992 by Huijsmans and de Pagter asks whether, for every positive operator $T$ on a Banach lattice with spectrum $σ(T) = \{1\}$, the inequality $T \ge \operatorname{id}$ holds true. While the problem remains unsolved in its entirety, a positive solution is known in finite dimensions. In the broader context of ordered Banach spaces, Drnovšek provided an infinite-dimensio… ▽ More A classical problem posed in 1992 by Huijsmans and de Pagter asks whether, for every positive operator $T$ on a Banach lattice with spectrum $σ(T) = \{1\}$, the inequality $T \ge \operatorname{id}$ holds true. While the problem remains unsolved in its entirety, a positive solution is known in finite dimensions. In the broader context of ordered Banach spaces, Drnovšek provided an infinite-dimensional counterexample. In this note, we demonstrate the existence of finite-dimensional counterexamples, specifically on the ice cream cone and on a polyhedral cone in $\mathbb{R}^3$. On the other hand, taking inspiration from the notion of $m$-isometries, we establish that each counterexample must contain a Jordan block of size at least $3$. △ Less

Submitted 28 May, 2024; v1 submitted 5 May, 2024; originally announced May 2024.

Comments: 8 pages ; to appear in Analysis Mathematica

MSC Class: 47B65

Non-Positivity of the heat equation with non-local Robin boundary conditions

Authors: Jochen Glück, Jonathan Mui

Abstract: We study heat equations $\partial_t u + Lu = 0$ on bounded Lipschitz domains $Ω$, where $L=-\operatorname{div}(A\nabla\;\cdot\;)$ is a second-order uniformly elliptic operator with generalised Robin boundary conditions of the form $ν\cdot A\nabla u + Bu=0$, where $B\in\mathcal{L}(L^2(\partialΩ))$ is a general operator. In contrast to large parts of the literature on non-local Robin boundary condit… ▽ More We study heat equations $\partial_t u + Lu = 0$ on bounded Lipschitz domains $Ω$, where $L=-\operatorname{div}(A\nabla\;\cdot\;)$ is a second-order uniformly elliptic operator with generalised Robin boundary conditions of the form $ν\cdot A\nabla u + Bu=0$, where $B\in\mathcal{L}(L^2(\partialΩ))$ is a general operator. In contrast to large parts of the literature on non-local Robin boundary conditions we also allow for operators $B$ that destroy the positivity preserving property of the solution semigroup $(e^{-tL})_{t\ge 0}$. Nevertheless, we obtain ultracontractivity of the semigroup under quite mild assumptions on $B$. For a certain class of operators $B$ we demonstrate that the semigroup is in fact eventually positive rather than positivity preserving. △ Less

Submitted 23 April, 2024; originally announced April 2024.

Comments: 25 pages, 1 figure

MSC Class: Primary: 35J25; 35P05; Secondary: 46B42; 47B65

The lattice structure of negative Sobolev and extrapolation spaces

Authors: Sahiba Arora, Jochen Glück, Felix L. Schwenninger

Abstract: It is well-known that the Sobolev spaces $W^{k,p}(\mathbb R^d)$ are vector lattices with respect to the pointwise almost everywhere order if $k \in \{0,1\}$, but not if $k \ge 2$. In this note, we consider negative $k$ and show that the span of the positive cone in $W^{k,p}(\mathbb R^d)$ is a vector lattice in this case. We also prove a related abstract result: if $(T(t))_{t \in [0,\infty)}$ is… ▽ More It is well-known that the Sobolev spaces $W^{k,p}(\mathbb R^d)$ are vector lattices with respect to the pointwise almost everywhere order if $k \in \{0,1\}$, but not if $k \ge 2$. In this note, we consider negative $k$ and show that the span of the positive cone in $W^{k,p}(\mathbb R^d)$ is a vector lattice in this case. We also prove a related abstract result: if $(T(t))_{t \in [0,\infty)}$ is a positive $C_0$-semigroup on a Banach lattice $X$ with order continuous norm, then the span of the cone $X_{-1,+}$ in the extrapolation space $X_{-1}$ is a vector lattice. This complements results obtained by Bátkai, Jacob, Wintermayr, and Voigt in the context of perturbation theory and provides additional context for the theory of infinite-dimensional positive systems. △ Less

Submitted 3 March, 2025; v1 submitted 2 April, 2024; originally announced April 2024.

Comments: 16 pages. This is version 3. In comparison to Version 2, Lemma 2.4, Example 4.3, and reference [16] have been added. In addition, typos and some notation have been fixed

MSC Class: 46B40; 46B42; 46E35

Limit-case admissibility for positive infinite-dimensional systems

Authors: Sahiba Arora, Jochen Glück, Lassi Paunonen, Felix L. Schwenninger

Abstract: In the context of positive infinite-dimensional linear systems, we systematically study $L^p$-admissible control and observation operators with respect to the limit-cases $p=\infty$ and $p=1$, respectively. This requires an in-depth understanding of the order structure on the extrapolation space $X_{-1}$, which we provide. These properties of $X_{-1}$ also enable us to discuss when zero-class admi… ▽ More In the context of positive infinite-dimensional linear systems, we systematically study $L^p$-admissible control and observation operators with respect to the limit-cases $p=\infty$ and $p=1$, respectively. This requires an in-depth understanding of the order structure on the extrapolation space $X_{-1}$, which we provide. These properties of $X_{-1}$ also enable us to discuss when zero-class admissibility is automatic. While those limit-cases are the weakest form of admissibility on the $L^p$-scale, it is remarkable that they sometimes follow from order theoretic and geometric assumptions. Our assumptions on the geometries of the involved spaces are minimal. △ Less

Submitted 17 May, 2025; v1 submitted 1 April, 2024; originally announced April 2024.

Comments: Weakend the assumption "the closed unit ball is upwards directed" to "the open unit ball be upwards directed". Added new references. Added some details to the proof of Theorem~4.5(a). Wording in certain places has been modified

Irreducibility of eventually positive semigroups

Authors: Sahiba Arora, Jochen Glück

Abstract: Positive $C_0$-semigroups that occur in concrete applications are, more often than not, irreducible. Therefore a deep and extensive theory of irreducibility has been developed that includes characterizations, perturbation analysis, and spectral results. Many arguments from this theory, however, break down if the semigroup is only eventually positive - a property that has recently been shown to occ… ▽ More Positive $C_0$-semigroups that occur in concrete applications are, more often than not, irreducible. Therefore a deep and extensive theory of irreducibility has been developed that includes characterizations, perturbation analysis, and spectral results. Many arguments from this theory, however, break down if the semigroup is only eventually positive - a property that has recently been shown to occur in numerous concrete evolution equations. In this article, we develop new tools that also work for the eventually positive case. The lack of positivity for small times makes it necessary to consider ideals that might only be invariant for large times. In contrast to their classical counterparts - the invariant ideals - such eventually invariant ideals require more involved methods from the theory of operator ranges. Using those methods we are able to characterize (an appropriate adaptation of) irreducibility by means of linear functionals, derive a perturbation result, prove a number of spectral theorems, and analyze the interaction of irreducibility with analyticity, all in the eventually positive case. By a number of examples, we illustrate what kind of behaviour can and cannot be expected in this setting. △ Less

Submitted 10 June, 2024; v1 submitted 10 July, 2023; originally announced July 2023.

Comments: This is version 2. Minor corrections compared to v1. 24 pages

MSC Class: 47B65; 47D06; 46B42; 47A10

Journal ref: Studia Mathematica 276 (2024), 99-129

Eventual cone invariance revisited

Authors: Jochen Glück, Julian Hölz

Abstract: We consider finite-dimensional real vector spaces $X$ ordered by a closed cone $X_+$ with non-empty interior and study eventual nonnegativity of matrix semigroups $(e^{tA})_{t \ge 0}$ with respect to this cone. Our first contribution is the observation that, for general cones, one needs to distinguish between different notions of eventual nonnegativity: (i) uniform eventual nonnegativity means t… ▽ More We consider finite-dimensional real vector spaces $X$ ordered by a closed cone $X_+$ with non-empty interior and study eventual nonnegativity of matrix semigroups $(e^{tA})_{t \ge 0}$ with respect to this cone. Our first contribution is the observation that, for general cones, one needs to distinguish between different notions of eventual nonnegativity: (i) uniform eventual nonnegativity means that $e^{tA}$ maps $X_+$ into $X_+$ for all sufficiently large times $t$; (ii) individual eventual nonnegativity means that for each $x \in X_+$ the vector $e^{tA}x$ is in $X_+$ for all $t$ larger than an $x$-dependent time $t_0$; and (iii) weak eventual nonnegativity means that for each $x \in X_+$ and each functional $x'$ in the dual cone $X'_+$ the value $\langle x', e^{tA} x \rangle$ is in $[0,\infty)$ for all $t$ larger than an $x$- and $x'$-dependent time $t_0$. Until now, only the first of these notions has been studied in the literature. We demonstrate by examples that, somewhat surprisingly for finite-dimensional spaces, all three notions are different. Our second contribution is to show that typical Perron-Frobenius like properties remain valid under the weakest of the above notions. Third, we study a strengthened form of the above mentioned concepts, namely eventual positivity. We prove that uniform, individual and weak versions of this property are - in contrast to the nonnegative case - equivalent, and that they can be characterized by spectral properties. △ Less

Submitted 15 June, 2023; v1 submitted 14 March, 2023; originally announced March 2023.

Comments: 15 pages

MSC Class: 15B48; 15A16; 15A18; 46B40; 47B65

Stability via closure relations with applications to dissipative and port-Hamiltonian systems

Authors: Jochen Glück, Birgit Jacob, Annika Meyer, Christian Wyss, Hans Zwart

Abstract: We consider differential operators $A$ that can be represented by means of a so-called closure relation in terms of a simpler operator $A_{\operatorname{ext}}$ defined on a larger space. We analyze how the spectral properties of $A$ and $A_{\operatorname{ext}}$ are related and give sufficient conditions for exponential stability of the semigroup generated by $A$ in terms of the semigroup generated… ▽ More We consider differential operators $A$ that can be represented by means of a so-called closure relation in terms of a simpler operator $A_{\operatorname{ext}}$ defined on a larger space. We analyze how the spectral properties of $A$ and $A_{\operatorname{ext}}$ are related and give sufficient conditions for exponential stability of the semigroup generated by $A$ in terms of the semigroup generated by $A_{\operatorname{ext}}$. As applications we study the long-term behaviour of a coupled wave-heat system on an interval, parabolic equations on bounded domains that are coupled by matrix valued potentials, and of linear infinite-dimensional port-Hamiltonian systems with dissipation on an interval. △ Less

Submitted 2 July, 2024; v1 submitted 22 December, 2022; originally announced December 2022.

Comments: 31 pages

MSC Class: 93D23; 37K40; 47D06; 34G10

Order boundedness and order continuity properties of positive operator semigroups

Authors: Jochen Glück, Michael Kaplin

Abstract: Relatively uniformly continuous (ruc) semigroups were recently introduced and studied by Kandić, Kramar-Fijavž, and the second-named author, in order to make the theory of one-parameter operator semigroups available in the setting of vector lattices, where no norm is present in general. In this article, we return to the more standard Banach lattice setting - where both ruc semigroups and $C_0$-s… ▽ More Relatively uniformly continuous (ruc) semigroups were recently introduced and studied by Kandić, Kramar-Fijavž, and the second-named author, in order to make the theory of one-parameter operator semigroups available in the setting of vector lattices, where no norm is present in general. In this article, we return to the more standard Banach lattice setting - where both ruc semigroups and $C_0$-semigroups are well-defined concepts - and compare both notions. We show that the ruc semigroups are precisely those positive $C_0$-semigroups whose orbits are order bounded for small times. We then relate this result to three different topics: (i) equality of the spectral and the growth bound for positive $C_0$-semigroups; (ii) a uniform order boundedness principle which holds for all operator families between Banach lattices; and (iii) a description of unbounded order convergence in terms of almost everywhere convergence for nets which have an uncountable index set containing a co-final sequence. △ Less

Submitted 28 August, 2023; v1 submitted 30 November, 2022; originally announced December 2022.

Comments: 13 pages. This is version 2. Minor changes compared to version 1

MSC Class: 47D06; 47B65; 46B42; 46A40

Stability criteria for positive semigroups on ordered Banach spaces

Authors: Jochen Glück, Andrii Mironchenko

Abstract: We consider generators of positive $C_0$-semigroups and, more generally, resolvent positive operators $A$ on ordered Banach spaces and seek for conditions ensuring the negativity of their spectral bound $s(A)$. Our main result characterizes $s(A) < 0$ in terms of so-called \emph{small-gain conditions} that describe the behaviour of $Ax$ for positive vectors $x$. This is new even in case that the u… ▽ More We consider generators of positive $C_0$-semigroups and, more generally, resolvent positive operators $A$ on ordered Banach spaces and seek for conditions ensuring the negativity of their spectral bound $s(A)$. Our main result characterizes $s(A) < 0$ in terms of so-called \emph{small-gain conditions} that describe the behaviour of $Ax$ for positive vectors $x$. This is new even in case that the underlying space is an $L^p$-space or a space of continuous functions. We also demonstrate that it becomes considerably easier to characterize the property $s(A) < 0$ if the cone of the underlying Banach space has non-empty interior or if the essential spectral bound of $A$ is negative. To treat the latter case, we discuss a counterpart of a Krein-Rutman theorem for resolvent positive operators. When $A$ is the generator of a positive $C_0$-semigroup, our results can be interpreted as stability results for the semigroup, and as such, they complement similar results recently proved for the discrete-time case. In the same vein, we prove a Collatz--Wielandt type formula and a logarithmic formula for the spectral bound of generators of positive semigroups. △ Less

Submitted 10 June, 2024; v1 submitted 24 October, 2022; originally announced October 2022.

Comments: This is version 2. Several results, examples, and reference were added compared to v1. The title was slightly changed. 39 pages

MSC Class: 47B65; 47D06; 47A10; 37L15

Aperiodicity of positive operators that increase the support of functions

Authors: Jochen Glück

Abstract: Consider a positive operator $T$ on an $L^p$-space (or, more generally, a Banach lattice) which increases the support of functions in the sense that $supp(Tf) \supseteq supp{f}$ for every function $f \ge 0$. We show that this implies, under mild assumptions, that $T$ has no unimodular eigenvalues except for possibly the number $1$. This rules out periodic behaviour of any orbits of the powers of… ▽ More Consider a positive operator $T$ on an $L^p$-space (or, more generally, a Banach lattice) which increases the support of functions in the sense that $supp(Tf) \supseteq supp{f}$ for every function $f \ge 0$. We show that this implies, under mild assumptions, that $T$ has no unimodular eigenvalues except for possibly the number $1$. This rules out periodic behaviour of any orbits of the powers of $T$, and thus enables us to prove convergence of those powers in many situations. For the proof we first perform a careful analysis of the action of lattice homomorphisms on the support of functions; then we split $T$ into an invertible and a weakly stable part, and apply the aforementioned analysis to the invertible part. An appropriate adaptation of this argument allows us to prove another version of our main result which is useful for the study of so-called irreducible operators. △ Less

Submitted 2 September, 2022; originally announced September 2022.

Comments: 20 pages

MSC Class: 47B65; 47A10; 47G10; 46B42; 60J05

Convergence to equilibrium for linear parabolic systems coupled by matrix-valued potentials

Authors: Alexander Dobrick, Jochen Glück

Abstract: We consider systems of parabolic linear equations, subject to Neumann boundary conditions on bounded domains in $\mathbb{R}^d$, that are coupled by a matrix-valued potential $V$, and investigate under which conditions each solution to such a system converges to an equilibrium as $t \to \infty$. While this is clearly a fundamental question about systems of parabolic equations, it has been studied… ▽ More We consider systems of parabolic linear equations, subject to Neumann boundary conditions on bounded domains in $\mathbb{R}^d$, that are coupled by a matrix-valued potential $V$, and investigate under which conditions each solution to such a system converges to an equilibrium as $t \to \infty$. While this is clearly a fundamental question about systems of parabolic equations, it has been studied, up to now, only under certain positivity assumptions on the potential $V$. Without positivity, Perron-Frobenius theory cannot be applied and the problem is seemingly wide open. In the present article, we address this problem for all potentials that are $\ell^p$-dissipative for some $p \in [1,\infty]$. While the case $p=2$ can be treated by classical Hilbert space methods, the matter becomes more delicate for $p \not= 2$. We solve this problem by employing recent spectral theoretic results that are closely tied to the geometric structure of $L^p$-spaces. △ Less

Submitted 3 July, 2023; v1 submitted 22 August, 2022; originally announced August 2022.

Comments: 18 pages. This article originated from Section 2 in version 5 of arXiv:2001.00523, which was removed there in version 6. The contents have been thoroughly rewritten and extended, which resulted in the current article. This is version 2. Compared to version 1, the symmetry assumption on the coefficients in Subsections 3.2 and 3.5 has been removed

MSC Class: 35K40; 35B40; 47D06

On Characteristics of the Range of Integral Operators

Authors: Moritz Gerlach, Jochen Glück

Abstract: 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 countab… ▽ More 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. △ Less

Submitted 10 June, 2024; v1 submitted 28 May, 2022; originally announced May 2022.

Comments: This is version 2. A separability assumption has been removed from the main results compared to v1. 14 pages

MSC Class: Primary 47B34; Secondary: 47B65

Analyticity of positive semigroups is inherited under domination

Authors: Jochen Glück

Abstract: For positive $C_0$-semigroups $S$ and $T$ on a Banach lattice such that $S(t) \le T(t)$ for all times $t$, we prove that analyticity of $T$ implies analyticity of $S$. This answers an open problem posed by Arendt in 2004. Our proof is based on a spectral theoretic argument: we apply spectral theory of positive operators to multiplication operators that are induced by $S$ and $T$ on a vector-valu… ▽ More For positive $C_0$-semigroups $S$ and $T$ on a Banach lattice such that $S(t) \le T(t)$ for all times $t$, we prove that analyticity of $T$ implies analyticity of $S$. This answers an open problem posed by Arendt in 2004. Our proof is based on a spectral theoretic argument: we apply spectral theory of positive operators to multiplication operators that are induced by $S$ and $T$ on a vector-valued function space. △ Less

Submitted 19 February, 2025; v1 submitted 29 April, 2022; originally announced April 2022.

Comments: 5 pages. This is version 2; Examples 7 and 8 were added compared to version 1

MSC Class: 47D06; 47B65; 47A10

A monotone convergence theorem for strong Feller semigroups

Authors: Christian Budde, Alexander Dobrick, Jochen Glück, Markus Kunze

Abstract: For an increasing sequence $(T_n)$ of one-parameter semigroups of sub Markovian kernel operators over a Polish space, we study the limit semigroup and prove sufficient conditions for it to be strongly Feller. In particular, we show that the strong Feller property carries over from the approximating semigroups to the limit semigroup if the resolvent of the latter maps the constant 1 function to a c… ▽ More For an increasing sequence $(T_n)$ of one-parameter semigroups of sub Markovian kernel operators over a Polish space, we study the limit semigroup and prove sufficient conditions for it to be strongly Feller. In particular, we show that the strong Feller property carries over from the approximating semigroups to the limit semigroup if the resolvent of the latter maps the constant 1 function to a continuous function. This is instrumental in the study of elliptic operators on $\mathbb{R}^d$ with unbounded coefficients: our abstract result enables us to assign a semigroup to such an operator and to show that the semigroup is strongly Feller under very mild regularity assumptions on the coefficients. We also provide counterexamples to demonstrate that the assumptions in our main result are close to optimal. △ Less

Submitted 5 April, 2022; originally announced April 2022.

Comments: 15 pages, no figures

MSC Class: 47D07; 47B65; 35A35; 60J35

Criteria for eventual domination of operator semigroups and resolvents

Authors: Sahiba Arora, Jochen Glück

Abstract: We consider two $C_0$-semigroups $(e^{tA})_{t \ge 0}$ and $(e^{tB})_{t \ge 0}$ on function spaces (or, more generally, on Banach lattices) and analyse eventual domination between them in the sense that $|e^{tA}f| \le e^{tB}|f|$ for all sufficiently large times $t$. We characterise this behaviour and prove a number of theoretical results which complement earlier results given by Mugnolo and the sec… ▽ More We consider two $C_0$-semigroups $(e^{tA})_{t \ge 0}$ and $(e^{tB})_{t \ge 0}$ on function spaces (or, more generally, on Banach lattices) and analyse eventual domination between them in the sense that $|e^{tA}f| \le e^{tB}|f|$ for all sufficiently large times $t$. We characterise this behaviour and prove a number of theoretical results which complement earlier results given by Mugnolo and the second author in the special case where both semigroups are positive for large times. Moreover, we study the analogous question of whether the resolvent of $B$ eventually dominates the resolvent of $A$ close to the spectral bound of $B$. This is closely related to the so-called maximum and anti-maximum principles. In order to demonstrate how our results can be used, we include several applications to concrete differential operators. At the end of the paper, we demonstrate that eventual positivity of the resolvent of a semigroup generator is closely related to eventual positivity of the Cesàro means of the associated semigroup. △ Less

Submitted 17 December, 2022; v1 submitted 31 March, 2022; originally announced April 2022.

Comments: 20 pages. This is version 3; compared to version 2, a reference has been added and Remark 4.2 was changed

MSC Class: 47B65; 47D06; 46B42; 35B09

Journal ref: Operators, Semigroups, Algebras and Function Theory. IWOTA 2021. Operator Theory: Advances and Applications, vol 292, pp. 1-26 (2023)

A characterization of the individual maximum and anti-maximum principle

Authors: Sahiba Arora, Jochen Glück

Abstract: Abstract approaches to maximum and anti-maximum principles for differential operators typically rely on the condition that all vectors in the domain of the operator are dominated by the leading eigenfunction of the operator. We study the necessity of this condition. In particular, we show that under a number of natural assumptions, so-called individual versions of both the maximum and the anti-max… ▽ More Abstract approaches to maximum and anti-maximum principles for differential operators typically rely on the condition that all vectors in the domain of the operator are dominated by the leading eigenfunction of the operator. We study the necessity of this condition. In particular, we show that under a number of natural assumptions, so-called individual versions of both the maximum and the anti-maximum principle simultaneously hold if and only if the aforementioned domination condition is satisfied. Consequently, we are able to show that a variety of concrete differential operators do not satisfy an anti-maximum principle. △ Less

Submitted 28 August, 2023; v1 submitted 10 March, 2022; originally announced March 2022.

Comments: 16 pages. This is version 2. Minor changes compared to version 1

MSC Class: 35B09; 47B65; 46B42

Journal ref: Mathematische Zeitschrift, vol. 305, no. 24 (2023)

Evolution equations with eventually positive solutions

Authors: Jochen Glück

Abstract: We discuss linear autonomous evolution equations on function spaces which have the property that a positive initial value leads to a solution which initially changes sign, but then becomes - and stays - positive again for sufficiently large times. This eventual positivity phenomenon has recently been discovered for various classes of differential equations, but so far a general theory to explain t… ▽ More We discuss linear autonomous evolution equations on function spaces which have the property that a positive initial value leads to a solution which initially changes sign, but then becomes - and stays - positive again for sufficiently large times. This eventual positivity phenomenon has recently been discovered for various classes of differential equations, but so far a general theory to explain this type of behaviour exists only under additional spectral assumptions. △ Less

Submitted 21 February, 2022; originally announced February 2022.

Comments: 8 pages

Local uniform convergence and eventual positivity of solutions to biharmonic heat equations

Authors: Daniel Daners, Jochen Glück, Jonathan Mui

Abstract: We study the evolution equation associated with the biharmonic operator on infinite cylinders with bounded smooth cross-section subject to Dirichlet boundary conditions. The focus is on the asymptotic behaviour and positivity properties of the solutions for large times. In particular, we derive the local eventual positivity of solutions. We furthermore prove the local eventual positivity of soluti… ▽ More We study the evolution equation associated with the biharmonic operator on infinite cylinders with bounded smooth cross-section subject to Dirichlet boundary conditions. The focus is on the asymptotic behaviour and positivity properties of the solutions for large times. In particular, we derive the local eventual positivity of solutions. We furthermore prove the local eventual positivity of solutions to the biharmonic heat equation and its generalisations on Euclidean space. The main tools in our analysis are the Fourier transform and spectral methods. △ Less

Submitted 4 November, 2021; originally announced November 2021.

Comments: 22 pages

MSC Class: Primary: 35G10; 35K30; Secondary: 35B40

Journal ref: Differential Integral Equations 36(9/10): 727-756 (September/October 2023)

Stability of (eventually) positive semigroups on spaces of continuous functions

Authors: Sahiba Arora, Jochen Glück

Abstract: We present a new and very short proof of the fact that, for positive $C_0$-semigroups on spaces of continuous functions, the spectral and the growth bound coincide. Our argument, inspired by an idea of Vogt, makes the role of the underlying space completely transparent and also works if the space does not contain the constant functions - a situation in which all earlier proofs become technically q… ▽ More We present a new and very short proof of the fact that, for positive $C_0$-semigroups on spaces of continuous functions, the spectral and the growth bound coincide. Our argument, inspired by an idea of Vogt, makes the role of the underlying space completely transparent and also works if the space does not contain the constant functions - a situation in which all earlier proofs become technically quite involved. We also show how the argument can be adapted to yield the same result for semigroups that are only eventually positive rather than positive. △ Less

Submitted 14 July, 2022; v1 submitted 9 October, 2021; originally announced October 2021.

Comments: 5 pages. This is version 2; minor changes compared to v1

MSC Class: 47D06; 47B65; 47A10

Journal ref: Comptes Rendus. Mathématique, Volume 360 (2022), pp. 771-775

A note on the fixed space of positive contractions

Authors: Jochen Glück

Abstract: We prove that, in a large class of Banach lattices, the fixed space of each commuting family of positive linear contractions is a lattice subspace. As consequences, new cyclicity results for the peripheral point spectra of positive operators and semigroups are derived; we also pose an open problem that naturally occurs in this context. Finally, a variety of counterexamples is presented to point ou… ▽ More We prove that, in a large class of Banach lattices, the fixed space of each commuting family of positive linear contractions is a lattice subspace. As consequences, new cyclicity results for the peripheral point spectra of positive operators and semigroups are derived; we also pose an open problem that naturally occurs in this context. Finally, a variety of counterexamples is presented to point out some limits of our results. △ Less

Submitted 11 August, 2021; originally announced August 2021.

Comments: 10 pages

MSC Class: 47B65; 47A10

An operator theoretic approach to uniform (anti-)maximum principles

Authors: Sahiba Arora, Jochen Glück

Abstract: Maximum principles and uniform anti-maximum principles are a ubiquitous topic in PDE theory that is closely tied to the Krein--Rutman theorem and kernel estimates for resolvents. We take up a classical idea of Takáč - to prove (anti-)maximum principles in an abstract operator theoretic framework - and combine it with recent ideas from the theory of eventually positive operator semigroups. This e… ▽ More Maximum principles and uniform anti-maximum principles are a ubiquitous topic in PDE theory that is closely tied to the Krein--Rutman theorem and kernel estimates for resolvents. We take up a classical idea of Takáč - to prove (anti-)maximum principles in an abstract operator theoretic framework - and combine it with recent ideas from the theory of eventually positive operator semigroups. This enables us to derive necessary and sufficient conditions for (anti-)maximum principles in a very general setting. Consequently, we are able to either prove or disprove (anti-)maximum principles for a large variety of concrete differential operators. As a bonus, for several operators that are already known to satisfy or to not satisfy anti-maximum principles, our theory gives a very clear and concise explanation of this behaviour. △ Less

Submitted 10 December, 2021; v1 submitted 25 April, 2021; originally announced April 2021.

Comments: 30 pages. This is version 3. Minor changes compared to version 2

MSC Class: 35B09; 47B65; 46B42

Journal ref: Journal of Differential Equations, vol. 310, pp. 164--197 (2022)

A note on the spectrum of irreducible operators and semigroups

Authors: Jochen Glück

Abstract: Let $T$ denote a positive operator with spectral radius $1$ on, say, an $L^p$-space. A classical result in infinite dimensional Perron--Frobenius theory says that, if $T$ is irreducible and power bounded, then its peripheral point spectrum is either empty or a subgroup of the unit circle. In this note we show that the analogous assertion for the entire peripheral spectrum fails. More precisely,… ▽ More Let $T$ denote a positive operator with spectral radius $1$ on, say, an $L^p$-space. A classical result in infinite dimensional Perron--Frobenius theory says that, if $T$ is irreducible and power bounded, then its peripheral point spectrum is either empty or a subgroup of the unit circle. In this note we show that the analogous assertion for the entire peripheral spectrum fails. More precisely, for every finite union $U$ of finite subgroups of the unit circle we construct an irreducible stochastic operator on $\ell^1$ whose peripheral spectrum equals $U$. We also give a similar construction for the $C_0$-semigroup case. △ Less

Submitted 7 February, 2021; originally announced February 2021.

Comments: 9 pages

MSC Class: 47B65; 47A10

Spectrum and convergence of eventually positive operator semigroups

Authors: Sahiba Arora, Jochen Glück

Abstract: An intriguing feature of positive $C_0$-semigroups on function spaces (or more generally on Banach lattices) is that their long-time behaviour is much easier to describe than it is for general semigroups. In particular, the convergence of semigroup operators (strongly or in the operator norm) as time tends to infinity can be characterized by a set of simple spectral and compactness conditions. I… ▽ More An intriguing feature of positive $C_0$-semigroups on function spaces (or more generally on Banach lattices) is that their long-time behaviour is much easier to describe than it is for general semigroups. In particular, the convergence of semigroup operators (strongly or in the operator norm) as time tends to infinity can be characterized by a set of simple spectral and compactness conditions. In the present paper, we show that similar theorems remain true for the larger class of (uniformly) eventually positive semigroups - which recently arose in the study of various concrete differential equations. A major step in one of our characterizations is to show a version of the famous Niiro-Sawashima theorem for eventually positive operators. Several proofs for positive operators and semigroups do not work in our setting any longer, necessitating different arguments and giving our approach a distinct flavour. △ Less

Submitted 5 June, 2021; v1 submitted 9 November, 2020; originally announced November 2020.

Comments: 17 pages. This is version 3. Minor changes compared to v2; two additional references have been introduced

MSC Class: 47D06; 47B65; 47A10

Journal ref: Semigroup Forum, vol. 103, pp. 791 -- 811 (2021)

Stability criteria for positive linear discrete-time systems

Authors: Jochen Glück, Andrii Mironchenko

Abstract: We prove new characterisations of exponential stability for positive linear discrete-time systems in ordered Banach spaces, in terms of small-gain conditions. Such conditions have played an important role in the finite-dimensional systems theory, but are relatively unexplored in the infinite-dimensional setting, yet. Our results are applicable to discrete-time systems in ordered Banach spaces th… ▽ More We prove new characterisations of exponential stability for positive linear discrete-time systems in ordered Banach spaces, in terms of small-gain conditions. Such conditions have played an important role in the finite-dimensional systems theory, but are relatively unexplored in the infinite-dimensional setting, yet. Our results are applicable to discrete-time systems in ordered Banach spaces that have a normal and generating positive cone. Moreover, we show that our stability criteria can be considerably simplified if the cone has non-empty interior or if the operator under consideration is quasi-compact. To place our results into context we include an overview of known stability criteria for linear (and not necessarily positive) operators and provide full proofs for several folklore characterizations from this domain. △ Less

Submitted 16 July, 2021; v1 submitted 4 November, 2020; originally announced November 2020.

Comments: 25 pages. This is version 2; minor changes compared to version 1

MSC Class: 47B65; 39A06; 39A30; 93C55; 93D05

Nonlinear small-gain theorems for input-to-state stability of infinite interconnections

Authors: Andrii Mironchenko, Christoph Kawan, Jochen Glück

Abstract: We consider infinite heterogeneous networks, consisting of input-to-state stable subsystems of possibly infinite dimension. We show that the network is input-to-state stable, provided that the gain operator satisfies a certain small-gain condition. We show that for finite networks of nonlinear systems this condition is equivalent to the so-called strong small-gain condition of the gain operator (a… ▽ More We consider infinite heterogeneous networks, consisting of input-to-state stable subsystems of possibly infinite dimension. We show that the network is input-to-state stable, provided that the gain operator satisfies a certain small-gain condition. We show that for finite networks of nonlinear systems this condition is equivalent to the so-called strong small-gain condition of the gain operator (and thus our results extend available results for finite networks), and for infinite networks with a linear gain operator they correspond to the condition that the spectral radius of the gain operator is less than one. We provide efficient criteria for input-to-state stability of infinite networks with linear gains, governed by linear and homogeneous gain operators, respectively. △ Less

Submitted 28 July, 2021; v1 submitted 11 July, 2020; originally announced July 2020.

Comments: Accepted to MCSS

Uniform convergence of stochastic semigroups

Authors: Jochen Glück, Florian G. Martin

Abstract: For stochastic $C_0$-semigroups on $L^1$-spaces there is wealth of results that show strong convergence to an equilibrium as $t \to \infty$, given that the semigroup contains a partial integral operator. This has plenty of applications to transport equations and in mathematical biology. However, up to now partial integral operators do not play a prominent role in theorems which yield uniform conve… ▽ More For stochastic $C_0$-semigroups on $L^1$-spaces there is wealth of results that show strong convergence to an equilibrium as $t \to \infty$, given that the semigroup contains a partial integral operator. This has plenty of applications to transport equations and in mathematical biology. However, up to now partial integral operators do not play a prominent role in theorems which yield uniform convergence of the semigroup rather than only strong convergence. In this article we prove that, for irreducible stochastic semigroups, uniform convergence to an equilibrium is actually equivalent to being partially integral and uniformly mean ergodic. In addition to this Tauberian theorem, we also show that our semigroup is uniformly convergent if and only if it is partially integral and the dual semigroup satisfies a certain irreducibility condition. Our proof is based on a uniform version of a lower bound theorem of Lasota and Yorke, which we combine with various techniques from Banach lattice theory. △ Less

Submitted 17 May, 2020; originally announced May 2020.

Comments: 12 pages

MSC Class: 47D06; 47D07

Positive irreducible semigroups and their long-time behaviour

Authors: Wolfgang Arendt, Jochen Glück

Abstract: The notion \emph{Perron-Frobenius theory} usually refers to the interaction between three properties of operator semigroups: positivity, spectrum and long-time behaviour. These interactions gives rise to a profound theory with plenty of applications. By a brief walk-through of the field and with many examples, we highlight two aspects of the subject, both related to the long-time behaviour of se… ▽ More The notion \emph{Perron-Frobenius theory} usually refers to the interaction between three properties of operator semigroups: positivity, spectrum and long-time behaviour. These interactions gives rise to a profound theory with plenty of applications. By a brief walk-through of the field and with many examples, we highlight two aspects of the subject, both related to the long-time behaviour of semigroups: (i) The classical question how positivity of a semigroup can be used to prove convergence to an equilibrium as $t \to \infty$. (ii) The more recent phenomenon that positivity itself sometimes occurs only for large $t$, while being absent for smaller times. △ Less

Submitted 6 October, 2020; v1 submitted 16 May, 2020; originally announced May 2020.

Comments: 18 pages. This is version 2; minor changes compared to v1

MSC Class: 47D06; 47B65; 35K15

Stability of transition semigroups and applications to parabolic equations

Authors: Moritz Gerlach, Jochen Glück, Markus Kunze

Abstract: 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 conver… ▽ More 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. △ Less

Submitted 7 November, 2021; v1 submitted 4 May, 2020; originally announced May 2020.

Comments: 25 pages. This article originally emerged from a subsection of arXiv:1705.01587v1 that was split into a separate paper. The final results in the present paper are, however, stronger and more general than those from the removed subsection of arXiv:1705.01587v1. This is version 4; various changes in the presentation compared to v3

MSC Class: 47D07; 60J35; 35K15

On the decoupled Markov group conjecture

Authors: Jochen Glück

Abstract: The Markov group conjecture, a long-standing open problem in the theory of Markov processes with countable state space, asserts that a strongly continuous Markov semigroup $T = (T_t)_{t \in [0,\infty)}$ on $\ell^1$ has bounded generator if the operator $T_1$ is bijective. Attempts to disprove the conjecture have often aimed at glueing together finite dimensional matrix semigroups of growing dimens… ▽ More The Markov group conjecture, a long-standing open problem in the theory of Markov processes with countable state space, asserts that a strongly continuous Markov semigroup $T = (T_t)_{t \in [0,\infty)}$ on $\ell^1$ has bounded generator if the operator $T_1$ is bijective. Attempts to disprove the conjecture have often aimed at glueing together finite dimensional matrix semigroups of growing dimension - i.e., it was tried to show that the Markov group conjecture is false even for Markov processes that decouple into (infinitely many) finite dimensional systems. In this article we show that such attempts must necessarily fail, i.e., we prove the Markov group conjecture for processes that decouple in the way described above. In fact, we even show a more general result that gives a universal norm estimate for bounded generators $Q$ of positive semigroups on any Banach lattice. Our proof is based on a filter product technique, infinite dimensional Perron-Frobenius theory and Gelfand's $T = \operatorname{id}$ theorem. △ Less

Submitted 13 April, 2020; originally announced April 2020.

Comments: 8 pages

MSC Class: 60J27; 47D06; 47D07; 47B65

On disjointness, bands and projections in partially ordered vector spaces

Authors: Jochen Glück

Abstract: Disjointness, bands, and band projections are a classical and essential part of the structure theory of vector lattices. If $X$ is such a lattice, those notions seem - at first glance - intimately related to the lattice operations on $X$. The last fifteen years, though, have seen an extension of all those concepts to a much larger class of ordered vector spaces. In fact if $X$ is an Archimedean… ▽ More Disjointness, bands, and band projections are a classical and essential part of the structure theory of vector lattices. If $X$ is such a lattice, those notions seem - at first glance - intimately related to the lattice operations on $X$. The last fifteen years, though, have seen an extension of all those concepts to a much larger class of ordered vector spaces. In fact if $X$ is an Archimedean ordered vector space with generating cone, or a member of the slightly larger class of pre-Riesz spaces, then the notions of disjointness, bands and band projections can be given proper meaning and give rise to a non-trivial structure theory. The purpose of this note is twofold: (i) We show that, on any pre-Riesz space, the structure of the space of all band projections is remarkably close to what we have in the case of vector lattices. In particular, this space is a Boolean algebra. (ii) We give several criteria for a pre-Riesz space to already be a vector lattice. These criteria are coined in terms of disjointness and closely related concepts, and they mark how lattice-like the order structure of pre-Riesz spaces can get before the theory collapses to the vector lattice case. △ Less

Submitted 23 December, 2020; v1 submitted 29 January, 2020; originally announced January 2020.

Comments: 23 pages. This is version 3. Compared to v2, a referee's comments have been implemented, several references have been added, and several further minor improvements have been made

MSC Class: 06F20; 46A40; 46B40

Uniform convergence of operator semigroups without time regularity

Authors: Alexander Dobrick, Jochen Glück

Abstract: When we are interested in the long-term behaviour of solutions to linear evolution equations, a large variety of techniques from the theory of $C_0$-semigroups is at our disposal. However, if we consider for instance parabolic equations with unbounded coefficients on $\mathbb{R}^d$, the solution semigroup will not be strongly continuous, in general. For such semigroups many tools that can be used… ▽ More When we are interested in the long-term behaviour of solutions to linear evolution equations, a large variety of techniques from the theory of $C_0$-semigroups is at our disposal. However, if we consider for instance parabolic equations with unbounded coefficients on $\mathbb{R}^d$, the solution semigroup will not be strongly continuous, in general. For such semigroups many tools that can be used to investigate the asymptotic behaviour of $C_0$-semigroups are not available anymore and, hence, much less is known about their long-time behaviour. Motivated by this observation, we prove new characterisations of the operator norm convergence of general semigroup representations - without any time regularity assumptions - by adapting the concept of the "semigroup at infinity", recently introduced by M.~Haase and the second named author. Besides its independence of time regularity, our approach also allows us to treat the discrete-time case (i.e., powers of a single operator) and even more abstract semigroup representations within the same unified setting. As an application of our results, we prove a convergence theorem for solutions to systems of parabolic equations with the aforementioned properties. △ Less

Submitted 24 November, 2020; v1 submitted 2 January, 2020; originally announced January 2020.

Comments: 27 pages. This is version 6. Changes compared to v5: We have removed the content of the former Section 2 and will present it in a separate paper. The former Section 3 has been moved to the end of the paper, so that the paper now focusses on its theoretical contents. The abstract and the introduction have been rewritten, and several changes have been made throughout the rest of the manuscript

MSC Class: 47D03; 47D06; 35K40; 35B40

Eventual Domination for Linear Evolution Equations

Authors: Jochen Glück, Delio Mugnolo

Abstract: We consider two $C_0$-semigroups on function spaces or, more generally, Banach lattices and give necessary and sufficient conditions for the orbits of the first semigroup to dominate the orbits of the second semigroup for large times. As an important special case we consider an $L^2$-space and self-adjoint operators $A$ and $B$ which generate $C_0$-semigroups; in this situation we give criteria fo… ▽ More We consider two $C_0$-semigroups on function spaces or, more generally, Banach lattices and give necessary and sufficient conditions for the orbits of the first semigroup to dominate the orbits of the second semigroup for large times. As an important special case we consider an $L^2$-space and self-adjoint operators $A$ and $B$ which generate $C_0$-semigroups; in this situation we give criteria for the existence of a time $t_1 \ge 0$ such that $e^{tB} \ge e^{tA}$ for all subsequent times $t\ge t_1$. As a consequence of our abstract theory, we obtain many surprising insights into the behaviour of various second and fourth order differential operators. △ Less

Submitted 6 January, 2021; v1 submitted 30 December, 2019; originally announced December 2019.

Comments: 21 pages. This is version 4. Minor changes and corrections compared to version 3

MSC Class: Primary 47D06; Secondary: 47B65; 46B42

Strict positivity for the principal eigenfunction of elliptic operators with various boundary conditions

Authors: Wolfgang Arendt, A. F. M. ter Elst, Jochen Glück

Abstract: We consider elliptic operators with measurable coefficients and Robin boundary conditions on a bounded domain $Ω\subset \mathbb{R}^d$ and show that the first eigenfunction $v$ satisfies $v(x) \ge δ> 0$ for all $x \in \overlineΩ$, even if the boundary $\partial Ω$ is only Lipschitz continuous. Under such weak regularity assumptions the Hopf-Oleĭnik boundary lemma is not available; instead we use a… ▽ More We consider elliptic operators with measurable coefficients and Robin boundary conditions on a bounded domain $Ω\subset \mathbb{R}^d$ and show that the first eigenfunction $v$ satisfies $v(x) \ge δ> 0$ for all $x \in \overlineΩ$, even if the boundary $\partial Ω$ is only Lipschitz continuous. Under such weak regularity assumptions the Hopf-Oleĭnik boundary lemma is not available; instead we use a new approach based on an abstract positivity improving condition for semigroups that map $L_p(Ω)$ into $C(\overlineΩ)$. The same tool also yields corresponding results for Dirichlet or mixed boundary conditions. Finally, we show that our results can be used to derive strong minimum and maximum principles for parabolic and elliptic equations. △ Less

Submitted 4 August, 2020; v1 submitted 26 September, 2019; originally announced September 2019.

Comments: 25 pages. This is version 3. Minor changes compared to v2

MSC Class: 35P15; 35B50; 35K08

Almost Interior Points in Ordered Banach Spaces and the Long--Term Behaviour of Strongly Positive Operator Semigroups

Authors: Jochen Glück, Martin R. Weber

Abstract: The first part of this article is a brief survey of the properties of so-called almost interior points in ordered Banach spaces. Those vectors can be seen as a generalization of ``functions which are strictly positive almost everywhere'' on $L^p$-spaces and of ``quasi-interior points'' in Banach lattices. In the second part we study the long--term behaviour of strongly positive operator semigrou… ▽ More The first part of this article is a brief survey of the properties of so-called almost interior points in ordered Banach spaces. Those vectors can be seen as a generalization of ``functions which are strictly positive almost everywhere'' on $L^p$-spaces and of ``quasi-interior points'' in Banach lattices. In the second part we study the long--term behaviour of strongly positive operator semigroups on ordered Banach spaces; these are semigroups which, in a sense, map every non-zero positive vector to an almost interior point. Using the Jacobs--de Leeuw--Glicksberg decomposition together with the theory presented in the first part of the paper we deduce sufficiency criteria for such semigroups to converge (strongly or in operator norm) as time tends to infinity. This generalises known results for semigroups on Banach lattices as well as on normally ordered Banach spaces with unit. △ Less

Submitted 7 April, 2020; v1 submitted 10 January, 2019; originally announced January 2019.

Comments: 22 pages. This is version 3. Minor changes compared to version 2. To appear in Studia Mathematia

MSC Class: 46B40; 47D06; 47B65

Asymptotics of Operator Semigroups via the Semigroup at Infinity

Authors: Jochen Glück, Markus Haase

Abstract: We systematize and generalize recent results of Gerlach and Glück on the strong convergence and spectral theory of bounded (positive) operator semigroups $(T_s)_{s\in S}$ on Banach spaces (lattices). (Here, $S$ can be an arbitrary commutative semigroup, and no topological assumptions neither on $S$ nor on its representation are required.) To this aim, we introduce the "semigroup at infinity" and g… ▽ More We systematize and generalize recent results of Gerlach and Glück on the strong convergence and spectral theory of bounded (positive) operator semigroups $(T_s)_{s\in S}$ on Banach spaces (lattices). (Here, $S$ can be an arbitrary commutative semigroup, and no topological assumptions neither on $S$ nor on its representation are required.) To this aim, we introduce the "semigroup at infinity" and give useful criteria ensuring that the well-known Jacobs--de Leeuw--Glicksberg splitting theory can be applied to it. Next, we confine these abstract results to positive semigroups on Banach lattices with a quasi-interior point. In that situation, the said criteria are intimately linked to so-called AM-compact operators (which entail kernel operators and compact operators); and they imply that the original semigroup asymptotically embeds into a compact group of positive invertible operators on an atomic Banach lattice. By means of a structure theorem for such group representations (reminiscent of the Peter--Weyl theorem and its consequences for Banach space representations of compact groups) we are able to establish quite general conditions implying the strong convergence of the original semigroup. Finally, we show how some classical results of Greiner (1982), Davies (2005), Keicher (2006) and Arendt (2008) and more recent ones by Gerlach and Glück (2017) are covered and extended through our approach. △ Less

Submitted 14 December, 2018; v1 submitted 19 November, 2018; originally announced November 2018.

Comments: 30 pages. A few corrections compared to version 1

MSC Class: Primary 47D06; Secondary 20M30; 46B42; 47B34; 47B65; 47D03

A solution to a linear integral equation with an application to statistics of infinitely divisible moving averages

Authors: Jochen Glück, Stefan Roth, Evgeny Spodarev

Abstract: For a stationary moving average random field, a non-parametric low frequency estimator of the Lévy density of its infinitely divisible independently scattered integrator measure is given. The plug-in estimate is based on the solution $w$ of the linear integral equation $v(x) = \int_{\mathbb{R}^d} g(s) w(h(s)x)ds$, where $g,h:\mathbb{R}^d \rightarrow \mathbb{R}$ are given measurable functions and… ▽ More For a stationary moving average random field, a non-parametric low frequency estimator of the Lévy density of its infinitely divisible independently scattered integrator measure is given. The plug-in estimate is based on the solution $w$ of the linear integral equation $v(x) = \int_{\mathbb{R}^d} g(s) w(h(s)x)ds$, where $g,h:\mathbb{R}^d \rightarrow \mathbb{R}$ are given measurable functions and $v$ is a (weighted) $L^2$-function on $\mathbb{R}$. We investigate conditions for the existence and uniqueness of this solution and give $L^2$-error bounds for the resulting estimates. An application to pure jump moving averages and a simulation study round off the paper. △ Less

Submitted 5 February, 2020; v1 submitted 5 July, 2018; originally announced July 2018.

A short note on band projections in partially ordered vector spaces

Authors: Jochen Glück

Abstract: Consider an Archimedean partially ordered vector space $X$ with generating cone (or, more generally, a pre-Riesz space $X$). Let $P$ be a linear projection on $X$ such that both $P$ and its complementary projection $I - P$ are positive; we prove that the range of $P$ is a band. This shows that the well-known concept of band projections on vector lattices can, to a certain extent, be transferred to… ▽ More Consider an Archimedean partially ordered vector space $X$ with generating cone (or, more generally, a pre-Riesz space $X$). Let $P$ be a linear projection on $X$ such that both $P$ and its complementary projection $I - P$ are positive; we prove that the range of $P$ is a band. This shows that the well-known concept of band projections on vector lattices can, to a certain extent, be transferred to the framework of ordered vector spaces. △ Less

Submitted 3 July, 2018; originally announced July 2018.

Comments: 6 pages

MSC Class: 47B60; 47B65

Spectral gaps for hyperbounded operators

Authors: Jochen Glück

Abstract: We consider a positive and power-bounded linear operator $T$ on $L^p$ over a finite measure space and prove that, if $TL^p \subseteq L^q$ for some $q > p$, then the essential spectral radius of $T$ is strictly smaller than $1$. As a special case, we obtain a recent result of Miclo who proved this assertion for self-adjoint ergodic Markov operators in the case $p=2$ and thereby solved a long-open p… ▽ More We consider a positive and power-bounded linear operator $T$ on $L^p$ over a finite measure space and prove that, if $TL^p \subseteq L^q$ for some $q > p$, then the essential spectral radius of $T$ is strictly smaller than $1$. As a special case, we obtain a recent result of Miclo who proved this assertion for self-adjoint ergodic Markov operators in the case $p=2$ and thereby solved a long-open problem of Simon and Høegh-Krohn. Our methods draw a connection between spectral theory and the geometry of Banach spaces: they rely on a result going back to Groh that encodes spectral gap properties via ultrapowers, and on the fact that an infinite dimensional $L^p$-space cannot by isomorphic to an $L^q$-space for $q \not= p$. We also prove a number of variations of our main result: (i) it follows from theorems of Lotz and Martínez that the condition $TL^p \subseteq L^q$ can be replaced with the weaker assumption that $T$ maps the positive part of the $L^p$-unit ball into a uniformly $p$-integrable set; (ii) while it is known that the positivity assumption on $T$ cannot in general be omitted, we show that we can replace it with the assumption that $T$ is contractive both on $L^p$ and on $L^q$; (iii) we prove a version of the theorem which allows us, under appropriate circumstances, to also consider non-finite measures spaces; (iv) our result also has a uniform version: there exists an upper bound $c \in [0,1)$ for the essential spectral radius of $T$, where $c$ depends on certain quantitative properties of $T$, $L^p$ and $L^q$. △ Less

Submitted 17 December, 2019; v1 submitted 26 February, 2018; originally announced February 2018.

Comments: Version 6, 19 pages. Compared to version 5, a small inaccuracy concerning a property of the essential spectral radius has been corrected

MSC Class: Primary: 47A10; Secondary: 47B65; 47B38; 47D06; 46E30; 46B08

Long--Term Analysis of Positive Operator Semigroups via Asymptotic Domination

Authors: Jochen Glück, Manfred P. H. Wolff

Abstract: We consider positive operator semigroups on ordered Banach spac\-es and study the relation of their long time behaviour to two different domination properties. First, we analyse under which conditions almost periodicity and mean ergodicity of a semigroup $\mathcal{T}$ are inherited by other semigroups which are asymptotically dominated by $\mathcal{T}$. Then, we consider semigroups whose orbits as… ▽ More We consider positive operator semigroups on ordered Banach spac\-es and study the relation of their long time behaviour to two different domination properties. First, we analyse under which conditions almost periodicity and mean ergodicity of a semigroup $\mathcal{T}$ are inherited by other semigroups which are asymptotically dominated by $\mathcal{T}$. Then, we consider semigroups whose orbits asymptotically dominate a positive vector and show that this assumption is often sufficient to conclude strong convergence of the semigroup as time tends to infinity. Our theorems are applicable to time-discrete as well as time-continuous semigroups. They generalise several results from the literature to considerably larger classes of ordered Banach spaces. △ Less

Submitted 14 February, 2018; originally announced February 2018.

Comments: 31 pages

MSC Class: 47B60; 47A35; 47D06; 47C15; 46B40

A criterion for the uniform eventual positivity of operator semigroups

Authors: Daniel Daners, Jochen Glück

Abstract: Consider a $C_0$-semigroup $(e^{tA})_{t \ge 0}$ on a function space or, more generally, on a Banach lattice $E$. We prove a sufficient criterion for the operators $e^{tA}$ to be positive for all sufficiently large times $t$, while the semigroup itself might not be positive. This complements recently established criteria for the individual orbits of the semigroup to become eventually positive for a… ▽ More Consider a $C_0$-semigroup $(e^{tA})_{t \ge 0}$ on a function space or, more generally, on a Banach lattice $E$. We prove a sufficient criterion for the operators $e^{tA}$ to be positive for all sufficiently large times $t$, while the semigroup itself might not be positive. This complements recently established criteria for the individual orbits of the semigroup to become eventually positive for all positive initial values. We apply our main result to study the qualitative behaviour of the solutions to various partial differential equations. △ Less

Submitted 16 January, 2018; originally announced January 2018.

Comments: 18 pages

MSC Class: 47D06; 47B65; 35B09; 35B40

Journal ref: Integral Equations and Operator Theory, 90(4), 2018, Article No. 46

A Toolkit for Constructing Dilations on Banach Spaces

Authors: Stephan Fackler, Jochen Glück

Abstract: We present a completely new structure theoretic approach to the dilation theory of linear operators. Our main result is the following theorem: if $X$ is a super-reflexive Banach space and $T$ is contained in the weakly closed convex hull of all invertible isometries on $X$, then $T$ admits a dilation to an invertible isometry on a Banach space $Y$ with the same regularity as $X$. The classical dil… ▽ More We present a completely new structure theoretic approach to the dilation theory of linear operators. Our main result is the following theorem: if $X$ is a super-reflexive Banach space and $T$ is contained in the weakly closed convex hull of all invertible isometries on $X$, then $T$ admits a dilation to an invertible isometry on a Banach space $Y$ with the same regularity as $X$. The classical dilation theorems of Sz.-Nagy and Akcoglu-Sucheston are easy consequences of our general theory. △ Less

Submitted 11 March, 2018; v1 submitted 25 September, 2017; originally announced September 2017.

Comments: 24 pages

MSC Class: Primary 47A20; Secondary 46B08

Mean ergodicity vs weak almost periodicity

Authors: Moritz Gerlach, Jochen Glück

Abstract: 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. Fi… ▽ More 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$. △ Less

Submitted 6 March, 2018; v1 submitted 7 September, 2017; originally announced September 2017.

Comments: 10 pages; minor adjustments and three new references included compared to version 1

MSC Class: 47B65 (Primary) 47A35; 46B42; 46B45 (Secondary)

On a Convergence Theorem for Semigroups of Positive Integral Operators

Authors: Moritz Gerlach, Jochen Glück

Abstract: 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… ▽ More 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. △ Less

Submitted 4 June, 2017; originally announced June 2017.

Comments: 5 pages

MSC Class: 47D03; 47B65; 47B34