Journal of Function Spaces

Volume 2017 (2017), Article ID 3129186, 3 pages

https://doi.org/10.1155/2017/3129186

## Identification of Fully Measurable Grand Lebesgue Spaces

^{1}Dipartimento di Architettura, Università di Napoli Federico II, Via Monteoliveto 3, 80134 Napoli, Italy^{2}Institut für Analysis, TU Dresden, 01062 Dresden, Germany^{3}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; ti.aninu@azneroif

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 whereThen 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - 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. View at Publisher · View at Google Scholar · View at MathSciNet - 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - 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. View at Publisher · View at Google Scholar · View at MathSciNet - 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. View at Publisher · View at Google Scholar · View at MathSciNet · View at Scopus - 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. View at Publisher · View at Google Scholar · View at MathSciNet - 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. View at Scopus