특수함수

위키백과의 특수 함수에 대해서는 위키백과:특수 함수 문서를 참조하십시오.

특수함수는 해석학, 함수해석학, 물리학 등에서의 중요성으로 인해 확립된 명칭을 가지는 몇몇 수학적 함수를 가리킨다.

일반적으로 형식적인 정의는 따로 갖고 있지 않지만, 에 기록된 항목이라면 주로 널리 인정되는 특수함수라고 볼 수 있다. 그 중에는 초등함수도 특수함수의 정의에 들어간다.

특수함수표

특수함수 중 다수는 미분방정식의 해 또는 초등함수의 적분으로 등장한다. 따라서 적분을 정리한 표 중 다수는 특수함수에 대한 간략한 설명이 함께 딸려있고, 특수함수를 정리한 표는 중요한 적분공식과 특수함수의 적분표현이 함께 수록되어 있는 경우가 많다.

Mathematica 등의 기호연산 언어는 대부분의 특수함수를 인식한다. 하지만 그런 부류의 프로그램들이 모두 효율적인 평가 알고리즘을 사용하는 것은 아니다. 복수평면에서의 경우 특히 그렇다.

특수함수에서 사용하는 표기법

대부분의 경우 특수함수를 나타내는 표준적인 표기법이 존재한다. 대표적인 예로 함수의 이름을 (이탤릭이 아닌) 인쇄체로 표기한 후 아래첨자로 세부적인 명칭을 표시하고, 쉼표로 구분된 인수를 담은 괄호를 뒤에 붙이는 방법이 있다. 이러한 표기법은 모호함이 없이 기호연산 언어에서 사용될 수 있다. 국제적으로 확립된 표기법을 가지는 함수의 예로는 sin, cos, exp, erf, erfc 등이 있다.

하나의 특수함수가 여러 이름을 갖는 경우도 있다. 예를 들자면 자연로그 함수는 문맥에 따라 Log, log, ln 등으로 표기될 수 있다. 탄젠트 함수는 Tan, tan, tg (러시아어로 작성된 문헌) 등으로, 역탄젠트는 atan, tan^-1 등으로 표기될 수 있다. 베셀 함수의 표기예로는 $~{\rm J}_n (x)~$, $~{\rm BesselJ} (n, x)~$ 등이 있다.

특수함수에 붙는 아래첨자는 주로 정수의 값을 가지는 인자인 경우가 많다. 몇몇 문헌에서는 세미콜론(;)이나 역슬래시(\)로 이를 구분하는 경우도 있다. 하지만 이럴 경우 기호연산 언어로 번역하는 데 문제가 될 수도 있다.

위첨자는 보통의 수학적 표현과 같이 지수로 사용될 수 있지만 수정사항을 표시하는 데도 사용된다. 예를 들어 $~{\rm cos}^2 (x)~$는 $~[ {\rm cos} (x) ]^2~$를 뜻하지만 $~{\rm cos}^{-1} (x)~$는 $~\frac{1}{{\rm cos} (x)}~$나 $~{\rm arccos} (x)~$의 이중적인 의미를 가질 수 있다.

특수함수의 평가법

특수함수의 대부분은 복소변수의 함수로 인식된다. 이들은 해석함수이며, 특이점과 가지, 미분표현 혹은 적분표현 공식 및 테일러, 로랑, 점근 급수에 대해서도 알려진 경우가 대부분이다. 다른 특수함수와의 관계에 대해서도 알려진 경우가 존재한다. 복잡한 적분표현을 가진 특수함수를 좀 더 간단한 특수함수 몇가지를 이용해 나타내는 것이 가능한 경우도 있다. 특수함수의 평가 정의역의 특징에 맞는 표현을 이용하면 평가가 훨씬 용이하게 바뀔 수 있으며, 가장 간단한 표현으로 테일러 급수전개가 있다. 하지만 테일러 급수전개로는 수렴속도가 느리거나 아예 수렴하지 않는 경우도 존재한다. 알고리즘 중심의 언어에서는 유리근사를 이용하는 경우가 대표적인데, 복소인수가 사용된 경우 정확하지 못한 값으로 계산되는 경우가 많다.

읽어 보기

• 함수 일람
• 특수함수와 명칭의 시조 일람

바깥 고리

• 특수함수 일람 (영어)