본문으로 이동

초기하함수

위키백과, 우리 모두의 백과사전.

초기하함수(超幾何函數, 영어: hypergeometric function)는 기하급수를 일반화시키는 일련의 특수 함수들이다. 일련의 거듭제곱 급수로 나타내어지고, 어떤 선형 상미분 방정식을 만족시킨다.

정의

[편집]

초기하 미분 방정식(영어: hypergeometric differential equation)은 미지 함수 에 대한, 다음과 같은 꼴의 차 선형 상미분 방정식이다.

여기서

는 임의의 상수들이다. 이 방정식의 해는 다음과 같은 급수로 전개시킬 수 있다.

여기서

상승 포흐하머 기호이며,

이다. 이 급수 초기하급수(영어: hypergeometric series)라고 하며, 만약 이 급수가 수렴하는 경우 초기하함수라고 한다.

성질

[편집]

정의에 따라, 초기하함수 의 순서에 관계없다. 또한, 만약 교집합이 있으면, 이들을 서로 약분할 수 있다. 예를 들어 라면

이다.

미분

[편집]

급수 전개에 따라, 초기하함수의 미분은 다음과 같다.

여기서 이며, 의 경우도 마찬가지다.

모노드로미

[편집]

복소 상미분 방정식

개의 선형 독립 해는

이다. (여기서 를 제외한 목록을 뜻한다.) 이는 푹스 방정식(해가 정칙 특이점만을 갖는 방정식)이며, 리만 구 위의 (정칙) 특이점은 이다. 이들은 특이점 근처에서 모노드로미를 가진다.

  • 근처에서, 초기하 방정식은 개의 선형 독립 해들을 갖는다. 나머지 하나의 해는 1 근처에서 모노드로미를 가지므로 포함되지 않는다.
  • 또는 근처에서, 초기하 방정식의 해들은 항상 모노드로미를 가지므로, 이 근처에서는 일반적으로 해가 존재하지 않는다.
  • 근처에서는 개의 선형 독립 해가 존재한다.

어떤 밑점 근처에서의 위 방정식의 해의 벡터 공간라고 하자. 이는 차원의 복소 벡터 공간이다. 그렇다면, 모노드로미에 따라서 기본군의 다음과 같은 군 표현이 존재한다.

임의의 에 대하여, 초기하 함수 를 생각하자. 그렇다면 기본군 의 작용은 다음과 같다.

  • 고윳값이다 .
  • 고윳값이다 .
  • 은 중복수가 인 고윳값 1을 갖는다.

이 조건을 충족시키는 군 표현은 유일하며, 이를 초기하군 라고 한다.

[편집]

0F0

[편집]

지수 함수이다.

1F0

[편집]

기하급수이다. 이로부터 "초기하"라는 이름이 유래하였다.

0F1

[편집]

합류 초기하 극한 함수(영어: confluent hypergeometric limit function)라고 하며, 다음과 같이 베셀 함수로 나타낼 수 있다.

1F1

[편집]

제1종 합류 초기하함수(영어: confluent hypergeometric function of the first kind)라고 한다.

2F1

[편집]

가우스 초기하함수(영어: Gaussian hypergeometric function)라고 하며, 초기하함수 가운데 가장 자주 등장한다. 보통 첨자의 언급 없이 "초기하함수"라고 하면 가우스 초기하함수를 가리킨다.

가우스 초기하함수의 특수한 경우로는 다음을 들 수 있다.

여기서 는 제1종 타원적분이다.

nFn−1

[편집]

클라우센-토메 초기하함수(영어: Clausen–Thomae hypergeometric function)라고 한다. 이는 토마스 클라우센(덴마크어: Thomas Clausen)과 카를 요하네스 토메(독일어: Carl Johannes Thomae)의 이름을 땄다. 이는 기하급수 및 가우스 초기하함수 의 일반화이며, 가우스 초기하함수와 마찬가지로 흥미로운 모노드로미 이론을 갖는다.

참고 문헌

[편집]

외부 링크

[편집]