Bor-Mollerup teoremasi - Bohr–Mollerup theorem - Wikipedia

Yilda matematik tahlil, Bor-Mollerup teoremasi daniyalik matematiklar tomonidan isbotlangan teorema Xarald Bor va Yoxannes Mollerup. Teorema xarakterlaydi The gamma funktsiyasi uchun belgilangan x > 0 tomonidan

sifatida faqat funktsiya f oraliqda x > 0 bir vaqtning o'zida uchta xususiyatga ega

Ushbu teoremani davolash kerak Artin kitobi Gamma funktsiyasi, Artin asarlar to'plamida AMS tomonidan qayta nashr etilgan.

Teorema dastlab darslikda nashr etilgan kompleks tahlil Bor va Mollerup bu allaqachon isbotlangan deb o'ylaganlar.

Bayonot

Bor-Mollerup teoremasi.     Γ (x) qondiradigan yagona funktsiya  f (x + 1) = x f (x) bilan log (f (x)) qavariq va shuningdek  f (1) = 1.

Isbot

Ruxsat bering Γ (x) yuqorida o'rnatilgan taxmin qilingan xususiyatlarga ega funktsiya bo'lishi: Γ (x + 1) = xΓ (x) va jurnal (Γ (x)) qavariq va Γ (1) = 1. Kimdan Γ (x + 1) = xΓ (x) biz barpo etishimiz mumkin

Shartnomaning maqsadi Γ (1) = 1 majbur qiladi Γ (x + 1) = xΓ (x) butun sonlarning faktorial nusxalarini ko'paytirish uchun xususiyat, shuning uchun biz shunday xulosaga kelishimiz mumkin Γ (n) = (n − 1)! agar nN va agar Γ (x) umuman mavjud. Uchun munosabatlarimiz tufayli Γ (x + n), agar biz to'liq tushuna olsak Γ (x) uchun 0 < x ≤ 1 keyin tushunamiz Γ (x) ning barcha qiymatlari uchun x.

Ikki nuqtani bog'laydigan chiziqning qiyaligi (x1, jurnal (Γ (x1))) va (x2, jurnal (Γ (x2))), qo'ng'iroq qiling S(x1, x2)bilan har bir argumentda monotonik ravishda ko'paymoqda x1 < x2 chunki biz belgilab qo'yganmiz jurnal (Γ (x)) qavariq. Shunday qilib, biz buni bilamiz

Logaritmning turli xil xususiyatlaridan foydalanishni soddalashtirgandan so'ng va eksponentlashtirgandan so'ng (bu eksponent funktsiya monotonik ravishda oshib borishi sababli tengsizlikni saqlaydi)

Avvalgi ishlardan bu kengayadi

va hokazo

Oxirgi satr kuchli bayonot. Jumladan, ning barcha qiymatlari uchun to'g'ri keladi n. Anavi Γ (x) har qanday tanlov uchun o'ng tomondan kattaroq emas n va shunga o'xshash, Γ (x) har qanday boshqa tanlov uchun chap tomondan kam emas n. Har bir tengsizlik yakka o'zi va mustaqil bayonot sifatida talqin qilinishi mumkin. Shu sababli, biz har xil qiymatlarni tanlashda erkinmiz n RHS va LHS uchun. Xususan, agar biz saqlasak n RHS uchun tanlang va tanlang n + 1 LHS uchun biz quyidagilarni olamiz:

Ushbu so'nggi satrdan ko'rinib turibdiki, funktsiya ikkita ifoda o'rtasida joylashgan bo'lib, bu chegara mavjudligi yoki yaqinlashish kabi turli xil narsalarni isbotlash uchun keng tarqalgan tahlil texnikasi. Ruxsat bering n → ∞:

shuning uchun oxirgi tengsizlikning chap tomoni chegarada va tomonning o'ng tomoniga tenglashtiriladi

o'rtasida joylashtirilgan. Bu faqat shuni anglatishi mumkin

Ushbu dalil kontekstida bu shuni anglatadiki

tegishli uchta ko'rsatilgan xususiyatga ega Γ (x). Shuningdek, dalil uchun ma'lum bir ifoda berilgan Γ (x). Va dalilning so'nggi muhim qismi - ketma-ketlik chegarasi noyob ekanligini unutmaslikdir. Bu shuni anglatadiki, har qanday tanlov uchun 0 < x ≤ 1 faqat bitta mumkin bo'lgan raqam Γ (x) mavjud bo'lishi mumkin. Shuning uchun, tayinlangan barcha xususiyatlarga ega bo'lgan boshqa funktsiya mavjud emas Γ (x).

Qolgan bo'shashgan uchi buni isbotlash masalasidir Γ (x) hamma uchun mantiqiy x qayerda

mavjud. Muammo shundaki, bizning birinchi er-xotin tengsizligimiz

cheklov bilan qurilgan 0 < x ≤ 1. Agar aytaylik, x > 1 keyin haqiqat S monoton o'sib boradi S(n + 1, n) < S(n + x, n), butun isboti tuzilgan tengsizlikka zid. Biroq,

bu qanday bootstrap qilishni namoyish etadi Γ (x) ning barcha qiymatlariga x bu erda chegara aniqlangan.

Shuningdek qarang

Adabiyotlar

  • "Bor-Mollerup teoremasi", Matematika entsiklopediyasi, EMS Press, 2001 [1994]
  • Vayshteyn, Erik V. "Bor-Mollerup teoremasi". MathWorld.
  • "Bor-Mollerup teoremasining isboti". PlanetMath.
  • "Bor-Mollerup teoremasining muqobil isboti". PlanetMath.
  • Artin, Emil (1964). Gamma funktsiyasi. Xolt, Raynxart, Uinston.
  • Rozen, Maykl (2006). Emil Artinning ekspozitsiyasi: Tanlov. Amerika matematik jamiyati.
  • Mollerup, J., Bor, H. (1922). Lærebog i Kompleks Analyze jild. III, Kopengagen. (Kompleks tahlildagi darslik)