We study the metric projection onto the closed convex cone in a real Hilbert space $\mathscr{H}$ generated by a sequence $\mathcal{V} = \{v_n\}_{n=0}^\infty$. The first main result of this paper provides a sufficient condition under which we can identify the closed convex cone generated by $\mathcal{V}$ with the following set: \[ \mathcal{C}[[\mathcal{V}]]: = \bigg\{\sum_{n=0}^\infty a_n v_n\Big|a_n\geq 0,\text{ the series }\sum_{n=0}^\infty a_n v_n\text{ converges in $\mathscr{H}$}\bigg\}. \] Then, by adapting classical results on general convex cones, we give a useful description of the metric projection of a vector onto $\mathcal{C}[[\mathcal{V}]]$. As applications, we obtain the best approximations of many concrete functions in $L^2([-1,1])$ by polynomials with non-negative coefficients.
We fully characterize orthogonal projections of infinite right circular (round) cones in real Hilbert spaces. Another interpretation is that, given two vectors in a real Hilbert space, we establish the optimal estimate on the angle between the orthogonal projections of the two vectors. The estimate depends on the angle between the two vectors and the position of only one of the two vectors. Our results also make a contributions to Cauchy-Bunyakovsky-Schwarz type inequalities.
In this note, we highlight some properties of the metric projection onto a closed convex in a Hilbert space. In particular, we use some recent results on fixed points of nonexpansive potential operators.
Hilbertian Hardy--Sobolev Spaces on Tube Domains over Convex Cones
College of Mathematics and Informatics, South China Agricultural University（华南农业大学数学与信息学院）；Faculty of Innovation Engineering, Macau University of Science and Technology（澳门科技大学创新工程学院）
If $K$ and $L$ are mutually dual closed convex cones in a Hilbert space with the metric projections onto them denoted by $P_K$ and $P_L$ respectively, then the following two assertions are equivalent: (i) $P_K$ is isotone with respect to the order induced by $K$ (i. e. $v-u\in K$ implies $P_Kv-P_Ku\in K$); (ii) $P_L$ is subadditive with respect to the order induced by $L$ (i. e. $P_Lu+P_Lv-P_L(u+v)\in L$ for any $u, v \in \R^n$). This extends the similar result of A. B. Németh and the author for Euclidean spaces. The extension is essential because the proof of the result for Euclidean spaces i…
We show that a continuous additive positively homogeneous map from a closed not necessarily proper cone in a Banach space onto a Banach space is an open map precisely when it is surjective. This generalization of the usual Open Mapping Theorem for Banach spaces is then combined with Michael's Selection Theorem to yield the existence of a continuous bounded positively homogeneous right inverse of such a surjective map; a strong version of the usual Open Mapping Theorem is then a special case. As another consequence, an improved version of the analogue of Andô's Theorem for an ordered Banach spa…
Sets of bilinear constraints are important in various machine learning models. Mathematically, they are hyperbolas in a product space. In this paper, we give a complete formula for projections onto sets of bilinear constraints or hyperbolas in a general Hilbert space.
A Helson matrix is an infinite matrix $A = (a_{m,n})_{m,n\geq1}$ such that the entry $a_{m,n}$ depends only on the product $mn$. We demonstrate that the orthogonal projection from the Hilbert--Schmidt class $\mathcal{S}_2$ onto the subspace of Hilbert--Schmidt Helson matrices does not extend to a bounded operator on the Schatten class $\mathcal{S}_q$ for $1 \leq q \neq 2 < \infty$. In fact, we prove a more general result showing that a large class of natural projections onto Helson matrices are unbounded in the $\mathcal{S}_q$-norm for $1 \leq q \neq 2 < \infty$. Two additional results are als…
We provide a direct proof of a result regarding the asymptotic behavior of alternating nearest point projections onto two closed and convex sets in a Hilbert space. Our arguments are based on nonexpansive mapping theory.
We introduce the concept of the touching of two multifunctions on a real Hilbert space, and deduce that certain multifunctions on the space have a unique fixed point. These result are applied to the theory of genaralized cycles and generalized gap vectors for the composition of the projections onto a finite number of closed convex space in a real Hilbert space.
The projector onto the Minkowski sum of closed convex sets is generally not equal to the sum of individual projectors. In this work, we provide a complete answer to the question of characterizing the instances where such an equality holds. Our results unify and extend the case of linear subspaces and Zarantonello's results for projectors onto cones. A detailed analysis in the case of convex combinations is also carried out. We establish the partial sum property for projectors onto convex cones, and we also present various examples as well as a detailed analysis in the univariate case.
Extending Meshulam's result on the boundedness of orbits of relaxed projections onto affine subspaces from finite to infinite-dimensional Hilbert spaces
Let $K$ be a compact Hausdorff space and let $H$ be a real or complex Hilbert space with dim$(H_\mathbb{R})\geq 2$. We prove that the space $C(K,H)$ of all $H$-valued continuous functions on $K$, equipped with the supremum norm, satisfies the Mazur--Ulam property, that is, if $Y$ is any real Banach space, every surjective isometry $Δ$ from the unit sphere of $C(K,H)$ onto the unit sphere of $Y$ admits a unique extension to a surjective real linear isometry from $C(K,H)$ onto $Y$. Our strategy relies on the structure of $C(K)$-module of $C(K,H)$ and several results in JB$^*$-triple theory. For …
We provide a sufficient condition for a finite number of closed subspaces of a Hilbert space to be linearly independent and their sum to be closed. Under this condition a formula for the orthogonal projection onto the sum is given. We also show that this condition is sharp (in a certain sense).
In this paper we consider the cone of all positive, bounded operators acting on an infinite dimensional, complex Hilbert space, and examine bijective maps that preserve absolute continuity in both directions. It turns out that these maps are exactly those that preserve singularity in both directions. Moreover, in some weak sense, such maps are always induced by bounded, invertible, linear- or conjugate linear operators of the underlying Hilbert space. Our result gives a possible generalization of a recent theorem of Molnar which characterizes maps on the positive cone that preserve the Lebesgu…
We study the horofunction boundaries of Hilbert and Thompson geometries, and of Banach spaces, in arbitrary dimension. By comparing the boundaries of these spaces, we show that the only Hilbert and Thompson geometries that are isometric to Banach spaces are the ones defined on the cone of positive continuous functions on a compact space.
In this paper we consider power means of positive Hilbert space operators both in the conventional and in the Kubo-Ando senses. We describe the corresponding isomorphisms (bijective transformations respecting those means as binary operations) on positive definite cones and on positive semidefinite cones in operator algebras. We also investigate the question when those two sorts of power means can be transformed into each other.
By using the metric projection onto a closed self-dual cone of the Euclidean space, M. S. Gowda, R. Sznajder and J. Tao have defined generalized lattice operations, which in the particular case of the nonnegative orthant of a Cartesian reference system reduce to the lattice operations of the coordinate-wise ordering. The aim of the present note is twofold: to give a geometric characterization of the closed convex sets which are invariant with respect to these operations, and to relate this invariance property to the isotonicity of the metric projection onto these sets. As concrete examples the…
There is a canonical unitary transformation from $L^2(\R)$ onto the Fock space $F^2$, called the Bargmann transform. We study the action of the Bargmann transform on several classical integral operators on $L^2(\R)$, including the fractional Fourier transform, the fractional Hilbert transform, and the wavelet transform.
The purpose of this note is to answer a question A. E. Nussbaum formulated in 1964 about the possible equivalence between weak measurability of a family of densely defined, closed operators T(t), t real, in a separable complex Hilbert space H on one hand, and the notion of measurability of the 2 \times 2 operator-valued matrix of projections onto the graph Gamma(T(t)) of T(t) on the other, in the negative. Our results demonstrate an interesting distinction between the direct integral over the family of operators T(t) with respect to Lebesgue measure and the naturally maximally defined operator…
We study the dynamics of fixed point free mappings on the interior of a normal, closed cone in a Banach space that are nonexpansive with respect to Hilbert's metric or Thompson's metric. We establish several Denjoy-Wolff type theorems that confirm conjectures by Karlsson and Nussbaum for an important class of nonexpansive mappings. We also extend and put into a broader perspective results by Gaubert and Vigeral concerning the linear escape rate of such nonexpansive mappings.
We determine the structure of all bijections on the cone of positive semidefinite operators which preserve the quantum $f$-divergence for an arbitrary strictly convex function $f$ defined on the positive halfline. It turns out that any such transformation is implemented by either a unitary or an antiunitary operator.
