\documentclass[a4paper,12pt,oneside]{article}

\usepackage{amsthm,amssymb,amsmath}

\usepackage{amsmath, amssymb, latexsym, amscd, amsthm,amsfonts,amstext}\usepackage[mathscr]{eucal}\usepackage{graphics, graphpap}\usepackage{makeidx}\usepackage{xspace}\usepackage{array, tabularx, longtable}\usepackage{multicol,color}

\usepackage{a4wide}\usepackage{bbm}

\usepackage{epsfig}\usepackage{hyperref}%\usepackage{amsmath, amssymb, latexsym, amscd, amsthm,amsfonts,amstext}\usepackage[mathscr]{eucal}\usepackage{appendix}\usepackage[utf8]{vietnam}%\usepackage{slavo}%\usepackage{babel}%\usepackage{vnfonts}\usepackage{indentfirst}\usepackage{graphics}\setlength{\textwidth}{15.0cm}\setlength{\textheight}{22.5cm}\setlength{\oddsidemargin}{1cm}\setlength{\evensidemargin}{0cm}\setlength{\topmargin}{0.36cm}%\setlength{\topmargin}{-.75cm}\setlength{\parskip}{3pt}%=================================%\setlength{\oddsidemargin}{0.99cm} %\setlength{\textwidth}{15.1cm}

%\setlength{\topmargin}{0.36cm} %\setlength{\headheight}{0cm} %Chieu cao cua Headerline%\setlength{\headsep}{0cm} %Khoang cach tu Headerline %\setlength{\textheight}{23.4cm}

\setlength{\baselineskip}{18truept}\renewcommand{\baselinestretch}{1.5}%C٣h dg 1.3

\newtheoremstyle{note}% name {3pt}% {3pt}% {}% {}%

{\bfseries}% Theorem head font {.}% {\newline}% {}

\newcommand{\theoremhead}{}\swapnumbers

% Theorems\numberwithin{equation}{section}\newtheorem{dl}{Định lý}[section]\newtheorem{bde}{Bổ đề}[section]\newtheorem{mde}{Mệnh đề}[section]\newcommand{\p}{|p|}\newcommand{\q}{|q|}\newcommand{\nsr}{generalized solution}\newcommand{\ega}{-\gamma }\newcommand{\emga}{\gamma }\newcommand{\egak}{-\gamma_k }\newcommand{\egal}{-\gamma_l }\newcommand{\emhga}{e^{2\gamma t}}\newcommand{\ehga}{e^{-2 \gamma t}}\newcommand{\tr}{\stackrel{\circ~~}}\newcommand{\kgn}{\tr{H^{m,0}}(\ega,Q)}\newcommand{\kgnm}{\tr{H^{m,0}}(\ega,\Omega_0^{\infty})}\newcommand{\kgnj}{\tr{H^{m,0}}(\ega,\Omega_j^{\infty})}\newcommand{\nx}{\textbf{Remark. }}\newcommand{\kgnc}{\tr{H^{m,0}}(\ega,K_h^\infty)}\allowdisplaybreaks\begin{document}\begin{center}{\huge \bf{ TIỂU LUẬN TỔNG QUAN}}\\\end{center}{\large{\bf Tên đề tài:} Dáng điệu tiệm cận của một số hệ vi phân đa trị trong không gian vô hạn chiều}\\{\large {\bf Chuyên ngành:} Phương trình vi phân và tích phân}\\{\large {\bf Mã số:} 62.46.01.05}\\{\large {\bf NCS:} Đỗ Lân}\\{\large{\bf Khóa:} 2012-2016}\\{\large{\bf Người hướng dẫn khoa học:} PGS. TS Trần Đình Kế}\\\newpage\begin{center}{\large \bf{ TIỂU LUẬN TỔNG QUAN}}\\\end{center}{\bf Tên đề tài:Dáng điệu tiệm cận của một số hệ vi phân đa trị trong không gian vô hạn chiều} \\{\bf Chuyên ngành:} Phương trình vi phân và tích phân\\{\bf Mã số:} 62.46.01.05\\{\bf NCS:} Đỗ Lân\\{\bf Khóa:} 2011-2016\\

{\bf Người hướng dẫn khoa học:} PGS. TS Trần Đình Kế\\\begin{center}{\large \bf{ NỘI DUNG}}\end{center}

\section{LÍ DO CHỌN ĐỀ TÀI VÀ NỘI DUNG NGHIÊN CỨU}

\hspace{0,5cm} Thuật ngữ hệ vi phân đa trị được dùng để chỉ các bài toán với bao hàm thức vi phân hoặc các phương trình vi phân (đạo hàm riêng) mà tính duy nhất nghiệm của nó bị phá vỡ. Nghiên cứu dáng điệu tiệm cận của các hệ vi phân đa trị là một trong những bài toán quan trọng của lý thuyết định tính phương trình vi tích phân. Đối với các bài toán phi tuyến gắn với hệ vi phân đa trị trong các không gian vô hạn chiều, dáng điệu tiệm cận của nghiệm có thể được nghiên cứu thông qua lý thuyết ổn định (stablity) nghiệm hoặc lý thuyết tập hút (attractor) cho nửa dòng đa trị sinh bởi hệ.

Lý thuyết ổn định đối với các hệ vi phân trong không gian hữu hạn chiều (ví dụ như với hệ phương trình vi phân thường) hoặc các hệ vi phân hàm đã được nghiên cứu từ những năm đầu của thế kỷ 20 và đạt được những thành tựu quan trọng, điển hình là những kết quả ổn định theo phương pháp Liapunov (xem \cite{RDD, JK2}). Tuy vậy, với các hệ vi phân phi tuyến trong các không gian vô hạn chiều (như đối với phương trình đạo hàm riêng phi tuyến), các kết quả về ổn định chưa được biết đến nhiều. Đó là động lực để chúng tôi chọn đề tài này.

Trong nội dung luận án này, chúng tôi xét tới hai lớp hệ tiến hóa:\begin{itemize}\item Lớp thứ nhất: Toán tử nghiệm có tính chất nửa dòng;\item Lớp thứ hai: Toán tử nghiệm không có tính chất nửa dòng.\end{itemize}

Đối với lớp thứ nhất, toán tử nghiệm có tính chất nửa dòng, dáng điệu tiệm cận của lớp này được nghiên cứu qua lý thuyết tập hút. Đối với lớp thứ hai, toán tử nghiệm không có tính chất nửa dòng, chúng tôi sử dụng lý thuyết ổn định, các phương pháp điểm bất động cho ánh xạ nén, phương pháp hàm Lyapunov.

\subsection{Sự tồn tại tập hút cho nửa dòng đa trị}Trong luận án này, đối với lớp bao hàm thức mà toán tử nghiệm có tính chất nửa dòng, chúng tôi xét một hệ cụ thể sau\begin{align}u'(t) &\in Au(t) + F(u(t), u_t),\quad t \geq 0, \label{e1.1}\\u(s) &= \varphi(s), \quad s\in [-h,0],\label{e1.2}\end{align}ở đây $u$ là hàm nhận giá trị trong không gian Banach $X$, $u_t$ là hàm trễ, tức là $u_t(s)=u(t+s)$ với $s\in [-h, 0]$, $F$ là một hàm đa trị xác định trên một tập con của $X \times C([-h,0], X)$. Trong bài toán này, $A: D(A)\subset X\to X$ là một toán tử tuyến tính thỏa mãn điều kiện Hille-Yosida, tức là tồn tại các hằng số $M>0$, $\omega\in\mathbb R$ sao cho $(\omega, +\infty)\subset \rho(A)$ (giải thức của $A$) mà

$$\|(\lambda I - A)^{-n}\|_{\mathcal L(X)}\le \frac{M}{(\lambda-\omega)^n}, \lambda > \omega,$$trong đó $\|\cdot\|_{\mathcal L(X)}$ là chuẩn của toán tử tuyến tính bị chặn trên $X$.

Như ta đã biết, có nhiều lược đồ lý thuyết và kết quả về sự tồn tại tập hút cho các nửa dòng sinh bởi các hệ vi phân mà nghiệm của chúng là duy nhất (\cite{RTE, CHV, JKH, GRA}). Đối với các hệ vi phân mà tính duy nhất nghiệm không được đảm bảo, ví dụ như lớp bài toán này của chúng ta, có hai phương pháp thường được sử dụng nhất, đó là phương pháp Nửa dòng tổng quát (được đưa ra bởi Ball trong \cite{Ball1,Ball2}) và phương pháp nửa dòng đa trị (được đưa ra bởi Melnik và Valero trong \cite{MV}). Những đánh giá, so sánh về hai phương pháp này được nêu trong \cite{CMRR}. Trong tất cả các lược đồ này, có một bước rất quan trọng trong việc chứng minh tồn tại tập hút đó là chỉ ra tính compact tiệm cận của nửa dòng. Thông thường, tính chất này thỏa mãn nếu nửa dòng sinh bởi thành phần chính (ví dụ, trong bài này là $S^\prime(\cdot)$) là compact. Tuy nhiên, với các hệ đạo hàm riêng trong miền không bị chặn thì yêu cầu như trên là không thực tế. Để khắc phục khó khăn này, chúng tôi sử dụng cách tiếp cận bằng các ước lượng cho độ đo không compact. Gọi $G(t,\cdot)$ là nửa dòng đa trị sinh bởi \eqref{e1}-\eqref{e2}, nghĩa là$$G(t,\varphi) = \{u_t: u(\cdot, \varphi)\;\text{ là một nghiệm tích phân của \eqref{e1}-\eqref{e2}}\},$$và $G_T=G(T,\cdot)$ với $T>h$, là toán tử dịch chuyển. Ta sẽ chứng minh $G_T$ là nén. Tính chất này giúp chúng ta chứng minh tính tiệm cận compact của $G$. Trong bài toán này, nửa nhóm $S^\prime(\cdot)$ được giả thiết là liên tục theo chuẩn, chứ không cần compact. Hơn nữa, nhờ các ước lượng dựa vào bất đẳng thức Halanay, chúng tôi cũng thu được tính chất tán xạ bị chặn của $G$ dưới các giả thiết nhẹ hơn nhiều so với các giả thiết đưa ra trong \cite{YY}.

Với bài toán \eqref{e1.1}-\eqref{e1.2}, trong trường hợp $F$ là hàm đơn trị, sự tồn tại tập hút toàn cục đã được chứng minh trong \cite{YY}. Ngoài ra, kết quả tương tự cho trường hợp trễ vô hạn được chứng minh trong \cite{BYY}. Trong cả hai nghiên cứu này, các tác giả đều cần tới hai giả thiết quan trọng,\begin{enumerate}\item nửa nhóm $S^\prime(\cdot)$ là nửa nhóm compact;\item $F$ là một ánh xạ Lipschitz.\end{enumerate}Ở đây, chúng tôi cố gắng giảm nhẹ các giả thiết cho trường hợp trễ hữu hạn. Đặc biệt, nếu $S^\prime(\cdot)$ là không compact, chúng tôi giả thiết $F$ thỏa mãn tính chất chính quy được biểu diễn dưới dạng độ đo không compact (MNC). Rất may mắn, nếu $F=F_1+F_2$, trong đó $F_1$ là hàm Lipschitz đơn trị, $F_2$ là hàm đa trị compact thì tính chất được đề cập ở trên được thỏa mãn. Chúng tôi cũng phải chú ý rằng, bài toán này của chúng tôi được xét dưới dạng bao hàm thức vi phân, nó không chỉ là một sự mở rộng tổng quát của mô hình phương trình, mà ta còn có thể coi nó như một bài toán điều khiển mà ở đó, hàm điều khiển được cho dưới dạng phản hồi.

\subsection{Ổn định nghiệm của các lớp hệ tiến hóa mà toán tử nghiệm không có tính chất nửa nhóm}

Trong trường hợp này, chúng ta không thể sử dụng lý thuyết tập hút mà phải sử dụng lý thuyết ổn định để nghiên cứu dáng điệu tiệm cận của nghiệm hệ. Trong luận án này, chúng tôi đi sâu vào nghiên cứu một lớp phương trình vi phân bậc phân số và một lớp bao hàm thức vi phân bậc phân số.

Với phương trình, chúng tôi nghiên cứu bài toán sau trong không gian Banach $X$:\begin{align}& ^CD_0^\alpha u(t) = Au(t) + f(t, u(t), u_s),\; t \neq t_k, t_k \in (0, +\infty), k \in \Lambda, \label{e2.1} \\& \Delta u(t_k) = I_k(u(t_k)), \label{e2.2}\\& u(s) + g(u)(s) = \varphi(s), \;s\in [-h,0], \label{e2.3}\end{align}trong đó ${}^CD_0^{\alpha}, \alpha\in (0,1)$, là đạo hàm bậc phân số theo nghĩa Caputo, $A$ là toán tử tuyến tính đóng trong $X$ sinh ra nửa nhóm liên tục mạnh $W(\cdot)$, $\Lambda \subset \mathbb{N}$, $f$ là một hàm đơn trị, $g$ là hàm không cục bộ và $I_k$ là hàm xung. Trong bài toán này, $u_t$ là hàm trễ, $t$, tức là $u_t(s) = u(t+s), s\in [-h,0]$.

Dễ thấy rằng, bài toán \eqref{e2.1}-\eqref{e2.3} chứa nhiều lớp quan trọng của bài toán Cauchy trong phương trình vi phân. Trường hợp $\alpha=1$, bài toán với điều kiện không cục bộ và có xung đã được nghiên cứu rất nhiều. Như chúng ta đã biết, điều kiện không cục bộ mô tả các mô hình thực tế tốt hơn so với điều kiện ban đầu cổ điển. Ví dụ, ta xét một kiểu điều kiện không cục bộ dạng$$ u(s) + \sum_{i=1}^M c_i u(\tau_i,s) = \varphi(s)$$cho phép thêm vào một độ đo một số độ đo khác. Kết quả đầu tiên và có ý nghĩa vật lý về phương trình không cục bộ có thể kể đến là \cite{BYS}. Từ đó, hàng loạt các bài toán không cục bộ cho phương trình vi phân cũng như bao hàm thức bắt đầu được quan tâm và giải quyết. Mặt khác, điều kiện xung được sử dụng để mô tả những hệ động lực có sự thay đổi đột ngột. Một cuốn chuyên khảo khá đầy đủ về phương trình vi phân có xung là \cite{BHN}.

Nhờ sự phát triển của giải tích bậc phân số và các ứng dụng của đạo hàm bậc phân số (có thể xem trong \cite{Bajle, KST, MilRos, Podlubny}), nhiều hệ vi phân bậc nguyên đã được mở rộng thành các mô hình bậc phân số. Về cách phát triển này, ta có thể tìm thấy trong các nghiên cứu \cite{HRS, NG, ZhJi1, ZhJi2}.

Có một thực tế rằng, mặc dù tính giải được cho hệ vi phân \eqref{e2.1}-\eqref{e2.3} nhận được nhiều sự quan tâm, tuy nhiên việc nghiên cứu tính ổn định nghiệm lại gần như chưa có kết quả nào đáng kể. Đó là động lực chính của chúng tôi trong nghiên cứu này. Để nghiên cứu tính ổn định của bài toán, cách tiếp cận của chúng tôi là phương pháp điểm bất động được đề xuất bởi Burton và Furumochi cho phương trình vi phân/phương trình vi phân hàm (trong \cite{Bu, BuFu}). Ý tưởng chính của

phương pháp này là xây dựng một {\it tập con bất biến}, mà ở đó toán tử nghiệm có duy nhất điểm bất động. Với cách tiếp cận này, chúng tôi sẽ chứng minh nghiệm tầm thường của hệ \eqref{e2.1}-\eqref{e2.3} là BI-ổn định tiệm cận, tức là $u(t)\to 0$ khi $t\to +\infty$ với điều kiện ban đầu bị chặn $\varphi$.\\

Mở rộng sang trường hợp bao hàm thức, chúng tôi nghiên cứu bài toán sau:\begin{align}& ^CD_0^\alpha u(t) - Au(t) \in F(t, u(t), u_t),\; t \neq t_k, t_k \in (0, +\infty), k \in \Lambda, \label{e3.1} \\& \Delta u(t_k) = I_k(u(t_k)), \label{e3.2}\\& u(s) + g(u)(s) = \varphi(s), \;s\in [-h,0], \label{e3.3}\end{align} ở đây, $F$ là một hàm đa trị. Bài toán này là mở rộng của bài toán \eqref{e2.1}-\eqref{e2.3} sang trường hợp đa trị.

Với bài toán \eqref{e3.1}-\eqref{e3.2}, ngoài việc nghiên cứu tính giải được và sự tồn tại nghiệm phân rã, chúng tôi sẽ cố gắng nghiên cứu tốc độ hội tụ của nghiệm phân rã trong một số trường hợp đặc biệt.

\subsection{Nghiệm đối tuần hoàn cho bao hàm thức vi phân dạng Polytope}

Bài toán đối tuần hoàn được biết như một công cụ để mô tả các quá trình vật lý (xem \cite{Batchelor, Bonilla, Kulshreshtha}), vì lí do đó, bài toán chứng minh sự tồn tại của nghiệm đối tuần hoàn cho các hệ tiến hóa tuyến tính và phi tuyến tổng quát đã được quan tâm rất nhiều, đặc biệt là trong vài thập kỷ gần đây, bắt nguồn từ các nghiên cứu của Okochi (\cite{Okochi1, Okochi2, Okochi3}). Gần đây, Z.H. Liu \cite{Liuzh} nghiên cứu bài toán đối tuần hoàn của một lớp phương trình tiến hóa phi tuyến trong không gian Banach phản xạ và đã thu được các kết quả về tồn tại nghiệm bằng cách áp dụng lý thuyết nhiễu loạn giả đơn điệu của các ánh xạ đơn điệu cực đại. Y. Wang \cite{YWang} sử dụng lý thuyết toán tử tiến hóa để nghiên cứu phương trình tiến hóa không ô-tô-nôm nửa tuyến tính sau$$ u'(t)=A(t)u(t)+f(t,u(t)),\quad \quad \quad t\in \mathbb R $$trong không gian Banach. Dưới những giả thiết về tán xạ, Wang đã chứng minh được một định lý dạng Yoshizawa.

Năm 2011, Quing Liu, \cite{LiuQ} nghiên cứu bài toán $$ u'(t)=Au(t)+f(t,u(t)), \quad \quad \quad t\in \mathbb R $$với điều kiện đối tuần hoàn trong không gian Banach $X$ với điều kiện hyperbolic của nửa nhóm sinh bởi $A$. Bằng cách tiếp cận lý thuyết nửa nhóm, Liu đã chứng minh được sự tồn tại của nghiệm đối tuần hoàn thông qua các định lý điểm bất động Schauder và nguyên lý ánh xạ co Banach. Từ công trình này của Liu, xuất hiện hàng loạt các kết quả về nghiệm đối tuần hoàn sử dụng lý thuyết nửa nhóm, điển hình là các kết quả trong \cite{WangChen, Guerekata, Oregan, ZinghuaiLiu}.

Tuy nhiên, tất cả các kết quả được biết cho đến nay của bài toán nghiệm đối tuần hoàn chỉ là ở dạng phương trình, và trong hầu hết các kết quả, các tác giả đều giả thiết thành phần phi tuyến ở vế phải thỏa mãn điều kiện Lipschitz. Từ đó, chúng tôi đề xuất bài toán \begin{align}

u'(t) &\in Au(t) + F(t, u(t)),\quad t\in \mathbb R, \label{e1}\\u(t+T) &= -u(t), t\in \mathbb R\label{e2}\end{align}trong đó, $u$ nhận giá trị trong không gian Banach $X$, $F(t,u(t))=\overline{\text{conv}}\{f_1(t,u(t)), \cdots, f_n(t,u(t))\}$, ở đây $\overline{\text{conv}}$ là bao lồi đóng trong không gian hàm, $A$ là một toán tử Hille-Yosida có miền xác định $D(A)$ không trù mật, tức là $\overline{D(A)} \not= X$ và thành phần $A$ trong $\overline{D(A)}$ sinh ra một nửa nhóm hyperbolic.\\

Như ta đã biết, trong bài toán điều khiển có phản hồi, hàm điều khiển thường được chọn trong một tập, tập đó thường có dạng polytope, do đó, bài toán chúng ta đang xét có thể coi như một mô hình của bài toán điều khiển.

Bài toán này của chúng tôi là một mở rộng sang trường hợp đa trị của các bài toán trước đó, hơn nữa trong bài toán này, chúng tôi sẽ bỏ đi giả thiết Lipschitz ở vế phải, thay bằng một điều kiện yếu hơn rất nhiều, được biểu diễn dưới dạng độ đo không compact. Ngoài ra, do toán tử $A$ có miền xác định không trù mật, tức là $A$ không sinh ra một nửa nhóm, trong bài toán này, chúng tôi giả thiết $A$ sinh ra một nửa nhóm tích phân. Thậm chí ở đây, chúng tôi không cần tới giả thiết $S'(\cdot)$ là một nửa nhóm liên tục theo chuẩn mà chỉ cần $S'(\cdot)$ là một $C_0$-nửa nhóm có tính chất hyperbolic.

\section{MỤC ĐÍCH NGHIÊN CỨU}

\hspace{\parindent} Luận án này tập trung nghiên cứu dáng điệu tiệm cận nghiệm của các hệ vi phân đa trị theo cách tiếp cận của lý thuyết ổn định và lý thuyết tập hút. Đối tượng nghiên cứu là các bài toán với phương trình vi phân-đạo hàm riêng phi tuyến hoặc các bao hàm thức vi phân, cụ thể ở đây là bài toán với phương trình-bao hàm thức vi phân bậc phân số và các bao hàm thức vi phân với toán tử vi phân đa trị có tính chất tiêu hao.

\section{ĐỐI TƯỢNG VÀ PHẠM VI NGHIÊN CỨU}\begin{itemize}\item Đối tượng nghiên cứu của Luận án là "Dáng điệu tiệm cận của một số hệ vi phân đa trị trong không gian vô hạn chiều", cụ thể ở đây là các phương trình/bao hàm thức vi phân bậc phân số và bao hàm thức vi phân mà phần tuyến tính của nó sinh ra một nửa nhóm tích phân.

\item Phạm vi nghiên cứu của Luận án bao gồm các nội dung sau:

Nội dung 1: Phương trình vi phân bậc phân số có xung, có trễ hữu hạn với điều kiện không cục bộ\begin{itemize}

\item Nghiên cứu sự tồn tại nghiệm;\item Nghiên cứu sự tồn tại duy nhất nghiệm BI-ổn định;\item Đưa ra một số ví dụ minh họa cho kết quả trừu tượng đã chứng minh được.\end{itemize}

Nội dung 2: Bao hàm thức vi phân bậc phân số có xung, trễ hữu hạn với điều kiện không cục bộ \begin{itemize}\item Nghiên cứu sự tồn tại nghiệm;\item Nghiên cứu sự tồn tại nghiệm phân rã;\item Đánh giá tốc độ ổn định của nghiệm trong trường hợp không có điều kiện xung;\item Đưa ra ví dụ minh họa cho kết quả trừu tượng đã chứng minh được\end{itemize}

Nội dung 3: Bao hàm thức vi phân với toán tử Hille-Yosida \begin{itemize}\item Nghiên cứu sự tồn tại nghiệm;\item Nghiên cứu sự tồn tại tập hút toàn cục;\item Đưa ra các ví dụ minh họa cho kết quả trừu tượng.\end{itemize}

Nội dung 4: Nghiệm đối tuần hoàn cho bao hàm thức vi phân \begin{itemize}\item Nghiên cứu sự tồn tại nghiệm đối tuần hoàn cho bao hàm thức vi phân;\item Đưa ra các ví dụ minh họa cho kết quả trừu tượng.\end{itemize}

\end{itemize}

\section{PHƯƠNG PHÁP NGHIÊN CỨU}

\begin{itemize}\item Để nghiên cứu tính giải được, chúng tôi sử dụng các định lý điểm bất động cho ánh xạ nén.

\item Để nghiên cứu dáng điệu tiệm cận của nghiệm, chúng tôi sử dụng hai phương pháp:

\begin{itemize}\item Với hệ mà toán tử nghiệm sinh ra nửa dòng, chúng tôi sử dụng lý thuyết tập hút. Cụ thể ở đây, chúng tôi sử dụng lược đồ của Melnik và Valero đưa ra năm 1998 (\cite{MV}). Đầu tiên, ta đưa ra khái niệm nửa dòng đa trị sinh bởi hệ vi phân, sau đó chứng minh sự tồn tại tập hấp thụ bị chặn và tính tiệm cận compact của nửa dòng $G$.\item Với các hệ mà toán tử nghiệm không có tính chất nửa dòng, chúng tôi tiếp tục sử dụng lý thuyết ổn định. Cụ thể, trong trường hợp phương trình vi phân bậc phân số, để nghiên cứu tính ổn định của bài toán, cách tiếp cận của chúng tôi là phương pháp điểm bất động được đề xuất bởi Burton và Furumochi cho phương trình vi

phân/phương trình vi phân hàm (trong \cite{Bu, BuFu}). Ý tưởng chính của phương pháp là xây dựng một tập con bất biến, mà ở đó toán tử nghiệm có duy nhất điểm bất động. Với các trường hợp bao hàm thức vi phân bậc phân số, chúng tôi sử dụng các ước lượng cho độ đo không compact, chứng minh toán tử nghiệm là toán tử nén trong không gian các hàm phân rã, rồi sau đó sử dụng các định lý điểm bất động cho ánh xạ nén. \end{itemize}

\end{itemize}\vskip 0.5cm

\section{KẾT QUẢ CỦA LUẬN ÁN}Luận án đã đạt được những kết quả chính sau đây:

\begin{itemize}\item Đối với lớp phương trình vi phân bậc phân số có xung, có trễ hữu hạn với điều kiện không cục bộ: Chứng minh được sự tồn tại nghiệm yếu của bài toán. Chứng minh được sự tồn tại và duy nhất của nghiệm BI-ổn định

\item Đối với lớp bao hàm thức vi phân bậc phân số có xung, có trễ hữu hạn với điều kiện không cục bộ: Chứng minh sự tồn tại nghiệm yếu của bao hàm thức. Chứng minh được sự tồn tại của nghiệm phân rã trong trường hợp tổng quát. Đối với trường hợp không có xung, chứng minh được sự tồn tại của nghiệm phân rã với tốc độ đa thức.

\item Đối với lớp bao hàm thức vi phân mà phần tuyến tính sinh bởi toán tử Hille-Yosida: Chứng minh được sự tồn tại nghiệm yếu. Chứng minh được sự tồn tại của một tập hút toàn cục compact. Đưa ra được một vài lớp bài toán cụ thể minh họa cho kết quả trừu tượng.

\item Đối với bao hàm thức với điều kiện đối tuần hoàn: Chứng minh được sự tồn tại nghiệm đối tuần hoàn của bài toán. Chỉ ra các lớp ví dụ minh họa cho kết quả trừu tượng.

\end{itemize}Các kết quả của luận án là mới, là những đóng góp ý có ý nghĩa cho lý thuyết ổn định, lý thuyết tập hút cho các hệ vi phân đa trị trong không gian Banach tổng quát, bao hàm nhiều lớp bài toán với phương trình đạo hàm riêng phi tính.

Các kết quả chính của luận án đã được công bố trong 02 bài báo trên các tạp chí khoa học chuyên ngành, 02 bài đã hoàn thành và chuẩn bị gửi đăng. Các nội dung chính trong luận án đã được báo cáo tại:

\begin{itemize}\item Xêmina của Bộ môn Giải tích, Khoa Toán - Tin, Trường Đại học Sư phạm Hà Nội; \item Đại hội Toán học toàn quốc, Nha Trang, 2013.\end{itemize}

\begin{thebibliography}{99}

\bibitem{ABE} M. Adimy, H. Bouzahir, K. Ezzinbi, {\it Local existence and stability for some partial functional differential equations with infinite delay}, Nonlinear Anal. 48 (2002), 323-348.

\bibitem{ALE} M. Adimy, M. Laklach, K. Ezzinbi, {\it Non-linear semigroup of a class of abstract semilinear functional differential equations with a non-dense domain}, Acta Math. Sinica, Engl. Ser. Mar. (Engl. Ser.) 20 (5) (2004), 933-942.

\bibitem{AKPRS} R.R. Akhmerov, M.I. Kamenskii, A.S. Potapov, A.E. Rodkina, B.N. Sadovskii,{\it Measures of Noncompactness and Condensing Operators}, Birkh\"auser, Boston-Basel-Berlin, 1992.

\bibitem{ACK} C.T. Anh, N.M. Chuong, T.D. Ke, {\it Global attractors for the m-semiflow generated by a quasilinear degenerate parabolic equation}, J. Math. Ana. Appl, 363 (2010) 444-453.

\bibitem{AK} C.T. Anh, T.D. Ke, {\it On quasilinear parabolic equations involving weighted p-Laplacian operators}, Nonlinear Differ. Equa. Appl. 17 (2010), 195-212.

\bibitem{Ball1} J.M. Ball, Continuity properties and global attractor of generalized semiflows and the Navier-Stokes equations, J. Nonlinear Sci. 7 (1997), 475-502.

\bibitem{Ball2} J.M. Ball, Global attractor for damped semilinear wave equations, Discrete Contin. Dyn. Syst. 10 (2004), 31-52.

\bibitem{Bothe} D. Bothe, {\it Multivalued Perturbations of m-Accretive Differential Inclusions}, Israel J. Math 108 (1998), 109-138.

\bibitem{BYY} H. Bouzahir, H. You, R. Yuan, {\it Global attractor for some partial functional differential equations with infinite delays}, Funkcialaj Ekvacioj 54(2011), 139-156.

\bibitem{CaKl} T. Caraballo, P. E. Kloeden, {\it Non-autonomous attractor for integro-differential evolution equations}, Discrete Contin. Dyn. Syst. Ser. S 2 (2009), 17-36.

\bibitem{ChuongKe} N.M. Chuong, T.D. Ke, {\it Generalized Cauchy problem involving nonlocal and impulsive conditions}, J. Evol. Equations 12 (2012), 367-392.

\bibitem{CheVishik} V.V. Chepyzhov, M.I. Vishik, {\it Attractors for Equations of Mathematics Physics}, American Mathematical Society Colloquium Publications, Vol. 49, American Mathematical Society, Providence 2002.

\bibitem{ChVi2} V.V. Chepyzhov, M.I. Vishik, {\it Evolution equations and their trajectory attractors}, J. Math. Pures Appl. 76 (1997), 913-964.

\bibitem{CMRR} T. Caraballo, P. Marin-Rubio, J.C. Robinson, A comparision between totheories for multi-valued semiflows and their asymptotic behaviour. Set Valued Anal. 11 (2003), 297-322.

\bibitem{PraSin} G. Da Prato and E. Sinestrari, {\it Differential Operators with Non-Dense Domain}, Ann. Sc.Norm. Pisa, 14 (1987), 285-344.

\bibitem{EnNa} K.-J. Engel, R. Nagel, {\it One-parameter semigroups for linear evolution equations}. With contributions by S. Brendle, M. Campiti, T. Hahn, G. Metafune, G. Nickel, D. Pallara, C. Perazzoli, A. Rhandi, S. Romanelli and R. Schnaubelt. Graduate Texts in Mathematics, 194. Springer-Verlag, New York, 2000.

\bibitem{GL} L. G\'orniewicz, M. Lassonde, Approximation and fixed points for compositions of $R_\delta$-maps. Topology Appl. 55 (3) (1994), 239-250.

\bibitem{Halanay} A. Halanay, {\it Differential Equations, Stability, Oscillations, Time Lags}, Academic Press, New York and London 1996.

\bibitem{KaObZe} M. Kamenskii, V. Obukhovskii, P. Zecca, {\it Condensing Multivalued Maps and Semilinear Differential Inclusions in Banach Spaces}, in: de Gruyter Series in Nonlinear Analysis and Applications, vol. 7, Walter de Gruyter, Berlin, New York, 2001.

\bibitem{KeW} T.D. Ke, N.C. Wong, {\it Long time behavior for a model of porous-medium equations with variable coefficients}, Optimization 60:6 (2011), 709-724.

\bibitem{Kell} H. Kellerman, M. Hieber, {\it Integrated semigroup }, J. Funct. Anal. 84(1989), 160-180.

\bibitem{MV}V.S. Melnik, J. Valero, {\it On attractors of Multivalued Semi-Flows and Differential Inclusions}, Set-Valued Analysis 6 (1998), 83-111.

\bibitem{ObYao} V. Obukhovskii, J.-C. Yao, {\it On impulsive functional differential inclusions with Hille-Yosida operators in Banach spaces}, Nonlinear Analysis, 73 (2010), 1715-1728.

\bibitem{Temam} R. Temam, {\it Infinite Dimensional Dynamical Systems in Mechanics and Physics}, 2nd edition, Springer-Verlag, 1997.

\bibitem{Thieme} H.R. Thieme, {\it Semiflows generated by Lipschitz perturbations of non-densely defined operators}, Differential Integral Equations 3(6), 1990, 1035-1066.

\bibitem{Val1} J. Valero, Finite and Infinite-Dimensional Attractor of Multivalued Reaction-Diffusion Equations, Acta Math. Hungar., 88:3 (2000), 239-258.

\bibitem{Val2} J. Valero, Attractors of parabolic equations without uniqueness, J. Dynam. Differential Equations 13 (2001), 711-744.

\bibitem{Vrab} I.I. Vrabie, {\it $C_0$-semigroups and applications}, North-Holland Mathematics Studies, 191. North-Holland Publishing Co., Amsterdam, 2003.

\bibitem{YY} H. You, R. Yuan, {\it Global attractor for some partial functional differential equations withfinite delay}, Nonlinear Anal. 72 (2010), 3566-3574.

\bibitem{Bajle} E.G. Bajlekova, Fractional Evolution Equations in Banach Spaces, {\it PhD Thesis, Eindhoven University of Technology}, 2001.

\bibitem{BHN} M. Benchohra, J. Henderson, S. Ntouyas, Impulsive Differential Equations and Inclusions, {\it In: Contemporary Mathematics and its Applications, Vol. 2. Hindawi, New York}, 2006.

\bibitem{Bu} T.A. Burton, Stability by Fixed Point Theory for Functional Differential Equations, {\it DoverPublications, New York}, 2006.

\bibitem{BuFu} T.A. Burton, T. Furumochi, Fixed points and problems in stability theory for ordinary andfunctional differential equations, {\it Dyn. Sys. Appl.} 10 (2001), 89-116.

\bibitem{BYS} L. Byszewski, Theorems about the existence and uniqueness of solutions of a semilinear evolution nonlocal Cauchy problem, {\it J. Math. Anal. Appl.} 162 (1991), 494-505.

\bibitem{KOWY} T.D. Ke, V. Obukhovskii, N.-C. Wong, J.-C. Yao, On semilinear integro-differential equations with nonlocal conditions in Banach spaces, {\it Abstract and Applied Analysis}, Volume 2012 (2012), Article ID 137576, 26 pages.

\bibitem{KL1} T.D. Ke, D. Lan, Decay integral solutions for a class of Impulsive Fractional differential equations in Banach spaces, {\it Fractional Calculus and Applied Analysis}, Volume 17, Number 1 (2014), 96-121.

\bibitem{KST} A.A. Kilbas, H.M. Srivastava, J.J. Trujillo, {\it Theory and Applications of Fractional Differential Equations}, Elsevier, Amsterdam, 2006.

\bibitem{Lak} V. Lakshmikantham, D.D. Bainov, P. S. Simeonov, {\it Theory of impulsive differential equations}, World Scientific Publishing Co., Inc., Teaneck, NJ, 1989.

\bibitem{MilRos} K. S. Miller, B. Ross, \emph{An Introduction to the Fractional Calculus and Fractional Differential Equations}, A Wiley-Interscience Publication. John Wiley \& Sons, Inc., New York, 1993.

\bibitem{HRS} L. Hu, Y. Ren, R. Sakthivel, Existence and uniqueness of mild solutions for semilinearintegro-differential equations of fractional order with nonlocal conditions, {\it Semigroup Forum} 79 (2009), 507-514.

\bibitem{NG} G.M. N'Gu\'er\'ekata, A Cauchy problem for some fractional abstract differential equationwith nonlocal conditions, {\it Nonlinear Anal.} 70 (2009), 1873-1876.

\bibitem{ZhJi1} Y. Zhou, F. Jiao, Nonlocal Cauchy problem for fractional evolution equations, {\it Nonlinear Anal.: RWA} 11 (2010), 4465-4475.

\bibitem{ZhJi2} Y. Zhou, F. Jiao, Existence of mild solutions for fractional neutral evolution equations, {\it Comp. Math. Appl.} 59 (2010), 1063-1077.

\bibitem{KThA} N.T.Anh and T.D.Ke, Decay integral solutions for neutral fractional differential equations with infinite delays, {\it Mathematical Methods in the Applied Sciences} (2014), accept for publication.

\bibitem{Podlubny} I. Podlubny, \emph{Fractional Differential Equations. An Introduction to Fractional Derivatives, Fractional Differential Equations, to Methods of Their Solution and Some of Their Applications}, Mathematics in Science and Engineering. 198. Sandiego, CA: Academic Press, 1999.

\bibitem{Seidman} T.I. Seidman, Invariance of the reachable set under nonlinear perturbations, {\it SIAM J. Control Optim.} 25 (5) (1987), 1173-1191.

\bibitem{WCX} R.-N. Wang, D.-H. Chena, T.-J. Xiao, Abstract fractional Cauchy problems with almost sectorialoperators, {\it J. Differential Equations} 252 (2012), 202-235.

\bibitem{RDD} R.D. Driver,, {\it Ordinary and Delay Differential Equations}, Springer-Verlag, New York Inc., 1977.

\bibitem{JK2} J.K. Hale, S.M. Verduyn Lunel, {\it Introduction to Functional Differential Equations}, Springer, 1993.

\bibitem{RTE} R. Temam, {\it Infinite-Dimensional Dynamical Systems in Mechanics and Physics}, 2nd ed., Springer-Verlag, New York, 1997.

\bibitem{CHV} V.V. Chepyzhov, M.I. Vishik, {\it Attractors for Equations of Mathematical Physics}, American Mathematical Society Colloquium Publications, Vol. 49, American Mathematical Society, Providence 2002.

\bibitem{JKH} J. K. Hale, R.D. Driver {\it Asymptotic Behavior of Dissipative Systems}, Mathematical Surveys and Monographs, Vol. 25, Amer. Math. Soc., Providence, 1988.

\bibitem{GRA} G. Raugel, {\it Global Attractors in Partial Differential Equations, In Handbook of dynamical systems,}, Vol. 2, pp. 885-892, North - Holland, Amsterdam, 2002.

\bibitem{Batchelor} M.T. Batchelor, R.J. Baxter, M.J. O’Rourke, C.M. Yung, {\it Exact solution and interfacial tension of the six-vertex model with anti-periodic boundary conditions}, J. Phys. A 28 (1995) 2759–2770.

\bibitem{Bonilla} L.L. Bonilla, F.J. Higuera, {\it The onset and end of the Gunn effect in extrinsic semiconductors}, SIAM J. Appl. Math. 55 (1995) 1625–1649

\bibitem{Kulshreshtha} D.S. Kulshreshtha, J.Q. Liang, H.J.W. Muller-Kirsten, {\it Fluctuation equations about classical field configurations and supersymmetric quantum mechanics}, Ann. Physics 225 (1993) 191–211.

\bibitem{Okochi1} H. Okochi, {\it On the existence of periodic solutions to nonlinear abstract parabolic equations}, J. Math. Soc. Japan 40 (1988) 541–553.

\bibitem{Okochi2} H. Okochi, {\it On the existence of anti-periodic solutions to a nonlinear evolution equation associated with odd subdifferential operators}, J. Funct. Anal. 91(1990) 246–258.

\bibitem{Okochi3} H. Okochi, {\it On the existence of anti-periodic solutions to nonlinear parabolic equations in noncylindrical domains}, Nonlinear Anal. 14 (1990) 771–783

\bibitem{Haraux} A. Haraux {\it Anti-periodic solutions of some nonlinear evolution equations}, Manuscripta Math. 63 (1989), 479-505.

\bibitem{Aftabizadeh} A.R. Aftabizadeh, N.H. Pavel, and Y.K. Huang, {\it Anti-periodic oscillations of some second-order di®erential equations and optimal control problems}, J. Comp. Appl. Math. 52 (1994), 3-21.

\bibitem{Aizicovici} S. Aizicovici and N.H. Pavel, {\it Anti-periodic solutions to a class of nonlinear differential equations in Hilbert space}, J. Funct. Anal. 99 (1991), 387-408.

\bibitem{Liuzh} Z.H. Liu, {\it Anti-periodic solutions to nonlinear evolution equations}, J. Funct. Anal. 258 (2010), 2026-2033.

\bibitem{LiuQ} Q. Liu, {\it Existence of anti-peroidic mild solution for semilinear evolution equation},J. Math. Anal. Appl. 377 (1) (2011), 110-120.

\bibitem{YWang} Y. Wang, {\it Antiperiodic solutions for dissipative evolution equations}, Mathematical and Computer Modelling, 51 (2010), 715-721.

\bibitem{WangChen} R. N. Wang, D. H. Chen, {\it Anti-periodic problem to semilinear partial neutral evolution equations}, Electronic Journal of Qualitative Theory of Differential Equations, 16 (2013), 1-16.

\bibitem{Guerekata} G.M. N’Guérékata, V. Valmorin, {\it Antiperiodic solutions of semilinear integrodifferential equations in Banach spaces}, Appl.Math. Comput. 218 (2012) 11118–11124.

\bibitem{Oregan}Y. Chen, D. O’Regan, R.P. Agarwal, {\it Anti-periodic solutions for semilinear evolution equations in Banach spaces}, J. Appl.Math. Comput. 38 (2012) 63–70.

\bibitem{ZinghuaiLiu} J. H. Liu et al {\it Existence of anti-periodic mild solutions to semilinear nonautonomous evolution equations}, J. Math. Anal. Appl, 16 (2015), http://dx.doi.org/10.1016/j.jmaa.2014.12.043

\end{thebibliography}\end{document}