Abstract
We extend the algebraic construction of finite dimensional varying exponent \(L^{p(\cdot )}\) space norms, defined in terms of Cauchy polynomials to a more general setting, including varying exponent \(L^{p(\cdot )}\) spaces. This boils down to reformulating the Musielak–Orlicz or Nakano space norm in an algebraic fashion where the infimum appearing in the definition of the norm should become a (uniquely attained) minimum. The latter may easily fail, as turns out, and in this connection we examine the Fatou type semicontinuity conditions on the modulars. Norms defined by ODEs are applied in studying such semicontinuity properties of \(L^{p(\cdot )}\) space norms with \(p(\cdot )\) unbounded.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The authors of Anatriello et al. [1] considered the variable (exponent) Lebesgue space \(L^{p(\cdot )}(\Omega )\) where \(\Omega \subset \mathbb {R}^n\) is a set of positive Lebesgue measure and the symbol \(p(\cdot )\) is a simple function of the type
and observed that the usual Luxemburg norm of a function \(f\in L^{p(\cdot )}(\Omega )\) is the unique positive root of a polynomial of degree k, k being the number of values of \(p(\cdot )\). Uniqueness of the positive root is due to the special form of the polynomial, which is a so-called Cauchy polynomial, i.e. a polynomial of the type
where the coefficients \(a_j\)’s are non-negative. By the classical rule of signs, if (at least) one of the coefficients \(a_j\)’s is nonzero, P(x) admits exactly a unique simple positive root. Historically, the importance of such root is linked to the problem, to which Cauchy gave an important contribution, to bound the modulus of the roots of polynomials. In recent years, in [1], it has been shown that—roughly speaking—when coefficients are norms, the unique positive root is again a norm; in view of old literature (see e.g. [11, Theorem 27.2, p. 123] and [3]), this root satisfies a number of norm inequalities.
In this paper we start from the same observation, but we investigate the problem in order to understand when the norms of more general variable Lebesgue spaces (and even more general class of spaces) are solutions of equations and, in particular, the unique positive solutions of equations which are not necessarily algebraic but rather fixed point equations.
Intuitively, the norm of variable Lebesgue spaces whose exponent has k values should be the unique positive solution of an equation containing the sum of k monomials, and if the exponent has a countable number of values, the norm should be the unique positive solution of an equation containing some series; finally, it is natural to expect that for general exponents \(p(\cdot )\) the series should be an integral. That is, analogously as in [1], this leads to a more general construction of norms, by using a variant of (1.1) as follows:
or, more generally,
where the fixed point condition \(R(\lambda )=\lambda \), which in case of (1.2) leads to a non-linear integral equation, defines the norm as \(\Vert f\Vert =\lambda \). That is, up to suitable Fatou type semicontinuity properties of the modular which also depend on the structure of the space in question. In analyzing these Fatou type properties we apply some ideas from Talponen [14], where norms of variable Lebesgue spaces are considered, built as solutions of suitable ODEs.
1.1 Preliminaries
In [12] the following result is proved (see Theorem 1.5, p. 2 and Lemma 2.4, p. 8).
Theorem 1.1
If \(\rho :X\rightarrow [0,\infty ]\) is a convex pseudomodular on a real vector space X, namely, if \(\rho \) satisfies
-
\(\rho (0)=0\),
-
\(\rho (-f)=\rho (f)\),
-
\(\rho (\alpha f+\beta g)\le \alpha \rho (f)+\beta \rho (g)\) for \(\alpha ,\beta \ge 0\), \(\alpha +\beta =1\),
which implies
-
\(\rho (\alpha f)\le \rho (f)\) for \(|\alpha |\le 1\),
-
\(\rho \left( \sum _{i=1}^k\alpha _if_i\right) \le \sum _{i=1}^k\alpha _i\rho (f_i)\) for \(\alpha _i\ge 0\), \(\sum _{i=1}^k\alpha _i=1\),
then the functional
is such that for any \(f,g\in X_\rho \), i.e. such that
the following hold:
-
\(\Vert 0\Vert _\rho =0\),
-
\(|-f\Vert _\rho =\Vert f\Vert _\rho \),
-
\(\Vert f+g\Vert _\rho \le \Vert f\Vert _\rho +\Vert g\Vert _\rho \),
-
\(\Vert \alpha f\Vert _\rho =|\alpha |\Vert f\Vert _\rho \quad \forall \alpha \in \mathbb {R}\),
-
\(\rho (\alpha f)\le \rho (\alpha g)\quad \forall \alpha >0\, \Rightarrow \Vert f\Vert _\rho \le \Vert g\Vert _\rho \),
-
\(\lambda \in [0,\infty [\rightarrow \Vert \lambda f\Vert _\rho \) is nondecreasing,
-
\( \Vert f\Vert _\rho <1\, \Rightarrow \, \rho (f)\le \Vert f\Vert _\rho \),
-
\( \Vert f\Vert _\rho >1\, \Rightarrow \, \rho (f)\ge \Vert f\Vert _\rho \).
A typical example of norm generated by a modular is that one of Musielak–Orlicz spaces over a set \(\Omega \subset \mathbb {R}^n\) of positive Lebesgue measure:
which gives, as a particular case, the variable Lebesgue space norm with exponent \(p(\cdot )\) when \(\Phi (x,t)=t^{p(x)}\).
An easy consequence of Theorem 1.1 is the following proposition, where a generalization of the classical Fatou lemma plays an essential role to establish that the infimum defining \(\Vert f\Vert _\rho \) is actually a minimum.
Proposition 1.2
If \(\rho :X\rightarrow [0,\infty ]\) is a convex pseudomodular on a real vector space X which is left lower semicontinuous, i.e.
![](http://media.springernature.com/lw221/springer-static/image/art%3A10.1007%2Fs11587-020-00535-3/MediaObjects/11587_2020_535_Equ52_HTML.png)
then
Proof
If \(f\in X_\rho \), then there exists \(\mu >0\) such that \(\rho (\mu f)<1\). Therefore \(\lambda :=1/\mu \) belongs to the set of the \(\lambda \)’s defining \(\Vert f\Vert _\rho \), which is therefore nonempty. Let \((\lambda _h)\) be a decreasing minimizing sequence, i.e. such that \(\lambda _h\downarrow \Vert f\Vert _\rho \). We have \(\rho (f/\lambda _h)\le 1\) and therefore, since also \(f/\Vert f\Vert _\rho \in X_\rho \),
![](http://media.springernature.com/lw521/springer-static/image/art%3A10.1007%2Fs11587-020-00535-3/MediaObjects/11587_2020_535_Equ53_HTML.png)
\(\square \)
In spite of its simplicity, we obtained a popular property of the norm under a not usual assumption. We underline the weakeness of the condition of left lower semicontinuity. The Fatou property known from the theory of Banach function spaces (see e.g. [2, 10]) is equivalent to the left continuity of the modular (see the details in Theorem 2.2.2, p. 19 in [8], stated in the framework of modular function spaces), and, most of all, the elements in X must be real valued or complex valued functions, in any case must be in some lattice. The notion of left-continuity in [12] is given in general vector spaces, but, as we will see, it is stronger with respect to our needs. In the case of the Musielak–Orlicz spaces, hence, in particular, of the variable Lebesgue spaces, the left lower semicontinuity is guaranteed by the classical Fatou property. For variable Lebesgue spaces, Proposition 1.2 reduces to the first part of Prop. 2.21 in [4], for Orlicz spaces reduces to Prop. 3, p. 60 in [13], for Musielak–Orlicz spaces reduces to Lemma 3.2.4 in [6].
2 Functions whose norms are fixed points
The question of the continuity of \(\lambda \in [0,\infty [ \rightarrow \rho (f/\lambda )\) has been recently considered by the second named author for certain particular Musielak–Orlicz spaces, namely, certain weighted variable Lebesgue spaces. The following statement is contained in Prop. 5.3 in [15].
Proposition 2.1
If \(w:[0,1]\rightarrow ]0,\infty [\), \(p:[0,1]\rightarrow [1,\infty [\) are such that
then there exists a constant \(D>0\) such that \(w(t)\le D/p(t)\) a.e. in [0, 1].
Let us record the following consequence. First of all, by Proposition 1.2 and Theorem 1.1 (see also, e.g., Theorem 3, p. 54 in [13])
Now let \(p(\cdot )\) be (finite and) unbounded in [0, 1]. Since the necessary condition on w established in Proposition 2.1 is not satisfied by the constant weight \(w\equiv 1\), then there exists f, \(\Vert f\Vert _{\mathrm {MO},L^{p(\cdot )}}\le 1\), such that
We can go further and make a more general assertion: by Prop. 2.21 in [4], there exists a function \(f_0\) having norm \(\Vert f_0\Vert _{\mathrm {MO},L^{p(\cdot )}}=1\) such that \(\rho (f_0)=\rho (f_0/\Vert f_0\Vert _{\mathrm {MO},L^{p(\cdot )}})<1\), and this suggests (2.1) by virtue of the following proposition, which is a complement to Proposition 1.2:
Proposition 2.2
If \(\rho :X\rightarrow [0,\infty ]\) is a left lower semicontinuous, convex pseudomodular on a real vector space X, then
Proof
By assumption \(F(\Vert f\Vert _\rho )<1\) and by definition of \(\Vert f\Vert _\rho \) for any \(\varepsilon >0\) it must be \(F(\Vert f\Vert _\rho -\varepsilon )>1\). \(\square \)
The discontinuity of F considered in Proposition 2.2 occurs also in Orlicz spaces theory. In fact, in [13] (see Proposition 6, p. 77 therein for details) it is proved that continuity of F is equivalent to the so-called \(\Delta _2\) condition for the Young function generating the Orlicz space, hence discontinuity may occur for not \(\Delta _2\) Young functions.
Immediate consequence of Propositions 1.2 and 2.2 is the following
Theorem 2.3
If \(\rho :X\rightarrow [0,\infty ]\) is a left lower semicontinuous, convex pseudomodular on a real vector space X, if for \(f\in X\), \(f\not \equiv 0\),
then
and therefore the norm \(\Vert f\Vert _\rho \) is a fixed point for
The conclusion of Theorem 2.3 is known to hold for Musielak–Orlicz spaces satisfying the \(\Delta _2\) condition (see [12], (3) p. 54), namely, in particular, in the case
where \(\varphi \, :\, \Omega \times ]0,\infty [\rightarrow ]0,\infty [\) is such that (see [12] p. 52)
where \(h\ge 0\), \(h\in L^1(\Omega )\), \(k>0\).
3 The case of variable Lebesgue spaces
3.1 Norms in terms of algebraic equations
Let us consider the variable Lebesgue space \(L^{p(\cdot )}(\Omega )\) where \(\Omega \subset \mathbb {R}^n\) is a set of positive Lebesgue measure and \(p(\cdot )\) is a bounded function (so that (2.3) holds) having at most a countable number of values:
In this case the norm \(\Vert f\Vert _{\mathrm {MO},L^{p(\cdot )}(\Omega )}\) is a solution of the equation
where the function R is in (2.2). In this case the equation reads
i.e. (next equality should be compared with that one in [15], p. 752)
last equality being exactly the algebraic equation of degree \(k\in \mathbb {N}\) in the case that \(p(\cdot )\) has the values \(1,\ldots ,k\).
3.2 Norms in terms of integral equations
In the case of a general, bounded exponent \(p(\cdot )\), the above chain of equalities cannot be performed, because of possibly infinity values of the exponent. However, the equality between the extreme left and right sides is still true. In fact, we have
Proposition 3.1
If \(\Omega \subset \mathbb {R}^n\) is a set of positive Lebesgue measure and \(p(\cdot )\) is a bounded function, then the value of the norm \(\Vert f\Vert _{\mathrm {MO},L^{p(\cdot )}(\Omega )}\) is the unique solution of the equation
Proof of Proposition 3.1
We already observed that since \(p(\cdot )\) is a bounded function, then (2.3) holds and we may apply Theorem 2.3. Hence by (2.2) the norm \(\Vert f\Vert _{\mathrm {MO},L^{p(\cdot )}(\Omega )}\) is the solution of the equation \(R(\lambda )=\lambda \), i.e.
Uniqueness of the solution is easy to see and the proof is complete. \(\square \)
We remark that (3.1), with the substitution \(\lambda =\Vert f\Vert _{\mathrm {MO},L^{p(\cdot )}(\Omega )}\), is known from the general theory of variable Lebesgue spaces (see the second part of Prop. 2.21 in [4]), and that it holds also for exponents which may assume value \(+\infty \), but which must be bounded in the set where they are finite (if such set exists). In particular, in the case of the space \(L^\infty \), we remark that its norm could be seen as generated by the pseudomodular \(\rho (f)=\Vert f\Vert _\infty \) which satisfies all the assumptions of Theorem 2.3. This shows that the conclusion of Theorem 2.3 holds also for spaces which do not have an absolutely continuous norm (see e.g. [2, 9] for details about spaces having absolutely continuous norm).
3.3 Norms in terms of minima
Fan [5] observed that the Amemiya norm and the Luxemburg norm coincide for a given Orlicz functional. This result includes the variable exponent Lebesgue spaces as a special case.
Recall that the Amemiya norm is defined as follows in the latter case:
It is easy to see that the term inside the infimum tends to infinity as \(K \searrow 0\) or \(K \nearrow \infty \) for an essentially non-zero funtion f. On the other hand, by convexity considerations the infimum is actually a minimum occuring for a unique value of K. Thus, a natural question occurs: What is the value of K, depending on f and the space \(L^{p(\cdot )}(\mu )\)? It turns out that there is a neat expression for the minimum. We may rewrite the above definition in a form more compatible with our approach here:
Here the function \(\lambda \mapsto \lambda \) is convex and \(\lambda \mapsto \int _\Omega (\frac{|f(x)|^{p(x)}}{\lambda ^{p(x) -1}})\ dx\) is strictly convex, provided that \(f\ne 0\) and \(p(\cdot )>1\). The latter is due to the fact that \(]0,\infty [ \rightarrow ]0,\infty [\), \(x \mapsto ax^{-p}\) is strictly convex for every \(a>0\) and \(p>0\).
Proposition 3.2
Consider an exponent \(p(\cdot )>1\) (uniformly) bounded from above, \(f \in L^{p(\cdot )}(\Omega )\), \(f\ne 0\), and let \(K>0\) be the value where the minimum in the Amemiya norm is attained. Then
where \(\nu \) is the special weight generating the measure given by
The assumption regarding the boundedness of \(p(\cdot )\) is not completely innocent. These issues are discussed in the next section.
Proof of Proposition 3.2
We first prove the statement in the special case where both \(p(\cdot )\) and \(f(\cdot )\) are simple functions. In this case the integrals involved are actually finite sums.
According to the considerations above, we will find the unique value of \(\lambda \) by means of differentiation.
This is equivalent to an equality having a familiar form:
that is
corresponds to the unique value K where the minimum in the definition of the Amemiya norm is attained.
Recall that the Musielak–Orlicz norms and the Amemiya norms coincide (see e.g. [7]), so that we may consider which ever suits us. Our observation is then extended for all measurable exponents by taking limits of Musielak–Orlicz norms with simple exponents. Finally, we approximate with simple functions f to obtain the full statement. \(\square \)
3.4 Varying-exponent Lp functions whose norm admits an algebraic representation
The second named author introduced in [14] a method of defining var-expo \(L^{p(\cdot )}[0,1]\) norms by means of weak solutions to suitable first-order ODEs. The measure space (in this case the Lebesgue measure on [0, 1]) is required to be linearly ordered in order for the ODE to be defined. There the following natural subspaces of Musielak–Orlicz \(L^{p(\cdot )}\) spaces were studied as well:
Clearly, if \(p(\cdot )\) is essentially bounded, then \(L_{0}^{p(\cdot )} = L^{p(\cdot )}\). As observed in [14], the ODE-determined class \(L^{p(\cdot )}\) need not be a linear space for an essentially unbounded exponent \(p(\cdot )\), but nevertheless the following facts hold:
-
If \(p(\cdot )\) is essentially bounded or non-decreasing, then the corresponding ODE-determined class \(L^{p(\cdot )}\) is a Banach space in the natural way and its norm is equivalent to the Luxemburg norm of the Musielak–Orlicz space by an isomorphism constant 2.
-
The class \(L_{0}^{p(\cdot )}\) is in any case a Banach space and its norm is equivalent to the Luxemburg norm of the Musielak–Orlicz space by an isomorphism constant 2.
Theorem 3.3
Given a \(\Sigma \)-measurable function, measurable \(p:\Omega \rightarrow [1,\infty )\), and \(f \in L^{p(\cdot )}(\Omega ,\Sigma ,\mu )\), a Musielak–Orlicz space, and \(\Vert f\Vert _{\mathrm {MO},p(\cdot )}=1\). Consider the following conditions:
-
(1)
The mapping
$$\begin{aligned} \lambda \mapsto \int _\Omega \left| \frac{f(x)}{\lambda }\right| ^{p(x)}\ d\mu (x) \end{aligned}$$is continuous at \(\lambda =1\);
-
(2)
The function \(f \in L_{0}^{p(\cdot )}(\Omega ,\Sigma ,\mu )\);
-
(3)
\(\int _\Omega |f(x)|^{p(x)}\ d\mu (x) =1\).
Then (1) \(\Longleftrightarrow \) (2) \(\implies \) (3). The particular value of the norm is not restrictive.
We note that the last condition (3) may hold even if the integral in (1) is infinite for every \(0<\lambda <1\).
Proof of Theorem 3.3
Let us make the assumption of the theorem. Then it is clear that the first condition implies the last one.
The fact that
is decreasing for \(f(x)\not \equiv 0\) and the Monotone Convergence Theorem, we obtain that in (1) the mapping is continuous from the right.
It easily follows from the continuity of the mapping in condition (1) from the left that
Then condition (2) follows easily.
Finally, let us check the last implication, namely, that condition (2) implies the first one. If \(p(\cdot )\) is essentially bounded, then all the conditions (1)–(3) are readily true, so assume that \(p(\cdot )\) is essentially unbounded. Let \(f \in L_{0}^{p(\cdot )}(\Omega ,\Sigma ,\mu )\). According to the Dominated Convergence Theorem it suffices to verify that there is \(0<\lambda <1\) such that
To achieve this, we apply the observations in [15] to find a linear isometry
where the domain is the Musielak–Orlicz space over \(\Omega \subset {\mathbb {R}}^n\) with the Luxemburg norm and the target space is a similar space, except over the unit interval. This is obtained by a weighted composition operator. The composition is given by the lifting of the Boolean isomorphism between the measure algebras, that is, a measure-preserving bijection \(\Omega \rightarrow [0,1]\), where \(\mu \) is normalized to be a probability measure. Here \(p'\) is obtained from p by applying the lifting \(L:\Omega \rightarrow [0,1]\) as follows: \(p' (t) := p\circ L^{-1} (t)\). Then, by using the inequalities established in the same paper, we find an isomorphism
by a measure-preserving rearrangement, where \(p''\) becomes a non-decreasing rearrangement of \(p'\).
Here \(L_{0}^{p'' (\cdot )}[0,1] = L^{p'' (\cdot )}[0,1]\) can be regarded as an ODE-determined Banach function space introduced in [14]. The equality of the spaces is due to the fact that \(p''(\cdot )\) is non-decreasing. The norm of the ODE-determined function space norm is equivalent to the Luxemburg norm in question.
Then
defines a linear isomorphism which satisfies the following condition:
for every \(\alpha \ge 1\). If \(\mu \) is a probability measure we have \(R(1_{p(\cdot )>\alpha } )= 1_{p'' (\cdot )>\alpha }\) for every \(\alpha \).
Let us investigate \(g=R(f)\). Since \(g \in L_{0}^{p'' (\cdot )}[0,1]\) where \(p''\) is non-decreasing, we observe that \(\Vert 1_{[t,1]} g\Vert _{\mathrm {ODE}, p''(\cdot )} \rightarrow 0\) as \(t\rightarrow 1^{-}\).
We shall exploit the precise form of the differential equation,
whose solution, in the sense of Carathéodory, produces the ODE-determined norm:
Thus, let \(t_0 \in (0,1)\) be such that \(h:= 1_{[t_0 , 1]} g\) satisfies
Let \(\lambda = \frac{3}{4}\). Let us study the ODE which produces the norm of h:
Recall that \(p'' (t) \rightarrow \infty \) as \(t \nearrow 1\). This means that there is \(t_1 \in [t_0 ,1)\) such that
since the exponent function grows at a super-linear rate. Therefore, without loss of generality, recalling that \(\varphi _g (t) \rightarrow \Vert h \Vert _{\mathrm {ODE}, p''(\cdot )} \) as \(t\nearrow 1\), we may assume that
Thus,
Consequently, since \(p'' (\cdot )\) is bounded on \([0,t_1 ]\), we have
Finally, by using the fact that a simultaneous rearrangement of \(g(\cdot )\) and \(p'' (\cdot )\) does not affect the value of the above integral, we obtain that
By recalling the construction of T we obtain that
This concludes the proof. \(\square \)
Although the Luxemburg-norm associated to the Musielak–Orlicz space is equivalent to the ODE-determined norm, these norms have some dissimilarities. In the ODE-determined class one can approximate the value \(\Vert f\Vert _{\mathrm {ODE},L^{p(\cdot )}}\) for any f in the class as follows: one may restrict the support of f to obtain a sequence of functions \(f_n := 1_{C_n} f\) with \(|f_n (t)|^{p(t)}\) essentially bounded such that \(\Vert f_n \Vert _{\mathrm {ODE},L^{p(\cdot )}} \rightarrow \Vert f\Vert _{\mathrm {ODE},L^{p(\cdot )}}\) and \(f_n \rightarrow f\) a.e. as \(n\rightarrow \infty \). (see [14]). The similar statement does not hold true for \(\Vert \cdot \Vert _{\mathrm {MO},L^{p(\cdot )}}\) norms. Indeed, to see this, one can construct an example such that
but
for all \(\lambda <1\).
References
Anatriello, G., Fiorenza, A., Vincenzi, G.: Banach function norms via Cauchy polynomials and applications. Int. J. Math. 26(10), 1550083 (2015)
Bennett, C., Sharpley, R.: Interpolation of Operators. Academic Press, Boston (1988)
Carmichael, R.D., Mason, T.E.: Note on the roots of algebraic equations. Bull. Am. Math. Soc. 1, 14–22 (1914)
Cruz-Uribe, D.V., Fiorenza, A.: Variable Lebesgue Spaces. Foundations and Harmonic Analysis. Applied and Numerical Harmonic Analysis. Birkhäuser/Springer, Heidelberg (2013)
Fan, X.L.: Amemiya norm equals Orlicz norm in Musielak–Orlicz spaces. Acta Math. Sin., Engl. Ser. 23(2), 281–288 (2007)
Harjulehto, P., Hästö, P.: Orlicz Spaces and Generalized Orlicz Spaces. Lecture Notes in Mathematics, vol. 2236. Springer, Cham (2019)
Hudzik, H., Maligranda, L.: Amemiya norm equals Orlicz norm in general. Indag. Math., N.S. 11(4), 573–585 (2000)
Kozlowski, W.M.: Modular Function Spaces. Volume 122 of Monographs and Textbooks in Pure and Applied Mathematics. Marcel Dekker, New York (1988)
Lang, J., Nekvinda, A.: A difference between continuous and absolutely continuous norms in Banach function spaces. Czech. Math. J. 47(122), 221–232 (1997)
Maligranda, L.: Orlicz Spaces and Interpolation. Volume 5 of Seminários de Matemática [Seminars in Mathematics]. Departamento de Matemática, Universidade Estadual de Campinas, Campinas (1989)
Marden, M.: Geometry of Polynomials. American Mathematical Society, Providence (1966)
Musielak, J.: Orlicz Spaces and Modular Spaces. Volume 1034 of Lecture Notes in Mathematics. Springer, Berlin (1983)
Rao, M.M., Ren, Z.D.: Theory of Orlicz spaces. Marcel Dekker, New York (1991)
Talponen, J.: ODE for norms. Stud. Math. 236, 63–83 (2017)
Talponen, J.: Decompositions of Nakano norms by ODE techniques. Ann. Acad. Sci. Fenn. Math. 43, 737–754 (2018)
Funding
Open access funding provided by Università degli Studi di Napoli Federico II within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Fiorenza, A., Talponen, J. Generalizing algebraically defined norms. Ricerche mat 71, 53–65 (2022). https://doi.org/10.1007/s11587-020-00535-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11587-020-00535-3
Keywords
- Modular spaces
- Musielak–Orlicz spaces
- Variable exponent Lebesgue spaces
- Fixed point
- Non-linear integral equation