Documentos de Académico
Documentos de Profesional
Documentos de Cultura
MATEMÁTICAS ESPECIALES
AUTOR
Nibia Patricia López Salazar, Master en Investigación Universitaria con énfasis en Matemáticas,
profesora auxiliar del programa de Ingeniería de la Universidad Cooperativa de Colombia, sede
Bogotá. Corre-e nibia.lopez@campusucc.edu.co
RESUMEN
Prefacio
En muchos aspectos, el conjunto de los números complejos ℂ, se puede considerar isomorfo con
el plano real ℜ2 , lo cual puede llevar a considerar ingenuamente que una situación análoga puede
suceder al estudiar la función compleja, lo cual no es cierto. Si bien una función compleja se
expresa 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦), no se la puede estudiar como una función real en dos variables
𝑥 y 𝑦, ya que 𝑓(𝑧) es una función en una sola variable, la variable compleja 𝑧.
1
En esta unidad se estudian las funciones que tienen dependencia directa con la variable 𝑧 = 𝑥 + 𝑖𝑦
y no son simplemente dos variables separadas 𝑥 y 𝑦. Se definen las funciones elementales
complejas, se estudian los límites y la continuidad y se analiza cuando una función compleja es
analítica, por último se define las funciones reales armónicas y su relación con las funciones
analíticas complejas.
Dado un subconjunto S del plano complejo ℂ se denomina función de una variable compleja
𝑓(𝑧) a una aplicación 𝑓: 𝑆 → ℂ tal que a cada valor 𝑧 ∈ 𝑆 ⊆ ℂ le corresponde un único número
complejo 𝑓(𝑧).
Si 𝑧 = 𝑥 + 𝑖𝑦, la función 𝑓(𝑧) se puede expresar de la forma 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦), en donde
𝑢 y 𝑣 son funciones en dos variables reales, que representan la parte real e imaginaria
respectivamente de 𝑓(𝑧)
Se llama dominio, al conjunto 𝑆 de puntos en los que se encuentra definida la función, y se llama
imagen de 𝑓 al conjunto formado por todos los valores complejos que toma la función.
Ejemplo
2
Dada 𝑓(𝑧) = 𝑧 2 + 1, expresarla de la forma 𝑓(𝑧) = 𝑢 + 𝑖𝑣
𝑓(𝑧) = (𝑥 + 𝑖𝑦)2 + 1
𝑓(𝑧) = (𝑥 2 − 𝑦 2 + 1) + 𝑖 2𝑥𝑦
2.2 Funciones complejas elementales
Las funciones complejas polinómicas están definidas para todo el plano complejo.
𝑃(𝑧)
𝑓(𝑧) =
𝑄(𝑧)
No se encuentran definidas en el conjunto de los números complejos que anulen el denominador.
𝑒 𝑖𝑧 − 𝑒 −𝑖𝑧
sin 𝑧 =
2𝑖
𝑒 𝑖𝑧 + 𝑒 −𝑖𝑧
cos 𝑧 =
2
sin 𝑧
tan 𝑧 =
cos 𝑧
𝑒 𝑧 − 𝑒 −𝑧
sin ℎ𝑧 =
2
𝑒 𝑧 + 𝑒 −𝑧
cos ℎ𝑧 =
2
3
log 𝑧 = ln|𝑧| + 𝑖(𝐴𝑟𝑔 (𝑧) + 2𝑘𝜋)
La potencia de un número complejo, distinto de cero, elevado a otro número complejo se obtiene
a partir de la expresión: 𝑧 𝑤 = ln 𝑧 𝑒 𝑤
Ejemplo
𝜋 𝜋
|√3 + 𝑖| = 2 y 𝐴𝑟𝑔(√3 + 𝑖) = 6 ; por lo tanto 𝑧 = ln 2 + 𝑖 ( 6 + 2𝑘𝜋)
2.3 Continuidad
En forma similar, a lo que ocurre en las funciones en ℜ2 , para que una función, definida en el
campo de los Complejos, sea continua debe cumplir con las siguientes condiciones.
Los límites para una función compleja se estudian de forma similar a los límites para una función
real en dos variables
Ejemplo
|𝑧|2
Analizar la continuidad de 𝑓(𝑧) = 𝑧
4
La función no es continua en 0, ya que 𝑓(0) no esta definida. Sin embargo se puede comprobar
fácilmente que lim 𝑓(𝑧), existe y es igual a 0, por lo tanto con la redefinición:
𝑧→0
|𝑧|2
𝑓(𝑧) = { , 𝑠𝑖 𝑧 ≠ 0, la función es continua.
𝑧
0 𝑠𝑖 𝑧 = 0
Para determinar la derivada de una función compleja, se debe analizar el comportamiento de las
funciones 𝑢 y 𝑣 con el fin de determinar las condiciones precisas que deben cumplir para que 𝑓
sea derivable.
𝑓(𝑧0 +ℎ)−𝑓(𝑧0 )
Si 𝑓 es derivable en 𝑧0 = 𝑥0 + 𝑖𝑦0 , entonces lim , existe y se denomina 𝑓 ′ (𝑧0 ). Esta
ℎ→0 ℎ
𝑢(𝑥+ℎ,𝑦)−𝑢(𝑥,𝑦) 𝑣(𝑥+ℎ,𝑦)−𝑣(𝑥,𝑦) 𝜕𝑢 𝜕𝑣
lim +𝑖 , de donde 𝑓 ′ (𝑧) = 𝜕𝑥 + 𝑖 𝜕𝑥.
ℎ→0 ℎ ℎ
Igualando la parte real e imaginaria de los límites iterados obtenemos las siguientes ecuaciones
𝜕𝑢 𝜕𝑣 𝜕𝑣 𝜕𝑢
= 𝜕𝑦 y = − 𝜕𝑦
𝜕𝑥 𝜕𝑥
5
Si las funciones reales 𝑢(𝑥, 𝑦) y 𝑣(𝑥, 𝑦), son continuas, sus derivadas parciales de primer orden
también son continuas en un dominio S y cumplen con las ecuaciones de Cauchy- Riemman,
entonces la función compleja 𝑓(𝑧) = 𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦) es análitica en el intervalo S.
Ejemplo
Encontrar la derivada de 𝑓(𝑧) = 𝑒 𝑧
Identificando las funciones 𝑢 y 𝑣 se tiene: 𝑓(𝑧) = 𝑒 𝑥 cos 𝑦 + 𝑖𝑒 𝑥 sin 𝑦. Se verifican las
ecuaciones de Cauchy Riemman.
𝜕𝑢 𝜕𝑣 𝜕𝑣 𝜕𝑢
= 𝑒 𝑥 cos 𝑦 = y = 𝑒 𝑥 sin 𝑦 −
𝜕𝑥 𝜕𝑦 𝜕𝑥 𝜕𝑦
Una función real 𝜑(𝑥, 𝑦) que tiene derivadas parciales de segundo orden continuas en un
𝜕2 𝜑 𝜕2 𝜑
dominio S y que cumple la ecuación de Laplace + 𝜕𝑦 2 = 0 es una función armónica en S.
𝜕𝑥 2
Ejemplo
𝜕2 𝑢 𝜕2 𝑢 𝜕2 𝑢 𝜕2 𝑢
= −6𝑦; = 6𝑦, por lo tanto 𝜕𝑥 2 + = −6𝑦 + 6𝑦 = 0
𝜕𝑥 2 𝜕𝑦 2 𝜕𝑦 2
6
𝜕𝑢 𝜕𝑣 𝜕𝑣 𝜕𝑢
= 𝜕𝑦 = −6𝑥𝑦 = − 𝜕𝑦 = −3𝑦 2 + 3𝑥 2
𝜕𝑥 𝜕𝑥
𝑓(𝑧) = 𝑦 3 − 3𝑥 2 𝑦 + 𝑖(−3𝑥𝑦 2 + 𝑥 3 + 𝑐)
𝑥
Cuando se define la integral ∫𝑥 2 𝑓(𝑥) 𝑑𝑥 de una función de variable real, nos valemos de la noción
1
intuitiva de área construyendo aproximaciones cada vez mejores del área de la región comprendida
entre la curva de ecuación 𝑦 = 𝑓 (𝑥) y el intervalo [𝑥1 , 𝑥2 ] del eje 𝑂𝑋 mediante sumas finitas.
Para extender este proceso a integrales de funciones complejas nos encontramos con dos
dificultades. La primera es que ahora no tenemos la noción intuitiva de integral como área y la
segunda es que para ir de 𝑧1 a 𝑧2 podemos seguir muchas curvas (sin salirnos del dominio de 𝑓(𝑧)
y cada curva podría proporcionar (tras el proceso de hacer particiones, construir las sumas y tomar
límites) un valor diferente de la integral.
Sabemos que la integral de línea de un campo vectorial real plano 𝐹⃗ (𝑥, 𝑦) entre dos puntos
(𝑥1 , 𝑦1 ) y (𝑥2 , 𝑦2 ) no depende del camino utilizado para ir desde el primer punto hasta el segundo
cuando el campo es conservativo. En consecuencia, podremos definir integrales de funciones de
variable compleja que sólo dependan de los puntos entre los que integremos, y no del camino
usado para ir de uno a otro, cuando, al realizar la identificación de una función de variable compleja
con un par de funciones reales de dos variables, el campo vectorial que aparezca en la integral de
línea sea conservativo. Fueron C. F. Gauss y A. L. Cauchy quienes descubrieron que las funciones
de variable compleja que cumplen esta condición son, precisamente, las funciones analíticas.
7
TEOREMA DE LA INTEGRAL DE CAUCHY
𝑧2
∫ 𝑓(𝑧)𝑑𝑧 = ∫ (𝑢(𝑥, 𝑦) + 𝑖𝑣(𝑥, 𝑦)(𝑑𝑥 + 𝑗𝑑𝑦)
𝑐 𝑧1
𝑍2 𝑍2
∫ 𝑓(𝑧)𝑑𝑧 = ∫ 𝑢(𝑥, 𝑦)𝑑𝑥 − 𝑣(𝑥, 𝑦)𝑑𝑦 + 𝑖 ∫ 𝑢(𝑥, 𝑦)𝑑𝑦 + 𝑣(𝑥, 𝑦)𝑑𝑥
𝑐 𝑍1 𝑍1
TEOREMA DE CAUCHY
Si 𝑓(𝑧) es una función analítica con derivada 𝑓 ′ (𝑧) continua en todos los puntos dentro y en una
curva cerrada simple 𝐶 entonces ∮ 𝑓(𝑧)𝑑𝑧 = 0
Cuando se elimina la restricción de continuidad de 𝑓 ′ (𝑧), el teorema puede ser aplicable a una
clase más grande de funciones, de esta forma, sin restricción se conoce como el teorema
fundamental de restricción compleja.
∮ 𝑓(𝑧)𝑑𝑧 = ∮ 𝑓(𝑧)𝑑𝑧
𝐶 𝛾+
8
Apartado Final
Algunas de las funciones elementales de variable compleja, cumplen con propiedades similares
a su análoga real, dichas propiedades se han omitido en este documento, pero deben ser
estudiadas a manera de profundización en el tiempo de estudio individual del estudiante.
2 1+𝑖
1. Calcular el siguiente número complejo 𝑧 = 𝑖 ln 1−𝑖
𝜔
2. Dado 𝑎 + 𝑏𝑖 = ln √𝜔 siendo 𝜔 tal que es real y de módulo 1. Hallar 𝑎 + 𝑏𝑖
1+√3𝑖
A. (1 − 𝑖)𝑖−1 B. 𝑖 𝑖 C. 1𝑖
4. Verificar que sin(𝑧 + 𝑤) con 𝑧 y 𝑤 complejos, cumple con la identidad sin(𝛼 + 𝛽) con 𝛼
y 𝛽 reales. Utilizar esta demostración para verificar:
𝑥 2 +𝑥 𝑥𝑦 𝑥2𝑦 𝑦 3 +𝑥𝑦 2
A. lim + 𝑥+𝑦 2 𝑖 B. lim 𝑥 2 +𝑦 2 + 𝑖
𝑧→0 𝑥+𝑦 𝑧→0 𝑥 4 +𝑦 2
𝑧 2 +1 𝑧̅ 𝑧 2 +4
𝑠𝑖 𝑧 ≠ 𝑖 𝑠𝑖 𝑧 ≠ 0 𝑠𝑖 𝑧 ≠ 2𝑖
A. 𝑓(𝑧) = { 𝑧−1 B. 𝑓(𝑧) = { 𝑧 C. 𝑓(𝑧) = { 𝑧−2𝑖
2𝑖 𝑠𝑖 𝑧 = 𝑖 0 𝑠𝑖 𝑧 = 0 3 + 4𝑖 𝑠𝑖 𝑧 = 2𝑖
𝑥 𝑦
A. 𝑓(𝑧) = 𝑥 3 + 3𝑥𝑦 2 + (𝑦 3 + 3𝑥 2 𝑦)𝑖 B. 𝑓(𝑧) = 𝑥 2 +𝑦 2 − 𝑥 2 +𝑦 2 𝑖
C. 𝑓(𝑧) = 𝑧̅. 𝐼𝑚(𝑧) D. 𝑓(𝑧) = 𝑒 −𝑦 𝑒 𝑖𝑥
E. 𝑓(𝑧) = (𝑧 2 − 2)𝑒 −𝑧 F. 𝑓(𝑧) = 𝑒 𝑦 𝑒 𝑖𝑥
G. 𝑓(𝑧) = 𝑧. 𝑧̅ H. 𝑓(𝑧) = 𝑥𝑦 + 𝑖𝑦
9
8. Hallar las constantes para que la función sea analítica
9. Pruebe que las siguientes funciones son armónicas y halle su armónica conjugada
𝑦
1. 𝑢(𝑥, 𝑦) = 2𝑥(1 − 𝑦) 2. 𝑢(𝑥, 𝑦) = 2𝑥 − 𝑥 3 + 3. 𝑢(𝑥, 𝑦) = 𝑥 2 +𝑦 2
3𝑥𝑦 2
A. 𝑧(𝑧 − 1) B. 𝑅𝑒(𝑧)
2𝑧𝑑𝑧
12. Evalué la integral ∮ , donde 𝐶 es:
𝐶 (2𝑧−1)(𝑧+2)
a) El circulo ‖𝑧‖ = 1
b) El circulo ‖𝑧‖ = 3
10
5𝑧𝑑𝑧
13. Evalúe la integral ∮ , donde 𝐶 es.
𝐶 (𝑧−1)(𝑧−2)(𝑧+4𝑖)
a) El circulo ‖𝑧‖ = 3
b) El circulo ‖𝑧‖ = 5
BIBLIOGRAFÍA
Zill, Dennis, & Wright, Warren. (2011). Matemáticas avanzadas para ingeniería. (4ta Ed.).
México D.F. Editorial McGraw-Hill.
James, Glyn. (2002).Matemáticas avanzadas para ingeniería. (2da Ed.). México D. F. Editorial
Prentice Hall.
Krasnov, M. & Makarenko, A.(1990). Matemáticas superiores para ingenieros. Tomo 2. URSS.
Editorial Mir Moscú.
WEBGRAFIA
http://www2.caminos.upm.es/Departamentos/matematicas/Fdistancia/PIE/Analisis%20matematico/Temas
/C04_Integracion_Plano_Complejo.pdf
http://personal.us.es/contreras/t08int_com.pdf
http://www.ma.uva.es/~antonio/Teleco/Apun_Mat2/2_Tema-11.pdf
11