У комплексној анализи, Лиувилова теорема је теорема названа по Жозефу Лиувилу (иако је ову теорему први доказао Коши 1844.). Она тврди да свака ограничена читава функција мора бити константна. Односно, свака холоморфна функција за коју постоји позитиван број такав да за све је константна. Еквивалентно, неконстантне холоморфне функције на имају неограничене слике.

Теорема је знатно побољшана Пикаровом малом теоремом, која каже да свака читава функција чија слика изоставља два или више комплексних броја мора бити константна.

Тврђење теореме Лиувилова теорема: Свака холоморфна функција за коју постоји позитиван број такав да за све је константна.

Једноставније речено, Лиувилова теорема тврди да свака ограничена читава функција мора бити константна.

Доказ

Ова важна теорема има више доказа.

Стандардни аналитички доказ користи чињеницу да су холоморфне функције аналитичке.

Још један доказ користи својство средњих вредности хармонијских функција.

Доказ се може прилагодити случају када је хармонијска функција само ограничена одагоре или одоздо. Види Хармонијска функција#Лиувилова теорема.

Још један приступ за доказ теореме је

Последице

Основна теорема алгебре Постоји кратак доказ основне теореме алгебре који користи Лиувилову теорему.

Ниједна читава функција не доминира другом целом функцијом Последица теореме је да се "заиста различите" целе функције не могу међусобно доминирати, тј. ако су и целе функције и свуда, онда је за неки комплексан број . Посматрајмо случај када је : тада је теорема тривијална, па претпостављамо . Размотримо функцију . Довољно је доказати да се може проширити до целе функције, при чему резултат следи из Лиувилове теореме. Холоморфност је јасна свуда осим у тачкама из . Међутим, пошто је ограничена, а сви нултоуци од су изоловане тачке, сва сингуларности морају бити отклоњиве. Дакле, се може проширити до ограничене целе функције, што према Лиувиловој теореми имплицира да је константна.

Ако је f мање или једнако скалару помноженом са улазом, онда је линеарна Претпоставимо да је цела функција и да , за неко . Можемо применити Кошијеву интегралну формулу; имамо да је

где је вредност преосталог интеграла. Ово показује да је ограничена и цела функција, па мора бити константна, према Лиувиловој теореми. Интеграљењем тада следи да је афина, а затим, узимајући у обзир првобитну неједнакост, константни члан је нула.

Неконстантне елиптичке функције не могу бити дефинисане на комплексној равни## Теорема се такође може користити за извођење закључка да домен неконстантне елиптичке функције не може бити . Претпоставимо супротно. Онда, ако су и два периода функције таква да није реалан број, размотримо паралелограм чији темењи су 0, , и . Тада је слика од једнака . Будући да је непрекинута и је компактан скуп, је такође компактан и према томе ограничен. Дакле, је константна.

Чињеницу да домен неконстантне елиптичке функције не може бити је заправо Лиувил доказао, 1847. године, користећи теорију елиптичких функција. Заправо, то је Коши доказао Лиувилову теорему.

Читаве функције имају густе слике## Ако је неконстантна читава функција, онда је њена слика густа у . Ово може изгледати као много јачи резултат од Лиувилове теореме, али је заправо њена лака последица. Ако слика од није густа, онда постоји комплексан број и реалан број такав да отворени диск са центром у полупречника нема ниједан елемент слике од . Дефинишимо

Тада је ограничена читава функција, јер за све ,

Дакле, је константна, па је и константна.

На компактним Римановим површима## Свака холоморфна функција на компактној Римановој површи је нужно константна.a concise course in complex analysis and Riemann surfaces, Wilhelm Schlag, corollary 4.8, p.77 http://www.math.uchicago.edu/~schlag/bookweb.pdf

Нека је холоморфна на компактној Римановој површи . Због компактности, постоји тачка у којој достиже свој максимум. Затим можемо наћи карту из околине тачке на јединични диск такву да је холоморфна на јединичном диску и има максимум у , па је константна, према принципу максимума модула.

Напомене ##

Нека је једнократка компактификација комплексне равни . Уместо холоморфних функција дефинисаних на областима у , може се посматрати област у . Посматрано на овај начин, једина могућа сингуларност за целе функције, дефинисане на , је тачка . Ако је читава функција ограничена у околини тачке , онда је отклоњива сингуларност од , тј. не може експлодирати или се понашати хаотично у . У светлу Тејлоровог реда, није изненађујуће да Лиувилова теорема важи.

Слично, ако читава функција има пол реда у — то јест, расте по магнитуди упоредиво са у некој околини тачке — онда је полином. Ова проширена верзија Лиувилове теореме може се прецизније формулисати: ако за довољно велико , онда је полином степена највише . Ово се може доказати на следећи начин. Поново узмимо Тејлоров ред ,

Аргумент коришћен у доказу са Кошијевим проценама показује да за све ,

Дакле, ако је , онда је

Према томе, .

Лиувилова теорема се не може проширити на генерализације комплексних бројева познате као дуални бројеви и сплит-комплексни бројеви.

Види још Милаглер-Лефлерова теорема

Литература

Референце

Спољашње везе

Категорија:Теореме у комплексној анализи Категорија:Чланци са доказима холоморфне функције Категорија:Епонимне теореме у математици