UNIVERSIDAD NACIONAL SAN ANTONIO ABAD
DEL CUSCO
FACULTAD DE CIENCIAS QUIMICAS, FISICAS Y
MATEMATICAS
Escuela Profesional de Matemática
CALCULO III
SERIES Y SERIES ESPECIALES
ALUMNA: YESSENIA FLOR CENTENO LAZARO
CODIGO: 240471
SEMESTRE: 2025-I
CUSCO-PERU
2025
SERIES
Definición
Dada una sucesión {𝑎𝑛 }podemos formar a partir de ella otra sucesión, {𝐴𝑛 }, cuyos términos se
obtienen sumando consecutivamente los términos de {𝑎𝑛 }, es decir:
𝐴1 =𝑎1 , 𝐴2 =𝑎1 +𝑎2 , 𝐴3 =𝑎1 +𝑎2 +𝑎3 ,…,𝐴𝑛 =𝑎1 +𝑎2 +⋯+𝑎𝑛 ,…
o, si te gusta más, 𝐴1 =𝑎1 y, para todo 𝑛 ∈ ℕ, 𝐴𝑛+1=𝐴𝑛 +𝐴𝑛+1 .La sucesión {𝐴𝑛 } así definida se
llama serie de término general 𝑎𝑛 o serie definida por la sucesión {𝑎𝑛 }, y la representaremos
por ∑𝑛≥1 𝑎𝑛 o, más sencillamente, ∑ 𝑎𝑛 .El número 𝐴𝑛 = ∑𝑛𝑘=1 𝑎𝑘 se llama suma parcial de
orden n de la serie ∑ 𝑎𝑛 .
Debe quedar claro desde ahora que una serie es una sucesión cuyos términos se obtienen
sumando consecutivamente los términos de otra sucesión. Ni que decir tiene que, siendo las
series sucesiones, los conceptos y resultados vistos para sucesiones conservan su misma
significación cuando se aplican a series. En particular, es innecesario volver a definir qué se
entiende cuando se dice que una serie es “acotada”, “convergente” o “positivamente
divergente”.
Si una serie ∑ 𝑎𝑛 es convergente se usa el símbolo ∑∞
𝑛=1 𝑎𝑛 para representar el límite de la serie
que suele llamarse suma de la serie. Naturalmente, ∑∞
𝑛=1 𝑎𝑛 es el número definido por:
∑∞ 𝑛
𝑛=1 𝑎𝑛 = lim ∑𝑘=1 𝑎𝑘 .
𝑛→∞
Por tanto, la igualdad ∑∞
𝑛=1 𝑎𝑛 = 𝑆 quiere decir que para todo ε>0 hay un 𝑚𝜀 𝜖ℕ tal que para
todo 𝑛 ≥ 𝑚𝜀 se verifica que |∑𝑛𝑘=1 𝑎𝑘 − 𝑆| < ε.
Ejemplo (Serie geométrica).
Dado un número x, la sucesión {1 + 𝑥 + 𝑥 2 + … + 𝑥 𝑛 } se llama serie geométrica de razón
x. Observa que dicha serie se obtiene sumando consecutivamente los términos de la sucesión
{1, 𝑥, 𝑥 2 , 𝑥 3 , … , 𝑥 𝑛 , … }. Es costumbre representar la serie geométrica de razón x con el símbolo
∑𝑛≥0 𝑥 𝑛 . Dicha serie converge si, y sólo si, |x| < 1, en cuyo caso se verifica que:
1
∑∞ 𝑛
𝑛=0 𝑥 = 1−𝑥.
Todas las afirmaciones hechas se deducen que si x ≠ 1, se tiene:
𝑛
1 𝑥 𝑛+1
∑ 𝑥 𝑘 = 1 + 𝑥+2 + … + 𝑥 𝑛 = −
1−𝑥 1−𝑥
𝑘=0
𝑥 𝑛+1
Si |x| < 1 entonces lim = 0 y obtenemos que:
𝑛→∞ 1−𝑥
𝑛 1
∑∞ 𝑛 𝑘
𝑛=0 𝑥 = lim ∑𝑘=0 𝑥 = 1−𝑥 (|x| < 1).
𝑛→∞
Si |x| > 1 o x = -1 entonces la sucesión {𝑥 𝑛 } no converge; y si x = 1 entonces ∑𝑛𝑘=0 1𝑘 = 𝑛 +
1 tampoco converge.
Ejemplo (Serie armónica).
1 1
La serie de término general 𝑛, es decir, la sucesión {𝐻𝑛 }, donde 𝐻𝑛 = ∑𝑛𝑘=1 𝑘, que
1
simbólicamente representamos por ∑𝑛≥0 𝑛, se llama serie armónica.
Se verifica que la serie armónica diverge positivamente:
∞
1 1 1
∑ = lim {1 + + ⋯ + } = +∞
𝑛 𝑛→∞ 2 𝑛
𝑛=1
En efecto, para todo n ∈ N tenemos que
𝑛 𝑛−1
𝑗+1 𝑗+1 𝑛−1 𝑛−1
1 1 1 1 1 1 1
log 𝑛 = ∫ 𝑑𝑥 = ∑ ∫ 𝑑𝑥 ≤ ∑ ∫ 𝑑𝑥 = ∑ < 1 + + … + +
1 𝑥 𝑗 𝑥
𝑗=1 𝑗 𝑗 𝑗
𝑗=1
2 𝑛−1 𝑛
𝑗=1
y por tanto
∞
1 1 1
lim {1 + + … + } ≥ lim log 𝑛 = +∞ ⇒ ∑ = +∞.
𝑛→∞ 2 𝑛 𝑛→∞ 𝑛
𝑛=1
Este resultado es también consecuencia directa de que la serie armónica es asintóticamente
equivalente a la sucesión {log n}:
1 1 1
lim (1 + 2 + 3 + … + 𝑛)
𝑛→∞
log 𝑛 = 1.
log 𝑛
Ejemplo (Serie armónica alternada).
(−1)𝑛−1 (−1)𝑛−1
Se llama así la serie de término general 𝑛
; es decir, la serie ∑𝑛≥0 𝑛
. Se verifica que
la serie armónica alternada es convergente y su suma es igual a log 2:
∞
(−1)𝑛−1
∑ = log 2
𝑛
𝑛=1
Podemos dar otra prueba más directa. Sustituyendo x por -x en la igualdad, obtenemos la
siguiente igualdad válida para todo n ∈ N y todo x ≠ -1:
1 𝑥 𝑛+1
= 1 − 𝑥 + 𝑥 2 − 𝑥 3 + … + (−1)𝑛 𝑥 𝑛 + (−1)𝑛+1
1 + 𝑥 1+𝑥
Integrando esta igualdad entre 0 y 1 tenemos que:
1 𝑛+1
1 1 1 1 𝑥
log 2 = 1 − + − + … + (−1)𝑛 + (−1)𝑛+1 ∫ 𝑑𝑥
2 3 4 1 + 𝑥 0 1+𝑥
𝑛+1
(−1)𝑘−1 1 𝑛+1
𝑥
=∑ + (−1)𝑛+1 ∫ 𝑑𝑥
𝑘 0 1+𝑥
𝑘=1
De donde
𝑛+1
(−1)𝑘−1 1 𝑛+1
𝑥 1
1
|log 2 − ∑ | = |∫ 𝑑𝑥 | ≤ ∫ 𝑥 𝑛+1 =
𝑘 0 1+𝑥 0 𝑛 + 2
𝑘=1
Y deducimos que
𝑛+1 ∞
(−1)𝑘−1 (−1)𝑛−1
lim |log 2 − ∑ | = 0 → 𝑙𝑜𝑔2 = ∑
𝑛→∞ 𝑘 𝑛
𝑘=1 𝑛=1
SERIES ESPECIALES
SERIE DE TAYLOR
Definición:
Una función f(x) puede ser expresada como una expansión en serie de potencias alrededor de un
punto x = x₀ (llamado centro) mediante la serie infinita denominada serie de Taylor:
𝑓 ′ (𝑥 0 )(𝑥 − 𝑥 0 ) 𝑓 ′′ (𝑥 0 )(𝑥 − 𝑥 0 )2 𝑓 ′′′ (𝑥 0 )(𝑥 − 𝑥 0 )3
𝑓(𝑥) = 𝑓(𝑥 0 ) + + + + …
1! 2! 3!
𝑓 (𝑛) (𝑥 0 )
+ (𝑥 − 𝑥 0 )𝑛 + …
𝑛!
Donde 𝑓 (𝑛) (𝑥 0 ) n-ésima derivada de f evaluada en el punto x₀, siempre que todas las derivadas
de f(x) existan en el punto x₀.
La serie de Taylor también se puede expresar de manera compacta como una sumatoria:
𝑓(𝑛) (𝑥 0 )
𝑓(𝑥) = ∑∞
𝑛=0 (𝑥 – 𝑥 0 )𝑛 cuando se toma como centro x₀ = 0, se obtiene un caso
𝑛!
especial que se conoce como serie de Maclaurin:
𝑓 ′ (0)𝑥 𝑓 ′′ (0)𝑥 2 𝑓 ′′′ (0)𝑥 3 𝑓 (𝑛) (0) 𝑛
𝑓(𝑥) = 𝑓(0) + + + + …+ 𝑥 + …
1! 2! 3! 𝑛!
Serie de Taylor para una función de varias variables
Para una función de dos variables, la serie de Taylor (hasta los términos de primer grado) es:
𝜕𝑓 𝜕𝑓
𝑓(𝑥, 𝑦) = 𝑓(𝑥 0 , 𝑦 0 ) + (𝑥 − 𝑥 0 ) ( ) |𝑥 0 ,𝑦0 + (𝑦 − 𝑦 0 ) ( ) |𝑥 0 ,𝑦0 + …
𝜕𝑥 𝜕𝑦
Y para tres variables:
𝜕𝑓 𝜕𝑓
𝑓(𝑥, 𝑦, 𝑧) = 𝑓(𝑥 0 , 𝑦 0 , 𝑧 0 ) + (𝑥 − 𝑥 0 ) ( ) |𝑥 0 ,𝑦0 ,𝑧0 + (𝑦 − 𝑦 0 ) ( ) |𝑥 0 ,𝑦0 ,𝑧0
𝜕𝑥 𝜕𝑦
𝜕𝑓
+ (𝑧 − 𝑧 0 ) ( )| 0 0 0 + …
𝜕𝑧 𝑥 ,𝑦 ,𝑧
SERIE DE FOURIER
Sea [a, b] el intervalo cerrado de extremos a y b, siendo a y b dos números reales dados. Si f: [a,
b] → R es una función medible, diremos que f es de cuadrado integrable si la integral
𝑎
∫𝑏 |𝑓(𝑥)|2 𝑑𝑥 existe en el sentido de Lebesgue y es finita.
Dados f, g dos elementos de L² (a, b) se consideran iguales si lo son casi por doquier en [a, b]
(es decir, f(x) = g(x) salvo en un subconjunto de [a, b] de medida nula). Esto es:
𝑏
L² (a, b) = {f: [a, b] → ℝ medible: ∫𝑎 f 2 (x)dx < +∞} y si f, g ∈ L² (a, b), f = g ⇔ f(x) = g(x)
c.p.d en [a, b].
L² (a, b) es un espacio vectorial real con la suma usual de funciones y el producto usual de un
número real por una función. Si f, g son dos elementos de L²(a, b) se puede definir el producto
𝑏
escalar de f y g, <f, g>, como < 𝑓, 𝑔 > = ∫𝑎 𝑓(𝑥)𝑔(𝑥)𝑑𝑥 , ∀𝑓, 𝑔 ∈ 𝐿2 (𝑎, 𝑏)
Con este producto escalar, L² (a, b) es un espacio de Hilbert separable de dimensión infinita.
Convergencia puntual de series de Fourier.
Criterio de Dini sobre convergencia puntual de series de Fourier.
Sea f: ℝ → ℝ tal que:
i) f es 2π-periódica,
ii) 𝑓 |[−𝜋,𝜋] ∈ 𝐿1 (−𝜋, 𝜋),
iii) x ∈ ℝ, es tal que existe δ > 0 tal que la función
𝑓(𝑥 + 𝜏)– 𝑓(𝑥)
h: (-δ, δ) - {0} → ℝ definida por ℎ(𝜏) = 𝜏
cumple que h ∈ L¹ (-δ, δ).
Entonces
𝑛
𝐴0
lim [ + ∑(𝐴𝑘 cos(𝑘𝑥) + 𝐵𝑘 𝑠𝑒𝑛(𝑘𝑥))] = 𝑓(𝑥)
𝑛→∞ 2
𝑘=1
donde
𝜋
1
𝐴𝑘 = ( ) ∫ 𝑓(𝑥) cos(𝑘𝑥) 𝑑𝑥 , ∀𝑘 ∈ ℕ ∪ {0}
𝜋 −𝜋
1 𝜋
𝐵𝑘 = ( ) ∫ 𝑓(𝑥)𝑠𝑒𝑛(𝑘𝑥)𝑑𝑥 , ∀𝑘 ∈ ℕ
𝜋 −𝜋
Convergencia uniforme de series de Fourier.
Antes de todo, recordemos el concepto de función absolutamente continua.
Definición
Sea f: [a, b] → ℝ. Diremos que f es absolutamente continua si y sólo si ∀ε > 0, ∃δ > 0 /
∀(𝑎1 , 𝑏1 ), … , (𝑎𝑘 , 𝑏𝑘 ) subintervalos disjuntos de (a, b) tales que ∑𝑘𝑖=1|𝑏𝑖 − 𝑎𝑖 | < 𝛿, se tiene
que ∑𝑘𝑖=1|𝑓(𝑏𝑖 )– 𝑓(𝑎𝑖 )| < 𝜀.
Se cumple:
• Si f es lipschitziana en [a, b] ⇒ f es absolutamente continua en [a, b].
• Si f ∈ C¹ [a, b] ⇒ f es absolutamente continua en [a, b].
FUNCION GAMMA
La función Gamma (denotada como Γ(z)) es una función que aparece en muchos tópicos de la
Física-Matemática. La notación fue ideada por Adrien-Marie Legendre en 1814.
Consideremos la integral
∞
𝐼 𝑛 = ∫ 𝑡 𝑛 𝑒 −𝑡 𝑑𝑡
0
Con n un número entero positivo. Integrando por partes obtenemos la relación de recurrencia
∞ ∞
𝐼 𝑛 = 𝑡 𝑛 𝑒 −𝑡 |∞
0 +𝑛∫ 𝑡
𝑛−1 −𝑡
𝑒 𝑑𝑡 = 𝑛 ∫ 𝑡 𝑛−1 𝑒 −𝑡 𝑑𝑡
0 0
O,
𝐼 𝑛 = 𝑛𝐼 𝑛−1
Con la condición inicial I₀ = 1.
Usando la relación de recurrencia en forma consecutiva obtenemos
𝐼 𝑛 = 𝑛(𝑛 − 1)(𝑛 − 2) … 1 × 𝐼 0 = 𝑛!
∞
𝛤(𝑥) = ∫ 𝑡 𝑥−1 𝑒 −𝑡 𝑑𝑡
0
La integral converge para toda x > 0. Integrando por partes obtenemos la propiedad básica
𝛤(𝑥 + 1) = 𝑥𝛤(𝑥)
con Γ(1) = 1. Cuando x = n entero, Γ(n + 1) = n!. La factorial de cero se define por:
∞
0! = 𝛤(1) = ∫ 𝑒 −𝑡 𝑑𝑡 = 1.
0
𝛤(𝑥 + 𝑛 + 1)
𝛤(𝑥) =
(𝑥(𝑥 + 1)(𝑥 + 2)…(𝑥 + 𝑛))
Como x + n + 1 > 0, entonces Γ(x) está bien definida cuando x > -(n + 1), excepto en los puntos
x = 0, -1, -2,..., -n. Definimos la función Gamma como
∞
∫ 𝑡 𝑥−1 𝑒 −𝑡 𝑑𝑡 𝑥 > 0
0
𝛤(𝑥) =
𝛤(𝑥 + 𝑛 + 1)
− 𝑛 − 1 < 𝑥 < 0, 𝑥 ≠ 0, −1, −2, …
{(𝑥(𝑥 + 1)(𝑥 + 2) … (𝑥 + 𝑛))
De la definición anterior se sigue que
lim 𝛤(𝑥) = ±∞
𝑥→0± ,−1± ,−2± ,…
la gráfica de la función Gamma.
FUNCION BETA
La función Beta (denotada como B(x, y)) es una función ligada a la función Gamma.
Consideremos el producto de dos funciones Gamma
∞ ∞
𝛤(𝑥)𝛤(𝑦) = ∫0 𝑢 𝑥−1 𝑒 −𝑢 𝑑𝑢 ∫0 𝑣 𝑥−1 𝑒 −𝑣 𝑑𝑣
∞ ∞
= ∫0 ∫0 𝑢 𝑥−1 𝑣 𝑦−1 𝑒 −(𝑢+𝑣) 𝑑𝑢𝑑𝑣
Cambiando a las variables
u = p² y v = q²
obtenemos
∞ ∞
𝛤(𝑥)𝛤(𝑦) = 4 ∫ ∫ 𝑝 𝑥−1 𝑞 𝑦−1 𝑒 −(𝑝+𝑞) 𝑑𝑝𝑑𝑞
0 0
Usando coordenadas polares en el plano p - q, la integración queda limitada al primer cuadrante
𝜋
∞
2 2
𝛤(𝑥)𝛤(𝑦) = 4 ∫ ∫ 𝑟 2𝑥+2𝑦−1 𝑒 −𝑟 𝑐𝑜𝑠 2𝑥−1 𝜑𝑠𝑒𝑛2𝑦−1 𝜑𝑑𝑟𝑑𝜑
0 0
𝜋
∞
2
2𝑥+2𝑦−1 −𝑟 2
= 𝛤(𝑥)𝛤(𝑦) = 4 ∫ 𝑟 𝑒 𝑑𝑟 ∫ 𝑐𝑜𝑠 2𝑥−1 𝜑𝑠𝑒𝑛2𝑦−1 𝜑𝑑𝜑
0 0
Cambiando a la variable: t = r²
𝜋
∞
2
(𝑥+𝑦)−1 −𝑡
𝛤(𝑥)𝛤(𝑦) = 2 ∫ 𝑟 𝑒 𝑑𝑡 ∫ 𝑐𝑜𝑠 2𝑥−1 𝜑𝑠𝑒𝑛2𝑦−1 𝜑𝑑𝜑
0 0
Asi que
𝜋
2
𝛤(𝑥)𝛤(𝑦) = 2𝛤(𝑥 + 𝑦) ∫ 𝑐𝑜𝑠 2𝑥−1 𝜑𝑠𝑒𝑛2𝑦−1 𝜑𝑑𝜑
0
Se define la función beta como
𝜋
2
𝐵(𝑥. 𝑦) = 2 ∫ 𝑐𝑜𝑠 2𝑥−1 𝜑𝑠𝑒𝑛2𝑦−1 𝜑𝑑𝜑
0
O bien de variable: 𝑡 = 𝑐𝑜𝑠 2 𝜑
1
𝐵(𝑥. 𝑦) = ∫ 𝑡 𝑥−1 (1 − 𝑡)𝑦−1 𝑑𝑡
0
La relación entre gamma y beta
𝛤(𝑥)𝛤(𝑦)
𝐵(𝑥, 𝑦) =
𝛤(𝑥 + 𝑦)
De esta expresión se sigue que la función Beta es simétrica en sus argumentos, es decir B(x, y)
= B(y, x). Además, usando la propiedad básica de la función Gamma, se obtiene la propiedad
básica de la función Beta
𝑥
𝐵(𝑥 + 1, 𝑦) = 𝐵(𝑥, 𝑦).
𝑥 + 𝑦
En la Figura se muestra la gráfica de la función Beta.
