Неванлиндердің критерийі - Википедия - Nevanlinnas criterion

Жылы математика, Неванлинаның критерийі жылы кешенді талдау, 1920 жылы фин математигі дәлелдеді Рольф Неванлинна, сипаттайды голоморфты унивалентті функциялар үстінде бірлік диск қайсысы жұлдыз тәрізді. Неванлинна бұл критерийді дәлелдеу үшін қолданды Бибербах болжам жұлдыз тәрізді унивалентті функциялар үшін

Критерий туралы мәлімдеме

Бірмәнді функция сағ қондырғы дискісінде сағ(0) = 0 және сағ(0) = 1 жұлдыз тәрізді, яғни [0,1] нақты сандарға көбейту кезінде кескін инвариантты болады, егер | үшін нақты нақты бөлігі барз| <1 және 0 мәніндегі 1 мәнін қабылдайды.

Нәтижені қолдану арқылы ескеріңіз асағ(rz), критерий кез-келген дискіге қолданылады |з| деген талапты ескере отырып f(0) = 0 және f '(0) ≠ 0.

Критерийдің дәлелі

Келіңіздер сағ(з) жұлдызша тәрізді унивалентті функция болуз| <1 бірге сағ(0) = 0 және сағ(0) = 1.

Үшін т <0, анықтаңыз[1]

голоморфты бейнелеудің жартылай тобы Д. өз-өзіне 0 бекіту.

Оның үстіне сағ болып табылады Кенигс функциясы жартылай топ үшін fт.

Бойынша Шварц леммасы, |fт(з) ретінде азаяды т артады.

Демек

Бірақ, орнату w = fт(з),

қайда

Демек

және | бөлу арқылыw|2,

Қарым-қатынас алу және рұқсат беру т 0-ге өтіңіз

барлығы үшін |з| <1. Сол жақ а гармоникалық функция, максималды принцип теңсіздіктің қатал екендігін білдіреді.

Керісінше болса

оң нақты бөлігі бар және ж(0) = 1, содан кейін сағ тек 0-де жоғалып кетуі мүмкін, мұнда ол қарапайым нөлге ие болуы керек.

Қазір

Осылайша з шеңберді іздейді , суреттің аргументі қатаң түрде артады. Бойынша аргумент принципі, бері 0-де қарапайым нөлге ие, ол шығу тегі бойынша бір рет қана айналады. Аймақтың ішкі сызығы ол қисықпен шектелген, сондықтан жұлдыз тәрізді. Егер а бұл интерьердегі нүкте, содан кейін шешімдер саны N(а) of h (z) = а бірге |з| < р арқылы беріледі

Бұл бүтін сан болғандықтан, тәуелді болады а және N(0) = 1, ол бірдей 1. Сонымен сағ әр дискіде унивалентті және жұлдыз тәрізді |з| < р сондықтан барлық жерде.

Бибербах болжамына өтініш

Каратеодори леммасы

Константин Каратеодори егер 1907 жылы дәлелдеді

- бұл бірлік дискідегі голоморфты функция Д. оң нақты бөлігімен, содан кейін[2][3]

Шындығында нәтижені көрсету жеткілікті ж ауыстырылды жр(z) = ж(rz) кез келген үшін р <1, содан кейін шегіне өтіңіз р = 1. Бұл жағдайда ж позитивті нақты бөлігі бар жабық дискідегі үздіксіз функцияға дейін созылады Шварц формуласы

Жеке тұлғаны пайдалану

Бұдан шығатыны

,

сондықтан ықтималдық өлшемін анықтайды және

Демек

Жұлдыз тәрізді функциялардың дәлелі

Келіңіздер

| жұлдызындағы жұлдызға ұқсас функция болуыз| < 1. Неванлинна (1921) дәлелдеді

Шындығында Неванлинаның критерийі бойынша

| үшін нақты нақты бөлігі барз| <1. Каратеодорий леммасымен

Басқа жақтан

қайталану қатынасын береді

қайда а1 = 1. Сонымен

сондықтан индукция бойынша шығады

Ескертулер

  1. ^ Хейман 1994, б. 14
  2. ^ Дюрен 1982 ж, б. 41
  3. ^ Поммеренке 1975 ж, б. 40

Пайдаланылған әдебиеттер

  • Каратеодори, C. (1907), «Über den Variabilitatsbereich der Koeffizienten von Potenzreihen, die gegebene Werte nicht annehmen», Математика. Энн., 64: 95–115, дои:10.1007 / bf01449883, S2CID  116695038
  • Дюрен, П.Л. (1983), Бірегей функциялар, Grundlehren der Mathematischen Wissenschaften, 259, Springer-Verlag, 41-42 бет, ISBN  0-387-90795-5
  • Хейман, W. K. (1994), Көпвалентті функциялар, Математикадағы Кембридж трактаттары, 110 (2-ші басылым), Кембридж университетінің баспасы, ISBN  0-521-46026-3
  • Неванлинна, Р. (1921), «Über die konforme Abbildung von Sterngebieten», Ofvers. Финска Вет. Soc. Форх., 53: 1–21
  • Поммеренке, С. (1975), Герд Дженсеннің квадраттық дифференциалдары туралы тарауымен бірегей функциялар, Studia Mathematica / Mathematische Lehrbücher, 15, Vandenhoeck & Ruprecht