exercicio 8 capitulo 5
- seja $U \subset \mathbb{R^m}$ aberto. Demonstre que uma aplicação $f : U \rightarrow \mathbb{R^n}$ é de classe $C^1$ se, e somente se, para cada $x \in U$ existe $A(x) \in \mathscr{L} (\mathbb{R^m, \mathbb{R^n}})$ tal que
\begin{equation*}
\frac{f(x+h)-f(x+k)-A(x)(h-k)}{|h-k|}
\end{equation*}
vai para zero quando h e k vão para zero. Eu não estou conseguindo provar a volta , ou seja, mostrar que ela é de classe$C^1$ supondo que o limite existe.
- AAndré Caldas @andrecaldas
Como você provou a "ida"?
- Hhildefonso mendes cruz @hildefonso
provei a ida da seguinte forma:
supondo que o limite dado na questao existe, temos que mostrar que $f$ é de classe $C^1$ e que existe $A(x) \in \mathscr{L}(\mathbb{R^m},\mathbb{R^n})$.
Então,
\begin{align*}
f(x+h)&-f(x+k)-A(x)(h-k)\\&=f(x+h)-f(x+k)-A(x).h+A(x).k +f(x)-f(x)\\&=f(x+h)-f(x)-A(x).h-\left(f(x+k)-f(x)-A(x).k\right)
\end{align*}Lembrando que $A(x) \in \mathscr{L}(\mathbb{R^m},\mathbb{R^n})$
usando o teorema da desigualdade do valor médio temos:
\begin{align*}
|f(x+h)&-f(x)-A(x).h + (-[f(x+k)-f(x)-A(x).k])|
\\
&\leq
|f(x+h)-f(x)-A(x).h|+|f(x+k)-A(x).k|
\\
&\leq \sup_{t \in [0,1]} |f´(x+th)-A|.|h|+ \sup_{t \in[0,1]}|f´(x+tk)-A|.|k|
\end{align*}
e dividindo por $|h-k|$, teremos\begin{multline*}
\frac{|f(x+h)-f(x)-A(x).h|+|f(x+k)-A|}{|h-k|}
\\\leq
\frac{\sup_{t \in [0,1]} |f´(x+th)-A|.|h|+ \sup_{t \in[0,1]}|f´(x+tk)-A|.|k|}{|h-k|}
\end{multline*}como $f$é de classe $C^1$, $A(x)=f´(x)$
então quando |h-k| vai para zero , então
$$[\sup_{t \in [0,1]} |f´(x+th)-A|.|h|+ \sup_{t \in[0,1]}|f´(x+tk)-A|.|k|] \over |h-k|$$
tambem vai a zero.- AAndré Caldas @andrecaldas
Tá estranha a primeira parte da frase:
[...] supondo que o limite [...] existe, temos que mostrar que $f$ é de classe $C^1$ [...]
Na verdade, você está supondo que é de classe $C^1$, e quer mostrar que o limite existe.
Não entendi porque é que às vezes você usa $A(x)$ e às vezes usa só $A$.
Nessa sua demonstração, não entendi onde exatamente você usou que $f$ é $C^1$.
- Hhildefonso mendes cruz @hildefonso
Desculpa professor, acabei digitando errado. Era para ter digitado isso que o senhor falou mesmo.
- Em resposta aandrecaldas⬆:Hhildefonso mendes cruz @hildefonso
Como $f$ é de classe $C^1$, então, a derivada existe e é continua.
Usei a desigualdade do valor medio sabendo que $f´$ é a transformação linear- AAndré Caldas @andrecaldas
Sim. Mas você não parece ter usado essa continuidade.
- Hhildefonso mendes cruz @hildefonso
tenho que deixar mais explicito na demonstração, certo?
- Em resposta aandrecaldas⬆:Hhildefonso mendes cruz @hildefonso
sobre o uso de $A(x)$ou $A$, estou apenas usando a notação do livro, professor.
- AAndré Caldas @andrecaldas
$A$ não tem um significado prefixado. Você é quem tem que dizer o que $A$ significa. $A = A(x)$?
- Hhildefonso mendes cruz @hildefonso
como a $A(x)$, neste caso é a $f´(x)$ então na verdade devo usar $A(x)$. Pois, a derivada da $f$ aplicada em um ponto é uma transformacão linear.
- AAndré Caldas @andrecaldas
Sim. Ou, se quiser economizar nos símbolos, pode deixar avisado que utilizará $A$ no lugar de $A(x)$.
- Em resposta aandrecaldas⬆:Hhildefonso mendes cruz @hildefonso
Vou melhorar a demonstração professor e mostra-la a você.
Mas, o senhor poderia me dar apenas uma ideia de como fazer a volta ?- AAndré Caldas @andrecaldas
Pra mostrar que é diferenciável, você faz $k = 0$.
Já sabendo que é diferenciável, acho que dá pra fazer assim...
... tome $x_n \rightarrow x$. A ideia é mostrar que $A(x_n) \rightarrow A(x)$. Note que,
\begin{align*}
\frac{\|f(x_n) - f(x_n +h) - A(x_n)h\|}{\|h\|} &\xrightarrow{h \rightarrow 0} 0
\\
\frac{\|f(x_n) - f(x_n +h) - A(x)h\|}{\|h\|} & \xrightarrow{h \rightarrow 0,\, n \rightarrow \infty} 0.
\end{align*}
Olhe o detalhe... em um você tem $A(x_n)$ e no outro você tem $A(x)$. O ponto é que o que aparece o mesmo $h$ nos dois!