1

Teorema Fundamental del Cálculo Integral Complejo

Dado un dominio G ⊂ C simplemente conexo y f (z) analı́tica en G, si

fijamos z0 ∈ G, como la integral de f (z) de z0 a cualquier z ∈ G, no
depende de la trayectoria, por el Teorema Integral de Cauchy, notemos
entonces que la siguiente función está bien definida
Z z
F (z) := f (ξ)dξ.
z0

En el siguiente teorema se demuestra que F (z) además resulta analı́tica

en G y se da un principio del Teorema Fundamental del Cálculo Inte-
gral Complejo.

Teorema Sea G un dominio simplemente conexo y f (z) analı́tica

en G. Entonces la función
Z z
F (z) = f (ξ)dξ, z0, z ∈ G, z0 fijo,
z0

resulta analı́tica en G y F 0(z) = f (z).

Demostración. Sea z ∈ G arbitrario y ∆z lo suficientemente

pequeña de manera que I(γ) ⊂ G donde γ es el cı́rculo centrado
en z y radio |∆z|. Dado que queremos probar que f (z) es complejo
diferenciable en G, estimaremos ∆F .
2

|∆z|
•
z

•
z0

Z z+∆z Z z Z z+∆z
∆F = f (ξ)dξ − f (ξ)dξ = f (ξ)dξ,
z0 z0 z
luego
Z z+∆z Z z+∆z
∆F = f (z)dξ + [f (ξ) − f (z)]dξ
z
Z z+∆z Zz z+∆z
= f (z) dξ + [f (ξ) − f (z)]dξ,
z z

entonces Z z+∆z
∆F 1
= f (z) + [f (ξ) − f (z)]dξ
∆z ∆z z
por tanto
   Z z+∆z 
 ∆F  1  
 ∆z − f (z) ≤ |∆z|  [f (ξ) − f (z)]dξ 
  
z
1
≤ M (∆z)|∆z|,
|∆z|
 3

donde M (∆z) = max |f (ξ)−f (z)|. Considerando además que por

|ξ−z|≤|∆z|
la independencia de la trayectoria, la integración la llevamos a cabo a
lo largo del segmento de lı́nea que une z con z + ∆z. Por continuidad
de f se tiene que lim M (∆z) = 0.
∆z→0
De donde se sigue que
∆F
lim = F 0(z) = f (z).
∆z→0 ∆z

Corolario Sea G un dominio

Z z+∆z simplemente conexo y supongamos
que la función F (z) := f (ξ)dξ y la integral no dependen de
z0
la trayectoria, entonces F resulta analı́tica en G & F 0(z) = f (z).

Corolario Bajo las condiciones del Teorema anterior. Si f (z) es

analı́tica en G, entonces f tiene primitivas de todos los órdenes,
es decir, para cualquier entero k positivo, existe F analı́tica en G
tal que F (k)(z) = f (z).

Teorema Sea G un dominio simplemente conexo en C y f analı́tica

en G. Cualquier primitiva de f (z), también llamada antiderivada
o integral indefinida de f (z), se puede representar de la forma:
Z z
Φ(z) = f (ξ)dξ + C, z0 ∈ G, C ≡ cte.
z0

Demostración. Sea Φ(z) una primitiva de f y consideremos la

4

primitiva encontrada en el teorema anterior. Sea entonces

Z z
ϕ(z) = Φ(z) − f (ξ)dξ = u(x, y) + iv(x, y),
z0

luego
ϕ0(z) = Φ0(z) − f (z) ≡ 0.
Por lo visto anteriormente
∂u ∂v ∂v ∂u
ϕ0(z) = +i = −i ≡ 0,
∂x ∂x ∂y ∂y
entonces
∂u ∂u ∂v ∂v
= = = ≡ 0,
∂x ∂y ∂x ∂y
finalmente u(x, y) = C1, v(x, y) = C2.

Corolario (Teorema Fundamental del Cálculo integral com-

plejo) Sea G un dominio simplemente conexo y f (z) analı́tica en
G. Entonces si z0 ∈ G y Φ(z) es cualquier primitiva de f (z), se
cumple Z z
f (ξ)dξ = Φ(z) − Φ(z0).
z0

Demostración. En la fórmula del Teorema anterior basta susti-

tuir z = z0.

Observación Notemos que la elección del punto z0, no afecta lo que

hemos demostrado anteriormente, salvo por una constante. Ya que si
 5

z
z0 •
•

Γ •
z0∗

elegimos otro punto z0∗ como punto base. Como la integral no depende
de la trayectoria
Z z Z z0 Z z
F ∗(z) = f (ξ)dξ = f (ξ)dξ + f (ξ)dξ.
z0∗ z0∗ z0

Dado que el segundo sumando es la integral elegida anteriormente

para definir F (z), tenemos entonces que
Z z0
F ∗(z) − F (z) = f (ξ)dξ ≡ cte.
z0∗

El caso cuando G es solo un dominio lo discutiremos posteriormente.

Sin embargo, podemos hacer notar lo siguiente. Si G es solamente
un dominio (no simplemente conexo) donde f (z) es analı́tica, la inte-
gral puede o no ser cero. Recordamos el ejemplo f (z) = (z − z0)n
1
y consideremos n ∈ Z−. Luego f (z) = . En este caso G =
(z − z0)n
C \ {z0}. Considerando el mismo cı́rculo que utilizamos anteriormente
Γ = {γ(t) = z0 + reit. Por la que se encontró en el ejemplo
Z
dz
m
= 0, m > 1,
Γ (z − z0 )
6
Z
dz
m
= 2πi, m = 1.
Γ (z − z0 )
z
•
γ2 • γ1
z0
•∗
z
Z z
De ahı́ la integral f (ξ)dξ no es independeiente de la trayectoria
z∗
pues si γ1 & γ2 son como la figura, γ1 − γ2 es cerrada,
Z Z
f (ξ)dξ − f (ξ)dξ = 2πi.
γ1 γ2