Related papers: Banach's theorem in higher order reverse mathemati…
We develop a general, functional calculus approach to approximation of $C_0$-semigroups on Banach spaces by bounded completely monotone functions of their generators. The approach comprises most of well-known approximation formulas, yields…
Using a regularization with the properties of dimensional regularization, higher order local consistency conditions on one loop anomalies and divergent counterterms are given. They are derived without any a priori assumption on the form of…
Let $A$ be a densely defined closed operator in a complex Banach space $X.$ Conditions for left invertibility of operators of the form $\sum_{j=1}^\infty a_j (\alpha_j -A)^{-1}$ are given. Several examples are considered.
For any set $A$ of natural numbers with positive upper Banach density and any $k\geq 1$, we show the existence of an infinite set $B\subset{\mathbb N}$ and a shift $t\geq0$ such that $A-t$ contains all sums of $m$ distinct elements from $B$…
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 carry out a systematic study of decidability for theories of (a) real vector spaces, inner product spaces, and Hilbert spaces and (b) normed spaces, Banach spaces and metric spaces, all formalised using a 2-sorted first-order language.…
This paper presents a systematic study of the prehistory of the traditional subsystems of second-order arithmetic that feature prominently in the reverse mathematics program of Friedman and Simpson. We look in particular at: (i) the long…
We prove a strong law of large numbers for random sets with bounded and closed values contained in an arbitrary (not necessarily separable) Banach space. We make use of a notion of convergence of sets introduced by Fisher, which is stronger…
The semi-local convergence analysis of a well defined and efficient two-step Secant method in Banach spaces is presented in this study. The recurrence relation technique is used under some weak assumptions. The pertinency of the assumed…
The antifield formalism is extended so as to incorporate the rigid symmetries of a given theory. To that end, it is necessary to introduce global ghosts not only for the given rigid symmetries, but also for all the higher order conservation…
The notion of $\alpha$-large families of finite subsets of an infinite set is defined for every countable ordinal number $\alpha$, extending the known notion of large families. The definition of the $\alpha$-large families is based on the…
In this paper we present a new mathematical conception based on a new method for ordering the integers. The method relies on the assumption that negative numbers are beyond infinity, which goes back to Wallis and Euler. We also present a…
We consider random linear unbounded operators on a Banach space $\mathcal{X}$. For example, such random operators may be random quantum channels. The Law of Large Numbers is known when $\mathcal{X}$ is a Hilbert space, in the form of the…
It is proved that if there is an $\aleph_2$-Aronszajn line, then there is one that does not contain an $\aleph_2$-Countryman line. This solves a problem of Moore and stands in a sharp contrast with his Basis Theorem for linear orders of…
Regularisation theory in Banach spaces, and non--norm-squared regularisation even in finite dimensions, generally relies upon Bregman divergences to replace norm convergence. This is comparable to the extension of first-order optimisation…
We present a unified theory for formal mathematical systems including recursive systems closely related to formal grammars, including the predicate calculus as well as a formal induction principle. We introduce recursive systems generating…
We collect and organise known results and add some new ones of the following nature: if A is a bounded operator in a Hilbert or Banach space, does there exist a nonconstant polynomial p(z) such that p(A) is "simpler", "nicer" than A. The…
Consider the polynomial ring in any finite number of variables over the complex numbers, endowed with the $\ell_1$-norm on the system of coefficients. Its completion is the Banach algebra of power series that converge absolutely on the…
In the present work, we discuss variational regularization for ill-posed nonlinear problems with focus on an oversmoothing penalty term. This means in our model that the searched-for solution of the considered nonlinear operator equation…
This paper introduces a new definition of $\alpha$-monotone operators in real 2-uniformly convex and smooth Banach spaces. Based on this new definition, we establish several novel structural and analytical properties of such operators,…