DEFINIZIONE E PROPRIETÀ DI FUNZIONI ELEMENTARI IN CAMPO COMPLESSO
(D = DOMINIO; B = INSIEME DI CONTINUITÀ; A = APERTO DI OLOROFRIA)
- ESORONENZIALE
f(z) = ez = exrez{cos[Imz] + i(sen[Imz])}
= ez = ex(cosy + seny)
D ∈ CB ∈ CA ∈ C ( piano complesso privato della semiretta reale negativa
- Proprietà: d/dz log(z) = 1/z
- Potenza principale: f(z) = zα = eα log(z), α ∈ CD = C\{k = 0}B = A = C\{x < 0}
- Proprietà: zα zβ = zα+βd/dz zα = αzα-1
- Casi particolari:
- α = n ∈ N, D = B = A = C
- α = -n ∈ N, D = B = A = C*
- α ∈ Q, D = B = C\{0}, A = C*
- α ∉ Q, D = B = C\{0}, A = C**
Funzioni trigonometriche
f(z) = senz = eiz - e-iz
f(z) = cosz = eiz + e-iz/2
sen2z + cos2z = 1
D = B = A = C
Funzioni intere 2π-periodichesen(z) = -senh(z)id/dz senz = coszd/dz cosz = -senz
Funzioni iperboliche
f(z) = senh(z) = ez - e-z/2
f(z) = cosh(z) = ez + e-z/2
cos2h(z) - sen2h(z) = 1
D = B = A = C
Funzioni intere 2π-periodiche
d/dz sen h(z) = cosh(z)
d/dz cosh(z) = senh(z)
sen h(1z) = 1sen z
cosh(1z) = 1cos z
Condizioni di Cauchy-Riemann
f(z) = u(x,y) + i v(x,y)
f è olomorfa in A se e solo se:
∂u/∂x(x,y) = ∂v/∂y(x,y)
∂u/∂y(x,y) = - ∂v/∂x(x,y)
Integrali curvilinei in campo complesso (I parte)
∫Γ f(z)dz = ∫ab fp (x(T),y(T)) (x'(T) + i y'(T)) dT
r(T) = x(T) + i y(T) , T ∈ [a,b]
Teorema integrale di Cauchy
Se Γ è il bordo di un dominio A e sempre ci metta connesso in cui f(z) è olomorfa, allora
∫Γ f(z)dz = 0
Primitiva
f(z) è una primitiva di F(z) se F'(z) = f(z)
Se Γ è omotopa a γ (stessa base) e filmamento decompose Cauchy e f è olomorfa. In tal caso si ha:
∫γ f(z)dz = F(B) - F(стa)
oppure ∫ΓB f(z)dz = ∫Аβ F(H) Z'(H)dT
Circonferenza in C di centro Zo e raggio R
Γ = {z ∈ C : |z-zo| = R}
z = zo +R(cosθ + i senθ), θ ∈ [0,2π]
Formule di Cauchy
1ª formula: f(p)(zo) = 1/2π i ∮ (f(z)/z-zo) dz
2ª formula: f(p)(zo) n!/2π i ∮ (f(z)/(z-zo)p+1) dz
Teorema di Morera
Se f(z) è una funzione continua in un dominio A e per ogni curva (chiusa) contenuta in A allora f(z) è olomorfa in A
Serie di potenze in C (di Taylor)
Σn=0∞ cn(z-z0)n converge se |z-z0|<Rdiverge se |z-z0|>Rcentro? se |z-z0|=R
R(z) analitica se è sviluppabile in serie di Taylor:R(z)= Σn=0∞ cn(z-z0)n, |z-z0|<R dove:cn= B(n)(z0)⁄n!= 1⁄2πi∫γ R(ζ)⁄(ζ-z0)n+1 dζ
R(z) indiretta se asintotica in |z-z0|<R
Sviluppi di Maclaurin in (z0=0) di funzioni elementari
- -1⁄1-z=Σn=0∞ zn, |z|<1
- ez=Σn=0∞ zn⁄n!, ∀z∈C
- log(1+z)=Σn=0∞ (-1)nzn⁄n, |z|<1
- sen z=Σn=0∞ (-1)n z2n+1⁄(2n+1)!, ∀z∈C
- cos z=Σn=0∞ (-1)nz2n⁄(2n)!, ∀z∈C
- senh z=Σn=0∞ z2n+1⁄(2n+1)!, ∀z∈C
- cosh z=Σn=0∞ z2n⁄(2n)!, ∀z∈C
Singolarità
- Isolate
- Non Isolate
R(z) analitica in A; z0 è singolarità isolata per R(z) se z0∈A, ma ∂z0: B= {z| |z-z0|<r}es.: R(z)= ∂[z] porque z⇾zerf di Pn(z) (Im(z)=0) sono singolarità isolate di:Pn(z)⁄pο(z)
Eliminabile:
se limz→z0 R(z)=l ∈C
Polo di ordine n:
limz→z0 (z-z0)n R(z)≠0
Essenziale: è non eliminabile, nè un polo (se limz→z0 R(z)=0 non esiste)
Residui
Se R(z) analitica in A, z0 singolarità isolatares (R,z0)=1⁄2πi∫γ R(ζ)dζγ qualunque circuito contenente la sola z0 come singolarità
se z0 è eliminabile ⇒ res (R,z0)=0
se z0 è un polo semplice ⇒ res (R,z0)=limz→z0 [(z-z0)R(z)]
se z0 è polo doppio => Res (f, z0) = Riim z0 { (z - z0)2f(z) }
se z0 è polo di ordine n => Res (f, z0) = (n - 1)! Riim z0 { f(n - 1)(z) + ... }
Sviluppo in Serie di Laurent
f(z) analitica in CR1R2(z0) oppure:an(z-z0)n:
f(z) =∑n = -∞∞cn(z-z0)n
=... + (c-2(z-z0) +c-1(z-z0)-1 +co + c1(z-z0) +c2(z-z0)2 +...
Parte Singolare Parte Regolare
oss.: c-1 =&frac{1}{2πi}∫γ f(z)dz = Res (f,z0)
=> noto lo sviluppo in serie di Laurent i coefficienti che molestano. ie t/unità &frac{1}{z-z0}
Se z0 eliminabile => ∑ cn = ... f(z) => f(z) = ∑n >= 0 cn(z-z0)
z0 è un polo di ordine k => ∃ c-n = ... n > k
f(z) = c-k / (z - z0)k + c-k+1/(z-z0)
z0 è una singolarità essenziale e la parte singolare contiene infinititermini (con coefficienti non nulli)
Prima formula integrale di Cauchy
: → ℂ, olografica in semplicemente connesso
(₀) = (1/2) ∮ (()/(-₀))
= ∂ ∀ ₀ =
∮ (()/₀) (/(-₀)) = 2 (₀)
Esempio
∮ (/(²+1))
: |-| = 1 verso antiorario
∮ (1/((²+1)(-))) = ∮ ((+)/(-)) = 2 () = 2 (-1/) = -
Teorema dei Residui
Sia : → ℂ olografica in ∖ {₀, ₁, …, ₖ} essendo ᵢ singolarità di contenente in , allora:
∮ () = 2 Σ ₖ Res ((),ₖ), ∂
Lemma del Grande Cerchio
Se () continua in = { Im ≥ 0 } e se lim () = 0 ||→+∞
lim ∫ () = dove la semicirconferenza di centro '0'origine
ed ioggio , contenuto in
= ˡ ᴵᵀ
Applicazione agli Integrali Improvati in ℝ
∫ (() = lim ∫ () = 2 Σ Res ((),ₖ), Im ₖ > 0
dove e dell'azione di e del segmento - < < e lim → ±∞ () = 0
Lemme di Jordan
Sia () continua in = { Im ≥ 0 } e vole che lim () = 0
allora lim ∫ () = 0 dove e la semicirconferenza di centro
l'origine e raggio , contenuto in .
Approssimazione al calcolo di integrali impropri in R
-
∫-∞+∞ sen x f(x) dx = ∑k=1∞ Im [eiz R(x)] dx = Im [π∑k=1∞ Zk)], Im zk > 0
-
∫-∞0 cos x f(x) dx = Im ∫-R+∞ ei2πR(x) dx = Re [π∑k=1∞ cos(ei 2π Zk], Im zk > 0
dove γ è l'unione di Re e il segmento -R ≤ x ≤ R e lim R(x) = 0 x → ±∞
Integrali di funzioni razionali di seno e coseno su un periodo
∫02π R(sen x, cos x) dx = ∫γ R(
z−1, z−1/z2) dz/z
z = eix
Quando è effettuato ea sostituzione z = eix, x ∈ [0, 2π] e γ è il cerchio di centro e origine e raggio 1
TRASFORMATA DI LAPLACE
DEF: L[ℛ](s) = F(s) = ∫0∞ f(T) e-sT
DEF: f ∈ ℛ (T) --> T ∈ ℝ e f convergente → β (T) un esponenziale
PROPRIETA' LINEARITA': L[c1ℛ1 + c2ℛ2] = c1 L[ℛ1](s) + c2 L [ℛ2](s)
σ [ℛ1 + ℛ2] = max (σ[ℛ1], σ[ℛ2])
DERIVABILITA'
Traslazione retoriche: f(m) = f(T-m) → L[ℛ(T – T0)] = e-sT0 ℛ-1[T](s)
TRASLAZIONE CONVERGENZA
L[eaT ℛ(T)](s) = L[ℛ(s-a)]
TRASF. DELLA DERIVATA: L[f(n)](s)=[s n ℛ (T) - sn-1 ℛ (T)...- ℛ(n-1)(0)]
L[ℒ(T)] = ∫as f(T)e-sT dT
ANTITRAFOTRUATA
L-1-[F](T) = ∑ Res (est f(s), sj) su punti di F(s)
- ab esiste E(s) possiede delle seguenti proprieta’;
- F(s) si annulla per t=0 → F(n);
- Complementare: Esper.
TAVOLA TRASFORMATE FUNZIONI ELEMENTARI
- 1 → L F(T) = F(s) = 0
- eaT → L[σ
- eaTcos(wT) σ[ℛ] = s22+[ω2]
- sen h(wt) | ω > 0
LIMITATEZZA
f è L-TRASFORMABILE
- lim
- Re(s) -> +∞
- L[R](s) = 0
ES: HEAVISIDE
f(t) = {1 t ≥ 0, 0 altrimenti}
DILATAZIONE
c > 0
=> L[R(ct)]s = 1/c L[R](s/c)
-
Problema di analisi complessa 12
-
Problema di analisi complessa 11
-
Problema di analisi complessa 5
-
Problema di analisi complessa 4