Strona 1 z 1

Różniczkowanie obustronne równania z całką oznaczoną

: 16 wrz 2016, o 22:31
autor: dwukwiat15
Witam, mam problem z jedną funkcją, która wygląda następująco:
\(\displaystyle{ \phi(t,x_0) = x_0 + \int_{0}^{t} f(s,\phi(s,x_0)) ds}\)
gdzie \(\displaystyle{ \phi(t,x_0)}\) jest funkcją: \(\displaystyle{ \mathbb{R} \times \mathbb{R} \rightarrow \mathbb{R}}\).

Próbuję różniczkować to wyrażenie obustronnie względem \(\displaystyle{ x_{0}}\). Według książki z której to równanie pochodzi wynik powinien być następujący:
\(\displaystyle{ \frac{\partial \phi}{\partial x_0} (t,x_0) = 1 + \int_0^{t} \frac{\partial f}{\partial x_0} (s, \phi(s,x_0)) \cdot \frac{\partial \phi}{\partial x_0} (s, x_0)ds}\).
Nie potrafię pojąć dlaczego akurat tak wygląda to wyrażenie pod całką po zróżniczkowaniu. W książce którą czytam jest napisane, że wynika to z reguły łańcuchowej(ang. chain rule). Ale coś mi tu nie pasuje, bo jak różniczkuje to wyrażenie pod całką to z reguły łańcuchowej wychodzi:
\(\displaystyle{ \frac{\partial }{\partial x_0} f(s, \phi(s,x_0)) = \frac{\partial }{\partial \phi(s,x_0) } f(s, \phi(s,x_0)) \cdot \frac{\partial }{\partial x_0} \phi(s,x_0)}\).


Natomiast w książce jak widać jest ewidentnie dwa razy pochodna względem \(\displaystyle{ x_0}\). Pytanie dlaczego tak? Patrzałem w dwóch wydaniach książki, więc błąd to raczej nie jest.

Możliwe, że potrzebna tutaj jest informacja, że różniczkowana funkcja jest rozwiązaniem równania różniczkowego:
\(\displaystyle{ \frac{\partial \phi}{\partial t} (t,x_0) = f(t,\phi,x_0))}\), gdzie \(\displaystyle{ \phi(0,x_0)=x(0).}\)
Byłbym wdzięczny za pomoc w rozjaśnieniu problemu. Pozdrawiam

Różniczkowanie obustronne równania z całką oznaczoną

: 18 wrz 2016, o 16:36
autor: bartek118
Zgadza się, wynika to z reguły łańcucha, jednak w Twojej postaci:
\(\displaystyle{ \frac{\partial }{\partial x_0} f(s, \phi(s,x_0)) = \frac{\partial }{\partial \phi(s,x_0) } f(s, \phi(s,x_0)) \cdot \frac{\partial }{\partial x_0} \phi(s,x_0)}\)
jest ona całkowicie pozbawiona sensu, gdyż \(\displaystyle{ \frac{\partial }{\partial \phi(s,x_0) } f(s, \phi(s,x_0))}\) nie ma sensu.

Fragment:
\(\displaystyle{ \frac{\partial f}{\partial x_0} (s, \phi(s,x_0))}\)
też ma niefortunne oznaczenia. Trzeba go czytać jako pochodną cząstkową funkcji \(\displaystyle{ f}\) względem drugiej zmiennej w punkcie \(\displaystyle{ (s, \phi(s,x_0))}\).

Różniczkowanie obustronne równania z całką oznaczoną

: 19 wrz 2016, o 19:45
autor: dwukwiat15
Masz na myśli, że drugą zmienną jest funkcja \(\displaystyle{ \phi}\)?

W moim zapisie\(\displaystyle{ \frac{\partial f}{\partial x_0} (s, \phi(s,x_0))}\) założyłem, że \(\displaystyle{ s}\) to oczywiście jakaś ustalona wartość bo wiadomo, że całka to sumowanie po wszystkich \(\displaystyle{ s}\)
w zakresie od \(\displaystyle{ 0}\) do \(\displaystyle{ t}\).

Czy ustalając, że s jest ustalone można tą pochodną tak rozumieć:
\(\displaystyle{ \frac{\partial }{\partial x_0} f(\phi(x_0)) = \frac{\partial }{\partial \phi(x_0) } f(\phi(x_0)) \cdot \frac{\partial }{\partial x_0} \phi(x_0)}\)
?
Mi chodzi o zrozumienie tego, czy dobrze myślę, bo jak widzę taki zapis jak dali w tej książce to nie ogarnąłem tego i stwierdziłem, że czegoś tu nie kumam.

Różniczkowanie obustronne równania z całką oznaczoną

: 19 wrz 2016, o 20:00
autor: a4karo
Nie. Masz \(\displaystyle{ f=f(u,v)}\) (żeby nie mieszać z \(\displaystyle{ x,y,s}\))

Wtedy
\(\displaystyle{ \frac{\partial }{\partial x_0} f(s, \phi(s,x_0)) = \frac{\partial }{\partial v } f(s, \phi(s,x_0)) \cdot \frac{\partial }{\partial x_0} \phi(s,x_0)}\)

Różniczkowanie obustronne równania z całką oznaczoną

: 19 wrz 2016, o 20:10
autor: dwukwiat15
Ok jasne To jest w porządku. Ale to co podają w książce jest bardzo mylące.
Można nawet spojrzeć, bo książka jest na sieci:

Strona 13, trzecie równanie od góry

Różniczkowanie obustronne równania z całką oznaczoną

: 19 wrz 2016, o 20:24
autor: bartek118
Do tego trzeba się przyzwyczaić - z kontekstu po prostu wynika o jaką pochodną chodzi; nikt nie będzie dodatkowo wprowadzał \(\displaystyle{ u}\) i \(\displaystyle{ v}\), więc pisze się tak jak się pisze...

Różniczkowanie obustronne równania z całką oznaczoną

: 19 wrz 2016, o 20:41
autor: dwukwiat15
Widocznie To jest książka pisana przez ludzi co siedzą całe życie w matematyce więc zapewne jakieś im się wykształciły skrótowe oznaczenia Stephen Smale to przecież jest laureatem medalu Fieldsa.

-- 25 września 2016, 17:36 --

Powróciłem dalej do tej książki, żeby to pociągnąć dalej i jedna rzecz coś mi się nie zgadza.
Dalej jak się czyta to pojawia się równanie różniczkowe:
\(\displaystyle{ z^{'}(t) = \frac{\partial f}{\partial x_0} (t, \phi(t,x_0)) \cdot z(t)}\).
z warunkiem początkowym z(0) = 1
Piszą, że rozwiązaniem tego równania jest: funkcja w postaci:
\(\displaystyle{ z(t) = exp(\int_0^t \frac{\partial f}{\partial x_0} (s, \phi(s,x_0))ds).}\)


Próbuję to rozwiązywać więc rozdzielam najpierw zmienne w tym równaniu i otrzymuje:
\(\displaystyle{ \frac{dz}{z} = \frac{\partial f}{\partial x_0} (t, \phi(t,x_0))}\).


Teraz
następnie całkuje to obustronnie w granicach od \(\displaystyle{ 0}\) do \(\displaystyle{ t}\). Wychodzi z tego, że:
\(\displaystyle{ ln(z)|_0^t = \int_0^t \frac{\partial f}{\partial x_0} (s, \phi(s,x_0))ds}\).


Jak zamienię to z własności logarytmów, to mam:
\(\displaystyle{ z|_0^t = exp(\int_0^t \frac{\partial f}{\partial x_0} (s, \phi(s,x_0))ds)}\)


czyli po lewej stronie wyjdzie mi :\(\displaystyle{ z|_0^t =z(t) - z(0) = z(t) - 1}\). I tu się robi problem bo to się nie zgadza z tym co podałem na początku. Czy popełniam tu jakiś błąd? Byłbym wdzięczny za pomoc w wyjaśnieniu. Pozdrawiam.