에어리 함수

덤프버전 :

분류

특수함수
Special Functions

[ 펼치기 · 접기 ]
적분
오차함수(error function) · 베타 함수(불완전 베타 함수) · 감마 함수(불완전 감마 함수 · 로그 감마 함수) · 타원 적분 · 야코비 타원 함수 · 지수 적분 함수 · 로그 적분 함수 · 삼각 적분 함수 · 쌍곡선 적분 함수 · 프레넬 적분 함수 · 구데르만 함수
미분방정식
르장드르 함수* · 구면 조화 함수 · 베셀 함수 · 에르미트 함수 · 라게르 함수 · 에어리 함수
역함수
브링 근호 · 람베르트 [math(W)] 함수 · 역삼각함수
급수
제타 함수 · 세타 함수 · 초기하함수 · 폴리로그함수 · 바이어슈트라스 타원 함수
정수론
소수 계량 함수 · 소인수 계량 함수 · 뫼비우스 함수 · 최대공약수 · 최소공배수 · 약수 함수 · 오일러 파이 함수 · 폰 망골트 함수 · 체비쇼프 함수 · 바쁜 비버 함수
기타
헤비사이드 계단 함수 · 부호 함수 · 테트레이션(무한 지수 탑 함수) · 집합 판별 함수 · 바닥함수 / 천장함수 · 허수지수함수 · 혹 함수
* 특수함수가 아니라 특정 조건을 만족시키는 다항함수이지만, 편의상 이곳에 기술했다.



삼각함수 · 쌍곡선함수
Trigonometric Functions · Hyperbolic Functions



1. 정의
2. 특징
3. 적분
4. 함숫값
5. 기타


1. 정의[편집]

에어리 함수(Airy function)는 다음 에어리 미분방정식을 만족하는 두 선형독립인 해 [math(\mathrm{Ai}(x))]와 [math(\mathrm{Bi}(x))]를 나타낸다. 영국의 천문학자 조지 에어리가 도입하였다.

[math(\begin{aligned}
\dfrac{{\rm d}^2y}{{\rm d}x^2} -xy = 0
\end{aligned} )]

에어리 함수는 다음과 같이 적분꼴로 나타낼 수 있다. [math(\exp{x} = e^{x})]이다.

[math(\displaystyle \begin{aligned}
\mathrm{Ai}(x) &= \frac1{\pi} \int_0^{\infty} \cos \biggl( \frac{t^3}3 +tx \biggr) {\rm d}t \\
\mathrm{Bi}(x) &= \frac1{\pi} \int_0^{\infty} \biggl( \exp \biggl( -\frac{t^3}{3} +tx \biggr) + \sin \biggl( \frac{t^3}3 +tx \biggr) \!\biggr) {\rm d}t \end{aligned} )]

다음은 에어리 함수의 그래프를 나타낸 것이다.

파일:에어리함수_그래프.png


2. 특징[편집]

에어리 함수는 아래와 같은 특징이 있다.
  • [math(\mathbf{Ai}\boldsymbol{(x)})]
    • 이 함수의 경우 0이 아닌 함숫값[1]이 대부분 [math(x<0)] 영역에 쏠려 있다는 특징이 있다.
    • [math(\displaystyle \lim_{x \to \infty} \mathrm{Ai}(x)=0)]이다.
    • [math(\displaystyle \lim_{x \to -\infty} \mathrm{Ai}(x)=0)]이다.
  • [math(\mathbf{Bi}\boldsymbol{(x)})]
    • [math(\displaystyle \lim_{x \to \infty} \mathrm{Bi}(x)=\infty)]이다.
    • [math(\displaystyle \lim_{x \to -\infty} \mathrm{Bi}(x)=0)]이다.
  • 위 그래프에서 볼 수 있듯, 두 함수 모두 [math(x<0)] 영역에서는 진동하는 경향이 있다.


3. 적분[편집]

에어리 함수와 관련된 다음의 흥미로운 정적분 식이 있다.
\end{aligned} )]


4. 함숫값[편집]

  • [math(\operatorname{Ai}(0) = \dfrac1{2\sqrt[6]3\pi} \,\Gamma\biggl(\dfrac13\biggr))]
  • [math(\operatorname{Bi}(0) = \dfrac{\sqrt[3]3}{2\pi} \,\Gamma\biggl(\dfrac13\biggr))]
  • [math(\operatorname{Ai}'(0) = -\dfrac{\sqrt[6]3}{2\pi} \,\Gamma\biggl(\dfrac23\biggr))]
  • [math(\operatorname{Bi}'(0) = \dfrac{\sqrt[3]9}{2\pi} \,\Gamma\biggl(\dfrac23\biggr))]


5. 기타[편집]

이 함수는 양자역학에서 WKB 근사법을 다룰 때 등장한다.


파일:크리에이티브 커먼즈 라이선스__CC.png 이 문서의 내용 중 전체 또는 일부는 2023-12-09 04:23:51에 나무위키 에어리 함수 문서에서 가져왔습니다.

[1] 사실 [math(x >0)] 영역에서도 0에 매우 근접할 뿐이지 0은 아니다.

관련 문서