Một số vấn đề về hàm đơn điệu và hàm lồi ma trận

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN —————————————– CAO THỊ ÁI LOAN MỘT SỐ VẤN ĐỀ VỀ HÀM ĐƠN ĐIỆU VÀ HÀM LỒI MA TRẬN LUẬN VĂN THẠC SĨ ĐẠI SỐ VÀ LÝ THUYẾT SỐ Bình Định - Năm 2022 BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN —————————————– CAO THỊ ÁI LOAN MỘT SỐ VẤN ĐỀ VỀ HÀM ĐƠN ĐIỆU VÀ HÀM LỒI MA TRẬN Ngành: ĐẠI SỐ VÀ LÝ THUYẾT SỐ Mã số: 8460104 Người hướng dẫn: PGS.TS LÊ CƠNG TRÌNH Lời cảm ơn Tơi xin bày tỏ kính trọng lịng biết ơn sâu sắc đến thầy Lê Cơng Trình nhiệt tình hướng dẫn giúp đỡ suốt thời gian thực luận văn Đồng thời, xin chân thành gửi lời cảm ơn sâu sắc đến tất thầy cô Khoa Tốn Thống kê, khoa Sư phạm, phịng Đào tạo sau đại học, nhà trường, gia đình bạn bè tạo điều kiện thuận lợi giúp hồn thành luận văn Bình Định, ngày tháng năm 2022 Học viên Cao Thị Ái Loan i Mục lục Mở đầu iii Kiến thức chuẩn bị 1.1 Giá trị riêng phổ ma trận 1.2 Vết định thức ma trận 1.3 Ma trận dương 1.4 Phân tích Schmidt phân tích phổ 1 Hàm đơn điệu ma trận hàm lồi ma trận 2.1 Hàm đơn điệu ma trận 2.1.1 Định nghĩa ví dụ hàm đơn điệu ma trận 2.1.2 Tiêu chuẩn đạo hàm cho tính đơn điệu ma trận 2.2 Hàm lồi ma trận 2.2.1 Tập lồi hàm lồi 2.2.2 Hàm lồi ma trận 2.3 Biểu diễn tích phân hàm đơn điệu ma trận hàm lồi ma trận 2.3.1 Hàm Pick 2.3.2 nh lý Lăowner 2.3.3 Biểu diễn tích phân hàm đơn điệu ma trận hàm lồi ma trận 2.4 Một số áp dụng 5 9 15 Kết luận 34 Tài liệu tham khảo 34 ii 19 19 22 28 31 Mở đầu Cho (a, b) ⊆ R khoảng mở Một hàm số f : (a, b) −→ R gọi đơn điệu ma trận vuông cấp n f (A) ≤ f (B) với A, B ma trận vuông Hermit cấp n, A B có giá trị riêng nằm (a, b) thỏa mãn A ≤ B Ở đây, A ≤ B có nghĩa B − A ma trận nửa xác định dương Nếu hàm số đơn điệu ma trận vng cấp gọi hàm đơn điệu ma trận hay hàm đơn điệu toán tử Hàm số f : (a, b) −→ R gọi hàm lồi ma trận f (tA + (1 − t)B) ≤ tf (A) + (1 − t)f (B) với A, B ma trận vng Hermit cấp có giá trị riêng thuộc khoảng (a, b) với ≤ t ≤ Nếu −f hàm lồi ma trận, f gọi hàm lõm ma trận Ở đây, với A ∈ Mn (C) ma trận vuông phức cấp n Hermit với giá trị riêng thuộc khoảng (a, b) ⊆ R f : (a, b) → R hàm số, ma trận f (A) định nghĩa thơng qua phân tích phổ phép chéo hóa A, tức là, A = ki=1 αi Pi phân tích phổ A A = U Diag(α1 , , αk )U ∗ phép chéo hóa A, k f (αi )Pi = U Diag(f (α1 ), , f (αk ))U ∗ f (A) = i=1 Lý thuyết hàm đơn điệu ma trận xng bi Karel Lăowner ([6], 1934), khụng lõu sau đó, Fritz Kraus ([5], 1936) phát triển lý thuyết hàm lồi ma trận Sau phát triển số nhà nghiên cứu (chẳng hạn, Bendat Sherman ([1], 1955), Korányi ([4], 1956)), Hansen Pedersen ([2], 1982) thiết lập phương pháp nghiên cứu đại hàm lồi đơn điệu ma trận iii iv Một đặc điểm đáng ý ca lý thuyt Lăowner l chỳng ta cú c trng khác hàm đơn điệu ma trận hàm lồi ma trận từ quan điểm khác Các biểu diễn tích phân hàm đơn điệu ma trận hàm lồi ma trận đóng vai trị quan trọng mặt lý thuyết ứng dụng Trong Giải tích thực, tính đơn điệu tính lồi không liên quan trực tiếp với nhau, Giải tích ma trận tình khác Chẳng hạn, hàm đơn điệu ma trận (0, +∞) lõm ma trận Các hàm đơn điệu ma trận hàm lồi ma trận có nhiều ứng dụng quan trọng, hàm cụ thể, việc xác định tính đơn điệu ma trận tính lồi ma trận khơng dễ dàng Chính thế, việc nghiên cứu đặc trưng ví dụ hàm đơn điệu hàm lồi ma trận cần thiết có ý nghĩa Mục đích luận văn nhằm tìm hiểu số đặc trưng, tính chất ví dụ hàm đơn điệu lồi ma trận Ngoài mở đầu, kết luận tài liệu tham khảo, nội dung luận văn trình bày hai chương Chương Kiến thức chuẩn bị Trong chương chúng tơi trình bày số kiến thức sử dụng chương sau luận văn, gồm: hàm đơn điệu, hàm lồi; số kiến thức ma trận, có phân tích phổ phép chéo hóa ma trận, số kết khác liên quan Chương Hàm đơn điệu ma trận hàm lồi ma trận Trong chương chúng tơi trình bày số định lý bất đẳng thức liên quan đến hàm đơn điệu hàm lồi ma trận Đồng thời, chúng tơi trình bày số ví dụ áp dụng Mặc dù tác giả cố gắng tổng hợp tài liệu trình bày nội dung liên quan đến hàm đơn điệu hàm lồi ma trận cách tốt nhất, điều kiện mặt thời gian kiến thức có hạn nên luận văn khơng thể tránh khỏi thiếu sót Rất mong nhận góp ý từ q thầy bạn học viên để luận văn hoàn thiện Chương Kiến thức chuẩn bị Trong chương chúng tơi trình bày số kiến thức ma trận, chuẩn bị cho chương sau luận văn Các khái niệm kết chương tham khảo sách Hiai Petz ([3]) 1.1 Giá trị riêng phổ ma trận Ký hiệu Mn tập hợp ma trận vuông phức cấp n Cho A ∈ Mn λ ∈ C Ta nói λ giá trị riêng A tồn vectơ v ∈ Cn khác không cho Av = λv Vectơ v gọi vectơ riêng A tương ứng với giá trị riêng λ Ký hiệu σ(A) tập tất giá trị riêng A Do đó, σ(A) = {λ ∈ C | det(A − λI) = 0} 1.2 Vết định thức ma trận Với ma trận (Aij )n×n ∈ Mn , vết A định nghĩa tổng phần tử đường chéo A, tức T rA = A11 + A22 + + Ann Giả sử σ(A) = {λ1 , λ2 , , λn } Khi n T rA = n λi , det(A) = i=1 λi i=1 Định lý 1.2.1 Định thức ma trận dương A ∈ Mn không vượt tích đường chéo n det A ≤ Aii i=1 1.3 Ma trận dương Định nghĩa 1.3.1 Với A = (Aij )n×n ∈ M, ký hiệu At ma trận chuyển vị A, ký hiệu A∗ ma trận chuyển vị liên hợp A, tức liên hợp phức ma trận At Ma trận A ∈ Mn gọi Hermit (hay tự liên hợp) A = A∗ Ma trận U ∈ Mn gọi unita U ∗ U = U U ∗ = I Định nghĩa 1.3.2 Ma trận A ∈ Mn gọi dương (hay nửa xác định dương) x∗ Ax ≥ 0, ∀x ∈ Cn , ký hiệu A ≥ Chú ý A ≥ A Hermit Hơn nữa, A1 ≥ 0, A2 ≥ A1 + A2 ≥ Với hai ma trận A, B ∈ Mn , ta viết A ≥ B có nghĩa A − B ≥ Định lý 1.3.3 Cho A ∈ Mn Khi điều kiện sau tương đương (1) A ma trận dương, (2) A = A∗ phổ A nằm R+ = [0, ∞), (3) A viết dạng A = B ∗ B, với B ∈ Mn Chú ý A ∈ Mn dương U AU ∗ dương với U ma trận unita Định lý 1.3.4 Cho A ma trận dương Khi tồn ma trận dương B cho B = A Tập tất ma trận Hermit cấp n ký hiệu Msa n Định lý 1.3.5 Cho A B ma trận vuông dương cấp n Khi Cij = Aij Bij (1 ≤ i, j ≤ n) xác định ma trận dương Ma trận C gồm hệ tử Cij định lý gọi tích Hadamard (hoặc tích Schur ) ma trận A B , kí hiệu C = A ◦ B Ma trận dương khả nghịch gọi ma trận xác định dương Nếu A ma trận xác định dương, ta ký hiệu A > 1.4 Phân tích Schmidt phân tích phổ Cho A ∈ Mn ma trận Hermit Khi đó, với σ(A) = {λ1 , , λn }, tồn vectơ riêng v1 , , tạo thành sở trực chuẩn Cn , với Avi = λi vi , ∀i Khi ta có phân tích n λi vi vi∗ A= (1.1) i=1 Phân tích gọi phân tích Schmidt A Phân tích Schmidt tất giá trị riêng phân biệt Một phân tích khác ma trận phân tích phổ Giả sử ma trận Hermit A có giá trị riêng µ1 > µ2 > > µk Khi k A= µ j Pj , (1.2) j=1 Pj phép chiếu trực giao lên không gian riêng tương ứng với giá trị riêng µj Từ phân tích Schmidt (1.1), ta có vi vi∗ , Pj = i tổng lấy tất số i cho λi = µj Phân tích Cho f : (a, b) ⊂ R → R hàm số, A ∈ Mn ma trận có giá trị riêng thuộc (a, b) Nếu A có phân tích phổ A = kj=1 µj Pj , với µ1 , , µk giá trị riêng khác A, ma trận f (A) định nghĩa k f (A) := f (µj )Pj j=1 21 Định lý 2.3.3 f : C+ → C hàm P(a, b) f biểu diễn công thức (2.17), với α ∈ R, β ≥ độ đo Borel hữu hạn, dương ν R\(a, b) Ví dụ 2.3.2 Nếu < p < 1, hàm số z p định nghĩa Ví dụ 2.3.1 thuộc P(0, ∞) Biểu diễn tích phân hàm f (z) = z p theo (2.18) sau pπ sin pπ z = cos + π λ − λ−z λ +1 p −∞ |λ|p dλ, z ∈ C+ Thật vậy, ta cần chứng minh pπ sin pπ x = cos + π ∞ p − λ + x+λ λ +1 λp dλ, x ∈ (0, ∞) (2.19) Hàm số z p−1 rp−1 ei(p−1)θ := , z = reiθ , < θ < 2π, iθ 1+z + re hàm giải tích mặt phẳng cắt C\(−∞, 0] Lấy tích phân hàm dọc theo đường viền    reiθ (ε ≤ r ≤ R, θ = +0),    Reiθ (0 < θ < 2π), z=  reiθ (R ≤ r ≤ ε, θ = 2π − 0),     εeiθ (2π > θ > 0), < ε < < R Áp dụng định lý phần dư cho ε ↘ R ↗ ∞ dẫn đến ∞ tp−1 π dt = 1+t sin pπ (2.20) Với x > 0, thay λ/x cho t công thức (2.20) để nhận sin pπ x = π ∞ p xλp−1 dλ, x ∈ (0, ∞) λ+x 22 Do x = + λ+x λ +1 λ2 λ − +1 λ+x λ, nên ta nhận sin pπ x = π ∞ p λp−1 sin pπ dλ + λ2 + π ∞ λ − λ2 + λ + x λp dλ, x ∈ (0, ∞) Thay t λ2 công thức (2.20), p thay p/2, ta ∞ 2.3.2 λp−1 π dλ = pπ λ2 + sin nh lý Lă owner Trong phn ny chỳng tụi chng minh nh lý Lăowner núi rng mt hm n iu ma trận (a, b) thuộc P(a, b) Ký hiệu K tập hợp hàm đơn điệu ma trận (−1, 1) cho f (0) = f ′ (0) = Bổ đề 2.3.4 Cho f ∈ K Khi đó: (1) Với α ∈ [−1, 1], (x + α)f (x) lồi ma trận (−1, 1), α (2) Với α ∈ [−1, 1], + f (x) đơn điệu ma trận (−1, 1), x (3) f khả vi hai lần f (x) − f ′ (0)x f ” (0) = lim x→0 x2 Chứng minh Chứng minh (1) dựa vào Ví dụ 2.2.4, ta phải thay đổi lập luận cho hàm Lấy ε ∈ (0, 1) Vì f (x − + ε) đơn điệu ma trận [0, − ε) nên xf (x − 1) + ε lồi ma trận [0, − ε) Vì (x + − ε)f (x) lồi ma trận (−1 + ε, 1) Cho ε ↘ 0, (x + 1)f (x) lồi ma trận khoảng (−1, 1) Ta lặp lại lập luận tương tự với hàm đơn điệu ma trận −f (−x) nhận tính lồi ma trận hàm (x − 1)f (x) Do 1+α 1−α (x + α)f (x) = (x + 1)f (x) + (x − 1)f (x), 2 23 nên (x + α)f (x) lồi ma trận (2) Hàm số (x + α)f (x) biết đến hàm lồi ma trận, phép chia cho x đơn điệu ma trận (3) Để chứng minh điều này, ta sử dụng tính khả vi liên tục hàm đơn điệu ma trận Khi đó, từ (2), (1+ )f (x) f (x) C (−1, 1), x hàm h xác định khoảng (−1, 1) công thức h(x) := f (x)/x với x ̸= h(0) := f ′ (0) C Suy f ′ (x)x − f (x) → h′ (0) x → h (x) = x ′ Do f ′ (x)x = f (x) + h′ (0)x2 + ◦(|x|2 ) Vì f ′ (x) = h(x) + h′ (0)x + ◦(|x|) = h(0) + 2h′ (0)x + ◦(|x|) x → Điều chứng tỏ f ”(0) = 2h′ (0) Do f ”(0) h(x) − h(0) f (x) − f ′ (0)x = h′ (0) = lim = = lim x→0 x→0 x x2 Bổ đề 2.3.5 Nếu f ∈ K, x x ≤ f (x) với x ∈ (−1, 0), f (x) ≤ với x ∈ (0, 1), 1+x 1−x |f ”(0)| ≤ Chứng minh Với x ∈ (−1, 1), theo Định lý 2.1.4 ta có   f (x) [1] f [1] (x, x) f ′ (x, 0) f (x) x  =  f (x)  ≥ f [1] (x, 0) f [1] (0, 0) x Do f (x)2 ≤ f ′ (x) x (2.21) 24 Theo Bổ đề 2.3.4 (1), đạo hàm d (x ± 1)f (x) = f (x) + (x ± 1)f ′ (x) dx hàm tăng (−1, 1) Vì f (0) ± f ′ (0) = ±1, nên ta có f (x) + (x − 1)f ′ (x) ≥ −1 với < x < 1, (2.22) f (x) + (x + 1)f ′ (x) ≤ với − < x < (2.23) Từ (2.21) (2.22) ta có (1 − x)f (x)2 f (x) + ≥ x2 Nếu f (x) > x với x ∈ (0, 1), 1−x (1 − x)f (x) x f (x) = , x2 1−x x x x f (x) < , mâu thuẫn Do đó, f (x) ≤ với x ∈ [0, 1) 1−x 1−x Một lập luận tương tự, sử dụng (2.21) (2.23) ta nhận f (x) ≥ x với x ∈ (−1, 0] 1+x Hơn nữa, từ Bổ đề 2.3.4 (3) hai bất đẳng thức vừa chứng minh, x −x f ”(0) − x ≤ lim = lim =1 x2 x↘0 x↘0 − x f (x) + > x −x −1 f ”(0) + x ≥ lim = lim = −1, x2 x↗0 x↗0 − x |f ”(0)| ≤ Bổ đề 2.3.6 Tập K lồi compact Chứng minh Rõ ràng K tập lồi Vì {f (x) : f ∈ K} bị giới hạn với x ∈ (−1, 1) theo Bổ đề 2.3.5, nên K compact tương đối Để chứng 25 tỏ K tập đóng, cho {fi } dãy hàm K hội tụ tới hàm f (−1, 1) Rõ ràng f đơn điệu ma trận (−1, 1) f (0) = Theo Bổ đề 2.3.4(2), (1 + )fi (x) đơn điệu ma trận (−1, 1) với x i Vì limx→0 (1 + )fi (x) = fi′ (0) = 1, nên ta có x 1− x fi (−x) ≤ ≤ 1+ x fi (x), x ∈ (0, 1) 1− x f (−x) ≤ ≤ 1+ x f (x), x ∈ (0, 1) Vì vậy, Vì f C (−1, 1), nên từ bất đẳng thức ta f ′ (0) = Bổ đề 2.3.7 Các điểm cực trị K có dạng: f (x) = x f ”(0) , với λ = − λx Chứng minh Cho f điểm cực trị K Với α ∈ (−1, 1), định nghĩa α f (x) − α, x ∈ (−1, 1) gα (x) := + x Theo Bổ đề 2.3.4 (2), gα đơn điệu ma trận (−1, 1) Chú ý gα (0) = f (0) + αf ′ (0) − α = gα′ (0) = lim x→0 1+ α f (x) − α f (x) − f ′ (0)x ′ x = f (0)+α lim = 1+ αf ”(0) 1→0 x x2 theo Bổ đề 2.3.4(3) Vì + αf ”(0) > theo Bổ đề 2.3.5, hàm số α 1+ f (x) − α x hα (x) := 1 + αf ”(0) 26 thuộc K Vì f= 1 + αf ”(0) hα + 2 1 − αf ”(0) h−α , tính cực trị f suy f = hα , α + αf ”(0) f (x) = + f (x) − α x x với α ∈ (−1, 1) Suy f (x) = 1 − f ”(0)x Định lý 2.3.8 ([3, Theorem 4.38]) Cho f hàm đơn điệu ma trận (−1, 1) Khi tồn độ đo Borel µ [−1, 1] cho x dµ(λ), x ∈ (−1, 1) −1 − λx ′ f (x) = f (0) + f (0) (2.24) Chứng minh Ta xét trường hợp f ∈ K Đặt ϕλ (x) := x/(1 − λx) với λ ∈ [−1, 1] Theo Bổ đề 2.3.6, Bổ đề 2.3.7 định lý Krein - Milman nói K bao lồi đóng {ϕλ : λ ∈ [−1, 1]} Do tồn fi bao lồi {ϕλ : λ ∈ [−1, 1]} cho fi (x) → f (x) với x ∈ (−1, 1) Mỗi fi viết fi (x) = −1 ϕλ (x)dµi (λ) với độ đo µi [−1, 1] xác định Chú ý rằng, tập M1 ([−1, 1]) độ đo Borel [−1, 1] compact yếu xem tập khơng gian Banach C([−1, 1]) Lấy tập con, ta giả thiết µi hội tụ topo µ ∈ M1 ([−1, 1]) Với x ∈ (−1, 1), ϕλ (x) liên tục λ ∈ [−1, 1], ta có f (x) = lim fi (x) = lim i i ϕλ (x)dµi (λ) = ϕλ (x)dµ(x) −1 −1 Để chứng minh tính độ đo µ, lấy µ1 , µ2 độ đo xác suất Borel [−1, 1] cho 1 f (x) = ϕλ (x)dµ2 (λ), x ∈ (−1, 1) ϕλ (x)dµ1 (x) = −1 −1 k+1 λk hội tụ với λ ∈ [−1, 1], với x ∈ (−1, 1) Vì ϕλ (x) = ∞ k=0 x cố định, theo ∞ x k=0 ∞ k+1 k λ dµ1 (λ) = −1 k+1 λk dµ2 (λ), x ∈ (−1, 1) x k=0 −1 27 1 k −1 λ Do −1 xk+1 λk dµ1 (λ) = µ1 = µ2 dµ2 (λ) với k = 0, 1, 2, suy Định lý 2.3.9 (Lăowner) Cho a < b +∞ f hàm giá trị thực (a, b) Khi f đơn điệu ma trận (a, b) f ∈ P(a, b) Do hàm đơn điệu ma trận giải tích Chứng minh Giả sử f ∈ P(a, b) Theo Định lý 2.3.3, (a, b), f có biểu diễn tích phân f (x) = α + βx + + λx dν(λ) R\(a,b) λ − x (λ2 + 1) = α + βx + R\(a,b) λ − λ−x λ +1 dν(λ), x ∈ (a, b), (2.25) α, β ν theo định lý Cho n ∈ N A, B ∈ Msa n với σ(A), σ(B) ⊂ −1 −1 (a, b, ) A ≥ B (λI − A) ≥ (λI − B) với tất λ ∈ R \ (a, b), ta có f (A) = αI + βA + (λ2 + 1) (λI − A)−1 − λ I λ2 + dν(λ) (λ2 + 1) (λI − B)−1 − λ I λ2 + dν(λ) R\(a,b) ≥ αI + βB + R\(a,b) = f (B) (2.26) Do đó, f ∈ P(a, b) đơn điệu ma trận (a, b) Để chứng minh phần ngược lại, cần giả sử (a, b) khoảng mở hữu hạn Bằng cách biến đổi f thành hàm đơn điệu ma trận khoảng (−1, 1), thông qua phép biên đổi tuyến tính, ta cần chứng minh phần ngược lại với (a, b) = (−1, 1) Nếu f hàm khác đơn điệu ma trận (−1, 1), cách sử dụng biểu diễn tích phân (2.24), ta định nghĩa thác triển liên tục f công thức ′ f (z) = f (0) + f (0) Do ′ Imf (z) = f (0) z dµ(λ), z ∈ C+ −1 − λz Imz dµ(λ) −1 |1 − λz| 28 nên f ánh xạ từ C+ đến Do f ∈ P(−1, 1) Ta có điều phải chứng minh 2.3.3 Biểu diễn tích phân hàm đơn điệu ma trận hàm lồi ma trận Định lý 2.3.10 Cho f hàm đơn điệu ma trận liên tục [0, ∞) Khi tồn độ đo dương µ (0, β) β ≥ cho ∞ f (x) = f (0) + βx + ∞ λx dµ(λ), x ∈ [0, +∞) x+λ (2.27) λ dµ(λ) < +∞ 1+λ Chứng minh Xét hàm ψ : (−1, 1) → (0, ∞) xác định ψ(x) := 1+x = −1 + , 1−x 1−x hàm đơn điệu ma trận Cho f hàm đơn điệu ma trận liên tục R+ Do g(x) := f (ψ(x)) đơn điệu ma trận (−1, 1), nên theo Định lý 2.3.8 tồn độ đo xác suất ν [−1, 1] cho g(x) = g(0) + g ′ (0) x dν(λ) − λx [−1,1] với x ∈ (−1, 1) Ta giả sử g ′ (0) > 0, khơng g hàm hằng, f hàm Vì g(−1) = lim g(x) = f (0) > −∞, ta x↘0 có dν(λ) < +∞, + λ [−1,1] đặc biệt ν({−1}) = Do g(x) − g(−1) = g ′ (0) 1+x dµ(λ) = (−1,1] (1 − λx)(1 + λ) 1+x µ ˜(λ), (−1,1] − λx d˜ µ(λ) := g ′ (0)(1 + λ)−1 dµ(λ) Định nghĩa độ đo hữu hạn m khoảng (0, ∞) m := µ ◦ ψ −1 Đổi biến biểu thức tích phân 29 x = ψ −1 (t) ta thu + ψ −1 (t) dm(ζ) f (t) − f (0) = t˜ µ({1}) + −1 (ζ)ψ −1 (t) − ψ (0,∞) t(1 + ζ) = β(t) + dm(ζ), t + ζ (0,∞) (2.28) β := µ˜({1}) Với độ đo dµ(ζ) := ((1 + ζ)/ζ)dm(ζ), ta có biểu diễn tích phân mong muốn f Định lý 2.3.11 Cho f hàm lồi ma trận phi tuyến tính (−1, 1) Khi tồn độ đo Borel xác suất µ đoạn [−1, 1] cho f ” (0) f (x) = f (0) + f (0)x + ′ x2 dµ(λ), x ∈ (−1, 1) − λx −1 Chứng minh Để chứng minh định lý này, ta sử dụng kết Kraus nói rằng, f hàm lồi ma trận khoảng (a, b), f C f [1] [x, α] đơn điệu ma trận khoảng (a, b) với α ∈ (a, b) Khi ta giả sử f (0) = f ′ (0) = cách xét f (x) − f (0) − f ′ (0)x Vì g(x) := f [1] [x, 0] = f (x)/x hàm khác đơn điệu ma trận (−1, 1), theo Định lý 2.3.8, tồn độ đo xác suất µ [−1, 1] cho x g(z) = g ′ (0) dµ(λ), x ∈ (−1, 1) − λx −1 Do g ′ (0) = f ”(0)/2, nên ta có f ”(0) f (x) = x2 dµ(λ), x ∈ (−1, 1) − λx −1 Tính µ suy từ tính độ đo biểu diễn cho g λ x = 1− hàm đơn điệu ma trận theo x+λ x+λ x Do hàm [0, ∞) có biểu diễn tích phân (2.27) đơn điệu ma trận Định lý sau chứng tỏ hàm đơn điệu ma trận [0, ∞) lồi ma trận Chú ý 30 Định lý 2.3.12 Nếu f : R+ → R đơn điệu ma trận, xf (x) hàm lồi ma trận Chứng minh Lấy λ > Đầu tiên ta xét hàm f (x) = −(x + λ)−1 Khi λ x = −1 + xf (x) = − λ+x λ+x Chú ý x → (x + λ)−1 hàm lồi ma trận Do xf (x) hàm lồi ma trận Đối với hàm đơn điệu ma trận tổng quát f , ta sử dụng biểu diễn tích phân (2.27), sau sử dụng trường hợp đặc biệt Định lý 2.3.13 Cho f : (0, +∞) → (0, +∞) Khi đó, điều kiện sau tương đương: (1) f đơn điệu ma trận; (2) x/f (x) đơn điệu ma trận; (3) f hàm lõm ma trận Chứng minh Với ε > 0, hàm số fε (x) := f (x+ε) xác định [0, ∞) Nếu định lý chứng minh cho fε , cho ε → ta có điều cần chứng minh Vì giả sử f : [0, ∞) → (0, ∞) (1) ⇒ (3) chứng minh (3) ⇒ (2) trường hợp Ví dụ 2.2.4 Ở −f (x)/x đơn điệu ma trận Do x/f (x) đơn điệu ma trận [0, ∞) (2) ⇒ (1) giả sử x/f (x) đơn điệu ma trận [0, +∞) Đặt α := lim x/f (x) Áp dụng Định lý 2.3.10, sau chia cho x, ta có x↘0 α = +β+ f (x) x ∞ λ dµ(λ) λ+x Nếu nhân với −1, ta hàm đơn điệu ma trận −1/f (x) Do f (x) đơn điệu ma trận Ví dụ 2.3.3 Biểu diễn sin πt x = π ∞ t λt−1 dλ λ+x 31 chứng tỏ f (x) = xt hàm đơn điệu ma trận R+ với < t < Nói cách khác, ≤ A ≤ B suy At ≤ B t , thường gọi bt ng thc Lăowner-Heinz 2.4 Mt s ỏp dng Trc ht l mt s ỏp dng ca nh lý Lăowner để trình bày số ví dụ hàm đơn điệu ma trận (0, +∞) Định lý 2.4.1 ([3, Theorem 4.46]) Cho fp (x) := p(x − 1) xp − 1 1−p (x > 0) Nói riêng, f2 (x) = √ (x + 1) ; f−1 (x) = x x f1 (x) := lim fp (x) = e−1 x x−1 , f0 (x) := lim fp (x) = p→1 p→0 x−1 log x Khi fp đơn điệu ma trận −2 ≤ p ≤ Định lý 2.4.2 Hàm số fp (x) = xp + p đơn điệu ma trận −1 ≤ p ≤ Chứng minh Chú ý f−1 (x) = 2x/(x + 1) f1 (x) = (x + 1)/2, fp đơn điệu ma trận −1 ≤ p ≤ Ta chứng tỏ fp đơn điệu ma trận Trường hợp p = rõ ràng Hơn nữa, ý fp đơn điệu ma trận với < p < Khi f−p (x) = x−p + p −1 đơn điệu ma trận x−p đơn điệu giảm ma trận với < p ≤ Vì ta giả sử < p < Vì z p + ̸= nửa mặt phẳng trên, fp 32 có thác triển chỉnh hình nửa mặt phẳng (bằng cách định nghĩa log z với log = 0) Theo Định lý Lăowner, ta ch cn chng t rng fp l ỏnh xạ nửa mặt phẳng thành Nếu < arg z < π < arg (z p + 1) < argz p = p arg z , < arg zp + p = arg p zp + < arg z < π Do z ánh xạ lên nửa mặt phẳng Trường hợp đặc biệt p = , n fp (x) = xn + n = n n k=0 k n xn k Do hàm số f (x) = xα đơn điệu ma trận với < α < 1, ta suy fp đơn điệu ma trận Định lý 2.4.3 ([3, Theorem 4.48]) Với −1 ≤ p ≤ 2, hàm số (x − 1)2 fp (x) = p(1 − p) p (x − 1)(x1−p − 1) (2.29) đơn điệu ma trận Kết sau áp dụng hàm đơn điệu ma trận Định lý 2.4.4 Cho A B ma trận dương Khi với ≤ s ≤ 1, 2T rAs B 1−s ≥ T r(A + B − |A − B|) (2.30) Trong |X| ký hiệu cho giá trị tuyệt đối X ∈ Mn , |X| := (X ∗ X) Chứng minh Với ma trận Hermit X , ký hiệu X+ , X− phần dương phần âm X Nhắc lại, f+ (t) = max{t, 0} f− (t) = max{−t, 0} với t ∈ R Ta định nghĩa X+ := f+ (X), X− := f− (A) Khi X = X+ − X− , với X+ ≥ 0, X− ≥ 0, X+ X− = 33 Phân tích A − B = (A − B)+ − (A − B)− , ta nhận T rA + T rB − T r|A − B| = 2T rA − 2T r(A − B)+ , (2.30) tương đương với T rA − T rB s A1−s ≤ T r(A − B)+ Từ A ≤ A + (A − B)− = B + (A − B)+ B ≤ B + (A − B)+ , với tính đơn điệu ma trận hàm x → xs , ta có T rA − T rB s A1−s = T r(As − B s )A1−s ≤ T r(As − B s )A1−s ≤ T r((B + (A − B)+ )s − B s )(B + (A − B)+ )1−s = T rB + T r(A − B)+ − T rB s (B + (A − B)+ )1−s ≤ T rB + T r(A − B)+ − T rB s B 1−s = T r(A − B)+ (2.31) Ta có điều phải chứng minh Kết luận Trong luận văn "Một số vấn đề hàm đơn điệu hàm lồi ma trận" đạt số kết sau (1) Trình bày định nghĩa số ví dụ hàm đơn điệu ma trận; (2) Trình bày tiêu chuẩn đạo hàm cho tính đơn điệu ma trận (Định lý 2.1.4); (3) Trình bày định nghĩa số ví dụ hàm lồi ma trận; (4) Trình bày số bất đẳng thức hàm lồi ma trận (Định lý 2.2.5, nh lý 2.2.6); (5) Trỡnh by nh lý Lăowner tính đơn điệu ma trận khoảng mở (Định lý 2.3.9); (6) Trình bày biểu diễn tích phân hàm đơn điệu ma trận hàm lồi ma trận (Định lý 2.3.10, Định lý 2.3.11); mối quan hệ hàm đơn điệu hàm lồi ma trận (Định lý 2.3.12, Định lý 2.3.13); (7) Trình bày số ỏp dng ca nh lý Lăowner v ỏp dng ca hàm đơn điệu ma trận 34 Tài liệu tham khảo [1] J Bendat, S Sherman, Monotone and convex operator functions, Trans Ams Math Soc 79 (1955), 58–71 [2] F Hansen, G.K Pedersen, Jensens inequality for operators and Lăowners theorem, Math Ann 258 (1982), 229–241 [3] F Hiai and D Petz, Introduction to matrix analysis and applications, Springer, Cham, 2014 [4] A Korỏnyi, On a theorem of Lăowner and its connection with resolvents of self-adjoint transformations Acta Sci Math (Szeged), 17 (1956), 6370 ă [5] F Kraus, Uber konvexe Matrixfunktionen, Math Z 41 (1936), 18-42 ă [6] K Lăowner, Uber monotone matrixfunctionen Math Z 38 (1934), 177–216 35 ... Trong luận văn "Một số vấn đề hàm đơn điệu hàm lồi ma trận" đạt số kết sau (1) Trình bày định nghĩa số ví dụ hàm đơn điệu ma trận; (2) Trình bày tiêu chuẩn đạo hàm cho tính đơn điệu ma trận (Định... dương Nếu hàm số đơn điệu ma trận vuông cấp gọi hàm đơn điệu ma trận hay hàm đơn điệu toán tử Hàm số f : (a, b) −→ R gọi hàm lồi ma trận f (tA + (1 − t)B) ≤ tf (A) + (1 − t)f (B) với A, B ma trận. .. thực, tính đơn điệu tính lồi khơng liên quan trực tiếp với nhau, Giải tích ma trận tình khác Chẳng hạn, hàm đơn điệu ma trận (0, +∞) lõm ma trận Các hàm đơn điệu ma trận hàm lồi ma trận có nhiều