A Semi-Analytic Diagonalization FEM for the Spectral Fractional Laplacian

Abner J. Salgado,Shane E. Sawyer
2024-09-26
Abstract:We present a technique for approximating solutions to the spectral fractional Laplacian, which is based on the Caffarelli-Silvestre extension and diagonalization. Our scheme uses the analytic solution to the associated eigenvalue problem in the extended dimension. We show its relation to a quadrature scheme. Numerical examples demonstrate the performance of the method.
Numerical Analysis
What problem does this paper attempt to address?
The problem that this paper attempts to solve is: how to effectively approximate the solution to the spectral fractional Laplacian problem. Specifically, given a convex, bounded region \(\Omega\) and a sufficiently smooth function \(f\), we need to find a function \(u\) such that: \[ (-\Delta)^s u = f \quad \text{in} \; \Omega \] where \(s\in(0, 1)\). ### Background and Challenges The fractional Laplacian operator is a non - local operator, which makes numerical solution very difficult. Caffarelli and Silvestre proposed an extension method, which extends the problem from \(\mathbb{R}^d\) to the upper half - space \(\mathbb{R}^{d + 1}_+\), and solves it through a Dirichlet - to - Neumann map. This method has been generalized to the bounded region \(\Omega\), and the extension problem can be defined on the semi - infinite cylinder \(C=\Omega\times(0,\infty)\). ### Main Contributions of the Paper This paper proposes a new technique, which combines the Caffarelli - Silvestre extension and the diagonalization method, and uses the analytical solution to approximately solve the fractional Laplacian operator problem. Specifically: 1. **Diagonalization Technique**: By exactly diagonalizing the second - order eigenvalue problem in the extended dimension, the Caffarelli - Silvestre extension can be decomposed into independent, singularly perturbed second - order reaction - diffusion problems. 2. **Exact Diagonalization Scheme**: Replace the numerical approximation in the hp - FEM scheme with the analytical solution, thus avoiding the numerical instability of large eigenvalue problems. 3. **Connection with the Balakrishnan Formula**: Prove the relationship between this method and the discretization of the Balakrishnan formula, and provide error estimates. ### Summary of Mathematical Formulas The key formulas involved in the paper include: - Definition of the fractional Laplacian operator: \[ (-\Delta)^s u=\sum_{k = 1}^{\infty}w_k\lambda_k^s\phi_k \] - Caffarelli - Silvestre extension problem: \[ \begin{cases} \text{div}(y^\alpha\nabla U)=0 & \text{in} \; C\\ U = 0 & \text{in} \; \partial_L C\\ \frac{\partial U}{\partial\nu^\alpha}=d_s f & \text{in} \; \Omega\times\{0\} \end{cases} \] - Eigenvalue problem: \[ -(y^\alpha\psi'(y))'=\mu y^\alpha\psi(y) \quad \text{in} \; (0,Y) \] - Analytical solution expression: \[ \psi_k(y)= \begin{cases} \sqrt{\frac{2}{Y}}\cos(\sqrt{\mu_k}y) & \text{when} \; s=\frac{1}{2}\\ \frac{\sqrt{2}}{\mu_k^{s/2}YJ_{1 - s}(\eta_k)}(y\sqrt{\mu_k})^sJ_{-s}(y\sqrt{\mu_k}) & \text{when} \; s\neq\frac{1}{2} \end{cases} \] Through these improvements, this method not only improves the computational efficiency but also ensures the numerical stability.