Abstract
In this article we study convex non-autonomous variational problems with differential forms and corresponding function spaces. We introduce a general framework for constructing counterexamples to the Lavrentiev gap, which we apply to several models, including the double phase, borderline case of double phase potential, and variable exponent. The results for the borderline case of double phase potential provide new insights even for the scalar case, i.e., variational problems with 0-forms.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In this article we study variational problems and corresponding function spaces associated with the integral functionals of the form
where \(\Omega \) is a bounded domain in \({\mathbb {R}}^N\) (later we will only consider the case of a cube or ball) with \(\Phi :\Omega \times \overline{{\mathbb {R}}}_{+}\rightarrow \overline{{\mathbb {R}}}_{+}\) is a generalized Orlicz function, \(\omega \) a differential k-form, \(b\in L^{\Phi ^*(\cdot )}(\Omega ,\Lambda ^{N-k-1})\), and \(dV=dx^1\ldots dx^N\). For 0-forms the problem reduces to the classical problem of calculus of variations with \(d\omega \) replaced by \(\nabla \omega \). Further we refer to the case of 0-forms (functions) as the scalar case.
The classical results on differential forms are collected, for example, in the books by Cartan [17], Spivak [54], Arnold [7], Flanders [33], Abraham et al. [6]. Iwaniec and Lutoborski [39], Iwaniec and Martin [40], Scott [49], Iwaniec et al. [41], Schwarz [48], Mitrea et al. [44] and Troyanov [57] studied Sobolev spaces of differential forms, Gaffney inequalities, and related problems of Hodge theory. More recent results in the framework of Calculus of Variations could be found in books by Csato et al. [18] and Agarwal et al. [1]. Recent contributions in the direction of the transportation of closed differential forms were obtained by Dacorogna and Gangbo [25, 26]; the optimal constant in Gaffney inequality was studied by Csato et al. [19].
We study calculus of variations for the non-autonomous models with general “nonstandard” growth and differential forms. To our knowledge no regularity results are known for such classes. The focus of the present paper is on the conditions separating the case with the energy gap from the regular case (density of smooth functions) for the integrands with nonstandard growth, in particular, for the variable exponent and double phase models.
In the present paper we study variational problems for the integral functional (1.1) with convex integrands \(\Phi (x,t)\) that satisfy general “nonstandard” growth conditions of the type
where \(1<p_-\le p_+<\infty \), \(c_0\ge 0\), \(c_1,c_2>0\).
The class of “non-standard” integrands satisfying (1.2) includes for example the p(x)-integrand
studied for the scalar case in many papers and several books, see [20, 27, 42, 60,61,62]. For the variable exponent model the Hölder regularity of solutions, a Harnack type inequality for non-negative solutions, and boundary regularity results were obtained by Alkhutov [3, 4] and Alkhutov and Krasheninnikova [2] under some suitable assumptions on the variable exponent of the \(\log \)-Hölder type. Gradient regularity for Hölder exponent was obtained by Coscia and Mingione [24] and for the log-Hölder exponents by Acerbi and Mingione [5].
Another classical example of non-standard growth conditions is given by double-phase variational problems which correspond to the functional (1.1) with
where \(\varphi \) and \(\psi \) are Orlicz functions with different growths rates at infinity. Two notable examples are the “standard” double phase model with
and the “borderline” double phase model
Colombo and Mingione [23] obtained Hölder regularity results for double-phase potential model \(\Phi (x,t)= t^p+a(x)t^q\) if \(q \le p(d+\alpha )/d\) and \(a \in C^{\alpha }(\Omega )\). Moreover, bounded minimizers are automatically \(W^{1,q}(\Omega )\) if \(a \in C^{\alpha }(\Omega )\) and \(q \le p+\alpha \), see the paper [10] by Baroni et al. As it was shown in [11] those results in the scalar case are sharp in terms of the counterexamples on the Lavrentiev gap.
The special case of the model (1.4) with \(\varphi (t) = t^p\) and \(\psi (t) = t^p \log (e+t)\) was studied by Baroni et al. [9]. In particular they obtained the regularity result for the minimizers provided that the weight a(x) is \(\log \)-Hölder continuous (with some \(\gamma \)) and more strong result (any \(\gamma \in (0,1)\)) for the case of vanishing \(\log \)-Hölder continuous weight. Skrypnik and Voitovych recently proved continuity and Harnack inequality for solutions of a general class of elliptic and parabolic equations with nonstandard growth conditions, see [56]. The results on generalized Sobolev–Orlicz spaces are collected in the book by Harjulehto and Hästö [37] and for anisotropic Musielak–Orlicz setting in the book by Chlebicka et al. [21]. In the general framework of problems with nonstandard growth and nonuniform ellipticity recent results are due to Mingione and Rǎdulescu [46] and to De Filippis and Mingione, see [28,29,30]. Recent contributions for such energies include new results on density of smooth functions and absence of Lavrentiev gap by Bulíček et al. [12], Koch [43], and Borowski et al. [8].
An essential feature of the nonautonomous models with nonstandard growth is the presence of the Lavrentiev gap phenomenon. The energy \({\mathcal {F}}_{\Phi ,b}\) defines the corresponding generalized partial Sobolev–Orlicz spaces of differential forms \(W^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)\) (the natural energy space for \({\mathcal {F}}_{\Phi ,b}\)) described in Sect. 2.5. The Lavrentiev gap in this case is the inequality
where \(W^{d,\Phi (\cdot )}_c(\Omega ,\Lambda ^{k})\) is the set of \(W^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k})\) forms compactly supported in \(\Omega \). A similar phenomenon for boundary value problems can be expressed as the inequality
for some \(\omega _0\in C^1({\overline{\Omega }},\Lambda ^k)\).
A closely related problem is density of smooth functions in the natural energy space of the functional. Denote the closure of smooth forms from \(W^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)\) in this space by \(H^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)\). If any function from the domain of \({\mathcal {F}}_{\Phi ,b}\) can be approximated by smooth functions with energy convergence (equivalently, if \(H^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)=W^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)\), which is abbreviated to \(H=W\)) then the Lavrentiev gap is obviously absent. In the autonomous case, when the integrand \(\Phi =\Phi (t)\) is an Orlicz function independent of x, the Lavrentiev phenomenon is absent (\(H=W\)).
In the scalar case (for functions = 0-forms) the study of such models goes back to Zhikov [61, 62], who constructed the first examples on Lavrentiev phenomenon for variable exponent model and double phase model in dimension \(N=2\). Esposito et al. [31] generalized this example to any dimension (for the standard double phase model); Fonseca et al. [34] constructed examples of minimizers for the standard double phase model with large (fractal) sets of discontinuity. All these examples required the dimensional restriction \(p^-<N<p^+\). This restriction was overcome by the authors of the present paper with Diening in [11] using fractal contact sets for scalar variable exponent, double phase and weighted model. In [16] the authors of the present paper studied the Lavrentiev gap property for the borderline double phase model (1.4) with one saddle point (that is, an example constructed as in [31, 61, 62]) with \(p=N\), \(\alpha ,\beta >0\).
In the present paper we study variational problems with differential forms. The study of the \(\rho \)-harmonic forms goes back to Uhlenbeck [58], who obtained classical results on the Hölder continuity (for the scalar equation this reads as \(C^{\alpha }\) property of the gradient). These results were extended by Hamburger [36]. Beck and Stroffolini [15] considered partial regularity for general quasilinear systems for differential forms. Sil [51,52,53] studied convexity properties of integral functionals with forms and regularity estimates for inhomogeneous quasilinear systems with forms. Let us mention, that results by Sil for nonautonomous integrands are concerned with "standard growth" \(p^-=p^+\), as opposed to the "nonstandard growth" problems treated in this paper.
In this paper we extend the approach of [11] to variational problems with differential forms and refine the construction by using the generalized Cantor sets which have an additional tweaking parameter. This allows for fine tuning of the singular set, while keeping the formal Hausdorff dimension. We construct examples of the Lavrentiev gap for the p(x)-integrand (1.3) and both “standard” double phase (1.4), (1.5) and “borderline” double phase (1.4), (1.6) integrands (the last results are new even for the case of scalar functions 0-forms). For the latter model the fine tuning of the Cantor set is crucial.
Now we state the main results of this paper. We work with three models: classical double phase potential, borderline double phase potential, and variable exponent. For each of these cases we construct examples for the Lavrentiev gap. However, the construction presented in this paper is not limited to these models. For instance, it can be also used to treat the weighted energy similar to [11, Section 4.3]. Let \(\Omega \) be a ball in \({\mathbb {R}}^N\) and \(k\in \{0,\ldots ,N-2\}\). The definitions of the functional spaces can be found in Sect. 2.5.
Theorem A
Let \(p>1\), \(\alpha \ge 0\), and \(q> p + \alpha \max ((k+1)^{-1}, (p-1)(N-k-1)^{-1})\) Then there exists an integrand \(\Phi (x,t) = t^p + a(x) t^q\) where nonnegative weight \(a=a(x)\) is bounded, \(a\in C^{\alpha } (\overline{\Omega })\) if \(\alpha >0\), such that \(H^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k}) \ne W^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k})\). Moreover, there exists \(b\in L^{\Phi ^*}(\Omega ,\Lambda ^{N-k-1})\) such that (1.7) holds and \(\omega _0\in C^\infty ({\overline{\Omega }},\Lambda ^{k})\) such that (1.8) holds.
Theorem B
Let \(p_0>1\), \(\alpha ,\beta \in {\mathbb {R}}\), \(\varkappa \ge 0\) such that \( \alpha +\beta >p_0+\varkappa \). Let \(\varphi \) and \(\psi \) be two Orlicz functions such that \( \varphi (t) \sim t^{p_0} \ln ^{-\beta } t\) and \(\psi (t) \sim t^{p_0} \ln ^{\alpha } t\) for large t. Then there exists an integrand \(\Phi (x,t) = \varphi (t) + a(x) \psi (t)\) where \(a=a(x)\) is a nonnegative function with the modulus of continuity \(C \ln ^{-\varkappa }(1/t)\) such that \(H^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k}) \ne W^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k})\). Moreover, there exists \(b\in L^{\Phi ^*}(\Omega ,\Lambda ^{k})\) such that (1.7) holds
Theorem C
Let \(1<p_{-}<p_{+}\). There exists a variable exponent \(p:\Omega \rightarrow [p_{-},p_{+}]\) with the modulus of continuity \(\kappa _0 (\ln t^{-1})^{-1} \ln \ln t^{-1}\), \(\varkappa _0=\varkappa _0(p_{-},p_{+},N,k)> 0\), such that for \(\Phi (x,t) =t^{p(x)}\) there holds \(H^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k}) \ne W^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k})\). Moreover, there exists \(b\in L^{\Phi ^*}(\Omega ,\Lambda ^{N-k-1})\) such that (1.7) holds and \(\omega _0\in C^\infty ({\overline{\Omega }},\Lambda ^{k})\) such that (1.8) holds.
Theorems A, B, C follow from Theorems 31, 33, 35, which are proved in Sect. 5. The weight \(a=a(x)\) in Theorems A and B and the exponent \(p=p(x)\) in Theorem C (as well as the forms providing the examples of non-density and competitors used to show the Lavrentiev phenomenon) are regular outside of a singular set of Cantor type which lies on a proper subspace of \({\mathbb {R}}^N\). The dimension of this subspace is either \(k+1\) or \(N-k-1\) depending on the parameters. Compare this to [11] where for the scalar case \(k=0\) the singular set was either a Cantor set on a line (“superdimensional” setup, which was used to construct the examples with variable exponent taking values greater than the space dimension N) or a Cantor set on a hyperplane (“subdimensional” setup, which was used to construct the examples with variable exponent taking values less than the space dimension N). For k-forms in the variable exponent setting the value of exponent separating these two cases is \(N/(k+1)\) — for exponent taking values greater than \(N/(k+1)\) the singular set will be of the form and for exponent taking values less than \(N/(k+1)\) the singular set is of the form .
Our setting can be called “semivectorial”, or generalized Uhlenbeck structure, since the integrand is isotropic. In this respect it has substantially more rigid structure than the fully vectorial problems (say, of elasticity theory) with quasi-convex integrands. Note that in the “fully” vectorial setting the situation is more delicate, and the Lavrentiev phenomenon is possible even for “standard” growth conditions in the autonomous (but anisotropic!) case, see Ball and Mizel [13] and Foss et al. [32] in the context of non-linear elasticity.
The models with Lavrentiev phenomenon are also challenging to study numerically since the standard numerical schemes fail to converge to the W-minimiser of the problem. For the scalar case the problem could be solved using non-conforming methods, see Balci et al. [14]. The vectorial setting remains open.
Structure of the paper. In Sect. 2 we recall some basic definitions related to the theory of differential forms and Sobolev–Orlicz spaces. In Sect. 3 we study the existence of minimizers of the functional (1.1). In Sect. 4 we describe the general framework for construction of examples using the fractal Cantor barriers. In Sect. 5 we apply this general construction to different problems. We obtain the examples of Lavrentiev gap and non-density of smooth functions for the classical double phase in Sect. 5.1, for the borderline double phase model in Sect. 5.2, and for the variable exponent model in Sect. 5.3. The results for the borderline double phase model are new even in the scalar case.
2 Differential forms and Sobolev–Orlicz spaces
Here we recall some basic facts and definitions from the theory of differential forms. In general we follow definitions and notations from [18][Chapters 1.2;2.1;3.1\(-\)3.3], but the Hodge codifferential is the formal adjoint of the exterior derivative d (as in [35, 39]).
2.1 Exterior algebra
The Grassman algebra of exterior k-forms (i.e. skew-symmetric k-linear functions) over \({\mathbb {R}}^N\) is denoted by \(\Lambda ^k({\mathbb {R}}^N)\), or for brevity just by \(\Lambda ^k\). The exterior product of \(f\in \Lambda ^k\) and \(g\in \Lambda ^l\) is an element \(f\wedge g\) of \(\Lambda ^{k+l}\) defined by
where the summation is over permutations \((i_1,\ldots , i_k, j_1,\ldots ,j_l)\) of \((1,2,\ldots ,k+l)\) such that \(i_1< \cdots < i_k\), \(j_1< \cdots <j_l\). This operation is linear in both arguments, associative, and for \(f\in \Lambda ^k\) and \(g\in \Lambda ^l\) there holds \(f\wedge g = (-1)^{kl}g\wedge f\).
Let \(e_j\) be an orthonormal basis \(\{e_j\}_{j=1}^N\) in \({\mathbb {R}}^N\) and \(\{e^j\}_{j=1}^N\) be its dual system in \(\Lambda ^1\), \(e^j(e_l) = \delta _{jl}\). The monomials \(e^{i_1}\wedge \ldots \wedge e^{i_k}\), \(i_1<i_2< \cdots <i_k\) form a basis in \(\Lambda ^k\). Denote \(f_{i_1\ldots i_k} = f(e_{i_1},\ldots , e_{i_k})\). Then the set of \(f_{i_1\ldots i_k}\) with \(i_1<i_2< \cdots <i_k\) gives the coordinates of f:
The scalar product of \(f,g\in \Lambda ^k\) with coordinates \(f_{i_1\ldots i_k}\) and \(g_{i_1\ldots i_k}\) is given by
The scalar product does not depend on the particular choice of the orthonormal basis \(\{e_j\}_{j=1}^N\). We denote \(|f| = \langle f,f \rangle ^{1/2}\).
The Hodge star operator \(*:\Lambda ^k\rightarrow \Lambda ^{N-k}\) is defined by \(f\wedge g = \langle *f, g\rangle e^1\wedge \cdots \wedge e^N\) for any \(g\in \Lambda ^{N-k} \), or equivalently by \(f\wedge *g = \langle f,g \rangle e^1 \wedge \cdots \wedge e^N\) for all \(f,g\in \Lambda ^k\). The Hodge star operator \(*\) is an isometry between \(\Lambda ^k\) and \(\Lambda ^{N-k}\) and for \(f\in \Lambda ^k\) there holds
For any \(f\in \Lambda ^k\) and shuffle \(j_1,\ldots ,j_N\) there holds \((*f)_{j_{k+1}\ldots j_N} =\textrm{sign}\, (j_1,\ldots ,j_N) f_{j_1\ldots j_k}\).
The interior product (contraction) of \(f\in \Lambda ^k\) and \(g\in \Lambda ^l\) defined by
is the adjoint of the wedge product:
There holds \(*(g\lrcorner f) = (-1)^{(k-l)l} g\wedge *f\) and \(*(g\wedge f)=(-1)^{kl} g\lrcorner *f\).
If \(l=0\) then \(g\lrcorner f = gf\). If \(l>k\) then \(g\lrcorner f=0\), if \(l=k\) then \(g\lrcorner f = f\lrcorner g =\langle f,g\rangle \). If \(l\le k\) then
There holds \(*f = f\lrcorner (e^1\wedge \cdots \wedge e^N)\), which can be taken as the definition for the Hodge dual.
For \(w,v \in \Lambda ^1\) there holds
For a vector X the operator \(\imath _X: \Lambda ^k\rightarrow \Lambda ^{k-1}\) is defined by \((\imath _X f) (\xi _1,\ldots ,\xi _{k-1}) = f(X,\xi _1,\ldots ,\xi _{k-1})\). There holds \(\imath _v (f\wedge g) = (\imath _v f) \wedge g + (-1)^{\textrm{deg}\, f} f\wedge (\imath _v g)\), and \(\imath _v \imath _w =-\imath _w \imath _v\), \(\imath _v\imath _v =0\). For a vector \(v\in {\mathbb {R}}^N\) and the 1-form \(v^\flat \in \Lambda ^1\) with the same coordinates there holds \(v^\flat \lrcorner f = \imath _v f\).
2.2 Differential forms
A differential form is a mapping from \(\Omega \subset {\mathbb {R}}^N\) to \(\Lambda ^k\). Further \(\Omega \) will be a bounded contractible domain with sufficiently regular boundary. Using the canonical basis \(dx^{i_1}\wedge \ldots \wedge dx^{i_k}\) a k-form can be represented as
Then \(|f|^2(x):= \sum _{1\le i_1< \cdots <i_k \le N} |f_{i_1\ldots i_k}|^2(x)\).
For two differential forms f and g of order k their scalar product in the sense of \(L^2(\Omega , \Lambda ^k)\) is
We shall also use this notation for a more general case when \(\langle f,g\rangle \in L^1(\Omega )\).
The operation of exterior differentiation d is a unique mapping from k-forms to \((k+1)\)-forms such that df coincides with the differential of f for 0-forms (functions), \(d\circ d=0\), \(d(\alpha \wedge \beta ) = d\alpha \wedge \beta + (-1)^{k} \alpha \wedge d\beta \) for any \(\alpha \in C^1(\Omega ,\Lambda ^k)\) and \(\beta \in C^1(\Omega ,\Lambda ^l)\). For a k-form f,
The interior derivative (Hodge codifferential) of a k-form f is
There holds \(d^2=0\), \(\delta ^2=0\). On k-forms
For a k-form f and l-form g there holds
Formally one can write \(df = \nabla \wedge f\), \(\delta f = - \nabla \lrcorner f\), and in coordinates, for the form (2.2), using the Einstein convention of summation over repeated indices we have
Let \(\nu _*=(\nu _1,\ldots ,\nu _N)\) be the unit outer normal to \(\Omega \) and introduce the 1-form \(\nu = \nu _1 dx^1 +\cdots +\nu _N dx^N\). For a differential k-form f the standard Gauss theorem reads as (see (2.4))
for each \(1\le i_1< \cdots <i_k \le N\), where \(dV=dx^1\ldots dx^N\) is the standard volume form and \(d\sigma \) is the surface area element. The integration-by-parts formula is
In the sense of forms, the surface element \(d\sigma \) is connected to the volume form dV by \(d\sigma = \imath _\nu dV\). The orientation of \(\partial \Omega \) is chosen such that the integral of \(d\sigma \) over any “substantial” boundary part is positive.
The operators d and \(\delta \) are adjoint on compactly supported forms. By direct computation (use (2.1) with \(v=\nabla \), \(w=-\nabla \)), \(d\delta + \delta d = -\triangle \), where the Laplace operator is applied componentwise.
A form f satisfying \(df=0\) is closed. A form f satisfying \(\delta f =0\) is coclosed. If \(f=dg\) then f is exact, and if \(f=\delta g\) then f is coexact. If both \(df=0\) and \(\delta f = 0\) the form is called harmonic (or harmonic field).
The pullback of the form f under the mapping \(\varphi \) is defined by \(\varphi ^*f\),
This operation satisfies \(\varphi ^* (\alpha \wedge \beta ) = \varphi ^* \alpha \wedge \varphi ^* \beta \) and \(\varphi ^* d = d\varphi ^*\). In coordinates, for the form (2.2),
where
2.3 Tangential and normal part of a form
Recall that by \(\nu _*=(\nu _1,\ldots ,\nu _N)\) we denote the unit outer normal to \(\partial \Omega \) and \(\nu = \nu _1 dx^1+\cdots +\nu _N dx^N\). For a differential form \(\omega \) define its tangential part
and its normal part \(n\omega = \omega - t\omega \). Then
That is, setting tf is equivalent to setting \(\nu \wedge f\) and setting nf is equivalent to setting \(\nu \lrcorner f\).
While integrating over \(\partial \Omega \), the tangential part of a form coincides with its pullback under the inclusion \(\jmath : \partial \Omega \rightarrow {{\overline{\Omega }}}\), that is \(t\omega = \jmath ^* \omega \), and the normal part of the form vanishes.
The decomposition of a form into the tangential and normal parts can be also done using coordinates in a “collar” neighbourhood of \(\partial \Omega \), by choosing (locally) an “admissible” coordinate system (map) \(\varphi :U\rightarrow V\), \(U,V\subset {\mathbb {R}}^N\), such that \(\partial \Omega \cap V \subset \{\varphi (y',0)\,:\, (y',0)\subset U\}\) and \((\varphi _{y_i}(y',0), \varphi _{y_N} (y',0))=\delta _{iN}\), \(1\le i \le N\) (see [45, Chapter 7, Lemma 7.5.1]). In this coordinate system for
we have \(\omega = t\omega + n\omega \), where
If \(\omega \) is a function (0-form) we set \(t\omega = \omega \) and \(n\omega =0\). If \(\omega \) is an N-form we set \(t\omega =0\), \(n\omega =\omega \). The decomposition \(\omega = t\omega + n\omega \) is invariant on \(\partial \Omega \) and we have
In particular, \(t\omega =0\) on \(\partial \Omega \) implies \(td\omega =0\) on \(\partial \Omega \) and \(n\omega =0\) on \(\partial \Omega \) implies \(n\delta \omega =0\) on \(\partial \Omega \).
In terms of the Stokes theorem, integration-by-parts formula (2.5) reads as follows: by (2.3) for a k-form f and a \((k+1)\)-form g there holds \(d(f\wedge *g) = df \wedge *g - f \wedge *\delta g\), therefore
2.4 Orlicz functions setup
We say that is an Orlicz function if is convex, left-continuous, , and . The conjugate Orlicz function is defined by
In particular, .
In the following we assume that \(\Phi \,:\, \Omega \times [0,\infty ) \rightarrow [0,\infty ]\) is a generalized Orlicz function, i.e. \(\Phi (x, \cdot )\) is an Orlicz function for every \(x \in \Omega \) and \(\Phi (\cdot ,t)\) is measurable for every \(t\ge 0\). We define the conjugate function \(\Phi ^*\) point-wise, i.e. \(\Phi ^*(x,\cdot ):= (\Phi (x,\cdot ))^*\).
We assume that \(\Phi \) satisfies the “nonstandard” growth condition
where \(1<p_-\le p_+<\infty \), \(c_0\ge 0\), \(c_1,c_2>0\), and the following properties:
-
(a)
\(\Phi \) satisfies the \(\Delta _2\)-condition, i.e. there exists \(c \ge 2\) such that for all \(x \in \Omega \) and all \(t\ge 0\)
$$\begin{aligned} \Phi (x,2t)&\le c\, \Phi (x,t). \end{aligned}$$(2.9) -
(b)
\(\Phi \) satisfies the \(\nabla _2\)-condition, i.e. \(\Phi ^*\) satisfies the \(\Delta _2\)-condition. As a consequence, there exist \(s>1\) and \(c> 0\) such that for all \(x\in \Omega \), \(t\ge 0\) and \(\gamma \in [0,1]\) there holds
$$\begin{aligned} \Phi (x,\gamma t) \le c\,\gamma ^s \,\Phi (x,t). \end{aligned}$$(2.10) -
(c)
\(\Phi \) and \(\Phi ^*\) are proper, i.e. for every \(t\ge 0\) there holds
$$\begin{aligned} \int \limits _\Omega \Phi (x,t)\,dV< \infty \quad \text {and} \quad \int \limits _\Omega \Phi ^*(x,t)\,dV < \infty . \end{aligned}$$
2.5 Sobolev–Orlicz spaces of differential forms
Let be a bounded domain in \({\mathbb {R}}^N\). In our applications this will always be a ball or a cube.
Different functional spaces like Lebesgue spaces \(L^p(\Omega )\) and Lebesgue–Orlicz spaces \(L^{\varphi (\cdot )}(\Omega )\), Sobolev spaces \(W^{1,p}(\Omega )\) and Sobolev–Orlicz spaces \(W^{1,\Phi (\cdot )}(\Omega )\), spaces of k times continuosly differentiable functions \(C^{k}(\Omega )\) are defined in the usual way (see, for example, [37]).
The Lebesgue–Orlicz space \(L^{\Phi (\cdot )}(\Omega )\) is the set of all measurable functions in \(\Omega \) with finite Luxemburg norm
The Sobolev–Orlicz space \(W^{1,\Phi (\cdot )}(\Omega )\) is the set of functions \(f\in W^{1,1}(\Omega )\) such that \(|\nabla f| \in L^{\Phi (\cdot )}(\Omega )\), endowed with the norm .
For a generalized Orlicz function \(\Phi (x,t)\) we define the Lebesgue–Orlicz space \(L^{\Phi (\cdot )}(\Omega , \Lambda ^k)\) as the space of measurable differential k-form such that \(|f| \in L^{\Phi (\cdot )}(\Omega )\). The norm in this space is the norm of |f| in \(L^{\Phi (\cdot )}(\Omega )\). For constant \(\Phi \equiv p \ge 1\) we get the standard Lebesgue space \(L^p(\Omega ,\Lambda ^k)\).
Let \(r\in {\mathbb {N}}\cup \{0\}\). For \(E = \Omega \) or \(E = {{\overline{\Omega }}}\) the space \(C^r(E,\Lambda ^k)\) is the space of all differential k-forms for which all partial derivatives \(D^\alpha f^I\) up to the order r are continuous in E. By \(C_0^\infty (\Omega ,\Lambda ^k)\) we denote the space of smooth k-forms with compact support in \(\Omega \).
Definition 1
(Full Sobolev–Orlicz Space) We say that a k-form \(f\in W^{1,\Phi (\cdot )}(\Omega ,\Lambda ^k)\) if \(f_{i_1\cdots i_k}\in W^{1,\Phi (\cdot )}(\Omega )\) for every \(1\le i_1<\cdots <i_k\le N\). The norm is defined componentwise:
If \(\Omega \) is of class \(C^2\) then for \(f\in W^{1,1}(\Omega ,\Lambda ^k)\) the boundary trace of f exists, belongs to \(L^1(\partial \Omega )\), and the Stokes theorem holds (see [48, 47, Theorem 6.4]):
We say that \(u \in L^1_{loc} (\Omega , \Lambda ^k)\) has a weak differential \(du \in L^1_{loc} (\Omega , \Lambda ^{k+1})\) if for any \(\xi \in C_0^\infty (\Omega , \Lambda ^{k+1} )\) there holds
or equivalently
for any \(\xi \in C_0^\infty (\Omega , \Lambda ^{N-k-1})\).
We say that \(u \in L^1_{loc} (\Omega , \Lambda ^k)\) has a weak codifferential \(\delta u \in L^1_{loc} (\Omega , \Lambda ^{k-1})\) if for any \(\xi \in C_0^\infty (\Omega , \Lambda ^{k-1})\) there holds
or equivalently
for any \(\xi \in C_0^\infty (\Omega , \Lambda ^{N-k+1})\).
Both weak differential and codifferential are unique.
Definition 2
(Partial Sobolev–Orlicz Space) For \(0\le k\le N-1\) we define the partial Sobolev–Orlicz space \(W^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)\) as the set of forms \(\omega \in L^1(\Omega , \Lambda ^k)\) with weak differential \(d\omega \in L^{\Phi (\cdot )}(\Omega ,\Lambda ^k)\), endowed with the norm
The space \(H^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)\) is the closure of smooth forms from \( W^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)\) in this space.
For \(1\le k\le N\) we define the space \(W^{\delta ,\Phi (\cdot )}(\Omega , \Lambda ^k)\) as the set of forms \(\omega \in L^1(\Omega , \Lambda ^k)\) with weak codifferential \(\delta \omega \in L^{\Phi (\cdot )}(\Omega ,\Lambda ^k)\) endowed with the norm
The space \(H^{\delta ,\Phi (\cdot )}(\Omega , \Lambda ^k)\) is the closure of smooth forms from \( W^{\delta ,\Phi (\cdot )}(\Omega , \Lambda ^k)\) in this space.
If \(\Omega \) is a bounded \(C^2\) domain (or a polyhedral domain), then the following Green’s formulas hold [18, Theorem 3.28]. Let \(0\le k\le N-1\) and let \(p>1\). If \(f\in W^{d,p}(\Omega ,\Lambda ^k)\), \(g\in W^{1,p'}(\Omega ,\Lambda ^{k+1})\), then
If \(f\in W^{1,p}(\Omega ,\Lambda ^k)\), \(g\in W^{\delta ,p'}(\Omega ,\Lambda ^{k+1})\), then
The boundary traces \(\nu \wedge f\) and \(\nu \lrcorner g\) in these formulas are given by bounded linear mappings from \(W^{d,p}(\Omega ,\Lambda ^k)\) to \(W^{-1/p,p}(\partial \Omega , \Lambda ^{k+1})\) and from \(W^{\delta ,p'}(\Omega ,\Lambda ^{k+1})\) to \(W^{-1/p',p'}(\partial \Omega , \Lambda ^{k})\), respectively. These mappings are generated by these very integration-by-parts formulas. If f belongs to the full Sobolev space \(W^{1,p}(\Omega ,\Lambda ^k)\), then both tangential and normal components of its boundary trace tf and nf are from \(W^{1-1/p,p}(\partial \Omega ,\Lambda ^k)\). An extensive treatment of the boundary trace problem for spaces of differential forms can be found in [44].
Let \(W^{d,\Phi (\cdot )}_{c}(\Omega , \Lambda ^k)\) be the set of forms from \(W^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)\) with compact support in \(\Omega \).
Definition 3
(Spaces with zero tangential component)
For \(0\le k\le N-1\) we define the space \( W^{d,\Phi (\cdot )}_{T}(\Omega , \Lambda ^k)\) as the set of \(\omega \in W^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)\) such that
for all \(\beta \in C^1({\overline{\Omega }}, \Lambda ^{k+1})\), endowed with the norm of \(W^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)\).
The space \({\tilde{W}}^{d,\Phi (\cdot )}_{T}(\Omega , \Lambda ^k)\) is the closure of \(W^{d,\Phi (\cdot )}_{c}(\Omega , \Lambda ^k)\) in \(W^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)\).
The space \(H^{d,\Phi (\cdot )}_T(\Omega , \Lambda ^k)\) is the closure of \(C_0^\infty (\Omega ,\Lambda ^k)\) in \(W^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)\).
Clearly, \(H^{d,\Phi (\cdot )}_T(\Omega , \Lambda ^k) \subset {\tilde{W}}^{d,\Phi (\cdot )}_{T}(\Omega , \Lambda ^k) \subset W^{d,\Phi (\cdot )}_{T}(\Omega , \Lambda ^k)\). A smooth k-form \(\omega \) belongs to \(H^{d,\Phi (\cdot )}_T(\Omega , \Lambda ^k)\) if and only if its tangential component \(t\omega \) is zero on \(\partial \Omega \).
Let \(W^{\delta ,\Phi (\cdot )}_{c}(\Omega , \Lambda ^k)\) be the set of forms from \(W^{\delta ,\Phi (\cdot )}(\Omega , \Lambda ^k)\) with compact support in \(\Omega \).
Definition 4
(Spaces with zero normal component)
For \(1\le k\le N\) we define the space \(W^{\delta ,\Phi (\cdot )}_{ N}(\Omega , \Lambda ^k)\) as the set of \(\omega \in W^{\delta ,\Phi (\cdot )}(\Omega , \Lambda ^k)\) such that
for all \( \beta \in C^1({\overline{\Omega }}, \Lambda ^{k-1})\), endowed with the norm of \(W^{\delta ,\Phi (\cdot )}(\Omega , \Lambda ^k)\).
The space \({\tilde{W}}^{\delta ,\Phi (\cdot )}_{N}(\Omega , \Lambda ^k)\) is the closure of \(W^{\delta ,\Phi (\cdot )}_{c}(\Omega , \Lambda ^k)\) in \(W^{\delta ,\Phi (\cdot )}(\Omega , \Lambda ^k)\).
The space \(H^{\delta ,\Phi (\cdot )}_N(\Omega , \Lambda ^k)\) is the closure of \(C_0^\infty (\Omega ,\Lambda ^k)\) in \(W^{\delta ,\Phi (\cdot )}(\Omega , \Lambda ^k)\).
Clearly, \(H^{\delta ,\Phi (\cdot )}_N(\Omega , \Lambda ^k) \subset {\tilde{W}}^{\delta ,\Phi (\cdot )}_{N}(\Omega , \Lambda ^k) \subset W^{\delta ,\Phi (\cdot )}_{ N}(\Omega , \Lambda ^k)\). A smooth k-form \(\omega \) belongs to \(H^{\delta ,\Phi (\cdot )}_N(\Omega , \Lambda ^k)\) if and only if its normal component component \(n\omega \) is zero on \(\partial \Omega \).
The following proposition is straightforward.
Proposition 5
All the spaces introduced in Definitions 2, 3 and 4 are Banach spaces.
For \(\Phi (\cdot )\equiv p \in [1,\infty ]\) we get the classical partial Sobolev spaces \(W^{d,p}_T(\Omega , \Lambda ^k)\) and \(W^{\delta ,p}_{N}(\Omega , \Lambda ^k)\) with vanishing tangential (correspondingly normal) component on the boundary. The spaces \(W^{d,p}_T(\Omega , \Lambda ^k)\) and \(W^{\delta ,p}_{N}(\Omega , \Lambda ^k)\) coincide with the closures of \(C_0^\infty (\Omega , \Lambda ^k)\) in \(W^{d,p}(\Omega , \Lambda ^k)\) and \(W^{\delta ,p}(\Omega , \Lambda ^k)\), respectively (see [39]). In this case there is no difference between between H and W spaces.
If \({{\overline{\Omega }}}\Subset \Omega '\), a form from \(W^{d,\Phi (\cdot )}(\Omega , \Lambda ^k)\) or \(W^{\delta ,\Phi (\cdot )}(\Omega , \Lambda ^k)\) belongs to \(W^{d,\Phi (\cdot )}_T(\Omega , \Lambda ^k)\) or \(W^{\delta ,\Phi (\cdot )}_{ N}(\Omega , \Lambda ^k)\), respectively, iff its extension by zero to \(\Omega '\setminus \Omega \) produces an element from \(W^{d,\Phi (\cdot )}(\Omega ', \Lambda ^k)\) or \(W^{\delta ,\Phi (\cdot )}(\Omega ', \Lambda ^k)\), respectively.
3 Minimization problem for non-autonomous functionals with differential forms
3.1 Gauge fixing
Recall (for instance, [18, Theorem 6.5]) the following facts regarding the harmonic forms with vanishing tangential or normal components at the boundary. Let \({\mathcal {H}}_T(\Omega ,\Lambda ^k)\) be the set of harmonic forms from \(W^{1,2}_T(\Omega ,\Lambda ^k)\) and \({\mathcal {H}}_N(\Omega ,\Lambda ^k)\) be the set of harmonic forms from \(W^{1,2}_N(\Omega ,\Lambda ^k)\). The spaces \({\mathcal {H}}_T(\Omega ,\Lambda ^k)\) and \({\mathcal {H}}_N(\Omega ,\Lambda ^k)\) are finite dimensional, closed in \(L^2(\Omega ,\Lambda ^k)\), for contractible domains \({\mathcal {H}}_T(\Omega ,\Lambda ^k) = \{0\}\) for \(0\le k \le N-1\) and \({\mathcal {H}}_N(\Omega ,\Lambda ^k) = \{0\}\) for \(1\le k \le N\). The space \({\mathcal {H}}_T(\Omega ,\Lambda ^N)\) is the span of \(dx^1\wedge \ldots \wedge dx^N\) and the space \({\mathcal {H}}_N(\Omega ,\Lambda ^0)\) is the span of 1.
We need the following result on the solvability of the Cauchy-Riemann type systems for differential forms. This result is a particular case of theorems [18, Theorem 7.2] for \(p\ge 2\) and [50, Theorems 2.43] for any \(p>1\), and triviality of the set of harmonic forms with zero tangential component at the boundary. See also [48, Chapter 3, Theorem 3.2.5].
Corollary 6
Let \(\Omega \) be a bounded contractible \(C^3\) domain in \({\mathbb {R}}^N\), \(0\le k\le N-1\), \(p>1\), \(\omega _0\in W^{1,p}(\Omega ,\Lambda ^k)\), and \(\beta \in \omega _0+ W^{d,p}_T(\Omega ,\Lambda ^{k})\). The problem
has a unique solution \(\omega \in W^{1,p}(\Omega , \Lambda ^k)\) with
with \(C=C(N,p,\Omega )\).
3.2 Existence of minimizers
In this section \(0\le k\le N-1\), \(\Omega \) is a bounded contractible \(C^3\) domain in , \(\Phi :\Omega \times [0,+\infty )\rightarrow [0,+\infty )\) is a generalized Orlicz function satisfying (2.8), \(b\in L^{\Phi ^*(\cdot )}(\Omega ,\Lambda ^{N-k-1})\). We study the existence of solutions to the following two variational problems.
(W-minimization) Let \(\omega _0\in W^{1,\Phi (\cdot )}(\Omega , \Lambda ^{k})\) and minimize \({\mathcal {F}}_{\Phi ,b}\) over the set \(\omega _0+ W^{d,\Phi (\cdot )}_T(\Omega ,\Lambda ^k)\):
(H-minimization) Let \(\omega _0\in H^{1,\Phi (\cdot )}(\Omega , \Lambda ^{k})\) and minimize \({\mathcal {F}}_{\Phi ,b}\) over the set \(\omega _0+ H^{d,\Phi (\cdot )}_T(\Omega ,\Lambda ^k)\):
Theorem 7
The variational problem (3.1) has a minimizer \(\omega \in \omega _0+W^{d,\Phi (\cdot )}_{T}(\Omega ,\Lambda ^{k})\) with \(\delta \omega =0\).
Proof
Let \(\omega _s\) be a minimizing sequence, clearly
Due to the coercitivity condition (1.2) we have
By Corollary 6 there exists \(\alpha _s\in \omega _0+ W^{1,p_{-}}_{T}(\Omega , \Lambda ^{k})\) satisfying \(d\alpha _s=d\omega _s\) and \(\delta \alpha _s=0\) in \(\Omega \) such that
Clearly \(\alpha _s\in W^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k})\) and
The sequence \(\alpha _s\) is bounded in the space \(W^{d,\Phi (\cdot )}(\Omega , \Lambda ^{k}) \cap W^{1,p_{-}}(\Omega ,\Lambda ^{k})\) endowed with the norm which is the sum of norms in \(W^{d,\Phi (\cdot )}(\Omega , \Lambda ^{k})\) and \(W^{1,p_{-}}(\Omega ,\Lambda ^{k})\). Its dual space is separable, therefore there exists
such that \(\delta \alpha =0\) and up to the subsequence,
From the convexity of \(\Phi (x,\cdot )\) and Mazur’s lemma, we have the lower semicontinuity:
Since in the linear part we have convergence, the proof is complete. \(\square \)
Theorem 8
Let \(\omega _0\) in . Then the problem (3.2) has a minimizer \(\omega \in \omega _0 +H^{d,\Phi (\cdot )}_{ T}(\Omega ,\Lambda ^{k})\) with \(\delta \omega =0\).
Proof
We keep the notation from the proof of Theorem 7. Let \(\omega _s=\omega _0+\gamma _s\), \(\gamma _s\in C_0^\infty (\Omega , \Lambda ^k)\), be a minimizing sequence, clearly
Due to the coercitivity condition (1.2) we have
By Corollary 6 there exists \(\alpha _s\in \omega _0+ W^{1,p_{-}}_{T}(\Omega , \Lambda ^{k})\) satisfying \(d\alpha _s=d\omega _s\) and \(\delta \alpha _s=0\) in \(\Omega \) such that
Writing \(\alpha _s = \omega _0+\beta _s\), one gets \(\beta _s \in W^{1,p_{-}}_{T}(\Omega , \Lambda ^{k})\) satisfying \(d\beta _s = d \gamma _s\), \(\delta \beta _s = - \delta \omega _0\). Extend \(\beta _s\) to \({\mathbb {R}}^N\setminus \Omega \) by zero.
Clearly \(\alpha _s\in W^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k})\) and
Let \(\varphi :\Omega \times (0,1]\rightarrow {\mathbb {R}}^N\) be a \(C^2\) mapping such that \(\varphi (x,1)=x\) for all \(x\in \Omega \), and set \(\varphi _t(x)=\varphi (x,t)\). Let \(\varphi _t^{-1}\Omega \Subset \Omega \) for every \(t\in (0,1]\). If \(\Omega \) is a ball centered at the origin, one takes \(\varphi _t(x) = x/t\). Consider the pullbacks \(\varphi _t^* \beta _s\). These forms have compact support in \(\Omega \), with \(d \varphi _t^* \beta _s\) uniformly converging to \(d\beta _s=d\gamma _s\in C_0^\infty (\Omega ,\Lambda ^{k+1})\) and \(\delta \varphi _t^* \beta _s\) converging to \(-\delta \omega _0\) in as \(t\rightarrow 1-0\). Moreover, \(\varphi _t^* \beta _s\) converges to \(\beta _s\) in as \(t\rightarrow 1-0\). This is easily seen using (2.6).
Mollifications \((\varphi _t^* \beta _s)_\varepsilon (x) = \int \chi _\varepsilon (x-y) \varphi _t^* \beta _s(y)\, dy\), where \(\chi _\varepsilon (x) = \varepsilon ^{-d} \chi (x/\varepsilon )\), \(\chi \in C_0^\infty (\{|x|<1\})\) with \(\int \chi \, dx =1\), converge to \(\varphi _t^* \beta _s\) in \(L^{p_{-}}(\Omega ,\Lambda ^k)\), \(d (\varphi _t^* \beta _s)_\varepsilon \) converges uniformly to \(d\varphi _t^* \beta _s\), \((\varphi _t^* \beta _s)_\varepsilon \rightarrow \varphi _t^* \beta _s\) in , and \(\delta (\varphi _t^* \beta _s)_\varepsilon \rightarrow \delta \varphi _t^* \beta _s \) in as \(\varepsilon \rightarrow 0\). Clearly, \((\varphi _t^* \beta _s)_\varepsilon \in C_0^\infty (\Omega ,\Lambda ^k)\) for sufficiently small \(\varepsilon \).
Therefore, keeping the same notation for \(\beta _s\) while replacing it by \((\varphi _t^* \beta _s)_\varepsilon \) for appropriate t and \(\varepsilon \), we can assume that the new minimizing sequence has the form \(\alpha _s = \omega _0 + \beta _s\), where \(\beta _s\in C_0^\infty (\Omega ,\Lambda ^k)\), \(\beta _s\) is uniformly bounded in \(W^{d,\Phi (\cdot )}(\Omega ,\Lambda ^k)\) and in \(W^{1,p_{-}}(\Omega ',\Lambda ^k)\) for all \(\Omega '\Subset \Omega \). Moreover \(\delta (\omega _0+\beta _s) \rightarrow 0\) for \(s\rightarrow \infty \) in .
Therefore there exists
such that \(\delta (\omega _0+\beta )=0\) and up to the subsequence,
Due to the convexity of \(\Phi (x,\cdot )\) and Mazur’s lemma, we have \(\beta \in H_T^{d,\Phi (\cdot )}(\Omega ,\Lambda ^k)\) and for \(\alpha =\omega _0+\beta \) there holds
Since in the linear part we have convergence, the proof is complete.
\(\square \)
Remark
If one drops the Coulomb gauge condition \(\delta \omega =0\) in Theorem 8 then its proof can be somewhat simplified. Instead of \(\alpha _s\) take \({\tilde{\alpha }}_s\in W^{1,p{-}}_T(\Omega ,\Lambda ^k)\) satisfying \(d{\tilde{\alpha }}_s=d\gamma _s\), \(\delta {\tilde{\alpha }}_s=0\). Extend \({\tilde{\alpha }}_s\) by zero to \({\mathbb {R}}^N {\setminus } {{\overline{\Omega }}}\). For sufficiently small \(\varepsilon \) the mollifications of the pullbacks \((\varphi _t^* {\tilde{\alpha }}_s)_\varepsilon \) are smooth forms with compact support in \(\Omega \), \((\varphi _t^* {\tilde{\alpha }}_s)_\varepsilon \rightarrow {\tilde{\alpha }}_s\) in , and \((d\varphi _t^* {\tilde{\alpha }}_s)_\varepsilon \) uniformly converge to \(d\gamma _s\) as \(t\rightarrow 1-0\) and \(\varepsilon \rightarrow 0\). Then taking appropriate t and \(\varepsilon \) we pass to the minimizing sequence \(\omega _0 + (\varphi _t^* {\tilde{\alpha }}_s)_\varepsilon \). The rest goes as above.
Alternatively one could use [48, Chapter 3, Theorem 3.3.3] to establish the existence of \(\hat{\alpha }_s \in W_0^{1,p_{-}}(\Omega ,\Lambda ^k)\) with \(d\hat{\alpha }_s = d\gamma _s\) and \(\Vert \hat{\alpha }_s\Vert _{W^{1,p_{-}}(\Omega )} \le c \Vert d\gamma _s\Vert _{L^{p_{-}}(\Omega ,\Lambda ^{k+1})}\). Then the above argument repeats, moreover the “loc” subscript can be dropped since the extension of a \(W_0^{1,p_-{}}(\Omega )\) function by zero produces a function from \(W^{1,p{-}}(D)\) for any bounded domain \(D\subset {\mathbb {R}}^N\). Or use the Bogovskii type operator constructed in the paper by Costabel and McIntosh [22].
4 Lavrentiev gap and non-density
In this section we design the general framework for the construction of the examples on Lavrentiev gap. We introduce the set of assumptions for the examples in the Sect. 4.1 and show how to obtain non-density of smooth functions and the special type of the non-uniqueness of the minimisers under these assumptions. In Sect. 4.3 we introduce basic forms which will be building blocks of our examples. These building blocks correspond to the one saddle-point geometry of the classical checkerboard Zhikov example and are then used in Sects. 4.4 and 4.5 to construct more advanced examples using fractal Cantor barriers. The results are summarised in the Sect. 4.6
4.1 Separating pairs of forms and separating functionals
Here we present some “conditional” statements. We shall use two assumptions. Let \(\Omega \) be a domain in \({\mathbb {R}}^N\) with sufficiently regular boundary, \(k\in \{1,\ldots ,N-1\}\), and be a closed set of zero Lebesgue N-measure. Our argument will be based upon defining a suitable set and \((k-1)\)-form u and \((N-k-1)\)-form A, which are smooth in and give a “counterexample” to the Stokes theorem. The regularity of \(\partial \Omega \) is assumed to be such that the classical Stokes theorem holds. Further \(\Omega \) will be either cube of ball in \({\mathbb {R}}^N\).
Let \(\Phi :\Omega \times [0,+\infty )\rightarrow [0,+\infty )\) be a generalized Orlicz function.
Definition 9
We say that a pair of \((k-1)\)-form and \((N-k-1)\)-form (u, A) defined in \(\Omega \) is \((\Phi ,k)\)- separating if there exists a closed set of zero Lebesgue N-measure such that
-
(i)
u and A are regular outside ;
-
(ii)
\(u\in W^{d,1} (\Omega , \Lambda ^{k-1})\) and \(A\in W^{d,1}(\Omega , \Lambda ^{N-k-1})\);
-
(iii)
\(\int \limits _{\partial \Omega } A\wedge du =1\);
-
(iv)
;
-
(v)
\(\int \limits _\Omega \Phi (x,|du|)\, dV <\infty \) and \(\int \limits _\Omega \Phi ^*(x,|dA|)\, dV< \infty \).
When invoking a pair of \((\Phi ,k)\)-separating forms we assume that the set comes from this definition and when necessary denote it by .
The essential property of \((\Phi ,k)\)-separating forms is that \(A\wedge du\) “contradicts” the Stokes theorem. Indeed, disregarding the singular set \(\Sigma \) we would arrive at
Definition 10
Let u and A be a pair of \((\Phi ,k)\)-separating forms and \(\eta \in C^\infty _0(\Omega )\) with \(\eta =1\) in a neighbourhood of . Set
On \(W^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1})\) we define the functionals \({\mathcal {S}}\), \({\mathcal {S}}^\circ \), and \({\mathcal {S}}^\partial \) by
Proposition 11
(Separating functional) The following holds
-
(a)
\({\mathcal {S}}, {\mathcal {S}}^\circ , {\mathcal {S}}^\partial \) define linear functionals on \(W^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1})\).
-
(b)
For all \(w\in H^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1})\) we have \( S^\circ (w)=0\).
-
(c)
For the functions \(u,u^\partial , u^\circ \) it holds:
$$\begin{aligned} {\mathcal {S}}(u)&= 0,\quad {\mathcal {S}}(u^\partial ) = 1,\quad {\mathcal {S}}(u^\circ ) = -1,\\ \mathcal {S}^{\partial }(u)&= 1,\quad \mathcal {S}^{\partial }(u^\partial ) = 1,\quad \mathcal {S}^{\partial }(u^\circ ) = 0,\\ {\mathcal {S}}^\circ (u)&= -1,\quad {\mathcal {S}}^\circ (u^\partial ) = 0,\quad {\mathcal {S}}^\circ (u^\circ ) = -1. \end{aligned}$$
Proof
The first claim follows from \(dA \in L^{\Phi ^*}(\Omega ,\Lambda ^{N-k})\). Due to the Stokes theorem and by approximation for all \(\omega \in H^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1})\) it holds
Now \(du \wedge d A=0\) almost everywhere, therefore \({\mathcal {S}}(u)=0\). Since \(u^\partial \in C^\infty ({\overline{\Omega }},\Lambda ^{k-1})\) and \(A^\partial \in C^\infty ({\overline{\Omega }},\Lambda ^{N-k-1}({\mathbb {R}}^{N}))\), we can use the Stokes theorem and the third property of \((\Phi ,k)\)-separating pair to obtain
Since \(A^\circ \wedge du^\partial \) belongs to \(C_0^\infty (\Omega , \Lambda ^{N-1})\), and \(d (A^\circ \wedge du^\partial )= dA^\circ \wedge d u^\partial \), again by the Stokes theorem we get
Analogously, we obtain \({\mathcal {S}}^\partial (u^\circ )=0\). Now,
This proves the claim. \(\square \)
Corollary 12
If there exists a pair of \((\Phi ,k)\)-separating forms then
Proof
By Proposition 11, \({\mathcal {S}}^\circ =0\) on \(H^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1})\). On the other hand, \(u\in W^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1})\) and \({\mathcal {S}}^\circ (u) = -1\). \(\square \)
Corollary 13
If there exists a pair of \((\Phi ,k)\)-separating forms then
Proof
For any \(\varphi \in C_0^\infty (\Omega ,\Lambda ^{k-1})\) by the Stokes theorem we have
On the other hand, \(u^\circ \in {\tilde{W}}^{d,\Phi (\cdot )}_T(\Omega ,\Lambda ^{k-1})\) and by Proposition 11 we have \({\mathcal {S}}(u^\circ )=-1\). \(\square \)
Theorem 14
(Lavrentiev gap) If there exists a pair (u, A) of \((\Phi ,k)\)-separating forms then for \(b=dA^\circ \) the functional
satisfies
and as a corollary
Proof
By Proposition 11 and nonnegativity of \(\Phi \), \({\mathcal {F}}_{\Phi ,b}(w) \ge 0\) for all \(w\in H^{d,\Phi (\cdot )}_T (\Omega ,\Lambda ^{k-1})\). On the other hand, for \(t>0\), using Propositions 11 and (2.10), we have
with some \(s>1\). This implies \({\mathcal {F}}_{\Phi ,b}(tu^\circ ) <0\) for sufficiently small t. \(\square \)
4.2 Separating pairs and BVPs
Closely related to the Lavrentiev phenomenon is a special type of nonuniqueness for boundary value problems. In the simplest form this can be expressed as (1.8) and for minimization problems this reads as
for some boundary data \(\omega _0 \in H^{1,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1})\).
First, we repeat a certain result from [11]. Let
Let (u, A) be a \((\Phi ,k)\)-separating pair. Denote \(b=dA\).
Assumption 15
There exist \(s,t > 0\) such that \({\mathcal {F}}(tu) + {\mathcal {F}}^*(s b) < t s\).
Theorem 16
(H-harmonic \(\ne \) W-harmonic)
Under Assumption 15, for \(\omega _0=t u^\partial \) there holds (1.8) and (4.2).
Proof
Set \(b=dA\). We have \(t u = tu^\partial + tu^\circ \in tu^\partial + W_c^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1})\). Thus,
By the properties of the Hodge dual and the Young inequality,
Hence
See [38] for estimates of exterior product submultiplication constant.
Since \(h_t - tu^\partial \in H_T^{d,\Phi (\cdot )}(\Omega )\), we have \({\mathcal {S}}(h_t - tu^\partial )=0\) by Proposition 11. This and \({\mathcal {S}}(u^\partial )=1\) by the same Proposition imply
Combining (4.3) and (4.4) we get
for all \(t,s > 0\). By Assumption 15 the right hand-side of last inequality is positive, and thus \({\mathcal {F}}(h_t) > {\mathcal {F}}(w_t)\). This proves the claim. \(\square \)
4.3 Basic forms
In this section we introduce differential forms which will be building blocks of our examples. We do necessary calculations in the cubic setting, where the boundary orientation is straightforward.
Let \(k\in \{1,\ldots ,N-1\}\). Define two groups of variables \({\bar{x}} = (x_1,\ldots ,x_k)\) and \({\hat{x}} = (x_{k+1},\ldots , x_N)\). Let \(\Gamma _l(x)\), \(x\in {\mathbb {R}}^l\), denote the fundamental solution of the Laplace equation in \({\mathbb {R}}^l\) with pole at the origin:
Here and below \(\sigma _l\) denotes the surface area (\((l-1)\)-volume) of the unit sphere in \({\mathbb {R}}^l\), and |x| denotes the standard Euclidian norm of x.
Let \(\theta :{\mathbb {R}}\rightarrow {\mathbb {R}}\) be a smooth increasing function such that
Let \(\eta :{\mathbb {R}}\rightarrow {\mathbb {R}}\) be a smooth increasing function such that
Our basic forms are
Here \(*_{{\hat{x}}}\) and \(*_{{\bar{x}}}\) are applied only within respective variables, that is
Further for \((N-k-1)\)-form u from (4.5) and \((k-1)\)-form A from (4.6)we use the notation \(u= {\mathcal {P}}_1(k,N-k,0,0)\) and \(A={\mathcal {P}}_2(k,N-k,0,0)\). Also, in this case we denote , , and this pair of forms is denoted by , .
The following facts are straightforward.
Proposition 17
Both \(*_{{\hat{x}}} d \Gamma _{N-k} ({\hat{x}}) \) and \(*_{{\bar{x}}} d \Gamma _{k} ({\bar{x}})\) are harmonic
outside \({\hat{x}}=0\) and \( {\bar{x}}=0\) correspondingly. For cubes \((-\varepsilon , \varepsilon )^{N-k}\subset {\mathbb {R}}^{N-k}\) and \((-\varepsilon , \varepsilon )^{k}\subset {\mathbb {R}}^{k}\), \(\varepsilon >0\), there holds
where the natural induced orientations of the boundary are assumed.
Proposition 18
For the forms u and A given by (4.5) and (4.6)
-
(a)
There holds
$$\begin{aligned} \{u\ne 0\} \subset \{|{\hat{x}}|> \eta (|{\bar{x}}|)/(4\sqrt{N}) \}, \quad \{A\ne 0\} \subset \{|{\bar{x}}| > \eta (|{\hat{x}}|)/(4\sqrt{N}) \}. \end{aligned}$$ -
(b)
The forms u and A are smooth outside the origin,
$$\begin{aligned} \begin{aligned}&|\nabla u|\lesssim |{\hat{x}}|^{k-N},\quad |\nabla A|\lesssim |{\bar{x}}|^{-k},\\&\quad \{|\nabla u|\ne 0\} \subset \{|{\hat{x}}|> \eta (|{\bar{x}}|)/(4\sqrt{N}) \},\\&\quad \{|\nabla A|\ne 0\} \subset \{|{\bar{x}}| > \eta (|{\hat{x}}|)/(4\sqrt{N}) \}. \end{aligned} \end{aligned}$$(4.7)For any bounded domain \(\Omega \subset {\mathbb {R}}^N\) there holds \(u\in W^{1,1}(\Omega , \Lambda ^{N-k-1})\), \(A \in W^{1,1}(\Omega , \Lambda ^{k-1})\), and
$$\begin{aligned}{} & {} d u = d \theta \left( \sqrt{N}\frac{|{\hat{x}}|}{ \eta (|{\bar{x}}|)} \right) \wedge *_{{\hat{x}}} d \Gamma _{N-k} ({\hat{x}}), \quad dA = d \theta \left( \sqrt{N}\frac{|{\bar{x}}|}{ \eta (|{\hat{x}}|)} \right) \wedge *_{{\bar{x}}} d \Gamma _{k} ({\bar{x}}). \nonumber \\{} & {} \quad |d u|\lesssim |{\hat{x}}|^{k-N},\quad |d A|\lesssim |{\bar{x}}|^{-k}, \nonumber \\{} & {} \quad \{|d u|\ne 0\} \subset \{\eta (|{\bar{x}}|)/(2\sqrt{N})>|{\hat{x}}|> \eta (|{\bar{x}}|)/(4\sqrt{N}) \},\nonumber \\{} & {} \quad \{|d A|\ne 0\} \subset \{\eta (|{\hat{x}}|)/(2\sqrt{N})>|{\bar{x}}| > \eta (|{\hat{x}}|)/(4\sqrt{N}) \}. \end{aligned}$$(4.8) -
(c)
There holds \(|du| \cdot |dA| =0\) in \({\mathbb {R}}^N{\setminus } \{0\}\).
-
(d)
For a nonnegative function \(F=F(\cdot ,\cdot )\) with nonnegative arguments, satisfying \(\triangle _2\)–condition in the second argument and \(F(\cdot ,0)=0\),
(4.9) -
(e)
For a nonnegative function \(G=G(\cdot ,\cdot )\) with nonnegative arguments, satisfying \(\triangle _2\)–condition in the second variable and \(G(\cdot ,0)=0\)
$$\begin{aligned} \int \limits _{[-1,1]^N} G(|{\hat{x}}|, |dA|)\, dV \lesssim \int \limits _0^{\sqrt{N}} G\bigl (t, t^{-k} \bigr )\, t^{N-1} \, dt. \end{aligned}$$(4.10)
Proof
The first two statements follow from the definition of u and A. Assume that \(\Omega \subset \{|x|<R\}\). Using polar coordinates and estimates (4.7), we evaluate
Thus the coefficients of the forms u and A belong to the Sobolev space \(W^{1,1}(\Omega )\). Since the coefficients of the exterior derivative are linear combinations of derivatives of form coefficients, this implies \(u\in W^{d,1}(\Omega , \Lambda ^{N-k-1})\), \(A\in W^{d,1}(\Omega , \Lambda ^{k-1})\) and their exterior derivatives are as above together with estimates (4.8).
To prove that \(|du| \cdot |dA| =0\) in \({\mathbb {R}}^N{\setminus } \{0\}\), we note that \(|dA|\ne 0\) implies \(|{\bar{x}}| < |{\hat{x}}|/(2\sqrt{N})\) and \(du \ne 0\) implies \(|{\hat{x}}|< |{\bar{x}}|/(2\sqrt{N})\) (recall that \(\eta (t)\le t\)).
The last two statements immediately follows from the above estimates for \(|\nabla u|\) and \(|\nabla A|\) and using polar coordinates. \(\square \)
Let \(Q=[-1,1]^d\). For \(x=(x_1,\ldots ,x_l)\in {\mathbb {R}}^l\) the norm \(|x|_{\infty } = \max \{|x_1|,\ldots ,|x|_l\}\), while the standard Euclidian norm is denoted by \(|x|=\sqrt{x_1^2+\cdots + x_l^2}\). Recall that for \(x\in {\mathbb {R}}^l\) there holds \(|x|_\infty \le |x|\le \sqrt{l} |x|_\infty \).
Proposition 19
For the form A given by (4.6) on \(\partial Q\cap \{|{\hat{x}}|_\infty <1\}\) there holds \(dA=0\). Thus
Proof
Note that
Then for \(x\in \{dA\ne 0\} \cap \{|{\bar{x}}|_\infty =1\}\) there holds \(|{\hat{x}}|_\infty >2\), which implies the first claim. Thus,
On the set \( \{dA\ne 0\} \cap \partial Q\) we have \(|{\hat{x}}|_\infty =1\), \(|{\hat{x}}| \ge 1\) and \(|{\bar{x}}| \le 1/4\), \(\eta (|{\bar{x}}|) \le 1/4\), so \(\theta (\sqrt{N} |{\hat{x}}|/ \eta (|{\bar{x}}|)) =1\), \(\eta (|{\hat{x}}|)=1\), \(d\eta (|{\hat{x}}|) =0\), and we get (4.11) by Definitions (4.5) and (4.6) of u and A. \(\square \)
The following statement is central in our considerations. Let \(\partial [-1,1]^N\) be the boundary of the cube \(Q=[-1,1]^N\) with the natural induced orientation.
Lemma 20
For the forms u and A given by (4.5) and (4.6) there holds
Proof
Below we use the notation of integration on cubic chains see [54, Chapter 4]. Let
be the standard l-cube and \(\partial Q^l\) its boundary with the natural induced orientation.
Denote the boundary faces of \(Q^N\) as
Then \( \partial Q^N=\sum _{j=1}^N (-1)^{j-1} (I_j^{(+)}-I_j^{(-)}). \)
By \(Q^{N-k}[{\bar{x}}]\) we denote the \((N-k)\)-dimensional cubes with centers at \(({\bar{x}},0)\),
The faces \({\tilde{I}}_j^{(\pm )} [{\bar{x}}]\) of these cubes are
and the boundary of \(Q^{N-k}[{\bar{x}}]\) is \( \partial Q^{N-k}[{\bar{x}}] = \sum _{j=k+1}^N (-1)^{j-k-1} ({\tilde{I}}_j^{(+)} [{\bar{x}}]-{\tilde{I}}_j^{(-)} [{\bar{x}}]). \)
By (4.11) we have
Thus we get the first relation in (4.12). Since
we have
This yields the second relation in (4.12). The proof of Lemma 20 is complete. \(\square \)
To summarize the results of this section, we have shown that the pair of forms u and A given by (4.5) and (4.6) is \((\Phi ,N-k)\)-separating in \(\Omega =[-1,1]^N\) provided that the integral (4.9) converges for \(F\ge \Phi \) and the integral (4.10) converges for \(G \ge \Phi ^*\).
4.4 Generalized Cantor sets and their properties
In this section we construct (generalized) Cantor sets.
Let \(l_j\), \(j=0,1,2,\ldots \) be a decreasing sequence of positive numbers starting from \(l_0=1\):
such that \(l_{j-1} >2l_j\) for all \(j\in {\mathbb {N}}\). We start from \(I_{0,1}=[-1/2,1/2]\). On each m-th step we we remove the open middle third of length \(l_j-2l_{j+1}\) from the interval \(I_{m,j}\), \(j=1,\ldots , 2^m\) to obtain the next generation set of closed intervals \(I_{m+1,j}\), \(j=1,\ldots , 2^{m+1}\). The union of the closed intervals \(I_{m,j} = [a_{m,j}, b_{m,j}]\), \(j=1,\ldots , 2^m\) of length \(l_m\) from the same generation forms the pre-Cantor set \(C_m = \bigcup _{j=1}^{2^m} I_{m,j}\). The Cantor set is the intersection of all pre-Cantor sets \(C_m\).
On each mth step we define the pre-Cantor measure as \(\mu _m = |C_m|^{-1}\mathbb {1}_{C_m}\), where \(|C_m|= 2^m l_m\) is the standard Lebesgue measure of \(C_m\), and the weak limit of the measures \(\mu _m\) is the Cantor measure corresponding to .
We require further that
at least for all sufficiently large m.
If the sequence \(l_j\) satisfies the conditions above only for sufficiently large \(j\ge j_0\), then we modify it by taking the sequence \({\tilde{l}}_j = l_{j+j_0} (l_{j_0})^{-1}\), \(j=0,1,2,\ldots \)
For \(k\in {\mathbb {N}}\) by and \(\mu ^{k}\) we denote the Cartesian powers of k copies of and its corresponding Cantor measure, respectively.
Definition
(Generalized Cantor sets). Let \(l_j = \lambda ^j j^\gamma \), \(\lambda \in (0,1/2)\), \(\gamma \in {\mathbb {R}}\). We denote the corresponding Cantor set by , the Cartesian product of its k copies is . For we denote , so that . We denote the Cantor measure corresponding to by \(\mu _{\lambda ,\gamma }\) and its k-th Cartesian power by \(\mu ^k_{\lambda ,\gamma }\).
Definition
(Meager Cantor sets). Let \(l_j = \exp (-2^{j/\gamma })\), \(\gamma >0\). Denote the corresponding Cantor set by , and its Cartesian products by . For these sets we denote . We denote the corresponding Cantor measures by \(\mu ^k_{0,\gamma }\).
Denote , where is one of or defined above. Denote by the distance from \({\bar{x}}\) to in the maximum norm and let . It is clear that . Let \(|F|_k\) denote the standard Lebesgue k-measure of \(F\subset {\mathbb {R}}^k\). In the following lemma \(B^{{\bar{x}}}_t\) is the open ball in \({\mathbb {R}}^k\) with center at \({\bar{x}}\) and radius t.
Lemma 21
We have
and
Proof
Let \(l_j\) be the sequence of interval lengthes defining the corresponding Cantor set. Let \(t \in (l_{j}/2 - l_{j+1}, l_{j-1}/2 - l_j)\). The set consists of \(2^{kj}\) identical cubes of the form
So
First consider the case with \(\lambda >0\). Then \(l_{j}+2t \le l_{j-1}-l_j \le c t\) with some constant c independent of j, so
Recalling that and , we get
Thus we arrive at the first inequality in (4.13).
Now consider the case (ultrathin Cantor sets). Then we get
and this yields the second inequality from (4.13).
Now let us estimate \(\mu (B^{{\bar{x}}}_r)\). Any interval of length 2t with \(t\in (l_{j}/2 - l_{j+1}, l_{j-1}/2 - l_j)\) can intersect at most one interval forming the j-th iteration of the pre-Cantor set. Since \(B^{{\bar{x}}}_t\) lies within a cube with edge 2t, then \(\mu _{\lambda ,\gamma }^k(B^{{\bar{x}}}_t) \le 2^{-jk}\). Using the above estimates for \(2^{jk}\) we arrive at (4.14). The proof of Lemma 21 is complete.
\(\square \)
4.5 From one singular point to fractal sets
Let \(k\in \{1,\ldots ,N\}\), \(\lambda \in (0,1/2)\) and \(\gamma \in {\mathbb {R}}\), or \(\lambda =0\) and \(\gamma >0\) be given. Let \(\Omega \) be the ball of radius \(\sqrt{N}\) in \({\mathbb {R}}^N\) centered at the origin.
Now let be the generalized Cantor set with the given parameters and be the Cantor measure corresponding to . Our construction will be based on the singular (or fractal contact/ barrier) set . Recall that for generalized Canter sets we set (equivalently, ) and for meager Cantor sets we set .
Let be the generalized distance, see [55, Chapter VI, §2] from \({\bar{x}}\) to . In particular, ,
where and is the standard Euclidian distance from \({\bar{x}}\) to . Without loss, we assume that \(C \ge 4\).
Let \(\theta :{\mathbb {R}}\rightarrow {\mathbb {R}}\) be a smooth nondecreasing function such that \(\theta (t) =1\) for \(t \ge 1/2\), \(\theta (t)=0\) for \(t\le 1/4\), \(|\theta '| \le 4\). Let \(\eta :{\mathbb {R}}\rightarrow {\mathbb {R}}\) be a smooth nondecreasing concave function such that \(\eta (t)=t\) for \(t\le 1/4\) and \(\eta (t) = 1/2\) for \(t\ge 3/4\).
For , , we define the \((N-k-1)\)-form , the \((k-1)\)-form , and the function by
Here the constant C is from (4.15). The integral is understood as integrating the coefficients of the form.In \(\Omega \) there holds \(|\nabla ^j \rho _(x)|\le C(j) |\hat{x}|^{-j}\), \(j\in \mathbb {N}\).
Further the \((N-k-1)\)-form defined by (4.16) and \((k-1)\)-form defined by (4.17) corresponding to the space dimension N and the Cantor set will be denoted by and . That is, and . The function defined in (4.18) will be also denoted by .
Lemma 22
There holds and
For a nonnegative function \(F=F(\cdot ,\cdot )\) with nonnegative arguments, satisfying \(\triangle _2\)-condition in the second argument and \(F(\cdot ,0)=0\),
Proof
Clearly, u is smooth in \(\Omega \setminus \), and in particular its coefficients have ACL property. Immediately from the definition of u, (4.15) and Proposition 17 we obtain (4.19). Then using polar coordinates in \({\mathbb {R}}^{N-k}\) we obtain (4.20). In particular, for by Lemma 21 we get . By [63, Theorem 2.1.4] we conclude that the coefficients of u are in . \(\square \)
Lemma 23
There holds ,
and
For a nonnegative function \(G=G(\cdot ,\cdot )\) with nonnegative arguments, satisfying \(\triangle _2\)–condition in the second variable and \(G(\cdot ,0)=0\),
Proof
Clearly, A is smooth outside the contact set . Denote
Then
Using polar coordinates in \({\mathbb {R}}^{N-k}\) we evaluate
In particular, using \(G(s,t) = t\) and Lemma 21 we get \(b\in L^1(\Omega )\).
For any \(\varphi \in C_0^\infty (\Omega , \Lambda ^k)\) using \(A_\diamondsuit \in W^{1,1}(\Omega , \Lambda ^k)\) we have
By definition, this implies \(dA=b\), and as a consequence (4.21) and (4.22). The proof of Lemma 23 is complete. \(\square \)
Proposition 24
There holds \(|du| \cdot |dA| =0\) a.e. in \(\Omega \).
Proof
Thus \(|du|\cdot |dA| = 0\) in . The claim follows since has N-dimensional Lebesgue measure zero. \(\square \)
Proposition 25
The function , , on the support of dA and on the support of du.
Proof
The first two properties are immediate from the definition of . From the definition of u,
On this set, (recall that \(\theta (t)=0\) if \(t\le 1/4\)). On the other hand,
On this set, (recall that \(\theta (t)=1\) if \(t \ge 1/2\)). \(\square \)
Proposition 26
On the boundary of \(Q=[-1,1]^N\) there holds
-
(a)
\(u\wedge dA=0\) on \(\partial [-1,1]^N \cap \{|{\hat{x}}|_\infty <1\}\);
-
(b)
On \(\partial Q \cap \{|{\hat{x}}|_\infty =1\}\) there holds
$$\begin{aligned} u=*_{{\hat{x}}} d \Gamma _{N-k},\quad dA = \int d (\theta (2\sqrt{N}|{\bar{x}} -{\bar{y}}|)) \wedge *_{{\bar{x}}} d \Gamma _k({\bar{x}}-{\bar{y}})\, d\mu ({\bar{y}}). \end{aligned}$$
Proof
By construction,
If \(|{\bar{x}}|_\infty =1\), then (recall that ), so \(dA ({\bar{x}},{\hat{x}}) \ne 0\) implies \(|{\hat{x}}|_\infty >1\). Thus
Then in the definition of u for the argument of \(\theta \) for \(|{\hat{x}}|_\infty \le 1\), \(|{\bar{x}}|_\infty =1\) we have
This implies , and therefore \(u = *_{{\hat{x}}} d \Gamma _{N-k}\) on \(\partial [-1,1]^N \cap \{|{\hat{x}}|_\infty =1\}\).
The formula for dA follows then from \(\eta (|{\hat{x}}|)=1/2\) for x in a neighbourhood of \([-1,1]^N \cap \{|{\hat{x}}|_\infty =1\}\) and smoothness of the integrand in the definition of A for \(|{\hat{x}}|>0\). \(\square \)
Lemma 27
For the forms u and A given by (4.16) and (4.17) there holds
Proof
Using Proposition 26 and the notation of integration on cubic chains similar to Lemma 20 we obtain
Here we used that
for all \(y\in [-1/2,1/2]^k\subset {\mathbb {R}}^k\).
To calculate the second integral we use the same argument as in Lemma 20: the form \(A\wedge du - (-1)^{k(N-k)} u \wedge dA\) is exact, therefore its integral over \(\partial [-1,1]^N\) is zero. \(\square \)
4.6 Work-tool
Here we gather the results of Sect. 4.5, namely of Lemmas 22, 23, 27 and Propostion 24. Recall that a pair of \((k-1)\)-form u and \((N-k-1)\)-form A is \((\Phi ,k)\)-separating if u and A are regular outside a closed set of zero Lebesgue N-measure, \(u\in W^{d,\Phi (\cdot )} (\Omega , \Lambda ^{k-1})\), \(A\in W^{d,\Phi ^*(\cdot )}(\Omega , \Lambda ^{N-k-1})\), \(|du|\cdot |dA|=0\) a.e. in \(\Omega \), and \(\int _\Omega A \wedge du =1\). The form of the following statement represents the duality between u and A. The function \(\Phi =\Phi (x,t)\) is a generalized Orlicz function, as in Sect. 2.4. The following lemma gives the general work-tool to construct a \((\Phi ,k)\)-separating pair. Let \(\Omega =[-1,1]^N\) or \(\Omega = \{|x|<\sqrt{N}\}\).
Lemma 28
(i) Let and . Let \(\Phi \) be such that \(\Phi (x,t)\le F_1(|{\hat{x}}|,t)\) on the support of du and \(\Phi (x,t)\ge F_2(|{\hat{x}}|,t)\) on the support of dA. If
then the pair (u, A) is \((\Phi ,k)\)-separating.
(ii) Let and . Let \(\Phi \) be such that \(\Phi (x,t)\le F_1(|{\hat{x}}|, t)\) on the support of du and \(\Phi (x,t)\ge F_2(|{\hat{x}}|,t)\) on the support of dA. If
then the pair (u, A) is \((\Phi ,k)\)-separating.
Moreover, in both cases there holds
Proof
The forms u and A are regular outside by construction. By Lemmas 22,23 we have \(u\in W^{d,1}(\Omega ,\Lambda ^{k-1})\) and \(A\in W^{d,1}(\Omega ,\Lambda ^{N-k-1})\). By Proposition 24, \(|du|\cdot |dA| =0\) outside . Since \(d(A\wedge du) = dA \wedge du =0\) outside , Lemma 27 implies
From estimates (4.20) and (4.22) by the assumptions of the lemma we get (4.26), which completes the proof of the lemma. \(\square \)
In view of Sect. 4, to construct an example for the Lavrentiev gap, it is sufficient to check the conditions of Lemma 28. In the following section we do this for the “standard” and “borderline” double phase models and for the variable exponent.
4.7 Example setups
Two cases of Lemma 28 and different choices of the fractal contact set give us several variants of example setup. Further \(p_0>1\) will be the threshold parameter. Depending on the value of the threshold parameter \(p_0\), we design 5 different setups:
-
(a)
critical or one saddle point setup corresponds to the classical Zhikov checkerboard example [61] (\(N=2\), \(k=1\)) and its development by [31] ( \(N>1\), \(k=1\));
-
(b)
supercritical setup corresponds to the case \(p_0>N/k\), in the scalar settting (\(k=1\)) of [11] this corresponds to the superdimensional case \(p_0>N\) with singular set on a line;
-
(c)
subcritical case corresponds to the case \(1<p_0<N/k\), in the scalar settting (\(k=1\)) of [11] this corresponds to the subdimensional case \(1<p_0<N\) with singular set on a hyperplane;
-
(d)
right limiting critical case corresponds to the situation when \(p_0=N/k +0\) (that is, for the critical value \(p_0=N/k\) we use the supercritical construction);
-
(e)
left limiting critical case corresponds to the situation when \(p_0= N/k-0 \) (that is, for the critical value \(p_0=N/k\) we use the subcritical construction).
Each of these setups includes the fractal set (see Sect. 4.4, in the “critical” case it is just one point), the barrier fractal set , the pair of the forms u and A, and the function \(\tilde{\rho }\) which separates the supports of du and dA: it is equal to 0 on the support of du and 1 on the support of dA. The construction of the forms u, A and the function \({\tilde{\rho }}\) is described in 4.3 (for one singular point case) and in 4.5 (for the rest of cases).
One can easily verify (this is done in Sect. 5.1, take there \(\alpha =0\)) that \(du \in L^{p}(\Omega , \Lambda ^k)\) for any \(p<p_0\) and \(dA \in L^{q'}(\Omega ,\Lambda ^{N-k})\) for any \(q>p_0\) which explains why we call this parameter “threshold”. The function \({\tilde{\rho }}\) is then used to construct the function \(\Phi \) for which the pair (u, A) is \((\Phi ,k)\)-separating.
The second free parameter of the construction — the shrinking fractal parameter \(\gamma \) — plays an important role later in refining our examples to the limiting case and in treating the borderline double phase and the log-log-Hölder exponents.
-
Setup 1
(Critical or one saddle point) Let \(p_0= N/k\) and set
-
Setup 2
(Supercritical) Let \(p_0>N/k\). Define from and set ,
-
Setup 3
(Subcritical) Let \(1<p_0<N/k\). Define from and set ,
-
Setup 4
(Right limiting (critical+0)) Let \(p_0=N/k\) and set
-
Setup 5
(Left limiting (critical-0)) Let \(p_0=N/k\) and set
Setup 1, Setup 3, Setup 5 correspond to Lemma 28 (ii). Setup 2 and Setup 4 correspond to Lemma 28 (i).
5 Applications
In this section we show the presence of the Lavrentiev gap for the following models
-
(a)
double phase;
-
(b)
borderline double phase;
-
(c)
variable exponent.
To this end we use the framework defined in Sect. 4 and the Cantor set-based construction from Sect. 4.5. That is, we have to show that the pair of forms u and A build as in Sect. 4.5 is \((\Phi ,k)\)-separating and satisfies the conditions of Assumption 15 (the latter one for the Dirichlet problem) for the generalized Orlicz functions
-
(a)
\(\Phi (x,t)=t^{p}+a(x)t^q\);
-
(b)
\(\Phi (x,t)=t^p\log ^{-\beta }(e+t)+a(x)t^p\log ^\alpha (e+t)\);
-
(c)
\(\Phi (x,t) = t^{p(x)}\).
Further in this section \(\Omega = \{|x|<\sqrt{N}\}\subset {\mathbb {R}}^N\), \(k\in \{1,\ldots ,N-1\}\), is a generalized Cantor set as in Sect. 4.4, and is the singular contact set, where \(l=k\) or \(l=N-k\). As above, by we denote the t-neighbourhood of the set .
Recall that the parameter \(\lambda \) of the fractal set is connected to its “fractal dimension” by if and \(\lambda =0\) if , and the forms u and A defined in (4.16) and (4.17), based on the contact set (or (4.5) and (4.6) for ) are denoted by and . That is, the forms , \(j=1,2\), together with the function are constructed using the singular set with if and \(\lambda =0\) if .
Before passing on to the examples we make the following observation.
Lemma 29
Let \(\rho \) be a function on \(\Omega \) such that \( \rho \le C\) and \(|\nabla \rho (x)|\le C |\hat{x}| ^{-1}\) with \(C>1\). Then the function \(a_0(|\hat{x}|) \rho (x)\) has the modulus of continuity \(5C a_0(\cdot )\).
Proof
For \(x=({\bar{x}},{\hat{x}})\) and \(y=({\bar{y}}, {\hat{y}})\) we evaluate
If \(|x-y| \ge |{\hat{y}}|/2\) we evaluate \(a_0(|{\hat{y}}|) \le 2 a_0(|x-y|)\) using the concavity of \(a_0\), and \(|\rho (x)-\rho (y)|\le 2C\) , therefore \(r(x,y) \le 5C a_0(|x-y|)\).
If \(|x-y|\le |{\hat{y}}|/2\) then \(|{\hat{y}}|/2\le |{\hat{x}}| \le 3 |{\hat{y}}|/2\), therefore \( |\rho (x)-\rho (y)| \le 2C |{\hat{y}}|^{-1} |x-y|\). Now,
since the concavity of \(a_0\) implies that \(a(s)s^{-1} \le a(t) t^{-1}\) for \(s\ge t\). Therefore, for \(|x-y| \le |{\hat{y}}|/2 \) we get \(r(x,y) \le (2C+1) a_0(|x-y|)\).
Thus in both cases we have \(r(x,y) \le 5C a_0(|x-y|).\)
5.1 Standard double phase model
Let \(1<p<q<+\infty \) and \(\alpha \ge 0\),
Denote
where \({\tilde{\rho }}\) is a nonnegative function which will be described in Lemma 30 (it comes from the Setup used in Lemma 30, along with the pair of forms (u, A)).
Lemma 30
-
(a)
Let \(p_0= N/k\) and \(p<N/k<q-\alpha k^{-1}\). Use one saddle point Setup 1.
-
(b)
Let \(p_0>N/k\) and \(p\le p_0 \le q-\alpha \frac{p_0-1}{N-k}\). Take \(\gamma > (p_0k-N)^{-1}\) if \(p=p_0\), \(\gamma <\frac{1-p_0}{p_0k-N}\) if \(q=p_0+ \alpha \frac{p_0-1}{p_0k-N}\), and any \(\gamma \) otherwise. Use supercritical Setup 2.
-
(c)
Let \(1<p_0<N/k\) and \(p\le p_0\le q-\alpha k^{-1}\). Take \(\gamma <(p_0k-N)^{-1}\) if \(p=p_0\), \(\gamma >(q-1)/(N-p_0k)\) if \(q=p_0+\alpha k^{-1}\), and any \(\gamma \) otherwise. Use subcritical Setup 3.
-
(d)
Let \(p_0=N/k\) and \(p\le p_0<q-\alpha k^{-1}\). Take \(\gamma >(N-k)^{-1}\) if \(p=p_0\), and any \(\gamma >0\) otherwise. Use right limiting critical Setup 4.
-
(e)
Let \(p_0=N/k\) and \(p<p_0 \le q-\alpha k^{-1}\). Take \(\gamma >(q-1)(N-k)^{-1}\) if \(q=p_0+\alpha k^{-1}\) and any \(\gamma >0\) otherwise. Use left limiting critical Setup 5.
Then for \(\Phi \) given by (5.2), the pair of forms u and A is a \((\Phi ,k)\)-separating pair.
Proof
We use Lemma 28 with
and the estimates provided by Lemma 21. Clearly,
We treat the five cases according to Definition 30.
(a) Case \(p_0=N/k\), \(p<N/k<q-\alpha k^{-1}\). We estimate
provided that \(p< N/k\). Also,
provided that \(q> \frac{N+\alpha }{k}\).
(b) Case \(p_0>N/k\). In this case
We use case (ii) of Lemma 28. For the first integral in (4.25), we get
For the second integral in (4.25) we have
Here one notes that
Then by Lemma 28 (ii) the pair of forms (u, A) is \((\Phi ,k)\)-separating.
(c) Case \(p_0<N/k\). In this case . We use case (i) of Lemma 28. For the first integral in (4.24), we have
For the second integral in (4.24) we get
Here one notes that
By Lemma 28 i), the pair (u, A) is \((\Phi ,k)\)-separating.
(d) Case \(p_0=N/k+0\). We use case (ii) of Lemma 28. For the first integral in (4.25), we get
For the second integral in (4.25) we have
Here one notes that
By Lemma 28 (ii), the pair (u, A) is \((\Phi ,k)\)-separating.
(e) Case \(p_0=N/k-0\). We use case (i) of Lemma 28 For the first integral in (4.24), we have
For the second integral in (4.25), we get
By Lemma 28 (i), the pair of forms (u, A) is \((\Phi ,k)\)-separating.
\(\square \)
Theorem 31
Let \(p<N/k\) and \(q>p+\alpha k^{-1}\). Then there exists \(p_0\in (1,N/k)\) such that \(p<p_0<q-\alpha k^{-1}\) (one can also take \(p=p_0\) and choose \(\gamma <(p_0k-N)^{-1}\)) and therefore a \((\Phi ,k)\)-separating pair of forms (u, A) for \(\Phi \) defined by (5.2), and \({\tilde{\rho }}\) from Lemma 30.
Let \(q>p+\alpha (p-1)/(N-k)\) and \(q> \frac{N+\alpha }{k}\). Then there exists \(p_0>N/k\) satisfying \(p<p_0<q-\alpha (p_0-1)/(N-k)\) (one can also take \(p=p_0\) and choose \(\gamma >(p_0k-N)^{-1}\)) and therefore a \((\Phi ,k)\)-separating pair of forms (u, A) for \(\Phi \) defined by (5.2), and \({\tilde{\rho }}\) from Lemma 30.
In these cases \(H^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1}) \ne W^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1})\). Let \(\eta \in C_0^\infty (\Omega )\) be such that \(\eta =1\) in a neighbourhood of , \(A^\circ = \eta A\), and \(b=dA^\circ \). Then for the functional \({\mathcal {F}}_{\Phi ,b}\) there is Lavrentiev gap (4.1). For sufficiently large \(t>0\) and \(\omega _0=t u^\partial \in C^\infty ({\overline{\Omega }},\Lambda ^{k-1})\) there holds (1.8) and (4.2).
Proof
We have only to check Assumption 15. Indeed, since \({\tilde{\rho }}=0\) on the support of du and \({\tilde{\rho }}=1\) on the support of \(b=dA\),
Take \(s=t^{p/q'}\) Then for sufficiently large t there holds
since \(p< 1+ \frac{p}{q'}\) if \(p<q\). \(\square \)
Note that here \(\Phi (x,t) = t^p + a(x)t^q\) where \(a\in C^\alpha ({\overline{\Omega }})\) (by Lemma 29). This proves Theorem A.
5.2 Borderline double phase
Let \(p_0>1\), \(\alpha ,\beta \in {\mathbb {R}}\), \(\varkappa \ge 0\) such that
Let \(\varphi \) and \(\psi \) be two Orlicz functions such that
for large t. Denote
where \({\tilde{\rho }}\) is a nonnegative function to be defined later (it is generated by the corresponding Setup in Lemma 32 together with the forms u and A).
Lemma 32
-
(a)
Let \(p_0= N/k\) and assume that \(\beta >1\) and \(\alpha +1>\kappa +p_0\). Use one saddle point Setup 1.
-
(b)
If \(p_0>N/k\), define from and take \(\gamma \) satisfying . Use supercritical Setup 2.
-
(c)
If \(1<p_0<N/k\), define from and take \(\gamma \) satisfying . Use subcritical Setup 3.
-
(d)
If \(p_0=N/k\) and additionally \(\alpha >p_0-1+\varkappa \), take \(\gamma >0\) satisfying \((1-\beta )/(p_0-1)<\gamma k<(\alpha -\varkappa -p_0+1)/(p_0-1)\). Use right limiting critical Setup 4.
-
(e)
If \(p_0=N/k\) and additionally \(\beta >1\), take \(\gamma >0\) satisfying \(p_0+\varkappa -\alpha -1<\gamma >0 (N-k)<\beta -1\). Use left limiting critical Setup 5.
Then for \(\Phi \) given by (5.5), the pair of forms u and A is a \((\Phi ,k)\)-separating pair.
Proof
To shorten notation we write here p instead of \(p_0\). We use Lemma 28 with
and the estimates provided by Lemma 21. We have
We treat the five cases according to Definition 32.
(a) Case \(p=N/k\). We estimate
Therefore the pair of forms (u, A) is \((\Phi ,k)\)-separating.
(b) Case \(p>N/k\). We use case (ii) of Lemma 28. For the first integral in (4.25), we get
For the second integral in (4.25), using we have
Then by Lemma 28 (ii) the pair of forms (u, A) is \((\Phi ,k)\)-separating.
(c) Case \(p<N/k\). We use case (i) of Lemma 28 for the first integral in (4.24), we have
For the second integral in (4.24), using we get
By Lemma 28 (i), the pair (u, A) is \((\Phi ,k)\)-separating.
(d) Case \(p=N/k\), \(\alpha >p-1\). We use case (ii) of Lemma 28. For the first integral in (4.25), we get
For the second integral in (4.25), using \(p'= N/(N-k)\) we have
By Lemma 28 (ii), the pair (u, A) is \((\Phi ,k)\)-separating.
(e) Case \(p=N/k\), \(\beta >1\). We use case (i) of Lemma 28 For the first integral in (4.24), we have
For the second integral in (4.25), we get
By Lemma 28 (i), the pair of forms (u, A) is \((\Phi ,k)\)-separating. \(\square \)
Theorem 33
Under condition (5.3), for any \(k=1,\ldots ,N-1\) and any \(p>1\) there exists \({\tilde{\rho }}\) and a \((\Phi ,k)\)-separating pair of forms (u, A) for \(\Phi \) defined by (5.4) and (5.5). Therefore in these cases \(H^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1}) \ne W^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1})\). Let \(\eta \in C_0^\infty (\Omega )\) be such that \(\eta =1\) in a neighbourhood of , \(A^\circ = \eta A\), and \(b=dA^\circ \). For the functional \({\mathcal {F}}_{\Phi ,b}\) there is Lavrentiev gap (4.1).
Note that here we have \(\Phi \) given by \(\Phi (x,t) = \varphi (t) + a(x)\psi (t)\), with \(a \in C^{\omega (\cdot )}({\overline{\Omega }})\), \(\omega (t)\le C \ln ^{-\kappa }(1/t)\) for some \(C>1\) (see Lemma 29). This proves Theorem B.
5.3 Variable exponent model
A classical example of an integrand from the class (1.2) is the variable exponent model
where \(p:\, \Omega \rightarrow [p_{-},p_{+}]\) is a variable exponent. Let \(p_0 \in (p_{-},p_{+})\),
with \(\kappa >0\) and \({\tilde{\rho }}\) be a function to be defined later (see Lemma 34). Let \(\xi \in C^\infty ({\mathbb {R}})\) be a positive nondecreasing function such that \(\xi (t)=t\) if \(t\in [(p_{-}+p_0)/2,(p_{+}+p_0)/2]\), \(\xi (t)=\xi (p_{-})= (3p_{-}+p_0)/4\) if \(t\le p_{-}\), \(\xi (t)=\xi (p_{+}) = (3p_{+} + p_0)/4\) if \(t \ge p_+\). Set
and let \(\Phi \) be defined by (5.6).
Recall that due to the well-know result from [59] if the exponent p has the modulus of continuity (5.7) with sufficiently small \(\kappa \) then smooth functions are dense in corresponding Sobolev–Orlicz space and the Lavrentiev phenomenon is absent. On the other hand, the example with one saddle point provided in [59] (\(k=0\), \(N=2\), \(p_{-}<2<p_{+}\)) shows that for sufficiently large \(\kappa \) the Lavrentiev gap occurs, while for the scalar case (\(k=0\)) the smallness of \(\kappa \) gives \(H=W\). We construct examples of the Lavrentiev phenomenon for p(x)-integrand in arbitrary dimension and for any \(1<p_{-}<p_{+}<\infty \).
Lemma 34
-
(a)
Let \(p_0=N/k\) and \(\kappa >k^{-2}\max (k,N-k)\). Use one saddle point Setup 1.
-
(b)
Let \(p_0>N/k\),
$$\begin{aligned} \kappa > \frac{p_0(p_0-1)}{2(N-k)}, \quad \text {and}\quad 1- \kappa \frac{N-k}{p_0-1}< \gamma (kp_0-N) <\kappa \frac{N-k}{p_0-1}-(p_0-1). \end{aligned}$$(5.9)Use supercritical Setup 2.
-
(c)
Let \(1<p_0<N/k\),
$$\begin{aligned} \kappa > \frac{p_0}{2k} \quad \text {and}\quad p_0-1-\kappa k<\gamma (N-p_0k) < \kappa k -1. \end{aligned}$$(5.10)Use subcritical Setup 3.
-
(d)
Let \(p_0=N/k\),
$$\begin{aligned} \kappa > \max \bigg (\frac{N}{2k^2}, \frac{N-k}{k^2}\bigg ) \quad \text {and}\quad \max \bigg (\frac{k-\kappa k^2}{N-k},0\bigg )< \gamma k < \frac{k-N+ \kappa k^2}{N-k}. \end{aligned}$$(5.11)Use right limiting critical Setup 4.
-
(e)
Let \(p_0=N/k\),
$$\begin{aligned} \kappa > \max \bigg (\frac{N}{2k^2}, \frac{k}{k^2}\bigg ), \quad \text {and}\quad \max \bigg (\frac{N-k -\kappa k^2}{k},0\bigg )< \gamma k < \kappa k -1. \end{aligned}$$(5.12)Use left limiting critical Setup 5.
Then for \(\Phi \) given by (5.6) and (5.8), the pair of forms u and A is a \((\Phi ,k)\)-separating pair.
Proof
We use Lemma 28 with \(F_1(s,\tau ) = \tau ^{p_0-\sigma (s)}\) and \(F_2(s,\tau ) =\tau ^{p_0+\sigma (s)}\). Clearly, \(F_2^* (s,\tau ) \le c(p_{-},p_{+}) \tau ^{(p_0+\sigma (s))'}\). Note that \(t^{\sigma (t)} = (\ln t^{-1})^{-\kappa } \).
(a) Case \(p_0=N/k\). We evaluate
provided that \(k\kappa >1\). Also
where \(r(t) = -\kappa k^2 /(N-k+k \sigma (t))\). Since \(\lim \limits _{t\rightarrow +0} r(t)<-1\), the last integral converges.
(b) Case \(p_0>N/k\). We have , , and the conditions (5.9) on \(\kappa \) and \(\gamma \) can be rewritten as
We use case (ii) of Lemma 28. For the first integral in (4.25), we get
Since (5.13) implies that \(\lim \limits _{t\rightarrow +0} r(t)<-1\), the last integral converges.
For the second integral in (4.25), we get
Since (5.13) implies that \(\lim \limits _{t\rightarrow +0} r(t)<-1\), the last integral converges.
By Lemma 28 (ii) the pair (u, A) is \((\Phi ,k)\)-separating.
(c) Case \(p_0<N/k\). We have and the conditions (5.10) on \(\kappa \) and \(\gamma \) can be rewritten as
We use case (i) of Lemma 28 for the first integral in (4.24), we have
since (5.14) implies .
For the second integral in (4.24), using we get
Since (5.14) implies that \(\lim \limits _{t\rightarrow +0}r(t)<-1\), the last integral converges.
By Lemma 28 (i), the pair (u, A) is a \((\Phi ,k)\)-separating.
(d) Case \(p_0=N/k+0\). For the first integral in (4.25), we get
since (5.11) implies \(\gamma (k-N)-\kappa k < -1\).
For the second integral in (4.25) we have
Since (5.11) implies that \(\lim \limits _{t\rightarrow +0}r(t)<-1\), the last integral converges.
(e) Case \(p_0=N/k-0\). We use case (i) of Lemma 28 for the first integral in (4.24), we have
since (5.12) implies \(\gamma k - \kappa k < -1 \).
For the second integral in (4.24), using \(p_0' =N/(N-k)\) we get
Since (5.12) implies that \(\lim \limits _{t\rightarrow +0}r(t)<-1\), the last integral converges. \(\square \)
Theorem 35
Let \(1< p^-< p^+ < \infty \). Then there exists a variable exponent \(p:\, \Omega \rightarrow [p^-,p^+]\) (defined by (5.8) and (5.7)) and \((\Phi ,k)\)-separating pair (u, A) for \(\Phi (x,t)=t^{p(x)}\). Moreover, , where is a closed set of Lebesgue measure zero. For this \(\Phi \) there holds \(H^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1}) \ne W^{d,\Phi (\cdot )}(\Omega ,\Lambda ^{k-1})\). Let \(\eta \in C_0^\infty (\Omega )\) be such that \(\eta =1\) in a neighbourhood of , \(A^\circ =\eta A\), \(b=dA^\circ \). Then for the functional \({\mathcal {F}}_{\Phi ,b}\) there is Lavrentiev gap (4.1). For sufficiently large \(t>0\) and \(\omega _0=t u^\partial \in C^\infty ({\overline{\Omega }},\Lambda ^{k-1})\) there holds (1.8) and (4.2).
Proof
We have to check only the last statement (different solutions of the Dirichlet problem). By Theorem 16, it remains to show that for our \((\Phi ,k)\)-separating pair (u, A) there holds
for suitable large s, t. The argument repeats that given in the proof of Theorem 32 in [11] and we omit it.\(\square \)
In this construction by Lemma 29 the variable exponent \(p(\cdot )\) has the modulus of continuity \(C \bigl (\ln t^{-1}\bigr )^{-1}\ln \ln t^{-1}\). This proves Theorem C.
References
Agarwal, R.P., Ding, S., Nolder, C.: Inequalities for Differential Forms, pp. xvi+387. Springer, New York (2009). https://doi.org/10.1007/978-0-387-68417-8
Alkhutov, Y.A., Krasheninnikova, O.V.: Continuity at boundary points of solutions of quasilinear elliptic equations with a nonstandard growth condition. Izv. Ross. Akad. Nauk. Ser. Mat. 68(6), 3–60 (2004). https://doi.org/10.1070/IM2004v068n06ABEH000509
Alkhutov, Y.A.: On the Hölder continuity of p(x)-harmonic functions. Mat. Sb. 196(2), 3–8 (2005). https://doi.org/10.1070/SM2005v196n02ABEH000875
Alkhutov, Y.A.: The Harnack inequality and the Hölder property of solutions of nonlinear elliptic equations with a nonstandard growth condition. Differ. Uravn. 33(12), 1651–1660 (1997). (1726)
Acerbi, E., Mingione, G.: Regularity results for a class of functionals with nonstandard growth. Arch. Ration. Mech. Anal. 156(2), 121–140 (2001). https://doi.org/10.1007/s002050100117
Abraham, R., Marsden, J.E., Ratiu, T.: Manifolds, tensor analysis, and applications. In: Applied Mathematical Sciences, vol. 75, pp. x+654. Springer, New York (1988). https://doi.org/10.1007/978-1-4612-1029-0
Arnold, V.I.: Mathematical methods of classical mechanics. In: Graduate Texts in Mathematics, vol. 60, pp. xvi+516 (Translated from the 1974 Russian Original by K. Vogtmann and A. Weinstein, Corrected Reprint of the Second edition 1989). Springer, New York (1989)
Borowski, M., Chlebicka, I., De Filippis, F., Miasojedow, B.: Absence and presence of Lavrentievs phenomenon for double phase functionals upon every choice of exponents ( 2023)
Baroni, P., Colombo, M., Mingione, G.: Nonautonomous functionals, borderline cases and related function classes. Algebra Anal. 27(3), 6–50 (2015). https://doi.org/10.1090/spmj/1392
Baroni, P., Colombo, M., Mingione, G.: Regularity for general functionals with double phase. Calc. Var. Partial Differ. Equ. 57(2), 48–62 (2018). https://doi.org/10.1007/s00526-018-1332-z
Balci, A., Diening, L., Surnachev, M.: New examples on Lavrentiev gap using fractals. Calc. Var. Partial Differ. Equ. 59(5), 180–134 (2020). https://doi.org/10.1007/s00526-020-01818-1
Bulíček, M., Giazda, P., Skrzeczkowski, J.: On a range of exponents for absence of Lavrentiev phenomenon for double phase functionals. Arch. Ration. Mech. Anal. 246(1), 209–240 (2022). https://doi.org/10.1007/s00205-022-01816-x
Ball, J.M., Mizel, V.J.: One-dimensional variational problems whose minimizers do not satisfy the Euler–Lagrange equation. Arch. Ration. Mech. Anal. 90(4), 325–388 (1985). https://doi.org/10.1007/BF00276295
Balci, A.K., Ortner, C., Storn, J.: Crouzeix–Raviart finite element method for non-autonomous variational problems with Lavrentiev gap. Numer. Math. 151(4), 779–805 (2022). https://doi.org/10.1007/s00211-022-01303-1
Beck, L., Stroffolini, B.: Regularity results for differential forms solving degenerate elliptic systems. Calc. Var. Partial Differ. Equ. 46(3–4), 769–808 (2013). https://doi.org/10.1007/s00526-012-0503-6
Balci, A., Surnachev, M.: Lavrentiev gap for some classes of generalized Orlicz functions. Nonlinear Anal. 207, 112329 (2021). https://doi.org/10.1016/j.na.2021.112329. (22)
Cartan, H.: Differential Forms (Translated from the French), p. 167. Houghton Mifflin Co., Boston (1970)
Csato, G., Dacorogna, B., Kneuss, O.: The pullback equation for differential forms. In: Progress in Nonlinear Differential Equations and their Applications, vol. 83, pp. xii+436. Springer, New York (2012). https://doi.org/10.1007/978-0-8176-8313-9
Csato, G., Dacorogna, B., Sil, S.: On the best constant in Gaffney inequality. J. Funct. Anal. 274(2), 461–503 (2018). https://doi.org/10.1016/j.jfa.2017.10.006
Cruz-Uribe, D.V., Fiorenza, A.: Variable Lebesgue spaces. In: Applied and Numerical Harmonic Analysis. Foundations and Harmonic Analysis, pp. x+312. Springer, Heidelberg (2013)
Chlebicka, I., Gwiazda, P., Świerczewska-Gwiazda, A., Wróblewska-Kamińska, A.: Partial differential equations in anisotropic Musielak–Orlicz spaces. In: Springer Monographs in Mathematics, pp. xiii+389. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-88856-5
Costabel, M., McIntosh, A.: On Bogovskii and regularized Poincaré integral operators for de Rham complexes on Lipschitz domains. Math. Z. 265(2), 297–320 (2010). https://doi.org/10.1007/s00209-009-0517-8
Colombo, M., Mingione, G.: Bounded minimisers of double phase variational integrals. Arch. Ration. Mech. Anal. 218(1), 219–273 (2015). https://doi.org/10.1007/s00205-015-0859-9
Coscia, A., Mingione, G.: Hölder continuity of the gradient of p(x)-harmonic mappings. C. R. Acad. Sci. Paris Sér. I Math. 328(4), 363–368 (1999). https://doi.org/10.1016/S0764-4442(99)80226-2
Dacorogna, B., Gangbo, W.: Transportation of closed differential forms with nonhomogeneous convex costs. Calc. Var. Partial Differ. Equ. 57(4), 108, 44 (2018). https://doi.org/10.1007/s00526-018-1376-0
Dacorogna, B., Gangbo, W.: Quasiconvexity and relaxation in optimal transportation of closed differential forms. Arch. Ration. Mech. Anal. 234(1), 317–349 (2019). https://doi.org/10.1007/s00205-019-01390-9
Diening, L., Harjulehto, P., Hästö, P., R\(\mathring{o}\)žička, M.: Lebesgue and Sobolev Spaces with Variable Exponents, vol. 2017, p. 509. Lecture Notes in Mathematics. Springer, Berlin (2017)
De Filippis, C., Mingione, G.: Manifold constrained non-uniformly elliptic problems. J. Geom. Anal. 30(2), 1661–1723 (2020). https://doi.org/10.1007/s12220-019-00275-3
De Filippis, C., Mingione, G.: Interpolative gap bounds for nonautonomous integrals. Anal. Math. Phys. 11(3), 117 (2021). https://doi.org/10.1007/s13324-021-00534-z. (39)
De Filippis, C., Mingione, G.: Lipschitz bounds and nonautonomous integrals. Arch. Ration. Mech. Anal. 242(2), 973–1057 (2021). https://doi.org/10.1007/s00205-021-01698-5
Esposito, L., Leonetti, F., Mingione, G.: Sharp regularity for functionals with (p, q) growth. J. Differ. Equ. 204(1), 5–55 (2004). https://doi.org/10.1016/j.jde.2003.11.007
Foss, M., Hrusa, W.J., Mizel, V.J.: The Lavrentiev gap phenomenon in nonlinear elasticity. Arch. Ration. Mech. Anal. 167(4), 337–365 (2003). https://doi.org/10.1007/s00205-003-0249-6
Flanders, H.: Differential forms with applications to the physical sciences. In: Dover Books on Advanced Mathematics, pp. xvi+205. Dover Publications, Inc., New York (1989)
Fonseca, I., Malý, J., Mingione, G.: Scalar minimizers with fractal singular sets. Arch. Ration. Mech. Anal. 172(2), 295–307 (2004)
Goldshtein, V., Troyanov, M.: Sobolev inequalities for differential forms and \(L_{q,p}\)-cohomology. J. Geom. Anal. 16(4), 597–631 (2006). https://doi.org/10.1007/BF02922133
Hamburger, C.: Regularity of differential forms minimizing degenerate elliptic functionals. J. R. Angew. Math. 431, 7–64 (1992). https://doi.org/10.1515/crll.1992.431.7
Harjulehto, P., Hästö, P.: Generalized Orlicz Spaces. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-15100-3_3
Iwaniec, T., Kauhanen, J., Kravetz, A., Scott, C.: The Hadamard–Schwarz inequality. J. Funct. Spaces Appl. 2(2), 191–215 (2004). https://doi.org/10.1155/2004/763896
Iwaniec, T., Lutoborski, A.: Integral estimates for null Lagrangians. Arch. Ration. Mech. Anal. 125(1), 25–79 (1993). https://doi.org/10.1007/BF00411477
Iwaniec, T., Martin, G.: Quasi regular mappings in even dimensions. Acta Math. 170(1), 29–81 (1993). https://doi.org/10.1007/BF02392454
Iwaniec, T., Scott, C., Stroffolini, B.: Nonlinear Hodge theory on manifolds with boundary. Ann. Mat. Pura Appl. 177(4), 37–115 (1999). https://doi.org/10.1007/BF02505905
Kokilashvili, V., Meskhi, A., Rafeiro, H., Samko, S.: Integral operators in non-standard function spaces. In: Operator Theory: Advances and Applications. Variable Exponent Lebesgue and Amalgam Spaces, vol. 248, pp. xx+567. Springer, Cham (2016)
Koch, L.: On global absence of Lavrentiev gap for functionals with (p,q)-growth (2022). arXiv e-prints arXiv:2210.15454
Mitrea, D., Mitrea, M., Shaw, M.-C.: Traces of differential forms on Lipschitz domains, the boundary de Rham complex, and Hodge decompositions. Indiana Univ. Math. J. 57(5), 2061–2095 (2008). https://doi.org/10.1512/iumj.2008.57.3338
Morrey, C.B. Jr.: Multiple integrals in the calculus of variations. In: Die Grundlehren der Mathematischen Wissenschaften, Band 130, pp. ix+506. Springer, New York (1966)
Mingione, G., Rǎdulescu, V.: Recent developments in problems with nonstandard growth and nonuniform ellipticity. J. Math. Anal. Appl. (2021). https://doi.org/10.1016/j.jmaa.2021.125197
Renteln, P.: Manifolds, Tensors, and Forms: An Introduction for Mathematicians and Physicists. Cambridge University Press, Cambridge (2013). https://doi.org/10.1017/CBO9781107324893
Schwarz, G.: Hodge Decomposition—A Method for Solving Boundary Value Problems, vol. 1607. Lecture Notes in Mathematics, pp. viii+155. Springer, Berlin (1995). https://doi.org/10.1007/BFb0095978
Scott, C.: Lp theory of differential forms on manifolds. Trans. Am. Math. Soc. 347(6), 2075–2096 (1995). https://doi.org/10.2307/2154923
Sil, S.: Calculus of Variations for Differential Forms. Ecole Polytechnique Federale de Lausanne (2016)
Sil, S.: Regularity for elliptic systems of differential forms and applications. Calc. Var. Partial Differ. Equ. 56, 172 (2017). https://doi.org/10.1007/s00526-017-1269-7
Sil, S.: Calculus of variations: a differential form approach. Adv. Calc. Var. 12(1), 57–84 (2019). https://doi.org/10.1515/acv-2016-0058
Sil, S.: Nonlinear Stein theorem for differential forms. Calc. Var. Partial Differ. Equ. 58(4), 154.32 (2019). https://doi.org/10.1007/s00526-019-1598-9
Spivak, M.: Calculus on manifolds. In: A Modern Approach to Classical Theorems of Advanced Calculus, pp. xii+144. W. A. Benjamin, Inc., New York (1965)
Stein, E.M.: Singular Integrals and Differentiability Properties of Functions (PMS-30). Princeton University Press, Princeton (2016). https://doi.org/10.1515/9781400883882
Skrypnik, I.I., Voitovych, M.V.: B1 classes of De Giorgi–Ladyzhenskaya–Ural’tseva and their applications to elliptic and parabolic equations with generalized Orlicz growth conditions. Nonlinear Anal. 202, 112135 (2021). https://doi.org/10.1016/j.na.2020.1121. (30)
Troyanov, M.: On the Hodge decomposition in \({{\mathbb{R}}}^{n}\). Mosc. Math. J. 9(4), 899–926 (2009). https://doi.org/10.17323/1609-4514-2009-9-4-899-926. (936)
Uhlenbeck, K.: Regularity for a class of non-linear elliptic systems. Acta Math. 138.3(4), 219–240 (1977). https://doi.org/10.1007/BF02392316
Zhikov, V.V. : On the density of smooth functions in Sobolev–Orlicz spaces. In: Zap. Nauchn. Sem. S.-Peterburg. Otdel. Mat. Inst. Steklov. (POMI) 310. Kraev. Zadachi Mat. Fiz. i Smezh. Vopr. Teor. Funkts. 35 [34], pp. 67–81, 226 (2004)
Zhikov, V.V.: On variational problems and nonlinear elliptic equations with nonstandard growth conditions. J. Math. Sci. 173(5), 463–570 (2011)
Zhikov, V.V.: Averaging of functionals of the calculus of variations and elasticity theory. Izv. Akad. Nauk SSSR Ser. Mat. 50(4), 675–710 (1986). (877)
Zhikov, V.V.: On Lavrentiev’s phenomenon. Russ. J. Math. Phys. 3(2), 249–269 (1995)
Ziemer, W.P.: Weakly differentiable functions. In: Graduate Texts in Mathematics. Sobolev Spaces and Functions of Bounded Variation, vol. 120, pp. xvi+308. Springer, New York (1989). https://doi.org/10.1007/978-1-4612-1015-3
Acknowledgements
The authors express their deep gratitude to Lars Diening for the fruitful discussions. We would like to thank the reviewer for careful reading of our paper, valuable remarks and suggestions.
Funding
Open Access funding enabled and organized by Projekt DEAL. Anna Kh.Balci research is funded by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) - SFB 1283/2 2021 - 317210226 and by Charles University PRIMUS/24/SCI/020 and Research Centre program No. UNCE/24/SCI/005. Mikhail Surnachev was supported by Moscow Center of Fundamental and Applied Mathematics, Agreement with the Ministry of Science and Higher Education of the RF, No. 075-15-2022-283.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by L. Szekelyhidi.
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
Balci, A.K., Surnachev, M. The Lavrentiev phenomenon in calculus of variations with differential forms. Calc. Var. 63, 62 (2024). https://doi.org/10.1007/s00526-024-02664-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00526-024-02664-1