$[z_0=+-i\pi/2]$
possono essere singolarità eliminabili perché sono
anche radici del numeratore (
non me ne ero accorto):
$[cosh(+-i\pi/2)=0]$
Per evitare lo sviluppo si può utilizzare il seguente criterio:
$[z=z_0]$
è una singolarità eliminabile se e solo se $[EE lim_(z->z_0)f(z)=l]$
Ovviamente, onde evitare circoli viziosi, si deve calcolare il limite senza gli sviluppi in serie. Poiché:
$[coshz=cos(-iz)]$
si può procedere con un limite notevole. Per esempio:
$lim_(z->i\pi/2)[(cosz*cos(-iz))/(z^3(z+pi/2)(z-pi/2)(z+ipi/2)(z-ipi/2))]=$
$=lim_(t->0)[(cos(t+i\pi/2)*cos(-it+\pi/2))/((t+i\pi/2)^3(t+i\pi/2+pi/2)(t+i\pi/2-pi/2)(t+i\pi)t)]=$
$=lim_(t->0)[(icos(t+i\pi/2))/((t+i\pi/2)^3(t+i\pi/2+pi/2)(t+i\pi/2-pi/2)(t+i\pi))*(sin(it))/(it)]=$
$=-(8(e^(-\pi/2)+e^(\pi/2)))/\pi^6i$
grad90 ha scritto:... e non poli semplici (come $ z=+-pi/2 $) ...
Non mi risulta che $[z_0=+-\pi/2]$ siano poli semplici. Del resto:
$[cos(+-\pi/2)=0]$