Fórum de Matemática
DÚVIDAS? Nós respondemos!

Um Fórum em Português dedicado à Matemática
Data/Hora: 02 mai 2024, 02:45

Os Horários são TMG [ DST ]




Fazer Nova Pergunta Responder a este Tópico  [ 3 mensagens ] 
Autor Mensagem
MensagemEnviado: 07 jan 2015, 19:55 
Offline

Registado: 03 jan 2015, 20:11
Mensagens: 10
Localização: Porto
Agradeceu: 6 vezes
Foi agradecido: 1 vez(es)
Dada \(f:R\rightarrow R\) derivável, com derivada limitada, prove que existe uma constante c ∈ R\{0} tal que a função g:R\(\rightarrow\)R, definida por g(x)=x+cf(x), é bijetiva com inversa derivável.


Topo
 Perfil  
 
MensagemEnviado: 07 jan 2015, 20:46 
Offline

Registado: 17 jan 2013, 13:36
Mensagens: 2487
Localização: Lisboa
Agradeceu: 31 vezes
Foi agradecido: 1049 vezes
Uma pequena ajuda... Como \(g'(x)= 1 + c f'(x)\) e f' é limitada, podemos escolher c de modo que g' > 0. Desse modo g é diferenciável e injectiva, pelo que tem inversa definida em \(\mathbb{R}\) e essa inversa é derivável (teorema da derivada da função inversa). Resta-lhe provar que g é sobrejectiva.


Topo
 Perfil  
 
MensagemEnviado: 08 jan 2015, 18:35 
Offline

Registado: 17 jan 2013, 13:36
Mensagens: 2487
Localização: Lisboa
Agradeceu: 31 vezes
Foi agradecido: 1049 vezes
Como g é contínua e crescente, para mostrar a sobrejectividade é suficiente verificar que

\(\lim_{x\to -\infty} g(x) = -\infty, \qquad \lim_{x\to +\infty} g(x) = +\infty\)

Vejamos o segundo limite: Usando a fórmula de Taylor de ordem 1

\(g(x) = g(0) + g'(\xi_x) x, \quad \xi_x \in [0,x]\)

Se c tiver sido escolhido de modo que não apenas g' > 0, mas também que \(g' > c_0 > 0\), então o limite é dado por

\(\lim_{x\to +\infty} g(x) = \lim_{x \to +\infty} (g(0) + g'(\xi_x) x = +\infty\)

Isto porque \(g'(\xi_x)>c_0>0\) e \(\lim_{x\to +\infty} x = +\infty\).

Depois é só proceder do mesmo modo para \(x \to -\infty\).


Topo
 Perfil  
 
Mostrar mensagens anteriores:  Ordenar por  
Fazer Nova Pergunta Responder a este Tópico  [ 3 mensagens ] 

Os Horários são TMG [ DST ]


Quem está ligado:

Utilizadores a ver este Fórum: Nenhum utilizador registado e 11 visitantes


Criar perguntas: Proibído
Responder a perguntas: Proibído
Editar Mensagens: Proibído
Apagar Mensagens: Proibído
Enviar anexos: Proibído

Pesquisar por:
Ir para:  
cron