Xölders teoremasi - Hölders theorem - Wikipedia

Yilda matematika, Xolder teoremasi deb ta'kidlaydi gamma funktsiyasi hech kimni qoniqtirmaydi algebraik differentsial tenglama ularning koeffitsientlari ratsional funktsiyalar. Ushbu natijani birinchi marta isbotladi Otto Xolder 1887 yilda; keyinchalik bir nechta muqobil dalillar topildi.[1]

Teorema ham ni umumlashtiradi -gamma funktsiyasi.

Teorema bayoni

Har bir kishi uchun nolga teng bo'lmagan polinom yo'q shu kabi

qayerda bo'ladi gamma funktsiyasi.

Masalan, aniqlang tomonidan

Keyin tenglama

deyiladi algebraik differentsial tenglama, bu holda, echimlarga ega va - birinchi va ikkinchi turdagi Bessel funktsiyalari. Shuning uchun biz buni aytamiz va bor differentsial algebraik (shuningdek algebraik transsendental). Matematik fizikaning ma'lum maxsus funktsiyalarining aksariyati differentsial algebraikdir. Differentsial algebraik funktsiyalarning barcha algebraik birikmalari differentsial algebraikdir. Bundan tashqari, differentsial algebraik funktsiyalarning barcha tarkibi differentsial algebraikdir. Xolder teoremasi shunchaki gamma funktsiyasi, , differentsial algebraik emas va shuning uchun ham transandantal ravishda transsendental.[2]

Isbot

Ruxsat bering va nolga teng bo'lmagan polinom deb taxmin qiling shunday mavjud

In nolga teng bo'lmagan polinom sifatida ning hech qanday bo'sh bo'lmagan ochiq domenida hech qachon nol funktsiyani keltirib chiqara olmaydi (Algebraning asosiy teoremasi bo'yicha), biz umumiylikni yo'qotmasdan, deb taxmin qilishimiz mumkin aniqlanmaganlardan birining nolga teng bo'lmagan kuchiga ega bo'lgan monomial atamani o'z ichiga oladi .

Buni ham faraz qiling leksikografik buyurtma bo'yicha eng past darajadagi umumiy darajaga ega Masalan,

chunki eng yuqori kuch birinchi polinomning istalgan monomial muddatida ikkinchi polinomnikidan kichikroq.

Keyin, barchaga e'tibor bering bizda ... bor:

Agar ikkinchi polinomni aniqlasak o'zgartirish orqali

unda quyidagi algebraik differentsial tenglamani olamiz :

Bundan tashqari, agar ning eng yuqori darajadagi monomial atamasi , keyin eng yuqori darajadagi monomial atama bu

Binobarin, polinom

ga qaraganda kichikroq umumiy darajaga ega va bu aniq uchun algebraik differentsial tenglamani keltirib chiqaradi , bu minimallik faraziga ko'ra nol polinom bo'lishi kerak . Demak, aniqlovchi tomonidan

biz olamiz

Endi, ruxsat bering yilda olish

Keyin o'zgaruvchilar o'zgarishi hosil beradi

va oldingi matematikaga matematik induksiyani qo'llash (har bir induksiya bosqichida o'zgaruvchilar o'zgarishi bilan birga)

buni ochib beradi

Bu faqat agar mumkin bo'lsa ga bo'linadi , bu minimallik taxminiga zid keladi . Shuning uchun, bunday emas mavjud va hokazo differentsial algebraik emas.[2][3] Q.E.D.

Adabiyotlar

  1. ^ Bank, Stiven B. va Kaufman, Robert. "Gamma funktsiyasiga oid Xolder teoremasiga eslatma ”, Matematik Annalen, vol. 232, 1978 yil.
  2. ^ a b Rubel, Li A. "Transandantal transandantal funktsiyalarni o'rganish", Amerika matematikasi oyligi 96: 777-788-betlar (1989 yil noyabr). JSTOR  2324840
  3. ^ Boros, Jorj va Moll, Viktor. Qaytarib bo'lmaydigan integrallar, Cambridge University Press, 2004, Cambridge Books Online, 2011 yil 30-dekabr. doi:10.1017 / CBO9780511617041.003