CAPITULO III: VARIABLE COMPLEJA

Clculo superior ESIQIE-IPN

Capitulo III

VARIABLE COMPLEJA
3.1 Nmeros complejos
El sistema numrico, tal como se conoce, es el resultado de una evolucin gradual, tal como se indica en la siguiente descripcin: 1. Los nmeros naturales, 1, 2, 3, 4,, o enteros positivos, fueron usados primero para contar. Los smbolos han cambiado con las pocas, pues los romanos, por ejemplo, utilizaban I, II, III, IV,. La suma y el producto o de dos nmeros naturales y son tambin nmeros naturales, lo cual se suele expresar diciendo que el conjunto de los nmeros naturales es cerrado respecto de las operaciones de adicin, multiplicacin, o que cumple la propiedad de clausura con relacin a stas operaciones. 2. Los nmeros negativos y el cero, denotados por -1, -2, -3, y 0, respectivamente, que permiten resolver ecuaciones como con y naturales, llevan a la operacin de sustraccin o inversa de la adicin, que se escribe . El conjunto de los enteros positivos y negativos con el cero se llama el conjunto de los enteros y es cerrado bajo las operaciones de adicin, multiplicacin y sustraccin. 3. Los nmeros racionales o fracciones, tales como , ,permiten resolver ecuaciones de la forma para enteros cualesquiera y , con , los cuales conducen a la operacin de divisin o inversa de la multiplicacin, que se representa como o (llamado el cociente de y ) donde es el numerador y el denominador. El conjunto de los enteros es un subconjunto de los nmeros racionales, puesto que los enteros corresponden a los nmeros racionales con . El conjunto de nmeros racionales es cerrado bajo las operaciones de adicin, sustraccin, multiplicacin y divisin, excluyendo la divisin por cero. 4. Los nmeros irracionales, tales como y son nmeros que no son racionales, es decir, no pueden ser expresados como , donde y son enteros y . El conjunto de nmeros racionales e irracionales es llamado el conjunto de los nmeros reales. 5. Los nmeros complejos. No existe un nmero real que satisfaga la ecuacin polinmica . Para resolver ste tipo de ecuaciones, es necesario introducir los nmeros complejos.

3.1.1 Definicin de nmeros complejos

Los nmeros complejos, denotados por la letra , se definen como pares ordenados: ( ) AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012 133

CAPITULO III: VARIABLE COMPLEJA

Clculo superior ESIQIE-IPN

de nmeros reales y , los cuales indican una parte real y una parte imaginaria de respectivamente. Lo anterior puede ser escrito como: de lo anterior se deduce que los nmeros complejos de la forma ( imaginarios puros. Otra simbologa1 utilizada para definir a los nmeros complejos es: Los nmeros complejos ( ) ( ). y son iguales, ) se llaman nmeros

, si

( )

( ) y

3.1.2 Representacin geomtrica

( ) Es comn asociar el nmero complejo , con un punto en el plano cartesiano, cuyas coordenadas son y . Cada nmero complejo corresponde slo a un punto y recprocamente. El plano se denomina plano complejo o plano , de donde el eje recibe el nombre de eje real y el eje el de eje imaginario. Por ejemplo el nmero est representado ) como lo muestra la Figura 1. Como se puede ver en la misma figura, el nmero por el punto ( complejo se le puede asemejar a un vector, en ste caso con componentes y y mdulo o valor absoluto | |, definido como: | |

||

4 -2

Figura 1. Representacin esquemtica del nmero complejo

Algunos autores utilizan la letra para designar a la parte imaginaria.

AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012

134

CAPITULO III: VARIABLE COMPLEJA

Clculo superior ESIQIE-IPN

3.1.3. Operaciones fundamentales, propiedades y leyes con nmeros complejos

Tenindose dos nmeros complejos; 1. Adicin o suma ( 2. Sustraccin o resta ( 3. Multiplicacin ( de donde: 4. Divisin ( ( ( ) ) )( ( ( )( ) ( ) )( ) ) ) ( ) ( ) ( ) ) ( ) ( ) ( ) ) ( ) ( ) ( ) y , sus operaciones fundamentales son:

) ( ) (

Si a) | b) | | c) | d) | |
| |

son nmeros complejos, son vlidas las siguientes propiedades y leyes: | || | o | | | || | | |

| |

si | | | | | |o| | |o| y | | | | | | | | | | | |

| |

e) Ley de la clausura f)

pertenecen al conjunto de los nmeros complejos

Ley conmutativa de la adicin ( ) ( )

g) Ley asociativa de la adicin

h) Ley conmutativa de la multiplicacin i) j) k) Ley asociativa de la multiplicacin Ley distributiva ( ) ( ) ( )

, 0 es llamado el elemento neutro o idntico de la adicin, y 1 es llamado el elemento neutro o idntico de la multiplicacin.

AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012

135

CAPITULO III: VARIABLE COMPLEJA

l) Para cualquier nmero complejo nmeros complejos tal que a la adicin y es denotado por .

Clculo superior ESIQIE-IPN , existe un nmero nico en el conjunto de los se llama el opuesto (o recproco) de con respecto

m) Si es un nmero complejo, entonces el nmero que se obtiene al cambiar el signo de su parte imaginaria se denomina complejo conjugado; simbolizado por , por ejemplo: si , entonces . De Ia definicin de suma se demuestra fcilmente que el conjugado de una suma de dos nmeros complejos es Ia suma de los conjugados: Adems se tienen las siguientes propiedades: ( ) Las definiciones de suma y multiplicacin muestran que la suma y el producto de un nmero complejo y su conjugado son tambin nmeros reales: ) ( ) ( )( ) ( ) ( ) ( ( ) y ( ) y combinando la suma y diferencia de y se tienen las Como siguientes frmulas: ( ) ( ) y n) Para cualquier , existe un nmero nico en el conjunto de los nmeros complejos ta que ; se llama el inverso (o recproco) de con respecto a la multiplicacin y es denotado por o . Ejemplo: Si y , encuentre: y Sumando las partes imaginarias y reales de los dos nmeros, se obtiene: ( ) ( ) ( ) ( ) Utilizando la ley distributiva: ( )( ) ( )( ) ( )( ) Ejemplo: Si y , encuentre: y En ambas partes de este ejemplo se multiplican tanto el numerador como el denominador por el conjugado del denominador y entonces se la multiplicacin:

3.1.4 Forma polar y exponencial de los nmeros complejos, Teorema de De Moivre y formula de Euler.
Si P es un punto en el plano complejo correspondiente al nmero complejo ( se puede observar segn la Figura 2 que: ( ), ( ) AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012 )o , entonces

136

CAPITULO III: VARIABLE COMPLEJA

Clculo superior ESIQIE-IPN

| | se llama el mdulo o valor absoluto de donde y ( ) llamado amplitud o argumento de (denotado por ), es el ngulo en radianes, que forma la recta que une el origen con el punto P y la del eje positivo x. Se deduce que: ( )) ( ( ) llamada la forma polar del nmero complejo, y r y se llaman coordenadas polares. Para cualquier nmero complejo corresponde solamente a un valor de en obstante, cualquier otro intervalo de longitud , por ejemplo , se puede emplear. . No

Y P(x,y) r

x X

Figura 2. Representacin de un nmero complejo en forma polar. Si que: ( ( ) ( )) y [ [ ( ( ) ) ) ( ( ( ( ( ) )] )] )] 137 ( )), se demuestra

una generalizacin de lo anterior conduce a: [ ( AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012

CAPITULO III: VARIABLE COMPLEJA

Y si , la expresin anterior queda: [ ( ))] [ ( ( ) que se llama frecuentemente el teorema de De Moivre.

Clculo superior ESIQIE-IPN

)]

Una variante de la forma polar se obtiene al tener en cuenta la conocida frmula de Euler: ( ) ( ) para Esto nos permite escribir un nmero complejo en la forma siguiente, denominada forma exponencial: | | Esta nueva forma es especialmente cmoda para expresar productos y cocientes ya que slo hay que tener en cuenta las propiedades de la funcin exponencial (para multiplicar se suman exponentes y para dividir se restan). En particular, para potencias con exponentes enteros se tiene: | | Esto nos permite dar una nueva expresin para el inverso de un complejo no nulo en la forma. | | [ Ejemplo: Si , encuentre su mdulo | | | | Ejemplo: Exprese Con y en forma polar , se obtiene | | ( ) ( ) y (

( )

( )]

, por lo

tanto el nmero complejo expresado en forma polar ser: * ( ) ( )+

3.1.5 Potencias y races

Las potencias enteras de un nmero complejo cero estn dadas por la frmula: [ donde ( ) ( ( ( ) )] ( )) , diferente de

expresa la potencia y puede tomar valores de

AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012

138

CAPITULO III: VARIABLE COMPLEJA

Clculo superior ESIQIE-IPN

Se dice que un nmero es una raz n-sima de un nmero complejo no nulo si . Si [ ( ) [ ( ) ( )] y ( )] son las formas polares de y , entonces se convierte en: [ ( ) [ ( ) ( )] ( )] de aqu se concluye que y ( ) y ( ) ( ) ( )

igualando las partes real e imaginaria se tiene de sta ltima ecuacin: ( stas igualdades implican que ) ( ) y , donde ( ) ( )

es un entero. Entonces

Al tomar valores enteros sucesivos , se obtienen races distintas con el mismo mdulo pero con diferentes argumentos. Pero para se obtienen las mismas races debido a que el seno y el coseno son peridicos cada . Para ver esto, se supone que , donde entonces: ( )

y as ( ) ( ), ( ) ( )

A continuacin se sintetiza ste resultado. Las races n-simas de un nmero complejo no nulo [ ( ) ( )] vienen dadas por: [ donde Ejemplo: Calcule Con para , ( , ) | | * ( ) ( ( ) ) , ( )+ ( [

)]

) ( )

y (

, se tiene: )]

AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012

139

CAPITULO III: VARIABLE COMPLEJA

Ejemplo: Encuentre las tres races cbicas de Con es: , [ ( , ) ( ) ( ( ) [ Por lo tanto, las tres races son: [ [ [ Ejercicios ( ( ( ) ) ) ( ( ( )] )] )] ( ) )] y ( , , se tiene: ) ( )] . ( )

Clculo superior ESIQIE-IPN

, la forma polar del nmero indicado

a) En los siguientes problemas, exprese el nmero indicado en la forma ) ( ) 1. ( 2. 3. 4. ( 5.

( ( )( )(

)
) )

)(

b) En los siguientes problemas sea . Encuentre la expresin indicada. 1. ( ) ( ) 2. ( ) 3. c) En los problemas encuentre un nmero complejo que cumpla con la ecuacin indicada. ( ) 1. 2. 3. d) Escriba en forma polar el nmero complejo indicado. 1. 2. 3. 4. 5. e) Encuentre 1. f) * y ( ) y escriba el nmero complejo en la forma ( )+ * ( ) ( )+

2. ( ) ( )+ ( ) ( )+ * * Calcular la potencia indicada o en su caso calcular todas las races. 140

AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012

CAPITULO III: VARIABLE COMPLEJA

1. ( 2. * 3. ( 4. ( ) 5. * ( ( ) ( ))+ ) ( ) ) ( )+

Clculo superior ESIQIE-IPN

g) Encuentre todas las soluciones de la ecuacin indicada. 1. 2. h) Exprese el resultado en forma polar y de forma 1. * 2.
* *

( )
( ) ( ( )

( )+
)+ ( )+

( )

( )+

3.2 Funciones analticas

Uno de los conceptos ms importantes en matemticas es el de una funcin. Se puede recordar de cursos previos que una funcin es cierto tipo de correspondencia entre dos conjuntos; ms especficamente: una funcin de un conjunto A a un conjunto B es una regla de correspondencia que asigna a cada elemento de A un nico elemento en B. Si b es el elemento del conjunto B asignado al elemento a del conjunto A a travs de , se dice que b es Ia imagen de a y se escribe ( ). El conjunto A se denomina el dominio de Ia funcin . El conjunto de todas las imgenes de B se denomina el rango de la funcin. Cuando el dominio A de la anterior definicin de funcin es un conjunto de nmeros complejos , se dice que es una funcin de una variable compleja o, en forma abreviada, una funcin compleja. La imagen de un nmero complejo z es algn nmero complejo , esto es, ( ) ( ) ( )

donde y son las partes real e imaginaria de , y son funciones de valores reales. En forma inherente al postulado matemtico anterior est el hecho de que no se pueden dibujar una grfica ( ) puesto que una grfica as requerira de cuatro ejes en un de una funcin compleja sistema coordenado de cuatro dimensiones. Algunos ejemplos de funciones de una variable compleja son: ( ) ( ) , es cualquier nmero complejo ( ) , y ( ) es cualquier nmero complejo ( ) ) ( ( ) ) ( ). Por

Cada una de stas funciones podra expresarse en la forma ejemplo: ( ) ( ) ( ) ( As, ( ) ,y ( )

AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012

141

CAPITULO III: VARIABLE COMPLEJA

Lmite de una funcin

Clculo superior ESIQIE-IPN

Suponer que la funcin est definida en una vecindad de , excepto posiblemente en el mismo . Entonces se dice que posee un lmite en , escrito como: ( ) ( ) Expresndolo con otras palabras, el significa que los puntos ( ) se pueden acercar arbitrariamente al punto , si se elige el punto suficientemente cercano, aunque no igual, al punto . La diferencia fundamental entre sta definicin y el concepto de lmite en variables reales radica en la comprensin de que . Para una funcin de una variable real , ( ) significa que ( ) se acerca a al acercarse a , ya sea por su derecha o por su izquierda, sobre la lnea de nmeros reales. Pero como y son puntos en el plano complejo, ( ) cuando se dice que existe el se entiende que ( ) se acerca a cuando el punto se acerca a desde cualquier direccin. Suponer que de los lmites: 1) 2) 3) ( ( ) [ ( ) ( )] [ ( ) ( )]
( ) ) ( )

( )

, entonces se tienen las siguientes propiedades

Continuidad en un punto ( ) ( ). Como consecuencia de las Una funcin es continua en un punto si propiedades de los lmites, se tiene que si dos funciones y son continuas en un punto , entonces su suma y su producto son continuos en . El cociente de las dos funciones es continuo en siempre y cuando ( ) . Derivada La derivada de una funcin compleja se define en trminos de un lmite. El smbolo utilizado siguiente definicin es el nmero complejo . Suponer que la funcin compleja es: se define en la vecindad de un punto ( ) ( ) ( ) . La derivada de en la

en

Siempre y cuando existe dicho lmite, se dice que la funcin ( ) tambin se escribe . una funcin

es derivable en

. La derivada de

Las reglas de derivacin son las mismas que en el clculo de variables reales. Si derivables en un punto y es una constante compleja, entonces: Reglas de la constante: ( ) ( )

son

AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012

142

CAPITULO III: VARIABLE COMPLEJA

Regla de la suma: Regla del producto: Regla de la cadena: Regla de potencias de : Ejemplo: Derive 1) ( ) 1) 2) ( ) ( )
[( ( ) ] [ ) ] ( )

Clculo superior ESIQIE-IPN ( )

( ) ( ) ( ) [ ( )]

[ ( ) *
( ) + ( )

( )]
( )

( )

( ( ))

( ( )) ( ) , siendo un entero.

y 2) ( )

Ejemplo: Demuestre que la funcin ( ) Considerando ( y por lo tanto: ) se tiene ( ) ( ( ) ) ( ( ) ) no es derivable en punto alguno.

Ahora, si se considera que a lo largo de una lnea paralela al eje , entonces y el valor del lmite es 1. Por otro lado, si se considera que a lo largo de una lnea paralela al eje , entonces y el valor del lmite es 4. Por lo tanto, ( ) no es derivable en ningn punto . Funciones analticas Si bien los requerimientos para que una funcin sea derivable son severos, existe una clase de funciones sumamente importante, cuyos miembros cumplen incluso con condiciones ms severas. Estas funciones se denominan funciones analticas. ( ) es analtica en un punto Se dice que una funcin compleja si es derivable en y en todo punto de alguna vecindad de . Una funcin es analtica en un dominio D si es analtica en todos los puntos de D. La definicin se debe leer cuidadosamente. La analiticidad en un punto es una propiedad de vecindad. La analiticidad en un punto no es, por lo tanto, sinnimo de derivabilidad en un punto.

3.2.1 Ecuaciones de Cauchy-Riemann

En el texto anterior se plantea que una funcin de una variable compleja es analtica en un punto cuando es derivable en y tambin derivable en todos los puntos de alguna vecindad de AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012 143

CAPITULO III: VARIABLE COMPLEJA

Clculo superior ESIQIE-IPN

. Este requisito es ms estricto que simplemente Ia derivabilidad en un punto, ya que una funcin compleja puede ser derivable en un punto aunque no sea derivable en todos los dems. ( ) ( ) es En las Ecuaciones de Cauchy-Riemann se observa que si una funcin ( ) derivable en un punto , entonces las funciones y deben satisfacer un par de ecuaciones que relacionan sus derivadas parciales de primer orden. Este resultado es una condicin necesaria para Ia analiticidad. ( ) ( ) es derivable en un punto Suponer que ( ) . Entonces existen las derivadas parciales de primer orden de y en el punto que cumplen con las Ecuaciones de Cauchy-Riemann.

Comprobacin Como ( ) existe se sabe que ( ) Escribiendo ( ) ( ) ( ) ( ( )y ) ( ( ) ( )

, se tiene: ) ( ) ( )

Puesto que ste lmite existe, puede tender a 0 desde cualquier direccin conveniente. En particular, si horizontalmente, entonces y por lo tanto se convierte en: ( ) ( ) ( ) ( ) ( )

Como ( ) existe, tambin existe los dos lmites. Pero por definicin, los lmites son las primeras derivadas parciales de y respecto a , con lo cual queda: ( ) Si ahora se hace que ( ) que es lo mismo que ( ) igualando las partes reales e imaginarias de las dos AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012 ( ) 144 verticalmente, entonces ( ) ( ) ( queda como: ) ( )

CAPITULO III: VARIABLE COMPLEJA

Clculo superior ESIQIE-IPN

Ejemplo: Demostrar que la ( ) De la funcin se tiene: ( ) ( ) cumple con las ecuaciones de Cauchy-Riemann. ( )

Con las ecuaciones de Cauchy-Riemann se comprueba:

Ejemplo: Demuestre que la funcin ( ) Se tiene: ( ( ) ) ( ) no es analtica en punto alguno. ( )

Se ve que

pero la igualdad

se cumple nicamente sobra a lnea

Criterio para la analiticidad ) y ( ) son continuas y tienen derivadas parciales de Suponer que las funciones reales ( primer orden continuas en un dominio D. Si y cumplen con las ecuaciones de Cauchy-Riemann ( ) ( ) es analtica en D. en todos los puntos D, entonces la funcin compleja ( ) Ejemplo: Para la funcin ( ) se tiene:

En otras palabras, las ecuaciones de Cauchy-Riemann se cumplen excepto en el punto donde , esto es, en . Se concluye de acuerdo al criterio de analiticidad que ( ) es analtica en cualquier dominio que no contenga al punto .

3.3 Funciones elementales

AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012 145

CAPITULO III: VARIABLE COMPLEJA

Clculo superior ESIQIE-IPN

En sta seccin se examinan las funciones exponenciales, logartmicas, trigonomtricas e hiperblicas de una variable compleja , llamadas funciones elementales. Aunque la definicin de stas funciones complejas se deduce a partir de sus anlogas para variables reales, las propiedades de stas funciones complejas contienen algunos puntos interesantes.

3.3.1 Funcin exponencial

De variables reales la funcin exponencial ( ) ( ) ( ) ( tiene las propiedades ) ( ) ( )

Desde luego, se desea que la definicin de la funcin compleja ( ) , donde , se reduzca a para y que posea las mismas propiedades antes mencionadas. Ya se ha utilizado anteriormente una funcin exponencial con un exponente imaginario puro; la frmula de Euler, ( ) ( ), donde es un nmero real Para es razonable esperar que

y por lo tanto se define la funcin exponencial como: [ Ejemplo: Calcule Con y se tiene: ( Finalmente [ ) ( ) ( )] ( ) ( ) ( )]

3.3.2 Funcin logartmica

El logaritmo de un nmero complejo exponencial, esto es, , ( ) para el cual y se utiliza la ,se define como la inversa de la funcin

Se observa que ( ) no est definido para , ya que no existe un valor de . Para encontrar las partes real e imaginaria de ( ) se escribe definicin de la funcin exponencial: [ ( ) ( )] ( ) ( )

AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012

146

CAPITULO III: VARIABLE COMPLEJA

Clculo superior ESIQIE-IPN y de estas

( )y ( ). Se pueden despejar de sta expresin se tiene que dos ltimas expresiones. Primero, elevndolas al cuadrado y sumndolas, se tiene: | | y as | | | |

| | denota el logaritmo natural real del mdulo de . En segundo lugar, para despejar donde se dividen las dos ecuaciones y se obtiene: ( ) sta ltima ecuacin significa que es un argumento de , es decir, existe un nico argumento de un nmero complejo determinado , entonces tambin lo es La definicin del logaritmo de un nmero complejo es: Para y ( ), ( ) Ejemplo: Encuentre los valores de 1) 1) Con ( ) ( ), 2) ( ) ( ) y 3) y ( ( ) y ( ) () 3) Con ( ) ( ( Ejemplo: Encuentre todos los valores de Se tiene que ( ), | ( ) ( tales que | , ( )

, si

( ). Pero como no es un argumento de

| |

( )

) | ( | | ( | ) , se tiene: ) ) ( | ) | , se tiene: , se tiene:

2) Con

( )

()

) )

, lo cual conduce a: ( )

) o en su caso

AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012

147

CAPITULO III: VARIABLE COMPLEJA

Clculo superior ESIQIE-IPN

3.3.3 Funcin trigonomtrica

Si es una variable real, entonces la frmula de Euler indica que: ( ) ( ) ( ) ( ) ( ) y ( )

Restando y sumando stas expresiones, se observa que las funciones reales pueden expresarse con una combinacin de funciones exponenciales: ( ) ( )

quedando la definicin de las funciones trigonomtricas para cualquier nmero complejo ( ) ( ) ( )y ( ) ( ):

Como en trigonometra se definen cuatro funciones adicionales en trminos de ( ) Derivadas Como ( ) por lo tanto, se deduce a partir de la regla de cadena que ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

y( )

( )

( )

De hecho, se puede demostrar que la forma de las derivadas de las funciones trigonomtricas complejas es igual a la de las funciones reales. Se sintetizan a continuacin los resultados: ( ) ( ) ( ) Identidades Las identidades trigonomtricas comunes tambin son las mismas en el caso complejo. ( ) ( ) ( ) AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012 ( ) 148 ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

CAPITULO III: VARIABLE COMPLEJA

( ( ( Ceros ) ) ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

Clculo superior ESIQIE-IPN ( ) ( ) ( )

( ) y ( ) se necesita expresar ambas funciones en la forma Para encontrar los ceros de . Antes de proceder, debe recordarse que si es real, entonces el seno y el coseno hiperblicos se definen en trminos de las funciones reales exponenciales y : ( ) ( )

Ahora, de la definicin de funciones trigonomtricas y de la frmula de Euler se obtiene, despus de algunas simplificaciones,
( ) ( )

( ) quedando: ( ) y en una forma similar: ( ) Combinando las expresiones anteriores y | | ( )| ( )| ( ) ( )

( )(

( )(

( )

( )

( )

( ) ( ) ( ) ( )

( )

( )

( ), se encuentra que: ( ) ( )

( ) Ahora, un nmero complejo es 0 si, y slo si, | | . As pues, si , entonces se debe ( ) ( ) ( ) ( ) tener que . Esto implica que y y por lo tanto , ( ) son los nmeros reales . As, los nicos ceros de En ( ) ( ) forma similar se infiere que nicamente cuando Ejemplo: Calcular el Se tiene: Ejemplo: Resolver la ecuacin ( ) 149 ( ( ) ) ( ) ( ) ( ) ( )

AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012

CAPITULO III: VARIABLE COMPLEJA

Clculo superior ESIQIE-IPN

La expresin se puede reescribir como: obtiene la ecuacin cuadrtica en :

. Multiplicando sta ltima ecuacin por

se

resolviendo se encuentra que . Entonces, para . Dividiendo entre y utilizando ( ( ) soluciones de la ecuacin indicada se expresan como: (

) ).

se tiene que ), las

3.3.4 Funciones hiperblicas.

El seno y el coseno hiperblicos complejos se definen en forma anloga a las definiciones reales dadas en las funciones trigonomtricas, para cualquier nmero complejo : ( ) ( )

Las funciones tangente, cotangente, secante y cosecante hiperblicas se definen en trminos de ( )y ( ): ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( ) ( )

El seno y coseno hiperblicos son funciones enteras, y las funciones definidas anteriormente son analticas excepto en los puntos donde los denominadores son 0. Utilizando la definicin de seno y coseno hiperblicos que: ( ) ( ) ( ) ( )

Es interesante observar que, en contraste con el clculo real, en clculo complejo las funciones trigonomtricas e hiperblicas se relacionan entre s, si se sustituye por en todos los lugares de la definicin de funciones hiperblicas y se comparan los resultados con la definicin de funciones ( ) ( ) y ( ) ( ). Estas ecuaciones permiten trigonomtricas, se ve que ( ) y ( ) en funcin de ( ) y ( ), respectivamente. En forma similar se expresar tendran las siguientes expresiones: ( ) ( ) Ceros Las relaciones anteriores permiten deducir igualdades para las funciones hiperblicas utilizando los ( ) en la forma resultados de las funciones trigonomtricas. Por ejemplo, para expresar , ( ) ( ) como ( ) quedando: se escribe ( ) [ ( ) ( ) ( )] 150 ( ) ( ) ( ) ( ) ( ) ( )

AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012

CAPITULO III: VARIABLE COMPLEJA

Clculo superior ESIQIE-IPN

como

( )y

) ( )

( ), lo anterior se simplifica a: ( ) ( ) ( ) ( ) ( ) y ) ( ) ( ) ( ) ( )

En forma semejante,

( )

Tambin se deduce que los ceros de respectivamente, ( y Ejercicios

( ) son imaginarios puros y son,

AURELIO HERNNDEZ RAMREZ ENERO JUNIO 2012

151