Abstract
In this paper, a new notion of fractional length of a smooth curve, which depends on a parameter \(\sigma ,\) is introduced that is analogous to the fractional perimeter functional of sets. It is shown that in an appropriate limit, the fractional length converges to the traditional notion of length up to a multiplicative constant. Since a curve that connects two points of minimal length must have zero curvature, the Euler–Lagrange equation associated with the fractional length is used to motivate a nonlocal notion of curvature for a curve. This is analogous to how the fractional perimeter has been used to define a nonlocal mean-curvature.
Similar content being viewed by others
Notes
For the definition of sets of finite perimeter and essential boundary, see, for example, Ambrosio et al. [2].
References
Abatangelo, A., Valdinoci, E.: A notion of nonlocal curvature. Numer. Funct. Anal. Optim. 35, 793–815 (2014)
Ambrosio, L., Fusco, N., Pallara, D.: Functions of Bounded Variation and Free Discontinuity Problems. Oxford Science Publications, Oxford (2000)
Ambrosio, L., Philippis, G.D., Martinazzi, L.: Gamma-convergence of nonlocal perimeter functionals. Manuscr. Math. 134, 377–403 (2011)
Caffarelli, L., Valdinoci, E.: Uniform estimates and limiting arguments for nonlocal minimal surfaces. Calc. Var. Partial Differ. Equ. 41, 203–240 (2011)
Caffarelli, L., Valdinoci, E.: Regularity properties of nonlocal minimal surfaces via limiting arguments. Adv. Math. 248, 843–871 (2013)
Caffarelli, L., Roquejoffre, J.M., Savin, O.: Nonlocal minimal surfaces. Commun. Pure Appl. Math. 63, 1111–1144 (2010)
Chambolle, A., Morini, M., Ponsiglione, M.: A nonlocal mean curvature flow and its semi-implicit time-discrete approximation. SIAM J. Math. Anal. 44, 4048–4077 (2012)
Chambolle, A., Morini, M., Ponsiglione, M.: Minimizing movements and level set approaches to nonlocal variational geometric flows. In: Chambolle, A., Novaga, M., Valdinoci, E. (eds.) Geometric Partial Differential Equations Proceedings, pp. 93–104. Scuola Normale Superiore, Pisa (2013)
Chambolle, A., Marini, M., Ponsiglione, M.: Nonlocal curvature flows. Arch. Ration. Mech. Anal. 218, 1263–1329 (2015)
Dipierro, S., Figalli, A.: Asymptotics of the $s$-perimeter as $s\downarrow 0$. Discrete Contin. Dyn. Syst. 33, 2777–2790 (2013)
Dipierro, S., Valdinoci, E.: Chap. 4: nonlocal minimal surfaces: interior regularity, quantitative estimates and boundary stickiness. In: Palatucci, G., Kuusi, T. (eds.) Recent Developments in Nonlocal Theory, pp. 165–209. De Gruyter, Berlin (2018)
Dipierro, S., Savin, O., Valdinoci, E.: Boundary behaviour of nonlocal minimal surfaces. J. Funct. Anal. 272, 1791–1851 (2017)
Federer, H.: Geometric Measure Theory. Springer, Berlin (1969)
Figalli, A., Valdinoci, E.: Regularity and Bernstein-type results for nonlocal minimal surfaces. J. die reine angew. Math. (published on line 28 April 2015)
Giusti, E.: Minimal Surfaces and Functions of Bounded Variation. Birkhäuser Verlag, Basel (1984)
Imbert, C.: Level set approach for fractional mean curvature flows. Interfaces Free Bound. 11, 153–176 (2009)
Paroni, R., Podio-Guidugli, P., Seguin, B.: On the nonlocal curvatures of open surfaces. Commun. Pure Appl. Anal. 17, 709–727 (2018)
Savin, O., Valdinoci, E.: Regularity of nonlocal minimal cones in dimension 2. Calc. Var. Partial Differ. Equ. 48, 33–39 (2013)
Seguin, B.: Another transport theorem. arXiv:1808.08175 [math.DG]
Sipierro, S., Valdinoci, E.: Nonlocal minimal surfaces: interior regularity, quantitative estimates and boundary stickiness. arXiv:1607.06872 [math.AP]
Visintin, A.: Generalized coarea formula and fractal sets. Jpn J. Ind. Appl. Math. 8, 175–201 (1991)
Author information
Authors and Affiliations
Corresponding author
Additional information
Dedicated to Eliot Fried, whose guidance following my time as a graduate student will always be appreciated.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Some Change of Variables
Appendix: Some Change of Variables
Let \(\mathcal{C}\) be a \(C^1,\) compact curve in \(\mathbb {R}^n.\)
Lemma 5.1
Consider the function
defined by
If \(\mathcal{A}\) is a subset of \(\mathcal{C}\times \mathcal{U}_\perp ^2\times \mathbb {R}^+\) and \(f:\Phi (\mathcal{A})\rightarrow \mathbb {R}\) is an integrable function, then
where \(\mathbf{t}(z)\) is a unit-vector tangent to the curve \(\mathcal{C}\) at the point z.
Proof
It suffices to prove the result for a set of the form \(\mathcal{A}=\mathcal{C}_\mathcal{A}\times \mathcal{U}_\mathcal{A}\times \mathcal{I}_\mathcal{A},\) where \(\mathcal{C}_\mathcal{A}\subseteq \mathcal{C},\)\(\mathcal{U}_\mathcal{A}\subseteq \mathcal{U}_\perp ^2,\) and \(\mathcal{I}_\mathcal{A}\subseteq \mathbb {R}^+.\) Moreover, by employing a partition of unity, we can reduce the problem to the case where \(\mathcal{U}_\mathcal{A}\) is covered by one chart. Thus, there is a set \(U_\mathcal{A}\subseteq \mathbb {R}^{2n-3}\) and a diffeomorphism \(\varvec{\chi }:U_{\mathcal{A}}\rightarrow \mathcal{U}_\mathcal{A}.\) Since \(\mathcal{U}_\mathcal{A}\subseteq \mathbb {R}^n\times \mathbb {R}^n,\) we can view this function as \(\varvec{\chi }=(\varvec{\chi }_1,\varvec{\chi }_2),\) where \(\varvec{\chi }_1,\varvec{\chi }_2:\mathbb {R}^{2n-3}\rightarrow \mathbb {R}^n.\) Recall that if g is an integrable function defined on \(\mathcal{U}_\mathcal{A},\) then
where \(J_{\varvec{\chi }}=\sqrt{\text {det} (\nabla \varvec{\chi }^\top \nabla \varvec{\chi })}\) is the Jacobin of \(\varvec{\chi }.\) Also, if h is an integrable function defined on \(\mathcal{C}_\mathcal{A}\) and \(\phi \) is a parameterization of \(\mathcal{C},\) then
where \(C_\mathcal{A}\) is the subset of \(\mathbb {R}\) such that \(\phi (C_\mathcal{A})=\mathcal{C}_{\mathcal{A}}.\)
Set \(A:=C_\mathcal{A}\times U_\mathcal{A}\times \mathcal{I}_\mathcal{A}\) and define \(\tilde{\Phi }:A\rightarrow \Phi (\mathcal{A})\) by
and \({\tilde{f}}:A\rightarrow \mathbb {R}\) by
By the Area Formula (see Ambrosio et al. [2, Theorem 2.71]), it follows that
Thus, by (66) and (67), the result will follow once it is shown that
To establish this, first notice that
and hence, noting that \(|\varvec{\chi }_1|^2=1\) and \(\nabla \varvec{\chi }_1^\top \varvec{\chi }_1=\mathbf{0},\) we have
Since switching rows or columns of a matrix does not change the absolute value of its determinant, we have
Recall that the determinant of a block matrix can be computed using
This identity will be used with \(\mathbf{D}=\xi ^2\nabla \varvec{\chi }_1^\top \nabla \varvec{\chi }_1+\nabla \varvec{\chi }_2^\top \nabla \varvec{\chi }_2.\) Let \(P_{\varvec{\chi }_1}\) denote the projection onto the plane orthogonal to the vector \(\varvec{\chi }_1.\) After some computation, using the identity \(|P_{\varvec{\chi }_1} \phi '|^2=|\phi '|^2-(\varvec{\chi }_1\cdot \phi ')^2,\) one finds that
where \(\mathbf 1 _n\) is the identity function on \(\mathbb {R}^n.\) It follows that
where \(\tilde{\mathbf{t}}=P_{\varvec{\chi }_1}\phi '/|P_{\varvec{\chi }_1}\phi '|.\) To simplify the right-hand side of the previous equation, set \(\mathbf{L}\) equal to the square \(2n\times 2n\) matrix in the previous equation between \(\nabla \varvec{\chi }^\top \) and \(\nabla \varvec{\chi }\) and recall the fact that
where \(\mathbf{I}\) is the natural injection of the range of \(\nabla \varvec{\chi }\) into \(\mathbb {R}^{2n}.\) One can find an orthonormal basis for \(\mathbb {R}^n\) of the form
such that \(\tilde{\mathbf{t}}\) can be written as a linear combination of \(\mathbf{e}_{n-2}\) and \(\varvec{\chi }_2.\) Notice that
is an orthonormal basis for the tangent space of \(\mathcal{U}_\perp ^2\) at \((\varvec{\chi }_1,\varvec{\chi }_2).\) By writing the matrix
relative to the basis (78), one can compute its determinant, and hence, putting together (76) and (77), we have that
Since \(|P_{\varvec{\chi }_1}\phi '|^2 |\varvec{\chi }_2\cdot \tilde{\mathbf{t}}|^2=|\varvec{\chi }_2 \cdot P_{\varvec{\chi }_1}\mathbf{t}|^2|\phi '|^2=|\varvec{\chi }_2\cdot \mathbf{t}|^2|\phi '|^2,\) this proves (71). \(\square \)
A slight variation on the change of variables formula (65) will be needed. Namely, we will require a change of variables associated with the function
defined by
The function \(\varXi \) allows us to describe disks using points on the curve \(\mathcal{C};\) see Fig. 2. Since \(\varXi \) acts like the identity on the last variable r, the previous lemma immediately implies that if \(\mathcal{A}\) is a subset of \(\mathcal{C}\times \mathcal{U}_\perp ^2\times \mathbb {R}^+\times \mathbb {R}^+\) and \(f:\varXi (\mathcal{A})\rightarrow \mathbb {R}\) is an integrable function, then
Another useful change of variables will be needed. This time, the function, which is closely related to \(\varXi ,\) will allow us to describe all disks whose boundary touches the curve \(\mathcal{C};\) see Fig. 3. Define the function
by
It is possible to show that if \(\mathcal{A}\) is a subset of \(\mathcal{C}\times \mathcal{U}_\perp ^2\times \mathbb {R}^+\) and \(f:\varPsi (\mathcal{A})\rightarrow \mathbb {R}\) is an integrable function, then
The proof of this result is similar to that of Lemma 5.1 and thus will not be presented.
Rights and permissions
About this article
Cite this article
Seguin, B. A Fractional Notion of Length and an Associated Nonlocal Curvature. J Geom Anal 30, 161–181 (2020). https://doi.org/10.1007/s12220-018-00140-9
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s12220-018-00140-9