Грунский матрицасы - Grunsky matrix - Wikipedia

Математикалық талдау → Кешенді талдау
Кешенді талдау
Күрделі сандар
Нақты нөмір Қиял нөмірі Кешенді жазықтық Кешенді конъюгат Бірліктің күрделі нөмірі
Күрделі функциялар
Кешенді функция Аналитикалық функция Холоморфты функция Коши-Риман теңдеулері Ресми қуат қатары
Негізгі теория
Нөлдер мен полюстер Кошидің интегралдық теоремасы Жергілікті қарабайыр Кошидің интегралдық формуласы Орам нөмірі Лоран сериясы Оқшауланған даралық Қалдық теоремасы Конформдық карта Шварц леммасы Гармоникалық функция Лаплас теңдеуі
Геометриялық функциялар теориясы
Адамдар
Августин-Луи Коши Леонхард Эйлер Карл Фридрих Гаусс Жак Хадамар Киёши Ока Бернхард Риман Карл Вейерштрасс
Математика порталы

Жылы кешенді талдау және геометриялық функция теориясы, Грунский матрицалары, немесе Грунский операторлары, 1939 жылы енгізілген шексіз матрицалар Гельмут Грунский. Матрицалар бір-біріне сәйкес келеді голоморфтық функция үстінде бірлік диск немесе бірлік дискідегі голоморфтық функциялардың жұбы және оны толықтырушы. The Грунский теңсіздіктері тұтастай алғанда осы матрицалардың шектеулі қасиеттерін көрсетіңіз жиырылу операторлары немесе маңызды ерекше жағдайларда унитарлық операторлар. Грунский көрсеткендей, бұл теңсіздіктер голоморфтық функция болған жағдайда ғана орындалады унивалентті. Теңсіздіктер 1947 жылы табылған Голузин теңсіздіктеріне эквивалентті. Грунский теңсіздіктері бірмәнді функция логарифмінің коэффициенттері туралы ақпарат береді; кейінірек жалпылау Милин, бастап Лебедев-Милин теңсіздігі, бірмәнді функцияның коэффициенттері үшін теңсіздіктерді алу үшін теңсіздіктерді дәрежеге шығаруға қол жеткізді. Грунский матрицасы және онымен байланысты теңсіздіктер бастапқыда көптеген тегіс шекаралас аймақ арасындағы бірмәнді функциялардың жалпы жағдайында тұжырымдалды Иордания қисықтары және оны толықтырушы: Грунскийдің, Голузиннің және Милиннің нәтижелері бұл жағдайды жалпылайды.

Тарихи жағдайда дискінің теңсіздіктері ерекше жағдайларды дәлелдеу кезінде қолданылған Бибербах болжам алтыншы коэффициентке дейін; Милиннің дәрежелік теңсіздіктері қолданылды де Бранж Осы әдістерді қолдана отырып егжей-тегжейлі экспозицияны табуға болады Хейман (1994). Грунский операторлары және олардың Фредгольм детерминанттары ішіндегі шектелген домендердің спектрлік қасиеттерімен де байланысты күрделі жазықтық. Операторлардың қосымша қосымшалары бар конформды картаға түсіру, Тейхмюллер теориясы және конформды өріс теориясы.

Грунский матрицасы

Егер f(з) - бұл бірлік дискідегі голоморфты бірмәнді функция, осылайша қалыпқа келтірілген f(0) = 0 және f ′(0) = 1, функция

${ displaystyle g (z) = f (z ^ {- 1}) ^ {- 1}}$

| бойынша жоғалып кетпейтін униваленттік функцияз| > 1 қалдықтары бар po қарапайым полюсі:

${ displaystyle g (z) = z + b_ {0} + b_ {1} z ^ {- 1} + b_ {2} z ^ {- 2} + cdots}$

Қолданылған бірдей инверсия формуласы ж қайтарады f және функцияның осы екі сыныбы арасында бір сәйкестік орнатады.

The Грунский матрицасы (c_нм) of ж теңдеуімен анықталады

${ displaystyle log { frac {g (z) -g ( zeta)} {z- zeta}} = - sum _ {m, n> 0} c_ {nm} z ^ {- m} дзета ^ {- n}}$

Бұл симметриялық матрица. Оның жазбалары деп аталады Грунский коэффициенттері туралы ж.

Ескертіп қой

${ displaystyle log {g (z ^ {- 1}) - g ( zeta ^ {- 1}) over z ^ {- 1} - zeta ^ {- 1}} = log {f (z) ) -f ( zeta) over z- zeta} - log {f (z) over z} - log {f ( zeta) over zeta},}$

коэффициенттерді тікелей түрінде көрсетуге болатындай етіп f. Шынында да, егер

${ displaystyle log {f (z) -f ( zeta) over z- zeta} = - sum _ {m, n geq 0} d_ {mn} z ^ {n} zeta ^ {n },}$

содан кейін үшін м, n > 0

${ displaystyle d_ {mn} = c_ {mn}}$

және г._0n = г._n0 арқылы беріледі

${ displaystyle log { frac {f (z)} {z}} = sum _ {n> 0} d_ {0n} z ^ {n}}$

бірге

${ displaystyle d_ {00} = 0.}$

Грунский теңсіздіктері

Егер f - бұл Грунский матрицасы бар бірлік дискідегі холоморфтық функция (c_нм), Грунский теңсіздіктері деп мәлімдеңіз

${ displaystyle left | sum _ {1 leq m, n leq N} c_ {mn} lambda _ {m} lambda _ {n} right | leq sum _ {1 leq n leq N} { frac {| lambda _ {n} | ^ {2}} {n}}}$

numbers күрделі сандардың кез-келген ақырлы тізбегі үшін₁, ..., λ_N.

Faber көпмүшелері

Грунский коэффициенттері | нормаланған унивалентті функцияз| > 1

${ displaystyle g (z) = z + b_ {0} + b_ {1} z ^ {- 1} + b_ {2} z ^ {- 2} + cdots}$

коэффициенттердегі көпмүшеліктер болып табылады б_мен тұрғысынан рекурсивті түрде есептелуі мүмкін Faber көпмүшелері Φ_n, дәреженің моникалық көпмүшесі n байланысты ж.

Туындысын қабылдау з Грунский коэффициенттерінің анықтаушы қатынасы және көбейту з береді

${ displaystyle { frac {zg '(z)} {g (z) -g ( zeta)}} - { frac {z} {z- zeta}} = sum _ {m, n> 0 } mc_ {mn} z ^ {- m} zeta ^ {- n}.}$

Faber көпмүшелері қатынаспен анықталады

${ displaystyle { frac {zg '(z)} {g (z) -w}} = sum _ {n geq 0} Phi _ {n} (w) z ^ {- n}.}$

Бұл қатынасты бөлу з және арасындағы интеграция з және ∞ береді

${ displaystyle log { frac {g (z) -w} {z}} = - sum _ {n geq 1} {1 over n} Phi _ {n} (w) z ^ {- n}.}$

Бұл қайталану қатынастарын береді n > 0

${ displaystyle Phi _ {n} (w) = (w-b_ {0}) Phi _ {n-1} (w) -nb_ {n} - sum _ {0 leq i leq n- 1} b_ {ni} Phi _ {i} (w)}$

бірге

${ displaystyle Phi _ {0} (w) equiv 1.}$

Осылайша

${ displaystyle sum _ {n geq 0} Phi _ {n} (g (z)) zeta ^ {- n} = 1 + sum _ {n geq 1} left (z ^ {n) } + sum _ {m geq 1} c_ {nm} z ^ {- m} right) zeta ^ {- n},}$

сол үшін n ≥ 1

${ displaystyle Phi _ {n} (g (z)) = z ^ {n} + sum _ {m geq 1} c_ {nm} z ^ {- m}.}$

Соңғы қасиет Faber полиномын ерекше түрде анықтайды ж.

Милин ауданының теоремасы

Келіңіздер ж(з) бойынша валентті функция болуы керекз| > 1 қалыпқа келтірілген

${ displaystyle g (z) = z + b_ {1} z ^ {- 1} + b_ {2} z ^ {- 2} + cdots}$

және рұқсат етіңіз f(з) бойынша тұрақты емес голоморфты функция болуы керек C.

Егер

${ displaystyle f (g (z)) = sum _ {- infty} ^ { infty} c_ {n} z ^ {n}}$

Лоранның кеңеюі з > 1, содан кейін

${ displaystyle sum _ {n> 0} n | c_ {n} | ^ {2} leq sum _ {n> 0} n | c _ {- n} | ^ {2}.}$

Дәлел

Егер Ω - тегіс шекарасы бар шектелген ашық аймақ ∂Ω және сағ Ω жабылатын үздіксіз функцияға дейін созылатын, содан кейін, арқылы ажыратылатын функция Стокс теоремасы қолданылды дифференциалдық 1-форма ${ displaystyle omega = h (z) dz,}$

${ displaystyle int _ { жарым-жартылай Омега} сағ (z) , dz = int _ { жартылай Омега} omega = iint _ { Omega} d omega = iint _ { Omega} (i жартылай _ {х} - жартылай _ {у}) h , dx , dy = 2i iint _ { Омега} жартылай _ { сызықша {z}} h , dx , dy. }$

Үшін р > 1, let рұқсат етіңіз_р | бейнесінің толықтырушысы болуз|> р астында ж(з), шектелген домен. Содан кейін, жоғарыдағы сәйкестілік бойынша сағ = f ′, ауданы f(Ω_р) арқылы беріледі

${ displaystyle A (r) = iint _ { Omega _ {r}} | f '(z) | ^ {2} , dx , dy = {1 2i} int _ { ішінара Омега _ {r}} { үстіңгі сызық {f (z)}} f '(z) , dz = {1 2i} int _ {| w | = r} { үстіңгі сызық {f (g (w) )))}} f '(g (w)) g' (w) , dw.}$

Демек

${ displaystyle A (r) = pi sum _ {n} n | c _ {- n} | ^ {2} r ^ {2n}.}$

Аудан теріс емес болғандықтан

${ displaystyle sum _ {n> 0} n | c_ {n} | ^ {2} r ^ {- 2n} leq sum _ {n> 0} n | c _ {- n} | ^ {2} r ^ {2n}.}$

Нәтиже мүмкіндік береді р 1-ге дейін азаяды.

Милиннің Грунский теңсіздіктерін дәлелдеуі

Егер

${ displaystyle p (w) = sum _ {n = 1} ^ {N} n ^ {- 1} lambda _ {n} Phi _ {n} (w),}$

содан кейін

${ displaystyle p (g (z)) = left ( sum _ {n = 1} ^ {N} n ^ {- 1} lambda _ {n} z ^ {n} right) + left ( sum _ {m = 1} ^ { infty} sum _ {n = 1} ^ {N} lambda _ {n} c_ {nm} z ^ {- m} right).}$

Милин ауданының теоремасын қолдана отырып,

${ displaystyle sum _ {m = 1} ^ { infty} m left | sum _ {n = 1} ^ {N} c_ {mn} lambda _ {n} right | ^ {2} leq sum _ {n = 1} ^ {N} {1 over n} | lambda _ {n} | ^ {2}.}$

(Теңдік мұнда тек егер суреттің толықтырушысы болса ғана болады ж бар Лебег шарасы нөл.)

Сонымен фортиори

${ displaystyle sum _ {m = 1} ^ {N} m left | sum _ {n = 1} ^ {N} c_ {mn} lambda _ {n} right | ^ {2} leq sum _ {n = 1} ^ {N} {1 over n} | lambda _ {n} | ^ {2}.}$

Осыдан симметриялы матрица шығады

${ displaystyle a_ {mn} = { sqrt {mn}} c_ {mn},}$

қосулы оператор ретінде қарастырылады C^N өзінің ішкі стандартты өнімімен қанағаттандырады

${ displaystyle | Ax | leq | x |.}$

Сонымен Коши-Шварц теңсіздігі

${ displaystyle | (Ax, y) | leq | x | cdot | y |.}$

Бірге

${ displaystyle x_ {n} = { frac { lambda _ {n}} { sqrt {n}}} = { overline {y_ {n}}},}$

бұл Грунскийге теңсіздік береді:

${ displaystyle left | sum _ {m = 1} ^ {N} sum _ {n = 1} ^ {N} c_ {mn} lambda _ {m} lambda _ {n} right | ^ {2} leq sum _ {n = 1} ^ {N} {1 over n} | lambda _ {n} | ^ {2},}$

Униваленттілік критерийі

Келіңіздер ж(з) бойынша голоморфты функция болуы керек з > 1 бірге

${ displaystyle g (z) = z + b_ {0} + b_ {1} z ^ {- 1} + b_ {2} z ^ {- 2} + cdots}$

Содан кейін ж егер Грунский коэффициенттері болған жағдайда ғана бірдей болады ж бәріне арналған Грунский теңсіздігін қанағаттандыру N.

Шынында да, бұл жағдайдың қажет екендігі дәлелденді. Жеткіліктігін білу үшін назар аударыңыз

${ displaystyle log {g (z) -g ( zeta) over z- zeta} = - sum _ {m, n geq 1} c_ {mn} z ^ {- m} zeta ^ { -н}}$

| болған кезде мағынасы барз| және | ζ | үлкен, демек, коэффициенттер c_мн анықталды. Егер Грунский теңсіздіктері қанағаттандырылса, онда | | екенін байқау қиын емесc_мн| біркелкі шектелген, демек сол жақтағы кеңейту | үшін жинақталадыз| > 1 және | ζ | > 1. Екі жақтың көрсеткіштерін көрсете отырып, бұл дегеніміз ж теңбе-тең.

Бірмәнді функциялардың жұптары

Келіңіздер ${ displaystyle F (z)}$ және ${ displaystyle g ( zeta)}$ | бойынша унивалентті голоморфты функциялар болуз| <1 және | ζ | > 1, олардың кескіндері сәйкес келмейтін етіп C. Бұл функциялар осылай қалыпқа келтірілді делік

${ displaystyle g ( zeta) = zeta + a_ {0} + b_ {1} zeta ^ {- 1} + b_ {2} zeta ^ {- 2} + cdots}$

және

${ displaystyle F (z) = af (z)}$

бірге а ≠ 0 және

${ displaystyle f (z) = z + a_ {2} z ^ {2} + a_ {3} z ^ {3} + cdots.}$

The Грунский матрицасы (c_мн) функциялардың жұбы нөлге тең емес барлық үшін анықталған м және n формулалар бойынша:

${ displaystyle { begin {aligned} log {g ( zeta) -g ( eta) over zeta - eta} & = - sum _ {m, n geq 1} c_ {mn} zeta ^ {- m} eta ^ {- n} log {g ( zeta) -f (z) over zeta} - log {g ( zeta) over zeta} & = - sum _ {m, n geq 1} c _ {- m, n} z ^ {m} zeta ^ {- n} log {f (z) -f (w) over zw} - log {f (z) over z} - log {f (w) over w} & = - sum _ {m, n geq 1} c _ {- m, -n} z ^ {m} w ^ {n} end {aligned}}}$

бірге

${ displaystyle c_ {m, -n} = c _ {- n, m}, qquad m, n geq 1,}$

сондай-ақ (c_мн) - бұл симметриялық матрица.

1972 жылы американдық математик Джеймс Хаммель Грунский теңсіздігін осы матрицаға дейін кеңейтті, бұл кез-келген күрделі сандар тізбегі үшін_±1, ..., λ_±N

${ displaystyle left | sum _ {n, m neq 0} c_ {mn} lambda _ {m} lambda _ {n} right | leq sum _ {n neq 0} { frac {1} {| n |}} | lambda _ {n} | ^ {2}.}$

Дәлелдеу | кескіндерінің ауданын есептеу арқылы жалғасады |з| < р <1 астында F және | ζ | > R > 1 астында ж сәйкес Лоран полиномы астында сағ(w).

Келіңіздер ${ displaystyle phi _ {n}}$ және ${ displaystyle phi _ {- n}}$ Фабердің көпмүшелерін белгілеңіз ж және ${ displaystyle f (z ^ {- 1}) ^ {- 1}}$ және орнатыңыз

${ displaystyle h (w) = sum _ {n geq 1} { frac { lambda _ {n}} {n}} Phi _ {n} (w) + sum _ {n geq 1 } { frac { lambda _ {- n}} {n}} Phi _ {- n} сол ({ frac {a} {w}} оң).}$

Содан кейін:

${ displaystyle { begin {aligned} h (F (z)) & = sum _ {n geq 1} { frac { lambda _ {- n}} {n}} z ^ {- n} + альфа + қосынды _ {n geq 1} альфа _ {n} z ^ {n}, && | z | <1, альфа _ {n} = қосынды _ {m} c _ {- n, m } lambda _ {m} h (g ( zeta)) & = sum _ {n geq 1} { frac { lambda _ {n}} {n}} zeta ^ {n} + beta + sum _ {n geq 1} beta _ {n} zeta ^ {- n}, && | zeta |> 1, beta _ {n} = sum _ {m} c_ {nm } lambda _ {m} end {aligned}}}$

Ауданы тең

${ displaystyle int | h '(z) | ^ {2} , dx , dy = { frac {1} {2i}} int _ {C_ {1}} { overline {h}} ( z) h '(z) , dz - { frac {1} {2i}} int _ {C_ {2}} { сызықша {h}} (z) h' (z) , dz,}$

қайда C₁ | шеңбердің кескіні болып табылады | ζ | = R астында ж және C₂ | шеңбердің бейнесі болып табыладыз| = р астында F.

Демек

${ displaystyle { frac {1} { pi}} iint | h '| ^ {2} , dx , dy = left [ sum _ {n geq 1} { frac {1} { n}} | lambda _ {- n} | ^ {2} - sum _ {n geq 1} | alpha _ {n} | ^ {2} r ^ {2n} right] + left [ sum _ {n geq 1} {1 over n} | lambda _ {n} | ^ {2} - sum _ {n geq 1} | beta _ {n} | ^ {2} R ^ {- 2n} оң].}$

Аймақ оң болғандықтан оң жағы да оң болуы керек. Рұқсат ету р 1-ге дейін ұлғайту R дейін азайту 1, бұдан шығады

${ displaystyle sum _ {m neq 0} | m | left | sum _ {n neq 0} c_ {mn} lambda _ {n} right | ^ {2} leq sum _ { m neq 0} {1 over | m |} | lambda _ {m} | ^ {2}}$

егер суреттердің толықтырушысы болған жағдайда ғана теңдікпен Лебег шарасы нөл.

Жалғыз функция жағдайындағы сияқты ж, бұл қажетті теңсіздікті білдіреді.

Бірлік

Матрица

${ displaystyle a_ {mn} = { sqrt {| mn |}} cdot c_ {mn}}$

бір функцияның ж немесе функциялардың жұбы F, ж имиджін толықтыратын жағдайда ғана унитарлы болып табылады ж немесе кескіндерінің бірігуі F және ж Lebesgue нөлдік мәні бар. Сонымен, бір сөзбен айтқанда, бір функция жағдайында кескін күрделі жазықтықтағы саңылаулы аймақ болып табылады; және екі функция жағдайында екі аймақ жабық Иордания қисығымен бөлінеді.

Шындығында шексіз матрица A бойынша әрекет ету Гильберт кеңістігі шаршы жиынтық тізбектердің

${ displaystyle A ^ {*} A = I,}$

Бірақ егер Дж тізбектің күрделі конъюгациясын білдіреді, сонда

${ displaystyle JAJ = A ^ {*}, quad JA ^ {*} J = A}$

бері A симметриялы. Демек

${ displaystyle AA ^ {*} = JA ^ {*} AJ = I}$

сондай-ақ A унитарлы.

Грунский теңсіздіктерінің эквивалентті формалары

Голузин теңсіздіктері

Егер ж(з) - бұл нормаланған унивалентті функцияз| > 1, з₁, ..., з_N | бар нақты нүктелерз_n| > 1 және α₁, ..., α_N 1947 жылы орыс математигі Геннадий Михайлович Голузин (1906-1953) дәлелдеген күрделі сандар, Голузин теңсіздіктері

${ displaystyle left | sum _ {m = 1} ^ {N} sum _ {n = 1} ^ {N} alpha _ {m} alpha _ {n} log {g (z_ {m) }) - g (z_ {n}) over z_ {m} -z_ {n}} right | ^ {2} leq sum _ {m = 1} ^ {N} sum _ {n = 1 } ^ {N} alpha _ {m} { overline { alpha _ {n}}} log {1 over 1- (z_ {m} { overline {z_ {n}}}) ^ {- 1}}.}$

Оларды Грунский теңсіздігінен шығару үшін рұқсат етіңіз

${ displaystyle lambda _ {k} = sum _ {n = 1} ^ {N} альфа _ {n} z_ {n} ^ {- k}.}$

үшін к > 0.

Керісінше, Грунский теңсіздіктері Голузин теңсіздіктерінен алады

${ displaystyle alpha _ {m} = {1 over N} sum _ {n = 1} ^ {N} lambda _ {n} z_ {n} ^ {m}.}$

қайда

${ displaystyle z_ {n} = re ^ {2 pi in over N}}$

бірге р > 1, ∞-ге бейім.

Бергман-Шиффер теңсіздіктері

Бергман және Шиффер (1951) пайдаланып, Грунский теңсіздіктерінің тағы бір туындысын берді ядроларды көбейту және интегралды интегралдық операторлар геометриялық функция теориясы; осыған қатысты соңғы тәсілді табуға болады Баранов және Хеденмалм (2008).

Келіңіздер f(з) | -де нормаланған унивалентті функция болуз| <1, рұқсат етіңіз з₁, ..., з_N | арқылы нақты нүктелер болыңызз_n| <1 және α болсын₁, ..., α_N күрделі сандар болуы керек. Бергман-Шифер теңсіздіктері бұл туралы айтады

${ displaystyle left | sum _ {m = 1} ^ {N} sum _ {n = 1} ^ {N} alpha _ {m} alpha _ {n} left [{ frac {f '(z_ {m}) f' (z_ {n})} {(f (z_ {m}) - f (z_ {n})) ^ {2}}} - { frac {1} {(z_ {m} -z_ {n}) ^ {2}}} right] right | leq sum _ {m = 1} ^ {N} sum _ {n = 1} ^ {N} альфа _ {m} { overline { alpha _ {n}}} { frac {1} {(1-z_ {m} { overline {z_ {n}}}) ^ {2}}}.}$

Осы теңсіздіктерді Грунский теңсіздіктерінен шығару үшін, орнатыңыз

${ displaystyle lambda _ {k} = k sum _ {n = 1} ^ {N} alpha _ {n} z_ {n} ^ {k}.}$

үшін к > 0.

Керісінше Грунский теңсіздіктері Бергман-Шифер теңсіздіктерінен келіп шығады

${ displaystyle alpha _ {m} = { frac {1} {N}} sum _ {n = 1} ^ {N} { frac {1} {n}} lambda _ {n} z_ { n} ^ {m}.}$

қайда

${ displaystyle z_ {n} = re ^ { frac {2 pi in} {N}}}$

бірге р <1, 0-ге бейім.

Қолданбалар

Грунский теңсіздіктері бірмәнді функциялар үшін көптеген теңсіздіктерді білдіреді. Оларды Шиффер мен Чарзинский 1960 жылы толықтай қарапайым дәлелдеу үшін қолданды Бибербах болжам төртінші коэффициент үшін; 1952 жылы Шиффер мен Гарабедьян әлдеқайда күрделі дәлелдемені тапты. 1968 жылы Педерсен мен Озава алтыншы коэффициенттің болжамын дәлелдеу үшін Грунский теңсіздігін дербес қолданды.^[1][2]

Шиффер мен Чарзинскийдің дәлелдеуінде, егер

${ displaystyle f (x) = z + a_ {2} z ^ {2} + a_ {3} z ^ {3} + a_ {4} z ^ {4} + cdots}$

| -де нормаланған бірмәнді функция болып табыладыз| <1, содан кейін

${ displaystyle g (z) = f (z ^ {2}) ^ {- 1/2} = z + b_ {1} z ^ {- 1} + b_ {3} z ^ {- 3} + cdots }$

| -де тақ бір мәнді функцияз| > 1.

Біріктіру Гронвалл ауданының теоремасы үшін f Грунский матрицасының алғашқы 2 x 2 миноры үшін Грунский теңсіздіктерімен ж | үшін шектеуге әкеледіа₄| қарапайым функциясы тұрғысынан а₂ және еркін күрделі параметр. Еркін параметрді шектеу модулінің жартысының функциясына айналатындай етіп таңдауға болады а₂ содан кейін бұл функцияның [0,1] ауқымында 4-тен аспайтындығын тікелей тексеруге болады.

Милин көрсеткендей, Грунский теңсіздіктерін дәрежеге шығаруға болады. Ең қарапайым жағдай жазу арқылы жүреді

${ displaystyle log {g (z) -g ( zeta) over z- zeta} = - sum _ {n geq 1} a_ {n} ( zeta ^ {- 1}) z ^ { -н}.}$

бірге а_n(w) голоморфты |w| < 1.

Un бар Грунский теңсіздіктері_n = wⁿ мұны білдіреді

${ displaystyle sum _ {n geq 1} n | a_ {n} (w) | ^ {2} leq - log (1- | w | ^ {2}).}$

Екінші жағынан, егер

${ displaystyle sum _ {m geq 0} b_ {m} t ^ {m} = exp sum _ {n geq 1} a_ {n} t ^ {n}}$

ресми қуат қатарлары ретінде, содан кейін бірінші Лебедев-Милин теңсіздіктері (1965) дейді^[3][4]

${ displaystyle sum _ {n geq 0} | b_ {n} | ^ {2} leq exp sum _ {n geq 1} n | a_ {n} | ^ {2}.}$

Эквивалентті түрде теңсіздік, егер ж(з) - деген көпмүше ж(0) = 0, содан кейін

${ displaystyle {1 over 2 pi} int _ {0} ^ {2 pi} | e ^ {g} | ^ {2} , d theta leq e ^ {A},}$

қайда A ауданы болып табылады ж(Д.),

Теңсіздікті дәлелдеу үшін коэффициенттер рекурсивті формула бойынша анықталатынын ескеріңіз

${ displaystyle b_ {n} = {1 n n} sum _ {m = 1} ^ {n} ma_ {m} b_ {n-m}}$

осылайша Коши-Шварц теңсіздігі

${ displaystyle | b_ {n} | ^ {2} leq {1 n} sum m ^ {2} | a_ {m} | ^ {2} | b_ {n-m} | ^ {2}.}$

Шамалар c_n мұнда теңдік орнату арқылы алынған:

${ displaystyle c_ {n} = {1 n n} sum m ^ {2} | a_ {m} | ^ {2} c_ {n-m}}$

қанағаттандыру ${ displaystyle | b_ {n} | ^ {2} leq c_ {n}}$ және, демек, қадамдарды кері бұрып,

${ displaystyle sum | b_ {n} | ^ {2} leq sum c_ {n} = exp sum _ {m geq 1} m | a_ {m} | ^ {2}.}$

Атап айтқанда, анықтау б_n(w) жеке куәлігі бойынша

${ displaystyle sum b_ {n} ( zeta ^ {- 1}) z ^ {- n} = exp sum a_ {m} ( zeta ^ {- 1}) z ^ {- m} = { g (z) -g ( zeta) over z- zeta},}$

келесі теңсіздік | үшін орындалуы керекw| < 1

${ displaystyle sum _ {n geq 0} | b_ {n} (w) | ^ {2} leq (1- | w | ^ {2}) ^ {- 1}.}$

Бёрлингтің өзгеруі

The Бёрлингтің өзгеруі (деп те аталады Берлинг-Ахлфорс түрленуі және Гильберт күрделі жазықтықта өзгереді) келесідей, Грунский теңсіздігін дәлелдеудің тікелей әдістерінің бірін ұсынады Бергман және Шиффер (1951) және Баранов және Хеденмалм (2008).

Берлингтің түрлендіруі анықталады L²(C) арқылы көбейту операциясы ретінде ${ displaystyle z / { overline {z}}}$ қосулы Фурье түрлендіреді. Бұл унитарлық операторды анықтайды. Оны тікелей а ретінде анықтауға болады негізгі мәні интеграл^[5]

${ displaystyle (Th) (w) = lim _ { varepsilon to 0} - {1 over pi} iint _ {| zw | geq varepsilon} {h (z) over (zw) ^ {2}} , dx , dy.}$

Кез келген шектелген ашық аймақ үшін Ω дюйм C ол шектелген операторды анықтайды Т_Ω конъюгатасынан Бергман кеңістігі Ω -нің Бергман кеңістігіне Ω: квадрат интегралды голоморфтық функция 0 өшіру Ω дейін кеңейтіліп, L²(C) қайсысына Т қолданылады және нәтиже Ω-мен шектеледі, мұнда ол голоморфты болады. Егер f - бұл бірлік дискіден алынған голоморфты бір мәнді карта Д. Ω -ге Бергман кеңістігін conj және оның конъюгатасымен анықтауға болады Д. және Т_Ω ядросы бар сингулярлық интегралдық операторға айналады

${ displaystyle K_ {f} (z, w) = { frac {f '(z) f' (w)} {(f (z) -f (w)) ^ {2}}}.}$

Ол а анықтайды жиырылу. Екінші жағынан, мұны тексеруге болады Т_Д. = 0 тікелей қуат бойынша есептеу арқылы ${ displaystyle { overline {z}} ^ {n}}$ интегралды шекараға беру үшін Стокс теоремасын қолдану.

Бұдан ядросы бар оператор шығады

${ displaystyle {f '(z) f' (w) over (f (z) -f (w)) ^ {2}} - {1 over (zw) ^ {2}} = { ішінара ^ {2} астам жартылай z жартылай w} log {f (z) -f (w) артық zw} = - қосынды _ {m, n geq 1} mnc_ {mn} z ^ {m- 1} w ^ {n-1}}$

кеңістігінің Бергман кеңістігінде жиырылу қызметін атқарады Д.. Демек, егер

${ displaystyle p (z) = lambda _ {1} + lambda _ {2} { overline {z}} + lambda _ {3} { overline {z}} ^ {2} + cdots + lambda _ {N} { overline {z}} ^ {N-1},}$

содан кейін

${ displaystyle sum _ {m = 1} ^ {N} left | sum _ {n = 1} ^ {N} c_ {mn} lambda _ {n} right | ^ {2} = | (T_ {f} -T_ {z}) p | ^ {2} = | T_ {f} p | ^ {2} leq | p | ^ {2} = sum _ {n = 1} ^ {N} {1 n} | lambda _ {n} | ^ {2}.}$

Грунский операторы және Фредгольм детерминанты

Егер Ω шегі бар домен болса C тегіс шекарамен, оператор Т_Ω шектелген антилинирлік деп санауға болады келісімшарттық оператор Бергман кеңістігінде H = A²(Ω). Ол формула бойынша берілген

${ displaystyle (T _ { Omega} u) (z) = lim _ { varepsilon to 0} {1 over pi} iint _ {| zw | geq varepsilon} {{ overline {u (z)}} over (zw) ^ {2}} , , dx , dy}$

үшін сен Гильберт кеңістігінде H= A²(Ω). Т_Ω деп аталады Грунский операторы Ω (немесе.) f). Оны іске асыру Д. унивалентті функцияны қолдану f картаға түсіру Д. Ω және бұл факт Т_Д. = 0 оның ядроны шектеу арқылы берілгендігін көрсетеді

${ displaystyle { frac {f '(z) f' (w)} {(f (z) -f (w)) ^ {2}}} - { frac {1} {(zw) ^ {2 }}},}$

және сондықтан Гильберт-Шмидт операторы.

Желілік оператор Т = Т_Ω өзін-өзі біріктіру қатынасын қанағаттандырады

${ displaystyle (Tu, v) = (Tv, u)}$

үшін сен, v жылы H.

Осылайша A = Т² - өздігінен жүретін ықшам сызықтық оператор H бірге

${ displaystyle (Au, u) = (Tu, Tu) = | Tu | ^ {2} geq 0,}$

сондай-ақ A оң оператор болып табылады. Өзіне-өзі қосылатын ықшам операторларға арналған спектрлік теорема бойынша ортонормальды негіз бар сен_n туралы H меншікті векторларынан тұрады A:

${ displaystyle Au_ {n} = mu _ {n} u_ {n},}$

мұндағы μ_n позитиві бойынша теріс емес болып табылады A. Демек

${ displaystyle mu _ {n} = lambda _ {n} ^ {2}}$

λ көмегімен_n ≥ 0. бастап Т барады A, ол өзінің жеке кеңістігін өзгеріссіз қалдырады. Позитивті қатынас оның нөлдік жеке кеңістікте тривиальды түрде әрекет ететіндігін көрсетеді. Басқа нөлдік емес жеке кеңістіктердің барлығы ақырлы өлшемді және өзара ортогоналды. Осылайша, әр жеке кеңістікте ортонормальды негізді таңдауға болады:

${ displaystyle Tu_ {n} = lambda _ {n} u_ {n}.}$

(Ескертіп қой ${ displaystyle T (iu_ {n}) = - lambda _ {n} iu_ {n}}$ антилинярлығы бойынша Т.)

Нөлдік емес λ_n (немесе кейде олардың өзара байланысы) деп аталады Фредгольмның өзіндік құндылықтары Ω:

${ displaystyle 0 leq lambda _ {n} leq | T | leq 1.}$

Егер Ω диск емес домен болса, Ахлфорс мұны көрсетті

${ displaystyle | T _ { Omega} | <1.}$

The Фредгольм детерминанты the домені үшін анықталады^[6][7]

${ displaystyle Delta _ { Omega} = det (I-T _ { Omega} ^ {2}) = prod (1- lambda _ {n} ^ {2}).}$

Мұның мағынасы бар екенін ескеріңіз A = Т² Бұл микроэлемент операторы.

Schiffer & Hawley (1962) егер көрсеткен болса ${ displaystyle 0 in Omega}$ және f 0 түзетеді, содан кейін^[8][9]

${ displaystyle Delta _ { Omega} = - { frac {1} {12 pi}} left [ | ішінара _ {z} log f ' | _ {D} ^ {2} + | ішінара _ {z} log g ' | _ {D ^ {c}} ^ {2} -2 left | ішінара _ {z} log { frac {f (z)} { z}} right | _ {D} ^ {2} -2 left | ішінара _ {z} log { frac {g (z)} {z}} right | _ {D ^ {c}} ^ {2} оң].}$

Мұнда нормалар Бергман кеңістігінде орналасқан Д. және оны толықтырушы Д.^c және ж -дан бастап теңдесі жоқ карта Д.^c to үстіне^c бекіту ∞.

Ұқсас формула эквивалентті функциялар жұбында қолданылады (төменде қараңыз).

Тұйық қисықтағы сингулярлық интегралды операторлар

Ω шектелген жай қосылған домен болсын C шекарасы тегіс C = ∂Ω. Сонымен, унивалентті голоморфты карта бар f дискіден Д. шекаралар арасындағы тегіс картаға дейін Ω дейін S¹ және C.

Ескертулер

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

• Ахлфорс, Ларс В. (1952), «Нейман-Пуанкаренің интегралдық теңдеуі туралы ескертпелер», Тынық мұхиты Дж., 2 (3): 271–280, дои:10.2140 / pjm.1952.2.271
• Ахлфорс, Ларс В. (1966), Квазиконформальды кескіндер бойынша дәрістер, Ван Ностран
• Ахлфорс, Ларс В. (2010), Конформальды инварианттар. Геометриялық функция теориясындағы тақырыптар. 1973 жылғы түпнұсқаны қайта басып шығару. Питер Дюрен, Ф.В.Геринг және Брэд Осгудтың алғысөзімен, AMS Chelsea Publishing, ISBN  978-0-8218-5270-5
• Астала, Кари; Иваниец, Тадеуш; Мартин, Гавен (2009), Жазықтықтағы эллиптикалық дербес дифференциалдық теңдеулер және квазиконформалық кескіндер, Принстон математикалық сериясы, 48, Принстон университетінің баспасы, ISBN  978-0-691-13777-3
• Баранов, А .; Хеденмалм, Х. (2008), «Жазықтықтағы Жасыл функциялардың шекаралық қасиеттері», Герцог Математика. Дж., 145: 1–24, arXiv:математика / 0608493, дои:10.1215/00127094-2008-044
• Bell, S.R (1992), Коши түрлендіруі, потенциалдар теориясы және конформды картаға түсіру, Advanced Mathematics Studies, CRC Press, ISBN  978-0-8493-8270-3
• Bell, S.R (2016), Коши түрлендіруі, потенциалдар теориясы және конформды картаға түсіру, Математикадағы зерттеулер (2-ші басылым), CRC Press, ISBN  9781498727211
• Бергман, С .; Шиффер, М. (1951), «Ядро функциялары және конформды картографиялау», Compositio Mathematica, 8: 205–249
• Дюрен, П.Л. (1983), Бірегей функциялар, Grundlehren der Mathematischen Wissenschaften, 259, Springer-Verlag, ISBN  978-0-387-90795-6
• Гахов, Ф. Д. (1990), Шектік проблемалар. 1966 жылғы аударманың қайта басылуы, Dover Publications, ISBN  978-0-486-66275-6
• Гарнетт, Дж.Б. (2007), Шектелген аналитикалық функциялар, Математика бойынша магистратура мәтіндері, 236, Springer, ISBN  978-0-387-33621-3
• Голузин, Г.М. (1969), Кешенді айнымалы функциясының геометриялық теориясы, Математикалық монографиялардың аудармалары, 26, Американдық математикалық қоғам
• Гонг, Шенг (1999), Бибербах болжам, AMS / IP тереңдетілген математиканы зерттеу, 12, Американдық математикалық қоғам, ISBN  978-0-8218-0655-5
• Гриншпан, А.З. (1999), «Бибербах гипотезасы және Милиннің функциялары», Американдық математикалық айлық, 106 (3): 203–214, дои:10.2307/2589676, JSTOR  2589676, МЫРЗА  1682341
• Гриншпан, Аркадии З. (2002), «Логарифмдік геометрия, дәрежелеу және коэффициент шекаралары, біртұтас емес функциялар теориясы және қабаттаспайтын домендер», Куннауда, Рейнер (ред.), Геометриялық функциялар теориясы, Кешенді талдау бойынша анықтамалық, 1 том, Амстердам: Солтүстік-Голландия, 273-332 б., ISBN  978-0-444-82845-3, МЫРЗА  1966197, Zbl  1083.30017.
• Грунский, Гельмут (1939), «Koeffizientenbedingungen für schlicht abbildende meromorphe Funktionen», Mathematische Zeitschrift, 45 (1): 29–61, дои:10.1007 / BF01580272, ISSN  0025-5874
• Грунский, Гельмут (1978), Көп байланысқан облыстардағы функциялар теориясына арналған дәрістер, Studia Mathematica, 4, Ванденхоек және Рупрехт, ISBN  978-3-525-40142-2
• Хейман, В. (1994), «Де Бранж теоремасы», Көпвалентті функциялар, Математикадағы Кембридж трактаттары, 110 (2-ші басылым), Кембридж университетінің баспасы, ISBN  0521460263
• Хавинсон, Д .; Путинар, М .; Шапиро, H. S. (2007), «Пуанкаренің потенциалдар теориясындағы вариациялық проблемасы», Арка. Рацион. Мех. Анал., 185 (1): 143–184, Бибкод:2007ArRMA.185..143K, CiteSeerX  10.1.1.569.7145, дои:10.1007 / s00205-006-0045-1
• Koepf, W. (2007), «Бибербахтың болжамдары, де Бранж және Вайнштейн функциялары және Аски-Гаспер теңсіздігі» (PDF), Ramanujan журналы, 13 (1–3): 103–129, дои:10.1007 / s11139-006-0244-2
• Milin, I. M. (1977), Бірегей функциялар және ортонормальды жүйелер, Математикалық монографиялардың аудармалары, 49, Американдық математикалық қоғам
• Неретин, Ю.А. (1996), Симметрия категориялары және шексіз өлшемді топтар, Лондон математикалық қоғамының монографиялары, 16, Oxford University Press, ISBN  978-0-19-851186-1
• Никольский, Н.К. (2002), Операторлар, функциялар және жүйелер: жеңіл оқу, т. 1: Харди, Ханкель және Тоеплиц, Математикалық зерттеулер және монографиялар, 92, Американдық математикалық қоғам, ISBN  978-0-8218-1083-5
• Поммеренке, С. (1975), Герд Дженсеннің квадраттық дифференциалдары туралы тарауымен бірегей функциялар, Studia Mathematica / Mathematische Lehrbücher, 15, Vandenhoeck & Ruprecht
• Шиффер, М. (1948), «Бірмәнді функциялар теориясындағы Faber көпмүшелері», Өгіз. Amer. Математика. Soc., 54: 503–517
• Шиффер, М. (1957), «Фредгольм жазықтық домендерінің өзіндік мәндері», Тынық мұхиты Дж., 7 (2): 1187–1225, дои:10.2140 / pjm.1957.7.1187
• Шиффер, М. (1959), «Фредгольм көбейтілген байланысқан домендердің өзіндік мәндері», Тынық мұхиты Дж., 9: 211–269, дои:10.2140 / pjm.1959.9.211
• Шиффер, М .; Hawley, N. S. (1962), «Байланыстар және конформды картографиялау», Acta Math., 107 (3–4): 175–274, дои:10.1007 / bf02545790
• Шиффер, М. (1981), «Фредгольмнің өзіндік мәндері және Грунский матрицалары», Энн. Полон. Математика., 39: 149–164, дои:10.4064 / ап-39-1-149-164
• Шур, И. (1945), «Faber көпмүшелері туралы», Amer. Дж. Математика., 67: 33–41
• Шапиро, H. S. (1992), Шварц функциясы және оны жоғары өлшемдерге жалпылау, Арканзас университеті, математика ғылымдарындағы дәрістер, 9, Вили-Интерсианс, ISBN  978-0-471-57127-8
• Тахтажан, Леон А.; Тео, Ли-Пенг (2006), «Тейхмюллер әмбебап кеңістігіндегі Вейл-Петерссон метрикасы», Мем. Amer. Математика. Soc., 183
• Видом, Х. (1988), «Осгуд, Филлипс және Сарнак теңсіздігі туралы», Proc. Amer. Математика. Soc., 102 (3): 773–774, дои:10.1090 / s0002-9939-1988-0929019-3