Abstract
Assume that \(\Omega \subset \mathbb {R}^k\) is an open set, V is a real separable Banach space and \(f_1,\ldots ,f_N :\Omega \rightarrow \Omega \), \(g_1,\ldots , g_N:\Omega \rightarrow \mathbb {R}\), \(h_0:\Omega \rightarrow V\) are given functions. We are interested in the existence and uniqueness of solutions \(\varphi :\Omega \rightarrow V\) of the linear equation \(\varphi =\sum _{k=1}^{N}g_k\cdot (\varphi \circ f_k)+h_0\) in generalized Orlicz spaces.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Throughout this paper we fix \(k,N\in {\mathbb {N}}\), an open set \(\Omega \subset \mathbb {R}^k\), a real separable Banach space \((V,\Vert \cdot \Vert _V)\) and functions \(f_1,\ldots ,f_N :\Omega \rightarrow \Omega \), \(g_1,\ldots , g_N:\Omega \rightarrow \mathbb {R}\) and \(h_0:\Omega \rightarrow V\). We are interested in solutions \(\varphi :\Omega \rightarrow V\) of the linear equation of the form
Solutions of Eq. (1) have been studied by many authors in different classes of functions (for more details see e.g. [12, Chapter XIII], [13, Chapter 6], [2, Chapter 5], [1, Section 4] and the references therein). In this paper we are interested in the existence and uniqueness of solutions of Eq. (1) in generalized Orlicz spaces.
This paper is a continuation of investigations started by the authors in [17], where solutions of Eq. (1) were studied in the space \(L^1([0,1],\mathbb {R})\). The motivation to study Eq. (1) in the space \(L^1([0,1],\mathbb {R})\) came from [20]. However, the interest to consider it in much more general spaces is inspired by [15].
We denote by \({\mathcal {F}}\) the linear space of all functions \(\psi :\Omega \rightarrow V\) and fix a subspace \({\mathcal {F}}_0\) of \({\mathcal {F}}\). Then we define the operator \(P:{\mathcal {F}}_0\rightarrow {\mathcal {F}}\) by
and we observe that it is linear and Eq. (1) can be written in the form
Note also that if Eq. (1) has a solution \(\varphi \in {\mathcal {F}}_0\) such that \(P\varphi \in {\mathcal {F}}_0\), then \(h_0\in {\mathcal {F}}_0\). Conversely, if \(h_0\in {\mathcal {F}}_0\), then for every solution \(\varphi \in {\mathcal {F}}_0\) of Eq. (1) we have \(P\varphi \in {\mathcal {F}}_0\). Therefore, if we want to look for solutions of Eq. (1) in \({\mathcal {F}}_0\), then it is quite natural to assume that \(h_0\in {\mathcal {F}}_0\) and
We begin with the following counterpart of [17, Remark 1.2].
Remark 1.1
Assume that \({\mathcal {F}}_0\) is equipped with a norm, \(h_0\in {\mathcal {F}}_0\) and the operator P given by (2) satisfies (4) and is continuous. If the series
converges, in the norm, to a function \(\varphi \in {\mathcal {F}}_0\), then (3) holds.
From now on, the series (5) will be called the elementary solution of Eq. (1) in \({\mathcal {F}}_0\), provided that it is a well-defined solution of Eq. (1) belonging to \({\mathcal {F}}_0\). Let us note that it can happen that Eq. (1) has a solution in \({\mathcal {F}}_0\), however its elementary solution in \({\mathcal {F}}_0\) can fail to exist (see [17, Example 1.4]). Following [17] we are interested in assumptions guaranteeing that the elementary solution of Eq. (1) in \({\mathcal {F}}_0\) exists, and moreover, that Eq. (1) has no other solutions in \({\mathcal {F}}_0\). As it was mentioned at the beginning, in this paper we will focus on \({\mathcal {F}}_0\) when it is a generalized Orlicz space.
Our first result is a simple generalization of [17, Theorem 3.2], essentially with the same proof.
Theorem 1.2
Assume that \(\Vert \cdot \Vert \) is a complete norm in \({\mathcal {F}}_0\) and let \(h_0\in {\mathcal {F}}_0\). If the operator P given by (2) satisfies (4) and is a contraction with contraction factor \(\alpha \), then the elementary solution of Eq. (1) in \({\mathcal {F}}_0\) exists, it is the unique solution of Eq. (1) in \({\mathcal {F}}_0\) and \( \Vert \sum _{k=m}^{\infty }P^k h_0\Vert \le \frac{\alpha ^{m}}{1-\alpha }\Vert h_0\Vert \).
2 Preliminaries
Let \((X,{\mathcal {M}},\mu )\) and \((Y,{\mathcal {N}},\nu )\) be measure spaces. We say that \(G:X\rightarrow Y\) satisfies Luzin’s condition N if for every set \(N\subset Y\) of measure zero the set G(N) is also of measure zero. When we integrate a function \(\Phi :X\rightarrow V\), we will use the Bochner integral (for details see e.g. [8, Sections 3.1 and 3.2]). Recall that a function \(\Phi :X\rightarrow V\) is Bochner–measurable if it is equal almost everywhere to the limit of a sequence of measurable simple functions, i.e., \(\Phi (x)=\lim _{n\rightarrow \infty }\Phi _n(x)\) for almost all \(x\in X\), where each of the functions \(\Phi _n:X\rightarrow V\) has a finite range and \(\Phi _n^{-1}(\{v\})\) is measurable for every \(v\in V\). As we will work with Bochner–integrable solutions of Eq. (1), we need the following observation.
Lemma 2.1
Assume that \((X,{\mathcal {M}},\mu )\) is a complete \(\sigma \)–finite measure space. Let \(F:X\rightarrow X\), \(H:X\rightarrow V\) and \(G:X\rightarrow \mathbb {R}\) be measurable functions. If for all sets \(N\subset X\) of measure zero the set \(F^{-1}(N)\) is also of measure zero, then the functions \(H\circ F\) and \(G\cdot (H\circ F)\) are measurable.
Proof
Let \((H_n)_{n\in {\mathbb {N}}}\) be a sequence of measurable simple functions converging pointwise to H except on a set N of measure zero. Fix \(n\in \mathbb {N}\). Then there are points \(v_1,\ldots ,v_m\in V\) and a partition of V into measurable sets \(V_1,\ldots ,V_m\) such that \(H_n=\sum _{j=1}^{m}v_j\chi _{V_j}\). Then \(H_n\circ F=\sum _{j=1}^{m}v_j\chi _{V_j}\circ F=\sum _{j=1}^{m}v_j\chi _{F^{-1}(V_j)}\). By our assumptions, the set \(F^{-1}(N)\) is of measure zero. Fix \(v\in V\setminus F^{-1}(N)\). Then \(F(v)\not \in N\), and hence \((H_n\circ F)(v)\) converges to \((H\circ F)(v)\).
Assume now that \((G_n)_{n\in {\mathbb {N}}}\) is a sequence of measurable simple functions converging to G except on a set M of measure zero. Then \((G_n\cdot (H_n\circ F))_{n\in {\mathbb {N}}}\) is a sequence of measurable simple functions converging to \(G\cdot (H\circ F)\) except on the set \(F^{-1}(N)\cup M\). \(\square \)
The next result we want to apply is a change of variable formula from [6]. To formulate this theorem, we need to introduce some definitions and notions.
Let \(F:\Omega \rightarrow {\mathbb {R}}^k\) be measurable. We say that a linear mapping \(L:{\mathbb {R}}^k\rightarrow {\mathbb {R}}^k\) is an approximate differential of F at \(x_0\in \Omega \) if for every \(\varepsilon >0\) the set
has \(x_0\) as a density point (see [24, Section 2], cf. [23, Chapter IX.12]). We say that F is approximately differentiable at \(x_0\) if the approximate differential of F at \(x_0\) exists. To simplify notation, we will denote the approximate differential of a function \(F:\Omega \rightarrow {\mathbb {R}}^k\) at \(x_0\) by \(F'(x_0)\). Moreover, if a function \(F:\Omega \rightarrow {\mathbb {R}}^k\) is almost everywhere approximately differentiable, then as usual we denote by \(F'\) the function \(\Omega \ni x\mapsto F'(x)\), adopting the convention that \(F'(x)=0\) for every point \(x\in \Omega \) at which F is not approximately differentiable. If \(E\subset \Omega \), then the function \(N_F(\cdot ,E):{\mathbb {R}}^k\rightarrow {\mathbb {N}}\cup \{\infty \}\) defined by
is called the Banach indicatrix of F.
We omit the proof of the next lemma, as it is the same as the version included in [17] in the case where \(k=1\).
Lemma 2.2
(see [17, Lemma 2.1]) Assume that \(F_1,F_2:\Omega \rightarrow {\mathbb {R}}^k\) are functions such that \(F_1=F_2\) almost everywhere. If \(F_1\) is approximately differentiable almost everywhere, then so is \(F_2\). Moreover, whenever \(F_1\) or \(F_2\) is approximately differentiable at a point, so is the other function, and the approximate derivatives agree at this point.
Now we are in a position to formulate the change of variable formula; \(J_F\) denotes the Jacobian of F.
Theorem 2.3
(see [6, Theorem 2]) Assume that \(F:\Omega \rightarrow {\mathbb {R}}^k\) is a measurable function satisfying Luzin’s condition N and is almost everywhere approximately differentiable. If \(H:{\mathbb {R}}^k\rightarrow {\mathbb {R}}\) is a measurable function, then for every measurable set \(E\subset \Omega \) the following statements are true:
-
(i)
The functions \((H\circ F)|J_F|\) and \(H N_F(\cdot ,E)\) are measurable;
-
(ii)
If \(H\ge 0\), then
$$\begin{aligned} \int _E (H\circ F)(x)|J_F(x)|\, dx=\int _{{\mathbb {R}}^k}H(y)N_F(y,E)\,dy; \end{aligned}$$(6) -
(iii)
If one of the functions \((H\circ F)|J_F|\) and \(H N_F(\cdot ,E)\) is integrable (for \((H\circ F)|J_F|\) integrability is considered with respect to \(E\) \()\), then so is the other and (6) holds.
Now we are ready to formulate the main assumption about the functions that were fixed at the beginning of this paper. The assumption reads as follows.
-
(H)
The functions \(f_1,\ldots ,f_N\) are measurable and almost everywhere approximately differentiable and satisfy Luzin’s condition N. For all \(n\in \{1,\ldots , N\}\) and sets \(M\subset {\mathbb {R}}^k\) of measure zero the set \(f_n^{-1}(M)\) is of measure zero. There exists \(K\in {\mathbb {N}}\) such that for every \(n\in \{1,\ldots , N\}\) the set \(\{x\in \Omega :{{\,\mathrm{card}\,}}{f_n^{-1}(x)}>K\}\) is of measure zero. The functions \(g_1,\ldots ,g_N \) and \(h_0\) are measurable.
From now on, for all \(l\in \{1,\ldots ,N\}\) and distinct \(n_1,\ldots ,n_l\in \{1,\ldots ,N\}\) we put
and denote its measure by \(l_{n_1,\ldots ,n_l}\). Then we set
3 Lebesgue spaces
We begin our considerations on the existence and uniqueness of the elementary solution of Eq. (1) in Lebesgue spaces \(L^p(\Omega ,V)\) of vector-valued functions. As the Lebesgue spaces of vector-valued functions are well known as natural generalizations of the classical Lebesgue spaces of real-valued functions (see e.g. [3] or [8, Chapter 3]), we will not define and describe them in details here.
Since we want to apply Theorem 1.2, we must know that the operator P given by (2) has the properties assumed in this theorem. The next two lemmas serve this purpose.
Lemma 3.1
Assume that (H) holds and let \(p\in [1,\infty )\). If there exists a real constant \(\alpha \ge 0\) such that
then the operator P given by (2) satisfies \(P(L^p(\Omega ,V))\subset L^p(\Omega ,V)\) and is continuous with
Proof
The proof is similar to that of [17, Lemma 3.1].
Fix \(h\in L^p(\Omega ,V)\). First of all observe that applying assertion (i) of Theorem 2.3 with \(F=f_n\) and \(H=1\) we conclude that the function \(N_{f_n}(\cdot ,\Omega )\) is measurable for every \(n\in \{1,\ldots ,N\}\). Hence the function \(\Vert h(\cdot )\Vert _VN_{f_n}(\cdot ,\Omega )\) is also measurable for every \(n\in \{1,\ldots ,N\}\). Next by Lemma 2.1 we see that the function \(g_n\cdot (h\circ f_n)\) is measurable for every \(n\in \{1,\ldots ,N\}\), which implies that the function Ph is measurable as well. Then, using (7) and Theorem 2.3, we obtain
This yields
and completes the proof. \(\square \)
Lemma 3.2
Assume that (H) holds. If
then the operator P given by (2) satisfies \(P(L^\infty (\Omega ,V))\subset L^\infty (\Omega ,V)\), it is continuous and (8) holds.
Proof
If is enough to observe that
for every \(h\in L^\infty (\Omega ,V)\). \(\square \)
It is well known that Lebesgue spaces of real-valued functions are Banach spaces (see e.g. [5, Theorem 6.6]). It turns out that the same is true in the case of vector-valued functions with Banach target spaces, basically with the same proof as in the real-valued case (see e.g. [8, Section 3.2]). Therefore, applying Theorem 1.2 jointly with Lemmas 3.1 and 3.2 we obtain the following result.
Theorem 3.3
Assume that (H) holds, that \(p\in [1,\infty ]\) and that \(h_0\in L^p(\Omega ,V)\). Let (7) be satisfied with some \(\alpha \ge 0\) in the case where and (9) be satisfied in the case where \(p=\infty \). If \(\alpha <1\), then the elementary solution of Eq. (1) in \(L^p(\Omega ,V)\) exists, it is the unique solution of Eq. (1) in \(L^p(\Omega ,V)\) and
The next results concerns the space C(F, V) of all continuous functions from a compact set \(F\subset {\mathbb {R}}^k\) to V equipped with the supremum norm \(\Vert \cdot \Vert _{\sup }\). Although it is not a Lebesgue space, we will formulate a counterpart of Theorem 3.3 for it. The reason is that its proof is based on the following lemma, the proof of which is the same as the proof of Lemma 3.2.
Lemma 3.4
Assume (H) and let \(F\subset \Omega \) be a non-empty compact set. If for every \(n\in \{1,\ldots ,N\}\) the functions \(f_n\) and \(g_n\) are continuous on F with \(f_n(F)\subset F\), and if
then the operator P given by (2) satisfies \(P(C(F,V))\subset C(F,V)\), is continuous and (8) holds.
Again, since C(F, V) with the supremum norm is a Banach space (see e.g. [3, Introduction]), it follows that Theorem 1.2 jointly with Lemma 3.4 gives the following result.
Theorem 3.5
Assume that (H) holds and let \(F\subset \Omega \) be a non-empty compact set, let \(h_0\) be continuous on F, let for every \(n\in \{1,\ldots ,N\}\) the functions \(f_n\) and \(g_n\) be continuous on F with \(f_n(F)\subset F\), and let (10) be satisfied. If \(\alpha <1\), then the elementary solution of Eq. (1) in C(F, V) exists, it is the unique solution of Eq. (1) in C(F, V) and
4 Generalized Orlicz spaces
In this section we will focus on generalized Orlicz spaces (called also Musielak–Orlicz spaces) with values in Banach spaces. Such spaces are a known generalization of the classical Orlicz spaces, and hence they are more general than Lebesgue spaces. Generalized Orlicz spaces were introduced in the case of real valued function in [18] and then generalized also to functions taking values in vector spaces in [10]. There are many results obtained on generalized Orlicz spaces (see e.g. [7, 16, 19, 25] and the references therein). For the convenience of the readers, following [10, 11], we recall some basic definitions and facts for our needs.
Denote by \({\mathcal {B}}(V)\) the \(\sigma \)-algebra of all Borel subsets of V and by \({\mathcal {L}}_k (\Omega )\) the \(\sigma \)-algebra of all Lebesgue measurable subsets of \(\Omega \).
Definition 4.1
[see [10, Definitions 2.1.1, 2.1.2 and 2.1.3]; cf. [11, Section 0]] A function \(\Phi :V\times \Omega \rightarrow [0,\infty ]\) is said to be an N-function if:
-
(i)
\(\Phi \) is \({\mathcal {B}}(V)\otimes {\mathcal {L}}_k (\Omega )\)–measurable,
-
(ii)
\(\Phi (\cdot ,x)\) is even, convex, continuous at zero and lower semicontinuous for almost all \(x\in \Omega \),
-
(iii)
\(\Phi (0,x)=0\) for almost all \(x\in \Omega \),
-
(iv)
there exist functions \(\alpha ,\beta :\Omega \rightarrow (0,\infty )\) such that \(\Phi (v,x)\ge \alpha (x)\) for all \(v\in V\) and almost all \(x\in \Omega \) with \(\Vert v\Vert _V\ge \beta (x)\).
From now on the symbol \(\Phi \) is reserved for N-functions only.
Denote by \({\mathcal {M}}_V\) the set of all measurable functions \(h:\Omega \rightarrow V\); as usual, two functions from \({\mathcal {M}}_V\) that differ only on a set of measure zero will be considered as equal. Assume that \({\mathcal {M}}\) is a given non-empty subset of \({\mathcal {M}}_V\) such that
Denote by \(L^\Phi _{{\mathcal {M}}}(\Omega ,V)\) the set of all functions \(h\in {\mathcal {M}}\) for which there exists a sequence \((h_n)_{n\in {\mathbb {N}}}\) of functions belonging to \({{\,\mathrm{lin}\,}}{\mathcal {M}}\), i.e. the smallest linear space spanned by \({{\mathcal {M}}}\), such that
It turns out that \(L^\Phi _{{\mathcal {M}}}(\Omega ,V)\) is a linear space; indeed it is enough to note that \(I_\Phi (\xi (\alpha h_n-{\widetilde{h}}_n-(\alpha h-{\widetilde{h}})))\le \frac{1}{2}I_\Phi (2|\alpha |\xi (h_n-h))+\frac{1}{2}I_\Phi (2\xi ({\widetilde{h}}_n-{\widetilde{h}}))\) for all \(h,{\widetilde{h}},h_n,{\widetilde{h}}_n\in {\mathcal {M}}_V\), \(\alpha \in {\mathbb {R}}\) and \(\xi >0\). The linear space \(L^\Phi _{{\mathcal {M}}}(\Omega ,V)\) is called a generalized Orlicz space (or a Musielak–Orlicz space).
Typical generalized Orlicz spaces are variable exponent Lebesgue spaces \(L^{p(\cdot )}(\Omega ,V)\), generated by N-functions of the form \(\Phi (v,x)= \Vert v\Vert _V^{p(x)}\) with measurable functions \(p:\Omega \rightarrow [1,\infty )\), and double phase spaces (containing \(L^p(\Omega ,V)+L^q(\Omega ,V)\) spaces), generated by N-functions of the form \(\Phi (v,x)=\Vert v\Vert _V^p+\alpha (x)\Vert v\Vert _V^q\) with measurable functions \(\alpha :\Omega \rightarrow (0,\infty )\) and real numbers \(p,q\in [1,\infty )\). Additional interesting examples of generalized Orlicz spaces can be found in [7].
Theorem 4.2
[see [10, Theorem 2.4]] The formula
defines a complete norm in \(L^\Phi _{{\mathcal {M}}}(\Omega ,V)\).
Let us note that in the above theorem the assumption about the continuity at zero of \(\Phi (\cdot ,x)\) in condition (ii) of Definition 4.1 can be omitted. However, we will need this assumption to simplify our results. For the same reason we will work only with the generalized Orlicz spaces \(L^\Phi _{{\mathcal {M}}_V}(\Omega ,V)\), denoted throughout this paper by \(L^\Phi (\Omega ,V)\). The norm introduced in Theorem 4.2 is called the Luxemburg norm.
From [10, Proposition 2.2] if follows that \(L^\Phi (\Omega ,V)={{\,\mathrm{lin}\,}}{{\mathcal {M}}}\), which correlates the generalized Orlicz space with the original one introduced in [21]. Moreover, [10, Proposition 2.3] yields \(I_\Phi (h)<\infty \) for every \(h\in L^\Phi (\Omega ,V)\), which jointly with the continuity at zero of the function \(\Phi (\cdot ,x)\) leads to the following observation.
Theorem 4.3
[see [22, Theorem 1.13]] We have \(h\in L^\Phi (\Omega ,V)\) if and only if one of the following two equivalent conditions hold:
-
(i)
there exists a sequence \((h_n)_{n\in {\mathbb {N}}}\) of functions from \({{\,\mathrm{lin}\,}}\{{\widetilde{h}}\in {\mathcal {M}}_V:I_\Phi ({\widetilde{h}})<\infty \}\) satisfying (11),
-
(ii)
there exists \(\xi >0\) such that \(I_\Phi (\xi h)<\infty \).
After the short introduction to the generalized Orlicz space, we pass to our investigations.
We are now ready to generalize Lemma 3.1 to generalized Orlicz spaces.
Lemma 4.4
Assume that (H) holds. If there exists a real constant \(\alpha \ge 0\) such that
then the operator P given by (2) satisfies \(P(L^\Phi (\Omega ,V))\subset L^\Phi (\Omega ,V)\), it is continuous and (8) holds.
Proof
Fix \(h\in L^\Phi (\Omega ,V)\). As in the proof of Lemma 3.1 we conclude that the functions Ph and \(N_{f_n}(\cdot ,\Omega )\) are measurable for every \(n\in \{1,\ldots ,N\}\). According to [9, Theorem 2 in Appendix 2 on page 68] (see also [22, page 323]; cf. [7, Theorem 2.5.4]) we deduce that both functions \(\Phi (h(\cdot ),\cdot )N_{f_n}(\cdot ,\Omega )\) and \(\Phi (Ph(\cdot ),\cdot )\) are also measurable for every \(n\in \{1,\ldots ,N\}\). Then using (12) and Theorem 2.3, we obtain
which completes the proof. \(\square \)
Note that in condition (12) all functions in the space \(L^\Phi (\Omega ,V)\) are involved, which makes it a bit difficult to check. However, we can formulate a simple condition that involves no function of the space \(L^\Phi (\Omega ,V)\) and implies (12).
Remark 4.5
If
and
then (12) holds.
Proof
First observe that if \(\alpha =0\), then (14) gives \(Ph(x)=0\) for almost all \(x\in \Omega \), and hence (12) holds. Therefore, we can assume that \(\alpha >0\).
Fix \(x\in \Omega \) such that \(\Phi (0,x)=0\) and \(\Phi (\cdot ,x)\) is convex and even. Then for all \(v_1,v_2\in V\) and \(a,b\in {\mathbb {R}}\) with \(|a|+|b|\le 1\) we have
This jointly with (14), the non-negativity of \(\Phi \), and (13) gives
for almost all \(x\in \Omega \). \(\square \)
Combining Lemma 4.4 and Theorems 4.2 and 1.2, we obtain the following result.
Theorem 4.6
Assume that (H) holds and let \(h_0\in L^\Phi (\Omega ,V)\). If (12) holds with a real constant \(\alpha \in [0,1)\), then the elementary solution of Eq. (1) in \(L^\Phi (\Omega ,V)\) exists, it is the unique solution of Eq. (1) in \(L^\Phi (\Omega ,V)\) and
We now introduce an interesting and widely studied class of N-functions.
Definition 4.7
(see [14, Definitions 2.2]) A non-decreasing left-continuous and convex function \(\Psi :[0,\infty )\rightarrow [0,\infty ]\) is said to be a Young function, if
From now on the symbol \(\Psi \) is reserved for Young functions only.
It is easy to check that if \(\Psi \) is a strictly increasing Young function, then the formula
defines an N-function. Therefore, we see that every function \(\Psi \) produces an Orlicz space of the form
This space equipped with the Luxemburg norm
is complete by Theorem 4.2 (cf. [14, Definition 2.7]). Note that in general the set \(S=\{h\in {\mathcal {M}}_V: \int _{\Omega }\Psi (\Vert h(x)\Vert _V)\, dx<\infty \}\) is not a vector space (for an easy example see e.g. [4, page 96]), however assuming an additional property on \(\Psi \) the set S becomes a vector space (see e.g. [4, Theorem 3.4.13]).
Summarizing, we formulate the following result for the Orlicz spaces \(L^\Psi (\Omega ,V)\).
Corollary 4.8
Assume that (H) holds and let \(h_0\in L^\Psi (\Omega ,V)\). If (14) is satisfied with a real constant \(\alpha \in [0,1)\), then the elementary solution of Eq. (1) in \(L^\Psi (\Omega ,V)\) exists, it is the unique solution of Eq. (1) in \(L^\Psi (\Omega ,V)\) and
Proof
It is enough to apply Theorem 4.6 and Remark 4.5 noting that Eq. 13 holds as \(\Psi \) does not depend on x. \(\square \)
Finally note that since for every \(p\in (1,\infty )\) the mapping \(``[0,\infty )\ni \mapsto t^{p}"\) is a Young function, it follows that Corollary 4.8 extends Theorem 3.3 in the case where \(p\in (1,\infty )\); cf. [4, Remark 3.4.18].
References
Baron, K., Jarczyk, W.: Recent results on functional equations in a single variable, perspectives and open problems. Aequationes Math. 61(1–2), 1–48 (2001)
Belitskii, G., Tkachenko, V.: One-Dimensional Functional Equations. Operator Theory: Advances and Applications, vol. 144. Birkhäuser Verlag, Basel (2003)
Cembranos, P., Mendoza, J.: Banach Spaces of Vector-Valued Functions. Lecture Notes in Mathematics, vol. 1676. Springer, Berlin (1997)
Edmunds, D.E., Desmond Evans, W.: Hardy Operators, Function Spaces and Embeddings. Springer Monographs in Mathematics, Springer, Berlin (2004)
Folland, G.B.: Real Analysis: Modern Techniques and Their Applications. Pure and Applied Mathematics (New York), 2nd edn. Wiley, New York (1999)
Hajłasz, P.: Change of variables formula under minimal assumptions. Colloq. Math. 64(1), 93–101 (1993)
Harjulehto, P., Hästö, P.: Orlicz Spaces and Generalized Orlicz Spaces. Lecture Notes in Mathematics, vol. 2236. Springer, Cham (2019)
Heinonen, J., Koskela, P., Shanmugalingam, N., Tyson, J.T.: Sobolev Spaces on Metric Measure Spaces. An Approach Based on Upper Gradients. New Mathematical Monographs, Cambridge University Press, Cambridge (2015)
Ioffe, A.D., Levin, V.L.: Subdifferentials of convex functions. Trudy Moskov. Mat. Obšč. 26, 3–73 (1972)
Kozek, A.: Orlicz spaces of functions with values in Banach spaces. Comment. Math. Prace Mat., 19(2):259–288, 1976/77
Kozek, A.: Convex integral functionals on Orlicz spaces. Comment. Math. Prace Mat. 21(1), 109–135 (1980)
Kuczma, M.: Functional Equations in a Single Variable. Monografie Matematyczne, Tom 46. Państwowe Wydawnictwo Naukowe, Warsaw, 1968)
Kuczma, M., Choczewski, B., Ger, R.: Iterative Functional Equations. Encyclopedia of Mathematics and Its Applications, vol. 32. Cambridge University Press, Cambridge (1990)
Malý, J., Swanson, D., Ziemer, W.P.: Fine behavior of functions whose gradients are in an Orlicz space. Studia Math. 190(1), 33–71 (2009)
Janusz, M.: Integrable solutions of functional equations. Diss. Math. (Rozprawy Mat.) 127, 68 (1975)
Méndez, O., Lang, J.: Analysis On Function Spaces of Musielak–Orlicz Type. Monographs and Research Notes in Mathematics, CRC Press, Boca Raton, FL (2019)
Morawiec, J., Zürcher, T.: Some classes of linear operators involved in functional equations. Ann. Funct. Anal. 10(3), 381–394 (2019)
Musielak, J., Orlicz, W.: On modular spaces. Studia Math. 18, 49–65 (1959)
Musielak, J.: Orlicz Spaces and Modular Spaces. Lecture Notes in Mathematics, vol. 1034. Springer, Berlin (1983)
Kazimierz, N.: On \(\epsilon \)-invariant measures and a functional equation. Czechoslov. Math. J. 41(116)(4), 565–569 (1991)
Orlicz, W.: Über eine gewisse Klasse von Räumen vom Typus \(B\). Bull. Int. Acad. Polon. Sci. A 8–9, 207–220 (1932)
Płuciennik, R.: On some properties of the superposition operator in generalized Orlicz spaces of vector-valued functions. Comment. Math. Prace Mat. 25(2), 321–337 (1985)
Saks, S.: Theory of the integral. Second revised edition. English translation by L. C. Young. With two additional notes by Stefan Banach. Dover Publications, Inc., New York, (1964)
Whitney, H.: On totally differentiable and smooth functions. Pac. J. Math. 1, 143–159 (1951)
Yang, D., Liang, Y., Ky, L.D.: Real-Variable Theory of Musielak–Orlicz Hardy Spaces. Lecture Notes in Mathematics, vol. 2182. Springer, Cham (2017)
Acknowledgements
The research was supported by the University of Silesia Mathematics Department (Iterative Functional Equations and Real Analysis program).
Open Access
This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Professor Ludwig Reich on the occasion of his 80th birthday.
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
Morawiec, J., Zürcher, T. Linear functional equations and their solutions in generalized Orlicz spaces. Aequat. Math. 95, 1181–1193 (2021). https://doi.org/10.1007/s00010-021-00851-5
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-021-00851-5
Keywords
- Linear operators
- Approximate differentiability
- Luzin’s condition N
- Functional equations
- Generalized Orlicz spaces