Related papers: Banach's theorem in higher order reverse mathemati…
J. Hadamard's ideas about the correct formulation of the problems of mathematical physics have been analyzed. In this connection various interpretations of the directly related Banach theorem about the inverse operator has been touched. The…
Tensor-based methods are receiving a growing interest in scientific computing for the numerical solution of problems defined in high dimensional tensor product spaces. A family of methods called Proper Generalized Decompositions methods…
The problems connected with equivalent norms lie at the heart of Banach space theory. This is a short survey on some recent as well as classical results and open problems in renormings of Banach spaces.
Let $A$ be a Banach algebra with a bounded left approximate identity $\{e_\lambda\}_{\lambda\in\Lambda}$, let $\pi$ be a continuous representation of $A$ on a Banach space $X$, and let $S$ be a non-empty subset of $X$ such that…
We consider abstract inverse problems between infinite-dimensional Banach spaces. These inverse problems are typically nonlinear and ill-posed, making the inversion with limited and noisy measurements a delicate process. In this work, we…
We provide a new proof of a important theorem in the Lagrangian formalism about necessary and sufficient conditions for a second-order variational system of equations to follow from a first-order Lagrangian.
While exploring dynamical systems, we often come across the principle of contraction mapping, or better known as the Banach fixed point theorem. It is an essential concept based on successive approximation, whose utility comes from two main…
We obtain extensions of the Poincar\'e and Perron theorems for higher order recurrence relations and apply them to obtain an inverse type theorem for row sequences of (type II) Hermite-Pad\'e approximation of a vector of formal power…
We review and analyse techniques from the literature for extending a normed algebra, A to a normed algebra, B, so that B has interesting or desirable properties which A may lack. For example, B might include roots of monic polynomials over…
~This paper presents a general result that allows for establishing a link between the Kolmogorov-Marcinkiewicz-Zygmund strong law of large numbers and Feller's strong law of large numbers in a Banach space setting. Let $\{X, X_{n}; n \geq…
Constructing or learning a function from a finite number of sampled data points (measurements) is a fundamental problem in science and engineering. This is often formulated as a minimum norm interpolation problem, regularized learning…
A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if a countable theory T has the Schroder-Bernstein property then it is classifiable (it is…
The aim of this paper is to present two tools, Theorems 4 and 7, that make the task of finding equivalent polyhedral norms on certain Banach spaces easier and more transparent. The hypotheses of both tools are based on countable…
Every function over the natural numbers has an infinite subdomain on which the function is non-decreasing. Motivated by a question of Dzhafarov and Schweber, we study the reverse mathematics of variants of this statement. It turns out that…
We introduce a new type of norm for ordered vector spaces majorized by a proper (convex) cone that generalizes the notions of order unit norm and base norm. Then we give sufficient conditions to ensure its completeness. In the case of…
Dag Normann and the author have recently initiated the study of the logical and computational properties of the uncountability of $\mathbb{R}$ formalised as the statement $\textsf{NIN}$ (resp. $\textsf{NBI}$ that there is no injection…
The study of the Banach-Saks property in Banach spaces has a long and illustrious history. Of late, motivated by applications in financial mathematics, interest has arisen in the Banach-Saks type properties with respect to order…
The Hahn-Banach theorem is an extension theorem for linear functionals which preserves certain properties. Specifically, if a linear functional is defined on a subspace of a real vector space which is dominated by a sublinear functional on…
Recent advances in our understanding of higher derived limits carry multiple implications in the fields of condensed and pyknotic mathematics, as well as for the study of strong homology. These implications are thematically diverse,…
It is widely claimed that the natural axiom systems$\unicode{x2013}$including the large cardinal axioms$\unicode{x2013}$form a well-ordered hierarchy. Yet, as is well-known, it is possible to exhibit non-linearity and ill-foundedness by…