Showing 1–13 of 13 results for author: Feshchenko, I

When is the sum of closed subspaces of a Hilbert space closed?

Authors: Ivan Feshchenko

Abstract: 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). 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). △ Less

Submitted 15 December, 2020; originally announced December 2020.

Comments: arXiv admin note: text overlap with arXiv:1606.08048

MSC Class: 46C05; 46C07; 47B15

On the inverse best approximation property of systems of subspaces of a Hilbert space

Authors: Ivan Feshchenko

Abstract: Let $H$ be a Hilbert space and $H_1,...,H_n$ be closed subspaces of $H$. Denote by $P_k$ the orthogonal projection onto $H_k$, $k=1,2,...,n$. Following Patrick L. Combettes and Noli N. Reyes, we will say that the system of subspaces $H_1,...,H_n$ possesses the inverse best approximation property (IBAP) if for arbitrary elements $x_1\in H_1,...,x_n\in H_n$ there exists an element $x\in H$ such that… ▽ More Let $H$ be a Hilbert space and $H_1,...,H_n$ be closed subspaces of $H$. Denote by $P_k$ the orthogonal projection onto $H_k$, $k=1,2,...,n$. Following Patrick L. Combettes and Noli N. Reyes, we will say that the system of subspaces $H_1,...,H_n$ possesses the inverse best approximation property (IBAP) if for arbitrary elements $x_1\in H_1,...,x_n\in H_n$ there exists an element $x\in H$ such that $P_k x=x_k$ for all $k=1,2,...,n$. We provide various new necessary and sufficient conditions for a system of $n$ subspaces to possess the IBAP. Using the main characterization theorem, we study properties of the systems of subspaces which possess the IBAP, obtain a sufficient condition for a system of subspaces to possess the IBAP, and provide examples of systems of subspaces which possess the IBAP. These results are applied to a problem of probability theory. Let $(Ω,\mathcal{F},μ)$ be a probability space and $\mathcal{F}_1,...,\mathcal{F}_n$ be sub-$σ$-algebras of $\mathcal{F}$. We will say that the collection $\mathcal{F}_1,...,\mathcal{F}_n$ possesses the inverse marginal property (IMP) if for arbitrary random variables $ξ_1,...,ξ_n$ such that (1) $ξ_k$ is $\mathcal{F}_k$-measurable, $k=1,2,...,n$; (2) $E|ξ_k|^2<\infty$, $k=1,2,...,n$; (3) $Eξ_1=Eξ_2=...=Eξ_n$, there exists a random variable $ξ$ such that $E|ξ|^2<\infty$ and $E(ξ|\mathcal{F}_k)=ξ_k$ for all $k=1,2,...,n$. We will show that a collection of sub-$σ$-algebras possesses the IMP if and only if the system of corresponding marginal subspaces possesses the IBAP. We consider two examples; in the first example $Ω=\mathbb{N}$, in the second example $Ω=[a,b)$. For these examples we establish relations between the IMP, the IBAP, closedness of the sum of marginal subspaces and "fast decreasing" of tails of the measure $μ$. △ Less

Submitted 5 February, 2020; originally announced February 2020.

MSC Class: Primary 46C05; 46C07; Secondary 47B15; 46N30

On the optimal error bound for the first step in the method of cyclic alternating projections

Authors: Ivan Feshchenko

Abstract: Let $H$ be a Hilbert space and $H_1,...,H_n$ be closed subspaces of $H$. Set $H_0:=H_1\cap H_2\cap...\cap H_n$ and let $P_k$ be the orthogonal projection onto $H_k$, $k=0,1,...,n$. The paper is devoted to the study of functions $f_n:[0,1]\to\mathbb{R}$ defined by $$ f_n(c)=\sup\{\|P_n...P_2 P_1-P_0\|\,|c_F(H_1,...,H_n)\leqslant c\},\,c\in[0,1], $$ where the supremum is taken over all systems of su… ▽ More Let $H$ be a Hilbert space and $H_1,...,H_n$ be closed subspaces of $H$. Set $H_0:=H_1\cap H_2\cap...\cap H_n$ and let $P_k$ be the orthogonal projection onto $H_k$, $k=0,1,...,n$. The paper is devoted to the study of functions $f_n:[0,1]\to\mathbb{R}$ defined by $$ f_n(c)=\sup\{\|P_n...P_2 P_1-P_0\|\,|c_F(H_1,...,H_n)\leqslant c\},\,c\in[0,1], $$ where the supremum is taken over all systems of subspaces $H_1,...,H_n$ for which the Friedrichs number $c_F(H_1,...,H_n)$ is less than or equal to $c$. Using the functions $f_n$ one can easily get an upper bound for the rate of convergence in the method of cyclic alternating projections. We will show that the problem of finding $f_n(c)$ is equivalent to a certain optimization problem on a subset of the set of Hermitian complex $n\times n$ matrices. Using the equivalence we find $f_3$ and study properties of $f_n$, $n\geqslant 4$. Moreover, we show that $$ 1-a_n(1-c)-\widetilde{b}_n(1-c)^2\leqslant f_n(c)\leqslant 1-a_n(1-c)+b_n(1-c)^2 $$ for all $c\in[0,1]$, where $a_n=2(n-1)\sin^2(π/(2n))$, $b_n=6(n-1)^2\sin^4(π/(2n))$ and $\widetilde{b}_n$ is some positive number. △ Less

Submitted 1 August, 2019; originally announced August 2019.

MSC Class: 46C07; 47B15

When is the sum of complemented subspaces complemented?

Authors: Ivan Feshchenko

Abstract: We provide a sufficient condition for the sum of a finite number of complemented subspaces of a Banach space to be complemented. Under this condition a formula for a projection onto the sum is given. We also show that the condition is sharp (in a certain sense). As applications, we get (1) sufficient conditions for the complementability of sums of marginal subspaces in $L^p$ and sums of tensor pow… ▽ More We provide a sufficient condition for the sum of a finite number of complemented subspaces of a Banach space to be complemented. Under this condition a formula for a projection onto the sum is given. We also show that the condition is sharp (in a certain sense). As applications, we get (1) sufficient conditions for the complementability of sums of marginal subspaces in $L^p$ and sums of tensor powers of subspaces in a tensor power of a Banach space and (2) quantitative results on stability of the complementability property of the sum of linearly independent subspaces. △ Less

Submitted 20 July, 2018; v1 submitted 26 June, 2016; originally announced June 2016.

Comments: 30 pages

MSC Class: Primary 46B99; Secondary 46B28; 46N30

On the closedness of the sum of ranges of operators $A_k$ with almost compact products $A_i^* A_j$

Authors: Ivan S. Feshchenko

Abstract: Let $\mathcal{H}_1,\ldots,\mathcal{H}_n,\mathcal{H}$ be complex Hilbert spaces and $A_k:\mathcal{H}_k\to\mathcal{H}$ be a bounded linear operator with the closed range $Ran(A_k)$, $k=1,\ldots,n$. It is known that if $A_i^*A_j$ is compact for any $i\neq j$, then $\sum_{k=1}^n Ran(A_k)$ is closed. We show that if all products $A_i^*A_j$, $i\neq j$ are "almost" compact, then the subspaces… ▽ More Let $\mathcal{H}_1,\ldots,\mathcal{H}_n,\mathcal{H}$ be complex Hilbert spaces and $A_k:\mathcal{H}_k\to\mathcal{H}$ be a bounded linear operator with the closed range $Ran(A_k)$, $k=1,\ldots,n$. It is known that if $A_i^*A_j$ is compact for any $i\neq j$, then $\sum_{k=1}^n Ran(A_k)$ is closed. We show that if all products $A_i^*A_j$, $i\neq j$ are "almost" compact, then the subspaces $Ran(A_1),\ldots,Ran(A_n)$ are essentially linearly independent and their sum is closed. △ Less

Submitted 5 July, 2013; originally announced July 2013.

Comments: 9 pages

MSC Class: Primary 46C07; Secondary 47B07

On the essential spectrum of the sum of self-adjoint operators and the closedness of the sum of operator ranges

Authors: Ivan S. Feshchenko

Abstract: We get a criterion for 0 to be in the essential spectrum of a sum of self-adjoint operators whose pairwise products are compact. Using this result, we obtain necessary and sufficient conditions for the sum of ranges of such operators to be closed. We get a criterion for 0 to be in the essential spectrum of a sum of self-adjoint operators whose pairwise products are compact. Using this result, we obtain necessary and sufficient conditions for the sum of ranges of such operators to be closed. △ Less

Submitted 1 June, 2013; v1 submitted 12 December, 2012; originally announced December 2012.

Comments: 9 pages

MSC Class: Primary 47B15; Secondary 46C07

Journal ref: Banach journal of mathematical analysis, Volume 8, issue 1, 2014

On the divergence of series of the form \sum_{k=1}^\infty\|A_k x\|^p

Authors: Ivan Feshchenko

Abstract: Let {A} be a system of operators. With any element x we associate the set of elements {Ax}. We study conditions under which there exists an element x such that the sum of p-th powers of norms of the elements {Ax} is equal to infinity. Let {A} be a system of operators. With any element x we associate the set of elements {Ax}. We study conditions under which there exists an element x such that the sum of p-th powers of norms of the elements {Ax} is equal to infinity. △ Less

Submitted 9 August, 2012; originally announced August 2012.

Comments: 9 pages, submitted to Studia Mathematica

MSC Class: 40H05; 46B20; 47A05

On absolutely representing families of subspaces in Banach spaces

Authors: Ivan S. Feshchenko

Abstract: An absolutely representing family of subspaces is a natural generalization of an absolutely representing system of subspaces and absolutely representing system (of elements). We obtain necessary an (or) sufficient conditions for a family of subspaces to be an absolutely representing family of subspaces and study properties of absolutely representing families of subspaces in Banach spaces. As an ex… ▽ More An absolutely representing family of subspaces is a natural generalization of an absolutely representing system of subspaces and absolutely representing system (of elements). We obtain necessary an (or) sufficient conditions for a family of subspaces to be an absolutely representing family of subspaces and study properties of absolutely representing families of subspaces in Banach spaces. As an example, we study families of subspaces spanned by exponents. △ Less

Submitted 24 June, 2012; originally announced June 2012.

Comments: 15 pages, submitted to Vladikavkaz Mathematical Journal

MSC Class: 41A58; 46B99

On systems of subspaces of a Hilbert space such that every pair of subspaces satisfies one of the angle or commutativity condition

Authors: Ivan Feshchenko, Alexander Strelets

Abstract: We study finite systems of subspaces of a complex Hilbert space such that each pair of subspaces satisfies a certain condition as described in the following. For each subspace excepting the first one an angle between this subspace and the first one is fixed. The set of all subspaces excluding the first one is divided into disjoint subsets. Each such subset consists of one or two subspaces. Subspac… ▽ More We study finite systems of subspaces of a complex Hilbert space such that each pair of subspaces satisfies a certain condition as described in the following. For each subspace excepting the first one an angle between this subspace and the first one is fixed. The set of all subspaces excluding the first one is divided into disjoint subsets. Each such subset consists of one or two subspaces. Subspaces from different subsets are orthogonal and orthogonal projections onto subspaces from the same subset commute. △ Less

Submitted 17 January, 2012; originally announced January 2012.

Comments: 20 pages

MSC Class: 46C07

On the closedness of the sum of n subspaces of a Hilbert space

Authors: Ivan Feshchenko

Abstract: We give necessary and sufficient conditions for the sum of n subspaces of a Hilbert space to be closed. We also present various properties of n-tuples of subspaces with closed sum. We give necessary and sufficient conditions for the sum of n subspaces of a Hilbert space to be closed. We also present various properties of n-tuples of subspaces with closed sum. △ Less

Submitted 14 January, 2012; originally announced January 2012.

Comments: 46 pages

MSC Class: 46C07

Journal ref: Ukrainian Mathematical Journal 2011

On the divergence of series of p-th powers of operator norms

Authors: Ivan Feshchenko

Abstract: Let {A} be a system of operators. With any element x we associate the set of elements {Ax}. We study conditions under which there exists an element x such that the sum of p-th powers of norms of the elements {Ax} is equal to infinity. Let {A} be a system of operators. With any element x we associate the set of elements {Ax}. We study conditions under which there exists an element x such that the sum of p-th powers of norms of the elements {Ax} is equal to infinity. △ Less

Submitted 7 June, 2013; v1 submitted 5 January, 2012; originally announced January 2012.

Comments: This paper has been withdrawn by the author. This article is in russian, and written not good

MSC Class: 46B20

On representing and absolutely representing systems of subspaces in Banach spaces

Authors: Ivan Feshchenko

Abstract: We study properties of representing and absolutely representing systems of subspaces in Banach spaces. We also present sufficient conditions for the system of subspaces to be a representing system of subspaces. We study properties of representing and absolutely representing systems of subspaces in Banach spaces. We also present sufficient conditions for the system of subspaces to be a representing system of subspaces. △ Less

Submitted 5 January, 2012; originally announced January 2012.

Comments: 13 pages

MSC Class: 41A58; 46B99

Dissecting brick into bars

Authors: Ivan Feshchenko, Danylo Radchenko, Lev Radzivilovsky, Maksym Tantsiura

Abstract: An $N$-dimensional parallelepiped will be called a bar if and only if there are no more than $k$ different numbers among the lengths of its sides (the definition of bar depends on $k$). We prove that a parallelepiped can be dissected into finite number of bars iff the lengths of sides of the parallelepiped span a linear space of dimension no more than $k$ over $\QQ$. This extends and generalizes… ▽ More An $N$-dimensional parallelepiped will be called a bar if and only if there are no more than $k$ different numbers among the lengths of its sides (the definition of bar depends on $k$). We prove that a parallelepiped can be dissected into finite number of bars iff the lengths of sides of the parallelepiped span a linear space of dimension no more than $k$ over $\QQ$. This extends and generalizes a well-known theorem of Max Dehn about partition of rectangles into squares. Several other results about dissections of parallelepipeds are obtained. △ Less

Submitted 10 September, 2008; originally announced September 2008.