פונקציית בטא

פונקציית בטא היא פונקציה של שני מספרים מרוכבים המוגדרת על ידי האינטגרל:

:

B (x, y) = \int_{0}^{1} t^{x - 1} (1 - t)^{y - 1} d t

כאשר החלקים הממשיים מקיימים: $Re (x), Re (y) > 0 .$

הפונקציה נחקרה לראשונה על ידי לאונרד אוילר ואדריאן-מארי לז'נדר ושמה ניתן לה על ידי ז'אק בינֶה. פונקציית בטא מגדירה את פונקציית צפיפות ההסתברות של התפלגות בטא והיא משרעת הפיזור הראשונה שהתגלתה בתורת המיתרים, על ידי הפיזיקאי גבריאל ונציאנו.

מאפיינים

פונקציית בטא היא פונקציה סימטרית:

B (x, y) = B (y, x)

היא קשורה באופן הדוק לפונקציית גמא:

B (x, y) = \frac{Γ (x) Γ (y)}{Γ (x + y)}

הגדרות אינטגרליות נוספות לפונקציה:

B (x, y) = 2 \int_{0}^{π / 2} (\sin θ)^{2 x - 1} (\cos θ)^{2 y - 1} d θ

B (x, y) = \int_{0}^{\infty} \frac{t^{x - 1}}{(1 + t)^{x + y}} d t

זהויות נוספות:

B (x, y) = \frac{x + y}{x y} \prod_{n = 1}^{\infty} {(1 + \frac{x y}{n (x + y + n)})}^{- 1}

B (x, y) \cdot B (x + y, 1 - y) = \frac{π}{x \sin (π y)}

בדומה להרחבת פונקציית העצרת לערכים מרוכבים בעזרת פונקציית גמא, ניתן להרחיב מקדמים בינומיים בעזרת פונקציית בטא:

(\binom{n}{k}) = \frac{1}{(n + 1) B (n - k + 1, k + 1)}

פונקציית בטא הלא שלמה

באופן דומה להכללת פונקציית גמא לפונקציית גמא הלא שלמה, ניתן להכליל את פונקציית בטא לפונקציה בטא הלא שלמה על ידי הנוסחה הבאה^[1]

B (x; a, b) = \int_{0}^{x} t^{a - 1} (1 - t)^{b - 1} d t

.

עבור $x = 1$ פונקציית בטא הלא שלמה שווה זהותית לפונקציית בטא. עבור a ו b שלמים פונקציית בטא הלא שלמה היא פולינום מדרגה $a + b - 1$ עם מקדמים רציונליים.

על ידי ההצבות $t = \sin^{2} θ$ ו $t = \frac{1}{1 + s}$ אפשר להראות ש

B (x; a, b) = 2 \int_{0}^{\arcsin \sqrt{x}} \sin^{2 a - 1} θ \cos^{2 b - 1} θ d θ = \int_{\frac{1 - x}{x}}^{\infty} \frac{s^{a - 1}}{(1 + s)^{a + b}} d s

פונקציית בטא הלא שלמה הרגולרית מוגדרת באמצעות פונקציית בטא הלא שלמה ופונקציית בטא

I_{x} (a, b) = \frac{B (x; a, b)}{B (a, b)}

.

פונקציית בטא הלא שלמה הרגולרית היא פונקציית ההסתברות המצטברת של התפלגות בטא.

קיים קשר בין פונקציית בטא הלא שלמה הרגולרית ופונקציית התפלגות של משתנה מקרי בינומי. עבור משתנה מקרי בינומי $X \sim B i n (n, p)$ , $\Pr (X \leq k) = I_{1 - p} (n - k, k + 1) = 1 - I_{p} (k + 1, n - k)$