Áp dụng định lí điểm bất động monch để nghiên cứu tính giải được của một lớp phương trình vi phân ngẫu nhiên trung tính có hiệu ứng xung

Nội dung text: Áp dụng định lí điểm bất động monch để nghiên cứu tính giải được của một lớp phương trình vi phân ngẫu nhiên trung tính có hiệu ứng xung

1. P-ISSN 1859-3585 E-ISSN 2615-9619 SCIENCE - TECHNOLOGY ÁP DỤNG ĐỊNH LÍ ĐIỂM BẤT ĐỘNG MONCH ĐỂ NGHIÊN CỨU TÍNH GIẢI ĐƯỢC CỦA MỘT LỚP PHƯƠNG TRÌNH VI PHÂN NGẪU NHIÊN TRUNG TÍNH CÓ HIỆU ỨNG XUNG APPLY MONCH FIXED POINT THEORY TO STUDY THE SOLVABILITY FOR A CLASS OF IMPULSIVE NEUTRAL STOCHASTIC DIFFERENTIAL EQUATIONS Lâm Trần Phương Thủy TÓM TẮT trong đó, A là toán tử sinh của một nửa nhóm giải tích ( ( )) Trong bài báo này, tác giả sử dụng độ đo không compact Hausdorff và định lí T t t 0 các toán tử tuyến tính bị chặn trong không gian H điểm bất động Monch để chứng minh sự tồn tại nghiệm tích phân đối với một lớp Hilbert X; BQ là một fBm với tham số Hurst H (/,) 1 2 1 ; phương trình vi phân ngẫu nhiên trung tính có hiệu ứng xung và chuyển động g,: f J  X là các hàm thích hợp sẽ được xác định sau; Brown bậc phân số (fBm) với nửa nhóm không compact trong không gian Hilbert.  Ở đây I: X ( k 1 , 2 , , m ) là các hàm bị chặn và các Từ khóa: Sự tồn tại nghiệm, chuyển động Brown bậc phân số, định lí điểm bất k T động Monch. thời gian cố định tk thỏa mãn 0 t0 t 1 t k t m T , x() t và x() t là giới hạn bên phải và bên trái của x(t) tại ABSTRACT k k thời điểm t . x()()() t x t x t là bước nhảy của hàm In this paper, author use the Hausdorff measure of noncompactness and the k k k k Monch fixed point theorem to prove the existence of mild solutions for a class of trạng thái x tại thời điểm tk, trong đó Ik xác định kích thước impulsive neutral stochastic differential equations driven by a fractional của bước nhảy thứ k; hàm trễ xt :   được định nghĩa Brownian motion (fBm) with noncompact semigroup in Hilbert spaces. bởi xt ()() x t  với t 0 thuộc không gian pha  sẽ Keywords: The existence, fractional Brownian motion, Monch fixed point định nghĩa sau; dữ kiện đầu  {():} t t 0 là một theorem. hàm  - đo được và là một  - quá trình ngẫu nhiên độc 0  H Trường Đại học Điện lực lập với fBm BQ . Email: thuyltp@epu.edu.vn Các phần tiếp theo của bài báo được trình bày như sau: Ngày nhận bài: 20/02/2021 Phần 2, ta cung cấp một số ký hiệu và khái niệm cần thiết; Ngày nhận bài sửa sau phản biện: 26/3/2021 Phần 3, ta thiết lập một số điều kiện đủ đảm bảo sự tồn Ngày chấp nhận đăng: 25/4/2021 tại nghiệm tích phân của hệ (1) với tham số Hurst H (/,) 1 2 1 ; cuối cùng là Phần kết luận các kết quả đạt 1. ĐẶT VẤN ĐỀ được của bài báo. Gần đây, vấn đề nghiên cứu liên quan đến phương trình 2. KIẾN THỨC CHUẨN BỊ vi phân ngẫu nhiên với fBm đã được nhiều tác giả nghiên cứu, xem [1, 3, 6] và các tài liệu tham khảo trong đó. Tuy Cho X và Y là hai không gian Hilbert thực tách được và nhiên, cho đến nay các phương trình vi phân ngẫu nhiên L(X, Y) là không gian các toán tử tuyến tính bị chặn từ Y đến trung tính với hiệu ứng xung được điều khiển bởi fBm với X. Để thuận tiện, ta sử dụng chung kí hiệu ‖‖ là chuẩn nửa nhóm không compact trong không gian Hilbert vẫn trong các không gian X, Y và L(X, Y). Giả sử (,,)   là chưa được nghiên cứu nhiều. Vì vậy, bài báo này nghiên không gian xác suất đầy đủ. Kí hiệu () là toán tử kì vọng cứu sự tồn tại nghiệm tích phân đối với lớp phương trình vi toán tương ứng với xác suất  . Toán tử không âm, tự liên phân ngẫu nhiên sau: 0 hợp được kí hiệu là QLYY (,) . LQ là không gian các hàm d[x(t) g(t, xt )] [Ax(t) f(t, x t )]dt 1/ 2 H  LYX(,) sao cho Q là toán tử Hilbert-Schmidt với (t)dBQ (t),t J [0,T],t t k , (1) x(t ) I (x ),k 1,2, ,m, chuẩn được định nghĩa bởi k k tk 1 x (t)  (t) L(2  , ), a.e t ( ,0], 0  | |2 | 2 | 2 (  * ) 0 (,) QHS tr Q LYXQ Website: Vol. 57 - No. 2 (Apr 2021) ● Journal of SCIENCE & TECHNOLOGY 135
2. KHOA H ỌC CÔNG NGHỆ P-ISSN 1859-3585 E-ISSN 2615-9619 Khi đó, γ được gọi là toán tử Q-Hilbert-Schmidt từ Y với toán tử hiệp phương sai Q. Chẳng hạn, nếu {}n n là vào X. dãy số thực không âm bị chặn sao cho Qun  n u n , giả sử Chúng ta nhắc lại một số kiến thức cơ bản về fBm và tích phân Wiener đối với fBm. Xét một khoảng thời gian  rằng Q là toán tử hạch trong Y (cụ thể  n ), khi đó [0, T] với T tùy ý và cho {BH ( t ), t J } là chuyển động Brown n 1 phân số một chiều với tham số Hurst H ( 0 , 1 ). Điều này có quá trình ngẫu nhiên 1 1 nghĩa BH là một quá trình trung tâm Gauss liên tục với hàm BtHHH()()()(),, BtQu2  2 Btut0 hiệp phương sai: Q n n  n n n n 1 n 1 H H1 2H 2H 2H RH(,) t s [()()]  t  s (|| t || s | t s |),, t s được định nghĩa như một Q - hình trụ fBm nhận giá trị 2 trong Y. Xét quá trình Wiener  {  (t ), t [ 0 , T ]} định nghĩa 0 Cho :[,](,)0 T LQ Y X sao cho H* 1 H bởi (t ) B (( KH ) I[,] 0 t ). Khi đó, B có biểu diễn tích 1 t * 2 H ‖KH() Q u n ‖2 (2) phân Wiener sau: B( t ) KH ( t , s ) d ( s ). Ở đây nhân  L([ 0 , T ]; X ) 0 n 1 KH (,) t s cho bởi Định nghĩa 2.1. Cho (s ), s [ 0 , T ] là hàm số nhận giá 1t 3 1 0 HHH trị trong LYXQ (,) . Khi đó, tích phân Wiener của φ tương 2 2 2 KHH(,)(),, t s c s  s  d  t s ứng với BH được định nghĩa bởi s Q 1 t t H() 2H 1 HH2 với cH và  là hàm Beta. ()()()s dBQ s s Q u n d  n 1 0 0 (,)2 2H H n 1 2 t 1 ( (( ( 2 ))( ) ( ), . Dễ thấy rằng  KH K H Q u n s dW s t 0 1 3 n 1 0  (,) HH KH t s t 2 2 cH ()(). t s Lưu ý rằng nếu t s 1 * 2 : ([ , ]) 2 Xét toán tử tuyến tính KH L 0 b , cho bởi ‖ Q u ‖1/ H , (3)  n L([ 0 , b ]; X ) t n 1 * KH (,) t s (KH )( s ) ( s ) dt . s t thì (2) được thỏa mãn, điều này suy ra từ 1/ H([ , ]) 2 ([ , ]) Ta có L 0 b L 0 b . Bổ đề 2.1. ([4]) Với mỗi :[,](,)0 b L0 Y X sao cho (5) (KH[,][,] 0 t )( s ) K H ( t , s )  0 t ( s ). Q * 2 thỏa mãn, và với mọi ,[,]  0 b với  , KH là một đẳng cự giữa Φ và L([ 0 , b ]) và có thể mở rộng đến không gian  . H 2  | (s ) dBQX ( s ) |  {H ( )} Giả sử dãy hai mặt của một fBm một chiều Bn t n 1 độc lập trên (,,)   và xét chuỗi sau 2H 12 2 cH( 2H 1 )(  ) | ( s ) Q un | X ds   n 1 H (),. 1  nt u n t 0 n 1 | ( )2 | ở đây c = c(H). Nếu, thêm nữa,  t Q un X hội tụ n 1 Ở đây {}un n là cơ sở trực chuẩn đầy đủ trong Y. Chuỗi đều với [,] , thì trên không nhất thiết hội tụ trong không gian Y. Xét quá t 0 b H trình ngẫu nhiên nhận giá trị trong Y, BQ () t xác định bởi H 2 2H 1  | ()s dBQX ()| s cH ( 2H 1 )(  ) |()| s0 ds   LYXQ (,) H()()(),. H 1/ 2  H Trong bài báo này, ta định nghĩa không gian pha  . BtQ BtQu n n  n Btut0 n n  n 1 n 1 Giả sử :(,](,) 0 0 là hàm liên tục với Chuỗi này hội tụ trong Y nếu Q thuộc lớp các toán tử 0 H 2 l () t dt . Với  0 , ta định nghĩa không gian vết không âm tự liên hợp. Rõ ràng, ta có BLYQ (,)  . Tại H Banach (,) ‖‖ như sau thời điểm đó, BQ () t là Q - hình trụ fBm nhận giá trị trong Y   136 Tạp chí KHOA HỌC VÀ CÔNG NGHỆ ● Tập 57 - Số 2 (4/2021) Website:
3. P-ISSN 1859-3585 E-ISSN 2615-9619 SCIENCE - TECHNOLOGY 2 1/ 2 (1) B là compact yếu nếu và chỉ nếu α(B) = 0;  {:(,]:(())  0 X ‖   ‖ là hàm bị chặn 0 (2) ()()()B B convB , với B và convB tương ứng và do được trên [,]  0 và (s) sup(‖  (  )‖2 ) 1/2 ds } s  0 là bao đóng và bao lồi của B; với chuẩn (3) ()()BD khi BD ; 0 (4) ()()()BDBD , với B D {;,} x y x B y D ; ‖‖ (s) sup (‖  (  )‖2 ) 1/2 ds.  s  0 (5) (B  D ) max { ( B ), ( D )} ; Và ta xét không gian (6) ( BB ) |  | ( ) , với mỗi số thực λ; T {:(x ,] T Xx : k CJXk01mxt (,), k ,, ,,  (),() k xt k (7) Nếu W C([ 0 , T ]) là tập bị chặn, khi đó 2 với x( tk ) x ( t k ), k 0 , 1 , , m , x 0  L (  , ) trên (W ( t )) ( W ) với mọi t [,] 0 T , với W(){():} t u t u W  Y . ( ,0 ]} Hơn nữa, nếu W là đồng liên tục trên $[0,T]$ thì t W() t Kí hiệu ‖‖ là nửa chuẩn trên  định nghĩa bởi liên tục trên [0,T], và (W ) sup { W ( t ) : t [ 0 , T ]} ; T T (8) Nếu W C([ 0 , T ]; X ) bị chặn và đồng liên tục, khi đó ‖x‖ ‖ x‖ sup(‖ x(s)‖2 ) 1/2 ,x  . T 0  T s J t ( W ( t )) liên tục trên [0,T], và t t Bổ đề 2.2. ([5]) Giả sử rằng x T , khi đó với W( s ) ds ( W ( s )) ds với mọi t [,] 0 T , 0 0 t J, xt  . Hơn nữa l(‖ x(s)‖2 ) 1/2 ‖ x‖ ‖ x‖ lsup( ‖ x(s)‖ 2 ) 1/2 ,x  t t  t 0   T với W()(): s ds u s ds u W  ; s J 0 0  0 với l (). s ds (9) Cho {}u là dãy hàm khả tích Bochner từ J tới Y với n 1 ‖u()() t‖ mˆ t hầu khắp t J và mọi n 1, ở đây Tiếp theo, cho ADAX:() (D(A): miền xác định của n ˆ toán tử A) là toán tử sinh của một nửa nhóm giải tích các m()(,) t L J , khi đó hàm (t ) ({ un } n 1 ) L ( J , ) và toán tử tuyến tính bị chặn (T ( t ))t 0 trên X. Giả sử rằng tồn thỏa mãn tại hằng số M 1 và số thực μ sao cho ‖T() t‖ Met , với t  t ():()  un s ds n 1  2 s ds . mọi t 0 . ta cũng giả thiết rằng (T ( t ))t 0 bị chặn đều và là 0  0 nửa nhóm giải tích sao cho 0 ( A ). Ở đây δ(A) là tập giải Với độ đo của số hạng tích phân ngẫu nhiên, ta có Bổ đề của A. Khi đó, ta có thể định nghĩa (-A)α với 0 1, như sau. Đây là Bổ đề quan trọng để chứng minh kết quả của là một toán tử tuyến tính đóng với miền xác định D(-A)α nghiên cứu. tương ứng với chuẩn ‖‖ . Kí hiệu Xα ( 0 1) là không 0 Bổ đề 2.5. Nếu W C([ 0 , t ]; L2 ( V , X )),  là một quá α ‖‖ gian D(-A) với chuẩn  , ta có bổ đề sau trình Winer, khi đó Bổ đề 2.3. [8] Giả sử có các giả thiết trên t W( s ) d  ( s ) T ( W ( t )) , (1) Nếu 0 1, thì Xα là một không gian Banach. 0 (2) Nếu 0  , thì phép nhúng XX  liên tục. ở đây (3) Tồn tại hằng số Mα > 0 sao cho với mọi 0 1, t t W()()()() s d s u s d  s : với mọi u W,[,] t 0 T ta có 0 0 M ‖()(),,. A T t‖ e t t 0  0 Bổ đề 2.6. Giả sử rằng D là một tập lồi đóng của X, t 0 D . Nếu ánh xạ :DX liên tục và thuộc kiểu Monch Tiếp theo, chúng tôi giới thiệu độ đo không compact nghĩa là, Φ thỏa mãn MDM , đếm được, Hausdorff α(.) định nghĩa trên các tập con bị chặn B của M co {0}  ( M ) M compact, khi đó Φ có điểm bất không gian Banach X xác định bởi (B) inf{ 0;B có động trong D. lưới hữu hạn trong X. 3. SỰ TỒN TẠI NGHIỆM Một số tính chất được liệt kê trong Bổ đề sau. Trong phần này, sẽ trình bày và chứng minh sự tồn tại Bổ đề 2.4. ([2]) Cho X là không gian Banach thực và nghiệm tích phân của (1). Trước tiên cần đưa ra khái niệm BDX,  là các tập bị chặn; khi đó các tính chất sau được nghiệm tích phân của bài toán đã nêu. thỏa mãn: Website: Vol. 57 - No. 2 (Apr 2021) ● Journal of SCIENCE & TECHNOLOGY 137
4. KHOA H ỌC CÔNG NGHỆ P-ISSN 1859-3585 E-ISSN 2615-9619 Định nghĩa 3.1. X - quá trình ngẫu nhiên (ii) Tồn tại hàm liên tục mf : J và một hàm liên {x ( t ), t ( , T ]} được gọi là một nghiệm tích phân của tục, không giảm :(,) 0 sao cho (1), nếu f ‖f(,)()() t x‖2 m t  ‖ x‖ 2 . f f  (i) x(t) đo được, t - tương thích; 1 (ii) Với t ( , 0 ], x ( t )  ( t ) ; (iii) Tồn tại hàm dương lf L(,) J sao cho, với mỗi (iii) Với mỗi 0 t T,() x t thỏa mãn đẳng thức tích tập con bị chặn Q2  : phân sau: (f(t,x)) lf (t) sup (Q 2 (  )) .  ( ,0] xt() Tt ()[()  0 g0 (,())]  0 gtx (, ) t (H5) Hàm liên tục IX:  , thỏa mãn t t k T AT()(,)()(,) t s g s xs ds T t s f s x s ds 0 0 (i) Tồn tại Lk 0, k 1 , 2 , , m sao cho với mỗi x, y T t m H T( t tk )() I k x t T ( t s )()  s dB Q (). s và L  k 0  k 0 tk t k 1 Trong phần tiếp theo, sử dụng các giả thiết sau: ‖I()() x I y‖2 L‖ x y‖ 2 và ‖I() 0‖ 0 . k k k T k (H1) A là toán tử sinh của một nửa nhóm giải tích (ii) Tồn tại lk 0, k 1 , 2 , , m sao cho với mỗi tập con bị (T ( t ))t 0 các toán tử tuyến tính bị chặn trên X, thỏa mãn chặn Q3  T 0 () A . Từ Bổ đề 2.3, tồn tại các hằng số MM, 1  sao cho  M (Ik (Q 3 )) l k sup (Q 3 ( )) . ‖ ()‖ và ()(),. A1 ‖ T t‖ 1  t J  ( ,0] T t M 1  t 0 (H2) Hàm :(,)JLVX thỏa mãn m Q MT2 2  21  2 2 t 24‖ ( A)‖ Lg L g M mL l 2 2 1 k 1 k (i) ‖(),s‖0 ds  t J , (H6) 0 LQ t 2 f () 6TM mf (s)ds lim sup 1 1/ 2  (ii) ‖Q u ‖2 , 0   n L([ 0 , T ]; X ) n 1 Định lí 3.1. Nếu các giả thiết (H1)-(H6) được thỏa mãn thì hệ (1) có ít nhất một nghiệm tích phân trên (,] T với 1/ 2 (iii) ‖Q u ‖ ) hội tụ đều với t J .  n X  n 1  * MT1  ‖() ‖ ‖ ‖ A Q 2 lg LJ1(,) (H3) Hàm g: J  X thỏa mãn  (4) (i) g là hàm liên tục và tồn tại các hằng số m ‖ ‖ . MT lfLJ1(,) M l k 1 0  1, Lg 0 , sao cho hàm g nhận giá trị trong X và  n 1 thỏa mãn Chứng minh   2 2 ‖()(,)()(,) Agtx Agty‖ Lg‖ xy ‖ ,  Xét toán tử : TT  định nghĩa bởi ‖()(,)() A g t x‖2 L 1 ‖ x‖ 2 , g  với mọi x, y  và t J . (t ), t ( , 0 ] 1 T()[() t 0 g (,())] 0  0 g (, t xt ) (ii) Tồn tại một hàm dương lg L(,) J , sao cho với x() t t t (5) mỗi tập bị chặn Q   thỏa mãn ()(,)()(,) 1  ATt sgsxs ds Tt sfsx s ds 0 0  * t (( A) g(t,Q))1 l(t) g sup (Q( 1  )),Q supl(t) g . H  ( ,0] t J TttIx( k )() k t Tts ( )()  sdBstJ Q (), .  k 0 0 tk t (H4) Hàm f: J  X thỏa mãn Để chứng minh sự tồn tại nghiệm tích phân của (1), ta (i) Với mỗi x  ,(,): f  x J X đo được với mỗi t J ,  cần chứng minh  có điểm bất động. (,): f t X liên tục. 0 0 Xét T {:,}y y  T y 0 0 , với mỗi y T , định nghĩa chuẩn 138 Tạp chí KHOA HỌC VÀ CÔNG NGHỆ ● Tập 57 - Số 2 (4/2021) Website:
5. P-ISSN 1859-3585 E-ISSN 2615-9619 SCIENCE - TECHNOLOGY 2 1/2 2 1/2 t ‖y‖ 0 ‖ y‖ sup(‖ y(s)‖ ) sup( ‖ y(s)‖ ) . ˆ 2  0  J 6‖ T()(,) t s f s y  ds‖ T s J s J 4 s s 0 (12) 0 t Khi đó, (,)T ‖‖ 0 là một không gian Banach. Với mỗi 2 T 6TM mf()() s  f r ds 0 0 2 r > 0, xét Br {:} y  T ‖ y‖ 0 r , khi đó Br là tập lồi đóng T m ˆ 2 2 0 J65 ‖ TttIy()() k k t  t‖ 6MmLr k (13) và bị chặn trong T . Với mỗi y Br , ta có k k  0 tk t k 1 ˆ2 2 2 2 ˆ 2 ‖y ‖ 4l( r M |  ( 0 ) | ) 4‖ ‖ : r (6) t t t    H 2 J6 6‖ T(t s)  (s)dB Q (s)‖ 0 ˆ (t ), t ( , 0 ] (14) với ()t 2 2H 2 6cMH(2H 1)T sup‖  (s)‖0 T( t ) ( 0 ), t J . L 0 s T Q 0 0 Bây giờ ta định nghĩa toán tử : TT  bởi Từ các bất đẳng thức (9)-(14), suy ra 0,(,] t 0 6 MT2 2 m r J6(A) ‖ ‖2 L 1  LMmL 2 T()[ t g (,())] 0  0 g (, t y ˆ ) i g2 1 g  k t t i 1 k 1 t t ˆ ˆ 2‖ ‖ 2‖ ‖ 2‖ ‖ 2 ATtsgsy()(,)()(,) s  s ds Ttsfsy s  s ds 6M(A) L(1g  )6(A) L g y() t 0 0 (7)   (15) t 2 2 ˆ H MT1  2 2H 2 TttIy( )(  ) TtssdBstJ ()()  (), 6 L 6cM H(2H 1)T sup‖  (s)‖0  k k tk t k Q g L 0 2 1 0 s T Q 0 tk t t 2 6TM mf (s)  f (r )ds. 0 Rõ ràng, việc chứng minh toán tử  có điểm bất động tương đương với việc chứng minh toán tử Φ có điểm bất Chia hai vế của (15) cho r và cho r , biết rằng động. Để dễ đọc hơn, tác giả chia chứng minh thành các 4l2 (r M 2 |  (0)| 2 ) 4‖ ˆ‖ 2 r  2 bước như sau. lim lim 4l . r r r r Bước 1: Tồn tại số thực dương r sao cho ()BB  . Giả r r Ta có sử ngược lại rằng ()BB  , khi đó với mỗi số thực dương r r m MT2 2 r, tồn tại hàm yr B nhưng ()yr  B , điều này suy ra tồn  21  2 2 r r 24‖ ( A)‖ Lg L g M mL l 2 1 k 1 k tại t t( r ) J ,‖ (  yr )( t )‖ 2 r . Thực tế, ta có t   ‖( r )( )‖ 2 ‖ ( )[ ( ,  ( ))]‖ 2 2 f () r y t 6 T t g 0 0 6TM mf (s)ds lim sup 1. 0  t  rˆ 2 ˆ 2 6‖ gty(,)()(,)t  t‖ 6 ‖ ATtsgsy s  s ds‖ Điều này mâu thuẫn với (H6). Do đó, tồn tại số thực 0 t dương r sao cho ()BBr  r . ˆ 2 6‖ T()(,) t s f s ys  s ds‖ (8) 0 Bước 2: Toán tử Φ liên tục trong Br . Điều này suy ra từ ˆ 2 6‖ T()() t t I y  ‖ tính liên tục của các hàm g, f và các hàm Ik và định lí hội tụ  k k tk t k 0 tk t trội Lebesgue. t 6 H 2 Bước 3: Toán tử ()Br là đồng liên tục trên J. 6‖ T()()(): t s  s dBQ s‖ J i 0  i 1 Dễ thấy rằng hàm {y : y Br }, t 0 là đồng liên tục. Sử dụng Bổ đề 2.1 và các giả thuyết (H1)-(H5) ta có Với 0 t1 t 2 T,, t 1 t 2 J và y Br nhờ các giả thiết trên, J6Ttg00 ‖ ()[(,())] ‖2 6M 2‖ () A ‖ 2 L1 ( ‖ ‖ 2 ) (9) ta có 1 g  ‖ ‖2* 2‖ ‖ 2 rˆ 2  2 6 yt()()()()()2  yt 1 6Q  Tt 2 Tt 1 J2 6‖ g(,)()() t y t  t‖ 6‖ A‖ L g 1 r (10) ˆ ˆ t 6‖ g(,(,) t2 y t  t g t 1 y t  t ‖ 1   ˆ 2 2 2 1 1 J63 ‖ ( ATtsAgsy ) ( )( ) ( , s  s ) ds‖ 0 t 1 1   ˆ 2 2 2 (11) 12‖ ()[( A TtsTts2 )( 1 )]()(, Agsy s  s ) ds‖ MT1  0 6 Lg () 1 r 2 1 t2 ‖ ()(,) ˆ ‖2 12 AT t2 s g s y s s ds t1 Website: Vol. 57 - No. 2 (Apr 2021) ● Journal of SCIENCE & TECHNOLOGY 139
6. KHOA H ỌC CÔNG NGHỆ P-ISSN 1859-3585 E-ISSN 2615-9619 t 1 ˆ 2 12‖ [T ( t2 s ) T ( t 1 s )] f(,) s ys  s ds‖ 0 TÀI LIỆU THAM KHẢO t 2 ˆ 2 [1] G. Arthi, J. H. Park, H. Jung, 2016. Existence and exponential stability for 12‖ T()(,) t2 s f s y s  s ds‖ t neutral stochastic integrodifferential equations with impulses driven by a fractional 1 m brownian motion. Commun Nonlinear Sci Numer Simul. 32, 145-157. 6‖ [T ( t t ) T ( t t )] I() y ˆ ‖2 [2] J. Banas, K. Goebel, 1980. Measure of Noncompactness in Banach spaces.  2 k 1 k k tk t k k 1 Marcel Dekker, New York. t 1 H 2 [3] B. Boufoussi, S. Hajji, 2012. Neutral stochastic functional differential 12‖ [ T()() t2 s T t 1 s ] ()()s dBQ s ‖ 0 equations driven by a fractional brownian motion in a hilbert space. Stat.Probab. t Lett. 82, 1549-1558. 2 H 2 12‖ T()()() t2 s  s dB Q s‖ 0 [4] T. Caraballo, M. Garrido-Atienza, T. Taniguchi, 2011. The existence and t 1 exponential behavior of solutions to stochastic delay evolution equations with a khi t2 t 1 . Suy ra {:}y y Br là tập đồng liên tục trên J. fractional brownian motion. Nonlinear Anal. 67, 3671-3684. Bước 4: Ta kiểm tra điều kiên Monch được thỏa mãn. [5] Y.K. Chang, 2007. Controllability of impulsive functional differential * 0 * systems with infinite delay in banach spaces. Chaos Soliton. Fract. 33, 1601-1609. Xét tập khác rỗng, bị chặn W  T và y1, y 2 W . [6] J. Cui, Z. Wang, 2016. Nonlocal stochastic integro-differential equations ˆ ˆ Ta có: d( y1 ( t ),  y 2 ( t )) d (  y 1 ( t ),  y 2 ( t )) driven by fractional brownian motion. Adv. Differ. Equ. 115. suy ra ( y ( t )) ( ˆ y ( t )), y W* . [7] Y. Mishura, 2008. Stochastic Calculus for Fractional Brownian Motion and Related Processes. In: Lecture Notes in Mathematics,1929; Springer-Verlag. Cho DB r là tập đếm được và D co({ 0 }   ( D )) . Bây [8] A. Pazy, 1992. Semigroups of linear operators and applications to partial giờ, ta chứng minh ()D 0 . Không mất tính tổng quát, ta differential equations. Spring Verlag, New York. n giả sử rằng D {} y n 1 . Nhờ Bước 3 ta thấy D co({ 0 }   ( D )) là đồng liên tục trên J. AUTHOR INFORMATION Lam Tran Phuong Thuy Theo Bổ đề 2.4 và các giả thiết trên, ta có Electric Power University ({ yn ()} t ) ({ ˆ y n ()} t ) n 1 n 1   * MT1  ‖() A‖ Q 2‖ lg‖1  LJ(,) ({yn ( t )} ) m n 1 MT‖ l‖1 M l fLJ(,)  k n 1 * n M ({ y ( t )}n 1 ), với   MT1  ‖() ‖ ‖ ‖ M A Q 2 lg 1(,)  LJ . m MT‖ l‖1 M l 1 fLJ(,)  k n 1 Do đó, suy ra (D ) ( co ({ 0 }   ( D ))) M* ( D ). Điều này chứng tỏ α(D) = 0, D là tập compact tương đối. Nhờ Bổ đề 2.6, ta thấy rằng Φ có điểm bất động trên D. Định lí được chứng minh. 4. KẾT LUẬN Kết quả chính của bài báo này là sử dụng các kiến thức liên quan đến giải tích ngẫu nhiên, độ đo không compact và nguyên lí điểm bất động Monch để chứng minh sự tồn tại nghiệm tích phân của bài toán (1). 140 Tạp chí KHOA HỌC VÀ CÔNG NGHỆ ● Tập 57 - Số 2 (4/2021) Website: