Avanzado-Práctica 15 - Punto Fijo

Tema: Punto Fijo

Mon-04-11-2024 21:16 profe: Mauro status: Ubicación: Plaza de Mayo tags: Compacidad


Def. :{\color{Cyan} \text{Def. :} }

f se dice contraccioˊn, con f:EE donde (E,d) es un espacio meˊtrico, si:d(f(x),f(y))α.d(x,y)x,y,α(0,1)\begin{array}{l} \text{$f$ se dice contracción, con $f:E\to E$ donde $(E,d)$ es un espacio métrico, si:}\\ d(f(x),f(y))\leq \alpha .d(x,y)\quad\forall x,y,\alpha \in(0,1) \end{array}

Si tengo una contracción en un espacio métrico completo entonces tenemos un único punto fijo.


EjemplosEjemplos
  1. La función f(x)=12arctg(x)+1f(x)=\frac{1}{2}arctg(x)+1 tiene un único punto fijo.

Dem:Dem: Teorema del valor medio,

x,y:f(x)f(y)=f(c).xy\forall x,y:\quad |f(x)-f(y)|=|f'(c)|.|x-y|

f(x)=12.(1+x2)f'(x)=\frac{1}{2.(1+x^{2})}, entonces f(c)<12|f'(c)|< \frac{1}{2}. Luego vale el teorema y tenemos único punto fijo.

\quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \square
  1. La función f(X)=x+11+exf(X)=x+ \frac{1}{1+e^{x}} cumple xy>f(x)f(y)x,yR|x-y|>|f(x)-f(y)|\quad\forall x,y\in \mathbb{R} y sin embargo no tiene ningún punto fijo.

Dem:Dem: Usamos nuevamente el teorema del valor medio. f(x)=1ex(1+ex)2<1f'(x)=1-\frac{e^{x}}{(1+e^{x})^{2}}<1 Notemos que

0<f(x)    1>ex(1+ex)2    1+2ex+e2x>ex    1+ex+e2x>00<f'(x)\iff1>\frac{e^{x}}{(1+e^{x})^{2}}\iff1+2e^{x}+e^{2x}>e^{x}\iff1+e^{x}+e^{2x}>0

Luego f(x)<1|f'(x)|<1. Entonces

f(x)f(y)=f(c).xy<x.y|f(x)-f(y)|=|f'(c)|.|x-y|<|x.y|

Resta ver que ∄\not\exists punto fijo. Por absurdo, si x:\:\exists\:x:

x=x+11+ex    0=11+exlo cual es absurdo.x=x+\frac{1}{1+e^{x}}\implies_{0}=\frac{1}{1+e^{x}}\quad \text{lo cual es absurdo.} \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \square

Citas y Comentarios

Temas relacionados