(Luận văn) một số bất đẳng thức liên quan đến giá trị riêng và chuẩn của đa thức ma trận

BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN ——————————— TRẦN NGỌC THANH lu an n va p ie gh tn to MỘT SỐ BẤT ĐẲNG THỨC LIÊN QUAN ĐẾN GIÁ TRỊ RIÊNG VÀ CHUẨN CỦA ĐA THỨC MA TRẬN d oa nl w a lu oi m ll fu an nv LUẬN VĂN THẠC SĨ TOÁN HỌC z at nh z gm @ m co l an Lu BÌNH ĐỊNH - NĂM 2021 n va ac th si BỘ GIÁO DỤC VÀ ĐÀO TẠO TRƯỜNG ĐẠI HỌC QUY NHƠN ——————————— TRẦN NGỌC THANH lu an n va p ie gh tn to MỘT SỐ BẤT ĐẲNG THỨC LIÊN QUAN ĐẾN GIÁ TRỊ RIÊNG VÀ CHUẨN CỦA ĐA THỨC MA TRẬN oa nl w Chuyên ngành: Tốn Giải tích Mã số: 8460102 d m ll fu an nv a lu Người hướng dẫn: PGS TS LÊ CƠNG TRÌNH oi z at nh z gm @ m co l an Lu n va ac th si Lời cảm ơn Trước trình bày nội dung luận văn, chúng tơi xin bày tỏ lịng biết ơn chân thành sâu sắc đến PGS TS Lê Cơng Trình, thầy trực tiếp bảo, hướng dẫn suốt thời gian qua Cảm ơn thầy dẫn tận tình, tạo điều kiện thuận lợi để chúng tơi hồn thành luận văn Chúng xin chân thành cảm ơn quý thầy cô giảng dạy chúng tôi, đặc biệt thầy cô Khoa Tốn Thống kê dạy dỗ tận tình, truyền đạt kiến thức lu quý báu suốt hai năm học tập vừa qua an Nhân dịp này, xin gửi lời cảm ơn đến gia đình, bạn bè bạn va n tập thể lớp Cao học Tốn học khóa 22 ln động viên, giúp đỡ gh tn to suốt trình học tập thực luận văn Vì kiến thức cịn hạn chế nên luận văn chắn tránh khỏi p ie oa nl w sai sót nội dung hình thức Chúng tơi mong nhận ý kiến đóng góp, chỉnh sửa q Thầy, Cơ bạn đồng nghiệp để luận văn hoàn thiện d a lu Xin trân trọng cảm ơn oi m ll fu an nv z at nh z gm @ m co l an Lu n va ac th si Mục lục lu Lời nói đầu 1 Một số kiến thức chuẩn bị an n va Một số bất đẳng thức cho số thực 1.2 Một số kiến thức ma trận 1.2.1 Ma trận Hermite ma trận unita 1.2.2 Giá trị riêng ma trận 1.2.3 Ma trận xác định dương nửa xác định dương p ie gh tn to 1.1 oa nl w 1.2.4 1.3 Đa thức ma trận biến 10 1.4 Tích ten-xơ ma trận d Chuẩn ma trận fu an nv a lu 11 Một số bất đẳng thức liên quan đến giá trị riêng chuẩn ma m ll trận đa thức ma trận oi Một số bất đẳng thức liên quan đến giá trị riêng chuẩn ma z at nh 2.1 13 trận vô hướng z 2.1.1 Một số bất đẳng thức liên quan đến giá trị riêng ma trận vô @ gm hướng 13 l 2.1.2 13 Một số bất đẳng thức liên quan đến chuẩn ma trận vô hướng 17 m co Một số bất đẳng thức liên quan đến giá trị riêng đa thức ma trận 19 2.3 Một số bất đẳng thức liên quan đến chuẩn đa thức ma trận an Lu 2.2 26 n va ac th i si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an ii Một số bất đẳng thức liên quan đến giá trị kỳ dị vết ma trận ma trận 29 3.1 Một số bất đẳng thức liên quan đến giá trị kỳ dị ma trận vô hướng 29 3.2 Một số bất đẳng thức liên quan đến giá trị kỳ dị vết ma trận Tài liệu tham khảo 40 48 lu an n va p ie gh tn to d oa nl w oi m ll fu an nv a lu z at nh z gm @ m co l an Lu n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Lời nói đầu Giải tích ma trận hướng nghiên cứu có nhiều ứng dụng lĩnh vực khác Bất đẳng thức ma trận (còn gọi bất đẳng lu thức ma trận), đặc biệt, bất đẳng thức ma trận tuyến tính (LMI), đối tượng an n va nghiên cứu quan trọng Giải tích ma trận, với nhiều ứng dụng, chẳng hạn tn to tính tốn khoa học, lý thuyết điều khiển, vật lý toán, thống kê, kinh tế, đặc biệt lĩnh vực Lý thuyết thông tin lượng tử gh p ie Các đa thức ma trận đa thức biến với hệ số ma trận vng, cịn oa nl w gọi λ-ma trận Các đa thức ma trận xem ma trận với hệ tử đa thức biến số Các vấn đề liên quan đến đa thức ma trận d nghiên cứu nhiều nhà Tốn học có uy tín giới, có nhiều ứng dụng quan a lu fu an nv trọng Phương trình đạo hàm riêng, Khoa học Kỹ thuật Mục tiêu đề tài nghiên cứu số bất đẳng thức ma trận có hệ tử oi m ll số phức (còn gọi ma trận vô hướng), đa thức ma trận Ngoài mở đầu, mục lục, kết luận tài liệu tham khảo, luận văn bố cục thành z at nh chương z Chương 1: Một số kiến thức chuẩn bị @ gm Trong chương chúng tơi trình bày số kiến thức ma trận đa l thức ma trận biến, với số kết liên quan đến chương sau luận m co văn Lu an Chương 2: Một số bất đẳng thức liên quan đến giá trị riêng chuẩn ac th n va Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an ma trận đa thức ma trận Trong chương này, phần đầu chúng tơi tổng hợp trình bày lại số bất đẳng thức liên quan đến giá trị riêng chuẩn ma trận vơ hướng Trên sở chúng tơi trình bày số bất đẳng thức liên quan đến giá trị riêng chuẩn đa thức ma trận Chương 3: Một số bất đẳng thức liên quan đến giá trị kỳ dị vết ma trận ma trận Trong chương này, phần đầu chúng tơi trình bày lại số bất đẳng thức liên quan lu an đến giá trị kỳ dị ma trận vô hướng Phần tiếp theo, chúng tơi trình bày lại va n số bất đẳng thức liên quan đến giá trị kỳ dị vết ma trận gh tn to Vì kiến thức cịn hạn chế nên luận văn chắn khơng thể tránh khỏi p ie sai sót nội dung hình thức Chúng tơi mong nhận ý kiến oa nl w đóng góp, chỉnh sửa quý Thầy, Cô bạn đồng nghiệp để luận văn hồn thiện d Bình Định, tháng năm 2021 a lu Học viên oi m ll fu an nv Trần Ngọc Thanh z at nh z gm @ m co l an Lu n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Chương Một số kiến thức chuẩn bị lu Trong chương chúng tơi trình bày số kiến thức ma trận đa an n va thức ma trận biến, với số kết liên quan đến chương sau luận tn to văn Các kết chương tham khảo từ tài liệu [3], [5], [7], [9], [12] Một số bất đẳng thức cho số thực p ie gh 1.1 oa nl w Cho véc tơ thực x = (x1 , x2 , , xn ) ∈ Rn , ta xếp thành phần véc tơ theo thứ tự giảm dần sau x[1] ≥ x[2] ≥ · · · ≥ x[n] d a lu Định nghĩa 1.1.1 Với x = (x1 , x2 , , xn ), y = (y1 , y2 , , yn ) ∈ Rn , fu an nv k X x[i] ≤ i=1 k X y[i] , k = 1, 2, , n i=1 m ll ta nói x trội yếu y ký hiệu x ≺w y i=1 xi = Pn i=1 yi ta nói x trội y ký hiệu x ≺ y z at nh Pn oi Nếu x ≺w y Định nghĩa 1.1.2 Cho x = (x1 , x2 , , xn ), y = (y1 , y2 , , yn ) số không z @ âm Nếu i=1 k Y y[i] , k = 1, 2, , n i=1 ta nói x log-trội yếu y ký hiệu x ≺wlog y Qn i=1 xi = Qn i=1 yi Lu Nếu x ≺wlog y m co l x[i] ≤ gm k Y ta nói x log-trội y ký hiệu an ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn n va x ≺log y si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Định lý 1.1.3 (Bt ng thc Hăolder (Hardy, Littlewood v Polya (1952, trang 22))) Cho số thực dương xij αj cho α1 + α2 + · · · + αm = với i = 1, 2, , n j = 1, 2, , m Khi m n Y X i=1 ! xij ≤ (xij )1/αj j=1 j=1 #αj " n m X Y i=1 Định lý 1.1.4 (Bất đẳng thức Minkowski (xem Marshall Olkin (1979, trang 459))) Cho x1 , x2 , , xn , y1 , y2 , , yn số thực tùy ý p số thực dương Khi lu n X !1/p an |xk + yk |p ≤ k=1 n X !1/p |xk |p n X + !1/p |yk |p k=1 k=1 n va Một số kiến thức ma trận gh tn to 1.2 Trong toàn luận văn, ma trận vô hướng xét ma trận vuông cấp p ie n với hạng tử số phức Không gian ma trận phức cấp n kí hiệu Cn×n oa nl w Cho A = (aij ) ∈ Cn×n , ma trận chuyển vị liên hợp A A∗ = (aji ) Nhắc lại tích d vơ hướng hai véc tơ x = (xi ), y = (yi ) ∈ Cn định nghĩa fu an nv a lu hx, yi := n X xi y i i=1 oi m ll Chuẩn Euclide véc tơ x = (xi ) ∈ Cn định nghĩa z at nh kxk = hx, xi1/2 Tích Hadamard (tích Schur) hai ma trận A = (aij ), B = (bij ) ∈ Cn×n , kí hiệu z gm @ A ◦ B, định nghĩa sau Ma trận Hermite ma trận unita m co 1.2.1 l A ◦ B = (aij bij ) an Lu Định nghĩa 1.2.1 Một ma trận A ∈ Cn×n gọi ma trận Hermite A∗ = A n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an Từ định nghĩa ma trận Hermite ma trận chuyển vị liên hợp, ta rút hai nhận xét sau Nhận xét 1.2.2 Ma trận A ∈ Cn×n ma trận Hermite hAx, yi = hx, Ayi với x, y ∈ Cn Nhận xét 1.2.3 Một ma trận A ∈ Cn×n ma trận Hermite A có phần tử đường chéo số thực, phần tử đối xứng qua đường chéo liên hợp lu an Định nghĩa 1.2.4 Một ma trận A ∈ Cn×n gọi ma trận unita va n AA∗ = A∗ A = I to tn  gh  −i   ∈ C2×2 B =   i 2 p ie Ví dụ A =   −i  −1 + i   3×3 1+i  ∈ C  + i −1 + i oa nl w ma trận unita d Nhận xét 1.2.5 Nếu A ∈ Cn×n ma trận unita A khả nghịch | det A| = fu an nv a lu 1.2.2 Giá trị riêng ma trận m ll Định nghĩa 1.2.6 Số phức λ ∈ C gọi giá trị riêng ma trận A ∈ Cn×n oi tồn véc tơ v ∈ Cn , v 6= cho Av = λv Khi véc tơ v gọi véc tơ z at nh riêng ứng với giá trị riêng λ ma trận A z gm @ Nhận xét 1.2.7 Nếu v véc tơ riêng ứng với giá trị riêng λ ma trận A αv xét véc tơ riêng chuẩn hóa, tức kvk = p l véc tơ riêng ứng với giá trị riêng λ ma trận A Vì svậy, sau ta thường hv, vi = n P m co vi ¯ vi = i=1 an Lu Nhận xét 1.2.8 Phương trình Av = λv ⇔ (A − λI)v = có nghiệm khơng tầm thường v 6= Suy det(A − λI) = Như vậy, giá trị riêng ma trận A n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 19 có 1 ( ab ) + ( ab ) hh, Zhi khk.kZ.hk ≤ Hệ 2.1.12 Cho Z ∈ Cn×n ma trận xác định dương với hai giá trị riêng lớn nhỏ Z a b Với véc tơ h ∈ C thỏa ||h|| = , ta có 1 ( ab ) + ( ab ) kZ.hk ≤ hh, Zhi 2.2 lu Một số bất đẳng thức liên quan đến giá trị riêng đa thức ma trận an n va Trong mục chúng tơi trình bày số bất đẳng thức liên quan đến giá trị riêng Sau kết đa thức ma trận Định lý 2.1.1 p ie gh tn to đa thức ma trận Định lý 2.2.1 ([10, Định lý 3.2.2]) Cho PA (λ) = Pd i=0 Ai λ i đa thức ma trận với oa nl w Ai ∈ Cn×n ma trận xác định dương Với x, y ∈ Cn×1 thỏa mãn |x| = |y| = x∗ y = Giả sử σ(Ai ) = λi1 , , λini  phổ ma trận Ai λi1 ≤ λi2 ≤ ≤ λini , d fu an nv a lu với i = 0, 1, , d Khi |x∗ PA (λ)y| ≤ K · d i=0 oi K = max λini − λi1 λini + λi1 (x∗ PA (|λ|)x)(y ∗ PA (|λ|)y), m ll  p z at nh Chứng minh Ta có z d d X X ∗ ∗ i |x PA (λ)y| = x Ai λ y ≤ |x∗ Ai y| · |λ|i @ i=0 gm i=0 m co l an Lu n va ac th Stt.010.Mssv.BKD002ac.email.ninhd.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj.dtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn.Stt.010.Mssv.BKD002ac.email.ninhddtt@edu.gmail.com.vn.bkc19134.hmu.edu.vn si C.vT.Bg.Jy.Lj.Tai lieu Luan vT.Bg.Jy.Lj van Luan an.vT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.LjvT.Bg.Jy.Lj Do an.Tai lieu Luan van Luan an Do an.Tai lieu Luan van Luan an Do an 20 Từ Định lý 2.1.1 ta d X ∗ i |x Ai y||λ| ≤  d  i X λni − λi1 i=0 i=0 + λi1 λini d X ≤K· 1 · (x∗ Ai x) · (y ∗ Ai y) · |λ|i x∗ Ai |λ|i x
12 · (y ∗ Ai |λ|i y) i=0 d X ≤K· ! 12 x∗ Ai |λ|i x d X · i=0 y ∗ Ai |λ|i y i=0 d X x∗ =K· ! 21 ! ! 21 Ai |λ|i y∗ · x d X lu i=0 an Ai |λ|i y i=0 p (x∗ PA (|λ|)x)(y ∗ PA (|λ|)y) n va =K· ! ! 12 gh tn to p ie Sau kết đa thức ma trận Định lý 2.1.2 Định lý 2.2.2 ([10, Định lý 3.2.4]) Cho PA (λ) = Pd oa nl w i=0 Ai λ i đa thức ma trận với Ai ∈ Cn×n ma trận xác định dương Cho x, y ∈ Cn×1 thỏa mãn |x| = |y| = d Gọi σ(Ai ) = {λi1 , , λini } phổ ma trận Ai λi1 ≤ λi2 ≤ ≤ λini , với fu an nv a lu i = 0, 1, , d Khi d i=0 Chứng minh Ta có z at nh K = max λini − λi1 λini + λi1 (d + 1)(x∗ PA (|λ|)x + y ∗ PA (|λ|)y)2 − 4(x∗ PA (|λ|)y)2 , oi  p m ll |x∗ PA (λ)x − y ∗ PA (λ)y| ≤ K · z gm @ d d X