English
Related papers

Related papers: Complex Bounded Operators in Isabelle/HOL

200 papers

In this paper, we consider composition operators on weighted Hilbert spaces of analytic functions and observe that a formula for the essential norm, give a Hilbert-Schmidt characterization and characterize the membership in Schatten-class…

Functional Analysis · Mathematics 2013-08-08 Mostafa Hassanlou

In this paper we introduce and study a new kind of generalized Hilbert matrix operators, induced by a positive finite Borel measure on (0,1), acting on weighted sequence spaces. We establish a sufficient and necessary condition for the…

Classical Analysis and ODEs · Mathematics 2026-05-27 Jianjun Jin

By H\"ormander's $L^2$-m\'ethode, we study some operators in the Hilbert space of weight $L^2(\mathbb{C}, \mathrm{e}^{-|z|^2})$. We prove in each case of operator the existence of its inverse which is also a bounded operator.

Complex Variables · Mathematics 2022-07-01 Souhaibou Sambou

Let H be an infinite-dimensional (real or complex) Hilbert space, viewed as a metric structure in its natural signature. We characterize the definable linear operators on H as exactly the "scalar plus compact" operators.

Logic · Mathematics 2010-10-13 Isaac Goldbring

We give necessary and sufficient conditions for a bounded operator defined between complex Hilbert spaces to be absolutely norm attaining. We discuss structure of such operators in the case of self-adjoint and normal operators separately.…

Spectral Theory · Mathematics 2018-01-09 G. Ramesh , D. Venku Naidu

We use a model operator approach and the spectral theorem for self-adjoint operators in a Hilbert space to derive the basic results of abstract left-definite theory in a straightforward manner. The theory is amply illustrated with a variety…

Spectral Theory · Mathematics 2024-08-06 Christoph Fischbacher , Fritz Gesztesy , Paul Hagelstein , Lance Littlejohn

In this paper, we generalize the notion of joint eigenvalues and joint spectrum of matrices and operator tupples on a bi complex Hilbert space. We observe that unlike the spectrum of a bounded operator on a bi complex Hilbert space is…

Functional Analysis · Mathematics 2024-09-17 Akshay Rane

This article summarises the theory of several bounded functional calculi for unbounded operators that have recently been discovered. The extend the Hille--Phillips calculus for (negative) generators $A$ of certain bounded $C_0$-semigroups,…

Functional Analysis · Mathematics 2022-02-08 Charles Batty , Alexander Gomilko , Yuri Tomilov

A commuting $n$-tuple $(T_1, \ldots, T_n)$ of bounded linear operators on a Hilbert space $\clh$ associate a Hilbert module $\mathcal{H}$ over $\mathbb{C}[z_1, \ldots, z_n]$ in the following sense: \[\mathbb{C}[z_1, \ldots, z_n] \times…

Functional Analysis · Mathematics 2014-09-30 Jaydeb Sarkar

We consider the space of adjointable operators on barreled VH (Vector Hilbert) spaces and show that such operators are automatically bounded.This generalizes the well known corresponding result for locally Hilbert $C^*$-modules.We pick a…

Functional Analysis · Mathematics 2021-08-02 Serdar Ay

We explore commutativity up to a factor, $AB=\lambda BA$, for bounded operators in a complex Hilbert space. Conditions on the possible values of the factor $\lambda$ are formulated and shown to depend on spectral properties of the operators…

Functional Analysis · Mathematics 2009-10-31 J. A. Brooke , P. Busch , D. B. Pearson

We give a generalization of the Jordan canonical form theorem for a class of bounded linear operators on complex separable Hilbert spaces in terms of direct integrals. Precisely, we study the uniqueness of strongly irreducible…

Functional Analysis · Mathematics 2011-09-28 Rui Shi

In this paper, we shall consider the notion of bicomplex inner product and define bicomplex Hilbert space. We shall define $L^{2}[a,b]$ where the functions take bicomplex values. We shall prove the Theorem for a bounded self adjoint…

Functional Analysis · Mathematics 2024-02-27 Akshay Sakharam Rane

In this paper we completely characterize the norm attainment set of a bounded linear operator on a Hilbert space. This partially answers a question raised recently in [\textit{D. Sain, On the norm attainment set of a bounded linear…

Functional Analysis · Mathematics 2019-03-20 Debmalya Sain

The paper is concerned with the following question: if $A$ and $B$ are two bounded operators between Hilbert spaces $\mathcal{H}$ and $\mathcal{K}$, and $\mathcal{M}$ and $\mathcal{N}$ are two closed subspaces in $\mathcal{H}$, when will…

Functional Analysis · Mathematics 2018-12-03 Marko S. Djikić , Jovana Nikolov Radenković

This paper will initiate a study on the class of complex symmetric operators acting between two different Hilbert space. Among other things, we compute the closure of CSO with respect to the several topologies.

Functional Analysis · Mathematics 2016-02-15 Mona Nabiei

We study in this paper the infinite-dimensional orthogonal Lie algebra $\mathcal{O}_C$ which consists of all bounded linear operators $T$ on a separable, infinite-dimensional, complex Hilbert space $\mathcal{H}$ satisfying $CTC=-T^*$, where…

Functional Analysis · Mathematics 2020-03-04 Qinggang Bu , Sen Zhu

In this paper, we give a characterization of all closed linear operators in a separable Hilbert space which are unitarily equivalent to an integral operator in $L_2(R)$ with bounded and arbitrarily smooth Carleman kernel on $R^2$. In…

Spectral Theory · Mathematics 2007-05-23 Igor M. Novitskii

In this paper we define $\lambda$-hyponormal operators on an infinite dimensional Hilbert space $\mathcal{H}$ and find a class of $\lambda$-hyponormal operators that can not be hypercyclic. Also, we study closedness of range and…

Functional Analysis · Mathematics 2025-08-07 Y. Estaremi , M. S. Al Ghafri , and S. Shamsigamchi

Based on the success of a well-known method for solving higher order linear differential equations, a study of two of the most important mathematical features of that method, viz. the null spaces and commutativity of the product of…

Functional Analysis · Mathematics 2023-12-12 Richard Kadison , Simon Levin , Zhe Liu