Related papers: Restricted Linear Constrained Minimization of quad…
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…
Proper splittings of operators are commonly used to study the convergence of iterative processes. In order to approximate solutions of operator equations, in this article we deal with proper splittings of closed range bounded linear…
We consider second-order partial differential operators $H$ in divergence form on $\Ri^d$ with a positive-semidefinite, symmetric, matrix $C$ of real $L_\infty$-coefficients and establish that $H$ is strongly elliptic if and only if the…
In this paper it is shown that the compact linearization approach, that has been previously proposed only for binary quadratic problems with assignment constraints, can be generalized to arbitrary linear equations with positive coefficients…
We examine the minimization of a quadratic cost functional composed of the output and the final state of abstract infinite-dimensional evolution equations in view of existence of solutions and optimality conditions. While the initial value…
In general case of deformed Heisenberg algebra leading to the minimal length we present a definition of the square inverse position operator. Our proposal is based on the functional analysis of the square position operator. Using this…
multiplication operator on a Hilbert space may be approximated with finite sections by choosing an orthonormal basis of the Hilbert space. Nonzero multiplication operators on $L^2$ spaces of functions are never compact and then such…
Entropy functionals (i.e. convex integral functionals) and extensions of these functionals are minimized on convex sets. This paper is aimed at reducing as much as possible the assumptions on the constraint set. Dual equalities and…
Four possible definitions of the commutation relation $[S,T]=\Id$ of two closable unbounded operators $S,T$ are compared. The {\em weak} sense of this commutator is given in terms of the inner product of the Hilbert space $\H$ where the…
The Invariant Subset Problem on the Hilbert space is to know whether there exists a bounded linear operator $T$ on a separable infinite-dimensional Hilbert space $H$ such that the orbit $\{T^{n}x;\ n\ge 0\}$ of every non-zero vector $x\in…
The problem of finding out the global minimum of a multiextremal functional is discussed. One frequently faces with such a functional in various applications. We propose a procedure, which depends on the dimensionality of the problem…
We study approximations of compact linear multivariate operators defined over Hilbert spaces. We provide necessary and sufficient conditions on various notions of tractability. These conditions are mainly given in terms of sums of certain…
We consider the problem of minimizing a linear function over an affine section of the cone of positive semidefinite matrices, with the additional constraint that the feasible matrix has prescribed rank. When the rank constraint is active,…
We consider an off-diagonal self-adjoint finite rank perturbation of a self-adjoint operator in a complex separable Hilbert space $\mathfrak{H}_0 \oplus \mathfrak{H}_1$, where $\mathfrak{H}_1$ is finite dimensional. We describe the singular…
We study finitely cyclic self-adjoint operators in a Hilbert space, i.e. self-adjoint operators that posses such a finite subset in the domain that the orbits of all its elements with respect to the operator are linearly dense in the space.…
Each bounded operator T on an infinite dimensional Hilbert space H is a sum of three operators that are similar to positive operators; two such operators are sufficient if T is not a compact perturbation of a scalar. The spectra of L\"uders…
Recently, a new class of scalar constraint operators has been introduced in loop quantum gravity. They are defined on a space of solutions to the Gauss constraint and partial solutions to the vector constraint, called a vertex Hilbert…
We give extensions of results on nonnegative matrix semigroups which deduce finiteness or boundedness of such semigroups from the corresponding local properties, e.g., from finiteness or boundedness of values of certain linear functionals…
Let $\mathcal{H}$ be a linear space equipped with an indefinite inner product $[\cdot, \cdot]$. Denote by $\mathcal{F}_{++}=\{f\in\mathcal{H} \ : \ [f,f]>0\}$ the nonlinear set of positive vectors in $\mathcal{H}$. We demonstrate that the…
In this paper, we characterize all closed linear operators in a separable Hilbert space which are unitarily equivalent to an integral bi-Carleman operator in $L_2(R)$ with bounded and arbitrarily smooth kernel on $R^2$. In addition, we give…