Related papers: Arlinskii's iteration and its applications
An arbitrary linear relation (multivalued operator) acting from one Hilbert space to another Hilbert space is shown to be the sum of a closable operator and a singular relation whose closure is the Cartesian product of closed subspaces.…
The non-commutative theory of the Lebesgue-type decomposition of positive functionals is originated with S. P. Gudder. Although H. Kosaki's counterexample shows that the decomposition is not unique in general, the complete characterization…
We present a decomposition principle for general regular Dirichlet forms satisfying a spatial local compactness condition. We use the decomposition principle to derive a Persson type theorem for the corresponding Dirichlet forms. In…
In this article, we propose a general theory of integration of the Riemann and Lebesgue types with respect to arbitrary measures and functions, connected by a continuous bilinear product, with values in abstract vector spaces endowed with a…
This expository paper is based on the author's series of lectures delivered at the January 1999 Mini-course in Number Theory, held at Sogang University (Seoul). The aim is to give an elementary and self-contained introduction to the theory…
Lebesgue integration is a well-known mathematical tool, used for instance in probability theory, real analysis, and numerical mathematics. Thus its formalization in a proof assistant is to be designed to fit different goals and projects.…
We present GraSSP, a novel approach to perform automated parallelization relying on recent advances in formal verification and synthesis. GraSSP augments an existing sequential program with an additional functionality to decompose data…
In this work we address the problem of uniform approximation of differential forms starting from weak data defined by integration on rectifiable sets. We study approximation schemes defined by the projection operator L given by either…
We introduce a new fixed point theorem of Krasnoselskii type for discontinuous operators. As an application we use it to study the existence of positive solutions of a second-order differential problem with separated boundary conditions and…
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,…
We introduce the geometric mean and the parallel sum of completely positive (CP) maps on von Neumann algebras, based on the Pusz--Woronowicz theory of positive sesquilinear forms. We provide a concrete characterization via a block matrix…
We study decompositions of Nakano type varying exponent Lebesgue norms and spaces. These function spaces are represented here in a natural way as tractable varying $\ell^p$ sums of projection bands. The main results involve embedding the…
We give a simple and short proof of the classical Lebesgue decomposition theorem of measures via the Riesz orthogonal decomposition theorem of Hilbert spaces. The tools we employ are elementary Hilbert space techniques.
In the present paper, we study a set that can be treated as a generalised set of subsums for a geometric series. This object was discovered independently in various mathematical aspects. For instance, it is closely related to various…
In this paper, using the concept of $A$-statistical convergence which is a regular (non-matrix) summability method, we obtain a general Korovkin type approximation theorem which concerns the problem of approximating a function $f$ by means…
Several concepts of approximate reasoning in uncertainty processing are linked to the processing of distribution functions. In this paper we make use of probabilistic framework of approximate reasoning by proposing a Lebesgue-type approach…
In this paper, we investigate in a unified way the structural properties of solutions to inverse problems. These solutions are regularized by the generic class of semi-norms defined as a decomposable norm composed with a linear operator,…
A parallelizable iterative procedure based on domain decomposition is presented and analyzed for weak Galerkin finite element methods for second order elliptic equations. The convergence analysis is established for the decomposition of the…
We prove a decomposition formula for Verlinde sums (rational trigonometric sums), as a discrete counterpart to the Boysal-Vergne decomposition formula for Bernoulli series. Motivated by applications to fixed point formulas in Hamiltonian…
We introduce notions of absolutely continuous functionals and representations on the non-commutative disk algebra $A_n$. Absolutely continuous functionals are used to help identify the type L part of the free semigroup algebra associated to…