Serie hipergeometrică

În matematică, în sensul cel mai general, o serie hipergeometrică este o serie de puteri în care raportul coeficienților succesivi indexați prin n, este o funcție rațională de n. Seriile, dacă sunt convergente, vor defini o funcție hipergeometrică, care poate fi extinsă în afara domeniului de definiție prin prelungire analitică. Funcțiile hipergeometrice au drept cazuri particulare foarte multe funcții speciale, incluzând funcții elementare, funcția Bessel, funcția gamma incompletă, funcția eroare, integrale eliptice, polinoame ortogonale clasice, etc. Acest fenomen se datorează faptului că funcțiile hipergeometrice sunt soluții ale ecuației diferențiale hipergeometrice, care este o ecuație diferențială ordinară de ordinul doi. Termenul serie hipergeometrică se referă la un tip specific de serie, cunoscută sub denumirea de seria lui Gauss, dupa numele lui Carl Friedrich Gauss, cel care a studiat in secolul 19 aceste tipuri de funcții. O altă aplicație a seriilor hipergeometrice este inversiunea integralelor eliptice; acestea fiind construite luând raportul a doua soluții liniare independente ale ecuației diferențiale hipergeometrice, pentru a forma corespondența Schwartz-Christoffel a unui domeniu fundamental pe dreapta proiectivă complexă (sfera Riemann). O altă aplicație este fracția continuă a lui Gauss, care poate fi folosită la obținerea fracțiilor continue pentru multe funcții elementare și speciale.

Istoric

Seriile hipergeometrice au fost studiate pentru prima dată de Euler, dar tratarea lor sistematică și completă se regăsește în notele de curs ale lui Gauss, din 1812, Disquisitiones Generales Circa Seriem Infinitam $1 + \frac{α β}{γ . 1} + etc.$ . Termenul de "serie hipergeometrică" este folosit datorită lui Pfaff^[1].

Cercetările efectuate în secolul XIX includ studiile datorate lui Ernest Kummer și caracterizarea fundamentală a lui Bernhard Riemann a funcției F cu ajutorul ecuației diferențiale pe care o satisface. Riemann a arătat ca ecuația diferențială de ordinul doi în z pentru funcția ₂F₁, examinată în planul complex, poate fi caracterizată pe sfera Riemann prin cele trei singulatităti regulate ale ei, z = 0, 1 și $\infty$ . Cazurile în care soluțiile sunt funcții algebrice au fost găsite de Herman Schwarz.

Notații

O serie hipergeometrică este definită ca o serie de puteri de forma:

β_{0} + β_{1} z + β_{2} z^{2} + \dots = \sum_{n} β_{n} z^{n}

în care raportul coeficienților succesivi este o funcție rațională de n, adică:

\frac{β_{n + 1}}{β_{n}} = \frac{A (n)}{B (n)}

unde A(n) și B(n) sunt polimoame în n.

De exemplu, în cazul funcției exponențiale avem:

1 + \frac{z}{1!} + \frac{z^{2}}{2!} + \frac{z^{3}}{3!} + \dots

,

β_{n} = \frac{1}{n!} \frac{β_{n + 1}}{β_{n}} = \frac{1}{n + 1}

.

astfel că definiția este satisfăcută luând A(n) = 1 și B(n) = n+1.

În mod uzual se factorizează termenul principal, astfel că $β_{0}$ este presupus a fi 1. Polinoamele A și B pot fi descompuse sub forma liniară $(a_{j} + n)$ , respectiv $(b_{k} + n)$ , unde a_j și b_k sunt numere complexe.

Din considerente practice se presupune că un factor al lui B este (1+n). Dacă nu este posibil să înmulțim ambele polinoame A și B cu acest factor, atunci factorul este anulat, iar termenii rămân neschimbați.

Raportul dintre coeficienții consecutivi au acum forma:

\frac{c (a_{1} + n) \dots (a_{p} + n)}{d (b_{1} + n) \dots (b_{q} + n) (1 + n)}

,

unde c și d sunt termenii principali ai lui A și B. Atunci seria devine:

1 + \frac{a_{1} \dots a_{p}}{b_{1} \dots b_{q} . 1} \frac{c z}{d} + \frac{a_{1} \dots a_{p}}{b_{1} \dots b_{q} . 1} \frac{(a_{1} + 1) \dots (a_{p} + 1)}{(b_{1} + 1) \dots (b_{q} + 1) . 2} {(\frac{c z}{d})}^{2} + \dots

,

sau, multiplicând pe z cu un factor convenabil și rearanjând, obținem:

1 + \frac{a_{1} \dots a_{p}}{b_{1} \dots b_{q}} \frac{z}{1!} + \frac{a_{1} (a_{1} + 1) \dots a_{p} (a_{p} + 1)}{b_{1} (b_{1} + 1) \dots b_{q} (b_{q} + 1)} \frac{z^{2}}{2!} + \dots

.

Aceasta are forma unei funcții generatoare exponențiale, notația standard pentru această serie fiind:

_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z)

,

deși sunt folosite câteodată si alte notații^[2].

Folosind Simbolul lui Pochhammer:

(a)_{n} = a (a + 1) (a + 2) . . . (a + n - 1), (a)_{0} = 1

,

putem scrie:

_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z) = \sum_{n = 0}^{\infty} \frac{(a_{1})_{n} \dots (a_{p})_{n}}{(b_{1})_{n} \dots (b_{q})_{n}} \frac{z^{n}}{n!}

Exemple

Cel mai simplu exemplu este funcția exponențială:

e^{z} =_{0} F_{0} (;; z)

.

Un alt exemplu este cel al funcției $\log (1 + z)$ :

z - \frac{z^{2}}{2} + \frac{z^{3}}{3} \dots

.

Factorizând primul termen seria devine:

1 - \frac{z}{2} + \frac{z^{2}}{3} \dots

,

în care coeficientul celui de-al n-lea termen este:

β_{n} = (- 1)^{n} \frac{1}{n + 1}

Atunci raportul coeficienților consecutivi devine

\frac{β_{n + 1}}{β_{n}} = - \frac{n + 1}{n + 2}

.

Deoarece (n+1) nu este un factor al numitorului, înmulțim și numărătorul și numitorul cu acest factor pentru a obține:

- \frac{(n + 1) (n + 1)}{(n + 2) (n + 1)}

.

Acest raport conduce la expresia:

\log (1 + z) = z_{2} F_{1} (1, 1; 2; - z)

.

Similar, multe funcții elementare se pot exprima sub formă de serii hipergeometrice, precum:^[3]

\begin{matrix} (1 - z)^{k} & =_{1} F_{0} (- k;; z) \\ a r c t a n h (z) = \frac{1}{2} \log (\frac{1 + z}{1 - z}) & = z_{2} F_{1} (\frac{1}{2}, 1; \frac{3}{2}; z^{2}) \\ \arcsin (z) & = z_{2} F_{1} (\frac{1}{2}, \frac{1}{2}; \frac{3}{2}; z^{2}) \\ \arctan (z) & = z_{2} F_{1} (\frac{1}{2}, 1; \frac{3}{2}; - z^{2}) \end{matrix}

Multe alte cazuri sunt listate în Categorie:Funcții hipergeometrice speciale.

Terminologie

Când toți termenii seriei sunt definiți iar raza de convergență nu este zero, atunci seria definește o funcție analitică. O astfel de funcție și prelungirea ei analitică este numită funcție hipergeometrică. Se pot obține serii matematice interesante în cazul în care raza de convergență este 0, de exemplu dezvoltarea asimptotică a funcției gamma incomplete:

Γ (a, z) \sim z^{a - 1} e^{- z} (1 + \frac{a - 1}{z} + \frac{(a - 1) (a - 2)}{z^{2}} \dots)

care poate fi scrisă sub forma: $z^{a - 1} e^{- z}_{2} F_{0} (1 - a, 1;; - 1 / z)$ . Totuși, folosirea termenului de serie hipergeometrică se restrânge în mod uzual la cazul în care seria definește o funcție analitică veritabilă.

Seria hipergeometrică ordinară nu trebuie confundată cu seria hipergeometrică fundamentală, care în ciuda numelui, este o serie mai complicată si mai profundă. Seria "fundamentală" este o expresie q_analoagă a seriei hipergeometrice ordinare. Există mai multe generalizări similare ale seriei hipergeometrice ordinare, inclusiv cele care provin din funcția sferică zonală pe spațiul Riemann simetric. Seriile care nu conțin factorul n! la numitor se numesc serii hipergeometrice bilaterale, dacă sumarea se face pentru toți întregii n, inclusiv cei negativi.

Condițiile de convergență

Există anumite valori ale lui $a_{j}$ și $b_{k}$ pentru care numărătorul sau numitorul coeficienților este 0.

Dacă oricare $a_{j}$ este un întreg negativ (inclusiv 0, −1, −2, etc.) atunci seria are un număr finit de termeni, fiind de fapt un polinom de grad $- a_{j}$ .
Dacă oricare $b_{k}$ este un întreg negativ (exceptând cazul în care $- b_{k} < - a_{j}$ ) atunci numitorul devine 0, iar seria este nedefinită.

Excluzând cazurile de mai sus, determinarea razei de convergență a seriei poate fi facută prin limita raportului termenilor succesivi cand n → ∞.

Dacă p=q+1, atunci limita raportului tinde către 1. Acest lucru arată că raza de convergență este 1.
Dacă p≤q, atunci limita raportului tinde către 0. Acest lucru arată că raza de convergență este infinită.
Dacă p>q+1, atunci limita raportului tinde către infinit. Acest lucru arată că raza de convergență este 0, iar seria nu definește o funcție analitică.

Problema convergenței pentru p=q+1 când z se află pe cercul unitate, adică |z| = 1, este mult mai dificilă. Se poate arăta că seria este absolut convergentă la z = 1 dacă:

ℜ (\sum b_{k} - \sum a_{j}) > 0

.

Proprietăti fundamentale

O proprietate imediată derivată din definiție este aceea că ordinul parametrului $a_{j}$ , sau al lui $b_{k}$ , poate fi schimbat fară să se schimbe valoarea funcției. De asemenea, dacă oricare parametru $a_{j}$ este egal cu oricare parametru $b_{k}$ , atunci parametrii egali se pot simplifica, cu câteva excepții, când parametri sunt întregi negativi, inclusiv 0. De exemplu:

_{2} F_{1} (3, 1; 1; z) =_{2} F_{1} (1, 3; 1; z) =_{1} F_{0} (3;; z)

.

Diferențierea

Diferențiind seria ₂F₁ termen cu termen, obținem:

\begin{matrix} \frac{d}{d z}_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z) \\ = \frac{\prod_{n = 1}^{p} a_{n}}{\prod_{n = 1}^{q} b_{n}}_{p} F_{q} (a_{1} + 1, \dots, a_{p} + 1; b_{1} + 1, \dots, b_{q} + 1; z) \end{matrix}

repetând diferențierea , obținem:

\begin{matrix} \frac{d^{n}}{d z^{n}}_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z) \\ = \frac{\prod_{k = 1}^{p} (a_{k})_{n}}{\prod_{k = 1}^{q} (b_{k})_{n}}_{p} F_{q} (a_{1} + n, \dots, a_{p} + n; b_{1} + n, \dots, b_{q} + n; z) \end{matrix}

O diferențiere termen cu termen puțin diferită, ne conduce la:

\begin{matrix} \frac{d}{d z} z^{α}_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z) \\ = α z^{α - 1}_{p + 1} F_{q + 1} (a_{1}, \dots, a_{p}, α + 1; b_{1}, \dots, b_{q}, α; z) (α \neq 0, - 1, - 2 \dots) \end{matrix}

Aplicând regula produsului și a simplificărilor obținem:

\begin{matrix} (z \frac{d}{d z} + α)_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z) \\ = α_{p + 1} F_{q + 1} (a_{1}, \dots, a_{p}, α + 1; b_{1}, \dots, b_{q}, α; z) (α \neq 0, - 1, - 2 \dots) \end{matrix}

Punând $α = a_{j}$ și folosind proprietatea de simplificare, obținem:

\begin{matrix} (z \frac{d}{d z} + a_{j})_{p} F_{q} (a_{1}, \dots, a_{j}, \dots, a_{p}; b_{1}, \dots, b_{q}; z) \\ = a_{j}_{p} F_{q} (a_{1}, \dots, a_{j} + 1, \dots, a_{p}; b_{1}, \dots, b_{q}; z) \end{matrix}

Aplicând această proprietate de p ori, obținem:

\begin{matrix} \prod_{n = 1}^{p} (z \frac{d}{d z} + a_{n})_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z) \\ = \prod_{n = 1}^{p} a_{n}_{p} F_{q} (a_{1} + 1, \dots, a_{p} + 1; b_{1}, \dots, b_{q}; z) \end{matrix}

Similar,

\begin{matrix} (z \frac{d}{d z} + b_{k} - 1)_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{k}, \dots, b_{q}; z) \\ = (b_{k} - 1)_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{k} - 1, \dots, b_{q}; z) \end{matrix}

Aplicând această proprietate de q ori derivatei, obținem:

\begin{matrix} \prod_{n = 1}^{q} (z \frac{d}{d z} + b_{n}) \frac{d}{d z}_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z) \\ = \prod_{n = 1}^{p} a_{n}_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1} + 1, \dots, b_{q} + 1; z) \end{matrix}

Comparând cele de mai sus, obținem o ecuație diferențială pentru funcția:

w =_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z)

defintă de seria:

\prod_{n = 1}^{p} (z \frac{d}{d z} + a_{n}) w = \prod_{n = 1}^{q} (z \frac{d}{d z} + b_{n}) w

.

Integrarea

Inversând formulele de diferențiere, obtinem următoarele formule de integrare:

1° pentru $(a_{j}, b_{k} \neq 1)$

\begin{matrix} \int_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z) d z \\ = \frac{Π_{n = 1}^{q} (b_{n} - 1)}{Π_{n = 1}^{p} (a_{n} - 1)}_{p} F_{q} (a_{1} - 1, \dots, a_{p} - 1; b_{1} - 1, \dots, b_{q} - 1; z) + C \end{matrix}

2° pentru $(α \neq - 1)$

\begin{matrix} \int z^{α}_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z) d z \\ = \frac{z^{α + 1}}{α + 1}_{p + 1} F_{q + 1} (a_{1}, \dots, a_{p}, α + 1; b_{1}, \dots, b_{q}, α + 2; z) + C \end{matrix}

Folosind la integrare metoda substituției, pentru $(α > 0)$ , obținem:

\begin{matrix} \int_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z^{α}) d z \\ = z_{p + 1} F_{q + 1} (a_{1}, \dots, a_{p}, \frac{1}{α}; b_{1}, \dots, b_{q}, \frac{1}{α} + 1; z^{α}) + C \end{matrix}

De exemplu

\begin{matrix} \log (1 - x) = - \int_{0}^{x} \frac{d z}{1 - z} = - \int_{0}^{x}_{1} F_{0} (1;; z) d z \\ = - \frac{z}{1}_{2} F_{1} (1, 1; 2; z) |_{0}^{x} = - x_{2} F_{1} (1, 1; 2; x) \end{matrix}

\begin{matrix} \arcsin x = \int_{0}^{x} \frac{1}{\sqrt{1 - z^{2}}} d z = \int_{0}^{x}_{1} F_{0} (\frac{1}{2};; z^{2}) d z \\ = z_{2} F_{1} (\frac{1}{2}, \frac{1}{2}; \frac{3}{2}; z^{2}) |_{0}^{x} = x_{2} F_{1} (\frac{1}{2}, \frac{1}{2}; \frac{3}{2}; x^{2}) \end{matrix}

Componentele pare și impare

Raportul coeficienților unei serii obținute prin luarea tuturor termenilor unei serii hipergeometrice este de asemenea rațional. Extinzând acestea în conformitate cu procesul de mai sus, obținem pentru termenii impari:

\frac{1}{2} [_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z) +_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; - z)]

=_{2 p} F_{2 q + 1} (\frac{a_{1}}{2}, \frac{a_{1} + 1}{2}, \dots, \frac{a_{p}}{2}, \frac{a_{p} + 1}{2}; \frac{b_{1}}{2}, \frac{b_{1} + 1}{2}, \dots, \frac{b_{q}}{2}, \frac{b_{q} + 1}{2}, \frac{1}{2}; \frac{z^{2}}{4^{q + 1 - p}})

iar pentru termenii pari:

\frac{1}{2} [_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z) -_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; - z)]

= z \frac{Π_{n = 1}^{p} a_{n}}{Π_{n = 1}^{q} b_{n}}_{2 p} F_{2 q + 1} (\frac{a_{1} + 1}{2}, \frac{a_{1} + 2}{2}, \dots, \frac{a_{p} + 1}{2}, \frac{a_{p} + 2}{2};)

(\frac{b_{1} + 1}{2}, \frac{b_{1} + 2}{2}, \dots, \frac{b_{q} + 1}{2}, \frac{b_{q} + 2}{2}, \frac{3}{2}; \frac{z^{2}}{4^{q + 1 - p}})

De exemplu:

\cosh z = \frac{e^{z} + e^{- z}}{2} =_{0} F_{1} (; \frac{1}{2}; \frac{z^{2}}{4})

,

\sinh z = \frac{e^{z} - e^{- z}}{2} = z_{0} F_{1} (; \frac{3}{2}; \frac{z^{2}}{4})

,

\frac{1}{2 (1 - z)^{a}} + \frac{1}{2 (1 + z)^{a}} =_{2} F_{1} (\frac{a}{2}, \frac{a + 1}{2}; \frac{1}{2}; z^{2})

\frac{1}{2 (1 - z)^{a}} - \frac{1}{2 (1 + z)^{a}} = a z_{2} F_{1} (\frac{a + 1}{2}, \frac{a + 2}{2}; \frac{3}{2}; z^{2})

\begin{matrix} a r c t a n h (z) & = \frac{1}{2} [\log (1 + z) - \log (1 - z)] \\ = \frac{1}{2} z [_{2} F_{1} (1, 1; 2; z) +_{2} F_{1} (1, 1; 2; - z)] \\ = z_{4} F_{3} (\frac{1}{2}, 1, \frac{1}{2}, 1; 1, \frac{3}{2}, \frac{1}{2}; z^{2}) = z_{2} F_{1} (\frac{1}{2}, 1; \frac{3}{2}; z^{2}) \end{matrix}

Funcții asociate și identități asociate

Fie $ϑ$ operatorul $z \frac{d}{d z}$ . Din formula de diferențiere de mai sus, spațiul liniar generat de $_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z)$ și $ϑ_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z)$ , vor conține fiecare elementele:

_{p} F_{q} (a_{1}, \dots, a_{j} + 1, \dots, a_{p}; b_{1}, \dots, b_{q}; z),_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{k} - 1, \dots, b_{q}; z)

,

z_{p} F_{q} (a_{1} + 1, \dots, a_{p} + 1; b_{1} + 1, \dots, b_{q} + 1; z),_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z)

.

Deoarece spațiul este bidimensional, oricare trei funcții dintre cele $p + q + 2$ sunt liniar dependente. Aceaste dependențe pot fi scrise în așa fel încât să genereze un mare număr de identități care să implice funcția _pF_q.

De exemplu, în cazul celor mai simple și netriviale funcții, avem:

_{0} F_{1} (; a; z) = (1)_{0} F_{1} (; a; z)

,

_{0} F_{1} (; a - 1; z) = (\frac{ϑ}{a - 1} + 1)_{0} F_{1} (; a; z)

,

z_{0} F_{1} (; a + 1; z) = (a ϑ)_{0} F_{1} (; a; z)

,

Deci:

_{0} F_{1} (; a - 1; z) -_{0} F_{1} (; a; z) = \frac{z}{a (a - 1)}_{0} F_{1} (; a + 1; z)

.

Alte exemple importante sunt:

_{1} F_{1} (a + 1; b; z) -_{1} F_{1} (a; b; z) = \frac{z}{b}_{1} F_{1} (a + 1; b + 1; z)

,

_{1} F_{1} (a; b - 1; z) -_{1} F_{1} (a; b; z) = \frac{a z}{b (b - 1)}_{1} F_{1} (a + 1; b + 1; z)

,

_{1} F_{1} (a; b - 1; z) -_{1} F_{1} (a + 1; b; z) = \frac{(a - b + 1) z}{b (b - 1)}_{1} F_{1} (a + 1; b + 1; z)

_{2} F_{1} (a + 1, b; c; z) -_{2} F_{1} (a, b; c; z) = \frac{b z}{c}_{2} F_{1} (a + 1, b + 1; c + 1; z)

,

_{2} F_{1} (a + 1, b; c; z) -_{2} F_{1} (a, b + 1; c; z) = \frac{(b - a) z}{c}_{2} F_{1} (a + 1, b + 1; c + 1; z)

,

_{2} F_{1} (a, b; c - 1; z) -_{2} F_{1} (a + 1, b; c; z) = \frac{(a - c + 1) b z}{c (c - 1)}_{2} F_{1} (a + 1, b + 1; c + 1; z)

,

Acestea pot fi folosite pentru a genera fracții continue, cunoscute sub numele de fracțiile continue ale lui Gauss.

Similar, aplicând de două ori formula de diferențiere, rezultă $(\binom{p + q + 3}{2})$ astfel de funcții conținute în spațiul liniar ${1, ϑ, ϑ^{2}}_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z)$ , care este tridimensional, deci oricare patru funcții sunt liniar dependente. Acestea generează mai multe identităti, iar procesul poate fi continuat. Identitățile astfel generate pot fi combinate cu altele pentru a produce noi identități.

O funcție obținută adăugând $\pm 1$ exact unuia dintre parametrii $a_{j}, b_{k}$ în $_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z)$ este numită asociată la $_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z)$ . Folosind tehnica de mai sus, se poate găsi o identitate relativă la $_{0} F_{1} (; a; z)$ și cele două funcții asociate ei, sau se pot găsi șase identitați relative la $_{1} F_{1} (a; b; z)$ și oricare două din cele patru funcții asociate ei, sau cincisprezece relative la $_{2} F_{1} (a, b; c; z)$ și oricare două din cele șase funcții asociate ei, etc.

O identitate derivată este:

_{2} F_{2} (a, b; c, d; x) = \sum_{i = 0} \frac{(\binom{b - d}{i}) (\binom{a + i - 1}{i})}{(\binom{c + i - 1}{i}) (\binom{d + i - 1}{i})}_{1} F_{1} (a + i; c + i; x) \frac{x^{i}}{i!},

și va reprezenta o serie finită dacă (b-d) este un întreg nenegativ.

Formule Integrale

De tip Euler

Dezvoltând

I = \int_{0}^{1} x^{α - 1} (1 - x)^{β - 1}_{p} F_{q} (a_{1}, \dots, a_{p}; b_{1}, \dots, b_{q}; z x) d x ℜ (α), ℜ (β) > 0

se obține o serie în care coeficientul lui $z^{n}$ este:

β_{n} \int_{0}^{1} x^{α - 1 + n} (1 - x)^{β - 1} d x = β_{n} B (α + n, β)

unde $B$ este funcția Beta. Se poate arăta că:

\frac{B (α + n + 1, β)}{B (α + n, β)} = \frac{α + n}{α + β + n}

deci

I = B (α, β)_{p + 1} F_{q + 1} (α, a_{1}, \dots, a_{p}; α + β, b_{1}, \dots, b_{q}; z)

.

Cazuri speciale:

\int_{0}^{1} x^{α - 1} (1 - x)^{β - 1} e^{z x} d x = B (α, β)_{1} F_{1} (α; α + β; z) ℜ (α), ℜ (β) > 0

sau

B (a, b - a)_{1} F_{1} (a; b; z) = \int_{0}^{1} x^{a - 1} (1 - x)^{b - a - 1} e^{z x} d x ℜ (b) > ℜ (a) > 0

\int_{0}^{1} x^{α - 1} (1 - x)^{β - 1} (1 - z x)^{- a} d x = B (α, β)_{2} F_{1} (α, a; α + β; z) ℜ (α), ℜ (β) > 0

sau

B (b, c - b)_{2} F_{1} (a, b; c; z) = \int_{0}^{1} x^{b - 1} (1 - x)^{c - b - 1} (1 - z x)^{- a} d x ℜ (c) > ℜ (b) > 0

cu condiția $| z | < 1$ sau $| z | = 1$ atunci ambele parți ale egalității converg. Această condiție a fost dată deEuler în 1748 și reprezintă baza transformărilor hipergeometrice ale lui Euler.

Punând z = 1 în ultima ecuație obținem:

_{2} F_{1} (a, b; c; 1) = \frac{B (b, c - b - a)}{B (b, c - b)} = \frac{Γ (c) Γ (c - b - a)}{Γ (c - a) Γ (c - b)}

,

unde $Γ$ este Funcția Gamma.

De tip Barnes

Pentru calculul integralei de contur următoare se poate folosi teorema reziduurilor din analiza complexă:

\frac{1}{2 π i} \int_{- i \infty}^{i \infty} \frac{Γ (a + s) Γ (b + s) Γ (- s)}{Γ (c + s)} (- z)^{s} d s

obținându-se:

\frac{Γ (a) Γ (b)}{Γ (c)}_{2} F_{1} (a, b; c; z),

unde conturul este luat în așa fel încât să separe polurile 0, 1, 2... de polurile −a, −a-1, ..., −b, −b−1, ... . Există mai multe modificări pe această idee și ele pot fi folosite pentru a dovedi oricare identitate.

Identități

În secolele XIX și XX au fost decoperite multe identități ale funcțiilor hipergeometrice.

Cazuri Speciale

Seriile ₀F₀

După cum a fost notat anterior, $_{0} F_{0} (;; z) = e^{z}$ . Ecuația diferențială a acesteia este $\frac{d}{d z} w = w$ , care are soluția $w = k e^{z}$ , unde k este o constantă oarecare.

Seriile ₁F₀

Acestea sunt notate $_{1} F_{0} (a;; z) = (1 - z)^{- a}$ . Ecuația diferențială a acestei funcții este $\frac{d}{d z} w = (z \frac{d}{d z} + a) w$ , sau $(1 - z) \frac{d w}{d z} = a w$ , care are soluția $w = k (1 - z)^{- a}$ unde k este o constantă.

Seriile ₀F₁

Funcțiile de forma $_{0} F_{1} (; a; z)$ sunt numite Limita Funcțiilor Hipergeometrice Confluente, fiind strâns legate de funcțiile Bessel. Ecuația diferențială a acestei funcții este:

w = (z \frac{d}{d z} + a) \frac{d w}{d z}

sau

z \frac{d^{2} w}{d z^{2}} + a \frac{d w}{d z} - w = 0

.

Când a nu este un întreg pozitiv, substituția $w = z^{1 - a} u$ ne dă soluția liniar independentă $z^{1 - a}_{0} F_{1} (; 2 - a; z)$ , astfel încât soluția generală este

k_{0} F_{1} (; a; z) + l z^{1 - a}_{0} F_{1} (; 2 - a; z)

,

unde k, l sunt constante.

Seriile ₁F₁

Format:Articol principal Funcțiile de forma $_{1} F_{1} (a; b; z)$ se numesc Funcții Hipergeometrice Confluente de speța I-a, scrise și sub forma $M (a; b; z)$ .

Funcția incompletă gamma $γ (a, z)$ este un caz special, care are următoarea ecuație diferențială:

(z \frac{d}{d z} + a) w = (z \frac{d}{d z} + b) \frac{d w}{d z}

sau

z \frac{d^{2} w}{d z^{2}} + (b - z) \frac{d w}{d z} - a w = 0

Când b nu este un întreg pozitiv, substituția $w = z^{1 - b} u$ , ne dă soluția liniar independentă:

z^{1 - b}_{1} F_{1} (1 + a - b; 2 - b; z)

, iar soluția generală este:

k_{1} F_{1} (a; b; z) + l z^{1 - b}_{1} F_{1} (1 + a - b; 2 - b; z)

unde k, l sunt constante.

Când n este negativ, $_{1} F_{1} (- n; b; z)$ este un polinom. Acestea sunt de fapt Polinoame Laguerre, făcând abstracție de o constantă,. Acest lucru arată că și Polinoamele Hermite pot fi exprimate în termenii funcției $_{1} F_{1}$ .

Seriile ₂F₁

Istoric vorbind, cele mai importante funcții au forma $_{2} F_{1} (a, b; c; z)$ . Ele sunt numite câteodata funcțiile hipergeometrice ale lui Gauss, termen de altfel folosit pentru funcțiile $_{p} F_{q}$ dacă există risc de confuzie. Ele au fost studiate în detaliu de Carl Friedrich Gauss, în special pentru condițiile lor de convegență.

Ecuația diferențială a acestei funcții este:

(z \frac{d}{d z} + a) (z \frac{d}{d z} + b) w = (z \frac{d}{d z} + c) \frac{d w}{d z}

sau

z (1 - z) \frac{d^{2} w}{d z^{2}} + (c - (a + b + 1) z) \frac{d w}{d z} - a b w = 0

.

Ea este cunoscută ca ecuația diferențială hipergeometrică.

Când c nu este un întreg pozitiv, substituția $w = z^{1 - c} u$ , ne dă soluția liniar independentă $z^{1 - c}_{2} F_{1} (1 + a - c, 1 + b - c; 2 - c; z)$ , astfel încât soluția generală pentru $| z | < 1$ este:

k_{2} F_{1} (a, b; c; z) + l z^{1 - c}_{2} F_{1} (1 + a - c, 1 + b - c; 2 - c; z)

unde k, l sunt constante. Din acestea pot deriva diferite soluții pentru alte valori ale lui z. De fapt există 24 de soluții, cunoscute ca soluțiile lui Kummer, care au derivat folosindu-se diverse identități și care sunt valabile în diferite regiuni ale planului complex.

Când a este un întreg negativ, $_{2} F_{1} (- n, b; c; z)$ este un polinom. Abstracție făcând de o constantă, acestea sunt polinoame Jacobi. Alte câteva clase de polinoame ortogonale, făcând abstracție de o constantă, sunt cazuri speciale de polinoame Jacobi, putând fi exprimate sub forma $_{2} F_{1}$ . Acest lucru include și polinoamele Legendre și polinoamele Chebyshev.

De asemenea, o mulțime de integrale ale funcțiilor elementare se pot exprima în funcție de seria hipergeometrică, de exemplu:

\int_{0}^{x} \sqrt{1 + y^{α}} d y = \frac{x (α_{2} F_{1} (\frac{1}{α}, \frac{1}{2}; 1 + \frac{1}{α}; - x^{α}) + 2 \sqrt{x^{α} + 1})}{2 + α} α \neq 0 .

Generalizări

Seriile hipergeometrice au fost generalizate la funcții de mai multe variabile, de exemplu de Paul Emile Appell; dar o teorie generală comparabilă cu cea de o variabilă nu a fost dată încă. Au fost găsite multe identităti, unele chiar remarcabile. O generalizare în q-serii analoage, numite serii hipergeometrice fundamentale, au fost găsite de Eduard Heine spre sfârșitul secolului 19. Aici, raportul termenilor succesivi, în loc să fie considerate ca funcții raționale de n, sunt considerate a fi funcții raționale de $q^{n}$ . O altă generalizare este cea a seriilor în care raportul termenilor este o funcție eliptică de n, funcție meromorfă de doua ori periodică, numite serii hipergeometrice eliptice.

În timpul secolului al XX-lea, seriile hipergeometrice au fost un domeniu fructuos și pentru matematica combinatorică, cu numeroase conexiuni în alte domenii. Sunt date noi definiții seriilor hipergeometrice de Aomoto, Israel Gelfand și alții; precum și aplicații, de exemplu, pentru combinatorica de aranjare a unui număr de hiperplane în spațiul N-complex. (vezi aranjament de hiperplane).

Funcții hipergeometrice speciale apar ca funcții sferice zonale pe spațiul Riemann simetric și în grupurile Lie semi-simple. Rolul și importanța lor pot fi înțelese prin următoarele exemple: seriile hipergeometrice ₂F₁ sunt un caz special al polinoamelor Legendre, iar când sunt considerate în formă de armonice sferice, aceste polinoame reflectă, într-un anumit sens, proprietățile de simetrie a două sfere, sau echivalent, rotațiile date de grupul Lie SO(3). În produsul tensorial se întâlnesc decompoziții de reprezentări concrete ale grupului coeficienților Clabsch-Gordon, care pot fi scriși sub forma seriei hipergeometrice ₃F₂.

Vezi și

Note

↑ D.E. Smith History of Mathematics Vol. II (Dover 1958) p. 507
↑ Format:MathWorld
↑ Abramowitz and Stegun (1972); Wall (1948)

Referințe

Notele originale ale lui Gauss pot fi gasite la Carl Friedrich Gauss Werke, p.125
W. N. Bailey Generalized Hypergeometric Series Cambridge 1935
MathWorld

Abramowitz and Stegun, Handbook of Mathematical Functions With Formulas, Graphs, and Mathematical Tables
- Chapter 13. - $_{1} F_{1}$
- Chapter 15. - $_{2} F_{1}$
Format:Citat carte

Format:Citat carte (Part 1 treats hypergeometric functions on Lie groups.)
Format:Cite journal
Format:Citat carte
Format:Citat carte
Format:Citat carte
Format:Citat carte

Legături externe

The book "A = B" Format:Webarchive, această carte se poate descărca liber de pe Internet.

[1] D.E. Smith History of Mathematics Vol. II (Dover 1958) p. 507

[2] Format:MathWorld

[3] Abramowitz and Stegun (1972); Wall (1948)

[1]

[2]

[3]

Serie hipergeometrică

Cuprins

Istoric

Notații

Exemple

Terminologie

Condițiile de convergență

Proprietăti fundamentale

Diferențierea

Integrarea

Componentele pare și impare

Funcții asociate și identități asociate

Formule Integrale

De tip Euler

De tip Barnes

Identități

Cazuri Speciale

Seriile ₀F₀

Seriile ₁F₀

Seriile ₀F₁

Seriile ₁F₁

Seriile ₂F₁

Generalizări

Vezi și

Note

Referințe

Legături externe

Meniu de navigare

Serie hipergeometrică

Istoric

Notații

Exemple

Terminologie

Condițiile de convergență

Proprietăti fundamentale

Diferențierea

Integrarea

Componentele pare și impare

Funcții asociate și identități asociate

Formule Integrale

De tip Euler

De tip Barnes

Identități

Cazuri Speciale

Seriile 0F0

Seriile 1F0

Seriile 0F1

Seriile 1F1

Seriile 2F1

Generalizări

Vezi și

Note

Referințe

Legături externe

Meniu de navigare

Căutare

Seriile ₀F₀

Seriile ₁F₀

Seriile ₀F₁

Seriile ₁F₁

Seriile ₂F₁