Реши подробно объясняя теорию нужную для решения з...

Criado em: 24 de dezembro de 2025

Respondido usando GPT-5.2 Thinking por Chat01

Pergunta

IMG_8166.jpegIMG_8166.jpeg

Реши подробно объясняя теорию нужную для решения задачи на тему комплексный матанализ

Python

python
from PIL import Image, ImageEnhance img=Image.open('/mnt/data/IMG_8166.jpeg') img.size (1280, 960)

Python

python
import matplotlib.pyplot as plt, numpy as np plt.figure(figsize=(10,7)) plt.imshow(img) plt.axis('off') plt.show()

Python

python
img_rot=img.rotate(90, expand=True) # rotate counterclockwise? Actually 90 makes CCW plt.figure(figsize=(7,10)) plt.imshow(img_rot) plt.axis('off') plt.show()

Python

python
img_rot2=img_rot.rotate(180, expand=True) plt.figure(figsize=(7,10)) plt.imshow(img_rot2) plt.axis('off') plt.show()

Python

python
# enhance contrast enh=ImageEnhance.Contrast(img_rot2).enhance(1.5) enh=ImageEnhance.Sharpness(enh).enhance(2.0) plt.figure(figsize=(9,12)) plt.imshow(enh) plt.axis('off') plt.show()

Python

python
import numpy as np arr=np.array(enh) # crop region around problem 9 (approx lower mid) crop=enh.crop((220,650,1050,860)) plt.figure(figsize=(10,4)) plt.imshow(crop) plt.axis('off') plt.show()

Python

python
crop=enh.crop((150,750,1150,1040)) plt.figure(figsize=(10,5)) plt.imshow(crop) plt.axis('off') plt.show()

Python

python
crop2=enh.crop((280,790,900,910)) # enlarge by resize crop2_big=crop2.resize((crop2.size[0]*3, crop2.size[1]*3)) plt.figure(figsize=(12,4)) plt.imshow(crop2_big) plt.axis('off') plt.show()

Python

python
import sympy as sp x,y=sp.symbols('x y', real=True) r2=x**2+y**2 D=(1+r2)**3 u=(x**3-3*x*y**2)/D v=(3*x**2*y-y**3)/D ux=sp.diff(u,x) uy=sp.diff(u,y) vx=sp.diff(v,x) vy=sp.diff(v,y) sp.simplify(ux-vy), sp.simplify(uy+vx) (6*(-x**2*(x**2 - 3*y**2) + y**2*(3*x**2 - y**2))/(x**2 + y**2 + 1)**4, 24*x*y*(-x**2 + y**2)/(x**2 + y**2 + 1)**4)

Python

python
num1=sp.factor(-x**4+6*x**2*y**2 - y**4) num1 -(x**2 - 2*x*y - y**2)*(x**2 + 2*x*y - y**2)

Python

python
sol=sp.solve([sp.factor(-x**4+6*x**2*y**2 - y**4), sp.factor(24*x*y*(y**2-x**2))],[x,y], dict=True) sol[:10], len(sol) ([{x: 0, y: 0}], 1)

Python

python
y=sp.Symbol('y', real=True) A=(1-y)*sp.cos(y)+y*sp.sin(y) I=sp.integrate(A,y) sp.simplify(I) -sqrt(2)*y*sin(y + pi/4) + 2*sin(y) - cos(y)

Python

python
x=sp.Symbol('x', real=True) u_expr=sp.exp(x)*A u_y=sp.diff(u_expr,y) sp.simplify(u_y) (sqrt(2)*y*sin(y + pi/4) - cos(y))*exp(x)

Python

python
u_xx=sp.diff(u_expr,x,2) u_yy=sp.diff(u_expr,y,2) sp.simplify(u_xx+u_yy) 2*sqrt(2)*exp(x)*sin(y + pi/4)

Python

python
crop=enh.crop((0,200,1280,370)) crop_big=crop.resize((crop.size[0]*2,crop.size[1]*2)) plt.figure(figsize=(12,5)) plt.imshow(crop_big) plt.axis('off') plt.show()

Python

python
u_expr2=sp.exp(-x)*A sp.simplify(sp.diff(u_expr2,x,2)+sp.diff(u_expr2,y,2)) 2*sqrt(2)*exp(-x)*sin(y + pi/4)

Python

python
A3=(1-y)*sp.cos(x)+y*sp.sin(x) u_expr3=sp.exp(x)*A3 sp.simplify(sp.diff(u_expr3,x,2)+sp.diff(u_expr3,y,2)) 2*(y*cos(x) + (y - 1)*sin(x))*exp(x)

Python

python
A4=(1-y)*sp.cos(y)-y*sp.sin(y) u_expr4=sp.exp(x)*A4 sp.simplify(sp.diff(u_expr4,x,2)+sp.diff(u_expr4,y,2)) -2*sqrt(2)*exp(x)*cos(y + pi/4)

Python

python
crop=enh.crop((110,250,900,330)) crop_big=crop.resize((crop.size[0]*4,crop.size[1]*4)) plt.figure(figsize=(16,4)) plt.imshow(crop_big) plt.axis('off') plt.show()

Python

python
crop=enh.crop((0,310,1280,430)) crop_big=crop.resize((crop.size[0]*3,crop.size[1]*3)) plt.figure(figsize=(16,4)) plt.imshow(crop_big) plt.axis('off') plt.show()

Python

python
A5=(1-x)*sp.cos(y)+y*sp.sin(y) u_expr5=sp.exp(x)*A5 sp.simplify(sp.diff(u_expr5,x,2)+sp.diff(u_expr5,y,2)) 0

Python

python
import cv2, numpy as np, PIL.ImageOps as ops import matplotlib.pyplot as plt img_cv=cv2.imread('/mnt/data/IMG_8166.jpeg') # rotate to get problem 2 area and enhance img_cv=cv2.rotate(img_cv, cv2.ROTATE_90_COUNTERCLOCKWISE) img_cv=cv2.rotate(img_cv, cv2.ROTATE_180) # crop around problem2 text h,w=img_cv.shape[:2] crop=img_cv[310:430, 0:w] gray=cv2.cvtColor(crop, cv2.COLOR_BGR2GRAY) # increase contrast via adaptive threshold th=cv2.adaptiveThreshold(gray,255,cv2.ADAPTIVE_THRESH_GAUSSIAN_C,cv2.THRESH_BINARY,31,5) plt.figure(figsize=(14,4)) plt.imshow(th, cmap='gray') plt.axis('off') plt.show()

Python

python
w=sp.Symbol('w') R=sp.simplify((4+3*w+w**2)/(4+w)) sp.series(R,w,0,4) 1 + w/2 + w**2/8 - w**3/32 + O(w**4)

Python

python
E=sp.series(sp.exp(2*w)*R,w,0,4) E 1 + 5*w/2 + 25*w**2/8 + 245*w**3/96 + O(w**4)

Python

python
z=sp.Symbol('z') L=sp.log(1-z) sp.series(L**2/z**3, z, 0, 3) # up to z^2? but order includes negative 1/z + 1 + 11*z/12 + 5*z**2/6 + O(z**3)

Python

python
z=sp.Symbol('z') h=(z**2-4*z+3)/(z*(z+1)) sp.apart(h,z) 1 - 8/(z + 1) + 3/z

Python

python
z=sp.Symbol('z') g=sp.exp(z)/(1+z)**2 res0=sp.diff(g,z,2).subs(z,0)/2 resm1=sp.diff(sp.exp(z)/z**3,z).subs(z,-1) # as above res0_simpl=sp.simplify(res0) resm1_simpl=sp.simplify(resm1) res0_simpl, resm1_simpl (3/2, -4*exp(-1))

Python

python
s=sp.Symbol('s') F=s/(s**2+9) sp.simplify(sp.diff(F,s,2)) 2*s*(s**2 - 27)/(s**2 + 9)**3

Pensamento

Constructing meromorphic function and computing integral

For the meromorphic function with simple poles at z=1z = -1 and z=3z = 3, with residues 2 and -3, the function could be:

f(z)=2z+13z3f(z) = \frac{2}{z+1} - \frac{3}{z-3}

That’s the form for the function, and its integral around z=5|z| = 5 is:

=2πi×(2+(3))=2πi\int = 2\pi i \times (2 + (-3)) = -2\pi i

Explaining solution with theory in Russian

I'll explain the solution in Russian, sticking to a moderate level of detail while keeping it clear and concise. Starting with a brief introduction defining z=x+iyz = x + iy, we'll apply Cauchy-Riemann equations (CR) and check harmonicity. We’ll also discuss the derivative at z=0z = 0 and clarify any likely typos, particularly related to the harmonic function and its conformality.

Thought for 7m 44s

Resposta

Ниже решены все 10 пунктов с нужной теорией (ТФКП).

Обозначаем z=x+iyz=x+iy, f(z)=u(x,y)+iv(x,y)f(z)=u(x,y)+iv(x,y).


1) Уравнения Коши–Римана, дифференцируемость/конформность

Дано

u=x33xy2(1+x2+y2)3,v=3x2yy3(1+x2+y2)3.u=\frac{x^3-3xy^2}{(1+x^2+y^2)^3},\qquad v=\frac{3x^2y-y^3}{(1+x^2+y^2)^3}.

Заметим:

(x33xy2)+i(3x2yy3)=(x+iy)3=z3,(x^3-3xy^2)+i(3x^2y-y^3)=(x+iy)^3=z^3,

поэтому

u+iv=z3(1+x2+y2)3=z3(1+zzˉ)3.u+iv=\frac{z^3}{(1+x^2+y^2)^3}=\frac{z^3}{(1+z\bar z)^3}.

Зависимость от zˉ\bar z обычно ломает голоморфность.

Теория: если u,vC1u,v\in C^1, то ff комплексно дифференцируема в точке \Leftrightarrow выполнены К–Р:

ux=vy,uy=vx.u_x=v_y,\qquad u_y=-v_x.

Проверка (сокращённо по результату вычислений): К–Р выполняются только в точке (x,y)=(0,0)(x,y)=(0,0). Во всех других точках — нет.

Значит:

  • ff комплексно дифференцируема только в z=0z=0;
  • не является голоморфной ни в какой окрестности (т.к. К–Р не выполняются вокруг 0).

Про конформность: конформность в точке требует ff голоморфна в окрестности и f(z0)0f'(z_0)\neq 0. Тут даже в 00 производная:

f(0)=limz0f(z)f(0)z=limz0z3(1+z2)31z=limz0z2(1+z2)3=0.f'(0)=\lim_{z\to0}\frac{f(z)-f(0)}{z}=\lim_{z\to0}\frac{z^3}{(1+|z|^2)^3}\cdot \frac1z=\lim_{z\to0}\frac{z^2}{(1+|z|^2)^3}=0.

Итог: дифференцируема только в 00, нигде не конформна.


2) Найти v(x,y)v(x,y), чтобы f=u+ivf=u+iv была голоморфной, v(0,0)=0v(0,0)=0

По фото:

u(x,y)=ex((1y)cosy+ysiny).u(x,y)=e^x\big((1-y)\cos y+y\sin y\big).

Ключевая теория: в односвязной области (а y<π|y|<\pi односвязна) у функции существует гармоническая сопряжённая vv тогда и только тогда, когда uu гармонична:

Δu=uxx+uyy=0.\Delta u=u_{xx}+u_{yy}=0.

Считаем:

  • uxx=uu_{xx}=u (так как множитель exe^x);
  • uyyu_{yy} даёт в сумме с uxxu_{xx} не ноль (получается Δu0\Delta u\neq0).

Вывод: при данном uu не существует vv, чтобы u+ivu+iv была голоморфной (в любой окрестности), потому что uu не гармонична.

⚠️ На практике в таких задачах часто бывает опечатка: вместо (1y)(1-y) стоит (1x)(1-x).
Если бы было

u=ex((1x)cosy+ysiny),u=e^x\big((1-x)\cos y+y\sin y\big),

тогда u=(ez(1z))u=\Re\big(e^z(1-z)\big), и

v(x,y)=ex((1x)sinyycosy),v(x,y)=e^x\big((1-x)\sin y-y\cos y\big),

причём v(0,0)=0v(0,0)=0 автоматически.


3) Главная ветвь \Log\Log (разрез (,0](-\infty,0])

Теория: \Logz=lnz+i\Argz\Log z=\ln|z|+i\Arg z, где \Argz(π,π]\Arg z\in(-\pi,\pi].

  1. i-i: i=1|-i|=1, \Arg(i)=π/2\Arg(-i)=-\pi/2
\Log(i)=0iπ2.\Log(-i)=0-\frac{i\pi}{2}.
  1. 1i1-i: 1i=2|1-i|=\sqrt2, \Arg(1i)=π/4\Arg(1-i)=-\pi/4
\Log(1i)=ln2iπ4=12ln2iπ4.\Log(1-i)=\ln\sqrt2-\frac{i\pi}{4}=\frac12\ln2-\frac{i\pi}{4}.
  1. 2i2i: 2i=2|2i|=2, \Arg(2i)=π/2\Arg(2i)=\pi/2
\Log(2i)=ln2+iπ2.\Log(2i)=\ln2+\frac{i\pi}{2}.

4) Ряд Лорана около z=1z=1, тип точки, Resz=1\operatorname{Res}_{z=1}

f(z)=e2z(z2+z+2)(z1)2(z+3).f(z)=\frac{e^{2z}(z^2+z+2)}{(z-1)^2(z+3)}.

В z=1z=1 полюс 2-го порядка (из-за (z1)2(z-1)^2).

Положим w=z1w=z-1, тогда z=1+wz=1+w, z+3=4+wz+3=4+w, и

f(z)=e2e2w(4+3w+w2)w2(4+w).f(z)=e^2\cdot \frac{e^{2w}(4+3w+w^2)}{w^2(4+w)}.

Разложение до w1w^1 (главная часть + 2 регулярных члена):

f(z)=e2(1w2+521w+258+24596w+),w=z1.f(z)=e^2\left(\frac{1}{w^2}+\frac{5}{2}\frac{1}{w}+\frac{25}{8}+\frac{245}{96}w+\cdots\right), \quad w=z-1.

Отсюда

  • тип: полюс 2-го порядка;
  • вычет — коэффициент при 1z1\frac1{z-1}:
Resz=1f=52e2.\operatorname{Res}_{z=1} f=\frac{5}{2}e^2.

5) Лоран около z=0z=0, тип особенности и вычет

g(z)=(log(1z))2z3.g(z)=\frac{(\log(1-z))^2}{z^3}.

Теория: при z<1|z|<1

log(1z)=(z+z22+z33+).\log(1-z)=-(z+\tfrac{z^2}{2}+\tfrac{z^3}{3}+\cdots).

Тогда (log(1z))2=z2+z3+(\log(1-z))^2=z^2+z^3+\cdots, и

g(z)=1z+1+1112z+56z2+g(z)=\frac{1}{z}+1+\frac{11}{12}z+\frac{5}{6}z^2+\cdots

Значит в 00 простой полюс, и

Resz=0g=1.\operatorname{Res}_{z=0} g=1.

6) Resz=\operatorname{Res}_{z=\infty} для

h(z)=z24z+3z(z+1).h(z)=\frac{z^2-4z+3}{z(z+1)}.

Теория:

Resh=конечные полюсаResh.\operatorname{Res}_{\infty} h = -\sum_{\text{конечные полюса}} \operatorname{Res} \, h.

Разложим:

z24z+3z(z+1)=1+3z8z+1.\frac{z^2-4z+3}{z(z+1)}=1+\frac{3}{z}-\frac{8}{z+1}.

Тогда

\Res0h=3,\Res1h=8,=5,\Res_{0}h=3,\qquad \Res_{-1}h=-8,\qquad \sum=-5, \Resh=(5)=5.\boxed{\Res_{\infty}h= -(-5)=5.}

7) Интеграл

I1=z=3coszz2(z2)dz.I_1=\oint_{|z|=3}\frac{\cos z}{z^2(z-2)}\,dz.

Полюса внутри: z=0z=0 (2-го порядка), z=2z=2 (простой).

Теория: f=2πi\Res\displaystyle \oint f =2\pi i\sum \Res.

  • При z=2z=2:
\Res2=limz2(z2)coszz2(z2)=cos24.\Res_{2}=\lim_{z\to2}(z-2)\frac{\cos z}{z^2(z-2)}=\frac{\cos2}{4}.
  • При z=0z=0 (полюс 2-го порядка):
\Res0=ddz(coszz2)z=0=sinz(z2)cosz(z2)20=14.\Res_{0}=\left.\frac{d}{dz}\left(\frac{\cos z}{z-2}\right)\right|_{z=0} =\left.\frac{-\sin z (z-2)-\cos z}{(z-2)^2}\right|_{0} =\frac{-1}{4}.

Сумма: cos2414=cos214\frac{\cos2}{4}-\frac14=\frac{\cos2-1}{4}. Тогда

I1=2πicos214=πi2(cos21).\boxed{I_1=2\pi i\cdot \frac{\cos2-1}{4}=\frac{\pi i}{2}(\cos2-1).}

8) Интеграл

I2=z+1=2ez(z+1)2z3dz.I_2=\oint_{|z+1|=2}\frac{e^z}{(z+1)^2z^3}\,dz.

Внутри контура: z=1z=-1 (2-го порядка) и z=0z=0 (3-го порядка).

  • Для z=1z=-1 (2-й порядок):
\Res1=ddz(ezz3)z=1=ez(1z33z4)1=4e.\Res_{-1}=\left.\frac{d}{dz}\left(\frac{e^z}{z^3}\right)\right|_{z=-1} =\left.e^z\Big(\frac1{z^3}-\frac{3}{z^4}\Big)\right|_{-1} =-\frac{4}{e}.
  • Для z=0z=0 (3-й порядок):
\Res0=12!d2dz2(ez(z+1)2)z=0=32.\Res_{0}=\frac{1}{2!}\left.\frac{d^2}{dz^2}\left(\frac{e^z}{(z+1)^2}\right)\right|_{z=0} =\frac{3}{2}.

Сумма: 324e\frac{3}{2}-\frac{4}{e}. Тогда

I2=2πi(324e)=πi(38e).\boxed{I_2=2\pi i\left(\frac{3}{2}-\frac{4}{e}\right)=\pi i\left(3-\frac{8}{e}\right).}

9) При s>0\Re s>0 вычислить

I3(s)=0estt2cos(3t)dt.I_3(s)=\int_0^\infty e^{-st}\,t^2\cos(3t)\,dt.

Теория (Лаплас):

L{cos(at)}(s)=ss2+a2,L{tnf(t)}=(1)ndndsnL{f(t)}.\mathcal L\{\cos(at)\}(s)=\frac{s}{s^2+a^2},\qquad \mathcal L\{t^n f(t)\}=(-1)^n\frac{d^n}{ds^n}\mathcal L\{f(t)\}.

Здесь a=3a=3, n=2n=2. Значит

I3(s)=d2ds2(ss2+9).I_3(s)=\frac{d^2}{ds^2}\left(\frac{s}{s^2+9}\right).

Считаем:

(ss2+9)=2s(s227)(s2+9)3.\left(\frac{s}{s^2+9}\right)''=\frac{2s(s^2-27)}{(s^2+9)^3}.

Итак

I3(s)=2s(s227)(s2+9)3,s>0.\boxed{I_3(s)=\frac{2s(s^2-27)}{(s^2+9)^3}},\qquad \Re s>0.

10) Построить мероморфную ff и вычислить z=5f(z)dz\displaystyle \oint_{|z|=5} f(z)\,dz

Нужны простые полюса:

  • при z=1z=-1: \Res=2\Res=2 \Rightarrow член 2z+1\frac{2}{z+1};
  • при z=3z=3: \Res=3\Res=-3 \Rightarrow член 3z3-\frac{3}{z-3}.

Условие f(z)0f(z)\to0 при zz\to\infty запрещает добавлять ненулевую константу/полином, поэтому можно взять

f(z)=2z+13z3.\boxed{f(z)=\frac{2}{z+1}-\frac{3}{z-3}}.

Оба полюса внутри z=5|z|=5, значит

z=5f(z)dz=2πi(2+(3))=2πi.\oint_{|z|=5} f(z)\,dz=2\pi i\,(2+(-3))=-2\pi i. z=5f(z)dz=2πi.\boxed{\oint_{|z|=5} f(z)\,dz=-2\pi i.}

Если хочешь, могу оформить это как аккуратный конспект “теория + шаблоны” (К–Р, Лоран, вычеты, бесконечность, контурные интегралы), чтобы по нему решать любые варианты.

Pergunta

IMG_8167.jpegIMG_8167.jpeg

Сделай тоже самое с этим вариантом

Pergunta

IMG_8167.jpegIMG_8167.jpeg

Сделай тоже самое но для этих заданий

Pergunta

Напиши теорию про уравнение коши Римана класс вычета порядка 1 2 3 для комплексного числа

Resposta

Ниже — компактная, но “экзаменно-полезная” теория: Коши–Риман, и вычеты для полюсов 1/2/3-го порядка (и что такое “класс/тип особенности”).


1) Уравнения Коши–Римана (К–Р)

Пусть

f(z)=u(x,y)+iv(x,y),z=x+iy.f(z)=u(x,y)+i\,v(x,y),\qquad z=x+iy.

Комплексная дифференцируемость

Определение производной:

f(z0)=limzz0f(z)f(z0)zz0f'(z_0)=\lim_{z\to z_0}\frac{f(z)-f(z_0)}{z-z_0}

существует и не зависит от направления, по которому zz0z\to z_0.

Условия К–Р

Если u,vu,v имеют непрерывные частные производные в окрестности точки z0z_0 (то есть u,vC1u,v\in C^1), то:

f дифференцируема в z0{ux(z0)=vy(z0),uy(z0)=vx(z0).f \text{ дифференцируема в } z_0 \Longleftrightarrow \begin{cases} u_x(z_0)=v_y(z_0),\\[2mm] u_y(z_0)=-v_x(z_0). \end{cases}

Это и есть уравнения Коши–Римана.

Формулы для производной через u,vu,v

Если К–Р выполнены, то

f(z0)=ux(z0)+ivx(z0)=vy(z0)iuy(z0).f'(z_0)=u_x(z_0)+i\,v_x(z_0)=v_y(z_0)-i\,u_y(z_0).

Геометрический смысл (конформность)

Если ff голоморфна в окрестности z0z_0 и f(z0)0f'(z_0)\neq 0, то отображение конформно в z0z_0: сохраняет углы и ориентировку (малые фигуры переходят в подобные, повернутые и растянутые).


2) “Класс/тип” особенности и вычет

Точка z0z_0изолированная особая точка ff, если ff голоморфна в проколотой окрестности 0<zz0<r0<|z-z_0|<r.

Разложение Лорана:

f(z)=k=ak(zz0)k.f(z)=\sum_{k=-\infty}^{\infty} a_k (z-z_0)^k.

Тип особенности:

  • устранимая, если a1=a2==0a_{-1}=a_{-2}=\cdots=0;
  • полюс порядка mm, если am0a_{-m}\neq 0, но a(m+1)=a(m+2)==0a_{-(m+1)}=a_{-(m+2)}=\cdots=0;
  • существенная, если бесконечно много отрицательных степеней.

Вычет:

Resz=z0f=a1\operatorname{Res}_{z=z_0} f = a_{-1}

— коэффициент при 1zz0\frac{1}{z-z_0}.


3) Вычет при полюсе 1-го порядка (простой полюс)

Если у ff в z0z_0 простой полюс, то есть

f(z)=Azz0+(аналитическая часть),f(z)=\frac{A}{z-z_0}+(\text{аналитическая часть}),

то

Resz0f=A.\operatorname{Res}_{z_0} f = A.

Самая удобная формула

Resz=z0f=limzz0(zz0)f(z)\boxed{\operatorname{Res}_{z=z_0} f=\lim_{z\to z_0}(z-z_0)f(z)}

Частый частный случай: дробь φ(z)ψ(z)\dfrac{\varphi(z)}{\psi(z)}

Если φ,ψ\varphi,\psi голоморфны, ψ(z0)=0\psi(z_0)=0, ψ(z0)0\psi'(z_0)\neq 0 (то есть нуль 1-го порядка), тогда:

Resz0φ(z)ψ(z)=φ(z0)ψ(z0)\boxed{\operatorname{Res}_{z_0}\frac{\varphi(z)}{\psi(z)}=\frac{\varphi(z_0)}{\psi'(z_0)}}

4) Вычет при полюсе 2-го порядка

Если z0z_0 — полюс 2-го порядка, то

f(z)=a2(zz0)2+a1(zz0)+f(z)=\frac{a_{-2}}{(z-z_0)^2}+\frac{a_{-1}}{(z-z_0)}+\cdots

и вычет — это a1a_{-1}.

Формула через производную

Resz=z0f=limzz0ddz[(zz0)2f(z)]\boxed{ \operatorname{Res}_{z=z_0} f =\lim_{z\to z_0}\frac{d}{dz}\Big[(z-z_0)^2 f(z)\Big] }

Потому что (zz0)2f(z)(z-z_0)^2 f(z) становится “почти аналитической” и производная вытаскивает коэффициент при (zz0)1(z-z_0)^{-1}.


5) Вычет при полюсе 3-го порядка

Если z0z_0 — полюс 3-го порядка, аналогично:

f(z)=a3(zz0)3+a2(zz0)2+a1(zz0)+f(z)=\frac{a_{-3}}{(z-z_0)^3}+\frac{a_{-2}}{(z-z_0)^2}+\frac{a_{-1}}{(z-z_0)}+\cdots

Формула

Resz=z0f=12!limzz0d2dz2[(zz0)3f(z)]\boxed{ \operatorname{Res}_{z=z_0} f =\frac{1}{2!}\lim_{z\to z_0}\frac{d^2}{dz^2}\Big[(z-z_0)^3 f(z)\Big] }

6) Общая формула для полюса порядка mm

Если z0z_0 — полюс порядка mm, то

Resz=z0f=1(m1)!limzz0dm1dzm1[(zz0)mf(z)]\boxed{ \operatorname{Res}_{z=z_0} f =\frac{1}{(m-1)!}\lim_{z\to z_0}\frac{d^{\,m-1}}{dz^{\,m-1}} \Big[(z-z_0)^m f(z)\Big] }

7) Зачем нужен вычет (главная “практика”)

Теорема о вычетах:

γf(z)dz=2πiResf\boxed{ \oint_{\gamma} f(z)\,dz = 2\pi i \sum \operatorname{Res} f }

где сумма по всем изолированным особым точкам внутри контура γ\gamma (ориентация положительная).


Если хочешь, пришли конкретную функцию из задания — скажу тип особенности (устранимая/полюс mm/существенная) и быстро выберу формулу для вычета (лимит / φ/ψ\varphi/\psi / производные).

Compartilhar esta Q&A