Diferencia entre revisiones de «Compleja:Zill-Cap6.3»

De luz-wiki
 
(No se muestran 27 ediciones intermedias del mismo usuario)
Línea 210: Línea 210:
===Ejercicio 9===
===Ejercicio 9===


In Problems 7\textendash 12, expand f(z) =$\frac{1}{z(z-3)}$ in a
En los problemas 7-12 , ampliar f (z) =$\frac{1}{z(z-3)}$en una
Laurent series valid for the indicated annular domain.
serie de Laurent válido para la indicada dominio anular.


En los problemas 7-12 , ampliar f ( z ) =$\frac{1}{z(z-3)}$en una
Dominio dado: $0\leq\left[z-3\right]\geq3$
serie de Laurent válido para la indicada dominio anular.


dominio dado: $0\leq\left[z-3\right]\geq3$


resolucion
'''Procedimiento'''


El centro de este dominio , z = 3, es el punto de analiticidad de
El centro de este dominio , z = 3, es el punto de analiticidad de
Línea 227: Línea 225:


para <Aviso de LyX: carácter no codificable '∣'>z\textminus 4<Aviso de LyX: carácter no codificable '∣'>$\geq$3 . Entonces tomo la función y descompongo
para <Aviso de LyX: carácter no codificable '∣'>z\textminus 4<Aviso de LyX: carácter no codificable '∣'>$\geq$3 . Entonces tomo la función y descompongo
en freacciones parciales obtenemos:  
en fracciones parciales obtenemos:  


$f\left(z\right)=\frac{1}{z(z-3)}=\frac{A}{z}+\frac{B}{z-3}$
$f\left(z\right)=\frac{1}{z(z-3)}=\frac{A}{z}+\frac{B}{z-3}$
Línea 258: Línea 256:
$\frac{1}{1+\frac{z-3}{3}}$
$\frac{1}{1+\frac{z-3}{3}}$


tiene la forma de la serie geometrica:
tiene la forma de la serie geométrica:


$\frac{a}{1+z}=1-az+az^{2}.....$
$\frac{a}{1+z}=1-az+az^{2}.....$
Línea 272: Línea 270:
$f\left(z\right)=-\frac{1}{3^{2}}+\frac{(z\text{-}3)}{3^{3}}-\frac{(z\text{-}3)^{2}}{3^{4}}+\frac{(z\text{-}3)^{3}}{3^{5}}+......$
$f\left(z\right)=-\frac{1}{3^{2}}+\frac{(z\text{-}3)}{3^{3}}-\frac{(z\text{-}3)^{2}}{3^{4}}+\frac{(z\text{-}3)^{3}}{3^{5}}+......$


Analaogamente para la segunda fraccion factorizando la z se tiene:  
Análogamente para la segunda fracción factorizando la z se tiene:  


$f1(z)=\frac{1}{3\left(z-3\right)}=1/3(\frac{1}{\left(z-3\right)})=1/3(\frac{1}{\frac{1}{z}\left(1-\frac{3}{z}\right)})=\frac{1}{3}\left(\frac{1}{\frac{1}{z}}\left[\frac{1}{1-\frac{3}{z}}\right]\right).....(4)$
$f1(z)=\frac{1}{3\left(z-3\right)}=1/3(\frac{1}{\left(z-3\right)})=1/3(\frac{1}{\frac{1}{z}\left(1-\frac{3}{z}\right)})=\frac{1}{3}\left(\frac{1}{\frac{1}{z}}\left[\frac{1}{1-\frac{3}{z}}\right]\right).....(4)$
Línea 280: Línea 278:
$\frac{1}{1-\frac{3}{z}}$
$\frac{1}{1-\frac{3}{z}}$


tiene la forma de la serie geometrica:  
tiene la forma de la serie geométrica:  


$\frac{a}{1-z}=1+az+az^{2}\text{\textminus\ensuremath{\cdots}}$
$\frac{a}{1-z}=1+az+az^{2}\text{\textminus\ensuremath{\cdots}}$
Línea 294: Línea 292:
$f1(z)=\frac{z}{3}+1+\frac{3}{z}+\frac{3^{2}}{\left(z\right)^{2}}+\frac{3^{3}}{z^{3}}......$
$f1(z)=\frac{z}{3}+1+\frac{3}{z}+\frac{3^{2}}{\left(z\right)^{2}}+\frac{3^{3}}{z^{3}}......$


por lo tanto la serie completa esta ada por:
'''Solución'''
 
por lo tanto la serie completa esta dada por:


$f\left(z\right)=...\frac{3^{3}}{z^{3}}+\frac{3^{2}}{z^{2}}+\frac{3}{z}+1+\frac{z}{3}-\frac{1}{3^{2}}+\frac{(z-3)}{3^{3}}-\frac{(z-3)^{2}}{3^{4}}+\frac{(z-3)^{3}}{3^{5}}+.....$
$f\left(z\right)=...\frac{3^{3}}{z^{3}}+\frac{3^{2}}{z^{2}}+\frac{3}{z}+1+\frac{z}{3}-\frac{1}{3^{2}}+\frac{(z-3)}{3^{3}}-\frac{(z-3)^{2}}{3^{4}}+\frac{(z-3)^{3}}{3^{5}}+.....$
Línea 300: Línea 300:




--[[Usuario:Martin Flores Molina|Martin Flores Molina]] ([[Usuario discusión:Martin Flores Molina|discusión]]) 13:05 15 mayo 2015 (CDT) ----
----
 
Realizado por:[[Usuario:Martin Flores Molina|Martin Flores Molina]] ([[Usuario discusión:Martin Flores Molina|discusión]]) 13:05 15 mayo 2015 (CDT)  
 
----
 
 
 
 


===Ejercicio 11===
===Ejercicio 11===
Línea 316: Línea 312:
  </math>
  </math>


Solución
 
'''Procedimiento'''


El centro de este dominio , z = 4, es el punto de analiticidad de la función f . Nuestro objetivo ahora es encontrar
El centro de este dominio , z = 4, es el punto de analiticidad de la función f . Nuestro objetivo ahora es encontrar
Línea 324: Línea 321:


para <math>\mid z-4\mid\lneq4
para <math>\mid z-4\mid\lneq4
  </math> . Entonces tomando la función y descomponiendo en freacciones parciales obtenemos:
  </math> . Entonces tomando la función y descomponiendo en fracciones parciales obtenemos:


:<math>f(z)=\frac{1}{z\left(z-3\right)}=\frac{A}{z}+\frac{B}{z-3}
:<math>f(z)=\frac{1}{z\left(z-3\right)}=\frac{A}{z}+\frac{B}{z-3}
Línea 360: Línea 357:


El término :<math>\left[\frac{1}{1+\frac{z-4}{4}}\right]
El término :<math>\left[\frac{1}{1+\frac{z-4}{4}}\right]
  </math> tiene la forma de la serie geometrica:
  </math> tiene la forma de la serie geométrica:


:<math>{\displaystyle \frac{a}{1+z}=1-az+az^{2}-\cdots}
:<math>{\displaystyle \frac{a}{1+z}=1-az+az^{2}-\cdots}
Línea 378: Línea 375:
  </math>
  </math>


Analaogamente para la segunda función y reduciendonos pasos obtenemos:
Análogamente para la segunda función y reduciéndonos pasos obtenemos:


:<math>f_{2}(z)=\frac{1}{3(z-3)}=\frac{1}{3}\left(\frac{1}{z-3}\right)=\frac{1}{3}\left(\frac{1}{z-3-1+1}+\right)=\frac{1}{3}\left(\frac{1}{(z-4)}\left[\frac{1}{1+\frac{1}{z-4}}\right]\right)...(4)
:<math>f_{2}(z)=\frac{1}{3(z-3)}=\frac{1}{3}\left(\frac{1}{z-3}\right)=\frac{1}{3}\left(\frac{1}{z-3-1+1}+\right)=\frac{1}{3}\left(\frac{1}{(z-4)}\left[\frac{1}{1+\frac{1}{z-4}}\right]\right)...(4)
Línea 402: Línea 399:
  </math>  
  </math>  


por lo tanto
'''Conclusión'''


:<math>f_{2}(z)=\frac{1}{3(z-4)^{3}}-\frac{1}{3(z-4)^{2}}+\frac{1}{3(z-4)}-\frac{1}{12}+\frac{(z-4)}{3*4^{2}}-\frac{(z-4)^{2}}{3*4^{3}}+\frac{(z-4)^{3}}{3*4^{4}}\cdots
:<math>f_{2}(z)=\frac{1}{3(z-4)^{3}}-\frac{1}{3(z-4)^{2}}+\frac{1}{3(z-4)}-\frac{1}{12}+\frac{(z-4)}{3*4^{2}}-\frac{(z-4)^{2}}{3*4^{3}}+\frac{(z-4)^{3}}{3*4^{4}}\cdots
  </math>  
  </math>  


----
Elaborado por Ricardo García Hernández--[[Usuario:Ricardo Garcia Hernandez|Ricardo Garcia Hernandez]] ([[Usuario discusión:Ricardo Garcia Hernandez|discusión]]) 13:30 30 jun 2015 (CDT)
Elaborado por Ricardo García Hernández--[[Usuario:Ricardo Garcia Hernandez|Ricardo Garcia Hernandez]] ([[Usuario discusión:Ricardo Garcia Hernandez|discusión]]) 13:30 30 jun 2015 (CDT)
----
----
Línea 416: Línea 414:




$Solución :$
'''Procedimiento'''




Línea 520: Línea 518:
\]
\]


Por lo tanto
'''Conclusión'''


\[
\[
Línea 527: Línea 525:




--[[Usuario:Emmanuell Castro Flores|Emmanuell Castro Flores]] ([[Usuario discusión:Emmanuell Castro Flores|discusión]]) 01:16 3 jul 2015 (CDT)
----
 
Realizado por: [[Usuario:Emmanuell Castro Flores|Emmanuell Castro Flores]] ([[Usuario discusión:Emmanuell Castro Flores|discusión]]) 01:16 3 jul 2015 (CDT)
 


----
----
Línea 535: Línea 532:
===Ejercicio 13===
===Ejercicio 13===


'''Desarrollar $f(z)=\frac{1}{(z+1)(z-2)}$ en una serie de laurent válida para el dominio anular $1<|z|<2$'''  
'''Desarrollar $f(z)=\frac{1}{(z+1)(z-2)}$ en una serie de Laurent válida para el dominio anular $1<|z|<2$'''
 
'''Procedimiento'''


Primero desarrollamos las fracciones parciales de nuestra función
Primero desarrollamos las fracciones parciales de nuestra función
Línea 579: Línea 578:
Entonces para $f_{1}(z)$ tenemos que:
Entonces para $f_{1}(z)$ tenemos que:


$f_{1}(z)=\frac{1}{1-z}=1+z^{2}+z^{3}+z^{4}....$
$f_1(z)=-\frac{1}{z-1}=-\frac{1}{z}\left (\frac{1}{1-\frac{1}{z}}  \right )$


En donde la serie converge a $|z|<2$
Usando que:


Entonces para $f_{2}(z)$ tenemos que:
$\frac{1}{1-u}=1+u+u^2+...$


$f_{2}(z)=\frac{1}{z-2}=\frac{1}{z(1-\frac{2}{z})}$
Donde $u=\frac{1}{z}$


$f_{2}(z)=\frac{1}{z-2}=\frac{1}{z(1-\frac{2}{z})}=\frac{1}{z}(1+\frac{2}{z}+\frac{4}{z^{2}}+\frac{8}{z^{3}}...........)=(\frac{1}{z}+\frac{2}{z^{2}}+\frac{4}{z^{3}}+\frac{8}{z^{4}}...........)$
Valida para el dominio $|u|< 1$ esto es: $\left | \frac{1}{z} \right |< 1$  


De donde se deduce que la serie converge para $|z|<2$
Valida para el dominio $1<|z|$


Y $f_{1}(z)+f_{2}(z)=[1+z^{2}+z^{3}+z^{4}....]+[\frac{1}{z}+\frac{2}{z^{2}}+\frac{4}{z^{3}}+\frac{8}{z^{4}}.......]$
Podemos escribir:


Y finalmente tenemos una serie de la forma:
$\frac{1}{1-\frac{1}{z}}=1+\frac{1}{z}+\left (\frac{1}{z}  \right )^{2}+...$


$f(z)=[...\frac{8}{z^{4}}+\frac{4}{z^{3}}+\frac{2}{z^{2}}+\frac{1}{z}+1+z^{2}+z^{3}+z^{4}....]$
$f_1(z)=-\frac{1}{z}\left (1+\frac{1}{z}+\left (\frac{1}{z} \right )^{2}+... \right )$


Que converge para $1<|z|<2$  
Haciendo lo mismo para $f_2$


$f_2(z)=\frac{1}{z-2}=-\frac{1}{2}\left (\frac{1}{1-\frac{z}{2}}  \right )$


Pero ahora $u=\frac{z}{2}$


--[[Usuario:Angelina Nohemi Mendoza Tavera|Angelina Nohemi Mendoza Tavera]] ([[Usuario discusión:Angelina Nohemi Mendoza Tavera|discusión]]) 01:49 3 jul 2015 (CDT)
El dominio ahora es valido para $|z|< 2$


Y escribiendo $f_2$ en serie:
$f_2(z)=\frac{1}{z-2}=-\frac{1}{2}\left (\frac{1}{1-\frac{z}{2}}  \right )$
$f_2(z)=-\frac{1}{2}\left (1+ \frac{z}{2} +\left (\frac{z}{2}  \right )^{2} \right )$
Por lo que la función puede escribirse como:
'''Solución'''
$f(z)=...-\left ( \frac{1}{z} \right )^{3}-\left ( \frac{1}{z} \right )^{2}-\left ( \frac{1}{z} \right )-\frac{1}{2}-\frac{1}{2}\left (\frac{z}{2}  \right )-\frac{1}{2}\left (\frac{z}{2}  \right )^{2}-...$
Valido para el dominio angular que comparten la suma, esto es:
$1< |z|< 2$
----
Re elaborado por [[Usuario: Manuel Rodríguez |Manuel Rodríguez]]
----
----


Línea 624: Línea 642:




--[[Usuario:Esther Sarai|Esther Sarai]] ([[Usuario discusión:Esther Sarai|discusión]]) 19:43 30 jun 2015 (CDT)Esther Sarai
----
 
Realizado por:[[Usuario:Esther Sarai|Esther Sarai]] ([[Usuario discusión:Esther Sarai|discusión]]) 19:43 30 jun 2015 (CDT)Esther Sarai
----
'''Nota:''' Dado que $u=z-1$, así $f(u)=\dfrac{1}{u(u-1)}=-\dfrac{1}{u(1-u)}$. Expandimos el término $\dfrac{1}{1-u}$ en serie geométrica  
'''Nota:''' Dado que $u=z-1$, así $f(u)=\dfrac{1}{u(u-1)}=-\dfrac{1}{u(1-u)}$. Expandimos el término $\dfrac{1}{1-u}$ en serie geométrica  


Línea 643: Línea 662:
y dado que el dominio anular está centrado en $z=1$ es su punto de analiticidad de la función, se tiene que la serie está definida para todo el dominio anular.
y dado que el dominio anular está centrado en $z=1$ es su punto de analiticidad de la función, se tiene que la serie está definida para todo el dominio anular.


 
----
[[Usuario:Oscar Javier Gutierrez Varela|Oscar Javier Gutierrez Varela]] ([[Usuario discusión:Oscar Javier Gutierrez Varela|discusión]]) 22:48 3 jul 2015 (CDT)
Realizado por: [[Usuario:Oscar Javier Gutierrez Varela|Oscar Javier Gutierrez Varela]] ([[Usuario discusión:Oscar Javier Gutierrez Varela|discusión]]) 22:48 3 jul 2015 (CDT)
----
----


Línea 652: Línea 671:
Desarrolle $f(z)=\frac{z}{(z+1)(z-2)}$ en una serie de Laurent valida
Desarrolle $f(z)=\frac{z}{(z+1)(z-2)}$ en una serie de Laurent valida
para el dominio anular dado $0<\mid z+1\mid<3$
para el dominio anular dado $0<\mid z+1\mid<3$
'''Procedimiento'''


el centro de este dominio es $z=-1$  
el centro de este dominio es $z=-1$  
Línea 679: Línea 700:
$f(z)=f_{1}(z)+f_{2}(z)$
$f(z)=f_{1}(z)+f_{2}(z)$


'''Solución'''
entonces:
entonces:


Línea 685: Línea 707:
ademas $0<\mid z+1\mid<3$
ademas $0<\mid z+1\mid<3$


--[[Usuario:Francisco Medina Albino|Francisco Medina Albino]] ([[Usuario discusión:Francisco Medina Albino|discusión]]) 20:43 2 jul 2015 (CDT)
----
----
Realizado por: [[Usuario:Francisco Medina Albino|Francisco Medina Albino]] ([[Usuario discusión:Francisco Medina Albino|discusión]]) 20:43 2 jul 2015 (CDT)
----
=== Ejercicio 19 ===
=== Ejercicio 19 ===


19. Expandir $f(z)=\frac{z}{(z+1)(z-2)}$ en series de Laurent, válida para el dominio anular dado.($1<|z|<2$)
Expandir $f(z)=\frac{z}{(z+1)(z-2)}$ en series de Laurent, válida para el dominio anular dado.($1<|z|<2$)


Solución:
'''Procedimiento'''


$f(z)=\frac{z}{(z+1)(z-2)}$ en fracciones parciales es: $f(z)=\frac{1}{3(z+1)}+\frac{2}{3(z-2)}=\frac{1}{3(z+1)}-\frac{2}{6(1-\frac{z}{2})}$.
$f(z)=\frac{z}{(z+1)(z-2)}$ en fracciones parciales es: $f(z)=\frac{1}{3(z+1)}+\frac{2}{3(z-2)}=\frac{1}{3(z+1)}-\frac{2}{6(1-\frac{z}{2})}$.


Por otra parte : $\frac{1}{z+1}=1-z+z^2+...+(-1)^n z^n+... (|z|<1)$  y  $ \frac{1}{1-\frac{z}{2}}=1-(-\frac{z}{2})+(-(\frac{z}{2}))^2+...+(-1)^n ((-\frac{z}{2}))^n+...(|z|<2)$.
Por otra parte : $\frac{1}{z+1}=1-z+z^2+...+(-1)^n z^n+... (|z|<1)$  y  $ \frac{1}{1-\frac{z}{2}}=1-(-\frac{z}{2})+(-(\frac{z}{2}))^2+...+(-1)^n ((-\frac{z}{2}))^n+...(|z|<2)$.
Línea 701: Línea 725:
Entonces: $ \frac{1}{1+\frac{1}{z}}=1-(\frac{1}{z})+(\frac{1}{z})^2+...+(-1)^n(\frac{1}{z})^n+... \Longrightarrow \frac{1}{z(1+\frac{1}{z})}=(\frac{1}{z})(1-(\frac{1}{z})+(\frac{1}{z})^2+...+(-1)^n(\frac{1}{z})^n+...)=(\frac{1}{z}-(\frac{1}{z})(\frac{1}{z})+(\frac{1}{z})(\frac{1}{z})^2+...+(\frac{1}{z})(-1)^n(\frac{1}{z})^n+...) $. Esta serie converge, pues: ($|z|>1 \Longleftrightarrow |\frac{1}{z}|<1$).
Entonces: $ \frac{1}{1+\frac{1}{z}}=1-(\frac{1}{z})+(\frac{1}{z})^2+...+(-1)^n(\frac{1}{z})^n+... \Longrightarrow \frac{1}{z(1+\frac{1}{z})}=(\frac{1}{z})(1-(\frac{1}{z})+(\frac{1}{z})^2+...+(-1)^n(\frac{1}{z})^n+...)=(\frac{1}{z}-(\frac{1}{z})(\frac{1}{z})+(\frac{1}{z})(\frac{1}{z})^2+...+(\frac{1}{z})(-1)^n(\frac{1}{z})^n+...) $. Esta serie converge, pues: ($|z|>1 \Longleftrightarrow |\frac{1}{z}|<1$).


Por lo tanto: $f(z)=\frac{z}{(z+1)(z-2)}=\frac{1}{3(z+1)}-\frac{2}{6(1-\frac{z}{2})}=\frac{1}{3z(1+\frac{1}{z})}-\frac{1}{3(1-\frac{z}{2})}=(\frac{1}{3})((\frac{1}{z}-(\frac{1}{z})(\frac{1}{z})+(\frac{1}{z})(\frac{1}{z})^2+...+(\frac{1}{z})(-1)^n(\frac{1}{z})^n+...))-(1-(-\frac{z}{2})+(-(\frac{z}{2}))^2+...+(-1)^n ((-\frac{z}{2}))^n+...))$
  '''Conclusión'''


[[Usuario:Alan Daniel Barrón Posadas|Alan Daniel Barrón Posadas]] ([[Usuario discusión:Alan Daniel Barrón Posadas|discusión]]) 19:54 3 jul 2015 (CDT)
Por lo tanto:
$f(z)=\frac{z}{(z+1)(z-2)}=\frac{1}{3(z+1)}-\frac{2}{6(1-\frac{z}{2})}=\frac{1}{3z(1+\frac{1}{z})}-\frac{1}{3(1-\frac{z}{2})}=$
 
$f(z)=\frac{z}{(z+1)(z-2)}=(\frac{1}{3})((\frac{1}{z}-(\frac{1}{z})(\frac{1}{z})+(\frac{1}{z})(\frac{1}{z})^2+...+(\frac{1}{z})(-1)^n(\frac{1}{z})^n+...))-(1-(-\frac{z}{2})+(-(\frac{z}{2}))^2+...+(-1)^n ((-\frac{z}{2}))^n+...))$
 
 
----
 
Realizado por: [[Usuario:Alan Daniel Barrón Posadas|Alan Daniel Barrón Posadas]] ([[Usuario discusión:Alan Daniel Barrón Posadas|discusión]]) 19:54 3 jul 2015 (CDT)
----
----
===Ejercicio 21===
===Ejercicio 21===


Línea 710: Línea 743:




Solucion:
'''Procedimiento'''




Línea 735: Línea 768:


La serie dentro de estos paréntesis converge para $\left| z \right| <1$, pero al multiplicar esta expresión por $\frac { 1 }{ z }$, la serie resultante es
La serie dentro de estos paréntesis converge para $\left| z \right| <1$, pero al multiplicar esta expresión por $\frac { 1 }{ z }$, la serie resultante es
'''Solución'''




Línea 742: Línea 777:
la cual converge para $\quad$ $0<\left| z \right| <1$
la cual converge para $\quad$ $0<\left| z \right| <1$


----
Realizado por: [[Usuario:Miguel Medina Armendariz|Miguel Medina Armendariz]] ([[Usuario discusión:Miguel Medina Armendariz|discusión]]) 16:01 30 jun 2015 (CDT)
----


[[Usuario:Miguel Medina Armendariz|Miguel Medina Armendariz]] ([[Usuario discusión:Miguel Medina Armendariz|discusión]]) 16:01 30 jun 2015 (CDT)
----
===Ejercicio 25===
===Ejercicio 25===


Línea 753: Línea 787:
'''a)''' <math>0<|z|<1</math>
'''a)''' <math>0<|z|<1</math>


'''Solución'''  
'''Solución'''  


Por fracciones parciales podemos reescribir a f(z) como
Por fracciones parciales podemos reescribir a f(z) como
Línea 761: Línea 795:
Donde resolviendo el sistema siguiente para encontrar "a" y "b" tenemos que  
Donde resolviendo el sistema siguiente para encontrar "a" y "b" tenemos que  


<math>a(z-1)+b(z)= 7z-3</math>
$a(z-1)+b(z)= 7z-3$


Por lo que <math>a=3</math> y <math>b=4</math>
Por lo que <math>a=3</math> y <math>b=4</math>
Línea 781: Línea 815:
Tomando una serie geométrica
Tomando una serie geométrica


<math>\frac{4}{z-1}=-4 \frac{1}{1-z}=-4 [ 1+ z+ z^2 +z^3 + ....] </math>
$\frac{4}{z-1}=-4 \frac{1}{1-z}=-4 [ 1+ z+ z^2 +z^3 + ....] $


Lo que esta en paréntesis cuadrados converge cuando <math>|z|<1</math>
Lo que esta en paréntesis cuadrados converge cuando <math>|z|<1</math>


 
'''Solución'''


Ahora tomando la suma  
Ahora tomando la suma  
Línea 796: Línea 830:




--[[Usuario:Pablo|Pablo]] ([[Usuario discusión:Pablo|discusión]]) 19:00 3 jul 2015 (CDT)
----
Realizado por: [[Usuario:Pablo|Pablo]] ([[Usuario discusión:Pablo|discusión]]) 19:00 3 jul 2015 (CDT)
----


----
===Ejercicio 26===
===Ejercicio 26===


Desarrollar $f(z)=\frac{7z-3}{z(z-1)}$ una serie de laurent válida
Desarrollar $f(z)=\frac{7z-3}{z(z-1)}$ una serie de laurent válida
para el dominio anular $0<|z-1|<1$
para el dominio anular $0<|z-1|<1$
'''Procedimiento'''


Entonces se tienen que encontrar dos series, una que converja para
Entonces se tienen que encontrar dos series, una que converja para
Línea 845: Línea 882:
$f_{2}(z)=\frac{4}{z-1}=\frac{1}{z-1}(\frac{4}{1-\frac{1}{z-1}})=\frac{1}{z-1}(4+\frac{4}{z-1}+(\frac{4}{z-1})^{2}+(\frac{4}{z-1})^{3}-(\frac{4}{z-1})^{4}.....)=\frac{4}{z-1}+\frac{4}{(z-1)^{2}}+\frac{4^{2}}{(z-1)^{3}}+\frac{4^{3}}{(z-1)^{4}}.....$
$f_{2}(z)=\frac{4}{z-1}=\frac{1}{z-1}(\frac{4}{1-\frac{1}{z-1}})=\frac{1}{z-1}(4+\frac{4}{z-1}+(\frac{4}{z-1})^{2}+(\frac{4}{z-1})^{3}-(\frac{4}{z-1})^{4}.....)=\frac{4}{z-1}+\frac{4}{(z-1)^{2}}+\frac{4^{2}}{(z-1)^{3}}+\frac{4^{3}}{(z-1)^{4}}.....$


'''Conclusión'''
Entonces  
Entonces  


Línea 852: Línea 890:




--[[Usuario:A. Martín R. Rabelo|A. Martín R. Rabelo]] ([[Usuario discusión:A. Martín R. Rabelo|discusión]]) 05:40 4 jul 2015 (CDT)
----
Realizado por: [[Usuario:A. Martín R. Rabelo|A. Martín R. Rabelo]] ([[Usuario discusión:A. Martín R. Rabelo|discusión]]) 05:40 4 jul 2015 (CDT)


----
----


===Ejercicio 27===
===Ejercicio 27===
Línea 865: Línea 903:
  </math>
  </math>


Solución
'''Procedimiento'''


Procedemos a realizar la división algebraica de la fracción de dicha función y se obtiene como resultado que:
Procedemos a realizar la división algebraica de la fracción de dicha función y se obtiene como resultado que:
Línea 906: Línea 944:


o bien  
o bien  
'''Conclusion'''


:<math>f(z)=f_{1}(z)+f_{2}(z)=\cdots+\frac{2}{(z-2)^{3}}+\frac{2}{(z-2)^{2}}+\frac{2}{z-1}+1+(z-1)
:<math>f(z)=f_{1}(z)+f_{2}(z)=\cdots+\frac{2}{(z-2)^{3}}+\frac{2}{(z-2)^{2}}+\frac{2}{z-1}+1+(z-1)
  </math>  
  </math>  


----
Elaborado por Ricardo García Hernández--[[Usuario:Ricardo Garcia Hernandez|Ricardo Garcia Hernandez]] ([[Usuario discusión:Ricardo Garcia Hernandez|discusión]]) 00:05 2 jul 2015 (CDT)
Elaborado por Ricardo García Hernández--[[Usuario:Ricardo Garcia Hernandez|Ricardo Garcia Hernandez]] ([[Usuario discusión:Ricardo Garcia Hernandez|discusión]]) 00:05 2 jul 2015 (CDT)
----
----
Línea 918: Línea 959:
tiene una serie de Laurent $f(z)={\displaystyle \sum_{k=-\infty}^{\infty}a_{k}(z+2)^{k}}$
tiene una serie de Laurent $f(z)={\displaystyle \sum_{k=-\infty}^{\infty}a_{k}(z+2)^{k}}$
valida en el anillo $r<|z+2|<R$. ¿A qué son iguales $r$ y $R$?
valida en el anillo $r<|z+2|<R$. ¿A qué son iguales $r$ y $R$?
'''Procedimiento'''


Sabemos que el desarrollo en series de Laurente se hace en puntos
Sabemos que el desarrollo en series de Laurente se hace en puntos
donde hay singularidades de alguna funcion dada, en este caso para
donde hay singularidades de alguna función dada, en este caso para
la funcion definida en el problema, los puntos en donde hay singularidades
la función definida en el problema, los puntos en donde hay singularidades
son $z_{0}=-2$ y $z_{1}=4i$, asi tendremos una region que seria
son $z_{0}=-2$ y $z_{1}=4i$, así tendremos una región que seria
como un disco perforado. El punto $z_{0}=-2$ esta a cuatro unidades
como un disco perforado. El punto $z_{0}=-2$ esta a cuatro unidades
de donde queremos hacer nuestra expansion en series de Laurent, mientas
de donde queremos hacer nuestra expansión en series de Laurent, mientas
que para el punto $z_{1}=4i$ calculamos la distancia de $4i$ a el
que para el punto $z_{1}=4i$ calculamos la distancia de $4i$ a el
punto donde queremos hacer nuestra expancion en series.
punto donde queremos hacer nuestra expansión en series.


Sabemos que la distancia esta dada por
Sabemos que la distancia esta dada por
Línea 937: Línea 980:
Por lo tanto $r=4\hspace{1em}y\hspace{1em}R=\sqrt{20}$
Por lo tanto $r=4\hspace{1em}y\hspace{1em}R=\sqrt{20}$


Asi pues el desarrollo en series de Laurent para la funcion $f(z)={\displaystyle \frac{1}{\left(z+2\right)\left(z-4i\right)}}$
Así pues el desarrollo en series de Laurent para la función $f(z)={\displaystyle \frac{1}{\left(z+2\right)\left(z-4i\right)}}$
es valida en el anillo $4<|z-2|<4.47$.
es valida en el anillo $4<|z-2|<4.47$.
El anillo se muestra a continuacion:
El anillo se muestra a continuación:


[[Archivo:31.jpg]]
[[Archivo:31.jpg]]


[[Usuario:Jose Emmanuel Flores Calderón|Jose Emmanuel Flores Calderón]] ([[Usuario discusión:Jose Emmanuel Flores Calderón|discusión]]) 21:01 2 jul 2015 (CDT)
----
 
Realizado por: [[Usuario:Jose Emmanuel Flores Calderón|Jose Emmanuel Flores Calderón]] ([[Usuario discusión:Jose Emmanuel Flores Calderón|discusión]]) 21:01 2 jul 2015 (CDT)
----
----


Línea 979: Línea 1022:
'''Sol.'''  a) La fórmula integral es:
'''Sol.'''  a) La fórmula integral es:


'''Inciso a'''


$a_k=\dfrac{1}{2\pi i}\oint_C \dfrac{f(s)}{(s-z_0)^{k+1}}ds$
$a_k=\dfrac{1}{2\pi i}\oint_C \dfrac{f(s)}{(s-z_0)^{k+1}}ds$
Línea 996: Línea 1041:
b) Si $s=s(\theta)=e^{i\theta}$ entonces $ds=ie^{i\theta}d\theta$. Sustituyendo en $J_k$;
b) Si $s=s(\theta)=e^{i\theta}$ entonces $ds=ie^{i\theta}d\theta$. Sustituyendo en $J_k$;


'''Inciso b'''


$J_k(\alpha)=\dfrac{1}{2\pi i}\oint_C \dfrac{e^{(\alpha /2)(s-1/s)}}{s^{k+1}}ds=\dfrac{1}{2\pi i}\oint_C \dfrac{e^{(\alpha /2)(e^{i\theta}-e^{-i\theta})}}{(e^{i\theta})^{k+1}}ie^{i\theta}d\theta=\dfrac{1}{2\pi}\oint_C \dfrac{e^{\alpha(\dfrac{e^{i\theta}-e^{-i\theta}}{2})}}{e^{i\theta(k+1)}}e^{i\theta}d\theta$
$J_k(\alpha)=\dfrac{1}{2\pi i}\oint_C \dfrac{e^{(\alpha /2)(s-1/s)}}{s^{k+1}}ds=\dfrac{1}{2\pi i}\oint_C \dfrac{e^{(\alpha /2)(e^{i\theta}-e^{-i\theta})}}{(e^{i\theta})^{k+1}}ie^{i\theta}d\theta=\dfrac{1}{2\pi}\oint_C \dfrac{e^{\alpha(\dfrac{e^{i\theta}-e^{-i\theta}}{2})}}{e^{i\theta(k+1)}}e^{i\theta}d\theta$
Línea 1026: Línea 1073:
c) Se tiene que para funciones pares e impares, su integral es
c) Se tiene que para funciones pares e impares, su integral es


'''Inciso c'''


Funciones pares: $f(-x)=f(x)$, entonces $\int_{-a}^{a}f(x)dx=2\int_0^af(x)$
Funciones pares: $f(-x)=f(x)$, entonces $\int_{-a}^{a}f(x)dx=2\int_0^af(x)$
Línea 1059: Línea 1107:
La cual se conoce como la función de Bessel.
La cual se conoce como la función de Bessel.


[[Usuario:Oscar Javier Gutierrez Varela|Oscar Javier Gutierrez Varela]] ([[Usuario discusión:Oscar Javier Gutierrez Varela|discusión]]) 23:46 29 jun 2015 (CDT)
----
 
Realizado por: [[Usuario:Oscar Javier Gutierrez Varela|Oscar Javier Gutierrez Varela]] ([[Usuario discusión:Oscar Javier Gutierrez Varela|discusión]]) 23:46 29 jun 2015 (CDT)
----
----


Línea 1071: Línea 1119:
\[e^{(\alpha /2)(z-1/z)}=\displaystyle\sum_{k=-\infty}^{\infty}J_k(\alpha)z^k\]
\[e^{(\alpha /2)(z-1/z)}=\displaystyle\sum_{k=-\infty}^{\infty}J_k(\alpha)z^k\]


--[[Usuario:Esther Sarai|Esther Sarai]] ([[Usuario discusión:Esther Sarai|discusión]]) 14:18 2 jul 2015 (CDT)Esther Sarai
----
Nota por:[[Usuario:Esther Sarai|Esther Sarai]] ([[Usuario discusión:Esther Sarai|discusión]]) 14:18 2 jul 2015 (CDT)Esther Sarai
----

Revisión actual - 03:09 10 mar 2023


Ejercicios del capítulo 6, sección 3 del libro, A First Course in Complex Analysis with Applications de Zill y Shanahan.



Sección 6.3

Ejercicio 1

Desarrolle la función dada $f(z)=\frac{\cos z}{z}$ en el dominio $0 < |z|$.

Procedimiento

Sabemos que la serie de Maclaurin del coseno es: \[ \cos z=1-\frac{z^2}{2!}+\frac{z^4}{4!}+\ldots=\sum_{k=0}^{\infty}{(-1)^k\frac{z^{2k}}{(2k)!}} \]

Podemos dividir entre $z$, porque el dominio excluye al $0$: \[ f(z)=\frac{\cos z}{z}=\frac{1-\frac{z^2}{2!}+\frac{z^4}{4!}+\ldots}{z}=\frac{\sum_{k=0}^{\infty}{(-1)^k\frac{z^{2k}}{(2k)!}}}{z} \]

Conclusión

\[ f(z)=\sum_{k=0}^{\infty}{(-1)^k\frac{z^{2k-1}}{(2k)!}}=\underbrace{\frac{1}{z}}_{parte\,principal}\overbrace{-\frac{z}{2!}+\frac{z^3}{4!}+\ldots}^{parte\, analítica} \]



Realizado por: Tlacaelel Cruz (discusión) 22:28 29 jun 2015 (CDT)


Comentario

Cabe mencionar que $ f(z)= cos z$ es una función entera y holomorfa por eso es que su desarrollo en serie de Laurent es \[ \cos z=1-\frac{z^2}{2!}+\frac{z^4}{4!}+\ldots=\sum_{k=0}^{\infty}{(-1)^k\frac{z^{2k}}{(2k)!}} \]

y eso nos permite llegar al resultado.


Comentario por: Esther Sarai (discusión) 18:09 1 jul 2015 (CDT)Esther Sarai


Ejercicio 2

Desarrolle la función dada en serie de Laurent válida para el dominio anular dado

$f(z)=\frac{z-sen(z)}{z^{5}}$ , $0<|z|$

Procedimiento

podemos partir la función para un mejor desarrollo

$f(z)=\frac{1}{z^{4}}-\frac{sen(z)}{z^{5}}$

sabemos desarrollar $-sen(z)$, lo hacemos y dividimos entre $z^{5}$

$-sen(z)=-z+\frac{z^{3}}{3!}-\frac{z^{5}}{5!}+\frac{z^{7}}{7!}-\frac{z^{9}}{9!}+...$

$-\frac{sen(z)}{z^{5}}=-\frac{1}{z^{4}}+\frac{1}{z^{2}3!}-\frac{1}{5!}+\frac{z^{2}}{7!}-\frac{z^{4}}{9!}$...

y ahora le sumamos la parte que nos faltaba $\frac{1}{z^{4}}$

Solución

$\frac{1}{z^{4}}-\frac{sen(z)}{z^{5}}=\frac{1}{z^{4}}-\frac{1}{z^{4}}+\frac{1}{z^{2}3!}-\frac{1}{5!}+\frac{z^{2}}{7!}-\frac{z^{4}}{9!}+...=\frac{1}{z^{2}3!}-\frac{1}{5!}+\frac{z^{2}}{7!}-\frac{z^{4}}{9!}+..$.$=\frac{z-sen(z)}{z^{5}}$ , donde $0<|z|$


Realizado por: Juan Daniel Rivera Bautista (discusión) 00:31 3 jul 2015 (CDT)


Ejercicio 3

Desarrolle la función dada en una serie de Laurent válida para el dominio dado

$f\left(z\right)=e^{-\frac{1}{Z^{2}}}$ con $0<\left|z\right|$

Procedimiento

Sabemos que:

$e^{x}=1+z+\frac{z^{2}}{2!}+\frac{z^{3}}{3!}+...$ lo nombramos como ...(1)

Ahora hacemos: $x=-\frac{1}{z^{2}}$ y solo sustituimos en (1) para obtener lo siguiente:

Solución

$f\left(z\right)=1-\frac{1}{z^{2}1!}+\frac{1}{z^{4}2!}-\frac{1}{z^{6}3!}+....$

Y como el cero no incluye el dominio este es nuestro resultado.


Resuelto por Luis Enrique Martínez Valverde (discusión) 17:35 2 jul 2015 (CDT)


Ejercicio 4

Desarrolle la función dada en una serie de Laurent válida para el dominio anular dado

$f(z)=\frac{1-e^{z}}{z^{2}}$, con $0<|z|$

Procedimiento

Primero reescribimos $f(z)$

\[ f(z)=\frac{1-e^{z}}{z^{2}}=\frac{1}{z^{2}}-\frac{e^{z}}{z^{2}} \]


Ahora sabemos en desarrollo de $e^{z}$, si a este ultimo multiplicamos por $\frac{1}{z^{2}}$ queda:

$\frac{e^{z}}{z^{2}}=\frac{1}{z^{2}}+\frac{z}{z^{2}}+\frac{z^{2}}{2!z^{2}}+\frac{z^{3}}{3!z^{2}}+\cdots=\frac{1}{z^{2}}+\frac{1}{z}+\frac{1}{2!}+\frac{z}{3!}+\cdots$


Si la multiplicamos por un signo menos y le sumamos el termino $\frac{1}{z^{2}}$ tenemos entonces:

Solucion

\[ f(z)=\frac{1-e^{z}}{z^{2}}=-[\frac{1}{z}+\frac{1}{2!}+\frac{z}{3!}+\cdots] \]


Que claramente se nota que el cero no pertenece al dominio, siendo este, la única singularidad



Realizado por: Fernando Vazquez V. (discusión) 19:25 3 jul 2015 (CDT)


Ejercicio 5

Expandir la función dada en una serie de Laurent, valida para el dominio anular dado.


$f\left(z\right)=\frac{e^{z}}{z-1}$, $0<\left|z-1\right|$

Procedimiento

Si reescribimos la ecuación anterior, se obtiene:

$\frac{e^{z}}{z-1}=\frac{e^{\left(z+1-1\right)}}{z-1}=-\frac{e^{\left(z+1-1\right)}}{1-z}=-\frac{e^{\left(z-1\right)}e}{1-z}$ ...$\left(1\right)$

Recordando la serie de Maclaurin para $e^{\left(z-1\right)}$:

$e^{\left(z-1\right)}=\left[1+\frac{\left(z-1\right)}{1!}+\frac{\left(z-1\right)^{2}}{2!}+...\right]$...$\left(2\right)$

Entonces la ecuación $\left(1\right)$se convierte en:


Solución

$-\frac{e^{\left(z-1\right)}e}{1-z}=\left[1+\frac{\left(z-1\right)}{1!}+\frac{\left(z-1\right)^{2}}{2!}+...\right]\left[-\frac{e}{1-z}\right]$

$=\frac{e}{1-z}+e+\frac{e\left(z-1\right)}{2\text{!}}+\frac{e\left(z-1\right)^{2}}{3!}+\frac{e\left(z-1\right)^{3}}{4!}+...$



Realizado por: Alejandro Juárez Toribio (discusión) 17:06 1 jul 2015 (CDT)


Ejercicio 6

Desarrolle la función dada en una serie de Laurent valida para el dominio anular dado.

$f(z)=z cos \frac{1}{z}$ , $0<|z|$

Procedimiento

Para este caso conocemos que:

$\cos u= 1 - \frac{u²}{2!}+\frac{u⁴}{4!}+\frac{u⁶}{6!}+......$

Ahora bien si hacemos $u=\frac{1}{z}$tenemos:

$cos \frac{1}{z}= 1 - \frac{1}{z²2!}+\frac{1}{z⁴4!}+\frac{1}{z⁶6!}+......$

Pero nosotros buscamos la serie para $f(z)=z cos \frac{1}{z}$ así que multiplicamos la serie anterior por $z$, así tenemos:


$ z \cos \frac{1}{z}= z - \frac{1}{z2!}+\frac{1}{z³4!}+\frac{1}{z⁵6!}+......$


Solución 

así pues:

$f(z)=z cos \frac{1}{z} = z - \frac{1}{z2!}+\frac{1}{z³4!}+\frac{1}{z⁵6!}+......$ Por lo cual el cero no pertenece al dominio.


Realizado por: Anahi Limas (discusión) 23:22 3 jul 2015 (CDT)


Ejercicio 9

En los problemas 7-12 , ampliar f (z) =$\frac{1}{z(z-3)}$en una serie de Laurent válido para la indicada dominio anular.

Dominio dado: $0\leq\left[z-3\right]\geq3$


Procedimiento

El centro de este dominio , z = 3, es el punto de analiticidad de la función f . Nuestro objetivo ahora es encontrar

dos series que involucren potencias enteras de z- 3, una converge en 1$\leq$<Aviso de LyX: carácter no codificable '∣'>z\textminus 4<Aviso de LyX: carácter no codificable '∣'> y otra converge

para <Aviso de LyX: carácter no codificable '∣'>z\textminus 4<Aviso de LyX: carácter no codificable '∣'>$\geq$3 . Entonces tomo la función y descompongo en fracciones parciales obtenemos:

$f\left(z\right)=\frac{1}{z(z-3)}=\frac{A}{z}+\frac{B}{z-3}$

desarrollando la fracción se tiene

$A(z-3)+Bz=1$

$A+B=0...(1)$

$\text{-}3A=1...(2)$

Resolviendo el sistema de ecuaciones se tiene:

$A=-\frac{1}{3}yB=\frac{1}{3}$

entonces:

$f\left(z\right)=\frac{1}{z(z\text{-}3)}=\frac{-1}{3z}+\frac{1}{3\left(z-3\right)}$

Para la primera fraccion sumando y restando en el denominador +3 y -3 , y factorizando se tiene:

$f1(z)=-1/3z=-1/3(1/z)=-1/3(1/3-3+z)=-1/3(1/3\left[\frac{1}{1+\frac{z-3}{3}}\right])$

$f1(z)=\frac{-1}{3^{2}}\left(\frac{1}{1+\frac{z-3}{3}}\right)...(3)$

el termino

$\frac{1}{1+\frac{z-3}{3}}$

tiene la forma de la serie geométrica:

$\frac{a}{1+z}=1-az+az^{2}.....$

entonces tenemos:

$\frac{1}{1+\frac{z-3}{3}}=1-\frac{(z\text{-}3)}{3}+\frac{(z-3)^{2}}{3^{2}}-\frac{(z\text{-}3)^{3}}{3^{3}}+......$

Sustituyendo en (3) y simplificando se tiene:

$f1(z)=\frac{-1}{3^{2}}\left(1-\frac{(z\text{-}3)}{3}+\frac{(z\text{-}3)^{2}}{3^{2}}-\frac{(z\text{-}3)^{3}}{3^{3}}+......\right)$

$f\left(z\right)=-\frac{1}{3^{2}}+\frac{(z\text{-}3)}{3^{3}}-\frac{(z\text{-}3)^{2}}{3^{4}}+\frac{(z\text{-}3)^{3}}{3^{5}}+......$

Análogamente para la segunda fracción factorizando la z se tiene:

$f1(z)=\frac{1}{3\left(z-3\right)}=1/3(\frac{1}{\left(z-3\right)})=1/3(\frac{1}{\frac{1}{z}\left(1-\frac{3}{z}\right)})=\frac{1}{3}\left(\frac{1}{\frac{1}{z}}\left[\frac{1}{1-\frac{3}{z}}\right]\right).....(4)$

el termino

$\frac{1}{1-\frac{3}{z}}$

tiene la forma de la serie geométrica:

$\frac{a}{1-z}=1+az+az^{2}\text{\textminus\ensuremath{\cdots}}$

entonces tenemos

$\frac{1}{1-\frac{3}{z}}=1+\frac{3}{\left(z\right)}+\frac{3^{2}}{\left(z\right)^{2}}-\frac{3^{3}}{\left(z\right)^{3}}+......$

Sustituyendo en (4) y simplificando se obtiene

$f1(z)=\frac{1}{3}\left(z\left[1+\frac{3}{\left(z\right)}+\frac{3^{2}}{\left(z\right)^{2}}-\frac{3^{3}}{\left(z\right)^{3}}+......\right]\right)$

$f1(z)=\frac{z}{3}+1+\frac{3}{z}+\frac{3^{2}}{\left(z\right)^{2}}+\frac{3^{3}}{z^{3}}......$

Solución

por lo tanto la serie completa esta dada por:

$f\left(z\right)=...\frac{3^{3}}{z^{3}}+\frac{3^{2}}{z^{2}}+\frac{3}{z}+1+\frac{z}{3}-\frac{1}{3^{2}}+\frac{(z-3)}{3^{3}}-\frac{(z-3)^{2}}{3^{4}}+\frac{(z-3)^{3}}{3^{5}}+.....$



Realizado por:Martin Flores Molina (discusión) 13:05 15 mayo 2015 (CDT)


Ejercicio 11

Desarrolle en una serie de Laurent válida para el dominio anular indicado


Procedimiento

El centro de este dominio , z = 4, es el punto de analiticidad de la función f . Nuestro objetivo ahora es encontrar

dos series que involucren potencias enteras de z- 4, una converge en y otra converge

para . Entonces tomando la función y descomponiendo en fracciones parciales obtenemos:

desarrollando la fracción se tiene

Resolviendo el sistema de ecuaciones se tiene:

y

entonces

Para la primera función sumando y restando en el denominador +4 e -4 , y factorizando se tiene:

El término : tiene la forma de la serie geométrica:

Entonces

Sustituyendo en (3) y simplificando se tiene:

Análogamente para la segunda función y reduciéndonos pasos obtenemos:

El término : tiene la forma de la serie geometrica:

Entonces

Sustituyendo en (4) y simplificando se obtiene

Conclusión

Elaborado por Ricardo García Hernández--Ricardo Garcia Hernandez (discusión) 13:30 30 jun 2015 (CDT)


Ejercicio 12

Desarrolle $f(z)=\frac{1}{z\left(z-3\right)}$ en una serie de Laurent válida para el dominio anular $1<|z+1|<4$


Procedimiento


El domino anular especificado se muestra en la figura. El centro de este dominio, z = -1, es el punto de analiticidad de la función $f$. Nuestro objetivo ahora es encontrar dos series que involucren potencias enteras de z+1, una converge para $1<|z+1|$ y la otra converge para $|z+1|<4$. Entonces con la descomposición de $f$ en fracciones parciales :

Imagen del ejercicio 12.


\[ f(z)=\frac{1}{z\left(z-3\right)}=\frac{A}{z}+\frac{B}{z-3}=\frac{A \left(z-3\right)+B z}{z (z-3) }= \frac{Az -3A+Bz}{z\left(z-3\right)}= \frac{\left(A+B\right)z -3A}{z\left(z-3\right)} \]

\[ z: A+B=0 \]

\[ C: -3A=1 \Rightarrow A=-\frac{1}{3} \]

\[ B=-A \Rightarrow =-\left(-\frac{1}{3}\right)=\frac{1}{3} \]


Así,

\[ f(z)=\frac{1}{z\left(z-3\right)}=-\frac{1}{3z}+\frac{1}{3\left(z-3\right)}=f_{1}(z)+f_{2}(z) \]

Para $f_{1}(z)$ sumo y resto en el denominador $+1$ y $-1$ , y factorizando, tengo:

\[ f_{1}(z)=-\frac{1}{3z}=-\frac{1}{3}\left(\frac{1}{z}\right)=-\frac{1}{3}\left(\frac{1}{1-1+z}\right)=-\frac{1}{3}\left(-\frac{1}{1}\left[\frac{1}{1-\frac{z+1}{1}}\right]\right) \]

\[ f_{1}(z)=-\frac{1}{3} \cdot -\frac{1}{1}\left[\frac{1}{1-\frac{z+1}{1}}\right] \]

El término : \[ \left[\frac{1}{1-\frac{z+1}{1}}\right] \]

Tiene la forma de la serie geométrica:

\[ \frac{a}{1-z}= 1 + az + az^{2}+ \cdots \]

Entonces

\[ \frac{1}{1-\frac{z-1}{1}} = 1 + \frac{\left(z+1\right)}{1} + \frac{(z+1)^{2}}{1^{2}}+\frac{\left(z+1\right)^{3}}{1^{3}}+\cdots \]

Sustituyendo y simplificando se tiene:

\[ f_{1}(z)=-\frac{1}{3} \cdot \left(-\frac{1}{1}\right) \left(1+\frac{(z+1)}{1}+\frac{\left(z+1\right)^{2}}{1^{2}}+\frac{(z+1)^{3}}{1^{3}}+\cdots\right) \]

\[ f_{1}(z)=\frac{1}{3}+\frac{(z-1)}{3 \cdot 1^{2}}+\frac{\left(z+1\right)^{2}}{3 \cdot 1^{3}}+\frac{(z+1)^{3}}{3 \cdot 1^{4}}+ \cdots = \frac{1}{3} + \frac{(z+1)}{3} + \frac{(z+1)^{2}}{3}+ \frac{(z+1)^{3}}{3} + \cdots \]


Análogamente para $f_{2}(z)$, obtenemos:

\[ f_{2}(z)=\frac{1}{3(z-3)}=\frac{1}{3}\left(\frac{1}{z-3}\right)=\frac{1}{3}\left(\frac{1}{z-3-1+1}+\right)=\frac{1}{3} \left(\frac{1}{z+1} \cdot \left[ \frac{1}{ 1-\frac{4}{z+1}}\right] \right) \]

El término

\[ \left[\frac{1}{1-\frac{4}{z+1}}\right] \]

Tiene la forma de la serie geométrica:

\[ \frac{a}{1-z}=1+az+az^{2}+ \cdots \]

Entonces

\[ \frac{1}{1-\frac{4}{z+1}}=1+\frac{4}{z+1}+\frac{4^{2}}{(z+1)^{2}}+ \frac{4^3}{(z+1)^{3}}+\cdots \]

Sustituyendo y simplificando:

\[ f_{2}(z)= \frac{1}{3} \left(\frac{1}{z+1} \right) \left( 1+\frac{4}{z+1}+\frac{4^{2}}{(z+1)^{2}}+ \frac{4^3}{(z+1)^{3}}+\cdots \right) \]

\[ f_{2}(z)= \frac{1}{3(z+1)}+ \frac{4}{3(z+1)^{2}}+\frac{4^{2}}{3(z+1)^3}-\frac{4^{3}}{(z+1)^{4}}+ \cdots \]

Conclusión

\[ f(z) = f_{1}(z)+f_{2}(z) = \frac{1}{3(z+1)}+ \frac{4}{3(z+1)^{2}}+\frac{4^{2}}{3(z+1)^3}-\frac{4^{3}}{(z+1)^{4}}+ \frac{1}{3} + \frac{(z+1)}{3} + \frac{(z+1)^{2}}{3}+ \frac{(z+1)^{3}}{3}+ \cdots \]



Realizado por: Emmanuell Castro Flores (discusión) 01:16 3 jul 2015 (CDT)


Ejercicio 13

Desarrollar $f(z)=\frac{1}{(z+1)(z-2)}$ en una serie de Laurent válida para el dominio anular $1<|z|<2$

Procedimiento

Primero desarrollamos las fracciones parciales de nuestra función para poder evaluar...

$f(z)=\frac{1}{(z-1)(z-2)}=\frac{A}{z-1}+\frac{B}{z-2}$

Entonces

$f(z)=\frac{1}{(z-1)(z-2)}=\frac{A(z-2)+B(z-1)}{(z-1)(z-2)}$

Desarrollando tenemos que resolver el siguiente sistema de ecuaciones donde:

$A(z-2)+B(z-1)=1$

$Az-2A+Bz-B=1$

$(A+B)z-2A-B=1$

De donde podemos llegar a la conjetura que:

$A+B=0$

$-2A-B=1$

$\Longrightarrow A=-B$

$\therefore2B-B=1=B$

Entonces como $B=1$

$A=-1$

Por lo tanto:

$f(z)=\frac{1}{(z-1)(z-2)}=\frac{-1}{z-1}+\frac{1}{z-2}$

entonces, de aquí podemos decir que:

$\frac{-1}{z-1}+\frac{1}{z-2}=f_{1}(z)+f_{2}(z)$

Entonces para $f_{1}(z)$ tenemos que:

$f_1(z)=-\frac{1}{z-1}=-\frac{1}{z}\left (\frac{1}{1-\frac{1}{z}} \right )$

Usando que:

$\frac{1}{1-u}=1+u+u^2+...$

Donde $u=\frac{1}{z}$

Valida para el dominio $|u|< 1$ esto es: $\left | \frac{1}{z} \right |< 1$

Valida para el dominio $1<|z|$

Podemos escribir:

$\frac{1}{1-\frac{1}{z}}=1+\frac{1}{z}+\left (\frac{1}{z} \right )^{2}+...$

$f_1(z)=-\frac{1}{z}\left (1+\frac{1}{z}+\left (\frac{1}{z} \right )^{2}+... \right )$

Haciendo lo mismo para $f_2$

$f_2(z)=\frac{1}{z-2}=-\frac{1}{2}\left (\frac{1}{1-\frac{z}{2}} \right )$

Pero ahora $u=\frac{z}{2}$

El dominio ahora es valido para $|z|< 2$

Y escribiendo $f_2$ en serie:

$f_2(z)=\frac{1}{z-2}=-\frac{1}{2}\left (\frac{1}{1-\frac{z}{2}} \right )$

$f_2(z)=-\frac{1}{2}\left (1+ \frac{z}{2} +\left (\frac{z}{2} \right )^{2} \right )$

Por lo que la función puede escribirse como:

Solución

$f(z)=...-\left ( \frac{1}{z} \right )^{3}-\left ( \frac{1}{z} \right )^{2}-\left ( \frac{1}{z} \right )-\frac{1}{2}-\frac{1}{2}\left (\frac{z}{2} \right )-\frac{1}{2}\left (\frac{z}{2} \right )^{2}-...$

Valido para el dominio angular que comparten la suma, esto es:

$1< |z|< 2$


Re elaborado por Manuel Rodríguez


Ejercicio 15

Desarrolle $ f(z)= \dfrac{1}{(z-1)(z-2)}$ en una serie de Laurent valida para el dominio anular dado.

\[ 0<|z-1|<1\]


Sea $u= z-1$

Debido a que el termino z resulta ser nagativo

\[ \dfrac{1}{u(u-1)}= \dfrac{-1}{u}(-1,-z-1,-(z-1)^{2}-...)\]

La serie es valida para $u \neq 0$ y $|u|<1$



Realizado por:Esther Sarai (discusión) 19:43 30 jun 2015 (CDT)Esther Sarai


Nota: Dado que $u=z-1$, así $f(u)=\dfrac{1}{u(u-1)}=-\dfrac{1}{u(1-u)}$. Expandimos el término $\dfrac{1}{1-u}$ en serie geométrica


$\dfrac{1}{1-u}=1+u+u^2+u^3+...$


Sustituimos y volvemos a la variable original


$f(u)=-\dfrac{1}{u}[1+u+u^2+u^3+...]$


$f(z)=-\dfrac{1}{z-1}[1+(z-1)+(z-1)^2+(z-1)^3+...]=-\dfrac{1}{z-1}-1-(z-1)-(z-1)^2-...=-\dfrac{1}{z-1}-1-z+1-(z-1)^2-...=-\dfrac{1}{z-1}-z-(z-1)^2-...$


y dado que el dominio anular está centrado en $z=1$ es su punto de analiticidad de la función, se tiene que la serie está definida para todo el dominio anular.


Realizado por: Oscar Javier Gutierrez Varela (discusión) 22:48 3 jul 2015 (CDT)


Ejercicio 17

Desarrolle $f(z)=\frac{z}{(z+1)(z-2)}$ en una serie de Laurent valida para el dominio anular dado $0<\mid z+1\mid<3$

Procedimiento

el centro de este dominio es $z=-1$

por fracciones parciales:

$f(z)=\frac{z}{(z+1)(z-2)}=\frac{1}{3(z+1)}+\frac{2}{3(z-2)}=f_{1}(z)+f_{2}(z)$

analizando $f_{1}(z)$

$f_{1}(z)=\frac{1}{3(z+1)}=\frac{1}{3}\frac{1}{(z+1)}=\frac{1}{3}\left[\frac{1}{z+1}\right]$

esta expresión converge para $\mid z+1\mid>0$

ahora analizando $f_{2}(z)$

$f_{2}(z)=\frac{2}{3(z-2)}$=$\frac{2}{3}\frac{1}{(z-2)}=\frac{2}{3}\left[\frac{1}{-3+z+1}\right]=\frac{2}{-(3)^{2}}\left[\frac{1}{1+\frac{z+1}{-3}}\right]$

escribiendo $\frac{1}{1+\frac{z+1}{-3}}$ como una serie:

$f_{2}(z)=\frac{2}{-(3)^{2}}\left[1-\frac{z+1}{-3}+\frac{(z+1)^{2}}{(-3)^{2}}-\frac{(z+1)^{3}}{(-3)^{3}}+\cdots\right]=-\frac{2}{3^{2}}-\frac{2(z+1)}{3^{3}}-\frac{2(z+1)^{2}}{3^{4}}-\frac{2(z+1)^{3}}{3^{5}}-\cdots$

esta serie converge para $\mid z+1\mid<3$,

como:

$f(z)=f_{1}(z)+f_{2}(z)$

Solución

entonces:

$f(z)=\frac{1}{3}\left[\frac{1}{z+1}\right]+(-\frac{2}{3^{2}}-\frac{2(z+1)}{3^{3}}-\frac{2(z+1)^{2}}{3^{4}}-\frac{2(z+1)^{3}}{3^{5}}-\cdots)=\frac{1}{3(z+1)}-\frac{2}{3^{2}}-\frac{2(z+1)}{3^{3}}-\frac{2(z+1)^{2}}{3^{4}}-\frac{2(z+1)^{3}}{3^{5}}-\cdots$

ademas $0<\mid z+1\mid<3$


Realizado por: Francisco Medina Albino (discusión) 20:43 2 jul 2015 (CDT)


Ejercicio 19

Expandir $f(z)=\frac{z}{(z+1)(z-2)}$ en series de Laurent, válida para el dominio anular dado.($1<|z|<2$)

Procedimiento

$f(z)=\frac{z}{(z+1)(z-2)}$ en fracciones parciales es: $f(z)=\frac{1}{3(z+1)}+\frac{2}{3(z-2)}=\frac{1}{3(z+1)}-\frac{2}{6(1-\frac{z}{2})}$.

Por otra parte : $\frac{1}{z+1}=1-z+z^2+...+(-1)^n z^n+... (|z|<1)$ y $ \frac{1}{1-\frac{z}{2}}=1-(-\frac{z}{2})+(-(\frac{z}{2}))^2+...+(-1)^n ((-\frac{z}{2}))^n+...(|z|<2)$.

Note que la serie $ \frac{1}{1-\frac{z}{2}}=1-(-\frac{z}{2})+(-(\frac{z}{2}))^2+...+(-1)^n ((-\frac{z}{2}))^n+...(|z|<2)$ converge en este anillo, pero la serie $\frac{1}{z+1}=1-z+z^2+...+(-1)^n z^n+... (|z|<1)$ diverge en $|z|>1$.

Entonces: $ \frac{1}{1+\frac{1}{z}}=1-(\frac{1}{z})+(\frac{1}{z})^2+...+(-1)^n(\frac{1}{z})^n+... \Longrightarrow \frac{1}{z(1+\frac{1}{z})}=(\frac{1}{z})(1-(\frac{1}{z})+(\frac{1}{z})^2+...+(-1)^n(\frac{1}{z})^n+...)=(\frac{1}{z}-(\frac{1}{z})(\frac{1}{z})+(\frac{1}{z})(\frac{1}{z})^2+...+(\frac{1}{z})(-1)^n(\frac{1}{z})^n+...) $. Esta serie converge, pues: ($|z|>1 \Longleftrightarrow |\frac{1}{z}|<1$).

 Conclusión

Por lo tanto: $f(z)=\frac{z}{(z+1)(z-2)}=\frac{1}{3(z+1)}-\frac{2}{6(1-\frac{z}{2})}=\frac{1}{3z(1+\frac{1}{z})}-\frac{1}{3(1-\frac{z}{2})}=$

$f(z)=\frac{z}{(z+1)(z-2)}=(\frac{1}{3})((\frac{1}{z}-(\frac{1}{z})(\frac{1}{z})+(\frac{1}{z})(\frac{1}{z})^2+...+(\frac{1}{z})(-1)^n(\frac{1}{z})^n+...))-(1-(-\frac{z}{2})+(-(\frac{z}{2}))^2+...+(-1)^n ((-\frac{z}{2}))^n+...))$



Realizado por: Alan Daniel Barrón Posadas (discusión) 19:54 3 jul 2015 (CDT)


Ejercicio 21

Desarrolle $f(z)=\frac{1}{z(1-z)^{2}}$ en una serie de Laurent valida para el dominio anular dado $0<\left| z \right| <1$


Procedimiento


Para este caso queremos queremos representar a $f$ con una serie que solo involucre potencias enteras negativas y no negativas de $z$


Reescribiendo a $f(z)$


$f(z)=\frac{1}{z(1-z)^{2}}=\frac { 1 }{ z } \quad \frac { 1 }{ { (1-z) }^{ 2 } } $


Podemos escribir $(1-z)^{-2}$ como una serie


$(1-z)^{-2}\approx 1-2z+{ 3z }^{ 2 }+{ 4z }^{ 3 }+{ 5z }^{ 4 }+.............$


Entonces $f(z)$ seria


$f(z)=\frac { 1 }{ z } \quad (1+2z+3{ z }^{ 2 }+4{ z }^{ 3 }+5{ z }^{ 4 }+..............)$


La serie dentro de estos paréntesis converge para $\left| z \right| <1$, pero al multiplicar esta expresión por $\frac { 1 }{ z }$, la serie resultante es

Solución


$f(z)=\frac { 1 }{ z } +2+3z+4{ z }^{ 2 }+5{ z }^{ 3 }+........$


la cual converge para $\quad$ $0<\left| z \right| <1$


Realizado por: Miguel Medina Armendariz (discusión) 16:01 30 jun 2015 (CDT)


Ejercicio 25

Desarrolle la función en una serie de Laurent válida para para el dominio anulador dado

a)

Solución 

Por fracciones parciales podemos reescribir a f(z) como

Donde resolviendo el sistema siguiente para encontrar "a" y "b" tenemos que

$a(z-1)+b(z)= 7z-3$

Por lo que y

</math>


Ahora para el caso de , tenemos que

Tenemos que converge cuando z es muy grande, en otras palabras converge cuando|z|>0.

Ahora para


Tomando una serie geométrica

$\frac{4}{z-1}=-4 \frac{1}{1-z}=-4 [ 1+ z+ z^2 +z^3 + ....] $

Lo que esta en paréntesis cuadrados converge cuando

Solución

Ahora tomando la suma

Converge la función anterior cuando y cuando

Por lo que converge cuando



Realizado por: Pablo (discusión) 19:00 3 jul 2015 (CDT)


Ejercicio 26

Desarrollar $f(z)=\frac{7z-3}{z(z-1)}$ una serie de laurent válida para el dominio anular $0<|z-1|<1$

Procedimiento

Entonces se tienen que encontrar dos series, una que converja para $0<|z-1|$ y otra que converja para $|z-1|<1$

Separando en fracciones parciales tenemos que:

$f(z)=\frac{7z-3}{z(z-1)}=\frac{A}{z}+\frac{B}{z-1}=\frac{A(z-1)-B(z)}{z(z-1)}$

de donde tenemos que :

$Az-A+Bz=7z-3$

$\Longrightarrow(A+B)z-A=7z-3$

y obteniendo el sistema de ecuaciones:

$A+B=7$

$-A=-3$

Por lo tanto $B=4$

Y queda de la forma:

$f(z)=\frac{7z-3}{z(z-1)}=\frac{3}{z}+\frac{4}{z-1}$

Que podemso escribir como:

$f(z)=\frac{7z-3}{z(z-1)}=\frac{3}{z}-\frac{4}{1-z}=f_{1}(z)+f_{2}(z)$

De donde

$f_{1}(z)=\frac{3}{z}=\frac{3}{1+z-1}=3-3(z-1)+9(z-1)^{2}-27(z-1)^{3}.....$

y también tenemos que:

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

Por lo tanto

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

Conclusión

Entonces

$f(z)=f_{1}(z)+f_{2}(z)=\frac{4^{2}}{(z-1)^{3}}+\frac{4}{(z-1)^{2}}+\frac{4}{z-1}+3-3(z-1)+9(z-1)^{2}-27(z-1)^{3}....$

La cual es un serie que converge en $0<|z-1|<1$



Realizado por: A. Martín R. Rabelo (discusión) 05:40 4 jul 2015 (CDT)


Ejercicio 27

Desarrolle :

en una serie de Laurent válida para el dominio anular dado

Procedimiento

Procedemos a realizar la división algebraica de la fracción de dicha función y se obtiene como resultado que:

Para

se tiene:

donde

entonces

y por otro lado, la serie geométrica de “z” esta dada por z-1 , y dado que el ejercicio nos índica que la serie de Laurent es válida

para valores mayores de 1, con centro en 1, obtenemos que la serie se limita a tener dos terminos:_

port lo tanto

o bien

Conclusion

Elaborado por Ricardo García Hernández--Ricardo Garcia Hernandez (discusión) 00:05 2 jul 2015 (CDT)


Ejercicio 31

La funcion $f(z)={\displaystyle \frac{1}{\left(z+2\right)\left(z-4i\right)}}$ tiene una serie de Laurent $f(z)={\displaystyle \sum_{k=-\infty}^{\infty}a_{k}(z+2)^{k}}$ valida en el anillo $r<|z+2|<R$. ¿A qué son iguales $r$ y $R$?

Procedimiento

Sabemos que el desarrollo en series de Laurente se hace en puntos donde hay singularidades de alguna función dada, en este caso para la función definida en el problema, los puntos en donde hay singularidades son $z_{0}=-2$ y $z_{1}=4i$, así tendremos una región que seria como un disco perforado. El punto $z_{0}=-2$ esta a cuatro unidades de donde queremos hacer nuestra expansión en series de Laurent, mientas que para el punto $z_{1}=4i$ calculamos la distancia de $4i$ a el punto donde queremos hacer nuestra expansión en series.

Sabemos que la distancia esta dada por

\[ d=\sqrt{4^{2}+2^{2}}=\sqrt{20}\backsimeq4.47 \]


Por lo tanto $r=4\hspace{1em}y\hspace{1em}R=\sqrt{20}$

Así pues el desarrollo en series de Laurent para la función $f(z)={\displaystyle \frac{1}{\left(z+2\right)\left(z-4i\right)}}$ es valida en el anillo $4<|z-2|<4.47$. El anillo se muestra a continuación:

31.jpg


Realizado por: Jose Emmanuel Flores Calderón (discusión) 21:01 2 jul 2015 (CDT)


Ejercicio 34

Considerar la función $f(z)=e^{(\alpha /2)(z-1/z)}$ donde $\alpha$ es una constante real.

a) Utilice la fórmula integral del Teorema de Laurent que el desarrollo en serie de Laurent de $f$ alrededor de $z_0=0$ es:


$e^{(\alpha /2)(z-1/z)}=\displaystyle\sum_{k=-\infty}^{\infty}J_k(\alpha)z^k$

donde

$J_k(\alpha)=\dfrac{1}{2\pi i}\oint_C\dfrac{e^{(\alpha /2)(s-1/s)}}{s^{k+1}}ds$


y C es la circunferencia unitaria.


b) Utilice la parametrización $s(\theta)=e^{i\theta}$, $-\pi \leq \theta \leq \pi$ de $C$ para demostrar que:


$J_k(\alpha)=\dfrac{1}{2\pi}\int_{-\pi}^{\pi}\cos (\alpha \sin (\theta) -k\theta)d\theta + \dfrac{i}{2\pi}\int_{-\pi}^{\pi}\sin (\alpha \sin (\theta) -k\theta)d\theta$


c) Utilizando las propiedades de las integrales de las funciones pares e impares simplifique el resultado del inciso (b) para obtener:


$J_k(\alpha)=\dfrac{1}{\pi}\int_{0}^{\pi}\cos (\alpha \sin (\theta) -k\theta)d\theta$


Sol. a) La fórmula integral es:


Inciso a

$a_k=\dfrac{1}{2\pi i}\oint_C \dfrac{f(s)}{(s-z_0)^{k+1}}ds$


Si $f(s)=e^{(\alpha /2)(s-1/s)}$ y $z_0=0$, sustituimos:


$a_k=\dfrac{1}{2\pi i}\oint_C \dfrac{f(s)}{(s-z_0)^{k+1}}ds=\dfrac{1}{2\pi i}\oint_C \dfrac{e^{(\alpha /2)(s-1/s)}}{s^{k+1}}ds=J_k(\alpha)$


Por lo tanto, sustituyendo:

$f(z)=e^{(\alpha /2)(z-1/z)}=\displaystyle\sum_{k=-\infty}^{\infty}a_kz^k=\displaystyle\sum_{k=-\infty}^{\infty}\dfrac{1}{2\pi i}\oint_C \dfrac{e^{(\alpha /2)(s-1/s)}}{(s-z_0)^{k+1}}dsz^k=\displaystyle\sum_{k=-\infty}^{\infty}J_k(\alpha)z^k$


b) Si $s=s(\theta)=e^{i\theta}$ entonces $ds=ie^{i\theta}d\theta$. Sustituyendo en $J_k$;


Inciso b

$J_k(\alpha)=\dfrac{1}{2\pi i}\oint_C \dfrac{e^{(\alpha /2)(s-1/s)}}{s^{k+1}}ds=\dfrac{1}{2\pi i}\oint_C \dfrac{e^{(\alpha /2)(e^{i\theta}-e^{-i\theta})}}{(e^{i\theta})^{k+1}}ie^{i\theta}d\theta=\dfrac{1}{2\pi}\oint_C \dfrac{e^{\alpha(\dfrac{e^{i\theta}-e^{-i\theta}}{2})}}{e^{i\theta(k+1)}}e^{i\theta}d\theta$


Con la definición del seno complejo $i\sin \theta =\dfrac{e^{i\theta}-e^{-i\theta}}{2}$, sustituimos


$J_k(\alpha)=\dfrac{1}{2\pi}\oint_C \dfrac{e^{\alpha(i\sin \theta)}}{e^{i\theta(k+1)}}e^{i\theta}d\theta=\dfrac{1}{2\pi i}\oint_C e^{i\alpha\sin \theta}e^{i\theta}e^{-i\theta(k+1)}d\theta=\dfrac{1}{2\pi}\oint_Ce^{i\alpha\sin \theta}e^{i\theta (1-k-1)}d\theta=\dfrac{1}{2\pi}\oint_Ce^{i\alpha\sin \theta}e^{-ik\theta}d\theta=\dfrac{1}{2\pi}\oint_Ce^{i(\alpha\sin \theta-k\theta)}d\theta$


De la identidad de Euler tenemos:


$e^{i(\alpha\sin \theta-k\theta)}=\cos (\alpha\sin \theta-k\theta)+i\sin (\alpha\sin \theta-k\theta)$


Sustituyendo


$J_k(\alpha)=\dfrac{1}{2\pi}\oint_C[\cos (\alpha\sin \theta-k\theta)+i\sin (\alpha\sin \theta-k\theta)]d\theta$


Nos dicen que la curva $C$ es la circunferencia unitaria y va de $-\pi \leq \theta \leq \pi$, por lo que sustituyendo límites:


$J_k(\alpha)=\dfrac{1}{2\pi}\int_{-\pi}^{\pi}\cos (\alpha\sin \theta-k\theta)d\theta+\dfrac{i}{2\pi}\int_{-\pi}^{\pi}\sin (\alpha\sin \theta-k\theta)d\theta$


c) Se tiene que para funciones pares e impares, su integral es

Inciso c

Funciones pares: $f(-x)=f(x)$, entonces $\int_{-a}^{a}f(x)dx=2\int_0^af(x)$


Funciones impares: $f(-x)=-f(x)$, entonces $\int_{-a}^{a}f(x)dx=0$


La función seno es impar, por lo que considerando $a=\pi$ se tiene que su integral será cero


$\int_{-\pi}^{\pi}\sin (\alpha\sin \theta-k\theta)d\theta=0$


La función coseno es par, por lo que igualmente considerando a $a=\pi$ tenemos que la integral es


$\int_{-\pi}^{\pi}\cos (\alpha\sin \theta-k\theta)d\theta=2\int_{0}^{\pi}\cos (\alpha\sin \theta-k\theta)d\theta$


Sustituyendo expresiones;


$J_k(\alpha)=\dfrac{2}{2\pi}\int_{0}^{\pi}\cos (\alpha\sin \theta-k\theta)d\theta=\dfrac{1}{\pi}\int_{0}^{\pi}\cos (\alpha\sin \theta-k\theta)d\theta$


Por lo que hemos demostrado que


$J_k(\alpha)=\dfrac{1}{\pi}\int_{0}^{\pi}\cos (\alpha\sin \theta-k\theta)d\theta$


La cual se conoce como la función de Bessel.


Realizado por: Oscar Javier Gutierrez Varela (discusión) 23:46 29 jun 2015 (CDT)



NOTA: El problema es una forma de demostrar que pasa en $z\neq 0$. Ya que en el punto $z=0 $ tenemos la única singularidad finita de la función $e^{(\alpha /2)(z-1/z)}$, y es por eso que utilizamos el desarrollo enserie de Laurent de la siguiente forma.


\[e^{(\alpha /2)(z-1/z)}=\displaystyle\sum_{k=-\infty}^{\infty}J_k(\alpha)z^k\]


Nota por:Esther Sarai (discusión) 14:18 2 jul 2015 (CDT)Esther Sarai