Farrel-Markushevich teoremasi - Farrell–Markushevich theorem

Yilda matematika, Farrel-Markushevich teoremasi1934 yilda O. J. Farrell (1899-1981) va A. I. Markushevich (1908-1979) tomonidan mustaqil ravishda isbotlangan, o'rtacha kvadratga yaqinlashishga oid natijadir. holomorfik funktsiyalar ichida chegaralangan ochiq to'plamda murakkab tekislik murakkab polinomlar tomonidan. Unda murakkab polinomlar ning zich pastki fazosini hosil qilishi aytilgan Bergman maydoni oddiy yopiq bilan chegaralangan domen Iordaniya egri chizig'i. The Gram-Shmidt jarayoni yordamida Bergman makonida ortonormal asosni yaratish uchun foydalanish mumkin va shuning uchun Bergman yadrosi, bu o'z navbatida aniq ma'lumot beradi Riemann xaritalash funktsiyasi domen uchun.

Isbot

$ I $ chegaralangan Iordaniya domeni bo'lsin va $ let $ bo'lsinn chegaralangan Iordaniya domenlari Ω ga, Ω ga kamayadin Ω ning yopilishini o'z ichiga oladin + 1. Riemann xaritalash teoremasi bo'yicha konformal xaritalash mavjud fn Ωn $ mathbb {n} $ ga, berilgan nuqtani $ mathbb {P} $ da ijobiy lotin bilan aniqlash uchun normalizatsiya qilingan. Tomonidan Karateodori yadrosi teoremasi fn(z) kompaktga teng ravishda Ω dan to ga yaqinlashadi z.[1] Darhaqiqat, Karateodori teoremasi shuni anglatadiki, teskari xaritalar kompaktga teng ravishda moyil bo'ladi z. Ning keyingi qismi berilgan fn, uning kompressiyasida conver dagi konvergent, keyinchalik mavjud. Teskari funktsiyalar yaqinlashgandan beri z, shundan kelib chiqadiki, ergashish yaqinlashadi z kompakt ustida. Shuning uchun fn ga yaqinlashadi z Ω dagi kompakt ustida.

Natijada lotin fn kompaktga teng ravishda 1 ga intiladi.

Ruxsat bering g $ Delta $ ga kvadrat integrallanadigan holomorfik funktsiya, ya'ni Bergman fazosining elementi A bo'ling2(Ω). Aniqlang gn Ω dan tomonidan gn(z) = g(fn(z))fn'(z). O'zgaruvchining o'zgarishi bilan

Ruxsat bering hn ning cheklanishi bo'lishi gn Ω ga. Keyin norma hn undan kam gn. Shunday qilib, ushbu me'yorlar bir xil darajada chegaralangan. Agar kerak bo'lsa, biron bir ketma-ketlikka o'tish, shuning uchun buni taxmin qilish mumkin hn A ning chegarasi zaif2(Ω). Boshqa tarafdan, hn kompaktatoga teng ravishda harakat qiladi g. Baholash xaritalari A bo'yicha doimiy chiziqli funktsiyalar bo'lgani uchun2(Ω), g ning zaif chegarasi hn. Boshqa tomondan, tomonidan Runge teoremasi, hn yopiq pastki bo'shliqda yotadi K ning A2(Ω) murakkab polinomlar tomonidan hosil qilingan. Shuning uchun g ning zaif yopilishida yotadi K, bu K o'zi.[2]

Shuningdek qarang

Izohlar

  1. ^ Qarang:
  2. ^ Konvey 2000 yil, 151-152 betlar

Adabiyotlar

  • Farrell, O. J. (1934), "Analitik funktsiyaga polinomlar bo'yicha yaqinlashtirish to'g'risida", Buqa. Amer. Matematika. Soc., 40: 908–914, doi:10.1090 / s0002-9904-1934-06002-6
  • Markushevich, A. I. (1967), Kompleks o'zgaruvchining funktsiyalar nazariyasi. Vol. III, Prentice – Hall
  • Conway, Jon B. (2000), Operatorlar nazariyasi kursi, Matematika aspiranturasi, 21, Amerika matematik jamiyati, ISBN  0-8218-2065-6