7.1: Теорема Коші
Вступ
Наша головна мета - краще розуміння часткового часткового розширення заданої передавальної функції. Що стосується прикладу, який закрив обговорення комплексної диференціації, див. Рівняння - У цьому рівнянні ми знайшли
(zI−B)−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)|a≤t≤b}
Наприклад, якщо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|0≤t≤1} як зазначено вище, аf(z)=z потім
∫zdz=∫10(t+it)(1+i)dt=∫10t−t+i2tdt=i
в той часC як якщо одиниця кола,{eit|0≤t≤2π} то
∫zdz=∈2π0eitieitdt=i∫2π0ei2tdt=i∫2π0cos(2t)+isin(2t)dt=0
Залишившись з одиничним колом, але тепер інтегруючи,f(z)=1z ми знаходимо
∫z−1dz=∫2π0e−(it)ieitdt=2πi
Узагальнюємо цей розрахунок до довільних (цілих) степеней над довільними колами. Точніше, для цілого числа мм і фіксованого комплексу(z−a)m над
C(a,r)≡{a+reit|0≤t≤2π}
коло радіуса зr центромa
∫(z−a)mdz=∫2π0(a+reit−a)mrieitdt
=irm+1∫2π0ei(m+1)tdt
∫(z−a)mdz=irm+1∫2π0cos((m+1)t)+isin((m+1)t)dt={2πiifm=−10otherwise
При інтеграції більш загальних функцій часто зручно виражати інтеграл з точки зору його реальної і уявної частин. Точніше
∫f(z)dz=∫u(x,y)+iv(x,y)dx+i∫u(x,y)+iv(x,y)dy=∫u(x,y)dx−∫v(x,y)dy+i∫v(x,y)dx+i∫u(x,y)dy=∫bau(x(t),y(t))x′(t)−v(x(t),y(t))y′(t)dt+i∫bau(x(t),y(t))y′(t)+v(x(t),y(t))x′(t)dt
Другий рядок має викликати спогади про:
ЯкщоC замкнута криваM іN є безперервно диференційованими дійсними функціями наCin, область укладенаC, то
∫Mdx+∫Ndy=∬∂N∂x−∂M∂ydxdy
Застосовуючи це до ситуації вище, ми знаходимо, покиC закрито, що
∫f(z)dz=−∬∂v∂x+∂u∂ydxdy+i∬∂u∂x+∂v∂ydxdy
На перший погляд здається, що теорема Гріна служить лише для каламутних вод. Згадуючи рівняння Коши-Рімана, однак, ми виявимо, що кожен з цих подвійних інтегралів насправді однаково нуль! Коротко ми довели:
Якщоf диференціюється на і в замкнутій кривійC тоді∫f(z)dz=0.
Строго кажучи, для того, щоб викликати теорему Гріна, ми вимагаємо не тільки того, щоб ff була диференційованою, але й щоб її похідна насправді була безперервною. Однак це просто обмеження нашого простого способу доказування; Теорема Коші вірна, як зазначено.
Ця теорема разом з тимC(a,r)≡{a+reit|0≤t≤2π} дозволяє інтегрувати кожну правильну раціональну функцію. Точніше, якщоq=fg деf многочлен ступеня не більшеm−1 іg є поліном mth ступеня з h різних нулів{λj|j={1,⋯,h}} при відповідних кратності{mj|j={1,⋯,h}} ми виявили, що
q(z)=h∑j=1mj∑k=1qj,k(z−λj)k
Спостерігайте тепер, що якщо ми виберемоrj настільки малий, щоλj є єдиним нулемgCj≡C(λj,rj) оточеного тоді теоремою Коші.
∫q(z)dz=mj∑k=1qj,k∫1(z−λj)kdz
У Рівнянні ми виявили, що кожен, за винятком першого, з інтегралів під сумою фактично дорівнює нулю. Отже,
∫q(z)dz=2πiqj,1
Маючиqj,1 в руці, скажімо, з цього рівняння або залишку
, можна розглядати рівняння як засіб для обчислення зазначеного інтеграла. Протилежне читання, тобто те, що інтеграл є зручним засобом вираженняqj,1, виявиться настільки ж корисним. З огляду на це, відзначимо, що залишки решти можуть бути обчислені як інтеграли добутку q та відповідного коефіцієнта. Точніше,
∫q(z)(z−λj)k−1dz=2πiqj,k
Можна змусити повірити, що точність цього результату обумовлена особливим вибором кривої та функції. Побачимо...