Related papers: Banach's Indicatrix Reloaded

We present a formalisation of the existence and uniqueness theorems of integral curves of vector fields on Banach manifolds in the Lean theorem prover. First, we formalize properties of differential equations on Banach spaces (the…

We introduce a new approach to traces on the principal ideal $\mathcal L_{1,\infty}$ generated by any positive compact operator whose singular value sequence is the harmonic sequence. Distinct from the well-known construction of J.~Dixmier,…

We give a class of bounded closed sets $C$ in a Banach space satisfying a generalized and stronger form of the Bishop-Phelps property studied by Bourgain in \cite{Bj} for dentable sets. A version of the {\it ``Bishop-Phelps-Bollob\'as"}…

Let X and Y be Banach spaces and F a subset of B_{Y^*}. Endow Y with the topology \tau_F of pointwise convergence on F. Let T: X^* \to Y be a bounded linear operator which is (w^*, \tau_F) continuous. Assume that every vector in the range…

Using principles of the theory of smoothness spaces we give systematic constructions of scales of inverse-closed subalgebras of a given Banach algebra with the action of a d-parameter automorphism group. In particular we obtain the…

Starting with a Z-graded superconnection on a graded vector bundle over a smooth manifold M, we show how Chen's iterated integration of such a superconnection over smooth simplices in M gives an A-infinity functor if and only if the…

We provide some necessary and sufficient conditions for a proper lower semicontinuous convex function, defined on a real Banach space, to be locally or globally Lipschitz continuous. Our criteria rely on the existence of a bounded selection…

In this survey, we consider Banach spaces of analytic functions in one and several complex variables for which: (i) polynomials are dense, (ii) point-evaluations on the domain are bounded linear functionals, and (iii) the shift operator…

We study $k-$smoothness of bounded linear operators defined between arbitrary Banach spaces. As an application, we characterize $k-$smooth operators defined from $\ell_1^n$ to an arbitrary Banach space. We also completely characterize…

Let $\mathcal{L}(X;Y)$ be the space of bounded linear operators from a Banach space $X$ to a Banach space $Y$. Given an operator-valued function $u:\mathbb{R}_{\geq 0}\rightarrow \mathcal{L}(X;Y)$, suppose that every orbit $t\mapsto u(t)x$…

The theory of boundary regularity for $p$-harmonic functions is extended to unbounded open sets in complete metric spaces with a doubling measure supporting a $p$-Poincar\'e inequality, $1<p<\infty$. The barrier classification of regular…

We study the smoothness and the norm attainment of bounded bilinear operators between Banach spaces, using the concepts of Birkhoff-James orthogonality and semi-inner-products. In the finite-dimensional case, we characterize Birkhoff-James…

We prove a commutative Gelfand--Naimark type theorem, by showing that the set $C_s(X)$ of continuous bounded (real or complex valued) functions with separable support on a locally separable metrizable space $X$ (provided with the supremum…

We introduce a modified version of the Whitney extension operators for collections of functions from a closed subset of $\mathbb{R}^n$ into scales of Banach spaces with smoothing operators. We prove an extension theorem for collections…

Certain previously known upper bounds on the moments of the norm of martingales in 2-smooth Banach spaces are improved. Some of these improvements hold even for sums of independent real-valued random variables. Applications to concentration…

We study how the "full hierarchy" of invariant manifolds for nonautonomous integrodifference equations on the Banach spaces of $p$-integrable functions behaves under spatial discretization of Galerkin type. These manifolds include the…

We generalize Lindeberg's proof of the central limit theorem to an invariance principle for arbitrary smooth functions of independent and weakly dependent random variables. The result is applied to get a similar theorem for smooth functions…

Let X be a separable real Banach space having a k-times continuously Fr\'{e}chet differentiable (i.e. C^k-smooth) norm where k=1,...,\infty. We show that any equivalent norm on X can be approximated uniformly on bounded sets by C^k-smooth…

Given a Banach algebra $ \mathcal{A} $ and a continuous homomorphism $\sigma$ on it, the notion of $\sigma$-biflatness for $ \mathcal{A} $ is introduced. This is a generalization of biflatness and it is shown that they are distinct. The…

We consider regulated curves in a Banach bundle whose projection on the basis is continuous with regulated derivative. We build a Banach manifold structure on the set of such curves. This result was previously obtained for the case of…