Majoryzacja układów równań różniczkowych zwyczajnych: porównanie rozwiązań poprzez prawe strony
W analizie układów dynamicznych dokładne rozwiązanie równań różniczkowych zwyczajnych często jest nieosiągalne. Twierdzenie o majoryzacji pozwala oceniać zachowanie "złożonego" układu poprzez rozwiązanie "prostszego" o znanych własnościach. Jeśli prawa strona i warunki początkowe jednego układu są składowo większe od drugiego, to trajektorie rozwiązań zachowują tę nierówność.
Dla wektorów $x=(x^1,\ldots,x^m)$, $y=(y^1,\ldots,y^m) \in \mathbb{R}^m$ oznaczamy $x \le y$, jeśli $x^i \le y^i$ dla wszystkich $i=1,\dots,m$. Sześcian $[x,y]:=\{z\in\mathbb{R}^m\mid x\le z\le y\}$.
Rozważamy obszar $D \subset \mathbb{R}^m$, taki że dla $x,y\in D$, $x\le y$ zachodzi $[x,y]\subset D$. Funkcje $f_1,f_2\in C(I\times D,\mathbb{R}^m)$ z ciągłymi jakobianami $\frac{\partial f_i}{\partial x}\in C(I\times D,\mathbb{R}^{m\times m})$, gdzie $I=[t_0,t_1]$.
Dwa problemy Cauchy'ego:
$\dot x = f_i(t,x)$, $x(t_0)=\hat x_i$, $i=1,2$.
Sformułowanie głównego twierdzenia
Niech $f_1(t,x)\le f_2(t,x)$ dla wszystkich $(t,x)\in I\times D$ i $\hat x_1\le\hat x_2$. Istnieją macierze diagonalne $U_i(t,x)$ z nieujemnych elementów oraz macierze $B_i(t,x)$ z nieujemnymi elementami:
$\frac{\partial f_i}{\partial x}=U_i + B_i$, $i=1,2$.
Twierdzenie: Jeśli $x_i(t)$ są rozwiązaniami problemów Cauchy'ego na $I$, to $x_1(t)\le x_2(t)$ dla wszystkich $t\in I$.
Ta własność pozwala majoryzować nierozwiązywalny układ prostszym, którego własności są znane.
Struktura dowodu
Wprowadzamy homotopię $y=y(t,s)$ dla $s\in[0,1]$:
$y_t=(1-s)f_1(t,y)+s f_2(t,y)$, $y(t_0,s)=(1-s)\hat x_1 + s\hat x_2$.
Dla $s=0$ otrzymujemy $x_1(t)$, dla $s=1$ — $x_2(t)$. Wystarczy pokazać, że $s\mapsto y(t,s)$ jest niemalejąca dla ustalonego $t$, tzn. $y_s\ge 0$.
Różniczkowanie względem parametru
Różniczkujemy względem $s$:
$$\begin{aligned} y_{st} &= f_2 - f_1 + (u + b)y_s, \\ u(t,s) &= sU_2(t, y(t,s)) + (1-s)U_1(t, y(t,s)), \\ b(t,s) &= sB_2(t, y(t,s)) + (1-s)B_1(t, y(t,s)), \\ y_s|_{t=t_0} &= \hat x_2 - \hat x_1 \ge 0.\end{aligned}$$
Obszar monotoniczności
$M=A=\{t\in I\mid y_s(\xi,s)\ge0,\ \xi\in[t_0,t],\ s\in[0,1]\}$. Zbiór niepusty ($t_0\in A$), domknięty. Niech $\tau=\sup A$.
Zakładamy $\tau<t_1$. W postaci całkowej:
$$y_s(t,s)=e^{\int_\tau^t u\,d\lambda}y_s(\tau,s)+\int_\tau^t e^{\int_\xi^t u\,d\lambda}(f_2-f_1+by_s)\,d\xi=:\Phi(y_s).$$
Metoda ściśnięcia
Zgodnie z zasadą odwzorowań ściśniętych równanie $\Phi(y_s)=y_s$ rozwiązuje się dla małego $t-\tau>0$. Przybliżenie zerowe $Y_0=e^{\int_\tau^t u\,d\lambda}y_s(\tau,s)\ge0$. Indukcyjnie $Y_{k+1}=\Phi(Y_k)\ge0$, ponieważ operator $\Phi$ zachowuje nieujemność. Rozwiązanie graniczne $y_s\ge0$ na $[\tau,\tau+\varepsilon]\times[0,1]$, sprzeczność z definicją $\tau$.
Zastosowanie: nierówność Grönwalla-Bellmana
Dla nieujemnej $w(t)\le C+\int_{t_0}^t v(\xi)w(\xi)\,d\xi$, $v\ge0$.
Pomocnicza $\phi(t)=C+\int_{t_0}^t v w\,d\xi$, $w\le\phi$, $\dot\phi=vw\le v\phi$.
Układ 1: $\dot x=f_1(t,x):=vx-(v\phi-\dot\phi)$, $x(t_0)=C$. Nawiasy nieujemne.
Majoryzujący: $\dot x=f_2(t,x):=vx$, $x(t_0)=C$, rozwiązanie $x(t)=Ce^{\int_{t_0}^tv\,d\xi}$.
Zgodnie z twierdzeniem $w\le\phi\le Ce^{\int_{t_0}^tv\,d\xi}$.
Co jest istotne:
- Majoryzacja działa przy $f_1\le f_2$ i $\hat x_1\le\hat x_2$.
- Jakobiany rozkładają się na diagonalną $U$ (nieujemną) i $B$ (nieujemną).
- Dowód poprzez homotopię i metodę ściśnięcia.
- Bezpośredni związek z nierównością Grönwalla dla oszacowań całkowych.
- Zastosowanie: oszacowanie rozwiązań nieliniowych równań różniczkowych zwyczajnych prostymi funkcjami wykładniczymi.
Podsumowanie
Twierdzenie dostarcza narzędzia do jakościowej analizy dynamiki bez jawnego całkowania. Warunki na jakobiany zapewniają monotoniczność homotopii, co jest kluczowe dla zachowania nierówności.
— Editorial Team
Brak komentarzy.