Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Một số bất đẳng thức tích phân cho toán tử đạo hàm trên thang thời gian và áp dụng" do nghiên cứu sinh Trần Đình Phụng thực hiện tại Trường Đại học Quy Nhơn, dưới sự hướng dẫn khoa học của PGS. Đinh Thanh Đức và GS. Vũ Kim Tuấn, thuộc chuyên ngành Toán giải tích, mã số 62.02. Luận án được hoàn thành và bảo vệ vào năm 2017.

Tính cấp thiết và khoảng trống nghiên cứu

Trong toán học thuần túy cũng như toán học ứng dụng, các bất đẳng thức hàm giữ vai trò nền tảng trong việc xây dựng giải tích, đặc biệt là lý thuyết phương trình vi phân, phương trình đạo hàm riêng và phương trình tích phân. Trong số đó, các bất đẳng thức tích phân cho toán tử đạo hàm (tiêu biểu là các bất đẳng thức loại Opial, Wirtinger và Hardy) là công cụ giải tích hữu hiệu nhằm nghiên cứu các tính chất định tính và định lượng cho nghiệm của phương trình, chẳng hạn như tính duy nhất, tính bị chặn, tính ổn định và tính dao động của nghiệm.

Năm 1988, nhà toán học Stefan Hilger đã xây dựng lý thuyết giải tích trên thang thời gian nhằm mục tiêu thống nhất giải tích liên tục (trên tập số thực $\mathbb{R}$) và giải tích rời rạc (trên tập số nguyên $\mathbb{Z}$ hoặc tập $q^\mathbb{Z}$). Sự phát triển của các phương trình động lực trên thang thời gian đòi hỏi việc thiết lập các bất đẳng thức tích phân tương ứng. Mặc dù nhiều tác giả trên thế giới đã bước đầu mở rộng các bất đẳng thức loại Opial và Wirtinger lên thang thời gian, các kết quả hiện có vẫn bộc lộ nhiều khoảng trống:

  • Các bất đẳng thức loại Opial trên thang thời gian chủ yếu xét các dạng đơn giản cho hàm một biến, với các điểm biên là không điểm thông thường ($f(a) = 0$), chưa bao quát được các lớp hàm hợp phi tuyến phức tạp và chưa giải quyết trọn vẹn trường hợp điểm mút là các không điểm tổng quát.
  • Các bất đẳng thức Opial cho hàm nhiều biến trên thang thời gian nhiều chiều còn rất hạn chế.
  • Trong lý thuyết dao động và định lý so sánh Sturm, đồng nhất thức loại Picone trên thang thời gian cho các hệ phi tuyến chưa được xây dựng đầy đủ; một số kết quả mở rộng trước đó trong y văn quốc tế (cụ thể là công trình của Saker, Mahmoud và Peterson công bố năm 2015) tồn tại sai sót toán học cần được chỉnh lý và thiết lập lại một cách chính xác.

Mục tiêu nghiên cứu

Mục đích chính của luận án được tác giả xác định gồm các nội dung cụ thể sau:

  1. Xây dựng một số bất đẳng thức tích phân có trọng cho toán tử đạo hàm trên thang thời gian, bao gồm bất đẳng thức loại Opial cho hàm một biến và hàm nhiều biến tác động lên tích và hợp của các hàm số.
  2. Thiết lập các bất đẳng thức loại Lyapunov mới trên thang thời gian để áp dụng vào việc nghiên cứu sự phân bố các không điểm tổng quát của nghiệm của phương trình động lực.
  3. Nghiên cứu tính dao động cho nghiệm của một số lớp phương trình động lực cấp hai thuần nhất và không thuần nhất trên thang thời gian.
  4. Hiệu chỉnh các kết quả chưa chính xác trong y văn, xây dựng các đồng nhất thức và bất đẳng thức loại Picone mới cho hệ phương trình động lực phi tuyến cấp một trên thang thời gian.
  5. Thiết lập các bất đẳng thức loại Wirtinger, loại Hardy mới trên thang thời gian và chứng minh các định lý định tính nền tảng: Định lý hoán vị vòng quanh Reid, Định lý so sánh Sturm, Định lý tách Sturm và nguyên lý biến phân.

Đối tượng và phạm vi nghiên cứu

  • Đối tượng nghiên cứu: Toán tử đạo hàm Hilger ($\Delta$-đạo hàm), $\Delta$-tích phân Lebesgue trên thang thời gian $\mathbb{T}$; các lớp bất đẳng thức loại Opial, Lyapunov, Wirtinger, Hardy; đồng nhất thức Picone; nghiệm và tính chất dao động của phương trình và hệ phương trình động lực phi tuyến trên thang thời gian.
  • Phạm vi không gian và toán học: Nghiên cứu được thực hiện trên thang thời gian một chiều $\mathbb{T}$ bất kỳ (tập con đóng, không rỗng của $\mathbb{R}$) và thang thời gian $n$-chiều $\Lambda^n = \mathbb{T}1 \times \dots \times \mathbb{T}n$. Các lớp hàm số được khảo sát bao gồm lớp hàm rd-liên tục ($C{rd}$), lớp hàm liên tục tuyệt đối trên thang thời gian ($AC([a, b]\mathbb{T})$), không gian hàm khả tích $L^p_\Delta([a, b]_\mathbb{T}, r)$, lớp hàm lồi hình học $\mathcal{G}_R$ và lớp hàm nhiều biến $\mathcal{H}_R^m$. Hệ động lực được khảo sát ở dạng hệ phi tuyến cấp một liên quan đến toán tử $G_p(t) = |t|^{p-1}\mathrm{sign}(t)$.

Tổng quan tài liệu và vị trí của luận án

Các hướng nghiên cứu trước được luận án tổng thuật

Luận án đã hệ thống hóa lịch sử phát triển của các lớp bất đẳng thức tích phân từ dạng liên tục, dạng rời rạc đến dạng tổng quát trên thang thời gian:

  • Bất đẳng thức Opial cổ điển và các mở rộng: Bất đẳng thức Opial xuất hiện lần đầu năm 1960 cho hàm liên tục tuyệt đối với hằng số tốt nhất. Sau đó, hướng nâng bậc đạo hàm được khởi xướng bởi Willett (1968), tiếp tục phát triển bởi Boyd (1969), Das (1969), Pachpatte (1987). Hướng mở rộng cho hàm nhiều biến được thực hiện bởi Agarwal (1995), Cheung (1988), Yang (1995), Pachpatte (1986). Hướng thay đổi số mũ hàm số và đạo hàm có công trình của Hua (1965), Yang (1990). Dạng mở rộng liên quan đến hàm lồi được nghiên cứu bởi Godunova và Levin (1972), Pečarić (1984), Andrić và cộng sự (2013). Dạng sai phân rời rạc của Opial được Lasota đề xuất năm 1968, sau đó được Lee (1974) và Pachpatte (1976) mở rộng.
  • Các nghiên cứu của nhóm tác giả Đinh Thanh Đức, Nguyễn Dư Vi Nhân, Vũ Kim Tuấn: Năm 2011, Đức và Nhân đưa ra bất đẳng thức tích phân có trọng cho tích các hàm số. Năm 2013, Nhân, Đức và Tuấn thiết lập bất đẳng thức loại Opial tổng quát cho hàm một biến dạng liên tục. Năm 2014, nhóm tác giả Nhân, Đức, Tuấn, Vũ đưa ra phiên bản rời rạc tương ứng và áp dụng vào phương trình sai phân và hàm zeta Riemann. Năm 2015, Đức, Nhân và Xuân mở rộng kết quả này cho hàm nhiều biến trên miền liên tục.
  • Bất đẳng thức Opial trên thang thời gian: Bohner và Kaymakcalan (2001) cùng Agarwal, Bohner và Peterson (2001) khởi xướng việc nghiên cứu bất đẳng thức Opial trên thang thời gian. Các dạng mở rộng có trọng và tổng quát hóa tiếp tục được nghiên cứu bởi Bohner, Kaymakcalan, Saker, Mahmoud, Karpuz, Özkan, Zhao, Xu, Li, Li, Han, Yin, Srivastava, Tseng, Lo trong các giai đoạn 2005–2015. Wong và cộng sự (2006), Srivastava và cộng sự (2010), Saker, Agarwal và O'Regan (2014) khảo sát dạng nâng bậc đạo hàm $f^{\Delta^m}$.
  • Đồng nhất thức Picone và bất đẳng thức Wirtinger: Đồng nhất thức Picone do nhà toán học Picone công bố năm 1910 phục vụ chứng minh định lý so sánh Sturm cho toán tử vi phân tuyến tính cấp hai. Các công trình mở rộng sau đó gồm có Ahmad (1978) cho hệ tuyến tính, Allegretto (1974) cho phương trình elliptic suy biến, Jaroš và Kusano (1999) cho phương trình nửa tuyến tính chứa toán tử $G_p(t)$. Dạng rời rạc và thang thời gian được Rehák (2001, 2006), Agarwal, Bohner và Rehák (2005) xây dựng. Jaroš (2013) và Tiryaki (2015) thiết lập đồng nhất thức Picone cho hệ vi phân phi tuyến. Năm 2015, Saker, Mahmoud và Peterson công bố kết quả mở rộng đồng nhất thức Picone và bất đẳng thức Wirtinger lên thang thời gian.

Khoảng trống nghiên cứu luận án giải quyết

Qua điểm luận y văn, tác giả Trần Đình Phụng xác định các khoảng trống học thuật cần giải quyết:

  1. Thiếu một khung lý thuyết tổng quát cho bất đẳng thức Opial trên thang thời gian có khả năng chứa đồng thời tích và hợp của nhiều hàm số, áp dụng được cho trường hợp hàm một biến và nhiều biến mà không phụ thuộc vào dạng liên tục hay rời rạc cụ thể.
  2. Các bất đẳng thức Opial trên thang thời gian trước đó hầu hết áp dụng điều kiện biên thông thường ($f(a)=0$), trong khi trên thang thời gian tùy ý, khái niệm tự nhiên và bao quát hơn là "không điểm tổng quát".
  3. Công trình của Saker, Mahmoud và Peterson (2015) về đồng nhất thức Picone trên thang thời gian tồn tại sai sót trong phát biểu và chứng minh định lý cơ bản (Theorem 2.1 không chính xác). Luận án định vị rõ nhiệm vụ chỉnh lý trực tiếp sai sót này, đồng thời mở rộng thiết lập đồng nhất thức và bất đẳng thức Picone mới cho hệ động lực phi tuyến hai chiều.

Cơ sở lý thuyết và phương pháp nghiên cứu

Khung lý thuyết và khái niệm cơ sở

Luận án sử dụng bộ khung giải tích trên thang thời gian được phát triển từ lý thuyết của Stefan Hilger, Martin Bohner, Allan Peterson, Antonio Cabada và Dolores R. Vivero:

  • Thang thời gian $\mathbb{T}$: Một tập con đóng, không rỗng tùy ý của $\mathbb{R}$. Trang bị topo cảm sinh từ topo chuẩn của $\mathbb{R}$.
  • Toán tử bước nhảy và hàm hạt:
    • Toán tử nhảy tiến: $\sigma(t) := \inf{s \in \mathbb{T}: s > t}$.
    • Toán tử nhảy lùi: $\rho(t) := \sup{s \in \mathbb{T}: s < t}$.
    • Hàm hạt: $\mu(t) := \sigma(t) - t$.
    • Điểm $t \in \mathbb{T}$ được phân loại thành: cô lập phải ($\sigma(t) > t$), cô lập trái ($\rho(t) < t$), trù mật phải ($\sigma(t) = t$), trù mật trái ($\rho(t) = t$).
  • Phép tính vi phân trên thang thời gian: $\Delta$-đạo hàm (đạo hàm Hilger) của hàm $f$ tại $t \in \mathbb{T}^\kappa$ được định nghĩa qua giới hạn thỏa mãn: $$|f(\sigma(t)) - f(s) - f^\Delta(t)(\sigma(t) - s)| \le \epsilon |\sigma(t) - s|$$ với $s$ nằm trong lân cận thích hợp. Khi $\mathbb{T} = \mathbb{R}$, $f^\Delta = f'$; khi $\mathbb{T} = \mathbb{Z}$, $f^\Delta = \Delta f = f(t+1) - f(t)$.
  • Công thức đạo hàm Leibniz: Cho $n$ hàm $f_j$ khả vi, đạo hàm của tích hữu hạn được xác định theo: $$\left(\prod_{j=1}^n f_j\right)^\Delta (t) = \sum_{j=1}^n \left(\prod_{i=1}^{j-1} f_i^\sigma(t)\right) f_j^\Delta(t) \left(\prod_{k=j+1}^n f_k(t)\right)$$
  • Phép tính tích phân Lebesgue trên thang thời gian: Xây dựng từ độ đo ngoài $m_1^$ xuất phát từ hàm khoảng nửa mở $m_1([\tilde{a}, \tilde{b})\mathbb{T}) = \tilde{b} - \tilde{a}$. Độ đo $\mu\Delta$ trên $\sigma$-đại số $\mathcal{M}(m_1^)$ liên hệ với độ đo Lebesgue thông thường $\mu_\mathbb{R}$ qua công thức Cabada–Vivero: $$\mu_\Delta(E) = \sum_{i \in I_E} (\sigma(t_i) - t_i) + \mu_\mathbb{R}(E)$$ với ${t_i}_{i \in I_E}$ là tập các điểm cô lập phải của $\mathbb{T}$ chứa trong $E$.
  • Khái niệm không điểm tổng quát (Generalized zero): Điểm $c \in \mathbb{T}$ là không điểm tổng quát của hàm số $f$ nếu $f(c) = 0$ hoặc $f(c)f^\sigma(c) < 0$.
  • Lớp hàm $\mathcal{G}_R$: Tập hợp các hàm số $G \in C^1((-R, R), \mathbb{R})$ thỏa mãn $G(0) = 0$, $|G'(x)| \le G'(|x|)$ với mọi $x \in (-R, R)$, và $G'$ là hàm lồi hình học trên $(0, R)$, nghĩa là nếu $x \le x_1^\alpha x_2^{1-\alpha}$ với $\alpha \in [0, 1]$, $x_1, x_2 \in (0, R)$ thì $G'(x) \le [G'(x_1)]^\alpha [G'(x_2)]^{1-\alpha}$.
  • Lớp hàm nhiều biến $\mathcal{H}_R^m$: Tập hợp các hàm $F \in C^1((-R, R)^m, \mathbb{R})$ thỏa mãn $F(0, \dots, 0) = 0$ và các đạo hàm riêng $D_i F$ không âm, đơn điệu tăng theo từng biến trên $(0, R)$.

Phương pháp nghiên cứu

Luận án sử dụng phương pháp giải tích toán học thuần túy:

  • Kỹ thuật ước lượng giải tích thực kết hợp bất đẳng thức Hölder và bất đẳng thức Jensen trên thang thời gian.
  • Quy tắc $\Delta$-đạo hàm của hàm hợp: $$(G \circ f)^\Delta(x) = f^\Delta(x) \int_0^1 G'(s f^\sigma(x) + (1-s) f(x)) ds$$
  • Kỹ thuật xây dựng hàm đánh giá trung gian $F_e(x)$ và $\overline{F}_e(x)$ tích hợp hàm hạt và toán tử bước nhảy để xử lý tính chất không điểm tổng quát tại biên.
  • Phương pháp đồng nhất thức Picone và phân tích biến phân trong lý thuyết phương trình động lực.

Nội dung chính theo từng chương

Chương 1. Một số kiến thức cơ bản về giải tích trên thang thời gian

Chương này đóng vai trò hệ thống hóa toàn bộ các công cụ và định lý bổ trợ được sử dụng xuyên suốt luận án, trích dẫn từ các công trình kinh điển của Bohner, Peterson, Cabada và Vivero:

  • Trình bày chi tiết cấu trúc tôpô của thang thời gian, toán tử nhảy tiến $\sigma$, toán tử nhảy lùi $\rho$, hàm hạt $\mu(t)$. Cung cấp ví dụ cụ thể trên ba thang thời gian chuẩn: $\mathbb{T} = \mathbb{R}$ ($\mu(t)=0$), $\mathbb{T} = \mathbb{Z}$ ($\mu(t)=1$) và $\mathbb{T} = q^{\mathbb{N}_0}$ với $q>1$ ($\mu(t)=(q-1)t$).
  • Định nghĩa đạo hàm Hilger $f^\Delta$, phân tích mối liên hệ giữa tính liên tục và tính khả vi (hàm khả vi thì liên tục; hàm liên tục thì thuộc lớp rd-liên tục $C_{rd}$). Trình bày công thức đạo hàm của tổng, tích, thương và công thức Leibniz cho tích $n$ hàm số.
  • Thiết lập lý thuyết tích phân Lebesgue trên thang thời gian: định nghĩa tập đo được, hàm đo được, xây dựng tích phân qua hàm đơn giản. Trình bày công thức biểu diễn tích phân qua hai thành phần: tích phân Lebesgue thông thường trên phần trù mật và chuỗi tổng rời rạc trên tập các điểm cô lập phải.
  • Xây dựng hệ đa thức tổng quát $h_n(t, s)$ và $g_n(t, s)$ (đơn thức Taylor trên thang thời gian) thỏa mãn $h_0(t, s) = 1$ và $h_n(t, s) = \int_s^t h_{n-1}(\tau, s)\Delta \tau$. Trình bày công thức khai triển Taylor tổng quát bậc $n$ trên thang thời gian.

Chương 2. Bất đẳng thức loại Opial trên thang thời gian và áp dụng

Chương này trình bày các đóng góp học thuật trọng tâm của luận án về lý thuyết bất đẳng thức Opial:

  • Bất đẳng thức Opial cho hàm một biến:
    • Thiết lập bất đẳng thức tích phân có trọng cho tích của $n$ hàm số $f_j \in \mathcal{H}^p([a, b]\mathbb{T}, r_j)$ với điểm mút là không điểm tổng quát (Định lý 2.1): $$\int{\sigma(a)}^c \left|\left(\prod_{j=1}^n f_j\right)^\Delta (x)\right|^p v(x)\Delta x \le \prod_{j=1}^n F_{e_j}(c) - \prod_{j=1}^n f_j(a)$$ trong đó $v(x)$ là hàm trọng cảm sinh từ các trọng số $r_j$.
    • Mở rộng đánh giá cho toán tử hợp $G \circ f$ với $G \in \mathcal{G}R$ (Định lý 2.2), chứng minh rằng: $$\int{\sigma(a)}^c \left|(G \circ f)^\Delta(x)\right|^p v(x)\Delta x \le [G(F_e(c))]^p - [G(f(a))]^p$$
    • Tổng hợp thành bất đẳng thức loại Opial tổng quát cho tích của $n$ hàm hợp (Định lý 2.4 và Định lý 2.7), thiết lập chặn trên dạng: $$\int_{\sigma(a)}^c \left(\sum_{j=1}^n |f_j^\Delta(x)| |(G_j' \circ f_j)(x)| \prod_{k \ne j} |(G_k \circ f_k)(x)|\right) v(x)\Delta x \le K \prod_{j=1}^n G_j(F_{e_j}(c))$$
  • Bất đẳng thức Opial cho hàm nhiều biến:
    • Định nghĩa thang thời gian nhiều chiều $\Lambda^n = \mathbb{T}_1 \times \dots \times \mathbb{T}_n$, khái niệm $\Delta$-đạo hàm riêng hỗn hợp cấp cao $\Delta^\Lambda f(x) = \Delta_1^{\lambda_1}\dots\Delta_n^{\lambda_n}f(x)$.
    • Sử dụng lớp hàm $\mathcal{H}R^m$, kết hợp bất đẳng thức Jensen và bất đẳng thức Hölder nhiều chiều trên miền hộp $\Omega = [a_1, b_1]{\mathbb{T}1} \times \dots \times [a_n, b_n]{\mathbb{T}_n}$ để thiết lập bất đẳng thức tích phân có trọng cho hàm hợp nhiều biến.
  • Quan hệ bao hàm với các kết quả đã công bố: Tác giả chứng minh rằng bằng cách chuyên biệt hóa các hàm trọng $r(x), v(x)$, chọn lớp thang thời gian $\mathbb{T} = \mathbb{R}$ hoặc $\mathbb{T} = \mathbb{Z}$, và chọn số mũ thích hợp, các bất đẳng thức tổng quát của chương này suy biến về hoặc làm chặt hơn hàng loạt kết quả đã biết trong y văn:
Tác giả & Công trình Dạng thang thời gian / Tham số Kết quả tương ứng trong Luận án Đánh giá so sánh
Bohner & Kaymakcalan (2001) $\mathbb{T}$ tùy ý, $p=2, \alpha=0, \gamma=1$ Hệ quả 2.5 (Bất đẳng thức 2.27) Luận án mở rộng cho không điểm tổng quát
Zhao, Xu & Li (2010) $\mathbb{T}$ tùy ý, $p=2, \alpha=0, \gamma=1$ Hệ quả 2.5 (Bất đẳng thức 2.28) Luận án bao quát và tổng quát hóa
Karpuz, Kaymakcalan & Ocalan (2012) $\mathbb{T}$ tùy ý, $p=2, \gamma=1$ Hệ quả 2.5 Luận án đưa ra phiên bản có hệ số chặt hơn
Saker (2012) $\mathbb{T}$ tùy ý, $p=2, f(a)=0$ Hệ quả 2.5 (chọn trọng $w, v$) Hệ số $L$ của luận án chặt hơn hệ số $M$ của Saker
Karpuz & Özkan (2009) $n$ hàm số, $r_j=1, \alpha=1, p=qn$ Hệ quả 2.6 (Bất đẳng thức 2.30) Luận án cải tiến hệ số và tổng quát trọng số
Yin & Zhao (2008) $n=2, \beta=1, G_j(x)=x$ Định lý 2.7 Luận án tổng quát hóa cho hàm hợp $G \in \mathcal{G}_R$
Li & Han (2009); Srivastava & cs (2010) $p=\gamma+\beta, r=w\psi$ Hệ quả 2.8 (Bất đẳng thức 2.39) Luận án suy biến ra và cải tiến điều kiện biên

Chương 3. Tính dao động của một số phương trình động lực trên thang thời gian

Chương này ứng dụng các bất đẳng thức tích phân đã thiết lập ở Chương 2 vào lý thuyết định tính của phương trình động lực:

  • Bất đẳng thức loại Lyapunov trên thang thời gian (Mục 3.1): Luận án thiết lập điều kiện cần cho sự tồn tại hai không điểm tổng quát của nghiệm phương trình vi phân/động lực cấp hai. Bất đẳng thức cung cấp ước lượng chặn dưới cho khoảng cách giữa hai không điểm tổng quát liên tiếp thông qua tích phân của các hàm hệ số.
  • Tính dao động của phương trình thuần nhất (Mục 3.2): Khảo sát phương trình động lực cấp hai dạng tự liên hợp thuần nhất: $$(p(t)x^\Delta(t))^\Delta + q(t)x^\sigma(t) = 0$$ và các phương trình nửa tuyến tính chứa toán tử $G_\alpha$. Thiết lập các tiêu chuẩn dao động mới (mọi nghiệm không tầm thường đều có vô số không điểm tổng quát trên $[a, \infty)_\mathbb{T}$).
  • Tính dao động của phương trình không thuần nhất (Mục 3.3): Mở rộng khảo sát cho phương trình có vế phải $f(t) \ne 0$. Sử dụng kỹ thuật bất đẳng thức tích phân để thiết lập các điều kiện đủ đảm bảo tính dao động hoặc tính bị chặn của nghiệm.

Chương 4. Đồng nhất thức loại Picone trên thang thời gian và áp dụng

Chương này giải quyết trọn vẹn bài toán đồng nhất thức Picone và các ứng dụng biến phân liên quan:

  • Hiệu chỉnh sai sót trong y văn và thiết lập đồng nhất thức Picone mới (Mục 4.1): Luận án chỉ rõ điểm sai trong Định lý 2.1 của công trình Saker, Mahmoud và Peterson (2015), sau đó xây dựng đồng nhất thức Picone chính xác trên thang thời gian cho hệ phương trình động lực phi tuyến cấp một: $$\begin{cases} u^\Delta = A(t)u^\sigma + B(t)G_{1/\alpha}(v) \ v^\Delta = -C(t)G_{\alpha+1}(u^\sigma) - D(t)v \end{cases}$$ với $A, B, C, D \in C_{rd}$ và $\alpha > 0$.
  • Bất đẳng thức loại Wirtinger và loại Hardy trên thang thời gian (Mục 4.2): Tác giả áp dụng đồng nhất thức Picone vừa thiết lập để suy ra bất đẳng thức Wirtinger có trọng: $$\int_a^b C(t)|u^\sigma(t)|^{\alpha+1}\Delta t \le \int_a^b B(t)|u^\Delta(t)|^{\frac{\alpha+1}{\alpha}}\Delta t$$ và thiết lập các dạng mở rộng của bất đẳng thức Hardy trên thang thời gian cho các lớp hàm thử thích hợp.
  • Định lý Reid cho hệ động lực cấp một (Mục 4.3): Chứng minh tính tương đương của các mệnh đề định tính trong Định lý hoán vị vòng quanh Reid (Reid's Roundabout Theorem) trên thang thời gian, bao gồm:
    1. Tính không dao động của hệ động lực trên đoạn $[a, b]_\mathbb{T}$.
    2. Sự tồn tại nghiệm của phương trình vi phân Riccati tương ứng trên thang thời gian.
    3. Tính xác định dương của phiếm hàm năng lượng biến phân bậc hai liên kết với hệ.
    4. Thiết lập Định lý so sánh Sturm và Định lý tách Sturm cho các không điểm tổng quát của hệ động lực phi tuyến.

Kết quả và những đóng góp mới

Đóng góp về mặt lý luận

  1. Tổng quát hóa lý thuyết bất đẳng thức Opial: Xây dựng thành công hệ thống bất đẳng thức tích phân có trọng loại Opial cho tích và hợp của $n$ hàm số trên thang thời gian một chiều và nhiều chiều. Kết quả này thống nhất trọn vẹn các định lý dạng liên tục của Nhân, Đức, Tuấn (2013) và dạng rời rạc của Nhân, Đức, Tuấn, Vũ (2014).
  2. Mở rộng điều kiện biên với không điểm tổng quát: Khắc phục hạn chế của các công trình trước đây bằng việc chứng minh bất đẳng thức vẫn giữ nguyên tính đúng đắn khi thay không điểm thông thường bằng không điểm tổng quát, mở rộng phạm vi ứng dụng trong giải tích rời rạc và hỗn hợp.
  3. Hiệu chỉnh và hoàn thiện đồng nhất thức Picone: Luận án đã phát hiện, chỉ ra nguyên nhân và hiệu chỉnh thành công sai sót học thuật trong công trình quốc tế của Saker, Mahmoud và Peterson (2015). Đồng thời, luận án thiết lập đồng nhất thức và bất đẳng thức loại Picone mới cho hệ động lực phi tuyến cấp một chứa toán tử $G_p$.
  4. Phát triển lý thuyết dao động và định lý Sturm–Reid: Thiết lập các phiên bản hoàn chỉnh trên thang thời gian cho Định lý hoán vị vòng quanh Reid, Định lý so sánh Sturm, Định lý tách Sturm và các bất đẳng thức vi tích phân kinh điển như Wirtinger, Hardy và Lyapunov.

Đóng góp về mặt thực tiễn toán học và giải pháp đề xuất

  • Cung cấp công cụ giải tích giải quyết bài toán ước lượng tiên nghiệm cho nghiệm của các phương trình động lực phi tuyến.
  • Đề xuất tiêu chuẩn giải tích cụ thể để kiểm tra tính dao động và sự phân bố các không điểm tổng quát của nghiệm phương trình động lực trên thang thời gian mà không cần tìm nghiệm tường minh.

Hạn chế và hướng nghiên cứu tiếp

Hạn chế của đề tài

Căn cứ theo phạm vi nghiên cứu được tác giả xác định trong văn bản, luận án tồn tại một số giới hạn:

  • Các kết quả về đạo hàm và tích phân được xây dựng chủ yếu cho toán tử $\Delta$ (Hilger derivative), chưa khảo sát đồng thời toán tử đạo hàm lùi $\nabla$ hay toán tử đối xứng $\diamond_\alpha$.
  • Các bất đẳng thức Opial đối với hàm hợp chỉ áp dụng cho lớp hàm đơn điệu lồi hình học $\mathcal{G}_R$ và hàm nhiều biến thuộc lớp $\mathcal{H}_R^m$, chưa mở rộng cho các lớp hàm tổng quát không đòi hỏi tính lồi.
  • Hệ động lực được khảo sát ở Chương 4 giới hạn ở hệ hai phương trình cấp một có cấu trúc liên kết phi tuyến dạng $G_{1/\alpha}(v)$ và $G_{\alpha+1}(u^\sigma)$.

Hướng nghiên cứu tiếp

  • Tiếp tục mở rộng các bất đẳng thức tích phân cho toán tử đạo hàm cấp cao $f^{\Delta^n}$ kết hợp với các hàm trọng ma trận.
  • Mở rộng đồng nhất thức Picone cho các hệ phương trình động lực nhiều chiều và hệ phương trình vi phân ngẫu nhiên trên thang thời gian.
  • Nghiên cứu ứng dụng các tiêu chuẩn dao động vào các mô hình toán sinh học, mô hình kinh tế mạng có bước thời gian gián đoạn và liên tục đan xen.

Giá trị tham khảo

Luận án là tài liệu chuyên khảo có giá trị học thuật cao trong chuyên ngành Toán giải tích và Phương trình vi phân:

  • Đối với nghiên cứu sinh và học viên cao học ngành Toán học: Luận án cung cấp một tài liệu tham khảo hoàn chỉnh, chi tiết từ các định nghĩa sơ cấp về thang thời gian đến các kỹ thuật giải tích hiện đại (kỹ thuật Leibniz trên thang thời gian, tích phân Lebesgue-Hilger, xử lý hàm hạt $\mu(t)$).
  • Đối với giảng viên và nhà nghiên cứu lý thuyết phương trình động lực: Chương 2 và Chương 4 là hai phần có giá trị tham khảo đặc biệt sâu sắc. Chương 2 cung cấp kỹ thuật biến đổi bất đẳng thức tích phân có trọng cho hàm hợp phi tuyến; Chương 4 cung cấp cách tiếp cận mẫu mực trong việc phát hiện, phản biện sai sót y văn và thiết lập đồng nhất thức Picone cùng hệ thống Định lý Reid trên thang thời gian.
  • Công bố khoa học liên quan: Luận án được đúc kết từ 5 công trình khoa học của chính tác giả (các công trình [60, 62, 71, 72, 73] trong danh mục tác giả) và đã được báo cáo tại 6 hội nghị, seminar chuyên ngành trong và ngoài nước (Trường Đại học Quy Nhơn, Trường Đại học Bách Khoa Hà Nội, Trung tâm ICISE, và Đại học West Georgia, Hoa Kỳ).

Câu hỏi thường gặp

1. Luận án đã phát hiện và xử lý sai sót nào trong y văn quốc tế đã công bố?

Trong Chương Mở đầu và Chương 4, tác giả đã chỉ rõ công trình công bố năm 2015 của nhóm tác giả Saker, Mahmoud và Peterson [87] có thiếu sót toán học nghiêm trọng, cụ thể là các kết quả trong Định lý 2.1 (Theorem 2.1) của công trình này không chính xác. Luận án đã tiến hành hiệu chỉnh lại toàn bộ kết quả này, đồng thời mở rộng thiết lập đồng nhất thức và bất đẳng thức loại Picone mới một cách chính xác cho hệ động lực phi tuyến cấp một.

2. Khái niệm không điểm tổng quát (generalized zero) trên thang thời gian là gì và tại sao luận án phải sử dụng khái niệm này?

Trên thang thời gian $\mathbb{T}$, điểm $c$ được gọi là một không điểm tổng quát của hàm số $f$ nếu $f(c) = 0$ hoặc $f(c)f^\sigma(c) < 0$. Do thang thời gian có thể chứa các điểm cô lập (như tập số nguyên $\mathbb{Z}$), hàm số có thể đổi dấu giữa hai điểm liên tiếp mà không nhất thiết phải triệt tiêu tại một điểm thuộc $\mathbb{T}$. Do đó, việc sử dụng không điểm tổng quát thay cho không điểm thông thường ($f(c)=0$) là điều kiện bắt buộc để các bất đẳng thức Opial, Lyapunov và lý thuyết dao động Sturm có ý nghĩa trọn vẹn trên thang thời gian tùy ý.

3. Lớp hàm $\mathcal{G}_R$ trong Chương 2 được định nghĩa như thế nào?

Lớp $\mathcal{G}_R$ là tập hợp tất cả các hàm số $G \in C^1((-R, R), \mathbb{R})$ thỏa mãn đồng thời các điều kiện:

  1. $G(0) = 0$;
  2. $|G'(x)| \le G'(|x|)$ với mọi $x \in (-R, R)$;
  3. $G'$ là hàm lồi hình học trên $(0, R)$, nghĩa là $G'(x) \le [G'(x_1)]^\alpha [G'(x_2)]^{1-\alpha}$ với mọi $x \le x_1^\alpha x_2^{1-\alpha}$, $\alpha \in [0, 1]$ và $x_1, x_2 \in (0, R)$. Ví dụ điển hình của lớp này là hàm $G(x) = e^x - 1$.

4. Hệ động lực phi tuyến nào được tác giả nghiên cứu trong Chương 4?

Hệ động lực phi tuyến cấp một được khảo sát trong Chương 4 có dạng: $$\begin{cases} u^\Delta(t) = A(t)u^\sigma(t) + B(t)G_{1/\alpha}(v(t)) \ v^\Delta(t) = -C(t)G_{\alpha+1}(u^\sigma(t)) - D(t)v(t) \end{cases}$$ trong đó $\alpha > 0$, các hàm số $A, B, C, D$ thuộc lớp $C_{rd}$, $-A, -D \in \mathcal{R}^+$ (lớp các hàm hồi quy thỏa mãn $1+\mu(t)f(t) > 0$), và $G_p(t) = |t|^{p-1}\mathrm{sign}(t)$ với $p > 1$.

5. Từ đồng nhất thức Picone mới, luận án đã suy ra được những kết quả lý thuyết nào?

Từ đồng nhất thức Picone thiết lập được, tác giả đã:

  1. Chứng minh các bất đẳng thức loại Wirtinger và loại Hardy mới trên thang thời gian;
  2. Thiết lập các ước lượng tiên nghiệm cho nghiệm của hệ động lực;
  3. Chứng minh Định lý hoán vị vòng quanh Reid (Reid's Roundabout Theorem), thiết lập mối liên hệ tương đương giữa tính không dao động, phương trình vi phân Riccati và tính xác định dương của phiếm hàm biến phân;
  4. Chứng minh Định lý so sánh Sturm và Định lý tách Sturm cho nghiệm của hệ động lực.

Kết luận

Luận án tiến sĩ của tác giả Trần Đình Phụng là một công trình nghiên cứu hoàn chỉnh, chặt chẽ thuộc chuyên ngành Toán giải tích, giải quyết thành công bài toán thống nhất và tổng quát hóa các bất đẳng thức tích phân cho toán tử đạo hàm trên thang thời gian. Tác giả đã thiết lập hệ thống bất đẳng thức loại Opial có trọng cho tích và hợp của nhiều hàm số trên thang thời gian một chiều và nhiều chiều với điều kiện biên không điểm tổng quát, đồng thời hiệu chỉnh chính xác các sai sót trong y văn để xây dựng đồng nhất thức Picone mới cho hệ động lực phi tuyến. Toàn bộ các kết quả lý thuyết đã được áp dụng hiệu quả vào việc mở rộng các bất đẳng thức Lyapunov, Wirtinger, Hardy và hoàn thiện lý thuyết dao động Sturm–Reid trên thang thời gian.