Otimização/Situação inicial

acima: Índice

anterior: Introdução | próximo: Existência de soluções globais

Embora se possa trabalhar com mínimos e máximos, nos outros capítulos só trabalharemos com mínimos, pois achar o máximo de uma função $f(x)$ é o mesmo de achar o mínimo da função $-f(x)$

Mínimo Global

Seja $D\subset \mathbb {R} ^{n}$ e $f:D\mapsto \mathbb {R}$. Para encontrarmos o mínimo global, devemos encontrar o $min\;f(x),\forall \;x\in D$

Definição

Dizemos que um ponto ${\bar {x}}\in D$ é mínimo global,

se $f({\bar {x}})\leq f(x),\forall \;x\in D$

Máximo Global

Seja $D\subset \mathbb {R} ^{n}$ e $f:D\mapsto \mathbb {R}$. Para encontrarmos o máximo global, devemos encontrar o $max\;f(x),\forall \;x\in D$

Definição

Dizemos que um ponto ${\bar {x}}\in D$ é máximo global,

se $f({\bar {x}})\geq f(x),\forall \;x\in D$

Mínimo Local

Seja $D\subset \mathbb {R} ^{n}$ e $f:D\mapsto \mathbb {R}$. Para encontrarmos o mínimo local, devemos encontrar o $min\;f(x),\forall \;x\in D\cap B_{\epsilon }({\bar {x}})$

Definição

Dizemos que um ponto ${\bar {x}}\in D$ é mínimo local,

se $f({\bar {x}})\leq f(x),\forall \;x\in D\cap B_{\epsilon }({\bar {x}})$ onde $B_{\epsilon }({\bar {x}})=\{x\in D;\;\|x-{\bar {x}}\|<\epsilon \}$

Máximo Local

Seja $D\subset \mathbb {R} ^{n}$ e $f:D\mapsto \mathbb {R}$. Para encontrarmos o máximo local, devemos encontrar o $max\;f(x),\forall \;x\in D\cap B_{\epsilon }({\bar {x}})$

Definição

Dizemos que um ponto ${\bar {x}}\in D$ é máximo local,

se $f({\bar {x}})\geq f(x),\forall \;x\in D\cap B_{\epsilon }({\bar {x}})$ onde $B_{\epsilon }({\bar {x}})=\{x\in D;\;\|x-{\bar {x}}\|<\epsilon \}$

Exemplo

Seja $f:\mathbb {R} ^{n}\mapsto \mathbb {R} ;D_{1},D_{2}\subset \mathbb {R}$, tais que $D_{2}\subset D_{1}$.

a)Mostrar que $\inf _{x\in D_{1}}f(x)\leq \inf _{x\in D_{2}}f(x)$

Afirmação: $f(y)=\inf _{x\in D_{1}}f(x)\Rightarrow f(y)\leq f(x),\forall \;x\in D_{1}$ e $f(z)=\inf _{x\in D_{2}}f(x)\Rightarrow f(z)\leq f(x),\forall \;x\in D_{2}$

Prova1: Tome $t\in D_{2}\subset D_{1}\Rightarrow t\in D_{1}\Rightarrow f(y)\leq f(t),\forall \;t\in D_{2}\Rightarrow f(y)\leq f(z)$.

Prova2: Suponha por contradição que $\inf _{x\in D_{2}}f(x)<\inf _{x\in D_{1}}f(x)\Rightarrow f(z)<f(y)\leq f(x),\forall \;x\in D_{1}\Rightarrow$

$\Rightarrow f(z)<f(x),\forall \;x\in D_{1}$. Mas $z\in D_{2}\subset D_{1}\Rightarrow z\in D_{1}\Rightarrow f(y)\leq f(z)$. Logo $f(z)<f(y)\leq f(z)$. Contradição! (está quase pronta a demonstração)

Fórmulas

<math> </math> \| \| \bar{} \mathbb{} { \over } \Rightarrow \Leftarrow \Leftrightarrow \mapsto