Capı́tulo 1

Sucesiones y Series de Funciones

En este capı́tulo estudiaremos las propiedades de convergencia de sucesiones y

series de funciones de valor real definidas sobre un conjunto E. En la mayorı́a de
los casos E será un subconjunto de R. Dado que estamos tratando con sucesiones
y series de funciones, surgen naturalmente cuestiones relacionadas con la preser-
vación de la continuidad, la diferenciabilidad y la integrabilidad. En concreto, ¿es
la función lı́mite de una sucesión convergente de funciones continuas, diferen-
ciables o integrables de nuevo continua, diferenciable o integrable? Discutiremos
estas cuestiones en detalle en la la presente sección y mostraremos con ejemplos
que la respuesta a todas estas preguntas es, en general, ¡no! La convergencia por
sı́ misma no es suficiente para preservar la continuidad, la diferenciabilidad o la
integrabilidad. Se necesitarán hipótesis adicionales.
El estudio de las sucesiones y series de funciones tiene su origen en el estudio
de la representación de funciones en series de potencias. La serie de potencias de
ln(1 + x) era conocida por Nicolaus Mercator (1620-1687) hacia 1668, y las series
de potencias de muchas de las funciones trascendentales como arctan x, arcsin x,
entre otras, fueron descubiertas hacia 1670 por James Gregory (1625-1683). Todas
estas series se obtuvieron sin referencia alguna al cálculo. Los primeros descubri-
mientos de Newton, que datan de los primeros meses de 1665 , fueron el resultado
de su capacidad para expresar funciones en términos de series de potencias. Su
tratado sobre el cálculo, publicado póstumamente en 1737, se titulaba apropiada-
mente A treatise of the method of fluxions and infinite series. Entre sus muchos
logros, Newton dedujo la expansión en serie de potencias de (1 + x)m/n utilizan-
do técnicas algebraicas. Esta serie y las series geométricas fueron cruciales en
muchos de sus cálculos.

1
2 CAPÍTULO 1. SUCESIONES Y SERIES DE FUNCIONES

1.1. Convergencia puntual e intercambio de lı́mites

En esta sección, consideramos una serie de cuestiones relacionadas con las su-
cesiones y series de funciones y el intercambio de lı́mites. Muchos matemáticos
creı́an que algunas de estas cuestiones eran ciertas antes del siglo XIX. Incluso
Cauchy, en su texto Cours d’Analyse, ”demostróün teorema según el cual el lı́mi-
te de una sucesión convergente de funciones continuas era de nuevo continuo.
Como veremos en breve, ¡este resultado es falso!
Para comenzar nuestro estudio de las sucesiones y series de funciones definiremos
primero lo que entendemos por convergencia puntual de una sucesión de funcio-
nes. Si E es un conjunto no vacı́o y si para cada n ∈ N, fn es una función de valor
real sobre E, entonces decimos que { fn } es una sucesión de funciones de valor
real sobre E. Para cada xenE, tal sucesión da lugar a la sucesión { fn (x)} de núme-
ros reales, que puede converger o no. Si la sucesión { fn (x)} converge para todo
x ∈ E, entonces se dice que la sucesión { fn } converge puntualmente en E, y por
la unicidad del lı́mite

f (x) = lı́m fn (x)

n→∞

define una función f de E a R. Lo resumimos en la siguiente definición.

Sea (X, d) un espacio métrico y Eunsubcon juntodeX. Sea { fn }∞ n=1 una sucesión
de funciones de valor real definidas sobre E. La sucesión { fn } converge puntual-
mente en E si { fn (x)}∞
n=1 converge para cada x ∈ E. Si este es el caso, entonces f
definido por
f (x) = lı́m fn (x), x ∈ E,
n→∞

define una función sobre E. La función f se llama lı́mite de la sucesión { fn }.

En términos de ε y no , la sucesión { fn } converge puntualmente a f si para cada
x ∈ E, dado ε > 0, existe un entero positivo no = no (x, ε) tal que

| fn (x) − f (x)| < ε

para todo n ≥ no . La expresión no = no (x, ε) indica que el entero positivo no puede

depender tanto de ε como de x ∈ E.
7.23 INTEGRALES DEPENDIENTES DE UN PARÁMETRO
Teorema 7.38. Sea f continua en cada punto (x, y) de un rectángulo

Q = {(x, y) : a ≤ x ≤ b, c ≤ y ≤ d}.
1.1. CONVERGENCIA PUNTUAL E INTERCAMBIO DE LÍMITES 3

Supongamos que α es de variación acotada en [a, b] y sea F la función definida

en [c, d] por medio de la ecuación
Z b
F(y) = f (x, y)dα(x)
a

Entonces F es continua en [c, d]. En otras palabras, si y0 ∈ [c, d], tenemos

Z b Z b
lı́m f (x, y)dα(x) = lı́m f (x, y)dα(x)
y→y0 a a y→y0
Z b
= f (x, y0 ) dα(x)
a

Drmostración. Supongamos que α % en [a, b]. Como que Q es un conjunto com-

pacto, f es uniformemente continua en Q. Por lo tanto, dado ε > 0, existe un δ > 0
(que depende sólo de ε ) tal que, para cada par de puntos z = (x, y) y z0 = (x0 , y0 ) de
Q tales que |z − z0 | < δ , tenemos | f (x, y) − f (x0 , y0 )| < ε. Si |y − y0 | < δ , tenemos
Z b
F(y) − F y0 f (x, y) − f x, y0 dα(x) ≤ ε[α(b) − α(a)].



≤
a

Esto establece la continuidad de F en [c, d].

Naturalmente, cuando α(x) = x, este resultado se convierte en un teorema de cun-
tinuidad para las integrales de Riemann que dependen de un parámetro. Sin em-
bargo, es posible obtener un teorema mucho más útil para integrales de Riemann
que el que se obtiene haciendo α(x) = x.
Teorema 7.39. Si f es continua en el rectángulo [a, b] × [c, d], y si g ∈ R en [a. b].
entonces la función F definida por la ecuación
Z b
F(y) = g(x) f (x, y)dx,
a

es continua en [c, d]. Esto es, si y0 ∈ [c, d], tenemos

Z b Z b
lı́m g(x) f (x, y)dx = g(x) f (x, y0 ) dx
y>y0 a a

Demostración. Si G(x) = ax g(t)dt, el teorema 7.26 prueba que F(y) =

R Rb
n /(1, 1)d(i(x).
Aplı́quese ahora el teorema 7.38.
4 CAPÍTULO 1. SUCESIONES Y SERIES DE FUNCIONES

1.2. Integración paramétrica

En el próximo capı́tulo, ası́ como en la segunda parte, nos vamos a preocupar del
estudio de algunas funciones que se definen por medio de integrales. Los proble-
mas que aparecen aquı́ son análogos* a los planteados en el tema de sucesiones y
series de funciones y, como allı́, se resuelven con mucha más facilidad y resultados
más agradables en el caso complejo † .
En concreto, dada una función de dos variables complejas, f (w, z), y un camino
γ, consideramos la función
Z
F(z) = f (z, w)dw
γ

y tratamos de averiguar si F conserva las propiedades de continuidad y derivabi-

lidad de f .

1.2.1. INTEGRALES PARAMÉTRICAS PROPIAS

En este apartado consideramos un camino regular a trozos

γ : [a, b] −→ C

y una función
f : A × Γ −→ C
(donde A ⊂ C y Γ es el rango de γ ). Si para cada z ∈ A la función f (z, w) es
integrable -respecto a la segunda variable-a lo largo de γ, queda definida una nueva
función
F : A −→ C
Z
z → F(z) = f (z, w)dw
γ

En el caso particular γ(t) = t, entonces Γ es precisamente el segmento [a, b] del

eje real. En este caso representaremos esta función como
Z b
F(z) = f (z,t)dt
a

Teorema 1.2.1 (Continuidad). Sean A ⊂ C un conjunto compacto y Γ el rango

del camino regular a trozos γ. Si la función f es continua en A × Γ, entonces F es
continua en A.
1.2. INTEGRACIÓN PARAMÉTRICA 5

Demostración. Dado que el conjunto A × Γ es compacto, f es uniformemente

continua. Por lo tanto, dado ε > 0,

|z1 − z2 | < δ ε
∃δ > 0/ ⇒ | f (z1 , w1 ) − f (z2 , w2 )| <
|w1 − w2 | < δ 2l(γ)
donde l(γ) es la longitud del camino γ. Por lo tanto, si |z1 − z2 | < δ tendremos
ε
| f (z1 , w) − f (z2 , w)| < ∀w ∈ Γ
2l(γ)
luego,
Z
ε
|F (z1 ) − F (z2 )| = { f (z1 , w) − f (z2 , w)} dw ≤ l(γ) ≤ε
γ 2l(γ)

Corolario 1.2.1. Sean A ⊂ C un conjunto abierto yΓ el rango del camino regular

a trozos γ. Si la función f es continua en A × Γ, entonces F es continua en A.
Demostración. Basta probar que F es continua en todos los puntos de A. Si z0 ∈ A
podemos encontrar un radio r0 > 0 de modo que el disco cerrado de centro z0 y
radio r0 esté contenido en A. Por el teorema anterior, F es continua en el disco y
en particular en z0 .
Obsérvese que los resultados anteriores significan que, si f es continua, se puede
intercambiar la integración respecto a una variable con el paso al lı́mite respecto
a la otra, es decir,
Z Z Z
lı́m f (z, w)dw = lı́m f (z, w)dw = f (z0 , w) dw
z→z0 γ γ z→z0 γ

Ahora probaremos un resultado análogo en relación con las derivadas,

Teorema 1.2.2. (Derivación bajo el signo integral) Si Γ es el rango del camino
regular a trozos γ, A ⊂ C un abierto y f es continua en A × Γ y parcialmente deri-
vable respecto a z en A × Γ, entonces F es holomorfa en Ay
∂n f
Z
n)
F (z) = (z, w)dw
γ ∂ zn
Es decir, puede intercambiarse la derivación respecto a z con la integración cur-
vilinea.
6 CAPÍTULO 1. SUCESIONES Y SERIES DE FUNCIONES

Demostración. Sea z0 ∈ A. Si elegimos R > 0 de modo que el disco cerrado

K = {z : |z − z0 | ≤ R} esté contenido en A, entonces f (z, w) puede desarrollarse
en serie de Taylor en el interior del disco:

+∞
f (z, w) = ∑ an(w) (z − z0)n z ∈ K, w ∈ Γ (1.1)
n=0

donde, según la fórmula de la integral de Cauchy para las derivadas,

1 ∂n f 1 f (ϕ, w)
Z
an (w) = (z0 , w) = dϕ
n! ∂ z n 2πi C(z0 ,R) (ϕ − z0 )n+1

Al ser f una función de dos variables, los coeficientes an de la serie de Taylor

dependen de w. Vamos a demostrar que esta dependencia es continua, es decir,
que para todo natural n la función an (w) es continua en Γ.
Como f es continua en el compacto K × Γ, entonces es uniformemente continua
y, dado ε > 0 existe δ > 0 de modo que

|w1 − w2 | < δ =⇒ | f (ϕ, w1 ) − f (ϕ, w2 )| < ε

siempre que |ϕ − z0 | = R y w1 , w2 ∈ Γ. Por lo tanto,

1 ε ε
|an (w1 ) − an (w2 )| ≤ 2πR n+1 = n
2π R R

Ası́ pues, los coeficientes an (w) son funciones continuas. Por otra parte, la serie
(1.1) converge uniformemente en Γ. Para probarlo aplicamos la prueba de Weiers-
trass. La continuidad uniforme en el compacto K × Γ asegura la existencia de una
cota para f :
∃M > 0/| f (z, w)| ≤ M ∀z ∈ K, ∀w ∈ Γ

Entonces,

1 f (ϕ, w) 1 M
Z
n n
|an (w) (z − z0 ) | = n+1
dϕ (z − z 0 ) ≤ 2πR n+1
|(z − z0 )n |
2πi C(z0 ,R) (ϕ − z0 ) 2π R
 n
|z − z0 |
=M
R
1.2. INTEGRACIÓN PARAMÉTRICA 7

Ahora podemos aplicar el teorema de integración para series de funciones. La

integral respecto a γ puede intercambiarse con la serie;
Z +∞
F(z) = ∑ an(w) (z − z0)n dw
γ n=0
+∞ Z  (1.2)
= ∑ an (w)dw (z − z0 )n |z − z0 | < R
n=0 γ

Esta última ecuación indica que F es analı́tica (juna serie de potencias!) en el

interior del disco |z − z0 | < R. La derivada de F en z0 es el coeficiente de |z − z0 |
en (1.2):
∂f
Z Z
0
F (z) = a1 (w)dw = (z0 , w) dw
γ γ ∂z

Del mismo modo podemos determinar las derivadas sucesivas de F :

∂n f
Z Z
n
F ) (z) = n! an (w)dw = (z0 , w) dw
α γ ∂ zn

Si se compara este teorema con el correspondiente en el caso real, observaremos

2 3
que no se precisa la hipótesis de continuidad de ∂∂ zf , ∂∂ z2f , ∂∂ z3f , . . ..

Ejemplo 1.2.1. En el estudio de las ecuaciones diferenciales lineales de segundo

orden y en relación con problemas de la técnica (tales como la difusión del calor
a través de un cilindro) aparecen las funciones de Bessel de primera especie:

1
Z π
Jα (z) = cos(αt − z sent)dt, z∈C
π 0

Puesto que la función

f (z,t) = cos(αt − z sent)
es continua en C × [0, π] y derivable respecto a z, Jα es derivable y

1
Z π
Jα0 (z) = − sen(αt − z sent) sentdt
π 0
1
Z π
Jα00 (z) = − cos(αt − z sent) sen2 tdt
π 0
8 CAPÍTULO 1. SUCESIONES Y SERIES DE FUNCIONES

1.2.2. INTEGRALES PARAMÉTRICAS IMPROPIAS

Hasta aquı́ hemos considerado siempre integrales curvilı́neas a lo largo de cami-
nos γ : [a, b] −→ C, a, b ∈ R. Si extendemos el concepto de camino a intervalos
abiertos o semiabiertos las integrales resultantes pasan a ser impropias y las difi-
cultades de la teorı́a aumentan. Sin embargo, (como siempre pasa) son éstas las
más interesantes por sus aplicaciones.

INTEGRALES IMPROPIAS DE PRIMERA ESPECIE

Un camino sin fin es una aplicación continua
γ : [a, +∞[−→ C
La imagen Γ = Im γ se llama rango del camino. Para cada u > a representaremos
como γu el camino
γu : [a, u] −→ C
t → γu (t) = γ(t)
Si γu es regular a trozos ∀u > a diremos que γ es regular a trozos.
Definición 1.2.1. Sea γ un camino sin fin regular a trozos y supongamos que g es
una función compleja de variable compleja integrable a lo largo de γu para cada
u > a. Si existe y es finito el lı́mite
Z
lı́m g(z)dz (1.3)
u→+∞ γu

diremos que g es integrable a lo largo de γ o que la integral a lo largo de γ de g

es convergente y representaremos el lı́mite (1.3) como
Z
g(z)dz
γ

Ejemplo 1.2.2. El intervalo [0, +∞[ es un camino sin fin. La integral a lo largo
de [0, +∞[ de una función g(z) coincide con la integral impropia.
Z +∞
g(t)dt
0
De modo general, la integral a lo largo de cualquier camino sin fin es equivalente
a una integral impropia de variable real:
Z Z +∞
g(z)dz = g(γ(t))γ 0 (t)dt
γ 0
1.2. INTEGRACIÓN PARAMÉTRICA 9

y su estudio se reduce al de las integrales impropias

R
de variable real. Teniendo en
cuenta este hecho, diremos que la integral γ g(z)dz converge absolutamente si la
integral 0+∞ |g(γ(t))γ 0 (t)| dt converge y podemos asegurar que la convergencia
R

absoluta implica la convergencia ordinaria, lo que finalmente nos permite utilizar

los criterios de convergencia absoluta conocidos.

Ejemplo 1.2.3. Sea γ la semirecta

γ : [1, +∞[ −→ C
t → γ(t) = teiπ/4 .
R dz
La integral γ z2 converge absolutamente, puesto que

Z +∞ Z +∞
1 1
|γ(t)|dt = dt
1 γ(t) 1 t2

es convergente. Por otra parte,

Z +∞ iπ/4 Z +∞
dz e dt
Z
= dt =
γ z 1 teiπ/4 1 t

luego es divergente. Dado el camino sin fin γ : [a, +∞[−→ C, si v > u > a, repre-
sentamos por γuv su restricción al subintervalo [u, v].γuv está pues definido por la
fórmula γuv (t) = γ(t), u ≤ t ≤ v.
R
Teorema 1.2.3. (Condición de Cauchy) La integral γ g(z)dz converge si, y sólo
si,
Z
∀ε > 0 ∃u0 > a : v > u > u0 =⇒ g(z)dz < ε.
γuv

1.2.3. INTEGRALES PARAMÉTRICAS IMPROPIAS DE PRI-

MERA ESPECIE
Consideremos una función
f : A × Γ −→ C
donde
R
A ⊂ C y Γ es el rango de un camino sin fin γ. Diremos que la integral R
γ f (z, w)dw converge puntualmente en A si existe y es finito el lı́mite lı́mu→+∞ γu f (z, w)dw
10 CAPÍTULO 1. SUCESIONES Y SERIES DE FUNCIONES

para cada z ∈ A, es decir, si fijado z ∈ A la integral de gz (w) = f (z, w) es conver-

gente. En tal caso queda definida una nueva función

F : A −→ C
Z
z → F(z) = f (z, w)dw
γ

Al igual que ocurre con las sucesiones y series de funciones, la convergencia pun-
tual no conserva las propiedades de continuidad o derivación, como se ve en el
ejemplo siguiente.
z
Ejemplo 1.2.4. La función f (z, w) = 1+z2 w2
es continua en C × C y la integral
paramétrica Z +∞ z
F(z) = dw
0 1 + z2 w2
converge puntualmente en [0, +∞[. Sin embargo, F no es continua, ya que me-
diante un cálculo directo se comprueba que, para x > 0, F(x) = π2 mientras que
F(0) = 0.
Siguiendo el paralelismo con las sucesiones y series de funciones introducimos
un concepto de convergencia más restrictivo.
Definición 1.2.2. Sean A ⊂ C, γ un camino sin fin yΓ su rango.
R
Supongamos que f
es una función definida en A × Γ y la integral paramétrica γ f (z, w)dw converge
puntualmente a F en A. Diremos que la convergencia es uniforme o que la integral
converge uniformemente a F en A si

∀ε > 0 ∃u0 > a/

Z 
u ≥ u0 =⇒ f (z, w)dw − F(z) < ε ∀z ∈ A
γu
R
Teorema 1.2.4. (Condición de Cauchy) La integral γ f (z, w)dw converge unifor-
memente en A si, y sólo si,
Z 
∀ε > 0 ∃u0 > a v > u > u0 =⇒ f (z, w)dw < ε ∀z ∈ A .
γuv

Teorema 1.2.5. (Prueba M de Weierstrass) Sea Γ el rango del camino sin fin
regular a trozos γ. Supongamos que las funciones

f : A × Γ −→ C y M : Γ −→ R+
1.2. INTEGRACIÓN PARAMÉTRICA 11

verifican la desigualdad

| f (z, w)| ≤ M(w) ∀z ∈ A ∀w ∈ Γ

R R
y que la integral impropia γ M(w)dw es convergente. Entonces, γ f (z, w)dw con-
verge uniforme y absolutamente en A.
R
Demostración. Demostración.- Sea ε > 0. Puesto que γ M(w)dw converge,
Z
∃u0 > a/v > u ≥ u0 =⇒ M(w)dw < ε
γuv

Por lo tanto,
Z Z v Z v Z v
0 0
f (z, w)dw = f (z, γ(t))γ (t)dt ≤ f (z, γ(t))γ (t) dt ≤ M(γ(t)) γ 0 (t) dt
γuv u u u
Z v
= M(w)dw < ε
u

A partir de aquı́, podrı́amos dedicarnos a reproducir las demostraciones de los

teoremas del capı́tulo anterior. Sin embargo, no va a ser necesario hacerlo: el pa-
ralelismo que hemos venido observando con la teorı́a de sucesiones y series de
funciones no es en absoluto casual y ahora vamos a sacarle el máximo provecho.
Supongamos que {un }+∞ n=0 es una sucesión creciente de números reales de modo
que u0 = a y lı́m un = +∞ Si la función f (z, w), definida en A × Γ, es integrable a
lo largo de γu ∀u > a, entonces podemos construir la sucesión de funciones
Z
Fn (z) = f (z, w)dw z∈A
γun

y se demuestra
R
sin ninguna dificultad que la convergencia puntual o uniforme de la
integral γ f (z, w)dw a la función F implica el mismo tipo de convergencia de Fn
a la misma función F. Por lo tanto, la convergencia de integrales paramétricas se
reduce a la de sucesiones de funciones y los dos teoremas siguientes son triviales.

Teorema 1.2.6. Teorema 12.6 (Continuidad) Sea ΓR el rango del camino sin fin
regular a trozos γ y sea K un conjunto compacto. Si γ f (z, w)dw converge unifor-
memente a F en K, y la función f es continua en K × Γ, entonces F es continua
en K.
12 CAPÍTULO 1. SUCESIONES Y SERIES DE FUNCIONES

El teorema anterior continúa siendo válido si en lugar del compacto K se considera

un conjunto abierto.
R
Teorema 1.2.7. (Derivación bajo el signo integral) Si la integral γ f (z, w)dw
converge uniformemente a F(z) en los discos compactos del abierto A, y f admite
una derivada parcial respecto a la variable z en A, entonces,
a) F es holomorfa en A.

b) Para todo n ∈ N, y para todo z ∈ A,

∂n f
Z
n)
F (z) = (z, w)dw (1.4)
γ ∂ zn
Además, la convergencia de (1.4) es uniforme en los discos compactos de
A.
Ejemplo 1.2.5. Sea f (t),t ≥ 0, una función acotada y continua y consideremos
la integral paramétrica Z +∞
f (t)e−zt dt (1.5)
0
Puesto que ∃M > 0 : | f (t)| ≤ M ∀t ≥ 0

f (t)e−zt ≤ M e−zt = Me−re(z)t ≤ Me−at si re(z) ≥ a

Por otra parte, la integral

Z +∞
M −at
Me−at dt = lı́m −


e −1
0 t→+∞ a
converge a Ma siempre que a > 0. Por lo tanto, (1.5) converge uniformemente en
el semiplano
{z ∈ C : re(z) ≥ a}
para cualquier a > 0. Por lo tanto, la convergencia es uniforme en todos los sub-
conjuntos compactos de
{z ∈ C : re(z) > 0}
La función F que resulta es la transformada de Laplace de f ‡. Del teorema de
derivación se sigue que F es analı́tica y sus derivadas sucesivas son
Z +∞ Z +∞
∂ −zt
n)
(−t)n f (t)e−zt dt


F (z) = f (t)e dt = n = 1, 2, . . .
0 ∂z 0
1.2. INTEGRACIÓN PARAMÉTRICA 13

1.2.4. INTEGRALES PARAMÉTRICAS IMPROPIAS DE SE-

GUNDA ESPECIE
Llamaremos camino sin fin de segunda especie a una función continua

γ :]a, b] −→ C

Como en los párrafos anteriores, podemos hablar del rango de γ, es decir que γ es
regular a trozos si lo es su restricción γu a los intervalos de la forma [u, b] a <
u < b.
Sea f : A × Γ −→ C una función no acotada en las proximidades de (z, γ(a)) para
algún z ∈ A. La integral paramétrica
Z
f (z, w)dw (1.6)
γ

converge puntualmente a la función F(z) en A si

Z
lı́m f (z, w)dw = F(z) ∀z ∈ A
u→a+ γu

y converge uniformemente a F en A si

∀ε > 0∃u0 > a/

Z 
a < u ≤ u0 =⇒ f (z, w)dw − F(z) < ε ∀z ∈ A
γu

Por supuesto, la condición de Cauchy (cuyo enunciado dejamos para el lector) y

la prueba de Weierstrass se demuestran como en la sección anterior.

Teorema 1.2.8. (Prueba M de Weierstrass) Sea Γ el rango del camino sin fin de
segunda especie regular a trozos γ. Supongamos que las funciones

f : A × Γ −→ C y M : Γ −→ R+

verifican la desigualdad

| f (z, w)| ≤ M(w) ∀z ∈ A, ∀w ∈ Γ

R R
y que la integral impropia γ M(w)dw es convergente. Entonces, γ f (z, w)dw con-
verge uniforme y absolutamente en A.
14 CAPÍTULO 1. SUCESIONES Y SERIES DE FUNCIONES

Si {un } es una sucesión decreciente de puntos de ]a, b] de modo que lı́m un = a

entonces la convergencia puntual (o uniforme) de (12.6) es equivalente a la de la
sucesión de funciones Z
Fn (z) = f (z, w)dw
γun
y, por lo tanto, los siguientes teoremas son inmediatos.
Teorema 1.2.9. (Continuidad) Sea ΓR el rango del camino sin fin regular a trozos
γ y sea K un conjunto compacto. Si γ f (z, w)dw converge uniformemente a F en
K y la función f es continua en K × Γ, entonces F es continua en K.
R
Teorema 1.2.10. (Derivación bajo el signo integral) Si la integral γ f (z, w)dw
converge uniformemente a F(z) en los discos compactos del abierto A y admite
una derivada parcial respecto a la variable z en A, entonces
a) F es holomorfa en A.
b) Para todo n ∈ N, y para todo z ∈ A,
∂n f
Z
n)
F (z) = (z, w)dw
γ ∂ zn
Además, la convergencia de (12.7) es uniforme en los discos compactos de A.

1.2.5. INTEGRALES PARAMÉTRICAS IMPROPIAS: CASO

GENERAL
Terminemos de generalizar el concepto de camino diciendo simplemente que es
una aplicación continua γ : I −→ C siendo I un intervalo cualquiera. Si I no es
compacto, se trata de un camino sin fin.
En todo caso, un camino sin fin o es como los estudiados en este capı́tulo o puede
descomponerse en dos caminos de tales tipos: ası́, si el dominio de γ es ]0, +∞[,
podemos poner
γ = γ1 + γ2 , con D (γ1 ) =] 0, 1] y D (γ2 ) = [1, +∞[
La definición que sigue reduce las integrales paramétricas a los casos ya estudia-
dos:
Definición 1.2.3. Si γ =R γ1 + γ2 yγ1 , γR2 son caminos sin fin de primera o segunda
especie y las integrales γ1 f (z, w)dw γ2 f (z,Rw)dw convergen uniformemente a F1
y F2 respectivamente entonces diremos que γ f (z, w)dw converge uniformemente
aF1 + F2 .