Concavidad y puntos de inflexin

La segunda derivada de una funcin tambin proporciona informacin sobre

el comportamiento de sta. Para iniciar este estudio daremos la siguiente:

Definicin de concavidad
Se dice que la grfica de una funcin f es cncava hacia arriba en un
intervalo A, , si es creciente sobre A. Si es decreciente
sobre A entonces se dice que la grfica de f es cncava hacia abajo.

Note que es la funcin derivada la que debe ser creciente o decreciente en

el intervalo A.

En la siguiente representacin grfica, una funcin f es cncava hacia arriba

en el intervalo y cncava hacia abajo en el intervalo

Teorema 5

Si f es una funcin tal que cuando , entonces la grfica

de f es cncava hacia arriba sobre .

Demostracin:
 Si y como , entonces se tiene que es
creciente sobre por lo que de acuerdo con la definicin de concavidad
de una funcin, se obtiene que f es cncava hacia arriba sobre .

Teorema 6

Si f es una funcin tal que cuando , entonces la grfica

de f es cncava hacia abajo sobre .

Demostracin:

De la hiptesis: , y como , se obtiene que es

decreciente sobre por lo que segn la definicin dada sobre concavidad,
la grfica de la funcin f es cncava hacia abajo sobre .

Ejemplifiquemos los dos teoremas anteriores utilizando la funcin f con

ecuacin

Si entonces , y,

Luego, si y, si .

Como , entonces es creciente en los

intervalos , pues en ellos es positiva. Adems es
decreciente en el intervalo pues en el es negativa.

Luego, f es cncava hacia arriba en el intervalo y cncava

hacia abajo en el intervalo .

La representacin grfica de la funcin es la siguiente:

 Representacin grfica de la funcin

Observe que es creciente en y y decreciente en .

Representacin grfica de la funcin f:

Representacin grfica de la funcin f

Note que f es cncava hacia arriba en los intervalos y cncava

hacia abajo en el intervalo .
Damos ahora la definicin de punto de inflexin

Definicin

Se dice que es un punto de inflexin de la grfica de una funcin f,

si existe un intervalo tal que , y la grfica de f es cncava hacia
arriba sobre , y cncava hacia abajo sobre , o viceversa.

Podemos representar lo anterior en forma grfica como sigue:

Ejemplos:
1.
El punto es un punto de inflexin de la curva con
ecuacin , pues es positiva si , y negativa
si , de donde f es cncava hacia arriba para , y cncava hacia
abajo para .

Grficamente se tiene:
2.
Determinemos los puntos de inflexin de la funcin f con ecuacin

Se tiene que por lo que

Resolvamos las desigualdades

Como si entonces la grfica de f es

cncava hacia arriba en esos intervalos.

La grfica de f es cncava hacia abajo en el intervalo pues en

l .
Luego los puntos y son puntos en los que cambia la
concavidad y por tanto son puntos de inflexin.

La grfica de la funcin f es la siguiente:

Puede decirse que un punto de inflexin separa una parte de la curva

que es cncava hacia arriba de otra seccin de la misma que es cncava
hacia abajo.

En un punto de inflexin, la tangente a la curva recibe el nombre

de tangente de inflexin. Grficamente:

Observe que una parte de la curva queda sobre la tangente de inflexin,

y otra parte bajo ella.
 Teorema 7

Si es un punto de inflexin de la grfica de f y si existe,

entonces

Demostracin: Al final del captulo.

Ejemplo:

Considere la funcin f con ecuacin .

La segunda derivada de f es .

Note que si , y, si

Luego, f es cncava hacia arriba para , y cncava hacia abajo

para

Se tiene entonces que es un punto de inflexin.

Evaluando la segunda derivada de f en resulta que con lo

que se verifica lo expresado en el teorema anterior.

En el siguiente teorema se dan las condiciones para que un punto sea punto de
inflexin.

Teorema 8
Si:

i.
f es una funcin continua sobre un intervalo I,
ii.
es un punto interior de I tal que , existe, y
iii.
Si existe un intervalo con , tal que:
 1. cuando y cuando , entonces
es un punto de inflexin de la grfica de f.
2. cuando y cuando , entonces
es un punto de inflexin de la grfica de f.
3. cuando y cuando ,o
bien, cuando y cuando
entonces no es un punto de inflexin de la grfica de f.

Demostracin: Es similar a la dada para el Teorema 4,

sustituyendo f por ,y por .

Ejemplos:

1. Sea f una funcin con ecuacin con . Note

quef es una funcin continua en todo su dominio por ser una funcin
polinomial. La segunda derivada de f es , que es igual a
cero si y solo si .

As

Observemos la solucin de las desigualdades ,y por

medio de la siguiente tabla:

2. Como para y para

entonces es un punto de inflexin segn el punto l del
 Teorema 8.

De acuerdo con el punto 2 de ese mismo teorema, como

para y para , entonces es un punto
de inflexin.
3. Consideraremos ahora la funcin g con ecuacin:

, con

Como se tiene que nunca se hace cero y que no

existe.

Adems es mayor que cero para , por lo que f siempre es

cncava hacia arriba en su dominio, y por lo tanto no es punto
de inflexin.

Concavidad

Definicin

Derivada segunda

Se llama derivada segunda de una funcin f(x) a la derivada de la derivada de

dicha funcin.
Notacin: f''(x).
Este concepto se puede extender a la derivada n-sima de una funcin.

Definicin

Ecuacin de la recta tangente a una funcin f en x=a

La ecuacin de una recta que pasa por el punto (a,f(a)) es y = m(x-a) + f(a),
siendo m la tangente del ngulo que forma la recta con el eje ox.
Para obtener la ecuacin de la recta tangente a f en x=a, m debe ser f'(a).

Ecuacin de la tangente: y = f'(a)(x-a) + f(a)

Nota: en las siguientes definiciones y teoremas, utilizaremos el concepto de
entorno de a (Ea) y entorno reducido de a (E*a). Para ver las definiciones, visitar la
pgina sobre lmite finito.

Definicin

Concavidad

f presenta concavidad positiva en x=a si existe un E*a / para todo x perteneciente al

E*a f(x) > f'(a)(x-a) + f(a).

La funcin presenta concavidad positiva en el punto a si, en

un entorno reducido de a, la grfica de f est "por encima"
de la recta tangente a f(x) en el punto a.

f presenta concavidad negativa en x=a si existe un E*a / para todo x perteneciente

al E*a f(x) < f'(a)(x-a) + f(a).

La funcin presenta concavidad negativa en el punto a si,

en un entorno reducido de a, la grfica de f est "por
debajo" de la recta tangente a f(x) en el punto a.

Definicin

Punto de inflexin

f presenta un punto de inflexin en x=a si existe > 0 / para todo x perteneciente

a (a - ,a) f(x) > f'(a)(x-a) + f(a) y para todo x perteneciente a (a,a + ) f(x) <
f'(a)(x-a) + f(a) (o viceversa: f menor a la izquierda y mayor a la derecha).
 En el semientorno izquierdo de a, f est por encima de la
tangente a f(x) en a, y en el semientorno derecho de a, f
est por debajo de la tangente.

En el semientorno izquierdo de a, f est por debajo de la

tangente a f(x) en a, y en el semientorno derecho de a, f
est por encima de la tangente.

Teorema

Condicin suficiente para la existencia de concavidad positiva

Si la derivada segunda de una funcin f(x) es positiva en el punto a, entonces tiene

concavidad positiva en dicho punto.

H) f''(a)>0
T) f tiene concavidad positiva en x=a

Demostracin:

Existe f''(a) => existe f'(a) => (teorema) f es continua en x=a.

Sea g(x) = f(x) - f'(a)(x - a) - f(a)

g'(x) = f'(x) - f'(a)

g''(x) = f''(x)
g''(a) = f''(a) > 0 => por Cond. suf. para el crecimiento puntual g'(x) es creciente
en x=a
=> por def. de crecimiento puntual existe >0 / para todo x1 perteneciente a (a -
,a) g'(x) < g'(a) = 0 y para todo x2perteneciente a (a, a + ) g'(x) > g'(a) = 0

signo de g'(x):
 - 0 +
-------|-------
a

=> por Cond. suf. para la existencia de mnimo relativo g presenta un mnimo
relativo en x=a.
=> por def. de mnimo relativo existe un E*a / para todo x perteneciente al E*a g(x)
> g(a) = 0.
f(x) - f'(a)(x - a) - f(a) > 0
f(x) > f'(a)(x - a) + f(a) => por definicin f tiene concavidad positiva en x=a.

Teorema

Condicin suficiente para la existencia de concavidad negativa

Si la derivada segunda de una funcin f(x) es negativa en el punto a, entonces

tiene concavidad negativa en dicho punto.

H) f''(a) < 0
T) f tiene concavidad negativa en x=a

La demostracin es anloga a la anterior.

Teorema

Condicin suficiente para la existencia de puntos de inflexin

H) La derivada segunda de f(x) es negativa en un semientorno del punto a y

positiva en el otro semientorno

T) f presenta un punto de inflexin en x=a

Demostracin:

Sea g(x) = f(x) - f'(a)(x - a) - f(a)

g es derivable y continua en x=a.

g'(x) = f'(x) - f'(a)
g'(a) = 0
g''(x) = f''(x) =>

signo de g''(x):

- +
-------|-------
a

=> por cond. suf. para la existencia de mnimo relativo g' presenta un mnimo
relativo en a

=> por def. de mnimo relativo, existe un E*a / para todo x perteneciente al
E*a g'(x) > g'(a) = 0

signo de g'(x):

+ 0 +
-------|-------
a

=> g es creciente en a

La tangente a g en x=a es horizontal, pero igual g es creciente. La grfica de g

cerca de a es algo como

por def. de crecimiento puntual, existe > 0 / para todo x perteneciente a (a -

,a) g(x) < g(a) = 0
=> f(x) - f'(a)(x-a) - f(a) < 0 => f(x) < f'(a)(x-a) + f(a)

y para todo x perteneciente a (a,a + ) g(x) > g(a) = 0

=> f(x) - f'(a)(x-a) - f(a) > 0 => f(x) > f'(a)(x-a) + f(a)

por definicin, f presenta un punto de inflexin en x=a.

Ejemplo

f(x) = x3
f'(x) = 3x2
f''(x) = 6x

- 0 +
sg f'' ----|---->
0
f presenta un punto de inflexin en x=0

Teorema

H) f''(x) > 0 para todo x perteneciente a [a,b]

T) Para todo x perteneciente a (a,b) f(x) < ((f(b) - f(a))/(b - a))(x - a) + f(a)

Si una funcin tiene concavidad positiva en un intervalo cerrado [a,b], entonces la

grfica de la funcin en dicho intervalo est por debajo de la recta que pasa por los
puntos (a,f(a)) y (b,f(b)).

Demostracin:

f''(x) > 0 para todo x perteneciente a [a,b] => por cond. suf. para el crecimiento
en un intervalo f' es creciente en [a,b]

Sea x perteneciente a [a,b].

En [a,x] f es derivable => (teorema) f es continua => por teo. de Lagrange existe
c perteneciente a (a,x) /f'(c) = (f(x) - f(a))/(x-a)

En [x,b] f es derivable => (teorema) f es continua => por teo. de Lagrange existe
d perteneciente a (x,b) /f'(d) = (f(b) - f(x))/(b-x)

a < c < x y x < d < b => c < d => f'(c) < f'(d) pues f' es creciente en [a,b]

f(x) - f(a) f(b) - f(x)

=> ----------- < -----------
 x - a b - x
(b-x)(f(x) - f(a)) < (x-a)(f(b) - f(x))
f(x)(b - x + x - a) < (x - a)f(b) + f(a)(b - x)
(b - a)f(x) < xf(b) - af(b) + bf(a) - xf(a) + af(a) - af(a)
(b - a)f(x) < (f(b) - f(a))(x - a) + f(a)(b - a)

f(b) - f(a)
f(x) < -----------(x - a) + f(a)
b - a

Teorema

H) f''(x) < 0 para todo x perteneciente a [a,b]

T) f(x) > ((f(b) - f(a))/(b - a))(x - a) + f(a)

Si una funcin tiene concavidad negativa en un intervalo cerrado [a,b], entonces la

grfica de la funcin en dicho intervalo est por encima de la recta que pasa por los
puntos (a,f(a)) y (b,f(b)).

Demostracin anloga a la anterior.

Teorema

H) f''(x) > 0 para todo x perteneciente a [a,b]

c pertenece a (a,b)
T) f(x) > f'(c)(x-c) + f(c) para todo x perteneciente a (a,b)
Los valores de f son mayores que las correspondientes ordenadas de la recta
tangente a la curva f(x) en cualquier punto c del intervalo (a,b).

Demostracin:

f''(x)>0 para todo x perteneciente a [a,b] => por Cond. suficiente para el
crecimiento en un intervalo, f' es creciente en [a,b] => f' es creciente en [a,c] (1)

Sea x perteneciente a [a,c].

f es derivable en [a,x] => por teo. de Lagrange existe d perteneciente a (a,x)

/ f'(d) = (f(x) - f(a))/(x - a)

f es derivable en [x,c] => por teo. de Lagrange existe e perteneciente a (x,c) / f'(e)
= (f(c) - f(x))/(c - x)

a < d < x < e < c => d < e => por (1) f'(d) < f'(e)

f(x) - f(a) f(c) - f(x)

=> ---------- < -----------
x - a c - x
f(x)c - f(x)c - f(a)c + f(a)x < f(c)x - f(c)a - f(x)x + f(x)a
f(x)(c - a) < f(c)x - af(c) - f(a)x + f(a)c + af(a) - af(a)
f(x)(c - a) < (f(c) - f(a))(x - a) + f(a)(c - a)

f(c) - f(a)
Divido entre c - a: f(x) < ----------(x - a) + f(a)
c - a

Teorema

H) f continua en [a,b]
f es derivable en (a,b)
f'(x) distinto de 0 para todo x perteneciente a (a,b)
T) f es montona en [a,b]

Demostracin:
f continua en [a,b].
f es derivable en (a,b).
Si f(a)=f(b)

=> por teo. de Rolle existe c perteneciente a (a,b) / f'(c)=0.

Absurdo => f(a)f(b)

Si f(a) < f(b):

Sea x1 perteneciente a (a,b).

Supongamos f(a) > f(x1) (1)

Considero [x1,b].

f es continua en [x1,b]
f(x1) < f(a) < f(b)

=> por la propiedad de Darboux existe x2 perteneciente a (x1,b) / f(x2) = f(a)

Considero [a,x2]

f continua y derivable en (a,x2)

f(a) = f(x2)

=> por teo. de Rolle existe x3 perteneciente a (a,x2) / f'(x3) = 0. Absurdo que
proviene de (1).

=> Para todo x perteneciente a (a,b) f(a) < f(x)

Sea x4 perteneciente a (a,b)

Supongamos f(x4) > f(b) (2)

f es continua en [a,x4]
f(x4) > f(b) > f(a)

=> por la propiedad de Darboux existe x5 perteneciente a (a,x4) / f(x5) = f(b)

f continua y derivable en [x5,b]

f(x5) = f(b)

=> por teo. de Rolle existe x6 perteneciente a (x5,b) / f'(x6) = 0. Absurdo de (2).

=> Para todo x perteneciente a (a,b) f(b) > f(x)

=> Para todo x perteneciente a (a,b) f(a) < f(x) < f(b)
Sean x7 y x8 pertenecientes a (a,b)
x7 < x8.
Supongamos f(x7) > f(x8) (3)

f(a) < f(x8) < f(x7)

f continua en [a,x7]

=> por la propiedad de Darboux existe x9 perteneciente a (a,x7) / f(x9) = f(x8)

f continua y derivable en [x9,x8]

f(x9) = f(x8)

=> por teo. de Rolle existe x10 perteneciente a (x9,x8) / f'(x10) = 0. Absurdo de (3).

=> Para todo x y para todo z pertenecientes a (a,b) f(x) < f(z)

=> por def. de funcin montona creciente en un intervalo f es montona creciente

en [a,b]

(Si suponemos f(a) > f(b) se demuestra que f es montona decreciente en [a,b].)

Existencia y continuidad de la funcin

inversa
Sea f una funcin que asocia a un punto x de su dominio la imagen y=f(x).
Supongamos que f es tal que diferentes x son transformados siempre en diferentes
y. As, cada y en el rango de f es la imagen de a lo ms un valor x. Puede asociarse
con cada y en el rango de f el valor x que es su preimagen. De esta manera, se
define una funcin g cuyo dominio es el rango de f y que al aplicarse a una imagen
y=f(x), reproduce el valor original x, esto es, g(f(x))=x.
g se denomina la inversa de f y se denota f-1. Esta funcin g se halla al despejar la
x en funcin de y.
f tambin es la inversa de g, de modo que tambin f(g(y))=y.

Si la funcin g se representa de la manera usual, como funcin de x, por y=g(x),

entonces la grfica de y=g(x) es simtrica de la grfica de y=f(x) con respecto a la
recta y=x.

Ejemplo:

y=f(x)=ex

Despejando x en funcin de y: x = Ly
Por lo tanto, f-1(y) = Ly
Expresando f-1 en funcin de x: f-1(x) = Lx

La grfica de f(x) es simtrica de la grfica de f-

(x) con respecto a la recta y=x.
1

Para que exista la inversa de una funcin f, f debe ser biyectiva.

Revisaremos las definiciones de funcin inyectiva, biyectiva y sobreyectiva:

Inyectiva: a cada elemento del dominio le corresponde slo un elemento del

codominio, pero pueden existir elementos del codominio que no tengan
correspondiente en el dominio.

Biyectiva o biunvoca o "uno a uno": a cada elemento del dominio le

corresponde un slo elemento del codominio y a cada elemento del codominio le
corresponde un slo elemento del dominio.
Sobreyectiva: a cada elemento del dominio le corresponde un slo elemento del
codominio y a cada elemento del codominio le corresponde por lo menos un
elemento del dominio.

Es condicin necesaria y suficiente para que la inversa de una funcin f sea otra
funcin que f sea biyectiva.

f-1 es una funcin <=> f es biyectiva

Demostraremos a continuacin que, si una funcin f es continua y montona en un

intervalo [a,b], entonces existe la inversa en [f(a),f(b)], y es tambin montona y
continua.

Teorema

H) f continua en [a,b]
f creciente o decreciente en [a,b]
T) El recorrido de f en [a,b] es [f(a),f(b)]
Existe f-1 en [f(a),f(b)]
f-1 es creciente o decreciente
f-1 es continua en [f(a),f(b)]

Demostracin:

Supongamos f creciente en [a,b]

1. Sea x perteneciente a [a,b] => a <= x <= b => f(a) <= f(x) <= f(b) pues f
es creciente => f(x) pertenece a [f(a),f(b)]

Sea z perteneciente a [f(a),f(b)] =>

 f(a) <= z <= f(b)
f continua en [a,b]

=> De 1) y 2) por la propiedad de Darboux existe c perteneciente a (a,b) /

f(c)=z.

2. Debemos probar que f es biyectiva.

Sean x1 y x2 pertenecientes a [a,b], x1 < x2

=> f(x1) < f(x2) pues f es creciente en [a,b] => f no es sobreyectiva.

De 1) para todo z perteneciente a [f(a),f(b)] existe x0 perteneciente a (a,b)

/ f(x0)=z => f no es inyectiva => f es biyectiva.

3. Sean z1 y z2 pertenecientes a [f(a),f(b)], z1 < z2.

Supongo f-1(z1) > f-1(z2) => como f es creciente f(f-1(z1)) > f(f-1(z2)) o
sea z1 > z2. Absurdo.

Supongo f-1(z1) = f-1(z2) => f(f-1(z1)) = f(f-1(z2)) o sea z1 = z2. Absurdo.

=> f-1(z1) < f-1(z2) => f-1 es creciente.

(Si f es decreciente, f-1 es decreciente.)

4. Sea z0 perteneciente a (f(a),f(b)) => por 2) existe f-1(z0) y f-1(z0) pertenece

a (a,b). Existe un Ef-1(z0) contenido en [a,b]

a < f-1(z0) - < f-1(z0) < f-1(z0) + < b

Aplico f: f(a) < f[f-1(z0) - ] < z0 < f[f-1(z0) + ] < f(b)

f(a) < k < z0 < k' < f(b)

[k,k'] = Ez0
Para todo x / k < x < k' f-1(x) pertenece a un Ef-1(z0),

=> para todo z0 perteneciente a (f(a),f(b)) limx->z0 f-1(x) = f-1(z0)