Đạo hàm Lie của dòng và liên thông: Tóm tắt Luận án Tiến sĩ Toán học

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC VINH

BÙI CAO VÂN

ĐẠO HÀM LIE CỦA DÒNG VÀ LIÊN THÔNG

Chuyên ngành: Hình học và Tôpô

Mã số: 62. 46. 01. 05

TÓM TẮT LUẬN ÁN TIẾN SĨ TOÁN HỌC

VINH - 2016

Luận án được hoàn thành tại Trường Đại học Vinh

Tập thể hướng dẫn khoa học:

1. PGS. TS. Nguyễn Hữu Quang

2. PGS. TS. Kiều Phương Chi

Phản biện 1:

...............................

Phản biện 2:

...............................

Phản biện 3:

...............................

Luận án sẽ được bảo vệ trước Hội đồng chấm luận án cấp Trường

họp tại Trường Đại học Vinh

vào hồi .......... ngày .... tháng ..... năm ......

Có thể tìm hiểu luận án tại:

1. Thư viện Nguyễn Thúc Hào, Trường Đại học Vinh 2. Thư Viện Quốc gia Việt Nam

MỞ ĐẦU

1. Lý do chọn đề tài 1.1. Lý thuyết đạo hàm Lie là một trong những lĩnh vực nghiên cứu của toán học hiện đại, xuất hiện từ những năm 30 của thế kỷ trước trong các công trình nghiên cứu của Slebodzinski, Dantzig, Schouten và Van Kampen. Đây là lĩnh vực đã và đang được sự quan tâm của rất nhiều nhà toán học trong và ngoài nước. Phép đạo hàm Lie trên đa tạp là một công cụ hữu hiệu để nghiên cứu về các bài toán đa tạp con có thể tích cực tiểu địa phương, xác định các độ cong, độ xoắn của đa tạp Riemann. Đạo hàm Lie có nhiều ứng dụng trong các lĩnh vực khác nhau của toán học như tìm nghiệm của các phương trình vi phân, hệ phương trình tuyến tính, hệ động lực, hệ Hamilton... Ngoài ra, đạo hàm Lie cũng có nhiều ứng dụng trong các ngành khoa học khác như: Cơ học lượng tử, khoa học máy tính, sinh học, kinh tế,... 1.2. Lý thuyết dòng là một lý thuyết của ngành Hình học - Tôpô. Từ cuối những năm 60 của thế kỷ XX, cùng với sự hình thành và phát triển của lý thuyết các không gian phức hyperbolic, lý thuyết dòng đã có những bước tiến mạnh mẽ và được ứng dụng sâu sắc trong giải tích phức nhiều biến, hình học giải tích, hình học đại số, hệ động lực... Việc sử dụng lý thuyết dòng trong các nghiên cứu về thể tích cực tiểu của k−mặt trên đa tạp Riemann có thể tìm thấy trong các công trình nghiên cứu của A. T. Fomenko, Havey, Đào Trọng Thi, Lê Hồng Vân... 1.3. Các phép đạo hàm trên đa tạp Riemann có nhiều ứng dụng trong việc mô tả các đặc trưng hình học của đa tạp đó. Chính vì vậy, mà việc nghiên cứu nó đã và đang được nhiều nhà toán học trong và ngoài nước quan tâm. Mặc dù cho đến nay đã có nhiều kết quả quan trọng nhưng đây vẫn là vấn đề cơ bản và mang tính thời sự, thu hút ngày càng nhiều nhà toán học nghiên cứu vì tính thực tiễn và ứng dụng trong khoa học kỹ thuật. Năm 2010, Sultanov đã trình bày các tính chất cơ bản của các đạo hàm Lie và ứng dụng chúng vào việc khảo sát các độ cong và độ xoắn trên các đại số kết hợp, giao hoán và có đơn vị. Trong trường hợp riêng, đạo hàm Lie được sử dụng trong các nghiên cứu về các tính chất hình học trên đa tạp. Trong những năm gần đây, đạo hàm Lie đã được nhiều nhà toán học quan tâm, chẳng hạn: K. Habermann, A. Klein (2003); L. Fatibene, M. Francaviglia (2011); R. P. Singh, S. D. Singh (2010); A. Ya. Sultanov (2010); J. D. Pérez (2014)...

Nhằm thiết lập khái niệm đạo hàm Lie cho dòng và liên thông trên các đa tạp, đồng thời nghiên cứu các tính chất và ứng dụng của chúng, chúng tôi chọn đề tài nghiên cứu cho luận án của mình là: "Đạo hàm Lie của dòng và liên thông". 2. Mục đích nghiên cứu

Mục đích của luận án là nghiên cứu về đạo hàm Lie trên các đa tạp như: Đạo hàm Lie của dòng và dạng suy rộng, đạo hàm Lie của dạng và dòng song bậc, vi phân ngoài liên kết với liên thông, đạo hàm Lie của các liên thông... nhằm bổ sung một số tính chất hình học trên đa tạp Riemann, đồng thời chúng tôi cũng chỉ ra một số ứng dụng của chúng.

3. Đối tượng nghiên cứu

Đối tượng nghiên cứu của luận án là đạo hàm Lie của dòng và dạng suy rộng,

đạo hàm Lie của các liên thông trên đa tạp Riemann. 4. Phạm vi nghiên cứu

Luận án nghiên cứu các tính chất về đạo hàm Lie của dòng, đạo hàm Lie của phân bố, đạo hàm Lie của dạng suy rộng, đạo hàm Lie của dạng và dòng song bậc, vi phân ngoài liên kết với liên thông, đạo hàm Lie của các liên thông và ứng dụng của chúng. 5. Phương pháp nghiên cứu

Chúng tôi sử dụng phương pháp nghiên cứu lý thuyết của hình học Riemann, lý thuyết dòng, giải tích hàm, lý thuyết liên thông và lý thuyết nhóm Lie trong quá trình thực hiện đề tài. 6. Ý nghĩa khoa học và thực tiễn

Luận án đã đạt được một số kết quả về đạo hàm Lie trên đa tạp Riemann như: Đạo hàm Lie của dòng, đạo hàm Lie của phân bố, đạo hàm Lie của dạng suy rộng, đạo hàm Lie của dạng và dòng song bậc, vi phân ngoài liên kết với liên thông, đạo hàm Lie của liên thông pháp dạng... nhằm bổ sung một số tính chất hình học trên đa tạp. Đồng thời, áp dụng các kết quả thu được vào việc chứng minh định lý vận chuyển, công thức đồng luân đối với dòng và tìm điều kiện để đa tạp con cực tiểu. Luận án có thể làm tài liệu tham khảo cho các sinh viên, học viên cao học và

nghiên cứu sinh chuyên ngành Hình học - Tôpô. 7. Tổng quan và cấu trúc của luận án 7.1. Tổng quan một số vấn đề liên quan đến luận án

Đa tạp Riemann là khái niệm cơ sở của toán học hiện đại. Khái niệm này xuất hiện vào nửa cuối thế kỷ 19. Hình học trên các đa tạp đó có nhiều ứng dụng trong các lĩnh vực khác nhau của toán học như: Giải tích, lý thuyết hệ động lực... và các ngành: Vật lý, các ngành khoa học kỹ thuật... Lý thuyết liên thông là một trong những công cụ cơ bản của hình học Riemann. Đến những năm cuối của thế kỷ 20, cùng với sự phát triển của tôpô với những công trình nổi tiếng của Hausdorff, Poincaré... thì hình học trên các đa tạp đã phát triển mạnh mẽ và chính tôpô đã trở thành một công cụ hữu hiệu trong việc xây dựng các cấu trúc hình học, chẳng hạn như: Độ cong, độ xoắn, đạo hàm các dạng vi phân trên các đa tạp và đặc biệt là mô tả các tính chất hình học quan trọng trên nhóm Lie compact.

S. Lie là người đầu tiên đưa ra khái niệm đạo hàm X[f ] của hàm số f theo trường véctơ X trên đa tạp khả vi và bây giờ gọi là đạo hàm Lie của hàm số theo trường véctơ. Năm 1920, Élie Cartan định nghĩa một cách tự nhiên toán tử vi phân LX của các dạng vi phân và chứng minh được toán tử vi phân LX giao hoán với vi phân ngoài d. Đặc biệt, Élie Cartan đã chứng minh được công thức sau và gọi là công thức Cartan

LX = d ◦ iX + iX ◦ d,

ở đây iX là tích trong của trường véctơ X đối với dạng vi phân.

Năm 1931, trong các công trình nghiên cứu của W. ´Slebodzi´nski cũng đã xuất

XH = hiện toán tử vi phân LX của trường tenxơ theo trường véctơ X. W. ´Slebodzi´nski đã chứng minh được công thức toán tử vi phân LX của tích hai trường tenxơ và ứng dụng vào việc tìm nghiệm của phương trình Hamilton chính tắc. Với mỗi hàm số H(p, q), p = (pµ), q = (qµ), µ = 1, 2, ..., n, W. ´Slebodzi´nski định nghĩa trường véctơ ∂ ∂qµ − ∂H ∂qµ ∂ ∂pµ ∂H ∂pµ

∂qµ ∧ ∂ ∂pµ

. và đã chứng minh được LXH A = 0; LXH B = 0; với A = dqµ ∧ dpµ, B = ∂

Năm 1932, D. V. Dantzig đã đặt tên cho toán tử vi phân LX là đạo hàm Lie mang tên nhà toán học S. Lie. Sử dụng đạo hàm Lie, Dantzig thu được nhiều kết quả thú vị, đó là không gian xạ ảnh n−chiều được mô tả bởi n + 1 tọa độ cong thuần nhất mà có thể xem như không gian (n + 1)−chiều với liên thông tuyến tính và ông đã đưa ra những ứng dụng của đạo hàm Lie vào Vật lý. Kể từ đó, các phép biến dạng của đường cong, không gian con và không gian các phép biến dạng cũng như nhóm chuyển động, chuyển động affine, chuyển động xạ ảnh, chuyển động bảo giác đã được quan tâm nghiên cứu bởi nhiều nhà toán học nổi tiếng như: L. Berwald, E. Cartan, N. Coburn, E. T. Davies, P. Dienes, A. Duschek, L. P. Eisenhart, F. A. Ficken, H. A. Hayden, V. Hlavatý, E. R. van Kampen, M. S. Knebelman, T. Levi Civita, J. Levine, W. Mayer, A. J. McConnel, A. D. Michal, H. P. Robertson, S. Sasaki, J. A. Schouten, J. L. Synge, A. H. Taub, H. C. Wang và nhiều tác giả khác.

Năm 1948, J. A. Schouten và D. J. Struik đã phát triển thêm một số tính chất về đạo hàm Lie của dạng vi phân và đưa ra một số kỹ thuật tính đạo hàm Lie đối với dạng vi phân trên đa tạp. Sau đó, năm 1957 K. Yano là người giới thiệu về lý thuyết đạo hàm Lie và các ứng dụng của đạo hàm Lie. Việc nghiên cứu phép đạo hàm Lie có nhiều ứng dụng trong việc mô tả các đặc trưng hình học của đa tạp và đặc biệt là ứng dụng trong lý thuyết hệ động lực, lý thuyết truyền thông, cơ học lượng tử, động lực học... Năm 1997, J.-H. Kwon và Y. J. Suh đã nghiên cứu một số tính chất về đạo hàm Lie của tenxơ trên siêu mặt thực kiểu A trong không gian dạng phức. Năm 2002, B. N. Shapukov đã trình bày một số kết quả về đạo hàm Lie của trường tenxơ trên đa tạp Fiber. Năm 2008, K. R¨obenack đã đưa ra thuật toán cho phép tính đạo hàm Lie bậc cao bằng máy tính.

Năm 2010, các tác giả L. S. Velimirovi´c, S. M. Min˘ci´c, M. S. Stankovi´c đã nghiên cứu về đạo hàm Lie của liên thông và đạo hàm Lie của tenxơ cong trên không gian với liên thông affine không đối xứng. Cùng trong thời gian này, A. Ya. Sultanov đã xây dựng khái niệm đạo hàm Lie trên đại số và nghiên cứu một số tính chất về đạo hàm Lie của liên thông trên đại số, đồng thời ứng dụng chúng vào việc khảo sát các độ cong và độ xoắn trên các đại số kết hợp, giao hoán và có đơn vị.

Năm 2011, trong công trình nghiên cứu của L. Fatibene và M. Francaviglia đã trình bày một số tính chất về đạo hàm Lie của tenxơ Lorentz và ứng dụng của nó vào việc khảo sát không gian Minkowski. Năm 2012, trên cơ sở đạo hàm Lie của dạng vi phân, chúng tôi đã xây dựng đạo hàm Lie của dòng trên đa tạp Riemann và đưa ra một số ứng dụng trên nhóm Lie compact. Năm 2014, J. D. Pérez đã nghiên cứu đạo hàm Lie trên siêu mặt thực trong không gian xạ ảnh phức.

Năm 2015, A. D. Nicola và I. Yudin đã nghiên cứu một số tính chất về đạo hàm Lie trên đại số Lie. Lior Falach và Reuven Segev đã phát biểu và chứng minh định lý vận chuyển đối với dòng trên đa tạp mà đạo hàm Lie của dòng đóng vai trò quan trọng. 7.2 Cấu trúc luận án

Nội dung luận án được trình bày trong 3 chương. Ngoài ra, luận án còn có Lời cam đoan, Lời cảm ơn, Mục lục, Mở đầu, Kết luận và Kiến nghị, Danh mục công trình khoa học của nghiên cứu sinh liên quan trực tiếp đến luận án và danh mục tài liệu tham khảo.

Chương 1 được dành để giới thiệu kiến thức cơ sở của luận án, bao gồm 4 mục. Mục 1.1 trình bày các kiến thức cơ bản về k−dạng vi phân trên đa tạp. Mục 1.2 giới thiệu khái niệm và một số tính chất cơ bản về liên thông Levi-Civita, tenxơ cong và tenxơ xoắn trên đa tạp Riemann n−chiều. Mục 1.3 trình bày định nghĩa và các tính chất cơ bản về đạo hàm Lie của hàm số, đạo hàm Lie của trường véctơ và đạo hàm Lie của k−dạng vi phân trên đa tạp Riemann. Mục 1.4 trình bày các khái niệm và tính chất cơ bản về lý thuyết phân bố và lý thuyết dòng.

Chương 2 trình bày các nội dung nghiên cứu về đạo hàm Lie của dòng trên đa tạp Riemann, bao gồm 4 mục. Trong mục 2.1, chúng tôi trình bày định nghĩa và một số tính chất về đạo hàm Lie của dòng và dạng suy rộng trên đa tạp Riemann. Trong mục 2.2, chúng tôi trình bày một số tính chất về đạo hàm Lie của dòng và dạng suy rộng trên nhóm Lie. Trong mục 2.3, chúng tôi đưa ra một số ứng dụng đạo hàm Lie của dòng trong việc chứng minh định lý vận chuyển, công thức đồng luân đối với dòng trên đa tạp và tìm điều kiện để đa tạp con cực tiểu. Trong mục 2.4, chúng tôi nghiên cứu một số tính chất về đạo hàm Lie của dạng và dòng song bậc. Đặc biệt, chúng tôi tìm điều kiện của trường véctơ X để đạo hàm Lie của dạng song bậc (p, p) cũng là dạng song bậc (p, p). Việc nghiên cứu đạo hàm Lie của dạng và dòng song bậc nhằm mục đích nghiên cứu đạo hàm Lie của dòng dương trong lý thuyết đa thế vị. Các kết quả của chương này đã được công bố trên 02 tạp chí Lobachevskii Journal of Mathematics, Bulletin of Mathematical Analysis and Applications và gửi đăng ở 02 tạp chí Journal of Nonlinear and Convex Analysis, Vietnam Journal of Mathematics.

Chương 3 nhằm trình bày một số tính chất về đạo hàm Lie của liên thông pháp dạng, bao gồm 2 mục. Trong mục 3.1, chúng tôi nghiên cứu một số tính chất về đạo hàm Lie của liên thông và vi phân ngoài liên kết với liên thông. Trong mục 3.2, chúng tôi trình bày một số tính chất về đạo hàm Lie của liên thông pháp dạng và đạo hàm Lie của tenxơ cong pháp dạng trên đa tạp con Riemann, từ đó nghiên cứu các tính chất về đạo hàm Lie của liên thông pháp dạng, đạo hàm Lie của tenxơ cong pháp dạng trên đa tạp con Riemann và ứng dụng của nó trong trường hợp đa tạp con M là siêu mặt. Các kết quả của chương này đã được công bố trên 03 tạp chí J. Nonlinear Sci. Appl., Southeast Asian Bulletin of Mathematics và East-West Journal of Mathematics.

Chương 1 KIẾN THỨC CHUẨN BỊ

1.1 Dạng vi phân trên đa tạp Riemann

Để thuận lợi cho việc trình bày chương 2 và chương 3, trong chương này chúng tôi trình bày một số khái niệm và tính chất cơ bản về k−dạng vi phân, liên thông, tenxơ cong và tenxơ xoắn trên đa tạp Riemann n−chiều; đạo hàm Lie của hàm số, đạo hàm Lie của trường véctơ và đạo hàm Lie của k−dạng vi phân; các tính chất cơ bản của lý thuyết phân bố và lý thuyết dòng trên đa tạp Riemann n−chiều.

1.2 Liên thông trên đa tạp Riemann

Trong mục này, chúng tôi trình bày các khái niệm k−dạng vi phân, tích ngoài của các dạng vi phân, vi phân ngoài và ánh xạ kéo lùi của dạng vi phân trên đa tạp Riemann M .

Trong mục này, chúng tôi trình bày các khái niệm liên thông tuyến tính, liên

1.3 Đạo hàm Lie của dạng vi phân

thông Levi-Civita, tenxơ cong và tenxơ xoắn trên đa tạp Riemann M .

1.4 Phân bố và dòng trên đa tạp Riemann

Trong mục này, chúng tôi trình bày các khái niệm nhóm một tham số, tích trong của trường véctơ đối với k−dạng vi phân, đạo hàm Lie của hàm số, đạo hàm Lie của trường véctơ, đạo hàm Lie của k−dạng vi phân và các tính chất của nó, công thức Cartan, trường véctơ phụ thuộc thời gian, k−dạng vi phân phụ thuộc thời gian, định lý đạo hàm Lie phụ thuộc thời gian thứ nhất và thứ hai đối với dạng vi phân.

Trong mục này, chúng tôi trình bày một số tính chất cơ bản của phân bố, khái niệm dòng trên đa tạp, tích ngoài của dòng và dạng, vi phân ngoài của dòng, ánh xạ tiếp xúc, định lý Stokes và các phép toán của dòng trên đa tap Riemann.

Chương 2 ĐẠO HÀM LIE CỦA DÒNG TRÊN ĐA TẠP

2.1 Đạo hàm Lie của dòng và dạng suy rộng

Trong chương này, chúng tôi trình bày một số tính chất về đạo hàm Lie của dòng và dạng suy rộng, đạo hàm Lie của dạng và dòng song bậc. Đồng thời ứng dụng vào việc chứng minh định lý vận chuyển, công thức đồng luân đối với dòng trên đa tạp và tìm điều kiện để đa tạp con cực tiểu.

Trong mục này, chúng tôi xây dựng định nghĩa đạo hàm Lie của dòng và dạng suy rộng trên đa tạp Riemann M . Từ đó, chúng tôi nghiên cứu một số tính chất về đạo hàm Lie của dòng và dạng suy rộng. Đặc biệt là công thức kiểu Cartan đối với dòng và dạng suy rộng, định lý đạo hàm Lie phụ thuộc thời gian thứ nhất và thứ hai đối với dòng.

2.1.1 Định nghĩa. Giả sử X ∈ B(M ). ´Anh xạ

£X : Dk(M ) → Dk(M )

T (cid:55)→ £XT

được gọi là đạo hàm Lie của k−dòng T theo trường véctơ X trên M , trong đó £XT được xác định bởi

(M ) (£XT )(ω) = T (LXω), ∀ω ∈ Ωn−k

và LXω là đạo hàm Lie của (n − k)−dạng vi phân ω theo trường véctơ X.

Sau đây là ví dụ về đạo hàm Lie của dòng trên đa tạp.

2.1.2 Ví dụ. Cho E là tập con Borel của Rn, X là trường véctơ trên Rn và dòng tích phân [E] được xác định bởi

c (Rn).

(cid:90) [E](α) = α, ∀α ∈ Ωn

Khi đó, đạo hàm Lie của [E] theo trường véctơ X cho bởi

c (Rn).

(cid:90) (£X([E]))(α) = LXα, ∀α ∈ Ωn

Từ định nghĩa tích trong của trường véctơ đối với k−dạng vi phân, chúng tôi

xây dựng định nghĩa tích trong của trường véctơ đối với k−dòng dưới đây.

2.1.3 Định nghĩa. Giả sử X ∈ B(M ). ´Anh xạ

iX : Dk(M ) → Dk−1(M )

T (cid:55)→ iXT

được gọi là tích trong của trường véctơ X đối với k−dòng T, trong đó iXT được xác định bởi:

(M ),

(iXT )(ω) = (−1)k−1T (iXω), ∀ω ∈ Ωn−k+1 ở đây iXω là tích trong của trường véctơ X đối với (n − k + 1)−dạng vi phân ω.

c(M ). Khi đó

2.1.4 Mệnh đề. Giả sử T ∈ Dk(M ), X ∈ B(M ), ω ∈ Ωp

iX(T ∧ ω) = (iXT ) ∧ ω + (−1)kT ∧ (iXω).

Sau đây là các tính chất về tích trong của trường véctơ đối với dòng.

2.1.5 Mệnh đề. Cho T, T (cid:48) ∈ Dk(M ); X, Y ∈ B(M ); ϕ ∈ F(M ), λ ∈ R. Khi đó

i) iX(T + T (cid:48)) = iXT + iXT (cid:48); ii) iX+Y (T ) = iXT + iY T ; iii) iX(ϕT ) = ϕiXT ; iv) iλX(T ) = λiXT.

´Ap dụng định nghĩa về tích trong của trường véctơ đối với dòng, vi phân ngoài của dòng và công thức công thức Cartan đối với dạng vi phân, ta thu được công thức kiểu Cartan đối với dòng sau đây.

2.1.6 Định lý. Giả sử T ∈ Dk(M ), X ∈ B(M ). Khi đó

£XT = d(iXT ) + iX(dT ).

Sử dụng công thức kiểu Cartan đối với dòng ta thu được các mệnh đề sau.

2.1.7 Mệnh đề. Cho T, T (cid:48) ∈ Dk(M ); X, Y ∈ B(M ); ϕ ∈ F(M ). Khi đó

i) £X(T + T (cid:48)) = £XT + £XT (cid:48); ii) £X+Y T = £XT + £Y T ; iii) £X(ϕT ) = ϕ£XT + T LXϕ.

c(M ). Khi đó

2.1.8 Mệnh đề. Giả sử T ∈ Dk(M ), X ∈ B(M ), ω ∈ Ωp

£X(T ∧ ω) = (£XT ) ∧ ω + T ∧ (LXω).

2.1.9 Mệnh đề. Cho d là vi phân ngoài của k−dòng và £X là đạo hàm Lie của k−dòng trên M. Khi đó, £X ◦ d = d ◦ £X.

2.1.10 Mệnh đề. Nếu T ∈ Dk(M ) là k−dòng đóng (tương ứng k−dòng khớp) thì £XT là k−dòng đóng (tương ứng k−dòng khớp).

Sau đây là định lý về đạo hàm Lie đối với dòng.

2.1.11 Định lý. Giả sử X ∈ B(M ), T ∈ Dk(M ) và Ft là nhóm một tham số sinh bởi trường véctơ X. Khi đó

(2.1) (Ft)∗T = (Ft)∗£XT, d dt

ở đây (Ft)∗ là ánh xạ tiếp xúc (push-forward) của Ft. Nếu t = 0 thì công thức (2.1) trở thành

(2.2) £XT = (Ft)∗T. d dt (cid:12) (cid:12) (cid:12) (cid:12)t=0

Bằng việc sử dụng định lý đạo hàm Lie phụ thuộc thời gian thứ nhất đối với dạng vi phân ta nhận được định lý đạo hàm Lie phụ thuộc thời gian thứ nhất đối với dòng sau đây.

2.1.12 Định lý. Giả sử T ∈ Dk(M ), Xt ∈ B(M ) là trường véctơ phụ thuộc thời gian trên M và Ft,s là nhóm một tham số phụ thuộc thời gian sinh bởi trường véctơ Xt. Khi đó

(2.3) (Fτ,s)∗T = £Xt (cid:0)(Ft,s)∗T (cid:1) . d dτ (cid:12) (cid:12) (cid:12) (cid:12)τ =t

Trong trường hợp τ = s thì công thức (2.3) trở thành

(2.4) (Fτ,s)∗T = £Xs (T ) . d dτ (cid:12) (cid:12) (cid:12) (cid:12)τ =s

Từ định nghĩa đạo hàm Lie đối với dòng và định lý đạo hàm Lie phụ thuộc thời gian thứ hai đối với dạng vi phân ta chứng minh được định lý đạo hàm Lie phụ thuộc thời gian thứ hai đối với dòng dưới đây.

2.1.13 Định lý. Giả sử T ∈ Dk(M ), ωt ∈ Ωn−k (M ) là (n − k)-dạng vi phân phụ thuộc thời gian trên M , Xt ∈ B(M ), là trường véctơ phụ thuộc thời gian trên M và Ft,s là nhóm một tham số phụ thuộc thời gian sinh bởi trường véctơ Xt. Khi đó

(2.5) (cid:0)(cid:0)(Fτ,s)∗T (cid:1) (ωτ )(cid:1) = (cid:0)(Ft,s)∗T (cid:1) ( ˙ωt) + (cid:0)£Xt (cid:0)(Ft,s)∗T (cid:1)(cid:1) (ωt) , d dτ (cid:12) (cid:12) (cid:12) (cid:12)τ =t

ở đây ˙ωt = ˙ω(t) = ∂ωt ∂t . Đặc biệt, nếu τ = s thì công thức (2.5) trở thành

(2.6) (cid:0)(Fτ,s)∗T (cid:1) (ωτ ) = T ( ˙ωs) + (£XsT ) (ωs) . d dτ (cid:12) (cid:12) (cid:12) (cid:12)τ =s

Bây giờ, chúng tôi xét trong trường hợp đặc biệt dòng bậc n (phân bố). Giả sử U là tập con mở trong M , ký hiệu D(U ) = Dn(U ) là không gian các phân bố với giá compact trên U. Giả sử u ∈ D(U ) và X ∈ B(U ). Khi đó, ta có đạo hàm Lie £Xu của phân bố u được xác định bởi

(£Xu)(ϕ) := u(LXϕ), ∀ϕ ∈ Fc(U ),

trong đó LXϕ là đạo hàm Lie của hàm số ϕ trên U theo trường véctơ X.

Sau đây là ví dụ về đạo hàm Lie của phân bố.

2.1.14 Ví dụ. Giả sử f ∈ C(U ) là hàm liên tục trên U , X ∈ B(U ) và phân bố uf cho bởi: (cid:90) f (x).ϕ(x)dx, uf (ϕ) =

với mọi ϕ ∈ Fc(U ). Đạo hàm Lie của phân bố uf theo trường véctơ X cho bởi (cid:90) (£Xuf ) (ϕ) = f (x).(LXϕ)(x)dx.

Khi đó, £Xuf là một phân bố trên U.

n (cid:88)

2.1.15 Định lý. Cho X = (X1, X2, ..., Xn) ∈ B(U ) và u ∈ D(U ). Khi đó

i=1

£Xu = − ∂ (Xiu) ∂xi

∞ (cid:90)

2.1.16 Ví dụ. Giả sử H là một hàm trên R xác định như sau: H(x) = 0 nếu x < 0 và H(x) = 1 nếu x > 0. Ta định nghĩa phân bố Heaviside trên Fc(R), ký hiệu H và được xác định bởi

−∞

H(ϕ) := H(x).ϕ(x)dx = ϕ(x)dx,

n (cid:88)

với mọi ϕ ∈ Fc(R). Khi đó, đạo hàm Lie của phân bố Heaviside cho bởi

i=1

= − (XH)(cid:48) = −X (cid:48).H − X.H (cid:48) = −X (cid:48).H − X.δ, £XH = − ∂ (XiH) ∂xi

ở đây δ là phân bố Dirac và H (cid:48) = δ.

2.1.17 Định lý. Giả sử X ∈ B(U ), u, v ∈ D(U ) và {uk} , {vk} là dãy trong D(U ). Khi đó

i) uk → u (k → ∞) trong D(U ) ⇒ £Xuk → £Xu trong D(U );

∞ (cid:80) k=1

ii) v = vk trong D(U ) ⇒ £Xv = £Xvk.

2.1.18 Định nghĩa. Giả sử (cid:8)Xk = (cid:0)X 1 (cid:1)(cid:9) là dãy các trường véctơ trên U và k , ..., X n k X = (cid:0)X 1, ..., X n(cid:1) ∈ B(U ). Dãy các trường véctơ {Xk} được gọi là hội tụ đến trường véctơ X khi k → ∞ nếu các dãy hàm tọa độ X j k hội tụ đến X j với mọi j = 1, n khi k → ∞ trong Fc(U ).

2.1.19 Định lý. Giả sử {Xk} là dãy các trường véctơ và X ∈ B(U ). Khi đó, nếu dãy {Xk} hội tụ đến X khi k → ∞ trong Fc(U ) thì dãy £Xku hội tụ đến £Xu khi k → ∞ trong D(U ).

loc(U ) ∩ C(U ),

2.1.20 Định lý. Giả sử X = (X1, ..., Xn) ∈ B(U ); f, Xj ∈ Fc(U ) ∩ L1 j = 1, 2, ..., n và uf là phân bố chính quy. Khi đó

£Xuf = uLX f ,

ở đây C(U ) là không gian các hàm liên tục trên U.

Tiếp theo chúng tôi trình bày một số tính chất về đạo hàm Lie của dạng suy rộng trên đa tạp Riemann n−chiều M . Ta ký hiệu (cid:101)Ωk(M ) là không gian các k−dạng suy rộng trên M . 2.1.21 Định nghĩa. ´Anh xạ

LX : (cid:101)Ωk(M ) → (cid:101)Ωk(M )

ω (cid:55)→ LXω

được gọi là đạo hàm Lie của k−dạng suy rộng ω theo trường véctơ X, trong đó LXω được xác định bởi

(LXω)(T ) = ω(£XT ), với mọi T ∈ Dn−k(M ),

ở đây £XT là đạo hàm Lie của (n − k)−dòng T theo trường véctơ X. 2.1.22 Định nghĩa. ´Anh xạ

d : (cid:101)Ωk(M ) → (cid:101)Ωk+1(M ) ω (cid:55)→ dω

được gọi là vi phân ngoài k−dạng suy rộng ω, trong đó dω được định nghĩa bởi

dω(T ) = (−1)k+1ω(dT ), với mọi T ∈ Dn−k−1(M )

và dT là vi phân ngoài của (n − k − 1)−dòng T trên M .

2.1.23 Mệnh đề. Cho T ∈ Dk(M ), ω ∈ (cid:101)Ωp(M ) và ω(cid:48) ∈ (cid:101)Ωq(M ). Khi đó

i) d(T ∧ ω) = dT ∧ ω + (−1)n−k−1T ∧ dω; ii) d(ω ∧ ω(cid:48)) = dω ∧ ω(cid:48) + (−1)pω ∧ dω(cid:48).

2.1.24 Mệnh đề. Nếu ω ∈ (cid:101)Ωk(M ) là k−dạng suy rộng đóng (tương ứng khớp) thì LXω là k−dạng suy rộng đóng (tương ứng khớp). 2.1.25 Định nghĩa. Giả sử X ∈ B(M ). ´Anh xạ

iX : (cid:101)Ωk(M ) → (cid:101)Ωk−1(M )

ω (cid:55)→ iXω

được gọi là tích trong của trường véctơ X đối với k−dạng suy rộng ω, trong đó iXω được xác định bởi

(iXω)(T ) = (−1)k−1ω(iXT ), ∀T ∈ Dn−k+1(M )

và iXT là tích trong của trường véctơ X đối với (n − k + 1)−dòng T.

2.1.26 Mệnh đề. Cho T ∈ Dk(M ), X ∈ B(M ), ω ∈ (cid:101)Ωp(M ) và ω(cid:48) ∈ (cid:101)Ωq(M ). Khi đó

i) iX(T ∧ ω) = (iXT ) ∧ ω + (−1)n−k+1T ∧ (iXω); ii) iX(ω ∧ ω(cid:48)) = (iXω) ∧ ω(cid:48) + (−1)pω ∧ (iXω(cid:48)).

2.1.27 Nhận xét. Giả sử ω, ω(cid:48) ∈ (cid:101)Ωk(M ), X, Y ∈ B(M ), λ ∈ R. Khi đó

i) iX(ω + ω(cid:48)) = iXω + iXω(cid:48); ii) iX+Y (ω) = iXω + iY ω; iii) iX(λω) = λiXω; iv) iλX(ω) = λiXω.

Sau đây là công thức kiểu Cartan đối với dạng suy rộng.

2.1.28 Định lý. Nếu ω ∈ (cid:101)Ωk(M ), X ∈ B(M ) thì

LXω = d(iXω) + iX(dω).

Từ Định lý 2.1.28 ta dễ dàng chứng minh được các tính chất sau.

2.1.29 Mệnh đề. Giả sử ω, ω(cid:48) ∈ (cid:101)Ωk(M ), X, Y ∈ B(M ). Khi đó

(cid:48)

i) LX(ω + ω(cid:48)) = LXω + LXω(cid:48); ii) LX+Y ω = LXω + LY ω; iii) LX(ω ∧ ω(cid:48)) = LXω ∧ ω(cid:48) + ω ∧ LXω(cid:48).

2.1.30 Định lý. Cho T ∈ Dk(M ), X ∈ B(M ), ω ∈ (cid:101)Ωp(M ), ω ∈ (cid:101)Ωq(M ). Khi đó

2.2 Đạo hàm Lie của dòng trên nhóm Lie

£X(T ∧ ω) = (£XT ) ∧ ω + T ∧ (LXω).

Trong mục này, chúng tôi trình bày một số tính chất về đạo hàm Lie của dòng

và dạng suy rộng trên nhóm Lie n−chiều G.

a ◦ iX;

2.2.1 Bổ đề. Giả sử X là trường véctơ bất biến trái trên G. Khi đó

a = L∗ a = L∗

a ◦ LX;

i) iX ◦ L∗ ii) LX ◦ L∗

trong đó LX là đạo hàm Lie của dạng vi phân theo trường véctơ X và iX là tích trong của trường véctơ X đối với dạng vi phân trên G.

2.2.2 Định lý. Giả sử X là trường véctơ bất biến trái và T là k−dòng bất biến trái trên G. Khi đó, £XT là k-dòng bất biến trái trên G.

2.2.3 Bổ đề. Giả sử X là trường véctơ bất biến trái trên G. Khi đó

i) iX ◦ (La)∗ = (La)∗ ◦ iX; ii) £X ◦ (La)∗ = (La)∗ ◦ £X;

trong đó £X là đạo hàm Lie của dòng và iX là tích trong của trường véctơ X đối với dòng trên G.

2.2.4 Định lý. Cho X là trường véctơ bất biến trái và ω là k−dạng suy rộng bất biến trái trên nhóm Lie G. Khi đó, LXω là k−dạng suy rộng bất biến trái trên G.

Từ đây trở đi ta luôn giả thiết G là nhóm Lie compact n−chiều và µ là độ đo

Haar trên G, µ(G) = 1. Với mỗi T ∈ Dk(G), ta đặt

(cid:90) (G). (FGT ) (ω) = ((Lx)∗T )(ω)dx, ∀ω ∈ Ωn−k

Với mỗi dạng suy rộng ω ∈ (cid:101)Ωk(G) ta đặt

Gω) (T ) =

xω)(T )dx, ∀T ∈ Dn−k(G).

(cid:90) (F ∗ (L∗

2.2.5 Mệnh đề. Giả sử T là k−dòng trên G. Khi đó

i) FGT là k−dòng bất biến trái trên G; ii) Nói riêng, nếu T là k−dòng bất biến trái trên G thì FGT = T.

2.2.6 Mệnh đề. Giả sử X là trường véctơ bất biến trái trên G. Khi đó

G = F ∗

i) £X ◦ FG = FG ◦ £X; ii) LX ◦ F ∗ G ◦ LX; trong đó £X và LX lần lượt là đạo hàm Lie của dòng và dạng suy rộng.

2.2.7 Định lý. Cho dT là (k + 1)−dòng bất biến trái trên G, X ∈ B(G). Khi đó, £X(FGT ) − £XT và (Lx)∗T − T đều là các dòng đóng, với mọi x ∈ G.

Mệnh đề sau suy ra trực tiếp từ định lý Stockes và công thức kiểu Cartan đối

với dòng.

2.2.8 Mệnh đề. Giả sử G là nhóm Lie compact có biên ∂G khác rỗng, X ∈ B(G) và T là (n − 1)−dòng trên G. Khi đó

∂G

(cid:90) (cid:90) £X(dT ) = iXdT.

Sử dụng Định lý 2.2.7, Mệnh đề 2.1.9 và định lý Stokes đối vơi dòng ta thu được

mệnh đề sau.

2.3 Một số ứng dụng của đạo hàm Lie của dòng

2.2.9 Mệnh đề. Giả sử G là nhóm Lie compact có biên ∂G khác rỗng, X ∈ B(G) và dT là n−dòng bất biến trái trên G. Khi đó, £X(dT ) = 0.

Định lý vận chuyển Reynolds có nhiều ứng dụng trong vật lý như: Cơ học lượng tử, động lực học... Định lý vận chuyển Reynolds tổng quát đối với dạng vi phân trên đa tạp M được cho bởi công thức sau

Ft(V )

(cid:90) (cid:90) ωt = ( ˙ωt + LXωt) , d dt

trong đó ωt là k−dạng vi phân phụ thuộc thời gian trên đa tạp M, Ft là nhóm một tham số địa phương sinh bởi trường véctơ X và V là đa tạp con k−chiều của M .

Đạo hàm Lie của dạng vi phân trên đa tạp M có vai trò quan trọng trong định lý vận chuyển Reynolds đối với dạng vi phân. Năm 2014, Lior Falach và Reuven Segev đã chứng minh công thức vận chuyển trong định lý vận chuyển đối với dòng mà đạo hàm Lie £XT của dòng đóng vai trò quan trọng. Một điều thú vị là toán tử vận chuyển Rϕ (t) (T ) chính là đạo hàm Lie £Xt ((ϕt)∗T ) của k−dòng (ϕt)∗T .

Giả sử B, M là hai đa tạp Riemann, với dimB < dimM và I ⊂ R là các tập con bị chặn, [a, b] ⊂ I. Ta ký hiệu Emb(B, M ) là tập hợp các phép nhúng từ B vào M. ´Anh xạ khả vi m : I → Emb(B, M ), t (cid:55)→ m(t) gọi là một chuyển động (motion).

2.3.1 Định nghĩa. Chuyển động m sinh ra ánh xạ

ϕ : I × B → M

(τ, x) (cid:55)→ ϕ(τ, x) = m(τ )(x)

Ta thường ký hiệu ϕτ : B → M, x (cid:55)→ ϕτ (x) = ϕ(τ, x) = m(τ )(x). Hiển nhiên, chuyển động m sinh ra ánh xạ đồng luân ϕ : [a, b] × B → M của ϕa và ϕb.

Giả sử Km ⊂ B là tập con compact của B sao cho với bất kỳ x /∈ Km và với mọi t, t(cid:48) ∈ I ta có

ϕ(t, x) = ϕ (t(cid:48), x) . (2.7)

Do đó, với x /∈ Km và t ∈ I ta có

(cid:48)

(2.8) ˙ϕt (x) = 0.

m = ϕt(Km).

Với mỗi t ∈ I nào đó, ta ký hiệu tập B(cid:48) = ϕt(B) và K

Với mỗi t ∈ I, ϕt = m(t) ∈ Emb(B, M ), tồn tại ánh xạ ngược ηt : Im(ϕt) =

B(cid:48) → B sao cho ϕt ◦ ηt = idB(cid:48) với idB(cid:48) là ánh xạ đồng nhất. Xét trường véctơ

(cid:48)

m. Trường véctơ vt được mở rộng một cách tự

(2.9) vt : B(cid:48) → T M, vt = ˙ϕt ◦ ηt,

sao cho vt(x) = 0, với mọi x ∈ B(cid:48)\K nhiên đến trường véctơ Xt : M → T M được xác định bởi

(cid:40)

(cid:48)

m. Vì vậy, X : I × M → T M

(2.10) Xt(x) = vt(x), 0, x ∈ B(cid:48), x (cid:54)∈ B(cid:48).

Do đó, Xt là trường véctơ khả vi và triệt tiêu trên M \K là trường véctơ phụ thuộc thời gian được định nghĩa trên M (Falach, 2014).

Với s, t ∈ I, ta xét ánh xạ Fs,t : M → M được xác định bởi

(cid:40)

(2.11) Fs,t(x) = ϕs ◦ ηt(x), x ∈ B(cid:48), x (cid:54)∈ B(cid:48). x,

Do đó

(2.12) (x) = Xs (Fs,t (x)) , Ft,t(x) = x. ∂Fs,t ∂s

Vậy ánh xạ Fs,t là nhóm một tham số được sinh ra bởi trường véctơ phụ thuộc thời gian Xt và với mỗi s, t ∈ I, ta có ϕs = Fs,t ◦ ϕt.

Bằng cách sử dụng định lý đạo hàm Lie phụ thuộc thời gian thứ hai đối với dòng

ta chứng minh được định lý vận chuyển đối với dòng sau đây.

2.3.2 Định lý. (Định lý vận chuyển đối với dòng). Giả sử T ∈ Dk(B) là k−dòng trên đa tạp B có giá compact và ωt ∈ Ωn−k (M ) là (n − k)−dạng phụ thuộc thời gian. Khi đó

(2.13) ((ϕτ )∗T ) (ωτ ) = ((ϕt)∗T ) ( ˙ωt) + (£Xt ((ϕt)∗T )) (ωt) , d dτ (cid:12) (cid:12) (cid:12) (cid:12)τ =t

ở đây Xt là trường véctơ phụ thuộc thời gian xác định trong công thức (2.10), ϕt là ánh xạ trong Định nghĩa 2.3.1 và sử dụng ký hiệu ˙ωt = ∂ωt ∂t .

Từ công thức kiểu Cartan và định lý đạo hàm Lie phụ thuộc thời gian thứ nhất

đối với dòng, ta thu được định lý sau đây. 2.3.3 Định lý. Giả sử T ∈ Dk(B) là k−dòng trên đa tạp B có giá compact. Khi đó, toán tử vận chuyển được xác định bởi công thức

(2.14) Rϕ (t) (T ) = (ϕτ )∗T, d dτ (cid:12) (cid:12) (cid:12) (cid:12)τ =t

ở đây Xt là trường véctơ phụ thuộc thời gian xác định trong công thức (2.10) và ϕt là ánh xạ trong Định nghĩa 2.3.1.

Áp dụng Định lý 2.3.3, ta dễ dàng chứng minh được công thức đồng luân đối với

dòng sau đây. 2.3.4 Hệ quả. Giả sử T ∈ Dk(B) là k−dòng trên đa tạp B có giá compact. Khi đó, công thức đồng luân đối với dòng được xác định bởi

(cid:90) (2.15) (ϕb)∗ T − (ϕa)∗T = £Xt ((ϕt)∗T ) dt,

ở đây Xt là trường véctơ phụ thuộc thời gian xác định trong công thức (2.10) và ϕt là ánh xạ trong Định nghĩa 2.3.1.

2.3.5 Định lý. Cho P là đa tạp con định hướng, compact có biên p−chiều của đa tạp Riemann B. Giả sử X là trường véctơ pháp dạng trên P , Ft là nhóm một tham số địa phương mở rộng lên B sinh bởi trường véctơ X, ω là dạng thể tích trên Ft(P ) và TP dòng tích phân bậc 0 trên P . Khi đó

(cid:1)(cid:1) (ω) . (2.16) Vol (Ft(P )) = (cid:0)£X (cid:0)TFt(P ) d dt

Đặc biệt, nếu t = 0 thì công thức (2.16) trở thành

(2.17) Vol(Ft(P )), (£XTP )(ω) = (cid:12) (cid:12) (cid:12)t=0 d dt

Ft(P )

ω. ở đây sử dụng ký hiệu: Vol (Ft(P )) = (cid:82)

2.3.6 Hệ quả. Cho P là đa tạp con định hướng, compact có biên p−chiều của đa tạp Riemann B. Giả sử X là trường véctơ pháp dạng trên P , Ft là nhóm một tham số địa phương mở rộng lên B sinh bởi trường véctơ X và TP dòng tích phân bậc 0 trên P . Khi đó, nếu £XTP = 0 thì P là đa tạp con cực tiểu.

2.4 Đạo hàm Lie của dạng và dòng song bậc

Trong mục này, chúng tôi nghiên cứu một số tính chất về đạo hàm Lie của dạng và dòng song bậc trên đa tạp phức. Đặc biệt, chúng tôi tìm điều kiện của trường véctơ X để đạo hàm Lie của dạng song bậc (p, p) cũng là dạng song bậc (p, p), từ đó chúng tôi định nghĩa đạo hàm Lie của dòng song bậc.

Giả sử M c là đa tạp phức n-chiều và (U, {z1, z2, ..., zn}), zj = xj + iyj, j = 1, n là hệ tọa độ địa phương trên tập mở U ⊂ M c. Ký hiệu Ω(p,q)(M c, C) là không gian các dạng vi phân song bậc (p, q) trên M c. Bằng cách tính toán trực tiếp, chúng tôi thu được công thức tính đạo hàm Lie của dạng vi phân ω song bậc (1, 1) sau đây.

n (cid:80) j,k=1

2.4.1 Định lý. Giả sử ω = ϕjkdzj ∧ dzk ∈ Ω(1,1)(M c, C) và X = (X1, X2, ..., Xn)

n (cid:88)

là trường véctơ trơn trên M. Khi đó

j,k=1

(cid:1)(cid:3). (2.18) LXω = (cid:2)X [ϕjk] dzj ∧ dzk + ϕjk (cid:0)dXj ∧ dzk − dX k ∧ dzj

Từ Định lý 2.4.1, ta thu được hệ quả sau.

n (cid:80) j,k=1

2.4.2 Hệ quả. Giả sử X = (X1, X2, ..., Xn) là trường véctơ chỉnh hình trên M c và ϕjkdzj ∧ dzk ∈ Ω(1,1)(M c, C). Khi đó, LXω ∈ Ω(1,1)(M c, C) và LXω được ω =

xác định bởi công thức sau

n (cid:88)

(cid:34)

l=1

j,k=1

l=1

(cid:35) . dzl ∧ d¯zk − ϕjk d¯zl ∧ dzj LXω = LXϕjkdzj ∧ d¯zk + ϕjk ∂Xj ∂zl ∂ ¯Xk ∂ ¯zl

Trong trường hợp X là trường véctơ chỉnh hình trên M c thì đạo hàm Lie của dạng vi phân song bậc (1, 1) cũng là dạng vi phân song bậc (1, 1). Bây giờ, sử dụng phương pháp quy nạp toán học ta chứng minh được đạo hàm Lie của dạng vi phân song bậc (p, p) cũng là dạng vi phân song bậc (p, p) trong trường hợp X là trường véctơ chỉnh hình trên M c.

|J|=|K|=p

2.4.3 Định lý. Nếu X = (X1, X2, ..., Xn) là trường véctơ chỉnh hình trên M c và ω = (cid:80) ϕJKdzJ ∧ dzK ∈ Ω(p,p)(M c, C) là dạng vi phân song bậc (p, p) trên M c

thì LXω ∈ Ω(p,p)(M c, C).

Các ví dụ sau đây nhằm minh họa cho Định lý 2.4.3.

2.4.4 Ví dụ. Cho M c = C2, ω = z2

1dz1 ∧ dz1, X = (z1, z2). Khi đó 1dz1 ∧ dz1 ∈ Ω(1,1)(C2, C).

LXω = 4z2

2.4.5 Ví dụ. Cho M c = C2, ω = z1z2dz2 ∧ dz2, X = (z2, z1). Chú ý rằng, X không phải là trường véctơ chỉnh hình trên C2. ´Ap dụng Định lý 2.4.1, ta dễ dàng tính toán dz2 ∧ d¯z2 + z1z2d¯z1 ∧ d¯z2 − z1z2dz1 ∧ dz2 /∈ Ω(1,1)(C2, C). được LXω = |z1|2 + |z2|2(cid:17) (cid:16)

n (cid:80) j,k=1

2.4.6 Hệ quả. Giả sử X = (X1, X2, ..., Xn) là trường véctơ chỉnh hình và bị chặn ϕjkdzj ∧ dzk ∈ Ω(1,1)(M c, C) là dạng vi phân song bậc (1, 1) trên trên M c; ω =

n (cid:88)

M c. Khi đó

j,k=1

(2.19) X[ϕjk]dzj ∧ d¯zk. LXω =

2.4.7 Nhận xét. Giả sử X là trường véctơ chỉnh hình trên M c.

hol(M c) thì LXω ∈ Ωp

hol(M c).

i) Nếu f ∈ O(M c) thì LXf ∈ O(M c); ii) Nếu ω ∈ Ωp

n (cid:88)

2.4.8 Nhận xét. Nếu u ∈ C∞(M c, C) thì

j,k=1

(2.20) LXddcu = 2i dzj ∧ d¯zk. ∂2 (LXu) ∂zj∂ ¯zk

Sau đây là định nghĩa đạo hàm Lie của dòng song bậc.

2.4.9 Định nghĩa. Cho X là trường véctơ chỉnh hình trên M c. ´Anh xạ

£X : D(p,p)(M c, C) → D(p,p)(M c, C)

T (cid:55)→ £XT

được gọi là đạo hàm Lie của dòng song bậc (p, p) theo trường véctơ X, trong đó £XT được xác định bởi

(£XT )(ω) = T (LXω), ∀ω ∈ Ω(n−p,n−p)(M c, C).

và LXω là đạo hàm Lie của dạng song bậc (n − p, n − p) theo trường véctơ X.

Sau đây là ví dụ về đạo hàm Lie của dòng song bậc.

2.4.10 Ví dụ. Cho M c = Cn và U là tập con mở của Cn. Giả sử ψ là (p, p)−dạng vi phân song bậc trên U với các hệ số khả tích địa phương. Khi đó, ψ xác định một (p, p)−dòng Tψ trên U cho bởi (cid:90) ψ ∧ α, ∀α ∈ Ω(n−p,n−p)(Cn, C). Tψ(α) =

Do đó, đạo hàm Lie của (p, p)−dòng song bậc Tψ theo trường véctơ chỉnh hình X được xác định bởi

(cid:90) (£XTψ) (α) = ψ ∧ LXα, ∀α ∈ Ω(n−p,n−p)(Cn, C)

2.4.11 Mệnh đề. Giả sử T, T (cid:48) ∈ D(p,p)(M c, C), ϕ ∈ F(M c) và X, Y là các trường véctơ chỉnh hình trên M c. Khi đó

i) £X(T + T (cid:48)) = £XT + £XT (cid:48); = £XT + £Y T. ii) £X+Y T

Kết luận chương 2

Trong chương này, chúng tôi thu được những kết quả sau:

• Xây dựng công thức kiểu Cartan đối với dòng và dạng suy rộng (Định lý 2.1.6, Định lý 2.1.28), từ đó chứng minh một số tính chất về đạo hàm Lie của dòng và dạng suy rộng (Mệnh đề 2.1.7, Mệnh đề 2.1.8, Mệnh đề 2.1.10, Mệnh đề 2.1.29, Mệnh đề 2.1.30). Đưa ra công thức tính đạo hàm Lie của phân bố (Định lý 2.1.15), chứng minh sự hội tụ của dãy đạo hàm Lie theo nghĩa phân bố (Định lý 2.1.17, Định lý 2.1.19). Phát biểu Định lý đạo hàm Lie phụ thuộc thời gian thứ nhất và thứ hai đối với dòng (Định lý 2.1.12, Định lý 2.1.13).

• Đưa ra Định lý 2.2.2, Định lý 2.2.4, Định lý 2.2.7 và Mệnh đề 2.2.9 về đạo hàm

Lie của dòng và dạng suy rộng bất biến trái trên G.

• Chỉ ra ứng dụng đạo hàm Lie của dòng trên đa tạp trong việc chứng minh Định lý vận chuyển đối với dòng (Định lý 2.3.2, Định lý 2.3.3) và chứng minh công thức đồng luân đối với dòng trên đa tạp (Hệ quả 2.3.4). Mô tả đạo hàm Lie của dòng tích phân trên đa tạp con (Định lý 2.3.5) và tìm điều kiện để đa tạp con cực tiểu (Hệ quả 2.3.6).

• Đưa ra Định lý 2.4.1, Hệ quả 2.4.2, Định lý 2.4.3 để khẳng định đạo hàm Lie của dạng song bậc (p, p) cũng là dạng song bậc (p, p) trong trường hợp X là trường véctơ chỉnh hình. Đưa ra các Ví dụ 2.4.4 và Ví dụ 2.4.5 nhằm minh họa cho Định lý 2.4.3. Trên cơ sở đó chúng tôi xây dựng định nghĩa đạo hàm Lie của dòng song bậc (p, p) trên đa tạp phức M c.

Các kết quả trên đã được viết thành các bài: • K. P. Chi, N. H. Quang and B. C. Van (2012), The Lie derivative of currents

on Lie group, Lobachevskii Journal of Mathematics, 33(1), 10 - 21.

• Bui Cao Van (2016), On the Lie derivative of forms of bidegre, Bulletin of

Mathematical Analysis and Applications (to appear).

• B. C. Van (2016), Some note on the Lie derivative of currents of bidegree,

Journal of Nonlinear and Convex Analysis, Submitted.

• K. P. Chi, N. H. Quang and B. C. Van (2016), Some properties on the Lie derivative of currents and its applications, Vietnam Journal of Mathematics, Sub- mitted.

Chương 3 ĐẠO HÀM LIE CỦA LIÊN THÔNG PHÁP DẠNG

3.1 Đạo hàm Lie của liên thông và vi phân ngoài liên kết

Trong chương này, chúng tôi trình bày một số tính chất về đạo hàm Lie của liên thông, vi phân ngoài liên kết với liên thông, đạo hàm Lie của liên thông pháp dạng và tenxơ cong pháp dạng trên đa tạp con M của đa tạp Riemann (cid:102)M . Bước đầu chúng tôi thu được một số kết quả trong trường hợp M là siêu mặt trong (cid:102)M .

Trong mục này, chúng tôi trình bày một số tính chất về vi phân ngoài liên kết d∇ với liên thông tuyến tính ∇ trên đa tạp Riemann M và mối quan hệ giữa đạo hàm Lie LX và vi phân ngoài liên kết d∇. Trước hết, ta nhớ lại k−dạng vi phân khả vi ω trên M với giá trị trên B(M ) là k−dạng tuyến tính, phản xứng ω : B(M ) × B(M ) × · · · × B(M ) → B(M ). Ta ký hiệu không gian k−dạng vi phân với giá trị trên B(M ) là Ωk(M, B(M )).

3.1.1 Định lý. Giả sử ω ∈ Ωk(M, B(M )) và X ∈ B(M ). Khi đó

(3.1) LXω = d (iXω) + iX (dω) .

Công thức (3.1) gọi là công thức kiểu Cartan của dạng vi phân với giá trị trên B(M ). 3.1.2 Định nghĩa. Cho X ∈ B(M ) và ∇ là liên thông tuyến tính trên M . ´Anh xạ

LX∇ : B(M ) × B(M ) → B(M )

(Y, Z) (cid:55)→ (LX∇)(Y, Z) = LX(∇Y Z) − ∇LX Y Z − ∇Y (LXZ)

được gọi là đạo hàm Lie của liên thông tuyến tính ∇ theo trường véctơ X.

3.1.3 Định lý. Giả sử θ ∈ Ω1(M, B(M )) và X ∈ B(M ). Khi đó

(cid:16) (cid:17) LX (d∇θ) − d∇ (LXθ) (Y, Z) = (LX∇) (Y, θ (Z)) − (LX∇) (Z, θ (Y )) ,

với mọi Y, Z ∈ B(M ).

3.1.4 Hệ quả. Nếu X là trường véctơ affine-Killing trên M thì LX giao hoán được với d∇, nghĩa là:

LX (d∇θ) = d∇ (LXθ) ,

với mọi θ ∈ Ω1(M, B(M )).

3.1.5 Mệnh đề. Giả sử X, Y, Z ∈ B(M ); θ ∈ Ω1(M, B(M )). Khi đó

(LX (∇Y θ)) (Z) − (∇Y (LXθ)) (Z) = (LX∇Y ) (θ(Z)) − θ ([[X, Y ] , Z]) .

3.1.6 Mệnh đề. Giả sử ∇ là liên thông đối xứng trên M và X là trường véctơ song song trên M. Khi đó

∇X (LXω) = LX (∇Xω) , với mọi ω ∈ Ωk(M, B(M )).

3.1.7 Mệnh đề. Cho X, Y, Z ∈ B(M ) và ∇ là liên thông đối xứng trên M. Khi đó

Y,ZX + R(X, Y, Z),

X,Y Z là đạo hàm hiệp biến cấp hai của trường véctơ Z theo các trường véctơ

(3.2) (LX∇) (Y, Z) = ∇2

ở đây ∇2 X, Y.

3.1.8 Chú ý. Giả sử ∇ là liên thông đối xứng trên M.

i) Nếu X là trường véctơ affine-Killing trên M thì ta có

Z,Y X, với mọi Y, Z ∈ B(M );

R(X, Y, Z) = ∇2

ii) Nếu X là trường véctơ song song trên M thì ta có

R(X, Y, Z) = (LX∇)(Y, Z), với mọi Y, Z ∈ B(M ).

Giả sử D là liên thông chính tắc trên Rn. Tập hợp tất cả các phép đạo hàm của trường véctơ trên không gian Rn được ký hiệu bởi D = {DX|X ∈ B(Rn)}. Ta có DX+Y = DX + DY , với mọi X, Y ∈ B(Rn) và DλX = λDX, với mọi λ ∈ R. Như vậy D là một không gian véctơ thực. Ta đặt

[DX, DY ] = DX ◦ DY − DY ◦ DX, với mọi X, Y ∈ B(Rn).

Khi đó, D là đại số Lie với phép toán Lie

[DX, DY ] = D[X,Y ], ∀X, Y ∈ B(Rn).

3.1.9 Nhận xét. Nếu X là trường véctơ song song trên Rn thì ta có

LXDY = D[X,Y ], với mọi DY ∈ D.

Y theo trường véctơ Y ∈ B(M ) của liên thông

Bây giờ ta xét ánh xạ co thứ hai C 2

tuyến tính ∇ được xác định bởi

Y ∇(cid:1) (X) = ∇XY, với mọi X, Y ∈ B(M ).

(cid:0)C 2 (3.3)

Y ∇(cid:1) (Z) ;

3.1.10 Mệnh đề. Giả sử X, Y, Z ∈ B(M ) và ϕ ∈ F(M ). Khi đó

Y ∇(cid:1) (X) + (cid:0)C 2 Y ∇(cid:1) (X) ; (cid:0)(cid:0)C 2

Y ∇(cid:1) (X + Z) = (cid:0)C 2 Y ∇(cid:1) (ϕX) = ϕ (cid:0)C 2 Y ∇(cid:1) ([X, Z]) = ∇X

Y ∇(cid:1) (Z)(cid:1) − ∇Z

Y ∇(cid:1) (X)(cid:1) − R(X, Y, Z).

i) (cid:0)C 2 ii) (cid:0)C 2 iii) (cid:0)C 2 (cid:0)(cid:0)C 2

3.1.11 Mệnh đề. Giả sử X, Y, Z ∈ B(M ). Khi đó

Y ∇(cid:1) (X, Z) = R(X, Z, Y ). Đặc biệt, khi M = Rn và ∇ là liên thông tuyến tính chính tắc trên Rn, ta có (cid:0)C 2

(cid:0)C 2 (3.4) d∇

Y ∇(cid:1) = 0.

d∇

3.1.12 Định lý. Giả sử ∇ liên thông đối xứng, X là trường véctơ song song trên M và ω ∈ Ω2(M, B(M )). Khi đó

(3.5) ∇Xω = d∇ (iXω) + iX (d∇ω) .

Giả sử ϕ : M → M là vi phôi và ϕt là nhóm một tham số sinh bởi trường véctơ t∈R là nhóm một tham số sinh bởi trường véctơ Y = ϕ∗X.

X. Khi đó, (cid:8)ϕ ◦ ϕt ◦ ϕ−1(cid:9) Từ đó, suy ra (ϕs)∗ X = X, ∀s ∈ R. 3.1.13 Định lý. Giả sử ω ∈ Ωk(M, B(M )), X ∈ B(M ) và ϕt là nhóm một tham số sinh bởi trường véctơ X. Khi đó, ta có

t ω) = ϕ∗

t (∇Xω) .

3.2 Đạo hàm Lie của liên thông pháp dạng

(3.6) ∇X (ϕ∗

Trong mục này, chúng tôi đưa ra định nghĩa đạo hàm Lie của liên thông pháp dạng và đạo hàm Lie của tenxơ cong pháp dạng trên đa tạp con Riemann, từ đó nghiên cứu các tính chất về đạo hàm Lie của liên thông pháp dạng và của tenxơ cong pháp dạng trên đa tạp con Riemann M .

Giả sử (M, g) là đa tạp con n-chiều của đa tạp Riemann m-chiều (cid:17) (cid:16) (cid:102)M , (cid:101)g

p∈M gian các trường véctơ khả vi trên M , (cid:102)M tương ứng và N(M ) là không gian các trường véctơ pháp dạng khả vi trên M . 3.2.1 Định nghĩa. Cho N ∈ N(M ). ´Anh xạ hN : B(M ) → B(M ) được xác định bởi

. Ta ký hiệu (cid:101)∇, ∇ tương ứng là liên thông Levi-Civita của (cid:102)M , M và ∇⊥ là liên thông pháp dạng. Ta thường ký hiệu tích vô hướng (cid:104), (cid:105) (hoặc ·) thay cho mêtric (cid:101)g và g. Với mỗi p ∈ M , không gian tiếp xúc Tp (cid:102)M được phân tích thành tổng trực tiếp Tp (cid:102)M = TpM (cid:76) NpM , trong đó NpM := (TpM )⊥ là phần bù trực giao của TpM trong không gian Tp (cid:102)M , ký hiệu N(M ) = (cid:83) NpM . Ký hiệu B(M ), B( (cid:102)M ) là không

(cid:17)(cid:62) (cid:16) , ∀X ∈ B(M ) (3.7) hN (X) = − (cid:101)∇XN

3.2.2 Định nghĩa. ´Anh xạ

(cid:101)∇XhN : B(M ) → B(M )

Y (cid:55)→ ( (cid:101)∇XhN )(Y ) = (cid:101)∇X(hN (Y )) − hN ( (cid:101)∇XY )

được gọi là đạo hàm của ánh xạ Weingarten hN theo một trường véctơ X. 3.2.3 Định nghĩa. ´Anh xạ

h⊥ N : B(M ) → N(M )

X (cid:55)→ h⊥

N (X) = ∇⊥

được gọi là ánh xạ Weingarten pháp dạng trên M .

3.2.4 Nhận xét. Giả sử N, K ∈ N(M ). Khi đó

N (X) + h⊥ N (Y ) , ∀X, Y ∈ B(M ); N (X) , ∀X ∈ B(M ), ∀ϕ ∈ F(M );

i) h⊥ ii) h⊥ iii) h⊥

N (X + Y ) = h⊥ N (ϕX) = ϕh⊥ N +K = h⊥

N + h⊥

K và h⊥

ϕN = ϕh⊥

N với mọi ϕ ∈ F(M ).

được gọi là ánh xạ Weingarten.

3.2.5 Định nghĩa. Cho X ∈ B(M ) và ∇⊥ là liên thông pháp dạng trên M . ´Anh xạ

L⊥ X∇⊥ : B(M ) × N(M ) → N(M ) (Y, N )

(cid:55)→ (L⊥

X∇⊥)(Y, N ) = L⊥

X(∇⊥

Y N ) − ∇⊥

Y (L⊥

XN ).

[X,Y ]N − ∇⊥

được gọi là đạo hàm Lie của liên thông pháp dạng ∇⊥ theo trường véctơ X,

3.2.6 Mệnh đề. Giả sử X, Y ∈ B(M ). Khi đó

(3.8)

X(L⊥

Y ∇⊥) − L⊥

Y (L⊥

X∇⊥).

L⊥ [X,Y ]∇⊥ = L⊥

3.2.7 Định nghĩa. Giả sử X ∈ B(M ) và R⊥ là tenxơ cong pháp dạng của đa tạp con M . ´Anh xạ

L⊥ XR⊥ : B(M ) × B(M ) × N(M ) → N(M )

(Y, Z, N )

(cid:55)→ (L⊥

XR⊥)(Y, Z, N )

được gọi là đạo hàm Lie của tenxơ cong pháp dạng R⊥ theo trường véctơ X trên M, trong đó (L⊥

XR⊥)(Y, Z, N ) được xác định bởi

(L⊥

XR⊥)(Y, Z, N ) = L⊥

(3.9)

X(R⊥(Y, Z, N )) − R⊥(LXY, Z, N )− − R⊥(Y, LXZ, N ) − R⊥(Y, Z, L⊥ XN ).

Áp dụng định nghĩa đạo hàm Lie của tenxơ cong pháp dạng trong trường hợp M

là siêu mặt ta thu được mệnh đề sau.

3.2.8 Mệnh đề. Nếu M là siêu mặt trong (cid:102)M và N là trường véctơ pháp dạng đơn vị trên M thì ta có

(3.10)

(L⊥

XR⊥)(Y, Z, N ) = −R⊥(Y, Z, L⊥

XN ),

với mọi X, Y, Z ∈ B(M ).

Định lý sau mô tả công thức đạo hàm Lie của tenxơ cong pháp dạng R⊥ và đạo

hàm Lie của liên thông pháp dạng ∇⊥ theo trường véctơ X trên đa tạp con M.

3.2.9 Định lý. Đạo hàm Lie của tenxơ cong pháp dạng R⊥ và đạo hàm Lie của liên thông pháp dạng ∇⊥ theo trường véctơ trên đa tạp con M thỏa mãn đẳng thức sau

(L⊥ − (cid:0)L⊥

XR⊥)(Y, Z, N ) = − (cid:0)L⊥ Y N ) + ∇⊥

X∇⊥(cid:1) ([Y, Z], N ) + (cid:0)L⊥ Y ((L⊥

X∇⊥)(Z, N )) − ∇⊥

X∇⊥(cid:1) (Y, ∇⊥ Z ((cid:0)L⊥

Z N )− X∇⊥(cid:1) (Y, N ))

X∇⊥(cid:1) (Z, ∇⊥

với mọi X, Y, Z ∈ B(M ), với mọi N ∈ N(M ).

3.2.10 Định nghĩa. Giả sử X ∈ B(M ) và N ∈ N(M ). ´Anh xạ

Xh⊥ L⊥

Y (cid:55)→ (cid:0)L⊥

(cid:1) (Y ) = L⊥

N : B(M ) → N(M ) Xh⊥ N

X(h⊥

N (Y )) − h⊥

N ([X, Y ])

được gọi là đạo hàm Lie của ánh xạ Weingarten pháp dạng h⊥

N theo trường véctơ X.

3.2.11 Mệnh đề. Giả sử X ∈ B(M ) và N ∈ N(M ). Khi đó

[X,Y ]N, với mọi Y ∈ B(M );

(cid:1) (Y ) = L⊥ X(∇⊥ Xh⊥ N X∇⊥(cid:1) (Y, N ) = (cid:0)L⊥

i) (cid:0)L⊥ ii) (cid:0)L⊥ iii) (cid:0)L⊥

Y N ) − ∇⊥ Xh⊥ N (cid:1)(cid:1) (Z) = L⊥

(cid:0)∇⊥

(cid:0)∇Y h⊥

∇Y ZN (cid:1) −

− L⊥ X (cid:17)

+ ∇⊥

− ∇⊥ Y

(cid:1) (Y ) − h⊥ X N (Y ) , với mọi Y ∈ B(M ); L⊥ (cid:17) (cid:16) (h⊥ N (Z))(Y ) h⊥ (cid:16) ∇⊥ [X,Z]N

∇Y [X,Z]N, với mọi Y, Z ∈ B(M ).

3.2.12 Định lý. Giả sử X, Y ∈ B(M ), N ∈ N(M ). Khi đó

(cid:16)

(cid:17)

(cid:16)

(cid:17)

(Y ) +

(X)−

(cid:101)R(X, Y, N ) = R⊥(X, Y, N ) −

(cid:101)∇Y hN

− h∇⊥

(cid:101)∇XhN Y N (X) + h∇⊥

X N (Y ) .

Bây giờ, ta xét trong trường hợp M là siêu mặt trong (cid:102)M và N là trường véctơ pháp dạng đơn vị trên M. Khi đó, liên thông pháp dạng ∇⊥ của siêu mặt M là liên thông phẳng. Do đó, từ Định lý 3.2.12 ta dễ dàng chứng minh được hệ quả sau.

3.2.13 Hệ quả. Nếu M là siêu mặt trong (cid:102)M và N là trường véctơ pháp dạng đơn vị trên M thì ta có

(cid:16)

(cid:17)

(cid:16)

(cid:17)

(X) −

(Y ),

(3.11)

(cid:101)R(X, Y, N ) =

(cid:101)∇Y hN

(cid:101)∇XhN

với mọi X, Y ∈ B(M ).

Mệnh đề sau cho phép ta tính đạo hàm Lie của tenxơ cong (cid:101)R trên (cid:102)M .

3.2.14 Mệnh đề. Giả sử M là siêu mặt trong (cid:102)M và N là trường véctơ pháp dạng đơn vị trên M . Khi đó (cid:16)

(cid:17)

(cid:16)

(cid:17)(cid:17)

(cid:16)

(cid:17)(cid:17)

(Y, Z, N ) =

(Z)+

LX (cid:101)R

(cid:101)∇Y hN

(cid:16)

LX (cid:17)

(cid:101)∇ZhN (cid:16)

(Y ) − (cid:17)

(Z) −

(cid:101)∇[X,Y ]hN

(cid:101)∇[X,Z]hN

(Y ) − (cid:101)R(Y, Z, L⊥

XN ),

với mọi X, Y, Z ∈ B(M ).

Từ Định lý 3.2.12 ta thu được định lý sau.

3.2.15 Định lý. Giả sử X, Y ∈ B(M ) và N, K ∈ N(M ). Khi đó

(3.12)

(cid:101)R(X, Y, N, K) = R⊥(X, Y, N, K) − (cid:104)hKX, hN Y (cid:105) + (cid:104)hKY, hN X(cid:105) .

Hệ quả sau cho phép ta tính tenxơ cong của (cid:102)M thông qua ánh xạ Weingarten trên

siêu mặt.

3.2.16 Hệ quả. Nếu M là siêu mặt trong (cid:102)M và N là trường véctơ pháp dạng đơn vị trên M. Khi đó

(3.13)

(cid:101)R(X, Y, N, K) = (cid:104)hKY, hN X(cid:105) − (cid:104)hKX, hN Y (cid:105) ,

với mọi X, Y ∈ B(M ), K ∈ N(M ).

3.2.17 Định nghĩa. Giả sử ϕ : B(M ) → N(M ) là một đồng cấu môđun. Đạo hàm liên kết với ∇⊥ của ϕ, ký hiệu d∇⊥ϕ và được xác định bởi

(d∇⊥ϕ) (X, Y ) = ∇⊥

Xϕ (Y ) − ∇⊥

Y ϕ (X) − ϕ ([X, Y ]) , ∀X, Y, Z ∈ B(M ).

3.2.18 Mệnh đề. Cho ϕ : B(M ) → N(M ) là một đồng cấu môđun. Khi đó, ánh xạ d∇⊥ϕ : B(M ) × B(M ) → N(M ) là song tuyến tính, phản xứng.

Từ Hệ quả 3.2.8 ta thu được Địnhh lý 3.2.19 sau đây.

3.2.19 Định lý. Giả sử M là siêu mặt trong (cid:102)M và N là trường véctơ pháp dạng đơn vị trên M . Khi đó

(cid:17)

(cid:16)

(cid:0)L⊥

(Y, Z) ,

(3.14)

XR⊥(cid:1) (Y, Z, N ) = −

d∇⊥h⊥ L⊥

X N

với mọi X, Y, Z ∈ B(M ).

Kết luận chương 3

Trong chương này, chúng tôi thu được những kết quả sau.

• Đưa ra một số tính chất về đạo hàm Lie của liên thông và vi phân ngoài liên kết với liên thông trên đa tạp Riemann (Định lý 3.1.3, Mệnh đề 3.1.7, Mệnh đề 3.1.11, Định lý 3.1.12).

• Đưa ra Định lý 3.2.9, Hệ quả 3.2.8, Định lý 3.2.12, Hệ quả 3.2.13, Mệnh đề 3.2.14, Định lý 3.2.15, Hệ quả 3.2.16, từ đó nghiên cứu các tính chất về đạo hàm Lie của liên thông pháp dạng, đạo hàm Lie của tenxơ cong pháp dạng trên đa tạp con Riemann và ứng dụng của nó trong trường hợp đa tạp con M là siêu mặt.

Các kết quả này được đăng trên các bài báo: • N. H. Quang and B. C. Van (2016), Some properties of the Lie derivative and the conjugate derivative d∇ with the connection, Southeast Asian Bulletin of Mathematics (to appear).

• B. C. Van and T. T. K. Ha (2015), Some properties on the Lie derivative of

linear connections on Rn, East-West Journal of Mathematics, 17(2), 113 - 124.

• B. C. Van (2016), The Lie derivative of normal connections, J. Nonlinear Sci.

Appl., 9(2016), 4247 - 4256.

KẾT LUẬN CHUNG VÀ KIẾN NGHỊ

I. Kết luận chung

Luận án nghiên cứu về đạo hàm Lie của dòng và dạng suy rộng, đạo hàm Lie

của phân bố, đạo hàm Lie của dạng và dòng song bậc, đạo hàm Lie của liên thông

và vi phân ngoài liên kết, đạo hàm Lie của liên thông pháp dạng. Đồng thời ứng

dụng các kết quả thu được vào việc chứng minh định lý vận chuyển, công thức

đồng luân đối với dòng trên đa tạp và tìm điều kiện để đa tạp con cực tiểu. Các

kết quả chính của luận án là:

1) Thiết lập khái niệm đạo hàm Lie của dòng và dạng suy rộng. Từ đó phát

biểu công thức kiểu Cartan và một số tính chất về đạo hàm Lie của dòng và dạng

suy rộng. Đưa ra công thức tính đạo hàm Lie của phân bố, chứng minh sự hội

tụ của dãy đạo hàm Lie theo nghĩa phân bố. Phát biểu định lý đạo hàm Lie phụ

thuộc thời gian thứ nhất và thứ hai đối với dòng.

2) Đưa ra một số tính chất về đạo hàm Lie của dòng và dạng suy rộng trên

nhóm Lie compact.

3) Chỉ ra ứng dụng của đạo hàm Lie của dòng trên đa tạp trong việc chứng

minh định lý vận chuyển, công thức đồng luân đối với dòng trên đa tạp và tìm

điều kiện để đa tạp con cực tiểu.

4) Đưa ra các định lý để khẳng định đạo hàm Lie của dạng vi phân song bậc

(p, p) cũng là dạng vi phân song bậc (p, p) trong trường hợp X là trường véctơ

chỉnh hình.

5) Phát biểu một số tính chất về đạo hàm Lie của liên thông và vi phân ngoài

liên kết với liên thông trên đa tạp Riemann.

6) Thiết lập và phát biểu một số tính chất về đạo hàm Lie của liên thông

pháp dạng, đạo hàm Lie của tenxơ cong pháp dạng trên đa tạp con Riemann.

II. Kiến nghị

Trong thời gian tới chúng tôi mong muốn tiếp tục nghiên cứu các vấn đề sau:

1) Nghiên cứu đạo hàm Lie của dòng dương, đạo hàm Lie của hàm đa điều

hòa dưới và ứng dụng vào lý thuyết đa thế vị.

2) Nghiên cứu đạo hàm Lie trên siêu mặt trong không gian xạ ảnh phức.

3) Nghiên cứu đạo hàm Lie trên đại số Banach và trên giả đại số Lie.

DANH MỤC CÔNG TRÌNH CỦA NGHIÊN CỨU SINH LIÊN

QUAN TRỰC TIẾP ĐẾN LUẬN ÁN

1. K. P. Chi, N. H. Quang and B. C. Van (2012), The Lie derivative of currents

on Lie group, Lobachevskii Journal of Mathematics, 33(1), 10 - 21.

2. B. C. Van and T. T. K. Ha (2015), Some properties on the Lie derivative of linear connections on Rn, East-West Journal of Mathematics, 17(2), 113 - 124.

3. B. C. Van (2016), The Lie derivative of normal connections, J. Nonlinear Sci.

Appl., 9(2016), 4247 - 4256 (SCIE).

4. B. C. Van and N. H. Quang (2016), Some properties of the Lie derivative and

the conjugate derivative d∇ with the connection, Southeast Asian Bulletin of

Mathematics (to appear).

5. Bui Cao Van (2016), On the Lie derivative of forms of bidegre, Bulletin of

Mathematical Analysis and Applications, to appear (ESCI).

6. B. C. Van (2016), Some note on the Lie derivative of currents of bidegree,

Journal of Nonlinear and Convex Analysis, Submitted.

7. K. P. Chi, N. H. Quang and B. C. Van (2016), Some properties on the Lie

derivative of currents and its applications, Vietnam Journal of Mathematics,

Submitted.