Tổng quan luận án

Luận án tiến sĩ toán học với đề tài "Bài toán biên thứ nhất không có điều kiện ban đầu đối với hệ Schrödinger mạnh trong miền không trơn" được nghiên cứu sinh Nguyễn Thị Liên thực hiện dưới sự hướng dẫn khoa học của GS. TSKH. Nguyễn Mạnh Hùng tại Trường Đại học Sư phạm Hà Nội (chuyên ngành Phương trình vi phân và tích phân, mã số: 62.03, bảo vệ năm 2016).

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

Các bài toán biên đối với phương trình và hệ phương trình đạo hàm riêng có xuất phát điểm từ các mô hình giải tích trong vật lý, cơ học lượng tử và kỹ thuật. Khi nghiên cứu các bài toán biên ban đầu truyền thống, điều kiện ban đầu đóng vai trò quyết định đến tính giải được duy nhất của nghiệm. Tuy nhiên, trong thực tiễn mô tả các quá trình không dừng mà dữ kiện ban đầu ở quá xa thời điểm hiện tại (xem như thời điểm ban đầu $t = -\infty$), việc thiết lập bài toán không có điều kiện ban đầu (bài toán Fourier) trở nên tất yếu.

Nhiều công trình trước đây đã khảo sát bài toán biên ban đầu hoặc bài toán không có điều kiện ban đầu cho phương trình truyền nhiệt, hệ parabolic, hyperbolic trong miền có biên trơn từng khúc hoặc trụ hữu hạn $\Omega \times [0, T]$. Đối với hệ phương trình Schrödinger mạnh trong miền chứa điểm kỳ dị biên (cụ thể là điểm nón) trên hình trụ vô hạn hai phía $Q = \Omega \times \mathbb{R}$, các vấn đề về không gian nghiệm suy rộng thích hợp, tính giải được duy nhất, tính trơn của nghiệm và biểu diễn tiệm cận nghiệm trong lân cận điểm kỳ dị khi không có điều kiện ban đầu vẫn là những bài toán mở chưa được giải quyết đầy đủ.

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

Mục đích của luận án là góp phần hoàn thiện lý thuyết giải tích về tính giải được duy nhất, tính trơn của nghiệm cũng như dáng điệu tiệm cận của nghiệm trong lân cận điểm nón đối với bài toán biên thứ nhất không có điều kiện ban đầu cho hệ phương trình Schrödinger mạnh trong miền có điểm kỳ dị.

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

  • Đối tượng nghiên cứu: Bài toán biên thứ nhất (điều kiện biên Dirichlet thuần nhất) không có điều kiện ban đầu đối với hệ phương trình vi phân cấp $2m$ kiểu Schrödinger mạnh: $$(-1)^{m-1} i L(x, t, D)u - u_t = f(x, t) \quad \text{trong } Q = \Omega \times \mathbb{R}$$
  • Phạm vi không gian: Miền bị chặn $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) với biên $S = \partial\Omega$. Biên $S \setminus {0}$ trơn vô hạn ngoài gốc tọa độ, và trong một lân cận $U_0$ của gốc tọa độ, miền $\Omega \cap U_0$ trùng với hình nón $K = {x \in \mathbb{R}^n : x/|x| \in G}$, trong đó $G$ là một miền có biên trơn trên mặt cầu đơn vị $S^{n-1}$. Trường hợp miền đáy chứa hữu hạn điểm nón được quy về trường hợp một điểm nón thông qua phân hoạch đơn vị.
  • Phạm vi thời gian: Biến thời gian biến thiên trên toàn bộ trục số thực $t \in \mathbb{R} = (-\infty, +\infty)$.
  • Nội dung nghiên cứu:
    1. Nội dung 1: Sự tồn tại duy nhất nghiệm suy rộng của bài toán trên trụ vô hạn $Q$.
    2. Nội dung 2: Tính trơn theo biến thời gian và tính trơn theo tập hợp các biến (thời gian - không gian) của nghiệm suy rộng trong các không gian Sobolev có trọng.
    3. Nội dung 3: Biểu diễn tiệm cận của nghiệm suy rộng trong lân cận điểm nón.

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

Luận án hệ thống hóa các hướng nghiên cứu liên quan đến bài toán không có điều kiện ban đầu và bài toán biên trong miền không trơn:

Hướng nghiên cứu Tác giả & Công trình tiêu biểu Kết quả chính đã ghi nhận
Bài toán biên không có điều kiện ban đầu (Phương trình truyền nhiệt, Parabolic) A. N. Tikhonov (1935, [60]), các công trình mở rộng [4], [32], [33] Xét phương trình truyền nhiệt trên $\Omega \times (-\infty, 0]$ hoặc $\Omega \times \mathbb{R}$. Sử dụng hàm Green và biểu diễn tích phân; bổ sung điều kiện nghiệm bị chặn và không tăng trong không gian Hölder địa phương để khắc phục tính không duy nhất.
Phương pháp giải tích cho phương trình tiến hóa không điều kiện ban đầu Các công trình [10], [11], [59], [21], [35], [36], [43], [44], [47], [52], [58], [61], [62] Sử dụng nguyên lý cực trị, xây dựng dãy nghiệm xấp xỉ từ bài toán có điều kiện ban đầu; mở rộng cho phương trình tựa tuyến tính, phương trình có trễ, hệ Sobolev-Hal’pern và phương trình hyperbolic. Đặt thêm điều kiện trọng trọng lượng dạng tích phân $\int e^{-2\omega t}|f|_{H^{-1}}^2 dt < \infty$ để đảm bảo tính giải được duy nhất khi $\Omega$ bị chặn.
Bài toán biên elliptic trong miền chứa điểm kỳ dị (góc, nón) V. A. Kondratiev, V. G. Maz'ya, J. Rossmann ([39], [40], [51]) Thiết lập lý thuyết giải được duy nhất, tính chính quy và công thức khai triển tiệm cận nghiệm trong lân cận điểm góc, điểm nón đối với toán tử elliptic tổng quát trong không gian Sobolev có trọng.
Hệ phương trình Schrödinger trong miền trơn và không trơn J. L. Lions và cộng sự, N. M. Hung ([20]), N. M. Hung & N. T. Anh ([23]-[26]), N. M. Hung & N. T. Son ([29]-[31]) Nghiên cứu bài toán biên ban đầu thứ nhất và thứ hai đối với hệ Schrödinger có hệ số phụ thuộc thời gian trong trụ hữu hạn $\Omega \times [0, T]$ và trụ bán vô hạn $\Omega \times [0, \infty)$ trong miền có điểm nón. Thu được tính giải được, tính trơn theo thời gian và tiệm cận nghiệm qua phương pháp cắt thiết diện.

Khoảng trống luận án giải quyết

Trong các nghiên cứu trước đây về bài toán biên ban đầu cho hệ Schrödinger trên miền có điểm nón, các hằng số trong ước lượng tiên nghiệm phụ thuộc trực tiếp vào thời điểm ban đầu $t = h$. Do đó, không thể áp dụng trực tiếp để chuyển qua giới hạn khi $h \to -\infty$. Luận án khắc phục hạn chế này bằng cách thiết lập các đánh giá tiên nghiệm với hằng số hoàn toàn độc lập với thời điểm ban đầu $h$, từ đó giải quyết trọn vẹn bài toán không có điều kiện ban đầu trên toàn trục thời gian đối với hệ Schrödinger mạnh trong miền có điểm nón.

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

Cơ sở lý thuyết và các không gian hàm sử dụng

Luận án sử dụng các cấu trúc giải tích hàm, lý thuyết phương trình đạo hàm riêng và hệ thống các không gian Sobolev có trọng với hàm trọng dạng số mũ theo thời gian $e^{-2\gamma t}$ và hàm trọng dạng lũy thừa theo khoảng cách đến đỉnh nón $r = |x|$:

  • Không gian Sobolev có trọng $H^{k,l}(-\gamma, \Omega_a^b)$ gồm các hàm vectơ $u(x, t)$ xác định trên $\Omega_a^b = \Omega \times (a, b)$ có chuẩn: $$|u|{H^{k,l}(-\gamma, \Omega_a^b)} = \left( \int{\Omega_a^b} \left( \sum_{|p|=0}^k |D^p u|^2 + \sum_{j=1}^l |u_t^{(j)}|^2 \right) e^{-2\gamma t} dxdt \right)^{1/2} < +\infty$$ với $L_2(-\gamma, \Omega_a^b) = H^{0,0}(-\gamma, \Omega_a^b)$, và $\mathring{H}^{k,l}(-\gamma, \Omega_a^b)$ là bao đóng của không gian các hàm trơn triệt tiêu xung quanh mặt xung quanh $S_a^b$.
  • Không gian Sobolev có trọng theo biến không gian $H_\beta^l(-\gamma, Q)$ gồm các hàm có chuẩn: $$|u|{H\beta^l(-\gamma, Q)} = \left( \int_Q \sum_{j=0}^l r^{2(\beta + |\alpha| + j - l)} |D^\alpha u_t^{(j)}|^2 e^{-2\gamma t} dxdt \right)^{1/2} < +\infty$$
  • Các không gian bổ trợ: $L_{2,k}(-\gamma, Q) = H^k(-\gamma, \mathbb{R}; L_2(\Omega))$, $V_{\beta,k}^{l,0}(-\gamma, K_\infty) = H^k(-\gamma, \mathbb{R}; H_\beta^l(K))$, $C^{\infty,k}(-\gamma, G_\infty) = H^k(-\gamma, \mathbb{R}; C^\infty(G))$.

Cấu trúc toán tử vi phân

Xét toán tử vi phân cấp $2m$ dạng: $$L(x, t, D) = \sum_{|p|,|q|=0}^m (-1)^{|p|} D^p \left( a_{pq}(x, t) D^q \right)$$ trong đó $a_{pq}$ là các ma trận kích thước $s \times s$ có phần tử là các hàm đo được, bị chặn trên $Q$, thỏa mãn tính liên hợp phức chuyển vị $a_{pq} = a_{qp}^*$ khi $|p| = |q| = m$. Điều kiện elip mạnh đồng đều: Tồn tại hằng số $a_0 > 0$ sao cho với mọi $\xi \in \mathbb{R}^n \setminus {0}$, $\eta \in \mathbb{C}^s \setminus {0}$: $$\sum_{|p|=|q|=m} a_{pq}(x, t)\xi^p \xi^q \eta \bar{\eta} \ge a_0 |\xi|^{2m} |\eta|^2$$ Bất đẳng thức dạng Gårding tương ứng trên dạng song tuyến tính $B(t, u, \eta) = \sum_{|p|,|q|=0}^m \int_\Omega a_{pq}(x, t) D^q u \overline{D^p \eta} dx$ đảm bảo tồn tại $\mu_0 > 0$ sao cho: $$B(t, u, u) \ge \mu_0 |u(\cdot, t)|_{H^m(\Omega)}^2, \quad \forall u(\cdot, t) \in \mathring{H}^m(\Omega)$$

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

Luận án kết hợp các phương pháp giải tích hiện đại:

  1. Phương pháp xấp xỉ Galerkin: Áp dụng xây dựng nghiệm của bài toán có điều kiện ban đầu tại thời điểm $t = h$ dựa trên hệ cơ sở trực chuẩn trong $L_2(\Omega)$ và trực giao trong $H^m(\Omega)$.
  2. Phương pháp hàm thử Ladyzhenskaya: Lựa chọn hàm thử dạng tích phân theo biến thời gian $\eta(x, t) = \int_t^b u(x, \tau) d\tau$ (khi $t \le b$) để chứng minh tính duy nhất nghiệm.
  3. Bổ đề dạng Gronwall trên khoảng vô hạn $(-\infty, 0]$: Thiết lập và chứng minh bổ đề giải tích mới để kiểm soát sự tăng trưởng của năng lượng khi cho biến thời gian tiến ra $-\infty$.
  4. Kỹ thuật đánh giá đều theo tham số thời điểm ban đầu: Đặt các điều kiện thích hợp lên vế phải $f$ và đạo hàm các hệ số $a_{pq}$ để thu được hằng số trong các bất đẳng thức tiên nghiệm độc lập với $h$.
  5. Phương pháp cắt thiết diện và phân hoạch đơn vị: Chuyển bài toán không dừng trong lân cận điểm nón về bài toán elliptic chứa tham số để xử lý tính trơn không gian và khai triển tiệm cận nghiệm.

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

LUẬN ÁN TIẾN SĨ TOÁN HỌC (2016)

Chương 1: Tính giải được duy nhất của bài toán

Chương 1 thiết lập bài toán biên Dirichlet trên trụ vô hạn $Q = \Omega \times \mathbb{R}$: $$\begin{cases} (-1)^{m-1} i L(x, t, D)u - u_t = f(x, t) & \text{trong } Q \ \frac{\partial^j u}{\partial \nu^j} = 0 \quad (j = 0, \dots, m-1) & \text{trên } \Gamma = S \times \mathbb{R} \end{cases}$$

Nghiệm suy rộng $u \in \mathring{H}^{m,0}(-\gamma, Q)$ thỏa mãn đẳng thức tích phân: $$\int_{-\infty}^T (-1)^{m-1} i B(t, u, \eta) dt + \int_{\Omega_{-\infty}^T} u \overline{\eta_t} dxdt = \int_{\Omega_{-\infty}^T} f \bar{\eta} dxdt, \quad \forall \eta \in \mathring{H}^{m,1}(\gamma, Q), \eta(x, t) = 0 \text{ khi } t \ge T$$

Các luận điểm và kết quả giải tích cốt lõi trong Chương 1:

  • Bổ đề dạng Gronwall trên khoảng $(-\infty, 0]$: Chứng minh rằng nếu $\mu(t) \ge 0$, $\int_{-\infty}^0 \mu(t)dt < \infty$, $\int_{-\infty}^0 y(t)dt < \infty$ và $y(t) \le C + \int_{-\infty}^t y(s)\mu(s)ds$, $\forall t \le 0$, thì $y(t) \le C \exp\left( \int_{-\infty}^t \mu(s)ds \right)$.
  • Tính giải được của bài toán có điều kiện ban đầu tại $t = h$: Với $\mu = \sup_{Q} |\partial a_{pq}/\partial t| < \infty$, $f, f_t \in L_2(-\gamma, \Omega_h^\infty)$, với mọi $\gamma > \gamma_0 = \frac{m^* \mu}{2\mu_0}$ ($m^*$ là số bộ đa chỉ số cấp không quá $m$), tồn tại duy nhất nghiệm suy rộng $v \in \mathring{H}^{m,0}(-\gamma, \Omega_h^\infty)$ thỏa mãn ước lượng: $$|v|{\mathring{H}^{m,0}(-\gamma, \Omega_h^\infty)}^2 \le C \left( |f|{L_2(-\gamma, \Omega_h^\infty)}^2 + |f_t|_{L_2(-\gamma, \Omega_h^\infty)}^2 \right)$$ trong đó hằng số $C > 0$ độc lập với $h, v, f$.
  • Định lý duy nhất nghiệm (Định lý 1.2): Nếu $|\partial a_{pq}/\partial t| = o(e^{2\gamma t})$ khi $t \to -\infty$, bài toán biên không có điều kiện ban đầu có không quá một nghiệm suy rộng với mọi $\gamma > 0$.
  • Định lý tồn tại và ước lượng tiên nghiệm (Định lý 1.3): Khi $\gamma > \gamma_0$, $|\partial a_{pq}/\partial t| = o(e^{2\gamma t})$ khi $t \to -\infty$, và $f, f_t \in L_2(-\gamma, Q)$, bài toán tồn tại duy nhất nghiệm suy rộng $u \in \mathring{H}^{m,0}(-\gamma, Q)$ thỏa mãn: $$|u|{\mathring{H}^{m,0}(-\gamma, Q)}^2 \le C \left( |f|{L_2(-\gamma, Q)}^2 + |f_t|_{L_2(-\gamma, Q)}^2 \right)$$

Chương 2: Tính trơn của nghiệm

Chương 2 phân tích độ chính quy của nghiệm suy rộng theo biến thời gian và theo toàn bộ các biến không gian - thời gian.

Các kết quả chính được chứng minh:

  • Tính trơn theo biến thời gian:
    • Giả sử $|\partial^k a_{pq}/\partial t^k| \le \mu_2$ ($2 \le k \le l+1$) và các đạo hàm $f_t^{(k)} \in L_2(-\gamma, Q)$ với $0 \le k \le l+1$.
    • Với mọi trọng số $\gamma > (2l + 1)\gamma_0$, nghiệm suy rộng $u$ có đạo hàm theo thời gian tới cấp $l$ thỏa mãn $u_t^{(k)} \in H^{m,0}(-\gamma, Q)$ ($k = 0, \dots, l$) cùng đánh giá: $$\sum_{k=0}^l |u_t^{(k)}|{H^{m,0}(-\gamma, Q)}^2 \le C \sum{j=0}^{l+1} |f_t^{(j)}|_{L_2(-\gamma, Q)}^2$$
    • Tính trơn này thuần túy phụ thuộc vào vế phải $f$ và các hệ số, hoàn toàn không phụ thuộc vào tính trơn của biên miền $\Omega$.
  • Tính trơn theo tập hợp các biến trong không gian Sobolev có trọng:
    • Viết phần chính của toán tử tại đỉnh nón dưới dạng tọa độ cực: $L(t, D) = r^{-2m} \mathcal{L}(\omega, t, rD_r, D_\omega)$.
    • Xét bó toán tử tuyến tính sinh bởi bài toán phổ elliptic tương ứng. Giả thiết dải phổ: $$m - \frac{n}{2} \le \text{Im}\lambda \le 2m + l - \frac{n}{2}$$ không chứa giá trị riêng của bó toán tử tuyến tính với mọi $t \in \mathbb{R}$.
    • Khi $f_t^{(k)} \in H_0^{l,0}(-\gamma, Q)$ với $k \le 2m + l + 1$ và $\gamma > (2(2m + l) + 1)\gamma_0$, nghiệm suy rộng $u$ thuộc không gian Sobolev có trọng $H_0^{2m+l}(-\gamma, Q)$ và thỏa mãn ước lượng tiên nghiệm tương ứng.

Chương 3: Biểu diễn tiệm cận nghiệm trong lân cận của điểm nón

Nội dung Chương 3 giải quyết bài toán mô tả cấu trúc tiệm cận giải tích của nghiệm tại lân cận điểm kỳ dị nón:

  • Sử dụng phương pháp cắt thiết diện, chuyển bài toán không dừng đối với hệ Schrödinger về bài toán biên elliptic phụ thuộc tham số trong miền nón $K$.
  • Dựa trên phân bố các giá trị riêng của bó toán tử trong dải phổ phức, nghiệm suy rộng $u(x, t)$ trong một lân cận đủ nhỏ của điểm nón được phân tích thành tổng tường minh: $$u(x, t) = \sum_{j} c_j(t) r^{i\lambda_j} \Phi_j(\omega, \ln r, t) + u_{\text{reg}}(x, t)$$ trong đó phần thứ nhất mang tính kỳ dị phụ thuộc trực tiếp vào các hàm riêng và giá trị riêng $\lambda_j$ của bài toán phổ tại đỉnh nón, còn phần dư $u_{\text{reg}}$ có độ trơn cao hơn theo biến không gian, tương thích với độ trơn của vế phải $f$.

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

  1. Xây dựng không gian nghiệm và thiết lập tính giải được duy nhất: Luận án đề xuất không gian Sobolev có trọng $H^{m,0}(-\gamma, Q)$ thích hợp cho hệ Schrödinger mạnh không có điều kiện ban đầu trên hình trụ vô hạn hai phía; chứng minh tính tồn tại và duy nhất của nghiệm suy rộng dưới các điều kiện tối tiểu về hệ số và vế phải.
  2. Kỹ thuật đánh giá đều độc lập với thời điểm ban đầu: Luận án khắc phục rào cản kỹ thuật của các công trình trước bằng cách xây dựng hệ thống ước lượng tiên nghiệm của bài toán ban đầu tại $t = h$ với hằng số $C$ hoàn toàn độc lập với $h$, cho phép thực hiện phép qua giới hạn $h \to -\infty$.
  3. Chứng minh tính trơn theo thời gian và không gian: Phân lập rõ hai cơ chế chính quy: tính trơn theo thời gian chỉ đòi hỏi độ trơn của vế phải và hệ số; trong khi tính trơn toàn phần không gian - thời gian trong không gian Sobolev có trọng $H_0^{2m+l}(-\gamma, Q)$ đòi hỏi thêm điều kiện phổ của bó toán tử elliptic không chứa điểm phổ trong dải xác định.
  4. Thiết lập công thức tiệm cận nghiệm tại điểm nón: Xây dựng công thức tách phần kỳ dị và phần chính quy cho hệ Schrödinger không điều kiện ban đầu trong miền chứa điểm nón.
  5. Công bố khoa học: Toàn bộ kết quả cốt lõi của luận án đã được công bố trong 03 công trình khoa học trên các tạp chí quốc tế thuộc danh mục ISI.

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

  • Hạn chế: Luận án tập trung khảo sát điều kiện biên thứ nhất (Dirichlet thuần nhất) đối với hệ phương trình tuyến tính; miền đáy $\Omega$ được xét với kỳ dị đỉnh nón cô lập; không gian hàm khảo sát là không gian kiểu Hilbert/Sobolev có trọng $L_2$.
  • Hướng nghiên cứu tiếp theo:
    • Mở rộng phương pháp đánh giá đều độc lập với thời điểm ban đầu cho bài toán biên không có điều kiện ban đầu đối với hệ parabolic và hệ hyperbolic trong miền có điểm kỳ dị.
    • Khảo sát bài toán biên thứ hai (Neumann) hoặc bài toán biên hỗn hợp không có điều kiện ban đầu cho hệ Schrödinger trong miền không trơn.
    • Nghiên cứu bài toán trên các miền có biên chứa cạnh kỳ dị hoặc các điểm góc đa chiều phức tạp hơn.

Giá trị tham khảo

  • Đối với nghiên cứu sinh và học viên cao học ngành Toán giải tích / Phương trình vi phân: Cung cấp tài liệu tham khảo chi tiết về phương pháp xấp xỉ Galerkin kết hợp hàm thử Ladyzhenskaya, kỹ thuật giải tích trọng số mũ $e^{-2\gamma t}$ trên miền thời gian không bị chặn và kỹ thuật xử lý điểm kỳ dị biên nón.
  • Đối với giảng viên và chuyên gia nghiên cứu: Luận án cung cấp các công cụ chứng minh bất đẳng thức kiểu Gronwall trên nửa trục vô hạn và phương pháp cắt thiết diện chuyển bài toán tiến hóa về bài toán elliptic chứa tham số.
  • Đối với lĩnh vực vật lý toán và cơ học lượng tử: Cung cấp mô hình giải tích nền tảng về tính chính quy và biểu diễn kỳ dị của các hệ Schrödinger biến thiên thời gian trên các cấu trúc hình học có góc nhọn hoặc đỉnh nón.

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

1. Tại sao bài toán biên không có điều kiện ban đầu lại cần bổ sung hàm trọng $e^{-2\gamma t}$?

Nếu không có điều kiện ban đầu và không có hàm trọng, bài toán phương trình tiến hóa trên miền thời gian vô hạn có thể xuất hiện vô số nghiệm cổ điển tầm thường (ví dụ hàm $u(x, t) = C e^{-t} \sin x$ đối với phương trình truyền nhiệt khi $f=0$). Trọng số $e^{-2\gamma t}$ cùng điều kiện triệt tiêu/tăng trưởng ở $-\infty$ đảm bảo việc tích phân hội tụ, từ đó khôi phục tính duy nhất của nghiệm suy rộng.

2. Ngưỡng trọng số $\gamma_0$ được xác định bởi những đại lượng nào?

Ngưỡng trọng số xác định theo công thức $\gamma_0 = \frac{m^* \mu}{2\mu_0}$, trong đó $m^*$ là số lượng các bộ đa chỉ số có cấp không vượt quá $m$, $\mu = \sup_{Q, |p|,|q|\le m} |\partial a_{pq}/\partial t|$ phản ánh mức độ biến thiên theo thời gian của các hệ số toán tử, và $\mu_0$ là hằng số elip mạnh trong bất đẳng thức dạng Gårding của dạng song tuyến tính $B(t, u, u)$.

3. Điểm mấu chốt để chuyển từ bài toán có điều kiện ban đầu $t = h$ sang bài toán không có điều kiện ban đầu là gì?

Điểm mấu chốt là phải chứng minh được hằng số $C$ trong ước lượng tiên nghiệm: $$|v|{\mathring{H}^{m,0}(-\gamma, \Omega_h^\infty)}^2 \le C \left( |f|{L_2(-\gamma, \Omega_h^\infty)}^2 + |f_t|_{L_2(-\gamma, \Omega_h^\infty)}^2 \right)$$ hoàn toàn độc lập với thời điểm ban đầu $h$. Khi đó, dãy nghiệm xấp xỉ ${u^h}$ tạo thành một dãy Cauchy trong không gian Sobolev có trọng khi $h \to -\infty$, đảm bảo sự tồn tại của nghiệm suy rộng giới hạn.

4. Điều kiện phổ của bó toán tử trong Chương 2 có ý nghĩa gì đối với tính trơn của nghiệm?

Điều kiện dải $m - \frac{n}{2} \le \text{Im}\lambda \le 2m + l - \frac{n}{2}$ không chứa giá trị riêng của bó toán tử tuyến tính đảm bảo rằng bài toán biên elliptic phụ thuộc tham số tương ứng tại lân cận đỉnh nón không sinh ra các thành phần kỳ dị mạnh, cho phép nghiệm đạt độ trơn Sobolev có trọng cấp cao $H_0^{2m+l}(-\gamma, Q)$ tương thích với độ trơn của vế phải.

Kết luận

Luận án của nghiên cứu sinh Nguyễn Thị Liên đã giải quyết bài toán biên thứ nhất không có điều kiện ban đầu đối với hệ phương trình Schrödinger mạnh trên hình trụ vô hạn có đáy chứa điểm nón. Bằng việc kết hợp phương pháp Galerkin, hàm thử Ladyzhenskaya, bổ đề Gronwall trên khoảng vô hạn và kỹ thuật đánh giá đều độc lập với thời điểm ban đầu, tác giả đã thiết lập các định lý về sự tồn tại duy nhất nghiệm suy rộng, tính trơn theo biến thời gian và không gian, cũng như biểu diễn tiệm cận nghiệm tại lân cận điểm kỳ dị. Kết quả nghiên cứu đóng góp vào lý thuyết phương trình đạo hàm riêng không dừng trên các miền không trơn và đã được công bố trên các tạp chí quốc tế chuyên ngành trong danh mục ISI.