Loading [MathJax]/jax/output/HTML-CSS/jax.js
Skip to main content
LibreTexts - Ukrayinska

7.1: Теорема Коші

Вступ

Наша головна мета - краще розуміння часткового часткового розширення заданої передавальної функції. Що стосується прикладу, який закрив обговорення комплексної диференціації, див. Рівняння - У цьому рівнянні ми знайшли

(zIB)1=1zλ1P1+1(zλ1)2D1+1zλ2P2

деPj іDj насолоджуватися дивовижними властивостями

BP1=P1B=λ1P1+D1

і

BP2=P2B=λ2P2

P1+P2=I

P21=P1

P22=P2

і

D21=0

P1D1=D1P1

=D1

і

P2D1=D1P2=0

Для того, щоб показати, що це завжди відбувається, тобто, що це не примха, вироблена конкретнимB, нам потрібні кілька додаткових інструментів з теорії складних змінних. Зокрема, нам потрібен той факт, що часткові часткові розширення можуть здійснюватися шляхом комплексної інтеграції.

Інтеграція складних функцій над складними кривими

Ми будемо інтегрувати складні функції над складними кривими. Така крива параметризується однією комплексною значеною або, що еквівалентно, двома дійсними значеннями, функцією (ами) дійсного параметру (зазвичай позначаєтьсяt). Точніше,

C{z(t)=x(t)+iy(t)|atb}

Наприклад, якщоx(t)=y(t)=t whilea=0 іb=1, тоC це відрізок лінії, що приєднується0+i0 до1+i.

Тепер ми визначаємо

f(z)dz=≡baf(z(t))z(t)dt

Наприклад, якщоC={t+it|0t1} як зазначено вище, аf(z)=z потім

zdz=10(t+it)(1+i)dt=10tt+i2tdt=i

в той часC як якщо одиниця кола,{eit|0t2π} то

zdz=2π0eitieitdt=i2π0ei2tdt=i2π0cos(2t)+isin(2t)dt=0

Залишившись з одиничним колом, але тепер інтегруючи,f(z)=1z ми знаходимо

z1dz=2π0e(it)ieitdt=2πi

Узагальнюємо цей розрахунок до довільних (цілих) степеней над довільними колами. Точніше, для цілого числа мм і фіксованого комплексу(za)m над

C(a,r){a+reit|0t2π}

коло радіуса зr центромa

(za)mdz=2π0(a+reita)mrieitdt

=irm+12π0ei(m+1)tdt

(za)mdz=irm+12π0cos((m+1)t)+isin((m+1)t)dt={2πiifm=10otherwise

При інтеграції більш загальних функцій часто зручно виражати інтеграл з точки зору його реальної і уявної частин. Точніше

f(z)dz=u(x,y)+iv(x,y)dx+iu(x,y)+iv(x,y)dy=u(x,y)dxv(x,y)dy+iv(x,y)dx+iu(x,y)dy=bau(x(t),y(t))x(t)v(x(t),y(t))y(t)dt+ibau(x(t),y(t))y(t)+v(x(t),y(t))x(t)dt

Другий рядок має викликати спогади про:

Теорема Гріна

ЯкщоC замкнута криваM іN є безперервно диференційованими дійсними функціями наCin, область укладенаC, то

Mdx+Ndy=NxMydxdy

Застосовуючи це до ситуації вище, ми знаходимо, покиC закрито, що

f(z)dz=vx+uydxdy+iux+vydxdy

На перший погляд здається, що теорема Гріна служить лише для каламутних вод. Згадуючи рівняння Коши-Рімана, однак, ми виявимо, що кожен з цих подвійних інтегралів насправді однаково нуль! Коротко ми довели:

Теорема Коші

Якщоf диференціюється на і в замкнутій кривійC тодіf(z)dz=0.

Строго кажучи, для того, щоб викликати теорему Гріна, ми вимагаємо не тільки того, щоб ff була диференційованою, але й щоб її похідна насправді була безперервною. Однак це просто обмеження нашого простого способу доказування; Теорема Коші вірна, як зазначено.

Ця теорема разом з тимC(a,r){a+reit|0t2π} дозволяє інтегрувати кожну правильну раціональну функцію. Точніше, якщоq=fg деf многочлен ступеня не більшеm1 іg є поліном mth ступеня з h різних нулів{λj|j={1,,h}} при відповідних кратності{mj|j={1,,h}} ми виявили, що

q(z)=hj=1mjk=1qj,k(zλj)k

Спостерігайте тепер, що якщо ми виберемоrj настільки малий, щоλj є єдиним нулемgCjC(λj,rj) оточеного тоді теоремою Коші.

q(z)dz=mjk=1qj,k1(zλj)kdz

У Рівнянні ми виявили, що кожен, за винятком першого, з інтегралів під сумою фактично дорівнює нулю. Отже,

q(z)dz=2πiqj,1

Маючиqj,1 в руці, скажімо, з цього рівняння або залишку, можна розглядати рівняння як засіб для обчислення зазначеного інтеграла. Протилежне читання, тобто те, що інтеграл є зручним засобом вираженняqj,1, виявиться настільки ж корисним. З огляду на це, відзначимо, що залишки решти можуть бути обчислені як інтеграли добутку q та відповідного коефіцієнта. Точніше,

q(z)(zλj)k1dz=2πiqj,k

Можна змусити повірити, що точність цього результату обумовлена особливим вибором кривої та функції. Побачимо...