Related papers: Unbounded Order Convergence and Application to Mar…
Let $\{Y_i\}_{i=1}^{\infty}$ be a stationary reversible Markov chain with state space $[N]$, let $(X, \| \cdot \|)$ be a real-valued Banach space and let $f_1, \ldots, f_n: [N] \rightarrow X$ be functions with mean $0$ such that $\|f_i(v)\|…
In this article we investigate the disjointly non-singular (DNS) operators. Following [8] we say that an operator $T$ from a Banach lattice $F$ into a Banach space $E$ is DNS, if no restriction of $T$ to a subspace generated by a disjoint…
Let $Z$ and $X$ be Banach spaces. Suppose that $X$ is Asplund. Let $\mathcal{M}$ be a bounded set of operators from $Z$ to $X$ with the following property: a bounded sequence $(z_n)_{n\in \mathbb{N}}$ in $Z$ is weakly null if, for each $M…
In this paper, we introduce and study a new classes of operators, named AM-unbounded norm compact operators. We study the the basic properties of the new operator and we investigate the lattice-order and topology property of the operator…
The paper gives a Banach space -valued extension of the Tb theorem of Nazarov, Treil and Volberg (2003) concerning the boundedness of singular integral operators with respect to a measure, which only satisfies an upper control on the size…
We propose a variant of the classical augmented Lagrangian method for constrained optimization problems in Banach spaces. Our theoretical framework does not require any convexity or second-order assumptions and allows the treatment of…
Let $\Omega$ be an unbounded domain in $\mathbb{R}\times\mathbb{R}^{d}.$ A positive harmonic function $u$ on $\Omega$ that vanishes on the boundary of $\Omega$ is called a Martin function. In this note, we show that, when $\Omega$ is…
Let $X$ be the branching particle diffusion corresponding to the operator $Lu+\beta (u^{2}-u)$ on $D\subseteq \mathbb{R}^{d}$ (where $\beta \geq 0$ and $\beta\not\equiv 0$). Let $\lambda_{c}$ denote the generalized principal eigenvalue for…
We develop a theory of eventually positive $C_0$-semigroups on Banach lattices, that is, of semigroups for which, for every positive initial value, the solution of the corresponding Cauchy problem becomes positive for large times. We give…
We consider a monotone increasing operator in an ordered Banach space having $u_-$ and $u_+$ as a strong super- and subsolution, respectively. In contrast with the well studied case $u_+ < u_-$, we suppose that $u_- < u_+$. Under the…
We consider the Cauchy problem for the inhomogeneous biharmonic nonlinear Schr\"{o}dinger (IBNLS) equation \[iu_{t} +\Delta^{2} u=\lambda |x|^{-b}|u|^{\sigma}u,\;u(0)=u_{0} \in H^{s} (\mathbb R^{d}),\] where $\lambda\in \mathbb R$, $d\in…
A well-known theorem of Lax and Wendroff states that if the sequence of approximate solutions to a system of hyperbolic conservation laws generated by a conservative consistent numerical scheme converges boundedly a.e. as the mesh parameter…
We show that smoothness implies norm-controlled inversion: the smoothness of an element $a$ in a Banach algebra with a one-parameter automorphism group is preserved under inversion, and the norm of the inverse $a^{-1}$ is controlled by the…
We present the formalization of Doob's martingale convergence theorems in the mathlib library for the Lean theorem prover. These theorems give conditions under which (sub)martingales converge, almost everywhere or in $L^1$. In order to…
A nonnegative function on the vertices of an infinite graph G which vanishes at a distinguished vertex o, has Laplacian 1 at o, and is harmonic at all other vertices is called a potential. We survey basic properties of potentials in…
If $\Gamma$ is an irreducible non-uniform higher-rank characteristic zero arithmetic lattice (for example, $SL_n(\mathbb{Z})$, $n \geq 3$) and $\Lambda$ is a finitely generated group that is elementarily equivalent to $\Gamma$, then…
Given a Dedekind incomplete ordered field, a pair of convergent nets of gaps which are respectively increasing or decreasing to the same point is used to obtain a further equivalent criterion for Dedekind completeness of ordered fields:…
We show that if $L$ is a topological vector lattice, $u \colon L \to L$ is the function $u(x) = x \vee 0$, $C \subset L$ is convex, and $D = u(C)$ is metrizable, then $D$ is an ANR and $u|_C \colon C \to D$ is a homotopy equivalence and…
We derive strong variance-based uncertainty relations for arbitrary two and more unitary operators by re-examining the mathematical foundation of the uncertainty relation. This is achieved by strengthening the celebrated Cauchy-Schwarz…
We consider a variant of online convex optimization in which both the instances (input vectors) and the comparator (weight vector) are unconstrained. We exploit a natural scale invariance symmetry in our unconstrained setting: the…