Remark on the decay for damped string and beam equations

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.

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).

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.

The theoretical part of this monograph examines the distribution of the spectrum of operator polynomials, focusing on quadratic operator polynomials with discrete spectra. The second part is devoted to applications. Standard spectral problems in Hilbert spaces are of the form A- I for an operator A, and self-adjoint operators are of particular interest and importance, both theoretically and in terms of applications. A characteristic feature of self-adjoint operators is that their spectra are real, and many spectral problems in theoretical physics and engineering can be described by using them. However, a large class of problems, in particular vibration problems with boundary conditions depending on the spectral parameter, are represented by operator polynomials that are quadratic in the eigenvalue parameter and whose coefficients are self-adjoint operators. The spectra of such operator polynomials are in general no more real, but still exhibit certain patterns. The distribution of these spectra is the main focus of the present volume. For some classes of quadratic operator polynomials, inverse problems are also considered. The connection between the spectra of such quadratic operator polynomials and generalized Hermite-Biehler functions is discussed in detail. Many applications are thoroughly investigated, such as the Regge problem and damped vibrations of smooth strings, Stieltjes strings, beams, star graphs of strings and quantum graphs. Some chapters summarize advanced background material, which is supplemented with detailed proofs. With regard to the reader s background knowledge, only the basic properties of operators in Hilbert spaces and well-known results from complex analysis are assumed

The function , where is Lerch's transcendent, satisfies the following two-dimensional formally self- adjoint second-order hyperbolic differential equation: where . The corresponding differential expression determines a densely defined symmetric operator (the minimal operator) on the Hilbert space , where . We obtain a description of the domains of definition of some symmetric extensions of the minimal operator. We show that formal solutions of the eigenvalue problem for these symmetric extensions are represented by functional series whose structure resembles that of the Fourier series of . We discuss sufficient conditions for these formal solutions to be eigenfunctions of the resulting symmetric differential operators. We also demonstrate a close relationship between the spectral properties of these symmetric differential operators and the distribution of the zeros of some special analytic functions analogous to the Riemann zeta function. Bibliography: 15 titles.

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.

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. .

From the viewpoint of the theory of orthomodular lattices of elementary propositions, Quantum Theories can be formulated in real, complex or quaternionic Hilbert spaces as established in Sol\'er's theorem. The said lattice eventually coincides with the lattice of all orthogonal projectors on a separable Hilbert space over R, C, or over the algebra of quaternions H. Quantum states are $\sigma$-additive probability measures on that non-Boolean lattice. Gleason's theorem proves that, if the Hilbert space is separable with dimension >2 and the Hilbert space is either real or complex, then states are one-to-one with standard density matrices (self-adjoint, positive, unit-trace, trace-class operators). The extension of this result to quaternionic Hilbert spaces was obtained by Varadarajan in 1968. Unfortunately, even if the hard part of the proof is correct, the formulation of this extension is mathematically incorrect. This is due to some peculiarities of the notion of trace in quaternionic Hilbert spaces, e.g., basis dependence, making the theory of trace-class operators in quaternionic Hilbert spaces different from the standard theory in real and complex Hilbert spaces. A minor issue also affects Varadarajan's statement for real Hilbert space formulation. This paper is mainly devoted to present Gleason-Varadarajan's theorem into a technically correct form valid for the three types of Hilbert spaces. After having develped part of the general mathematical technology of trace-class operators in (generally non-separable) quaternionic Hilbert spaces, we prove that only the {\em real part} of the trace enters the formalism of quantum theories (also dealing with unbounded observables and symmetries) and it can be safely used to formulate and prove a common statement of Gleason's theorem.

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

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}.$$

We consider continuous gradient operators F acting in a real Hilbert space H, and we study their surjectivity under the basic assumption that the corresponding functional 〈F(x),x〉—where 〈⋅〉 is the scalar product in H—is coercive. While this condition is sufficient in the case of a linear operator (where one in fact deals with a bounded self-adjoint operator), in the general case we supplement it with a compactness condition involving the number ω(F) introduced by Furi, Martelli, and Vignoli, whose positivity indeed guarantees that F is proper on closed bounded sets of H. We then use Ekeland’s variational principle to reach the desired conclusion. In the second part of this article, we apply the surjectivity result to give a perspective on the spectrum of these kinds of operators—ones not considered by Feng or the above authors—when they are further assumed to be sublinear and positively homogeneous.

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

SYNOPSISThis paper extends some recent results of V. Barbu and H. Brézis. It is concerned with bounded solutions of the problem pu″+qu′ ∈ Au, u(0) = a, where A is a maximal monotone operator in a real Hilbert space H and p and q are real functions. Existence and uniqueness theorems are proved, with results on integrability of solutions in various measure spaces on R+. T(t) denotes the family of contractions of D(A) generated by the equation and we obtain a regularising effect on the initial data. Some properties of this family of contractions are studied.

Generalizations of Self-Adjointness to Banach Spaces