Non-commutative operator Bohr inequality

In the first part of this paper we present a representation theorem for the directional derivative of the metric projection operator in an arbitrary Hilbert space. As a consequence of the representation theorem, we present in the second part the development of the theory of projected dynamical systems in infinite dimensional Hilbert space. We show that this development is possible if we use the viable solutions of differential inclusions. We use also pseudomonotone operators.

Remark on the decay for damped string and beam equations

A Hilbert space operator T belongs to ∗-class A if . The famous Fuglede-Putnam theorem is as follows: the operator equation implies when A and B are normal operators. In this paper, firstly we prove that if T is a contraction of ∗-class A operators, then either T has a nontrivial invariant subspace or T is a proper contraction and the nonnegative operator is a strongly stable contraction; secondly, we show that if X is a Hilbert-Schmidt operator, A and are ∗-class A operators such that , then . MSC:47B20, 47A63.

Let \(A\) be a bounded linear operator in a complex separable Hilbert space, \(A^*\) be its adjoint one and \(A_I:=(A-A^*)/(2i)\). Assuming that \(A_I\) is a Hilbert-Schmidt operator, we investigate perturbations of the imaginary parts of the eigenvalues of \(A\). Our results are formulated in terms of the "extended" eigenvalue sets in the sense introduced by T. Kato. Besides, we refine the classical Weyl inequality \(\sum_{k=1}^\infty (\operatorname{Im} \lambda_k(A))^2 \leq N_2^2(A_I)\), where \(\lambda_k(A)\) \((k=1,2, \ldots )\) are the eigenvalues of \(A\) and \(N_2(\cdot)\) is the Hilbert-Schmidt norm. In addition, we discuss applications of our results to the Jacobi operators.

We investigate a class of new <svg style="vertical-align:-2.3205pt;width:85.949997px;" id="M2" height="15.0875" version="1.1" viewBox="0 0 85.949997 15.0875" width="85.949997" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg"> <g transform="matrix(.017,-0,0,-.017,.062,12.138)"><use xlink:href="#x1D43B"/></g><g transform="matrix(.017,-0,0,-.017,14.97,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,20.852,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,26.734,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,30.609,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,37.307,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,41.182,12.138)"><use xlink:href="#x29"/></g><g transform="matrix(.017,-0,0,-.017,47.064,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,53.779,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,59.66,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,63.536,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,70.233,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,74.109,12.138)"><use xlink:href="#x29"/></g><g transform="matrix(.017,-0,0,-.017,79.991,12.138)"><use xlink:href="#x29"/></g> </svg>-mixed cocoercive operators in Hilbert spaces. We extend the concept of resolvent operators associated with <svg style="vertical-align:-2.3205pt;width:41.25px;" id="M3" height="15.0875" version="1.1" viewBox="0 0 41.25 15.0875" width="41.25" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg"> <g transform="matrix(.017,-0,0,-.017,.062,12.138)"><use xlink:href="#x1D43B"/></g><g transform="matrix(.017,-0,0,-.017,14.97,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,20.852,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,24.728,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,31.425,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,35.301,12.138)"><use xlink:href="#x29"/></g> </svg>-cocoercive operators to the <svg style="vertical-align:-2.3205pt;width:85.949997px;" id="M4" height="15.0875" version="1.1" viewBox="0 0 85.949997 15.0875" width="85.949997" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg"> <g transform="matrix(.017,-0,0,-.017,.062,12.138)"><use xlink:href="#x1D43B"/></g><g transform="matrix(.017,-0,0,-.017,14.97,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,20.852,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,26.734,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,30.609,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,37.307,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,41.182,12.138)"><use xlink:href="#x29"/></g><g transform="matrix(.017,-0,0,-.017,47.064,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,53.779,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,59.66,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,63.536,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,70.233,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,74.109,12.138)"><use xlink:href="#x29"/></g><g transform="matrix(.017,-0,0,-.017,79.991,12.138)"><use xlink:href="#x29"/></g> </svg>-mixed cocoercive operators and prove that the resolvent operator of <svg style="vertical-align:-2.3205pt;width:85.949997px;" id="M5" height="15.0875" version="1.1" viewBox="0 0 85.949997 15.0875" width="85.949997" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg"> <g transform="matrix(.017,-0,0,-.017,.062,12.138)"><use xlink:href="#x1D43B"/></g><g transform="matrix(.017,-0,0,-.017,14.97,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,20.852,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,26.734,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,30.609,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,37.307,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,41.182,12.138)"><use xlink:href="#x29"/></g><g transform="matrix(.017,-0,0,-.017,47.064,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,53.779,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,59.66,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,63.536,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,70.233,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,74.109,12.138)"><use xlink:href="#x29"/></g><g transform="matrix(.017,-0,0,-.017,79.991,12.138)"><use xlink:href="#x29"/></g> </svg>-mixed cocoercive operator is single valued and Lipschitz continuous. Some examples are given to justify the definition of <svg style="vertical-align:-2.3205pt;width:85.949997px;" id="M6" height="15.0875" version="1.1" viewBox="0 0 85.949997 15.0875" width="85.949997" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg"> <g transform="matrix(.017,-0,0,-.017,.062,12.138)"><use xlink:href="#x1D43B"/></g><g transform="matrix(.017,-0,0,-.017,14.97,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,20.852,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,26.734,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,30.609,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,37.307,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,41.182,12.138)"><use xlink:href="#x29"/></g><g transform="matrix(.017,-0,0,-.017,47.064,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,53.779,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,59.66,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,63.536,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,70.233,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,74.109,12.138)"><use xlink:href="#x29"/></g><g transform="matrix(.017,-0,0,-.017,79.991,12.138)"><use xlink:href="#x29"/></g> </svg>-mixed cocoercive operators. Further, by using resolvent operator technique, we discuss the approximate solution and suggest an iterative algorithm for the generalized mixed variational inclusions involving <svg style="vertical-align:-2.3205pt;width:85.949997px;" id="M7" height="15.0875" version="1.1" viewBox="0 0 85.949997 15.0875" width="85.949997" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns="http://www.w3.org/2000/svg"> <g transform="matrix(.017,-0,0,-.017,.062,12.138)"><use xlink:href="#x1D43B"/></g><g transform="matrix(.017,-0,0,-.017,14.97,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,20.852,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,26.734,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,30.609,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,37.307,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,41.182,12.138)"><use xlink:href="#x29"/></g><g transform="matrix(.017,-0,0,-.017,47.064,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,53.779,12.138)"><use xlink:href="#x28"/></g><g transform="matrix(.017,-0,0,-.017,59.66,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,63.536,12.138)"><use xlink:href="#x2C"/></g><g transform="matrix(.017,-0,0,-.017,70.233,12.138)"><use xlink:href="#x22C5"/></g><g transform="matrix(.017,-0,0,-.017,74.109,12.138)"><use xlink:href="#x29"/></g><g transform="matrix(.017,-0,0,-.017,79.991,12.138)"><use xlink:href="#x29"/></g> </svg>-mixed cocoercive operators in Hilbert spaces. We also discuss the convergence criteria for the iterative algorithm under some suitable conditions. Our results can be viewed as a generalization of some known results in the literature.

In order to make this monograph self-contained, we summarize in this chapter some basic definitions and results for unbounded linear operators in a Hilbert space. In Section 1.1, we recall the definitions of C*-algebras and von Neumann algebras. In Section 1.2, we define and investigate the notion of closedness, the closure and the adjoint of an unbounded linear operator in a Hilbert space. Section 1.3 is devoted to the Cayley transform approach to the self-adjointness of a symmetric operator. Section 1.4 deals with the self-adjoint extendability of a symmetric operator with help of the deficiency spaces. In Section 1.5, we extend to unbounded self-adjoint operators the spectral theorem and the functional calculus theorem for bounded self-adjoint operators. Section 1.6 is devoted to Stone’s theorem. In Section 1.7, the polar decomposition of bounded linear operators is extended to closed linear operators. Section 1.8 introduces Nelson’s analytic vector theorem for the selfadjointness of closed symmetric operators. Section 1.9, finally, deals with the form representation theorem and the Friedrichs self-adjoint extension theorem.

We obtained sharp "multiplicative" and sharp "additive" inequalities of Hardy-Littlewood-Polya type for operators in Hilbert space.

Some new inequalities for the Cebysev functional of two functions of selfadjoint linear operators in Hilbert spaces, under suitable assumptions for the involved functions and operators, are given. 2010 Mathematics Subject Classifications. 47A63; 47A99. .

Some new inequalities of Grüss' type for functions of selfadjoint operators in Hilbert spaces, under suitable assumptions for the involved operators, are given. Several examples for particular functions of interest are provided as well. 2000 Mathematics Subject Classification. 47A63, 47A99

\( \newcommand\norm[1]{\left\lVert#1\right\rVert}\newcommand\normx[1]{\left\Vert#1\right\Vert} \)In this paper several tensorial norm inequalities for continuous functions of selfadjoint operators in Hilbert spaces have been obtained. Multiple inequalities are obtained with variations due to the convexity properties of the mapping $f$$$\norm{(1\otimes B-A\otimes 1)^{-1}[\operatorname{exp}(1\otimes B)-\operatorname{exp}(A\otimes 1)]- \operatorname{exp}\left(\frac{A\otimes 1+1\otimes B}{2}\right)}$$$$\leqslant \norm{1\otimes B-A\otimes 1}^{2}\frac{\norm{f''}_{I,+\infty}}{24}.$$

This paper introduces a general implicit iterative method for finding zeros of a maximal monotone operator in a Hilbert space which unifies three previously studied strategies: relaxation, inertial type extrapolation and projection step. The first two strategies are intended to speed up the convergence of the standard proximal point algorithm, while the third permits one to perform inexact proximal iterations with fixed relative error tolerance. The paper establishes the global convergence of the method for the weak topology under appropriate assumptions on the algorithm parameters.

We consider a two-point boundary value problem for the equation $u_{tt} - A(t)u = f(t,u)$ where, for each t, $A(t)$ is an unbounded operator in Hilbert space whose domain varies with t. We establish the existence (but not the uniqueness) of “weak” solutions of this problem by using finite difference methods. When $A(t)$ represents a differential operator in the space variables, the method of proof can be converted into a convergent numerical procedure.

Let K be a compact Hausdorff space, and let C(K) be the corresponding Banach space of continuous functions on K. It is well-known that every 1-summing operator S:C(K)→l2 is also nuclear, and therefore factors S = S1S2, with S1:l2→l2 a Hilbert–Schmidt operator and S1:C(K)→l2 a bounded operator. It is easily seen that this latter property is preserved when C(K) is replaced by any quotient, and that a Banach space X enjoys this property if and only if its second dual, X**, does. This led A. Pełczyński [15] to ask if the second dual of a Banach space X must be isomorphic to a quotient of a C(K)-space if X has the property that every 1-summing operator X-→l2 factors through a Hilbert-Schmidt operator. In this paper, we shall first of all reformulate the question in an appropriate manner and then show that counter-examples are available among super-reflexive Tsirelson-like spaces as well as among quasi-reflexive Banach spaces.

Stability theory for absolutely continuous parts of commutative m-tuples of self-adjoint operators in complex Hilbert spaces

We study orthogonal and symmetric operators in non-Archimedean Hilbert spaces in the connection with p-adic quantization. This quantization describes measurements with finite precision. Symmetric (bounded) operators in the p-adic Hilbert spaces represent physical observables. We study spectral properties of one of the most important quantum operators, namely, the operator of the position (which is represented in the p-adic Hilbert L2-space with respect to the p-adic Gaussian measure). Orthogonal isometric isomorphisms of p-adic Hilbert spaces preserve precisions of measurements. We study properties of orthogonal operators. It is proved that each orthogonal operator in the non-Archimedean Hilbert space is continuous. However, there exist discontinuous operators with the dense domain of definition which preserve the inner product. There also exist nonisometric orthogonal operators. We describe some classes of orthogonal isometric operators and we study some general questions of the theory of non-Archimedean Hilbert spaces (in particular, general connections between topology, norm and inner product).