[论文解读] Formal derivation of an exact series expansion for the Principal Field Emission Elliptic Function v

Jonathan H. B. Deane, Richard G. Forbes+1 more|ArXiv.org|Aug 7, 2007

Vacuum and Plasma Arcs参考文献 9被引用 3

一句话总结

本文对主场致电子发射椭圆函数 $v(l')$ 的精确级数展开进行了形式化的数学推导，表明其满足一个新颖的二阶常微分方程（ODE），索引为 $n = 3/16$。通过 Frobenius 方法并结合 Cayley 于 1876 年的结果所给出的边界条件，作者推导出关于 $l'$ 及 $\text{less } l'$ 的收敛级数，确认对数项是必不可少的，而分数幂项则不是，为冷场电子发射理论中的高精度近似提供了严格的数学基础。

ABSTRACT

An exact series expansion is now known for the Principal Field Emission Elliptic Function v, in terms of a complementary elliptic variable l' equal to y*y, where y is the Nordheim parameter. This expansion was originally found by using the algebraic manipulation package MAPLE. This paper presents a formal mathematical derivation. It has been discovered that v(l') is a particular solution of the ordinary differential equation (ODE) l'(1-l')d^2v/dl'^2=nv, when the index n = 3/16. This ODE appears to be new in mathematical physics and elliptic-function theory. The paper first uses an 1876 result from Cayley to establish the boundary condition that dv/dl' satisfies as l' tends to zero. It then uses the method of Frobenius to obtain two linearly independent series solutions for the ODE, and hence derives the series expansion for v(l'). It is shown that terms in ln{l'} are required in a mathematically correct solution, but fractional powers of l' are not. The form of the ODE also implies that it is mathematically impossible for simple Taylor expansion methods to generate good approximation formulae valid over the whole range 0 =< l' =< 1; this conclusion may also apply to barriers of other shapes. It is hoped that this derivation might serve as a paradigm for the treatment of other tunnelling barrier models for cold field electron emission, if in any particular case an ODE can be found for which the tunnelling-exponent correction function is a particular solution.

研究动机与目标

• 提供主场致电子发射椭圆函数 $v(l')$ 的精确级数展开的形式化数学推导，该展开此前是通过 MAPLE 数值计算获得的。
• 确立 $v(l')$ 是一个新二阶 ODE 的特解：$l'(1-l') \frac{d^2v}{dl'^2} = \frac{3}{16}v$，该方程在数学物理与椭圆函数理论中具有新颖性。
• 通过验证对数项 $\ln l'$ 的必要性及 $l'^{1/2}$ 等分数幂项的缺失，澄清该级数展开的数学正确性，以反驳早期的假设。
• 证明标准泰勒展开方法无法在区间 $0 \leq l' \leq 1$ 的全范围内产生良好近似，原因在于 ODE 在 $l' = 0$ 处具有奇点。
• 提出该推导可作为分析其他隧穿势垒模型的范例，前提是能够识别出校正函数的控制 ODE。

提出的方法

• 作者指出 $v(l')$ 满足 ODE $l'(1-l') \frac{d^2v}{dl'^2} = \frac{3}{16}v$，该方程在数学物理中被证明是全新的。
• 他们利用 Cayley 于 1876 年的结果，推导出当 $l' \to 0$ 时 $\frac{dv}{dl'}$ 的边界条件，这对唯一求解 ODE 至关重要。
• 采用 Frobenius 方法求解 ODE，得到两个线性无关的级数解，从中提取出 $v(l')$ 的特定解。
• 推导结果表明，解中包含 $\ln l'$ 项，这些项在数学上是必需的，但不包含 $l'^{1/2}$ 或其他分数幂项。
• 级数以形式 $v(l') = (1-l') \sum a_n l'^n + l'\ln l' \sum b_n l'^n$ 表示，确保在截断时在 $l'=0$ 和 $l'=1$ 处保持精确。
• 通过与已知的高精度数值结果匹配，并确认其收敛性，验证了该级数的数值近似性能。

实验结果

研究问题

• RQ1 主场致电子发射椭圆函数 $v(l')$ 关于 $l'$ 的精确数学结构是什么？为何其无法表示为简单的泰勒级数？
• RQ2 函数 $v(l')$ 是否满足一个二阶线性 ODE？若是，其形式为何，且在数学物理中具有何种意义？
• RQ3 为何级数展开中必须包含对数项 $\ln l'$？为何像 $l'^{1/2}$ 这类分数幂项在数学上是不合理的？
• RQ4 在已知 ODE 与边界条件的前提下，Frobenius 方法能否成功地从第一原理推导出 $v(l')$ 的级数展开？
• RQ5 该推导能否作为分析冷场电子发射中其他隧穿势垒模型的一般框架？

主要发现

• 函数 $v(l')$ 是 ODE $l'(1-l') \frac{d^2v}{dl'^2} = \frac{3}{16}v$ 的特解，该方程在数学物理与椭圆函数理论中具有新颖性。
• 该函数的级数展开包含对数项 $\ln l'$，这些项在数学上是正确性所必需的，但不包含任何 $l'^{1/2}$ 等分数幂项。
• 级数系数被显式计算得出，结果为 $v(l') = 1 - 0.96729l' - 0.02330l'^2 - 0.00505l'^3 + \cdots + l'\ln l'(0.18750 + 0.01758l' + 0.00641l'^2 + \cdots)$，具有高数值精度。
• 形式 $v(l') = (1-l')(1 + 0.03271l' + \cdots) + l'\ln l'(0.18750 + \cdots)$ 确保了在 $l'=0$ 和 $l'=1$ 处的精确性，从而支持高度精确的数值近似。
• 该推导确认，由于 ODE 在 $l'=0$ 处具有奇点，标准泰勒展开方法无法在区间 $0 \leq l' \leq 1$ 内产生良好近似，这一局限性可能也适用于其他势垒形状。
• 该工作为分析其他隧穿势垒模型建立了一个正式的范例，前提是能够推导出校正函数的控制 ODE 并已知边界条件。