[论文解读] A mathematical proof that the transition to a superconducting state is a second-order phase transition

Shuji Watanabe|arXiv (Cornell University)|Aug 26, 2008

Physics of Superconductivity and Magnetism参考文献 8被引用 5

一句话总结

本文通过证明热力学势在临界温度 $T_c$ 处二阶导数不连续，而其一阶导数连续，给出了 BCS-Bogoliubov 理论中超导相变为二阶相变的严格数学证明。分析表明，平方能隙函数 $f(T) = \Delta(T)^2$ 在 $[0, T_c]$ 上属于 $C^2$ 类，关键结果是热力学势在 $T_c$ 处二阶导数跳跃的显式表达式，从而确认了二阶相变行为。

ABSTRACT

We deal with the gap function and the thermodynamical potential in the BCS-Bogoliubov theory of superconductivity, where the gap function is a function of the temperature $T$ only. We show that the squared gap function is of class $C^2$ on the closed interval $[ 0, T_c ]$ and point out some more properties of the gap function. Here, $T_c$ stands for the transition temperature. On the basis of this study we then give, examining the thermodynamical potential, a mathematical proof that the transition to a superconducting state is a second-order phase transition. Furthermore, we obtain a new and more precise form of the gap in the specific heat at constant volume from a mathematical point of view.

研究动机与目标

• 通过数学分析，严格确立 BCS-Bogoliubov 框架中超导相变为二阶相变的本质。
• 分析平方能隙函数 $f(T) = \Delta(T)^2$ 在 $[0, T_c]$ 上的正则性，并证明其属于 $C^2$ 类。
• 研究热力学势 $\Omega(T)$ 及其可微性性质，以确定相变的阶数。
• 从 $\Omega(T)$ 的二阶导数推导出 $T_c$ 处比热跳跃的全新、数学上精确的表达式。

提出的方法

• 研究 BCS-Bogoliubov 理论中的能隙方程，将能隙函数 $\Delta(T)$ 视为仅依赖于温度的函数。
• 通过对方程及其导数的积分方程分析，证明平方能隙函数 $f(T)$ 在 $[0, T_c]$ 上属于 $C^2$ 类。
• 将热力学势 $\Omega(T)$ 分解为正常部分 ($\Omega_N$) 和超导部分 ($\Omega_S$)，其中 $\Omega_S = \Omega_N + \delta(T)$，$\delta(T)$ 捕获超导贡献。
• 通过计算其一阶和二阶导数，分析 $\Omega(T)$ 的可微性，特别关注在 $T_c$ 处的行为。
• 利用 $T_c$ 处 $\partial^2 \delta / \partial T^2$ 的表达式，显式计算 $\Omega(T)$ 二阶导数在 $T_c$ 处的跳跃，从而确定相变阶数。
• 采用截断正则化 ($\varepsilon > 0$) 以保证收敛性和正则性，取极限 $\varepsilon \to 0$ 恢复标准 BCS 情形。

实验结果

研究问题

• RQ1 热力学势 $\Omega(T)$ 在 $T_c$ 处是否具有二阶连续可微性？
• RQ2 是否在 $T_c$ 处出现 $\Omega(T)$ 二阶导数的不连续性，从而确认其为二阶相变？
• RQ3 在 $T_c$ 处 $\Omega(T)$ 二阶导数跳跃的精确数学表达式是什么？
• RQ4 平方能隙函数 $f(T)$ 的正则性如何影响 $\Omega(T)$ 的可微性？
• RQ5 能否从 $\Omega(T)$ 的二阶导数推导出 $T_c$ 处比热跳跃的数学上严格表达式？

主要发现

• 平方能隙函数 $f(T) = \Delta(T)^2$ 在闭区间 $[0, T_c]$ 上属于 $C^2$ 类，确保了能隙函数在二阶导数范围内平滑。
• 热力学势 $\Omega(T)$ 在 $(0, \infty)$ 上属于 $C^1$ 类，确认其一阶导数在 $T_c$ 处连续。
• $\partial^2 \Omega / \partial T^2$ 在 $(0, \infty) \setminus \{T_c\}$ 上连续，但在 $T_c$ 处出现跳跃间断，这是二阶相变的定义性特征。
• 在 $T_c$ 处 $\Omega(T)$ 二阶导数的跳跃由表达式 $\frac{2N_0 f'(T_c)}{T_c} \left( \frac{1}{1 + e^{2\varepsilon}} - \frac{1}{1 + e^{\hslash\omega_D/(k_B T_c)}} \right)$ 给出，明确量化了该不连续性。
• 定容比热在 $T_c$ 处出现跳跃，其数学表达式由此不连续性导出，提供了更精确的新形式。
• 该证明确认了从热力学角度看，超导相变为二阶相变：序参量（能隙）在 $T_c$ 处连续消失，且自由能为 $C^1$ 但非 $C^2$。