Î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.

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  . 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 2F1, examinată în planul complex, poate fi caracterizată pe sfera Riemann prin cele trei singulatităti regulate ale ei, z = 0, 1 și  . Cazurile în care soluțiile sunt funcții algebrice au fost găsite de Herman Schwarz.


Notații

modificare

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

 

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


 

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

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

 ,
 .

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ă   este presupus a fi 1. Polinoamele A și B pot fi descompuse sub forma liniară  , respectiv  , unde aj și bk 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:

 ,

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

 ,

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

 .

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

 ,

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

Folosind Simbolul lui Pochhammer:

 ,

putem scrie:

 

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

 .

Un alt exemplu este cel al funcției  :

 .

Factorizând primul termen seria devine:

 ,

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

 

Atunci raportul coeficienților consecutivi devine

 .

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

 .

Acest raport conduce la expresia:

 .

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

 

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

Terminologie

modificare

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:

 

care poate fi scrisă sub forma:  . 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ță

modificare

Există anumite valori ale lui   și   pentru care numărătorul sau numitorul coeficienților este 0.

  • Dacă oricare   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  .
  • Dacă oricare   este un întreg negativ (exceptând cazul în care  ) 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ă:

 .

Proprietăti fundamentale

modificare

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

 .

Diferențierea

modificare

Diferențiind seria 2F1 termen cu termen, obținem:

 

repetând diferențierea , obținem:

 

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

 

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

 

Punând   și folosind proprietatea de simplificare, obținem:

 

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

 

Similar,

 

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

 

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

 

defintă de seria:

 .

Integrarea

modificare

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

1° pentru  

 

2° pentru  

 

Folosind la integrare metoda substituției, pentru  , obținem:

 

De exemplu

 
 


Componentele pare și impare

modificare

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:

 
 

iar pentru termenii pari:

 
 
 

De exemplu:

 ,
 ,
 
 
 


Funcții asociate și identități asociate

modificare

Fie   operatorul  . Din formula de diferențiere de mai sus, spațiul liniar generat de   și  , vor conține fiecare elementele:

 ,
 .

Deoarece spațiul este bidimensional, oricare trei funcții dintre cele   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 pFq.

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

 ,
 ,
 ,

Deci:

 .

Alte exemple importante sunt:

 ,
 ,
 
 ,
 ,
 ,

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ă   astfel de funcții conținute în spațiul liniar  , 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   exact unuia dintre parametrii   în   este numită asociată la  . Folosind tehnica de mai sus, se poate găsi o identitate relativă la   și cele două funcții asociate ei, sau se pot găsi șase identitați relative la   și oricare două din cele patru funcții asociate ei, sau cincisprezece relative la   și oricare două din cele șase funcții asociate ei, etc.

O identitate derivată este:

 

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


Formule Integrale

modificare

De tip Euler

modificare

Dezvoltând

 

se obține o serie în care coeficientul lui   este:

 

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

 

deci

 .

Cazuri speciale:

 

sau

 
 

sau

 

cu condiția   sau   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:

 ,

unde   este Funcția Gamma.

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

 

obținându-se:

 

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

modificare

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

Cazuri Speciale

modificare

Seriile 0F0

modificare

După cum a fost notat anterior,  . Ecuația diferențială a acesteia este  , care are soluția  , unde k este o constantă oarecare.

Seriile 1F0

modificare

Acestea sunt notate  . Ecuația diferențială a acestei funcții este  , sau  , care are soluția   unde k este o constantă.

Seriile 0F1

modificare

Funcțiile de forma   sunt numite Limita Funcțiilor Hipergeometrice Confluente, fiind strâns legate de funcțiile Bessel. Ecuația diferențială a acestei funcții este:

  sau  .

Când a nu este un întreg pozitiv, substituția   ne dă soluția liniar independentă  , astfel încât soluția generală este

 ,

unde k, l sunt constante.

Seriile 1F1

modificare

Funcțiile de forma   se numesc Funcții Hipergeometrice Confluente de speța I-a, scrise și sub forma  .

Funcția incompletă gamma   este un caz special, care are următoarea ecuație diferențială:

 

sau

 

Când b nu este un întreg pozitiv, substituția  , ne dă soluția liniar independentă:

 , iar soluția generală este:
 

unde k, l sunt constante.

Când n este negativ,   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  .

Seriile 2F1

modificare

Istoric vorbind, cele mai importante funcții au forma  . Ele sunt numite câteodata funcțiile hipergeometrice ale lui Gauss, termen de altfel folosit pentru funcțiile   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:

 

sau

 .

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

Când c nu este un întreg pozitiv, substituția  , ne dă soluția liniar independentă  , astfel încât soluția generală pentru   este:

 

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,   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  . 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:

 

Generalizări

modificare

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  . 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 2F1 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 3F2.

Vezi și

modificare


  1. ^ D.E. Smith History of Mathematics Vol. II (Dover 1958) p. 507
  2. ^ Eric W. Weisstein, Generalized Hypergeometric Function la MathWorld.
  3. ^ Abramowitz and Stegun (1972); Wall (1948)

Referințe

modificare
  • Abramowitz and Stegun, Handbook of Mathematical Functions With Formulas, Graphs, and Mathematical Tables
  • Andrews, George E.; Askey, Richard; Roy, Ranjan (). Special functions. Encyclopedia of Mathematics and its Applications. 71. Cambridge University Press. ISBN 978-0-521-62321-6; 978-0-521-78988-2 Verificați valoarea |isbn=: invalid character (ajutor). MR1688958. 
  • Gerrit Heckman and Henrik Schlichtkrull (). Harmonic Analysis and Special Functions on Symmetric Spaces. Academic Press, San Diego. ISBN 0-12-336170-2.  (Part 1 treats hypergeometric functions on Lie groups.)
  • Slater, Lucy Joan (). „Confluent hypergeometric functions”. Cambridge University Press. MR0107026. 
  • Slater, Lucy Joan (). Generalized hypergeometric functions. Cambridge University Press. ISBN 978-0-521-09061-2. MR0201688. 
  • H. S. Wall (). Analytic Theory of Continued Fractions. D. Van Nostrand Company, Inc. 
  • E. T. Whittaker and G. N. Watson (). A Course of Modern Analysis. Cambridge University Press. 
  • Masaaki Yoshida (). Hypergeometric Functions, My Love: Modular Interpretations of Configuration Spaces. Friedrick Vieweg & Son. ISBN 3-528-06925-2. 

Legături externe

modificare