Related papers: Nowhere Weak Differentiability of the Pettis Integ…

We investigate infinite versions of vector and affine space partition results, and thus obtain examples and a counterexample for a partition problem for relational structures. In particular we provide two (related) examples of an age…

Disjointly strictly singular inclusions between variable Lebesgue spaces $L^{p(\cdot)}(\mu)$ on finite measure are characterized. Suitable criteria in terms of the (bounded or unbounded) exponents are given. It is proved the equivalence of…

For a large class of irreducible shift spaces $X\subset\tA^{\Z^d}$, with $\tA$ a finite alphabet, and for absolutely summable potentials $\Phi$, we prove that equilibrium measures for $\Phi$ are weak Gibbs measures. In particular, for…

We prove some results on weakly almost square Banach spaces and their relatives. On the one hand, we discuss weak almost squareness in the setting of Banach function spaces. More precisely, let $(\Omega,\Sigma)$ be a measurable space, let…

We show that the problem whether every $1$-separably injective Banach space contains an isomorphic copy of $\ell_\infty$ is undecidable. Namely, unlike under the continuum hypothesis, assuming Martin's axiom and the negation of the…

We extend Krylov and R\"{o}ckner's result \cite{KR} to the drift coefficients in critical Lebesgue space, and prove the existence and uniqueness of weak solutions for a class of SDEs. To be more precise, let $b: [0,T]\times{\mathbb…

This article is a continuation of a paper of the first author \cite{F} about complex structures on real Banach spaces. We define a notion of even infinite dimensional real Banach space, and prove that there exist even spaces, including HI…

We provide a convenient framework for the study of the well-posedness of a variety of abstract (integro)differential equations in general Banach function spaces. It allows us to extend and complement the known theory on the maximal…

One can define Fourier multipliers on a Banach function space by using the direct and inverse Fourier transforms on $L^2(\mathbb{R}^n)$ or by using the direct Fourier transform on $S(\mathbb{R}^n)$ and the inverse one on $S'(\mathbb{R}^n)$.…

We combine Kirchheim's metric differentials with Cheeger charts in order to establish a non-embeddability principle for any collection $\mathcal C$ of Banach (or metric) spaces: if a metric measure space $X$ bi-Lipschitz embeds in some…

We prove a uniformly continuous linear extension principle in topological vector spaces from which we derive a very short and canonical construction of the Lebesgue integral of Banach space valued maps on a finite measure space. The Vitali…

We prove that SL(3,R) has Strong Banach property (T) in Lafforgue's sense with respect to the Banach spaces that are $\theta>0$ interpolation spaces (for the complex interpolation method) between an arbitrary Banach space and a Banach space…

Integration, just as much as differentiation, is a fundamental calculus tool that is widely used in many scientific domains. Formalizing the mathematical concept of integration and the associated results in a formal proof assistant helps in…

We derive a family of weighted Hardy-type inequalities in the variable exponent Lebesgue space with an additional term of the form \[ \int_\Omega\ |\xi|^{p(x)} \mu_{1,\beta}(dx)\leqslant \int_\Omega |\nabla…

Having been unclear how to define that a domain is strictly pseudoconvex in the infinite-dimensional setting, we develop a general theory having Banach spaces in mind. We first focus on finite dimension and eliminate the need of two degrees…

Let $Z$ and $X$ be Banach spaces. Suppose that $X$ is Asplund. Let $\mathcal{M}$ be a bounded set of operators from $Z$ to $X$ with the following property: a bounded sequence $(z_n)_{n\in \mathbb{N}}$ in $Z$ is weakly null if, for each $M…

Given $1< p < q < \infty$ it is well know that the natural embedding of Lebesgue sequence spaces $\ell_p \hookrightarrow \ell_q$ is strictly singular. In this paper we extend this classical results and show that even the natural non-compact…

In this paper, using the tools from the lineability theory, we distinguish certain subsets of $p$-adic differentiable functions. Specifically, we show that the following sets of functions are large enough to contain an infinite dimensional…

This article deals with the lower compactness property of a sequence of integrands and the use of this key notion in various domains: convergence theory, optimal control, non-smooth analysis. First about the interchange of the weak…

Let $\psi:\mathbb{N}\to\mathbb{R}_{\ge0}$ be an arbitrary function from the positive integers to the non-negative reals. Consider the set $\mathcal{A}$ of real numbers $\alpha$ for which there are infinitely many reduced fractions $a/q$…