베셀 함수

위키백과, 우리 모두의 백과사전.
(변형 베셀 방정식에서 넘어옴)
이동: 둘러보기, 검색

수학에서, 베셀 함수(Bessel function)는 헬름홀츠 방정식원통좌표계에서 변수분리할 때 등장하는 특수 함수다. 물리학에서 맥스웰 방정식이나 열 방정식, 슈뢰딩거 방정식 등 다양한 문제를 풀 때 쓰인다.

정의[편집]

베셀 함수는 다음과 같은 상미분 방정식의 해 다.

여기서 는 임의의 복소수다. 이 상미분 방정식을 차수의 베셀 방정식(Bessel equation)이라고 한다.

베셀 방정식은 2차 상미분 방정식이므로, 베셀 방정식은 두 개의 선형 독립인 해를 가진다. 가 정수일 경우, 두 해 이 가운데 하나는 에서 발산하고, 다른 하나는 발산하지 않는다. 발산하지 않는 경우를 제1종 베셀 함수(Bessel function of the first kind) 라고 하고, 발산하는 경우를 제2종 베셀 함수(Bessel function of the second kind) 라고 한다. (가 정수가 아닐 경우에도 는 베셀 방정식의 두 개의 독립된 해를 이룬다.) 즉, 베셀 방정식의 일반해는 다음과 같다.

여기서 c1,c2는 임의의 상수다.

베셀 방정식의 유도[편집]

베셀 방정식은 2차원 헬름홀츠 방정식

극좌표계에서 변수분리할 때 나타난다. 즉, 원통좌표계 라플라스 연산자

이므로,

와 같이 변수분리하면 의 주기적 경계 조건에 의하여

또는 ()

가 된다. 이를 다시 헬름홀츠 방정식에 대입하면 다음과 같이 베셀 방정식을 얻는다.

제1종 베셀 함수[편집]

α=0(빨강), 1(녹색), 2(파랑) 일 때 Jα(x)의 그래프

α가 임의의 복소수일 때, 베셀 방정식의 가장 기본적인 해를 제1종 베셀 함수 Jα(x)라고 하며 다음과 같이 정의한다.

여기서 Γ(x)는 감마 함수를 의미한다.

이 때 만약 α가 정수가 아니라면, Jα(x)와 J(x)는 선형 독립이면서 베셀 방정식의 해가 된다. 따라서

(여기서 c1,c2는 상수) 는 α가 정수가 아닐 때의 베셀 방정식의 일반해가 된다.

성질[편집]

(a가 정수일때만 정의 된다)

베셀의 적분[편집]

n이 정수인 베셀 함수에 대해선 다음과 같이 적분 표현을 사용해서 베셀 함수의 표현이 가능하다.

이 형태는 프리드리히 베셀이 사용했던 접근법이다. 그리고 여기서 다른 몇몇 성질들을 유도해냈다.

또 다른 적분 형태의 정의로는 다음이 있다.

경로적분법을 통한 표현[편집]

경로적분법을 사용하여 베셀 함수를 다음과 같이 표현할 수 있다.

여기서 적분 경로는 원점을 주변으로 반시계방향으로 도는 임의의 고리이다.

제2종 베셀 함수[편집]

α=0(빨강), 1(녹색), 2(파랑)일 때 Yα(x)의 그래프

만약 베셀 방정식의 계수 가 정수이면 이므로 두 함수는 독립이 아니게 된다. 이 경우 나머지 한 해를 제2종 베셀 함수 Yα(x)라고 하고, 다음과 같다.

.

가 정수가 아닐 경우에는 위 공식은 극한 없이 바로 사용할 수 있지만, 가 정수일 경우에는 극한을 취하여야만 한다.

변형 베셀 함수[편집]

다음과 같은 2차 상미분 방정식변형 베셀 방정식(modified Bessel equation)이라고 한다.

변형 베셀 방정식의 해는 제1종 변형 베셀 함수 제2종 변형 베셀 함수 이다. 즉, 변형 베셀 방정식의 일반해는 다음과 같다.

방정식의 특징 때문에 변형 베셀 함수는 쌍곡 베셀 함수라고도 불린다.

제1종 변형 베셀 함수[편집]

α=0(빨강), 1(녹색), 2(파랑), 3(검정)일 때 Iα(x)의 그래프

변형 베셀 방정식의 기본적인 해를 제1종 변형 베셀 함수 Iα(x)라 하고, 자세한 형태는 다음과 같다.

급수 형태[편집]

제1종 변형 베셀 함수도 다음과 같은 급수 형태를 갖는다.

적분을 통한 표현[편집]

선적분을 통한 제1종 변형베셀함수의 표현은 다음과 같다.

여기서 적분경로는 원점을 주변으로 반시계방향으로 도는 임의의 고리이다.

조금 복잡하지만 다음과 같은 적분 표현법도 있다.

만약, α가 정수이면 위 식은 다음과 같이 간단해진다.

미분과 관련된 성질[편집]

n = 0 에서의 제1종 변형 베셀 함수를 미분하면 다음과 같은 결과를 얻는다.

여기서 Tn제1종 체비세프 다항식이다.

제2종 변형 베셀 함수[편집]

α=0(빨강), 1(녹색), 2(파랑), 3(검정)일 때 Kα(x)의 그래프

마찬가지로, 변형 베셀 방정식에 대한 제2종 변형 베셀 함수 Kα(x)를 정의 할 수 있는데 그 자세한 형태는 다음과 같다.

변형 베셀 함수와 마찬가지로 α가 정수일때 잘 정의가 되지 않으므로, 좀 더 엄밀히 정의하면,

또한 제2종 변형 베셀 함수는 다음과 같은 함수로 불리기도 했다.

  • 배셋 함수
  • 맥도날드 함수

다른 표현[편집]

베셀 함수는 다음과 같이 생성 함수로 표현할 수 있다. 이 공식을 야코비-앙거 전개(Jacobi–Anger expansion)라고 한다.

.

이는 카를 구스타프 야코프 야코비와 카를 테오도어 앙거(Carl Theodor Anger)의 이름을 딴 것이다.

마찬가지로, 구면 베셀 함수도 다음과 같이 생성 함수로 표현할 수 있다. 이 공식을 레일리 전개(Rayleigh expansion)라고 한다.

.

여기서 르장드르 다항식이다.

역사[편집]

다니엘 베르누이가 최초로 정의하였다. 프리드리히 베셀이 연구하고, 일반화하였다.[1]

참고 문헌[편집]

  1. Bessel, Friedrich (1824). “Untersuchung des Theils der planetarischen Störungen”. 《Berlin Abhandlungen》 14.