Analisi complessa/Funzioni elementari

Template:Analisi complessa Definiremo ora una serie di funzioni sul campo complesso, corrispondenti alle funzioni esponenziale, logaritmica ed alle funzioni trigonometriche sul campo reale. Vedremo in seguito che il requisito di analiticità e la richiesta di coincidere con le controparti reali per $z=0$ rende univoca la nostra scelta, e stabilisce un nesso tra l'espansione in serie della funzione reale e quella della funzione complessa.

Inoltre quando è possibile stabilire relazioni tra le varie funzioni (es. relazioni trigonometriche), in modo tale che i due membri dell'uguaglianza siano funzioni analitiche in un dominio, le relazioni sono verificate su tutto il dominio a patto che siano verificate sull'asse reale. Questo permette in genere di estendere a tutto il campo complesso la validità delle usuali relazioni nel campo reale.

Esponenziale

La funzione esponenziale sul campo complesso $e^z$ è definita come

$e^z=e^x(\cos y+i\sin y)=e^x{e}^{iy}$

ricordando la formula di Eulero. Si dimostra facilmente che valgono le usuali proprietà della funzione esponenziale,

$e^{z1+z2}=e^{z1}{e}^{z2}$

$(e^z{)}^n=e^{nz}$

Inoltre $e^z$ è periodica con periodo 2i$\pi$, infatti si ha:

$e^{z+2k\pi i}=e^z\mathrm{\forall }k\in \mathbb{Z}$.

Funzioni trigonometriche ed iperboliche

Seno e coseno

Le funzioni trigonometriche si definiscono a partire dall'esponenziale, come:

$\sin z=\frac{e^{iz}-e^{-iz}}{2i}\cos z=\frac{e^{iz}+e^{-iz}}{2}$;

sono analitiche ed hanno rispettivamente derivate

$(\sin z{)}^{\prime }=\cos z(\cos z{)}^{\prime }=-\sin z$.

Valgono le formule di addizione, duplicazione, prostaferesi formalmente uguali a quelle del campo reale.

Osservazione: Le funzioni Tangente, cotangente, secante e cosecante sono definite come nel caso reale.

Funzioni iperboliche

Le funzioni iperboliche sono definite da:

$\sinh z=\frac{e^z-e^{-z}}{2}\cosh z=\frac{e^z+e^{-z}}{2}$

Le rispettive derivate sono:

$(\sinh z{)}^{\prime }=\cosh z(\cosh z{)}^{\prime }=\sinh z$;

oltre alle solite relazioni valide sul campo reale, si hanno

• $-i\sinh iz=\sin z$
• $\cosh iz=\cos z$
• $-i\sin iz=sinhz$
• $\cos iz=coshz$

Queste relazioni legano le funzioni trigonometriche ed iperboliche sul campo complesso.

Logaritmo

Definiamo la funzione logaritmo come la soluzione $w$ dell'equazione $e^w=z$.

Scrivendo $z=𝒿z𝒿e^{i\arg z}$ è chiaro come esistano più soluzioni, della forma

$\log z=ln𝒿z𝒿+i(\arg z+2k\pi );k\in \mathbb{Z}$

Ciascuna delle soluzioni, con k fissato, costituisce una branca della funzione logaritmo, che è in effetti una funzione a più valori. La branca principale della funzione è quella presa con k = 0. Ciascuna branca della funzione logaritmo è analitica su $ℂ$ tranne che nell'origine e lungo un raggio (branch cut), ed ha derivata

$(\log z{)}^{\prime }=\frac{1}{z}$.

Potenze con esponenti complessi

Per $z\ne 0$ e $c\in ℂ$ definiamo

$z^c=e^{c\log z}$.

Tale funzione coincide, per $c\in \mathbb{N}$, con i valori di $z^n$ definiti sulla base delle proprietà algebriche dei numeri complessi; in generale è però una funzione a molti valori, con branche che corrispondono alla branca scelta per la funzione logaritmo,

$\log z=\ln |z|+i\arg z(\alpha <\arg z<\alpha +2\pi )$.

$z^c$ è analitica nel dominio in cui è analitica la funzione logaritmo, e ha derivata:

$(z^c{)}^{\prime }=c{x}^{c-1}$

Funzione esponenziale con base c

La funzione esponenziale con base c si definisce come

$c^z=e^{z\log c}$

ed è una funzione intera quando venga scelta una qualsiasi branca di $\log c$ ed ha derivata:

$(c^z{)}^{\prime }=c^z\log c$