[논문 리뷰] Formal derivation of an exact series expansion for the Principal Field Emission Elliptic Function v

Jonathan H. B. Deane, Richard G. Forbes외 1명|ArXiv.org|2007. 08. 07.

Vacuum and Plasma Arcs참고 문헌 9인용 수 3

한 줄 요약

이 논문은 주장력 전자 방출 타원 함수 $v(l')$에 대한 정확한 급수 전개의 형식적 수학적 유도를 제시하며, 이가 $n = 3/16$를 가진 새로운 제2차 상미분방정식(ODE)을 만족함을 보여준다. 프로베니우스의 방법과 케일리의 1876년 결과로부터 유도된 경계 조건을 사용하여, $l'$의 거듭제곱에 대한 수렴 급수와 $\ln 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차 상미분방정식인 $l'(1-l') \frac{d^2v}{dl'^2} = \frac{3}{16}v$의 특정해임을 입증하며, 이는 수학물리학 및 타원함수 이론에서 새로운 것이다.
• 이전의 가정을 뒷받침하는 바탕으로, 급수 전개에서 $\ln l'$ 항의 필수성과 $l'$의 분수 거듭제곱 항의 부재를 확인함으로써 급수의 수학적 정확성을 해결하는 것.
• 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를 풀어 두 개의 일차독립 급수 해를 도출하고, 그 중 $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')$의 정확한 수학적 구조는 무엇이며, 왜 단순한 테일러 급수로 표현될 수 없는가?
• 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$를 만족하는 ODE의 특정해이며, 이는 수학물리학 및 타원함수 이론에서 새로운 방정식이다.
• 급수 전개는 $\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를 유도하고 경계 조건을 알 수 있다면, 다른 터널링 장벽 모델 분석을 위한 공식적 범주를 확립한다.