Available online throug
ISSN 2229 – 5046
WEIGHTED COMPOSITION OF
k
- QUASI - PARANORMAL OPERATORS
D. Senthilkumar
1, P. Maheswari Naik
2and R. Santhi
3*1
Post Graduate and Research Department of Mathematics, Government Arts College (Autonomous), Coimbatore - 641 018, Tamil Nadu, India
E-mail:
2
Post Graduate and Research Department of Mathematics, Government Arts College (Autonomous), Coimbatore - 641 018, Tamil Nadu, India
E-mail:
3
Department of Mathematics, Sri Ramakrishna Engineering College, Vattamalaipalayam, Coimbatore - 641 022, India
E-mail:
(Received on: 05-01-12; Accepted on: 09-02-12)
________________________________________________________________________________________________
ABSTRACT
A
n operatorT
∈
B H
(
)
is said to bek
- quasi - paranormal operator if2
1 2
k k k
T
+x
≤
T
+x
T x
for everyx
∈
H
,k
is a natural number. In this paper,k
- quasi - paranormal composition operators onL
2 space and Hardyspace is characterized.
Subject Classification: Primary 47B33; Secondary 47B37.
Keywords:
k
- quasi - paranormal operators, Composition operators, Conditional expectation, Hardy space.________________________________________________________________________________________________
1. INTRODUCTION AND PRELIMINARIES
Let
H
be an infinite dimensional complex Hilbert space andB H
(
)
denote the algebra of all bounded linear operatorsacting on
H
. Every operatorT
can be decomposed intoT
=U T
with a partial isometryU
, whereT
=T T
* .In this paper,
T
=U T
denotes the polar decomposition satisfying the kernel conditionN U
( )
=N
( )
T
. An operatorT
is said to be positive (denotedT
≥
0
) if(
Tx x
, )
≥
0
for allx
∈
H
. The operatorT
is said to be ap
- hyponormal operator if and only if( ) ( )
* *p p
T T
≥
TT
for a positive numberp
.In [23], the class of log - hyponormal operators is defined as follows:
T
is called log - hyponormal if it is invertible andsatisfies
log
( )
T T
* p≥
log
( )
TT
* p. Class ofp
- hyponormal operators and class of log hyponormal operators were defined as extension class of hyponormal operators, i.e.,T T
*≥
TT
*. It is well known that everyp
- hyponormal operator is aq
- hyponormal operator forp
≥ >
q
0
, by the Löwner - Heinz theorem "A
≥ ≥
B
0
ensures
A
α≥
B
α for anyα
∈
[0,1]
", and every invertiblep
- hyponormal operator is a log - hyponormal operatorsince
log ( )
⋅
is an operator monotone function. An operatorT
is called paranormal ifTx
2≤
T x
2x
for allx
∈
H
. It is also well known that there exists a hyponormal operatorT
such thatT
2is not hyponormal (see [14]).Furuta, Ito and Yamazaki [9] introduced class
A k
( )
and absolute -k
- paranormal operators fork
>
0
as generalizations of classA
and paranormal operators, respectively. An operatorT
belongs to classA k
( )
if(
)
12 2
* k k 1
T T
T
+≥
T
andT
is said to be absolute -k
- paranormal operator ifT Tx
k≥
Tx
k+1for every unit vectorx
.An operatorT
is called quasi classA
ifT T T
* 2≥
T T T
* 2 . Fuji, Izumino and Nakamoto [8] introducedp
- paranormal operators forp
>
0
as a generalization of paranormal operators.Fujii, Jung, S. H. Lee, M. Y. Lee and Nakamoto [11] introduced class
A p r
( , )
as a further generalization of class( )
A k
. An operatorT
∈
classA p r
( , )
forp
>
0
andr
>
0
if(
)
2 2
* * *
r
r p r p r r
T
T
T
+≥
T
and class( , )
AI p r
is class of all invertible operators which belong to classA p r
( , )
. Yamazaki and Yanagida [25] introduced absolute -( , )
p r
- paranormal operator. It is a further generalization of the classes of both absolute -k
- paranormaloperators and
p
- paranormal operators as a parallel concept of classA p r
( , )
. An operatorT
is said to be paranormaloperator if
T x
2≥
Tx
2 for every unit vectorx
. Paranormal operators have been studied by many authors [3], [10] and [16].In [3], Ando showed that
T
is paranormal if and only if*2 2 * 2
2
0
T T
−
λ
T T
+
λ
≥
for allλ
>
0
.In order to extend the class of paranormal operators and class of quasi - class
A
operators, Mecheri [18] introduced a new class of operators calledk
- quasi - paranormal operators. An operatorT
is calledk
- quasi - paranormal if2
1 2
k k k
T
+x
≤
T
+x
T x
for allx
∈
H
, wherek
is a natural number. A 1 - quasi - paranormal operator is quasi paranormal. The following implication gives us relations among the classes of operators.Hyponormal
⇒
p
- hyponormal⇒
classA
⇒
paranormal⇒
quasi - paranormal⇒
k
- quasi – paranormal.Hyponormal
⇒
classA
⇒
quasi - classA
⇒
quasi – paranormal⇒
k
- quasi - paranormalLet
( , , )
X
∑
λ
be a sigma - finite measure space and letT X
:
→
X
be a non singular measurable transformation. A bounded linear operatorC f
=
f T
onL X
2( , , )
∑
λ
is said to be a composition operator induced byT
, when the measureλ
T
−1 is absolutely continuous with respect to the measureλ
and the Radon - Nikodym derivative1
0
/
d T
λ
−d
λ
=
f
is essentially bounded. The Radon - Nikodym derivative of the measureλ
(
T
k)
−1 with respect toλ
is denoted byf
o( )k , whereT
k is obtained by composingT
- k times.2.
k
- QUASI - PARANORMAL COMPOSITION OPERATORSIn this section, we characterize
k
- quasi - paranormal composition operator.Every essentially bounded complex valued measurable function
f
o induces the bounded operator0
f
M
onL
2( )
λ
,which is defined by 0
o
f
M
f
=
f f
for everyf
∈
L
2( )
λ
. Further *o
f
C C
=
M
and 20
*2 2
f
C C
=
M
[21].The following Lemma due to Harrington and Whitely [15] is well known.
Lemma 2.1 [15]: If
P
denote the projection ofL
2onR C
( )
, thenC Cf
*=
f f
o and*
(
o)
CC
=
f
T Pf
for all2
f
∈
L
whereP
denote the projection ofL
2ontoR C
( )
andR C
( )
={
f
∈
L
2:
f is T
−1∑
measurable
}
.IJMA- 3(2), Feb.-2012, Page: 739-746
Proposition 2.2 [18]: An operator
T
∈
B H
(
)
isk
- quasi - paranormal if and only if2 2 1
* * 1 2 *
2
0
k k k k k k
T
+T
+−
λ
T
+T
++
λ
T T
≥
for everyλ
>
0
.Theorem 2.3: Let
C
∈
B L
(
2( ))
λ
. ThenC
is ofk
- quasi - paranormal operator if and only if( 2) ( 1) 2 ( )
0
2
0 00
k k k
f
+−
λ
f
++
λ
f
≥
, a.e., whereP
is the projection ofL
2onR C
( )
.Proof: Let
C
∈
B L
(
2( ))
λ
is ofk
- quasi - paranormal operator if and only if2 2 1
* * 1 2 *
2
0
k k k k k k
C
+C
+−
λ
C
+C
++
λ
C C
≥
.Thus,
(
* 2 2 * 1 1 2 *)
2
,
0
k k k k k k
E E
C
+C
+−
λ
C
+C
++
λ
C C
χ χ
≥
for every characteristic function
χ
EofE
in∑
such thatλ
( )
E
< ∞
.Since ( 2 )
0
*2 2
f
C C
=
M
[21] and0
*
f
C C
=
M
[5], we have,( ) ( ) ( )
(
2 1)
0 0 0
2
2
,
0
k k k E E
f f f
M
+−
λ
M
++
λ
M
χ χ
≥
i.e.,
(
0(k 2)2
0(k 1) 2 0( )k)
0
E
f
+−
λ
f
++
λ
f
d
λ
≥
∫
for every
E
in∑
.Hence
C
isk
- quasi - paranormal operator if and only iff
0(k+2)−
2
λ
f
0(k+1)+
λ
2f
0( )k≥
0
a.e.Corollary 2.4: Let
C
∈
B L
(
2( ))
λ
with dense range. ThenC
∈
k
- quasi - paranormal operator if and only if( 2) ( 1) 2 ( )
0
2
0 00
k k k
f
+−
λ
f
++
λ
f
≥
a.e.Example 2.5: Let
X
=
N
the set of all natural numbers andλ
be the counting measure on it. DefineT N
:
→
N
by(1)
1,
(
1)
,
0,1, 2, 3,...
T
=
T n
+ + =
m
n m
=
andn
∈
N
. Sincef
0(k+2)−
2
λ
f
0(k+1)+
λ
2f
0( )k≥
0
,C
is ofk
- quasi - paranormal composition operator.Theorem 2.6: Let
C
∈
B L
(
2( ))
λ
, ThenC
*∈
k
- quasi - paranormal operator if and only if(
)
( 2)(
)
( 1) 2(
)
( )0 1
2
0 1 0 10
k k k
f
T
+P
λ
f
T
+P
λ
f
T
P
−
+
≥
a.e, whereP
1 andP
2 is the projection of2
L
ontoR C
( )
andR C
(
2)
respectively.Proof: Let
C
*is ofk
- quasi - paranormal operator if and only if2 * 2 1 * 1 2 *
2
0
k k k k k k
C
+C
+−
λ
C C
+ ++
λ
C C
≥
.i.e.,
(
)
2 * 2 1 * 1 2 *
2
,
0
k k k k k k
C
+C
+−
λ
C C
+ ++
λ
C C
f
f
≥
for everyf
∈
L
2.We have
CC f
*,
f
=
(
f
0
T P f
)
1,
f
andCC f
*,
f
=
(
f
0
T P f
)
2,
f
whereP
1 andP
2 are the(
)
(
( 2))
(
(
)
( 1))
(
2(
)
( ))
0 1
,
2
0 1,
0 1,
0
k k k
f
T
+P
f f
λ
f
T
+P
f f
λ
f
T
P
f f
−
+
≥
for everyf
∈
L
2.i.e.,
(
f
0
T
)
(k+2)P
1
−
2
λ
(
f
0
T
)
(k+1)P
1
+
λ
2
(
f
0
T
)
( )kP
1
≥
0
a.e.Corollary 2.7: Let
C
*∈
B L
(
2( ))
λ
with dense range. ThenC
*∈
k
- quasi - paranormal operator if and only if(
)
( 2)(
)
( 1) 2(
)
( )0
2
0 00
k k k
f
T
+λ
f
T
+λ
f
T
−
+
≥
a.e,3. WEIGHTED
k
- QUASI - PARANORMAL COMPOSITION OPERATORSA weighted composition operator(w.c.o) induced by
T
is a linear transformation acting on the set of complex valued∑
measurable functionsf
, defined asWf
=
w f T
(
)
,w
is a complex valued∑
measurable function. when1
w
=
, we say thatW
is a composition operator. Letw
k denote2 1
(
)(
)....(
k)
w w T w T
w T
− so that(
)
k k
k
W f
=
w
f T
[19]. To examine the weighted composition operators effectively Alan Lambert [17] associatedconditional expectation operator
E
withT
asE
(
•
/
T
−1∑ =
)
E
( )
•
.E f
( )
is defined for each non - negative measurable functionf
∈
L
p(1
≤
p
)
and is uniquely determined by the conditions(i)
E f
( )
isT
−1∑
measurable.(ii) If
B
is anyT
−1∑
measurable set for which Bf d
λ
∫
converges, we have( )
B B
f d
λ
=
E f d
λ
∫
∫
.The projection operator
E
onL
p is identity if and only ifT
−1∑ = ∑
. For more information [[4], [7], [12]].Proposition 3.1 [4]: For
w
≥
0
,(i)
W Wf
*=
f
0
E w
(
2)
T
−1f
. (ii)WW f
*=
w f
(
0
T E wf
)
(
)
.Now we characterize weighted
k
- quasi - paranormal composition operators as follows.Theorem 3.2:
W
isk
- quasi - paranormal if and only if2 1
2 1 2 1 2 2 1
0
[ (
)]
2
0[ (
)]
0[ (
)]
0
k k k
f E w
T
− +λ
f E w
T
− +λ
f E w
T
−
−
+
≥
a.e.Proof: Since
W
is ofk
- quasi - paranormal,2 2 1
* * 1 2 *
2
0
k k k k k k
W
+W
+−
λ
W
+W
++
λ
W W
≥
and hence,(
* 2 2 * 1 1 2 *)
2
,
0
k k k k k k
W
+W
+−
λ
W
+W
++
λ
W W
f f
≥
for allf
∈
L
2Since
W f
k=
w
k(
f T
)
k andW
*kf
=
f
0( )kE w f
(
k)
T
−k,W W
*k k=
f
0( )kE w
(
2k)
T
−kf
and we have* 2 1
0
(
)
W Wf
=
f
E w
T
−f
forw
≥
0
[4], and hence{
2 1 2 2 1 1 2 2 1}
0
[ (
)]
2
0[ (
)]
0[ (
)]
0
k k k
E
f E w
T
− +λ
f E w
T
− +λ
f E w
T
−d
λ
−
+
≥
∫
for everyE
∈ ∑
.And so
2 1
2 1 2 1 2 2 1
0
[ (
)]
2
0[ (
)]
0[ (
)]
0
k k k
f E w
T
− +λ
f E w
T
− +λ
f E w
T
−
−
+
≥
IJMA- 3(2), Feb.-2012, Page: 739-746
Corollary 3.3: Let
T
−1∑ = ∑
. ThenW
is ofk
- quasi - paranormal if and only if2 1
2 1 2 1 2 2 1
0
[
]
2
0[
]
0[
]
0
k k k
f w
T
− +λ
f w
T
− +λ
f w
T
−
−
+
≥
a.e.The Aluthge transform of
T
is the operatorT
given by1 1
2 2
T
=
T U T
was introduced in [1] by Aluthge. Moregenerally we may form the family of operators
{
T
s: 0
< ≤
s
1
}
whereT
s=
T U T
s 1−s [2]. For a composition operatorC
, the polar decomposition is given byC
=
U C
whereC f
=
f f
0 and0
1
Uf
f T
f
T
=
. In [5]Lambert has given more general Aluthge transformation for composition operators as
C
s=
C U C
s 1−s and2 0 0 s s
f
C f
f T
f
T
=
. That isC
s is weighted composition operator with weight2 0 0 s
f
f
T
π
=
where0
< <
s
1
. SinceC
sis a weighted composition operator it is easy to show thatC f
s=
f
0
E
( )
π
2
T
−1
f
and*
[
]
s
C
f
=
v E vf
where 0 12 4 0
(
)
f
T
v
E
f
T
π
π
=
. Also we have,
(
)
k k
s k
C f
=
π
f T
,* ( )
0
(
)
k k k
s k
C
f
=
f
E
π
f
T
− ,* ( ) 2
0
(
)
k k k k
s s k
C C f
=
f
E
π
T
−f
.Corollary 3.4:If
T
−1∑ = ∑
,C
s∈
B L
(
2( ))
λ
. ThenC
s is ofk
- quasi - paranormal if and only if2 1
2 1 2 1 2 2 1
0
[
]
2
0[
]
0[
]
0
k k k
f
π
T
− +λ
f
π
T
− +λ
f
π
T
−
−
+
≥
a.e.Proof: Since
C
s is weighted composition operator with weight2 0 0 s
f
f
T
π
=
, it follows thatC
sis ofk
- quasi - paranormal if and only if2 1
2 1 2 1 2 2 1
0
[
]
2
0[
]
0[
]
0
k k k
f
π
T
− +λ
f
π
T
− +λ
f
π
T
−
−
+
≥
The second Aluthge Transformation of
T
described by B. P. Duggal [6] is given by1 1
2 2
ˆ
ˆ
T
=
T V T
, whereˆ
ˆ
T
=
V T
is the polar decomposition ofT
ˆ
.Senthilkumar and Prasad [22] studied that the operator
1 1
2 2
s s
C
=
C
V C
, whereC
s=
V C
s is the polardecomposition of the generalized Aluthge transformation
C
s: 0
< <
s
1
is a weighted composition operator withweight 1 sup 4 1 4
'
Jw
J
T
J
χ
π
=
whereJ
=
f E
0(
π
2)
T
−1.Corollary 3.5: If
T
−1∑ = ∑
,C
∈
B L
(
2( ))
λ
. ThenC
is ofk
- quasi - paranormal if and only if2 1
2 1 2 1 2 2 1
0
[ ' ]
2
0[ ' ]
0[ ' ]
0
k k k
f w
T
− +λ
f w
T
− +λ
f w
T
−
−
+
≥
Proof: Since
C
is weighted composition operator with weight1
sup 4
1 4
'
Jw
J
T
J
χ
π
=
, it follows thatC
is ofk
-quasi - paranormal if and only if
2 1
2 1 2 1 2 2 1
0
[ ' ]
2
0[ ' ]
0[ ' ]
0
k k k
f w
T
− +λ
f w
T
− +λ
f w
T
−
−
+
≥
a.e.4.
k
- QUASI - PARANORMAL COMPOSITION OPERATORS ON WEIGHTED HARDY SPACESThe set
H
2( )
γ
of formal complex power series0
( )
nn n
f z
a Z
∞ =
=
∑
such that 2 2 20
n n
n
f
γa
γ
∞ =
=
∑
< ∞
is the generalHardy space of functions analytic in the unit disc with the inner product
2
0
,
n n nn
f g
γa b
γ
∞ =
=
∑
for
f
as above and0
( )
n nn
g z
b Z
∞ =
=
∑
andγ
=
{ }
γ
n n∞=0be a sequence of positive numbers withγ =
01
and1
1
n
n
γ
γ
+→
asn
→ ∞
.If
φ
is an analytic function mapping the unit disc D into itself, we define the composition operatorC
φon the spaces2
( )
H
γ
by0
C f
φ=
f
φ
Though the operator
C
φare defined everywhere on the classical Hardy spaceH
2 (the case whenγ =
n1
for alln
),they are not necessarily defined on all of
H
2( )
γ
. The composition operatorC
φ is defined onH
2( )
γ
only when the functionφ
is analytic on some open set containing the closed unit disc having supremum norm strictly smaller than one [26].The properties of composition operator on the general Hardy spaces
H
2( )
γ
are studied in [13], [20] and [24]. In this section, we investigate the properties ofk
- quasi - paranormal composition operators on general Hardy spaces2
( )
H
γ
.For a sequence
γ
as above and a pointw
in D, let0 2
1
( )
(
)
nw n z
n
k
γ
z
w
γ
∞ =
=
∑
Then the function
k
wγ
is a point evaluation forH
2( )
γ
i.e., forf
inH
2( )
γ
,( ,
f k
wγ
)
γ=
f w
( )
Then
k
0γ =
1
andC k
φ* wγ
=
k
φ( )wγ
.Theorem 4.1: If
C
φisk
- quasi - paranormal onH
2( )
γ
thenλ =
1
.IJMA- 3(2), Feb.-2012, Page: 739-746
2 2 1
* * 1 2 *
2
0
k k k k k k
C
φ +C
φ +−
λ
C
φ +C
φ ++
λ
C
φC
φ≥
(
* 2 2 * 1 1 2 *)
22
,
0
( )
k k k k k k
C
φ +C
φ +−
λ
C
φ +C
φ ++
λ
C
φC
φf f
≥
∀
f
∈
H
γ
(
* 2 2)
(
* 1 1)
2(
*)
,
2
,
,
0
k k k k k k
C
φ +C
φ +f f
−
λ
C
φ +C
φ +f f
+
λ
C
φC
φf f
≥
(
2 2)
(
1 1)
2(
)
,
2
,
,
0
k k k k k k
C
φ +f C
φ +f
−
λ
C
φ +f C
φ +f
+
λ
C
φf C
φf
≥
2 2 1 2 2 2
2
0
k k k
C
φ +f
−
λ
C
φ +f
+
λ
C
φf
≥
1 2 2 2 1 2
(
)
2
(
)
(
)
0
k k k
C
φ +C f
φ−
λ
C
φC f
φ+
λ
C
φ −C f
φ≥
Let
f
=
k
0γ
, we have1 2 2 2 1 2
0 0 0
(
)
2
(
)
(
)
0
k k k
C
φC k
φ γC
φC k
φC
φC k
φγ γ
γ
λ
γ
λ
γ
+ −
−
+
≥
1 2 2 2 1 2
0
2
0 00
k k k
C
k
C k
C
k
γ
φ
γ
λ
φγ
γλ
φγ
γ+ −
−
+
≥
Repeating the steps for k times we get
2 2 2 2
0
2
0 00
k
γ
γ−
λ γ
k
γ+
λ
k
γ
γ≥
2
1 2
−
λ λ
+
≥
0
sincek
0γ =
1
By elementary properties of real quadratic form we get
λ
=
1
.REFERENCES
[1] A. Aluthge, On
p
-hyponormal operators for0
< <
p
1
, Integral equations operator theory., 13 (1990), 307 - 315.[2] A. Aluthge, Some generalized theorems on
p
- hyponormal operators for0
< <
p
1
, Integral equations operator theory., 24(1996), 497-502.[3] T. Ando, Operators with a norm conditions, Acta. Sci. Math (Szeged)., 33 (1972), 169–178.
[4] J. Campbell and J. Jamison, On some classes of weighted composition operators, Glasgow Math J., 32 (1990), 82 - 94.
[5] Charles Burnap, IL Bong Jung and Alan Lambert, Separating partial normality class with composition Operators, J. Operator Theory., 53 (2) (2005), 381 - 397.
[6] B. P. Duggal, Quasi similar
p
- hyponormal operators, Integr. Equat. Oper. Th., 26 (1996), 338 - 345.[7] M. Embry Wardrop, A. Lambert, Measurable transformations and centred composition operators, Proc. Royal Irish Acad., 90 A (1990), 165 - 172.
[9] T. Furuta, M. Ito and T. Yamazaki, A subclass of paranormal operators including class of log - hyponormal and several related classes, Scientiae Mathematicae,1 (1998), 389 - 403.
[10] T. Furuta, On the class of paranormal operators, Proc. Japan Acad., 43 (1967), 594 - 598.
[11] M. Fujii, D. Jung, S. H. Lee, M. Y. Lee and R. Nakamoto, Some classes of operators related to paranormal and log - hyponormal operators, Mathematica japonica, Vol. 51, No: 3 (2000), 395 - 402.
[12] S.R. Foguel, Selected topics in the study of markov operators, Carolina Lectures Series No. 9, Dept. Math., UNC - C H, Chapel Hill, NC. 27514 (1980).
[13] G. Gunatillake, Weighted Composition Operators, Doctoral Dissertation, Purdue University, 2005.
[14] P. R. Halmos, A Hilbert space problem book, Van Nostrand, Princeton. 1967
[15] D. J. Harrington and R. Whitley, Seminormal composition operators, J. Operator Theory., 11 (1984), 125 - 135.
[16] Istratescu. V, Saito. T, Yoshino. T, On a class of operators, Tohoku math. J. 18 (1966), 410 - 413.
[17] A. Lambert, Hyponormal composition operators, Bull. Londan. Math. Soc., 18 (1986), 395 - 400.
[18] S. Mecheri, Bishop’s property
β
and Riesz idempotent fork
- quasi - paranormal operators, Banach J. Math. Anal., 6 (2012), No. 1, 147 - 154.[19] S. Panayappan, Non-hyponormal weighted composition operators, Indian. J of pure Appl. Math., 27(10),(1996),979-983.
[20] S. Panayappan, D. Senthilkumar, R. Mohanraj, M - Quasihyponormal Composition Operators on Weighted Hardy Spaces, Int. Journal of Math. Analysis, Vol. 2, (2008), 1163-1170.
[21] R. Pushpa Suri and N. Singh, M - Quasi-hyponormal operators, Internat. J. Math. Sci., 10 (3) (1987), 621 - 623.
[22] D. Senthilkumar and T. Prasad, Composition Operators of class
Q
*Int. J. Of Math. Anal., 4 (2010), 21, 1035 - 1040.[23] K. Tanahashi, Putnam’s Inequality for log-hyponormal operators, Integral Equations Operator Theory., 43 (2004), 364–372.
[24] T. Veluchamy, T. Thulasimani, Posinormal Composition Operators on Weighted Hardy space, Int. Math. Forum. 5, (2010), No. 24, 1195 - 1205.
[25] T. Yamazaki and M. Yanagida, A further generalization of paranormal operators, Scientiae Mathematicae, Vol. 3, No: 1 (2000), 23 - 31.
[26] N. Zorboska, Composition operators induced by functions with supremum strictly smaller than one, Proc. Amer. Math. Soc., 106 (1989), 679 -684.