Хёлдерс теоремасы - Hölders theorem - Wikipedia

Жылы математика, Хольдер теоремасы деп мәлімдейді гамма функциясы ешкімді қанағаттандырмайды алгебралық дифференциалдық теңдеу коэффициенттері рационалды функциялар. Бұл нәтижені алдымен дәлелдеді Отто Хёлдер 1887 жылы; кейіннен бірнеше балама дәлелдер табылды.^[1]

Теорема сонымен бірге жалпылайды ${ displaystyle q}$ -гамма функциясы.

Теореманың тұжырымы

Әрқайсысы үшін ${ displaystyle n in mathbb {N} _ {0},}$ нөлге тең емес көпмүшелік жоқ ${ displaystyle P in mathbb {C} [X; Y_ {0}, Y_ {1}, ldots, Y_ {n}]}$ осындай

{ 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,}

қайда ${ displaystyle Gamma}$ болып табылады гамма функциясы. ${ displaystyle quad blacksquare}$

Мысалы, анықтаңыз ${ displaystyle P in mathbb {C} [X; Y_ {0}, Y_ {1}, Y_ {2}]}$ арқылы

{ displaystyle P ~ { stackrel { text {df}} {=}} X ^ {2} Y_ {2} + XY_ {1} + (X ^ {2} - nu ^ {2}) Y_ { 0}.}

Сонда теңдеу

{ displaystyle P сол (z; f (z), f '(z), f' '(z) оң) = z ^ {2} f' '(z) + zf' (z) + сол жақ (z ^ {2} - nu ^ {2} оң) f (z) equiv 0}

деп аталады алгебралық дифференциалдық теңдеу, бұл жағдайда шешімдері бар ${ displaystyle f = J _ { nu}}$ және ${ displaystyle f = Y _ { nu}}$ - сәйкесінше бірінші және екінші типтегі Бессель функциялары. Демек, біз мұны айтамыз ${ displaystyle J _ { nu}}$ және ${ displaystyle Y _ { nu}}$ болып табылады дифференциалды алгебралық (сонымен қатар алгебралық трансцендентальды). Математикалық физиканың бізге таныс арнайы функцияларының көпшілігі дифференциалды алгебралық болып табылады. Дифференциалды алгебралық функциялардың барлық алгебралық комбинациясы дифференциалды алгебралық болып табылады. Сонымен қатар, дифференциалды алгебралық функциялардың барлық композициялары дифференциалды алгебралық болып табылады. Хёлдер теоремасында жай гамма функциясы, ${ displaystyle Gamma}$ , дифференциалды алгебралық емес, сондықтан трансцендентальды трансцендентальды.^[2]

Дәлел

Келіңіздер ${ displaystyle n in mathbb {N} _ {0},}$ және нөлге тең емес көпмүшелік деп есептейік ${ displaystyle P in mathbb {C} [X; Y_ {0}, Y_ {1}, ldots, Y_ {n}]}$ бар

{ 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.}

Нөлдік емес көпмүшелік ретінде ${ displaystyle mathbb {C} [X]}$ кез келген бос емес ашық доменінде нөл функциясын ешқашан тудыруы мүмкін емес ${ displaystyle mathbb {C}}$ (алгебраның негізгі теоремасы бойынша), біз жалпылықты жоғалтпай-ақ деп болжай аламыз ${ displaystyle P}$ анықталмаған біреуінің нөлдік емес күшіне ие мономиялық мүшені қамтиды ${ displaystyle Y_ {0}, Y_ {1}, ldots, Y_ {n}}$ .

Мұны да қарастырайық ${ displaystyle P}$ лексикографиялық тәртіпке қатысты ең төменгі жалпы дәрежеге ие ${ displaystyle Y_ {0}$ Мысалға,

{ displaystyle deg left (-3X ^ {10} Y_ {0} ^ {2} Y_ {1} ^ {4} + iX ^ {2} Y_ {2} right) < deg left (2XY_) {0} ^ {3} -Y_ {1} ^ {4} оң)}

өйткені ең жоғары күш ${ displaystyle Y_ {0}}$ бірінші көпмүшенің кез-келген мономенттік мүшесінде екінші көпмүшелікке қарағанда кіші.

Одан кейін бәріне назар аударыңыз ${ displaystyle z in mathbb {C} setminus mathbb {Z} _ { leq 0}}$ Бізде бар:

{ displaystyle { begin {aligned} P сол жақ (z + 1; Gamma (z + 1), Gamma '(z + 1), Gamma' '(z + 1), ldots, Gamma ^ {(n)} (z + 1) оңға) & = P солға (z + 1; z Гамма (z), [z Гамма (z)] ', [z Гамма (z)]' ' , ldots, [z Gamma (z)] ^ {(n)} right) & = P сол (z + 1; z Gamma (z), z Gamma '(z) + Gamma (z), z Gamma '' (z) +2 Gamma '(z), ldots, z { Gamma ^ {(n)}} (z) + n { Gamma ^ {(n-1) }} (z) right). end {aligned}}}

Егер біз екінші көпмүшені анықтасақ ${ displaystyle Q in mathbb {C} [X; Y_ {0}, Y_ {1}, ldots, Y_ {n}]}$ трансформация арқылы

{ displaystyle Q { stackrel { text {df}} {=}} ~ P (X + 1; XY_ {0}, XY_ {1} + Y_ {0}, XY_ {2} + 2Y_ {1}, ldots, XY_ {n} + nY_ {n-1}),}

онда келесі алгебралық дифференциалдық теңдеуді аламыз ${ 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.}

Сонымен қатар, егер ${ displaystyle X ^ {h} Y_ {0} ^ {h_ {0}} Y_ {1} ^ {h_ {1}} cdots Y_ {n} ^ {h_ {n}}}$ - ең жоғары дәрежелі мономиялық термин ${ displaystyle P}$ , содан кейін ең жоғары дәрежелі мономиялық термин ${ displaystyle Q}$ болып табылады

{ displaystyle X ^ {h + h_ {0} + h_ {1} + cdots + h_ {n}} Y_ {0} ^ {h_ {0}} Y_ {1} ^ {h_ {1}} cdots Y_ {n} ^ {h_ {n}}.}

Демек, көпмүшелік

{ displaystyle Q-X ^ {h_ {0} + h_ {1} + cdots + h_ {n}} P}

қарағанда жалпы дәрежесі аз ${ displaystyle P}$ , және бұл анық үшін алгебралық дифференциалдық теңдеу туындайды ${ displaystyle Gamma}$ , бұл минимум бойынша нөлге тең көпмүшелік болуы керек ${ displaystyle P}$ . Демек, анықтау ${ displaystyle R in mathbb {C} [X]}$ арқылы

{ displaystyle R { stackrel { text {df}} {=}} X ^ {h_ {0} + h_ {1} + cdots + h_ {n}},}

Біз алып жатырмыз

{ 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}).}

Енді, рұқсат етіңіз ${ displaystyle X = 0}$ жылы ${ displaystyle Q}$ алу

{ 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}]}.}

Содан кейін айнымалылардың өзгеруі нәтиже береді

{ displaystyle P (1; 0, Y_ {1}, Y_ {2}, ldots, Y_ {n}) = 0 _ { mathbb {C} [Y_ {0}, Y_ {1}, ldots, Y_ {n}]},}

және математикалық индукцияны (әр индукция қадамындағы айнымалылардың өзгеруімен бірге) ертерек өрнекке қолдану

{ 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})}

деп ашады

{ 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}]}.}

Бұл жағдайда ғана мүмкін болады ${ displaystyle P}$ бөлінеді ${ displaystyle Y_ {0}}$ бұл минималды болжамға қайшы келеді ${ displaystyle P}$ . Сондықтан, ондай жоқ ${ displaystyle P}$ бар және т.б. ${ displaystyle Gamma}$ дифференциалды алгебралық емес.^[2]^[3] Q.E.D.

Әдебиеттер тізімі

^ Банк, Стивен Б. және Кауфман, Роберт. «Гольма теоремасына гамма функциясына қатысты ескерту ”, Mathematische Annalen, том 232, 1978 ж.
^ ^а ^б Рубел, Ли А. «Трансцендентальды трансцендентальды функцияларды зерттеу», Американдық математикалық айлық 96: 777-788 бет (қараша 1989). JSTOR 2324840
^ Борос, Джордж және Молл, Виктор. Қайтарылмайтын интегралдар, Cambridge University Press, 2004, Cambridge Books Online, 30 желтоқсан 2011 ж. дои:10.1017 / CBO9780511617041.003

[1] Банк, Стивен Б. және Кауфман, Роберт. «Гольма теоремасына гамма функциясына қатысты ескерту ”, Mathematische Annalen, том 232, 1978 ж.

[Rubel-2] а ^б Рубел, Ли А. «Трансцендентальды трансцендентальды функцияларды зерттеу», Американдық математикалық айлық 96: 777-788 бет (қараша 1989). JSTOR 2324840

[3] Борос, Джордж және Молл, Виктор. Қайтарылмайтын интегралдар, Cambridge University Press, 2004, Cambridge Books Online, 30 желтоқсан 2011 ж. дои:10.1017 / CBO9780511617041.003

[1]

[2]

[3]