[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[obm-l] Re: [obm-l] ANÁLISE MAT II
Acho que vc quis dizer f: I-->R e g:J-->R funções convexas com f(I) contido
em J.
Sejam x1<x2 elementos de I e seja 0<=u<=1. A convexidade de f em I, que
suponho ser um intervalo, implica que f(u*x1+ (1-u)*x2) <= u*f(x1) +
(1-u)*f(x2). Como g eh monotona naum decrescente em J, temos que g(f(u*x1+
(1-u)*x2))) <= g(u*f(x1) + (1-u)*f(x2)). Supondo-se que J seja um intervalo,
temos que o argumento de g no segundo membro estah em J. Considerando-se
agora que g eh convexa, temos que g(u*f(x1) + (1-u)*f(x2)) <= u*g(f(x1) +
(1-u)*g(f(x2). Logo, g(f(u*x1+ (1-u)*x2)) <= u*g(f(x1) + (1-u)*g(f(x2) para
todos x1 e x2 de I e todo u em [0,1], o que mostra que gof eh convexa.
Assumindo-se f e g duas vezes diferenciaveis, temos pela regra da cadeia que
(gof)'(x) = g'(f(x)*f'(x) e que (gof)''(x) = g''(f(x)*f'(x)*f'(x) +
g'(f(x)*f''(x) = g''(f(x)*f'(x)^2 + g'(f(x)*f''(x)
Como g eh convexa, g''(f(x))>=0 para todo x de I, o que implica que a
primeira parcela da soma acima seja o produto de dois numeros nao negativos
e, portanto, nao negativa.
Como g em monotona naum decresecente e convexa, para todo x de I temos
g'(f(x)>=0 eh f''(x)>=0, de modo que a segunda parcela da soma eh tambem
naum negativa. Logo, (gof)''(x) >=o para todo x de I, o que mostra que gof
eh convexa em I.
A introducao da condicao adicional da existencia das segundas derivadas
acabou naum simplificando a prova.
O exemplo fica para depois.
Artur
--------- Mensagem Original --------
De: obm-l@mat.puc-rio.br
Para: "obm-l@mat.puc-rio.br" <obm-l@mat.puc-rio.br>
Assunto: [obm-l] ANÁLISE MAT II
Data: 21/08/04 18:53
POR FAVOR, SE ALGUÉM CONSEGUIR FAZER ENVIE-ME COM DETALHES. Estou precisando
muito ver a resolução dessa questão. Obrigado.
1) Sejam j: I-->R e g:I-->R funções convexas, com f(I) contido em J, e g
monótona não-decrescente. Prove que gof: I-->R é convexa. Dê outra
demonstração supondo f e g duas vezes deriváveis. Por meio de um exemplo,
mostre que se g não é monótona não-decrescente o resultdo popde não ser
válido.
_________________________________________________________
Voce quer um iGMail protegido contra vírus e spams?
Clique aqui: http://www.igmailseguro.ig.com.br
Ofertas imperdíveis! Link: http://www.americanas.com.br/ig/
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================
________________________________________________
OPEN Internet
@ Primeiro provedor do DF com anti-vírus no servidor de e-mails @
=========================================================================
Instruções para entrar na lista, sair da lista e usar a lista em
http://www.mat.puc-rio.br/~nicolau/olimp/obm-l.html
=========================================================================