Optimal Hardy inequality for the fractional Laplacian on $L^p$

For the fractional Laplacian we give Hardy inequality which is optimal in $L^p$ for $1<p<\mathrm{\infty }$. As an application, we explicitly characterize the contractivity of the corresponding Feynman-Kac semigroups on $L^p$.