Syntax Literate: Jurnal Ilmiah Indonesia p�ISSN: 2541-0849 e-ISSN: 2548-1398

Vol. 8, No. 8, Agustus 2023

 

CHARACTERIZATIONS FOR THE FRAKSIONAL INTEGRAL OPERATOR ON CLASSIC MORREY SPACES

 

Sahat P. Nainggolan

Del Institute of Technology Faculty of Vocational

Email: [email protected]

 

Abstrak

The boundedness of fractional integral operator �on �was introduced for the first time by Hardy G.H and Littlewood J.E (1928). In their evidence proof, Hardy and Littlewood used maximal operator that later known Hardy-Littlewood inequation. They proved that was limited from the Lebesgue�s space �to the space� �with �and �In 1938, a mathematician C.B Morrey introduced one of space, namely the Morrey�s space with notation . This paper will elaborate the Morrey�s space and the boundedness of �toward the classic Morrey�s space by benefitted the Hardy-Littlewodd maximal operator.

 

Keywords: Boundedness, Fractional Integral Operator, the maximal operator of Hardy Littewood, Minskowski inequation, Holder inequation, Lebesgue�s space,

 

Introduction

In 1886, Marcell Riesz introduced one function operator known as the fractional integral operator �that is:

For example �real-valued function on �for a, �dan , fractional integral operator �defined as follows:

 

 

Furthermore, this fractional integral operator is often known as the Riesz potential. The problem studied related to the fractional integral operator above is a limitation problem. As is known, the operator �from space �to space �said to be limited, if any �such that �with �noting norms �in room . Then the operators �is said to be limited in space , If �limited from space �to space.

The limitation of an operator is a property that is expected to be met, because this property leads to conditions that are interesting to study. For example when working with differential equations or integral equations, the limitations of an operator can provide an understanding of certain physical phenomena. Meanwhile in the field of computing, computing will be much easier if you work with a limited number of operators.

For the first time the limitations of the fractional integral operator on \mathbb{R} were proved by Hardy G.H and Littlewood J.E (1928). In their proof, Hardy and Littlewood used the maximal (function) operator which became known as the Hardy-Littlewood inequality.

Furthermore, the limitations of the fractional integral operator �proved by them in one of the homogeneous spaces, namely from the Lebesgue space �to space �with �And �Connection �And �always used in proof of the limitations of the fractional integral operator. Furthermore, in 1930 the limitations in the Lebesgue space were refined by Sobolev, so that the important result he obtained was called the Hardy-Littlewood-Sobolev inequality. Several years after that, in 1937 N. Wiener reintroduced the maximal operator, but for the case of a higher dimensional Euclidean space.

In 1938, a mathematician named C.B. Morrey introduced one of the well-known spaces to date, namely the Morrey space denoted by �(Lina, 2013 hal 1). This space is often encountered when studying the Schodinger operator and potential theory where the Morrey space is an extension of the Lebesgue space. After Hardy-Littlewood-Sobolev, the limitations of the fractional integral operator �further developed by D.R. Adams in the Morrey room. This result was then proven again by Chiarenza-Frasca using the Fefferman-Stein inequality. Chiarenza-Frasca succeeded in proving the limitations of the fractional integral operator from Morrey space �to space .

Based on the description above, this paper discusses whether the fractional integral operator has the same limitations in the previous function space, namely the Lebesgue space. . Furthermore, what conditions must be met so that the fractional integral operator is confined to the Morrey space.

 

Research Methods

1.   Morrey Room

The Morrey space is the set of all local Lebesgue integrated functions with an expansion value of a finite q-norm. To define a Morrey space, it is necessary to define a local Lebesgue space . However, before defining the local Lebesgue space, it is necessary to define the Lebesgue space first �namely the space that contains functions equipped with a q-norm whose value is up to . According to Kevin (2014:1) Lebesgue room�(named after its discoverer, Henry Lebesgue) is a scalable function space which is a natural embodiment of a finite dimensional vector space equipped with norm. Erwin Kreyszig (1978:61) defines a Lebesgue space and says that a Lebesgue space is a Banach space. The following is a definition of a Lebesgue space .

 

 

 

 

Lebesgue Room

For �Lebesgue room �contains all scalable functions f on that fulfills , with,

Example: Suppose function with . Clear that �measurable function. Because any function that is continuous almost everywhere is a measurable function. It is clear that the function is a continuous function on , consequently function �with �is a measurable function. Furthermore,

Clear �But if you pay attention, for , , Because

.

As for the local Lebesgue room �defined as follows:

Local Lebesgue Room

Local Lebesgue Room �with �is a space containing all scalable functions �that fulfills :

for each compact subset �If �so �is said to be locally integrated in

Based on definition 1 above, the membership requirements of �still fairly 'rough', because it only requires the finiteness of the expression . Therefore, it is necessary to add one parameter in the hope that it will refine the membership conditions �The result of refinement of the Lebesgue space �by adding one parameter, it is called a Morrey space (named after its discoverer, Charles B. Morrey, Jr). In brief, �related to the local properties of �which is defined on , whereas �related to global properties. The following is the definition of a Morrey space .

Morrey Room

For example B(x,r) is an open ball di . is the set of all functions�that fulfills :

Where �is denotes the ball centered at �and fingers �(Kreyszig, 1978:18).

View shape :

for case�obtained:

Because �And �and the supremum value of the integral is the result of the integral itself, ie: