I. Khám phá biến đổi chính tắc tuyến tính LCT và hàm riêng
Biến đổi chính tắc tuyến tính (Linear Canonical Transformation - LCT) là một công cụ toán học mạnh mẽ thuộc lớp các biến đổi tích phân tuyến tính. Được giới thiệu lần đầu vào những năm 1970, LCT tổng quát hóa nhiều phép biến đổi quan trọng khác như biến đổi Fourier, biến đổi Fourier phân số, và biến đổi Fresnel. Sức mạnh của LCT nằm ở bốn tham số {a, b, c, d}, được biểu diễn qua một ma trận ABCD 2x2 với định thức bằng 1 (ad-bc=1). Điều này cho phép toán tử LCT mô tả một loạt các hệ thống vật lý và xử lý tín hiệu phức tạp, đặc biệt trong lĩnh vực quang học Fourier và cơ học lượng tử. Hiểu rõ về LCT là nền tảng cho nhiều nghiên cứu khoa học toán ứng dụng hiện đại.
Trọng tâm của việc nghiên cứu toán tử LCT là tìm ra các hàm riêng và trị riêng (eigenfunctions and eigenvalues) của nó. Một hàm riêng của một phép biến đổi là một hàm mà khi bị tác động bởi phép biến đổi đó, kết quả chỉ là chính nó nhân với một hằng số vô hướng (trị riêng). Việc xác định các hàm này có ý nghĩa sâu sắc, vì chúng tạo thành một cơ sở trực giao cho không gian hàm, cho phép phân tích và tái tạo bất kỳ tín hiệu nào dưới dạng tổ hợp tuyến tính của chúng. Trong các ứng dụng thực tế như xử lý tín hiệu và quang học, các hàm riêng tương ứng với các trạng thái hoặc chế độ ổn định của hệ thống, không bị biến dạng khi truyền qua hệ thống được mô tả bởi LCT. Luận văn này tập trung vào việc xây dựng một bộ hàm riêng hoàn chỉnh cho biến đổi chính tắc tuyến tính trong trường hợp cụ thể |a + d| ≤ 2.
1.1. Định nghĩa toán tử LCT và cấu trúc ma trận ABCD
Toán tử biến đổi chính tắc tuyến tính được định nghĩa là một phép biến đổi tích phân. Khi tham số b ≠ 0, LCT của hàm f(t) được cho bởi công thức: OF(a,b,c,d)(f(t)) = (1/√(i2πb)) ∫exp[i/(2b) * (at² - 2ut + du²)]f(t)dt. Các tham số {a, b, c, d} tạo thành một ma trận ABCD có định thức bằng 1. Mỗi bộ tham số khác nhau tương ứng với một phép biến đổi cụ thể. Ví dụ, khi {a,b,c,d} = {0,1,-1,0}, LCT trở thành biến đổi Fourier. Khi {a,b,c,d} = {cos α, sin α, -sin α, cos α}, nó trở thành biến đổi Fourier phân số (Fractional Fourier Transform). Sự linh hoạt này làm cho LCT trở thành một công cụ phân tích không thể thiếu trong phân tích hàm và các ngành khoa học ứng dụng. Cấu trúc ma trận này cũng cho phép kết hợp nhiều phép biến đổi LCT một cách dễ dàng thông qua phép nhân ma trận, mô phỏng các hệ thống phức tạp nối tiếp nhau.
1.2. Vai trò của hàm riêng và trị riêng trong giải tích hàm
Hàm riêng và trị riêng là những khái niệm cốt lõi trong lý thuyết toán tử và giải tích hàm. Trong bối cảnh của LCT, một hàm riêng φ(t) thỏa mãn phương trình OF(a,b,c,d)(φ(t)) = λφ(t), trong đó λ là trị riêng tương ứng. Các hàm riêng này đại diện cho các 'chế độ' bất biến của phép biến đổi. Việc tìm ra chúng không chỉ là một bài toán lý thuyết thuần túy mà còn mang lại lợi ích thực tiễn to lớn. Chúng cho phép phân tích tín hiệu một cách hiệu quả trong miền LCT, tương tự như cách hàm mũ phức là hàm riêng của biến đổi Fourier. Trong quang học, các hàm riêng như hàm Hermite-Gauss là các chùm tia laser ổn định khi truyền qua các hệ thống thấu kính. Do đó, việc xác định tập hợp đầy đủ các eigenfunctions and eigenvalues cho LCT là một nhiệm vụ nền tảng, mở đường cho các ứng dụng sâu hơn trong nhiều lĩnh vực.
II. Thách thức khi tìm hàm riêng của biến đổi chính tắc tuyến tính
Việc xác định hàm riêng của biến đổi chính tắc tuyến tính là một bài toán phức tạp và đầy thách thức trong phân tích hàm. Mặc dù các trường hợp đặc biệt như biến đổi Fourier và biến đổi Fourier phân số đã có lời giải tương đối hoàn chỉnh, việc tổng quát hóa cho một ma trận ABCD bất kỳ lại gặp nhiều khó khăn. Sự đa dạng của các tham số {a, b, c, d} dẫn đến các dạng hàm riêng rất khác nhau. Các nghiên cứu trước đây, chẳng hạn như công trình của Soo-Chang Pie và Jian-Jiun Ding được trích dẫn trong luận văn, đã chỉ ra rằng hàm riêng của LCT có cấu trúc tương tự hàm Hermite-Gauss nhưng bị biến dạng bởi phép co giãn và phép nhân chirp. Tuy nhiên, công thức này chỉ đầy đủ cho trường hợp |a + d| < 2 và chưa giải quyết triệt để các trường hợp biên.
Thách thức chính nằm ở việc phân loại và xây dựng hàm riêng một cách hệ thống cho tất cả các lớp LCT khác nhau. Các lớp này được phân loại LCT dựa trên giá trị của (a+d). Cụ thể, các trường hợp |a + d| < 2 (elliptic), |a + d| = 2 (parabolic), và |a + d| > 2 (hyperbolic) đòi hỏi các phương pháp tiếp cận khác nhau. Luận văn này tập trung vào hai trường hợp đầu tiên, vốn là những trường hợp có nhiều ứng dụng nhất trong quang học và xử lý tín hiệu. Việc giải quyết bài toán cho trường hợp |a + d| = 2, tương ứng với biến đổi Fresnel và các hệ quang học afocal, là một đóng góp quan trọng, vì nó liên quan trực tiếp đến các hiện tượng như hiệu ứng Talbot và bài toán tự tạo ảnh trong không gian pha.
2.1. Sự phức tạp của bài toán Eigenfunctions and Eigenvalues
Bài toán tìm eigenfunctions and eigenvalues cho một toán tử tổng quát như LCT không có một phương pháp giải duy nhất. Sự phức tạp nảy sinh từ sự phụ thuộc của cấu trúc hàm riêng vào cả bốn tham số của ma trận ABCD. Không giống như biến đổi Fourier với các hàm riêng Hermite-Gauss quen thuộc, hàm riêng của LCT có thể là các hàm tuần hoàn, hàm hầu tuần hoàn, hoặc các hàm phức tạp hơn. Ví dụ, khi LCT trở thành biến đổi Fresnel, các hàm tuần hoàn là hàm riêng, dẫn đến hiệu ứng Talbot. Việc tìm ra một bộ cơ sở hàm riêng đầy đủ và trực giao đòi hỏi phải phân tích sâu sắc cấu trúc đại số của nhóm toán tử LCT. Luận văn phải dựa trên các tính chất phân rã ma trận để quy bài toán phức tạp về các bài toán đơn giản hơn đã có lời giải.
2.2. Phân loại LCT và các hướng tiếp cận khác nhau
Để giải quyết bài toán một cách có hệ thống, cần phải phân loại LCT dựa trên vết của ma trận, tức là giá trị (a+d). Luận văn tập trung vào trường hợp |a + d| ≤ 2. Trường hợp |a + d| < 2 (elliptic) có thể được phân tích bằng cách liên kết LCT với biến đổi Fourier phân số (FRFT) thông qua một phép biến đổi tương đương. Hướng tiếp cận này cho phép 'vay mượn' các hàm riêng đã biết của FRFT (là các hàm Hermite-Gauss) và biến đổi chúng để thu được hàm riêng cho LCT. Ngược lại, trường hợp |a + d| = 2 (parabolic) phức tạp hơn nhiều. Nó tương ứng với các phép biến đổi như biến đổi Fresnel (khi a=d=1) hoặc phép nhân chirp. Trong trường hợp này, không tồn tại liên kết trực tiếp với FRFT, đòi hỏi phải xây dựng hàm riêng từ các nguyên lý cơ bản, thường liên quan đến điều kiện tuần hoàn LCT và các hàm tuần hoàn hoặc hầu tuần hoàn.
III. Phương pháp xác định hàm riêng LCT cho trường hợp a d 2
Đối với trường hợp |a + d| < 2, luận văn trình bày một phương pháp xác định hàm riêng của biến đổi chính tắc tuyến tính một cách hiệu quả và có hệ thống. Cách tiếp cận này dựa trên một tính chất toán học quan trọng: bất kỳ ma trận LCT nào thỏa mãn điều kiện |a + d| < 2 đều có thể được phân rã thành tích của ba ma trận đơn giản hơn. Cụ thể, ma trận {a, b, c, d} có thể được viết dưới dạng tích của một ma trận LCT tương ứng với phép co giãn và phép nhân chirp, một ma trận biến đổi Fourier phân số, và ma trận nghịch đảo của phép biến đổi đầu tiên. Công thức phân rã này là: [a, b; c, d] = [a₁, b₁; c₁, d₁] [cosα, sinα; -sinα, cosα] [a₁, b₁; c₁, d₁]⁻¹.
Tính chất này cho phép quy bài toán tìm hàm riêng của một toán tử LCT tổng quát về bài toán tìm hàm riêng của biến đổi Fourier phân số (FRFT), một bài toán đã được giải quyết triệt để. Các hàm riêng và trị riêng của FRFT chính là các hàm Hermite-Gauss và các pha xoay e⁻ⁱᵐᵅ. Bằng cách áp dụng phép biến đổi LCT {a₁, b₁, c₁, d₁} lên các hàm Hermite-Gauss, ta thu được một bộ hàm mới. Bộ hàm này chính là tập hợp các hàm riêng của toán tử LCT ban đầu. Kết quả cuối cùng cho thấy hàm riêng trong trường hợp này có dạng một hàm Hermite-Gauss được co giãn và nhân với một hàm chirp phức, thể hiện rõ sự kết hợp của ba phép biến đổi cơ bản. Phương pháp này không chỉ cung cấp một công thức tường minh mà còn làm sáng tỏ cấu trúc sâu xa của các eigenfunctions and eigenvalues trong không gian pha.
3.1. Phân tích LCT thông qua biến đổi Fourier phân số FRFT
Chìa khóa của phương pháp này là nhận ra mối liên hệ sâu sắc giữa LCT và biến đổi Fourier phân số (Fractional Fourier Transform - FRFT). Vì |a + d| < 2, ta luôn có thể tìm được một góc α sao cho (a+d)/2 = cos(α). Góc α này chính là bậc của phép FRFT tương ứng. Phép phân rã ma trận cho thấy rằng LCT trong trường hợp này về bản chất là một phép FRFT được 'nhìn' qua một 'hệ tọa độ' khác, được định nghĩa bởi phép biến đổi {a₁, b₁, c₁, d₁}. Phép biến đổi này thực hiện việc co giãn và dịch chuyển trong không gian pha. Do đó, thay vì giải bài toán trực tiếp, luận văn đã biến đổi bài toán sang miền FRFT, giải quyết nó ở đó, và sau đó biến đổi kết quả trở lại miền LCT ban đầu. Đây là một kỹ thuật mạnh mẽ trong lý thuyết toán tử.
3.2. Cấu trúc hàm Hermite Gauss trong hàm riêng của LCT
Kết quả cuối cùng của phương pháp phân tích này cho thấy các hàm riêng của LCT trong trường hợp |a + d| < 2 là các hàm Hermite-Gauss đã được biến đổi. Cụ thể, hàm riêng thứ m, φₘ(t), có dạng φₘ(t) = Cₘ * exp[-((1+iτ)t²)/(2σ²)] * Hₘ(t/σ), trong đó Hₘ là đa thức Hermite bậc m, Cₘ là hằng số chuẩn hóa, còn σ và τ là các tham số co giãn và chirp được xác định từ các phần tử a, b, c, d của ma trận ABCD. Cấu trúc này rất quan trọng: phần Gauss đảm bảo tính định xứ của hàm trong cả miền thời gian và tần số, trong khi phần Hermite tạo ra một bộ cơ sở trực giao. Các tham số σ và τ mô tả cách mà hệ thống LCT làm biến dạng (co giãn và làm méo pha) các chế độ cơ bản này. Trị riêng tương ứng vẫn giữ nguyên dạng e⁻ⁱᵐᵅ, cho thấy 'tốc độ xoay pha' của mỗi chế độ.
IV. Phân tích chuyên sâu hàm riêng LCT khi điều kiện a d 2
Trường hợp |a + d| = 2 là một trường hợp biên đặc biệt và phức tạp hơn trong việc xác định hàm riêng của biến đổi chính tắc tuyến tính. Không giống như trường hợp |a + d| < 2, ở đây không thể sử dụng phương pháp phân rã thông qua biến đổi Fourier phân số. Luận văn phải tiếp cận bài toán này bằng cách chia nhỏ thành các trường hợp con dựa trên giá trị của các tham số {a, b, c, d}. Cụ thể, các trường hợp được xét bao gồm a+d=2 và b=0; a+d=-2 và b=0; a+d=2 và b≠0; và a+d=-2 và b≠0. Mỗi trường hợp này tương ứng với một loại phép biến đổi vật lý khác nhau.
Khi a+d=2 và b=0, toán tử LCT trở thành một phép nhân chirp đơn giản. Hàm riêng của nó có dạng các hàm delta-Kronecker trong miền tần số, tương ứng với các hàm tuần hoàn trong miền thời gian. Khi b≠0, LCT trở thành biến đổi Fresnel, mô tả sự nhiễu xạ trong quang học. Trong trường hợp này, các hàm tuần hoàn và hầu tuần hoàn là các hàm riêng, điều này giải thích cho hiệu ứng Talbot. Phương pháp xây dựng hàm riêng dựa trên việc phân tích điều kiện tuần hoàn LCT và sử dụng các tính chất của biến đổi Fourier. Luận văn đã chỉ ra rằng, bằng cách sử dụng các tính chất liên hợp của LCT với biến đổi Fourier, ta có thể suy ra hàm riêng của trường hợp này từ các trường hợp đơn giản hơn đã biết. Kết quả này là một đóng góp quan trọng, cung cấp một bộ hàm riêng hoàn chỉnh, là nền tảng cho việc giải thích các bài toán tạo ảnh trong quang học Fourier.
4.1. Trường hợp đặc biệt Biến đổi Fresnel và phép nhân chirp
Khi a+d=2, toán tử LCT có các dạng đặc biệt quan trọng. Nếu b=0, nó trở thành phép nhân với một hàm chirp bậc hai, O(f(t)) = exp(ict²/2)f(t). Hàm riêng của toán tử này phải là các hàm có phổ tần số rời rạc, tức là các hàm tuần hoàn. Nếu b≠0, LCT tương ứng với biến đổi Fresnel, một công cụ không thể thiếu trong quang học Fourier để mô tả sự lan truyền của sóng ánh sáng. Hàm riêng của biến đổi Fresnel không chỉ bao gồm các hàm tuần hoàn (giải thích hiệu ứng Talbot cổ điển) mà còn cả các hàm hầu tuần hoàn. Luận văn đã xây dựng một cách tường minh các hàm riêng này dưới dạng chuỗi Fourier, cho thấy một cấu trúc phong phú hơn so với các lý thuyết trước đó.
4.2. Xây dựng hàm riêng dựa trên điều kiện tuần hoàn LCT
Phương pháp chính để giải quyết trường hợp |a + d| = 2 là khai thác các tính chất đối xứng và tuần hoàn. Luận văn sử dụng một tính chất phân rã ma trận khác, cho phép biểu diễn một LCT {a,b,c,d} phức tạp thông qua một biến đổi Fresnel {1, η, 0, 1} hoặc {−1, η, 0, −1}. Điều này cho phép 'tái sử dụng' các kết quả về hàm riêng của biến đổi Fresnel. Cụ thể, nếu f(t) là hàm riêng của biến đổi Fresnel, thì hàm riêng của LCT tổng quát sẽ có dạng một phép biến đổi LCT khác tác động lên f(t). Kết quả là các hàm riêng có dạng tích của một hàm chirp và một hàm hầu tuần hoàn. Việc xây dựng này dựa trên điều kiện tuần hoàn LCT và các kết quả từ hiệu ứng Talbot phân số, thể hiện sự liên kết chặt chẽ giữa toán học lý thuyết và các hiện tượng vật lý quan sát được.
V. Ứng dụng đột phá của LCT và hàm riêng trong quang học
Việc xác định thành công hàm riêng của biến đổi chính tắc tuyến tính không chỉ là một thành tựu lý thuyết mà còn mở ra nhiều ứng dụng thực tiễn đột phá, đặc biệt trong lĩnh vực quang học Fourier. Một trong những ứng dụng quan trọng nhất được trình bày trong luận văn là giải thích bài toán tự tạo ảnh (self-imaging). Bất kỳ hệ thống quang học nào bao gồm các thấu kính và các khoảng không gian trống đều có thể được mô hình hóa chính xác bằng một toán tử LCT với một ma trận ABCD tương ứng. Do đó, bài toán tạo ảnh trong một hệ quang học có thể được quy về việc tìm các hàm đầu vào sao cho hàm đầu ra có cường độ giống hệt (hoặc co giãn) so với đầu vào.
Theo định nghĩa, các hàm riêng và trị riêng của LCT chính là lời giải cho bài toán này. Nếu tín hiệu ánh sáng đầu vào có dạng của một hàm riêng của LCT mô tả hệ quang học, thì tín hiệu đầu ra sẽ là chính nó nhân với trị riêng. Vì trong quang học, người ta thường chỉ quan tâm đến cường độ (|f(t)|²), nên nếu trị riêng có module bằng 1, thì cường độ đầu ra sẽ bằng hệt cường độ đầu vào. Điều này chính là hiện tượng tự tạo ảnh. Luận văn đã sử dụng các kết quả về hàm riêng cho trường hợp |a+d|≤2 để xây dựng một thuật toán tìm kiếm các tín hiệu đầu vào có khả năng tự tạo ảnh trong một hệ quang học cho trước. Đây là một bước tiến quan trọng, giúp thiết kế các hệ thống quang học, bộ cộng hưởng laser và các thiết bị xử lý tín hiệu quang học phức tạp.
5.1. Mô hình hóa hệ thống quang học bằng toán tử LCT
Mối quan hệ giữa LCT và quang học là rất chặt chẽ. Sự lan truyền của sóng ánh sáng qua một khoảng không gian trống z tương ứng với một biến đổi Fresnel, là một trường hợp đặc biệt của LCT với ma trận {1, zλ/2π, 0, 1}. Việc đi qua một thấu kính mỏng có tiêu cự f tương ứng với một phép nhân chirp, cũng là một LCT với ma trận {1, 0, -2π/fλ, 1}. Một hệ thống quang học phức tạp gồm nhiều thấu kính và khoảng trống có thể được mô tả bằng cách nhân các ma trận ABCD tương ứng của từng thành phần. Do đó, toàn bộ hệ thống từ đầu vào đến đầu ra được đặc tả bởi một toán tử LCT duy nhất. Cách tiếp cận này đơn giản hóa đáng kể việc phân tích các hệ quang học phức tạp, thay thế các tích phân nhiễu xạ phức tạp bằng các phép toán đại số ma trận.
5.2. Giải thích bài toán tự tạo ảnh trong không gian pha
Bài toán tự tạo ảnh (self-imaging), hay hiệu ứng Talbot, là hiện tượng một trường sóng tuần hoàn tự tái tạo hình ảnh của chính nó ở những khoảng cách nhất định. Luận văn đã tổng quát hóa hiện tượng này. Bằng cách sử dụng bộ hàm riêng đã tìm được, ta có thể giải thích và dự đoán hiện tượng tự tạo ảnh cho các hệ quang học tổng quát, không chỉ là không gian trống. Thuật toán được đề xuất như sau: (1) Xác định ma trận ABCD {a₁, b₁, c₁, d₁} của hệ quang học. (2) Tìm tất cả các LCT khác {a, b, c, d} có cùng tỉ số a:b = a₁:b₁. (3) Các hàm riêng của các LCT này sẽ là các tín hiệu đầu vào tạo ra hiệu ứng tự tạo ảnh (có thể kèm theo co giãn). Phương pháp này cho phép tìm ra một lớp các tín hiệu đầu vào rộng lớn hơn nhiều so với các hàm tuần hoàn cổ điển, bao gồm cả các hàm Hermite-Gauss biến đổi và các hàm hầu tuần hoàn, mở ra tiềm năng thiết kế các bộ cộng hưởng và hệ thống quang học mới.
VI. Kết luận từ luận văn và hướng nghiên cứu khoa học tương lai
Luận văn thạc sĩ về "Hàm riêng của biến đổi chính tắc tuyến tính OF(a, b, c, d) cho trường hợp |a + d| ≤ 2" đã giải quyết thành công một vấn đề quan trọng trong lĩnh vực giải tích hàm và các ứng dụng của nó. Công trình đã trình bày một cách hệ thống và đầy đủ việc xây dựng các hàm riêng và trị riêng cho một lớp lớn các toán tử LCT. Cụ thể, luận văn đã cung cấp các công thức tường minh cho hàm riêng trong cả hai trường hợp: |a + d| < 2, dựa trên mối liên hệ với biến đổi Fourier phân số và hàm Hermite-Gauss; và trường hợp biên |a + d| = 2, dựa trên việc phân tích các dạng đặc biệt như biến đổi Fresnel và các hàm tuần hoàn/hầu tuần hoàn.
Các kết quả này không chỉ có giá trị lý thuyết sâu sắc mà còn có ý nghĩa thực tiễn to lớn. Việc áp dụng các hàm riêng này để giải thích bài toán tự tạo ảnh trong quang học Fourier đã chứng minh sức mạnh của phương pháp tiếp cận này. Nó cung cấp một công cụ phân tích và thiết kế mạnh mẽ cho các kỹ sư và nhà vật lý làm việc trong lĩnh vực quang học, laser và xử lý tín hiệu. Đây là một ví dụ điển hình cho một nghiên cứu khoa học toán ứng dụng, nơi các khái niệm toán học trừu tượng được sử dụng để giải quyết các vấn đề cụ thể trong khoa học và kỹ thuật. Những đóng góp của luận văn là nền tảng vững chắc cho các nghiên cứu tiếp theo, bao gồm cả các luận án tiến sĩ LCT trong tương lai.
6.1. Tổng kết các kết quả chính về hàm riêng của LCT
Luận văn đã đạt được các kết quả chính sau: (1) Hệ thống hóa định nghĩa và các tính chất của biến đổi chính tắc tuyến tính. (2) Xây dựng thành công bộ hàm riêng hoàn chỉnh cho LCT trong trường hợp |a + d| < 2, chỉ ra rằng chúng là các hàm Hermite-Gauss bị co giãn và nhân chirp. (3) Phân tích và tìm ra các hàm riêng cho trường hợp phức tạp |a + d| = 2, liên quan đến các hàm tuần hoàn và hầu tuần hoàn. (4) Ứng dụng thành công các kết quả lý thuyết để đưa ra một thuật toán giải quyết bài toán tự tạo ảnh trong các hệ quang học tổng quát. Các kết quả này dựa trên nền tảng công trình của các nhà khoa học đi trước như Soo-Chang Pie và Jian-Jiun Ding, đồng thời làm rõ và hoàn thiện các khía cạnh còn bỏ ngỏ.
6.2. Tiềm năng của LCT trong xử lý tín hiệu và vật lý lượng tử
Hướng nghiên cứu trong tương lai là rất rộng mở. Ngoài quang học, LCT còn có tiềm năng ứng dụng to lớn trong xử lý tín hiệu số, radar, và truyền thông. Việc phát triển các thuật toán LCT rời rạc hiệu quả sẽ cho phép phân tích tín hiệu trong không gian pha một cách linh hoạt hơn so với biến đổi Fourier truyền thống. Trong vật lý lượng tử, LCT mô tả sự tiến hóa theo thời gian của các hệ dao động tử điều hòa. Việc hiểu rõ các hàm riêng (trạng thái riêng) của nó có thể giúp phân tích các trạng thái lượng tử không cổ điển và các hệ thống vướng víu. Hơn nữa, việc mở rộng nghiên cứu sang trường hợp |a + d| > 2 (hyperbolic) và LCT trong không gian nhiều chiều sẽ là những hướng đi đầy hứa hẹn cho các luận án tiến sĩ LCT và các công trình nghiên cứu khoa học toán ứng dụng tiếp theo.
