Twierdzenie o istnieniu różniczki odwzorowania

Różniczkowalność, pochodna funkcji. Przebieg zmienności. Zadania optymalizacyjne. Równania i nierówności z wykorzystaniem rachunku różniczkowego.
Indifferentiable
Użytkownik
Użytkownik
Posty: 8
Rejestracja: 30 lip 2019, o 01:26
Płeć: Mężczyzna
Lokalizacja: Warszawa
Podziękował: 2 razy

Twierdzenie o istnieniu różniczki odwzorowania

Post autor: Indifferentiable » 21 sie 2019, o 13:02

Twierdzenie o istnieniu różniczki odwzorowania z \(\displaystyle{ \RR^d}\) w \(\displaystyle{ \RR}\):
Niech \(\displaystyle{ f: U \to \RR}\), gdzie \(\displaystyle{ U \subset \RR^d}\).
Wtedy jeśli w otoczeniu punktu \(\displaystyle{ x \in U}\) istnieją wszystkie pochodne cząstkowe pierwszego rzędu \(\displaystyle{ f}\) i są w \(\displaystyle{ x}\) ciągłe, to istnieje różniczka \(\displaystyle{ df_x}\).


Jak brzmi wersja tego twierdzenia dla funkcji \(\displaystyle{ g: \RR^d \to \RR^p}\)?
Czy spełnienie założeń powyższego twierdzenia dla każdej z funkcji składowych \(\displaystyle{ g}\) wystarczy?
Ostatnio zmieniony 21 sie 2019, o 13:29 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości. Nie stosuj wzorów matematycznych w nazwie tematu.

janusz47
Użytkownik
Użytkownik
Posty: 5265
Rejestracja: 18 mar 2009, o 16:24
Płeć: Mężczyzna
Podziękował: 6 razy
Pomógł: 1154 razy

Twierdzenie o istnieniu różniczki odwzorowania

Post autor: janusz47 » 21 sie 2019, o 14:56

Tak.
Odwzorowanie \(\displaystyle{ g: \RR^d \to \RR^p}\) jest różniczką \(\displaystyle{ dg_{x}}\) w punkcie \(\displaystyle{ x,}\) wtedy i tylko wtedy, gdy jego współrzędne \(\displaystyle{ g_{1}, g_{2}, ..., g_{p}}\) są różniczkowalne w tym punkcie.

Awatar użytkownika
karolex123
Użytkownik
Użytkownik
Posty: 725
Rejestracja: 22 gru 2012, o 11:01
Płeć: Mężczyzna
Lokalizacja: somewhere
Podziękował: 38 razy
Pomógł: 124 razy

Re: Twierdzenie o istnieniu różniczki odwzorowania

Post autor: karolex123 » 21 sie 2019, o 14:58

Można powiedzieć, że ten warunek w przypadku odwzorowania skalarnego \(\displaystyle{ \mathbb{R} ^d \to \mathbb{R}}\) nie zmienia się w przypadku funkcji wektorowej \(\displaystyle{ f: U \subset \mathbb{R}^d \to \mathbb{R}^p}\). Rzeczywiście, jeśli pochodne cząstkowe, traktowane jako funkcje \(\displaystyle{ U \to \mathbb{R}^p}\) są ciągłe w \(\displaystyle{ x \in U}\), to funkcja \(\displaystyle{ f}\) jest różniczkowalna w \(\displaystyle{ x}\). Wtedy także jest \(\displaystyle{ df_x h=\sum_{i=d} ^d h_i \frac{\partial f}{\partial x_i} \left( x \right).}\)
Ostatnio zmieniony 21 sie 2019, o 15:01 przez Jan Kraszewski, łącznie zmieniany 1 raz.
Powód: Poprawa wiadomości.

matmatmm
Użytkownik
Użytkownik
Posty: 1802
Rejestracja: 14 cze 2011, o 11:34
Płeć: Mężczyzna
Lokalizacja: Sosnowiec
Podziękował: 68 razy
Pomógł: 251 razy

Twierdzenie o istnieniu różniczki odwzorowania

Post autor: matmatmm » 21 sie 2019, o 15:16

janusz47 pisze:Tak.
Odwzorowanie \(\displaystyle{ g: \RR^d \to \RR^p}\) jest różniczką \(\displaystyle{ dg_{x}}\) w punkcie \(\displaystyle{ x,}\) wtedy i tylko wtedy, gdy jego współrzędne \(\displaystyle{ g_{1}, g_{2}, ..., g_{p}}\) są różniczkowalne w tym punkcie.
Coś tu nie gra. Zakładasz, że \(\displaystyle{ g}\) jest różniczką, czyli że funkcja jest różniczkowalna. Jeśli \(\displaystyle{ g}\) jest różniczką, to \(\displaystyle{ g_1,\ldots , g_p}\) są współrzędnymi tej różniczki, czyli funkcji liniowej. Te współrzędne są zawsze różniczkowalne.

janusz47
Użytkownik
Użytkownik
Posty: 5265
Rejestracja: 18 mar 2009, o 16:24
Płeć: Mężczyzna
Podziękował: 6 razy
Pomógł: 1154 razy

Twierdzenie o istnieniu różniczki odwzorowania

Post autor: janusz47 » 21 sie 2019, o 17:45

Nic nie zakładam, muszą być różniczkowalne współrzędne - składowe odwzorowania \(\displaystyle{ g_{i}, \ \ i=1,2,...,p.}\)

matmatmm
Użytkownik
Użytkownik
Posty: 1802
Rejestracja: 14 cze 2011, o 11:34
Płeć: Mężczyzna
Lokalizacja: Sosnowiec
Podziękował: 68 razy
Pomógł: 251 razy

Re: Twierdzenie o istnieniu różniczki odwzorowania

Post autor: matmatmm » 21 sie 2019, o 20:56

Tam jest napisane, że \(\displaystyle{ g}\) jest różniczką, tak?

janusz47
Użytkownik
Użytkownik
Posty: 5265
Rejestracja: 18 mar 2009, o 16:24
Płeć: Mężczyzna
Podziękował: 6 razy
Pomógł: 1154 razy

Twierdzenie o istnieniu różniczki odwzorowania

Post autor: janusz47 » 21 sie 2019, o 21:33

\(\displaystyle{ dg_{x}}\) jest różniczką odwzorowania \(\displaystyle{ G:\RR^{d} \to \RR^{p}}\) w punkcie \(\displaystyle{ x}\), jeśli wszystkie współrzędne tego odwzorowania \(\displaystyle{ g_{i}, \ \ i=1,2,...,p}\) są różniczkowalne (tzn. istnieją wszystkie ich pierwsze pochodne cząstkowe i są funkcjami ciągłymi).

ODPOWIEDZ