Abstract
We study the embeddings of variable exponent Sobolev and Hölder function spaces over Euclidean domains, providing necessary and/or sufficient conditions on the regularity of the exponent and/or the domain in various contexts. Concerning the exponent, the relevant condition is log-Hölder continuity; concerning the domain, the relevant condition is the measure density condition.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In Euclidean domains, variable exponent Lebesgue–Sobolev and Hölder spaces have been intensively studied during the last years (see the books [3, 5] for a gentle introduction, and [6] for an overview on the history of the subject). These spaces of functions provide a useful tool for the description of non-linear phenomena in elastic mechanics [21], fluid mechanics [18] and image restoration [16], for example. In some descriptions of the aforementioned phenomena, functionals of Dirichlet type with variable exponent are used; since the regularity of the critical points of those functionals is relevant, the embedding or inclusion problem between these type of spaces must be studied in depth. Note that this theory has also been developed in Riemannian manifolds [9, 10], and also in metric-measure spaces [8, 12, 17].
In this work, we consider inclusions between Lebesgue, Sobolev, and Hölder spaces with variable exponent on Euclidean domains, and obtain sufficient and/or necessary conditions on the regularity of the exponent and/or on the domain.
In Sect. 2, we provide a brief description of variable exponent Sobolev and Hölder spaces in Euclidean domains, together with some of their elementary properties. To have a point of reference, we overview the problem concerning the density of smooth functions in variable and classical (or constant exponent) Sobolev spaces; in the variable exponent case, at least when the domain is regular enough, the regularity of the exponent is fundamental: the log-Hölder regularity turns out to be a sufficient condition.
Then we move to the subject of this work, the inclusion or embedding problem between spaces of functions. When the exponents are constant, there are many results concerning necessary and/or sufficient conditions on the regularity of the domain to achieve the embeddings [1, 11]; in the variable exponent case, and at least when the domain is regular enough, the log-Hölder regularity of the exponent appears as a sufficient condition again. To clarify our contribution, we describe the (nowadays) canonical notions of regularity for domains and exponents in detail, and quote the known results for embeddings between Sobolev and/or Hölder spaces using these notions. After this has been done, we state our main results, that could be seen as a mixture of sufficient conditions on the regularity of the exponent, and necessary conditions on the regularity of the domain. The proofs of these results are given in Sect. 3.1.
In Sect. 4, we infer some consequences of our main results, providing generalizations and different proofs of some results to be found in [1].
2 Preliminaries
In this work, \({\mathcal {L}}^n\) is the n-dimensional Lebesgue measure, and \(\Omega \) is a Lebesgue measurable subset of \(\mathbb {R}^n\). If A is a \({\mathcal {L}}^n\)-measurable subset of \(\Omega \), we write |A| instead of \(\int _A d {\mathcal {L}}^n(x) = {\mathcal {L}}^n(A)\). A variable exponent, or simply an exponent, is a bounded \({\mathcal {L}}^n\)-measurable function \(p : \Omega \rightarrow [1,\infty [\), usually written as \(p(\cdot )\). For such a \(p(\cdot )\), whenever A is a \({\mathcal {L}}^n\)-measurable subset of \(\Omega \) define
If \(A = \Omega \), we simply write \(p^+\) and \(p^-\), respectively.
In this context, the generalized Lebesgue space \(L^{{p( \cdot )}}(\Omega )\) is the vector space of measurable functions \(u: \Omega \rightarrow \mathbb {R}\) for which the functional
is finite. The functional \(\rho _{{p( \cdot )}}\) is convex, and \(L^{{p( \cdot )}}(\Omega )\) is a Banach space with the norm
One can compare the functionals \(\Vert \ \Vert _{L^{{p( \cdot )}}(\Omega )}\) and \(\rho _{{p( \cdot )}}(\ )\) using the inequalities
and the unit ball property follows: \(\Vert u \Vert _{L^{{p( \cdot )}}(\Omega )} \ge 1\) if and only if \(\rho _{{p( \cdot )}}(u) \ge 1\). Another basic result is Hölder’s inequality: if \(r(\cdot ), {p( \cdot )}\) and \({q( \cdot )}\) are exponents satisfying
\({\mathcal {L}}^n\)-almost everywhere on \(\Omega \), then
The Sobolev space \(L^{{p( \cdot )}}_1(\Omega )\) is the vector space of those functions u in \(L^{{p( \cdot )}}(\Omega )\) for which their distributional gradient (that we denote by \(\nabla u\) if no confusion arises) is also in \(L^{{p( \cdot )}}(\Omega )\). \(L^{{p( \cdot )}}_1(\Omega )\) is also a Banach space with the norm
Despite the apparent similarity between these spaces and the classical Lebesgue and Sobolev spaces, some properties of the latter are not valid in the variable exponent case: for instance, if \(p^+\) is finite, then for every \(\Omega \), the smooth functions are dense in \(L^{{p( \cdot )}}(\Omega )\), see [15]; however, sufficient conditions on \({p( \cdot )}\) to ensure the density of the smooth functions in \(L^{{p( \cdot )}}_1(\Omega )\) even when \(\Omega \) is a bounded and smooth domain in \(\mathbb {R}^n\) are more delicate. The first counterexample of this type was found by Zhikov for variational problems in the 2-dimensional disk: the infimum over the smooth functions of a functional of \({p( \cdot )}\)-Dirichlet type is strictly larger than the infimum of that functional over all the functions in \(L^{{p( \cdot )}}_1(\Omega )\), see [21, 22]; in those examples, the exponent \({p( \cdot )}\) is not continuous.
If the domain \(\Omega \) has a locally Lipschitz boundary, then a sufficient condition for the aforementioned density was found by Samko and Diening on \(\Omega \) provided that \({p( \cdot )}\) satisfies the log-Hölder condition (see [4, 5, 13, 14]): \({p( \cdot )}\) is of log-Hölder type if there exists a constant \(C_{\text {log}}\) such that
where \(| x- y |\) is the Euclidean distance between the elements x and y in \(\Omega \).
To relate log-Hölder continuity with other types of uniform continuity, different moduli of continuity are used: given a continuous function \(\phi : \mathbb {R}_+ \rightarrow \mathbb {R}_+\) with \(\lim _{t\rightarrow 0^+}\phi (t) = 0\), the exponent \({p( \cdot )}: \Omega \rightarrow [1,\infty [\) is \(\phi \)-continuous if there exists a constant \(C_{\phi }\) such that
for every pair of points \(\{ x,y \}\) in \(\Omega \). If \(\phi _1(t) \le \phi _2(t)\) for t near 0, then \({p( \cdot )}\) is \(\phi _2\)-continuous whenever \({p( \cdot )}\) is \(\phi _1\)-continuous.
In the quest for the necessity of the log-Hölder condition for the density of the smooth functions on \(L^{{p( \cdot )}}_1(\Omega )\), Hästö constructs on the unit disk in \(\mathbb {R}^2\), a uniformly continuous exponent whose modulus of continuity is slightly weaker than the one associated to the log-Hölder condition, but for which the smooth functions are not dense in \(L^{{p( \cdot )}}_1(\Omega )\), see [13]. The modulus used by Hästö is equivalent to
giving a satisfactory but still partial answer to the problem, see [6, 13, 14].
In the counterexamples of Zhikov and Hästö, the domain \(\Omega \) is the standard smooth domain, namely the unit disk. Beside smoothness, some properties or conditions for the regularity of domains in \(\mathbb {R}^n\) are as follows:
-
1.
The strong local Lipschitz condition,
-
2.
The segment condition,
-
3.
The uniform cone condition,
-
4.
The cone condition,
-
5.
The weak cone condition, and
-
6.
The measure density condition.
The definition of the first five notions can be found in [1, 20]. Concerning the sixth condition, a subset \(\Omega \) of \(\mathbb {R}^n\) is said to satisfy the s-measure density condition, for some \(s>0,\) if there exists a positive constant c such that for every x in \({\bar{\Omega }}\) and each R in ]0, 1] one has
If \(s=n,\) then we shall simply say that \(\Omega \) satisfies the measure density condition.
If A and B are any of the mentioned properties for domains, write \(A \Longrightarrow B\) if whenever \(\Omega \) is a domain with property A, then \(\Omega \) also has property B. The relations between the mentioned properties can be read from the next picture:
The relation between the first five properties is given in [1]. To illustrate the relations with the measure density condition, we give some examples:
Example 2.1
Consider
the unit square minus the origin in \(\mathbb {R}^2\). Then \(\Omega _1\) satisfies the cone condition, but not the segment condition.
Example 2.2
If K is a compact subset of the square \(]-10,10[^2\) whose Hausdorff dimension is smaller than 2, then
satisfies the measure density condition. In particular, if K is the von Koch Curve (snowflake) whose Hausdorff dimension is \(\log 4/\log 3\), then \(\Omega _2(K)\) satisfies the measure density condition, but not the weak cone condition, nor the segment condition.
Example 2.3
Let
Then \(\Omega _3\) satisfies the segment condition but not the weak cone condition nor the measure density condition.
Another situation where there are similarities and differences between standard and variable exponent Lebesgue and Sobolev spaces is the inclusion problem: Find necessary and sufficient conditions on \({p( \cdot )}, {q( \cdot )}\) and \(\Omega \) such that there exists a constant C so that
whenever u is in \(L^{{p( \cdot )}}_1(\Omega )\); if that is the case one writes \(L^{p(\cdot )}_1(\Omega ) \hookrightarrow L^{q(\cdot )}(\Omega )\). In this context, Diening obtained the following result:
Theorem 2.1
(Theorem 5.2 and Corollary 5.3 in [4]) Let \(\Omega \) be an open and bounded subset of \(\mathbb {R}^n\), and suppose that:
-
1.
The boundary of \(\Omega \) is locally Lipschitz.Footnote 1
-
2.
The exponent \({p( \cdot )}\) is log-Hölder continuous, with \(1< p^- \le p^+ < n\).
Conclusion: \(L^{p(\cdot )}_1(\Omega ) \hookrightarrow L^{q(\cdot )}(\Omega )\), where \({q( \cdot )}:= \frac{{p( \cdot )}n}{n-{p( \cdot )}}\).
To prove Theorem 2.1, Diening proceeds, roughly speaking, in two steps. In the first step, he obtains the embedding \(L^{p(\cdot )}_1(\mathbb {R}^n) \hookrightarrow L^{q(\cdot )}(\mathbb {R}^n)\) extending some tools of Potential theory [19] to the case when the exponent \({p( \cdot )}\) is of log-Hölder type. In the second step, he extends the technique of Extension operators [1] to this setup: as in the case when p is constant, a sufficient condition on \(\Omega \) for these purposes is the strong local Lipschitz condition.
The inclusion problem between Sobolev and Hölder spaces has also been extended to variable exponent spaces. As in the classical case, define \(C^{0,\alpha (\cdot )}(\Omega )\), the Hölder space of variable exponent \(\alpha (\cdot )\) over \(\Omega \), where now \(\alpha :\Omega \rightarrow ]0,1]\) is a measurable function: given a bounded and continuous function u on \(\Omega \) consider its seminorm
so that \(C^{0,\alpha (\cdot )}(\Omega )\) is the vector space made up of those u that are bounded, continuous, and for which the seminorm \([u]_{\alpha (\cdot )}\) is finite. \(C^{0,\alpha (\cdot )}(\Omega )\) is a Banach space for the norm
Using similar ideas and techniques as those used by Diening to obtain Theorem 2.1, Almeida and Samko obtained an inclusion between variable exponent Sobolev and Hölder spaces:
Theorem 2.2
(Theorem 4.7 in [2]) Let \(\Omega \) be an open and bounded subset of \(\mathbb {R}^n\), and suppose that:
-
1.
The boundary of \(\Omega \) is locally Lipschitz.
-
2.
The exponent \({p( \cdot )}\) is log-Hölder continuous, with \(n < p^-\).
Conclusion: \(L^{p(\cdot )}_1(\Omega ) \hookrightarrow C^{0, \alpha (\cdot )}(\Omega )\), where \(\alpha (\cdot ) := 1- n /{p( \cdot )}\).
Remark 2.1
By restricting Theorems 2.1 and 2.2 to the case when the exponents are constant, one recovers some of the results given in [1]. However, for constant exponents, a weaker condition on \(\Omega \) for the embedding \(L^p_1(\Omega ) \hookrightarrow L^q(\Omega )\) suffices: the cone condition.
Theorems 2.1 and 2.2 give sufficient conditions both on \(\Omega \) and on \(\{{p( \cdot )}, \alpha (\cdot )\}\) to achieve the Sobolev and Hölder embeddings with variable exponents, respectively.
On the other hand, concerning necessary conditions on the domain \(\Omega \) to achieve classical Sobolev and Hölder embeddings, an important progress was achieved by Hajłasz, Koskela and Tuominen, see [11]. Part of their results can be summarized as follows:
Theorem 2.3
(Theorem 1 in [11]) Let \(\Omega \) be an open subset of \(\mathbb {R}^n\), and suppose that either:
-
1.
\(L^p_1(\Omega ) \hookrightarrow L^q(\Omega )\), where \(p < n\) and \(q := \frac{pn}{n-p}\), or
-
2.
\(L^p_1(\Omega ) \hookrightarrow C^{0, \alpha }(\Omega )\), where \(n < p\) and \(\alpha := 1- n / p\).
Conclusion: \(\Omega \) satisfies the measure density condition.
3 Main Results
As mentioned in Sect. 1, our results could be seen as a mixture of the theorems stated in Sect. 2, in the sense that they provide sufficient conditions on \(\{ {p( \cdot )}, \alpha (\cdot )\}\) and/or necessary conditions on the domain \(\Omega \) for the variable exponent Sobolev and Hölder inclusions to hold. We have:
Theorem 3.1
Let \(\Omega \) be an open subset of \(\mathbb {R}^n\), and suppose that for some \(s>1\):
-
1.
The exponent \(p(\cdot )\) is log-Hölder continuous, with \(p^+ <s\).
-
2.
The exponent \(q(\cdot ):= \frac{{p( \cdot )}s}{s-{p( \cdot )}}\) is such that \(\frac{1}{q^-}<\frac{1}{q^+}+\frac{1}{s}\).
-
3.
\(L^{p(\cdot )}_1(\Omega ) \hookrightarrow L^{q(\cdot )}(\Omega )\).
Conclusion: \(\Omega \) satisfies the s-measure density condition.
The reader can compare Theorem 3.1 (with \(s=n\)) with Theorem 2.1 and the first part of Theorem 2.3. The reader can also see the diagram in Sect. 2 to understand the gap between the sufficient condition in Theorem 2.1 and the necessary condition in Theorem 3.1. In the next result, the domain \(\Omega \) is a bounded domain; as a bonus less restrictions on the exponent \({q( \cdot )}\) than those in Theorem 3.1 are required:
Theorem 3.2
Let \(\Omega \) be an open and bounded subset of \(\mathbb {R}^n\), and suppose that for some \(s>1\):
-
1.
The exponent \(p(\cdot )\) is log-Hölder continuous, with \(p^+ <s\).
-
2.
\(L^{p(\cdot )}_1(\Omega ) \hookrightarrow L^{q(\cdot )}(\Omega )\), where \(q(\cdot )= \frac{{p( \cdot )}s}{s-{p( \cdot )}}\).
Conclusion: The same as in Theorem 3.1.
Finally, our third main result is a mixture of the conditions in Theorem 2.2 and the second part of Theorem 2.3:
Theorem 3.3
Let \(\Omega \) be an open and connected subset of \(\mathbb {R}^n\), and suppose that for some \(s >0\):
-
1.
The exponent \(p(\cdot )\) is log-Hölder continuous, with \(s < p^-\).
-
2.
\(L^{p(\cdot )}_1(\Omega ) \hookrightarrow C^{0, \alpha (\cdot )}(\Omega )\), where \(\alpha (\cdot ) := 1- s / {p( \cdot )}\).
Conclusion: The same as in Theorem 3.1.
We refer to the diagram in Sect. 2 to see the gap between the necessary and sufficient conditions on the domain.
3.1 Proof of Theorems 3.1, 3.2 and 3.3
Proof of Theorem 3.1
For a fixed x in \({\bar{\Omega }}\) define \(A_R :=B_R (x) \cap \Omega \). It is enough to consider the case when \(|A_R|\le 1\), otherwise \(|A_R|\ge 1 \ge R^s\) whenever \(R \le 1\) and there is nothing to prove; moreover, it is enough to consider \(R \le \frac{1}{4}\). For such an R, denote by \({\tilde{R}} < R\) the smallest real number such that
To prove Theorem 3.1, we need the following Lemma:
Lemma 3.1
Use the same assumptions and notation as in Theorem 3.1. Then there exists a constant \(c_1 > 0\) such that for all x in \({\bar{\Omega }}\) and every R in ]0, 1], one has the estimate
Proof
Unless some confusion arises, we omit the domain \(\Omega \) in the function spaces and norms. So assume that \(L^{p(\cdot )}_1 \hookrightarrow L^{q(\cdot )}\); then there exists a constant \(C_{\text {sob}} > 0\) such that whenever \(u \in L^{p(\cdot )}_1\), one has the inequality
For a fixed x in \({\bar{\Omega }}\) let \(u(y):=\phi (y-x)\) be a function of \(y \in \Omega \), where \(\phi \) is a cut-off function satisfying:
-
1.
\(\phi :\mathbb {R}^n \rightarrow [0,1]\),
-
2.
\(\hbox {spt}\ \phi \subset B_R(0)\),
-
3.
\(\phi |_{B_{{\tilde{R}}}(0)}=1\), and
-
4.
\(|\nabla \phi | \le {\tilde{c}} / (R-{\tilde{R}})\) for some constant \({\tilde{c}}\).
Recall that x is fixed, to deduce the inequalities
and
Combine those inequalities with the Sobolev inequality (3), and
follows. Moreover, use Hölder’s inequality (1)
and the basic estimates between norm and semimodular in (4), to infer that
as claimed. \(\square \)
To conclude the proof of Theorem 3.1, given x in \({\bar{\Omega }}\) and R in \(]0, \frac{1}{4}]\), construct the sequence \(\{ R_i \}\) by setting \(R_0:=R\), and then define \(R_{i+1}:=\tilde{R_i}\) inductively for \(i \ge 0\). It follows that
with \(\lim _{i \rightarrow \infty } R_i=0\).
With those ingredients in Lemma 3.1, one observes that
where the abbreviation \(\eta _R :=\frac{1}{s}+\frac{1}{q_{A_R}^+}-\frac{1}{q_{A_R}^-}\) has been used.
Note that \(\eta _R \ge \eta :=\frac{1}{s}+\frac{1}{q^+}-\frac{1}{q^-} > 0\), to deduce, thanks to the previous observations, that
Moreover, since \(c_2 :=1/ \max \{1, \frac{c_1}{1-2^{-\eta }}\} \le 1\) one has
where \(\beta _R := 1-s \eta _R\).
From (6), one sees that if a positive lower bound for \(R^{\beta _R / \eta _R}\) is provided, the proof of Theorem 3.1 is finished. To achieve such a lower bound, the log-Hölder continuity of \(p(\cdot )\) will be used: by the hypotheses on \(p(\cdot )\) and \(q(\cdot )\) one has that \({q( \cdot )}\) is log-Hölder continuous as well, hence
taking the supremum over pairs of points in \(A_R\) one gets
or
therefore
But
hence using (7) the required bound
follows, and the uniform estimate \(c R^s \le | B_R(x) \cap \Omega |\) is obtained, where \(c := c_2^{1 / \eta } c_3\). \(\square \)
Proof of Theorem 3.2
We use a notation similar to that in Theorem 3.1. Since \(q(\cdot )\) is log-Hölder continuous, \(q(\cdot )\) is uniformly continuous, and one can extend \(q(\cdot )\) to \({\bar{\Omega }}\). Since \({\bar{\Omega }}\) is compact, there is a finite cover \(\{ O_{\alpha } : \alpha \ \text {in}\ \Lambda \}\) of \({\bar{\Omega }}\) by open sets such that
Let \(\lambda \) be some Lebesgue number of the covering \(\{ O_{\alpha } \}\), and consider R such that \(R \le \min \{1/4, \lambda /2 \}\). Fix some x in \(\Omega \), note that \(B_R(x) \subset O_{\alpha }\) for some \(\alpha \in \Lambda \), to define the sequence \(\{R_i\}\) in the same way as in the proof of Theorem 3.1: hence by (5)
where \(\eta _R \ge \eta _{\alpha } > 0\). Proceeding in a similar way as in Theorem 3.1, one obtains
where \(c_{2,\alpha }:= 1/ \max \{1 , \frac{c_1}{1-2^{-\eta _{\alpha }}}\}\); also for each \(\alpha \) in \(\Lambda \) one has
Putting things together the claimed estimate \(| A_R | \ge c R^s\) follows, where
\(\square \)
From Theorem 3.2, we deduce:
Corollary 3.1
Let \(\Omega \) be an open and bounded subset of \(\mathbb {R}^n\), and suppose that:
-
1.
The exponent \({p( \cdot )}\) is log-Hölder continuous.
-
2.
\(L^{p(\cdot )}_1(\Omega ) \hookrightarrow L^{q(\cdot )}(\Omega )\), where \({q( \cdot )}\) is measurable and such that \(q(x) > p(x)\) whenever x is in \(\Omega \).
Conclusion: There exists a constant \(c > 0\) such that for all x in \(\Omega \) and all R in ]0, 1], one has the estimate
whenever
is finite.
Proof
Introduce the function
and note that \(1 \le Q(\cdot ) \le {q( \cdot )}\), hence
Moreover, since \({p( \cdot )}< {q( \cdot )}\) one has that
with \(p^+ < t\). One can use \(Q(\cdot )\) instead of \({q( \cdot )}\) and t instead of s in the hypotheses of Theorem 3.2: the result follows. \(\square \)
Proof of Theorem 3.3
We use a notation similar to that in Theorems 3.1 and 3.2. Fix x in \({\bar{\Omega }}\) and some \(R \le \frac{1}{4}\); we assume that \(\Omega \thicksim B_R(x) \ne \emptyset \), since otherwise \(|A_R|=|\Omega |\). Let \(u(y):=\phi (y-x)\) be a function of \(y \in \Omega \), where \(\phi \) is a cut-off function satisfying:
-
1.
\(\phi :\mathbb {R}^n \rightarrow [0,1]\),
-
2.
\(\hbox {spt}\ \phi \subset B_R(0)\),
-
3.
\(\phi (0)=1\), and
-
4.
\(|\nabla \phi | \le {\tilde{c}} / R\) for some constant \({\tilde{c}}\).
The hypothesis \(L^{p(\cdot )}_1 \hookrightarrow C^{0, \alpha (\cdot )}\) entails that whenever \(u \in L^{{p( \cdot )}}_1\) one has that
for every pair of points \(\{y, z\}\) in \(\Omega \). In (8) choose \(y=x\) and \(z \in (\Omega \thicksim B_R(x)) \cap B_{2R}(x)\):Footnote 2 one gets
On the other hand
and
follows, therefore
where \(C= \min \{ 1, 1/ ( 2\ C_{\text {sob}}\ (1+{\tilde{c}}) ) \}\). Finally, a positive lower bound for \(R^{s (p^+_{A_R}- p^-_{A_R})/p^-_{A_R}}\) is required; use that \({p( \cdot )}\) is log-Hölder continuous to obtain the desired estimate (see inequality (7) in the proof of Theorem 3.1):
\(\square \)
4 Consequences and Questions
In all the results in this work, the measure density condition on the domain \(\Omega \) is necessary. With the help of Federer’s co-area formula, we will characterize some domains that do not satisfy the measure density condition. Such characterization together with the theorems in this work provides a simpler proof of results from [1]; at the same time, an extension of those results to Sobolev and Hölder spaces with variable exponents follows.
According to [1] the domain \(\Omega \) has a cusp of exponential sharpness at its boundary point \(x_0\) if for every real number s one has
Using such notion, the following result is related with Theorem 4.48 in [1]:
Theorem 4.1
Let \(\Omega \) be an open subset of \(\mathbb {R}^n\), and assume that \(\Omega \) has a cusp of exponential sharpness at some point of its boundary. Then:
-
1.
\(L^{{p( \cdot )}}_1(\Omega )\) is not embedded in \(L^{{q( \cdot )}}\) for those \({p( \cdot )}\) and \({q( \cdot )}\) satisfying the conditions in Theorem 3.1, and
-
2.
\(L^{{p( \cdot )}}_1(\Omega )\) is not embedded in \(C^{0, \alpha (\cdot )}\) for those \({p( \cdot )}\) and \(\alpha (\cdot )\) satisfying the conditions in Theorem 3.3.
Proof
For a fixed x in \({\bar{\Omega }}\) and a fixed R in ]0, 1], consider the map \(\pi : \Omega \cap B_R(x) = A_R \rightarrow [0,R]\) given by \(\pi (y) = |y-x|\), and note that if \(y \ne x\), then \(J_1 \pi (y) = 1\), where \(J_1 \pi = | \nabla \pi |\) is the 1-dimensional Jacobian of \(\pi \). By Federer’s co-area formula (see [7], Paragraph 3.2.11)
or
where \(\partial B_r(x)\) is the boundary of \(B_r(x)\), and \({\mathcal {H}}^k\) is the k-dimensional Hausdorff measure on \(\mathbb {R}^n\). Hence whenever R and s are positive real numbers, the inequality
follows from (12).
Assume that \(\Omega \) has a cusp of exponential sharpness at \(x_0\); then for each s there exists some \({\tilde{R}}\) such that
whenever \(r \le {\tilde{R}}\). Moreover, if \(R \le 1\), then
with
from (14), and by Lebesgue’s dominated convergence
Therefore using (13) we conclude that \(\Omega \) does not satisfy the s-measure density condition. \(\square \)
We conclude the article with two open problems. The first one is motivated by Theorem 4.1 and the discussion in Sect. 2:
Question 4.1
Are embeddings between variable exponent Sobolev and/or Hölder spaces possible if the modulus of continuity of the exponents is weaker than log-Hölder, for example, given by the modulus in (2)? If so, for which regularity of the domain \(\Omega \) might this happen?
The second problem is motivated by Theorem 3.2 and another notion of regularity condition of the exponent: we say that the exponent \(p(\cdot )\) is log-Hölder continuous at infinity, if there exist constants \(C_{\infty }\) and \(p_{\infty }\) such that for all \(x\in \Omega ,\)
Question 4.2
Can we replace the assumption \(\frac{1}{q^-}<\frac{1}{q^+}+\frac{1}{s}\) in Theorem 3.1 by the assumption that \(p(\cdot )\) (or \(q(\cdot ))\) is log-Hölder continuous at infinity?
Notes
If \(\Omega \) is bounded, then the strong local Lipschitz condition reduces to the locally Lipschitz character of the boundary of \(\Omega \).
Since \(\Omega \) is connected, we have \((\Omega \thicksim B_R(x)) \cap B_{2R}(x) \ne \emptyset \).
References
Adams, R.A., Fournier, J.: Sobolev Spaces, 2nd edn. Elsevier, Amsterdam (2005)
Almeida, A., Samko, S.: Pointwise inequalities in variable Sobolev spaces and applications. Z. Anal. Anwend. 26, 179–193 (2007)
Cruz-Uribe, D., Fiorenza, A.: Variable Lebesgue Spaces (Foundations and Harmonic Analysis), Birkhäuser (2013)
Diening, L.: Riesz potential and Sobolev embeddings on generalized Lebesgue and Sobolev spaces \({L^{{p( \cdot )}}}\) and \({W^{k,{p( \cdot )}}}\). Math. Nach. 268, 31–43 (2004)
Diening, L., Harulehto, P., Hästö, P., Rŭẑiĉka, M.: Lebesgue and Sobolev Spaces with Variable Exponents. Lecture Notes in Mathematics. Springe, Heidelberg (2011)
Diening, L., Hästö, P., Nekvinda, A.: Open problems in variable exponent Lebesgue and Sobolev spaces. In: Proceeding of the International Conference Function Spaces, Differential Operators and Nonlinear Analysis, Milovy, Czech Republic. Institute of Mathematics of the Academy of Sciences of the Czech Republic, Prague (2004), pp 38–58
Federer, H.: Geometric Measure Theory. Springer, New York (1969)
Futamura, T., Mizuta, Y., Shimomura, T.: Sobolev embeddings for variable exponent Riesz potentials on metric spaces. Ann. Acad. Sci. Fenn. Math. 31, 495–522 (2006)
Gaczkowski, M., Górka, P.: Sobolev spaces with variable exponents on Riemannian manifolds. Non-linear Anal. 92, 47–59 (2013)
Gaczkowski, M., Górka, P., Pons, D.J.: Sobolev spaces with variable exponents on complete manifolds. J. Funct. Anal. 270, 1379–1415 (2016)
Hajłasz, P., Koskela, P., Tuominen, H.: Sobolev embeddings, extensions and measure density condition. J. Funct. Anal. 254, 1217–1234 (2008)
Harjulehto, P., Hästö, P., Latvala, V.: Sobolev embeddings in metric measure spaces with variable dimension. Math. Z. 254, 591–609 (2006)
Hästö, P.: Counter-Examples of Regularity in Variable Exponente Sobolev Spaces, Contemporary Mathematics, The \(p\)-Harmonic Equation and Recent Advances in Analysis, Contemporary Mathematics, pp. 133–143. American Mathematical Society, Providence (2005)
Hästö, P.: On the density of continuous functions in variable exponent Sobolev space. Rev. Mat. Iberoam. 23(1), 213–234 (2007)
Kováčik, O., Rákosnik, J.: On spaces \({L^{{p( \cdot )}}}\) and \({W^{k,{p( \cdot )}}}\). Czechoslovak Math. J. 41, 592–618 (1991)
Li, F., Li, Z., Pi, L.: Variable exponent functionals in image restoration. Appl. Math. Comput. 216(3), 870–882 (2010)
Mizuta, Y., Shimomura, T.: Continuity of Sobolev functions of variable exponent on metric spaces. Proc. Jpn. Acad. Ser. A 80(6), 96–99 (2004)
Rŭẑiĉka, M.: Electrorheological Fluids: Modeling and Mathematical Theory. Springer-verlag, Berlin (2000)
Stein, E.M.: Singular Integrals and Differentiability Properties of Functions. Princeton University Press, Princeton (1970)
Wloka, J.: Partial Differential Equations, Cambidge University Press, 1987 (Translation of Partielle Differerentialgleichungen, B.G Teubner, Stuttgart, 1982, by C.B. and M. J. Thomas)
Zhikov, V.V.: Averaging of functionals of the calculus of variations and elasticity theory. Math. USSR-Izv. 29, 33–66 (1987)
Zhikov, V.V.: On Lavrientev’s Phenomenon. Russ. J. Math. Phys. 3, 219–269 (1995)
Acknowledgements
N. K. thanks DST-SERB (Project PDF/2016/000328) for financial support. P. G. has been supported by NCN grant 2018/02/X/ST1/02133. All the Authors would like to thank the reviewer for his/her valuable comments on the manuscript.
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
Górka, P., Karak, N. & Pons, D.J. Variable Exponent Sobolev Spaces and Regularity of Domains. J Geom Anal 31, 7304–7319 (2021). https://doi.org/10.1007/s12220-020-00499-8
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-020-00499-8