无穷小特殊共形变换的推导：二次平移形式的技术问询

首先得给你拍板：你目前得到的系数表达式$c_{\mu\nu\rho}=g_{\mu\rho}b_\nu +g_{\mu\nu}b_\rho-g_{\nu\rho}b_\mu$是完全合理的，咱们可以先从共形基灵方程的角度验证这一点，再完成后续的展开推导。

一、系数表达式的合理性验证 #

回忆共形基灵方程的要求（无穷小特殊共形变换属于共形变换的子类，满足$\mathcal{L}\xi g{\mu\nu}=0$的特殊情况，对应尺度因子$\Omega(x)=0$）：
$$\partial_\mu\xi_\nu + \partial_\nu\xi_\mu = \frac{2}{d}\partial_\rho\xi^\rho g_{\mu\nu}$$
其中$d$是时空维度，$\xi^\mu=\delta x^{\mu=c_{\mu\nu\rho}x}\nu x^\rho$是我们的无穷小生成元。

1. 对称性检查：你的系数表达式交换$\nu$和$\rho$后，形式完全不变，刚好匹配$x^\nu x^\rho$的对称结构，这是第一步的必要条件，没问题。
2. 方程满足性验证：
   • 先计算$\partial_\mu\xi_\nu$，代入系数表达式后展开化简，最终能得到$\partial_\mu\xi_\nu + \partial_\nu\xi_\mu=4g_{\mu\nu}(b\cdot x)$；
   • 再计算$\frac{2}{d}\partial_\rho\xi^\rho g_{\mu\nu}$，通过迹运算（$g_{\rho\rho}=d$）可以得到同样的结果$4g_{\mu\nu}(b\cdot x)$。
     两者完全相等，说明你的系数表达式完美满足共形基灵方程，步骤完全正确。

二、完成二次平移式的展开推导 #

现在把系数代入原式，一步步展开化简：
$$
\begin{align}
c_{\mu\nu\rho}x^\nu x^\rho&=(g_{\mu\rho}b_\nu +g_{\mu\nu}b_\rho-g_{\nu\rho}b_\mu)x^\nu x^\rho \
&= g_{\mu\rho}b_\nu x^\nu x^\rho + g_{\mu\nu}b_\rho x^\nu x^\rho - g_{\nu\rho}b_\mu x^\nu x^\rho
\end{align}
$$

对每一项分别化简：

• 第一项：$g_{\mu\rho}x^\rho=x_\mu$，$b_\nu x^\nu=(b\cdot x)$，所以第一项为$x_\mu(b\cdot x)$；
• 第二项：$g_{\mu\nu}x^\nu=x_\mu$，$b_\rho x^\rho=(b\cdot x)$，所以第二项同样是$x_\mu(b\cdot x)$；
• 第三项：$g_{\nu\rho}x^\nu x^\rho=x\nu x_\nu=x^2$，$b_\mu$是常数矢量，所以第三项为$-b_\mu x^2$。

把三项合并后就得到了无穷小特殊共形变换的标准形式：
$$
\begin{align}
c_{\mu\nu\rho}x^\nu x^\rho &= 2x_\mu(b\cdot x) - b_\mu x^2
\end{align}
$$

这个结果和理论物理教材里的特殊共形变换无穷小生成元完全一致，推导圆满完成啦！

内容的提问来源于stack exchange，提问作者Joshuah Heath