Abstract
Given \(\alpha \in (0,1]\) and \(p\in [1,+\infty ]\), we define the space \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n)\) of \(L^p\) vector fields whose \(\alpha \)-divergence is a finite Radon measure, extending the theory of divergence-measure vector fields to the distributional fractional setting. Our main results concern the absolute continuity properties of the \(\alpha \)-divergence-measure with respect to the Hausdorff measure and fractional analogues of the Leibniz rule and the Gauss–Green formula. The sharpness of our results is discussed via some explicit examples.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
1.1 The classical framework
The theory of divergence-measure fields in the Euclidean space naturally emerged as the appropriate setting for the study of minimal regularity conditions allowing for integration-by-parts and Gauss–Green formulas. Since Anzellotti’s seminal paper [3], several fundamental results have been established in the last 20 years, such as Leibniz rules for divergence-measure fields and suitably weakly differentiable scalar functions, well-posedness of generalized normal traces on rectifiable sets, and integration-by-parts formulas under minimal regularity assumptions, see [1, 7,8,9, 14, 15, 23,24,25,26, 33, 50,51,52]. Since its beginning, the theory of divergence-measure fields have found numerous applications in several areas, including Continuum Mechanics [30, 48, 49], hyperbolic systems of conservation laws [1, 8, 11, 29], gas dynamic [10] and Dirichlet problems for the 1-Laplacian operator and prescribed mean curvature-type equations [12, 27, 28, 37,38,39,40, 43, 46, 47], just to name a few. For recent extensions to non-Euclidean frameworks, we refer to [5, 6, 16].
The basic definition goes as follows (see Sect. 2.1 for the notation). Given \(p\in [1,+\infty ]\), we say that a vector field \(F\in L^p({\mathbb {R}}^n;{\mathbb {R}}^n)\) has divergence-measure, and we write \(F\in {\mathcal {D}}{\mathcal {M}}^{1,p}({\mathbb {R}}^n)\), if there exists a finite Radon measure \(divF\in {\mathscr {M}}({\mathbb {R}}^n)\) such that
for all \(\xi \in C^{\infty }_{c}({\mathbb {R}}^n)\). The integration-by-parts formula (1.1) clearly generalizes the usual Divergence Theorem. In fact, if the vector field F is sufficiently regular, say \(F\in {{\,\textrm{Lip}\,}}_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n;{\mathbb {R}}^n)\), then \(divF=\textrm{div}F\,{\mathscr {L}}^{n}\) in (1.1), where \({\mathscr {L}}^{n}\) is the n-dimensional measure.
As for the analogous case of functions with bounded variation, the two principal questions regarding \({\mathcal {D}}{\mathcal {M}}^{1,p}\) vector fields concern the absolute continuity properties of the divergence-measure with respect to the Hausdorff measure \({\mathscr {H}}^{s}\), for \(s\in [0,n]\), and the well-posedness of a Leibniz rule with suitable scalar functions.
The absolute continuity properties of the divergence-measure of a \({\mathcal {D}}{\mathcal {M}}^{1,p}\) vector field with respect to the Hausdorff measure hold as follows, see [49, Th. 3.2 and Exam. 3.3].
Theorem 1.1
(Absolute continuity properties of the divergence-measure) Assume that \(F \in {\mathcal {D}}{\mathcal {M}}^{1, p}({\mathbb {R}}^{n})\) with \(p\in [1,+\infty ]\). We have the following cases:
-
(i)
if \(p \in \left[ 1, \frac{n}{n - 1} \right) \), then \(div\, F\) does not enjoy any absolute continuity property;
-
(ii)
if \(p \in \left[ \frac{n}{n - 1}, + \infty \right) \), then \(|divF|(B) = 0\) on Borel sets B of \(\sigma \)-finite \({\mathscr {H}}^{n - \frac{p}{p - 1}}\) measure;
-
(iii)
if \(p = + \infty \), then \(|divF| \ll {\mathscr {H}}^{n - 1}\).
The Leibniz rule involving \({\mathcal {D}}{\mathcal {M}}^{1,p}\) vector fields and Sobolev functions is stated in Theorem 1.2 below, for which we refer to [7, Prop. 3.1], [8, Th. 3.1], [13, Th. 3.2.3] and [34, Th. 2.1]. Here and in the following, for \(x\in {\mathbb {R}}^n\), we let
be the precise representative of \(g\in L^1_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\). For the notion of (Anzellotti’s) pairing measure briefly recalled in the statement, we refer the reader to [3, Def. 1.4], [8, Th. 3.2], or to [23, Sec. 2.5] for a more general formulation.
Theorem 1.2
(Leibniz rule for \({\mathcal {D}}{\mathcal {M}}^{1,p}\) vector fields and weakly differentiable functions) Let \(p,q\in [1,+\infty ]\) be such that \(\frac{1}{p}+\frac{1}{q}=1\). If \(F \in {\mathcal {D}}{\mathcal {M}}^{1, p}({\mathbb {R}}^n)\) and
then \(gF \in {\mathcal {D}}{\mathcal {M}}^{1,r}({\mathbb {R}}^n)\) for all \(r \in [1,p]\), with
Here
is the pairing measure between F and Dg, where (F, Dg) is the unique weak limit
being \(\varrho _\varepsilon =\varepsilon ^{-n}\varrho \left( \frac{\cdot }{\varepsilon }\right) \) for \(\varepsilon >0\), with \(\varrho \in C^\infty _c({\mathbb {R}}^n)\) any non-negative radially symmetric function such that \({{\,\textrm{supp}\,}}\varrho \subset B_1\) and \(\int _{B_1}\varrho \,\textrm{d}x=1\).
Remark 1.3
(Choice of \(g^\star \) in (1.3) for \(p<+\infty \)) For \(p<+\infty \), the function \(g^{\star }\) appearing in (1.3) can be defined in a more specific way. For \(p \in \left[ 1, \frac{n}{n - 1} \right) \), \(g^\star \) can be taken as the continuous representative of g. Instead, for \(p \in \left[ \frac{n}{n - 1}, + \infty \right) \), \(g^\star \) can be taken as the q-quasicontinuous representative of g. See [13, Sec. 3.2] for a more detailed discussion.
1.2 Fractional divergence-measure fields
The aim of the present note is to introduce a fractional analogue of the theory of divergence-measure fields, following the distributional approach to fractional spaces recently introduced and studied by the authors and collaborators in the series of papers [4, 17,18,19,20,21,22]. For results close to the main topic of this paper, we also refer to [42, 53, 54], even though our point of view is different.
In the fractional setting, for \(\alpha \in (0,1)\), one has the integration-by-parts formula
for all functions \(\xi \in {{\,\textrm{Lip}\,}}_c({\mathbb {R}}^n)\) and vector fields \(F\in {{\,\textrm{Lip}\,}}_c({\mathbb {R}}^n;{\mathbb {R}}^n)\), where
is the fractional \(\alpha \)-gradient,
is the fractional \(\alpha \)-divergence, and
is a renormalization constant, see [18, Sec. 2.2] for a detailed exposition. According to the main results of [4, 19], with a slight (but justified) abuse of notation, we may identify (1.5) with the usual gradient \(\nabla \) for \(\alpha =1\), and with the vector-valued Riesz transform \(\nabla ^0=R\) for \(\alpha =0\) (see Sect. 2.1 for the definition).
As already done by the authors in the case of scalar functions, the basic idea is now to use formula (1.4) to define a fractional analogue of the divergence-measure (1.1).
Definition 1.4
(\({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\) vector fields) Let \(\alpha \in (0,1]\) and \(p\in [1,+\infty ]\). A vector field \(F \in L^{p}({\mathbb {R}}^n; {\mathbb {R}}^{n})\) has fractional \(\alpha \)-divergence-measure, and we write \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha , p}({\mathbb {R}}^n)\), if
The case \(\alpha = 1\) in Definition 1.4 corresponds to classical divergence-measure fields. Without loss of generality, we always assume \(n \ge 2\), since for \(n=1\) one clearly identifies \({\mathcal {D}}{\mathcal {M}}^{\alpha , p}({\mathbb {R}}) = BV^{\alpha ,p}({\mathbb {R}})\), the space of \(L^p\) functions with finite totale fractional \(\alpha \)-variation, see the aforementioned [17, 20, 21] for an extensive presentation of \(BV^{\alpha ,p}\) functions on \({\mathbb {R}}^n\). We also observe that \(BV^{\alpha ,p}({\mathbb {R}}^n; {\mathbb {R}}^n) \subset {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n)\) for \(n\ge 2\), with strict inclusion at least in the case \(p \in \left[ 1, \frac{n}{n-\alpha } \right) \), due to the fact that the vector fields in Example 3.1 below cannot belong to \(BV^{\alpha ,p}({\mathbb {R}}^n; {\mathbb {R}}^n)\), in the light of [17, Th. 1].
Similarly to the case of \(BV^{\alpha ,p}\) functions (see [18, Th. 3.2] and [4, Th. 5]), we can state the following structural result for \({\mathcal {D}}{\mathcal {M}}^{\alpha , p}\) vector fields. The proof is very similar to the one of [18, Th. 3.2] and is therefore omitted.
Theorem 1.5
(Structure Theorem for \({\mathcal {D}}{\mathcal {M}}^{\alpha , p}\) vector fields) Let \(\alpha \in (0,1]\) and \(p \in [1, + \infty ]\). A vector field \(F \in L^{p}({\mathbb {R}}^{n};{\mathbb {R}}^n)\) belongs to \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n)\) if and only if there exists a finite Radon measure \(div^{\alpha } F \in {\mathscr {M}}({\mathbb {R}}^n)\) such that
for all \(\xi \in C^{\infty }_{c}({\mathbb {R}}^n)\). In addition, for any open set \(U\subset {\mathbb {R}}^n\), it holds
If the vector field is sufficiently regular, say \(F\in {{\,\textrm{Lip}\,}}_c({\mathbb {R}}^n;{\mathbb {R}}^n)\) for instance, then the fractional divergence-measure given by Theorem 1.5 is \(div^\alpha F=\textrm{div}^\alpha F\,{\mathscr {L}}^{n}\), where \(\textrm{div}^\alpha F\) is as in (1.6). Moreover, thanks to Theorem 1.5, the linear space
endowed with the norm
is a Banach space, and the fractional divergence-measure in (1.8) is lower semicontinuous with respect to the \(L^p\) convergence.
Remark 1.6
(On the space \({\mathcal {D}}{\mathcal {M}}^{0,p}\)) Although not strictly necessary for the purposes of the present paper, let us briefly comment on the case \(\alpha =0\) in Definition 1.4. By exploiting [4, Lem. 26], if \(F \in {\mathcal {D}}{\mathcal {M}}^{0,p}({\mathbb {R}}^n)\) for some \(p \in (1, + \infty )\), then
with \(R\cdot F\in L^p({\mathbb {R}}^n)\), where \(R=\nabla ^0\) the vector-value Riesz transform (see Sect. 2.1 for the definition). Therefore, for \(p\in (1,+\infty )\), we can write
Hence, if \(F\in {\mathcal {D}}{\mathcal {M}}^{0,p}({\mathbb {R}}^n)\) for some \(p \in (1, + \infty )\), then \(|div^0 F| \ll {\mathscr {L}}^{n}\). The limiting cases \(p\in \left\{ {1,+\infty }\right\} \) seem more intricate and we leave them for future investigations.
1.3 Main results
Our first main result deals with the absolute continuity properties of \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\) vector fields with respect to the Hausdorff measure, extending Theorem 1.1.
Theorem 1.7
(Absolute continuity properties of the fractional divergence-measure) Let \(\alpha \in (0, 1)\), \(p \in [1, + \infty ]\) and assume that \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha , p}({\mathbb {R}}^n)\). We have the following cases:
-
(i)
if \(p \in \left[ 1, \frac{n}{n - \alpha } \right) \), then \(div^\alpha F\) does not enjoy any absolute continuity property;
-
(ii)
if \(p \in \left[ \frac{n}{n - \alpha }, \frac{n}{1 - \alpha } \right) \), then \(|div^\alpha F|(B) = 0\) on Borel sets \(B\subset {\mathbb {R}}^n\) with \(\sigma \)-finite \({\mathscr {H}}^{n - \frac{p}{p - 1+(1 - \alpha )\frac{p}{n}}}\) measure;
-
(iii)
if \(p \in \left[ \frac{n}{1 - \alpha }, + \infty \right] \), then \(|div^\alpha F| \ll {\mathscr {H}}^{n - \alpha - \frac{n}{p}}\).
In particular, Theorem 1.7 tells that, if \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha , \infty }({\mathbb {R}}^{n})\), then \(|div^{\alpha } F| \ll {\mathscr {H}}^{n - \alpha }\), exactly as in Theorem 1.1 for \(p=+\infty \). For \(p<+\infty \), instead, the properties of the fractional divergence-measure are different from the corresponding ones in the classical setting. Indeed, as for the fractional variation of \(BV^{\alpha ,p}\) functions (see [17, Th. 1] for the corresponding result), the threshold \(p=\frac{n}{1-\alpha }\) imposes an interesting change of dimension of the Hausdorff measure. This is quite customary in the distributional fractional framework, and is essentially due to the mapping properties of Riesz potential \(I_{1-\alpha }\), see [18, Sec. 2.3].
Our second main result concerns Leibniz rules for \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\)-fields and Besov functions, see [20, Th 1.1] for the corresponding result for \(BV^{\alpha ,p}\) functions. We refer to Sect. 2.1 for the definitions of fractional Sobolev and Besov spaces.
Theorem 1.8
(Leibniz rule for \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\) vector fields with Besov functions) Let \(\alpha \in (0,1)\) and let \(p,q\in [1,+\infty ]\) be such that \(\frac{1}{p}+\frac{1}{q}=1\). If \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n)\) and
where
then \(g F \in {\mathcal {D}}{\mathcal {M}}^{\alpha ,r}({\mathbb {R}}^n)\) for all \(r \in [1, p]\), with
where
is the non-local fractional divergence of the couple (g, F), and satisfies
In addition,
and
Theorem 1.8, besides providing an extention of Theorem 1.2, provides a Gauss–Green formula for \({\mathcal {D}}{\mathcal {M}}^{\alpha ,\infty }\) vector fields on \(W^{\alpha ,1}\) sets. For the definitions of the fractional reduced boundary \({\mathscr {F}}^\alpha E\) and of the inner fractional normal \(\nu _E^{\alpha }:{\mathscr {F}}^\alpha E\rightarrow {\mathbb {S}}^{n-1}\) of a set \(E\subset {\mathbb {R}}^n\), we refer the reader to [18, Def. 4.7].
Corollary 1.9
(Generalized fractional Gauss–Green formula) Let \(\alpha \in (0,1)\). If \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha , \infty }({\mathbb {R}}^n)\) and \(\chi _E\in W^{\alpha ,1}({\mathbb {R}}^n)\), then
where
Corollary 1.9 immediately follows from (1.11) with \(g = \chi _E\), since \(\chi _E^\star = \chi _{E^1}\) \({\mathscr {H}}^{n-\alpha }\)-a.e. by [45, Prop. 3.1], and therefore \(|div^\alpha F|\)-a.e. thanks to point (iii) of Theorem 1.7.
Corollary 1.9 provides the most general version known so far of the fractional Gauss–Green formula proved in [18, Th. 4.2]. Unfortunately, we do not know if the assumption \(\chi _E\in W^{\alpha ,1}({\mathbb {R}}^n)\) can be replaced with the weaker one \(\chi _E\in BV^{\alpha ,1}({\mathbb {R}}^n)\) in Corollary 1.9. In fact, as observed in [17], we do not know whether the precise representative \(g^\star \) defined in (1.2) of \(g\in BV^{\alpha , \infty }({\mathbb {R}}^n)\) is well defined up to \({\mathscr {H}}^{n-\alpha }\)-negligible sets. We plan to tackle this and other strictly-connected challenging open questions in future works.
1.4 Organization of the paper
In Sect. 2, we collect all the needed intermediate results to prove our main theorems. In particular, Sects. 2.4 and 2.5 contain the proofs of points (ii) and (iii) of Theorem 1.7, respectively. The proof of Theorem 1.8, instead, can be found in Sect. 2.6. Section 3 collects several examples. In Sect. 3.1 we show point (i) of Theorem 1.7, while in Sect. 3.2 we discuss the sharpness of the other two points (ii) and (iii) of Theorem 1.7.
2 Proofs of the main results
In this section, we provide the proofs of our main results Theorem 1.7 and Theorem 1.8. The proof of Theorem 1.7 is split across Sects. 3.1, 2.4 and 2.5, while the proof of Theorem 1.8 is given in Sect. 2.6.
2.1 General notation
We start with a brief description of the main notation used in this paper. In order to keep the exposition the most reader-friendly as possible, we retain the same notation adopted in our works [4, 17,18,19,20,21,22].
Lebesgue and Hausdorff measures We let \({\mathscr {L}}^{n}\) and \({\mathscr {H}}^{\alpha }\) be the n-dimensional Lebesgue measure and the \(\alpha \)-dimensional Hausdorff measure on \({\mathbb {R}}^n\), respectively, with \(\alpha \in [0,n]\). We denote by \(B_r(x)\) the standard open Euclidean ball with center \(x\in {\mathbb {R}}^n\) and radius \(r>0\). We let \(B_r=B_r(0)\). Recall that \(\omega _{n} = |B_1|=\pi ^{\frac{n}{2}}/\Gamma \left( \frac{n+2}{2}\right) \) and \({\mathscr {H}}^{n-1}(\partial B_{1}) = n \omega _n\), where \(\Gamma \) is Euler’s Gamma function.
Regular maps Let \(\Omega \subset {\mathbb {R}}^n\) be an open (non-empty) set. For \(k \in {\mathbb {N}}_{0} \cup \left\{ {+ \infty }\right\} \) and \(m \in {\mathbb {N}}\), we let \(C^{k}_{c}(\Omega ; {\mathbb {R}}^{m})\) and \({{\,\textrm{Lip}\,}}_c(\Omega ; {\mathbb {R}}^{m})\) be the spaces of \(C^{k}\)-regular and, respectively, Lipschitz-regular, m-vector-valued functions defined on \({\mathbb {R}}^n\) with compact support in the open set \(\Omega \subset {\mathbb {R}}^n\). Analogously, we let \(C^{k}_{b}(\Omega ; {\mathbb {R}}^{m})\) and \({{\,\textrm{Lip}\,}}_b(\Omega ; {\mathbb {R}}^{m})\) be the spaces of \(C^{k}\)-regular and, respectively, Lipschitz-regular, m-vector-valued bounded functions defined on the open set \(\Omega \subset {\mathbb {R}}^n\). In the case \(k = 0\), we drop the superscript and simply write \(C_{c}(\Omega ; {\mathbb {R}}^{m})\) and \(C_{b}(\Omega ; {\mathbb {R}}^{m})\).
Radon measures For \(m\in {\mathbb {N}}\), the total variation on \(\Omega \) of the m-vector-valued Radon measure \(\mu \) is defined as
We thus let \({\mathscr {M}}(\Omega ;{\mathbb {R}}^m)\) be the space of m-vector-valued Radon measure with finite total variation on \(\Omega \). We say that \((\mu _k)_{k\in {\mathbb {N}}}\subset {\mathscr {M}}(\Omega ;{\mathbb {R}}^m)\) weakly converges to \(\mu \in {\mathscr {M}}(\Omega ;{\mathbb {R}}^m)\), and we write \(\mu _k\rightharpoonup \mu \) in \({\mathscr {M}}(\Omega ;{\mathbb {R}}^m)\) as \(k\rightarrow +\infty \), if
for all \(\varphi \in C_c(\Omega ;{\mathbb {R}}^m)\). Note that we make a little abuse of terminology, since the limit in (2.1) actually defines the weak*-convergence in \({\mathscr {M}}(\Omega ;{\mathbb {R}}^m)\).
Lebesgue, Sobolev and BV spaces For any exponent \(p\in [1,+\infty ]\), we let \(L^p(\Omega ;{\mathbb {R}}^m)\) be the space of m-vector-valued Lebesgue p-integrable functions on \(\Omega \). We let
be the space of m-vector-valued Sobolev functions on \(\Omega \), see [41, Ch. 11], and
be the space of m-vector-valued functions of bounded variation on \(\Omega \), see [2, Ch. 3].
Fractional Sobolev spaces For \(\alpha \in (0,1)\) and \(p\in [1,+\infty )\), we let
be the space of m-vector-valued fractional Sobolev functions on \(\Omega \), see [31]. For \(\alpha \in (0,1)\) and \(p=+\infty \), we simply let
so that \(W^{\alpha ,\infty }(\Omega ;{\mathbb {R}}^m)=C^{0,\alpha }_b (\Omega ;{\mathbb {R}}^m)\), the space of m-vector-valued bounded \(\alpha \)-Hölder continuous functions on \(\Omega \).
Besov spaces For \(\alpha \in (0,1)\) and \(p,q\in [1,+\infty ]\), we let
be the space of m-vector-valued Besov functions on \({\mathbb {R}}^n\), see [41, Ch. 17], where
Shorthand for scalar function spaces In order to avoid heavy notation, if the elements of a function space \({\mathcal {F}}(\Omega ;{\mathbb {R}}^m)\) are real-valued (i.e., \(m=1\)), then we will drop the target space and simply write \({\mathcal {F}}(\Omega )\).
Riesz potential Given \(\alpha \in (0,n)\), we let
be the Riesz potential of order \(\alpha \) of \(f\in C^\infty _c({\mathbb {R}}^n;{\mathbb {R}}^m)\). We recall that, if \(\alpha ,\beta \in (0,n)\) satisfy \(\alpha +\beta <n\), then we have the following semigroup property
for all \(f\in C^\infty _c({\mathbb {R}}^n;{\mathbb {R}}^m)\). In addition, if \(1<p<q<+\infty \) satisfy \( \frac{1}{q}=\frac{1}{p}-\frac{\alpha }{n}\), then there exists a constant \(C_{n,\alpha ,p}>0\) such that the operator in (2.2) satisfies
for all \(f\in C^\infty _c({\mathbb {R}}^n;\,{\mathbb {R}}^m)\). As a consequence, the operator in (2.2) extends to a linear continuous operator from \(L^p({\mathbb {R}}^n;{\mathbb {R}}^m)\) to \(L^q({\mathbb {R}}^n;{\mathbb {R}}^m)\), for which we retain the same notation. For a proof of (2.3) and (2.4), see [55, Ch. V, Sec. 1] or [36, Sec. 1.2.1].
Riesz transform We let
be the (vector-valued) Riesz transform of a (sufficiently regular) function f. We refer the reader to [36, Sec. 2.1 and 2.4.4], [55, Ch. III, Sec. 1] and [56, Ch. III] for a more detailed exposition. We warn the reader that the definition in (2.5) agrees with the one in [56] and differs from the one in [36, 55] for a minus sign. The Riesz transform (2.5) is a singular integral of convolution type, thus in particular it defines a continuous operator \(R:L^p({\mathbb {R}}^n)\rightarrow L^p({\mathbb {R}}^n;{\mathbb {R}}^{n})\) for any given \(p\in (1,+\infty )\), see [35, Cor. 5.2.8]. We also recall that its components \(R_i\) satisfy
see [35, Prop. 5.1.16].
2.2 Approximation by smooth vector fields
Here and in the rest of the paper, we let \((\varrho _\varepsilon )\subset C^\infty _c({\mathbb {R}}^n)\) be a family of standard mollifiers as in [18, Sec. 3.3]. The following approximation result is the natural generalization to \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\) vector fields of [17, Th. 4]. We leave its proof to the reader.
Theorem 2.1
(Approximation by \(C^\infty \cap {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\) fields) Let \(\alpha \in (0,1]\) and \(p \in [1, +\infty ]\). Let \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n)\) and define \(F_{\varepsilon }= F*\varrho _{\varepsilon }\) for all \(\varepsilon >0\). Then \((F_{\varepsilon })_{\varepsilon >0}\subset {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n) \cap C^{\infty }({\mathbb {R}}^n; {\mathbb {R}}^n)\) with \(div^{\alpha } F_{\varepsilon } = (\varrho _{\varepsilon } *div^{\alpha } F) {\mathscr {L}}^{n}\) for all \(\varepsilon >0\). Moreover, we have:
-
(i)
if \(p<+\infty \), then \(F_{\varepsilon } \rightarrow F\) in \(L^p({\mathbb {R}}^n; {\mathbb {R}}^n)\) as \(\varepsilon \rightarrow 0^+\); if \(p=+\infty \), then \(F_{\varepsilon } \rightarrow F\) in \(L^q_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n; {\mathbb {R}}^n)\) as \(\varepsilon \rightarrow 0^+\) for all \(q\in [1,+\infty )\);
-
(ii)
\(div^{\alpha } F_{\varepsilon } \rightharpoonup div^{\alpha } F\) in \({\mathscr {M}}({\mathbb {R}}^n)\) and \(|div^{\alpha } F_{\varepsilon }|({\mathbb {R}}^n) \rightarrow |div^{\alpha } F|({\mathbb {R}}^n)\) as \(\varepsilon \rightarrow 0^+\).
2.3 Integration-by-parts with Sobolev tests
For future convenience, we note that the integration-by-parts formula (1.7) actually holds for a wider class of test functions. To this aim, let us recall the notion of non-local fractional gradient
of a couple of functions \(f,g \in {{\,\textrm{Lip}\,}}_c({\mathbb {R}}^n)\). The operator \(\nabla ^\alpha _{\textrm{NL}}\) can be continuously extended to Lebesgue and Besov spaces, see [20, Cor. 2.7] for the precise statement.
Proposition 2.2
(\(W^{1,q}\cap C_b\)-regular test) Let \(\alpha \in (0, 1)\) and let \(p,q \in [1,+\infty ]\) be such that \(\frac{1}{p}+\frac{1}{q}=1\). If \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha , p}({\mathbb {R}}^n)\), then
for all \(\xi \in W^{1,q}({\mathbb {R}}^n)\cap C_b({\mathbb {R}}^n)\), and for all \(\xi \in BV({\mathbb {R}}^n)\cap C_b({\mathbb {R}}^n)\) if \(q=1\).
Proof
The proof is analogous to the one of [17, Prop. 3], so we only sketch it for the reader’s convenience. By a routine regularization-by-convolution argument, it is not restrictive to assume that \(\xi \in W^{1,q}({\mathbb {R}}^n)\cap {{\,\textrm{Lip}\,}}_b({\mathbb {R}}^n)\cap C^\infty ({\mathbb {R}}^n)\). Letting \((\eta _R)_{R>0}\subset C^\infty _c({\mathbb {R}}^n)\) be a family of cut-off functions as in [18, Sec. 3.3], by [19, Lems. 2.3 and 2.4] we can write
for all \(R>0\). Moreover, since \(\xi \eta _R\in C^\infty _c({\mathbb {R}}^n)\), we have
for all \(R>0\). Since
the conclusion follows by passing to the limit as \(R\rightarrow +\infty \) in (2.7). \(\square \)
2.4 Relation between \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\) and \({\mathcal {D}}{\mathcal {M}}^{1,p}\)
We now deal with point (ii) of Theorem 1.7. To this aim, we study the relationship between \({\mathcal {D}}{\mathcal {M}}^{1,p}\) and \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\) vector fields.
As one may expect, \({\mathcal {D}}{\mathcal {M}}^{1,p}\) vector fields can be regarded as \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\) vector fields, but only locally with respect to the divergence-measure. For \(\alpha \in (0,1)\) and \(p\in [1,+\infty ]\), we write \(F\in {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\) if \(F\in L^p({\mathbb {R}}^n;{\mathbb {R}}^n)\) and, for any \(U\subset {\mathbb {R}}^n\) bounded open set,
Consequently, the Radon measure \(div^\alpha F\in {\mathscr {M}}_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\) given by (1.7) may be such that \(|div^\alpha F|({\mathbb {R}}^n)=+\infty \). This issue is quite normal, and essentially due to the properties of Riesz potential, in view of the representation \(\nabla ^\alpha =\nabla I_{1-\alpha }\), see [18, Sec. 2.3].
Lemma 2.3
(Inclusion) If \(\alpha \in (0,1)\) and \(p\in [1,+\infty ]\), then \({\mathcal {D}}{\mathcal {M}}^{1,p}({\mathbb {R}}^n)\subset {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\).
Proof
Let \(F\in {\mathcal {D}}{\mathcal {M}}^{1,p}({\mathbb {R}}^n)\). Given \(\xi \in C^\infty _c({\mathbb {R}}^n)\), since \(I_{1-\alpha }\xi \in C^\infty _b({\mathbb {R}}^n)\) with \(\nabla ^\alpha \xi =\nabla I_{1-\alpha }\xi \in L^{p'}({\mathbb {R}}^n)\), we can write
Hence, for any bounded open set \(U\supset {{\,\textrm{supp}\,}}\xi \), by [18, Lem. 2.4] we can find a constant \(C_{n,\alpha ,U}>0\), depending only on n, \(\alpha \) and \(\textrm{diam}(U)\), such that
This implies that \(F\in {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}_{{{\,\textrm{loc}\,}}}({\mathbb {R}}^n)\), as desired. \(\square \)
The inclusion given by Lemma 2.3 can be somewhat reversed, as done in Lemma 2.4 below. Note that this result, besides providing analogues of [18, Lem. 3.28], [19, Lem. 3.7] and [17, Prop. 4], proves point (ii) of Theorem 1.7
Lemma 2.4
(Relation between \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\) and \({\mathcal {D}}{\mathcal {M}}^{1,p}\)) Let \(\alpha \in (0,1)\), \(p\in \left( 1,\frac{n}{1-\alpha }\right) \) and \(q = \frac{np}{n - (1-\alpha )p}\). If \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha , p}({\mathbb {R}}^n)\), then \(G = I_{1 - \alpha } F \in {\mathcal {D}}{\mathcal {M}}^{1,q}({\mathbb {R}}^n)\), with
As a consequence, the operator \(I_{1-\alpha }:{\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n)\rightarrow {\mathcal {D}}{\mathcal {M}}^{1,q}({\mathbb {R}}^n)\) is continuous. Moreover, for \(p \in \left[ \frac{n}{n-\alpha }, \frac{n}{1-\alpha } \right) \), if \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^{n})\) then \(|div^\alpha F|(B) = 0\) on Borel sets \(B\subset {\mathbb {R}}^n\) of \(\sigma \)-finite \({\mathscr {H}}^{n - \frac{q}{q - 1}}\) measure.
Proof
Let \(p'=\frac{p}{p-1}\), \(q'=\frac{q}{q-1}\) and note that \(r = \frac{n p'}{n + (1 - \alpha )p'}\in \left( 1,\frac{n}{1-\alpha }\right) \). By the Hardy–Littlewood–Sobolev inequality, we immediately get that \(G=I_{1 - \alpha } F \in L^q({\mathbb {R}}^n;{\mathbb {R}}^n)\). Moreover, given \(\xi \in C^{\infty }_{c}({\mathbb {R}}^{n})\), we clearly have \(I_{1 - \alpha } |\nabla \xi | \in L^{q'}({\mathbb {R}}^{n})\), because \(|\nabla \xi |\in L^r({\mathbb {R}}^n)\). Hence, by Fubini Theorem, we can write
for all \(\xi \in C^{\infty }_{c}({\mathbb {R}}^{n})\), proving that \(div^{\alpha } F = div\, G\) in \({\mathscr {M}}({\mathbb {R}}^{n})\). The remaining part of the statement easily follows from Theorem 1.1 (also see [49, Th. 3.2]). \(\square \)
2.5 Decay estimates
We now deal with point (iii) of Theorem 1.7. To this aim, we prove some decay estimates of the fractional divergence-measure on balls.
Let us begin with the following result, which may be considered as a toy case for the more general result in Theorem 2.8 below.
Lemma 2.5
(Decay estimate for \(div^\alpha F\ge 0\)) Let \(\alpha \in (0, 1]\) and \(p \in [1, + \infty ]\). If \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha , p}({\mathbb {R}}^n)\) satisfies \(div^{\alpha } F \ge 0\) on some open set \(A\subset {\mathbb {R}}^n\), then
for all \(x\in A\) and \(r>0\) such that \(B_{2r}(x)\subset A\).
Proof
Let \(\xi \in C^{\infty }_{c}(B_2)\) be such that \(\xi \ge 0\) and \(\xi \equiv 1\) on \(B_1\). Then, for \(x\in A\) and \(r>0\) such that \(B_{2r}(x)\subset A\), we can estimate
Thus we easily get
from which the conclusion immediately follows. \(\square \)
Lemma 2.5, despite its simplicity, allows to recover the following rigidity result, which may be seen as the natural fractional analogue of [44, Th. 3.1].
Proposition 2.6
(Rigidity) Let \(\alpha \in (0, 1]\) and \(p \in \left[ 1, \frac{n}{n-\alpha } \right] \). If \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha , p}({\mathbb {R}}^n)\) satisfies \(div^{\alpha } F \ge 0\), then \(div^\alpha F = 0\).
Proof
If \(p<\frac{n}{n-\alpha }\), so that \(n - \alpha - \frac{n}{p}<0\), then
for all \(r>0\) by Lemma 2.5 in the case \(x=0\). Hence the conclusion follows by taking the limit as \(r \rightarrow +\infty \). If instead \(p = \frac{n}{n-\alpha }\), then \(I_\alpha div^\alpha F=\textrm{div}^0 F\) in \(L^{\frac{n}{n-\alpha }}({\mathbb {R}}^n)\), since
for all \(\xi \in C^\infty _c({\mathbb {R}}^n)\) by Proposition 2.2, Remark 1.6 and [4, Prop. 7 and Lem. 26]. However, for all \(R>0\) and \(x \in {\mathbb {R}}^n\) we also have
and thus \(I_\alpha div^\alpha F\notin L^{\frac{n}{n-\alpha }}\) unless \(div^\alpha F=0\). The proof is complete. \(\square \)
To remove the non-negativity assumption \(div^\alpha F\ge 0\) from the conclusion (2.9) in Lemma 2.5 we need to deal with integration-by-parts for \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\) fields on balls. The following result is the analogue of [17, Th. 9].
Theorem 2.7
(Integration by parts on balls) Let \(\alpha \in (0, 1)\) and \(p\in \left( \frac{1}{1-\alpha },+\infty \right] \). If \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha , p}({\mathbb {R}}^{n})\), \(\xi \in {{\,\textrm{Lip}\,}}_c({\mathbb {R}}^{n})\) and \(x \in {\mathbb {R}}^n\), then
for \({\mathscr {L}}^{1}\)-a.e. \(r > 0\).
Proof
The proof is very similar to that of [17, Th. 9], so we only sketch it for the reader’s convenience. Fix \(x \in {\mathbb {R}}^{n}\) and \(\xi \in {{\,\textrm{Lip}\,}}_{c}({\mathbb {R}}^{n})\) be fixed.
In the case \(p=+\infty \), we consider \(h_{\varepsilon , r, x}\in {{\,\textrm{Lip}\,}}_c({\mathbb {R}}^n)\) for \(\varepsilon >0\) and \(r>0\) defined as
for all \(y\in {\mathbb {R}}^n\). By [18, Lem. 5.1], \(\nabla ^\alpha h_{\varepsilon ,r,x}\in L^1({\mathbb {R}}^n;{\mathbb {R}}^n)\) with
for \({\mathscr {L}}^{n}\)-a.e. \(y \in {\mathbb {R}}^{n}\). Since \(h_{\varepsilon , r, x}(y) \rightarrow \chi _{\overline{B_r(x)}}(y)\) as \(\varepsilon \rightarrow 0^+\) for all \(y \in {\mathbb {R}}^{n}\) and \(|div^{\alpha } F|(\partial B_r(x)) = 0\) for \({\mathscr {L}}^{1}\)-a.e. \(r > 0\), we can use \(h_{\varepsilon , r, x}\) to approximate \(\chi _{B_r(x)}\) in (2.10). On the one hand, since \(h_{\varepsilon , r, x}\,\varphi \in {{\,\textrm{Lip}\,}}_c({\mathbb {R}}^n;{\mathbb {R}}^n)\), by Proposition 2.2 we have
On the other hand, by [18, Lem. 2.6], we can compute
One then has to deal with each term of the right-hand side of (2.13) separately. The most difficult term is the second one, for which one has to observe that, by (2.11),
Hence, by Lebesgue’s Differentiation Theorem,
for \({\mathscr {L}}^{1}\)-a.e. \(r > 0\). Thus, by [18, Th. 3.18, Eq. (3.26)], we get that
for \({\mathscr {L}}^{1}\)-a.e. \(r > 0\). The other terms are easier and hence left to the reader.
In the case \(p \in \left( \frac{1}{1 - \alpha }, +\infty \right) \), instead, one regularizes \(F\in {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n)\) to \((F_{\varepsilon })_{\varepsilon >0} \subset {\mathcal {D}}{\mathcal {M}}^{\alpha , p}({\mathbb {R}}^{n}) \cap L^{\infty }({\mathbb {R}}^{n};{\mathbb {R}}^n) \cap C^{\infty }({\mathbb {R}}^{n}; {\mathbb {R}}^n)\) via convolution to reduce to the previous case \(p=+\infty \). The conclusion then follows by exploiting the convergence properties given by Theorem 2.1 and recalling that, thanks to [17, Cor. 1], \(\nabla ^{\alpha } \chi _{B_{r}(x)} \in L^{q}({\mathbb {R}}^{n}; {\mathbb {R}}^{n})\) for any \(p \in \left( \frac{1}{1 - \alpha }, \infty \right) \), where \(q = \frac{p}{p-1}\), and that \(\nabla ^\alpha _{\textrm{NL}}(\chi _{B_r(x)}, \xi ) \in L^q({\mathbb {R}}^n; {\mathbb {R}}^n)\) as well, thanks to [20, Cor. 2.7]. We leave the details to the reader. \(\square \)
We are now ready to generalize Lemma 2.5 beyond the non-negativity assumption, as done in [17, Th. 10] for \(BV^{\alpha ,p}\) functions.
Theorem 2.8
(Decay estimates for \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\) functions for \(p>\frac{1}{1-\alpha }\)) Let \(\alpha \in (0,1)\) and \(p\in \left( \frac{1}{1-\alpha }, +\infty \right] \). There exist two constants \(A_{n,\alpha ,p}, B_{n,\alpha ,p} > 0\), depending on n, \(\alpha \) and p only, with the following property. If \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n)\) then, for \(|div^{\alpha } F|\)-a.e. \(x \in {\mathbb {R}}^n\), there exists \(r_x > 0\) such that
and
for all \(r \in (0, r_x)\), where \(q\in [1,+\infty )\) is such that \(\frac{1}{p}+\frac{1}{q}=1\).
Proof
The proof follows the same line of that of [17, Th. 10], so we only sketch it for the reader’s ease. Since \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n)\), by the Polar Decomposition Theorem for Radon measures there exists a Borel function \(\sigma _{F}^{\alpha }:{\mathbb {R}}^n\rightarrow {\mathbb {R}}\) such that
For \(x\in {\mathbb {R}}^n\) such that \(|\sigma _{F}^{\alpha }(x)| = 1\), given \(r>0\) we define \(\xi _{x,r}:{\mathbb {R}}^n\rightarrow {\mathbb {R}}\) as
for all \(y\in {\mathbb {R}}^n\). Since \(\xi _{x, r}\in {{\,\textrm{Lip}\,}}_{c}({\mathbb {R}}^{n})\) with \(\Vert \varphi \Vert _{L^{\infty }({\mathbb {R}}^{n})} \le 1\), we can find \(r_x\in (0,1)\) such that
for all \(r\in (0,r_x)\). Also, by (2.10), we can estimate
for \({\mathscr {L}}^{1}\)-a.e. \(r\in (0,r_x)\). Hence the inequality in (2.15) follows by estimating the three terms in the right-hand side of (2.20), recalling the scaling property of \(\nabla ^\alpha \), [17, Cor. 1] and [20, Cor. 2.7]. For the inequality in (2.16), instead, one notes that, given any \(\xi \in {{\,\textrm{Lip}\,}}_{c}({\mathbb {R}}^{n})\) with \(\Vert \xi \Vert _{L^{\infty }({\mathbb {R}}^{n})} \le 1\), from (2.10) it holds
for \({\mathscr {L}}^{1}\)-a.e. \(r\in (0,r_x)\). The conclusion thus follows from (2.15) and again [17, Cor. 1] and [20, Cor. 2.7]. We leave the details to the reader. \(\square \)
As a consequence of Theorem 2.8, we get the following result, in particular proving the validity of point (iii) in Theorem 1.7. Note that Corollary 2.9 below is actually relevant only in the case of point (iii) of Theorem 1.7, since \( n - \frac{p}{p-1+(1 - \alpha )\frac{p}{n}} \le n - \alpha - \frac{n}{p} \) if and only if \(p \ge \frac{n}{1 - \alpha }\) and \(p \le \frac{n}{n - \alpha }\), but in this second case both exponents are negative.
Corollary 2.9
(\(|div^{\alpha } F|\ll {\mathscr {H}}^{n -\alpha - \frac{n}{p}}\) for \(p>\frac{1}{1-\alpha }\)) Let \(\alpha \in (0,1)\) and \(p\in \left( \frac{1}{1-\alpha },+\infty \right] \). If \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n)\), then there exists a \(|div^\alpha F|\)-negligible set \(Z_F^{\alpha ,p}\subset {\mathbb {R}}^n\) such that
where \(A_{n,\alpha ,p}\) is as in (2.15) and \(q\in [1,+\infty )\) is such that \(\frac{1}{p}+\frac{1}{q}=1\).
Proof
By Theorem 2.8, there exists a set \(Z_{F}^{\alpha ,p}\subset {\mathbb {R}}^n\), which we can assume to be Borel without loss of generality, such that \(|div^{\alpha }F|(Z_{F}^{\alpha ,p}) = 0\) and (2.15) holds for any \(x \notin Z_{F}^{\alpha ,p}\). Hence, for all \(x\in {\mathbb {R}}^{n}{\setminus } Z_{F}^{\alpha ,p}\), we have
Inequality (2.21) thus follows from [2, Th. 2.56]. \(\square \)
Remark 2.10
Corollary 2.9 holds true also in the limit case as \(\alpha \rightarrow 1^-\). Indeed, if \(F \in {\mathcal {D}}{\mathcal {M}}^{1, \infty }({\mathbb {R}}^n)\), then [52, Prop. 1] implies that
for some constant \(c_n > 0\) and any \(|divF|\)-negligible set \(Z^{1, \infty }_{F}\subset {\mathbb {R}}^n\).
2.6 Proof of Theorem 1.8
We begin with the following technical result.
Lemma 2.11
(Zero total divergence-measure) Let \(\alpha \in (0,1]\) and \(p \in \left[ 1, \frac{n}{n-\alpha } \right) \). If \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n)\), then \(div^\alpha F({\mathbb {R}}^n)=0\).
Proof
Let \(\eta \in C^{\infty }_c(B_2)\) be such that \(\eta \equiv 1\) on \(B_1\) and set \(\eta _k(x) = \eta \left( \frac{x}{k} \right) \) for \(k\in {\mathbb {N}}\) and \(x\in {\mathbb {R}}^n\). By (1.7) and the \(\alpha \)-homogeneity of the fractional gradient, we have
for \(q > \frac{n}{\alpha }\), which means \(p < \frac{n}{n - \alpha }\). Hence, by the Dominated Convergence Theorem with respect to the measure \(|div^\alpha F|\), we get that
concluding the proof. \(\square \)
We can now deal with the Leibniz rule for \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\) vector fields and bounded continuous Besov functions, in analogy with [20, Th. 3.1]. To this purpose, we need to recall the notion of non-local fractional divergence
of a couple (g, F), where \(g \in {{\,\textrm{Lip}\,}}_c({\mathbb {R}}^n)\) and \(F \in {{\,\textrm{Lip}\,}}_c({\mathbb {R}}^n; {\mathbb {R}}^n)\). The operator \(\textrm{div}^\alpha _{\textrm{NL}}\) can be continuously extended to Lebesgue and Besov spaces, see [20, Cor. 2.7].
Theorem 2.12
(Leibniz rule for \({\mathcal {D}}{\mathcal {M}}^{\alpha ,p}\) with \(C_b\cap B^\alpha _{q,1}\) for \(\frac{1}{p}+\frac{1}{q}=1\)) Let \(\alpha \in (0,1)\) and let \(p,q\in [1,+\infty ]\) be such that \(\frac{1}{p}+\frac{1}{q}=1\). If \(F \in {\mathcal {D}}{\mathcal {M}}^{\alpha , p}({\mathbb {R}}^n)\) and \(g\in C_b({\mathbb {R}}^n)\cap B^\alpha _{q,1}({\mathbb {R}}^n)\), then \(gF \in {\mathcal {D}}{\mathcal {M}}^{\alpha ,r}({\mathbb {R}}^n)\) for all \(r\in [1,p]\), with \(\textrm{div}^{\alpha }_{\textrm{NL}}(g, F) \in L^1({\mathbb {R}}^n)\) and
In addition,
and
Proof
We mimic the proof of [20, Th. 3.1]. Since \(g\in L^q({\mathbb {R}}^n)\cap L^\infty ({\mathbb {R}}^n)\), we have \(gF \in L^1({\mathbb {R}}^n)\cap L^p({\mathbb {R}}^n)\) by Hölder’s inequality. In addition, [20, Cor. 2.7] implies that \(\textrm{div}^{\alpha }_{\textrm{NL}}(g, F) \in L^1({\mathbb {R}}^n)\). We now divide the proof in two steps.
Step 1: proof of (2.22). Let \(\xi \in {{\,\textrm{Lip}\,}}_c({\mathbb {R}}^n)\) be given. By [20, Lem. 3.2(i)], we have
so that
By [20, Lem. 2.9], we have that
Now let \((F_\varepsilon )_{\varepsilon >0}\subset {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n)\cap C^\infty ({\mathbb {R}}^n; {\mathbb {R}}^n)\) be given by \(F_\varepsilon =\varrho _\varepsilon *F\) for all \(\varepsilon >0\). In particular, we have \(F_{\varepsilon } \in W^{1, p}({\mathbb {R}}^n; {\mathbb {R}}^n)\) for each \(\varepsilon > 0\). Note that \(W^{1,p}({\mathbb {R}}^n; {\mathbb {R}}^n) \subset B^{\alpha }_{p,q}({\mathbb {R}}^n; {\mathbb {R}}^n)\) for all \(\alpha \in (0,1)\) and \(p, q \in [1, +\infty ]\), see [41, Th. 17.33]. As a consequence, \(F_\varepsilon \in B^\alpha _{p,1}({\mathbb {R}}^n; {\mathbb {R}}^n)\) for each \(\varepsilon >0\). Since \(g\xi \in B^\alpha _{q,1}({\mathbb {R}}^n)\), by [20, Lem. 2.6] we can write
for all \(\varepsilon >0\). On the one side, we have
by Hölder’s inequality in the case \(p<+\infty \) and by the Dominated Convergence Theorem in the case \(p=+\infty \). On the other side, since \(g\xi \in C_c({\mathbb {R}}^n)\), we also have
thanks to Theorem 2.1. We thus conclude that
so that, for all \(\xi \in {{\,\textrm{Lip}\,}}_c({\mathbb {R}}^n)\),
By a standard approximation argument for the test function, we get (2.22).
Step 2: proof of (2.23) and (2.24). Since \(g F \in {\mathcal {D}}{\mathcal {M}}^{\alpha ,1}({\mathbb {R}}^n)\) by Step 1, the first equation in (2.23) readily follows from Lemma 2.11. Moreover, since obviously \(\nabla ^\alpha _{\textrm{NL}}(g,v)=0\) for all \(v\in {\mathbb {R}}\), by [20, Lem. 2.9] we get
for all \(v\in {\mathbb {R}}\) and also the second equation in (2.23) immediately follows. By combining (2.22) with (2.23), we get (2.24) and the proof is complete. \(\square \)
We are now in position to prove our second main result Theorem 1.8.
Proof of Theorem 1.8
The proofs of the cases \(p\in \left[ 1,\frac{n}{n-\alpha }\right) \), \(p\in \left[ \frac{n}{1-\alpha },+\infty \right) \) and \(p = + \infty \) are analogous to those of [20, Cors. 3.3, 3.6 and 3.7], respectively, and are hence omitted. We thus deal with the case \(p\in \left[ \frac{n}{n-\alpha },\frac{n}{1-\alpha }\right) \). We start by noticing that \(\gamma _{n,p,\alpha } \ge \alpha \) if and only if \(p \ge \frac{n}{n-\alpha }\), so that \(B^{\gamma }_{q,1}({\mathbb {R}}^n) \subset B^{\alpha }_{q,1}({\mathbb {R}}^n)\), thanks to [41, Th. 17.82]. Hence \(g \in B^{\alpha }_{q, 1}({\mathbb {R}}^n)\) and so \(\nabla ^\alpha g \in L^q({\mathbb {R}}^n; {\mathbb {R}}^n)\) by [20, Cor. 23 and Lem. 2.6]. Let \((\varrho _\varepsilon )_{\varepsilon > 0}\) be as in Theorem 2.1 and set \(g_\varepsilon =\varrho _\varepsilon *g\) for all \(\varepsilon >0\). Arguing as in the proof of [20, Cor. 3.5], we can exploit [17, Sec. 5.1 and Th. 11] to conclude that
for some set \(D_g\subset {\mathbb {R}}^n\) such that \({\mathscr {H}}^{n-\gamma q+\delta }(D_g) = 0\) for any \(\delta >0\) sufficiently small. Since
we conclude that \(|div^\alpha F|(D_g) = 0\), by Theorem 1.7. Since \(g_\varepsilon \in C_b({\mathbb {R}}^n)\cap B^\alpha _{q,1}({\mathbb {R}}^n)\) for all \(\varepsilon >0\) thanks to [41, Prop. 17.12], by Theorem 2.12 we get that \(g_\varepsilon F \in {\mathcal {D}}{\mathcal {M}}^{\alpha ,p}({\mathbb {R}}^n)\), with
Now \(\nabla ^\alpha g_\varepsilon = \varrho _\varepsilon *\nabla ^\alpha g\) in \(L^q({\mathbb {R}}^n;{\mathbb {R}}^n)\) (for example see [18, Lem. 3.5] and its proof), while [20, Cor. 2.7] implies that
for all \(\varepsilon >0\). Therefore, since \(\varrho _\varepsilon *\nabla ^\alpha g \rightarrow \nabla ^{\alpha } g\) in \(L^{q}({\mathbb {R}}^n; {\mathbb {R}}^n)\) and, by [41, Prop. 17.12], \([g-g_\varepsilon ]_{B^\alpha _{q,1}({\mathbb {R}}^n)} \rightarrow 0\), the conclusion follows by exploiting (2.25) and the Dominated Convergence Theorem with respect to the measure \(|div^\alpha F|\). Finally, equations (1.10) and (1.11) can be proved as (2.23) and (2.24) in Theorem 2.12. \(\square \)
3 Examples
In this section, we illustrate some examples concerning Theorem 1.7.
3.1 Example for point (i) of Theorem 1.7
Example 3.1 below shows that, if \(p \in \left[ 1, \frac{n}{n - \alpha } \right) \), the fractional divergence-measure of \({\mathcal {D}}{\mathcal {M}}^{\alpha , p}\) vector fields is not absolutely continuous with respect to \({\mathscr {H}}^{\varepsilon }\) for any \(\varepsilon > 0\), in general, proving point (i) of Theorem 1.7.
Example 3.1
Let \(\alpha \in (0, 1)\), \(y, z \in {\mathbb {R}}^n\), and define
A plain computation yields \(F_{y, z, \alpha } \in L^p({\mathbb {R}}^n; {\mathbb {R}}^n)\) for all \(p \in \left[ 1, \frac{n}{n - \alpha } \right) \) (for example, see the proof of [18, Prop. 3.14]). Moreover, by [18, Prop. 3.13], we know that
Consequently, \(F_{y, z, \alpha } \in {\mathcal {D}}{\mathcal {M}}^{\alpha , p}({\mathbb {R}}^n)\) for all \(p \in \left[ 1, \frac{n}{n - \alpha } \right) \).
Interestingly, the vector field (3.1) of Example 3.1 works also in the limit case \(\alpha = 1\), proving point (i) of Theorem 1.1, see [49, Prop. 6.1].
Example 3.2
Let \(y,z\in {\mathbb {R}}^n\) and define
Computations as in Example 3.1 show that \(F_{y, z, 1} \in L^p({\mathbb {R}}^n; {\mathbb {R}}^n)\) for all \(p \in \left( 1, \frac{n}{n - 1} \right) \), with
Hence \(F_{y, z, 1} \in {\mathcal {D}}{\mathcal {M}}^{1, p}({\mathbb {R}}^n)\) for all \(p \in \left( 1, \frac{n}{n - 1} \right) \). Actually, we have \(F_{y, z, 1} \in {\mathcal {D}}{\mathcal {M}}^{1, 1}_{\textrm{loc}}({\mathbb {R}}^n)\).
3.2 Partial sharpness of Theorem 1.7
Arguing as in [49, Exam. 3.3 and Prop. 6.1], we can exploit the properties of the vector field (3.1) in Example 3.1 to construct additional examples proving a partial sharpness of Theorem 1.7.
The following result is the analogue of [17, Prop. 5].
Proposition 3.3
(The vector field \(G_\alpha =F_\alpha *\nu \)) Let \(\alpha \in (0,1)\) and \(F_\alpha = F_{0, \textrm{e}_1,\alpha }\) be as in Example 3.1, and let \(\nu \in {\mathscr {M}}({\mathbb {R}}^n)\). Then we have
with
where \(\tau _{x}(y) = y + x\) for all \(x,y\in {\mathbb {R}}^n\). In addition, if there exist \(C, \varepsilon > 0\) such that
then
Proof
We divide the proof into two steps.
Step 1. Let \(\nu \in \mathscr {M}({\mathbb {R}}^n)\). We claim that \(G_{\alpha }\in {\mathcal {D}}{\mathcal {M}}^{\alpha , p}({\mathbb {R}}^n)\) for all \(p \in \left[ 1, \frac{n}{n - \alpha } \right) \) and that \(G_{\alpha }\) satisfies (3.2). Indeed, by Young’s inequality (for Radon measures), we can estimate
Moreover, thanks to the translation invariance of \(\nabla ^{\alpha }\) and exploiting the explicit expression of \(F_\alpha \) given in Example 3.1, we can write
for all \(\xi \in C^\infty _c({\mathbb {R}}^n)\). This proves \(G_{\alpha } \in {\mathcal {D}}{\mathcal {M}}^{\alpha , 1}({\mathbb {R}}^n)\) and (3.2). In addition, by Jensen’s inequality and Tonelli’s Theorem, we can estimate
for all \(p\in \left[ 1,\frac{n}{n-\alpha }\right) \), thanks to the integrability properties of \(F_\alpha \) given in Example 3.1.
Step 2. We prove that (3.3) implies (3.4). To this aim, let \(q=\frac{p}{p-1}\) and \(0 < \delta \le q\). Since \(|F_{\alpha }| =|F_{\alpha }|^{\frac{\delta }{q}} |F_{\alpha }|^{1 - \frac{\delta }{q}}\), by Hölder’s inequality we get
for a.e. \(x\in {\mathbb {R}}^n\). We now recall the explicit expression of \(F_\alpha \) in Example 3.1 and write
where we have set
for all \(x\in {\mathbb {R}}^n\), \(r\in (0,1)\) and \(j\in {\mathbb {N}}\), \(j \ge 1\), for brevity. Now, on the one hand, if \(y \in {\mathbb {R}}^n {\setminus } \left( B_{\frac{1}{2}}(x) \cup B_{\frac{1}{2}}(x - \textrm{e}_1) \right) \), then \(x - y \in {\mathbb {R}}^n {\setminus } \left( B_{\frac{1}{2}} \cup B_{\frac{1}{2}}(\textrm{e}_1) \right) \), so that
for all \(y \in {\mathbb {R}}^n {\setminus } \left( B_{\frac{1}{2}}(x) \cup B_{\frac{1}{2}}(x - \textrm{e}_1) \right) \). Therefore, we can estimate
for all \(x\in {\mathbb {R}}^n\). On the other hand, for all \(x \in {\mathbb {R}}^n\) and \(j \ge 1\), we have
Reasoning analogously, we obtain
for all \(x \in {\mathbb {R}}^n\) and \(j \ge 1\). Therefore, inserting (3.6), (3.7) and (3.8) in (3.5), we get that
for all \(x\in {\mathbb {R}}^n\), where \(C_{\alpha , \varepsilon , \delta }>0\) is constant depending on \(\alpha \), \(\varepsilon \), and \(\delta \) which is finite provided that we choose \(\delta <\frac{\varepsilon }{n-\alpha }\), as we are assuming from now on. We thus have
Now, recalling Example 3.1, we immediately see that
Hence, since the function \(\delta \mapsto \frac{n - \delta n + \alpha \delta }{(n - \alpha ) (1 - \delta )}\) is monotone increasing, we easily see that
and, similarly,
Finally, in the case \(\varepsilon \in (n - \alpha , n]\), we exploit (3.9) for \(\delta = 1\) in order to conclude that
for all \(x\in {\mathbb {R}}^n\), which implies that \(G_{\alpha } \in L^{\infty }({\mathbb {R}}^n)\). The conclusion thus follows. \(\square \)
Thanks to Proposition 3.3, we can now give the following example.
Example 3.4
Let \(\alpha \in (0,1)\) and let \(\nu \) and \(G_\alpha \) be as in Proposition 3.3. By [32, Cor. 4.12], there exists a compact set \(K\subset {\mathbb {R}}\) such that , so that \(|div^{\alpha } G_{\alpha }|\not \ll {\mathscr {H}}^{s}\) for all \(s > \varepsilon \). Now we observe that, by (3.4), we have the following situations:
-
in order to have \(G_\alpha \in {\mathcal {D}}{\mathcal {M}}^{\alpha , p}({\mathbb {R}}^n)\) for some \(p \in \left[ \frac{n}{n-\alpha }, + \infty \right) \), we need \(\varepsilon > n - \alpha q\), since, if \(\varepsilon \in [n - \alpha , n]\), then \(p \in [1, + \infty )\), while, for \(\varepsilon \in (0, n - \alpha )\), we have \(p < \frac{n - \varepsilon }{n - \alpha - \varepsilon }\), which implies \(\varepsilon > n - \alpha q\);
-
in order to have \(G_\alpha \in {\mathcal {D}}{\mathcal {M}}^{\alpha , \infty }({\mathbb {R}}^n)\), we need \(\varepsilon > n - \alpha \), since, if \(\varepsilon \in (n - \alpha , n]\), then \(p \in [1, + \infty ]\).
Therefore, these lower bounds on \(\varepsilon \) imply that, for \(p\in \left[ \frac{n}{n-\alpha }, + \infty \right] \), we have
Notice that
for all \(q \in \left[ 1, \frac{n}{\alpha } \right] \), which means \(p \in \left[ \frac{n}{n-\alpha }, + \infty \right] \), with equality only for \(q = \frac{n}{\alpha }\) and \(q = 1\). Consequently, Example 3.4 shows that points (ii) and (iii) in Theorem 1.7 cannot be improved beyond \(|div^\alpha F| \ll {\mathscr {H}}^{n - \alpha q}\), which is actually sharp for \(p = + \infty \).
Remark 3.5
(Correction to [17, Exam. 2]) For \(n=1\), Example 3.4 together with the above considerations corrects the conclusions of [17, Exam. 2].
References
Ambrosio, L., Crippa, G., Maniglia, S.: Traces and fine properties of a \(BD\) class of vector fields and applications. Ann. Fac. Sci. Toulouse Math. (6) 14(4), 527–561 (2005)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems, Oxford Mathematical Monographs. The Clarendon Press, Oxford University Press, New York (2000)
Anzellotti, G.: Pairings between measures and bounded functions and compensated compactness. Ann. Mat. Pura Appl. (4) 135(1983), 293–318 (1984)
Bruè, E., Calzi, M., Comi, G.E., Stefani, G.: A distributional approach to fractional Sobolev spaces and fractional variation: asymptotics II. C. R. Math. Acad. Sci. Paris 360, 589–626 (2022)
Brué, E., Pasqualetto, E., Semola, D.: Constancy of the dimension in codimension one and locality of the unit normal on \({\rm RCD}(K, N)\) spaces. Ann. Sc. Norm. Super. Pisa Cl. Sci. (2022). https://doi.org/10.2422/2036-2145.202110_007
Buffa, V., Comi, G.E., Miranda, M., Jr.: On BV functions and essentially bounded divergence-measure fields in metric spaces. Rev. Mat. Iberoam. 38(3), 883–946 (2022)
Chen, G.-Q.G., Comi, G.E., Torres, M.: Cauchy fluxes and Gauss–Green formulas for divergence-measure fields over general open sets. Arch. Ration. Mech. Anal. 233(1), 87–166 (2019)
Chen, G.-Q., Frid, H.: Divergence-measure fields and hyperbolic conservation laws. Arch. Ration. Mech. Anal. 147(2), 89–118 (1999)
Chen, G.-Q., Frid, H.: On the theory of divergence-measure fields and its applications. Bol. Soc. Bras. Mat. 32(3), 401–433 (2001)
Chen, G.-Q., Frid, H.: Extended divergence-measure fields and the Euler equations for gas dynamics. Commun. Math. Phys. 236(2), 251–280 (2003)
Chen, G.-Q., Torres, M.: On the structure of solutions of nonlinear hyperbolic systems of conservation laws. Commun. Pure Appl. Anal. 10(4), 1011–1036 (2011)
Cicalese, M., Trombetti, C.: Asymptotic behaviour of solutions to \(p\)-Laplacian equation. Asymptot. Anal. 35(1), 27–40 (2003)
Comi, G.E.: Refined Gauss–Green formulas and evolution problems for Radon measures. Scuola Normale Superiore, Pisa (2020). Ph.D. Thesis. Available at cvgmt.sns.it/paper/4579/
Comi, G.E., Crasta, G., De Cicco, V., Malusa, A.: Representation formulas for pairings between divergence-measure fields and \(BV\) functions. Preprint, available at arXiv:2208.10812 (2022)
Comi, G.E., Payne, K.R.: On locally essentially bounded divergence measure fields and sets of locally finite perimeter. Adv. Calc. Var. 13(2), 179–217 (2020)
Comi, G.E., Magnani, V.: The Gauss–Green theorem in stratified groups. Adv. Math. 360, 106916, 85 (2020)
Comi, G.E., Spector, D., Stefani, G.: The fractional variation and the precise representative of \(BV^{\alpha, p}\) functions. Fract. Calc. Appl. Anal. 25(2), 520–558 (2022)
Comi, G.E., Stefani, G.: A distributional approach to fractional Sobolev spaces and fractional variation: existence of blow-up. J. Funct. Anal. 277(10), 3373–3435 (2019)
Comi, G.E., Stefani, G.: A distributional approach to fractional Sobolev spaces and fractional variation: asymptotics I. Rev Mat Complut 36, 491–569 (2023). https://doi.org/10.1007/s13163-022-00429-y
Comi, G.E., Stefani, G.: Leibniz rules and Gauss–Green formulas in distributional fractional spaces. J. Math. Anal. Appl. 514(2), Paper No. 126312, 41 (2022)
Comi, G.E., Stefani, G.: Failure of the local chain rule for the fractional variation. Port. Math. 80(1), 125 (2023). https://doi.org/10.4171/PM/2096
Comi, G.E., Stefani, G.: On sets with finite distributional fractional perimeter. Preprint, available at arXiv:2303.10989 (2023)
Crasta, G., De Cicco, V.: Anzellotti’s pairing theory and the Gauss–Green theorem. Adv. Math. 343, 935–970 (2019)
Crasta, G., De Cicco, V.: An extension of the pairing theory between divergence-measure fields and BV functions. J. Funct. Anal. 276(8), 2605–2635 (2019)
Crasta, G., De Cicco, V.: On the variational nature of the Anzellotti pairing. Preprint, available at arXiv:2207.06469 (2022)
Crasta, G., De Cicco, V., Malusa, A.: Pairings between bounded divergence-measure vector fields and BV functions. Adv. Calc. Var. 15(4), 787–810 (2022)
De Cicco, V., Giachetti, D., Oliva, F., Petitta, F.: The Dirichlet problem for singular elliptic equations with general nonlinearities. Calc. Var. Partial Differ. Equ. 58(4), Paper No. 129, 40 (2019)
De Cicco, V., Giachetti, D., Segura de León, S.: Elliptic problems involving the 1-Laplacian and a singular lower order term. J. Lond. Math. Soc. (2) 99(2), 349–376 (2019)
De Lellis, C., Otto, F., Westdickenberg, M.: Structure of entropy solutions for multi-dimensional scalar conservation laws. Arch. Ration. Mech. Anal. 170(2), 137–184 (2003)
Degiovanni, M., Marzocchi, A., Musesti, A.: Cauchy fluxes associated with tensor fields having divergence measure. Arch. Ration. Mech. Anal. 147(3), 197–223 (1999)
Di Nezza, E., Palatucci, G., Valdinoci, E.: Hitchhiker’s guide to the fractional Sobolev spaces. Bull. Sci. Math. 136(5), 521–573 (2012)
Falconer, K.: Fractal Geometry, Mathematical Foundations and Applications, 3rd edn. Wiley, Chichester (2014)
Frid, H.: Remarks on the theory of the divergence-measure fields. Quart. Appl. Math. 70(3), 579–596 (2012)
Frid, H.: Divergence-measure fields on domains with Lipschitz boundary. In: Hyperbolic Conservation Laws and Related Analysis with Applications, Springer Proc. Math. Stat., vol. 49, pp. 207–225. Springer, Heidelberg (2014)
Grafakos, L.: Classical Fourier analysis, 3 edn. In: Graduate Texts in Mathematics, vol.249. Springer, New York (2014)
Grafakos, L.: Modern Fourier analysis, 3 edn. In: Graduate Texts in Mathematics, vol. 250. Springer, New York (2014)
Kawohl, B., Schuricht, F.: Dirichlet problems for the 1-Laplace operator, including the eigenvalue problem. Commun. Contemp. Math. 9(4), 515–543 (2007)
Latorre, M., Oliva, F., Petitta, F., Segura de León, S.: The Dirichlet problem for the 1-Laplacian with a general singular term and \(L^1\)-data. Nonlinearity 34(3), 1791–1816 (2021)
Leonardi, G.P., Comi, G.E.: The prescribed mean curvature measure equation in non-parametric form. Preprint, available at arXiv:2302.10592 (2023)
Leonardi, G.P., Saracco, G.: Rigidity and trace properties of divergence-measure vector fields. Adv. Calc. Var. 15(1), 133–149 (2022)
Leoni, G.: A first course in Sobolev spaces, 2nd edn. In: Graduate Studies in Mathematics, vol. 181. American Mathematical Society, Providence (2017)
Liu, L., Xiao, J.: Divergence & curl with fractional order. J. Math. Pures Appl. 9(165), 190–231 (2022)
Mercaldo, A., Segura de León, S., Trombetti, C.: On the solutions to 1-Laplacian equation with \(L^1\) data. J. Funct. Anal. 256(8), 2387–2416 (2009)
Phuc, N.C., Torres, M.: Characterizations of the existence and removable singularities of divergence-measure vector fields. Indiana Univ. Math. J. 57(4), 1573–1597 (2008)
Ponce, A.C., Spector, D.: A boxing inequality for the fractional perimeter. Ann. Sc. Norm. Super. Pisa Cl. Sci. (5) 20(1), 107–141 (2020)
Scheven, C., Schmidt, T.: BV supersolutions to equations of 1-Laplace and minimal surface type. J. Differ. Equ. 261(3), 1904–1932 (2016)
Scheven, C., Schmidt, T.: On the dual formulation of obstacle problems for the total variation and the area functional. Ann. Inst. H. Poincaré C Anal. Non Linéaire 35(5), 1175–1207 (2018)
Schuricht, F.: A new mathematical foundation for contact interactions in continuum physics. Arch. Ration. Mech. Anal. 184(3), 495–551 (2007)
Šilhavý, M.: Divergence measure fields and Cauchy’s stress theorem. Rend. Sem. Mat. Univ. Padova 113, 15–45 (2005)
Šilhavý, M.: Divergence measure vectorfields: their structure and the divergence theorem. In: Mathematical Modelling of Bodies with Complicated Bulk and Boundary Behavior. Quad. Mat., vol. 20, Dept. Math., Seconda Univ. Napoli, Caserta, pp. 217–237 (2007)
Šilhavý, M.: The divergence theorem for divergence measure vectorfields on sets with fractal boundaries. Math. Mech. Solids 14(5), 445–455 (2009)
Šilhavý, M., Indiana Univ. Math. J.: The Gauss–Green theorem for bounded vectorfields with divergence measure on sets of finite perimeter. To appear (2019)
Šilhavý, M.: Fractional vector analysis based on invariance requirements (critique of coordinate approaches). Contin. Mech. Thermodyn. 32(1), 207–228 (2020)
Šilhavý, M.: Fractional Strain Tensor and Fractional Elasticity. J Elast (2022). https://doi.org/10.1007/s10659-022-09970-9
Stein, E.M.: Singular integrals and differentiability properties of functions. In: Princeton Mathematical Series, vol. 30. Princeton University Press, Princeton (1970)
Stein, E.M.: Harmonic analysis: real-variable methods, orthogonality, and oscillatory integrals. In: Princeton Mathematical Series, vol. 43. Princeton University Press, Princeton, NJ (1993)
Acknowledgements
The authors are members of the Istituto Nazionale di Alta Matematica (INdAM), Gruppo Nazionale per l’Analisi Matematica, la Probabilità e le loro Applicazioni (GNAMPA), and are partially supported by the INdAM–GNAMPA 2023 Project Problemi variazionali per funzionali e operatori non-locali, codice CUP_E53C22001930001. The first-named author is partially supported by the INdAM–GNAMPA 2022 Project Alcuni problemi associati a funzionali integrali: riscoperta strumenti classici e nuovi sviluppi, codice CUP_E55F22000270001, and has received funding from the MIUR PRIN 2017 Project “Gradient Flows, Optimal Transport and Metric Measure Structures”. The second-named author is partially supported by the INdAM–GNAMPA 2022 Project Analisi geometrica in strutture subriemanniane, codice CUP_E55F22000270001, and has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (Grant agreement No. 945655).
Funding
Open access funding provided by Scuola Internazionale Superiore di Studi Avanzati - SISSA within the CRUI-CARE Agreement.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interest
On behalf of both authors, the corresponding author states that there is no conflict of interest.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Comi, G.E., Stefani, G. Fractional divergence-measure fields, Leibniz rule and Gauss–Green formula. Boll Unione Mat Ital 17, 259–281 (2024). https://doi.org/10.1007/s40574-023-00370-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40574-023-00370-y
Keywords
- Fractional divergence-measure fields
- Fractional calculus
- Leibniz rule
- Gauss–Green formula
- Hausdorff measure