Extremos de una funci�n

Ir a la navegaci�nIr a la b�squeda

Extremos de una funci�n.

En matem�ticas, los m�ximos y m�nimos de una funci�n, conocidos colectivamente como
extremos de una funci�n, son los valores m�s grandes (m�ximos) o m�s peque�os
(m�nimos), que toma una funci�n en un punto situado ya sea dentro de una regi�n en
particular de la curva (extremo local) o en el dominio de la funci�n en su
totalidad (extremo global o absoluto).1?2?3? De manera m�s general, los m�ximos y
m�nimos de un conjunto (como se define en teor�a de conjuntos) son los elementos
mayor y menor en el conjunto, cuando existen. El localizar valores extremos es el
objetivo b�sico de la optimizaci�n matem�tica.

�ndice
1 Extremos relativos o locales
2 Extremos absolutos o globales
3 C�lculo de extremos locales
3.1 Funciones diferenciables de una variable
3.2 Ejemplo
3.3 Funciones diferenciables de n variables
4 Extremos condicionados
5 V�ase tambi�n
6 Referencias
Extremos relativos o locales
Sea {\displaystyle f:A\subset \mathbb {R} ^{n}\longrightarrow \mathbb {R} }
{\displaystyle f:A\subset \mathbb {R} ^{n}\longrightarrow \mathbb {R} }, sea
{\displaystyle x_{0}\in A} {\displaystyle x_{0}\in A} y sea {\displaystyle P=\,
(x_{0},f(x_{0}))} {\displaystyle P=\,(x_{0},f(x_{0}))} un punto perteneciente a la
gr�fica de la funci�n.

Se dice que {\displaystyle P} P es un m�ximo local de {\displaystyle f} f si existe

un entorno reducido de centro {\displaystyle x_{0}} x_{0}, en s�mbolos
{\displaystyle {E'(x_{0})}} {\displaystyle {E'(x_{0})}}, donde para todo elemento
{\displaystyle x} x de {\displaystyle E'(x_{0})\subset A} {\displaystyle
E'(x_{0})\subset A} se cumple {\displaystyle f(x)\leq f(x_{0})} {\displaystyle
f(x)\leq f(x_{0})}. Para que esta propiedad posea sentido estricto debe cumplirse
{\displaystyle f(x)<f(x_{0})} {\displaystyle f(x)<f(x_{0})}.

An�logamente se dice que el punto {\displaystyle P} P es un m�nimo local de

{\displaystyle f} f si existe un entorno reducido de centro {\displaystyle x_{0}}
x_{0}, en s�mbolos {\displaystyle {E'(x_{0})}} {\displaystyle {E'(x_{0})}}, donde
para todo elemento {\displaystyle x} x de {\displaystyle {E'(x_{0})}}
{\displaystyle {E'(x_{0})}} se cumple {\displaystyle f(x)\geq f(x_{0})}
{\displaystyle f(x)\geq f(x_{0})}.

Extremos absolutos o globales

Sea {\displaystyle f:A\subset \mathbb {R} ^{n}\longmapsto \mathbb {R} }
{\displaystyle f:A\subset \mathbb {R} ^{n}\longmapsto \mathbb {R} }, sea
{\displaystyle x_{0}\in A} {\displaystyle x_{0}\in A} y sea {\displaystyle P=\,
(x_{0},f(x_{0}))} {\displaystyle P=\,(x_{0},f(x_{0}))} un punto perteneciente a la
gr�fica de la funci�n.

Se dice que P es un m�ximo absoluto de f si, para todo x distinto de {\displaystyle

x_{0}} x_{0} perteneciente al subconjunto A, su imagen es menor o igual que la de
{\displaystyle x_{0}} x_{0}. Esto es:

{\displaystyle P\,(x_{0},f(x_{0}))} {\displaystyle P\,(x_{0},f(x_{0}))} m�ximo

absoluto de {\displaystyle f\iff \forall x\neq x_{0},x\in A,f(x_{0})\geq f(x)}
{\displaystyle f\iff \forall x\neq x_{0},x\in A,f(x_{0})\geq f(x)}.

An�logamente, P es un m�nimo absoluto de f si, para todo x distinto de

{\displaystyle x_{0}} x_{0} perteneciente al subconjunto A, su imagen es mayor o
igual que la de {\displaystyle x_{0}} x_{0}. Esto es:

{\displaystyle P\,(x_{0},f(x_{0}))} {\displaystyle P\,(x_{0},f(x_{0}))} m�nimo

absoluto de {\displaystyle f\iff \forall x\neq x_{0},x\in A,f(x_{0})\leq f(x)}
{\displaystyle f\iff \forall x\neq x_{0},x\in A,f(x_{0})\leq f(x)}.

C�lculo de extremos locales

Funciones diferenciables de una variable
Dada una funci�n suficientemente diferenciable {\displaystyle f:A\subset \mathbb
{R} \longrightarrow \mathbb {R} } {\displaystyle f:A\subset \mathbb {R}
\longrightarrow \mathbb {R} }, definida en un intervalo abierto de
{\displaystyle \mathbb {R} } {\displaystyle \mathbb {R} }, el procedimiento para
hallar los extremos de esta funci�n es muy sencillo:

Se halla la primera derivada de {\displaystyle f\rightarrow f'(x)} {\displaystyle

f\rightarrow f'(x)}
Se halla la segunda derivada de {\displaystyle f\rightarrow f''(x)} {\displaystyle
f\rightarrow f''(x)}
Se iguala la primera derivada a 0: {\displaystyle f'(x)=0\,} {\displaystyle
f'(x)=0\,}
Se despeja la variable independiente y se obtienen todos los valores posibles de la
misma: {\displaystyle X={\big \{}x_{1},x_{2},...,x_{n}|f'(x_{i})=0\quad \forall
i=1,2,...,n{\big \}}} {\displaystyle X={\big \{}x_{1},x_{2},...,x_{n}|
f'(x_{i})=0\quad \forall i=1,2,...,n{\big \}}}.
Se halla la imagen de cada {\displaystyle x_{i}\,} {\displaystyle
x_{i}\,}sustituyendo la variable independiente en la funci�n.
Ahora, en la segunda derivada, se sustituye cada {\displaystyle x_{i}\,}
{\displaystyle x_{i}\,}:
Si {\displaystyle f''(x_{i})<0\,} {\displaystyle f''(x_{i})<0\,}, se tiene un
m�ximo en el punto {\displaystyle M(x_{i},f(x_{i}))\,} {\displaystyle
M(x_{i},f(x_{i}))\,}.
Si {\displaystyle f''(x_{i})>0\,} {\displaystyle f''(x_{i})>0\,}, se tiene un
m�nimo en el punto {\displaystyle m(x_{i},f(x_{i}))\,} {\displaystyle
m(x_{i},f(x_{i}))\,}.
Si {\displaystyle f''(x_{i})=0\,} {\displaystyle f''(x_{i})=0\,}, debemos sustituir
{\displaystyle x_{i}\,} {\displaystyle x_{i}\,} en las sucesivas derivadas hasta
sea distinto de cero. Cuando se halle la derivada para la que {\displaystyle
x_{i}\,} {\displaystyle x_{i}\,} no sea nulo, hay que ver qu� derivada es:
Si el orden de la derivada es par, se trata de un extremo local; un m�ximo si
{\displaystyle f^{n}\,(x_{i})<0\,} {\displaystyle f^{n}\,(x_{i})<0\,} y un m�nimo
si {\displaystyle f^{n}\,(x_{i})>0\,} {\displaystyle f^{n}\,(x_{i})>0\,}
Si el orden de la derivada es impar, se trata de un punto de inflexi�n, pero no de
un extremo.
Ejemplo
Sea {\displaystyle f(x)=x^{3}-12x^{2}+45x-30\,} {\displaystyle f(x)=x^{3}-
12x^{2}+45x-30\,}. Hallar sus extremos locales y sus puntos de inflexi�n. Dada la
funci�n {\displaystyle f(x)=x^{3}-12x^{2}+45x-30\,} {\displaystyle f(x)=x^{3}-
12x^{2}+45x-30\,}, se tiene que:

{\displaystyle f'\,(x)=3x^{2}-24x+45} {\displaystyle f'\,(x)=3x^{2}-24x+45}

{\displaystyle f''\,(x)=6x-24} {\displaystyle f''\,(x)=6x-24}

{\displaystyle f'''\,(x)=6} {\displaystyle f'''\,(x)=6}

Extremos:
{\displaystyle f'\,(x)=3x^{2}-24x+45=0\iff x\in {\big \{}3,5{\big \}}}
{\displaystyle f'\,(x)=3x^{2}-24x+45=0\iff x\in {\big \{}3,5{\big \}}}

{\displaystyle f''\,(3)=6\cdot 3-24=-6<0\Rightarrow } {\displaystyle f''\,

(3)=6\cdot 3-24=-6<0\Rightarrow } existe un m�ximo en {\displaystyle M\,
(3,f(3))\rightarrow M\,(3,24)} {\displaystyle M\,(3,f(3))\rightarrow M\,(3,24)}.

{\displaystyle f''(5)=6\cdot 5-24=6>0\Rightarrow } {\displaystyle f''(5)=6\cdot 5-

24=6>0\Rightarrow } existe un m�nimo en {\displaystyle m\,(5,f(5))\rightarrow m\,
(5,20)} {\displaystyle m\,(5,f(5))\rightarrow m\,(5,20)}.

Puntos de inflexi�n
{\displaystyle f''(x)=6x-24=0\iff x=4} {\displaystyle f''(x)=6x-24=0\iff x=4}.

{\displaystyle f'''(4)=6\neq 0\Rightarrow } {\displaystyle f'''(4)=6\neq

0\Rightarrow } existe un punto de inflexi�n en {\displaystyle P\,
(4,f(4))\rightarrow P\,(4,22)} {\displaystyle P\,(4,f(4))\rightarrow P\,(4,22)}.

Funciones diferenciables de n variables

Dada una funci�n de n variables, un extremo requiere calcular el gradiente. Por
ejemplo la funci�n {\displaystyle f:\mathbb {R} ^{2}\to \mathbb {R} }
{\displaystyle f:\mathbb {R} ^{2}\to \mathbb {R} }, dada por {\displaystyle
(x,y)\mapsto f(x,y)=x^{2}-2ax+a^{2}+y^{2}} {\displaystyle (x,y)\mapsto
f(x,y)=x^{2}-2ax+a^{2}+y^{2}}, n�tese que la funci�n puede escribirse
equivalentemente como suma de dos funciones estrictamente positivas {\displaystyle
f(x,y)=(x-a)^{2}+y^{2}} {\displaystyle f(x,y)=(x-a)^{2}+y^{2}} minimizando los
t�rminos por separado es obvio que para {\displaystyle (x,y)=(a,0)} {\displaystyle
(x,y)=(a,0)} se tiene un m�nimo. El procedimiento est�ndar cuando los m�nimos no
son evidentes a simple vista consiste en calcular la matriz jacobiana (que en este
caso coincide con el gradiente):

{\displaystyle [{\text{D}}f(x,y)]=\left[{\frac {\partial f}{\partial x}},{\frac

{\partial f}{\partial y}}\right]=[2(x-a),2y]} {\displaystyle
[{\text{D}}f(x,y)]=\left[{\frac {\partial f}{\partial x}},{\frac {\partial f}
{\partial y}}\right]=[2(x-a),2y]}

Por lo tanto, para alcanzar un m�nimo se requerir�a {\displaystyle 2(x-a)=0,\ 2y=0}

{\displaystyle 2(x-a)=0,\ 2y=0}; es decir, precisamente la soluci�n {\displaystyle
x=a,\ y=0} {\displaystyle x=a,\ y=0}.

Extremos condicionados
Un problema de extremos condicionados consiste en buscar un extremo de una funci�n
no sobre cualquier punto de su dominio sino sobre un subconjunto del dominio de la
funci�n que puede expresarse como variedad diferenciable. M�s concretamente
consiste en encontrar un m�ximo (o un m�nimo) sujeto a la condici�n de que el punto
donde se produce pertenezca a un cierto conjunto:

{\displaystyle \max _{x\in S}f(x),\qquad \left(\min _{x\in S}f(x)\right);\qquad

{\mbox{con}}\ S:=\{x|g(x)=0\}\subset \mathbb {R} ^{n}} {\displaystyle \max _{x\in
S}f(x),\qquad \left(\min _{x\in S}f(x)\right);\qquad {\mbox{con}}\ S:=\{x|
g(x)=0\}\subset \mathbb {R} ^{n}}

Este tipo de problemas aparece en numerosas aplicaciones pr�cticas tanto en

ciencias f�sicas como incluso en econom�a. Para resolver este tipo de problemas se
usa el m�todo de los multiplicadores de Lagrange.

V�ase tambi�n
Punto critico
Punto frontererizo
Punto estacionario
Punto singular
Punto de inflexi�n
Extremos de una funci�n
Singularidad matem�tica
Clasificaci�n de discontinuidades
Criterio de la primera derivada
Criterio de la segunda derivada
Criterio de la tercera derivada
Criterio de la derivada de mayor orden
Punto de silla