Hartogss kengaytmasi teoremasi - Hartogss extension theorem - Wikipedia

Matematikada, aniq funktsiyalar nazariyasida bir nechta murakkab o'zgaruvchilar, Xartogsning kengayish teoremasi haqida bayonot o'ziga xoslik ning holomorfik funktsiyalar bir nechta o'zgaruvchilar. Norasmiy ravishda, deyiladi qo'llab-quvvatlash bunday funktsiyalarning o'ziga xos xususiyatlaridan bo'lishi mumkin emas ixcham shuning uchun bir nechta murakkab o'zgaruvchilar funktsiyasining singular to'plami (bemalol aytganda) biron bir yo'nalishda "cheksizlikka o'tishi" kerak. Aniqrog'i, bu an izolyatsiya qilingan o'ziga xoslik har doim a olinadigan o'ziga xoslik har qanday kishi uchun analitik funktsiya ning $n > 1$ murakkab o'zgaruvchilar. Ushbu teoremaning birinchi versiyasi isbotlangan Fridrix Xartogs,^[1] va shunga o'xshash narsa sifatida ham tanilgan Xartogs lemmasi va Xartogs printsipi: oldinroq Sovet adabiyot,^[2] u ham deyiladi Osgood-Braun teoremasi, keyinchalik qilgan ishini tan olib Artur Barton Braun va Uilyam Fogg Osgood.^[3] Bir nechta o'zgaruvchining holomorf funktsiyalarining bu xususiyati ham deyiladi Xartogs hodisasiAmmo, "Hartogs fenomeni" joylashuvi eritmalarning xususiyatlarini aniqlash uchun ham ishlatiladi tizimlar ning qisman differentsial yoki konvolutsiya tenglamalari qoniqarli Xartoglar tipidagi teoremalar.^[4]

Tarixiy eslatma

Asl dalil tomonidan berilgan Fridrix Xartogs 1906 yilda foydalanib Koshining integral formulasi funktsiyalari uchun bir nechta murakkab o'zgaruvchilar.^[1] Bugungi kunda odatiy dalillar ikkalasiga ham ishonadi Bochner-Martinelli-Koppelman formulasi yoki bir hil bo'lmagan eritma Koshi-Riman tenglamalari ixcham qo'llab-quvvatlash bilan. Oxirgi yondashuv tufayli Leon Erenpreis kim uni qog'ozda boshlagan (Erenpreis 1961 yil ). Ushbu natijaning yana bir oddiy dalili keltirildi Gaetano Fichera qog'ozda (Fichera 1957 yil ) ning echimidan foydalangan holda Dirichlet muammosi uchun holomorfik funktsiyalar o'zgaruvchining o'zgarishi va tegishli tushunchasi CR-funktsiyasi:^[5] keyinchalik u teoremani ma'lum bir sinfgacha kengaytirdi qisman differentsial operatorlar qog'ozda (Fichera 1983 yil ), va keyinchalik uning g'oyalarini Giuliano Bratti yanada o'rganib chiqdi.^[6] Shuningdek, Yaponiya nazariyasi maktabi qisman differentsial operatorlar Akira Kanekoning muhim hissalari bilan ushbu mavzuda juda ko'p ishladi.^[7] Ularning yondashuvi - foydalanish Erenpreisning asosiy printsipi.

Xartogs hodisasi

Bir nechta o'zgaruvchiga ega bo'lgan, lekin bitta o'zgaruvchiga ega bo'lmagan hodisa deyiladi Xartogs hodisasi, bu esa Xartogsning kengayish teoremasi va the tushunchalariga olib keladi holomorfiya sohasi, shuning uchun bir nechta murakkab o'zgaruvchilar nazariyasi.

Masalan, ikkita o'zgaruvchida ichki domenni ko'rib chiqing

{ displaystyle H _ { varepsilon} = {z = (z_ {1}, z_ {2}) in Delta ^ {2}: | z_ {1} | < varepsilon { text {or} } 1- varepsilon <| z_ {2} | }}

ikki o'lchovli polidiskda ${ displaystyle Delta ^ {2} = {z in mathbb {C} ^ {2}; | z_ {1} | <1, | z_ {2} | <1 }}$ qayerda ${ displaystyle 0 < varepsilon <1}$ .

Teorema Xartogs (1906): har qanday holomorfik funktsiyalar ${ displaystyle f}$ kuni ${ displaystyle H _ { varepsilon}}$ analitik ravishda davom ettiriladi ${ displaystyle Delta ^ {2}}$ . Ya'ni, holomorfik funktsiya mavjud ${ displaystyle F}$ kuni ${ displaystyle Delta ^ {2}}$ shu kabi ${ displaystyle F = f}$ kuni ${ displaystyle H _ { varepsilon}}$ .

Aslida Koshi integral formulasi kengaytirilgan funktsiyani olamiz ${ displaystyle F}$ . Barcha holomorfik funktsiyalar analitik ravishda polidiskda davom ettiriladi, bu asl holomorf funktsiya aniqlangan sohadan qat'iyroq kattaroqdir. Bunday hodisalar hech qachon bitta o'zgaruvchida sodir bo'lmaydi.

Rasmiy bayonot

Ruxsat bering

f

bo'lishi a holomorfik funktsiya a o'rnatilgan

G \ K

, qayerda

G

ning ochiq pastki qismi

C n

(

n \geq 2

) va

K

ning ixcham kichik to'plamidir

G

. Agar to'ldiruvchi

G \ K

ulanadi, keyin

f

ni noyob holomorfik funktsiyaga qadar kengaytirish mumkin

G

.

Bir o'lchovdagi qarshi misollar

Teorema qachon bajarilmaydi $n = 1$ . Buni ko'rish uchun funktsiyani ko'rib chiqish kifoya $f (z) = z -1$ aniq holomorfikdir $C \ {0},$ ammo umuman holomorf funktsiya sifatida davom ettirish mumkin emas $C$ . Shuning uchun Xartoglar hodisasi bir va bir nechta murakkab o'zgaruvchilar funktsiyalari nazariyasi o'rtasidagi farqni ta'kidlaydigan elementar hodisadir.

Izohlar

^ ^a ^b Ning asl qog'oziga qarang Xartogs (1906) va tomonidan turli xil tarixiy tadqiqotlarda uning tavsifi Osgood (1963), 56-59 betlar), Severi (1958), 111-115 betlar) va Struppa (1988), 132-134-betlar). Xususan, p. 132, Muallif aniq yozadi: - "Sarlavhasida ta'kidlanganidek (Xartoglar 1906 ) va o'quvchi yaqinda ko'rganidek, dalilning asosiy vositasi bu Koshi integral formulasi ".
^ Masalan, qarang Vladimirov (1966), p. 153), bu kitobxonni kitobiga murojaat qiladi Fuks (1963), p. 284) dalil uchun (ammo avvalgi ma'lumotnomada dalil 324-betda ekanligi noto'g'ri ko'rsatilgan).
^ Qarang Jigarrang (1936) va Osgood (1929).
^ Qarang Fichera (1983) va Bratti (1986a) (Bratti 1986b ).
^ Fichera prof, shuningdek uning qog'oz yaratish davri (Fichera 1957 yil ) ning ko'plab mutaxassislari tomonidan e'tibordan chetda qolgan ko'rinadi bir nechta murakkab o'zgaruvchilar funktsiyalari nazariyasi: qarang Range (2002) ushbu sohadagi ko'plab muhim teoremalarni to'g'ri atribut qilish uchun.
^ Qarang Bratti (1986a) (Bratti 1986b ).
^ Uning qog'ozini ko'ring (Kaneko 1973 yil ) va undagi havolalar.

Adabiyotlar

Tarixiy ma'lumotlar

Fuks, B. A. (1963), Bir nechta murakkab o'zgaruvchilarning analitik funktsiyalari nazariyasiga kirish, Matematik monografiyalar tarjimalari, 8, Providence, RI: Amerika matematik jamiyati, VI + 374-bet, ISBN 9780821886441, JANOB 0168793, Zbl 0138.30902.
Osgood, Uilyam Fogg (1966) [1913], Bir nechta murakkab o'zgaruvchilar funktsiyalari nazariyasidagi mavzular (rasmiylashtirilmagan va tuzatilgan tahr.), Nyu-York: Dover, IV + 120 betlar, JFM 45.0661.02, JANOB 0201668, Zbl 0138.30901.
Range, R. Maykl (2002), "Ko'p o'lchovli kompleks tahlildagi kengayish hodisalari: tarixiy yozuvlarni tuzatish", Matematik razvedka, 24 (2): 4–12, doi:10.1007 / BF03024609, JANOB 1907191. Nazariyasidagi ba'zi aniq bo'lmagan tarixiy bayonotlarni tuzatuvchi tarixiy maqola bir nechta o'zgaruvchilarning holomorfik funktsiyalari, xususan hissalari bilan bog'liq Gaetano Fichera va Franchesko Severi.
Severi, Franchesko (1931), "Risoluzione del problema generale di Dirichlet per le funzioni biarmoniche", Rendiconti della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, 6-seriya (italyan tilida), 13: 795–804, JFM 57.0393.01, Zbl 0002.34202. Bu umumiy echim bo'lgan birinchi qog'oz Dirichlet muammosi uchun pluriharmonik funktsiyalar umumiy uchun berilgan haqiqiy analitik ma'lumotlar haqiqiy analitikda yuqori sirt. Sarlavha tarjimasi quyidagicha o'qiladi: - "Biharmonik funktsiyalar uchun umumiy Dirichlet muammosining echimi".
Severi, Franchesko (1958), Lezioni sulle funzioni analitiche di più variabili complesse - Tenute nel 1956–57 all'Istituto Nazionale di Alta Matematica in Roma (italyan tilida), Padova: CEDAM - Casa Editrice Dott. Antonio Milani, Zbl 0094.28002. Sarlavha tarjimasi: - "Bir nechta murakkab o'zgaruvchilarning analitik funktsiyalari bo'yicha ma'ruzalar - 1956-57 yillarda Rimdagi Istituto Nazionale di Alta Matematica-da ma'ruza qilganUshbu kitob Franchesko Severi tomonidan o'tkazilgan kursdan ma'ruza yozuvlaridan iborat Istituto Nazionale di Alta Matematica (hozirda uning nomi bilan atalgan) va qo'shimchalarini o'z ichiga oladi Enzo Martinelli, Jovanni Battista Rizza va Mario Benedikti.
Struppa, Daniele C. (1988), "Xartogs teoremasining birinchi sakson yili", Seminari di Geometria 1987-1988 yillar, Boloniya: Università degli Studi di Bolonya - Dipartimento di Matematica, 127–209 betlar, JANOB 0973699, Zbl 0657.35018.
Vladimirov, V. S. (1966), Errenpreis, L. (tahr.), Bir nechta murakkab o'zgaruvchilar funktsiyalari nazariyasi usullari. N.N.ning so'z boshi bilan. Bogolyubov, Kembrij -London: M.I.T. Matbuot, XII + 353-betlar, JANOB 0201669, Zbl 0125.31904 (Zentralblatt asl nusxasini ko'rib chiqish Ruscha nashr). Nazariyasi bo'yicha birinchi zamonaviy monografiyalardan biri bir nechta murakkab o'zgaruvchilar, ning keng ishlatilishi tufayli o'sha davrning boshqalaridan farq qiladi umumlashtirilgan funktsiyalar.

Ilmiy ma'lumotnomalar

Bochner, Salomon (1943 yil oktyabr), "Grin formulasi yordamida analitik va meromorfik davom etish", Matematika yilnomalari, Ikkinchi seriya, 44 (4): 652–673, doi:10.2307/1969103, JSTOR 1969103, JANOB 0009206, Zbl 0060.24206.
Bochner, Salomon (1952 yil 1 mart), "Qisman differentsial tenglamalar va analitik davomlar", PNAS, 38 (3): 227–230, Bibcode:1952PNAS ... 38..227B, doi:10.1073 / pnas.38.3.227, JANOB 0050119, PMC 1063536, PMID 16589083, Zbl 0046.09902.
Bratti, Juliano (1986a), "Fichera relativo al fenomeno di Hartogs ning taklifi" [Xartogs hodisasiga oid Fichera misoli haqida], Rendiconti della Accademia Nazionale delle Scienze Detta dei XL, 5-seriya (italyan va ingliz tillarida), X (1): 241–246, JANOB 0879111, Zbl 0646.35007, dan arxivlangan asl nusxasi 2011-07-26 kunlari
Bratti, Juliano (1986b), "Fichera relativo al fenomeno di Hartogs per system differenziali a coefficenti costanti" deb nomlangan teorema [P.D.E. tizimlari uchun Fichera teoremasini kengaytirish. doimiy koeffitsientlar bilan, Xartogs hodisasiga tegishli], Rendiconti della Accademia Nazionale delle Scienze Detta dei XL, 5-seriya (italyan va ingliz tillarida), X (1): 255–259, JANOB 0879114, Zbl 0646.35008, dan arxivlangan asl nusxasi 2011-07-26 kunlari
Bratti, Juliano (1988), "Su di un teorema di Hartogs" [Xartoglar teoremasi bo'yicha], Rendiconti del Seminario Matematico della Università di Padova (italyan tilida), 79: 59–70, JANOB 0964020, Zbl 0657.46033
Braun, Artur B. (1936), "Muayyan analitik davom etishlar va analitik gomomorfizmlar to'g'risida", Dyuk Matematik jurnali, 2: 20–28, doi:10.1215 / S0012-7094-36-00203-X, JFM 62.0396.02, JANOB 1545903, Zbl 0013.40701
Erenpreis, Leon (1961), "Xartog teoremasining yangi isboti va kengaytmasi", Amerika Matematik Jamiyati Axborotnomasi, 67 (5): 507–509, doi:10.1090 / S0002-9904-1961-10661-7, JANOB 0131663, Zbl 0099.07801. Xartogs hodisasi nazariyasidagi asosiy maqola. Sarlavhadagi tipografik xato qog'ozning asl nusxasida bo'lgani kabi takrorlanadi.
Fichera, Gaetano (1957), "Caratterizzazione della traccia, sulla frontiera di un campo, di una funzione analitica di più variabili complesse", Rendiconti della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, seriya 8 (italyan tilida), 22 (6): 706–715, JANOB 0093597, Zbl 0106.05202. Nazariyasida bir davrga oid maqola CR-funktsiyalari, bu erda Dirichlet muammosi bir nechta murakkab o'zgaruvchilarning analitik funktsiyalari umumiy ma'lumotlar uchun hal qilinadi. Sarlavha tarjimasi quyidagicha o'qiladi: - "Bir necha murakkab o'zgaruvchilarning analitik funktsiyasining domen chegarasida izini tavsiflash".
Fichera, Gaetano (1983), "Sul fenomeno di Hartogs per gli operatori lineari alle derivate parziali", Rendiconti Dell 'Istituto Lombardo di Scienze e Lettere. Scienze Matemàtiche e Applicationsazioni, A seriyasi. (italyan tilida), 117: 199–211, JANOB 0848259, Zbl 0603.35013. Sarlavhaning ingliz tilidagi tarjimasi quyidagicha o'qiladi: - "Ayrim chiziqli qisman differentsial operatorlar uchun xartoglar hodisasi".
Fueter, Rudolf (1939–1940), "Über einen Hartogs'schen Satz" [Xartoglar teoremasi bo'yicha], Matematik Helvetici sharhi (nemis tilida), 12 (1): 75–80, doi:10.1007 / bf01620640, JFM 65.0363.03, Zbl 0022.05802, dan arxivlangan asl nusxasi 2011-10-02 kunlari, olingan 2011-01-16. Mavjud SEALS Portali.
Fueter, Rudolf (1941–1942), "Uber einen Hartogs's Satz in der Theorie der analytischen Funktionen von" $n$ komplektli Variablen " [Ning analitik funktsiyalar nazariyasidagi Xartoglar teoremasi to'g'risida $n$ murakkab o'zgaruvchilar], Matematik Helvetici sharhi (nemis tilida), 14 (1): 394–400, doi:10.1007 / bf02565627, JFM 68.0175.02, JANOB 0007445, Zbl 0027.05703, dan arxivlangan asl nusxasi 2011-10-02 kunlari, olingan 2011-01-16 (Shuningdek qarang Zbl 0060.24505, E. Trost tomonidan bir nechta hujjatlarning yig'ma sharhi). Mavjud SEALS Portali.
Xartogs, Fritz (1906), "Einige Folgerungen aus der Cauchyschen Integralformel bei Funktionen mehrerer Veränderlichen.", Sitzungsberichte der Königlich Bayerischen Akademie der Wissenschaften zu Myunxen, Mathematisch-Physikalische Klasse (nemis tilida), 36: 223–242, JFM 37.0443.01.
Xartogs, Fritz (1906a), "Zur Theorie der analytischen Funktionen mehrerer unabhängiger Veränderlichen, Darstellung derselber durch Reihen welche nach Potentzen einer Veränderlichen fortschreiten" deb nomlanadi., Matematik Annalen (nemis tilida), 62: 1–88, doi:10.1007 / BF01448415, JFM 37.0444.01. Mavjud DigiZeitschriften.
Xormander, Lars (1990) [1966], Bir nechta o'zgaruvchida kompleks tahlilga kirish, Shimoliy-Gollandiya matematik kutubxonasi, 7 (3-chi (Qayta ko'rib chiqilgan) tahrir), Amsterdam – London – Nyu-York – Tokio: Shimoliy-Gollandiya, ISBN 0-444-88446-7, JANOB 1045639, Zbl 0685.32001.
Kaneko, Akira (1973 yil 12-yanvar), "Doimiy koeffitsientli qisman differentsial tenglamalarning muntazam echimlarini davom ettirish to'g'risida", Yaponiya akademiyasi materiallari, 49 (1): 17–19, doi:10.3792 / pja / 1195519488, JANOB 0412578, Zbl 0265.35008, mavjud Evklid loyihasi.
Martinelli, Enzo (1942–1943), "Sopra una dimostrazione di R. Fueter per un teorema di Hartogs" [Xartoglar teoremasini R. Fueterning isboti bo'yicha], Matematik Helvetici sharhi (italyan tilida), 15 (1): 340–349, doi:10.1007 / bf02565649, JANOB 0010729, Zbl 0028.15201, dan arxivlangan asl nusxasi 2011-10-02 kunlari, olingan 2011-01-16. Mavjud SEALS Portali.
Osgood, V. F. (1929), Lehrbuch der Funktionentheorie. II, Teubners Sammlung von Lehrbüchern auf dem Gebiet der matemischen Wissenschaften mit Einschluss ihrer Anwendungen (nemis tilida), Bd. XX - 1 (2-nashr), Leypsig: B. G. Teubner, VIII + 307-betlar, ISBN 9780828401821, JFM 55.0171.02.
Severi, Franchesko (1932), "Una proprietà fondamentale dei campi di olomorfismo di una funzione analitica di una variabile reale e di una variabile complessa", Rendiconti della Accademia Nazionale dei Lincei, Classe di Scienze Fisiche, Matematiche e Naturali, 6-seriya (italyan tilida), 15: 487–490, JFM 58.0352.05, Zbl 0004.40702. Sarlavhaning ingliz tilidagi tarjimasi quyidagicha o'qiladi: - "Bitta haqiqiy o'zgaruvchi va bitta murakkab o'zgaruvchining analitik funktsiyasi holomorfiya sohasining asosiy xususiyati".
Severi, Franchesko (1942–1943), "Hartogs-ga teorema taklifi" [Xartoglar teoremasi haqida], Matematik Helvetici sharhi (italyan tilida), 15 (1): 350–352, doi:10.1007 / bf02565650, JANOB 0010730, Zbl 0028.15301, dan arxivlangan asl nusxasi 2011-10-02 kunlari, olingan 2011-06-25. Mavjud SEALS Portali.

Tashqi havolalar

Chirka, E. M. (2001) [1994], "Xartogs teoremasi", Matematika entsiklopediyasi, EMS Press
"Hartogs teoremasining bir o'lchovdagi muvaffaqiyatsizligi (qarshi misol)". PlanetMath.
Xartogs teoremasi da PlanetMath.
"Xartogs teoremasining isboti". PlanetMath.

[hartogs-1] Ning asl qog'oziga qarang Xartogs (1906) va tomonidan turli xil tarixiy tadqiqotlarda uning tavsifi Osgood (1963), 56-59 betlar), Severi (1958), 111-115 betlar) va Struppa (1988), 132-134-betlar). Xususan, p. 132, Muallif aniq yozadi: - "Sarlavhasida ta'kidlanganidek (Xartoglar 1906 ) va o'quvchi yaqinda ko'rganidek, dalilning asosiy vositasi bu Koshi integral formulasi ".

[2] Masalan, qarang Vladimirov (1966), p. 153), bu kitobxonni kitobiga murojaat qiladi Fuks (1963), p. 284) dalil uchun (ammo avvalgi ma'lumotnomada dalil 324-betda ekanligi noto'g'ri ko'rsatilgan).

[3] Qarang Jigarrang (1936) va Osgood (1929).

[4] Qarang Fichera (1983) va Bratti (1986a) (Bratti 1986b ).

[5] Fichera prof, shuningdek uning qog'oz yaratish davri (Fichera 1957 yil ) ning ko'plab mutaxassislari tomonidan e'tibordan chetda qolgan ko'rinadi bir nechta murakkab o'zgaruvchilar funktsiyalari nazariyasi: qarang Range (2002) ushbu sohadagi ko'plab muhim teoremalarni to'g'ri atribut qilish uchun.

[6] Qarang Bratti (1986a) (Bratti 1986b ).

[7] Uning qog'ozini ko'ring (Kaneko 1973 yil ) va undagi havolalar.

[1]

[2]

[3]

[4]

[5]

[6]

[7]