Related papers: Evitable iterates of the consistency operator

A real arithmetic function f is multiplicatively monotonous if f (mn) -- f (m) has constant sign for m, n positive integers. Properties and examples of such functions are discussed, with applications to positive hermitian…

Using the theory of Hilbert direct integrals, we introduce and study a monotonicity-preserving operation, termed the integral resolvent mixture. It combines arbitrary families of monotone operators acting on different spaces and linear…

We prove that any Iterated Function System of circle homeomorphisms with at least one of them having dense orbit, is asymptotically stable. The corresponding Perron-Frobenius operator is shown to satisfy the e-property, that is, for any…

The monotonicity of the Mittag-Leffler function $E_{\alpha}$ with respect to the parameter $\alpha$ is investigated, via some convex ordering properties for related random variables. In particular, it is shown that the mapping…

In this paper we develop a new approach for studying overlapping iterated function systems. This approach is inspired by a famous result due to Khintchine from Diophantine approximation. This result shows that for a family of limsup sets,…

Let ${\mathbb T}=({\bf T},\leq)$ and ${\mathbb T}_{1}=({\bf T}_{1},\leq_{1})$ be linearly ordered sets and $\mathscr{X}$ be a topological space. The main result of the paper is the following: If function $\boldsymbol{f}(t,x):{\bf…

The comonotonic maxitivity property of functionals frequently appears in the characterization of fuzzy integrals based on the maximum operation. In some special cases, comonotonic maxitivity implies monotonicity of functionals. The question…

We give several new characterizations of completely monotone functions and Bernstein functions via two approaches: the first one is driven algebraically via elementary preserving mappings and the second one is developed in terms of the…

We investigate the problems related to the Collatz map $T$ from the point of view of functional analysis. We associate with $T$ certain linear operator $\mathcal{T}$ and show that cycles and (hypothetical) diverging trajectory (generated by…

The celebrated Trakhtenbrot's theorem states that the set of finitely valid sentences of first-order logic is not computably enumerable. In this note we will extend this theorem by proving that the finite satisfiability problem of any…

This paper addresses a doubly nonlinear parabolic inclusion of the form $A(u_t)+B(u)\ni f$. Existence of a solution is proved under suitable monotonicity, coercivity, and structure assumptions on the operators $A$ and $B$, which in…

Suppose that $f$ belongs to a suitably defined complete metric space $ {{\cal C}}^{{\alpha}}$ of H\"older $ {\alpha}$-functions defined on $[0,1]$. We are interested in whether one can find large (in the sense of Hausdorff, or lower/upper…

Let $a_n$ be the random increasing sequence of natural numbers which takes each value independently with decreasing probability of order $n^{-\alpha}$, $0 < \alpha < 1/2$. We prove that, almost surely, for every measure-preserving system…

We observe that if f is a continuous function on an interval I and x_0 \in I, then f is operator monotone if and only if the function (f(x) - f(x_0)/(x - x_0) is strongly operator convex. Then starting with an operator monotone function…

We prove sharp results about recurrent behaviour of orbits of forward compositions of inner functions, inspired by fundamental results about iterates of inner functions, and give examples to illustrate behaviours that cannot occur in the…

We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…

We develop the complex-analytic viewpoint on the tree convolutions studied by the second author and Weihua Liu in "An operad of non-commutative independences defined by trees" (Dissertationes Mathematicae, 2020, doi:10.4064/dm797-6-2020),…

Let a countable amenable group G acts freely and ergodically on a Lebesgue space (X,mu), preserving the measure mu. If T is an automorphism of the equivalence relation defined by G then T can be extended to an automorphism alpha_T of the…

We investigate the iterative behaviour of continuous order preserving subhomogeneous maps that map a polyhedral cone into itself. For these maps we show that every bounded orbit converges to a periodic orbit and, moreover, that there exists…

We prove a dichotomy between rationality and a natural boundary for the analytic behavior of the Reidemeister zeta function for automorphisms of non-finitely generated torsion abelian groups and for endomorphisms of groups $\mathbb Z_p^d,$…