composition operators on weighted orlicz spaces...composition operators on orlicz spaces have also...

6
Composition Operators on Weighted Orlicz Spaces Heera Saini Assistant Professor, P.G. Department of Mathematics, Govt. M. A. M. College, Jammu, J&K - 180 006, India. Abstract. In this paper, we study the boundedness of composition operators between any two weighted Orlicz spaces. Keywords. Composition operators, Boundedness, Orlicz spaces, Musielak-Orlicz spaces, weighted Orlicz spaces. 1 Introduction Let X =(X, Σ) be a σ- finite complete measure space. Any measurable nonsingular transformation τ induces a composition operator C τ from L 0 (X ) to itself defined by C τ f (x)= f (τ (x)), x X, f L 0 (X ), where L 0 (X ) denotes the linear space of all equivalence classes of all real valued Σ-measurable function on X , where we identify any two functions that are equal μ-almost everywhere on X . A nondecreasing continuous convex function φ : [0, ) [0, ) for which φ(0) = 0 and lim x→∞ φ(x)= is called a Y oung f unction. A function Φ : X × [0, ) -→ [0, ) is said to be a generalized Y oung function or Musielak - Orlicz function if (i) Φ(x, ·) is a Young function for almost every x X and (ii) Φ(·,u) is Σ- measurable for every u 0. For any generalized Young function Φ, the Musielak - Orlicz space associated with Φ, denoted by L Φ (X ), is defined as the set of all f L 0 (X ) such that I Φ (λf )= Z X Φ(x, λ|f (x)|)(x) < for some λ = λ(f ) > 0. 2010 Mathematics Subject Classification. 47B33, 46E30. 1

Upload: others

Post on 28-Jan-2021

21 views

Category:

Documents


0 download

TRANSCRIPT

  • Composition Operators on Weighted OrliczSpaces

    Heera SainiAssistant Professor, P.G. Department of Mathematics,

    Govt. M. A. M. College, Jammu, J&K - 180 006, India.

    Abstract. In this paper, we study the boundedness of composition operators betweenany two weighted Orlicz spaces.

    Keywords. Composition operators, Boundedness, Orlicz spaces, Musielak-Orlicz spaces,weighted Orlicz spaces.

    1 Introduction

    Let X = (X,Σ, µ) be a σ- finite complete measure space. Any measurable nonsingulartransformation τ induces a composition operator Cτ from L

    0(X) to itself defined by

    Cτf(x) = f(τ(x)), x ∈ X, f ∈ L0(X),

    where L0(X) denotes the linear space of all equivalence classes of all real valued Σ-measurablefunction on X, where we identify any two functions that are equal µ-almost everywhere onX.

    A nondecreasing continuous convex function φ : [0, ∞) → [0, ∞) for which φ(0) = 0and limx→∞ φ(x) =∞ is called a Y oung function. A function Φ : X × [0,∞) −→ [0,∞) issaid to be a generalized Y oung function or Musielak −Orlicz function if

    (i) Φ(x, ·) is a Young function for almost every x ∈ X and

    (ii) Φ(·, u) is Σ- measurable for every u ≥ 0.

    For any generalized Young function Φ, the Musielak −Orlicz space associated with Φ,denoted by LΦ(X), is defined as the set of all f ∈ L0(X) such that

    IΦ(λf) =

    ∫X

    Φ(x, λ|f(x)|)dµ(x) 0.

    2010 Mathematics Subject Classification. 47B33, 46E30.

    1

    lalithaText BoxInternational Journal of Mathematics Trends and Technology (IJMTT) - Volume 52 Number 9 December 2017

    lalithaText BoxISSN: 2231-5373 http://www.ijmttjournal.org Page 616

  • The function IΦ is called the modular. The space LΦ(X) is a Banach space with the

    Luxemburg −Nakano norm

    ‖f‖Φ = inf{λ > 0 | IΦ(f/λ) ≤ 1}.

    Let φ be an Orlicz function and w be a weight in X i.e. an a.e. positive and integrable realvalued function in X. Then Φ : X × [0,∞) −→ [0,∞) defined by

    Φ(x, u) = φ(u)w(x), x ∈ X, u ≥ 0,

    is a generalized Young function. The resulting Musielak-Orlicz space is called weighted Orlicz spaceand is denoted by Lφw(X). In this case, the modular IΦ is given by

    IΦ(f) =

    ∫X

    φ(|f(x)|)w(x)dµ(x).

    If Φ is independent of x, then the resulting Musielak-Orlicz space is simply calledOrlicz spaceand is denoted by Lφ(X).Composition operators on Orlicz spaces have also been studied in [3], [4], [5],[8] and [14].The techniques used in this paper essentially depend on the conditions of embedding of oneOrlicz space into another (see, [11, Page 45] for details).

    2 Boundedness of Composition Operators

    In this section, we study the boundedness of composition operators on weighted Orlicz spaces.

    Lemma 2.1. ( [11, Lemma 8.3] ) Let (X,Σ, µ) be a σ-finite nonatomic measure space,{αn} a sequence of positive numbers and {sn} a sequence of measurable, finite, non-negativefunctions on X such that for n = 1, 2, . . .∫

    X

    sn(x)dµ(x) ≥ 2nαn.

    Then there exist an increasing sequence {nk} of integers and a sequence {Ak} of pairwisedisjoint measurable sets such that for k = 1, 2, . . .∫

    Ak

    snk(x)dµ(x) = αnk .

    Theorem 2.2. Let (X,Σ, µ) be a σ-finite nonatomic measure space, w1 and w2 be weightsin X and τ : X → X be a measurable non-singular transformation such that τ(X) = X.Denote by gτ the Raydon-Nikodym derivative dµ ◦ τ−1/dµ. Then the composition operatorCτ : L

    φ1w1

    (X) −→ Lφ2w2(X) is bounded if and only if there exist a, b > 0 and 0 ≤ h ∈ L1(X)

    such thatφ2(au)(w2 ◦ τ−1)(x)gτ (x) ≤ bφ1(u)w1(x) + h(x)

    for almost all x ∈ X and for all u ≥ 0.

    2

    lalithaText BoxInternational Journal of Mathematics Trends and Technology (IJMTT) - Volume 52 Number 9 December 2017

    lalithaText BoxISSN: 2231-5373 http://www.ijmttjournal.org Page 617

  • Proof. Suppose that the given condition holds. Let 0 6= f ∈ Lφ1w1(X). Let M ≥ 1 be a realnumber satisfying M(b+ ‖h‖1) ≥ 1. Then

    IΦ2

    (Cτf

    (M(b+ ‖h‖1)‖f‖Φ1)/a

    )

    =

    ∫X

    φ2

    (a|Cτf(x)|

    M(b+ ‖h‖1)‖f‖Φ1

    )w2(x)dµ(x)

    ≤ 1M(b+ ‖h‖1)

    ∫X

    φ2

    (a|f(τ(x))|‖f‖Φ1

    )w2(x)dµ(x)

    =1

    M(b+ ‖h‖1)

    ∫τ(X)

    φ2

    (a|f(y)|‖f‖Φ1

    )(w2 ◦ τ−1)(y)d(µ ◦ τ−1)(y)

    =1

    M(b+ ‖h‖1)

    ∫X

    φ2

    (a|f(y)|‖f‖Φ1

    )(w2 ◦ τ−1)(y)d(µ ◦ τ−1)(y)

    =1

    M(b+ ‖h‖1)

    ∫X

    φ2

    (a|f(y)|‖f‖Φ1

    )(w2 ◦ τ−1)(y)gτ (y)dµ(y)

    ≤ 1M(b+ ‖h‖1)

    ∫X

    (b φ1

    (|f(y)|‖f‖Φ1

    )w1(x) + h(y)

    )dµ(y)

    ≤ 1.

    Thus ‖Cτf‖Φ2 ≤ Ma (b+ ‖h‖1)‖f‖Φ1 . This shows that Cτ is bounded.Consider the function

    hn(x) = supu≥0

    (φ2(2

    −nu)(w2 ◦ τ−1)(x)gτ (x)− 2nφ1(u)w1(x)).

    Write X =∞⋃i=1

    Xi, where {Xi}∞i=1 is a pairwise disjoint sequence of measurable subsets of X

    with µ(Xi)

  • Then rm,n are measurable, rm,n(x) ≥ 0 and rm,n(x) is a nondecreasing sequence tend-ing to hn(x) as m → ∞ for every x ∈ X. Thus for any n, there exists mn such that∫Xrmn,n(x)dµ(x) ≥ 2n. Taking rn = rmn,n, we have

    ∫Xrn(x)dµ(x) ≥ 2n for n = 1, 2, . . .

    Let

    En,k ={x ∈ X | φ2(2−nfk(x))(w2 ◦ τ−1)(x)gτ (x)− 2nφ1(fk(x))w1(x) = rn(x)

    }and

    En = X \ (En,1 ∪ En,2 ∪ . . . ∪ En,mn).

    Then µ(En) = 0.Let

    f̃n(x) =

    0 if x ∈ En,1 ∪ En

    fk(x) if x ∈ En,k \k−1⋃j=1

    En,j, k = 2, 3, . . . ,mn.

    Then

    rn(x) = φ2(2−nf̃n(x))(w2 ◦ τ−1)(x)gτ (x)− 2nφ1(f̃n(x))w1(x)

    ≥ 0.

    Therefore,∫X

    φ2(2−nf̃n(x))(w2 ◦ τ−1)(x)gτ (x)dµ(x) = 2n

    ∫X

    φ1(f̃n(x))w1(x)dµ(x)

    +

    ∫X

    rn(x)dµ(x)

    ≥∫X

    rn(x)dµ(x)

    ≥ 2n.

    By Lemma 2.1, we obtain an increasing sequence {nk} and a sequence {Ak} of pairwisedisjoint measurable sets such that∫

    Ak

    φ2(2−nk f̃nk(x))(w2 ◦ τ−1)(x)gτ (x)dµ(x) = 1, k = 1, 2, . . .

    Put

    f(x) =

    {f̃nk(x) if x ∈ Ak0 otherwise.

    4

    lalithaText BoxInternational Journal of Mathematics Trends and Technology (IJMTT) - Volume 52 Number 9 December 2017

    lalithaText BoxISSN: 2231-5373 http://www.ijmttjournal.org Page 619

  • Let λ > 0. Choose p large enough that 2−np ≤ λ. Then∫X

    φ2 (λCτf(x))w2(x)dµ(x) =

    ∫X

    φ2 (λf(τ(x)))w2(x)dµ(x)

    =

    ∫τ(X)

    φ2 (λf(y)) (w2 ◦ τ−1)(y)d(µ ◦ τ−1)(y)

    =

    ∫X

    φ2(λf(y))(w2 ◦ τ−1)(y)gτ (y)dµ(y)

    =∞∑k=1

    ∫Ak

    φ2(λf̃nk(y))(w2 ◦ τ−1)(y)gτ (y)dµ(y)

    ≥∞∑k=p

    ∫Ak

    φ2(2−nk f̃nk(y))(w2 ◦ τ−1)(y)gτ (y)dµ(y)

    = ∞.

    And ∫X

    φ1(f(x))w1(x)dµ(x) =∞∑k=1

    2−nk∫Ak

    φ2(2−nk f̃nk(x))(w2 ◦ τ−1)(x)gτ (x)dµ(x)

    −∞∑k=1

    2−nk∫Ak

    rnk(x)dµ(x)

    ≤∞∑k=1

    2−nk∫Ak

    φ2(2−nk f̃nk(x))(w2 ◦ τ−1)(x)gτ (x)dµ(x)

    =∞∑k=1

    2−nk

    ≤ 1.

    Thus, f ∈ Lφ1w1(X) but Cτ (f) /∈ Lφ2w2

    (X), which is a contradiction. Hence,∫X

    hn(x)dµ(x)

  • [4] H. Hudzik and M. Krbec, On non-effective weights in Orlicz spaces Indag. Math. N. S.18(2007), 215-231.

    [5] H. Hudzik and L. Maligranda, Amenya norm equals Orlicz norm in general Indag. Math.N. S. 11(2000), 573-585.

    [6] M. A. Krasnoselkii and Ya. B. Rutickii, Convex functions and Orlicz spaces, Noordhoff,Graningen, 1961.

    [7] S. G. Krein, Ju. I. Petunin and E. M. Semenov, Intepolation of linear operators, AMSTranslation of Math. Monographs 54, Providence, RI 1982.

    [8] R. Kumar, Composition operators on Orlicz spaces, Integral Equations and OperatorTheory 29 (1997), 17-22.

    [9] L. Maligranda, Orlicz Spaces and Interpolation, Seminars in Math. 5, Univ. Estadualde Campinas, Campinas SP, Brazil, 1989.

    [10] L. Maligranda, Some remarks on Orlicz’s interpolation theorem, Studia Math. 95(1989), 43-58.

    [11] J. Musilek, Orlicz spaces and modular spaces, Lecture Notes in Math. 1034, Springer-Verlag, Berlin-New York, 1983.

    [12] S. Petrovic, A note on composition operators, Math. Vestnik 40 (1988), 147-151.

    [13] M. M. Rao and Z. D. Ren, Theory of Orlicz spaces, Marcel Dekker, New York, 1991.

    [14] M. M. Rao and Z. D. Ren, Applications of Orlicz spaces, Marcel Dekker, New York,2002.

    76), 942-948 (1977).

    [15] R. K. Singh, Compact and quasinormal composition operators, Proc. Amer. Math. Soc.45 (1974), 80-82.

    [16] R. K. Singh, Composition operators induced by rational functions, Proc. Amer. Math.Soc. 59 (1976), 329-333.

    [17] R. K. Singh and A. Kumar, Compact composition operators, J. Austral. Math. Soc. 28(1979), 309-314.

    [18] R. K. Singh and J. S. Manhas, Composition operators on function spaces, North HollandMath. Studies 179, Amsterdam, 1993.

    [19] H. Takagi, Compact weighted composition operators on Lp-spaces, Proc. Amer. Math.Soc.,116 (1992), 505-511.

    6

    lalithaText BoxInternational Journal of Mathematics Trends and Technology (IJMTT) - Volume 52 Number 9 December 2017

    lalithaText BoxISSN: 2231-5373 http://www.ijmttjournal.org Page 621

    Introduction Boundedness of Composition Operators