Hölder's theorem
Hölder's theorem In mathematics, Hölder's theorem states that the gamma function does not satisfy any algebraic differential equation whose coefficients are rational functions. This result was first proved by Otto Hölder in 1887; several alternative proofs have subsequently been found.[1] The theorem also generalizes to the {stile di visualizzazione q} -gamma function.
Statement of the theorem For every {displaystyle nin mathbb {N} _{0},} there is no non-zero polynomial {displaystyle Pin mathbb {C} [X;Y_{0},Y_{1},ldot ,Y_{n}]} tale che {displaystyle forall zin mathbb {C} smallsetminus mathbb {Z} _{leq 0}:qquad Pleft(z;Gamma (z),Gamma'(z),ldot ,{Gamma ^{(n)}}(z)Giusto)=0,} dove {stile di visualizzazione Gamma } is the gamma function. {displaystyle quad blacksquare } Per esempio, definire {displaystyle Pin mathbb {C} [X;Y_{0},Y_{1},Y_{2}]} di {stile di visualizzazione P~{pila {testo{df}}{=}}~X^{2}Y_{2}+XY_{1}+(X^{2}-nu ^{2})Y_{0}.} Then the equation {displaystyle Pleft(z;f(z),f'(z),f''(z)Giusto)=z^{2}f''(z)+zf'(z)+sinistra(z^{2}-nu ^{2}Giusto)f(z)equivalente 0} is called an algebraic differential equation, quale, in questo caso, has the solutions {displaystyle f=J_{non }} e {displaystyle f=Y_{non }} — the Bessel functions of the first and second kind respectively. Quindi, lo diciamo {stile di visualizzazione J_{non }} e {stile di visualizzazione Y_{non }} are differentially algebraic (also algebraically transcendental). Most of the familiar special functions of mathematical physics are differentially algebraic. All algebraic combinations of differentially algebraic functions are differentially algebraic. Inoltre, all compositions of differentially algebraic functions are differentially algebraic. Hölder’s Theorem simply states that the gamma function, {stile di visualizzazione Gamma } , is not differentially algebraic and is therefore transcendentally transcendental.[2] Proof Let {displaystyle nin mathbb {N} _{0},} and assume that a non-zero polynomial {displaystyle Pin mathbb {C} [X;Y_{0},Y_{1},ldot ,Y_{n}]} exists such that {displaystyle forall zin mathbb {C} smallsetminus mathbb {Z} _{leq 0}:qquad Pleft(z;Gamma (z),Gamma'(z),ldot ,{Gamma ^{(n)}}(z)Giusto)=0.} As a non-zero polynomial in {displaystyle mathbb {C} [X]} can never give rise to the zero function on any non-empty open domain of {displaystyle mathbb {C} } (by the Fundamental Theorem of Algebra), we may suppose, senza perdita di generalità, Quello {stile di visualizzazione P} contains a monomial term having a non-zero power of one of the indeterminates {stile di visualizzazione Y_{0},Y_{1},ldot ,Y_{n}} .
Assume also that {stile di visualizzazione P} has the lowest possible overall degree with respect to the lexicographic ordering {stile di visualizzazione Y_{0}
Se vuoi conoscere altri articoli simili a Hölder's theorem puoi visitare la categoria Gamma and related functions.
lascia un commento