Professional Documents
Culture Documents
SN Jez An A Maksimovic
SN Jez An A Maksimovic
LAPLASOVA TRANSFORMACIJA
Snježana Maksimović
Predgovor vi
iv
2.6. Teoreme jedinstvenosti, aproksimacije i
inverzije . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2.7. Riemann-Stieltjesov integral . . . . . . . . . . . . . . . . . . . . . 52
2.8. Laplace-Stiltjes-ov integral . . . . . . . . . . . . . . . . . . . . . . 56
2.9. Riesz-Stieltjes-ov operator . . . . . . . . . . . . . . . . . . . . . . 59
2.10. Laplace-Stieltjes-ova transformacija . . . . . . . . . . . . . . . . . 61
A. Tablice 65
Biografija 72
Literatura 73
v
Predgovor
vi
pojmovima, kao i sa teorijom operatora.
Prva glava se sastoji četrnaest poglavlja. Tu su izložene neke osnovne oso-
bine Laplace-ovog integrala. U prva četiri poglavlja su date osobine Laplace-ove
transformacije. U petom poglavlju je definisana inverzna Laplace-ova transfor-
macija i dokazana je formula kompleksne inverzije. U narednih šest poglavlja su
definisane Gama, Beta i Beselova funkcija, definisan je pojam konvolucije funk-
cija i dokazana je teorema za konvoluciju Laplace-ove transformacije. Takođe je
definisan pojam distribucija i dokazana teorema za konvoluciju distibucija. Je-
danaesto poglavlje je posvećeno Riemann-Stieltjes-ovom integralu. Tu su date
osnovne definicije Riemann-Stieltjes-ovog integrala, funkcija ograničene varijacije
i Laplace-Stieltjes-ove transformacije , a sve to na prostorima R i C. Posljednja
dva poglavlja su posvećena primjenama Laplace-ove transformacije.
Druga glava se sastoji od deset poglavlja. To je uopštenje prethodne glave na
Banahovim prostorima. Ovde su još uvedeni dodatni pojmovi kao što su funk-
cije ograničene semivarijacije, slabe ograničene varijacije, apscise konvergencije,
Riesz-ovog operatora, Riesz-Stieltjes-ove transformacije i drugih. Laplace-ova i
Laplace-Stieltjes-ova transformacije su predstavljene kao operatori koji djeluju na
određenim prostorima.
vii
1. Osnovna Laplace-ova
transformacija
Ako ovaj limes postoji, onda kažemo da integral (1.1) konvergira. U suprot-
nom slučaju integral divergira i ne možemo definisati Laplace-ovu transformaciju
za f . U nastavku ćemo se baviti konvergencijom integrala (1.1).
Z τ0 Z τ0
−st
| e f (t)dt| ≤ |e−st f (t)|dt → 0, kad τ → ∞
τ τ
0
za sve τ > τ .
1
Definicija 1.1.4. Funkcija f je eksponencijanlo ograničena ako postoje kons-
tante M > 0 i α ∈ R takve da za neko t0 ≥ 0 vrijedi
|f (t)| ≤ M eαt , t ≥ t0
|f (t)| ≤ M1 eαt , t ≥ t0 ,
Dakle,
Z τ
−st
Z τ
M e−(x−α)t τ M M e−(x−α)τ
|e f (t)|dt ≤ M e−(x−α)t dt = |0 = − .
0 0 −(x − α) x−α x−α
Kada pustimo τ → ∞ i Re(s) = x > α daje
Z ∞
M
|e−st f (t)|dt ≤ . (1.2)
0 x−α
za proizvoljne konstante c1 i c2 .
2
Dokaz. Iz (1.1) i linearnosti integrala dobijamo
Z ∞ Z ∞ Z ∞
−st −st
e (c1 f1 (t) + c2 f2 (t))dt = c1 e f1 (t)dt + c2 e−st f2 (t)dt.
0 0 0
Teorema 1.2.3. (Prva teorema pomjeranja) Ako je F (s) = L(f (t)), Re(s) > 0,
tada je F (s − a) = L(eat f (t)) , Re(s) > a, a ∈ R.
Teorema 1.2.4. (Druga teorema pomjeranja) Ako je F (s) = L(f (t)), tada je
gdje je
1
,t>a
ua (t) = .
0
,t<a
Dokaz.
Z ∞ Z ∞
L(ua (t)f (t − a)) = e−st ua (t)f (t − a)dt = e−st f (t − a)dt.
0 0
3
Napomena 1.2.1. Za a ≥ 0, funkcija ua (t) se naziva Heaviside-ova stepenasta
funkcija.
konvergira za t ≥ 0 uz uslov da je
Kαn
|an | ≤
n!
za sve dovoljno velike n i α > 0, K > 0, tada je
∞ ∞
X
n
X an n!
L(f (t)) = an L(t ) = n+1
(Re(s) > α) .
n=0 n=0 s
Dokaz. Kako je funkcija f (t) predstavljena pomoću stepenog reda, ona je nepre-
kidna na [0, ∞). Želimo da pokažemo da razlika
N N N
n n
an tn |)
X X X
|L(f (t)) − an L(t )| = |L(f (t) − an t )| ≤ Lx (|f (t) −
n=0 n=0 n=0
R ∞ −xt
konvergira nuli kad N → ∞, gdje je Lx (h(t)) = 0 e h(t)dt , za neku funkciju
h gdje je x = Re(s). Prema tome je
N ∞ ∞ N
(αt)n (αt)n
an t n | = | an tn | ≤ K = K(eαt −
X X X X
|f (t) − ).
n=0 n=N +1 n=N +1 n! n=0 n!
Prema tome je
N ∞
an n!
an L(tn ) =
X X
L(f (t)) = lim n+1
, (Re(s) > α).
n=0 s
N →∞
n=0
4
Teorema 1.2.6. Ako je f dio po dio neprekidna na [0, ∞) i eksponencijalno
ograničena, tada
Prema tome je
L(f 0 (t)) = sL(f (t)) − f (0+ ).
= M e−(x−α)τ → 0 kad τ → ∞ .
Primjetimo da f (0+ ) postoji jer f 0 (0+ ) = limt→0+ f 0 (t) postoji. Jasno, ako je f
neprekidna u nuli, onda je f (0+ ) = f (0) i naša formula postaje
5
Dokaz.
Z ∞ Z τ Z τ
−st 0 −st 0 −st t− −st
e f (t)dt = τlim
→∞
e f (t)dt = lim [e f (t) |01 +e f (t) |τt+ +s e−st f (t)dt] =
0 0 τ →∞ 1 0
Z τ
= lim [e−st f (t−
1 ) − f (0) + e
−sτ
f (τ ) − e−st f (t+
1)+s e−st f (t)dt].
τ →∞ 0
Odatle je
L(f 0 (t)) = sL(f (t)) − f (0) − e−t1 s (f (t+ −
1 ) − f (t1 )).
Ako su 0 < t1 < t2 < ... < tn prekidi funkcije f , a n je konačan broj, tada
prethodna formula postaje
n
−
L(f 0 (t)) = sL(f (t)) − f (0) − e−tk s (f (t+
X
k ) − f (tk )).
k=1
Teorema 1.2.9. Pretpostavimo da su f (t), f 0 (t), ...f (n−1) (t) neprekidne na (0, ∞)
eksponencijalnog reda α, a f (n) (t) dio po dio neprekidna na [0, ∞) . Tada je
L(f (n) (t)) = sn L(f (t)) − sn−1 f (0+ ) − sn−2 f 0 (0+ ) − ... − f (n−1) (0+ ).
Teorema 1.2.10. (Teorema o diferenciranju slike) Neka je f (t) dio po dio ne-
prekidna na [0, ∞), eksponencijalnog reda α i L(f (t)) = F (s). Tada
dn
n
F (s) = L((−1)n tn f (t)) n = 1, 2, 3, ... (Re(s) > α).
ds
Dokaz. Poći ćemo od same definicije Laplace-ove transformacije funkcije f
Z ∞
F (s) = e−st f (t)dt.
0
6
Teorema 1.2.11. (Teorema o početnoj vrijednosti) Pretpostavimo da f i f 0 za-
dovoljavaju uslove Teoreme 1.2.7 i F (s) = L(f (t)). Tada
Prema tome je
f (0+ ) = s→∞
lim sF (s).
Na osnovu Teoreme 1.2.12 limes može ući ispod znaka integrala, pa dobijamo
Z ∞ Z ∞
−st 0
lim G(s) = lim e f (t)dt = f 0 (t)dt. (1.4)
s→0 s→0 0 0
R∞ 0
Integral 0 f (t)dt postoji, jer
Z ∞ Z τ
f 0 (t)dt = lim f 0 (t)dt = lim (f (τ ) − f (0+ )). (1.5)
0 τ →∞ 0 τ →∞
7
Definicija 1.2.1. Ako je kompleksna funkcija f (z) diferencijabilna u svim tač-
kama u nekoj okolini |z − z0 | < r, tada je f (z) analitička (holomorfna) u tački
z0 . Ako je f (z) analitička u svakoj tački u oblasti D, onda je f (z) analitička
(holomorfna) na D.
∂
Teorema 1.2.16. Pretpostavimo da su f (x, y) i ∂x
f (x, y) neprekidne u pravo-
ugaoniku a ≤ x ≤ b, 0 ≤ y ≤ T, T > 0, osim u možda konačno mnogo tačaka u
R∞
kojima ima prekide duž pravih y = yi , i = 1, 2, ..., n i neka 0 f (x, y)dy konver-
R∞ ∂
gira, a 0 ∂x
f (x, y)dy konvergira uniformno. Tada je
∂ Z∞ Z ∞
∂
f (x, y)dy = f (x, y)dy (a < x < b).
∂x 0 0 ∂x
Dokaz. Vidjeti u [1].
8
Uzmimo u obzir
Z ∞ Z ∞ Z ∞
∂ −xt
| (e cos(yt))f (t)dt| = | (−te−xt cos(yt))f (t)dt| ≤ te−xt |f (t)|dt ≤
t0 ∂x t0 t0
Z ∞
M
≤M e−(x−α−δ)t dt ≤
e−(x−α−δ)t0
t0 x−α−δ
gdje je δ > 0 izabrano proizvoljno malo. Tada za x ≥ x0 > α (x ≥ x0 >
α + δ), desna strana prethodne nejednakosti može biti dovoljno mala birajući
R∞ ∂
t0 dovoljno veliko. Iz toga slijedi da integral 0 ∂x
(e−xt cos(yt))f (t)dt unifor-
mno konvergira za Re(s) ≥ x0 > α. Na isti način zaključujemo da integral
R∞ ∂
0 ∂y
(−e−xt sin(yt))f (t)dt konvergira uniformno za Re(s) ≥ x0 > α. Na osnovu
ove uniformne konvergencije i apsolutne konvergencije L(f (t)) po Teoremi 1.2.16
zaključujemo da možemo diferencirati ispod znaka integrala. Iz toga je
Z ∞ Z ∞
∂ −xt
ux = (e cos(yt))f (t)dt = (−te−xt cos(yt))f (t)dt
0 ∂x 0
Z ∞ Z ∞
∂
vy = (−e−xt sin(yt))f (t)dt = (−te−xt cos(yt))f (t)dt
0 ∂y 0
onda je
1
L(g(t)) = L(f (t)) (Re(s) > α).
s
Dokaz. Kako je g 0 (t) = f (t), osim u tačkama prekida funkcije f , pa parcijalnom
integracijom dobijamo
Z ∞
g(t)e−st τ 1 Z τ −st
e−st g(t)dt = lim [ |0 + e f (t)dt].
0 τ →∞ −s s 0
Kako je g(0) = 0, trebamo odrediti
g(τ )e−sτ
lim .
τ →∞ −s
U tom cilju je , Z τ
−sτ −xτ
|g(τ )e |≤e |f (u)|du
0
Z τ
≤ M e−xτ eαu du
0
9
M −(x−α)τ
(e − e−xτ ) → 0 kad τ → ∞
=
α
gdje je x = Re(s) > α > 0. Ovo vrijedi i za α = 0. Otuda je
1
L(g(t)) = L(f (t)) (Re(s) > α).
s
Dokaz.
Z ∞ Z ∞ Z ∞ Z ∞ Z ∞
F (u)du = du e−ut f (t)dt = f (t)dt e−ut du =
s s 0 0 s
Z ∞
e−ut s Z ∞
e−st f (t)
= f (t) |∞ dt = f (t) dt = L( ).
0 t 0 t t
Ovdje smo koristili Fubini2 -jevu teoremu o zamjeni mjesta integrala.
Prema tome je Z T
F (s) = e−st f (t)dt + e−sT F (s),
0
pa na osnovu ovoga dobijamo tvrdnju.
2
Formulacija i dokaz Fubini-jeve teoreme se nalazi u [3]
10
1.4. Suština Laplace-ove transformacije
Definicija 1.4.1. Orginalom se naziva svaka kompleksna funkcija realne pro-
mjenjive t 7→ f (t) koja ispunjava slijedeće uslove:
i) Za svako t < 0 je f (t) = 0. Funkcija koja ispunjava ovaj uslov se naziva ka-
uzalna funkcija.
ii) Funkcija f je integrabilna na svakom konačnom intervalu koji pripada oblasti
[0, a], gdje je a < ∞.
iii) Funkcija f je eksponencijalno ograničena.
−xt 1 Z +∞ ity
e f (t) = e F (s)dy.
2π −∞
Odavde je
1 Z +∞ xt ity 1 Z +∞ st
f (t) =e e F (s)dy = e F (s)dy.
2π −∞ 2π −∞
Ako uvedemo smjenu s = x + iy, za koju je ds = idy, dobijamo
1 Z x+i∞ st
f (t) = e F (s)ds. (1.7)
2πi x−i∞
Ovo je inverzna Laplace-ove transformacija i integral na desnoj strani jednakosti
(1.7) naziva se Bromwich − ov integral.
11
1.5. Inverzna Laplace-ova
transformacija
RA
Definicija 1.5.1. Vrijednost limA→∞ −A f (t)dt se naziva Cauchy-jeva glavna
R +∞
vrijednost integrala −∞ f (t)dt, pod uslovom da ovaj integral postoji.
Teorema 1.5.2. Neka je f (t) dio po dio glatka (i kauzalna) funkcija eksponen-
cijalnog reda α ∈ R i neka je F (s) Laplace-ova transformacija od f (t). Onda za
t ≥ 0 i s = x + iy takvo da je Re(s) > α vrijedi
1 ZA 1
lim F (s)est dy = (f (t+ ) + f (t− )).
A→∞ 2π −A 2
Dokaz. Definišimo funkciju g(t) = ua (t)f (t)e−xt (a ≥ 0). Primjetimo da je funk-
cija g(t) apsolutno integrabilna, jer je f (t) eksponencijalnog reda α. Odatle
zaključujemo da Fourier-ova transformacija od g(t) postoji za Re(s) > α i
Z +∞ Z +∞
(Fg)(y) = e−ity ua (t)f (t)e−xt dt = e−(x+iy)t f (t)dt = F (s).
−∞ 0
Kako je f dio po dio glatka, onda je i g dio po dio glatka i apsolutno integrabilna.
Prema tome, Teoremu 1.5.1 možemo primjeniti na funkciju g. Kako je (Fg)(y) =
F (s) iz (1.8) dobijamo
1 Z∞ 1
F (x + iy)eity dy = (g(t+ ) + g(t− )).
2π −∞ 2
Za t ≥ 0 imamo g(t+ ) = ua (t+ )f (t+ )e−xt = f (t+ )e−xt i g(t− ) = f (t− )e−xt , što
nam daje
1 ZA 1
lim F (s)eity dy = (f (t+ ) + f (t− ))e−xt .
A→∞ 2π −A 2
Ako pomnožimo lijevu i desnu stranu prethodne nejednakosti sa ext , dobijamo
tvrdnju koja važi za Re(s) > α i t ≥ 0.
12
Teorema 1.5.3. (Laplace-ova transformacija je 1-1) Neka su f (t) i g(t) dio po
dio neprekidne funkcije eksponencijalnog reda α i neka su F (s) i G(s) Laplace-ove
transformacije od f (t) i g(t) respektivno. Tada, ako je F (s) = G(s) u poluravni
Re(s) > α, onda je f (t) = g(t) u svim tačkama u kojima su f (t) i g(t) neprekidne.
Dokaz. Neka je t ∈ R tačka u kojoj su f (t) i g(t) neprekidne. Kako je F (s) = G(s)
za Re(s) > α, iz Teoreme 1.5.1 dobijamo da je
1 ZA st 1 ZA
f (t) = lim F (s)e dy = lim G(s)est dy = g(t).
A→∞ 2π −A A→∞ 2π −A
Definicija 1.5.2. Neka je funkcija f (z) regularna u prstenu 0 < |z−z0 | < r i nije
definisana u tački z = a, (a 6= 0). Tada se a naziva izolovanim singularitetom
funkcije f .
1
onda se koeficijent B1 uz z−a
naziva ostatkom funkcije f u tački z = a. Ostatak
se označava sa resz=a f (z) ili res(f (z), z = a).
13
Teorema 1.5.5. Ako se funkcija s 7→ F (s) može razložiti u Laurent-ov red
∞
X ak
F (s) = k+1
, (1.9)
k=0 s
tada je
∞
tk
f (t) = L−1 (F (s)) =
X
ak , (1.10)
k=0 k!
gdje je L−1 (F (s)) inverzna Laplace-ova transformacija od F (s).
tn
Dokaz. Primjenimo jednakost L(tn ) = n!
sn+1
, odnosno L−1 ( sn+1
1
) = n!
na (1.9).
Zamjenom mjesta sume i inverzne Laplace-ove transformacije dolazimo do jedna-
kosti (1.10).
Qm (s)
Teorema 1.5.6. Ako je F (s) = Pn (s)
, gdje su Qm (s) i Pn (s) polinomi (m < n)
i ako Pn (s) ima proste nule s1 , s2 , ..., sn , tada je
n
Qm (sk ) sk t
f (t) = L−1 (F (s)) =
X
0
e . (1.11)
k=1 Pn (sk )
Qm (sk )esk t
=
Pn0 (sk )
gdje je na posljednji limes primjenjeno L’Hospital-ovo pravilo.
14
Prethodnu jednakost pomnožimo sa (s − a)ϑ , a zatim diferencirajmo ϑ − k puta
i pustimo da s → a. Tada dobijamo
1 dϑ−k Qm (s)
ck = lim ϑ−k ((s − a)ϑ ).
(ϑ − k)! s→a ds Pn (s)
Qm (s)
Inverzna transformacija racionalne funkcije Pn (s)
daje
ϑ n
−1 Qm (s) X ck k−1 at
X Qm (sk ) sk t
L ( )= t e + 0
e .
Pn (s) k=1 (k − 1)! k=ϑ+1 Pn (sk )
15
Uvodeći smjenu θ = ϕ + π2 , dobijamo
π
Z
st M Z π −tR sin ϕ 2M Z 2 −tR sin ϕ
| e F (s)ds| ≤ p−1 e dϕ = p−1 e dϕ. (1.12)
BCD R 0 R 0
2
β= π
< 1, pa na osnovu toga zaključujemo da prava π2 ϕ leži ispod krive y = sin ϕ,
tj.
2 π
sin ϕ ≥ ϕ, 0≤ϕ≤ .
π 2
Zbog toga jednačina (1.12) daje,
π
Z
st 2M Z 2 − 2Rtϕ 2M π − 2Rtϕ π2
| e F (s)ds| ≤ p−1 e π dϕ = p−1 (− e π |0 ) =
BCD R 0 R 2Rt
Mπ
(1 − e−Rt ) → 0 kad R → ∞.
=
Rp t
Iznad luka AB imamo da je |ets | ≤ etx = c, za fikcno t > 0 i dužina luka AB,
u oznaci l(AB), ostaje ograničena kad R → ∞. Prema tome je
Z
cM l(AB)
| est F (s)ds| ≤ → 0 kad R → ∞.
AB Rp
Na sličan način pokazuje se da
Z
| est F (s)ds| → 0 kad R → ∞.
DE
Iz ovog zaključujemo da je
Z
lim est F (s)ds = 0.
R→∞ CR
16
Teorema 1.5.7. Pretpostavimo da je f neprekidna i eksponencijalno ograničena
na [0, ∞), a f 0 dio po dio neprekidna na [0, ∞). Ako je F (s) = L(f (t)), za
Re(s) = x > α i zadovoljava
M
|F (s)| ≤ , p>0
|s|p
za sve |s| dovoljno velike i neko p i ako je F (s) analitička na C osim u konačno
mnogo polova z1 , z2 , ..., zn , tada je
n
1 Z x+i∞ st
res(est F (s), s = zk ).
X
f (t) = e F (s)ds = (1.13)
2πi x−i∞ k=1
17
Iz (1.14) i (1.15) dobijamo
n
X
st 1 Z st 1 Z x+iy st
res(e F (s), s = zk ) = e F (s)ds + e F (s)ds.
k=1 2πi CR 2πi x−iy
Iz Leme 1.5.1 i puštajuči R → ∞ dobijamo tvrdnju.
Napomena 1.5.1. Ako funkcija F (s) iz prethodne teoreme ima beskonačno mnogo
polova {zk }∞
k=1 koji se nalaze lijevo od linije Re(s) = x0 > 0 i |z1 | ≤ |z2 | ≤ ...,
|zk | → ∞ kad k → ∞. Tada vrijedi
∞
1 Z x0 +i∞ st
res(est F (s), s = zk ).
X
f (t) = e F (s)ds =
2πi x0 −i∞ k=1
18
Dokaz. Vidjeti u [7].
Vrijedi i
2n n αn
rn <
r = , (1.20)
n n
gdje je α = 2r. Kako je Γ(n + ϑ + 1) ≥ Γ(n) za ϑ > −1 i n > 1, pa (1.19) i (1.20)
daju
|an | Kαn Kαn
≤ = .
Γ(n + ϑ + 1) nΓ(n) n!
Množeći lijevu i desnu stranu prethodne jednakosti sa tn , t ≥ 0, dobijamo
an K(αt)n
| |tn ≤ .
Γ(n + ϑ + 1) n!
P∞ (αt)n
Kako red eαt = n=0 n!
konvergira, onda red
∞
an
tn+ϑ
X
f (t) = (1.21)
n=0 Γ(n + ϑ + 1)
19
1.7. Konvolucija Laplace-ove transformacije
Neka su funkcije f (t) i g(t) definisane za t > 0.
Dokaz.
Z ∞ Z ∞
−sτ
L(f (t)) · L(g(t)) = ( e f (τ )dτ ) · ( e−su g(u)du) =
0 0
Z ∞ Z ∞
= ( e−s(τ +u) f (τ )g(u)du)dτ.
0 0
20
Uvedimo smjenu t = τ + u i primjetimo da je τ fiksno u unutrašnjosti integrala.
Na osnovu toga imamo
Z ∞ Z ∞
L(f (t)) · L(g(t)) = ( e−st f (τ )g(t − τ )dt)dτ.
0 τ
21
1.9. Bessel-ova funkcija
Definicija 1.9.1. Bessel-ova funkcija je rješenje Bessel-ove jednačine reda ϑ
d2 y dy
t2 2
+ t + (t2 − ϑ2 )y = 0
dt dt
i definisana je pomoću reda
∞
(−1)n (at)2n+ϑ
X
Jϑ (at) = 2n+ϑ n!(n + ϑ)!
. (1.22)
n=0 2
|a|2n |a|2n
|a2n | = ≤ .
22n (n!)2 (2n)!
∞
1X (−1)n (2n)! a2 n 1 s
= 2n 2
( 2) = · √ 2 =
s n=0 2 (n!) s s s + a2
1
=√ (Re(s) > |a|).
s 2 + a2
i Z t
g(t) = k(t, τ )f (τ )dτ
0
k(t, τ ) = k(t − τ ),
22
gornji integrali predstavljaju konvolucije. Ako su g i k poznate funkcije, onda je
po konvolucionoj teoremi
odnosno
L(g)
L(f ) = .
1 − L(k)
Posmatrajmo sada konvoluciju funkcija f 0 (t) i g(t). Laplace-ova transformacija
konvolucije glasi
Z t
L( f 0 (τ )g(t − τ )dτ ) = L(f 0 (t))L(g(t)) = (sF (s) − f (0))G(s) =
0
= sF (s)G(s) − f (0)G(s).
23
Definicija 1.11.3. Neka su S i T distribucije i za r ∈ R definišimo funkciju
ψ(r) sa ψ(r) = hT (t), φ(t + r)i. Ako za svako φ ∈ S, funkcija ψ(r) ∈ S, tada je
konvoluvija distribucija S i T definisana sa
Definicija 1.11.4. Ako je funkcija f (t) apsolutno neprekidna na (−∞, ∞), onda
definišimo distribuciju Tf sa
Z ∞
hTf , φi = f (t)φ(t)dt (1.23)
−∞
za sve φ ∈ S.
24
Dokaz. Kako su S i T kauzalne distibucije, onda je i S ∗ T kauzalna distribucija.
Na osnovu Leme (1.11.1), zaključujemo da S ∗ T ∈ C∞ (R). Dokažimo još da
vrijedi (1.24). Za s ∈ C, po definiciji je
sa supremumom uzetim po svim izborima tačaka x0 < x1 < ... < xN unutar
intervala I, zovemo varijacijom funkcije f na intervalu I.
Formula
Vf (x) = V (f, (−∞, x])
za proizvoljno x ∈ R definiše tzv. funkciju varijacije Vf funkcije f . Postoji
limx→∞ Vf (x) u R3 koju nazivamo totalnom varijacijom funkcije f i označavamo sa
V (f ). Ukoliko je V (f ) < +∞, onda kažemo da je f funkcija ograničene varijacije.
Skup svih funkcija ograničene varijacije označavamo sa BV .
3
S
R=R (−∞, ∞)
25
Ukoliko postoji kompleksan broj I takav da za svako ε > 0 postoji δ > 0 ta-
kav da je |σ(P, t, ϕ, f ) − I| < ε kad god je dijametar podjele P u oznaci d(P ) =
max1≤j≤n (xj −xj−1 ) < δ, kažemo da je funkcija f Riemann − Stieltjes integrabilna
po funkciji ϕ.
26
Na osnovu teoreme o srednjoj vrijednosti, sumu na lijevoj strani prethodne ne-
jednakosti izrazićemo u obliku
n n
f (xj )ϕ0 (ξj )(tj − tj−1 ),
X X
f (xj )[ϕ(tj ) − ϕ(tj−1 )] =
j=1 j=1
Iz (1.25) dobijamo
n n
X
0 0
X ε ε
| f (xj )[ϕ (ξj ) − ϕ (xj )](tj − tj−1 )| < M| (tj − tj−1 )| = . (1.27)
j=1 j=1 2M (b − a) 2
Dokaz. Neka je Z t
ψ(t) = ϕ(τ )dτ,
0
27
i stavimo da je ϕ(t) = ψ(t) = 0 za t < 0. Tada je ψ 0 (t) = ϕ(t) osim možda u
tački t = 0. Na osnovu Teoreme 1.12.2 i prethodne definicije dobijamo
Z ∞ Z ∞ Z ∞
L(ϕ) = e−st ϕ(t)dt = e−st ψ 0 (t)dt = e−st dψ(t) =
−∞ −∞ −∞
a0 (sn Y − sn−1 y(0) − ... − y (n−1) (0)) + a1 (sn−1 Y − sn−2 y(0) − ... − y (n−2) (0)) + ...+
Uvodeći polinome
Qn−1 (s) = a0 (sn−1 y(0)+...+y (n−1) (0))+a1 (sn−2 y(0)+...+y (n−2) (0))+...+an−1 y(0)
28
iz prethodne jednačine dobijamo
Qn−1 (s) F (s)
Y (s) = + .
Pn (s) Pn (s)
Primjenom inverzne Laplace-ove transformacije, dobijamo rješenje
Qn−1 (s) F (s)
y(t) = L−1 ( ) + L−1 ( ) = yh (t) + yp (t)
Pn (s) Pn (s)
gdje je yh (t) rješenje homogene jednačine, a yp (t) partikularno rješenje homogene
jednačine.
2◦ Riješiti sistem diferencijalnih jednačina
dx1
= a11 x1 + ... + a1n xn + f1 (t)
dt
... (1.29)
dxn
= an1 x1 + ... + ann xn + fn (t)
dt
gdje su fi (t), i = 1, 2, ..., n originali, pod uslovima x1 (0) = x10 , ..., xn (0) = xn0 .
29
tj. D = det(A − sI), gdje je I jedinična matrica. U daljem toku rješavanja treba
odrediti slike X1 (s), ..., Xn (s), a zatim odrediti rješenja x1 (t), ..., xn (t).
3◦ Riješiti integrodiferencijalnu jednačinu drugog reda
Z t
dy(t)
a + by(t) + c y(τ )dτ = f (t) (1.30)
dt 0
30
S druge strane, Laplace-ove transformacije od ux i uxx su
d dU (x, s)
L(ux (x, t)) = (L(u(x, t))) = i
dx dx
d2 d2 U (x, s)
L(uxx (x, t)) =
(L(u(x, t))) = .
dx2 dx2
Nekom transformacijom se eliminiše varijabla t, pa samo U (x, s) i njeni izvodi
ostaju u jednačini.
Rješavanje PDJ pomoću Laplace-ove transformacije odvija se u nekoliko koraka:
ut = uxx 0 ≤ x ≤ l (1.32)
u(x, 0) = 0
d2 U (x, s)
= sU (x, s).
dx2
Primjenjujući Laplace-ovu transformaciju na (1.33), dobijamo
31
gdje su Z ∞
Fk (s) = e−st fk (t)dt, k = 1, 2.
0
Odavde dobijamo da je
gdje su √ √
sinh(l − x) s sinh x s
Ω1 (x, s) = √ i Ω2 (x, s) = √ .
sinh l s sinh l s
Funkcije Ω1 (x, s) i Ω2 (x, s) su Laplace-ove transformacije funkcija
1 x t 1 l−x t
− θx [ l , 2 ] i θx [ l , 2 ]
l 2 l l 2 l
respektivno i
+∞
2 π2 t
e2niπx−n
X
θ(x, t) =
n=−∞
d2 U (x, s)
= sU (x, s).
dx2
Iz (1.37) dobijamo U (0, s) = F (s). Rješavanjem ove diferencijalne jednačine
dobijamo
√ √
U (x, s) = c1 e−x s
+ c2 e x s .
32
Uz pomoć konvolucione teoreme nalazimo da je
x Z t f (τ ) − 4(t−τ
x2
u(x, t) = √ 3 e
) dτ =
2 π 0 (t − τ ) 2
2 Z∞ x −ξ2
=√ f (t − )e dξ .
π − 2√x t 4ξ 2
Jasno se vidi da je
2 Z ∞ −ξ2
u(x, 0) = 0, u(0, t) = f (t) · √ e dξ = f (t).
π 0
u(x, 0) = u0 , 0<x<∞
d2 U
(x, s) = sU (x, s) − u0 .
dx2
Iz (1.38) dobijamo
dU
(x, s) |x=0 = hU (0, s).
dx
Koristeći činjenicu da je U (x, s) ograničena kad x → ∞, dobijamo
u0 √
U (x, s) = + ce−x s ,
s
dU √ u0
(x, s) |x=0 = −c s = h( + c) = hU (0, s).
dx s
Odavde je
u0 h √ u √ u √
U (x, s) = (1 − √ e−x s ) = 0 (1 − e−x s ) + √ √ 0 e−x s .
s h+ s s s( s + h)
Kako je
x u0 √
L(u0 erf ( √ )) = (1 − e−x s ),
2 t s
1 −sx
L(e−h(t−x) ) = e = F (s),
s+h
R x −ξ 2
gdje je erf (x) = 1 − √2 e dξ i integracija je uzeta od x do ∞. Koristeći
π 0
√
F ( s) 1 √
−x s 1 Z ∞ −h(τ −x)− τ 2
√ =√ √ e = L( √ e 4t dτ )
s s( s + h) πt x
33
dobijamo
x u0 Z ∞ −h(τ −x)− τ 2
u(x, t) = u0 erf ( √ ) + √ e 4t dτ.
2 t πt x
4◦ Riješiti talasnu jednačinu
∂u ∂ 2u
= a2 2 , βt < x < ∞, t > 0 (1.39)
∂t ∂x
pod uslovima
u(x, 0) = 0, 0 < x < ∞ (1.40)
u(x, t) |x=βt = f (t), lim |u(x, t)| < ∞, t > 0. (1.41)
x→∞
Kako je q
β2
− ηa s+
L(Φ(η, t)) = e 4a2
gdje je
√ √
1 − βη2 η β t βη η β t
Φ(η, t) = [e 2a erf ( √ − ) + e 2a2 erf ( √ + )],
2 2a t 2a 2a t 2a
na osnovu konvolucione teoreme je
βη
Z t
−
u(η, t) = e 2a2 f (t − τ )Φ(η, τ )dτ,
0
odnosno Z t
β(x−βt)
u(x, t) = e− 2a2 f (t − τ )Φ(x − βτ, τ )dτ.
0
34
2. Uopštenje Laplace-ove
transformacije
35
Teorema 2.1.1. (Bochner) Funkcija f : I → X je Bochner integrabilna ako i
samo ako je f mjerljiva i kf k integrabilna. Ako je f Bochner integrabilna, onda
je Z Z
k f (t)dtk ≤ kf (t)kdt. (2.1)
I I
Dokaz. Ako je f Bochner integrabilna, tada postoji niz prostih funkcija takvih
da gn → f tačku po tačku i limn→∞ kf (t) − gn (t)kdt = 0. Odatle zaključujemo
R
I
da su f i kf k mjerljive. Integrabilnost od f slijedi iz
Z Z Z
kf (t)kdt ≤ kgn (t)kdt + kf (t) − gn (t)kdt.
I I I
Tada kgn (t)k ≤ kf (t)k(1+n−1 ) i limn→∞ kgn (t)−f (t)k = 0 za sve t ∈ I\Ω0 . Kako
su funkcije kf k i kgn −f k integrabilne i kgn (t)−f (t)k ≤ 3kf (t)k, prema Lesbegue1 -
kgn (t) − f (t)kdt = 0.
R
ovoj teoremi o dominantnoj konvergenciji je limn→∞ I
36
Stav 2.1.2. Neka je A zatvoren linearan operator na X i neka je f : I → X
Bochner integrabilna. Pretpostavimo još da je f (t) ∈ D(A) za sve t ∈ I i da je
A ◦ f : I 7→ X Bochner integrabilna. Tada je f (t)dt ∈ D(A) i
R
I
Z Z
A( f (t)dt) = A(f (t))dt.
I I
g(t)dt ∈
R
pa po Teoremi 2.1.1 zaključujemo da je Bochner integrabilna. Šta više, I
GA . Na osnovu Stava 2.1.1, dobijamo
Z Z Z
g(t)dt = ( f (t)dt, A(f (t))dt).
I I I
Dokaz. Na osnovu Leme 2.1.1 funkcija f je mjerljiva. Iz uslova kfn (t)k ≤ g(t)
skoro svuda, zaključujemo da je kf k integrabilna. Iz ovoga vidimo da je f Bochner
integrabilna. Definišimo funkciju hn (t) = kf (t) − fn (t)k za t ∈ I. Kako je
|hn (t)| ≤ 2g(t) i hn (t) → 0 skoro svuda, na osnovu Lebesgue-ove teoreme o
kf (t) − fn (t)k → 0 kad n → ∞.
R
dominantnoj konvergenciji zaključujemo da I
Na osnovu (2.1) je Z Z
k f (t)dt − fn (t)dtk → 0.
I I
37
Tada je f Bochner integrabilana i integrali
Z Z Z Z
f (s, t)dtds i f (s, t)dsdt
I1 I2 I2 I1
38
Definicija 2.2.2. Kažemo da je funkcija F apsolutno neprekidna na [a, b] ako za
kF (bi ) − F (ai )k < ε za svaku konačnu
P
svako ε > 0 postoji δ > 0 takvo da je i
39
Dokaz. Kako je f (t) = limn→∞ n(F (t + n1 ) − F (t)), na osnovu Leme 2.1.1 za-
ključujemo da je f mjerljiva. Neka je G(t) = V[a,t] (F ). Tada je na osnovu Stava
2.2.1 funkcija G : [a, b] → R apsolutno neprekidna. Odatle zaključujemo da je G
diferencijabilna skoro svuda i G0 ∈ L1 [a, b]. Kako je
40
Teorema 2.2.3. (Dunford-Pettis) Neka je X = Y ∗ gdje je Y Banahov prostor i
pretpostavimo da je X separabilan. Tada X ima Radon-Nikodym-ovo svojstvo.
Neka je c0 = {(tn )∞
n=1 | limn→∞ tn = 0 }.
1
Dokaz. Neka je F (t) = (Fn (t))n∈N , gdje je Fn (t) = n
sin(nt) (n ∈ N). Kako je
Z t
|Fn (t) − Fn (s)| = | cos(nτ )dτ | ≤ |t − s| (t, s ≥ 0, n ∈ N),
s
2.3. Konvolucije
U prethodnoj glavi smo definisali konvoluciju funkcija f i g. Sada ćemo posma-
trati konvoluciju i njene osobine na Banahovim prostorima.
Prostor svih ograničenih linearnih operatora iz Banahovog prostora X u Banahov
prostor Y označićemo sa L(X, Y ). Ako je X = Y , onda je L(X, Y ) = L(X).
41
Teorema 2.3.1. Neka je f ∈ L1loc (R+ , X) i neka je T : R+ → L(X, Y ) jako
neprekidna.Tada integral
Z t
(T ∗ f )(t) = T (t − s)f (s)ds
0
1 1
a)(Young − ova nejednakost) Neka 1 ≤ p, q, r ≤ ∞ zadovoljavaju p
+ q
=
1 R∞ p q + r +
1+ r
. Ako je 0 kT (t)k dt < ∞ i f ∈ L (R , X), onda T ∗ f ∈ L (R , Y ) i
Z ∞
1
kT ∗ f kr ≤ kf kq ( kT (t)kp dt) p .
0
R∞
b) Neka 1 < p, p0 < ∞ zadovoljavaju 1
p
+ 1
p0
= 1. Ako je 0 kT (t)kp dt < ∞ i
0
f ∈ Lp (R+ , X), onda T ∗ f ∈ C0 (R+ , Y ).
R∞
c) Ako je 0 kT (t)kdt < ∞ i f ∈ BU C(R+ , X), ili ako je T ograničen, a
f ∈ L1 (R+ , X), onda T ∗ f ∈ BU C(R+ , Y ).
42
R∞
d) Ako je 0 kT (t)kdt < ∞ i f ∈ C0 (R+ , X), ili ako je limt→∞ kT (t)k = 0 i
f ∈ L1 (R+ , X), onda T ∗ f ∈ C0 (R+ , Y ).
Dokaz. Vidjeti u [8].
Stav 2.3.2. Neka je T : R+ → L(X, Y ) jako neprekidna i ograničena, x ∈ X,
Rt 0
f 0 ∈ L1loc (R+ , X), f (t) = x + 0f (s)ds (t ≥ 0). Tada T ∗ f ∈ C 1 (R+ , Y ) i
Dokaz. Neka je u(t) = (T ∗ f 0 )(t) + T (t)x. Tada na osnovu Teoreme 2.3.1 zaklju-
čujemo da u ∈ C(R+ , Y ). Na osnovu Fubinijeve teoreme je
Rt RtRs 0
Rt
0 u(s)ds = 0 0 T (τ )f (s − τ )dτ ds + 0 T (s)xds
RtRt 0
Rt
= 0 τ T (τ )f (s − τ )dsdτ + 0 T (s)xds
R t R t−τ
T (τ )f 0 (s)dsdτ + 0t T (s)xds
R
= 0 0
Rt Rt
= 0 T (τ )(f (t − τ ) − x)dτ + 0 T (s)xds
= (T ∗ f )(t) (t ≥ 0).
k(T ∗ fn )0 − (T ∗ fm )0 k∞ ≤ Lkfn − fm k1 → 0
43
2.4. Egzistencija Laplace-ovog integrala
Neka je X kompleksan Banahov prostor. U ovom poglavlju bavićemo se posto-
janjem Laplace-ovog integrala
Z ∞ Z τ
fˆ(s) := e −st
f (t)dt = τlim
→∞
e−st f (t)dt,
0 0
R τ −st
gdje je f ∈ L1loc (R+ , X) i s ∈ C. Primjetimo da integral 0 e f (t)dt postoji kao
Bochner-ov integral.
Stav 2.4.1. Neka je f ∈ L1loc (R+ , X). Tada Laplace-ov integral fˆ(s) konvergira
ako je Re(s) > abs(f ) i divergira ako je Re(s) < abs(f ).
44
Definicija 2.4.3. Apscisu konvergencije možemo i definisati sa
Z t
abs(f ) = inf{s ∈ R : sup | e−sr hf (r), x∗ idr| < ∞, za sve x∗ ∈ X ∗ }.
t>0 0
Teorema 2.4.1. Neka je f ∈ L1loc (R+ , X). Tada je abs(f ) = ω(F − F∞ ), gdje je
F primitivna funkcija od f , a F∞ := limt→∞ F (t) ako ovaj limes postoji, odnosno
F∞ := 0 u suprotnom slučaju.
45
je ω > ω(F − F∞ ). Kako je F neprekidna, tada postoji M ≥ 0 takvo da je
kF (t) − F∞ k ≤ M eωt za sve t ≥ 0. Neka je s > ω > ω(F − F∞ ). Parcijalnom
integracijom dobijamo
Z t Z t
−sr −st
e f (r)dr = e (F (t) − F∞ ) + F∞ + s e−sr (F (r) − F∞ )dr.
0 0
c) abs(T ) = ω(S − S∞ ).
Dokaz. Dio pod a) slijedi iz Stava 2.4.1, dok dio pod b) slijedi iz Definicije 2.4.3.
Ostaje nam da dokažemo dio pod c). Dokaz se izvodi na sličan način kao u
dokazu Teoreme 2.4.1.
Neka je ux (t) = T (t)x, ṽx (t) = S(t)x − S∞ x i
S(t)x − limt→∞ S(t)x
ako limes postoji
vx (t) = .
S(t)x u suprotnom slučaju.
46
Po Teoremi 2.4.1 je abs(ux ) = ω(vx ). Šta više je ω(vx ) = ω(ṽx ) ako je bar jedna
od njih strogo pozitivna. Razlikovaćemo nekoliko slučajeva.
Ako je abs(T ) < 0. Tada je ω(vx ) = abs(ux ) ≤ abs(T ) < 0, pa limt→∞ vx (t)
postoji za sve x ∈ X. Odatle S(t) jako konvergira , pa je vx = ṽx i vrijedi
abs(T ) = sup{abs(ux ) : x ∈ X}
= sup{ω(vx ) : x ∈ X}
= sup{ω(ṽx ) : x ∈ X}
= ω(S − S∞ ).
47
Dokaz. Definišimo qk : C → X (k ∈ N0 ) sa
N
Z k
−st sn Z k
(−t)n f (t)dt.
X
qk (s) = e f (t)dt = lim
0 N →∞
n=0 n! 0
hol0 (fˆ) = inf{ω ∈ R : fˆ ima ograničeno holomorfno proširenje za Re(s) > ω}.
d) : x ∈ X},
hol(T ) = sup{hol(ux
gdje je
48
2.5. Osobine Laplace-ovog integrala
Stav 2.5.1. Neka je f ∈ L1loc (R+ , X), s, λ ∈ C, r ∈ R+ i neka su
Tada
a) ĝ(s) postoji ako i samo ako fˆ(s + λ) postoji i vrijedi ĝ(s) = fˆ(s + λ).
b) fbr (s) postoji ako i samo ako fˆ(s) postoji i vrijedi
Z r
fbr (s) = esr (fˆ(s) − e−st f (t)dt).
0
Teorema 2.5.1. Ako k ∈ L1loc (R+ ), f ∈ L1loc (R+ , X), s ∈ C i ako pretposta-
\
vimo da je Re(s) > max{abs(|k|), abs(f )}. Tada (k \
∗ f )(s) postoji i (k ∗ f )(s) =
k̂(s)fˆ(s).
49
Dokaz. Zamjenjujući k(t) sa e−st k(t) i f (t) sa e−st f (t) i korištenjem Stava 2.5.1
zaključujemo da je s = 0. Kako f ∈ L1loc (R+ , X), na osnovu Fubini-jeve teoreme
zaključujemo da k ∗ f ∈ L1loc (R+ , X) i
\ ∗ f )(0) = 0∞ (k ∗ f )(t)dt
R
(k
R∞Rt
= 0 0 k(t − r)f (r)drdt
R∞ R∞
= 0 ( r k(t − r)dt)f (r)dr
= k̂(0)fˆ(0).
Dakle,
Rτ RK Rt
k 0 (k ∗ f )(t)dtk ≤ k 0 k(τ − t)( 0 f (r)dr)dtk
Rτ Rt
+ k K k(τ − t)( 0 f (r)dr)dtk
Rt Rτ R τ −K
≤ supt≥0 k 0 f (r)drk τ −K |k(r)|dr + ε 0 |k(r)|dr.
Puštajući τ → ∞ dobijamo
Z τ
lim sup k (k ∗ f )(t)dtk ≤ εkkk1 .
τ →∞ 0
\
Kako je ε > 0 proizvoljno, dobijamo da je (k ∗ f )(t) = 0 što je trebalo i dokazati.
Stav 2.5.4. Neka je f ∈ L1loc (R+ , X) i neka je F (t) = 0t f (r)dr. Ako je Re(s) >
R
50
2.6. Teoreme jedinstvenosti, aproksimacije i
inverzije
Definicija 2.6.1. Za skup S ograničenih linearnih funkcionala na separabilnom
vektorskom prostoru X kažemo da je cio u X ako za svako x ∈ X vrijedi f (x) 6= 0,
gdje je f ∈ S.
Definicija 2.6.2. Niz {sn }n∈N kompleksnih brojeva naziva se jedinstvenim nizom
Laplace-ove transformacije ako je f = 0 skoro svuda kad god je f ∈ L1loc (R+ , X),
abs(f ) < Re(sn ) za sve n i fˆ(sn ) = 0 za sve n.
Definicija 2.6.3. Familija funkcija {fn }n∈N je ekvineprekidna ako su sve funkcije
iz te familije neprekidne i imaju jednake varijacije u datom domenu.
51
s > s0 . Posmatrajmo sada količničko preslikavanje q : l∞ (X) → l∞ (X)/c(X).
\
Tada je (q ◦ w)(s) = q(ŵ(s)) = 0 za sve s > s0 . Kako je q ◦w : R+ → l∞ (X)/c(X)
neprekidno (kao kompozicija neprekidnih preslikavanja) iz Teoreme jedinstvenosti
slijedi da je (q ◦ w)(t) = 0 za sve t ≥ 0, a to znači da w(t) ∈ c(X) za sve t ≥ 0.
Odatle imamo konvergenciju tačku po tačku niza {fn }n∈N . Kako je niz {fn }n∈N
ekvineprekidan, iz ovoga možemo zaključiti da funkcija fn konvergira uniformno
na kompaktnim podskupovima od R+ .
Pretpostavimo sada da vrijedi ii). Jasno je da iz uniformne konvergencije slijedi
ekvineprekidnost. Neka je f (t) = limn→∞ fn (t). Tada na osnovu Teoreme 2.1.2
slijedi da je fˆ(s) = limn→∞ fbn (s) za sve s > s0 .
52
Definicija 2.7.1. Funkcija F : [a, b] → X je ograničene semivarijacije ako
postoji M ≥ 0 takvo da je k − F (ri ))k ≤ M za svaki konačan izbor
P
i (F (ti )
−
P
Dokaz. Neka je funkcija F slabe ograničene varijacije i neka je SΩ = i (F (ti )
F (ri )), gje je Ω unija konačno mnogo disjunktnih intervala (ri , ti ) u [a, b]. Tada
za svako x∗ ∈ X ∗ postoji Mx∗ = V[a,b] (x∗ ◦ F ) takvo da je |hSΩ , x∗ i| ≤ Mx∗
za sve takve Ω. Na osnovu teoreme Banach-Steinhaus-a zaključujemo da je F
ograničene semivarijacije.
Sada pretpostavimo da je F ograničene semivarijacije. Tada postoji M ≥ 0 takvo
da je k i (F (ti ) − F (ri ))k ≤ M za svaki konačan izbor intervala (ri , ti ) koji se ne
P
preklapaju u [a, b]. Neka je x∗ = x∗1 +ix∗2 gdje su x1 i x2 realni linearni funkcionali.
Praveći razliku između podintervala na kojima su brojevi hF (ti ) − F (ri ), x∗1 i i
hF (ti ) − F (ri ), x∗2 i ili oba pozitivna ili oba negativna, dolazimo do tvrđenja.
53
Stav 2.7.3. Ako je funkcija F : [a, b] → X ograničene semivarijacije, a g :
Rb
[a, b] → C ograničena i integral a g(t)dF (t) postoji, onda je
Z b
k g(t)dF (t)k ≤ 4M sup kg(t)k,
a t∈[a,b]
gdje je
X
M = sup{k (F (ti ) − F (ri ))| : (ri , ti ) su disjunktni podintervali od [a, b]}.
i
Napomena 2.7.2. Ako je P podjela intervala [a, b] takva da je a = t0 < ... <
tn = b pri čemu ξi ∈ [ti−1 , ti ], a P’ podjela intervala [a, b] takva da je a = ξ0 ≤
... ≤ ξn+1 = b pri čemu ti ∈ [ξi , ξi+1 ] tada je d(P 0 ) ≤ 2d(P ) i vrijedi
Z b Z b
g(t)dF (t) = g(b)F (b) − g(a)F (a) − F (t)dg(t). (2.3)
a a
54
δ > 0 takvo da je kF (ξ1 ) − F (ξ2 )k < ε kad god je |ξ1 − ξ2 | < δ. Na sličan način
kao u 1◦ se pokazuje da je
δ Rb
kad god je d(P1 ) < 2
i d(P2 ) < 2δ . Odavde zaključujemo da integral a F (t)dg(t)
postoji.
≤ εM V[a,b] (x∗ ◦ F ).
Iz ovoga slijedi da je
Z b Z b
h g(t)dG(t) − g(t)h(t)dF (t), x∗ i = 0.
a a
55
2.8. Laplace-Stiltjes-ov integral
Definicija 2.8.1. Neka je X Banahov prostor i F ∈ BSVloc (R+ , X). Laplace-
Stieltjes-ova transformacija funkcije F je data sa
Z ∞ Z τ
b (s) =
dF e−st dF (t) = lim e−st dF (t),
0 τ →∞ 0
abs(dF ) = inf{Re(s) : dF
d (s) postoji}.
56
Parcijalnom integracijom jednačine (2.3) i na osnovu Stava 2.7.5 dobijamo
Z t Z t
−sr −(s−s0 )t
e dF (r) = e G0 (t) + (s − s0 ) e−(s−s0 )r G0 (r)dr. (2.4)
0 0
Ako dF
d (s ) postoji, onda je G ograničena. Prema tome, dF
0 0
d (s) postoji ako je
Iz posljednjeg vidimo da dF
d (s) postoji ako je Re(s) > abs(dF ).
Z t Z t
F (t) = F (0) + es0 r dG0 (r) = F (0) + es0 t G0 (t) − s0 es0 r G0 (r)dr,
0 0
−s0 t
za sve t ≥ 0. Iz ovoga vidimo da je supt≥0 ke (F (t) − F∞ )k < ∞. Odavde je
abs(dF ) ≥ ω(F − F∞ ).
2◦ abs(dF ) < 0
Izaberimo abs(dF ) < s0 < 0. Za τ ≥ t ≥ 0 je
Rτ s r
F (τ ) − F (t) = te 0 dG 0 (r)
s0 τ
Rτ s r
= e G0 (τ ) − es0 t G0 (t) − s0 t e0 G 0 (r)dr.
Zaključujemo da limes
Z ∞
s0 t
lim F (τ ) = F∞ = F (t) − e G0 (t) − s0
τ →∞
es0 r G0 (r)dr
t
57
d (s) postoji za s > ω(F − F ) i data je sa dF
Odavde vidimo da dF d (s) = F −
∞ ∞
F (0) + s(F\
− F∞ )(s). Ovo pokazuje da je abs(dF ) ≤ ω(F − F∞ ).
abs(dF ) vrijedi Z ∞
(n)
dF
d (s) = e−st (−t)n dF (t). (2.5)
0
R k −st
Dokaz. Definišimo qk : C → X (k ∈ N0 ) sa qk (s) = e dF (r).
0 Iz Stava 2.7.3
je
N
Z k
sn Z k
e−st dF (t) = lim (−t)n dF (t).
X
qk (s) =
0 N →∞
n=0 n! 0
(j) R k −st
Na osnovu Teoreme 2.4.2, funkcije qk su cijele i vrijedi qk (s) = 0 e (−t)j dF (t)
R t −s r
za sve j ∈ N0 . Neka je Re(s) > s0 > abs(dF ) i definišimo G0 (t) = 0 e 0
dF (r).
Na osnovu Stava 2.7.5, Stava 2.7.6 i jednakosti (2.3) zaključujemo da je
skupovima od {s : Re(s) > abs(dF )}. Ponovo, na osnovu Teoreme 2.4.2 za-
d (j) (s) kad k → ∞ za Re(s) >
d holomorfna i q (j) (s) → dF
ključujemo da je dF k
abs(dF ).
i R t −sr
abs(dT ) = inf{Re(s) : 0 e dT (r) jako konvergira kad t → ∞}
= sup{abs(dvx ) : x ∈ X}.
58
Stav 2.8.2. Neka je T ∈ BSVloc (R+ , L(X, Y )) i neka je T∞ jaki limes od T (t)
kad t → ∞ ako takav limes postoji, odnosno T∞ = 0 u suprotnom slučaju. Tada:
R t −sr
a) limt→∞ 0 e dT (r) postoji u normi operatora kad god je Re(s) > abs(dT ).
b) abs(dT ) = ω(T − T∞ ).
R t −sr
Dokaz. Ako integral 0 e dT (r) jako konvergira kad t → ∞, tada ovaj integral
uniformno konvergira u normi operatora. Na osnovu ovoga i jednakosti (2.4)
dobijamo tvrđenje pod a). Na osnovu prethodne teoreme je
R t −sr
abs(dT ) = inf{Re(s) : 0 e dT (r) konvergira u normi t → ∞}
= ω(T − T̃∞ ),
gdje je T̃∞ = k limt→∞ T (t)k ako navedeni limes postoji, odnosno T̃∞ = 0 u
suprotnom slučaju. Odavde je ω(T − T̃∞ ) = ω(T − T∞ ). Dokazali smo b).
kF (t) − F (r)k
Lip0 (R+ , X) = {F : R+ → X : F (0) = 0, kF kLip0 (R+ ,X) = sup < ∞}.
t,r≥0 |t − r|
ako ovaj limes postoji i ako je funkcija f ∈ L1 (R+ ) neprekidna. Posebna pažnja
biće i posvećena Laplace-Stieltjes-ovoj transformaciji LS : F → dFd koja dje-
TF χ[0,t] = F (t)
59
za sve t ≥ 0 i F ∈ Lip0 (R+ , X). Šta više je
Z ∞ Z τ
TF g = g(t)dF (t) = lim g(t)dF (t)
0 τ →∞ 0
gdje je 0 = t0 < t1 < ... < tn , αi ∈ C (i = 1, 2, ..., n). Neka je F ∈ Lip0 (R+ , X) i
definišimo TF : D → X sa
n
X n
X
TF (f ) = TF ( αi χ[ti−1 ,ti ) ) = αi (F (ti ) − F (ti−1 )).
i=1 i=1
Tada je
n
X
kTF (f )k ≤ kF kLip0 (R+ ,X) |αi |(ti − ti−1 ) = kF kLip0 (R+ ,X) kf k1 .
i=1
Dakle, funkcija TF ima jedinstveno proširenje TF ∈ L(L1 (R+ ), X). Šta više je
Dokažimo sada da je kTF k ≥ kF kLip0 (R+ ,X) . Ako T ∈ L(L1 (R+ ), X) i neka je
F (t) = T χ[0,t) za t ≥ 0. Tada za t > r ≥ 0 je
60
Teorema 2.9.2. Neka je M > 0, Fn ∈ Lip0 (R+ , X) gdje je kFn kLip0 (R+ ,X) ≤ M
za sve n ∈ N i rn = LS (Fn ). Slijedeća tvrđenja su ekvivalentna:
i) Postoje a, b > 0 takvi da limn→∞ rn (a + kb) postoji za sve k ∈ N0 .
ii) Postoji r ∈ C ∞ ((0, ∞), X) takvo da rn → r uniformno na kompaktnim pod-
skupovima od (0, ∞).
iii) limn→∞ Fn (t) postoji za sve t ≥ 0.
iv) Postoji F ∈ Lip0 (R+ , X) takvo da Fn → F uniformno na kompaktnim pod-
skupovima od R+ .
61
Operatori Tk su uniformno ograničeni sa krkW jer je kTk f k ≤ krkW kf k1 za sve
f ∈ L1 (R+ ). Pokazaćemo da Tk e−s → r(s) kad k → ∞ za sve s > 0. Kako su
eksponencijalne funkcije e−s (s > 0) cijele u L1 (R+ ), tada na osnovu Stava 2.10.2
zaključujemo da postoji T ∈ L(L1 (R+ ), X) takav da kT k ≤ krkW i Tk f → T f za
sve f ∈ L1 (R+ ). Dakle,
Ostaje nam još da dokažemo da Tk e−s → r(s) kad k → ∞ za sve s > 0. Primje-
timo da je
R ∞ −st
Tk e−s = 0 e (−1)k k!1 ( kt )k+1 r(k) ( kt )dt
k 1 R ∞ −sk/u k−1 (k)
= (−1) (k−1)! 0
e u r (u)du
j dj
k 1
[ k−1 −sk/u k−1 (k−j−1)
(u) |∞
P
= (−1) (k−1)! j=0 (−1) duj (e u )r u=0
k ∞ dk −sk/u k−1
R
+ (−1) 0 duk (e u )r(u)du ].
∂ j −x/u uk−1 j ∂
j
−x/u u
k−j−1
(e ) = (−1) (e ) (0 ≤ j ≤ k),
∂uj xk ∂xj xk−j
62
odnosno
∂ j −x/u k−1 j k k−j−1 ∂
j
e−x/u
(e u ) = (−1) x u ( ). (2.7)
∂uj ∂xj xk−j
Dakle,
Pk−1 j ∂j −x/u k−1 (k−j−1)
h(u) := j=0 (−1) ∂uj (e u )r (u)
Pk−1 k ∂ j e−x/u k−j−1 (k−j−1)
= j=0 x ∂xj ( xk−j )u r (u).
Kako je
krkW (k − j − 1)!
kuk−j−1 r(k−j−1) (u)k ≤ ,
u
dobijamo da je
k−1
X krkW (k − j − 1)! k ∂ j e−x/u
kh(u)k ≤ x | j ( k−j )|.
j=0 u ∂x x
∂ k −x/u k−1 k
kx ∂
k
−x/u xk −x/u
(e u ) = (−1) (e ) = e .
∂uk u ∂xk uk+1
Tada je
sk kk R ∞ −sk/u 1
Tk e−s = (k−1)! 0
e uk+1
r(u)du
k k+1 ∞
s k −skt k−1 1
R
= k! 0 e t r( t )dt.
Definišimo sada f (t) := 1t r( 1t ) i l := 1s . Tada je
l k k+1 R ∞ −kt/l k
Tk e−s = ( )
k! l 0 e t f (t)dt
k 1 k k+1 ˆ(k) k
= l(−1) k! ( l ) f ( l ).
63
Dokaz. Prvo dokažimo da je i) ⇔ ii). Definišimo I : L∞ (R+ , X) → Lip0 (R+ , X)
Rt
sa I(f ) = F , gdje je F (t) = 0 f (r)dr (t ≥ 0). Tada je I injektivno i kI(f )kLip0 (R+ ,X) ≤
kf k∞ za sve f ∈ L∞ (R+ , X). Ako je I surjektivno, onda X ima Radon-Nikodym-
ovo svojstvo. Obrnuto, ako X ima Radon-Nikodym-ovo svojstvo i ako F ∈
Lip0 (R+ , X), onda f (t) = F 0 (t) postoji za skoro sve t ≥ 0. Kako je f (t) =
F (t+h)−F (t)
limh→0 h
skoro svuda, zaključujemo da je kF kLip0 (R+ ,X) ≥ kf k∞ . Dakle
∞ +
f ∈ L (R , X) i na osnovu Stava 2.2.2 je F = I(f ). Dokazali smo da X ima
Radon-Nikodym-ovo svojstvo ako i samo ako je I izometrički izomorfizam.
R∞
Risez-Stieltjes-ov operator ΦS : F → TF , gdje je TF g = 0 g(t)dF (t) za sve
neprekidne funkcije g ∈ L1 (R+ ) je izometrički izomorfizam između prostora
Lip0 (R+ , X) i L(L1 (R+ ), X) i Laplace-Stieltjes-ova transformacija LS : F → dF
d
∞
je izometrički izomorfizam između prostora Lip0 (R+ , X) i CW ((0, ∞), X). Na
R∞
osnovu Stava 2.7.7 i neprekidnosti L1 normi je F = I(f ), TF g = 0 g(t)f (t)dt za
sve g ∈ L1 (R+ ). Tvrđenja slijede iz činjenice da je Φ = ΦS ◦ I i L = LS ◦ I na
L∞ (R+ , X).
64
Dodatak A
Tablice
F(s) f(t)
c1 F1 (s) + c2 F2 (s) c1 f1 (t) + c2 f2 (t)
F (as) (a > 0) 1
a
f ( at )
at
F (s − a) e f (t)
−as
e F (s) (a ≥ 0) ua (t)f (t − a)
sF (s) − f (0+ ) f 0 (t)
s2 F (s) − sf (0+ ) − f 0 (0+ ) f 00 (t)
sn F (s) − sn−1 f (0+ ) − sn−2 f 0 (0+ ) f (n) (t)
−... − f (n−1) (0+ )
F (s) Rt
s 0 f (τ )dτ
0
F (s) −tf (t)
F (n) (s) (−1)(n) tn f (t)
R∞ 1
s F (x)dx t
f (t)
Rt
F (s)G(s) 0 f (τ )g(t − τ )dτ
lims→∞ sF (s) limt→0+ f (t) = f (0+ )
lims→0 sF (s) limt→∞ f (t)
65
Tablica A.2: Tablice Laplace-ove transformacije
F(s) f(t)
1 δ(t)
1
s
1
1
s2
t
1 tn−1
sn
(n = 1, 2, ...) (n−1)!
1 tϑ−1
sϑ
(ϑ > 0) Γ(ϑ)
(s−1)n et dn
sn+1
(n = 0, 1, 2, ...) n!
· dtn
(tn e−t )
1
s−a
eat
1 1 at
s(s−a) a
(e − 1)
1 eat −ebt
(s−a)(s−b)
(a 6= b) a−b
s aeat −bebt
(s−a)(s−b)
(a 6= b) a−b
s
(s−a)2
(1 + at)eat
a
s2 +a2
sin at
s
s2 +a2
cos at
a
(s−b)2 +a2
ebt sin at
s−b
(s−b)2 +a2
ebt cos at
66
Tablica A.3: Tablice Laplace-ove transformacije
F(s) f(t)
a
s2 −a2
sinh at
s
s2 −a2
cosh at
a
(s−b)2 −a2
ebt sinh at
s−b
(s−b)2 −a2
ebt cosh at
1 1
(s2 +a2 )2 2a3
(sin at − at cos at)
s 1
(s2 +a2 )2 2a
(t sin at)
s2 1
(s2 +a2 )2 2a
(sin at + at cos at)
s3
(s2 +a2 )2
cos at − 21 at sin at
s2 −a2
(s2 +a2 )2
t cos at
1 1
(s2 −a2 )2 2a3
(at cosh at − sinh at)
s 1
(s2 −a2 )2 2a
(t sinh at)
s2 1
(s2 −a2 )2 2a
(sinh at + at cosh at)
s3
(s2 −a2 )2
cosh at + 12 at sinh at
s2 +a2
(s2 −a2 )2
t cosh at
67
Tablica A.4: Tablice Laplace-ove transformacije
F(s) f(t)
s cos bt−cos at
(s2 +a2 )(s2 +b2 )
(a2 6= b2 ) a2 −b2
s cosh at−cos bt
(s2 −a2 )(s2 −b2 )
(a2 6= b2 ) a2 −b2
a2
s2 (s2 +a2 )
t − a1 sin at
a2 1
s2 (s2 −a2 ) a
sinh at − t
√1 √1
s πt
−at
e√
√1
s+a πt
√
√1 √1 erf ( at)
s s+a a
1√ −bt
e −e√ −at
√
s+a+ s+b 2(b−a) πt3
q
1 t
√
s s
2 π
1 √
√
√1 eat erf ( at)
(s−a) s a
68
Tablica A.5: Tablice Laplace-ove transformacije
F(s) f(t)
2 √
√ 1 eat ( √1πt − beb t erf (b t))
s−a+b
√ 1 J0 (at)
s2 +a2
√
( s√2 +a2 −s)ϑ
s2 +a2
(ϑ > −1) aϑ Jϑ (at)
√ 1
π
1
(s2 +a2 )ϑ
(ϑ > 0) ( t )ϑ− 2 Jϑ− 1 (at)
Γ(ϑ) 2a 2
√ ϑaϑ
( s2 + a2 − s)ϑ (ϑ > 0) t
Jϑ (at)
√ √ 1
s−a− s−b √
2t πt
(ebt − eat )
a
−s
√
e√ cos√2 at
s πt
a √
e−
√s sin√2 at
s s πa
√ a2
− 4t
e−a s e√
√
s
(a > 0) πt
√ a 2
e−a s
(a > 0) √a e− 4t
2 πt3
√
e−a s a
s
(a > 0) erf ( 2√ t
)
e−as
s
(a > 0) ua (t)
s2 2
e 4 erf ( 2s ) √2 e−t
π
e−bt −e−at
log( s+a
s+b
) t
69
Tablica A.6: Tablice Laplace-ove transformacije
F(s) f(t)
− log s−γ
s
(γ je Euler − ova konstanta) log t
log s
s
− log −γ
2 2
log( ss2+a
+b2
) 2
t
(cos bt − cos at)
tan−1 ( as ) 1
t
sin at
sinh xs x P∞ (−1)n
s sinh as a
+ 2
π n=1 n
sin nπx
a
cos nπt
a
(−1)n−1
sin (2n−1)πx sin (2n−1)πt
sinh xs 4 P∞
s cosh as π n=1 2n−1 2a 2a
cosh xs t P∞ (−1)n
s sinh as a
+ 2
π n=1 n
cos nπx
a
sin nπt
a
(−1)n
cos (2n−1)πx cos (2n−1)πt
cosh xs 4 P∞
s cosh as
1+ π n=1 2n−1 2a 2a
sinh xs xt P∞ (−1)n
s2 sinh as a
+ 2a
π2 n=1 n2
sin nπx
a
sin nπt
a
(−1)n
sin (2n−1)πx cos (2n−1)πt
sinh xs 8a P∞
s2 cosh as
x+ π2 n=1 (2n−1)2 2a 2a
cosh xs a2 P∞ (−1)n
s2 sinh as
1
2a
(x2 + t2 − 3
) − 2A
π2 n=1 n2
cos nπx
a
cos nπt
a
(−1)n
cos (2n−1)πx sin (2n−1)πt
cosh xs 8a P∞
s2 cosh as
t+ π2 n=1 (2n−1)2 2a 2a
70
Tablica A.7: Tablice Laplace-ove transformacije
F(s) f(t)
√ −n2 π 2 t
sinh x√s P∞
sinh a s
2π
a2
n
n=1 (−1) ne
a2 sin nπx
a
√ −(2n−1)2 π 2 t
cosh x√s
cos (2n−1)πx
π P∞ n−1
cosh a s a2 n=1 (−1) (2n − 1)e 4a2
2a
√ −(2n−1)2 π 2 t
√sinh x √s
sin (2n−1)πx
2 P∞ n−1
n=1 (−1) e 4a2
s cosh a s a 2a
√ −n2 π 2 t
√cosh x √s P∞
s sinh a s
1
a
+ 2
a
n
n=1 (−1) e
a2 cos nπx
a
√ 2 2t
sinh x √s x P∞ (−1)n −n 2π
s sinh a s a
+ 2
π n=1 n
e a sin nπx
a
√ 2 π2 t
(−1)n −(2n−1)
cosh x √s
cos (2n−1)πx
4 P∞
s cosh a s
1+ π n=1 (2n−1) e
4a2
2a
√ −n2 π 2 t
sinh x √ s xt 2a2 P∞ (−1)n
s2 sinh a s a
+ π3 n=1 n3 (1 −e a2 ) sin nπx
a
√ −(2n−1) 2 π2 t
x2 −a2 16a2 (−1)n
cosh x √ s
cos (2n−1)πx
P∞
s2 cosh a s 2
+t− π3 n=1 (2n−1)3 e
4a2
2a
Napomena A.0.1. U tabeli A.2 smo pominjali funkciju δ(t) koja je definisana
sa
∞
,t=0
δ(t − a) = .
0 , t 6= 0
71
Biografija
72
Literatura
73
UNIVERZITET U NOVOM SADU
PRIRODNO-MATEMATIČKI FAKULTET
KLJUČNA DOKUMENTACIJSKA INFORMACIJA
Redni broj:
RBR
Identifikacioni broj:
IBR
74
Uže geografsko područje: Vojvodina
UGP
Godina: 2011
GO
UDK :
75
Važna napomena:
VN
Datum odbrane:
DO
Članovi komisije:
KO
76
UNIVERSITY OF NOVI SAD
FACULTY OF SCIENCE AND MATHEMATICS
KEY WORDS DOCUMENTATION
Accession number:
ANO
Identification number:
INO
77
Locality of publication: Vojvodina
LP
UC :
Holding data: The Library of the Department of Mathematics and Informatics,
Faculty of Science and Mathematics, University of Novi Sad
HD
Note:
78
N
Abstract: This thesis presents the Laplace transformation of the spaces R and C
as well as the Banach spaces. It is described the procedure for solving ordinary
and partial differential equations using Laplace transform. It is given conditi-
ons under which the Laplace transform exists. Laplace transformation is applied
on the Riemann-Stieltjes integral and derived the Laplace-Stieltjes transforma-
tion. It is shown that the Riesz-Stieltjes operator is isometric isomorphism the
space Lip0 (R+ , X) to the space L(L1 (R+ ), X). It was finally determined that the
Laplace-Stieltjes transform is isometric isomorphism between spaces Lip0 (R+ , X)
∞
and CW ((0, ∞), X).
AB
Defended:
DE
President: Dr. Arpad Takači, Full Professor, Faculty of Science and Mathemat-
ics, University of Novi Sad
Član: Dr. Stevan Pilipović, Academian, Full Professor, Faculty of Science
and Mathematics, University of Novi Sad
Član: Dr. Sanja Konjik, Assistant Professor, Faculty of Science and Mathemat-
ics, University of Novi Sad
79