Abstract
The aim of this note is to study the theory of capacity in fractional Sobolev spaces with variable exponents. We focus on the most important properties of this capacity including the convergence of a sequence, the determination of subsets of \(\Omega\) with null capacity. In addition, we define the fractional Sobolev space with variable exponents and zero boundary values and we prove some of its basic properties, such as reflexivity. To illustrate our results, we show that the Dirichlet energy has a minimizer in fractional Sobolev spaces with variable exponents.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
In recent years, elliptic problems involving the fractional p(x, .) Laplacian operator have been subject of intensive investigation. In order to solve these problems, Kaufmann et al. [17] introduced in 2017 recent results about the new fractional Sobolev space with variable exponents \(W^{s,q(x), p(x,y)}\) defined as :
where \(s \in ( 0, 1),\) \(\Omega \subset {\mathbb {R}}^{N}\) is a bounded domain with Lipschitz boundary, \(q : \overline{\Omega } \rightarrow (1,\infty )\) and \(p :\overline{\Omega }\times \overline{\Omega } \rightarrow (1,\infty )\) are two continuous functions. Furthermore, they established a continuous and compact embedding theorem of these spaces into Lebesgue spaces. In addition, by applying a direct method of calculus of variations for the following energy fractional
the authors proved existence and uniqueness of a solution for a nonlocal problem involving p(x, .) Laplacian operator. Later, many scholars further studied the theory and applications of this type of spaces, see for instance [7, 8, 10, 11, 15] and the references therein.
The notion of capacity plays an important role in the study of classical and nonlinear potential theory. Indeed, capacities are characterized by the property of giving the measure of small sets more precisely than the usual Lebesgue measure and they are absolutely necessary to understand point-wise behavior of functions in a Sobolev space. For the theory and applications of capacity see for instance [1,2,3,4, 14, 18, 23] and the references therein. Recently, Baalal and Berghout studied in [9] two kinds of capacities : Sobolev capacity \(C^{s}_{q(.),p(.,.)}\) and relative capacity connected with fractional Sobolev spaces with variable exponents, they proved that both capacities are Choquet capacities and all Borel sets are capacitable. In this context, fractional capacities for fixed exponent spaces were studied by many scholars such as [25,26,27]. Based on the fact that \(C^{s}_{q(.),p(.,.)}\) is an outer capacity, we deal on the convergence of a sequence in \(C^{s}_{q(.),p(.,.)}\)-capacity and we give sufficient conditions on a subset E of \({\mathbb {R}}^{N}\) ensuring that \(C^{s}_{q(.),p(.,.)}(E) = 0.\)
The Sobolev space with zero boundary is significant to specify or compare boundary values of Sobolev functions. In the classical Euclidean case with the Lebesgue measure, the first order Sobolev space with zero boundary values is defined as a completion of compacty supported smooth functions under the Sobolev norm [20]. Afterwards, Harjulehto et al. studied the definition of the variable exponent Sobolev space with zero boundary values involving a method introduced in [22] for metric measure. Later, this notion has been extended to the Musielak–Orlicz–Sobolev space and the weighted variable exponent Sobolev space on metric measure spaces (see [6, 24]). In a recent work [5], we have also studied the anisotropic Sobolev space with zero boundary values and showed some of its properties using results related to anisotropic Sobolev \(\vec {p}\)-capacity.
Our goal in this work is to study the fractional Sobolev space with variable exponents and zero boundary values using the concept of fractional capacities. More precisely, our results on the \(C^{s}_{q(.),p(.,.)}\)-capacity allow us to prove that the Sobolev space with variable exponent and zero boundary values \(H^{s,q(.),p(.,.)}(\Omega )\) is a Banach reflexive space and it coincides with \(H^{s,q(.),p(.,.)}( \Omega \backslash E)\) for all set E satisfying \(C^{s}_{q(.),p(.,.)}(E)=0.\)
For this purpose, the present paper is organized as follows. In Sect. 2, we briefly recall some preliminary knowledge on fractional Sobolev spaces with variable exponents and some properties of capacities. In Sect. 3, we mainly give furthers results related to the fractional \(C^{s}_{q(.),p(.,.)}\) capacity, we define also the fractional Sobolev space with variable exponents and zero boundary values and prove some of its properties. As an application of our results, we prove in Sect. 4 that the Dirichlet energy has a minimizer in the fractional Sobolev space with variable exponents and zero boundary values.
2 Some preliminary results
2.1 Fractional Sobolev spaces with variable exponents
We begin this section by remembering the definition of the variable exponent fractional Sobolev space as defined in [17]. Let \(\Omega\) be an open in \({\mathbb {R}}^{N} (N \in {\mathbb {N}})\). We set \(s \in (0,1)\) and consider two mesurables variable exponents functions , that is \(q: \Omega \rightarrow [0,+\infty )\) and \(p : \Omega \times \Omega \rightarrow [0,+\infty ) .\) We denote by \({\mathcal {P}}(\Omega )\) the set of variable exponents \(q: \Omega \rightarrow [0,+\infty )\) and by \({\mathcal {P}}(\Omega \times \Omega )\) the set of variable exponents \(p : \Omega \times \Omega \rightarrow [0,+\infty ).\) We set
In the following, we assume that
Notice that by proposition 4.1.7 in [12], we can extend q and p to all of \({\mathbb {R}}^{N}\) and \({\mathbb {R}}^{N}\times {\mathbb {R}}^{N}\) respectively. The variable exponent Lebesgue \(L^{q(.)}\) is defined as :
We recall the definition of the fractional Sobolev space with variable exponents as follows:
The definition of the spaces \(L^{q(.)}({\mathbb {R}}^{N})\) and \(W^{s,q(.), p(.,.)}({\mathbb {R}}^{N})\) are analogous to \(L^{q(.)}(\Omega )\) and \(W^{s,q(.), p(.,.)}(\Omega );\) one just changes every occurrence of \(\Omega\) by \({\mathbb {R}}^{N}.\) We refer to [8, 11, 17] for more details. We denote by \(\varphi _{q(.),p(.,.)}^{s, \Omega }\) the modular on \(W^{s,q(.), p(.,.)}(\Omega )\) defined by :
When \(\Omega = {\mathbb {R}}^{N},\) we denote it by \(\varphi _{q(.),p(.,.)}^{s}.\)
is the corresponding variable exponent Gagliardo semi-norm. By the same arguments as in [13] for the constant case, it easy to see that \(W^{s,q(.), p(.,.)}(\Omega )\) is a Banach space with the norm:
We denote by \(C^{\infty }_{0}(\Omega )\) the set of infinitely differentiable functions with compact support on \(\Omega .\)
Let \(W_{0}^{s,q(.), p(.,.)}(\Omega )\) be the closure in \(W^{s,q(.), p(.,.)}(\Omega )\) of the set \(C^{\infty }_{0}(\Omega ).\) The modular \(\varphi _{q(.),p(.,.)}^{s, \Omega }\) induces a norm denoted by
which is equivalent to the norm \(||u||_{s,q(.), p(.,.)}.\)
Then \(u\in W^{s,q(.), p(.,.)}(\Omega )\) if and only if \(\varphi _{q(.),p(.,.)}^{ s,\Omega }(u) < \infty\).
Proposition 2.1
[9] Let \(s\in (0,1),\) \(q\in {\mathcal {P}}(\Omega )\) and \(p\in {\mathcal {P}}(\Omega \times \Omega ).\) The space \(W^{s,q(.), p(.,.)}(\Omega )\) is separable, reflexive and uniformly convex.
Remark 2.2
Recall that a normed space E has the Banach Saks property if: \(\frac{1}{n}\sum \nolimits ^{n}_{i=1}u_{i}\) converges to u strongly in E, when every \(u_{i}\) weakly converges to u. By [16], every uniformly convex space has the Banach Saks property.
By application of the previous Proposition, we have the following result.
Corollary 2.3
[9] Let \(s\in (0,1),\) \(q\in {\mathcal {P}}(\Omega )\) and \(p\in {\mathcal {P}}(\Omega \times \Omega ).\) The space \(W^{s,q(.), p(.,.)}(\Omega )\) has the Banach Saks property.
Proposition 2.4
[9] Let \(s \in (0,1),\) \(q\in {\mathcal {P}}(\Omega )\) and \(p\in {\mathcal {P}}(\Omega \times \Omega ).\) Let \(u_{n}, u \in W^{s,q(.), p(.,.)}(\Omega )\) such that \(n\in {\mathbb {N}}.\) Then the following statements are equivalents :
-
1.
\(\lim \nolimits _{n\rightarrow \infty } ||u_{n}-u||_{\varphi _{q(.),p(.,.)}^{s,\Omega } }=0 ;\)
-
2.
\(\lim \nolimits _{n\rightarrow \infty } \varphi _{ q(.),p(.,.)}^{s,\Omega }(u_{n}-u)=0 ;\)
-
3.
\((u_{n})_{n}\) converges to u in \(\Omega\) in measure and
$$\begin{aligned} \lim \limits _{n\rightarrow \infty } \varphi _{q(.),p(.,.)}^{s, \Omega }(u_{n}) = \varphi _{q(.),p(.,.)}^{s,\Omega }(u). \end{aligned}$$
2.2 Capacity
Definition 2.1
Let E be a topological space and T be the class of Borel sets in E, and let C : \(T \rightarrow [0,+\infty ]\) be a function.
-
(1)
The function C is called a capacity if the following axioms are satisfied:
-
(i)
\(C(\emptyset )=0\).
-
(ii)
\(X\subset Y\Rightarrow C(X)\le C(Y)\) for all X and Y in T (monotonicity),
-
(iii)
For all sequence \((X_{n})\subset T\)
$$\begin{aligned} \displaystyle C\left( \bigcup \limits _{n}X_{n}\right) \le \sum \limits _{n}C(X_{n}). (countable\, subadditivity) \end{aligned}$$
-
(i)
-
(2)
The capacity C is called an outer capacity if, for all \(X \in T,\)
$$\begin{aligned} \displaystyle C(X)=\displaystyle \inf \{C(O):O\supset X, O\quad \text{ is } \text{ open } \}. \end{aligned}$$ -
(3)
The capacity C is called an interior capacity if, for all \(X \in T,\)
$$\begin{aligned} C(X)=\displaystyle \sup \{C(K):K\subset X, K\quad \text{ is } \text{ compact }\}. \end{aligned}$$ -
(4)
A property, that holds true except perhaps on a set of capacity zero is said to be true C-quasi everywhere \(\left( abbreviated \quad C-q.e \right) .\)
Definition 2.2
Let f be a real-valued function finite C-q.e and \((f_{n})\) be a sequence of real-valued function finite C-q.e. (1) We say that \((f_{n})\) converges to f in C-capacity if
(2) We say that \((f_{n})\) converges to f C-quasi-uniformly \(\left( abbreviated \quad C -q.u \right)\) if \(\forall \varepsilon >0, \exists X\in T: C(X)<\varepsilon\) and \((f_{n})\) converges to f uniformly on \(X^{c}.\)
Now, we recall the definition of capacity in the fractional Sobolev space \(W^{s,q(.), p(.,.)}({\mathbb {R}}^{N})\) given in [9].
Definition 2.3
[9] Let \(0<s<1,\) \(q\in {\mathcal {P}}({\mathbb {R}}^{N})\) and \(p \in {\mathcal {P}}({\mathbb {R}}^{N}\times {\mathbb {R}}^{N}).\) For a set \(E\subset {\mathbb {R}}^{N},\) we consider
The fractional Sobolev (s, q(.) , p(., .))-capacity of the set E is defined by
If \(B_{q(.), p(.,.)}^{s}(E) = \phi ,\) we set \(C^{s}_{q(.), p(.,.)}(E)=\infty\). Functions belonging to \(B_{q(.), p(.,.)}^{s}(E)\) are called admissible functions for E.
Theorem 2.5
[9] The \(C^{s}_{q(.), p(.,.)}\)-capacity is a Choquet capacity.
3 Main results
In this section, we present our main results involving convergence in \(C^{s}_{q(.),p(.,.)}\)-capacity. We define the fractional Sobolev space with variable exponent and zero boundary values and we prove that it is a Banach reflexive space.
3.1 Convergence in \(C^{s}_{q(.), p(.,.)}\)-capacity
Proposition 3.1
Let \(E \subset {\mathbb {R}}^{N},\) then
-
(i)
we have :
$$\begin{aligned} \mu (E) \le \quad C^{s}_{q(.), p(.,.)}(E), \end{aligned}$$where \(\mu\) is the Lebesgue’s measure of E.
-
(ii)
If there exists \(u \in W^{s,q(.),p(.,.)}({\mathbb {R}}^{N})\) such that \(u=+\infty\) on an open set containing E then \(C^{s}_{q(.),p(.,.)}(E)=0.\)
Proof
-
(i)
If \(C^{s}_{q(.), p(.,.)}(E)= \infty ,\) there is nothing to prove. We may assume that \(C^{s}_{q(.), p(.,.)}(E)< \infty .\) Let \(\varepsilon > 0\) and take \(u \in B_{q(.), p(.,.)}^{s}(E)\) such that
$$\begin{aligned} \varphi _{q(.),p(.,.)}^{s}(u)\le C^{s}_{q(.), p(.,.)}(E)+ \varepsilon . \end{aligned}$$(6)There is an open \(O \supset E\) such that \(u\ge 1\) in O.
$$\begin{aligned} \mu (E) \le \int _{O} \mid u \mid d\mu \le \varphi _{q(.),p(.,.)}^{s}(u). \end{aligned}$$(7)By using (6) and (7) and letting \(\varepsilon \rightarrow 0,\) we obtain the result.
-
(ii)
Let \(u \in W^{s,q(.),p(.,.)}({\mathbb {R}}^{N})\) such that \(u=+\infty\) on an open set O containing E, then \(u\ge \alpha\) for all \(\alpha > 0,\) we have
$$\begin{aligned} C^{s}_{q(.), p(.,.)}(E)\le \varphi _{q(.),p(.,.)}^{s,\Omega }\Bigg (\frac{1}{\alpha }u\Bigg )\le \max \Bigg ( \Bigg (\frac{1}{\alpha }\Bigg )^{q^{+}},\Bigg (\frac{1}{\alpha }\Bigg )^{p^{+}}\Bigg ) \quad \varphi _{q(.),p(.,.)}^{s}(u). \end{aligned}$$Since \(p^{+}<\infty ,\) \(q^{+}<\infty\) and by letting \(\alpha \rightarrow +\infty ,\) we obtain :
$$\begin{aligned} C^{s}_{q(.),p(.,.)}(E)=0 . \end{aligned}$$
\(\square\)
Theorem 3.2
Let u and \((u_{n})_{n}\) be in \(W^{s,q(.),p(.,.)}({\mathbb {R}}^{N})\) and consider the following propositions:
-
(i)
\(u_{n}\rightarrow u\) strongly in \(W^{s,q(.),p(.,.)}({\mathbb {R}}^{N})\).
-
(ii)
\(u_{n}\rightarrow u\) in \(C^{s}_{q(.), p(.,.)}\)-capacity .
-
(iii)
There is a subsequence \((u_{n_{j}})\) such that \(u_{n_{j}}\rightarrow u\) in \(C^{s}_{q(.), p(.,.)}\)-q.u.
-
(iv)
\(u_{n_{j}} \rightarrow u\) in \(C^{s}_{q(.), p(.,.)}-\) q.e.
Then we have
Proof
-
We show that \((i)\Rightarrow (ii).\)
By Proposition 3.1, we have u and \(u_{n}\) are finite \(C^{s}_{q(.), p(.,.)}\)-q.e, for all n. Let \(\varepsilon > 0,\) then
Consequently, by Proposition 2.4, we get
and we have,
-
We show that \((ii) \Rightarrow (iii).\)
Let \(\varepsilon >0,\) then there exists \(u_{n_{j}}\) such that
We put
and
Then we have
On the other hand,
thus
-
We show that \((iii)\Rightarrow (iv).\)
We have
and
We put \(X=\bigcap \nolimits _{j}X_{j}\), then \(C^{s}_{q(.), p(.)}(X)=0\) and
\(\square\)
As an immediate consequence of Theorem 3.2 and Proposition 3.1, we have the following result.
Corollary 3.3
If \((u_{n})_{n}\) is a sequence which converges to u in \(W^{s,q(.),p(.,.)}({\mathbb {R}}^{N})\), then there exists a subsequence of \((u_{n})_{n}\) which converges to u, \(\mu\)-a.e.
Definition 3.1
A function \(u : {\mathbb {R}}^{N} \rightarrow [-\infty , +\infty ]\) is called a \(C^{s}_{q(.), p(.,.)}\)-quasicontinuous function in \({\mathbb {R}}^{N}\) if for every \(\varepsilon > 0\) there is a set X such that \(C^{s}_{q(.), p(.,.)}(X) < \varepsilon\) and the restriction of u to \({\mathbb {R}}^{N},\) denoted by \(u_{{\mathbb {R}}^{N} \backslash X}\) is continuous.
Theorem 3.4
The \(C^{s}_{q(.), p(.,.)}\)-capacity satisfies the following properties :
-
(1)
If O is an open set of \({\mathbb {R}}^{N}\) and \(E \subset {\mathbb {R}}^{N}\) is such that \(\mu (E)=0,\) then
$$\begin{aligned} C^{s}_{q(.), p(.,.)}(O)= C^{s}_{q(.), p(.,.)}(O-E). \end{aligned}$$ -
(2)
Let u and v be \(C^{s}_{q(.), p(.)}\) - quasicontinuous functions in \({\mathbb {R}}^{N},\) we have (i) if \(u=v\), almost everywhere in an open \(O \subset {\mathbb {R}}^{N},\) then
$$\begin{aligned} u=v \quad C^{s}_{q(.), p(.,.)} \text{-quasi } \text{ everywhere } \text{ in } \quad O, \end{aligned}$$(ii) If \(u\le v\), almost everywhere in an open \(O\subset {\mathbb {R}}^{N},\) then
$$\begin{aligned} u\le v \quad C^{s}_{q(.), p(.,.)}\text{-quasi } \text{ everywhere } \text{ in } \quad O. \end{aligned}$$
Proof
-
(1)
It is obvious that \(C^{s}_{q(.), p(.,.)}(O) \ge C^{s}_{q(.), p(.,.)}(O-E).\) Let \(u \in B_{q(.), p(.,.)}^{s}(O-E)\) thus \(u \ge 1\) in an open set containing \(O-E .\) Let the function f define as : \(f(x) = {\left\{ \begin{array}{ll} u(x), &{} \text { if }\quad x \in {\mathbb {R}}^{N} - E \\ 1, &{} \text { if }\quad x \in E. \end{array}\right. }\) We have \(f \in B_{q(.), p(.,.)}^{s}(O)\) and \(\varphi _{q(.),p(.,.)}^{s}(f)=\varphi _{q(.),p(.,.)}^{s}(u),\) thus
$$\begin{aligned} C^{s}_{q(.), p(.,.)}(O) \le \varphi _{q(.),p(.,.)}^{s}(u), \end{aligned}$$by passing to \(\inf ,\) we obtain
$$\begin{aligned} C^{s}_{q(.), p(.,.)}(O) \le C^{s}_{q(.), p(.,.)}(O-E). \end{aligned}$$ -
(2)
Since \(C^{s}_{q(.), p(.,.)}\) is an outer capacity, we get the results by [21].
\(\square\)
Now, we prove the following results which will be useful below.
Proposition 3.5
Let \(\Omega\) an open of \({\mathbb {R}}^{N}.\) If \(\left( u_{n}\right) _{n}\), \(u \in W^{s,q(.),p(.,.)}(\Omega )\) are such that \(u_{n}\rightharpoonup u\) weakly in \(W^{s,q(.),p(.,.)}(\Omega )\) then
Proof
Since \(W^{s,q(.),p(.,.)}(\Omega )\) is a reflexive space and \(u_{n} \rightharpoonup u\) weakly in \(W^{s,q(.),p(.,.)}(\Omega ).\) Then by applying Banach–Saks theorem, there is a subsequence denoted again by \((u_{n})\) such that the sequence \((h_{n})\) defined by \(h_{n}=\frac{1}{n}\sum \nolimits ^{n}_{i=1}u_{i}\) converges to u strongly in \(W^{s,q(.),p(.,.)}(\Omega )\). Moreover, by Theorem 3.2, there is a subsequence of \((h_{n})\) denoted again by \((h_{n})\), such that
On the other hand,
Therefore,
For the second inequality, it suffices to replace \(u_{n}\) by \((-u_{n})\) in the first inequality. \(\square\)
In the following, we assume that \(\Omega\) is an open set of \({\mathbb {R}}^{N}.\)
3.2 Fractional Sobolev spaces with variable exponents and zero boundary values
Definition 3.2
We say that a function u belongs to the fractional Sobolev space with variable exponents and zero boundary values, and we denote \(u \in H^{s,q(.),p(.,.)}(\Omega ),\) if there is a \(C^{s}_{q(.), p(.,.)}\)-quasicontinuous function \({\tilde{u}} \in W^{s,q(.),p(.,.)}({\mathbb {R}}^{N}),\) called canonical representative, such that \({\tilde{u}} = u\) almost everywhere in \(\Omega\) and \({\tilde{u}}=0\) quasi everywhere in \({\mathbb {R}}^{N} \backslash \Omega .\)
The set \(H^{s,q(.),p(.,.)}(\Omega )\) is endowed with the norm
Remark 3.6
Since \(C^{s}_{q(.), p(.,.)}(E) = 0\) implies that \(\mu (E)=0\) for every \(E\subset {\mathbb {R}}^{N},\) observe that the norm does not depend on the choice of the quasicontinuous representative .
Theorem 3.7
The fractional Sobolev space with variable exponent and zero boundary values \(H^{s,q(.),p(.,.)}(\Omega )\) is a Banach space.
Proof
Let \((u_{n})_{n}\) be a Cauchy sequence in \(H^{s,q(.,.),p(.,.)}(\Omega ),\) for every n there is a \(C^{s}_{q(.), p(.,.)}\)-quasicontinuous function \(\tilde{u_{n}} \in W^{s,q(.),p(.,.)}({\mathbb {R}}^{N})\) such that \({\tilde{u}}_{n}= u_{n}\) almost everywhere in \(\Omega\) and \(\tilde{u_{n}}=0, C^{s}_{q(.), p(.,.)}\)-quasi everywhere in \({\mathbb {R}}^{N}\backslash \Omega .\) Since \(W^{s,q(.),p(.,.)}({\mathbb {R}}^{N})\) is a Banach space, there is a function u such that \(\tilde{u_{n}}\rightarrow u\) in \(W^{s,q(.),p(.,.)}({\mathbb {R}}^{N})\) as \(n \rightarrow +\infty .\) By applying Theorem 3.2, we deduce that u is \(C^{s}_{q(.), p(.,.)}\)-quasicontinuous and by Proposition 3.5 we have \(u = 0\) \(C^{s}_{q(.), p(.,.)}\)-q.e in \({\mathbb {R}}^{N} \backslash \Omega .\) Consequently, \(u \in H^{s,q(.),p(.,.)}(\Omega )\) and we conclude that the space \(H^{s,q(.,.),p(.,.)}(\Omega )\) is complete. \(\square\)
Corollary 3.8
The space \(H^{s,q(.),p(.,.)}(\Omega )\) is reflexive.
Proof
Since \(W^{s,q(.),p(.,.)}({\mathbb {R}}^{N})\) is a reflexive Banach space, by applying Theorem 3.7, we deduce that the space \(H^{s,q(.),p(.)}(\Omega )\) is closed, and therefore \(H^{s,q(.),p(.,.)}(\Omega )\) is reflexive. \(\square\)
Corollary 3.9
We have \(W_{0}^{s,q(.),p(.,.)}(\Omega )\subset H^{s,q(.),p(.,.)}(\Omega ) \subset W^{s,q(.),p(.,.)}(\Omega ).\)
Proof
Since \(C^{\infty }_{0}(\Omega ) \subset H^{s,q(.),p(.,.)}(\Omega )\) and by applying Theorem 3.7, we obtain the first inclusion. The second inclusion follows directly from the definition of the space \(H^{s,q(.,.),p(.)}(\Omega ).\) \(\square\)
Proposition 3.10
Let \(f\in H^{s,q(.),p(.,.)}(\Omega )\) and \(g \in W^{s,q(.),p(.,.)}({\mathbb {R}}^{N}).\) If f is bounded and g is \(C^{s}_{q(.), p(.,.)}\)-quasicontinuous, then \(fg \in H^{s,q(.),p(.,.)}(\Omega ).\)
Proof
Let \({\tilde{f}}\in W^{s,q(.),p(.,.)}({\mathbb {R}}^{N})\) be a \(C^{s}_{q(.), p(.,.)}\)-quasicontinuous representative function of f. We have \({\tilde{f}}g\) is \(C^{s}_{q(.), p(.,.)}\)-quasicontinuous in \({\mathbb {R}}^{N}.\) Let \(D= \Big \{x\in {\mathbb {R}}^{N} \backslash \Omega : {\tilde{f}}g\ne 0 \Big \}\), then \(D= G \cup H\) where
and
It is obvious that \(C^{s}_{q(.), p(.,.)} (G)= 0\) and by Proposition 3.1 we have \(C^{s}_{q(.), p(.,.)} (H)= 0\), thus
Therefore,
Since \({\tilde{f}}g=fg\) a.e in \(\Omega ,\) we get
\(\square\)
Theorem 3.11
Let \(E\subset \Omega\) be such that \(C^{s}_{q(.), p(.,.)}(E)=0\), we have
Proof
It is obvious that \(H^{s,q(.),p(.,.)} (\Omega \backslash E) \subset H^{s,q(.),p(.,.)}(\Omega ).\) Let \(u \in H^{s,q(.),p(.,.)}(\Omega ),\) then there is a \(C^{s}_{q(.), p(.,.)}\)-quasicontinuous function \({\tilde{u}}\in W^{s,q(.),p(.,.)}({\mathbb {R}}^{N})\) such that \({\tilde{u}}= u\) a.e in \(\Omega\) and \({\tilde{u}}=0\) \(C^{s}_{q(.), p(.,.)}\)-quasi everywhere in \({\mathbb {R}}^{N} \backslash \Omega .\) Since \(C^{s}_{q(.), p(.,.)}(E)=0,\) we have \({\tilde{u}} = 0\) \(C^{s}_{q(.), p(.,.)}\)-quasi everywhere in \({\mathbb {R}}^{N} \backslash (\Omega \backslash E ).\) Thus, \(u \in H^{s,q(.),p(.,.)}(\Omega \backslash E).\) \(\square\)
Remark 3.12
If \(C^{s}_{q(.), p(.,.)}(\partial \Omega )=0,\) then \(H^{s,q(.),p(.,.)}({\mathring{\Omega }})= H^{s,q(.),p(.,.)}(\overline{\Omega }).\)
4 Application
4.1 The Dirichlet energy integral minimizers
Definition 4.1
Let \(g \in W^{s,q(.),p(.,.)}(\Omega ).\) For all \(u \in H^{s,q(.),p(.,.)}(\Omega ),\) we define the energy operator \(I^{s,p(.,.)}_{\Omega ,g}(u)\) corresponding to the boundary value function g by
Theorem 4.1
Let \(H^{s,q(.),p(.,.)}(\Omega )\) be the fractional Sobolev space with variable exponents and zero boundary values. Then there exists a function \(u \in H^{s,q(.),p(.,.)}(\Omega )\) such that
Proof
It follows from Theorem 3.7 and Corollary 3.8 that \(H^{s,q(.),p(.,.)}(\Omega )\) is a reflexive Banach space.
Since the function \(x\rightarrow x^{p}\) is convex for every fixed \(1<p<\infty\), we deduce that \(I^{s,p(.,.)}_{\Omega ,g}\) is convex. Moreover, \(I^{s,p(.,.)}_{\Omega ,g}\) is lower semi-continuous. Next, we show that \(I^{s,p(.,.)}_{\Omega ,g}\) is coercive . Indeed, we can observe that for any \(u \in H^{s,q(.),p(.,.)}(\Omega )\) with \(|| u ||_{H^{s, q(.), p(.,.)}(\Omega )} > 1,\)
This implies the coercivity of \(I^{s,p(.,.)}_{\Omega ,g},\) hence we conclude by applying the following Lemma \(\square\)
Lemma 4.2
[19] Let H be a reflexive Banach space. If \(I : H \rightarrow {\mathbb {R}}\) is a convex, lower semi-continuous and coercive operator, then there is an element in H that minimizes I.
References
Adams, D.R.: Sets and functions of finite \(L^{p}\)-capacity. Indiana Univ. Math. J. 27(4), 611–627 (1978)
Aissaoui, N., Akdim, Y., Benkirane, A., Hassib, M.C.: Capacity, Theorem of H. Brezis and F.E. Browder type in Musielak–Orlicz–Sobolev spaces and application. Nonlinear Dyn. Syst. Theory. 17(2), 175–192 (2017)
Akdim, Y., Elharch, R., Hassib, M.C., Lalaoui Rhali, S.: Capacity in anisotropic Sobolev spaces. Nonlinear Dyn. Syst. Theory 21(2), 115–125 (2021)
Akdim, Y., Elharch, R., Hassib, M.C., Lalaoui Rhali, S.: Theorem of Brezis and Browder type in anisotropic Sobolev spaces. Rend. Circ. Mat. Palermo II. Ser (2021). https://doi.org/10.1007/s12215-021-00678-8
Akdim, Y., Elharch, R., Hassib, M.C., Lalaoui Rhali, S.: Capacity and anisotropic Sobolev spaces with zero boundary values. Nonlinear Dyn. Syst. Theory 22(1), 1–12 (2022)
Akdim, Y., Hassib, M.C.: Weighted variable exponent Sobolev spaces on metric measure spaces. Moroccan J. Pure Appl. Anal. 4(2), 62–76 (2018)
Azroul, E., Benkirane, A., Shimi, M.: Eigenvalue problems involving the fractional \(p(x)\)-Laplacian operator. Adv. Oper. Theory 4, 539–555 (2019)
Baalal, A., Berghout, M.: Traces and fractional Sobolev extension domains with variable exponent. Int. J. Math. Anal. 12, 85–98 (2018)
Baalal, A., Berghout, M.: Theory of capacities in fracional Sobolev spaces with variable exponents. arXiv preprint arXiv:1904.08997 (2019)
Bahrouni, A., dulescu, V.D.: On a new fractional Sobolev space and applications to nonlocal variational problems with variable exponent. Discrete Contin. Dyn. Syst. Ser. S 11, 379–389 (2018)
Del Pezzo, L.M., Rossi, J.D.: Traces for fractional Sobolev spaces with variable exponents. Adv. Oper. Theory 2, 435–446 (2017)
Diening, L., Harjulehto, P., Hasto, P., Ruzicka, M.: Lebesgue and Sobolev spaces with variable exponents. In: Lecture Notes in Mathematics, vol. 2017. Springer, Berlin (2011)
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136, 521–573 (2012)
Heinonen, J., Kilpelïinen, T., Martio, O.: Nonlinear Potential Theory of Degenerate Elliptic Equations. Oxford Mathematical Monographs, Oxford University Press, Oxford (1993)
Ho, K., Kim, Y.H.: A-priori bounds and multiplicity of solutions for nonlinear elliptic problems involving the fractional \(p(.)\)-Laplacian. Nonlinear Anal. 188, 179–201 (2019)
Kakutani, S.: Weak convergence in uniformly convex spaces. Tohoku Math. J. 45, 188–193 (1938)
Kaufmann, U., Rossi, J.D., Vidal, R.: Fractional Sobolev spaces with variable exponents and fractional \(p(x)\)-Laplacians. Electron. J. Qual. Theory Differ. Equ. 76, 1–10 (2017)
Khavin, V.P., Maz’ya, V.G.: Nonlinear potential theory. Uspekhi Math. Nauk. 27, 71–148 (1972)
Kinderlehrer, D., Stampacchia, G.: An Introduction to Variational Inequalities and Their Applications. Academic Press, London (1980)
Kinnunen, J.: Sobolev Spaces. Aalto University, Department of Mathematics and Systems Analysis, Espoo (2017)
Kilpeläinen, T.: A remark on the uniqueness of quasi continuous functions. Ann. Acad. Sci. Fenn. Math. 23, 261–262 (1998)
Kilpeläinen, T., Kinnunen, J., Martio, O.: Sobolev spaces with zero boundary values on metric spaces. Potential Anal. 12(3), 233–247 (2000)
Meyers, N.G.: A theory of capacities for potentials of functions in Lebesgue classes. Math. Scand. 26(2), 255–292 (1970)
Ohno, T., Shimomura, T.: Musielak–Orlicz–Sobolev spaces with zero boundary values on metric measure spaces. Czechoslov. Math. J. 66(2), 371–394 (2016)
Shi, S., Xiao, J.: On fractional capacities relative to bounded open Lipschitz sets. Potential Anal. 45(2), 261–298 (2016)
Warma, M.: The fractional relative capacity and the fractional Laplacian with Neumann and Robin boundary conditions on open sets. Potential Anal. 42(2), 499–547 (2015)
Xiao, J.: Optimal geometric estimates for fractional Sobolev capacities. C. R. Math. Acad. Sci. Paris 354(2), 149–153 (2016)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Akdim, Y., Elharch, R., Hassib, M.C. et al. Some results of capacity in fractional Sobolev spaces with variable exponents. J Elliptic Parabol Equ 9, 93–106 (2023). https://doi.org/10.1007/s41808-022-00189-2
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s41808-022-00189-2
Keywords
- Fractional Sobolev spaces with variable exponents
- Capacity
- Fractional Sobolev spaces and zero boundary values
- Dirichlet energy