拓扑绝缘体论文中用于定义分布的积分推导求助

嘿，我来帮你一步步推导这个积分！首先咱们先明确目标和你已经做的有效简化——你已经注意到原积分里，$|k|^{1/2}e{-\mu|k|}$是偶函数，而$e^{ikx}$的虚部$\sin(kx)$是奇函数，所以积分的虚部直接为0，只需要计算实部的两倍，也就是：
$$I = \frac{1}{\pi}\int_0^{{\infty}\sqrt{k}e}{-\mu k}\cos(kx)dk$$

接下来咱们用Gamma函数的积分表示来解决这个问题，步骤很清晰：

1. 先把余弦函数写成复数实部的形式：$\cos(kx) = \text{Re}\left(e^{ikx}\right)$，这样积分就可以转化为复指数的积分，方便用Gamma函数处理：
   $$I = \frac{1}{\pi}\text{Re}\left( \int_0^{{\infty}\sqrt{k}e}{-(\mu - ix)k}dk \right)$$

2. 回忆Gamma函数的定义：$\Gamma(s) = \int_0^{\infty}t{s-1}e^{-at}dt$（这里$\mu>0$，所以$\text{Re}(\mu-ix)=\mu>0$，满足定义的收敛条件）。我们令$s = \frac{3}{2}$，$a = \mu - ix$，$t=k$，那么积分就变成：
   $$\int_0^{{\infty}\sqrt{k}e}{-(\mu - ix)k}dk = \frac{\Gamma\left(\frac{3}{2}\right)}{(\mu - ix)^{3/2}}$$

3. 代入Gamma函数的已知值：$\Gamma\left(\frac{3}{2}\right) = \frac{\sqrt{\pi}}{2}$，式子就简化为：
   $$I = \frac{1}{\pi}\text{Re}\left( \frac{\sqrt{\pi}/2}{(\mu - ix)^{3/2}} \right) = \frac{1}{2\sqrt{\pi}}\text{Re}\left( (\mu - ix)^{-3/2} \right)$$

4. 接下来把复数$\mu - ix$转换成极坐标形式，方便计算幂次：

   • 模长：$r = \sqrt{\mu^2 + x^2}$
   • 辐角：$\theta = \tan^{-1}\left(\frac{x}{\mu}\right)$（因为$\mu - ix = r(\cos\theta - i\sin\theta) = r e^{-i\theta}$，这里的$\theta$是实轴正方向到$\mu - ix$的夹角，刚好对应$\tan\theta = x/\mu$）

   那么$(\mu - ix)^{-3/2} = r^{-3/2} e^{i\frac{3\theta}{2}} = (\mu^2 + x²⁾{-3/4} \left( \cos\left(\frac{3\theta}{2}\right) + i\sin\left(\frac{3\theta}{2}\right) \right)$

5. 取实部之后，就得到最终结果：
   $$I = \frac{1}{2\sqrt{\pi}}(x^2+\mu2)^{{-3/4}\cos\left(\frac{3}{2}\tan}{-1}\left(\frac{x}{\mu}\right)\right)$$

其实你之前的方向是对的，只是差了把复指数和Gamma函数结合这一步，整个过程拆解开来就很清晰啦！

备注：内容来源于stack exchange，提问作者DrakeI