[論文レビュー] 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')$ の正確な級数展開の形式的数学的導出を提示し、それがインデックス $n = 3/16$ の新しい2階常微分方程式（ODE）を満たすことを示している。フロベニウスの方法とケイリーの1876年結果からの境界条件を用いて、$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.

研究の動機と目的

• MAPLEを用いた数値計算で得られた以前の結果を補完する形で、主場発光楕円関数 $v(l')$ の正確な級数展開の形式的数学的導出を提供すること。
• $v(l')$ が新しい2階ODE $l'(1-l') \frac{d^2v}{dl'^2} = \frac{3}{16}v$ の特定解であることを確立すること。このODEは数学物理学および楕円関数論において新規である。
• 従来の仮定とは対照的に、級数展開における $\ln l'$ 項の必要性と $l'^{1/2}$ などの分数乗項の不在を確認することで、級数の数学的正しさを解明すること。
• ODEが $l' = 0$ で特異的であるため、標準的なテイラー級数展開法では $0 \leq l' \leq 1$ 全域にわたる良好な近似を得られないことの証明。
• 他のトンネル障壁モデルの解析のためのパラダイムとして、本導出を提示すること。ただし、補正関数の支配的ODEが特定可能で、境界条件が既知であることが前提である。

提案手法

• 著者らは、$v(l')$ が $l'(1-l') \frac{d^2v}{dl'^2} = \frac{3}{16}v$ を満たすことを特定し、これが数学物理学分野における新規な方程式であることを示している。
• ケイリーの1876年結果を用いて、$l' \to 0$ のときの $\frac{dv}{dl'}$ の境界条件を導出し、ODEの一意的解法に不可欠である。
• フロベニウスの方法を適用してODEを解き、2つの一次独立な級数解を得、その中から $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')$ は2階線形ODEを満たすか？ もしそうならば、その形と数学物理学における意義は何か？
• RQ3 なぜ級数展開において対数項 $\ln l'$ が不可欠であり、$l'^{1/2}$ などの分数乗項は数学的に正当化されないのか？
• RQ4 境界条件とODEが与えられた場合、フロベニウスの方法を用いて $v(l')$ の級数展開を第一原理から成功裏に導出できるか？
• RQ5 この導出プロセスは、冷場電子発光における他のトンネル障壁モデルの解析のための一般的フレームワークとして機能できるか？

主な発見

• 関数 $v(l')$ は、数学物理学および楕円関数論において新規な方程式である $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$ で正確性を保証し、高精度な数値近似を可能にする。
• 導出により、$l'=0$ で特異的であるODEの性質のため、単純なテイラー級数展開法では $0 \leq l' \leq 1$ 全域にわたる良好な近似を得られないことが確認された。この制限は他の障壁形状に対しても同様に適用可能である可能性がある。
• 本研究は、補正関数の支配的ODEが導出可能で、境界条件が既知である限り、他のトンネル障壁モデルの解析のための形式的パラダイムを確立している。