Related papers: Generalized Complex Spherical Harmonics, Frame Fun…

We generalize the notion of harmonic conjugate functions and Hilbert transforms to higher dimensional euclidean spaces, in the setting of differential forms and the Hodge-Dirac system. These conjugate functions are in general far from being…

Let $\mu$ be a positive Borel measure on the interval [0,1). For $\beta > 0$, The generalized Hankel matrix $\mathcal{H}_{\mu,\beta}= (\mu_{n,k,\beta})_{n,k\geq0}$ with entries $\mu_{n,k,\beta}=…

We consider norms on a complex separable Hilbert space such that $\langle a\xi,\xi\rangle\leq\|\xi\|^2\leq\langle b\xi,\xi\rangle$ for positive invertible operators $a$ and $b$ that differ by an operator in the Schatten class. We prove that…

In this paper we obtain necessary and sufficient conditions for a linear bounded operator in a Hilbert space $H$ to have a three-diagonal complex symmetric matrix with non-zero elements on the first sub-diagonal in an orthonormal basis in…

Assuming a unitarily invariant norm $|||\cdot|||$ is given on a two-sided ideal of bounded linear operators acting on a separable Hilbert space, it induces some unitarily invariant norms $|||\cdot|||$ on matrix algebras $\mathcal{M}_n$ for…

Let $f$ be a symmetric norm on ${\mathbb R}^n$ and let ${\mathcal B}({\mathcal H})$ be the set of all bounded linear operators on a Hilbert space ${\mathcal H}$ of dimension at least $n$. Define a norm on ${\mathcal B}({\mathcal H})$ by…

Let $\mathcal H$ be a Hilbert space. Given a bounded positive definite operator $S$ on $\mathcal H$, and a bounded sequence $\mathbf{c} = \{c_k \}_{k \in \mathbb N}$ of non negative real numbers, the pair $(S, \mathbf{c})$ is frame…

Let $A$ be a normal operator in a Hilbert space $\mathcal{H}$, and let $\mathcal{G} \subset \mathcal{H}$ be a countable set of vectors. We investigate the relations between $A$, $\mathcal{G}$ , and $L$ that makes the system of iterations…

Let $(\mathbb{X} , d, \mu )$ be a proper metric measure space and let $\Omega \subset \mathbb{X}$ be a bounded domain. For each $x\in \Omega$, we choose a radius $0< \varrho (x) \leq \mathrm{dist}(x, \partial \Omega ) $ and let $B_x$ be the…

Let $A$ be an operator on {a separable } Hilbert space $\cH$, and let $G \subset \cH$. It is known that - under appropriate conditions on $A$ and $G$ - the set of iterations $F_G(A)= \{A^j \gbf \; | \; \gbf \in G, \; 0 \leq j \leq L(\gbf)…

We investigate systems of the form $\{A^tg:g\in\mathcal{G},t\in[0,L]\}$ where $A \in B(\mathcal{H})$ is a normal operator in a separable Hilbert space $\mathcal{H}$, $\mathcal{G}\subset \mathcal{H}$ is a countable set, and $L$ is a positive…

We establish the following Hilbert-space analogue of the Gleason-Kahane-\.Zelazko theorem. If $\mathcal{H}$ is a reproducing kernel Hilbert space with a normalized complete Pick kernel, and if $\Lambda$ is a linear functional on…

In this paper, we will introduce a new notion, that of $K$-Integral operator frames in the set of all bounded linear operators noted $\mathcal{B}(H)$, where $H$ is a separable Hilbert space. Also, we prove some results of integral…

Let $X$ be a (real or complex) rearrangement-in\-va\-riant function space on $\Om$ (where $\Om = [0,1]$ or $\Om \subseteq \bbN$) whose norm is not proportional to the $L_2$-norm. Let $H$ be a separable Hilbert space. We characterize…

Let $U$ be a unitary operator defined on some infinite-dimensional complex Hilbert space ${\cal H}$. Under some suitable regularity assumptions, it is known that a local positive commutation relation between $U$ and an auxiliary…

Functional analysis, especially the theory of Hilbert spaces and of operators on these, form an important area in mathematics. We formalized the Isabelle/HOL library Complex_Bounded_Operators containing a large amount of theorems about…

Let $(G,+)$ be a topological abelian group with a neutral element $e$ and let $\mu : G\longrightarrow\mathbb{C}$ be a continuous character of $G$. Let $(\mathcal{H}, \langle \cdot,\cdot \rangle)$ be a complex Hilbert space and let…

Given a C$^*$-algebra $A$, let $S(A^+)$ denote the set of those positive elements in the unit sphere of $A$. Let $H_1$, $H_2,$ $H_3$ and $H_4$ be complex Hilbert spaces, where $H_3$ and $H_4$ are infinite-dimensional and separable. In this…

A linear operator on a Hilbert space $\mathbb{H}$, in the classical approach of von Neumann, must be symmetric to guarantee self-adjointness. However, it can be shown that the symmetry could be ommited by using a criterion for the graph of…

Few years ago G\u{a}vru\c{t}a gave the notions of $K$-frame and atomic system for a linear bounded operator $K$ in a Hilbert space $\mathcal{H}$ in order to decompose $\mathcal{R}(K)$, the range of $K$, with a frame-like expansion. These…