Задача з імпульсною дією для лінійного стохастичного параболічного рівняння вищого порядку
Доказана теорема o корректности задачи Коши для линейного стохастического уравнения параболического типа высшего порядка с коэффициентами, зависящими от времени, и непрерывными возмущениями, решения которого в фиксированные моменты времени подвержены импульсному воздействию....
Gespeichert in:
Datum: | 2008 |
---|---|
1. Verfasser: | |
Format: | Artikel |
Sprache: | Ukrainian |
Veröffentlicht: |
Інститут математики НАН України
2008
|
Schriftenreihe: | Український математичний журнал |
Schlagworte: | |
Online Zugang: | http://dspace.nbuv.gov.ua/handle/123456789/164768 |
Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Zitieren: | Задача з імпульсною дією для лінійного стохастичного параболічного рівняння вищого порядку / Г.М. Перун // Український математичний журнал. — 2008. — Т. 60, № 10. — С. 1422–1426. — Бібліогр.: 9 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-164768 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-1647682020-02-11T01:27:13Z Задача з імпульсною дією для лінійного стохастичного параболічного рівняння вищого порядку Перун, Г.М. Короткі повідомлення Доказана теорема o корректности задачи Коши для линейного стохастического уравнения параболического типа высшего порядка с коэффициентами, зависящими от времени, и непрерывными возмущениями, решения которого в фиксированные моменты времени подвержены импульсному воздействию. We prove a theorem on the well-posedness of the Cauchy problem for a linear stochastic equation of the parabolic type of higher order with time-dependent coefficients and continuous perturbations whose solutions are subjected to pulse action at fixed times. 2008 Article Задача з імпульсною дією для лінійного стохастичного параболічного рівняння вищого порядку / Г.М. Перун // Український математичний журнал. — 2008. — Т. 60, № 10. — С. 1422–1426. — Бібліогр.: 9 назв. — укр. 1027-3190 http://dspace.nbuv.gov.ua/handle/123456789/164768 519.21 uk Український математичний журнал Інститут математики НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Ukrainian |
topic |
Короткі повідомлення Короткі повідомлення |
spellingShingle |
Короткі повідомлення Короткі повідомлення Перун, Г.М. Задача з імпульсною дією для лінійного стохастичного параболічного рівняння вищого порядку Український математичний журнал |
description |
Доказана теорема o корректности задачи Коши для линейного стохастического уравнения параболического типа высшего порядка с коэффициентами, зависящими от времени, и непрерывными возмущениями, решения которого в фиксированные моменты времени подвержены импульсному воздействию. |
format |
Article |
author |
Перун, Г.М. |
author_facet |
Перун, Г.М. |
author_sort |
Перун, Г.М. |
title |
Задача з імпульсною дією для лінійного стохастичного параболічного рівняння вищого порядку |
title_short |
Задача з імпульсною дією для лінійного стохастичного параболічного рівняння вищого порядку |
title_full |
Задача з імпульсною дією для лінійного стохастичного параболічного рівняння вищого порядку |
title_fullStr |
Задача з імпульсною дією для лінійного стохастичного параболічного рівняння вищого порядку |
title_full_unstemmed |
Задача з імпульсною дією для лінійного стохастичного параболічного рівняння вищого порядку |
title_sort |
задача з імпульсною дією для лінійного стохастичного параболічного рівняння вищого порядку |
publisher |
Інститут математики НАН України |
publishDate |
2008 |
topic_facet |
Короткі повідомлення |
url |
http://dspace.nbuv.gov.ua/handle/123456789/164768 |
citation_txt |
Задача з імпульсною дією для лінійного стохастичного параболічного рівняння вищого порядку / Г.М. Перун // Український математичний журнал. — 2008. — Т. 60, № 10. — С. 1422–1426. — Бібліогр.: 9 назв. — укр. |
series |
Український математичний журнал |
work_keys_str_mv |
AT perungm zadačazímpulʹsnoûdíêûdlâlíníjnogostohastičnogoparabolíčnogorívnânnâviŝogoporâdku |
first_indexed |
2025-07-14T17:21:21Z |
last_indexed |
2025-07-14T17:21:21Z |
_version_ |
1837643786341056512 |
fulltext |
UDK 519.21
H. M. Perun (Çerniv. nac. un-t)
ZADAÇA Z IMPUL|SNOG DI{G DLQ LINIJNOHO
STOXASTYÇNOHO PARABOLIÇNOHO RIVNQNNQ
VYWOHO PORQDKU
We prove a theorem on the well-posedness of the Cauchy problem for a linear stochastic equation of the
parabolic type of higher order with time-dependent coefficients and continuous perturbations whose
solutions are subjected to pulse action at fixed times.
Dokazana teorema o korrektnosty zadaçy Koßy dlq lynejnoho stoxastyçeskoho uravnenyq pa-
rabolyçeskoho typa v¥sßeho porqdka s koπffycyentamy, zavysqwymy ot vremeny, y neprer¥v-
n¥my vozmuwenyqmy, reßenyq kotoroho v fyksyrovann¥e moment¥ vremeny podverΩen¥ ym-
pul\snomu vozdejstvyg.
Systemy zvyçajnyx dyferencial\n¥x rivnqn\, qki zaznagt\ impul\sno] di], hly-
boko vyvçeno v praci A.2M.2Samojlenka, M.2O.2Perestgka [1]. Krajovi zadaçi
dlq rivnqn\ druhoho porqdku paraboliçnoho typu z bilym ßumom riznymy meto-
damy doslidΩuvalys\ u pracqx J. I. Hixmana [2], I. J. Hixmana [3], A. Q. Dorohov-
ceva, S. D. Ivasyßena, A. H. Kukußa [4]. Vlastyvosti rozv’qzkiv kvazilinijnyx
hiperboliçnyx rivnqn\ z impul\snog di[g vyvçaly M. O. Perestgk, A. V. Tkaç
[5]. Rezul\taty vyvçennq zadaçi Koßi dlq paraboliçnyx system z impul\snog
di[g vykladeno u praci M. I. Matijçuka ta V. M. Luçka [6].
Nexaj vyznaçeno jmovirnisnyj prostir ( Ω , F, P ) z nespadnym potokom σ -al-
hebr { }, ,F t F F t tt t t≥ ⊂ <0
1 2 1 2pry . Vypadkova funkciq u ( t, x, ω ) , qka vyzna-
çena na [ t0, T ] × En × Ω ≡ Π × Ω , vymirna i z imovirnistg221 [ rozv’qzkom zadaçi
Koßi
d ut = A t D u t x dt C t D u t x dw tk x
k
k b
k x
k
k m
( ) ( , , ) ( ) ( , , ) ( , )ω ω ω
≤ ≤
∑ ∑
+
2
, (1)
x ∈ En , ω ∈ Ω ,
u t x t t( , , )ω = 0
= ϕ ( x, ω ) , (2)
qkyj pry t = τi , i = 1, 2, … , N , t0 < τ1 < … < τN ≤ T, zadovol\nq[ umovu
strybka [1]
∆t tu t x
i
( , , )ω τ= = u x u xi i( , , ) ( , , )τ ω τ ω+ − −0 0 = B u xi i( , , )τ ω− 0 ≡ B ui . (3)
Qkwo τi — toçka rozryvu perßoho rodu, to funkciq u [ neperervnog zliva.
Poklademo
u xi( , , )τ ω = u xi( , , )τ ω− 0 = lim ( , , )
t i
u t x
→ −τ
ω
0
.
Tut A tk( ) i C tk( ) — neperervni funkci], ϕ ( x, 0 ) [ obmeΩenog, ϕ ( x, ω ) ne zale-
Ωyt\ vid potoku Ft , Bi ∈ R , w ( t, ω ) — standartnyj skalqrnyj vinerivs\kyj
proces.
Zastosu[mo do zadaçi (1) – (3) intehral\ne peretvorennq Fur’[ [7]
v ( t, σ, ω ) = Fx u ( t, x, ω ) = e u t x dxi x
En
σ ω( , , )∫ , σ ∈ En ,
© H. M. PERUN, 2008
1422 ISSN 1027-3190. Ukr. mat. Ωurn., 2008, t. 60, # 10
ZADAÇA Z IMPUL|SNOG DI{G DLQ LINIJNOHO STOXASTYÇNOHO … 1423
todi
dt v ( t, σ, ω ) =
A t i t dt C t i t dw tk
k
k b
k
k
k m
( )( ) ( , , ) ( )( ) ( , , ) ( , )σ σ ω σ σ ω ωv v
≤ ≤
∑ ∑
+
2
, (4)
v( , , )t t tσ ω = 0
= ˜ ( )ϕ σ , σ ∈ En , (5)
∆t tt
i
v( , , )σ ω τ= = Bi iv( , , )τ σ ω− 0 . (6)
Rivnqnnq (4) [ linijnym odnoridnym stoxastyçnym rivnqnnqm. Zadaça (4), (5)
ma[ [dynyj z toçnistg do stoxastyçno] ekvivalentnosti neperervnyj rozv’qzok
[8] pry t ≠ τi , i = 1, 2, … , N , qkyj vyznaça[t\sq formulog
v ( t, σ, ω ) = ˜ ( ) exp ( )( ) ( )( )ϕ σ σ σA s i C s i dsk
k
k
k
k mk bt
t
−
≤≤
∑∑∫ 1
2
2
20
+
+
t
t
k
k
k m
C s i dw s
0
∫ ∑
≤
( )( ) ( , )σ ω . (7)
Formula (7) mistyt\ normal\nyj fundamental\nyj rozv’qzok (NFR) zadaçi
Koßi dlq vidpovidnoho (1) determinovanoho rivnqnnq
Q ( t, τ, σ ) = exp ( )( )
τ
σ
t
k
k
k b
A s i ds∫ ∑
≤
2
.
NFR zadaçi (4), (5) dlq stoxastyçnoho rivnqnnq z imovirnistg221 [ funkciq
Q1 ( t, τ, σ, ω ) = exp ( )( ) ( )( ) ( )A s i C s i s dsk
k
k
k
k mk b
t
σ σ
τ
−
≤≤
∑∑∫ 1
2
2
2
+
+
τ
σ
t
k
k
k m
C s i dw s∫ ∑
≤
( )( ) ( ) ≡ Q t C s i dw sk
k
k m
t
( , , ) exp ( )( ) ( )τ σ σ
τ ≤
∑∫
–
–
τ
σ
t
k
k
k m
C s i ds∫ ∑
≤
1
2
2
( )( ) , Q1 ( τ, τ, σ, ω ) = 1. (8)
Nenul\ovyj rozv’qzok zadaçi (4) – (6) nazvemo matrycantom V t t( , , , )0 σ ω , qk-
wo V t t( , , , )0 0 σ ω = 1 z imovirnistg221. Matrycant zadaçi z impul\snog di[g [1]
ma[ vyhlqd
V t t( , , , )0 σ ω = Q t t B Q t tj m j m j j
m
1 1 1
1
1( , , , )( ) ( , , , )+ + + + −
=
+ ∏σ ω σ ων ν
ν
×
× ( ) ( , , , )1 1 1 0+ + −B Q tj jν τ σ ω , (9)
t0 ≤ τ j+1 < τ j m+ < t ≤ τ j m+ +1 < T.
Teper rozv’qzok zadaçi zobrazymo v obrazax Fur’[:
v ( t, σ, ω ) = V t t( , , , ) ˜ ( , )0 σ ω ϕ σ ω . (10)
ISSN 1027-3190. Ukr. mat. Ωurn., 2008, t. 60, # 10
1424 H. M. PERUN
Nexaj G t x( , , , )τ ω — funkciq Hrina, qka [ obernenym peretvorennqm Fur’[
matrycanta
G t x( , , , )τ ω = F V tσ τ σ ω−1 ( , , , ) = 1
2( )
( , , , )
π
τ σ ω σσ
n
E
i x
n
e V t d∫ − , (11)
∆t tG t t x
i
( , , , )0 ω τ= = B G t xi i( , , , )τ ω0 , t0 < … < τi < … < τi m+ < t < T. (12)
Za dopomohog funkci] Hrina zapyßemo rozv’qzok zadaçi (1) – (3) u vyhlqdi
u ( t, x, ω ) =
En
G t t x d∫ ( , , , , ) ( , )0 ξ ω ϕ ξ ω ξ . (13)
Ob©runtu[mo formulu (13). Poznaçymo C s∗( , )σ = Re ( )( )C s ik
k
k m
σ
≤
∑ ,
C s∗∗( , )σ = Im ( )( )C s ik
k
k m
σ
≤
∑ , todi
Q t t1 0( , , , )σ ω = exp ( )( ) ( , ) ( , )A s i C s C s dsk
k
k bt
t
σ σ σ− +
∗ ∗∗
≤
∑∫ 1
2
1
2
2
20
+
+
t
t
t
t
t
t
C s dw i C s dw s C s C s ds
0 0 0
∫ ∫ ∫∗ ∗∗ ∗ ∗∗+ −
( , ) ( , ) ( ) ( , ) ( , )σ σ σ σ .
Vykorystovugçy ponqttq modulq kompleksnoznaçno] funkci], ma[mo
Q t t1 0( , , , )σ ω = exp Re ( )( ) ( , ) ( ( , ))A s i C s C s dsk
k
k bt
t
σ σ σ− −( )
∗ ∗∗
≤
∑∫ 1
2
2 2
20
+
+
t
t
C s dw s
0
∫ ∗
( , ) ( , )σ ω . (14)
Skorysta[mosq vlastyvistg intehrala Vinera – Ito dlq sumovnyx z kvadratom
funkcij [9]
M exp ( , ) ( , )
t
t
f s dw s
0
∫
ω ω = exp ( , )1
2
0
2
t
t
f s ds∫
ω ,
de M — operaciq matematyçnoho spodivannq.
Zastosuvavßy operacig matematyçnoho spodivannq do obox çastyn rivnosti
(14), otryma[mo
M Q t t1 0( , , , )σ ω{ } = exp Re ( )( ) ( , )A s i C s dsk
k
k bt
t
σ σ+ ( )
∗∗
≤
∑∫ 1
2
2
20
. (15)
Prypustymo, wo vidpovidne determinovane do (1) rivnqnnq [ rivnomirno para-
boliçnym, tobto
ISSN 1027-3190. Ukr. mat. Ωurn., 2008, t. 60, # 10
ZADAÇA Z IMPUL|SNOG DI{G DLQ LINIJNOHO STOXASTYÇNOHO … 1425
Re ( )( )A s ik
k
k b
σ
=
∑
2
≤ – δ σ0
2b , δ0 > 0, (16)
i, oçevydno,
C s∗∗( )( , )σ
2
≤ c m
0
2σ . (17)
Z ostannix umov oderΩu[mo umovu paraboliçnosti stoxastyçnoho rivnqnnq
(1), qka zabezpeçu[ isnuvannq peretvorennq Fur’[ matrycanta F V tσ τ σ ω−1 ( , , , ) :
Re ( )( ) ( , )A s i C sk
k
k b
σ σ
≤
∗∗∑
+ ( )
2
21
2
≤ – δ σ1
2b, δ1 < δ0 , m ≤ b . (18)
Zavdqky rivnosti (15) ta umovi (18) moΩemo ocinyty matrycant
M V t t( , , , )0 σ ω{ } ≤ c t Bj m
b
j mexp ( )− −{ } ++ +δ τ σ1
2 1 ×
×
ν
ν ν νδ τ τ σ δ τ σ
=
+ + − + −∏ − −{ } + − −{ }
m
j j
b
j j
bB t
1
1 1
2
1 1 0
21exp ( ) exp ( ) ≤
≤ c B t t
m
j
b
ν
ν δ σ
=
+∏ + − −{ }
0
1
2
01 exp ( ) , τj > t0 , t > tj + m , σ ∈ En . (19)
Zastosovugçy do M V t t( , , , )0 σ ω{ } lemu221.1 [7], pryxodymo do vysnovku,
wo F V t tσ σ ω− { }1
0M ( , , , ) isnu[.
Teorema$(pro korektnist\). Nexaj koefici[nty rivnqnnq (1) [ vyznaçenymy i
neperervnymy na [ t0, T ] , vykonu[t\sq umova paraboliçnosti (18) i m ≤ b ; vy-
padkova funkciq ϕ ( x, ω ) ne zaleΩyt\ vid Ft , ϕ ( x, 0 ) — neperervna obmeΩena
funkciq, Bi ∈ R , t = τi , i = 1, 2, … , N , t0 < τi . Todi funkciq Hrina zadaçi
(1)2–2(3) vyznaça[t\sq qk obernene peretvorennq Fur’[ matrycanta za formu-
log (11), dlq poxidnyx qko] spravdΩu[t\sq nerivnist\
D G t xx
k ( , , )τ ≤ c B t c
x
t
k
m
j m
n k
b
b
b
bν
τ
τ=
+
− + −
∏ + − −
−
0
2
2
2 1
1
2
1 ( ) exp
( )
. (20)
Rozv’qzok zadaçi vyznaça[t\sq formulog (13) i dlq n\oho spravdΩu[t\sq ocinka
sup ( , , )
E
x
k
n
D u t xM ω{ } ≤ t
k
b
−
{ }2
M ϕ , k ≤ 2 b . (21)
ZauvaΩennq$1. Qkwo funkciq
k m
k
kC s i
≤
∑ ( )( )σ [ dijsnoznaçnym mnohoçle-
nom, to joho stepin\ moΩe buty dovil\nym.
ZauvaΩennq$2. Za dopomohog funkci] Hrina G t x( , , , )τ ω zadaçi z impul\s-
nog di[g (1) – (3) moΩna zapysaty rozv’qzok zadaçi dlq neodnoridnoho rivnqnnq
vyhlqdu
d u t xt ( , , )ω = A t D u t x f t x dtk
k b
x
k( ) ( , , ) ( , )
≤
∑ +
2
ω +
ISSN 1027-3190. Ukr. mat. Ωurn., 2008, t. 60, # 10
1426 H. M. PERUN
+ C t D u t x g t x dw tk
k b
x
k( ) ( , , ) ( , ) ( , )
≤
∑ +
ω ω . (22)
Rozv’qzok zadaçi (22), (2), (3) ma[ vyhlqd
u ( t, x, ω ) =
E
t
En n
G t x d G t s x∫ ∫ ∫− + −( , , , ) ( , ) ( , , , )0
0
ξ ω ϕ ξ ω ξ ξ ω ×
× f s C s D g s dx ds G t s x g s dw ts
k b
k
t
En
( , ) ( ) ( , ) ( , , , ) ( , ) ( , )ξ ξ ξ ω ξ ωξ−
+ −
≤
∑ ∫ ∫
0
za umovy, wo f Cx∈ α( )Π ta C t D g Ck x
k
k b x( ) ( )≤∑ ∈ α Π , 0 < α < 1. Poxidni do
porqdku 2b dopuskagt\ ocinku
sup ( , , )
Π
M D u t xx
k ω{ } ≤ t f C t D g
k
b
m
m b
x
−
{ } + +
≤
∑2
M ϕ α
α
( ) .
1. Samojlenko A. M., Perestgk N. A. Dyfferencyal\n¥e uravnenyq s ympul\sn¥m
vozdejstvyem. – Kyev: Vywa ßk., 1987. – 258 s.
2. Hyxman Y. Y. Hranyçnaq zadaça dlq stoxastyçeskoho uravnenyq parabolyçeskoho typa //
Ukr. mat. Ωurn. – 1979. – 31, # 5. – S.2483 – 489.
3. Hyxman Yl. Y. O smeßannoj zadaçe dlq stoxastyçeskoho dyfferencyal\noho uravnenyq
parabolyçeskoho typa // Tam Ωe. – 1980. – 32, # 3. – S.2367 – 372.
4. Dorohovcev A. Q., Yvasyßen S. D., Kukuß A. H. Asymptotyçeskoe povedenye reßenyj
uravnenyq teploprovodnosty s bel¥m ßumom v pravoj çasty // Tam Ωe. – 1985. – 37, # 1. –
S.213 – 20.
5. Perestgk N. A., Tkaç A. V. Peryodyçeskye reßenyq slabonelynejn¥x system v çastn¥x
proyzvodn¥x s ympul\sn¥m vozdejstvyem // Tam Ωe. – 1997. – 43, # 4. – S.2601 – 605.
6. Matijçuk M. I., Luçko V. M. Zadaça Koßi dlq paraboliçnyx system z impul\snog di[g // Tam
Ωe. – 2006. – 58, # 11. – S.2325 – 335.
7. ∏jdel\man S. D. Parabolyçeskye system¥. – M.: Nauka, 1964. – 444 s.
8. Sverdan M. L., Carkov {. F., Qsyns\kyj V. K. Stoxastyçni dynamiçni systemy z skinçennog
pislqdi[g. – Çernivci: Zelena Bukovyna, 2000. – 556 s.
9. Hyxman Y. Y., Skoroxod A. V. Vvedenye v teoryg sluçajn¥x processov. – M.: Nauka, 1977. –
567 s.
OderΩano 10.01.07
ISSN 1027-3190. Ukr. mat. Ωurn., 2008, t. 60, # 10
|