12.1: Принцип аргументу
Налаштування
γпроста замкнута крива, орієнтована в напрямку проти годинникової стрілки. f(z)аналітичний на і всерединіγ, за винятком (можливо) деяких скінченних полюсів всередині (не на)γ і деяких нулів всередині (не на)γ.
Нехайp1, ...,pm будуть полюсиf зсерединиγ.
z1, ...,znДозволяти нуліf всерединіγ.
Запишіть mult(zk) = кратність нуля наzk. Аналогічно запишіть mult (pk) = порядок полюса вpk.
Почнемо з теореми, яка призведе до принципу аргументу.
З вищевказаною налаштуванням
∫γf′(z)f(z) dz=2πi(∑mult(zk)−∑mult(pk)).
- Доказ
-
Щоб довести цю теорему, нам потрібно зрозуміти полюси і залишкиf′(z)/f(z). Маючи це на увазі, припустимо,f(z) має нуль порядкуm вz0. Серія Тейлора дляf(z)z0 ближнього
f(z)=(z−z0)mg(z)
деg(z) аналітичний і ніколи не 0 на невеликій околиціz0. Це має на увазі
f′(z)f(z)=m(z−z0)m−1g(z)+(z−z0)mg′(z)(z−z0)mg(z)=mz−z0+g′(z)g(z)
Оскільки ніколиg(z) не 0,g′(z)/g(z) є аналітичним поручz0. Це означає, щоz0 це простий полюсf′(z)/f(z) і
Res(f′(z)f(z),z0)=mmult(z0).
Так само, якщоz0 це полюс порядку,m то серія Лорана дляf(z)z0 ближнього
f(z)=(z−z0)−mg(z)
деg(z) аналітичний і ніколи не 0 на невеликій околиціz0. Таким чином,
f′(z)f(z)=−m(z−z0)−m−1g(z)+(z−z0)−mg′(z)(z−z0)−mg(z)=−mz−z0+g′(z)g(z)
Знову ми маємо, щоz0 це простий полюсf′(z)/f(z) і
Res(f′(z)f(z),z0)=−m=−mult(z0).
Теорема тепер випливає відразу з теореми про залишок:
∫γf′(z)f(z) dz=2πi sum of the residues=2πi(∑mult(zk)−∑mult(pk)).
Zf,γЗапишемо на суму кратностей нулівf всерединіγ. Аналогічно дляPf,γ. Отже, теорема 12.2.1 говорить:
∫γf′f dz=2πi(Zf,γ−Pf,γ).
У нас є інтуїція до того, що це означає. Ми визначаємо його формально за формулою Коші. Якщоγ замкнута крива, то її номер обмотки (або індекс) проz0 визначається як
Ind(γ,z0)=12πi∫γ1z−z0 dz.
Картографування кривих:f∘γ
Одне з ключових понять у цій темі - відображення однієї кривої на іншу. Тобто якщоz=γ(t) крива іw=f(z) є функцією, тоw=f∘γ(t)=f(γ(t)) інша крива. Ми говоримо, щоf картиγ доf∘γ. Ми робили це часто в минулому, але це досить важливо для нас зараз, щоб ми зупинимося на цьому і наведемо кілька прикладів. Це ключове поняття в принципі аргументу, і ви повинні переконатися, що вам дуже зручно з ним.
Нехайγ(t)=eit з0≤t≤2π (одиниця кола). Нехайf(z)=z2. Опишіть кривуf∘γ.
Рішення
f∘γ(t)=e2itЧіткоt проходить одиничне коло вдвічі більше, ніж від 0 до2π.
Нехайγ(t)=it з−∞<t<∞ (y-вісь). Нехайf(z)=1/(z+1). Опишіть кривуf∘γ(t).
Рішення
f(z)є дробовим лінійним перетворенням і відображаєγ лінію, задану колом, через початок з центром у 12. Здійснивши перевірку в декількох точках:
f(−i)=1−i+1=1+i2,f(0)=1,f(i)=1i+1=1−i2,f(∞)=0.
Ми бачимо, що коло проходить за годинниковою стрілкою, якt йде від−∞ до∞.
Криваz=γ(t)=it відображається наw=f∘γ(t))=1/(it+1).
Принцип аргументу
Ви також побачите, що це називається принципом аргументу.
Дляf таγ з тією ж налаштуванням, що і вище
∫γf′(z)f(z) dz=2πiInd(f∘γ,0)=2πi(Zf,γ−Pf,γ)
- Доказ
-
Теорема 12.2.1 показала, що
∫γf′(z)f(z) dz=2πi(Zf,γ−Pf,γ)
Таким чином, ми повинні показати, що інтеграл також дорівнює число обмотки дано. Це просто зміна зміннихw=f(z). З цією зміною змінних лічильникz=γ(t) стаєw=f∘γ(t) іdw=f′(z) dz так
∫γf′(z)f(z) dz=∫f∘γdww=2πiInd(f∘γ,0)
Останнє рівність у вищевказаному рівнянні походить від визначення числа обмоток.
Зверніть увагу, що за припущеннямγ не проходить через будь-які нуліf, тому ніколи неw=f(γ(t)) дорівнює нулю і1/w в інтегралі не проблема.
Ось легкий наслідок принципу аргументу, який стане в нагоді нам пізніше.
Припустімо, щоf∘γ не проходить −1, тобто немає нулів1+f(z) onγ тоді
∫γf′f+1=2πiInd(f∘γ,−1)=2πi(Z1+f,γ−Pf,γ).
- Доказ
-
Застосовуючи принцип аргументу в Рівнянні 12.2.11 до функції1+f(z), отримаємо
∫γ(1+f)′f(z)1+f(z) dz=2πiInd(1+f∘γ,0)=2πi(Z1+f,γ−P1+f,γ)
Тепер ми можемо порівняти кожен з членів цього рівняння з тими, що знаходяться в Рівнянні 12.2.14:
∫γ(1+f)′f(z)1+f(z) dz=∫γf′f(z)1+f(z) dz (because (1+f)′=f′)Ind(1+f∘γ,0)=Ind(f∘γ,−1) (1+f winds around 0 ⇔ winds around -1)Z1+f,γ=Z1+f,γ (same in both equation))P1+f,γ=Pf,γ (poles of f=poles of 1+f)
Нехайf(z)=z2+z Знайти номер обмоткиf∘γ близько 0 для кожної з наступних кривих.
- γ1= коло радіуса 2.
- γ2= коло радіуса 1/2.
- γ3= коло радіуса 1.
Рішення
f(z)має нулі при 0, −1. Він не має полюсів.
Отже, неf має полюсів і двох нулів всерединіγ1. Принцип аргументу говоритьInd(f∘γ1,0)=Zf,γ1−Pf,γ=2
Аналогічно неf має полюсів і один нуль всерединіγ2, томуInd(f∘γ2,0)=1−0=1
Дляγ3 нуляf знаходиться на кривій, тобтоf(−1)=0, тому принцип аргументу не застосовується. Зображенняγ3 показано на малюнку нижче — воно проходить через 0.
Зображення 3-х різних кіл підf(z)=z2+z.
Теорема Руше
Зробіть наступні припущення:
- γявляє собою просту замкнуту криву
- f,hє аналітичними функціями всередині і всерединіγ, за винятком деяких скінченних полюсів.
- Тут немає полюсівf іh наγ.
- |h|<|f|всюди наγ.
Тоді
Ind(f∘γ,0)=Ind((f+h)∘γ,0).
Тобто,
Zf,γ−Pf,γ=Zf+h,γ−Pf+h,γ
- Доказ
-
На заняттях ми дали евристичний доказ за участю людини, що вигулює собаку навколоf∘γ на повідку довжиниh∘γ. Ось аналітичний доказ.
Принцип аргументу вимагає, щоб функція не мала нулів або полюсівγ. Отже, ми спочатку покажемо, що це вірноf,f+h,(f+h)/f. Аргумент йде наступним чином.
Нулі: Той факт, що0≤|h|<|f| onγ означає, що неf має нулівγ. Це також означає, що неf+h має нулівγ, оскільки значення ніколи неh є достатньо великим, щоб скасувати цеf. Так якf і неf+h мають нулів, ні(f+h)/f.
Поляки: За припущеннямf і неh мають полюсів наγ, тому неf+h має там полюсів. Так як неf має нулівγ увімкнено, не(f+h)/f має там полюсів.
Тепер ми можемо застосувати принцип аргументу доf іf+h
12πi∫γf′f dz=Ind(f∘γ,0)=Zf,γ−Pf,γ.
12πi∫γ(f+h)′f+h dz=Ind((f+h)∘γ,0)=Zf+h,γ−Pf+h,γ.
Далі, за припущенням|hf|<1, так(hf)∘γ знаходиться всередині одиничного кола. Це означає, що1+hf=f+hfγ відображає внутрішню частину одиничного диска з центром 1. (Для цього слід намалювати фігуру.) Це означає, що
Ind((f+hf)∘γ,0)=0.
Нехайg=f+hf. Вище сказаноInd(g∘γ,0)=0. Отже,∫γg′g dz=0. (Ми показали вище, що неg має нулів або полюсівγ.)
Тепер це легко обчислитиg′g=(f+h)′f+h−f′f. Отже, використовуючи
Ind(g∘γ,0)=∫γg′g dz=∫γ(f+h)′f+h dz−∫γf′f dz=0⇒Ind((f+h)∘γ,0)=Ind(f∘γ,0).
Тепер рівняння 12.2.19 і 12.2.20 розповідають намZf,γ−Pf,γ=Zf+h,γ−Pf+h,γ, тобто ми довели теорему Руше.
За тими ж гіпотезами, якщоh іf є аналітичними (без полюсів), то
Zf,γ=Zf+h,γ.
- Доказ
-
Так як функції аналітичніPf,γ іPf+h,γ обидва 0. Отже, рівняння 12.2.18 показуєZf=Zf+h. QED
Ми вважаємо невеликим збуреннямf.h
Показати всі 5 нулівz5+3z+1 знаходяться всередині кривоїC2:|z|=2.
Рішення
Нехайf(z)=z5 іh(z)=3z+1. Зрозуміло, що всі 5 коренівf (дійсно один корінь з кратністю 5) знаходяться всерединіC2. Також зрозуміло,|h|<7<32=|f| наC2. Наслідок теореми Руше говорить, що всі 5 коренів такожf+h=z5+3z+1 повинні бути всередині кривої.
Showz+3+2ez має один корінь у лівій півплощині.
Рішення
Нехайf(z)=z+3,h(z)=2ez. Розглянемо контур від−iR доiR вздовжy -осі, а потім ліве півколо радіусаR назад до−iR. Тобто контур,C1+CR показаний нижче.
Щоб застосувати наслідок теореми Руше, нам потрібно перевірити, що (дляR великих)|h|<|f|C1+CR. НаC1z=iy, так
|f(z)|=|3+iy|≥3, |h(z)|=2|eiy|=2.
Так|h|<|f| даліC1.
НаCR,z=x+iy зx<0 і|z|=R. Отже,
|f(z)|>R−3 for R large, |h(z)|=2|ex+iy|=2ex<2 (since x<0).
Так|h|<|f| даліCR.
Єдиний нульf ia atz=−3, який лежить всередині контуру.
Тому, за теоремою Слідство Руше,f+h має таку ж кількість коренів, як іf всередині контуру, тобто 1. ТеперR відпускаємо до нескінченності, і ми бачимо, щоf+h має тільки один корінь у всій півплощині.
Теорема Руше може бути використана для доведення фундаментальної теореми алгебри наступним чином.
- Доказ
-
Нехай
P(z)=zn+an−1zn−1+ ...+a0
ben і порядковий многочлен. Нехайf(z)=zn іh=P−f. ВибирайтеR таку, щоR>max(1,n|an−1|,...,n|a0|). Тоді на|z|=R нас
|h|≤|an−1|Rn−1+|an−2|Rn−2+ ...+|a0|≤RnRn−1+RnRn−2+ ...+Rn<Rn.
На|z|=R нас є|f(z)|=Rn, так що ми показали|h|<|f| на кривій. Таким чином, наслідок теореми Руше говоритьf+h іf має однакову кількість нулів всередині|z|=R. Оскільки ми знаємо, щоf має точноn нулі всередині кривої те ж саме вірно для многочленаf+h. ТеперR відпустіть до нескінченності, ми показали, щоf+h має рівноn нулі у всій площині.
Доказ дає просту прив'язку до розміру нулів: всі вони мають величину менше або дорівнюєmax(1,n|an−1|,...,n|a0|).