• Nie Znaleziono Wyników

Rozważ- my równanie różniczkowe cząstkowe liniowe, jednorodne rzędu pierwszego na zbiorze U ⊂ Rn tj

N/A
N/A
Protected

Academic year: 2021

Share "Rozważ- my równanie różniczkowe cząstkowe liniowe, jednorodne rzędu pierwszego na zbiorze U ⊂ Rn tj"

Copied!
4
0
0

Pełen tekst

(1)

WYKŁAD II

2. Równania różniczkowe cząstkowe liniowe

2.1. Równania różniczkowe cząstkowe liniowe jednorodne rzędu I. Rozważ- my równanie różniczkowe cząstkowe liniowe, jednorodne rzędu pierwszego na zbiorze U ⊂ Rn tj. równanie postaci:

(1)

n

X

i=1

ai(x)∂u

∂xi(x) = 0, gdzie ai są funkcjami ciągłymi na zbiorze U .

Niech

A(x) = [a1(x), . . . , an(x)].

Wówczas równanie (1) można zapisać w postaci

hA(x), ∇u(x)i = 0 x ∈ U, gdzie h·, ·i jest standardowym iloczynem skalarnym w Rn.

Uwaga 2.1. Warunek hA(x), ∇u(x)i = 0 oznacza, że pole A jest styczne do poziomic funkcji u. Zatem krzywe całkowe pola A leżą w poziomicach u.

Istotnie, niech χ : [a, b] → U , χ(t) = (x1(t), . . . , xn(t)), t ∈ [a, b] będzie krzywą całkową pola A tzn.

˙

χ(t) = A(χ(t)) t ∈ [a, b].

Wówczas d

dt(u ◦ χ)(t) =

n

X

i=1

∂u

∂xi(χ(t)) · x0i(t) =

n

X

i=1

ai(χ(t))∂u

∂xi(χ(t)) = 0.

Zatem funkcja u ◦ χ jest funkcja stałą.

Krzywą całkową pola A nazywamy charakterystyką równania (1). Układ

˙

χ(t) = A(χ(t)) nazywamy układem charakterystycznym równania (1).

Funkcję ϕ : D → R, D ⊂ U klasy C1 spełniającą warunek ϕ ◦ χ = const

(stałą na charakterystyce) nazywamy całką pierwszą równania (1)

Uwaga 2.2. Z powyższych rozważań wynika, że całki pierwsze są rozwiąza- niami równia (1).

Niech φ : Rn → Rn−1, φ = (ϕ1, ϕ2, . . . , ϕn−1) będzie równaniem ogólnym opisującym krzywa całkowe pola A na zbiorze D, tzn.

φ(χ(t)) = const.

1

(2)

2

Wówczas każda współrzędna ϕi : Rn → R, odwzorowania φ, jest całką pierwszą równania (1). Zatem dla funkcji

u = F ◦ φ, gdzie F : Rn−1 → R, F ∈ C1(Rn−1) mamy

n

X

i=1

ai(x)∂u

∂xi

(x) =

n

X

i=1

ai(x)

n

X

j=1

∂F

∂ϕj

(φ(x))∂ϕj

∂xi

(x)

= 0 Zatem pokazaliśmy

Twierdzenie 2.3. Dla dowolnej funkcji F : Rn−1→ R, F ∈ C1(Rn−1) funkcja u(x) = F (φ(x)), x ∈ D ⊂ Rn

jest rozwiązaniem równania (1) dla x ∈ D ⊂ U , gdzie φ = (ϕ1, ϕ2, . . . , ϕn−1) jest równaniem ogólnym opisującym krzywa całkowe pola A na zbiorze D.

W kolejnym kroku należy pokazać, że każde rozwiązanie równania (1) jest postaci u = F ◦ φ.

Niech zatem u będzie rozwiązaniem równania (1) na zbiorze D, φ : Rn Rn−1 równaniem ogólnym opisującym charakterystyki. Ponieważ u jest stała na charakterystyce φ−1(y), y ∈ Rn−1 więc dla dowolnych x1, x2 ∈ φ−1(y)

u(x1) = u(x2).

Zatem dobrze określona jest funkcja F : Rn−1→ R F (y) = u(x),

gdzie x jest dowolnym elementem ze zbioru φ−1(y). Wówczas (F ◦ φ)(x) = F (φ(x)) = F (y) = u(x).

Stąd i z twierdzenia 2.3

Twierdzenie 2.4. Funkcja u : Rn → R jest rozwiązaniem równania (1) na zbio- rze D ⊂ Rn wtedy i tylka wtedy gdy jest postaci

u = F ◦ φ,

gdzie φ : Rn→ Rn−1równaniem ogólnym opisującym charakterystyki równania (1) na zborze D, zaś F : Rn−1 → R, jest dowolną funkcją klasy C1.

Przykład 2.5. Rozważmy równanie y∂u

∂x − x∂u

∂y = 0

(3)

3

dla (x, y) ∈ R2. Wówczas A = [y, −x]. Szukamy charakterystyk czyli krzywych całkowych χ(t) = (x(t), y(t)) pola A, wobec tego układ charakterystyczny rów- nania przyjmuje postać

( x0(t) = y(t) y0(t) = −x(t).

Stąd zależność

x2(t) + y2(t) = C, C ∈ R

opisuje charakterystyki równania. Zatem φ(x, y) = x2+y2, (x, y) ∈ R2. Na mocy twierdzenia 2.4 funkcja

u(x, y) = F (x2+ y2), F ∈ C1(R) jest rozwiązaniam rozważanego równania na zbiorze D = R2.

2.2. Problem Cauchy’ego dla równania różniczkowego cząstkowego liniowe- go jednorodnego rzędu I.

Niech S ⊂ U będzie n − 1 wymiarową hiperpowierzchnią. Niech ω : S → R będzie ustaloną funkcją klasy C1na S. Warunkiem początkowym dla równania (1) nazywamy warunek

(2) u(x) = ω(x) dla x ∈ S

Zagadnienie polegające na wyznaczeniu rozwiązania równania (1) spełnia- jącego warunek (2) nazywamy problemem początkowym lub problemem Cau- chy’ego.

Twierdzenie 2.6. Niech x0 będzie takim punktem hiperpowierzchni S, że w pewnym otoczeniu punktu x0 charakterystyki nie są styczne do S. Wówczas istnieje otoczenie D ⊂ U punktu x0 w przestrzeni Rn takie, że problem Cau- chy,ego

( Pn

i=1ai(x)∂x∂u

i = 0 dla x ∈ U u(x) = ω(x) dla x ∈ S ma dokładnie jedno rozwiązanie na zbiorze D.

Dowód. Niech φ : Rn → Rn−1 będzie równaniem ogólnym charakterystyk.

Wówczas rzDφ = n − 1 oraz KerDφ jest zbiorem wektorów stycznych do pozimic φ. Rozważmy odwzorowanie φ|S : S → Rn−1. Niech Ux0 będzie otocze- niem punktu x0 takim, że charakterystyki przecinają S pod niezerowym kątem.

Wówczas

rzDφ|S∪Ux0 = n − 1.

(4)

4

Stąd i z twierdzenia o lokalnym odwracaniu odwzorowań istnieją zbiory V ⊂ Rn−1, D ⊂ S ∪ Ux0 oraz odwzorowanie regularne

φ−1|S∪U

x0 : V → D.

Przyjmując

F = ω ◦ φ−1|S∪U

x0 : V → R oraz

u = F ◦ Φ

na mocy twierdzenia 2.3 otrzymujemy, że u jest rozwiązaniem równania (1) na zbiorze D. Ponadto

u|S∪D = (F ◦ φ)|S∪D = ω.

Niech teraz ˆu będzie innym rozwiązaniem równania (1) w otoczeniu D punktu x0 spełniającym warunek (2). Wówczas

ˆ

u = ˆF (φ), F : Rˆ n−1 → R, F ∈ Cˆ 1(Rn−1).

Ustalmy x ∈ D. Niech ˆx = (φ−1|S∪D(φ(x))) ∈ S ( ˆx ∈ S jest punktem leżącym na tej samej charakterystyce co x). Wówczas

u(x) = ˆˆ F (φ(x)) = ˆF (φ(ˆx)) = ˆu(ˆx) = ω(ˆx) = u(x).

Zatem u jest jednoznaczne na D. 

Cytaty

Powiązane dokumenty

Jest to równanie o zmiennych rozdzielonych.... Jest to równanie o

Rozwiązanie równania (1) jest sumą rozwiązania (całki ogólnej) równania jednorodnego (2) (tę całkę będziemy oznaczać COJ) i dowolnego rozwiązania (całki szczególnej)

Do równania n-tego rzędu można także sprowadzić układy n równań różniczkowych liniowych pierwszego rzędu.

Do równania n-tego rzędu można także sprowadzić układy n równań różniczkowych liniowych pierwszego rzędu.

→ jeśli rozwiązanie startowe jest „bliskie” dokładnemu to ilość iteracji może być mała (rel. Poissona nie trzeba jej nawet tworzyć (zysk w postaci ograniczenia

Zanim przejdziemy do dalszej części wykładu przypomnijmy, że jedynymi zbiorami spój- nymi na prostej R są: zbiór pusty, zbiory jednoelementowe i dowolne przedziały.. Jest

Równania różniczkowe cząstkowe Równanie

Stosując metodę Fouriera wyznacz kształt struny w dowolnej chwili t.. Jak zmieni się