În analiza matematică , teorema lui Hölder afirmă că funcția Gamma nu satisface nicio ecuație diferențială algebrică ai cărei coeficienți sunt funcții raționale . Acest rezultat a fost demonstrat pentru prima dată de Otto Hölder în 1887; s-au găsit mai târziu multe alte dovezi alternative. [1]
Teorema se generalizează și la funcțiile q-gamma.
Afirmație
Pentru fiecare {\ displaystyle n \ in \ mathbb {N} _ {0}} , nu există polinom diferit de zero {\ displaystyle P \ in \ mathbb {C} [X; Y_ {0}, Y_ {1}, \ ldots, Y_ {n}]} astfel încât
- {\ displaystyle \ forall z \ in \ mathbb {C} \ setminus \ mathbb {Z} _ {\ leq 0}: \ qquad P \! \ left (z; \ Gamma (z), \ Gamma '(z), \ ldots, {\ Gamma ^ {(n)}} (z) \ right) = 0,}
unde este {\ displaystyle \ Gamma} este funcția Gamma . {\ displaystyle \ quad \ blacksquare}
De exemplu, definiți-vă {\ displaystyle P \ in \ mathbb {C} [X; Y_ {0}, Y_ {1}, Y_ {2}]} ca {\ displaystyle P ~ {\ stackrel {\ text {df}} {=}} ~ X ^ {2} Y_ {2} + XY_ {1} + (X ^ {2} - \ nu ^ {2}) Y_ {0}} . Apoi ecuația
- {\ displaystyle P (z; f (z), f '(z), f' '(z)) = z ^ {2} f' '(z) + zf' (z) + (z ^ {2} - \ nu ^ {2}) f (z) \ equiv 0}
se numește ecuație diferențială algebrică , care, în acest caz, are soluții {\ displaystyle f = J _ {\ nu}} Și {\ displaystyle f = Y _ {\ nu}} - funcțiile Bessel de primul și respectiv al doilea tip. Prin urmare, se spune că {\ displaystyle J _ {\ nu}} și {\ displaystyle Y _ {\ nu}} sunt diferențial algebric (de asemenea transcendent algebric ). Majoritatea funcțiilor speciale ale fizicii matematice sunt diferențial algebrice. Toate combinațiile de funcții transcendente algebric sunt transcendente algebric. Teorema lui Hölder afirmă pur și simplu că funcția gamma, {\ displaystyle \ Gamma} , nu este algebric diferențial și, prin urmare, este hipertrascendent . [2]
Demonstrație
Este {\ displaystyle n \ in \ mathbb {N} _ {0}} , și presupunem că un polinom diferit de zero {\ displaystyle P \ in \ mathbb {C} [X; Y_ {0}, Y_ {1}, \ ldots, Y_ {n}]} există astfel încât
- {\ displaystyle \ forall z \ in \ mathbb {C} \ setminus \ mathbb {Z} _ {\ leq 0}: \ qquad P \! \ left (z; \ Gamma (z), \ Gamma '(z), \ ldots, {\ Gamma ^ {(n)}} (z) \ right) = 0.}
Deoarece un polinom diferit de zero {\ displaystyle \ mathbb {C} [X]} nu poate da naștere polinomului nul pe niciun domeniu deschis ne-gol al {\ displaystyle \ mathbb {C}} (prin teorema fundamentală a algebrei ), se poate presupune fără pierderea generalității că {\ displaystyle P} conține un monomiu având o putere diferită de zero a uneia dintre necunoscute {\ displaystyle Y_ {0}, Y_ {1}, \ ldots, Y_ {n}} .
Să presupunem, de asemenea, că {\ displaystyle P} au cel mai mic grad total în ceea ce privește ordinea lexicografică {\ displaystyle Y_ {0} <Y_ {1} <\ ldots <Y_ {n} <X} . De exemplu,
- {\ displaystyle \ deg \! \ left (-3X ^ {10} Y_ {0} ^ {2} Y_ {1} ^ {4} + iX ^ {2} Y_ {2} \ right) <\ deg \! \ left (2XY_ {0} ^ {3} -Y_ {1} ^ {4} \ right)}
deoarece cea mai mare putere a {\ displaystyle Y_ {0}} în fiecare monomiu primul polinom este mai mic decât cel al celui de-al doilea polinom.
Ulterior, se observă că
- {\ displaystyle {\ begin {align} \ forall z \ in \ mathbb {C} \ setminus \ mathbb {Z} _ {\ leq 0}: \ qquad & ~ P \! \ left (z + 1; \ Gamma ( z + 1), {\ Gamma ^ {(1)}} (z + 1), {\ Gamma ^ {(2)}} (z + 1), \ ldots, {\ Gamma ^ {(n)}} (z + 1) \ right) \\ = & ~ P \! \ left (z + 1; z \ Gamma (z), [z \ Gamma (z)] ^ {(1)}, [z \ Gamma ( z)] ^ {(2)}, \ ldots, [z \ Gamma (z)] ^ {(n)} \ right) \\ = & ~ P \! \ left (z + 1; z \ Gamma (z ), z {\ Gamma ^ {(1)}} (z) + \ Gamma (z), z {\ Gamma ^ {(2)}} (z) +2 {\ Gamma ^ {(1)}} ( z), \ ldots, z {\ Gamma ^ {(n)}} (z) + n {\ Gamma ^ {(n-1)}} (z) \ right). \ end {align}}}
Dacă este definit un al doilea polinom {\ displaystyle Q \ in \ mathbb {C} [X; Y_ {0}, Y_ {1}, \ ldots, Y_ {n}]} prin transformare
- {\ displaystyle Q ~ {\ stackrel {\ text {df}} {=}} ~ P (X + 1; XY_ {0}, XY_ {1} + Y_ {0}, XY_ {2} + 2Y_ {1} , \ ldots, XY_ {n} + nY_ {n-1}),}
atunci obținem următoarea ecuație diferențială algebrică pentru {\ displaystyle \ Gamma} :
- {\ displaystyle \ forall z \ in \ mathbb {C} \ setminus \ mathbb {Z} _ {\ leq 0}: \ qquad Q \! \ left (z; \ Gamma (z), \ Gamma '(z), \ ldots, {\ Gamma ^ {(n)}} (z) \ right) \ equiv 0.}
Mai mult, dacă {\ displaystyle X ^ {h} Y_ {0} ^ {h_ {0}} Y_ {1} ^ {h_ {1}} \ cdots Y_ {n} ^ {h_ {n}}} este monomiul cu cel mai înalt grad în {\ displaystyle P} , apoi cel mai înalt monomial din {\ displaystyle Q} Și {\ displaystyle X ^ {h + h_ {0} + h_ {1} + \ cdots + h_ {n}} Y_ {0} ^ {h_ {0}} Y_ {1} ^ {h_ {1}} \ cdots Y_ {n} ^ {h_ {n}}} . În consecință, polinomul
- {\ displaystyle QX ^ {h_ {0} + h_ {1} + \ cdots + h_ {n}} P}
are un grad total mai mic de {\ displaystyle P} , și din moment ce dă naștere unei ecuații algebrice pentru {\ displaystyle \ Gamma} , trebuie să fie polinomul nul prin ipoteza minimalității lui {\ displaystyle P} . Prin urmare, definitorie {\ displaystyle R \ in \ mathbb {C} [X]} ca {\ displaystyle R ~ {\ stackrel {\ text {df}} {=}} ~ X ^ {h_ {0} + h_ {1} + \ cdots + h_ {n}}} , primesti
- {\ displaystyle Q = P (X + 1; XY_ {0}, XY_ {1} + Y_ {0}, XY_ {2} + 2Y_ {1}, \ ldots, XY_ {n} + nY_ {n-1} ) = R (X) \ cdot P (X; Y_ {0}, Y_ {1}, \ ldots, Y_ {n}).}
Acum, înlocuind {\ displaystyle X = 0} în {\ displaystyle Q} da ai
- {\ displaystyle Q (0; Y_ {0}, Y_ {1}, \ ldots, Y_ {n}) = P (1; 0, Y_ {0}, 2Y_ {1}, \ ldots, nY_ {n-1 }) = R (0) \ cdot P (0; Y_ {0}, Y_ {1}, \ ldots, Y_ {n}) = 0 _ {\ mathbb {C} [Y_ {0}, Y_ {1} , \ ldots, Y_ {n}]}.}
O schimbare de variabile în acest caz produce {\ displaystyle P (1; 0, Y_ {1}, Y_ {2}, \ ldots, Y_ {n}) = 0 _ {\ mathbb {C} [Y_ {0}, Y_ {1}, \ ldots, Y_ {n}]}} , și o aplicație a inducției matematice (împreună cu modificări variabile la fiecare pas inductiv) la expresia precedentă
- {\ displaystyle P (X + 1; XY_ {0}, XY_ {1} + Y_ {0}, XY_ {2} + 2Y_ {1}, \ ldots, XY_ {n} + nY_ {n-1}) = R (X) \ cdot P (X; Y_ {0}, Y_ {1}, \ ldots, Y_ {n})}
dezvăluie că
- {\ displaystyle \ forall m \ in \ mathbb {N}: \ qquad P (m; 0, Y_ {1}, Y_ {2}, \ ldots, Y_ {n}) = 0 _ {\ mathbb {C} [ Y_ {0}, Y_ {1}, \ ldots, Y_ {n}]}.}
Acest lucru este posibil dacă și numai dacă {\ displaystyle P} este divizibil cu {\ displaystyle Y_ {0}} , care contrazice minimalitatea {\ displaystyle P} . Prin urmare, nu există așa ceva {\ displaystyle P} , și apoi {\ displaystyle \ Gamma} nu este diferențial algebric. [2] [3] QED
Notă
- ^ Bank, Steven B. și Kaufman, Robert. „O notă asupra teoremei lui Hölder referitoare la funcția gamma ”, Mathematische Annalen , vol. 232, 1978.
- ^ a b Rubel, Lee A. „Un sondaj al funcțiilor transcendentale transcendentale”, The American Mathematical Monthly 96 : pp. 777-788 (noiembrie 1989).
- ^ Boros, George & Moll, Victor. Integrale irezistibile , Cambridge University Press, 2004, Cambridge Books Online, 30 decembrie 2011. DOI : 10.1017 / CBO9780511617041.003
Elemente conexe