Funciones

En este apartado se introduce el estudio del análisis funcional tanto con una como con varias variables independientes

Función escalar cóncava (convexa) en un punto

Descripción: 

 

Dada una función escalar \(f:A\subseteq { \Re  }^{ n } \longrightarrow \Re \) y dado el hiperplano  tangente a \(f \)en el punto \(a \in A \), \(t(x)=f(a)+\triangledown f(a)(x-a)\), decimos que f es cóncava en \(a\in A\), si \(\exists \varepsilon >0\) y \(\forall x\in \overset { o  }{ B } (a;\varepsilon ) \subseteq A\) se verifica \(f(x)\le t(x)\)

Dada una función escalar \(f:A\subseteq { \Re  }^{ n } \longrightarrow \Re \) y dado el hiperplano  tangente a \(f \)en el punto \(a \in A \), \(t(x)=f(a)+\triangledown f(a)(x-a)\), decimos que f es convexa en \(a\in A\), si \(\exists \varepsilon >0\) y \(\forall x\in \overset { o  }{ B } (a;\varepsilon ) \subseteq A\) se verifica \(f(x)\ge t(x)\)

Dada una función escalar \(f:A\subseteq { \Re  }^{ n } \longrightarrow \Re \) y dado el hiperplano  tangente a \(f \)en el punto \(a \in A \), \(t(x)=f(a)+\triangledown f(a)(x-a)\), decimos que f es estrictamente cóncava en \(a\in A\), si \(\exists \varepsilon >0\) y \(\forall x\in \overset { o  }{ B } (a;\varepsilon ) \subseteq A\) se verifica \(f(x)< t(x)\)

Dada una función escalar \(f:A\subseteq { \Re  }^{ n } \longrightarrow \Re \) y dado el hiperplano  tangente a \(f \)en el punto \(a \in A \), \(t(x)=f(a)+\triangledown f(a)(x-a)\), decimos que f es estrictamente convexa en \(a\in A\), si \(\exists \varepsilon >0\) y \(\forall x\in \overset { o  }{ B } (a;\varepsilon ) \subseteq A\)se verifica \(f(x)> t(x)\)

Descriptores: 
Funciones de varias variables
Descriptores: 
Funciones
Ejemplo: 

Dada la función escalar \(f:A\subseteq { \Re  }^{ 2 } \longrightarrow \Re \), definida por \(z=f(x,y)={ x }^{ 2 }+{ y }^{ 2 }+3\). probar que es convexa en \((0,0)\).

Se busca el plano tangente \(t(x,y)\)

\(f(0,0)=3\)

\(\triangledown f(x,y)=(2x,2y)\Rightarrow \triangledown f(0,0)=(0,0)\)

 \(t(x,y)=f(0,0)+ \triangledown f(0,0)·(x-0,y-0)=3+(0,0)·(x,y)=3\)

Se comparan \(f(x,y)\) y \(t(x,y)\) en un entorno de \((0,0)\)

\(f(x,y)-t(x,y)={ x }^{ 2 }+{ y }^{ 2 }+3-3={ x }^{ 2 }+{ y }^{ 2 }\ge 0\), la función es convexa.

Límites laterales en funciones reales de variable real

Descripción: 

Límite lateral por la derecha

Dada \(f\in \Phi =\left\{ f:A\subseteq \Re \longrightarrow \Re  \right\} \) una función real de variable real y dado\(a\in \Re\), decimos que el límite  de la función f en el punto \(a\in \Re \) por la derecha es el número \(L\in \Re \), que representamos por: \(\underset { x\rightarrow { a }^{ + } }{ limf(x) }=L\in \Re \) y que definimos por:

\(\underset { x\rightarrow { a }^{ + } }{ limf(x) } =L\in \Re \Leftrightarrow \left\{ \forall \varepsilon >0,\quad \exists \delta >0/\forall x\in A,\quad x>a \quad d(x,a)<\delta \Rightarrow d(f(x), L)<\varepsilon  \right\} \)

Límite lateral por la izquierda

Dada \(f\in \Phi =\left\{ f:A\subseteq \Re \longrightarrow \Re  \right\} \) una función real de variable real y dado\(a\in \Re\), decimos que el límite de la función f en el punto \(a\in \Re \) por la izquierda es el número \(L\in \Re \), que representamos por: \(\underset { x\rightarrow { a }^{ - } }{ limf(x) }=L\in \Re \) y que definimos por:

\(\underset { x\rightarrow { a }^{ - } }{ limf(x) } =L\in \Re \Leftrightarrow \left\{ \forall \varepsilon >0,\quad \exists \delta >0/\forall x\in A,\quad x<a \quad d(x,a)<\delta \Rightarrow d(f(x), L)<\varepsilon  \right\} \)

Descriptores: 
Límite
Descriptores: 
Funciones reales de una variable
Descriptores: 
Funciones
Ejemplo: 

Dada la función real de variable real definida por  \(f(x)= 2x+1\quad si\quad x\ge 1\quad  y\quad f(x)= { x }^{ 2 }+2\quad si\quad x<1 \). Calcular los límites laterales en el punto \(a=1\).

Límite lateral por la derecha

\(\underset { x\rightarrow { 1 }^{ + } }{ limf(x) } =\underset { x\rightarrow { 1 }^{ + } }{ lim(2x+1) }=\underset { x\rightarrow { 1 } }{ lim(2x+1) }=2·1+1=3\)

Límite lateral por la izquierda

\(\underset { x\rightarrow { 1 }^{ - } }{ limf(x) } =\underset { x\rightarrow { 1 }^{ - } }{ lim({ x }^{ 2 }+2) }=\underset { x\rightarrow { 1 } }{ lim({ x }^{ 2 }+2) }={ 1 }^{ 2 }+2=3\)

 

 

Función escalar cóncava (convexa) en un conjunto

Descripción: 

Dada una función escalar \(f:{ A\subseteq \Re  }^{ n }\longrightarrow \Re \), siendo su dominio  A un conjunto convexo, decimos:

a. f es una función cóncava en A, si se cumple que  \( f(\lambda x+(1-\lambda )y)\ge \lambda f(x)+(1-\lambda )f(y)\) \(\quad \forall x,y\in A\) y \( \forall \lambda \in \left[ 0,1 \right]\)

b. f es una función convexa en A, si se cumple que \( f(\lambda x+(1-\lambda )y) \le \lambda f(x)+(1-\lambda )f(y)\)\(\quad \forall x,y\in A\) y \(\forall \lambda \in \left[ 0,1 \right]\)

Descriptores: 
Funciones de varias variables
Descriptores: 
Funciones

Punto crítico de una función real de variable real

Descripción: 

Dada una función real de variable real, \(f:{ A\subseteq \Re  }\longrightarrow \Re \), diferenciable (derivable), siendo \(A\) un conjunto abierto de \({ \Re  }\), decimos que \(a\in A\) es un punto crítico de \(f\) si cumple \( f'(a)=0\), es decir, la derivada de \(f\) en el punto \(a\in A\) se anula.

Descriptores: 
Óptimos
Descriptores: 
Funciones reales de una variable
Descriptores: 
Funciones
Ejemplo: 

Dada la función real de variable real, \(f:{ A\subseteq \Re  }\longrightarrow \Re \), definida por \(y=f(x)=2x^2-3\). Ver que tiene un punto crítico en \(a=0\)

Calculamos la función derivada de \(f\) y su valor en \(a=0\)

\(y'=f'(x)=2x\Rightarrow f'(0)=2·0=0\)

El punto \(a=0\) es un punto crítico

Punto crítico de una función escalar

Descripción: 

Dada una función escalar, \(f:{ A\subseteq \Re  }^{ n }\longrightarrow \Re \), diferenciable, siendo \(A\) un conjunto abierto de \({ \Re  }^{ n }\), decimos que \(a\in A\) es un punto crítico de \(f\) si cumple \(\triangledown f(a)=0\), es decir, el vector gradiente de \( f\) en el punto \(a\in A\) se anula.

Descriptores: 
Óptimos
Descriptores: 
Funciones de varias variables
Descriptores: 
Funciones

Máximo (mínimo) local de una función escalar

Descripción: 

Dada una función escalar \(f:{ A\subseteq \Re  }^{ n }\longrightarrow \Re \) y dado \(a\in A\). Decimos que \(f\) presenta un máximo local o relativo en \(a\in A\) si \(\forall x\in B\subseteq A\), \(\beta \) entorno de \(a\in A\) se verifica \(f(x)\le f(a)\).

Dada una función escalar \(f:{ A\subseteq \Re  }^{ n }\longrightarrow \Re \) y dado \(a\in A\). Decimos que \(f\)presenta un mínimo local o relativo en  \(a\in A\) si \(\forall x\in B\subseteq A\), \(\beta \) entorno de \(a\in A\) se verifica\( f(x)\ge f(a)\).

Dada una función escalar \(f:{ A\subseteq \Re  }^{ n }\longrightarrow \Re \) y dado \(a\in A\). Decimos que\(f\) presenta un máximo local  estricto en  \(a\in A\) si \(\forall x\in B\subseteq A\), \(\beta \) entorno de \(a\in A\) se verifica\(f(x)<f(a)\).

Dada una función escalar \(f:{ A\subseteq \Re  }^{ n }\longrightarrow \Re \) y dado \(a\in A\). Decimos que \(f\) presenta un mínimo local estricto en  \(a\in A\) si \(\forall x\in B\subseteq A\), \(\beta \) entorno de \(a\in A\) se verifica \(f(x)>f(a)\)

Descriptores: 
Óptimos
Descriptores: 
Funciones de varias variables
Descriptores: 
Funciones
Ejemplo: 

 

Dada la función escalar \(f:{ A\subseteq \Re  }^{ 2 }\longrightarrow \Re \) definida por \(z=f(x,y)=x^2+y^2-2x-4y+5\). Probar que \(f\) presenta un mínimo local en \(a=(1,2)\in A\).

a. Calculamos la imagen de   \(a=(1,2)\in A ={\Re  }^{ 2 }\).

\(f(1,2)=1^2+2^2-2·1-4·2+5=0\)

b. Calculamos la imagen de  \((x,y)\in \beta \in { \zeta  }_{ (1,2) }\) siendo \( \beta \in { \zeta  }_{ (1,2) }\) un entorno del punto \((1,2)\), es decir: \(\beta =\left\{ (x,y)\in \Re ^{ 2 }/d((x,y),(1,2))<\varepsilon   \right\} \)

\(z=f(x,y)=x^2+y^2-2x-4y+5 =x^2-2x+1+y^2-4y+4=(x-1)^2+(y-2)^2\ge 0 =f(1,2)\quad \forall (x,y)\in \Re ^{ 2 }\)

La función \(f\) presenta un mínimo local en el punto  \(a=(1,2)\). Se trata de un mínimo estricto, no existe ningún punto de \((x,y)\in \beta \in { \zeta  }_{ (1,2) }\) distinto del \((1,2)\), cuya imagen sea \(0\), es decir, \(f(x,y)\neq 0\quad \forall (x,y)\in \beta;(x,y)\neq (1,2)\)

Máximo (mínimo) global de una función escalar

Descripción: 

 

Dada una función escalar \(f:{ A\subseteq \Re  }^{ n }\longrightarrow \Re \) y dado \(a\in A\). Decimos que \(f\) presenta un máximo global o absoluto en \(a\in A\) si \(\forall x\in A\quad f(x)\le f(a)\)

Dada una función escalar \(f:{ A\subseteq \Re  }^{ n }\longrightarrow \Re \) y dado \(a\in A\). Decimos que \(f\) presenta un mínimo global o absoluto en \(a\in A\) si \(\forall x\in A\quad f(a)\le f(x)\)

Dada una función escalar \(f:{ A\subseteq \Re  }^{ n } \longrightarrow \Re \) y dado \(a\in A\). Decimos que \(f\) presenta un máximo global  estricto en \(a\in A\) si \(\forall x\in A\quad f(x)< f(a)\)

Dada una función escalar \(f:{ A\subseteq \Re  }^{ n } \longrightarrow \Re \) y dado \(a\in A\). Decimos que \(f\)presenta un mínimo global estricto en \(a\in A\) si \(\forall x\in A\quad f(a)> f(x)\)

Descriptores: 
Óptimos
Descriptores: 
Funciones de varias variables
Descriptores: 
Funciones
Ejemplo: 

Dada la función escalar \(f:{ A\subseteq \Re  }^{ 2 }\longrightarrow \Re \) definida por \(z=f(x,y)=x^2+y^2-2x-4y+5\). Probar que \(f\) presenta un mínimo global en \(a=(1,2)\in A\).

a. Calculamos la imagen de   \(a=(1,2)\in A ={\Re  }^{ 2 }\).

\(f(1,2)=1^2+2^2-2·1-4·2+5=0\)

b. Calculamos la imagen de  \((x,y)\in {\Re  }^{ 2 }\)

\(z=f(x,y)=x^2+y^2-2x-4y+5 =x^2-2x+1+y^2-4y+4=(x-1)^2+(y-2)^2\ge 0 =f(1,2)\quad \forall (x,y)\in \Re ^{ 2 }\)

La función \(f\) presenta un mínimo global en el punto  \(a=(1,2)\in {\Re  }^{ 2 }\). Se trata de un mínimo estricto, no existe ningún punto de \({\Re  }^{ 2 }\) distinto del \((1,2)\), cuya imagen sea \(0\), es decir, \(f(x,y)\neq 0\quad \forall (x,y)\in \Re ^{ 2 };(x,y)\neq (1,2)\)

 

Función escalar homogénea

Descripción: 

Dada una función escalar \(f:{ A\subseteq \Re  }^{ n }\longrightarrow \Re \) y dado un número real \(k\in \Re \),siendo  \(x=({ x }_{ 1 },{ x }_{ 2 },\quad ...\quad ,{ x }_{ n })\), decimos que la función f es una función homogénea de grado \(k\), si \(\forall x\in A\) y \(\forall t>0;\quad t\in \Re \), se cumple \(f(tx)=f(t{ x }_{ 1 },t{ x }_{ 2 },\quad ...\quad ,t{ x }_{ n })=:{ t }^{ k }f({ x }_{ 1 },{ x }_{ 2 },\quad ...\quad ,{ x }_{ n }))={ t }^{ k }f(x)\)

Descriptores: 
Funciones de varias variables
Descriptores: 
Funciones
Ejemplo: 

Dada una función escalar \(f:{ \Re  }^{ 2 }\longrightarrow \Re \) definida por \(f(x,y)=\frac { 2{ x }^{ 3 }+{ y }^{ 3 } }{ y }\). Es una función homogénea de grado \(2\)

 

\(f(tx,ty)=\frac { 2{ (tx) }^{ 3 }+{ (ty) }^{ 3 } }{ ty } =\frac { 2{ { t }^{ 3 }x }^{ 3 }+{ { t }^{ 3 }y }^{ 3 } }{ ty } =\frac { { t }^{ 3 }(2x^{ 3 }+{ y }^{ 3 }) }{ ty } =\frac { { t }^{ 2 }(2x^{ 3 }+{ y }^{ 3 }) }{ y } ={ t }^{ 2 }f(x,y)\)

Función compuesta de funciones escalares y vectoriales

Descripción: 

Dada una función escalar \(f:{ \Re  }^{ n }\longrightarrow \Re \quad x=({ x }_{ 1 },{ x }_{ 2 }, ... ,{ x }_{ n })\quad y=f({ x }_{ 1 },{ x }_{ 2 }, ... ,{ x }_{ n })\) y una función vectorial \({ g }:{ \Re  }^{ k }\longrightarrow { \Re  }^{ n }\) siendo \( t=({ t }_{ 1 }, { t }_{ 2 }, ...,{ t }_{ k }); \quad x=g(t)\), es decir, \(  { x }_{ i }={ g }_{ i }({ t }_{ 1 }, { t }_{ 2 }, ... ,{ t }_{ k })\quad \forall i=1,2,...,n\) verificando que la imagen de g está contenida en el dominio de f; definimos la función escalar compuesta  \(f\circ g\),  que se lee g compuesta con f,  \(f\circ g:{ \Re  }^{ k }\longrightarrow \Re \) de la siguiente manera:\((f\circ g)({ t }_{ 1 }, { t }_{ 2 }, ...,{ t }_{ k })=f\left[ g({ t }_{ 1 },{ t }_{ 2 }, ... ,{ t }_{ k }) \right] =f\left[ { g }_{ 1 }({ t }_{ 1 }, { t }_{ 2 },...,{ t }_{ k }), { g }_{ 2 }({ t }_{ 1 },{ t }_{ 2 }, ...,{ t }_{ k }), ...,{ g }_{ n }({ t }_{ 1 }, { t }_{ 2 },...,{ t }_{ k }) \right] \)

Descriptores: 
Funciones de varias variables
Descriptores: 
Funciones
Ejemplo: 

Dadas:  la función escalar  \(f:{ \Re  }^{ 2}\longrightarrow \Re \quad x=({ x }_{ 1 },{ x }_{ 2 })\quad y=f({ x }_{ 1 },{ x }_{ 2 })=2{ x }_{ 1 }+{ x }_{ 2 }\) y la función vectorial \({ g }:{ \Re  }^{ 3 }\longrightarrow { \Re  }^{ 2 }\) siendo \( t=({ t }_{ 1 }, { t }_{ 2 },{ t }_{ 3 });  x=g(t)=({g}_{1}(t),{g}_{2}(t))\), es decir, \(  { x }_{ 1 }={ g }_{ 1}({ t }_{ 1 }, { t }_{ 2 },{ t }_{ 3 })={ t }_{ 1 }+{ t }_{ 2 } + { t }_{ 3 }\) y  \(  { x }_{ 2 }={ g }_{ 2}({ t }_{ 1 }, { t }_{ 2 },{ t }_{ 3 })={ t }_{ 1 } -{ t }_{ 2 }-{ t }_{ 3 }\). Se pide calcular la función escalar compuesta \(f\circ g\).

La función compuesta  \((f\circ g):{ \Re  }^{ 3 }\longrightarrow { \Re  }\)

se obtiene: 

\(y=(f\circ g)({ t }_{ 1 }, { t }_{ 2 },{ t }_{ 3 })=f\left[ g({ t }_{ 1 },{ t }_{ 2 },{ t }_{ 3}) \right] =f\left[ { g }_{ 1 }({ t }_{ 1 }, { t }_{ 2 },{ t }_{ 3}), { g }_{ 2 }({ t }_{ 1 },{ t }_{ 2 },{ t }_{ 3 }) \right] =f({ t }_{ 1 }+{ t }_{ 2 } + { t }_{ 3}, { t }_{ 1 } -{ t }_{ 2 }-{ t }_{ 3 })\)=

=\(2({ t }_{ 1 }+{ t }_{ 2 } + { t }_{ 3}) -({ t }_{ 1 } -{ t }_{ 2 }-{ t }_{ 3 })={ t }_{ 1 }+3{ t }_{ 2 } + 3{ t }_{ 3}\)

Matriz Hessiana de una función escalar

Descripción: 

Dada la función escalar \(f:A\subseteq { \Re  }^{ n }\longrightarrow { \Re  }\) si en el punto \(a\in A\) existen las derivadas parciales segundas, definimos la matriz hessiana de \(f\) en el punto  \(a\in A\) y la representamos por \(Hf(a)\), la matriz cuadrada \(n\times n\), donde cada fila es el vector gradiente de la correspondiente derivada parcial. primera, es decir:

 

Descriptores: 
Funciones de varias variables
Descriptores: 
Derivada
Descriptores: 
Funciones
Distribuir contenido