1. Introduction
Let C be a collection of operators acting on a Hilbert space H. An interpo-lation question for C asks for which operators X and Y on H when is there a bounded linear operator A (usually satisfying some other conditions) such that AX = Y ? The "other conditions" that have been of interest to us involve re-stricting A to lie in the algebra associated with a subspace lattice. The simplest case of the operator interpolation problem relaxes all restrictions on A, requiring it simply to be a bounded operator. In this case, the existence of A is nicely characterized by Douglas [2]. Another interpolation question for a given subal-gebra โ of B(H) asks for which vectors x and y in H is there a bounded operator A โ C that maps x to y. Lance [6] initiated the discussion by considering a nest N and asking what conditions on x and y will guarantee the existence of an operator A in AlgN such that Ax = y. Hopenwasser [3] extended Lance's result to the case where the nest N is replaced by an arbitrary commutative subspace lattice L. Munch [7] considered the problem of finding a Hilbert-Schmidt oper-ator A in AlgN that maps x to y, whereupon Hopenwasser [4] again extended to AlgL. In [1], authors studied the problem of finding A so that Ax = y and A is required to lie in certain ideals contained in AlgL (for a nest L).
Roughly speaking, when an operator maps one thing to another, we think of the operator as the interpolating operator and the equation representing the mapping as the interpolation equation. The equations Ax = y and AX = Y are indistinguishable if spoken aloud, but we mean the change to capital letters to indicate that we intend to look at fixed operators X and Y, and ask under what conditions there will exist an operator A satisfying the equation AX = Y.
Let x and y be vectors in a Hilbert space. Then โจx, yโฉ means the inner product of vectors x and y. Note that the "vector interpolation" problem is a special case of the "operator interpolation" problem. Indeed, if we denote by x โ u the rank-one operator defined by the equation x โ u(w) = โจw, uโฉx, and if we set X = x โ u, and Y = y โ u, then the equations AX = Y and Ax = y represent the same restriction on A.
Let H be a Hilbert space and โ = {1, 2, ...}. A bounded operator A on H has finite-rank if rangeA is finite dimensional. A bounded operator A on H is called compact if A(ballH) has compact closure in H, where ballH = {h โ H : โฅhโฅ โค 1}. We denote B0(H) the set of all compact operators on H.
We will study finite-rank operator interpolation problems on L and find a compact operator A in AlgL such that AX = Y for given X and Y in B(H) as convergence of finite-rank operators. Also, we will study this problem for given countable operators X1, X2,... and Y1, Y2,...
Theorem 1.1 ([2]). Let X and Y be bounded operators acting on a Hilbert space H. Then the following statements are equivalent:
Moreover, if (1), (2), and (3) are valid, then there exists a unique operator A so that
Lemma 1.2. Let A and X be bounded operators acting on a Hilbert space H.
Proof. Let ฦ โ H. Then (a) AXฦ = A(y โ x)ฦ = Aโจฦ, xโฉy = โจฦ, xโฉAy. So AX is a rank-one operator.
Theorem 1.3. Let X and Y be bounded operators acting on a Hilbert space H. Then the following are equivalent:
Proof. If there exists a rank-one operator A = y โ x such that AX = Y. Then rangeYโ โ rangeXโ. Since rangeX โ {x}โฅ, there exists a vector h in H such that โจXh, xโฉ โ 0. For any ฦ in H, Y ฦ = (y โ x)Xฦ = โจXฦ, xโฉy. So Y is a rank-one operator.
Conversely, suppose rangeYโ โ rangeXโ and Y = y1โx1. Then there exists an operator B in B(H) such that BX = Y. Then for each h โ H,
So B(rangeX) = rangeY = sp{y1}. Define by Ah = Bh if h โ rangeX and Ah = 0 if h โ B(H). Since rangeA โ sp{y1}. Since rangeA is a linear subspace containing y1, Hence A is a rank-one operator and AX = Y.
Theorem 1.4. Let X and Y be bounded operators acting on a Hilbert space H. If rangeYโ โ rangeX. and Y is a finite-rank operator, then there exists a finite-rank operator A such that AX = Y.
Proof. If Y is a finite-rank operator, then where y1, ..., yn are linearly independent. Since rangeYโ โ rangeXโ, there exists an operator B in B(H) such that BX = Y. For each h โ H,
So B(rangeX) = sp{y1, ..., yn} Define by Ah = Bh if h โ rangeX and Ah = 0 if Then A โ B(H). And Therefore dim(rangeA) = n and AX = Y.
2. Results
Theorem 2.1. Let L be a subspace lattice on H and let X and Y be operators in B(H). Assume that the range of X is dense in H. Then the following are equivalent:
Moreover, if condition (2) holds, we may choose an operator A such that โฅAโฅ = K.
Proof. Assume that sup Then there exists an operator A in AlgL such that AX = Y by Theorem 3.1 [5]. Since Y is compact, there is a sequence {Yn} of fInite-rank operators that converges to Y in the norm topology on B(H). From the construction of Yn, since for each n โ โ, for each n โ โ. By Theorems 1.4, there is a FInite-rank operator An such that AnX = Yn for each n โ โ. Since Yn โ Y in the norm topology on B(H), โฅAn โ Aโฅ โ 0. Hence A is compact. The proof of the converse is obvious.
Theorem 2.2. Let L be a subspace lattice on H and let X1, ..., Xn and Y1, ..., Yn be bounded operators acting on H. Let k be a fixed natural number in {1, 2, ..., n} and assume that Xk has dense range. Then the following are equivalent:
Moreover, if condition (2) holds, we may choose an operator A such that โฅAโฅ = K.
Proof. If sup and for given k in {1, 2, ,,, n}, Yk is compact, then by Theorem 3.2 [5], there exists an operator A in AlgL such that AXi = Yi for i = 1, 2, ,,, n. Since Yk is compact, there is a sequence {Ykm}of finite-rank operators that converges to Yk in the norm topology on B(H). From the construction of Ykm, we know that for each m โ โ. Therefore for each m โ โ. By Theorem 2.1, for each m โ โ, there is a finite-rank operator Akm such that AkmXk = Ykm. Since Ykm โ Yk in the norm topology on B (H), โฅAkm โ Aโฅ โ 0. Hence A is compact. We omit the proof of the converse since it can be proved easily.
Theorem 2.3 ([5]). Let L be a subspace lattice on H and let X1, ..., Xn and Y1, ..., Yn be bounded operators acting on H. Let k be a fixed natural number in {1, 2, ..., n} and assume that Xk has dense range and ReโจEโฅXif, EโฅXjgโฉ โฅ 0 for each E in L, i < j and all f, g in H. Then the following are equivalent:
By the Theorem 2.3, we can get the following Theorem.
Theorem 2.4. Let L be a subspace lattice on H and let X1, ..., Xn and Y1, ..., Yn be bounded operators acting on H. Let k be a fixed natural number in {1, 2, ..., n} and assume that Xk has dense range. If for i < j in {1, 2, ..., n} and all f, g in H, ReโจEโฅXif, EโฅXjgโฉ โฅ 0, then the following are equivalent:
If we observe the proof of the above theorems, we can generalize Theorem 2.2 to the countable case easily.
Theorem 2.5. Let L be a subspace lattice on H and let Xi and Yi be bounded operators acting on H for all i = 1, 2, ..., n. Let k be a fixed natural number in {1, 2, ..., n} and assume that Xk has dense range. Then the following are equivalent:
Moreover, if condition (2) holds, we may choose an operator an operator A such that โฅAโฅ = K.
Theorem 2.6. Let L be a subspace lattice on H and let Xi and Yi be bounded operators acting on H for all i = 1, 2, ..., n. Let k be a fixed natural number in {1, 2, ..., n} and assume that Xk has dense range and ReโจEโฅYif, EโฅYjgโฉ โค ReโจEโฅXif, EโฅXjgโฉ for each E in L, i < j and allf, g in H, then the following are equivalent:
์ฐธ๊ณ ๋ฌธํ
- Anoussis, M., Katsoulis, E., Moore, R. L. and Trent, T. T., Interpolation problems for ideals in nest algebras, Math. Proc. Camb. Phil. Soc., 111 (1992), 151-160. https://doi.org/10.1017/S030500410007523X
- Douglas, R. G., On majorization, factorization, and range inclusion of operators on Hilbert space, Proc. Amer. Math. Soc., 17 (1966), 413-415. https://doi.org/10.1090/S0002-9939-1966-0203464-1
- Hopenwasser, A., The equation Tx = y in a re exive operator algebra, Indiana University Math. J., 29 (1980), 121-126. https://doi.org/10.1512/iumj.1980.29.29009
- Hopenwasser, A., Hilbert-Schmidt Interpolation in CSL-Algebras, Illinois J. of Math., 33 (1989), 657-672.
- Jo, Y. S., Kang, J. H. and Kim, K. S., On operator interpolation problems, J. of Korean Math. Soc., 41 (2004), 423-433. https://doi.org/10.4134/JKMS.2004.41.3.423
- Kadison, R., Irreducible Operator Algebras, Proc. Nat. Acad. Sci. U.S.A. (1957), 273-276.
- Katsoulis, E., Moore, R. L., Trent, T. T., Interpolation in nest algebras and applications to operator Corona Theorems, J. Operator Theory, 29 (1993), 115-123.
- Lance, E. C., Some properties of nest algebras, Proc. London Math. Soc., 19 (1969), 45-68.
- Moore, R. and Trent, T. T., Linear equations in subspaces of operators, Proc. Amer. Math. Soc., 128 (2000), 781-788. https://doi.org/10.1090/S0002-9939-99-05064-9
- Munch, N., Compact causal data interpolation, J. Math. Anal. Appl. 140 (1989), 407-418. https://doi.org/10.1016/0022-247X(89)90074-7
ํผ์ธ์ฉ ๋ฌธํ
- SOLVING OPERATOR EQUATIONS Ax = Y AND Ax = y IN ALGL vol.33, pp.3_4, 2015, https://doi.org/10.14317/jami.2015.417