• Nem Talált Eredményt

JJ II

N/A
N/A
Protected

Academic year: 2022

Ossza meg "JJ II"

Copied!
13
0
0

Teljes szövegt

(1)

volume 7, issue 3, article 106, 2006.

Received 14 October, 2005;

accepted 07 April, 2006.

Communicated by:L. Pick

Abstract Contents

JJ II

J I

Home Page Go Back

Close Quit

Journal of Inequalities in Pure and Applied Mathematics

ON HARDY’S INEQUALITY INLp(x)(0,∞)

RABIL A. MASHIYEV, BILAL ÇEKIÇ AND SEZAI OGRAS

University of Dicle, Faculty of Sciences and Arts Department of Mathematics

21280- Diyarbakır TURKEY EMail:mrabil@dicle.edu.tr EMail:bilalc@dicle.edu.tr EMail:sezaio@dicle.edu.tr

c

2000Victoria University ISSN (electronic): 1443-5756 310-05

(2)

On Hardy’s Inequality in Lp(x)(0,∞)

Rabil A. Mashiyev Bilal Çekiç and Sezai Ogras

Title Page Contents

JJ II

J I

Go Back Close

Quit Page2of13

J. Ineq. Pure and Appl. Math. 7(3) Art. 106, 2006

http://jipam.vu.edu.au

Abstract

Our aim in this paper is to obtain Hardy’s inequality in variable exponent Lebesgue spacesLp(x)(0,∞), where the test functionu(x)vanishes at infinity. We use a local Dini-Lipschitz condition and its the natural analogue at infinity, which play a central role in our proof.

2000 Mathematics Subject Classification:46E35, 26D10.

Key words: Variable exponent, Hardy’s inequality.

The authors are thankful to the referees and Peter Hästö for their helpful suggestions and valuable contributions. This research was supported by DUAPK grant No. 04 FF 40.

Contents

1 Introduction. . . 3 2 Preliminaries . . . 5 3 Main Result . . . 8

References

(3)

On Hardy’s Inequality in Lp(x)(0,∞)

Rabil A. Mashiyev Bilal Çekiç and Sezai Ogras

Title Page Contents

JJ II

J I

Go Back Close

Quit Page3of13

J. Ineq. Pure and Appl. Math. 7(3) Art. 106, 2006

http://jipam.vu.edu.au

1. Introduction

Over the last decades the variable exponent Lebesgue space Lp(·)(Ω) and the corresponding Sobolev spaceWm,p(·)(Ω)have been a subject of active research stimulated by development of the studies of problems in elasticity, fluid dy- namics, calculus of variations, and differential equations with p(x)− growth [10,12]. These spaces are a special case of the Musielak-Orlicz spaces [8]. Ifp is the constant, thenLp(·)(Ω)coincides with the classical Lebesgue spaces. We refer to [4, 7] for fundamental properties of these spaces and to [5, 6, 11] for Hardy type inequalities.

The classical Hardy inequality [9] is (1.1)

Z

0

|u(x)|pxβdx ≤ p

β+ 1

pZ

0

|u0(x)|pxβ+pdx,

where 1 < p < ∞,−1 < β < ∞, u is an absolutely continuous function on (0,∞)andu(∞) = lim

x→∞u(x) = 0.

Kokilashvili and Samko [6] gave the boundedness of Hardy operators with fixed singularity in the spacesLp(·)(ρ,Ω)over a bounded open set inRnwith a power weight ρ(x) = |x−x0|β, x0 ∈ Ω¯ and an exponentp(x)satisfying the Dini-Lipschitz condition. The Hardy type inequality can be derived

(1.2)

x

β p(x)u

p(x),(0,`) ≤C(p(x), `) x

β p(x)+1

u0

p(x),(0,`),

where β > −1,1 < p ≤ p+ < ∞, ` is a positive finite number, and u is an absolutely continuous function on(0, `)in the Lebesgue space with variable exponent for bounded domains from Theorem E in [6].

(4)

On Hardy’s Inequality in Lp(x)(0,∞)

Rabil A. Mashiyev Bilal Çekiç and Sezai Ogras

Title Page Contents

JJ II

J I

Go Back Close

Quit Page4of13

J. Ineq. Pure and Appl. Math. 7(3) Art. 106, 2006

http://jipam.vu.edu.au

Recently, Harjulehto, Hästö and Koskenoja [5] have obtained the norm ver- sion of Hardy’s inequality using Diening’s corollaries in the variable exponent Sobolev space. Also they have given a necessary and sufficient condition for Hardy’s inequality to hold.

We consider the problem of the extension of Hardy’s inequality to the case of variablep(x). Such inequalities with variablep(x)are already known for a finite interval (0, `)in the one-dimensional case. Our aim in this paper is to obtain a Hardy type inequality in a one-dimensional Lebesgue space Lp(x)(0,∞)using a distinct method, by considering relevant studies in [1] and [6].

(5)

On Hardy’s Inequality in Lp(x)(0,∞)

Rabil A. Mashiyev Bilal Çekiç and Sezai Ogras

Title Page Contents

JJ II

J I

Go Back Close

Quit Page5of13

J. Ineq. Pure and Appl. Math. 7(3) Art. 106, 2006

http://jipam.vu.edu.au

2. Preliminaries

Let Ω ⊂ Rn be an open set, p(·) : Ω → [1,∞) be a measurable bounded function and be denoted as p+ = esssup

x∈Ω

p(x) and p = essinf

x∈Ω p(x). We de- fine the variable exponent Lebesgue spaceLp(·)(Ω)consisting of all measurable functionsf : Ω→Rsuch that the modular

Ap(f) :=

Z

|f(x)|p(x)dx

is finite. Ifp+ < ∞then we call pa bounded exponent and we can introduce the norm onLp(·)(Ω)by

(2.1) kfkp(·),Ω := inf

λ >0 :Ap f

λ

≤1

and Lp(·)(Ω) becomes a Banach space. The normkfkp(·),Ω is in close relation with the modularAp(f).

Lemma 2.1 ([4]). Let p(x) be a measurable exponent such that 1 ≤ p ≤ p(x)≤p+<∞and letbe a measurable set inRn. Then,

(i) kfkp(x)=λ6= 0if and only ifAp f λ

= 1;

(ii) kfkp(x)<1(= 1;>1)⇔Ap(f)<1 (= 1;>1);

(iii) For anyp(x), the following inequalities

kfkpp(x)+ ≤Ap(f)≤ kfkpp(x) , kfkp(x) ≤1

(6)

On Hardy’s Inequality in Lp(x)(0,∞)

Rabil A. Mashiyev Bilal Çekiç and Sezai Ogras

Title Page Contents

JJ II

J I

Go Back Close

Quit Page6of13

J. Ineq. Pure and Appl. Math. 7(3) Art. 106, 2006

http://jipam.vu.edu.au

and

kfkpp(x) ≤Ap(f)≤ kfkpp(x)+ , kfkp(x) ≥1 hold.

Lemma 2.2 ([4,7]). The generalization of Hölder’s inequality

Z

f(x)ϕ(x)dx

≤ckfkp(x)kϕkp0(x)

holds, wherep0(x) = p(x)−1p(x) and the constantc >0depends only onp(x).

We say that the exponentp(·) : Ω →[1,∞)is Dini-Lipschitz if there exists a constantc >0such that

(2.2) |p(x)−p(y)| ≤ c

−log|x−y|,

for everyx, y ∈Ωwith|x−y| ≤ 12.The natural analogue of (2.2) is

(2.3) |p(x)−p(y)| ≤ c

log (e+|x|)

for every x, y ∈ Ω, |y| ≥ |x| at infinity. Under these conditions, most of the properties of the classical Lebesgue space can be readily generalized to the Lebesgue space with variable exponent.

Theorem 2.3 ([5, Theorem 5.2]). LetI = [0, M)forM <∞,p:I →[1,∞) be bounded,p(0) >1and

lim sup

x→0+

(p(x)−p(0)) log 1 x <∞

(7)

On Hardy’s Inequality in Lp(x)(0,∞)

Rabil A. Mashiyev Bilal Çekiç and Sezai Ogras

Title Page Contents

JJ II

J I

Go Back Close

Quit Page7of13

J. Ineq. Pure and Appl. Math. 7(3) Art. 106, 2006

http://jipam.vu.edu.au

and p(0,x

0) = p(0) for some x0 ∈ (0,1). If a ∈ h

0,1− p(0)1

, then Hardy’s inequality

(2.4)

u(x) x1−a p(x)

≤Cku0(x)xakp(x)

holds for everyu∈W1,p(x)(I)withu(0) = 0.

Throughout this paper, we will assume that p(x) is a measurable function and use this notation

kfkp(x) :=kfkp(x),(0,∞).

Moreover, we will usecandci as generic constants, i.e. its value may change from line to line.

(8)

On Hardy’s Inequality in Lp(x)(0,∞)

Rabil A. Mashiyev Bilal Çekiç and Sezai Ogras

Title Page Contents

JJ II

J I

Go Back Close

Quit Page8of13

J. Ineq. Pure and Appl. Math. 7(3) Art. 106, 2006

http://jipam.vu.edu.au

3. Main Result

Theorem 3.1. Letβ > −1 andp : (0,∞) → (1,∞)be such that 1 ≤ p ≤ p+ <∞and

(3.1) |p(x)−p(y)| ≤ c

−log|x−y|, |x−y| ≤ 1

2, x, y ∈R+. Assume that there exists a numberp(∞)∈[1,∞)anda≥1such that

(3.2) 0≤p(x)−p(∞)≤ c

log(e+x), x≥a.

Then, we have (3.3)

xp(x)β u(x) p(x)

≤c

xp(x)β +1u0(x) p(x)

for every absolutely continuous functionu: (0,∞)→Rwithu(∞) = 0.

Proof. To prove this inequality it suffices to consider the case

xp(x)β +1u0(x) p(x)

= 1

for a monotone decreasing functionu. Using Hölder’s inequality, we obtain u(a) =−

Z

a

u0(t)dt (3.4)

≤c

tp(t)β +1u0(t)

p(t),(a,∞)

tp(t)β −1

p0(t),(a,∞) ≤c1,

(9)

On Hardy’s Inequality in Lp(x)(0,∞)

Rabil A. Mashiyev Bilal Çekiç and Sezai Ogras

Title Page Contents

JJ II

J I

Go Back Close

Quit Page9of13

J. Ineq. Pure and Appl. Math. 7(3) Art. 106, 2006

http://jipam.vu.edu.au

where p0(x) = p(x)−1p(x) , and the positive constantc1 depends only on p(x) and β. Sinceu(x) ≤c1 for(0,∞), using Hardy’s inequality for the fixed exponent p(∞)we have

Z

a

xβu(x)p(x)dx≤cp2+ Z

a

xβu(x)p(∞)dx (3.5)

≤c3 Z

a

xβ(−xu0(x))p(∞)dx.

If we divide the interval(a,∞)into three sets such that A={t∈(a,∞) :t|u0(t)|>1},

B ={t∈(a,∞) :t−β−2 < t|u0(t)| ≤1}, C ={t∈(a,∞) :t|u0(t)| ≤t−β−2}, then we can write

Z

a

tβ|tu0(t)|p(∞)dt

= Z

A

tβ|tu0(t)|p(∞)dt+ Z

B

tβ|tu0(t)|p(∞)dt+ Z

C

tβ|tu0(t)|p(∞)dt.

Now, let us estimate each integral. It is easy to see that Z

A

tβ|tu0(t)|p(∞)dt≤ Z

a

tβ|tu0(t)|p(t)dt ≤1

(10)

On Hardy’s Inequality in Lp(x)(0,∞)

Rabil A. Mashiyev Bilal Çekiç and Sezai Ogras

Title Page Contents

JJ II

J I

Go Back Close

Quit Page10of13

J. Ineq. Pure and Appl. Math. 7(3) Art. 106, 2006

http://jipam.vu.edu.au

and Z

C

tβ|tu0(t)|p(∞)dt ≤ Z

C

tβt−β−2dt≤ Z

a

tβt−β−2dt ≤c.

Since

t(β+2)(p(t)−p(∞))

= (tp(t)−p(∞))β+2

tlog(e+t)1 β+2

elog(e+t)logt β+2

≤eβ+2, we have

Z

B

tβ|tu0(t)|p(∞)dt ≤ Z

B

tβ tβ+2|tu0(t)|p(t)−p(∞)

|tu0(t)|p(∞)dt

≤ Z

a

t(β+2)(p(t)−p(∞))

tβ|tu0(t)|p(t)dt

≤eβ+2 Z

a

tβ|tu0(t)|p(t)dt

≤eβ+2.

Hence, we obtain (3.6)

Z

a

tβ|u(t)|p(t)dt ≤c.

(11)

On Hardy’s Inequality in Lp(x)(0,∞)

Rabil A. Mashiyev Bilal Çekiç and Sezai Ogras

Title Page Contents

JJ II

J I

Go Back Close

Quit Page11of13

J. Ineq. Pure and Appl. Math. 7(3) Art. 106, 2006

http://jipam.vu.edu.au

On the other hand, by using inequality (1.2) and the assumption (3.1) for the interval(0, a), we can write

(3.7)

Z a

0

tβ|u(t)|p(t)dt ≤c.

Combining inequalities (3.6) and (3.7), we get Z

0

tβ|u(t)|p(t)dt≤c

and hence from the relation between norm and modular we have (3.8)

t

β p(t)u(t)

p(t) ≤c.

Consequently, we have the required result from (3.8) for u(t)

tp(t)β +1u0(t) p(t)

.

(12)

On Hardy’s Inequality in Lp(x)(0,∞)

Rabil A. Mashiyev Bilal Çekiç and Sezai Ogras

Title Page Contents

JJ II

J I

Go Back Close

Quit Page12of13

J. Ineq. Pure and Appl. Math. 7(3) Art. 106, 2006

http://jipam.vu.edu.au

References

[1] C. CAPONE, D. CRUZ-URIBEANDA. FIORENZA, The fractional max- imal operator on variableLpspaces, Rapporto Tecnico 281/04, May 2004 (preprint). [ONLINE:http://www.na.iac.cnr.it/rapporti] [2] L. DIENING, Maximal functions on generalized Lebesgue spaces Lp(·),

Math. Inequal. Appl., 7(2) (2004), 245–254.

[3] L. DIENING, Riesz potential and Sobolev embeddings of generalized Lebesgue and Sobolev spaces Lp(·) and Wk,p(·), Math. Nachr., 263(1) (2004), 31–43.

[4] X.-L. FANANDD. ZHAO, On the spacesLp(x)(Ω)andWk,p(x)Ω, J. Math.

Anal. Appl., 263 (2001), 424–446.

[5] P. HARJULEHTO, P. HÄSTÖANDM. KOSKENOJA, Hardy’s inequality in variable exponent Sobolev spaces, Georgian Math. J., 12(3) (2005), 431–442.

[6] V. KOKILASHVILI AND S. SAMKO, Maximal and fractional operators in weightedLp(x) Spaces, Rev. Mat. Iberoamericana., 20(2) (2004), 493–

515.

[7] O. KOVÁ ˇCIK AND J. RÁKOSNÍK, On the spaces Lp(x)(Ω) and W1,p(x)(Ω), Czech. Math. J., 41 (116) (1991), 592–618.

[8] J. MUSIELAK, Orlicz Spaces and Modular Spaces, Springer-Verlag , Berlin, 1983.

(13)

On Hardy’s Inequality in Lp(x)(0,∞)

Rabil A. Mashiyev Bilal Çekiç and Sezai Ogras

Title Page Contents

JJ II

J I

Go Back Close

Quit Page13of13

J. Ineq. Pure and Appl. Math. 7(3) Art. 106, 2006

http://jipam.vu.edu.au

[9] B. OPIC ANDA. KUFNER, Hardy-type Inequalities, Longman Scientific

& Technical, Harlow, (1990).

[10] M. R ˚UŽI ˇCKA, Electrorheological Fluids: Modeling and Mathematical Theory, Springer-Verlag, Berlin, 2000.

[11] S. SAMKO, Hardy inequality in the generalized Lebesgue spaces, Fract.

Calc. Appl. Anal., 6(4) (2003), 355–362.

[12] V.V. ZHIKOV, Averaging of functionals of the calculus of variations and elasticity theory, Math. USSR-Izv., 29(1), 33–66. [Translation of Izv. Akad.

Nauk SSSR Ser. Mat., 50(4), 675–710, 877.]

Hivatkozások

KAPCSOLÓDÓ DOKUMENTUMOK

The most important medieval Jewish visionary author before Dante was Abraham ibn Ezra, who lived in the first half of the twelfth century and spent some time of his life in Italy, at

In Section 2, including the variable exponent Lebesgue, Sobolev spaces, generalized gradient of locally Lipschitz function and non-smooth three-critical-points theorem.. In section

The main tool used here is a variational method and Krasnoselskii’s genus theory combined with the theory of variable exponent Sobolev spaces... These interests are stimulated mainly

Key words: Fourth order elliptic equation, eigenvalue problem, variable exponent, Sobolev space, critical point.. AMS Subject Classification: 35G30, 35J35,

Thus, already in this phase of the experiment, the elementary spatial relationship, which can be called base-line heterogeneous irradiation (scien- tifically: fundamental

A typical method making use of a nonselective sensor is the measurement of the thermal conductivity [1]. It is used for analysing binary gas-mixtures in process

Our main result is that, for sufficiently small reaction lag r, the automatic control described by system (1.1) and (1.2) is perfect: the zero solution is globally

Various supercritical carbon dioxide technologies have been developed over the past decades, and many of them are applied at industrial scales. Extraction of biologically active