베타 함수
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.
1. 개요
베타 함수는 다음과 같이 정의되는 특수한 수학 함수이다.
베타 함수는 감마 함수와의 관계, 다양한 적분 표현, 급수 표현, 무한 곱 표현 등 여러 가지 성질을 가지며, 대칭성을 띤다. 이항 계수를 일반화한 것으로 볼 수 있으며, 불완전 베타 함수, 다변수 베타 함수로 확장된다. 끈 이론, 통계학 등 다양한 분야에 응용되며, 여러 프로그래밍 언어 및 소프트웨어 패키지에서 구현되어 사용된다.
더 읽어볼만한 페이지
- 감마 함수 및 관련 함수 - 감마 분포
감마 분포는 형상 모수와 척도 모수로 정의되는 연속 확률 분포로, 확률 밀도 함수가 감마 함수로 표현되며, 베이즈 통계학에서 켤레 사전 분포로 활용되고, 형상 모수가 양의 정수일 때는 얼랑 분포를 나타낸다. - 감마 함수 및 관련 함수 - 불완전 감마 함수
불완전 감마 함수는 감마 함수의 적분 구간을 나누어 정의되며 상부 불완전 감마 함수와 하부 불완전 감마 함수로 나뉘고, 확률론, 통계학, 물리학 등 다양한 분야에서 응용되는 함수이다. - 특수 초기하함수 - 지수 함수
지수 함수는 양의 상수 *a*를 밑으로 하는 *y = ax* 형태의 함수이며, 특히 자연로그의 역함수인 *ex*는 다양한 정의와 응용을 가지며 복소수로 확장될 수 있다. - 특수 초기하함수 - 르장드르 다항식
르장드르 다항식은 르장드르 미분 방정식의 해로 정의되는 직교 다항식 계열로, 생성 함수, 로드리게스 공식, 또는 점화식을 통해 정의될 수 있으며, 물리학, 공학, 수치해석 등 다양한 분야에서 응용된다. - 특수 함수 - 람베르트 W 함수
람베르트 W 함수는 we^w = z를 만족하는 w를 찾는 람베르트 이름을 딴 역함수 관계를 가지며, 여러 분야에서 지수 함수 방정식을 푸는 데 응용되는 무한히 많은 가지를 가진 함수이다. - 특수 함수 - 감마 함수
감마 함수는 양의 실수부를 갖는 복소수 z에 대해 오일러 적분으로 정의되고 해석적 연속을 통해 복소평면 전체로 확장된 팩토리얼 함수의 일반화로서, 수학, 물리학, 공학 등 다양한 분야에서 활용되며 여러 표현과 성질을 가진다.
베타 함수 | |
---|---|
수학 정보 | |
종류 | 특수 함수 |
기호 | Β(x, y) |
정의 | Β(x, y) = ∫01 tx-1(1-t)y-1 dt (Re(x) > 0, Re(y) > 0) |
다른 표현 | Β(x, y) = Γ(x)Γ(y) / Γ(x+y) |
성질 | 대칭성: "Β(x, y) = Β(y, x)" 관계식: "Β(x, y) = Β(x, y+1) + Β(x+1, y)" |
일반 정보 | |
이름 | 베타 함수 |
영어 이름 | Beta function |
2. 정의
실수부가 0보다 큰 복소수 x, y에 대해 베타 함수 는 다음과 같이 정의된다.[1]
베타 함수는 다음과 같은 중요한 성질들을 가진다.[1]
:
감마 함수와 함께 '''오일러 적분'''(Euler integral)이라고도 부른다.[1]
3. 성질
:
:
:
:
:
:
x가 충분히 크고 y가 고정되어 있을 때는 다음과 같다.
:
베타 함수는 다음과 같은 관계식들을 만족한다.3. 1. 대칭성
베타 함수는 대칭 함수이므로, 모든 입력 및 에 대해 가 성립한다.[1]
3. 2. 감마 함수와의 관계
베타 함수는 감마 함수와 밀접한 관계를 가진다.[1]
:
여기에서 는 감마 함수이다.
증명은 다음과 같다.
:
변수를 및 로 변경한다. 이고 이기 때문이다. 그러면 에 대한 적분 한계는 0에서 ∞이고, 에 대한 적분 한계는 0에서 1이 된다. 따라서
:
양변을 로 나누면 원하는 결과를 얻는다.
이 등식은 컨볼루션의 적분에 대한 등식의 특별한 경우로 볼 수 있다. 다음을 취하면
:
다음이 성립한다.
:
이 관계의 유도에 대해서는 ''The Gamma Function'', 18–19 페이지[2]를 참조하라.
(또는 대칭성에 의해 )이 양의 정수일 때, 감마 함수 의 정의에 따라[1]
:
이 관계를 유도하기 위해, 두 팩토리얼의 곱을 적분으로 나타낸다. 이들은 두 개의 독립적인 변수에 대한 적분이므로, 반복 적분으로 결합할 수 있다.
3. 3. 이항 계수와의 관계
베타 함수는 이항 계수와 밀접한 관련이 있다. m (또는 대칭성에 의해 n)이 양의 정수일 때, 감마 함수의 정의에 따라,[1]
:
3. 4. 다양한 적분 표현
다음은 베타 함수의 다양한 적분 표현이다.[1]
:
:
:
3. 5. 급수 표현
베타 함수는 다음과 같은 무한 급수로 표현될 수 있다.[3]
:
3. 6. 무한 곱 표현
Beta function영어는 다음과 같은 무한 곱으로 표현될 수 있다.[3]
:
3. 7. 함수 등식
베타 함수는 대칭 함수이므로, 모든 입력 및 에 대해 다음이 성립한다.[1]
:
베타 함수의 주요 속성은 감마 함수와의 관계이다.[1]
:
베타 함수는 이항 계수와도 관련이 있다. (또는 대칭성에 의해 )이 양의 정수일 때,[1]
:
베타 함수를 정의하는 적분은 다음과 같이 다시 쓸 수 있다.
:
두 번째에서 세 번째 항으로 넘어가는 식에서 은 임의의 양의 실수이다. 첫 번째 적분에서 두 번째 적분으로 넘어가려면 로 치환한다.
베타 함수는 무한 합으로 쓸 수 있다.[3]
:
(여기서 은 상승 팩토리얼이다.)
그리고 무한 곱으로 쓸 수 있다.
:
베타 함수는 파스칼의 항등식과 유사한 다음 항등식을 만족한다.
:
그리고 한 좌표에 대한 간단한 재귀 관계는 다음과 같다.
:[4]
의 경우, 베타 함수는 컨볼루션으로 나타낼 수 있다.
:
특정 지점에서의 계산은 단순화될 수 있다. 예를 들어,
:
:[5]
이 마지막 공식에서 를 취하면 가 된다.
이것을 베타 함수의 곱에 대한 이변량 항등식으로 일반화하면 다음과 같다.
:
베타 함수에 대한 오일러 적분은 포흐아머 윤곽선에 대한 적분으로 변환될 수 있다.
:
이 포흐아머 윤곽선 적분은 모든 및 값에 대해 수렴하므로 베타 함수의 해석적 연속을 제공한다.
정수에 대한 감마 함수가 팩토리얼을 설명하는 것처럼, 베타 함수는 인덱스를 조정한 후 이항 계수를 정의할 수 있다.
:
또한, 정수 의 경우, 는 의 연속적인 값에 대한 닫힌 형태의 보간 함수를 제공하기 위해 인수분해될 수 있다.
:
베타 함수는 다음 관계식을 만족한다.3. 8. 포흐하머 표시
Pochhammer contour|포흐하머 적분 경로영어를 취하면, 다음의 '''포흐하머 표시'''가 성립한다.[2]
:
3. 9. 평가
스털링 근사에 의해, 복소수 x, y의 실수부가 충분히 큰 양의 값일 때, 다음과 같다.
:
x가 충분히 크고 y가 고정되어 있을 때는 다음과 같다.
:
4. 미분
다음이 성립한다.
:
:
여기서 는 디감마 함수를 나타낸다.
5. 특수값
베타 함수는 특정 값에서 감마 함수나 삼각 함수를 통해 그 값을 나타낼 수 있다.[5]
특히, 이다.
0 이상의 정수 , 에 대해서는 다음과 같은 공식들이 성립한다.
6. 불완전 베타 함수
불완전 베타 함수는 베타 함수의 일반화로, 다음과 같이 정의된다.[7][8]
:
x = 1일 때, 불완전 베타 함수는 완전 베타 함수와 일치한다. 두 함수 간의 관계는 감마 함수와 그 일반화인 불완전 감마 함수 사이의 관계와 같다. 양의 정수 a와 b에 대해, 불완전 베타 함수는 유리 계수를 갖는 a + b - 1차 다항식이 된다.
및 를 대입하여 다음을 증명할 수 있다.
:
정규화된 불완전 베타 함수 (또는 줄여서 정규화된 베타 함수)는 불완전 베타 함수와 완전 베타 함수를 사용하여 다음과 같이 정의된다.
:
정규화된 불완전 베타 함수는 베타 분포의 누적 분포 함수이며, 단일 성공 확률 p와 베르누이 시행 횟수 n을 갖는 이항 분포를 따르는 확률 변수 X의 누적 분포 함수 와 관련이 있다.
:
7. 다변수 베타 함수
베타 함수는 둘 이상의 인수를 갖는 함수로 확장될 수 있다.
:
이 다변량 베타 함수는 디리클레 분포의 정의에 사용된다. 이것은 다항 계수와 이항 계수 사이의 관계와 유사하다. 예를 들어, 파스칼의 항등식과 유사한 다음 관계가 성립한다.
:
8. 응용
베타 함수는 레지 궤도의 산란 진폭을 계산하고 나타내는 데 유용하다. 또한, 최초로 알려진 산란 진폭으로, 가브리엘 베네치아노에 의해 처음 추측된 끈 이론에서 발견되었다.[1] 일종의 확률적 항아리 과정인 선호적 부착 과정의 이론에도 나타난다. 베타 함수는 베타 분포 및 베타 소수 분포와 같이 통계학에서도 중요하다.
9. 소프트웨어 구현
베타 함수는 여러 프로그래밍 언어 및 소프트웨어 패키지에서 구현되어 제공된다.
스프레드시트나 컴퓨터 대수 시스템에 포함된 함수를 사용하여 완전 및 불완전 베타 함수 값을 계산할 수 있다.
예를 들어, Microsoft Excel에서 완전 베타 함수는 `GammaLn` 함수를 사용하여 계산할 수 있다.
:값 = Exp(GammaLn(a) + GammaLn(b) − GammaLn(a + b))
Python의 SciPy 패키지에서는 `special.gammaln`를 사용한다.
불완전 베타 함수는 연분수 확장을 사용하여 계산한다. ([https://www.gnu.org/software/gsl/doc/html/specfunc.html#incomplete-beta-function GNU Octave])
다음은 불완전 베타 함수가 구현된 주요 프로그래밍 언어 및 소프트웨어 패키지 목록이다.
소프트웨어/프로그래밍 언어 | 함수명 | 비고 |
---|---|---|
MATLAB 및 GNU Octave | `betainc` | 불완전 베타 함수 |
R | `pbeta` | 베타 분포의 확률 |
SymPy | `betainc` | |
SciPy | `special.betainc` | 정규화된 불완전 베타 함수 (누적 베타 분포). 실제 불완전 베타 함수를 얻으려면 `special.betainc`의 결과를 해당 `beta` 함수에서 반환된 값으로 곱해야 한다. |
Mathematica | `Beta[x, a, b]` | |
Mathematica | `BetaRegularized[x, a, b]` |
참조
[1]
서적
Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables
https://archive.org/[...]
Dover Publications
[2]
간행물
The Gamma Function
http://www.plouffe.f[...]
2016-11-11
[3]
웹사이트
Beta function : Series representations (Formula 06.18.06.0007)
https://functions.wo[...]
[4]
간행물
Probabilistic Methods for High-Resolution Metagenomics
https://helda.helsin[...]
Unigrafia
[5]
웹사이트
Euler's Reflection Formula - ProofWiki
https://proofwiki.or[...]
2020-09-02
[6]
문서
Beta Function
[7]
서적
Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables
Dover Publications
[8]
문서
Incomplete beta functions
본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.
문의하기 : help@durumis.com