Rownania rozniczkowe, matma


Równania różniczkowe liniowe cząstkowe rzędu drugiego.

Def. RR cząstkowym liniowym rzędu drugiego funkcji niewiadomej 0x01 graphic
nazywamy równanie

(1)0x01 graphic
, gdzie funkcje 0x01 graphic
są klasy 0x01 graphic
w pewnym obszarze 0x01 graphic
.

Def. Wyróżnikiem równania (1) nazywamy funkcję

(2) 0x01 graphic

Def. Jeżeli w każdym punkcie obszaru 0x01 graphic

(a) 0x01 graphic
, to równanie (1) jest typu hiperbolicznego

(b) 0x01 graphic
, to równanie (1) jest typu parabolicznego

(c) 0x01 graphic
, to równanie (1) jest typu hiperbolicznego

Przykładami kolejnych trzech typów są następujące równania

  1. Równanie fali płaskiej lub struny drgającej

0x01 graphic

  1. Równanie przewodnictwa cieplnego

0x01 graphic

  1. Równanie Laplace'a na płaszczyźnie

0x01 graphic

Jeśli znaku wyróżnika nie da się ustalić , to równanie (1) nazywamy typu mieszanego

Ćwiczenie . Znaleźć obszary w których równanie jest hiperboliczne, eliptyczne, paraboliczne

0x01 graphic

0x01 graphic

Tw.1 . Znak wyróżnika 0x01 graphic
nie ulega zmianie przy dowolnej zmianie zmiennych

(3) 0x01 graphic
0x01 graphic

gdzie funkcje 0x01 graphic
, 0x01 graphic
mają ciągłe pochodne cząstkowe i wyznacznik(jakobian)

0x01 graphic

jest różny od zera w obszarze 0x01 graphic

Def. Wyznacznik 0x01 graphic
nazywamy jakobianem, a przekształcenia (3) dla których jakobian jest różny od zera przekształceniami nieosobliwymi lub jakobiano - niezależnymi.

Fakt, że jakobian jest różny od zera gwarantuje lokalną odwracalność przekształcenia względem 0x01 graphic
, tzn 0x01 graphic

Przechodząc do nowych zmiennych 0x01 graphic
otrzymujemy równanie cząstkowe rzędu drugiego funkcji niewiadomej 0x01 graphic
następującej postaci

0x01 graphic
gdzie

0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic
0x01 graphic

0x01 graphic

0x01 graphic

0x01 graphic

Charakterystyki równania różniczkowego liniowego cząstkowego

Def. Charakterystykami RR cząstkowego nazywamy rozwiązania układu równań różniczkowych zwyczajnych

0x01 graphic

Równania te można zapisać w postaci

0x01 graphic
0x01 graphic

lub

0x01 graphic
0x01 graphic

Z wzorów tych wynika, że równania typu hiperbolicznego (0x01 graphic
) ma dwie charakterystyki

(4) 0x01 graphic
, 0x01 graphic

gdzie 0x01 graphic
, 0x01 graphic
są całkami pierwszymi.

Równanie typu parabolicznego (0x01 graphic
) ma jedną charakterystykę rzeczywistą

(5) 0x01 graphic
.,

a równanie typu eliptycznego (0x01 graphic
) dwie charakterystyki zespolone. ,

(6) 0x01 graphic
, 0x01 graphic

Przykład . Znaleźć charakterystyki równania

(a) 0x01 graphic

Równanie jest typu hiperbolicznego, 0x01 graphic

Charakterystyki równania maja postać 0x01 graphic

Rozwiązaniami układu RR zwyczajnych 0x01 graphic
i 0x01 graphic
0x01 graphic
, 0x01 graphic
i to są charakterystyki równania (a)

(b) 0x01 graphic

Równanie jest typu eliptycznego, 0x01 graphic

Charakterystyki równania mają postać 0x01 graphic

Rozwiązaniami układu RR zwyczajnych 0x01 graphic
i 0x01 graphic
0x01 graphic
i 0x01 graphic
. Stąd 0x01 graphic
i 0x01 graphic

Tw 2. Istnieją nieosobliwe przekształcenie zmiennych typu (3), za pomocą których RR (1) można sprowadzić do następujących postaci kanonicznych

0x01 graphic
w przypadku RR typu hiperbolicznego (0x01 graphic
)

0x01 graphic

0x01 graphic
w przypadku RR typu parabolicznego (0x01 graphic
)

0x01 graphic

0x01 graphic
w przypadku RR typu eliptycznego (0x01 graphic
)

0x01 graphic

Jeżeli RR (1) jest typu hiperbolicznego i chcemy uzyskać jego postać kanoniczną , to przechodzimy do nowych zmiennych 0x01 graphic
określonych wzorami

0x01 graphic
0x01 graphic

gdzie 0x01 graphic
są funkcjami występującymi w zależnościach (4)

Jeżeli RR (1) jest typu parabolicznego i chcemy uzyskać jego postać kanoniczną, to przechodzimy do nowych zmiennych 0x01 graphic
określonych wzorami

0x01 graphic
0x01 graphic

lub

0x01 graphic
0x01 graphic

gdzie 0x01 graphic
jest funkcją występującą w zależności (5), a 0x01 graphic
jest dowolną funkcją jakobianowi niezależną od 0x01 graphic
.

Jeżeli RR (1) jest typu eliptycznego i chcemy uzyskać jego postać kanoniczną , to przechodzimy do nowych zmiennych 0x01 graphic
określonych wzorami

0x01 graphic
0x01 graphic

gdzie 0x01 graphic
są funkcjami występującymi w zależnościach (6).

Przykład . Sprowadzić równanie cząstkowe

(a) 0x01 graphic

do postaci kanonicznej, a następnie rozwiązać je przy danych warunkach początkowych

(b) 0x01 graphic
, 0x01 graphic

Równanie jest typu hiperbolicznego 0x01 graphic
. Znajdziemy postać kanoniczną RR (a). W tym celu rozwiążemy równanie charakterystyk

0x01 graphic

Przedstawiają one układ równań zwyczajnych

0x01 graphic
, 0x01 graphic

Skąd otrzymujemy dwie całki pierwsze

0x01 graphic
0x01 graphic

Dokonujemy zamiany zmiennych

0x01 graphic
0x01 graphic

Łatwo sprawdzić, że 0x01 graphic

Obliczamy na podstawie wzorów 0x01 graphic
0x01 graphic
, 0x01 graphic
, 0x01 graphic
.

Wobec tego RR (a) przejdzie w równanie

0x01 graphic

Rozwiązaniem równania jest funkcja 0x01 graphic
. Podstawiając wzory na zamianę zmiennych mamy

(c) 0x01 graphic

Z warunków początkowych (b) wynika, że rozwiązanie (c) musi spełniać równania

(d) 0x01 graphic

Rozwiązując układ równań (d) otrzymujemy kształt funkcji 0x01 graphic
.

0x01 graphic
, 0x01 graphic
. stąd 0x01 graphic

Przykład. Sprowadzić do postaci kanonicznej równanie cząstkowe

(a) 0x01 graphic

Równanie jest typu parabolicznego, ponieważ 0x01 graphic

Rozwiązujemy charakterystyki

(b) 0x01 graphic

Skąd (c) 0x01 graphic

Równanie (c) ma całkę pierwszą 0x01 graphic
. Ażeby sprowadzić RR do postaci kanonicznej określamy przekształcenie

0x01 graphic
, 0x01 graphic

0x01 graphic
. Funkcje są jakobianowo niezależne.

Obliczamy 0x01 graphic
, 0x01 graphic
0x01 graphic
, 0x01 graphic

oraz

0x01 graphic
0x01 graphic
0x01 graphic

0x01 graphic
0x01 graphic
0x01 graphic

I podstawiamy do wzorów (*,*). Stąd

0x01 graphic
, 0x01 graphic
, 0x01 graphic
, 0x01 graphic

Postać kanoniczna równania jest następująca

(d) 0x01 graphic

RR (d) możemy rozwiązać podstawiając za 0x01 graphic
.

Wówczas RR (d) przyjmie postać 0x01 graphic
. Jest to RR liniowe .Rozwiązaniem tego równania jest 0x01 graphic
. Wobec czego 0x01 graphic
, a stąd

0x01 graphic

Przykład . Sprowadzić do postaci kanonicznej RR cząstkow

(a) 0x01 graphic

RR jest typu eliptycznego 0x01 graphic
Rozwiązujemy równania charakterystyk 0x01 graphic

0x01 graphic

0x01 graphic
0x01 graphic

0x01 graphic
0x01 graphic

Ażeby sprowadzić RR do postaci kanonicznej określamy przekształcenie

0x01 graphic
, 0x01 graphic

Obliczamy 0x01 graphic
, 0x01 graphic
,0x01 graphic

Równanie (a) przejdzie w równanie .0x01 graphic
.



Wyszukiwarka