Captulo 4

Estudio Lo al de una fun in

127

128

CAPTULO 4.

Departamento de Matemti a Apli ada

ESTUDIO LOCAL DE UNA FUNCIN

E.U.P. San Sebastin

4.1.

129

QU PROBLEMAS NOS FALTAN POR RESOLVER?

4.1. Qu problemas nos faltan por resolver?

A lo largo del tema 3 hemos avanzado mu ho en el estudio del omportamiento de una
fun in. Hemos en ontrado propiedades de
lmite en un punto

x = a;

y(x)

on las que podemos ontar si

otras propiedades si

f (x)

y(x)

admite

es ontinua; nuevas propiedades si

adems, la fun in est denida en un dominio de la forma

informa in sobre

y(x)

[a, b];

y por ltimo, mu ha

si es derivable.

No obstante, hay que re ordar que ada vez que hemos ido exigiendo ms ondi iones
(hiptesis) a

y(x).

Exigir una nueva hiptesis supone limitar el onjunto de fun iones a las

que se puede apli ar un on epto un teorema. Por ejemplo, no podemos estudiar mo se

omporta

y(x)

Ejer i io 4.1

empleando

y (x)

si antes no nos aseguramos de que

y(x)

es derivable.

Elabora un esquema en el que aparez an los resultados ms importantes que

hemos estudiado a er a del estudio de fun iones. El esquema debe mostrar laramente que
uanto ms

potente es el on epto, ms propiedades se umplen, pero tambin supone ms

ondi iones o hiptesis.

Veamos a ontinua in un resumen de los problemas que habr que abordar.

4.1.1.

Mximos y mnimos lo ales

z_1

z_2

Figura 4.1: Mximo y mnimo

Es importante identi ar los puntos donde se produ e un ambio en el re imiento de

la fun in (ver la gura 4.1). La fun in

y(x)

puede representar, por ejemplo, una orriente

el tri a, la presin de una aldera, el bene io de una empresa. En todos los asos nos
interesar averiguar en qu zonas del dominio de

x, y(x)

re e de re e y en qu puntos

hay un ambio en el omportamiento un valor mximo mnimo lo al.

E.U.P. San Sebastin

Departamento de Matemti a Apli ada

130

CAPTULO 4.

4.1.2.

ESTUDIO LOCAL DE UNA FUNCIN

Con avidad ha ia arriba y ha ia abajo

Figura 4.2: Con avidad y onvexidad

Ver la gura 4.2: Qu diferen ia hay entre estos dos omportamientos de

propiedades de

4.1.3.

y(x)

y(x)?.

Qu

estn aso iadas a uno y otro?

Aproxima in de fun iones

a+h

Figura 4.3: Aproxima in de una fun in

Re ordemos que la derivada nos propor iona un medio para al ular de forma aproximada
valores de fun iones (ver la gura 4.3). Se trata de la aproxima in mediante la diferen ial;

h prximo a 0:
f (a + h) f (a) + hf (a)

para

Sin embargo, esta aproxima in puede ser insu iente si

es relativamente grande.

b ms
a+h (ver la gura 4.4), pero para ello es ne esario ono er el valor de y (b),

Podemos pensar en al ular la aproxima in al ulando la diferen ial en otro punto

prximo al punto

Departamento de Matemti a Apli ada

E.U.P. San Sebastin

4.2.

131

EXTREMOS LOCALES

on lo ual de nuevo tenemos el problema de al ular el valor de una fun in, ahora
No existir un modo de aproximar el valor de
slo datos de

y(x)

en

y(x)

en las er anas de

a,

y (x).

pero ono iendo

x = a?.

a+h

Figura 4.4: Varias derivadas

4.2. Extremos lo ales

En el apartado 4.1.1 ya hablamos de la importan ia de ono er dnde una fun in al anza
su mximo valor. Observa los ejemplos de las guras 4.5 y 4.6:

Figura 4.5: Mnimo y mximo en los extremos

En la gura 4.5,
En la gura 4.6,

y(x)
y(x)

al anza su mnimo valor en

al anza su mximo valor en

Bajo qu ondi iones podemos asegurar que

el intervalo
que

y(x)

x = a y su mximo valor en x = b.
x = b pero no tiene mnimo en [a, b].

y(x)

al anza su mximo y su mnimo en

[a, b]?. El Teorema de Weierstrass nos indi a que es su iente (pero no ne esario)
[a, b]. ( Ver Tema 3 apartado 12.3).

sea ontinua en

Ejer i io 4.2

Para las siguientes fun iones, estudiar si es posible apli ar el Teorema de

Weierstrass y al ular los puntos donde

E.U.P. San Sebastin

y(x)

al anza el mximo/mnimo, si existen.

Departamento de Matemti a Apli ada

132

CAPTULO 4.

Figura 4.6: Mximo en

ESTUDIO LOCAL DE UNA FUNCIN

x=b

pero no hay mnimo

y(x) = 1 + x2 x [1, 2]
(
1 + x2 si x [1, 0) (0, 2]
y(x) =
3
si x = 0
y(x) = x2 + 1

x (1, 2)

Veamos otro ejemplo (gura 4.7):

b
a

z2

z1
m

Figura 4.7: Mximo y mnimo lo ales

y(z)

al anza su mximo y su mnimo en

dos puntos

z1

z2

donde

y(z)

[a, b]: m = y(b), M = y(a).

tiene un omportamiento espe ial. No es en

al anza el mnimo valor posible en el intervalo

y(z)

al anza en las er anas de

Pero en

z1 .

[a, b],

pero

y(z1 )

z1

[a, b]

donde

hay

y(z)

s es el mnimo valor que

Vamos a es ribir de modo formal esta propiedad:

> 0 | y(z1 ) y(z) z (z1 , z1 + )

Re ordemos que al intervalo
Del mismo modo:

(z1 , z1 + )

lo llamamos

entorno de

z1 .

> 0 | y(z2 ) y(z) z (z2 , z2 + )

As pues, hemos distinguido dos tipos de omportamiento de

Departamento de Matemti a Apli ada

y(z)

(ver la gura 4.7):

E.U.P. San Sebastin

4.2.

133

EXTREMOS LOCALES

#
#
#
#
#

z1

z1

z2 z2

z1 +

z2 +

Figura 4.8: Comportamiento lo al

Comportamiento global de

y(z)

z [a, b], y(z) y(a)

z [a, b], y(z) y(a)

Comportamiento lo al de

y(z)

en todo el dominio

[a, b]:

mximo absoluto en

mnimo absoluto en

en las er anas de

> 0 | y(z1 ) y(z) z (z1 , z1 + )

> 0 | y(z2 ) y(z) z (z2 , z2 + )

z1

z2

(ver la gura 4.8):

y(z)

presenta un mnimo lo al en

z1

y(z)

presenta un mximo lo al en

z2

En ontrar los mximos y mnimos lo ales (a los que vamos a llamar extremos lo ales)
es importante porque son puntos en los que se produ en pi os en la u tua in de una
magnitud, por ejemplo una orriente el tri a.

Ahora nuestro problema es: mo identi ar esos extremos lo ales?. Los gr os anteriores nos sugieren una onjetura: si
se tiene

y = 0,

y(x) es derivable,

PARECE que en los extremos lo ales

ser verdad?. Observa el ejemplo de la gura 4.9:

Pare e que en los extremos lo ales

z1 , z2

z1

la tangente es horizontal:

y (z1 ) = y (z2 ) = 0.

z2

Figura 4.9: Tangentes horizontales

Pero uidado! para apli ar esta supuesta propiedad, debemos ontar on la hiptesis de
derivabilidad. En el ejemplo de la gura 4.10 no existe

E.U.P. San Sebastin

y (z1 ).

Departamento de Matemti a Apli ada

134

CAPTULO 4.

ESTUDIO LOCAL DE UNA FUNCIN

z1

Figura 4.10: No existe la derivada en

z1

Ahora vamos a demostrar la propiedad:

Teorema 4.1

y (c)

Si

y(x)

es derivable en

x= c

y existe un extremo en este punto, enton es

= 0.

Demostra in
Supongamos por ejemplo que

y(x)

al anza un mnimo lo al en

mximo, el razonamiento es similar. Como

y(x)

x = c.

Si se trata de un

es derivable, existe

y(c + h) y(c)
h0
h

y (c) = lm
y omo

y(c)

y(c + h) y(c)

Ejer i io 4.3
punto?. Si

h>0

h lo bastante prximo a 0,
y(c + h) y(c)
0 y (c) 0
h

h<0

y(c + h) y(c)
0 y (c) 0
h

es mnimo lo al, si tomamos

si

si

se tendr:

y (c) = 0

Si y(x) admite un extremo lo al en x = c, debe ser y(x) derivable

y (c) = 0, ne esariamente y(x) presenta un extremo lo al en x = c?.

en ese

4.3. Es nulo el valor de la velo idad en algn momento?

Si

y(x)

representa el movimiento de un objeto, la fuerza apli ada a un mvil, la tempe-

ratura en un horno, et ., nos interesa ono er en qu instantes la velo idad de

es

0.

Adems, en esos puntos tambin sabemos que

respe to a

puede existir un extremo lo al.

Nuestro problema es: dada una fun in derivable, bajo qu ondi iones podemos asegurar que existe

tal que

y (c) = 0?.

Veamos algunos ejemplos:

Departamento de Matemti a Apli ada

E.U.P. San Sebastin

4.3.

135

ES NULO EL VALOR DE LA VELOCIDAD EN ALGN MOMENTO?

y (x) > 0 x

z1

z2

y (z1 ) = y (z2 ) = 0;

z1

z2

z1 , z2 | y (z1 ) = y (z2 ) = 0

y(a) = y(b)

y (z) = 0;

y(a) = y(b)

y(a) = y(b) es su iente (pero no ne esaria) para garantizar que

y (c) = 0, c [a, b]. Ser ierta esta propiedad en general?. En efe to, esta

Pare e que la ondi in

existe

tal que

propiedad se ono e omo Teorema de Rolle.

Teorema 4.2 ( de Rolle)

su iente on que

y(x)

c (a, b) tal que y (c) = 0,

en (a, b) y que f (a) = f (b).

Para garantizar que existe

sea ontinua en

[a, b],

derivable

es

Demostra in

f(x)

f(x)

f(x)

aso a

aso b

b
aso

Figura 4.11: Teorema de Rolle

Si la fun in es onstante en

[a, b],

(ver el aso a de la gura 4.11), la demostra in es

inmediata pues

f (x) = 0 x (a, b)
E.U.P. San Sebastin

Departamento de Matemti a Apli ada

136

CAPTULO 4.

ESTUDIO LOCAL DE UNA FUNCIN

Si la fun in no es onstante tomar valores distintos de

toma valores mayores que

f (a)

f (a) = f (b).

Supongamos que

(la demostra in sera similar si onsiderramos que toma

valores menores), (ver el aso b de la gura 4.11).

Como

f (x)

f (x)

es ontinua en el intervalo errado

tiene un mximo

y un mnimo

m.

[a, b], por el teorema de Weierstrass,

M=
6 f (a), se umple:

Si el mximo

c (a, b) | f (c) = M f (x) M x [a, b] c

4.4.

es un mximo lo al

f (c) = 0

El Teorema del Valor Medio

Un amionero est ir ulando por una arretera uya velo idad mxima es de

70 Km/h.

Cuando ve a lo lejos un o he patrulla de la Ertzaintza en el ar n, redu e su velo idad

de modo que al pasar a la altura del o he, su velo idad es de

65 Km/h.

Cuando el o he

patrulla se pierde de vista, el amionero aumenta su velo idad. Unos kilmetros despus, ve
otro o he patrulla, tambin esta ionado en el ar n. El amionero ha e la misma opera in:
redu e su velo idad de modo que al pasar a la altura de los ertzainas, su velo idad es de

68 Km/h.

Sin embargo, el agente le ordena que se detenga.

Agente.-

Buenos das. Puedo ver su do umenta in?.

Camionero.Agente.-

Claro. O urre algo, agente?.

O urre que ha ir ulado Ud. a una velo idad superior a la permitida en este

tramo, que es de

Camionero.Agente.ha e

No es posible. Mi velo idad ha sido siempre inferior a

El o he patrulla situado

6 Km atrs, nos ha informado que Ud. pas a su altura

Pero mi velo idad era menor de

70 Km/h,

me a uerdo perfe tamente.

Eso no importa. S que ha ir ulado a velo idad superior a

momento porque en otro aso no es posible re orrer los

Camionero.Agente.-

70 Km/h.

minutos.

Camionero.Agente.-

70 Km/h.

6 Km

en

70 Km/h en
4 minutos.

algn

Por qu no?.

Porque re orrer

90 Km/h.

6 Km

en

minutos, signi a llevar una velo idad media de

En algn momento ha ir ulado Ud. a

90 Km/h.

El razonamiento del agente pare e impe able. Ser orre to?.

Podemos enun iar el problema as:

y(x) denida
z [a, b] en el que la

Dada una fun in

menos, un punto

en

[a, b],

se trata de averiguar si siempre existe, al

velo idad oin ide on la velo idad media.

Departamento de Matemti a Apli ada

E.U.P. San Sebastin

4.4.

137

EL TEOREMA DEL VALOR MEDIO

Como hablamos de velo idad en un punto

(a, b),

z,

ya estamos exigiendo derivabilidad en

y por tanto ontinuidad. Vamos a enun iar el problema de modo riguroso:

y(x)

Dada

ontinua en

[a, b],

derivable en

(a, b), z (a, b) | y (z) =

y(b) y(a)
?
ba

Observa las siguientes gr as (gura 4.12)

z2

a
b

Figura 4.12: Punto medio

Pare e ser que f ilmente onstruiremos el punto

z.

Este es el pro edimiento:

1. Trazamos el segmento que une los puntos de oordenadas

diente

(a, y(a)), (b, y(b)). La peny(x) en el intervalo

de este segmento es pre isamente la velo idad media de

[a, b]:
m=

y(b) y(a)
ba

2. Trazamos una re ta paralela a ese segmento, y que sea tangente a la urva (puede
haber una o varias solu iones), omo en el ejemplo de la gura (4.12).
3. La abs isa
ondi in

z (a, b)

y (z) =

donde se traza esa re ta tangente, es un punto que umple la

y(b) y(a)
ba

Ahora vamos a demostrarlo de forma rigurosa:

Trazamos la re ta se ante por

u(x) =

(a, y(a)), (b, y(b)),

y(b) y(a)
(x a) + y(a)
ba
z tal que u (z) = y (z)
u (z) y (z) = 0?

Estamos bus ando un punto

z

(a, b)

que tiene de e ua in:

tal que

(ambas re tas paralelas):

Estudiemos la fun in diferen ia:

h(x) = u(x) y(x)

z tal que

h (z) = 0?

Re ordemos que tenemos un teorema que habla de un punto

Teorema de Rolle. Veamos si

E.U.P. San Sebastin

h(z)

tal que

h (z) = 0:

el

umple todas las hiptesis:

Departamento de Matemti a Apli ada

138

CAPTULO 4.

1.

h(x)

est denida en

[a, b]

2.

h(x)

es ontinua en

3.

h(a) = u(a) y(a) = y(a) y(a) = 0

h(b) = u(b) y(b) = y(b) y(b) = 0

[a, b]

porque

ESTUDIO LOCAL DE UNA FUNCIN

u(x)

y derivable en

y(x)

(a, b)

lo estn.
porque

u(x)

y(x)

lo son.

Por lo tanto segn el teorema de Rolle:

z (a, b) | h (z) = 0 y (z) = u (z) =

y(b) y(a)
ba

Si volvemos a nuestro amionero:

[a, b] = [0, 4];

en el que la fun in

E(t) =

espa io re orrido, es ontinua y derivable. Estas

propiedades podemos asumirlas omo hiptesis fsi amente razonables, eres apaz de
expli ar por qu?.

E(0) = 0 Km, E(4) = 6 Km

Luego

z [0, 4]

tal que

y (z) =

60
= 90 Km/h
4/60

El amionero no se libra de la multa. Este resultado se llama Teorema del valor medio.

Ejer i io 4.4
re orre

D Km

En uentra la frmula de la san in de tr o. Es de ir, si un veh ulo

en

v Km/h,
velo idad v ?.

minutos en una va donde la limita in de velo idad es de

undo pueden los agentes estar seguros de que el veh ulo ha rebasado la

4.5. Cre imiento y de re imiento

y (x) > 0 x (a, b), enton es y(x) es re iente en (a, b); del mismo modo
y (x) < 0 x (a, b) indi a y(x) de re iente en (a, b). Se trata de un resultado
Si

que ya

utilizamos en el aptulo anterior, pero no lo demostramos. Gr amente es muy laro:

a
a

y (x) > 0 tan > 0

CRECIENTE

y (x) < 0 tan < 0

DECRECIENTE

Ahora, utilizando el Teorema del valor medio, podemos demostrar este resultado. Pero
por qu usar el Teorema del valor medio?. Vamos a es ribir de manera formal lo que signi a
que

y(x)

sea re iente en

(a, b)

( ver la gura 4.13):

Departamento de Matemti a Apli ada

E.U.P. San Sebastin

4.5.

139

CRECIMIENTO Y DECRECIMIENTO

y(x2 )
y(x1 )

x1

x2

Figura 4.13: Fun in re iente

y(x)

re iente en

(a, b) x1 , x2 (a, b), x1 < x2 y(x1 ) < y(x2 )

Utilizamos el teorema del valor medio porque este teorema estable e una rela in entre

y(x1 ), y(x2 ), y (z), z (x1 , x2 )

Apli ando el teorema en

z (x1 , x2 ) | y (z) =
Como

[x1 , x2 ]:

y(x2 ) y(x1 )
x2 x1

y (x) > 0 x (a, b) y (z) > 0

Por tanto,

y(x)

Ejer i io 4.5

es re iente en

Demostrar que si

(a, b).

y (x) < 0

(a, b).
Ejer i io 4.6

y (x) > 0
y (x) < 0

y(x2 ) y(x1 )
>0
x2 x1
x (a, b)

x1 <x2

enton es

y(x2 ) > y(x1 )

y(x)

es de re iente en

Sabemos que :

x (a, b) y(x)
x (a, b) y(x)

(a, b)
en (a, b)

re iente en
de re iente

Ahora la pregunta es: Si el dominio no es un intervalo de la forma

(a, b),

siguen siendo

iertos esos dos resultados?.

Observa lo verstil que es el teorema del valor medio: Ha servido para san ionar al
amionero y para demostrar la rela in que existe entre el re imiento de

y(x)

y (x).

Pues

bien, todava podemos sa arle an mas rendimiento.

Veamos mo demostrar un par de resultados ms que son muy intuitivos:

1. Si

y (x) = 0 x (a, b) y(x)

Ya sabamos que

y(x) = cte

E.U.P. San Sebastin

es onstante en

y (x)

= 0.

(a, b)

Lo que ahora vamos a ver es el re pro o

Departamento de Matemti a Apli ada

140

CAPTULO 4.

ESTUDIO LOCAL DE UNA FUNCIN

Figura 4.14: Derivada nula

Teorema 4.3
en

(a, b)

De ir que

y (x) = 0 en (a, b) es equivalente a de ir que y(x) es onstante

(ver la gura 4.14).

Demostra in

x (a, b) ualquiera.
z (x, b) que umple:

Tomamos un
Existe un

y (z) =

y(b) y(x)
;
bx

omo

Apli amos el Teorema del valor medio en

y (x) = 0 y (z) = 0;

por tanto

[x, b]:

y(x) = y(b) x (a, b)

2. Si dos fun iones tienen la misma derivada, enton es se diferen ian en una onstante
(ver la gura 4.15):

Teorema 4.4

Si

y (x) = v (x)

x (a, b), C R | y(x) = v(x) + C

Demostra in
y(x)
k
v(x)

Figura 4.15: Derivadas iguales

y (x) = v (x) y (x) v (x) = 0 y(x) v(x) = 0

Apli ando el resultado anterior:

C R | y(x) v(x) = C
Departamento de Matemti a Apli ada

E.U.P. San Sebastin

4.6.

141

EL TEOREMA DE TAYLOR

Ejer i io 4.7
de la forma

De forma similar a lo propuesto en el ejer i io 4.6: si en vez de un dominio

(a, b),

se trata de un dominio diferente

D,

siguen siendo vlidas esas dos

propiedades?.

4.6. El Teorema de Taylor

Vamos a re ordar dos problemas importantes que todava no hemos resuelto:
1. Re ono imiento de mximos y mnimos lo ales: Sabemos que si

y(x)

es derivable en

x = a y adems y(x) presenta un extremo lo al en ese punto, enton es,

y (a) = 0. Ahora bien, la ondi in y (a) = 0 no garantiza que y(x)

tenga un extremo en x = a. Es de ir, puede su eder que y (a) = 0 pero que no exista
3
extremo en ese punto. Esto o urre, por ejemplo, on y = x en a = 0 (ver la gura
el punto

ne esariamente

4.16).

Figura 4.16: Fun in

y(x) = x3 y (x) = 3x2 , y (0) = 0

y = x3

pero no hay extremo.

As pues, nuestro problema es: Qu ondi iones debe umplir

que presenta un extremo en

y(x) para poder asegurar

x = a?.

2. Con avidad y onvexidad (ver la gura 4.17).

Figura 4.17: Fun iones n avas y onvexas

Las preguntas son: Es til saber si

y(x) es n ava ha ia arriba n ava ha ia abajo?

mo podemos re ono er ambos tipos de omportamiento?.

E.U.P. San Sebastin

Departamento de Matemti a Apli ada

142

CAPTULO 4.

ESTUDIO LOCAL DE UNA FUNCIN

Ambos problemas pare en no tener rela in entre s, sin embargo, la solu in para ambos
tiene su origen en la misma idea. Veamos en que onsiste esa idea: Ambos problemas se
reeren a una propiedad lo al de
un entorno del punto

x = a.

y(x),

es de ir, al estudio del omportamiento de

y(x)

en

En la gura 4.18 se observa:

c
b

Figura 4.18: Diversas propiedades

Es onvexa en un entorno de
Posee extremos lo ales en

x=a

x=b

Es n ava en un entorno de

y en

x=c

x=d
z(x), que sea muy sen illa de
y(x) en las er anas del punto

Pues bien, la idea es: Vamos a fabri arnos otra fun in

manejar, de modo que

z(x)

est muy prxima a la fun in

x = a.

z(x)
y(x)

Figura 4.19: Fun iones prximas

Si

z(x)

est muy prxima a

y(x),

el omportamiento lo al de ambas deber ser muy

pare ido. En el ejemplo de la gura 4.19 ambas tienen un extremo en

La bsqueda de

z(x)

x=a

y son onvexas.

nos abre nuevas preguntas:

1. Qu tipo de fun in ser

z(x)?.

2. Cmo onseguiremos que

z(x)

Debe ser sen illa de manejar y de evaluar.

est prxima a

Departamento de Matemti a Apli ada

y(x)?.
E.U.P. San Sebastin

4.6.

143

EL TEOREMA DE TAYLOR

La respuesta a la primera pregunta es:

z(x)

ser un polinomio. Los polinomios son

fun iones ontinuas, derivables, f iles de evaluar, de derivar, de integrar, de representar

. . . En uanto a la segunda pregunta, veamos un ejemplo que nos puede ayudar

entender mo onstruiremos z(x):
x
Supongamos que y(x) = e y que deseamos fabri ar un polinomio z(x) que est prximo
y(x) en las er anas del punto a = 0. Podemos empezar por la aproxima in mediante la

gr amente,
a
a

diferen ial (re ta tangente), que es un polinomio de grado 1:

si

z(x) = y(a) + y (a)(x a), o bien ha iendo x a = h, z(a + h) = y(a) + y (a) h,

h est prximo a 0 tenemos z(a + h) y(a + h). Como a = 0, y (0) = 1 : z(h) = 1 + h

y=e^x

z(x)

Figura 4.20: Aproxima in primera de

z(x) = 1 + x (ver la gura 4.20).

z(x) e y(x) tienen en omn dos
Pasan por el mismo punto:

y = ex

propiedades:

z(0) = y(0) = 1

Tienen la misma tangente en ese punto:

Ahora vamos a onstruir un polinomio

z (0) = y (0) = 1

P2 (x)

que oin ida en el punto

a=0

on

y(x)

hasta la segunda derivada (ver la gura 4.21):

1
P2 (x) = x2 + x + 1
2
hasta la ter era derivada:

1
1
P3 (x) = x3 + x2 + x + 1
6
2
E.U.P. San Sebastin

Departamento de Matemti a Apli ada

144

CAPTULO 4.

ESTUDIO LOCAL DE UNA FUNCIN

P_3
y=e^x

P_2

P_1

P_2

P_3

Figura 4.21: Aproxima iones de distintos rdenes

As pues, a medida que ms derivadas en

x=a

oin idan para ambas fun iones, pare e

que ms prximas estn al menos en las er anas del punto

x = a.

Veamos mo al ular,

en general, el polinomio:
grado n=1 :

P1 (x) = y(a) + y (a)(x a)

grado n=2 :

P2 (x) = 12 (x a)2 + P1 (x)

grado n=3 :

P3 (x) = 16 (x a)3 + P2 (x)

grado n :

Pn (x) =

.
.
.

1
n! (x

a)n + Pn1 (x)

y (a)
y (a)
y (n (a)
(x a)2 +
(x a)3 + +
(x a)n
2!
3!
n!
Este polinomio se llama Polinomio de Taylor de grado n.
O bien, tomando h = x a
Pn (x) = y(a) + y (a)(x a) +

Pn (a + h) = y(a) + y (a) h +
Cuanto ms prximo est

de

0,

y (a) 2 y (a) 3
y (n (a) n
h +
h + +
h
2!
3!
n!

ms er ano estar

Cuanto ms nos alejamos del punto

y(a + h)

x = a,

Pn (a + h)

de

y(a + h).

mayor ser la distan ia entre

Pn (a + h)

y(a + h)

(ver la gura 4.22).

En general no es posible ono er la distan ia que hay entre el valor exa to

la aproxima in

Pn (a + h).

Sin embargo, tenemos un teorema, llamado Teorema de Taylor,

Departamento de Matemti a Apli ada

E.U.P. San Sebastin

4.6.

145

EL TEOREMA DE TAYLOR

errorea

P(x)

y(x)

a+h

Figura 4.22: Deterioro de la aproxima in

que nos puede dar mu ha informa in a er a de  omo de grande es

Veamos que di e este teorema:

Teorema de Taylor:

n, Pn (a + h),

de grado

Si aproximamos el valor

el polinomio de Taylor

enton es la diferen ia entre ambos valores el igual a:

y(a + h) Pn (a + h) =
donde

y(a + h) mediante

y(a + h) Pn (a + h).

y (n+1 (z) n+1

h
(n + 1)!

es un nmero en general des ono ido, pero del que slo sabemos que se en uentra

en el intervalo

(a, a + h)

(a + h, a)

si

h < 0).

Una uestin importante: para poder al ular el polinomio de Taylor de grado n de

y(x) en el punto x = a, es ne esario que existan y(a), y (a), , y (n (a). Si, adems, queremos
usar el Teorema de Taylor, debe ser derivable hasta orden n + 1 y esta derivada ser ontinua.

Figura 4.23: Fun in no derivable

Para la fun in de la gura 4.23 no podemos al ular ni siquiera

no existe

y (a)

Veamos otro ejemplo:

P1 (x)

en

a=0

porque

(
ex
x0
y(x) = 1 2
2x + x + 1 x > 0

Se trata de al ular el polinomio de Taylor del mayor orden posible.

x < 0 y (x) = ex

Si x > 0 y (x) = x + 1

0
y (0 ) = e = 1; y (0+ ) = 0 + 1 = 1;
Si

E.U.P. San Sebastin

y(0+ ) = y(0 ) = 1

ontinua en

x=0

Departamento de Matemti a Apli ada

146

CAPTULO 4.

Por tanto, existe

ESTUDIO LOCAL DE UNA FUNCIN

y (0) = 1

x < 0 y (x) = ex

Si x > 0 y (x) = 1

0
y (0 ) = e = 1; y (0+ ) = 1;

Por tanto, existe y (0) = 1

Si

y (x)

x < 0 y (x) = ex

Si x > 0 y (x) = 0

0
y (0 ) = e = 1; y (0+ ) = 0;

ontinua en

x=0

Si

y (x)

ontinua en

y (0). As pues,
=1+x
= 12 x2 + x + 1

Por tanto, no existe

y (0)x

P1 (x) = y(0) +
2
P2 (x) = P1 (x) + y (0) x2

x=0

slo es posible al ular

No podemos apli ar el Teorema de Taylor para

existiera

y (0).

Lo apli amos para

z (h, 0) | y(h) = 1 + h +

n=1

pero no derivable en

n = 2

P1 (x)

P2 (x) :

porque ne esitaramos que

h < 0:

y (z) 2
h2 z
h z (h, 0) | eh = 1 + h +
e
2
2

(si apli amos el Teorema de Taylor para

x=0

(4.1)

h > 0, no obtenemos ninguna informa in adi ional)

z , a partir de la expresin anterior:

En este aso, podemos adems determinar el valor de

z = ln

2(eh 1 h)
h2

Pero vemos que esta forma de al ular

fun in

eh .

es ms ompli ada que al ular el valor exa to de la

Normalmente no nos interesa (o no es posible) ono er el valor de

sino a otar

el error. Veamos qu signi a esto:

Supongamos que deseamos usar la expresin (4.1) para al ular aproximadamente el
valor de

e0.01 ;

as pues, tomaremos

e0.01 = 1 0. 01 +

h = 0. 01:

(0. 01)2 z
e
2

Si tomamos omo valor aproximado de

1 0. 01 = 0. 99,
ERROR

Como

z (0. 01, 0)
e0.01

enton es

(0. 01)2 z
(0. 01)2
e <
= 0. 00005
2
2

z es des ono ido (slo sabemos que se en uentra en el intervalo (0. 01, 0)) no podemos
z (0. 01, 0), ez <

evaluar el error, pero s podemos dar una a ota in del mismo. Como

e0 = 1.

Departamento de Matemti a Apli ada

E.U.P. San Sebastin

4.7.

147

CMO RECONOCER UN EXTREMO LOCAL

Si ahora vamos a al ular

e5

tomamos (4.1) on

z (5, 0) | e5 = 1 5 +
Nuestra aproxima in es
ERROR
(Como

h = 5:

25 z
e z (5, 0) | e5 = 4 + 12. 5 ez
2

P1 (5) = 4,

y el error ometido es exa tamente

= 12. 5 ez < 12. 5 1 = 12. 5

z (5, 0), ez < e0 = 1)

Por lo tanto nuestra aproxima in es

e5 4

on un error menor que 12.5. Algo ha

x
debido ir mal porque e > 0, x. Si omparamos esta aproxima in on el valor exa to hasta
5
tres dgitos, resulta e
0. 006 nuestra aproxima in es malsima ! qu ha o urrido?.

Que hemos tomado un valor de

a = 0.

punto

h muy grande, nos hemos alejado mu ho (relativamente) del

P1 (x) no nos propor iona una aproxima in vlida para

Obtenemos pues, que

al ular el valor de

Ejer i io 4.8

e5 .

Cal ular los polinomios de Taylor de mayor grado

P2 (x), P3 (x), P4 (x), ,

hasta obtener una aproxima in on tres dgitos de imales exa tos. Cal ula una ota del
x
error ometido para al ular y = e .

4.7. Cmo re ono er un extremo lo al

y(x)

Sabemos que la ondi in que debe umplir

x=a

para que tenga un mximo lo al en

es (ver la gura 4.24):

y(a + h) y(a)

para

lo su ientemente prximo a

(
ah

0.

a+h

Figura 4.24: Extremo lo al

x = a+h, en el teorema de Taylor nos apare en ambos trminos y(a+h), y(a).

y(x) umple las ondi iones ne esarias para que se pueda apli ar el Teorema
para n = 1:

Si ha emos

Supongamos que
de Taylor

z (a h, a + h) | y(a + h) = y(a) + y (a)h +

E.U.P. San Sebastin

1
y (z)h2
2

Departamento de Matemti a Apli ada

148

CAPTULO 4.

Pero sabemos que si

y(x)

ESTUDIO LOCAL DE UNA FUNCIN

presenta un mximo relativo en

x = a,

ne esariamente

y (a) = 0.

Por tanto:

y(a + h) y(a) =

1
y (z)h2 ,
2

z (a h, a + h)

(
ah

z a+h

Figura 4.25: Signo de

y(a + h) y(a)

y (a) = 0 ( ondi in ne esaria), el signo de y(a + h) y(a)

est rela ionado on el signo de y (z) en un entorno del punto a (ver la gura 4.25). Como
1 2
adems se umple que
h 6= 0, tenemos:
2 h > 0,
As pues, si se umple que

signo

(y(a + h) y(a)) = signo (y (z))

(a h, a + h), podemos
y (z)?. S, a ondi in de ono er el signo de y (a):
Re ordemos el teorema: Si v(x) es una fun in ontinua en x = a y v(a) 6= 0, enton es
v(x) tiene el mismo signo que v(a) en un ierto entorno de a.
Observando la gura 4.26, omo v(a) > 0, h > 0 | v(x) > 0 x (a + h, a h)
es un valor des ono ido, del que slo sabemos que se en uentra en

saber ul es el signo de

v(a)

(
ah

a a+h

Figura 4.26: Entorno de

por lo tanto, si
signo

y (x)

x=a

es ontinua:

(y(a + h) y(a)) = signo (y (a))

para

lo bastante prximo a

luego:
Si

y (a) > 0 y(a + h) > y(a)

para

lo bastante prximo a

mnimo lo al.

Si

y (a) < 0 y(a + h) < y(a)

para

lo bastante prximo a

mximo lo al.

Departamento de Matemti a Apli ada

E.U.P. San Sebastin

4.7.

149

CMO RECONOCER UN EXTREMO LOCAL

As pues, ya tenemos una ondi in su iente para que

punto

x = a.

y(x)

presente un extremo en el

Ahora bien, hay que tener en uenta las hiptesis que debe umplir

y(x)

para

que este resultado pueda apli arse.

Ejer i io 4.9

Enun iar este riterio de re ono imiento de mximos y mnimos lo ales, te-

niendo mu ho uidado en indi ar las ondi iones que debe umplir

y(x).

y (a) = 0. En este aso no

y(x) = x3 en el punto a = 0, y (0) = 0,

Desgra iadamente, este riterio no es apli able en un aso:

podemos de ir nada del signo de

y (z).

Por ejemplo

no puede apli arse el riterio.

La solu in es utilizar el teorema de Taylor para

1
y (z)h3
6

z (a h, a + h) | y(a + h) y(a) =

y pro ediendo de modo idnti o, para valores de

signo

6= 0

signo (y(a

lo su ientemente prximos a

0:

3)

es importante porque signo(h

signo(h); as pues, si

e y (x) es ontinua:

+ h) y(a)) = signo(hy (a))

Supongamos por ejemplo que

(y(a + h) y(a)) = signo (y (z)h3 )

observa que ahora el signo de

y (a)

n = 2:

y(a + h) > y(a)

y(a + h) < y(a)

si
si

h>0
h<0

+ h) y(a)) = signo(y (a))

signo (y(a + h) y(a)) 6= signo(y (a))

signo (y(a

y (a) > 0:

para
para

h>0
h<0

Figura 4.27: No hay extremo

En estas ondi iones no puede haber extremo!. As pues, si

y (a)
a

> 0, enton es y(x)

y = x3 en a = 0).

E.U.P. San Sebastin

NO presenta ni mximo ni mnimo lo al

y (a) = y (a) = 0 pero

en x = a. (Esto le o urre

Departamento de Matemti a Apli ada

150

CAPTULO 4.

Ejer i io 4.10

ESTUDIO LOCAL DE UNA FUNCIN

Demuestra que tampo o existe extremo en

y (a) < 0. Enun ia

umplir y(x) para que se

x = a

este riterio prestando mu ha aten in a las ondi iones que debe

si

pueda apli ar.

Y qu o urre si tambin

y (a) = 0? Pues usaremos el valor de y v (a). Y si y v (a) = 0?.

v
Usaremos y (a) y as su esivamente. En general, supongamos que

y (a) = y (a) = = y (n (a) = 0

pero

y (n+1 (a) 6= 0,

siendo

y (n+1 (x)

ontinua. Cmo

podemos re ono er si existe un extremo lo al?.

Ejer i io 4.11

Enun iar y demostrar el riterio general para re ono imiento de extremos.

Tendremos uidado a la hora de indi ar las ondi iones que debe umplir

y(x)

para que

pueda apli arse este riterio.

AYUDA: Estudiar los diferentes asos que se dan uando

par y

y (n+1 (a) > 0, y (n+1 (a) < 0,

para

impar.

4.8. Cmo re ono er la on avidad/ onvexidad

Hemos aprendido a re ono er undo una fun in derivable es re iente o de re iente:
Si
Si

v (x) > 0 x (a, b) v(x)

v (x) < 0 x (a, b) v(x)

Pero re ordando tambin que

v (x)

es re iente en

(a, b).
(a, b).

es de re iente en

es la velo idad de

respe to a

x,

podemos averiguar

si esta velo idad es re iente o de re iente:

v (x) > 0 x (a, b) v (x) es re iente en (a, b) la velo idad es

re iente en (a, b)
(o lo que es lo mismo, la a elera in en el intervalo (a, b)
Si

es positiva).

v (x) < 0 x (a, b) v (x)

(a elera in negativa en (a, b)).
Si

la velo idad es de re iente en

De a uerdo, pero qu aspe to tiene la gr a de una fun in

v(x)

(a, b)

(derivable hasta

orden 2) tal que su velo idad es re iente o de re iente?. Somos apa es de re ono er esta
propiedad slo on ver la gr a de

v(x)?.

Se trata de un nuevo problema que involu ra a

v(x)

v (x).

Qu teorema usamos para

resolverlo?. El Teorema de Taylor, por supuesto. Vamos a apli arlo para

z (a h, a + h) | v(a + h) = v(a) + v (a) h +

Pero re uerda que
el punto

x=a

fun .

v(a) + v (a) h

n = 1:

1
v (z) h2
2

es la ordenada, en el punto

a+h

de la re ta tangente en

(ver la gr a 4.28). Por lo tanto, la diferen ia

tangente

}|
{ 1
z }| { z
v(a + h) (v(a) + v (a) h) = v (z) h2
2

Departamento de Matemti a Apli ada

E.U.P. San Sebastin

4.8.

151

CMO RECONOCER LA CONCAVIDAD/CONVEXIDAD

v (a + h )

v ( a ) + h v '( a )

v (a )

h
a

a + h

Figura 4.28: Estudio de la on avidad

nos indi a si la gr a de

queda por en ima o por debajo de la gr a de la re ta tangente:

Si v(a + h) v(a) v (a) h

la re ta tangente; si
Pero:

signo

y si

v (x)

> 0 la gr a de v(x) queda por en ima de la gr a de

v(a + h) v(a) v (a) h < 0, lo ontrario, la tangente por en ima.

v(a + h) v(a) v (a) h = signo




1 2
h v (z) = signo v (z)
2

es ontinua, sabemos que para valores de

signo (v

(z))

= signo (v (a)).

lo bastante prximos a

0:

Por tanto:

v (a) > 0 la velo idad de v(x) es re iente en un entorno de x = 0 y eso signi a

que la re ta tangente a v(x) queda por debajo de la urva. Qu aspe to tiene una
urva v(x) que umpla esta ondi in? (ver la gr a 4.28).
Si

a
a

Figura 4.29: Con avidad ha ia arriba

v (a) > 0 signi a que v(x) es n ava ha ia arriba en un entorno

de

x = a n ava

ha ia arriba signi a velo idad re iente !!. Ya sabemos mo re ono er en la gr a

de

v(x)

las zonas donde la velo idad de

respe to a

es re iente.

Del mismo modo, la on avidad ha ia abajo est rela ionada on el de re imiento de

la velo idad de

v(x).

La re ta tangente queda por en ima de la gr a: es n ava ha ia abajo (ver la gr a

4.30).

E.U.P. San Sebastin

Departamento de Matemti a Apli ada

152

CAPTULO 4.

ESTUDIO LOCAL DE UNA FUNCIN

a
a

Figura 4.30: Con avidad ha ia abajo ( onvexidad)

Ejer i io 4.12
un entorno de

Nota:

Demostrar que

v (a) < 0,

indi a que

v(x)

es n ava ha ia abajo en

x = a.

En algunos libros se llama onvexa a la urva que es n ava ha ia abajo,

y se llama n ava a la que es n ava ha ia arriba, por lo que nosotros usaremos

indistintamente ambas deni iones.
Veamos un ejemplo. Supongamos que estamos llenando de agua un depsito esfri o
(ver la gr a 4.31). Se trata de estudiar mo vara la altura

que al anza el agua en ada

instante.

2 R

R
h

h (t)

Figura 4.31: Depsito esfri o

Vamos a llamar

al radio de la esfera (ver la gr a 4.31). El enun iado no di e nada

del modo en que se vierte el agua, por lo que vamos a suponer omo hiptesis que el ritmo
de vertido es onstante; en onse uen ia

h(t)

ser una fun in ontinua; pare e razonable

h(t) ser tambin derivable, aunque habr que demostrarlo. Adems 0 h 2R,
h(t) es re iente porque h est aumentando ontinuamente. Cmo ser la gr a de h(t)?.

pensar que
y

Vamos a trazar algunas en la gura 4.32:

Ser alguna de estas gr as la que realmente sigue la fun in

Observemos que la velo idad de

h (h (t) = dh/dt)

h(t)?:

va disminuyendo hasta que

h vale
h ir

(la mitad de la esfera) (ver la gr a 4.33). A partir de ese punto, la velo idad de

aumentando hasta que la esfera se llene. As pues, sin ha er opera in alguna, sabemos:

Departamento de Matemti a Apli ada

E.U.P. San Sebastin

4.8.

153

CMO RECONOCER LA CONCAVIDAD/CONVEXIDAD

2 R

2 R
h (t)

h (t)
t1

t1
t

2 R

2 R
h (t)

h (t)
t1

t1
t

Figura 4.32: Posibles gr as de

h(t)

h (t)

Figura 4.33: Llenado de la esfera

1.

h (t) > 0 h (0, 2R)

2.

de re iente si

3.

re iente si

(ya que

es re iente)

h (0, R) h < 0 h

h (R, 2R) h > 0 h

n ava ha ia abajo
n ava ha ia arriba

h (0, R)
h (R, 2R)

2 R
h (t)
R

2 t1

t1
Figura 4.34: Fun in

E.U.P. San Sebastin

h(t)

Departamento de Matemti a Apli ada

154

CAPTULO 4.

Y qu o urre en el instante

ESTUDIO LOCAL DE UNA FUNCIN

t1 en el que h = R, es de ir uando se ha llenado medio

t1 tiene lugar un ambio en el re imiento de la velo idad

depsito? (ver la gr a 4.34). En

de

h:

la velo idad pasa de de re iente a re iente. Gr amente se distingue este punto

porque tiene lugar en l un ambio en la on avidad, en este ejemplo

ha ia abajo a n ava ha ia arriba. Se di e que

h(t)

pasa de ser n ava

presenta una inexin en el punto

t1

(ver la gr a 4.35).

C o n v e x a

C n c a v a
x

C n c a v a C o n v e x a
x

Figura 4.35: Puntos de inexin

Ahora vamos a realizar otro tipo de estudio, el analti o, al que estars ms a ostumbrado:

Figura 4.36: Fun in volumen

El volumen

V (t)

en ada instante se rela iona on la altura del modo siguiente (ver la

gr a 4.36):

V =

2
h (3R h)
3

(4.2)

Se trata del volumen del asquete esfri o.

Observa que si

h = 2R V =

4
R3 =
3

volumen de la esfera ompleta. Si suponemos

dV
= k > 0; por ejemplo,
dt
respe to de t:

omo hiptesis que entra agua a velo idad onstante, signi a que

podra valer

V =
Como

17

litros/minuto; derivamos la e ua in (4.2)

k
2hh (3R h) h2 h = hh (2R h) = k h =
3
h(2R h)

h < 2R h > 0 h(t)

es siempre re iente.

Departamento de Matemti a Apli ada

E.U.P. San Sebastin

4.9.

DESARROLLO EN SERIE DE

Veamos ahora el signo de

d
h (t) =
dt

h :


k
h(2R h)

Y (X)

155

k 2(h R)
dh
2k2 (h R)
=

h2 (2R h)2 dt
2 h3 (2R h)3

donde el ni o fa tor que ambia de signo es

h R.

Por tanto:

Si

h < R h < 0 h
de re iente en (0, R)

onvexa

h (t)

es de re iente en

h > R h > 0 h
re iente en (R, 2R)

n ava

h (t)

es re iente en

Si

h ambia de on avidad al pasar por h = R presenta

que h = R. Observamos, adems, que h = 0 para h = R.

Hemos visto mo el signo de

y (a)

y (a) < 0 y(x)

n ava ha ia abajo en un entorno de

ambia de signo uando

De a uerdo pero, qu pasa si

y (a) = 0?.

x = a,

y (a) 6= 0 y (z) 6= 0
v
emplearemos y (a), et .
Ejer i io 4.13

para

velo idad de

y(x):

x = a.
n = 2:

tendremos un punto de inexin en

h3
6

lo su ientemente prximo a

0.

Si tambin

y (a) = 0,

La misma tarea que en el ejer i io 4.11, pero ahora hay que enun iar el

riterio general para re ono er undo una fun in

un entorno de

(R, 2R)

Usaremos el Teorema de Taylor para

z (a h, a + h) | y(a + h) = y(a) + y (a) h + y (z)

Si

est rela ionado on la on avidad de

n ava ha ia arriba en un entorno de

y (x)

velo idad de

una inexin en el instante en

y (a) > 0 y(x)

Adems, si

(0, R)

x=a

y(x) es n ava ha ia arriba/abajo en

x = a existe un punto de inexin.

y mo puede re ono erse que en

4.9. Desarrollo en serie de y(x)

En temas anteriores hemos utilizado las expresiones de las fun iones
una suma innita de poten ias de

e =

X
xn

n=0

sen x =

n!

cos x =

(2n + 1)!

X
(1)n x2n

n=0

En on reto:

x R

X
(1)n x2n+1

n=0

x.

ex , sen x, cos x omo

(2n)!

E.U.P. San Sebastin

x R
x R
Departamento de Matemti a Apli ada

156

CAPTULO 4.

ESTUDIO LOCAL DE UNA FUNCIN

Pues bien, estos desarrollos en serie estn basados tambin en el Teorema de Taylor; si

y(x)

suponemos que

es derivable hasta un orden ualquiera

n + 1:

1
hn
hn+1
z (ah, a+h) | y(a+h) = y(a)+y (a)h+ y (a)h2 + +y (n (a) +y (n+1 (z)
2
n!
(n + 1)!
si ahora suponemos que el resto se ha e ms prximo a ero a medida que

re e, es de ir,

si:

y (n+1 (z)
=0
n (n + 1)!
lm

enton es:

lm y(a+h) = lm

llamando

x=a+h

y(x) =

X
y n (a) n
y (n+1 (z)hn
y (n (a)hn
h + lm
y(a+h) =
y(a) + y (a) h + +
n (n + 1)!
n!
n!
n=0

nos queda:

X
y (n (a)(x a)n

n=0

(4.3)

n!

La expresin (4.3) se llama desarrollo en serie de Taylor de

importante entender que para que una fun in

y(x)

en el punto

x = a.

Es

y(x) pueda desarrollarse en serie de poten ias

de Taylor, es ne esario que umpla dos hiptesis:

1. Derivable hasta un orden

ualquiera.

2.

y (n (z)hn
= 0 z (a h, a + h)
n
n!
lm

Veamos un ejemplo: Desarrollar en serie de poten ias

1. Existe

y = ex

en

a = 0:

y (n (x) n N, siendo y (n (x) = ex

2.

y (n (z)hn
ez hn
=
;
n!
n!

ez hn
= 0 z R
n n!
lm

Luego se umplen las hiptesis.

e =

X
xn

n=0

n!

Observa qu resultados tan importantes estn basados en el Teorema de Taylor, por lo

que podemos llamar gema matemti a a este verstil resultado (ver la gr a 4.37).

Departamento de Matemti a Apli ada

E.U.P. San Sebastin

4.10.

157

EL TEOREMA DEL PUNTO FIJO

E n c o n t r a r lo s
e x t r e m o s r e la t iv o s

A p r o x im a c i n d e f u n c io n e s
m e d ia n t e p o lin o m io s

T E O R E M A
d e
T A Y L O R
D e s a r r o llo d e
u n f u n c i n e n
s e r ie d e p o t e n c ia s

A n a liz a r la c o n c a v id a d
y c o n v e x id a d

Figura 4.37: Apli a iones del Teorema de Taylor

Sin embargo, esta versatilidad tambin tiene un oste: es muy exigente. Para al ular el
polinomio de Taylor

pn (x), y(x)

debe ser derivable hasta orden

(n
en serie de poten ias, debe existir y (x)

n N.

n.

Y qu podemos ha er si nos en ontramos on una fun in

Y para desarrollar

y(x)

y(x)

que ni siquiera es

ontinua?.
Existen varias teoras matemti as que pueden apli arse en estos asos. Una de ellas,
las Series de Fourier, las estudiaremos ms adelante, pero an hay que trabajar mu ho para
entender de qu se trata.

4.10. El Teorema del punto jo

En el apartado 2.8.2, hablamos de un importante teorema, llamado Teorema del punto
jo, que nos permite asegurar la existen ia de solu in para la e ua in:

x = y(x)

(4.4)

Y por qu es interesante una solu in de la e ua in (4.4)?. Pues resulta que mu has

e ua iones del tipo

g(x) = 0
E.U.P. San Sebastin

(4.5)

Departamento de Matemti a Apli ada

158

CAPTULO 4.

ESTUDIO LOCAL DE UNA FUNCIN

se pueden es ribir de la forma (4.4). Enton es, resolviendo (4.4) en ontramos una solu in
de (4.5).
Veamos un ejemplo: Supongamos que debemos resolver la e ua in:
en este aso, tenemos la e ua in de la forma (4.5), siendo

x3 + 4x2 10 = 0;

g(x) = x3 + 4x2 10

(4.6)

Ahora veamos varias formas de de es ribir (4.6) de la forma (4.4):

1

1.

4x2 = 10 x3 x = 12 (10 x3 ) 2

2.

x = x + x3 + 4x2 10

1
2
10
x=
4+x

3.

x=x

4.

x3 + 4x2 10
3x2 + 8x

La solu in de ualquiera de los asos nos propor iona la solu in de (4.6). Vamos a dar el
enun iado ompleto del Teorema del punto jo:

Teorema 4.5

x = y(x)

Si

y(x)

[a, b], y
[a, b]

es ontinua en

adems

tiene al menos una solu in en

y(x) [a, b],

enton es la e ua in

b
x

y = x
1

a
a
x

x
1

Figura 4.38: Dos puntos jos

En el ejemplo de la gura 4.38,

puntos jos

x1 , x2 :

x1 = y(x1 ),

x [a, b]

se umple

y(x) [a, b].

Adems existen dos

x2 = y(x2 )

Y undo podemos asegurar que el punto jo es ni o?. El Teorema del punto jo nos
da las ondi iones su ientes para que esto o urra:

Si existe

(a, b),
y

y (x)

en

(a, b)

y existe una onstante

enton es el punto jo en

[a, b]

es ni o.

tal que

0<k<1

on

|y (x)| k

ontinuando on el teorema 4.5

Departamento de Matemti a Apli ada

E.U.P. San Sebastin

4.10.

159

EL TEOREMA DEL PUNTO FIJO

Demostra in de la existen ia:

Si

y(a) = a

y(b) = b, enton es y(x) tiene un punto jo en uno de sus extremos. Si

y(x) [a, b], se tiene y(a) > a, y(b) < b. Ahora onstruimos la fun in
h(x) = y(x) x.
o

no es as, omo
auxiliar

Apli amos el Teorema de Bolzano a

h(x)

es ontinua en

[a, b]

h(a) = y(a) a > 0,

Por tanto existe

al serlo

h(x),

viendo que se umplen las hiptesis:

y(x)

h(b) = y(b) b < 0

z (a, b)

tal que

h(z) = 0 y(z) = z

Demostra in de la uni idad:

Supongamos que existen dos puntos jos
del valor medio:

z [x1 , x2 ] | y (z) =

y(x2 ) y(x1 )
;
x2 x1

x1 , x2 [a, b]

on

x1 6= x2 . Segn

el Teorema

por tanto:

|x2 x1 | = |y(x2 ) y(x1 )| = |y (z)| |x2 x1 | k|x2 x1 | < |x2 x1 |

lo ual es una ontradi in. Esta ontradi in se debe a que hemos supuesto que

x2 6= x1 ,

por tanto el punto jo es ni o.

En la pr ti a, una vez que omprobamos la existen ia y uni idad de la solu in para la

x = y(x), onstruimos la su esin:

xn = y(xn1 ) para n 1, tomando omo punto ini ial un valor x0 [a, b]. Mediante
este pro eso iterativo, el punto xn se obtiene a partir del anterior xn1 (ver la gr a 4.39).
mn xn = z .
Enton es, xn onverge ha ia el ni o punto jo z [a, b]; es de ir l

e ua in

y (x )

y = x

x 1 x 3z x 2 x
0

Figura 4.39: Pro eso iterativo

Ejer i io 4.14

Construir un algoritmo para aproximar el valor de

A,

empleando la e ua-

in

1
x=
2

A
x+
x

E.U.P. San Sebastin

Departamento de Matemti a Apli ada

160

CAPTULO 4.

ESTUDIO LOCAL DE UNA FUNCIN

utilizar el Teorema del punto jo para analizar la existen ia y uni idad de la solu in. Apli ar
el pro edimiento para aproximar

3.5.

4.11. Evalua in numri a de la derivada: a ota in del error

ometido
En el apartado 3.13.9.1, hablamos de tres expresiones on las que al ular de forma
aproximada

y (a):

y (a)

y(a + h) y(a)
h

(Progresiva)

y (a)

y(a h) y(a)
h

(Regresiva)

y (a)

y(a + h) y(a h)
2h

(Central)

Pues bien, utilizando el Teorema de Taylor podemos a otar el error que ometemos al
utilizar ada una de ellas. Vemoslo para la progresiva:

y (a)

y(a + h) y(a)
y(a + h) y(a) + hy (a)
h

as pues, se trata de la aproxima in de Taylor para

n = 1:

1
y(a + h) y(a) h
z (a, a+h) | y(a+h) = y(a)+y (a)h+ y (z)h2 y (a) =
+ y (z)
2
h
2
luego

|ERROR| =
donde

|h|
|h|
|y (z)|
k
2
2

es una ota de

y (x)

en

[a, a + h].

Veamos un ejemplo. Cal ular aproximadamente

siendo

y (0.6)

y a otar el error ometido,

y(x) = cos(x).

y (0.6)

cos(0 + 0.6) cos(0)

0.6

cos(0.6) 1
0.6



 h  h
0.6
|ERROR| =  y (z) =
= 0.3
2
2
2

Ejer i io 4.15

A otar el error que se omete al utilizar las diferen ias regresiva y entral,

empleando el Teorema de Taylor.

Departamento de Matemti a Apli ada

E.U.P. San Sebastin