1
$\begingroup$

Is it possible to compute explicitly the fractional Laplacian (in $\mathbb R^n$) of a power function $|x|^p$?

$\endgroup$
7
  • $\begingroup$ Yes: $(-\Delta)^{\alpha/2} [|x|^p] = 2^\alpha \Gamma((p+n)/2) \Gamma((\alpha-p)/2) (\Gamma((p+n-\alpha)/2) \Gamma((-p/2))^{-1} |x|^{p-n-\alpha}$ whenever defined. $\endgroup$ May 22, 2020 at 11:29
  • $\begingroup$ This follows easily from the composition rule for the Riesz potential kernel. See Theorem 3.1 in my survey [Kwaśnicki, Fractional Laplace Operator and its Properties, in: A. Kochubei, Y. Luchko, Handbook of Fractional Calculus with Applications. Volume 1: Basic Theory, De Gruyter Reference, De Gruyter, Berlin, 2019], DOI:10.1515/9783110571622-007 for a rigorous statement and discussion. $\endgroup$ May 22, 2020 at 11:32
  • $\begingroup$ @MateuszKwaśnicki Thanks! Could you clarify the $x$ dependence in your result? I expect it to be something like $-C_{N,\alpha} |x|^q$. $\endgroup$
    – Hiro
    May 22, 2020 at 11:38
  • $\begingroup$ Ah, I noticed a typo in my previous comment: should be $|x|^{p-\alpha}$, not $|x|^{p-n-\alpha}$, sorry. This is exactly as you say, with $q = p - \alpha$, but the constant depends on $n$, $\alpha$ and $p$. $\endgroup$ May 22, 2020 at 11:47
  • $\begingroup$ @MateuszKwaśnicki Thanks again. Oh, now I understand; in my browser the formula inside the comment is not properly displayed (I see it divided in two pieces with "whenever defined" in the middle). For the sake of clarity, could you please write it in an answer? $\endgroup$
    – Hiro
    May 22, 2020 at 11:50

1 Answer 1

6
$\begingroup$

Here it is:

Proposition: Let $\alpha \in (0, \infty)$, $p \in (-n, \alpha)$, and $$ f(x) = |x|^p . $$ Then $(-\Delta)^{\alpha/2} f(x)$ is well-defined for $x \ne 0$, and $$ (-\Delta)^{\alpha/2} f(x) = 2^\alpha \frac{\Gamma(\frac{p+n}{2}) \Gamma(\frac{\alpha-p}{2})}{\Gamma(\frac{p+n-\alpha}{2}) \Gamma(-\tfrac{p}{2})} \, |x|^{p - \alpha} . $$ Here we understand the right-hand side is zero if $\tfrac{p+n-\alpha}{2}$ or $-\tfrac{p}{2}$ is a non-positive integer.

This is sort of standard, as it follows from early work of M. Riesz on what is now known as the Riesz potential kernel. Sample reference is the first entry in Table 1 in my survey:

M. Kwaśnicki, Fractional Laplace Operator and its Properties, in: A. Kochubei, Y. Luchko, Handbook of Fractional Calculus with Applications. Volume 1: Basic Theory, De Gruyter Reference, De Gruyter, Berlin, 2019, DOI:10.1515/9783110571622-007

but there are obviously older sources.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.