Matematika A3a 2009/7. gyakorlat
Mozo (vitalap | szerkesztései) (→Komplex integrál) |
Mozo (vitalap | szerkesztései) (→Komplex integrál) |
||
35. sor: | 35. sor: | ||
:<math>\oint\limits_{|z|=1} \frac{1}{z}\,\mathrm{d}z=\mathrm{ln}(e^{2\pi i})-\mathrm{ln}(e^{0})=2\pi i\,</math> | :<math>\oint\limits_{|z|=1} \frac{1}{z}\,\mathrm{d}z=\mathrm{ln}(e^{2\pi i})-\mathrm{ln}(e^{0})=2\pi i\,</math> | ||
− | ahol ln 1-et kétféleképpen, egyfelől az első, másfelől a második Riemann-levélen számoltuk ki. A Riemann- | + | ahol ln 1-et kétféleképpen, egyfelől az első, másfelől a második Riemann-levélen számoltuk ki. A logaritmus Riemann-felületén a logaritmus ugyanis már egyértékű. |
A lap 2009. november 4., 14:28-kori változata
Komplex integrál
Definíció szerint, ha f: D C egy nyílt tartományon értelmezett függvény és Γ:[a,b] C folytonosan differenciálható görbe, akkor a f integrálja a Γ mentén:
Fontos, hogy a fenti definícióban az f(z) Δz egy komplex szorzat.
Persze itt olyan fogalmakkal dolgozunk, amelyeket nyugodtan átfogalmazhatunk egy vonalintegrál párrá, a következőképpen. Tekintsük az f = u + v i függvényt és a dz = dx + i dy szimbólumot. Ekkort fdz komplex formális szorzát elvégezve kapjuk, hogy:
A vonalintegál kiszámítására vonatkozó formula komplex változata az lesz, hogy:
Itt z(t)=Γ(t). De így ritkán számolunk komplex integrált.
Példa.
hiszen a paraméterezés z(t)=eit, t ∈ [0,π]. Egy vektorértékű valós változós függvényt komponensenként integrálunk:
De szerencsére a komplex analízisben van is van Newton--Leibniz formula:
Tétel (Newton--Leibniz) Ha f: D C folytonos a D nyílt halmazon és létezik primitív függvénye, akkor minden a D-ben haladó Γ[a,b] C görére:
ahol Γ kezdő és végpontja z(a) és z(b).
Példák.
hiszen F(z)=-1/z-vel F'=f.
ahol ln 1-et kétféleképpen, egyfelől az első, másfelől a második Riemann-levélen számoltuk ki. A logaritmus Riemann-felületén a logaritmus ugyanis már egyértékű.