Professional Documents
Culture Documents
Pdjednacine PDF
Pdjednacine PDF
1 Opšti pojmovi 3
1.1 Definicija parcijalne diferencijalne jednačine . . . . . . . . . . 3
1.2 Formiranje parcijalne jednačine . . . . . . . . . . . . . . . . . 7
1.3 Potpuni, opšti, singularni integral . . . . . . . . . . . . . . . . 11
1.3.1 Potpuni, opšti, partikularni integral . . . . . . . . . . . 11
1.3.2 Lagranžova teorija integrala . . . . . . . . . . . . . . . 12
1.3.3 Košijev integral . . . . . . . . . . . . . . . . . . . . . . 15
1
2 SADRŽAJ
PREDGOVOR
3
4 POGLAVLJE 1. OPŠTI POJMOVI
∂u ∂u ∂u
nepoznata funkcija, a ∂x 1
, ∂x2
, ... , ∂xn
parcijalni izvodi funkcije u, nazivamo
parcijalnom diferencijalnom jednačinom prvog reda nepoznate funkcije u od
n nezavisno promenljivih. (Podrazumeva se da bar jedan od ovih parcijalnih
izvoda stvarno figuriše, tj. da F nije konstantna u odnosu na sve njih.)
Rešenjem parcijalne jednačine (1.1) nazivamo svaku funkciju
u = ϕ(x1 , x2 , . . . , xn )
pripada D i važi
¡ ¢
F x0 , y0 , ϕ(M0 ), ϕx (M0 ), ϕy (M0 ), ϕxx (M0 ), ϕxy (M0 ), ϕyy (M0 ) = 0.
F (x, y, z, p, q, r, s, t) = 0.
F (x, y, z, p, q) = 0.
F (x1 , x2 , . . . , xn , u, p1 , p2 , . . . , pn ) = 0.
Primer 1. Jednačina
∂z ∂z
z− = 0,
∂x ∂y
skraćeno: z − pq = 0, je jedna parcijalna jednačina prvog reda, a funkcija
z = xy − x je jedno njeno rešenje.
Primer 2. Jednačina
∂u ∂u ∂u
x1 + x2 + . . . + xn − nu = 0,
∂x1 ∂x2 ∂xn
tj.
x1 p1 + x2 p2 + . . . + xn pn − nu = 0,
je jedna parcijalna jednačina prvog reda nepoznate funkcije u od n nezavisno
promenljivih (n ≥ 2). Jedno njeno rešenje je funkcija u = x1 x2 · ... · xn .
Primer 3. Kao primer parcijalne jednačine drugog reda može da posluži
jednačina
∂2z ∂2z
+ = 0.
∂x2 ∂y 2
Funkcije
z = x2 − y 2 , z = ex cos y, z = ln(x2 + y 2 )
su neka njena rešenja.
6 POGLAVLJE 1. OPŠTI POJMOVI
z = x + y, z = x2 + sin y, z = ex + ln(xy)
1 1
C1 = q − x2 , C2 = p − y2,
2y 2x
1
z= pq.
4xy
4xyz − pq = 0.
8 POGLAVLJE 1. OPŠTI POJMOVI
p(X − x) + q(Y − y) − (Z − z) = 0.
z = A2 x2 + 2ABxy + B 2 y 2 + Cx + Dy + E,
z = (x + C1 ) (y + C2 ) ,
promenljive x i y, i neka je
z = V (x, y, C1 , C2 ), (1.4)
∂V ∂V 0
+ ψ (C1 ) = 0. (1.9)
∂C1 ∂C2
Mora biti ∂C ∂x
1
6= 0 ili ∂C∂y
1
6= 0, jer bi inače C1 bila konstanta, a s njom i
C2 (= ψ(C1 )). (Mi tražimo funkcije C1 i C2 koje nisu obe konstantne.) Na
primer, uzmimo da je ∂C ∂x
1
6= 0. Tada možemo prvu jednakost (1.10) da
∂C1
podelimo sa ∂x , što daje (1.9). Obrnuto, iz (1.9) možemo dobiti jednakosti
(1.10) množenjem sa ∂C ∂x
1
i ∂C∂y
1
. Dakle, jednakosti (1.7) su zaista ekvivalentne
jednakosti (1.9).
Ako nadjemo funkcije C1 i C2 koje zadovoljavaju uslov C2 = ψ(C1 ) i
(1.9), i uvrstimo ih u (1.5), tada dobijemo jedno rešenje jednačine (1.3). Ovo
rešenje zavisi od jedne proizvoljne funkcije ψ.
Eliminacijom funkcije ψ iz tog rešenja i odgovarajućih izvodnih jednakosti
dobiće se samo jednačina (1.3), jer su ove izvodne jednakosti iste kao i za jed-
nakost (1.4), tj. p = ∂V∂x
i q = ∂V ∂y
(jer je uslov (1.7) ispunjen), a eliminacijom
konstanti C1 i C2 iz jednakosti (1.4) i njenih izvodnih jednakosti dobija se
samo jednačina (1.3), jer je funkcija (1.4) potpuni integral jednačine (1.3).
Prema tome, dobijeno rešenje jednačine (1.3) koje zavisi od proizvoljne
funkcije ψ jeste njen opšti integral.
∂V ∂V
II. Ako nadjemo funkcije C1 i C2 takve da je ∂C 1
= 0 i ∂C 2
= 0, i
uvrstimo ih u (1.5), tada dobijemo jedno rešenje jednačine (1.3), jer je i
u tom slučaju ispunjen uslov (1.7). Ovo rešenje ne sadrži ni proizvoljne
konstante ni proizvoljne funkcije. Ovakvo rešenje jednačine (1.3) nazovimo
singularni integral.
Geometrijski protumačen, singularni integral jednačine (1.3) predstavlja
obvojnicu dvoparametarske familije površi koja je zadata relacijom (1.4), tj.
koja predstavlja geometrijsku interpretaciju potpunog integrala (1.4).
Može se dokazati da se svako rešenje jednačine (1.3) može dobiti iz njenog
potpunog integrala (1.4), bilo neposredno, tj. dodeljivanjem nekih vrednosti
proizvoljnim konstantama C1 i C2 , bilo varijacijom konstanti onako kako je
to ovde izloženo.
1.3. POTPUNI, OPŠTI, SINGULARNI INTEGRAL 15
ili ½
xn = xn0
, (1.11)
u = u0 (x1 , x2 , . . . , xn−1 )
gde je xn0 dati broj a u0 zadata funkcija.
Za n = 2 jednakosti (1.11) glase
½
y = y0
(1.12)
z = z0 (x)
gde je T neka oblast u prostoru Rn−1 , tada odredjuju skup tačaka oblika
(x1 , x2 , . . . , xn , u) u prostoru Rn+1 , koji se naziva n − 1-dimenzionalna mno-
gostrukost. Po analogiji sa slučajem n = 2 sada se može postaviti uslov da
integralna površ jednačine (1.1) sadrži mnogostrukost (1.13), tj. da bude
∂V (x, y0 , C1 , C2 )
= z00 (x), (1.16)
∂x
pri čemu su C1 i C2 ili konstante ili nekonstantne funkcije C1 (x, y) i C2 (x, y),
s tim što je tada u (1.15) i (1.16) C1 = C1 (x, y0 ) i C2 = C2 (x, y0 ). U ovom
drugom slučaju (1.16) se dobija iz uslova p = ∂V∂x
koji sledi iz prve jednakosti
(1.6) i prve jednakosti (1.7). (Videti prethodni paragraf.)
Iz sistema jednačina (1.15)+(1.16) možemo (bar u principu) naći C1 i C2
u funkciji od x. Ako se pritom ispostavi da su C1 i C2 konstante, onda te
konstante zamenjujemo u (1.4) i tako dobijamo Košijev integral neposredno
iz potpunog.
Ako se za C1 i C2 dobiju nekonstantne funkcije od x, tada se eliminacijom
x može uspostaviti veza izmedju funkcija C1 i C2 , npr. u obliku C2 = ψ(C1 )
(ili C1 = ψ(C2 )). Sada se C1 i C2 , kao funkcije od x i y, nalaze iz uslova
C2 = ψ(C1 ) i (1.9) (kao u prethodnom paragrafu). Na kraju se dobijene
funkcije uvrste umesto C1 i C2 u (1.4) i tako se dobije traženi Košijev integral
jednačine (1.3).
Primer 1. Nadjimo Košijev integral parcijalne jednačine z− pq = 0 koji
odgovara Košijevom uslovu ½
y=0
z = x2 ,
1.3. POTPUNI, OPŠTI, SINGULARNI INTEGRAL 17
(x + C1 ) C2 = x2
C2 = 2x.
y + C2 + (x + C1 )(−4) = 0
(x + C1 )C2 = x
,
C2 = 1
19
20 POGLAVLJE 2. PARCIJALNE JEDNAČINE PRVOG REDA
u = ψ(x1 , x2 , ..., xn )
je rešenje jednačine (2.1) u oblasti B ako i samo ako je ψ jedan prvi integral
sistema (2.2).
Dokaz. Neka je (ϕ1 , ϕ2 , ..., ϕn ) bilo koje rešenje sistema (2.2), na nekom
intervalu I. Tada je
d
dt
ψ (ϕ1 (t), ϕ2 (t), ..., ϕn (t)) =
P n
∂ψ(ϕ1 (t),ϕ2 (t),...,ϕn (t)) dϕi (t)
= ∂xi dt
=
i=1 (2.5)
Pn
∂ψ(ϕ1 (t),ϕ2 (t),...,ϕn (t))
= ∂xi
Xi (ϕ1 (t), ϕ2 (t), ..., ϕn (t))
i=1
za svako t ∈ I.
Ako je u = ψ(x1 , x2 , ..., xn ) rešenje jednačine (2.1), onda je poslednji zbir
u (2.5) jednak nuli, pa je i
d
ψ (ϕ1 (t), ϕ2 (t), ..., ϕn (t)) = 0, t ∈ I, (2.6)
dt
što znači da je ψ (ϕ1 (t), ϕ2 (t), . . . , ϕn (t)) = C, t ∈ I, za neku konstantu C.
Kako je (ϕ1 , ϕ2 , . . . , ϕn ) proizvoljno rešenje sistema (2.2), to je funkcija (2.4)
jedan prvi integral sistema (2.2), prema definiciji prvog integrala.
Obrnuto, neka je ψ prvi integral sistema (2.2). Tada važi (2.6) za svako
rešenje sistema (2.2), pa je poslednji zbir u (2.5) jednak nuli, što znači da
ψ zadovoljava jednačinu (2.1) u svakoj tački oblika (ϕ1 (t), ϕ2 (t), . . . , ϕn (t)).
Medjutim, svaka tačka oblasti B je takvog oblika, jer za svaku tačku iz B sa
koordinatama x10 , x20 , . . . , xn0 , i za bilo koji broj t0 , postoji rešenje sistema
(2.2) koje ispunjava uslov (ϕ1 (t0 ), ϕ2 (t0 ), . . . , ϕn (t0 )) = (x10 , x20 , . . . , xn0 ),
na osnovu Košijeve teoreme o egzistenciji i jedinstvenosti rešenja Košijevog
problema za sistem diferencijalnih jednačina. Prema tome, funkcija u =
ψ(x1 , x2 , ..., xn ) zadovoljava jednačinu (2.1) u svakoj tački oblasti B, tj. ona
je jedno rešenje te jednačine u celoj oblasti B.
Dokaz je završen.
Ova teorema pokazuje da su rešenja parcijalne jednačine (2.1) u oblasti
B upravo oni prvi integrali sistema (2.2) koji imaju oblik (2.4), tj. oni koji
ne zavise od t, već su funkcije samo od x1 , x2 , . . . , xn . Može se dokazati
da sistem (2.2) može da ima najviše n − 1 medjusobno nezavisnih u oblasti
B prvih integrala oblika (2.4), pod pretpostavkom da su funkcije Xi , i =
1,2,. . .,n, neprekidno diferencijabilne u oblasti B i da u svakoj tački oblasti
B bar jedna od tih funkcija ima vrednost različitu od nule.
2.1. HOMOGENE LINEARNE JEDNAČINE PRVOG REDA 21
ima rang n − 1.
Može da se dokaže i sledeće: ako je ψ neki prvi nitegral sistema (2.2)
nezavisan od t, i M0 ∈ B neka tačka u kojoj gornja Jakobijeva matrica ima
rang n − 1, onda postoji neka okolina tačke M0 (sadržana u oblasti B) takva
da se u toj okolini ψ može predstaviti kao neprekidno diferencijabilna funkcija
od ψ1 , ψ2 , ...¡ , ψn−1 , tj. postoji
¢ neprekidno diferencijabilna funkcija f takva
da je ψ = f ψ1 , ψ 2 , ..., ψ n−1 u toj okolini.
Posledica ovoga i Teoreme 1 je, za nas važna, činjenica da je
¡ ¢
u = f ψ1 (x1 , x2 , . . . , xn ), ψ 2 (x1 , x2 , . . . , xn ), . . . , ψ n−1 (x1 , x2 , . . . , xn ) ,
(2.7)
gde je f proizvoljna neprekidno diferencijabilna funkcija od n−1-ne nezavisno
promenljive, opšti integral parcijalne jednačine (2.1). Zaista, lako je videti da
je funkcija (2.7) uvek neko rešenje jednačine (2.1), tj. prvi integral sistema
(2.2), jer su ψ1 , ψ2 , ... ,ψn−1 prvi integrali tog sistema. Sem toga, elimi-
nacijom funkcije f iz jednakosti (2.7) i njenih izvodnih jednakosti prvog reda
dobiće se samo jednačina (2.1). Naime, ako se dobije neka druga jednačina,
onda svako rešenje ψ jednačine (2.1) u svakoj tački M0 ∈ B zadovoljava i tu
drugu jednačinu, jer se, prema onome što je gore istaknuto, funkcija ψ može
predstaviti u obliku (2.7) u nekoj okolini tačke M0 , ako u toj tački Jakobijeva
matrica ima rang n − 1, a svaka od ostalih tačaka je granična vrednost niza
takvih tačaka. Prema tome, ta druga jednačina je posledica jednačine (2.1),
tako da se zaista eliminacijom f , iz (2.7) i odgovarajućih izvodnih jednakosti
prvog reda, dobija samo jednačina (2.1).
Primer 1. Nadjimo opšti integral parcijalne jednačine yp − xq = 0.
22 POGLAVLJE 2. PARCIJALNE JEDNAČINE PRVOG REDA
odakle sledi (jer je izraz u imeniocu jednak 0): xdx + ydy + zdz = 0, tj.
d (x2 + y 2 + z 2 ) = 0, i x2 + y 2 + z 2 = const. Dakle, ψ1 = x2 + x2 + z 2 . Još
jedan prvi integral koji ne zavisi od t, nalazimo na sličan način:
adx + bdy + cdz dt
= ,
a(bz − cy) + b(cx − az) + c(ay − bx) 1
adx + bdy + cdz = 0, d(ax + by + cz) = 0, ax + by + cz = const.; ψ2 =
ax + by + cz. Prema tome, opšti integral date parcijalne jednačine izgleda
ovako: ¡ ¢
u = f x2 + y 2 + z 2 , ax + by + cz ,
gde je f proizvoljna neprekidno diferencijabilna funkcija od dve nezavisno
promenljive.
Zadaci.
U zadacima 1. - 10. naći opšti integral³ parcijalne
´ jednačine:
x
1. xp + yq = 0, y 6= 0. (Rez.: z = f y .)
2. yp + xq = 0. (Rez.: z = f (x2 − y 2 ).)
³ 2 ´
3. (x2 + 1) p + xyq = 0. (Rez.: z = f x2y+1 .)
4. p + (2ex − y) q = 0. (Rez.: z = f (e2x − yex³).) ´
2
5. xux + yuy + z2 uz = 0, x 6= 0. (Rez.: u = f xy , zx .)
6. yux + zuz = 0, z > 0. (Rez.: u = f (y, ex z −y³).) ´
7. xux + yuy + xyuz = 0, y 6= 0. (Rez.: u = f xy , xy − 2z .)
¡ ¢
8. xzux + yzuy − xyuz = 0, x 6= 0. (Rez.: u = f xy , xy − z 2 .)
9. (y − z)2 ux + zuy + yuz = 0. (Rez.: u = f (y 2 − z 2 , 2x + (y − z)2 ).)
10. 2xzux + ³ 2yzuy + (z 2 ´− x2 − y 2 ) uz = 0, x 6= 0.
2 2 2
(Rez.: u = f xy , x +yx +z .)
∂Φ ∂Φ X ∂ϕ
n
−X + Xi = 0,
∂u ∂u i=1 ∂xi
a odatle sledi
X
n
∂ϕ
Xi = X,
i=1
∂xi
∂Φ
jer je, prema pretpostavci, 6= 0. Dakle, funkcija ϕ je tada rešenje jed-
∂u
načine (2.8). Kako je ϕ proizvoljna neprekidno diferencijabilna funkcija koja
zadovoljava (2.10) za neku vrednost konstante C, to je ovim ustanovljeno da
funkcija Φ ima svojstvo iz formulacije teoreme.
Dokaz je završen.
Prema ovoj teoremi, ako je Φ rešenje jednačine (2.9) u oblasti G i ∂Φ∂u
6= 0,
tada se rešavanjem jednačine (2.10) po u dobijaju funkcije od x1 , x2 , . . . , xn ,
koje su rešenja parcijalne jednačine (2.8). Pritom se umesto C može pisati
0, jer i funkcija Φ − C ispunjava iste uslove kao Φ, za svaki broj C.
Sistem diferencijalnih jednačina oblika (2.3) za homogenu linearnu parci-
jalnu jednačinu (2.9) glasi:
dx1 dx2 dxn du dt
= = ... = = = . (2.14)
X1 X2 Xn X 1
Ovaj sistem može da se pridruži neposredno jednačini (2.8), bez posredovanja
jednačine (2.9).
Prema onome što je utvrdjeno u prethodnom odeljku, ako su funkcije Xi ,
i = 1, 2, . . . , n, i X neprekidno diferencijabilne u oblasti G, ako je X12 + X22 +
. . . + Xn2 + X 2 6= 0 u svakoj tački oblasti G, i ako su ψ1 , ψ2 , . . . , ψn prvi
integrali sistema (2.14) nezavisni od t, koji su medjusobno nezavisni u oblasti
G, tada je opšti integral jednačine (2.9):
U = f (ψ1 (x1 , x2 , . . . , xn , u), ψ 2 (x1 , x2 , . . . , xn , u), . . . , ψ n (x1 , x2 , . . . , xn , u)) ,
26 POGLAVLJE 2. PARCIJALNE JEDNAČINE PRVOG REDA
Xn
∂f ∂ψi
6 0.
=
i=1
∂si ∂u
Ovaj postupak može dati neku integralnu površ jednačine (2.16) jedino
ako kriva K nije karakteristika te jednačine. Ako je K karakteristika, tada
opisani postupak dovodi samo do krive K. Inače, kroz karakteristiku može
da prolazi beskonačno mnogo integralnih površi. Ako se uzme neka kriva
K1 koja seče karakteristiku K, a sama nije karakteristika, onda se gornjim
postupkom može naći integralna površ koja sadrži K1 . Ta površ sadrži i K,
jer je K karakteristika kroz presečnu tačku krivih K1 i K.
U opštem slučaju postupak je potpuno analogan. Polazimo od jednačine
(2.8) i Košijevog uslova (1.14). Pritom pretpostavljamo da su funkcije X1 ,
X2 , . . . , Xn i X neprekidno diferencijabilne, da je X12 + X22 + . . . +Xn2 +
X 2 6= 0, i da imamo prve integrale ψ1 , ψ2 , . . . , ψn sistema (2.14), nezavisne
od t i medjusobno nezavisne u oblasti G. Eliminacijom parametara s1 , s2 ,
. . . , sn−1 iz jednakosti
¡ ¢
ψi ϕ1 (s1 , s2 , . . . , sn−1 ), ϕ2 (s1 , s2 , . . . , sn−1 ), . . . , ϕn+1 (s1 , s2 , . . . , sn−1 )
= Ci , i = 1, 2, . . . , n, (2.21)
y2
z= .
x2
Primer 4. Nadjimo Košijev integral parcijalne jednačine
yp + xq = z, x > 0,
2
koja prolazi kroz krivu K : y = 2, z = ex .
Za ovu kvazilinearnu parcijalnu jednačinu prvog reda sistem diferencijal-
nih jednačina za karakteristike glasi:
dx dy dz dt
= = = .
y x z 1
32 POGLAVLJE 2. PARCIJALNE JEDNAČINE PRVOG REDA
(x − y)z = C1 , x2 − y 2 = C2 .
2
Zamenimo ovde y sa 2 i z sa ex :
2
(x − 2)ex = C1 , x2 − 4 = C2 ,
x2 −y
što dovodi do još jednog prvog integrala: ψ2 = z
. Jednačine proizvoljne
2
karakteristike date parcijalne jednačine glase: z
x
= C1 , x z−y = C2 . Posle
zamene x sa 2 i z sa y − 4, dobijamo
y−4 4−y
= C1 , = C2 .
2 y−4
dz = P dx + Qdy (2.23)
dϕ(x, y; dx, dy) = P (x, y, ϕ(x, y)) dx + Q (x, y, ϕ(x, y)) dy, (x, y) ∈ E.
zx = P, zy = Q. (2.24)
F (x, y, z, p, q) = 0, (2.30)
dz = P dx + Qdy (2.33)
d ∂ ∂ d ∂ ∂
= +p , = +q .
dx ∂x ∂z dy ∂y ∂z
Sem toga, pisaćemo
¯ ¯ ¯ ¯
¯ F dF ¯ ¯ Fq dF ¯
[F, Φ] = ¯¯ p dx
dΦ
¯+¯
¯ ¯ Φq
dy
dΦ
¯,
¯
Φp dx dy
38 POGLAVLJE 2. PARCIJALNE JEDNAČINE PRVOG REDA
dP dQ
Py + QPz = Py + qPz = i Qx + P Qz = Qx + pQz = .
dy dx
dF dP dQ dΦ dP dQ
+ Fp + Fq = 0, + Φp + Φq = 0.
dy dy dy dy dy dy
dP dQ
− = 0,
dy dx
tj. [F, Φ] = 0.
2.3. METODA LAGRANŽ - ŠARPIJA 39
Ψ(x, y, z, p, q) = C2 ,
dx dy dz dp dq dt
= = = = = . (2.39)
−q −p −2pq −p −q 1
Iz jednakosti prve i pete razmere dobija se, bez teškoća, prvi integral Φ =
q − x. Uslov (2.32) je ispunjen za q 6= 0, što se lako proverava. Sada treba
rešiti po p i q sledeće jednačine:
z − pq = 0, q − x = C1 ,
(x + C1 )K 0 = x + C1 , K 0 = 1, K = y + C2 .
z − pq = 0, q − x = C1 , p − y = C2 ,
z = (x + C1 )(y + C2 ),
45
46 POGLAVLJE 3. PARCIJALNE JEDNAČINE DRUGOG REDA
ux = uξ ξ x + uη η x , uy = uξ ξ y + uη η y ,
uxx = uξξ ξ 2x + 2uξη ξ x¡η x + uηη η 2x +¢ uξ ξ xx + uη η xx ,
uxy = uξξ ξ x ξ y + uξη ξ x η y + η x ξ y + uηη η x η y + uξ ξ xy + uη η xy ,
uyy = uξξ ξ 2y + 2uξη ξ y η y + uηη η 2y + uξ ξ yy + uη η yy ,
x0 = x + y, y 0 = x − y,
48 POGLAVLJE 3. PARCIJALNE JEDNAČINE DRUGOG REDA
uξη + D2 uξ + E2 uη + F2 u = G2 . (3.13)
Novom smenom
ξ 0 = ξ + η, η 0 = ξ − η,
ova jednačina se dalje transformiše u jednačinu oblika
B
zx + zy = 0. (3.15)
A
Za funkciju ξ u (3.5) u ovom slučaju uzimamo neko dvaput neprekidno
diferencijabilno rešenje jednačine (3.15) čiji parcijalni izvodi prvog reda nisu
istovremeno jednaki nuli. (Dokazuje se da takvo rešenje postoji, na osnovu
pretpostavke da su A, B, C dvaput neprekidno diferencijabilne funkcije.) Za
η možemo uzeti, npr., funkciju η = x. Tada je uslov (3.6) ispunjen, jer iz
(3.15) sledi da je ξ y 6= 0 (inače bi ξ x i ξ y bili istovremeno jednaki nuli). Pri
ovakvom izboru funkcijâ (3.5) biće A1 = 0, a i B1 = 0, jer je
¡ ¢ 2
B1 = Aξ x η x + B ξ x η y + ξ y η x + BA ξ y η y =
¡ ¢ ¡ ¢
= Aη x ξ x + B ξ + Bη y ξ x + B
A y
ξ .
A y
Podelivši jednačinu (3.8) sa C1 (C1 6= 0 zbog A21 + B12 + C12 6= 0), u ovom
slučaju dobijamo
uηη + D2 uξ + E2 uη + F2 u = G2 .
Ovu jednačinu nazivamo kanonskim oblikom jednačine (3.4), u razmotrenom
slučaju.
50 POGLAVLJE 3. PARCIJALNE JEDNAČINE DRUGOG REDA
uξξ + uηη + D2 uξ + E2 uη + F2 u = G2 .
na kanonski oblik u okolini bilo koje tačke oblasti u kojoj je jednačina zadata.
Rešenje. Ova jednačina je zadata u otvorenoj gornjoj poluravni ravni
Oxy, tj. u oblasti S = {(x, y) : y > 0}. Kako je ∆ = −y, to je jednačina
eliptičkog tipa u oblasti S. Da bismo je sveli na kanonski oblik rešavamo
najpre kvadratnu jednačinu oblika (3.12): yλ2 + 1 = 0. Njena rešenja su √iy
i − √iy . Zatim formiramo pomoćne parcijalne jednačine oblika (3.11):
i i
zx − √ zy = 0, zx + √ zy = 0.
y y
−e−x λ2 + 2λ = 0.
zy = 0, zy − 2ex zx = 0.
1
u = ξ 2 η + f (ξ) + g(η),
2
gde su f i g proizvoljne dvaput neprekidno diferencijabilne funkcije jedne
nezavisno promenljive (u intervalu (−∞, +∞)). Ako se ovde umesto ξ napiše
x, a umesto η – 2y − e−x , dobiće se traženi opšti integral date parcijalne
jednačine:
1 ¡ ¢ ¡ ¢
u = x2 2y − e−x + f (x) + g 2y − e−x ,
2
gde su f i g proizvoljne dvaput neprekidno diferencijabilne funkcije jedne
nezavisno promenljive.
Primer 3. Odredimo rešenje parcijalne jednačine uxx −2uxy +uyy −4u = 0
koje zadovoljava uslov: u(x, 0) = ϕ(x), uy (x, 0) = ψ(x), gde su ϕ i ψ date
funkcije, takve da je ϕ triput, a ψ dvaput neprekidno diferencijabilna na
intervalu (−∞, +∞).
Rešenje. Naći ćemo rešenje date jednačine koje ispunjava postavljene
uslove tako što ćemo je svesti na kanonski oblik, naći opšti integral, a zatim
odrediti proizvoljne funkcije iz opšteg integrala tako da uslov bude zadovol-
jen.
Jednačina je paraboličkog tipa u celoj ravni Oxy, jer je ∆ = 0. Odgo-
varajuća kvadratna jednačina: λ2 − 2λ+ 1 = 0, ima dvostruko rešenje 1, tako
da u ovom slučaju imamo samo jednu pomoćnu parcijalnu jednačinu: zx −
zy = 0. Njeno rešenje z = x + y uzećemo za ξ, a η ćemo izjednačiti sa x:
ξ = x + y, η = x. Lako se proverava da su ove funkcije dvaput neprekidno
54 POGLAVLJE 3. PARCIJALNE JEDNAČINE DRUGOG REDA
uηη − 4u = 0.
Lako se nalazi opšti integral dobijene parcijalne jednačine (videti Primer
5. i Zadatak 5. u Odeljku 1.1). Dobija se:
u = f (ξ)e2η + g(ξ)e−2η ,
Zadaci.
U zadacima 1. — 5. svesti datu parcijalnu jednačinu na kanonski oblik u
okolini ma koje tačke oblasti u kojoj je jednačina zadata:
1. uxx − 2 sin x uxy − (3 + cos2 x) uyy − cos x uy = 0. (Rez.: uξη = 0.)
2. uxx + 4uxy + 5uyy = 0. (Rez.: uξξ + uηη = 0.)
3. uxx − 6uxy + 9uyy − ux + 2uy = 0. (Rez.: uηη − uξ − uη = 0.)
4. y 2 uxx + 2xyuxy + x2 uyy = 0, y > 0.
2ξ 2
(Rez.: uηη + ξ−η 2 uξ = 0, η − ξ > 0.)
utt = c2 ∇2 u, (3.16)
Isto tako, treba postaviti i neke početne uslove. Naime, kretanje tačaka žice
nije potpuno odredjeno jednačinom (3.17) i uslovima (3.18), tako da imamo
mogućnost da zadamo početno odstupanje u(x, 0) i početnu brzinu ut (x, 0).
Ovo dovodi do sledećih početnih uslova:
i
ut (x, 0) = g(x), 0 ≤ x ≤ l, (3.20)
gde su f i g neke poznate funkcije.
Prema tome, treba rešiti mešoviti problem (3.17)-(3.20), tj. naći funkciju
u = u(x, t) koja zadovoljava jednačinu (3.17), granične uslove (3.18) i početne
uslove (3.19) i (3.20). Rešićemo ovaj problem tzv. Furijeovom metodom, koja
se još naziva i metodom razdvajanja promenljivih, ili metodom proizvoda.
Proces rešavanja problema podelićemo na tri dela, koje ćemo nazivati ko-
racima. U prvom koraku svešćemo parcijalnu jednačinu (3.17) na dve obične
diferencijalne jednačine, u drugom ćemo naći beskonačno mnogo rešenja jed-
načine (3.17) koja zadovoljavaju granične uslove (3.18), a u trećem koraku
formiraćemo beskonačni red od tih rešenja, da bismo dobili rešenje koje zado-
voljava i početne uslove (3.19) i (3.20).
Prvi korak. Potražićemo rešenja jednačine (3.17) sledećeg oblika:
u = F (x)G(t), (3.21)
3.2. JEDNODIMENZIONALNA TALASNA JEDNAČINA 57
različita od nule.)
Medjutim, ako je C1 = C2 = 0, onda je F (x) ≡ 0 i zato u(x, t) ≡ 0, tako
da za k > 0 ne dobijamo rešenja kakva tražimo.
U slučaju k = 0, opšte rešenje jednačine (3.24) je F = C1 x + C2 , odakle
izlazi F (0) = C2 i F (l) = C1 l + C2 , tako da iz F (0) = F (l) = 0 sada sledi
C1 = C2 = 0, tj. F (x) ≡ 0 i u(x, t) ≡ 0, pa ćemo i ovaj slučaj isključiti iz
razmatranja.
Neka je k < 0, što ćemo izraziti ovako: k = −p2 za neki pozitivan broj p.
Tada jednačina (3.24) dobija oblik
F 00 + p2 F = 0.
G = An cos λn t + Bn sin λn t,
16k
P 1 h (−1)µ
+∞ i
(Rez.: u = π2 (4µ−1)2
√
2
− 1 sin(4µ − 1)x cos(4µ − 1)t+
µ=1
P 1 h (−1)µ
+∞ i
+ 16k
π2 (4µ−3)2
√
2
+ 1 sin(4µ − 3)x cos(4µ − 3)t.)
µ=1
7. Naći zakon slobodnog oscilovanja tanke elastične homogene žice (0 ≤
x ≤ l) koja je učvršćena na krajevima x = 0 i x = l, potegnuta u tački
x = 4l do rastojanja k (k > 0), a onda puštena da slobodno treperi, bez
saopštavanja početne brzine.
32k
P 1
+∞
(Rez.: u = 3π 2 n2
sin nπ
4
sin nπx
l
cos cnπt
l
.)
n=1
8. Tanka elastična homogena žica, koja je učvršćena na krajevima x = 0
i x = π, u početnom trenutku t = 0 zadovoljava uslove:
⎧
⎨ 0, 0 ≤ x ≤ π4 ,
u(x, 0) = 0, ut (x, 0) = k cos 2x, π4 ≤ x ≤ 3π4
, (k 6= 0).
⎩
0, 3π
4
≤ x ≤ π,
jednakosti (3.33) dobija uslov ϕ(0)+ ψ(0) = f (0) koji se odnosi na vrednosti
funkcija ϕ i ψ u tački x = 0. Dakle, uz uslov ϕ(0) = ψ(0) = 12 f (0), mora
biti C = 0.
Tako smo došli do sledećih jednačina za odredjivanje funkcija ϕ i ψ:
Z
1 x
ϕ(x) + ψ(x) = f (x), ϕ(x) − ψ(x) = g(ζ)dζ.
c 0
za t ≥ 0.
Razmotrimo prvu i treću jednakost (3.36), stavivši u njima x umesto ct:
Ako se x menja u intervalu [0, l], onda se l − x menja u istom intervalu, tako
da su nam desne strane jednakosti (3.37) poznate (s obzirom na (3.34)), pa
nam ove jednakosti pokazuju kako treba produžiti ψ na interval [−l, 0), a ϕ
na interval (l, 2l]. Ako se x menja u intervalu [l, 2l], onda se l − x menja
u intervalu [−l, 0], tako da su nam i tada poznate desne strane jednakosti
(3.37), pod pretpostavkom da su ϕ i ψ produžene na osnovu prethodnog
razmatranja. Kako se tada −x menja u intervalu [−2l, −l] a l + x u inter-
valu [2l, 3l], to nam jednakosti (3.37) pokazuju kako treba produžiti ψ na
interval [−2l, −l) a ϕ na (2l, 3l]. Dalje, na isti način, promena x u intervalu
[2l, 3l] daje vrednosti ψ na intervalu [−3l, −2l) i ϕ na intervalu (3l, 4l] itd.
Nastavljajući ovako bez kraja, dolazimo do produženja funkcije ψ na interval
(−∞, 0) i funkcije ϕ na interval (l, −∞).
Dalje produžavanje funkcija ϕ i ψ nije ničim uslovljeno, sem zahtevom
da se dobiju dvaput neprekidno diferencijabilne funkcije. Primetimo i da,
prema (3.31), vrednosti funkcije u za x ∈ [0, l] i t ≥ 0, koje su dovoljne za
rešenje problema koji razmatramo, ne zavise od vrednosti funkcija ϕ i ψ na
preostalim intervalima, tj. na intervalima (−∞, 0) (za ϕ) i (l, +∞) (za ψ).
Dovršimo produžavanje ϕ i ψ na primer tako da jednakosti (3.37) budu
tačne i za negativne vrednosti x. Takvo produžavanje može da se svede na
ono koje smo već izvršili. Naime, ako se u jednakostima (3.37) umesto x
stavi −x, one se mogu ovako napisati
ϕ(−x) = −ψ(x), ψ(l + x) = −ϕ(l − x). (3.38)
Isto se dobije i ako ϕ i ψ medjusobno zamene mesta. Kao što smo malopre
produžili ψ na interval (−∞, 0) a ϕ na interval (l, +∞) na osnovu jednakosti
(3.37), tako isto sada, na osnovu jednakosti (3.38), produžujemo ϕ na interval
(−∞, 0) a ψ na interval (l, +∞). Na taj način, funkcije ϕ i ψ su produžene
na celi interval (−∞, +∞). Kad su ϕ i ψ produžene, f i g se produžuju tako
da budu ispunjeni uslovi (3.33).
Vratimo se relacijama (3.37). Posle opisanog produžavanja funkcija ϕ i ψ
jednakosti (3.37) važe za svako x ∈ (−∞, +∞). Sada iz njih sledi ϕ(l + x) =
−ψ(l − x) = ϕ(x − l), tj. ϕ(x + 2l) = ϕ(x), i, na primer preko (3.38),
ψ(x + l) = ψ(x − l), tj. ψ(x + 2l) = ψ(x), što pokazuje da su (produžene)
funkcije ϕ i ψ periodične, sa periodom 2l. Ovo važi i za funkcije f i g, na
osnovu (3.33).
Iz (3.36) i (3.33) izlazi i da su (produžene) funkcije f i g neparne. Naime,
prva jednakost (3.36) znači ustvari da je ϕ(−x) = −ψ(x) i ψ(−x) = −ϕ(x),
što, zajedno sa prvom jednakošću (3.33), daje f (−x) = −ψ(x)− ϕ(x) =
−f (x), tj. f je neparna funkcija. Iz druge jednakosti (3.36) sledi ϕ0 (−x) =
ψ0 (x) i ψ0 (−x) = ϕ0 (x), što, zajedno sa drugom jednakošću (3.33), daje
g(−x) = cψ 0 (x)− cϕ0 (x) = −g(x), tj. i g je neparna funkcija.
3.2. JEDNODIMENZIONALNA TALASNA JEDNAČINA 65
i početne uslove
X
+∞
nπx
S(x, t) = Sn (t) sin , (3.50)
n=1
l
pri čemu je Z l
2 nπx
Sn (t) = S(x, t) sin dx. (3.51)
l 0 l
Iz (3.49) i (3.50) sledi
+∞ ³
X ´ nπx X
+∞
..
2 nπx
Gn + λn Gn sin = Sn (t) sin ,
n=1
l n=1
l
cnπ
gde je stavljeno l
= λn . Ova jednakost će biti zadovoljena ako (i samo ako)
je ..
Gn + λ2n Gn = Sn (t), n = 1, 2, . . . . (3.52)
.
Postavićemo još i uslov Gn (0) = Gn (0) = 0, da bismo postigli da funkcija w
ispunjava i uslove (3.47).
Primenom Laplasove transformacije lako se nalazi
Z t
1
Gn (t) = Sn (τ ) sin λn (t − τ )dτ , n = 1, 2, . . . .
λn 0
3.2. JEDNODIMENZIONALNA TALASNA JEDNAČINA 67
P
+∞
(−1)n
(Rez.: u = cos 2t sin 2x + 2 n3
(cos nt − 1) sin nx.)
n=1
2. Rešiti sledeći problem prinudjenog oscilovanja žice:
P
+∞ P
+∞
(Rez.: u = − π22 1
n2
sin nπt sin nπx + 12
π4
(−1)n nπt−sin
n4
nπt
sin nπx.)
n=1 n=1
3. Naći zakon oscilovanja tanke elastične homogene žice dužine l = 1 i
gustine ρ = 1, koja je učvršćena na krajevima x = 0 i x = 1, ako se zna da je
c = 10, ako je u početnom trenutku t = 0 žica potegnuta na sredini za 0.01
pa puštena bez početne brzine, i ako na žicu deluje spoljašnja sila F (x, t) =
0.01 sin πx sin ωt (ω — const., |ω| 6= 10π).
P (−1)ν−1
+∞
(Rez.: u = 0.08
π2 (2ν−1)2
cos 10(2ν − 1)t sin(2ν − 1)πx+
ν=1
68 POGLAVLJE 3. PARCIJALNE JEDNAČINE DRUGOG REDA
+ π(ω20.001
−102 π 2 )
(ω sin 10πt − 10π sin ωt) sin πx.)
4. Rešiti sledeći problem prinudjenog oscilovanja žice:
utt = uxx + x(x − l)t2 (0 ≤ x ≤ l, t ≥ 0);
u(0, t) = 0, u(l, t) = 0 (t ≥ 0);
u(x, 0) = 0, ut (x, 0) = 0 (0 ≤ x ≤ l).
8l4
P
+∞
2l2 −2l2 cos
(2ν−1)πt
−π2 (2ν−1)2 t2
(Rez.: u = π7
l
(2ν−1)7
sin (2ν−1)πx
l
.)
ν=1
i
ut (x, y, 0) = g(x, y), (x, y) ∈ D, (3.57)
gde su f i g poznate funkcije. Ovim uslovima zadaju se početno odstupanje
i početna brzina u trenutku t = 0 u svakoj tački (x, y) membrane.
Prema tome, treba da se reši mešoviti problem (3.54)-(3.57) za dvodi-
menzionalnu talasnu jednačinu. Primenićemo Furijeovu metodu, kao i pri
rešavanju problema treperenja ograničene žice. Proces rešavanja problema i
ovde ćemo podeliti na tri dela, koraka.
Prvi korak. Najpre odredjujemo rešenja jednačine (3.54) koja se mogu
predstaviti u obliku proizvoda jedne funkcije od x, jedne funkcije od y i jedne
funkcije od t:
u = H(x)Q(y)G(t). (3.58)
Kad se funkcija ovakvog oblika uvrsti u jednačinu (3.54), dobije se jednačina
.. ¡ ¢
HQG = c2 Hx00 Q + HQ00y G,
X
+∞ X
+∞
mπx nπy
Bmn λmn sin sin = g(x, y).
m=1 n=1
a b
Ovde Bmn λmn treba da budu koeficijenti dvojnog Furijeovog reda funkcije g,
što znači
Z b Z a
4 nπy mπy
Bmn = sin dy g(x, y) sin dx. (3.64)
abλmn 0 b 0 a
Funkcija u zadata u obliku reda (3.62), pri čemu su umn funkcije (3.61)
a koeficijenti Amn i Bmn izračunati po formulama (3.63) i (3.64), predstavlja
72 POGLAVLJE 3. PARCIJALNE JEDNAČINE DRUGOG REDA
Pritom je u = u(r cos ϕ, r sin ϕ, t), što ćemo pojednostavljeno pisati kao u =
u(r, ϕ, t).
S obzirom na ranije datu napomenu o vrednosti Laplasijana u polarnim
koordinatama za r = 0, tražena funkcija u ovde treba da ispuni sledeće
uslove:
(i) da bude rešenje jednačine (3.67) u oblasti koja se sastoji od tačaka
(r, ϕ, t) za koje je (r, ϕ) ∈ D, r 6= 0 i t ≥ 0 (D = D \ ∂D);
(ii) da za svako fiksirano t, t ≥ 0, bude neprekidna u svakoj tački (r, ϕ) ∈
∂D;
(iii) da za svako fiksirano t, t ≥ 0, bude dvaput neprekidno diferencija-
bilna, kao funkcija tačke, u tački r = 0.
Dopustičemo ovde da ϕ uzima sve vrednosti iz intervala (−∞, +∞). Kako
je tačka sa polarnim koordinatama r i ϕ + 2π identična tački sa polarnim
koordinatama r i ϕ, to je neophodno da pritom funkcija u bude periodična
sa periodom 2π po promenljivoj ϕ, da bi mogla da se tretira kao funkcija
tačke.
Granični uslov (3.55) sada glasi
u = H(r)Q(ϕ)G(t). (3.71)
74 POGLAVLJE 3. PARCIJALNE JEDNAČINE DRUGOG REDA
r2 Hr00 + rHr0 2
Q00ϕ
−r k =− . (3.73)
H Q
No, kako je na levoj strani jednačine (3.73) funkcija samo od r, a na desnoj
funkcija samo od ϕ, to mora biti
r2 Hr00 + rHr0
− r2 k = k1
H
i
Q00ϕ
− = k1 ,
Q
za neku konstantu k1 . Poslednje dve jednačine mogu da se napišu ovako:
Q00ϕ + k1 Q = 0. (3.75)
Dakle, rešenja jednačine (3.67) oblika (3.71) dobijamo tako što rešavamo
obične diferencijalne jednačine (3.72), (3.74) i (3.75), i množimo njihova
rešenja za iste vrednosti konstanti k i k1 . Pritom uzimamo samo ona rešenja
H = H(r) jednačine (3.74) koja se mogu produžiti do neprekidnih fnkcija
na celom intervalu [0, R] (da bi funkcije (3.71) bile neprekidne u tački r = 0
kao funkcije tačke, što je neophodan uslov za neprekidnu diferencijabilnost),
i samo periodična rešenja Q = Q(ϕ) jednačine (3.75), sa periodom 2π (da bi
funkcije (3.71) bile periodične po ϕ, sa periodom 2π).
Drugi korak. Za funkciju oblika (3.71) uslov (3.68) glasi H(R)Q(ϕ)G(t) =
0. Ovaj uslov se svodi na H(R) = 0, s obzirom na to da nećemo dopustiti da
3.3. DVODIMENZIONALNA TALASNA JEDNAČINA 75
Q = C1 ep1 ϕ + C2 e−p1 ϕ .
Q = C1 + C2 ϕ.
C2 = 0.
Q = C1 cos p1 ϕ + C2 sin p1 ϕ.
C1 (cos p1 2π − 1) + C2 sin p1 2π = 0,
C1 (− sin p1 2π) + C2 (cos p1 2π − 1) = 0.
Uslov da ovaj homogeni linearni sistem algebarskih jednačina (po C1 i C2 )
ima netrivijalnih rešenja jeste da njegova determinanta bude jednaka nuli, tj.
2(1 − cos p1 2π) = 0, što je ispunjeno ako i samo ako je p1 ∈ N (zbog p1 > 0).
U nastavku ćemo pisati n umesto p1 . Zaključujemo da u slučaju k1 > 0 mora
biti k1 = n2 , n ∈ N, i da rešenja jednačine (3.75) koja nam odgovaraju imaju
oblik
Q = C1 cos nϕ + C2 sin nϕ,
gde su C1 i C2 proizvoljne konstante. Ovde može da se uključi i prethodni
slučaj, ako se dopusti da bude n = 0, uz uslov da je tada C2 = 0.
Ako se u jednačini (3.74) napiše n2 umesto k1 , dobije se jednačina
K = C1 In (s) + C2 Xn (s),
X
+∞ µ ¶n+2ν
1 pR
In (pR) = 6= 0.
ν=0
ν!(n + ν)! 2
r2 Hr00 + rHr0 − n2 H = 0.
H = C1 rn + C2 r−n ,
a za n = 0
H = C1 + C2 ln r.
Da bi funkcija H mogla da se produži do neprekidne funkcije na intervalu
[0, R] mora biti C2 = 0, a iz uslova H(R) = 0 sledi da mora biti i C1 = 0.
Vidimo da zaista u slučaju k ≥ 0 jednačina (3.76) nema netrivijalnih
rešenja koja zadovoljavaju uslov H(R) = 0.
Neka je k < 0, tj. k = −p2 , p > 0. Tada jednačinu (3.76) možemo da
napišemo ovako µ ¶
00 1 0 2 n2
Hr + Hr + p − 2 H = 0. (3.78)
r r
3.3. DVODIMENZIONALNA TALASNA JEDNAČINA 77
pri čemu su amn , bmn , cmn , dmn proizvoljne konstante. Lako je videti da se
umn može predstaviti ovako
³ (n) ´ ³ ´
(1) (1)
umn = Jn ωRm r Amn cos nϕ + Bmn sin nϕ cos λmn +
³ (n) ´ ³ ´ (3.80)
(2) (2)
+Jn ωRm r Amn cos nϕ + Bmn sin nϕ sin λmn t,
(1) (1) (2) (2)
gde su Amn , Bmn , Amn , Bmn nove proizvoljne konstante.
Na osnovu postupka kojim smo došli do funkcija (3.80) jasno je da svaka
od tih funkcija zadovoljava jednačinu (3.67) za r 6= 0. Sada može da se
zaključi i da je svaka takva funkcija dvaput neprekidno diferencijabilna, kao
funkcija tačke, u tački r = 0. Ovo sledi iz oblika (3.80), ako se uzme u obzir
poznati razvitak funkcije Jn u stepeni red:
³ p ´n X
+∞
(−1)ν ³ p ´2ν ¡ 2 ¢ν
Jn (pr) = rn r ,
2 ν=0
ν!(n + ν)! 2
kao i činjenica da su r cos nϕ i rn sin nϕ polinomi n-tog stepena po x i y
n
(što se može sagledati pomoću Moavrove formule: rn (cos nϕ+ i sin nϕ) =
(x + iy)n ), a r2 polinom drugog stepena po x i y: r2 = x2 + y 2 .
Treći korak. Sada formiramo beskonačni red od funkcija umn :
X
+∞ X
+∞
u= umn (r, ϕ, t), (3.81)
n=0 m=1
(1) (1) (2) (2)
s tim što ćemo koeficijente Amn , Bmn , Amn , Bmn odrediti tako da funkcija u
zadovolji uslove (3.69) i (3.70). Iz (3.69), (3.81) i (3.80) dobijamo uslov
à !
X
+∞ X +∞ (n)
ωm ¡ ¢
Jn r A(1)mn cos nϕ + B (1)
mn sin nϕ = f (r, ϕ). (3.82)
n=0 m=1
R
Vidimo da, za fiksirano r, brojevi
à !
X
+∞ (n)
ωm
αn (r) = A(1)
mn Jn r , (3.83)
m=1
R
odnosno à !
X
+∞ (n)
ωm
(1)
β n (r) = Bmn Jn r , (3.84)
m=1
R
treba da budu jednaki koeficijentima uz cos nϕ, odnosno sin nϕ, Furijeovog
reda funkcije f na intervalu [0, 2π]. Prema tome, treba da bude
Z 2π
1
α0 (r) = f (r, ϕ)dϕ, (3.85)
2π 0
3.3. DVODIMENZIONALNA TALASNA JEDNAČINA 79
Z 2π
1
αn (r) = f (r, ϕ) cos nϕdϕ, n = 1, 2, . . . , (3.86)
π 0
Z 2π
1
β n (r) = f (r, ϕ) sin nϕdϕ, n = 1, 2, . . . . (3.87)
π 0
(1) (1)
Iz (3.83) i (3.84) vidimo da, za fiksirano n, ´ Amn , odnosno Bmn ,
³ brojevi
(n)
treba da budu jednaki koeficijentima uz Jn ωRm r razvitka funkcije αn ,
³ (n) ´
odnosno β n , po Beselovim funkcijama Jn ωRm r , m = 1, 2, . . . . Prema poz-
natim formulama za ove koeficijente, treba da bude
Z R Ã !
(n)
2 ω m
A(1)
mn = ³ ´2 αn (r)Jn r rdr, m = 1, 2, . . . ,
2 (n) 0 R
R Jn+1 ωm
Z Ã !
R (n)
(1) 2 ωm
Bmn = ³ ´2 β n (r)Jn r rdr, m = 1, 2, . . . .
(n) 0 R
R2 Jn+1 ωm
A(1)
mn =
Z Ã ! Z 2π
R (1)
2 ωm
= ³ ´2 Jn r rdr f (r, ϕ) cos nϕdϕ,
(n) 0 R 0
πR2 Jn+1 ωm
m, n = 1, 2, . . . , (3.89)
(1)
Bmn =
Z Ã ! Z 2π
R (n)
2 ωm
= ³ ´2 Jn r rdr f (r, ϕ) sin nϕdϕ,
(n) 0 R 0
πR2 Jn+1 ωm
m, n = 1, 2, . . . . (3.90)
80 POGLAVLJE 3. PARCIJALNE JEDNAČINE DRUGOG REDA
A(2)
mn =
Z Ã ! Z 2π
R (n)
2 ωm
= ³ ´2 Jn r rdr g(r, ϕ) cos nϕdϕ,
(n) 0 R 0
πλmn R2 Jn+1 ωm
m, n = 1, 2, . . . , (3.92)
(2)
Bmn =
Z Ã ! Z 2π
R (n)
2 ωm
= ³ ´2 Jn r rdr g(r, ϕ) sin nϕdϕ,
(n) 0 R 0
πλmn R2 Jn+1 ωm
m, n = 1, 2, . . . . (3.93)
Prema tome, funkcija u zadata u obliku reda (3.81), pri čemu su umn
(1) (1) (2) (2)
funkcije (3.80), a koeficijenti Amn , Bmn , Amn , Bmn izračunati po formu-
lama (3.88)-(3.93), predstavlja rešenje problema (3.67)-(3.70) (pod izvesnim
uslovima).
Sem početnog, zadaje se i granični uslov, koji može imati razne oblike,
u zavisnosti od fizičkih okolnosti. No, u svakom od tih oblika granični uslov
u suštini zadaje raspodelu temperature, tj. vrednost funkcije u, na rubu
S posmatranog tela. Ako, na primer, temperatura tela nije fiksirana, već
ono zrači toplotu u okolnu sredinu koja ima stalnu temperaturu u0 , tada
je, kao što je poznato, protok toplote kroz površ S proporcionalan razlici
temperature okolne sredine i temperature na površi S, što daje uslov
∂u
+ h(u − u0 ) = 0 (na S), (3.96)
∂n
∂u
gde je ∂n izvod u pravcu spoljašnje normale, a h (> 0) je koeficijent propor-
cionalnosti, koji se obično naziva koeficijent spoljašnje toplotne provodljivosti.
Mi ćemo razmatrati samo prostiranje toplote kroz štap (dugačak, tanak),
za koji ćemo smatrati da je smešten na x-osu od tačke x = 0 do tačke x = l
(l > 0), i da je potpuno izolovan sa strana, tako da se toplota prostire samo
u pravcu x-ose, tj. funkcija u zavisi samo od x i t. Tada umesto jednačine
(3.94) imamo sledeću jednačinu:
ut = c2 uxx , (3.97)
gde je f data funkcija. Kako je štap ograničen i smešten na x-osu onako kako
je gore opisano, to imamo i granični uslov (3.96), koji sada ovako izgleda:
X
+∞
u= un (x, t) (3.103)
n=1
X
+∞
u(x, 0) = An sin pn x,
n=1
X
+∞
An sin pn x = f (x) (x ∈ [0, l] ).
n=1
X
+∞
nπx −λ2n t ³ cnπ ´
u(x, t) = An sin e λn = ,
n=1
l l
84 POGLAVLJE 3. PARCIJALNE JEDNAČINE DRUGOG REDA
Z
2 l nπx
An = f (x) sin dx, n ∈ N.
l 0 l
Napomena o prostiranju toplote kroz neograničen štap. Ako
je štap neograničen (sa obe strane), tada uz jednačinu (3.97) imamo samo
početni uslov (3.98) (za x ∈ (−∞, +∞)). Uzimamo pritom da je štap smešten
na x-osu, tako da je zauzima celu. Furijeovom metodom dobija se sledeće
rešenje problema prostiranja toplote kroz neograničen štap:
Z Z +∞
1 +∞ 2 2
u= f (v)dv e−c p t cos(px − pv)dp.
π −∞ 0
vt = c2 vxx − kv (k > 0)
P (−1)n+1
+∞
nπx − 1.752n
2 π2
3. f (x) = x(100 − x2 ). (Rez.: u = 12000 π 3 n 3 sin 10
e 100
t
.)
½ n=1
x, 0 ≤ x ≤ 5,
4. f (x) =
10 − x, 5 < x ≤ 10.
P (−1)ν−1
+∞
(2ν−1)πx − 1.752(2ν−1) π t
2 2
(Rez.: u = π402 (2ν−1)2 sin 10
e 100 .)
½ ν=1
x, 0 ≤ x < 5,
5. f (x) =
0, 5 ≤ x ≤ 10.
P (−1)ν−1
+∞
νπx − 1.752ν
2 π2
(Rez.: u = π5 ν
sin 5
e 25
t
+
ν=1
P
+∞
(−1)ν−1 1.752(2ν−1)2 π 2
20
π2 (2ν−1)2
sin (2ν−1)πx
10
e− 100
t
.)
ν=1
u = F (r)G(ϕ), (3.109)
tada je
1 1
Fr00 G + Fr0 G + 2 F G00ϕ = 0,
r r
ili, kad se promenljive razdvoje,
µ ¶
r2 00 1 0 G0ϕ
Fr + Fr = − .
F r G
F = C1 rn + C2 r−n ,
A0 X
+∞
u= + (An cos nϕ + Bn sin nϕ)rn . (3.111)
2 n=1
A0 X
+∞
+ (An cos nϕ + Bn sin nϕ)Rn = f (ϕ),
2 n=1
3.5. LAPLASOVA JEDNAČINA 89
y2
u = 2, (x, y) ∈ ∂D.
R
Nadjimo raspodelu temperature u oblasti D, smatrajući da je stacionarna.
Rešenje. Na osnovu veze pravolinijskih i polarnih koordinata, zadatu
vrednost funkcije u u proizvoljnoj tački (x, y) na rubu ∂D možemo izraziti
pomoću polarnog ugla ϕ:
y2 1 1
2
= sin2 ϕ = − cos 2ϕ.
R 2 2
Ako stavimo
1 1
− cos 2ϕ = f (ϕ), (3.114)
2 2
onda granični uslov možemo da napišemo u obliku (3.108). Inače, jasno je
da funkcija u = u(r, ϕ), koja predstavlja temperaturu u tački (r, ϕ) ∈ D
zadovoljava jednačinu (3.107) za r 6= 0. Jednakost (3.114) daje razvitak
90 POGLAVLJE 3. PARCIJALNE JEDNAČINE DRUGOG REDA
Pritom je u = u(ρ sin θ cos ϕ, ρ sin θ sin ϕ, ρ cos θ), što ćemo pojednostavljeno
pisati kao u = u(ρ, θ, ϕ).
Ova situacija je analogna onoj koju smo imali pri prelasku od pravoli-
nijskih koordinata u ravni na polarne. Sada vrednosti Laplasijana u tačkama
z-ose ne dobijamo neposredno prelaskom na sferne koordinate. Tačke z-ose
opisujemo u sfernim koordinatama kao tačke za koje je ρ = 0 ili je ρ 6= 0 a
θ je jednako 0 ili π. Vrednosti Laplasijana u tim tačkama dobijamo pomoću
vrednosti u ostalim tačkama na osnovu neprekidnosti Laplasijana kao funkcije
tačke, a ovu neprekidnost obezbedjujemo pretpostavkom da je funkcija u dva-
put neprekidno diferencijabilna, kao funkcija tačke, u posmatranoj oblasti.
Da bismo naš problem uprostili, pretpostavićemo da traženi potencijal
u ne zavisi od ϕ, tj. da je u = u(ρ, θ). (Takav je, na primer, električni
∂2u
potencijal.) Tada je u (3.115) ∂ϕ 2 = 0, pa jednačina koju ćemo rešavati glasi
µ ¶ µ ¶
∂ 2 ∂u 1 ∂ ∂u
ρ + sin θ = 0. (3.116)
∂ρ ∂ρ sin θ ∂θ ∂θ
u = F (ρ)G(θ) (3.119)
1 0
(sin θ G0θ )θ + kG = 0. (3.121)
sin θ
Rešenja u jednačine (3.116) oblika (3.119) u oblasti D0 , odnosno D1 ,
dobijamo množenjem rešenja F jednačine (3.120) rešenjima G jednačine
(3.121). Medjutim, pritom ne uzimamo ma kakva rešenja ovih jednačina.
Da bismo dobili rešenje jednačine (3.116) u oblasti D0 uzimamo rešenje jed-
načine (3.120) koje se može neprekidno produžiti na ceo interval [0, R] (što je
neophodno da bi funkcija u bila dvaput neprekidno diferencijabilna u tački
ρ = 0, kao funkcija tačke, i da bi bila neprekidna u tačkama sfere S), a
da bismo dobili rešenje jednačine (3.116) u oblasti D1 uzimamo rešenje jed-
načine (3.120) koje se može produžiti na interval [R, +∞) i koje teži nuli kad
ρ → +∞ (što je neophodno da bi funkcija u bila neprekidna na sferi S i da
bi ispunjavala uslov (3.118)).
Što se tiče jednačine (3.121), uzimamo njeno rešenje G koje se može
produžiti do funkcije neprekidno diferencijabilne na intervalu [0, π] i koje je
takvo da se funkcija G0 (θ) / sin θ, θ ∈ (0, π), može neprekidno produžiti na
interval [0, π]. Naime, sve ovo je neophodno da bi funkcija u bila dvaput
neprekidno diferencijabilna u tačkama z-ose, što se može uvideti na sledeći
način.
Najpre se na osnovu relacije
moraju biti jednake nuli (zapravo da je lim ux = lim uy = 0), jer ne mogu da
zavise od ϕ, pošto u ne zavisi od ϕ. Najzad se, na osnovu relacije dobijene
diferenciranjem relacije (3.122) po θ i neprekidnosti ux , uy , uz , uxx , uyy , uzz ,
uxy , uyz i uxz , zaključuje da uθθ ima graničnu vrednost kad θ → 0+ i kad
θ → π− (bar za fiksirano ϕ). S obzirom na to da je u = F G, funkcija G može
da se produži do dvaput neprekidno diferencijabilne funkcije na intervalu
[0, π], takve da je G0 (0) = G0 (π) = 0, odakle sledi, primenom Lopitalovog
pravila, da i funkcija G0 (θ) / sin θ ima graničnu vrednost kad θ → 0+ i kad
θ → π−.
Drugi korak. Jednačina (3.120) može da se napiše u obliku
ρ2 Fρ00 + 2ρFρ0 − kF = 0,
iz kog se neposredno vidi da je to jedna Ojlerova jednačina. Poznatim pos-
tupkom lako se nalaze sledeća dva njena linearno nezavisna rešenja:
F = ρn , F ∗ = ρ−(n+1) ,
gde je stavljeno
1 ³√ ´
n= 4k + 1 − 1 . (3.123)
2
(Kako može biti 4k + 1 < 0, to n ovde može da bude i imaginaran broj.) U
1
slučaju 4k + 1 = 0, kada je n = − 12 = −(n + 1), treba za F ∗ uzeti ρ− 2 ln ρ.
Što se tiče jednačine (3.121), u njoj ćemo k zameniti sa n(n+1) (iz (3.123)
sledi k = n(n + 1)) i uvesti smenu cos θ = w, ili θ = arccos w, tako da će se
ona transformisati u sledeću:
£¡ ¢ ¤0
1 − w2 Hw0 w + n(n + 1)H = 0,
ili ¡ ¢
1 − w2 Hw00 − 2wHw0 + n(n + 1)H = 0, (3.124)
gde je stavljeno G(arccos w) = H(w).
Ovo je Ležandrova diferencijalna jednačina. Potrebno nam je njeno rešenje
koje se može produžiti do neprekidno diferencijabilne funkcije na intervalu
[−1, 1], što je neophodno da bi funkcija G imala ranije utvrdjena svojstva.
Poznato je da Ležandrova jednačina ima rešenje koje ispunjava navedeni
uslov jedino ako je n ceo broj.
Pretpostavićemo, dakle, da je n ceo broj. Kako je tada i k ceo broj (zbog
k = n(n+1)) i mora biti 4k +1 > 0, to je k ≥ 0, što, prema (3.123), implicira
da je i n ≥ 0.
Za svaki ceo nenegativan broj n, opšte rešenje Ležandrove jednačine
(3.124) je
H = C1 Pn (w) + C2 Qn (w),
94 POGLAVLJE 3. PARCIJALNE JEDNAČINE DRUGOG REDA
Kako je
¡ ¢m−j 2j
ρ2m cos2j θ = ρ2m−2j (ρ cos θ)2j = x2 + y 2 + z 2 z , j = 0, 1, . . . , m,
pa se, na isti način kao u slučaju n = 2m, lako uvidja da je i u ovom slučaju
un polinom po x, y i z.
3.5. LAPLASOVA JEDNAČINA 95
X
+∞
un (ρ, θ) = u. (3.127)
n=0
Odredimo koeficijente An tako da ova funkcija u zadovolji uslov (3.117). Za
funkciju oblika (3.127) taj uslov se svodi na uslov
X
+∞
An Rn Pn (cos θ) = f (θ).
n=0
pri čemu je
m
Pn,m (w) = (1 − w2 ) 2 Pn(m) (w), −1 ≤ w ≤ 1,
Amn =
Z Z π
(2n + 1)(n − m)! −n 2π
= R dϕ f (θ, ϕ)Pn,m (cos θ) cos mϕ sin θdθ,
2δ m π(n + m)! 0 0
n = 0, 1, 2, . . . , m = 0, 1, 2, . . . , n (3.132)
(δ 0 = 2; δ m = 1 za m > 0; Pn,0 = Pn );
Bmn =
Z Z π
(2n + 1)(n − m)! −n 2π
= R dϕ f (θ, ϕ)Pn,m (cos θ) sin mϕ sin θdθ,
2π(n + m)! 0 0
n = 1, 2, . . . , m = 1, 2, . . . , n. (3.133)
*
**
[6] V. I. Smirnov: Kurs vysšeı̆ matematiki, t. II, IV2, Nauka, Moskva, 1974,
1981.
99