# Numerical Approximation of the Fractional Laplacian via \(hp\)-finite Elements, with an Application to Image Denoising

- 571 Downloads
- 13 Citations

## Abstract

The fractional Laplacian operator \((-\varDelta )^s\) on a bounded domain \(\varOmega \) can be realized as a Dirichlet-to-Neumann map for a degenerate elliptic equation posed in the semi-infinite cylinder \(\varOmega \times (0,\infty )\). In fact, the Neumann trace on \(\varOmega \) involves a Muckenhoupt weight that, according to the fractional exponent \(s\), either vanishes \((s < 1/2)\) or blows up \((s > 1/2)\). On the other hand, the normal trace of the solution has the reverse behavior, thus making the Neumann trace analytically well-defined. Nevertheless, the solution develops an increasingly sharp boundary layer in the vicinity of \(\varOmega \) as \(s\) decreases. In this work, we extend the technology of automatic \(hp\)-adaptivity, originally developed for standard elliptic equations, to the energy setting of a Sobolev space with a Muckenhoupt weight, in order to accommodate for the problem of interest. The numerical evidence confirms that the method maintain exponential convergence. Finally, we discuss image denoising via the fractional Laplacian. In the image processing community, the standard way to apply the fractional Laplacian to a corrupted image is as a filter in Fourier space. This construction is inherently affected by the Gibbs phenomenon, which prevents the direct application to “spliced” images. Since our numerical approximation relies instead on the extension problem, it allows for processing different portions of a noisy image independently and combine them, without complications induced by the Gibbs phenomenon.

## Keywords

Fractional Laplacian \(hp\)-finite elements Automatic adaptivity Image denoising## Mathematics Subject Classification

65N30 35J75## Notes

### Acknowledgments

This work was partially supported by NSF DMS-1115416, by OSD/AFOSR FA9550-09-1-0613 and by AFOSR FA9550-12-1-0463. The authors would like to thank Johnny Guzman for many fruitful discussions.

## References

- 1.Amos, D.E.: Algorithm 644: A portable package for Bessel functions of a complex argument and nonnegative order. ACM Trans. Math. Software
**12**(3), 265273 (1986). Single and double precision, maximum accuracy 18SMathSciNetGoogle Scholar - 2.Bates, P.W.: On some nonlocal evolution equations arising in materials science. Nonlinear dynamics and evolution equations
**48**, 13–52 (2006)MathSciNetGoogle Scholar - 3.Blackledge, J., Blackledge, M.: Fractional anisotropic diffusion for noise reduction in magnetic resonance images. ISAST Transactions on Electronics and Signal Processing
**4**, 44–57 (2010)Google Scholar - 4.Brändle, C., Colorado, E., de Pablo, A.: A concave-convex elliptic problem involving the fractional Laplacian. ArXiv e-prints, (June 2010)Google Scholar
- 5.Caffarelli, L., Silvestre, L.: An extension problem related to the fractional laplacian. Communications in Partial Differential Equations
**32**(8), 1245–1260 (2007)MathSciNetCrossRefzbMATHGoogle Scholar - 6.Capella, A., Dávila, J., Dupaigne, L., Sire, Y.: Regularity of radial extremal solutions for some non local semilinear equations. ArXiv e-prints, (April 2010)Google Scholar
- 7.Carr, P., Geman, H., Madan, D.B., Yor, M.: The fine structure of asset returns: An empirical investigation. Journal of Business
**75**, 302–332 (2002)CrossRefGoogle Scholar - 8.Demkowicz, L.: Computing with hp-adaptive finite elements. Vol. 1, volume 12 of Chapman & Hall/CRC Applied Mathematics and Nonlinear Science Series. Chapman & Hall/CRC, Boca Raton, FL, (2007)Google Scholar
- 9.Demkowicz, L., Kurtz, J.: Projection-based interpolation and automatic \(hp\)-adaptivity for finite element discretizations of elliptic and maxwell problems.
**21**:1–15, (September 2007)Google Scholar - 10.Demkowicz, L., Rachowicz, W., Devloo, Ph: A fully automatic hp-adaptivity. J. Sci. Comput.
**17**(1–4), 117–142 (2002)MathSciNetCrossRefzbMATHGoogle Scholar - 11.Gelb, A., Gottlieb, D.: The resolution of the Gibbs phenomenon for “spliced” functions in one and two dimensions. Computers & Mathematics with Applications
**33**(11), 35–58 (1997)MathSciNetCrossRefzbMATHGoogle Scholar - 12.Gol’dshtein, V., Ukhlov, A.: Weighted Sobolev spaces and embedding theorems. Transactions of the American Mathematical Society
**361**(7), 3829–3850 (2009)MathSciNetCrossRefzbMATHGoogle Scholar - 13.Guan, Q.Y., Ma, Z.M.: Reflected symmetric \(\alpha \)-stable processes and regional fractional laplacian. Probability theory and related fields
**134**(4), 649–694 (2006)MathSciNetCrossRefzbMATHGoogle Scholar - 14.Hörmander, L.: The Analysis of Linear Partial Differential Operators III: Pseudo-Differential Operators. A Series of Comprehensive Studies in Mathematics / Grundlehren Der Mathematischen Wissenschaften. Springer, New York (1985)Google Scholar
- 15.Lions, J.L., Magenes, E.: Non-homogeneous boundary value problems and applications. Non-homogeneous Boundary Value Problems and Applications. Springer, New York (1972)CrossRefGoogle Scholar
- 16.Magin, R.L., Ingo, C., Colon-Perez, L., Triplett, W., Mareci, T.H.: Characterization of anomalous diffusion in porous biological tissues using fractional order derivatives and entropy. Microporous and Mesoporous Materials
**178**, 39–43 (2013)CrossRefGoogle Scholar - 17.McLean, W.C.H.: Strongly Elliptic Systems and Boundary Integral Equations. Cambridge University Press, Cambridge (2000)zbMATHGoogle Scholar
- 18.Nochetto, R.H., Otarola, E., Salgado, A.J.: A PDE approach to fractional diffusion in general domains: a priori error analysis. arXiv.org, (February 2013)Google Scholar
- 19.Silvestre, L.: Regularity of the obstacle problem for a fractional power of the Laplace operator. PhD thesis, (May 2005)Google Scholar
- 20.Stein, E.: Singular integrals and differentiability properties of functions. Princeton Mathematical Series, vol. 30. Princeton University Press, Princeton (1970)Google Scholar
- 21.Stinga, P.R., Torrea, J.L.: Extension problem and Harnack’s inequality for some fractional operators. ArXiv e-prints, (2009)Google Scholar
- 22.Vázquez, J.L.: Recent progress in the theory of Nonlinear Diffusion with Fractional Laplacian Operators. arXiv preprint arXiv:1401.3640, pages 1–33, (January 2014)