Functional Analysis

Date: Thu, 9 May 2024 | Total: 8

#1 A separation theorem for Hilbert $W^*$-modules [PDF] [Copy] [Kimi]

Authors: Rasoul Eskandari ; Mohammad Sal Moslehian

Let $\mathscr L$ be a closed submodule of a Hilbert $W^*$-module $\mathscr E$ over a $C^*$-algebra $\mathscr A$. We pose a separation problem: Does there exist a normal state $\omega$ such that $\iota_\omega (\mathscr L)$ is not dense in $\mathscr E_\omega $? In this note, among other results, we give an affirmative answer to this problem, when $\mathscr E$ is a self-dual Hilbert $W^*$-module such that $\mathscr E\backslash \mathscr L$ has a nonempty interior with respect to the weak$^*$-topology.

#2 Separated Pairs of Submodules in Hilbert $C^*$-modules [PDF] [Copy] [Kimi]

Authors: R. Eskandari ; W. Luo ; M. S. Moslehian ; Q. Xu ; H. Zhang

We introduce the notion of the separated pair of closed submodules in the setting of Hilbert $C^*$-modules. We demonstrate that even in the case of Hilbert spaces this concept has several nice characterizations enriching the theory of separated pairs of subspaces in Hilbert spaces. Let $\mathscr H$ and $\mathscr K$ be orthogonally complemented closed submodules of a Hilbert $C^*$-module $\mathscr E$. We establish that $ (\mathscr H,\mathscr K)$ is a separated pair in $\mathscr{E}$ if and only if there are idempotents $\Pi_1$ and $\Pi_2$ such that $\Pi_1\Pi_2=\Pi_2\Pi_1=0$ and $\mathscr R(\Pi_1)=\mathscr H$ and $\mathscr R(\Pi_2)=\mathscr K$. We show that $\mathscr R(\Pi_1+\lambda\Pi_2)$ is closed for each $\lambda\in \mathbb{C}$ if and only if $\mathscr R(\Pi_1+\Pi_2)$ is closed. We use the localization of Hilbert $C^*$-modules to define the angle between closed submodules. We prove that if $(\mathscr H^\perp,\mathscr K^\perp)$ is concordant, then $(\mathscr H^{\perp\perp},\mathscr K^{\perp\perp})$ is a separated pair if the cosine of this angle is less than one. We also present some surprising examples to illustrate our results.

#3 Generalized vector potential and Trace Theorem for Lipschitz domains [PDF] [Copy] [Kimi]

Authors: Zhen Liu ; Jinbiao Wu

The vector potential is a fundamental concept widely applied across various fields. This paper presents an existence theorem of a vector potential for divergence-free functions in $W^{m,p}(\mathbb{R}^N,\mathbb{T})$ with general $m,p,N$. Based on this theorem, one can establish the space decomposition theorem for functions in $W^{m,p}_0(\operatorname{curl};\Omega,\mathbb{R}^N)$ and the trace theorem for functions in $W^{m,p}(\Omega)$ within the Lipschitz domain $\Omega \subset \mathbb{R}^N$. The methods of proof employed in this paper are straightforward, natural, and consistent.

#4 Symmetrically pseudo-amenable Banach algebras [PDF] [Copy] [Kimi]

Authors: Hoger Ghahramani ; Parvin Zamani

We introduce and study a new notion of amenability called symmetric pseudo-amenability. We obtain some properties of symmetrically pseudo-amenable Banach algebras and with examples, we compare this type of amenability with some other types of amenability. We also provide some special classes of symmetrically pseudo-amenable Banach algebras. Finally, Jordan and Lie derivations from a class of Banach algebras into appropriate Banach bimodules are investigated using the notion of symmetric pseudo-amenability.

#5 Convergence of Random Products of Countably Infinitely Many Projections [PDF] [Copy] [Kimi]

Authors: Rasoul Eskandari ; Mohammad Sal Moslehian

Let $r \in \mathbb{N}\cup\{\infty\}$ be a fixed number and let $P_j\,\, (1 \leq j\leq r )$ be the projection onto the closed subspace $\mathcal{M}_j$ of $\mathscr{H}$. We are interested in studying the sequence $P_{i_1}, P_{i_2}, \ldots \in\{P_1, \ldots, P_r\}$. A significant problem is to demonstrate conditions under which the sequence $\{P_{i_n}\cdots P_{i_2}P_{i_1}x\}_{n=1}^\infty$ converges strongly or weakly to $Px$ for any $x\in\mathscr{H}$, where $P$ is the projection onto the intersection $\mathcal{M}=\mathcal{M}_1\cap \ldots \cap \mathcal{M}_r$. Several mathematicians have presented their insights on this matter since von Neumann established his result in the case of $r=2$. In this paper, we give an affirmative answer to a question posed by M. Sakai. We present a result concerning random products of countably infinitely many projections (the case $r=\infty$) incorporating the notion of pseudo-periodic function.

#6 The Spectral Gap of a Gaussian Quantum Markovian Generator [PDF] [Copy] [Kimi]

Authors: Franco Fagnola ; Damiano Poletti ; Emanuela Sasso ; Veronica Umanità

Gaussian quantum Markov semigroups are the natural non-commutative extension of classical Ornstein-Uhlenbeck semigroups. They arise in open quantum systems of bosons where canonical non-commuting random variables of positions and momenta come into play. If there exits a faithful invariant density we explicitly compute the optimal exponential convergence rate, namely the spectral gap of the generator, in non-commutative $L^2$ spaces determined by the invariant density showing that the exact value is the lowest eigenvalue of a certain matrix determined by the diffusion and drift matrices. The spectral gap turns out to depend on the non-commutative $L^2$ space considered, whether the one determined by the so-called GNS or KMS multiplication by the square root of the invariant density. In the first case, it is strictly positive if and only if there is the maximum number of linearly independent noises. While, we exhibit explicit examples in which it is strictly positive only with KMS multiplication. We do not assume any symmetry or quantum detailed balance condition with respect to the invariant density.

#7 On some intrinsic differentiability properties for Absolutely continuous functions between Carnot groups and the Area formula [PDF] [Copy] [Kimi]

Authors: Andrea Pinamonti ; Francesco Serra Cassano ; Kilian Zambanini

We discuss Q-absolutely continuous functions between Carnot groups, following Maly's definition for maps of several variables. Such maps enjoy nice regularity properties, like continuity, Pansu differentiability a.e., weak differentiability and an Area formula. Furthermore, we extend Stein's result concerning the sharp condition for continuity and differentiability a.e. of a Sobolev map in terms of the integrability of the weak gradient: more precisely, we prove that a Sobolev map between Carnot groups with horizontal gradient of its sections uniformly bounded in L(Q,1) admits a representative which is Q-absolutely continuous.

#8 Quasi-Banach Schatten-von Neumann properties in Weyl-Hörmander calculus [PDF] [Copy] [Kimi]

Authors: Matteo Bonino ; Sandro Coriasco ; Albin Petersson ; Joachim Toft

We study structural properties of Wiener-Lebesgue spaces with respect to a slowly varying metrics and certain Lebesgue parameters. For $p\in (0,1]$, we deduce Schatten-$p$ properties for pseudo-differential operators whose symbols, together with their derivatives, obey suitable Wiener-Lebesgue-boundedness conditions. Especially, we perform such investigations for the Weyl-H\"ormander calculus. Finally, we apply our results to global-type SG and Shubin pseudo-differential operators.