Métodos Matemáticos para la Física
Sonia Montecinos Geisse
En este curso se darán a conocer herramientas matemáticas necesarias para resolver problemas
que aparecen en Física.
1. Números complejos
Aparecen por la necesidad de encontrar soluciones de ecuaciones del tipo:
𝑥 + 1 = 0, ⟺ 𝑥 = −1
Que no tiene solución en el espacio de los números reales.
Se define el número 𝑖, como un número que satisface
𝑖 = −1 (1.1)
Un número complejo tiene la forma
𝑧 = 𝑎 + 𝑖𝑏, 𝑎, 𝑏 𝜖 ℛ
Se dice que 𝑎 y 𝑏 son la parte real y la parte imaginaria de 𝑧, respectivamente
𝑎 = ℛ𝑒(𝑧); 𝑏 = ℐ𝑚(𝑧)
Existe una correspondencia bi-unívoca entre un número complejo y un par ordenado en ℛ .
𝑎 + 𝑖𝑏 ⟺ (𝑎, 𝑏)
El conjunto de números complejos es un espacio escalar, y se designa por ℂ.
1.1. Operaciones entre los números complejos
Sean 𝑧 = 𝑎 + 𝑖𝑏, 𝑧 = 𝑎 + 𝑖𝑏 y 𝑧 = 𝑎 + 𝑖𝑏 números complejos
a. Igualdad. 𝑧 y 𝑧 son iguales se 𝑎 = 𝑎 y 𝑏 = 𝑏
b. Complejo conjugado. Se define el complejo conjugado de la siguiente manera
𝑧 = 𝑎 + 𝑖𝑏; 𝑧̅ ≡ 𝑎 − 𝑖𝑏 (1.2)
También se usa la notación 𝑧 ∗ para denotar el conjugado de 𝑧.
c. Suma.
𝑧 + 𝑧 ≡ (𝑎 + 𝑎 ) + 𝑖(𝑏 + 𝑏 ) (1.3)
d. Neutro de la suma. Sea el complejo 𝑧 = 0 ≡ 0 + 𝑖0, neutro para la suma. Se satisface
que cualquier complejo 𝑧 , 𝑧 + 0 = 0 + 𝑧 = 𝑧 .
Las operaciones anteriores son iguales que su análogo en ℛ (salvo la definición del
conjugado).
1
e. Multiplicación.
𝑧 ∙ 𝑧 ≡ (𝑎 𝑎 − 𝑏 𝑏 ) + 𝑖(𝑎 𝑏 + 𝑎 𝑏 ) (1.4)
Para la multiplicación se usa también el símbolo × o ningún símbolo (como en el caso real)
Esta operación permite definir una multiplicación entre vectores (Feynman)
f. Módulo de un número complejo
|𝑧| ≡ 𝑧 ∙ 𝑧̅ = 𝑎 + 𝑏 ; |𝑧| = 𝑎 +𝑏 (1.5)
El módulo es un número real positivo).
g. División. Para definir la división usamos lo que ya conocemos. Sea 𝑧 ≠ 0
𝑧 𝑧 𝑧̅ 𝑧 𝑧̅ (𝑎 𝑎 + 𝑏 𝑏 ) + 𝑖(𝑎 𝑏 − 𝑎 𝑏 )
= ∙ = = (1.6)
𝑧 𝑧 𝑧̅ |𝑧 | 𝑎 +𝑏
Se satisface:
𝑧 1
=𝑧 ∙
𝑧 𝑧
h. Elemento inverso de la suma.
−𝑧 = (−1)𝑧 = −𝑎 − 𝑖𝑏; 𝑧 + (−𝑧) = −𝑧 + 𝑧 = 0
i. Neutro de la multiplicación.
1 ≡ 1 + 𝑖0; 𝑧 ∙ 1 = 1 ∙ 𝑧 = 𝑧 (𝑧 ≠ 0)
j. Elemento inverso de la multiplicación. Sea 𝑧 = 𝑎 + 𝑖𝑏 ≠ 0
1 𝑧̅
𝑧 ≡ = .
𝑧 |𝑧|
Si 𝑧 ≠ 0, se satisface:
𝑧∙𝑧 =𝑧 ∙𝑧=1
Es directo ver que
𝑧 + 𝑧̅ 𝑧 − 𝑧̅
ℛ𝑒(𝑧) = ℐ𝑚(𝑧) =
2 2𝑖
1.2. Propiedades de las operaciones entre complejos.
La suma y la multiplicación son conmutativas y asociativas
La multiplicación es distributiva con respecto a la suma
Se satisfacen las siguientes desigualdades:
𝑧 |𝑧 |
|𝑧 𝑧 | = |𝑧 ||𝑧 |; = , 𝑧 ≠0 (1.7)
𝑧 |𝑧 |
|𝑧 + 𝑧 | ≤ |𝑧 | + |𝑧 |; |𝑧 − 𝑧 | ≥ |𝑧 | − |𝑧 | (1.8)
2
Notar que si 𝑧 y 𝑧 fueran vectores, la igualdad del lado izquierdo de (1.8) se deduce del Teorema
del coseno. En qué caso se alcanza la igualdad?
La expresión de la derecha en (1.8) se muestra de la igualdad del lado izquierdo. Hacerlo.
Ejercicios.
i. Muestre que = −𝑖
Sean los números complejos 𝑧 = 1 + 𝑖; 𝑧 = 2𝑖; 𝑧 =4
ii. Calcule 𝑧 + 𝑧 , 𝑧 − 𝑧 , 𝑧 +𝑧
iii. Calcule , , ,
iv. Calcule |𝑧 |, |𝑧 |, |𝑧 |, |𝑧 𝑧 |
v. Calcule (𝑧 ) , (𝑧 )
vi. Calcule 𝑧 (𝑧 − 𝑧 ); 𝑧 −𝑧
Exprese los resultados de ii., iii. y v. de la forma 𝑎 + 𝑖𝑏
1.3. Representación gráfica de un número complejo
Sea 𝑧 = 𝑥 + 𝑖𝑦 un número complejo. Puede representarse en el plano, como se muestra en la
Figura 1.1.
De la Figura 1.1 tenemos que
𝑧 = 𝑟(cos 𝜃 + isin 𝜃); 𝑟
= 𝑥 +𝑦 (1.9)
Figura 1.1. Representación gráfica de un complejo
𝑟 y 𝜃 son el módulo y el argumento del complejo 𝑧 (𝜃 = arg(𝑧)), respectivamente.
(En algunos libros se usa la notación
cos 𝜃 + isin 𝜃 = 𝑐𝑖𝑠 𝜃)
Tenemos la correspondencia
𝑥 + 𝑖𝑦 ↔ (𝑟, 𝜃) = (𝑟, 𝜃 ± 2𝑛𝜋), 𝑛0, ±1, ±2 …. (1.10)
En palabras, al mismo complejo lo corresponden ∞ ángulos.
Ejercicios
Escriba los complejos 1, 1 + 𝑖, −𝑖, 2 + 3𝑖, 2 − 3𝑖 en representación polar. Represente gráficamente
sus resultados.
Sol.: Sea 𝑧 = 1 + 𝑖; |𝑧| = √1 + 1 = √2; 𝜃 = . Entonces
3
𝜋 𝜋 𝜋
1 + 𝑖 = √2 cos + isin ↔ √2, ± 2𝑛𝜋
4 4 4
etcétera.
Representación gráfica de 𝒛 y 𝒛 𝟏
Sea 𝑧 = 𝑥 + 𝑖𝑦 = 𝑟(cos 𝜃 + 𝑖 sin 𝜃)
Por definición,
𝑧̅ = 𝑥 − 𝑖𝑦
Que se muestra en la Figura 1.2.
Ejercicio. Use la notación polar para calcular
𝑧 ×𝑧 ,𝑧 ×𝑧
Para los complejos definidos en la página anterior. Para ello escriba
los complejos individuales en notación polar. Calcule el valor de n de
modo que el argumento del resultado esté en el rango [0, 2𝜋)
Figura 1.2. Representación de 𝑧̅
Como |𝑧̅| = |𝑧|, entonces
𝑧̅ = 𝑟(cos(−𝜃) + isin(−𝜃)) = 𝑟(cos 𝜃 − isin 𝜃) (1.11)
Del mismo modo, puede mostrarse que
𝑧 =𝑟 (cos 𝜃 − isin 𝜃) (1.12)
Notar que 𝑧 es paralelo a 𝑧̅.
Ejercicio
Calcular |𝑧 + 𝑧̅|. Mostrar que se satisface (1.8):
|𝑧 + 𝑧̅| ≤ |𝑧| + |𝑧̅|; |𝑧 − 𝑧̅| ≥ |𝑧| − |𝑧̅|
Muestre gráficamente que para todo par de complejos 𝑧 , 𝑧 , se satisface (1.8)
Tenemos que
𝑧 ↔ (𝑟, 𝜃 + 2𝑛𝜋); 𝑧̅ ↔ (𝑟, −𝜃 + 2𝑛𝜋); 𝑧 ↔ (𝑟 , −𝜃 + 2𝑛𝜋) (1.13)
Normalmente el valor de 𝑛 se elige de modo que el argumento quede en el intervalo
1.4. Multiplicación gráfica de complejos:
Sean
𝑧 = 𝑟 (cos 𝜃 + 𝑖 sin 𝜃 ); 𝑧 = 𝑟 (cos 𝜃 + isin 𝜃 )
Multiplicando encontramos
4
𝑧 𝑧 = 𝑟 𝑟 cos 𝜃 cos 𝜃 − sin 𝜃 sin 𝜃 + 𝑖(cos 𝜃 sin 𝜃 + sin 𝜃 cos 𝜃 )
O, equivalentemente
𝑧 𝑧 = 𝑟 𝑟 (cos(𝜃 + 𝜃 ) + 𝑖 sin(𝜃 + 𝜃 )) (1.14)
𝑧 𝑧 ↔ (𝑟 𝑟 , 𝜃 + 𝜃 + 2𝑛𝜋); 𝑛 = 0, ±1, ±2, …
Este resultado se muestra
esquemáticamente en la Figura 1.3.
Figura 1.3. Multiplicación de complejos
De lo anterior, si 𝑧 = 𝑥 + 𝑖𝑦, representado en la Figura 1.2,
𝑧 = 𝑟 (cos 2𝜃 + isin 2𝜃)
𝑧 = (𝑟 , 2𝜃 + 2𝑘𝜋); 𝑘 = 0, ±1, ±2, …
1.5. Teorema de Moivre.
Se tiene que
𝑧 = 𝑟 (cos 𝜃 + isin 𝜃) = 𝑟 (cos 𝑛𝜃 + 𝑖 sin 𝑛𝜃), 𝑛𝜖ℤ 1.15)
Es directo ver que la ecuación (1.15) es también válida para enteros negativos.
Caso 𝑛 = 0. Definimos
𝑧 ≡ 1 = 1(cos 0 + isin 0)
Nota: cualquier número real puede escribirse como un número complejo, es decir,
ℛ⊂ℂ
Y corresponde a la recta horizontal de la Figura 1.1.
De (1.15), si 𝑧 es un real
𝑧 =𝑟
Esto es válido si elegimos en (1.14). En general, en notación polar
𝑧 ↔ (𝑟 , 2𝑘𝜋); 𝑘 = 0, ±1, ±2, …
1.6. Función exponencial de un número imaginario puro
Se define de la siguiente manera
𝑒 ≡ cos 𝑥 + isin 𝑥 , 𝑥𝜖ℛ (1.16)
Es directo ver que la función 𝑒 es periódica con periodo 2𝜋:
5
( )
𝑒 =𝑒 ; 𝑘 = 0, ±1, ±2, …
Además se satisface (mostrarlo)
( )
𝑒 𝑒 =𝑒 (1.17)
Las propiedades de una exponencial compleja no se deducen automáticamente del caso real, por lo
que este resultado no es obvio. Sin embargo, si es una “buena” definición, se espera que esta función
exponencial satisfaga propiedades similares que la exponencial real.
De (1.9) y (1.16), la representación polar de un complejo se escribe:
𝑧 = 𝑟𝑒 (1.20)
De lo anterior
𝑧 =𝑟 𝑒
Ejercicios.
1. Muestre que 𝑒 =1
2. Demuestre (1.15) (use inducción)
Usar (1.15) ((cos 𝜃 + isin 𝜃) = cos 𝑛𝜃 + 𝑖 sin 𝑛𝜃) para calcular cos 3𝜃, cos 4𝜃, sin 3𝜃, sin 4𝜃.
3. Calcule el módulo y argumento de 𝑧 = 1 + 𝑒 . Qué figura geométrica se describe en el plano
complejo si 𝑥: 0 → 2𝜋?
Indique en el gráfico en qué región se encuentra este complejo para los siguientes valores de 𝑥:
0, , , , ,− , − y represéntelos en el plano complejo.
4. Sea 𝑧 = 𝑟𝑒 . Mostrar que 𝑧 =𝑟 𝑒 .
Sol. Por definición
1 𝑧̅
𝑧 = =
𝑧 𝑧𝑧̅
Pero (r real)
𝑧̅ = 𝑟(cos 𝜃 + ısın 𝜃) = 𝑟(cos 𝜃 − isin 𝜃) = 𝑟𝑒
𝑧𝑧̅ = 𝑟(cos 𝜃 + isin 𝜃)𝑟(cos 𝜃 − isin 𝜃)
𝑧𝑧̅ = 𝑟 (cos 𝜃 + sin 𝜃) + (cos 𝜃 sin 𝜃 − sin 𝜃 cos 𝜃) = 𝑟
O, equivalentemente
( )
𝑧𝑧̅ = 𝑟𝑒 𝑟𝑒 =𝑟 𝑒 =𝑟
Y cómo se modifica el cálculo se escribimos
6
( )
𝑧 = 𝑟𝑒 , 𝑘 = 0, ±1, ±2, ….
Sol
( ) ( )
𝑧𝑧̅ = 𝑟𝑒 𝑟𝑒 , 𝑘. 𝑛 = 0, ±1, ±2, ….
( )
𝑧𝑧̅ = 𝑟 𝑒 , 𝑙 = 𝑘 − 𝑛 = 0, ±1, ±2, ….
Raíces de números complejos
La ecuación (1.15) se puede generalizar al caso en que el exponente no es un número entero.
Escribimos un número complejo de la forma (1.20). La raíz n-ésima se define de la siguiente manera
𝜃 𝜃
√𝑧 ≡ 𝑧 ≡ √ 𝑟 𝑒 = √𝑟 cos + isin
𝑛 𝑛
En donde √𝑟𝜖ℛ. Esta definición satisface la definición usual de raíz, es decir,
√𝑧 =𝑧
(Hacerlo)
Multiplicidad de soluciones. De (1.10) existen infinitos valores del ángulo 𝜃 que representan el mismo
ángulo, por lo que la raíz n-ésima de un complejo puede escribirse
𝜃 + 2𝑘𝜋 𝜃 + 2𝑘𝜋
√𝑧 ≡ 𝑧 ≡ √𝑟𝑒 = √𝑟 cos + isin , 𝑘 = 0, ±1, ±2, … . . ±∞ (1.21)
𝑛 𝑛
Puede mostrarse que existen n soluciones distintas de la ecuación (1.21), es decir, un complejo tiene
n raíces distintas, que pueden obtenerse, por ejemplo, para 𝑘 = 0,1, … , 𝑛 − 1. La solución con 𝑘 = 𝑛
coincide con la solución para 𝑘 = 0 (demostrarlo).
Ejemplos. Calcular la raíz cuadrada y raíz cúbica de los complejos 1, 𝑖, 1 + 𝑖, −4.
Solución. Primero escribimos los complejos en su forma polar. Es directo ver que
a. 𝑧 = 1
( )
1 = 1𝑒 ; 𝑖 = 1𝑒 , 𝑘 = 0, ±1, ±2, … . . ±∞
De ahora en adelante, se omite escribir los valores que toma 𝑘.
( ) 2𝑘𝜋 2𝑘𝜋
√1 = √1𝑒 = 1 cos + isin = cos 𝑘𝜋 + isin 𝑘𝜋
2 2
Notemos que √1 en el segundo término corresponde a la raíz real positiva de 1.
Las soluciones son:
√1𝑒 = 1, (𝑘 = 0)
√1 =
√1𝑒 = −1, (𝑘 = 1)
7
Que corresponden a las mismas raíces reales.
b. 𝑧 = 𝑖
𝑖 = 1𝑒
√𝑖 = 𝑒 =𝑒
𝜔 = √1𝑒 , (𝑘 = 0)
√𝑖 =
𝜔 = √1𝑒 , (𝑘 = 1)
En notación extendida:
1
𝜋 𝜋
𝜔 = cos + isin
4 4
𝜋 𝜋 𝜋 𝜋
𝜔 = cos + 𝜋 + isin + 𝜋 = − cos − isin
4 4 4 4
Las raíces son:
⎧√2
⎪ 2 (1 + 𝑖) (𝑘 = 0)
√𝑖 =
⎨ √2
⎪− (1 + 𝑖) (𝑘 = 1)
⎩ 2
𝝅
En el resultado final dejar argumentos de los cos y sin entre 0 y 𝟐!!
c. 𝑧 = 1 + 𝑖
𝜋 𝜋
1 + 𝑖 = √2𝑒 = √2 cos + 2𝑘𝜋 + isin + 2𝑘𝜋
4 4
𝜋 𝜋
+ 2𝑘𝜋 + 2𝑘𝜋
√1 + 𝑖 = √2𝑒 = √2 cos 4 + isin 4
2 2
Cuyas soluciones son:
𝜋 𝜋
𝜔 = √2 cos + isin (𝑘 = 0)
√1 + 𝑖 = 8 8
𝜋 𝜋 𝜋 𝜋
𝜔 = √2 cos 𝜋 + + isin 𝜋 + = √2 − cos − isin (𝑘 = 1)
8 8 8 8
1
= 2 + √2 + 𝑖 2 − √2 (𝑘 = 0)
= √2 2
1
=− 2 + √2 + 𝑖 2 − √2 (𝑘 = 1)
2
En la ecuación anterior se ha usado que
8
𝑥 1 + cos 𝑥 𝑥 1 − cos 𝑥
cos = ; sin = ;
2 2 2 2
A continuación definiremos funciones definidas sobre los números complejos. Estas funciones son
generalizaciones de funciones ya definidas sobre números reales, por lo que se espera que se reduzcan
a estas en el caso de que el argumento sea un número real.
1.7. Polinomios
Un polinomio de grado n tiene la forma
𝑃(𝑧) = 𝑎 𝑧 + 𝑎 𝑧 + ⋯+ 𝑎 1 (1.22)
Recordemos que 𝑧 = 1.
Raíces de un polinomio. 𝑧 = 𝑧 es raíz del polinomio 𝑃(𝑧), si se satisface 𝑃(𝑧 ) = 0.
1.8. Funciones racionales
𝑃(𝑧)
𝑅(𝑧) = (1.23)
𝑄(𝑧)
Con 𝑃(𝑧) y 𝑄(𝑧) polinomios. La función (1.23) está definida para aquellos puntos tales que
𝑄(𝑧) ≠ 0.
1.9. Función exponencial de un complejo.
Escribimos 𝑧 = 𝑥 + 𝑖𝑦, 𝑥, 𝑦 𝜖ℛ.
𝑒 =𝑒 ≡𝑒 𝑒 = 𝑒 (cos 𝑦 + isin 𝑦) (1.24)
Notemos que (1.24) es una definición. NO SE DEDUCE DE LA DEFINICION REAL DE ESTA
FUNCION.
Es directo ver que si 𝑧𝜖ℛ (1.24) se reduce a la definición usual de exponencial. Similarmente, si 𝑧 es
imaginario puro, esta definición coincide con (1.16).
Sean 𝑧 = 𝑥 + 𝑖𝑦 ; 𝑧 = 𝑥 + 𝑖𝑦 . Mostrar que se satisface
𝑒 𝑒 =𝑒
Ejercicios.
1. Calcular el módulo de 𝑒
2. Calcular 𝑒 para los siguientes complejos.
𝑧 = 2𝑒 ; 𝑧 = 1 + 𝑖; 𝑧 =𝑧
1.10. Potencias de complejos.
Sea 𝑎𝜖ℛ, 𝑎 ≠ 0. Se define
9
𝑎 ≡𝑒 (1.25)
Si escribimos 𝑧 = 𝑥 + 𝑖𝑦, entonces
𝑎 =𝑒 𝑒 =𝑒 (cos(𝑦 ln 𝑎) + isin(𝑦 ln 𝑎)) = 𝑎 (cos(𝑦 ln 𝑎) + isin(𝑦 ln 𝑎))
Donde se ha usado la propiedad válida para números reales: 𝑒 = 𝑎 (𝑎𝜖ℛ). En efecto
𝑎 =𝑎 ; 𝑧 ln 𝑎 = 2𝑛
La función (1.25) está claramente (no hay ambigüedades) definida usando (1.24) (𝑎𝜖ℛ). No hay
múltiples soluciones. Además, existen infinitos valores de 𝑦 con la misma solución.
Ejercicio. Calcular (3) . ¿Cuál es el signo de la parte real y de la parte imaginaria?
Solución. De (1.26)
(3) =3 𝑒 = 3(cos(ln 3) + isin(ln 3))
Para ver el signo, notamos que ln 3 = 1.1 < . Continuar…
1.11. Funciones trigonométricas complejas.
Para definir las funciones trigonométricas básicas, notamos que, de (1.16) si 𝑥 𝜖ℛ
𝑒 +𝑒 𝑒 −𝑒
cos 𝑥 = ; sin 𝑥 = , 𝑥𝜖ℛ (1.26)
2 2𝑖
Inspirado en (1.26), las funciones trigonométricas complejas se definen de la siguiente manera
𝑒 +𝑒 𝑒 −𝑒
cos 𝑧 ≡ ; sin 𝑧 ≡ , 𝑧𝜖ℂ (1.27)
2 2𝑖
Que claramente se reduce a (1.26) si 𝑧 = 𝑥𝜖ℛ.
Las otras funciones trigonométricas (tan, sec, etc) se definen de la manera usual, es decir,
sin 𝑧 1
tan 𝑧 = ; sec 𝑧 = (1.28)
cos 𝑧 cos 𝑧
Etcétera.
1.12. Identidades de las funciones trigonométricas
Para que la definición de las funciones trigonométricas sea consistente, se espera que las
identidades válidas cuando el argumento es real, también se satisfagan e n el caso complejo.
a. cos −z = cos 𝑧; sin −𝑧 = −sin 𝑧
b. cos 𝑧 + sin 𝑧 = 1
c. cos(𝑧 ± 𝑧 ) = cos 𝑧 cos 𝑧 ∓ sin 𝑧 sin 𝑧
d. sin(𝑧 ± 𝑧 ) = sin 𝑧 cos 𝑧 ± cos 𝑧 sin 𝑧
Etcétera
Demostración de b. Por definición
10
𝑒 +𝑒 𝑒 +𝑒 +2
cos 𝑧 = =
4 4
𝑒 −𝑒 𝑒 +𝑒 −2
sin 𝑧 = =−
4𝑖 4
Sumamos y obtenemos el resultado.
Demostración de c. Desarrollaremos ambos lados de la igualdad (la demostración se hará solo
para uno de los signos).
Por definición
( ) ( )
𝑒 +𝑒
cos(𝑧 + 𝑧 ) = (1.29𝑎)
2
Por otro lado,
( ) ( ) ( ) ( )
(𝑒 +𝑒 ) (𝑒 +𝑒 ) 𝑒 +𝑒 +𝑒 +𝑒
cos 𝑧 cos 𝑧 = = (1.29𝑏)
2 2 4
( ) ( ) ( ) ( )
(𝑒 −𝑒 ) (𝑒 −𝑒 ) 𝑒 +𝑒 −𝑒 −𝑒
sin 𝑧 sin 𝑧 = =− (1.29𝑐)
2𝑖 2𝑖 4
Sumamos (1.29𝑏) y (1.29𝑐) y obtenemos (1.29𝑎).
El resto queda como ejercicio.
Notemos que si b. es válido, entonces las igualdades usuales válidas para funciones
trigonométricas reales también son válidas para funciones trigonométricas con argumento
complejo.
1 + tan 𝑧 = sec 𝑧
Etcétera.
1.13. Funciones hiperbólicas complejas.
Las funciones hiperbólicas de argumento complejo se definen en función de la exponencial, de
la manera usual
𝑒 +𝑒 𝑒 −𝑒
cosh 𝑧 ≡ ; sinh 𝑧 ≡ , 𝑧𝜖ℂ (1.30)
2 2
A partir de estas funciones básicas, se definen también las otras funciones hiperbólicas. Por
ejemplo
sinh 𝑧 1
tanh 𝑧 = ; sech 𝑧 = (1.31)
cosh 𝑧 cosh 𝑧
Etcétera.
Estas funciones satisfacen las identidades usuales de las funciones hiperbólicas reales, por
ejemplo
a. cosh −z = cosh 𝑧; sinh −𝑧 = −sinh 𝑧 (1.32)
11
b. cosh 𝑧 − sinh 𝑧 = 1 (1.33)
Etcétera.
1.14. Relaciones entre funciones trigonométricas e hiperbólicas
complejas.
a. cosh iz = cos z; cos iz = cosh z (1.34)
b. sinh 𝑖𝑧 = 𝑖 sin 𝑧; sin 𝑖𝑧 = 𝑖 sinh 𝑧 (1.35)
c. tanh 𝑖𝑧 = 𝑖 tan 𝑧 ; tan 𝑖𝑧 = 𝑖 tanh 𝑧 (1.36)
Demostramos (1.34). De (1.30) y (1.26)
𝑒 +𝑒
cosh iz = = cos 𝑧
2
Etc.
Notar que la identidad de la derecha en a., b., y c. se deducen a partir de la identidad de la izquierda.
Por ejemplo (usamos 1.33)
cos iz = cosh iiz = cosh −z = cosh z
1.15. Función logaritmo
Como en el caso real, cada función tiene una función inversa equivalente asociada.
En el caso del logaritmo natural (ln) se define a partir de la función exponencial
𝑧=𝑒 ⟺ 𝑤 ≡ ln 𝑧 (1.37)
Para evaluar el logaritmo natural, es conveniente escribir el complejo 𝑧 en la forma polar. En efecto,
si
𝑧 = 𝑟𝑒 → ln 𝑧 = ln 𝑟𝑒
Asumimos ahora que el logaritmo complejo hereda las propiedades del logaritmo real, entonces
ln 𝑧 ≡ ln 𝑟 + ln 𝑒 ≡ ln 𝑟 + 𝑖𝜃 (1.38)
De (1.23) vemos que la parte imaginaria del logaritmo es el ángulo, el cual es periódico. En general
debiera escribirse
ln 𝑧 = ln 𝑟 + 𝑖(𝜃 + 2𝑘𝜋); 𝑘 = 0, ±1, ±2, … , ±∞ (1.39)
Lo anterior significa que a cada complejo le corresponden infinitos puntos, se muestra en la figura
1.4.
De la definición, si fijamos el valor de 𝑘, el logaritmo mapea un círculo de radio r (variamos 𝜃) en
una línea vertical, o rama de ancho 2𝜋.
12
Figura 1.4. Logaritmo de un complejo.
Queda como ejercicio mostrar que
𝑒 =𝑧
Notemos que, en los complejos, el logaritmo de los números reales negativos también está definido.
Ejercicio. Calcular ln(−2).
Solución. Sea 𝑧 = −2. En representación polar se tiene que
( )
−2 = 2𝑒
Entonces, de (1.39)
ln −2 = ln 2 + 𝑖(2𝑘 + 1)𝜋; 𝑘 = 0, ±1, ±2, ±3, … , ±∞
Existen distintas ramas del logaritmo, cada una de ancho 2𝜋. Algunos ejemplos de ramas
… ; −3𝜋 < 𝜃 ≤ −𝜋; −𝜋 < 𝜃 ≤ 𝜋; 𝜋 < 𝜃 ≤ 3𝜋; …
A veces se definen partiendo desde cero:
… ; −4𝜋 < 𝜃 ≤ −2𝜋; −2𝜋 < 𝜃 ≤ 0; 0 < 𝜃 ≤ 2𝜋; 2𝜋 < 𝜃 ≤ 4𝜋; …
Rama principal del logaritmo.
Se llama rama principal del logaritmo a la rama (o tramo) en el cual
−𝜋 < 𝜃 ≤ 𝜋
(ver Figura 1.5)
Figura 1.5. Mapeo de log de un círculo de radio 𝑟.
13
Volviendo al ejemplo, en la rama principal (𝑘 = 0)
ln −2 = ln 2 + 𝑖𝜋
Escribir ln −2 en representación polar.
𝜋
ln −2 = (𝑟, 𝜑) = (ln 2) + 𝜋 , 𝑡𝑎𝑛 + 2𝑖𝑘𝜋 ; 𝑘 = 0, ±1, ±2, ±3, … , ±∞
𝑙𝑛 2
Ejercicios.
1. Calcular ln 𝑖, ln(1 + 𝑖), ln 𝑖(1 + 𝑖) en la rama principal. Se satisface en este caso la regla:
ln 𝑎𝑏 = ln 𝑎 + ln 𝑏? Discuta el resultado.
2. Mostrar que ln 𝑥 , 𝑥𝜖𝑅, 𝑥 > 0,coincide con el valor usual, en la rama principal.
1.16. Funciones trigonométricas e hiperbólicas inversas.
Se definen de la manera usual. Por ejemplo,
𝑧 = cos 𝑤 → 𝑤 = cos 𝑧
Dado que las funciones trigonométricas e hiperbólicas se pueden expresar en función de
exponenciales, las funciones inversas se escriben en función del logaritmo natural.
Por ejemplo, en este caso
𝑒 +𝑒
𝑧= ⟺ 𝑒 +𝑒 − 2𝑧 = 0
2
Multiplicamos por u=𝑒 (que es siempre ≠ 0). Encontramos la ecuación 𝑢 − 2𝑧𝑢 + 1 = 0, cuya
solución es:
𝑢=𝑒 = 𝑧± 𝑧 −1 = 𝑧±𝑖 1−𝑧
Notemos que las dos raíces son distintas. Podemos ahora despejar 𝑤 = cos 𝑧
ln 𝑧 ± 𝑖√1 − 𝑧
cos 𝑧 = arccos 𝑧 = (1.40)
𝑖
La ecuación (1.40) tiene múltiples soluciones. Se llama valor principal del arccos 𝑧 a:
ln 𝑧 + 𝑖√1 − 𝑧
arccos 𝑧 =
𝑖
En la rama principal del logaritmo. Queda como tarea escribir arcsin 𝑧 y las otras funciones
trigonométricas e hiperbólicas en función del logaritmo.
14