"오일러 베타적분(베타함수)"의 두 판 사이의 차이
6번째 줄: | 6번째 줄: | ||
<h5 style="margin: 0px; line-height: 2em;">성질</h5> | <h5 style="margin: 0px; line-height: 2em;">성질</h5> | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | <h5 style="margin: 0px; line-height: 3.428em; color: rgb(34, 61, 103); font-family: 'malgun gothic',dotum,gulim,sans-serif; font-size: 1.166em; background-position: 0px 100%;">삼각함수의 적분과의 관계</h5> | ||
<math>B(x,y) = 2\int_0^{\pi/2}(\sin\theta)^{2x-1}(\cos\theta)^{2y-1}\,d\theta</math> | <math>B(x,y) = 2\int_0^{\pi/2}(\sin\theta)^{2x-1}(\cos\theta)^{2y-1}\,d\theta</math> | ||
+ | |||
+ | <math>\int_0^{\frac{\pi}{2}}\sin^{p}\theta{d\theta}= \frac{1}{2}B(\frac{p+1}{2},\frac{1}{2})=\frac{\sqrt{\pi}\Gamma(\frac{p}{2}+\frac{1}{2})}{2\Gamma(\frac{p}{2}+1)}</math> | ||
+ | |||
+ | <math>\int_0^{\frac{\pi}{2}}\cos^{p}\theta{d\theta}= \frac{1}{2}B(\frac{p+1}{2},\frac{1}{2})=\frac{\sqrt{\pi}\Gamma(\frac{p}{2}+\frac{1}{2})}{2\Gamma(\frac{p}{2}+1)}</math> | ||
+ | |||
+ | <math>\int_0^{\frac{\pi}{2}}\sin^{2n}\theta{d\theta}= \frac{\sqrt{\pi}\Gamma(n+\frac{1}{2})}{2\Gamma(n+1)}=\frac{\pi}{2}\frac{(\frac{1}{2})_n}{(1)_n}</math> | ||
+ | |||
+ | <math>t^2=\cos \theta</math> 로 치환하여 증명. | ||
+ | |||
+ | |||
+ | |||
+ | * [[삼각함수]]<br> | ||
+ | * [[월리스 곱 (Wallis product formula)|월리스 곱]]<br> | ||
+ | |||
+ | |||
+ | |||
+ | |||
+ | |||
+ | <h5 style="margin: 0px; line-height: 2em;">베타적분과 감마함수</h5> | ||
<math>B(x,y)=\dfrac{\Gamma(x)\,\Gamma(y)}{\Gamma(x+y)}</math> | <math>B(x,y)=\dfrac{\Gamma(x)\,\Gamma(y)}{\Gamma(x+y)}</math> | ||
14번째 줄: | 39번째 줄: | ||
(증명) | (증명) | ||
+ | |||
+ | [[가우시안 적분]]의 아이디어와 비슷하다. | ||
+ | |||
+ | <math>\Gamma(x)\Gamma(y) = \int_0^\infty\ e^{-u} u^{x-1}\,du \int_0^\infty\ e^{-v} v^{y-1}\,dv</math> | ||
− | + | <math>\Gamma(x)\Gamma(y) = 4\int_0^\infty\ e^{-a^2} a^{2x-1}\,da \int_0^\infty\ e^{-b^2} b^{2y-1}\,db</math> | |
− | + | <math>= \int_{-\infty}^\infty\ \int_{-\infty}^\infty\ e^{-(a^2+b^2)} |a|^{2x-1} |b|^{2y-1} \,da \,db</math> | |
− | < | + | <math>\Gamma(x)\Gamma(y) & {} = \int_0^{2\pi}\ \int_0^\infty\ e^{-r^2} |r\cos\theta|^{2x-1} |r\sin\theta|^{2y-1} r \, dr \,d\theta</math> |
− | <math>\int_0^ | + | <math>= \int_0^\infty\ e^{-r^2} r^{2x+2y-2} r\, dr \int_0^{2\pi}\ |(\cos\theta)^{2x-1} (\sin\theta)^{2y-1}| \, d\theta</math> |
− | <math> | + | <math>= \frac{1}{2}\int_0^\infty\ e^{-r^2} r^{2(x+y-1)} \, d(r^2) 4\int_0^{\pi/2}\ (\cos\theta)^{2x-1} (\sin\theta)^{2y-1} \,d\theta</math> |
− | <math> | + | <math>= \Gamma(x+y) 2\int_0^{\pi/2}\ (\cos\theta)^{2x-1} (\sin\theta)^{2y-1} \, d\theta</math> |
− | <math> | + | <math> = \Gamma(x+y) \Beta(x,y)</math> |
− | |||
− | |||
− | |||
2009년 11월 13일 (금) 16:35 판
간단한 소개
\(B(x,y) = \int_0^1t^{x-1}(1-t)^{y-1}\,dt\)
성질
삼각함수의 적분과의 관계
\(B(x,y) = 2\int_0^{\pi/2}(\sin\theta)^{2x-1}(\cos\theta)^{2y-1}\,d\theta\)
\(\int_0^{\frac{\pi}{2}}\sin^{p}\theta{d\theta}= \frac{1}{2}B(\frac{p+1}{2},\frac{1}{2})=\frac{\sqrt{\pi}\Gamma(\frac{p}{2}+\frac{1}{2})}{2\Gamma(\frac{p}{2}+1)}\)
\(\int_0^{\frac{\pi}{2}}\cos^{p}\theta{d\theta}= \frac{1}{2}B(\frac{p+1}{2},\frac{1}{2})=\frac{\sqrt{\pi}\Gamma(\frac{p}{2}+\frac{1}{2})}{2\Gamma(\frac{p}{2}+1)}\)
\(\int_0^{\frac{\pi}{2}}\sin^{2n}\theta{d\theta}= \frac{\sqrt{\pi}\Gamma(n+\frac{1}{2})}{2\Gamma(n+1)}=\frac{\pi}{2}\frac{(\frac{1}{2})_n}{(1)_n}\)
\(t^2=\cos \theta\) 로 치환하여 증명.
베타적분과 감마함수
\(B(x,y)=\dfrac{\Gamma(x)\,\Gamma(y)}{\Gamma(x+y)}\)
(증명)
가우시안 적분의 아이디어와 비슷하다.
\(\Gamma(x)\Gamma(y) = \int_0^\infty\ e^{-u} u^{x-1}\,du \int_0^\infty\ e^{-v} v^{y-1}\,dv\)
\(\Gamma(x)\Gamma(y) = 4\int_0^\infty\ e^{-a^2} a^{2x-1}\,da \int_0^\infty\ e^{-b^2} b^{2y-1}\,db\)
\(= \int_{-\infty}^\infty\ \int_{-\infty}^\infty\ e^{-(a^2+b^2)} |a|^{2x-1} |b|^{2y-1} \,da \,db\)
\(\Gamma(x)\Gamma(y) & {} = \int_0^{2\pi}\ \int_0^\infty\ e^{-r^2} |r\cos\theta|^{2x-1} |r\sin\theta|^{2y-1} r \, dr \,d\theta\)
\(= \int_0^\infty\ e^{-r^2} r^{2x+2y-2} r\, dr \int_0^{2\pi}\ |(\cos\theta)^{2x-1} (\sin\theta)^{2y-1}| \, d\theta\)
\(= \frac{1}{2}\int_0^\infty\ e^{-r^2} r^{2(x+y-1)} \, d(r^2) 4\int_0^{\pi/2}\ (\cos\theta)^{2x-1} (\sin\theta)^{2y-1} \,d\theta\)
\(= \Gamma(x+y) 2\int_0^{\pi/2}\ (\cos\theta)^{2x-1} (\sin\theta)^{2y-1} \, d\theta\)
\( = \Gamma(x+y) \Beta(x,y)\)
무리함수의 적분과 감마함수
\(n>0\)에 대하여,
\(\int_0^1\frac{dx}{\sqrt{1-x^n}}=\frac{1}{n}B(\frac{1}{2},\frac{1}{n})\)
이 성립한다
타원적분과의 관계
- lemniscate 곡선의 길이와 타원적분
\(L=2\omega=4\int_0^1\frac{dx}{\sqrt{1-x^4}}=B(1/2,1/4)=\frac{\Gamma(\frac{1}{2})\Gamma(\frac{1}{4})}{\Gamma(\frac{3}{4})}=\frac{\Gamma(1/4)^2}{\sqrt{2\pi}}=5.24\cdots\)
베타적분과 초월수
(정리)
\(a,b,a+b \in \mathbb{Q-Z}\) 라 하자. \(B(a,b)\) 는 초월수이다. 즉
\(B(a,b) = \frac{\Gamma(x)\,\Gamma(y)}{\Gamma(x+y)}= \int_0^1t^{a-1}(1-t)^{b-1}\,dt\)
는 초월수이다.
재미있는 사실
역사
관련된 다른 주제들
수학용어번역
사전 형태의 자료
- http://ko.wikipedia.org/wiki/
- http://en.wikipedia.org/wiki/Beta_integral
- http://www.wolframalpha.com/input/?i=Beta+integral
- http://www.wolframalpha.com/input/?i=Beta(1/2,1/4)
- NIST Digital Library of Mathematical Functions
관련논문
관련도서 및 추천도서
- 도서내검색
- 도서검색
관련기사
- 네이버 뉴스 검색 (키워드 수정)