QED学术论文页面：Furry图像推论（含双关标注）
文本内容
Joint IPPP, CI and ICFA Workshop on Advanced QED Methods for Future Accelerators
IOP Publishing
Journal of Physics: Conference Series 198 (2009) 012002
doi:10.1088/1742-6596/198/1/012002
- Consequences of the Furry picture
In the following we restrict ourselves to a class of fields where the definition of a stable vacuum is possible [4].
3.1. Vacuum polarization
Usually Feynman diagrams with self-closed electron lines, the tadpole diagrams, vanish as a consequence of Lorentz invariance. However, in the Furry picture the external field influences the vacuum: the vacuum expectation value of the current $j^\mu = \Psi^\dagger \gamma^\mu \Psi$ does not necessarily vanish any more. Therefore these kind of diagrams have to be included.
To make this plausible we split up the wave functions in states with positive and negative energy states:
$\Psi_F^{(+)} = \sum_s c_s \Psi_{F,s}, \quad \text{and} \quad \Psi_F^{(-)} = \sum_\sigma c_\sigma \Psi_{F,\sigma}, \tag{54}$
$\Psi_F^{(\dagger,+)} = \sum_\sigma c_\sigma^ \Psi_{F,\sigma}^\dagger, \quad \text{and} \quad \Psi_F^{(\dagger,-)} = \sum_s c_s^ \Psi_{F,s}^\dagger. \tag{55}$
The vacuum expectation current can be expressed:
$< j^\mu(x) >\sim \left{ \sum_s \Psi_s^\dagger \gamma^\mu \Psi_s - \sum_\sigma \Psi_\sigma^\dagger \gamma^\mu \Psi_\sigma \right} \tag{56}$
Eq.(56) is divergent. Using Pauli-Villar regularization [5], the equation can be transformed so that only in order $e^2$ logarithmically divergent but gauge invariant terms remain which can be removed via charge renormalization. Eq.(56) the whole vacuum polarization is contained up to the order $e^2$. In eq.(56)
3.2. Electron propagator
Since the external field influences the vacuum, space and time is no longer homogeneous. This inhomogeneity causes the electron operator depend on $x$ and $x'$ instead of only $x-x'$.
The electron propagator can be defined:
$G(x,x') = -i <0|T\Psi_F(x)\Psi_F^\dagger(x')|0 > \tag{57}$
整体描述
这是一页来自量子电动力学（QED）领域的学术论文截图，主题为「Furry图像的推论」，内容包含真空极化、电子传播子的专业物理推导，涉及波函数分解、真空期待电流、正则化与重整化等量子场论核心内容。页面被添加了红色大字标注「A Furry's picture」，利用物理术语「Furry图像」和英文中代表「毛茸茸亚文化」的「Furry」形成双关梗，让严肃的学术内容带有玩梗趣味。
来源说明
该页面出自IOP Publishing出版的《Journal of Physics: Conference Series》2009年第198卷的会议论文《Joint IPPP, CI and ICFA Workshop on Advanced QED Methods for Future Accelerators》，论文DOI为10.1088/1742-6596/198/1/012002。此截图为论文原文内容，并被后期添加了红色双关标注文字，属于对学术内容的二次玩梗创作。
![这是一张包含高等代数习题的图片，围绕罗尔定理展开，共有三个问题，同时包含各问题的解答：
1. **第一问**：要求运用罗尔定理证明拉格朗日中值定理结论
证明：构造辅助函数$F(x) = f(x) - \frac{f(b)-f(a)}{b-a}(x - a)$，$F(x)$在$[a,b]$连续，$(a,b)$可导，且$F(a)=f(a)$，$F(b)=f(a)$，满足罗尔定理条件，故存在$x₀∈(a,b)$使得$F'(x₀)=0$，而$F'(x)=f'(x)-\frac{f(b)-f(a)}{b-a}$，因此$f'(x₀)=\frac{f(b)-f(a)}{b-a}$，得证。
2. **第二问**：已知两个函数，在区间$(1,2)$内满足特定不等式，求参数$b$的取值范围
解答：$f(x)=x\ln x$在$(1,2)$上$f'(x)=\ln x+1>0$，单调递增。不等式等价于$|f'(x)|≥|g'(x)|$在$(1,2)$恒成立，$g'(x)=x-b$，即$\ln x+1≥|x-b|$，拆分为$x-(\ln x+1)≤b≤x+\ln x+1$。令$m(x)=x-\ln x-1$，在$(1,2)$单调递增，最大值为$1-\ln2$；令$n(x)=x+\ln x+1$，在$(1,2)$单调递增，最小值为$2$，故$b∈[1-\ln2,2]$。
3. **第三问**：证明关于$n$和$p$的不等式（$p>1,n≥2$）
证明：取$f(x)=\frac{1}{x^{p-1}}$，在$[n-1,n]$上用拉格朗日中值定理，存在$ξ∈(n-1,n)$，使得$\frac{1}{n^{p-1}}-\frac{1}{(n-1)^{p-1}}=-(p-1)\frac{1}{ξ^p}$，变形得$\frac{1}{(n-1)^{p-1}}-\frac{1}{n^{p-1}}=\frac{p-1}{ξ^p}$。因$ξ<n$，故$\frac{1}{ξ^p}>\frac{1}{n^p}$，代入得$\frac{1}{n^p}<\frac{1}{p-1}[\frac{1}{(n-1)^{p-1}}-\frac{1}{n^{p-1}}]$，得证。](https://gengtu.tos-accelerate.volces.com/memes/cf/65/85/c7/cf6585c7076369fae99a55f94674767c.png?x-tos-process=style/c)
