ANLISIS MATEMTICO

(GRADO DE FSICA, UNIVERSIDAD DE ZARAGOZA)

GUION DE LA ASIGNATURA
Contenido
Captulo 1: nmeros naturales y principio de induccin; nmeros enteros y racionales.
Captulo 2: nmeros reales.
Captulo 3: nmeros complejos.
Captulo 4: funciones elementales.
Captulo 5: sucesiones.
Captulo 6: series.
Captulo 7: lmites de funciones y continuidad.
Captulo 8: derivacin.
Captulo 9: clculo de primitivas e integracin.
Captulo 10: series de potencias.
Captulo 1: nmeros naturales y principio de induccin; nmeros
enteros y racionales.
Nmeros naturales, enteros y racionales. Los nmeros 1, 2, 3, . . . se llaman nmeros naturales. El conjunto de los nmeros naturales se representa por N:
N = {1, 2, 3, . . . }.
Los nmeros 0, 1, 1, 2, 2, 3, 3, . . . se llaman nmeros enteros. El conjunto de los
nmeros enteros se representa por Z:
Z = {0, 1, 1, 2, 2, 3, 3, . . . }.
Los nmeros de la forma pq , donde p y q son nmeros enteros (q 6= 0) se llaman nmeros racionales (o fraccionarios). El conjunto de los nmeros racionales se representa
por Q:
p
Q = { ; p, q Z, q 6= 0}.
q
Los nmeros naturales son nmeros enteros; los nmeros enteros son nmeros racionales. Entre dos nmeros enteros (distintos) hay infinitos nmeros racionales.
El principio de induccin. Dada una lista de propiedades
P1 , P2 , P3 , P4 , . . . ,
supongamos que:
a) la propiedad P1 es cierta;
b) si alguna propiedad Pn fuera cierta, tambin sera cierta Pn+1 (la siguiente de la
lista).
Entonces, todas las propiedades P1 , P2 , P3 , . . . son ciertas.
Captulo 2: nmeros reales.
Los nmeros reales se pueden representar como los puntos de una recta. El conjunto
de los nmeros reales se representa por R. Contiene a los nmeros racionales. Los
nmeros reales que no son racionales se llaman nmeros irracionales. Entre dos nmeros
reales (distintos) hay infinitos nmeros racionales e infinitos nmeros irracionales.

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

ln 2
0

32

La recta real y algunos nmeros

Desigualdades. Una desigualdad o inecuacin es una expresin de la forma a < b,

a b, a > b o a b. Las principales reglas para el manejo de desigualdades son:
Sumar un nmero:
a < b a + c < b + c
Cambiar de miembro un nmero:
a < b + c a c < b
(consiste en sumar c).
Sumar desigualdades:
)

a<b

a+c<b+d

c<d

Multiplicar por un nmero positivo: si c > 0,

a < b ac < bc
Multiplicar por un nmero negativo: si c < 0,
a < b ac > bc
Encadenar desigualdades:
a<b

b<c

a<c

Las mismas reglas sirven con las desigualdades del tipo , > y .
El valor absoluto. El valor absoluto (o mdulo) de un nmero a R es el nmero
|a| =

a,
a,

si a 0,
si a 0.

Las principales propiedades del valor absoluto son:

|a| 0 para todo a R;
|a| = 0 a = 0;
|a| < b b < a < b (y lo anlogo con );

a2 = |a|;
|a b| es la distancia entre los nmeros a y b dibujados en la recta real;
|a + b| |a| + |b| (desigualdad triangular).
a

b
|a b|

|a b| es la distancia entre a y b

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

Desigualdad de Bernoulli: para todo nmero real x 1 y todo nmero n N,

(1 + x)n 1 + nx.
Desigualdad de Cauchy-Schwarz: si a1 , a2 , a3 , . . . , an R y b1 , b2 , b3 , . . . , bn R,
entonces
(a1 b1 + a2 b2 + + an bn )2 (a21 + a22 + + a2n )(b21 + b22 + + b2n ).
Desigualdad entre la media geomtrica y la aritmtica: si a1 , a2 , . . . , an 0,
entonces
a1 + a2 + + an
(a1 a2 . . . an )1/n
.
n
El miembro de la izquierda es la media geomtrica de los n nmeros; el de la derecha,
la media aritmtica.
Factorizacin de polinomios. Sea
P (x) = an xn + an1 xn1 + + a1 x + a0
un polinomio de grado n con coeficientes reales. Si c R y P (c) = 0, entonces
P (x) = (x c)Q(x),
donde Q(x) es otro polinomio con coeficientes reales y grado n 1.
Si c1 , c2 , . . . , ck son todos los ceros reales de P (x), repetidos tantas veces como sea
su multiplicidad, entonces
P (x) = an (x c1 )(x c2 ) . . . (x ck )Q(x),
donde Q(x) es un polinomio de grado n k, con coeficiente director 1 y Q(x) > 0 para
todo x R.
Captulo 3: nmeros complejos.
Los nmeros complejos son los pares de la forma (a, b), con a, b R, con las siguientes
operaciones:
suma: (a, b) + (c, d) = (a + c, b + d);
producto: (a, b) (c, d) = (ac bd, ad + bc).
El conjunto de los nmeros complejos se representa por C.
Los nmeros complejos se pueden identificar como los puntos del plano. Para los
puntos del eje de abscisas, de la forma (a, 0), la suma y el producto se reducen a:
(a, 0) + (c, 0) = (a + c, 0);
(a, 0) (c, 0) = (ac, 0).
Podemos escribir (a, 0) a. Es decir, los nmeros reales son nmeros complejos. Se
define i = (0, 1). Entonces:
a (c, d) = (ac, ad);
(a, b) = (a, 0) + (0, b) = a + bi;
i2 = 1;
(a + bi) + (c + di) = (a + c) + (b + d)i;
(a + bi) (c + di) = (ac bd) + (ad + bc)i.
La expresin a + bi, con a, b R, se llama forma binmica de los nmeros complejos.

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

Parte real, parte imaginaria, conjugado. Dado un nmero complejo z = a + bi,

con a, b R,
se llama parte real de z al nmero a: Re z = a;
se llama parte imaginaria de z al nmero b: Im z = b;
se llama conjugado de z al nmero complejo z = a bi.
Mdulo y argumento. Dado un nmero complejo z = a + bi, con a, b R,

se llama mdulo de z al nmero |z| = a2 + b2 ;

si z 6= 0, se llama argumento de z a cualquiera de los ngulos que forma en el
plano el semieje positivo de abscisas con el punto z (ver la figura);
si z 6= 0, se llama argumento principal de z al nico argumento que est en el
intervalo (, ]. Se escribe Arg z.
z
= Arg z

Tres de los argumentos de un nmero complejo

Propiedades del conjugado y el mdulo. Sean z, w C.

|z| = |z|.
z z = |z|2 .
Si z 6= 0, entonces

1
z
= 2.
z
|z|

z + w = z + w.
zw = z w.
Si w 6= 0, entonces z/w = z/w.
Propiedades del mdulo. Sean z, w C.
|z + w| |z| + |w|.
|zw| = |z| |w|.
Si w 6= 0, entonces

|z|
.
|w|

|z w| es la distancia entre los puntos del plano z y w.

Propiedades del mdulo y el argumento. Sean z, w C.
Si z 6= 0 y es cualquier argumento de z, entonces
Re z = |z| cos ,
Im z = |z| sen ,
z = |z|(cos + i sen ).

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

Si z 6= 0, w 6= 0 y , son dos argumentos cualesquiera de z y w respectivamente,

entonces + es un argumento del producto zw.
z = w |z| = |w| y tienen los mismos argumentos.
Funcin exponencial compleja. Si z = a + bi, con a, b R, se define
ez = ea (cos b + i sen b).
Si R, entonces ei = cos + i sen y |ei | = 1.
|ez | = eRe z .
Si , R, entonces ei = ei si y solo si = + 2k para algn k Z.
Si z, w C, entonces ez ew = ez+w .
Representacin polar de un nmero complejo. Si z C \ {0}, r (0, +) y
R, entonces
z = rei r = |z| y es un argumento de z.
La expresin rei se llama representacin polar de z.
Frmula de Moivre. Si R y n N, entonces
(cos + i sen )n = cos(n) + i sen(n).
Races de un nmero complejo. Si z C \ {0} y n N, entonces z tiene n races
de orden n, es decir, existen n nmeros complejos w C tales que wn = z. En concreto,
si es un argumento de z,
n

w = z w = se , donde

= |z|1/n ,

+2k
,
n

k = 0, 1, . . . , n 1.

Logaritmos de un nmero complejo. Si z C \ {0} y w C, entonces

ew = z w = log |z| + i, y es un argumento de z.
Estos nmeros w se llaman logaritmos de z. Se llama logaritmo principal de z al nmero
Log z = log |z| + i Arg z.
Captulo 4: funciones elementales.
Una funcin real de variable real es una aplicacin f : A R que a cada nmero
x A le asocia otro nmero real f (x). Aqu, A R.
El conjunto A se llama dominio de la funcin.
Dado un subconjunto B A, la imagen de B por la funcin f es el conjunto
f (B) = {f (x); x B}.
El conjunto imagen de la funcin (o rango) es el conjunto f (A).
Si C R, la notacin f : A C significa que f (A) C.
La grfica de la funcin f es el conjunto del plano formado por los puntos
(x, f (x)), x A.
Dado un subconjunto C R, su imagen inversa por la funcin f es el conjunto
f 1 (C) = {x A; f (x) C}.

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

Operaciones con funciones. Sean f : A R y g : B R.

La funcin suma es f + g : A B R, dada por (f + g)(x) = f (x) + g(x).
La funcin producto es f g : A B R, dada por (f g)(x) = f (x)g(x).
La funcin cociente es la funcin
definida en el conjunto

f
,
g

dada por

f
(x)
g

f (x)
.
g(x)

Esta funcin est

A g 1 (R \ {0}) = {x A B; g(x) 6= 0}.

La funcin f compuesta con g es la funcin g f dada por (g f )(x) = g(f (x)).
Esta funcin est definida en el conjunto
f 1 (B) = {x A; f (x) B}.
Funciones inyectivas y biyectivas. Sea f : A C una funcin (es decir, f (A) C).
f es inyectiva si f (x) 6= f (a) cuando x 6= a.
f es sobreyectiva si para todo y C existe algn x A tal que f (x) = y. La
funcin f : A f (A) siempre es sobreyectiva.
f es biyectiva si es inyectiva y sobreyectiva: para todo y C existe un nico
x A tal que f (x) = y.
Funciones inversas. Dos funciones f : A R y g : B R son inversas una de la
otra cuando
B = f (A);
para todo a A, g(f (a)) = a.
Si esto es as, tambin se cumple que A = g(B) y para todo b B, f (g(b)) = b. Se
escribe entonces g = f 1 y f = g 1 . La condicin para que una funcin tenga inversa
es que sea inyectiva.
Funciones montonas. Sea f : A R.
f es creciente si cumple: a < b f (a) f (b).
f es estrictamente creciente si cumple: a < b f (a) < f (b).
f es decreciente si cumple: a < b f (a) f (b).
f es estrictamente decreciente si cumple: a < b f (a) > f (b).
Se dice que f es montona si es de alguna de estas cuatro clases.
Funciones acotadas. Sea f : A R.
Se dice que f est acotada superiormente si existe algn nmero C R tal que
para todo x A, f (x) C.
Se dice que f est acotada inferiormente si existe algn nmero C R tal que
para todo x A, C f (x).
Si f est acotada inferior y superiormente, se dice que est acotada. Esto equivale
a que exista algn nmero C R tal que para todo x A, |f (x)| C.
Funciones pares, impares y peridicas. Sea f : A R.
Se dice que f es par si para todo a A se tiene a A y f (a) = f (a).
Se dice que f es impar si para todo a A se tiene a A y f (a) = f (a).
Se dice que f tiene periodo T si para todo a A se tiene a + T A y f (a + T ) =
f (a). Se dice entonces que f es peridica.

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

Polinomios. Un polinomio es una funcin P : R R de la forma

P (x) = an xn + an1 xn1 + + a1 x + a0 ,
donde an , an1 , . . . , a1 , a0 R (y an 6= 0).
El grado del polinomio es n.
El coeficiente director es an .
El trmino independiente es a0 .
Todo polinomio se puede factorizar de la siguiente manera:
P (x) = an (x c1 )m1 (x c2 )m2 . . . (x ck )mk Q(x),
donde:
c1 , c2 , . . . , ck son todos los ceros reales distintos de P , cada cj con multiplicidad mj ;
Q(x) es otro polinomio, de grado par, con coeficiente director 1 y tal que Q(x) > 0
para todo x R;
a su vez, el polinomio Q(x) es producto de polinomios de la forma x2 + rx + s
(de grado 2) que no tienen races reales.
Funciones racionales. Una funcin racional es un cociente de polinomios. Sea f (x)
una funcin racional; factorizando el denominador, la funcin racional se expresa como
P (x)
P (x)
f (x) =
=
.
m
m
2
Q(x)
(x c1 ) 1 . . . (x ck ) k (x + r1 x + s1 )n1 . . . (x2 + rj x + sj )nj
La funcin racional se puede expresar como suma de las siguientes funciones:
un polinomio de grado gr P gr Q, solo en el caso de que gr P gr Q;
por cada factor de la forma (x c)m del denominador, una suma de la forma
A2
Am
A1
+
+ +
,
2
x c (x c)
(x c)m
donde A1 , A2 , . . . , Am son ciertas constantes;
por cada factor de la forma (x2 + rx + s)n , donde x2 + rx + s es un polinomio sin
races reales, una suma de la forma
B1 x + C1
B2 x + C2
Bn x + Cn
+
+

+
,
x2 + rx + s (x2 + rx + s)2
(x2 + rx + s)n
donde B1 , B2 , . . . , Bn y C1 , C2 , . . . , Cn son ciertas constantes.
Esta expresin se llama descomposicin en fracciones simples.
Funciones elementales. La exponencial y el logaritmo. Funciones trigonomtricas y
sus inversas. Funciones hiperblicas y sus inversas. Sus propiedades se recogen en un
guion aparte.
Captulo 5: sucesiones.
Definiciones. Una sucesin (de nmeros reales) es una lista ordenada de nmeros
reales:
a1 , a2 , a3 , . . .
Con ms rigor, es una funcin N R, que a cada n N le asocia un nmero an R.
Se escribe tambin (an )nN .
Se dice que un nmero L R es el lmite de la sucesin (an )nN cuando para
todo > 0, existe algn ndice N N de modo que si n N , |an L| < .

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

Se dice que + es el lmite de la sucesin (an )nN cuando para todo K R,

existe algn ndice N N de modo que si n N , an > K.
Se dice que es el lmite de la sucesin (an )nN cuando para todo K R,
existe algn ndice N N de modo que si n N , an < K.
Para indicar que L R {} es el lmite de la sucesin (an )nN , se escribe
lm an = L,

an
L,

lm an = L,

n+

n+

an L.

Una sucesin no tiene por qu tener lmite; pero si lo tiene, es nico.

Ejemplos bsicos.

0,

si a < 0
lm n = 1,
si a = 1
n

+, si a > 0
n
lm e = +,
lm log n = +
a

+,

1,

si
si
lm cn =
n

0,
si

(no existe) si

c>1
c=1
|c| < 1
c 1

Operaciones con lmites.

n
n

Lmite de una suma: (an )

a, bn
b.
n=1 , (bn )n=1 R, an
a HbH
R
+

?
R
a + b +
+
?
+ +
H

lm(an + bn )
n

Lmite de un producto: (an )

a, bn
b.
n=1 , (bn )n=1 R, an

P
PP b
a PP

(, 0) 0 (0, +)

+
+
?

(, 0) +
0
?
ab
(0, +)
+

?
+
lm
an b n
n

?
+
+

Lmite de un cociente: (an )

a, bn
b.
n=1 R, (bn )n=1 R \ {0}, an

PPP b
a P

(, 0)

?
+
(, 0) 0
0
0
a/b
(0, +) 0
+
?

0 (0, +) +
?

?
?
0
?
a/b
0
?
0
?
+
?

lm an /bn
n

0+

?
+
+

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

Si f (x) representa una cualquiera de las funciones elementales (xr , |x|, ex , log x,
sen x, cos x, tg x, arc sen x, arc cos x, arc tg x), entonces en general
lm an = a = lm f (an ) = f (a)
n

cuando esto tenga sentido, es decir, cuando la sucesin est contenida en el dominio de la funcin f y tambin el lmite a pertenezca al dominio.
rdenes de infinitud: log n << na << bn << n! << nn , si a > 0 y b > 1. Aqu, la
expresion rn << sn significa que lm srnn = 0.
n

Equivalencias. Dos sucesiones (an )nN y (bn )nN se dice que son equivalentes si
an
lm
= 1.
n b
n
n

En este caso, se escribe an bn . Si an

0, entonces
sen an an ,
1
1 cos an a2n ,
2
ean 1 an ,
log(1 + an ) an .

Adems, n! nn en 2n (frmula de Stirling).

Regla del sandwich. Si (an )nN , (bn )nN y (cn )nN son tres sucesiones que cumplen
an b n c n ,

para todo n

y
n

L
cn

L,
an
para algn L R, entonces tambin
n

L.
bn
Regla del sandwich con lmites infinitos. Si (an )nN y (bn )nN son dos sucesiones
que cumplen
an bn , para todo n
y
n
an
+,
entonces tambin
n
+.
bn
n
n
De manera anlogoa, si an bn y bn
, entonces tambin an
.
Sucesiones acotadas y sucesiones montonas.
Una sucesin (an )nN se dice que est acotada superiormente si existe algn nmero C R tal que para todo n N, an C. Los nmeros C que cumplen esto
se llaman cotas superiores de la sucesin.
Una sucesin (an )nN se dice que est acotada inferiormente si existe algn nmero C R tal que para todo n N, C an . Los nmeros C que cumplen esto
se llaman cotas inferiores de la sucesin.
Si una sucesin est acotada inferior y superiormente, se dice que est acotada.
Esto equivale a que exista algn nmero C R tal que para todo n N, |an | C.
Si una sucesin (an )nN cumple an an+1 para todo n, se dice que es creciente.
Si cumple an < an+1 para todo n, se dice que es estrictamente creciente.
Si una sucesin (an )nN cumple an an+1 para todo n, se dice que es decreciente.
Si cumple an > an+1 para todo n, se dice que es estrictamente decreciente.

10

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

Lmites con sucesiones acotadas o montonas. Sean (an )nN y (bn )nN dos sucesiones.
n
n
Si (an )nN est acotada y bn
0, entonces an bn
0.
Toda sucesin montona tiene lmite.
Si una sucesin es creciente y est acotada (superiormente), su lmite es un nmero real.
Si una sucesin es creciente y no est acotada (superiormente), su lmite es +.
Si una sucesin es decreciente y est acotada (inferiormente), su lmite es un
nmero real.
Si una sucesin es decreciente y no est acotada (inferiormente), su lmite es .
Sucesiones de Cauchy. Se dice que una sucesin (an )nN es de Cauchy si para cada
> 0 existe un intervalo de longitud que contiene a todos los an excepto, quizs,
una cantidad finita. Las siguientes propiedades son equivalentes (la segunda se toma a
menudo como la definicin):
a) la sucesin (an )nN es de Cauchy;
b) para cada > 0, existe algn ndice N N tal que si n, m N , |an am | < ;
c) la sucesin (an )nN tiene lmite y este es un nmero real (no ).
Captulo 6: series.
Una serie de nmeros reales es una suma de infinitos sumandos (ordenados):

an = a1 + a2 + a3 + . . . ,

n=1

donde cada sumando an es un nmero real. Para cada N N, se llama suma parcial
de orden N a la suma
N
X

an = a1 + a2 + a3 + + aN 1 + aN .

n=1

Si
lm
N

N
X

an = S R,

n=1

entonces se dice que la serie converge, o que es convergente, y se dice que su suma es S:

an = S.

n=1

En los dems casos, se dice que la serie no converge. Si

lm
N

N
X

an = +,

n=1

se dice que la serie diverge a +, y lo mismo con . Si ese lmite no existe, se dice
a veces que la serie oscila.
Aclaracin: aunque en la definicin anterior la serie empieza en n = 1, en general una

P
serie es una suma de la forma
an . Las definiciones son completamente anlogas.
n=m

Primer ejemplo bsico. Sea r R. Entonces

= 1r ,

si |r| < 1;
r diverge a + , si r 1;

n=0

oscila,
si r 1.

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

11

Los primeros trminos. Los primeros trminos no alteran el carcter de una serie:

P
P
la serie
an converge (o diverge a , u oscila) si y solo si la serie
an converge
n=m

n=1

(o diverge a , u oscila). En el caso de que converjan,

an = a1 + a2 + + am1 +

an .

n=m

n=1

Criterio de convergencia del trmino general. Si una serie

P
n=1

an converge, en-

tonces an
0. El recproco no es cierto.

Series de trminos positivos. Una serie de trminos positivos (

n=1

an , con an 0

para todo n) o bien converge, o bien diverge a +. El primer caso sucede cuando la
sucesin de sus sumas parciales est acotada; el segundo caso, cuando no est acotada.

Criterio de comparacin por mayoracin. Sean

n=1

an y

P
n=1

bn dos series de tr-

minos positivos, de modo que

0 an b n ,
Si la serie
Si la serie

P
n=1

P
n=1

para todo n.

bn converge, entonces la serie

n=1

an tambin converge.

an diverge a +, entonces la serie

P
n=1

bn tambin diverge a +.

Ejemplo bsico. Sea a R. Entonces

1 converge, si a > 1;
a diverge a + , si a 1.
n=1 n
Operaciones con series.

Si una serie

n=1

an converge y R, entonces la serie

P
n=1

an tambin converge

y adems

P
n=1

an y

n=1

an .

n=1

n=1

Si dos series

an =

bn convergen, entonces la serie

(an + bn ) tambin

n=1

converge y adems

(an + bn ) =

n=1

an +

n=1

Criterio de comparacin por el lmite. Sean

P
n=1

positivos y supongamos que

lm
n

bn .

n=1

an y

P
n=1

bn dos series de trminos

an
=L
bn

(necesariamente, L [0, +) {+}).

Si L = 0 y la serie

P
n=1

bn converge, entonces la serie

Si 0 < L < +, entonces la serie

P
n=1

P
n=1

P
n=1

an tambin converge.

an tiene el mismo carcter que la serie

bn (o las dos convergen, o las dos divergen a +).

12

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

Si L = + y la serie

P
n=1

bn diverge a +, entonces la serie

P
n=1

an tambin

diverge a +.
Observemos que el criterio no dice nada si L = 0 y la serie
tampoco si L = + y la serie

P
n=1

P
n=1

bn diverge a +, y

bn converge. Tampoco dice nada sobre la suma de

las series, en ningn caso.

Convergencia absoluta. Sea

converge, entonces la serie

n=1

P
n=1

an una serie de nmeros reales. Si la serie

|an |

n=1

an tambin converge. Se dice entonces que la serie

n=1

an

converge absolutamente. El recproco no es cierto: hay series que convergen, pero no

convergen absolutamente.
Criterio del cociente o de DAlembert. Sea

P
n=1



 an+1 


lm 

n

an

an una serie y supongamos que

=L

(necesariamente, L [0, +) {+}).

Si 0 L < 1, entonce la serie

P
n=1

an converge. Incluso converge absolutamente.

Si 1 < L +, entonces la serie

n=1

an no converge. De hecho, an 6 0.

Observemos que el criterio no dice nada si L = 1.

Criterio de la raz o de Cauchy. Sea

P
n=1

an una serie y supongamos que

lm
|an |1/n = L
n
(necesariamente, L [0, +) {+}).
Si 0 L < 1, entonce la serie

P
n=1

Si 1 < L +, entonces la serie

an converge. Incluso converge absolutamente.

P
n=1

an no converge. De hecho, an 6 0.

Observemos que el criterio no dice nada si L = 1.

Criterio de Leibniz para series alternadas. Supongamos una serie de la forma

(1)n+1 bn = b1 b2 + b3 b4 + . . .

n=1

y de modo que
a) los bn son decrecientes (bn bn+1 para todo n N);
n
b) bn
0.
Entonces, la serie

(1)n+1 bn converge.

n=1

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

Series telescpicas. Una serie de la forma

13

(bn bn+1 ), donde b1 , b2 , b3 , R, se

n=1

dice que est escrita en forma telescpica. En ese caso, sus sumas parciales son
N
X

(bn bn+1 ) = b1 bN +1 .

n=1

La serie converge si y solo si la sucesin bn tiene lmite real, y en este caso

(bn bn+1 ) = b1 lm
bn .
n

n=1

Series de trminos racionales. Las series de la forma

P
P (n)
n=1

Q(n)

, donde P y Q son

polinomios, a veces se pueden sumar descomponiendo el trmino general en fracciones

simples.
Captulo 7: lmites de funciones y continuidad.
Lmite de una funcin en un punto. Sea
una funcin f : I R, donde I es un intervalo, o una unin de intervalos;
c o bien un elemento de I, o bien un extremo del intervalo I (o de alguno de los
intervalos que forman I);
` R {}.
Obsrvese que, segn cmo sea I, puede ser c = . Entonces:
Se dice que el lmite de f en c es `,
lm f (x) = `,

xc

c, pero xn 6= c para
cuando todas las sucesiones (xn )nN I tales que xn
n
todo n, cumplen que f (xn )
`.
Se dice que el lmite de f en c por la izquierda es `,
lm f (x) = `,

xc

cuando todas las sucesiones (xn )nN I tales que xn

c, pero xn < c para
n
todo n, cumplen que f (xn )
`.
Se dice que el lmite de f en c por la derecha es `,
lm f (x) = `,

xc+

cuando todas las sucesiones (xn )nN I tales que xn

c, pero c < xn para
n
todo n, cumplen que f (xn )
`.
Tambin se suele usar la notacin
xc

f (x) `,

xc

f (x) `,

xc+

f (x) `.

Adems,
xc

xc

xc+

f (x) ` f (x) ` y f (x) `.

Continuidad. Sea
una funcin f : I R, donde I es un intervalo, o una unin de intervalos;
c I.
Entonces:
a) Se dice que f es continua en c si lm f (x) = f (c).
xc
b) Se dice que f es continua en c por la izquierda si lm f (x) = f (c).
xc

c) Se dice que f es continua en c por la derecha si lm+ f (x) = f (c).

xc

14

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

Propiedades de los lmites de funciones. Los lmites de funciones cumplen todas

las propiedades anlogas a las de los lmites de sucesiones. Por ejemplo:
Si lm f (x) = ` y lm g(x) = , entonces lm(f (x) + g(x)) = ` + .
xc
xc
xc
Si f (x) g(x) h(x) para todo x I y
xc

xc

f (x) `,

h(x) `,

xx

entonces tambin g(x) ` (regla del sandwich).

xc
xc
Si f (x) es una funcin acotada y g(x) 0, entonces f (x)g(x) 0.
xc
Si f (x) es una funcin acotada inferiormente y g(x) +, entonces
xc

f (x) + g(x) +.
Lmites y desigualdades. Supongamos que
f (x) g(x) para todo x,
y que
xc

xc

f (x) `,

g(x) .

Entonces,
` .
La propiedad no se cumple cambiando por <: puede ocurrir que f (x) < g(x) para
todo x y sin embargo lm f (x) = lm g(x).
xc

xx

Equivalencias. Dos funciones g(x) y h(x) se dice que son equivalentes cuando x c,
si
g(x)
lm
= 1.
xc h(x)
En este caso se escribe: g(x) h(x), cuando x c. Las principales equivalencias son:
xc
supongamos que f (x) 0; entonces,
sen f (x) f (x), cuando x c;
1
1 cos f (x) f (x)2 , cuando x c;
2
f (x)
e
1 f (x), cuando x c;
log(1 + f (x)) f (x), cuando x c.
rdenes de infinitud. Cuando x +,
log x << xa << bx << xx ,
f (x)
x+ g(x)

donde a > 0 y b > 1, y la expresin f (x) << g(x) significa que lm

= 0.

Lmites, continuidad y funciones elementales. Las funciones elementales (polinomios, la exponencial y el logaritmo, las funciones trigonomtricas y sus inversas, las
funciones hiperblicas y sus inversas) son todas ellas continuas, cada una en su dominio. El valor absoluto es una funcin continua. Las operaciones habituales con funciones
continuas (sumas, productos, cocientes, composiciones) dan funciones continuas, donde
estn definidas. Otras reglas son las siguientes:
Potencias de exponente positivo: si r > 0, entonces
lm xr = 0,

x0+

lm xr = +.

x+

Potencias de exponente negativo: si r < 0, entonces

lm xr = +,

x0+

lm xr = 0.

x+

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

15

Valor absoluto:
lm |x| = +,

lm |x| = +.

x+

Exponencial:
lm ex = 0,

lm ex = +.

x+

Logaritmo:
lm log x = ,

x0+

lm log x = +.

x+

Tangente: si k es un nmero entero, entonces

lm

tg x = +,

x( 2 +k )

lm

tg x = .

x( 2 +k )

Arco tangente:

lm arc tg x = ,
x
2

lm arc tg x =

x+

.
2

Teorema de Bolzano. Sea f : [a, b] R una funcin continua y R comprendido

entre f (a) y f (b), es decir, de modo que f (a) < < f (b), o f (b) < < f (a). Entonces,
existe algn c (a, b), que no tiene por qu ser nico, tal que f (c) = .
Teorema de Weierstrass sobre extremos absolutos. Si f : [a, b] R es continua,
entonces la funcin f tiene mximo y mnimo absolutos, es decir:
a) existe algn c [a, b] tal que f (x) f (c) para todo x [a, b];
b) existe algn d [a, b] tal que f (d) f (x) para todo x [a, b].
Los puntos c y d no tienen por qu ser nicos.
Teorema: si f : I R (I intervalo) es continua, entonces f (I) es un intervalo;
si adems f es inyectiva, entonces f es estrictamente montona y la funcin inversa
f 1 : f (I) I es tambin continua.
Definiciones de lmite y continuidad con y . Sea, como en todo el captulo,
una funcin f : I R, donde I es un intervalo, o una unin de intervalos;
c o bien un elemento de I, o bien un extremo del intervalo I (o de alguno de los
intervalos que forman I);
` R {}.
Obsrvese que, segn cmo sea I, puede ser c = .
a) Si c R y ` R, entonces lm f (x) = `
xc

para cada > 0, existe algn > 0 tal que

si x I, x 6= c y |x c| < ,
se cumple que |f (x) `| < .
b) Si c R, entonces lm f (x) = +
xc

para cada K R, existe algn > 0 tal que

si x I, x 6= c y |x c| < ,
se cumple que f (x) > K.
c) Si c R, entonces xc
lm f (x) =
para cada K R, existe algn > 0 tal que
si x I, x 6= c y |x c| < ,
se cumple que f (x) < K.

16

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

d) El lmite por la izquierda, lm f (x), se define de igual manera, pero cambiando

xc

en los tres casos anteriores la condicin x 6= c por x < c. Y el lmite por la

derecha, lm+ f (x), se define cambiando la condicin x 6= c por x > c.
xc

e) Si ` R, entonces lm f (x) = `
x+

para cada > 0, existe algn M R tal que

si x I y x > M ,
se cumple que |f (x) `| < .
f) lm f (x) = +
x+

para cada K R, existe algn M R tal que

si x I y x > M ,
se cumple que f (x) > K.
g) lm f (x) =
x+

para cada K R, existe algn M R tal que

si x I y x > M ,
se cumple que f (x) < K.
h) Si ` R, entonces lm f (x) = `
x

para cada > 0, existe algn M R tal que

si x I y x < M ,
se cumple que |f (x) `| < .
i) lm f (x) = +
x

para cada K R, existe algn M R tal que

si x I y x < M ,
se cumple que f (x) > K.
j) lm f (x) =
x

para cada K R, existe algn M R tal que

si x I y x < M ,
se cumple que f (x) < K.
k) Si c I, entonces f es continua en c si y solo si
para cada > 0, existe algn > 0 tal que
si x I y |x c| < ,
se cumple que |f (x) f (c)| < .
Captulo 8: derivacin.
Derivada de una funcin en un punto. Sea f : I R, donde I es un intervalo o
una unin de intervalos, y sea c I. Se dice que la funcin f es derivable en el punto c
si
f (x) f (c)
xc
lm
R.
xc
Y en ese caso, este lmite se escribe f 0 (c) y se llama derivada de la funcin f en el
punto c. Se dice que f es una funcin derivable si es derivable en todos los puntos de I.
Se puede hablar de derivadas laterales, cambiando el lmite por los lmites laterales.
Significados de la derivada. La derivada de una funcin f en un punto c se puede
interpretar como la pendiente de la recta tangente a la grfica de f en el punto c.
Tambin se puede interpretar como la tasa de variacin de la funcin f en el punto c.
Por ejemplo, si f (t) indica la distancia recorrida por un mvil en cada instante t (en
un movimiento rectilneo), la derivada representa la velocidad.

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

17

Funcin derivada. Dada una funcin f : I R, sea J = {x I; f es derivable en x}.

Si J 6= , la funcin
f0 : J R
x 7 f 0 (x)
se llama funcin derivada de f .
Derivada y continuidad. Si una funcin f es derivable en un punto c, entonces es
continua en c. El recproco no es cierto: puede ocurrir que una funcin sea continua en
un punto c, pero no sea derivable.
Suma, producto y cociente de funciones derivables. Si dos funciones f, g : I R
son derivables en un punto c y R, entonces:
la funcin f es derivable en c y, adems, (f )0 (c) = f 0 (c);
la funcin f + g es derivable en c y, adems, (f + g)0 (c) = f 0 (c) + g 0 (c);
la funcin f g es derivable en c y, adems, (f g)0 (c) = f 0 (c)g(c)
+ f )c)g 0 (c);
0
0
(c)g 0 (c)
si g(c) 6= 0, la funcin fg es derivable en c y, adems, fg (c) = f (c)g(c)f
.
g(c)2
Teorema. Si f es continua en I y derivable en I \ {c}, entonces f 0 (c) = lm f 0 (x). Ms
xc
exactamente: si este lmite existe, entonces la funcin f es derivable en c y la derivada
es ese lmite; si el lmite no existe, puede ser que la funcin sea derivable en c, y puede
ser que no.
Regla de la cadena. Sean f : I R y g : J R de modo que f (I) J. Sea c I
y supongamos que:
a) la funcin f es derivable en el punto c;
b) y la funcin g es derivable en el punto f (c).
Entonces, la funcin compuesta g f : I R es derivable en el punto c y
(g f )0 (c) = g 0 (f (c))f 0 (c).
Derivada de la funcin inversa. Sea f : I R una funcin inyectiva y continua y
sea c I de modo que f es derivable en el punto c y adems f 0 (c) 6= 0. Entonces, la
funcin inversa f 1 : f (I) R es derivable en el punto f (c) y adems,
(f 1 )0 (f (c)) =

1
f 0 (c)

Derivadas de las funciones elementales.

Una funcin constante es derivable y su derivada es 0 en todos los puntos;
si a R, la funcin f (x) = xa es derivable y f 0 (x) = axa1
en todos los puntos
a1
donde x
est definida (por ejemplo, la funcin f (x) = x no es derivable
en 0);
(sen)0 (x) = cos x para todo x R;
(cos)0 (x) = sen x para todo x R;
(tg)0 (x) = 1 + tg2 (x) = cos12 x para todos los x donde est definida;
1
(arc sen)0 (x) = 1x
2 para todo x (1, 1); no es derivable en 1;
1
0

(arc cos) (x) = 1x2 para todo x (1, 1); no es derivable en 1;

1
(arc tg)0 (x) = 1+x
2 para todo x R;
0
(exp) (x) = exp(x) = ex para todo x R;
la funcin f (x) = log |x| es derivable y f 0 (x) = x1 para todo x 6= 0.

18

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

Regla de LHpital. Sean f, g : I R dos funciones derivables, donde I es un

intervalo o una unin de intervalos, y sea c o bien un elemento de I, o bien un extremo
de I. Supongamos que se cumple una de las dos condiciones siguientes:
a) xc
lm f (x) = xc
lm g(x) = 0;
b) lm g(x) = .
xc

Entonces,
f (x)
f 0 (x)
lm
= lm 0
.
xc g(x)
xc g (x)
Ms exactamente: si el segundo lmite existe (sea real o infinito), entonces el primero
tambin y son iguales; si el segundo lmite no existe, puede ocurrir que el primero exista
y puede ocurrir que no.
Equivalencias: las equivalencias que hemos visto se pueden deducir aplicando la regla
de LHpital.
Teorema del valor medio. Sea f : [a, b] R una funcin continua en el intervalo
[a, b] y derivable en (a, b). Entonces, existe algn punto c (a, b) tal que f (b) f (a) =
f 0 (c)(b a).
Teorema de los valores intermedios para la derivada. Sea f : I R una
funcin derivable, donde I es un intervalo y sean a, b I, a < b. Si es un nmero real
comprendido entre f 0 (a) y f 0 (b), entonces existe algn c (a, b) tal que f 0 (c) = .
Caso particular: si f 0 no vale 0 en ningn punto de (a, b), entonces tiene signo constante en el intervalo.
Derivada y crecimiento. Sea f : [a, b] R una funcin derivable en el intervalo
abierto (a, b) y continua en los puntos a y b.
Si f 0 0 en el intervalo (a, b), entonces f es creciente en el intervalo [a, b].
Si f es creciente, entonces f 0 0 en el intervalo (a, b).
Si f 0 > 0 en el intervalo (a, b), entonces f es estrictamente creciente en el intervalo
[a, b].
El recproco de la ltima propiedad no es cierto: si f es estrictamente creciente en [a, b],
entonces f 0 0, pero puede ocurrir que la derivada se anule en algunos puntos.
Se cumplen las propiedades anlogas sobre derivadas negativas y funciones decrecientes.
Tambin se cumplen las propiedades anlogas para funciones definidas sobre intervalos cerrados solo por un lado o abiertos. Por ejemplo: si f : [a, b) R es una funcin
derivable en el intervalo (a, b), continua en a y adems f 0 0 en el intervalo (a, b),
entonces f es decreciente en el intervalo [a, b).
Derivadas de orden superior. Dada una funcin f : I R derivable y un punto
c I, se llama derivada segunda de la funcin f en el punto c a la derivada de la
funcin f 0 en el punto c. Y se representa por f 00 (c). De igual manera se puede definir
la derivada tercera, que se representa por f 000 (c); la derivada cuarta, que se representa
por f IV (c) o f (4 (c); y, en general, la derivada de orden n, que se representa por f (n (c).
Extremos de funciones. Sea f : I R y sea c I.
Se dice que f tiene en c un mximo absoluto si f (x) f (c) para todo x I.
Se dice que f tiene en c un mximo relativo si hay algn > 0 de modo f (x)
f (c) para todo x I (c , c + ).
Se dice que f tiene en c un minimo absoluto si f (c) f (x) para todo x I.

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

19

Se dice que f tiene en c un minimo relativo si hay algn > 0 de modo f (c)
f (x) para todo x I (c , c + ).
Se dice que f tiene en c un extremo (relativo o absoluto) si tiene un mximo o un
mnimo (relativo o absoluto). Todos los extremos absolutos son extremos relativos.
Derivada y extremos relativos: sea f : (a, b) R una funcin derivable y sea
c R.
Si f tiene un extremo relativo en c, entonces f 0 (c) = 0.
Si f 0 (c) = 0 y adems f 00 (c) > 0, entonces f tiene un mnimo relativo en c.
Si f 0 (c) = 0 y adems f 00 (c) < 0, entonces f tiene un mximo relativo en c.
Se llama punto crtico a cualquier punto donde la derivada vale 0.
Funciones convexas y funciones cncavas. Sea f : I R, donde I es un intervalo.
Se dice que la funcin f es convexa en el intervalo I si cumple una cualquiera de las
siguientes condiciones (son equivalentes):
a)
b)
c)
d)

(a)
(x a) para todos los a, x, b I tales que a < x < b.
f (x) f (a) + f (b)f
ba
f (x) f (a) + f 0 (a)(x a) para todo los a, x I.
f 0 (x) es creciente en el intervalo I.
f 00 (x) 0 para todo x I.

La primera propiedad significa que la grfica de f queda por debajo de todas las cuerdas. La segunda, que la grfica de f queda por encima de todas las tangentes. Las
propiedades segunda y tercera solo se pueden aplicar cuando la funcin es derivable; la
propiedad cuarta, solo cuando la funcin es dos veces derivable.
Se dice que la funcin f es cncava en el intervalo I si cumple una cualquiera de las
siguientes condiciones (con los mismos comentarios):
a)
b)
c)
d)

(a)
f (x) f (a) + f (b)f
(x a) para todos los a, x, b I tales que a < x < b.
ba
f (x) f (a) + f 0 (a)(x a) para todo los a, x I.
f 0 (x) es decreciente en el intervalo I.
f 00 (x) 0 para todo x I.

La funcin f es cncava si y solo si f es convexa. Si una funcin es cncava en un

intervalo (a, c] y convexa en otro intervalo [c, b) (o si pasa de convexa a cncava), se
dice que tiene en c un punto de inflexin.
Polinomio de Taylor. Sea f : (a, b) R una funcin derivable n veces y sea c
(a, b). Se llama polinomio de Taylor de la funcin f , de orden n, en el punto c, al
polinomio
f (c) + f 0 (c)(x c) +

f 00 (c)
f 000 (c)
f (4 (c)
f (n (c)
(x c)2 +
(x c)3 +
(x c)4 + +
(x c)n .
2
3!
4!
n!

Es un polinomio de grado menor o igual que n.

f (x)
Infinitsimos: si una funcin cumple lm (xc)
n = 0, se escribe
xc

f (x) = o((x c)n ) cuando x c.

Si dos funciones cumplen que f (x) g(x) = o((x c)n ) cuando x c, tambin se suele
escribir
f (x) = g(x) + o((x c)n ) cuando x c.

20

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

Frmula de Young. Sea f : (a, b) R una funcin derivable n + 1 veces y sea

c (a, b). Entonces,
f 00 (c)
f 000 (c)
f (n (c)
f (x) f (c) + f (c)(x c) +
(x c)2 +
(x c)3 + +
(x c)n
2
3!
n!
= o((x c)n ), cuando x c.
"

Esta expresin se llama frmula de Young de orden n, de la funcin f , en el punto c.

Si adems f (n+1 (c) 6= 0, entonces
f 00 (c)
f 000 (c)
f (n (c)
f (x) f (c) + f (c)(x c) +
(x c)2 +
(x c)3 + +
(x c)n
2
3!
n!
"

f (n+1 (c)
(x c)n+1 ,
(n + 1)!

cuando x c.

Frmula de Taylor. Sea f : (a, b) R una funcin derivable n + 1 veces y sea

c (a, b). Para cada x (a, b) existe algn t, comprendido entre c y x, tal que
f 00 (c)
f 000 (c)
f (n (c)
f (x) f (c) + f (c)(x c) +
(x c)2 +
(x c)3 + +
(x c)n
2
3!
n!
"

f (n+1 (t)
(x c)n+1 .
(n + 1)!
Esta expresin se llama frmula de Taylor de orden n, de la funcin f , en el punto c.
(n+1 (t)
La expresin f(n+1)!
(x c)n+1 se llama resto (de Lagrange) de la frmula de Taylor.
En el caso particular c = 0, a las frmulas anteriores se les suele aadir el nombre de
Maclaurin: frmula de Young-Maclaurin y frmula de Taylor-Maclaurin.
=

Operaciones con polinomios de Taylor. Sean f y g dos funciones y sean P (x) y

Q(x) sus polinomios de Taylor de orden n en un punto c. Entonces:
Para la funcin f , donde R, el polinomio de Taylor de orden n en c es
P (x).
Para la funcin f + g, el polinomio de Taylor de orden n en c es P (x) + Q(x).
Para la funcin f g, el polinomio de Taylor de orden n en c consiste en tomar del
producto P (x)Q(x) solo los trminos hasta (x c)n .
Para la funcin f 0 , el polinomio de Taylor de orden n 1 en c es P 0 (x).
Si el polinomio de Taylor de orden n de f en 0 es P (x), entonces:
Para la funcin f (x), donde R, el polinomio de Taylor de orden n en 0 es
P (x).
Para la funcin f (xm ), donde m N, el polinomio de Taylor de orden nm en 0
es P (xm ).
Para la funcin f (x c), donde c R, el polinomio de Taylor de orden n en c es
P (x c).
Desarrollos de Taylor de las funciones elementales: en un guion aparte recogemos los desarrollos de Taylor o de Young de algunas funciones.
Captulo 9: clculo de primitivas e integracin.
Primitivas o integrales indefinidas. Dada una funcin f : I R, se llama primitiva (o integral indefinida) de f a cualquier otra funcin F : I R tal que F 0 = f . Dos
funciones son primitivas de la misma funcin en un intervalo (es decir, sus derivadas
son la misma) si y solo si se diferencian en una constante. Los mtodos ms importantes
para calcular primitivas (integrales indefinidas) se dan en un guion aparte.

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

21

La integral definida (integral de Riemann). Dada una funcin f : [a, b] R

acotada y dada una particin o divisin del intervalo [a, b], es decir, unos puntos a =
x0 < x1 < x2 < . . . < xn1 < xn = b, se define la suma superior de Riemann como
M1 (x1 a) + M2 (x2 x1 ) + + Mn1 (xn1 xn2 ) + Mn (b xn1 ),
donde cada Mj es el supremo de la funcin f en el intervalo [xj1 , xj ].

a = x0

x1

x2 . . .

xn1

xn = b

Suma superior de Riemann: el rea de la figura.

Se define la suma inferior de Riemann como

m1 (x1 a) + m2 (x2 x1 ) + + mn1 (xn1 xn2 ) + mn (b xn1 ),
donde cada mj es el nfimo de la funcin f en el intervalo [xj1 , xj ].

a = x0

x1

x2 . . .

xn1

xn = b

Suma inferior de Riemann: el rea de la figura.

Si elegimos un tj [xj1 , xj ] para cada j, la suma

f (t1 )(x1 a) + f (t2 )(x2 x1 ) + + f (tn1 )(xn1 xn2 ) + f (tn )(b xn1 ),
se dice que es una suma de Riemman.
Tomando particiones cada vez ms finas, las sumas superiores se aproximan a un
valor y las sumas inferiores se aproximan a otro valor. Cuando ambos son el mismo,
ese valor se llama integral de Riemann de la funcin f sobre el intervalo [a, b] y se
representa por
Z b

f (x) dx

(o con cualquier otra variable en lugar de x). Si esos dos valores no son iguales, se dice
que la funcin f no tiene integral de Riemann en el intervalo [a, b]. Todas las funciones
continuas son integrables (tienen integral); las que son continuas excepto en algunos
puntos, donde tienen lmites laterales finitos, tambin son integrables.

22

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

a = x0

x2 . . .

x1

xn1

xn = b

Una suma de Riemann: el rea de la figura.

Si la funcin f es positiva, la integral representa el rea de la superficie comprendida

entre la grfica de f y el eje horizontal, entre las abscisas a y b.
Ejemplo de sumas de Riemann.
Z 1
n
1X
j
lm
f( ) =
f (x) dx.
n n
n
0
j=1

Operaciones con funciones. Sean f, g : [a, b] R dos funciones integrables, y sean

r, s R. Entonces, la funcin rf + sg tambin es integrable y adems
Z b

(rf (x) + sg(x)) dx = r

Z b

f (x) dx + s

g(x) dx.

Z b

Integrales y desigualdades. Sean f, g : [a, b] R dos funciones integrables. Si

f (x) g(x) para todo x [a, b], entonces
Z b

f (x) dx

Ra
b

g(x) dx.

Notacin: Si a < b, se define

Z b

f (x) dx =

Rb
a

f (x) dx. Y se define

Ra
a

f (x) dx = 0.

Teorema fundamental del clculo integral. Sea I un intervalo y f : I R una

funcin integrable en todos los intervalos [a, b] I. Sea tambin c I y definamos
F (x) =

Z x

f (t) dt,

para cada x I.

Se cumple lo siguiente:
a) la funcin F es continua en todos los puntos;
b) si la funcin f es continua en algn punto x I, entonces F es derivable en x y
adems F 0 (x) = f (x).
Regla de Barrow. Sea f : [a, b] R una funcin integrable en [a, b]; sea F : [a, b] R
de modo que
en el intervalo (a, b), F es derivable y F 0 = f ;
F es continua en a y en b.
Entonces,
Z b
a

f (x) dx = F (b) F (a).

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

23

Notacin: se suele escribir

h

F (b) F (a) = F (x)

ix=b
x=a

Escribiendo F 0 en lugar de f , la regla de Barrow es

Z b

ix=b

F 0 (x) dx = F (x)

x=a

Integral por partes. Si f, g : [a, b] R son dos funciones derivables y con derivada
continua, entonces
Z b

f (x)g (x) dx = f (x)g(x)

ix=b
x=a

Z b

f 0 (x)g(x) dx.

Cambio de variable. Si : [a, b] R es una funcin derivable con derivada continua

y f : ([a, b]) R es otra funcin continua, entonces
Z b

f ((x)) (x) dx =

Z (b)

f (y) dy.

(a)

Abreviadamente:
dy = 0 (x) dx,

y = (x),
x = a 7 y = (a),

x = b 7 y = (b).

Aplicaciones de la integral: las aplicaciones de la integral al clculo de reas, longitudes, volmenes, centros de gravedad. . . se recogen en un guion aparte.
Captulo 10: series de potencias.
Definicin. Una serie de la forma

an (x c)n = a0 + a1 (x c) + a2 (x c)2 + . . . ,

n=0

donde c R est fijo y se entiende que x puede variar, se llama serie de potencias
(si se quiere precisar, potencias de x c). El nmero c se llama centro de la serie de
potencias.
Teorema. Dada una serie de potencias

P
n=0

an (x c)n , siempre existe un R [0, +]

(puede ser +) tal que:

a) si |x c| < R, la serie

an (x c)n converge;

n=0

b) y si |x c| > R, la serie

n=0

Adems, si |x c| < R, la serie

an (x c)n no tiende a 0.

an (x c)n no converge.

P
n=0

|an (x c)n | converge; y si |x c| > R, entonces

Radio e intervalo de convergencia.

El valor R del teorema anterior se llama radio de convergencia de la serie de
potencias.
El conjunto de los nmeros x para los que la serie converge es uno de estos
intervalos:
(c R, c + R),

(c R, c + R],

[c R, c + R),

[c R, c + R]

(en el caso R = hay que interpretar que c R = y c + R = +). Este

conjunto se llama intervalo de convergencia o dominio de convergencia.

24

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

En el caso R = 0, la serie

P
n=0

an (x c)n solo converge para x = c; en el caso

R = , la serie converge para todo x R.

Continuidad. Las series de potencias son funciones continuas en todo el intervalo de
convergencia.
Derivada de una serie de potencias. Sea
f (x) =

an (x c)n

n=0

una serie de potencias con radio de convergencia R > 0 y sea D su intervalo de convergencia. Consideremos la serie de las derivadas,

nan (x c)n1 ,

n=1
0

y sea D su intervalo de convergencia:

D = {x R; la serie
D0 = {x R; la serie

X
n=0

an (x c)n converge},
nan (x c)n1 converge}.

n=1

Entonces:
a) La serie de potencias de las derivadas tiene tambin radio de convergencia R.
Adems,
(c R, c + R) D0 D [c R, c + R].
Es decir, si la serie de las derivadas converge, la serie inicial tambin.
b) En los puntos x D0 la funcin f es derivable y adems
0

f (x) =

nan (x c)n1 .

n=1

c) Si alguno de los puntos c R est en D pero no en D0 , entonces la frmula

anterior no es cierta en ese punto porque la serie de las derivadas no converge.
Pero puede ocurrir que la funcin f sea derivable en ese punto.
Derivadas de orden superior. Sea
f (x) =

an (x c)n

n=0

una serie de potencias con radio de convergencia R > 0 y sea D su intervalo de convergencia. Sea j N, consideremos la serie de las derivadas de orden j,

n(n 1)(n 2) . . . (n j + 1)an (x c)nj ,

n=j
0

y sea D su intervalo de convergencia:

D = {x R; la serie
D0 = {x R; la serie

X
n=0

X
n=j

Entonces:

an (x c)n converge},
n(n 1)(n 2) . . . (n j + 1)an (x c)nj converge}.

ANLISIS MATEMTICO - GRADO DE FSICA - UNIVERSIDAD DE ZARAGOZA

25

a) La serie de potencias de las derivadas de orden j tiene tambin radio de convergencia R. Adems,
(c R, c + R) D0 D [c R, c + R].
Es decir, si la serie de las derivadas de orden j converge, la serie inicial tambin.
b) En los puntos x D0 la funcin f es derivable hasta el orden j y adems
f (j (x) =

n(n 1)(n 2) . . . (n j + 1)an (x c)nj .

n=j

c) Si alguno de los puntos c R est en D pero no en D0 , entonces la frmula

anterior no es cierta en ese punto porque la serie de las derivadas de orden j no
converge. Pero puede ocurrir que la funcin f sea derivable hasta el orden j en
ese punto.
Frmula del trmino general. Con la notacin anterior, an =

1 (n
f (c),
n!

para todo n.

Primitivas de una serie de potencias. Sea

f (x) =

an (x c)n

n=0

una serie de potencias con radio de convergencia R > 0 y sea D su intervalo de convergencia. Entonces, la serie de potencias

X
an
(x c)n+1
n=0 n + 1
tiene tambin radio de convergencia R, converge para todos los x D y es una primitiva
de f en D. En particular,
Z x

X
an
f (t) dt =
(x c)n+1 ,
x D.
n
+
1
c
n=0
Si F es otra primitiva de f en el intervalo D, entonces

X
an
(x c)n+1 ,
F (x) = F (c) +
n
+
1
n=0

x D.

Desarrollo en serie de potencias de las funciones elementales: en un guion

aparte recogemos los desarrollos en series de potencias de algunas funciones elementales.