No internet connection
  1. Home
  2. General

exercicio 8 capitulo 5

Por hildefonso mendes cruz @hildefonso
    2022-03-31 21:18:27.502Z2022-04-02 12:40:21.841Z
    1. 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.

    • 13 respostas
    1. A
      André Caldas @andrecaldas
        2022-04-01 09:47:36.691Z

        Como você provou a "ida"?

        1. Hhildefonso mendes cruz @hildefonso
            2022-04-01 12:59:25.937Z2022-04-01 14:22:38.225Z

            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.

            1. AAndré Caldas @andrecaldas
                2022-04-01 14:27:50.024Z

                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$.

                1. Hhildefonso mendes cruz @hildefonso
                    2022-04-01 15:01:10.795Z

                    Desculpa professor, acabei digitando errado. Era para ter digitado isso que o senhor falou mesmo.

                    1. Em resposta aandrecaldas:
                      Hhildefonso mendes cruz @hildefonso
                        2022-04-01 15:07:28.016Z

                        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

                        1. AAndré Caldas @andrecaldas
                            2022-04-01 16:07:46.909Z

                            Sim. Mas você não parece ter usado essa continuidade.

                            1. Hhildefonso mendes cruz @hildefonso
                                2022-04-01 16:20:43.523Z

                                tenho que deixar mais explicito na demonstração, certo?

                            2. Em resposta aandrecaldas:
                              Hhildefonso mendes cruz @hildefonso
                                2022-04-01 15:39:12.114Z

                                sobre o uso de $A(x)$ou $A$, estou apenas usando a notação do livro, professor.

                                1. AAndré Caldas @andrecaldas
                                    2022-04-01 16:09:50.419Z

                                    $A$ não tem um significado prefixado. Você é quem tem que dizer o que $A$ significa. $A = A(x)$?

                                    1. Hhildefonso mendes cruz @hildefonso
                                        2022-04-02 11:08:55.016Z

                                        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.

                                        1. AAndré Caldas @andrecaldas
                                            2022-04-02 12:31:45.959Z

                                            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
                                              2022-04-02 11:11:46.612Z

                                              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 ?

                                              1. AAndré Caldas @andrecaldas
                                                  2022-04-02 14:09:29.483Z

                                                  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!