9/2/2014

con

FUNES CONVEXAS

Seja funo

um intervalo (limitado ou no). Uma dita convexa se tiver a

seguinte propriedade: Dados dois pontos e no grfico de , a corda que une estes dois pontos est sempre acima do grfico de em . Dados

, como na figura, chamando de

, temos

ou ainda, chamando

, e

Os pontos

da figura tm coordenadas e

A funo como

convexa quando o ponto

est sempre acima de

. Isto se expressa

com vale

http://www.mat.ufrgs.br/~brietzke/conv/conv.html

1/13

9/2/2014

con

Uma figura convexa quando para quaisquer dois pontos e de reta que une e est totalmente contido em . A funo somente se o seu epigrfico, isto , o conjunto

de , o segmento convexa se e

que est acima de seu grfico, convexo. Esta a justificativa para o nome funo convexa. Proposio 1. Uma funo somente se , , tem-se , definida em um intervalo , convexa se e , tais que

(1)

Dem: Supondo vlida a condio (1) acima e tomando, em particular, que convexa. Suponhamos que por induo em vale tambm para Sejam . e . Podemos supor que , com , pois se , ento convexa. Vamos provar que vale a condio (1) para todo . Trivialmente ela vale para ( a prpria definio de . Vamos mostrar que , conclui-se

funo convexa). Suponhamos que (1) vale para um certo

e, neste caso, a condio (1) vale trivialmente, pois se reduz a . Supondo, ento, , chamando

e observando que
http://www.mat.ufrgs.br/~brietzke/conv/conv.html

implica
2/13

9/2/2014

con

teremos, pela convexidade de

e pela hiptese de induo,

provando que vale tambm para

. Isto completa a induo.

A seguir veremos que as funes convexas so razoavelmente bem comportadas. Proposio 2. Se ponto interior de contnua. Dem: Seja um ponto interior de . Sendo . Vamos provar que um ponto interior esquerda
3/13

uma funo convexa, ento . Em particular, se for um intervalo aberto,

contnua em todo o , necessariamente,

contnua em de
http://www.mat.ufrgs.br/~brietzke/conv/conv.html

, podemos escolher pontos

9/2/2014

con

de pontos

direita de ,

. Consideremos os e ,

, que esto no grfico de como na figura ao lado. Pelo fato de ser

convexa, est abaixo (ou sobre) a reta . Consideremos a regio hachurada , limitada pelas retas e e pelas retas verticais e . Se o ponto estiver sobre a reta , a regio se reduz ao segmento de reta grfico de entre e est contida na regio ficasse dentro da regio , . Vamos provar que a poro do . De fato, se o grfico de no

ento existiria um ponto ou um ponto como na figura ao lado, ou ainda pontos anlogos, direita de . Mas qualquer uma destas possibilidades iria contrariar o fato de ser convexa. Por exemplo, um ponto como pode pertencer ao grfico de , pois, se no

pertencesse, o ponto estaria acima do segmento . Um ponto como no pode pertencer ao grfico de , pois, se pertencesse, o ponto estaria acima do segmento estabelecido que o grfico de regio . Da segue que . Fica assim fica contido na contnua no ponto

, pois deve satisfazer uma desigualdade da forma

onde

o mximo entre os valores absolutos das inclinaes das retas

Exemplo. A figura ao lado mostra o grfico de uma funo

http://www.mat.ufrgs.br/~brietzke/conv/conv.html 4/13

9/2/2014

con

convexa, definida em um intevalo que no aberto e descontnua no ponto , que uma extremidade do intervalo e, portanto, no ponto interior.

Funes Convexas Derivveis

Se nos restringirmos classe das funes derivveis, vamos obter um critrio de fcil aplicabilidade para verificar se uma funo convexa. Uma funo convexa no necessariamente derivvel. Por exemplo, a funo , convexa, mas no tem derivada no ponto . Vamos ver depois que, de fato, uma funo convexa no pode deixar de ter derivada em muitos pontos. Ela vai poder deixar de ter derivada no mximo em um conjunto enumervel de pontos. Proposio 3. Seja Dados quatro pontos uma funo convexa definida em um intervalo em , vale .

Dem: Usando a convexidade de , temos que o ponto est abaixo da corda . Logo a inclinao de menor ou igual inclinao de e esta menor ou igual inclinao de . Logo inclinao de Analogamente, inclinao de Logo
http://www.mat.ufrgs.br/~brietzke/conv/conv.html 5/13

inclinao de

inclinao de

9/2/2014

con

inclinao de e a proposio fica provada.

inclinao de

Proposio 4. Seja somente se Dem: Suponhamos que Sejam crescente (isto ,

uma funo derivvel. Ento ).

convexa se e

seja convexa e derivvel. Vamos mostrar que . Consideremos pontos e de

crescente. tais que

pontos de

. Pela Proposio 3,

Fazendo crescente.

, obtemos

. provando que

Suponhamos que em

seja crescente. Vamos provar que , com

convexa. Sejam

e sejam

. Seja

Precisamos mostrar que

. Mas

Pelo Teorema da Mdia, existem tais que

, com

http://www.mat.ufrgs.br/~brietzke/conv/conv.html

6/13

9/2/2014

con

Segue que

Corolrio. Seja somente se em .

duas vezes derivvel. Ento

convexa se e

Observao. Uma funo dois pontos e

dita estritamente convexa quando, dados estar acima do grfico de , ela

em seu grfico, alm da corda

toca o grfico apenas nos pontos e . Por exemplo, uma funo constante convexa, mas no estritamente convexa. Temos que estritamente convexa quando com vale com

Olhando as demonstraes acima, fcil ver que: 1 Se derivvel, ento estritamente convexa se e somente se ). , ento estritamente estritamente

crescente ( 2 Se duas vezes derivvel e se

convexa. A recproca falsa. Exerccio: Encontre um contra-exemplo. Sugesto: tome , para um conveniente.

Exemplos de Aplicaes
http://www.mat.ufrgs.br/~brietzke/conv/conv.html 7/13

9/2/2014

con

Exemplo 1. (Desigualdade entre a mdia aritmtica e a mdia geomtrica) Sejam . Provar que

valendo a igualdade se e somente se Soluo. Consideremos a funo exponencial , conclumos que ento, que com vale

. , . Como

convexa e at estritamente convexa. Temos,

com igualdade se e somente se Para

, aplicando a desigualdade acima com e

temos

isto ,

com igualdade se e somente se

http://www.mat.ufrgs.br/~brietzke/conv/conv.html

8/13

9/2/2014

con

Exemplo 2. Usando a funo

, prove que

com igualdade se e somente se Soluo. Para a funo estritamente crescente. Logo e , temos

. , , temos , tomando e

estritamente convexa. Dados , . Portanto

isto ,

ou ainda,

com igualdade se e somente se

Exemplo 3. Sejam todos a, b>0

nmeros reais satisfazendo

. Mostre que para

(2)

com igualdade se e somente se

http://www.mat.ufrgs.br/~brietzke/conv/conv.html

.
9/13

9/2/2014

con

OBS. Um caso particular

. Temos, ento, a desigualdade bem conhecida

Soluo.

Como temos,

, usando o fato que a funo exponencial estritamente convexa,

com igualdade se e somente se

A desigualdade deste exemplo importante, pois dela segue, de maneira imediata, que dados nmeros reais satisfazendo com os e e e

no nulos, tem-se

(3)

Como conseqncia desta ltima, segue a famosa Desigualdade de Hlder. Sejam Para quaisquer vetores nmeros reais satisfazendo e . , vale

http://www.mat.ufrgs.br/~brietzke/conv/conv.html

10/13

9/2/2014

con

(4)

OBS. Um caso particular da Desigualdade de Hlder, correspondendo a Desigualdade de Cauchy-Schwarz. Demonstrao: Dados e , sejam

,a

Se

, ento

e (4) vale trivialmente. Da mesma forma, se e . Sejam

ento (4) tambm vale. Podemos, ento, supor que e fcil ver que

Logo, pela desigualdade (3),

Segue que

isto ,
http://www.mat.ufrgs.br/~brietzke/conv/conv.html 11/13

9/2/2014

con

que a Desigualdade de Hlder (4). Exemplo 4. Dados nmeros reais , ento para todos tais que tem-se
(5)

com igualdade se e somente se

Soluo. Considere a funo , . Temos

Logo

estritamente convexa. Portanto,

isto ,

ou ainda,

Logo
http://www.mat.ufrgs.br/~brietzke/conv/conv.html 12/13

9/2/2014

con

Da segue a desigualdade (5). Como somente se

estritamente convexa, ocorre igualdade se e .

, isto , se e somente se

About this document ... next up previous Next: About this document ... Eduardo H. M. Brietzke 2001-11-12

http://www.mat.ufrgs.br/~brietzke/conv/conv.html

13/13