Journal of Function Spaces
Volume 2017 (2017), Article ID 3129186, 3 pages
https://doi.org/10.1155/2017/3129186

Research Article

Identification of Fully Measurable Grand Lebesgue Spaces

Giuseppina Anatriello,¹ Ralph Chill,² and Alberto Fiorenza1,3

¹Dipartimento di Architettura, Università di Napoli Federico II, Via Monteoliveto 3, 80134 Napoli, Italy
²Institut für Analysis, TU Dresden, 01062 Dresden, Germany
³Istituto per le Applicazioni del Calcolo “Mauro Picone”, Sezione di Napoli, Consiglio Nazionale delle Ricerche, Via Pietro Castellino 111, 80131 Napoli, Italy

Correspondence should be addressed to Alberto Fiorenza; fiorenza@unina.it

Received 11 May 2017; Accepted 24 August 2017; Published 2 October 2017

Academic Editor: Maria Alessandra Ragusa

Copyright © 2017 Giuseppina Anatriello et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract.

We consider the Banach function spaces, called fully measurable grand Lebesgue spaces, associated with the function norm where denotes the norm of the Lebesgue space of exponent , and and are measurable functions over a measure space , , and almost everywhere. We prove that every such space can be expressed equivalently replacing and with functions defined everywhere on the interval , decreasing and increasing, respectively (hence the full measurability assumption in the definition does not give an effective generalization with respect to the pointwise monotone assumption and the essential supremum can be replaced with the simple supremum). In particular, we show that, in the case of bounded , the class of fully measurable Lebesgue spaces coincides with the class of generalized grand Lebesgue spaces introduced by Capone, Formica, and Giova.

Let be a finite measure space, and let be the set of all measurable functions on with values in ,   be the subset of the nonnegative functions, and be the subset of the real valued functions.

Let be a measure space, and define similarly as above. Let ,   such that and for -almost every . Following [1], for , we set

where

Then is a Banach function norm, and the associated Banach function space

is called fully measurable grand Lebesgue space. This definition is one of the most abstract generalizations of the original grand Lebesgue spaces originated in the paper by Iwaniec and Sbordone [2].

Given as above, let us set

so that . In the following, we exclude the noninteresting case of constant , that is, the case , because in such case we know (see [1]) that .

Given a function on that is positive and decreasing (i.e., ), we consider the Banach function norm:

Theorem 1. Let , be such that is nonconstant, , and –almost everywhere. Then there exists a positive, decreasing, and left-continuous function on , such that

Some comments on this result are in order. If , coincide with the interval endowed with the Lebesgue measure, and if , then the class of spaces associated with the Banach function norm coincides with the class of spaces associated with the Banach function norm , where is increasing. In fact, substituting , we have

In other words, Theorem 1 shows that the class of fully measurable Lebesgue spaces introduced in [1], where both and coincide with the interval , coincides in the case of bounded exponents with the class of spaces introduced in [3]. As a consequence, it does make no difference whether one defines the fully measurable Lebesgue spaces with measurable as above or with increasing defined on the interval and such that . This fact has a couple of consequences to be stressed.

First, to consider “essential suprema" for generalized grand Lebesgue spaces, and also for their associate spaces (which are called generalized small Lebesgue spaces), does not lead to more generality. Second, the attempts to look for the associate spaces of the fully measurable Lebesgue spaces, made in [4, 5], both solve completely the characterization of the duality. Our result may be relevant also for the weighted variant of the fully measurable Lebesgue spaces which recently attracted much interest ([6–9]).

Proof of Theorem 1. Let us set

Then is positive, decreasing, and left-continuous. Let . Let , and let be such that

For any , let be defined by

Then is measurable and has strictly positive -measure. For any we have, by Hölder’s inequality,

from which

Therefore, for any ,

and hence

On the other hand, since for -almost every ,

and hence

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

References

G. Anatriello and A. Fiorenza, “Fully measurable grand Lebesgue spaces,” Journal of Mathematical Analysis and Applications, vol. 422, no. 2, pp. 783–797, 2015.

T. Iwaniec and C. Sbordone, “On the integrability of the Jacobian under minimal hypotheses,” Archive for Rational Mechanics and Analysis, vol. 119, no. 2, pp. 129–143, 1992.

C. Capone, M. R. Formica, and R. Giova, “Grand Lebesgue spaces with respect to measurable functions,” Nonlinear Analysis. Theory, Methods & Applications, vol. 85, pp. 125–131, 2013.

G. Anatriello, M. R. Formica, and R. Giova, “Fully measurable small Lebesgue spaces,” Journal of Mathematical Analysis and Applications, vol. 447, no. 1, pp. 550–563, 2017.

P. Jain, M. Singh, and A. P. Singh, “Duality of fully measurable grand Lebesgue space,” Transactions of A. Razmadze Mathematical Institute, vol. 171, no. 1, pp. 32–47, 2017.

G. Anatriello and M. R. Formica, “Weighted fully measurable grand Lebesgue spaces and the maximal theorem,” Ricerche di Matematica, vol. 65, no. 1, pp. 221–233, 2016.

P. Jain, M. Singh, and A. P. Singh, “Integral operators on fully measurable weighted grand Lebesgue spaces,” Indagationes Mathematicae, vol. 28, no. 2, pp. 516–526, 2017.

V. Kokilashvili, A. Meskhi, H. Rafeiro, and S. Samko, Integral Operators in Non-Standard Function Spaces: Volume 1: Variable Exponent Lebesgue and Amalgam Spaces, vol. 248 of Operator Theory: Advances and Applications, Springer, 2016.

V. Kokilashvili, A. Meskhi, H. Rafeiro, and S. Samko, Integral Operators in Non-Standard Function Spaces: Volume 2: Variable Exponent Hölder, Morrey -Campanato and Grand Spaces, vol. 249 of Operator Theory: Advances and Applications, 2016.