Universidad de las Fuerzas Armadas - ESPE

Ingenierı́a en Mecatrónica

MATEMÁTICA SUPERIOR - 8109

DERIVABILIDAD

DOCENTE:

Dr. Wilson Román

INTEGRANTES:

Javier Eduardo Semblantes Aguirre

Christopher Sebastián Garzón Zurita

Johana Juliza Masabanda Guanoluisa

Ronald Homero Catagña Lugmaña

Ecuador 2021
Índice

1. TEMA 2

2. OBJETIVOS 2

2.1. Objetivo general: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

2.2. Objetivos especı́ficos: . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

3. DESARROLLO TEÓRICO 2

3.1. Condiciones de Cauchy-Riemann . . . . . . . . . . . . . . . . . . . . . . . . . . . 2

3.2. Funciones Analı́ticas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4

3.3. Reglas de la Derivada . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5

3.4. Curvas y dominios complejos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9

4. EJERCICIOS RESUELTOS Y APLICACIONES 11

4.1. Codigo en MATLAB . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11

4.2. Ejemplo 1 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13

4.3. Ejemplo 2 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15

5. CONCLUSIONES 17

6. BIBLIOGRAFÍA 17

1
1. TEMA

Derivabilidad

2. OBJETIVOS

2.1. Objetivo general:

Mostrar la representación geométrica de los números complejos en el plano de Argand para

facilitar la comprensión de estos.

2.2. Objetivos especı́ficos:

Analizar y demostrar el teorema de Cauchy-Riemann.

Analizar un importante método para construir funciones holomorfas, como lı́mites de su-

cesiones de funciones polinómicas..

3. DESARROLLO TEÓRICO

3.1. Condiciones de Cauchy-Riemann

Definición 1 Sea f (z) : D ⊂ C → C; una función de una variable compleja, entonces la deri-

vada f ′ (z) de la función f (z) en el punto z0 es la siguiente:

 
′ f (z0 + ∆ z) − f (z0 )
f (z) = lı́m
∆z→0 ∆z

Siempre y cuando el lı́mite exista.

Demostración:

Sea f una función de variable compleja: f (z = (x, y)) = u(x, y) + j v(x, y) que es derivable

en un punto z0 ∈ C : z0 = (x0 , y0 ) = x0 + jy0 se dice que:

 
∃f ′ (z) = lı́m∆ z→(0,0) f (z0 +∆∆z
z)−f (z0 )
, sea z0 = x0 +jy0 y ∆z = ∆x+j∆y, entonces aplicando

la definición del lı́mite se tiene coger la parte real e imaginaria para su demostración:

Para la parte real → Escogiendo ∆z = (∆x, 0) , tenemos:

2
  
f (z0 +∆ z)−f (z0 )
f ′ (z0 ) = lı́m ∆ z→ 0 ∆ z

u (x0 + ∆x, y0 ) + jv (x0 + ∆x, y0 ) − u (x0 , y0 ) − jv (x0 , y0 )

= lı́m
∆x→0
 ∆x 
u (x0 + ∆ x, y0 ) − u (x0 , y0 ) v (x0 + ∆x, y0 ) − v (x0 , y0 )
= lı́m +j
∆x→0 ∆x ∆x
∂u ∂v
= (x0 , y0 ) + j (x0 , y0 )
∂x ∂x

Para la parte imaginaria → Escogiendo ∆z = (0, ∆y) = j∆y , tenemos:

 
f ′ (z0 ) = lı́m ∆ z→ 0 f (z0 +∆∆ z)−f
z
(z0 )

u (x0 , y0 + ∆y) + jv (x0 , y0 + ∆y) − u (x0 , y0 ) − jv (x0 , y0 )

= lı́m ∆y→0
∆y
v (x0 , y0 + ∆y) − v (x0 , y0 ) u (x0 , y0 + ∆ y) − u (x0 , y0 )
= lı́m ∆y→0 −j
∆y ∆y
∂v ∂u
= (x0 , y0 ) − j (x0 , y0 )
∂y ∂y

Ahora se deben igualar las 2 expresiones diferentes para f ′ (z0 ):

∂u ∂v ∂v ∂u
(x0 , y0 ) + j (x0 , y0 ) = (x0 , y0 ) − j (x0 , y0 )
∂x ∂x ∂y ∂y
∂u ∂v
(x0 , y0 ) = (x0 , y0 )
∂x ∂y
∂u ∂v
(x0 , y0 ) = − (x0 , y0 )
∂y ∂x

Teorema 1 sea una función f : ω ⊂ C → C, escrita como f (z) = u(x, y) + jv(x, y) y dado

un punto z0 = x0 + jy0 interior a su dominio, f es derivable respecto de z en z0 si y sólo si u

y v son diferenciables respecto de (x, y) en (x0 , y0 ) y sus derivadas parciales deben cumplir lo

siguiente:

∂u ∂v ∂u ∂ v
(x0 , y0 ) = (x0 , y0 ) (x0 , y0 ) = − (x0 , y0 ) (1)
∂x ∂y ∂y ∂ x

Por lo que se verifica que: f ′ (z0 ) = ∂u

∂x (x0 , y0 ) + j ∂∂ vx (x0 , y0 ) = ∂v
∂y (x0 , y0 ) − j ∂u
∂y (x0 , y0 ). Y que

a las relaciones (1.1) se conocen como relaciones de Cauchy Riemmann.

3
3.2. Funciones Analı́ticas

Definición 2 Diremos que la función f: D ⊂ C → C es analitica en el punto z0 ∈ D si f esta

definida y es derivable es alguna vecindad de z0 es decir ”f.es analitica en z0 si: ∃Vp (z0 ) tal que

f esta difinida en Vp (z0 ) y ∃f ′ (z0 ), ∀z ∈ Vp (z0 )

Figura 1: Funcion Analitica

Definición 3 La función f: D ⊂ C → C es analitica en D, si f es derivable ∀ z ∈ D

Observación 1 A la funcion analitica tambien se le llaman funcion regular u holomorfa.

Observación 2 La derivada de una funcion analitica u holomorfa tambien es analitica, de aqui

es que una funcion analitica tiene derivadas de todos los ordenes.

Definición 4 Si la funcion D ⊂ C → C es analitica en todo C, se le llama funcion entera.

Definición 5 Toda funcion f (z) = u(x, y)+i v(x, y) en donde las funciones u y v tiene primeras

derivadas parciales continuas y satisfacen las ecuaciones de CAUCHY - RIEMANN en algun

dominio D entonces f es analitica en D.

Ejemplo 1 Determinar si la funcion es analitica en C, donde f:C → C / f (z) = ez .

Desarrollo

f (z) = ez = ex+jy = ex .ejy = ex (cos y + i sen y)

de donde u(x, y) = ex cos y , y , v(x, y) = ex sen y , entonces

∂u ∂u ∂v ∂v
∂x = ex cos y , ∂y = ex sen y , ∂x = ex sen y , ∂x = ex cos y

existen y son continuas en todo R2 y como

∂u ∂v ∂v ∂y
∂x = ∂y , ∂y = − ∂x , ∀ (x, y) ∈ R2

entonces f (z) = ez es analitica en todo C, donde

f ′ (z) = ∂u
∂x +i ∂v
∂x = ex cos y + i ex sen y = ex (cos y + i sen y) = ex .ex+iy = ez

4
 ∴ f ′ (z) = ez

3.3. Reglas de la Derivada

Definición 6 Sea f (z) definida en una vecindad de z0 , la derivada de una funcion compleja

f (z) en un punto z0 , se denota por f ′ (z0 ) y se define por:

f (z) + f (z0 )
f ′ (z0 ) = lı́m (2)
z→z0 z − z0

si el lı́mite existe y es finito o en forma equivalente f es derivable en z0 si ∆z = h

f (z0 + h) − f (z0 )
lı́m = f ′ (z0 ) (3)
h→0 h

existe y es finito.En este lı́mite h se aproxima al numero complejo cero a través de valores com-

plejos.

Haciendo una pequeña comparación tenemos que la derivada de una funcion real viene defi-

nida por ∆x = h
f (x0 + h) − f (x0 )
f ′ (x0 ) = lı́m (4)
h→0 h

De donde decimos que si no existe el lı́mite concluimos de inmediato que no existe la dervidad

en x0 .Decimos que f (x) no es derivable o no es diferenciable en x0 .Podemos para levantar esto

hacer limite por la derecha y por la izquierda y estos deben coincidir.

5
 Figura 2: Derivada de una funcion Real

Ahora como se vio tenemos la derivada de una funcion compleja

f (z0 + h) − f (z0 )
f ′ (z0 ) = lı́m (5)
h→0 h

Entonces ahora no solo podemos aproximarnos con el lı́mite por la derecha o por la izquierda

sino que tenemos infinitos caminos.Paraque la derivada esté definida el limite debe existir y ser

el mismo independientemente del camino que se tome

Figura 3: Derivada de una funcion Compleja

Ejercicio 1:

Si f (z) = z entonces

Desarrollo:

f (z + h) − f (z)
f ′ (z) = lı́m
h→0 h

z+h−z
f ′ (z) = lı́m
h→0 h

6
 h
f ′ (z) = lı́m
h→0 h

f ′ (z) = lı́m 1 = 1
h→0

Reglas de la derivada

Las propiedades para derivar funciones complejas son similares a las propiedades para deri-

var funciones realies.Si f (z) y g(z) son funciones derivables en z entonces

Regla de la constante
d d
c = 0 , cf ′ (z) = cf ′ (z) (6)
dz dz

Regla de la suma

d
[f (z) + g(z)] = f ′ (z) + g ′ (z) (7)
dz

Regla del producto

d
[f (z) ∗ g(z)] = f (z)g ′ (z) + g(z)f ′ (z) (8)
dz

Regla del cociente

d f (z) g(z)f ′ (z) − f (z)g ′ (z)

= (9)
dz g(z) g(z)2

Regla de la cadena

d
f (g(z)) = f ′ (g(z))g ′ (z) (10)
dz

La regla común para la derivada de potencias de z tambien es valida

d n
z = nz n−1 , n es un entero
dz

7
 Ejercicio 2:

Si f (z) = (z 4 + 3z 2 + 5 + i)3

Desarrollo:

entonces aplicando la propiedad para las potencias de la derivada tenemos que

f ′ (z) = 3(z 4 + 3z 2 + 5 + i)2 (4z 3 + 6z)

Ejercicio 3:

Resolver: Si f (z) = z 4 − 3z 2

Desarrollo: entonces aplicando la regla de la suma tenemos

f ′ (z) = 4z 3 − 6z

Ejercicio 4:

z 4 + 3z 2
Si f (z) =
z3 + z + 1

Desarrollo: aplicando la regla del cociente obtenemos

(z 4 + 3z 2 )′ (z 3 + z + 1) − (z 3 + z + 1)′ (z 4 + 3z 2 ))
f ′ (z) =
(z 3 + z + 1)2

(z 3 + z + 1)(4z 3 + 6z) − (z 4 + 3z 2 )(3z 2 + 1)

f ′ (z) =
(z 3 + z + 1)2

z 6 + 4z 3 + 3z 2 + 6z
f ′ (z) =
(z 3 + z + 1)2

8
3.4. Curvas y dominios complejos

Definición 7 Una curva o arco de curva es una aplicación continua γ = [a, b] ⊆ R → C,

tal que a un número real t le corresponde el número complejo γ(t) = x(t) + i y(t), donde x(t)

e y(t) son funciones reales y continuas en [a, b].

Definición 8 Se denomina traza o trayectoria de la curva a su imagen:

(γ) = γ(t) : a ≤ t ≤ b

Por ser una función continua, la traza es un subconjunto compacto del plano complejo.

No se debe confundir la curva , que es una aplicación, con su traza, (γ), que es un subconjunto

de puntos del plano complejo, ya que la curva no es sólo su traza sino una cierta forma de

recorrerla.

Definición 9 Los extremos de la curva son los puntos γ(a) y γ(b), siendo γ(a) el punto origen

y γ(b) el punto final. Una curva es cerrada si coinciden sus extremos, γ(a) = γ(b).

Definición 10 Una curva es un arco simple o arco simple de Jordan si la aplicación γ es

inyectiva (es decir, γ(t1) = γ(t2) implica que t1 = t2) . Es decir, la curva no pasa por un

mismo punto dos veces.

Una curva es cerrada simple o curva de Jordan si es cerrada, es decir, (γ(a) = γ(b), y la

restricción a [a, b) es inyectiva.

Una curva de Jordan divide al plano complejo en dos subconjuntos abiertos y conexos, uno
o
acotado, el interior de la traza, int γ o γ . acotado, el ext(γ)

Definición 11 Dado un número natural n ≥ 1 se dice que una curva γ : [a, b] ⊆ R → C

es de clase C n en [a, b] y se denota γ ∈ C n ([a, b] , C) cuando γ (t) = x(t) + iy(t) verifica

que x(t) ∈ C n ([a, b], R), y(t) ∈ C n ([a, b], R).

La expresión C n ([a, b], A) representa el conjunto de funciones definidas en el intervalo cerrado

[a, b] sobre A, continuas y con sus derivadas continuas hasta el orden n.

Definición 12 Una curva es diferenciable con continuidad en [a, b], o bien continuamente dife-

renciable en [a, b], si la aplicación es continua y con derivada primera continua en el intervalo

cerrado [a, b], (incluidos los extremos, donde las derivadas son las derivadas laterales), es decir,

γ ∈ C 1 [a, b]

Por lo tanto existen las derivadas x′ (t) y ′ (t) en [a, b] y dichas derivadas son continuas. A una

9
curva diferenciable con continuidad se la denomina arco suave si las derivadas no se anulan en

el intervalo [a, b].

Definición 13 Una curva es diferenciable con continuidad a trozos, o un arco suave a trozos, si

el intervalo [a, b] se puede descomponer en una cantidad finita de intervalos [tk , tk + 1] con a =

t0 < t1 < ... < tn = b de modo que sea una curva diferenciable con continuidad en cada

intervalo, es decir, si γ ∈ Cˆ1 ([tk , tk + 1 ], C) existen los lı́mites laterales de las derivadas en

los extremos de cada intervalo.

Definición 14 Se denomina camino a una curva diferenciable con continuidad a trozos.

Figura 4: Ejemplos de trazas de caminos cerrados simples o curvas cerradas simples diferenciables
continuidad a trozos.

Se dice que los caminos son rectificables cuando es posible calcular su longitud.

Rb
Definición 15 La longitud del camino γ es el valor de la integral real long (γ) = a |γ ′ (t)| dt
q
donde |y ′ (t)| = (x′ (t))2 + (y ′ (t))2 .

Definición 16 Un cambio de parámetro es una aplicación biyectiva α : [a, b] → [c, d] de

clase uno, y tal que α′ (t) > 0, ∀t ∈ (a, b)

La composición de dos cambios de parámetro es también un cambio de parámetro.

Definición 17 Dos caminos γ : [a, b] → C, σ : [c, d] → C son equivalentes, y se denota

σ ∼ γ, , si existe una biyección o cambio de parámetro

α : [a, b] → [c, d], α(a) = c, α(b) = d, tal que : σ ◦ α = γ

También se dice que σ es una reparametrización de γ.

Si dos caminos son equivalentes, σ ∼ γ, entonces tienen la misma traza, σ = γ, que recorren

el mismo número de veces y en el mismo sentido cada vez, pero se modifica la velocidad a la que

se recorre la traza, pues:

γ ′ (t) = (σ ◦ α)′ (t) = σ ′ (α(t)) α′ (t).

La relación σ ∼ γ es una relación de equivalencia entre los caminos.

10
Definición 18 Dado el camino γ : [a, b] → C se define su camino inverso o camino opuesto,

y se denota −γ, al camino: −γ : [−b, −a] → C como (−γ)(t) = γ(−t) con − b ≤ t ≤ −a.

El camino γ recorre la misma traza que pero en sentido inverso.

Definición 19 Si dos caminos γ : [a, b] → C, y σ : [c, d] → C , son tales que γ(b) = σ(c),

se define la suma de caminos como γ + σ : [a, b + d − c] → C, siendo:


 γ (t)

si a ≤ t ≤ b
(γ + σ)(t) =
 σ (t + c − b) si b ≤ t ≤ b + d − c


Ası́ definido, γ + σ es un camino o curva diferenciable con continuidad a rozos, por ser

γ(b) = σ(c) y serlo γ y σ. En general si existe γ + σ, σ + γ no estará definido, por lo que la

suma de caminos no es conmutativa. Se verifica la propiedad asociativa: γ + [σ + τ ] = [γ +

σ] + τ , ası́ como que la traza de la suma es igual a la unión de las trazas: (γ + σ) = (γ) ∪ (σ).

Unas propiedades inmediatas son:

1. − Si σ ∼ γ entonces long(σ) = long(γ)

2. − long(−γ) = long(γ)

3. − long(γ + σ) = long(γ) + long(σ)

4. EJERCICIOS RESUELTOS Y APLICACIONES

4.1. Codigo en MATLAB

1 clc
2 clear all
3

4 %===============================================================
5 %menu para seleccionar el caso deseado
6 menu 1= menu ('REPRESENTACION GEOMETRICA DE LOS NUMEROS COMPLEJOS','Numero ...
complejo de la forma Z=a+bi','Numero complejo de la forma | z−zo | = p');
7 switch menu 1
8 %==============================================================
9 case 1
10 'Numero complejo de la forma Z=a+bi'
11 %===============================================================

11
12 z= input(" ingrese el numero complejo: ")
13 theta= (angle(z));%angulo de z
14 r=abs(z);%modulo de z
15 r1 1=conj(z); %conjugado de z
16 r1=abs(r1 1); %modulo del conjugado
17 theta 1=(angle(r1 1));%angulo del conjugado
18 n=input( " ingrese n: " );%raiz
19 %raiz 1 complejo
20 k=0;
21 raiz1=rˆ(1/n)*exp((theta+2*k*pi)/(n)*1i);
22 %raiz 2 complejo
23 k=1;
24 raiz2=rˆ(1/n)*exp((theta+2*k*pi)/(n)*1i);
25 %raiz 3 complejo
26 k=2;
27 raiz3=rˆ(1/n)*exp((theta+2*k*pi)/(n)*1i);
28 %raiz 1 conjugado
29 k=0;
30 raiz1 1=r1ˆ(1/n)*exp((theta 1+2*k*pi)/(n)*1i);
31 %raiz 2 conjugado
32 k=1;
33 raiz2 1=([r1ˆ(1/n)*exp((theta 1+2*k*pi)/(n)*1i)] );
34 %raiz 3 conjugado
35 k=2;
36 raiz3 1=r1ˆ(1/n)*exp((theta 1+2*k*pi)/(n)*1i);
37 disp("Numero complejo ")
38 disp(z)
39 disp("Conjugado ")
40 disp(r1 1)
41 disp("Modulo")
42 disp(r)
43 disp("Argumento del numero complejo")
44 disp(radtodeg (theta))
45 disp("Argumento del conjugado")
46 disp(radtodeg (theta 1))
47 %compass traza vectores usando las partes real e imaginaria de los valores ...
complejos especificados por Z
48 Z=compass([raiz1, raiz2, raiz3, raiz1 1, raiz2 1, raiz3 1 ]);
49 %modifica el color de los vectores
50 colores = get(0,'DefaultAxesColorOrder')
51 for i=1:length(Z)

12
52 set(Z(i),'color',colores(mod(i−1,length(colores))+1,:),'linewidth',2)
53 end
54 title('Representacion g r f i c a de los numeros complejos');
55 legend({'Complejo','Conjugado'},'Location','southwest');
56 %===============================================================
57 case 2
58 'Numero complejo de la forma | z−zo | = p'
59 %===============================================================
60 a=input('ingrese el elemento a: ')
61 b=input('ingrese el elemento zo: ')
62 center=[a, b];% Coordenadas del centro del circulo
63 r=input('ingrese el radio: ')% Radio del circulo
64 N=100;% numero de d i v i s i n
65 theta=linspace(0,2*pi,N);% angulo del circulo en radianes
66 x=r*cos(theta)+center(1);% coordenada x
67 y=r*sin(theta)+center(2);% coordenada imaginaria
68 z=complex(x,y);
69 figure
70 plot(z)
71 ax = gca;
72 ax.XAxisLocation = 'origin';
73 ax.YAxisLocation = 'origin';
74 grid on
75 pbaspect([1 1 1])
76 grid minor
77 end

4.2. Ejemplo 1

En el siguiente ejercicio encuentre: P, Z = (3 + 4i)

El modulo

El conjugado

El argumento

Solución:

M odulo :

|Z| = |3 + 4i|

13
 √
|Z| = 32 + 42 = 5 unidades

Conjugado :

z = ∥3 + 4i∥

z = 3 − 4i

Argumento :

z = 3 + 4i

arg z = θ

arg z = tan−1 4


3

arg z = 0,9272 rad

arg z = 53, 130◦

Figura 5: Grafica generada por Matlab de la resolución del ejercicio.

14
 Figura 6: Salida en pantalla de la resolución del ejercicio.

4.3. Ejemplo 2

Bosqueje la gráfica de la ecuación indicada |z − 3i| = 2

Solución:

Dado que tenemos que dibujar la gráf ica de |z − 3i| = 2

⇒Sabemos que |z − zo | = ρ, ρ > 0; ρ representa el radio del crculo y z o al centro

Ası́ |z − 3i| = 2, representa un cı́rculo con centro 3i y con radio 2

15
Figura 7: Grafica generada por Matlab de la resolución del ejercicio.

16
 Figura 8: Datos ingresados en Matlab.

5. CONCLUSIONES

El teorema de Cauchy establece que dadas dos funciones f (x) y g(x) continuas en el

intervalo [a, b] y derivables en (a, b), si g(a)g(b), existe al menos un punto c perteneciente

a (a, b), siempre que g ′ ̸= 0 se verifica que el teorema (1) se cumple.

La noción de función analı́tica puede definirse para funciones reales o complejas, cabe dejar

constancia que las clases más importantes de funciones que ocurren en el análisis clásico y

en sus aplicaciones a los problemas de mecánica y fı́sica, sean analı́ticas, salvo en algunos

puntos singulares de estas funciones.

6. BIBLIOGRAFÍA

- Zill,D.G, Wright,W.S.(2011).Matemáticas Avanzadas 2: Cálculo Vectorial, Análisis de Fou-

rier y Análisis Complejo(3ra.ed.)México D.F.McGraw-Hill.

- RAMOS, Eduardo Espinoza. Análisis Matemático IV. Editorial Servicios Gráficos JJ Lima-

17
Perú, 2013.

-Ablowitz, M. J., Fokas, A. S. (2003). Complex variables: introduction and applications (2nd

ed). Cambridge University Press. -Brown, J. W., Churchill, R. V. (2009). Complex Variables

and Applications. 8th Edition. New York: McGraw-Hill Higher Education. Crone, L. (n.d.) Co-

lor graphs of complex functions.

-Farris, F. (1997). Visualizing complex-valued functions in the plane.

-Farris, F. (1998). Review of Visual Complex Analysis. By Tristan Needham. The American

Mathematical Monthly, 105(6), 570-576.

-Farris, F. A. (2017). Domain Coloring and the Argument Principle. PRIMUS 27:8-9, 827-844,

DOI: 10.1080/10511970.2016.1234526

-Liste, R. L. (2014). El color dinámico de GeoGebra. Gaceta De La Real Sociedad Matematica

Española, 17, 525–547, Madrid.

-Lundmark, H. (2004). Visualizing complex analytic functions using domain coloring.

-Needham, T. (1997). Visual Complex Analysis. Oxford University Press, Oxford.

-Marsden, J. E. Hoffman, M. J. (1987) Basic Complex Analysis. (2nd ed.) W. H. Freeman and

Co, New York.

Referencias

18