Related papers: Generalizations of the Lax-Milgram theorem

The main result says that every surjective isometry between two ideal Banach function spaces satisfying certain conditions can be presented as a composition of a measurable transformation of a variable and multiplication by a function.

We modify the very well known theory of normed spaces $(E, \norm)$ within functional analysis by considering a sequence $(\norm_n : n\in\N)$ of norms, where $\norm_n$ is defined on the product space $E^n$ for each $n\in\N$. Our theory is…

This paper studies approximation properties of linear sampling operators in general Banach lattices $X$. We obtain matching direct and inverse approximation estimates, convergence criteria, equivalence results involving special…

In this review article we present regularity properties of generalized functions which are useful in the analysis of non-linear problems. It is shown that Schwartz distributions embedded into our new spaces of generalized functions, with…

We present an extension of the classical theory of calculus of variations to generalized functions. The framework is the category of generalized smooth functions, which includes Schwartz distributions while sharing many nonlinear properties…

A well-known theorem due to R. C. James states that a Banach space is reflexive if and only if every bounded linear functional attains its norm. In this note we study Banach lattices on which every (real-valued) lattice homomorphism attains…

Let $X,Y$ be Banach spaces, and fix a linear operator $T \in \mathcal{L}(X,Y)$, and ideals $\mathcal{I}, \mathcal{J}$ on $\omega$. We obtain Silverman--Toeplitz type theorems on matrices $A=(A_{n,k}: n,k \in \omega)$ of linear operators in…

We generalize to Banach space Thibault-Zagrodny Theorem that if $f$ and $g$ are primal lower regular functions and $\partial f = \partial g$ locally, then $f$ and $g$ locally differ by a constant.

Let $A$ be a von Neumann algebra with no direct summand of Type $\roman I_2$, and let $\scr P(A)$ be its lattice of projections. Let $X$ be a Banach space. Let $m\:\scr P(A)\to X$ be a bounded function such that $m(p+q)=m(p)+m(q)$ whenever…

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…

In this article, we investigate nonlinear metric subregularity properties of set-valued mappings between general metric or Banach spaces. We demonstrate that these properties can be treated in the framework of the theory of (linear) error…

A reflexive Banach space with an unconditional basis admits an equivalent $1$-unconditional $2R$ norm and embeds into a reflexive space with a $1$-symmetric $2R$ norm. Partial results on $1$-symmetric $2R$ renormings of spaces with a…

In this paper we introduce a class of Banach spaces of functions of class C^r (where r is a positive real number) and the associated dual spaces of distributions of order r, which turn out to be useful in p-adic Langlands theory. We…

We construct a diffeomorphism invariant (Colombeau-type) differential algebra canonically containing the space of distributions in the sense of L. Schwartz. Employing differential calculus in infinite dimensional (convenient) vector spaces,…

In this paper, we establish three Landau-type theorems for certain bounded poly-analytic functions, which generalize the corresponding result for bi-analytic functions given by Liu and Ponnusamy [Canad. Math. Bull. 67(1): 2024, 152-165].…

For a Banach space $X$ denote by $\mathcal{L}(X)$ the algebra of bounded linear operators on $X$, by $\mathcal{K}(X)$ the compact operator ideal on $X$, and by $Cal(X) = \mathcal{L}(X)/\mathcal{K}(X)$ the Calkin algebra of $X$. We prove…

We consider linear operators defined on a subspace of a complex Banach space into its topological antidual acting positively in a natural sense. The goal of this paper is to investigate of this kind of operators. The main theorem is a…

We prove a very general theorem concerning the estimation of the expression $\|T(\frac{a+b}{2}) - \frac{Ta+Tb}{2}\|$ for different kinds of maps $T$ satisfying some general perurbated isometry condition. It can be seen as a quantitative…

We prove a fixed point theorem for a family of Banach spaces, notably L^1 and its non-commutative analogues. Several applications are given, e.g. the optimal solution to the "derivation problem" studied since the 1960s.

In this note, we provide a characterization for the set of extreme points of the Lipschitz unit ball in a specific vectorial setting. While the analysis of the case of real-valued functions is covered extensively in the literature, no…