Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Tham khảo tài liệu 'lý thuyết điều khiển phi tuyến part 8', kỹ thuật - công nghệ, điện - điện tử phục vụ nhu cầu học tập, nghiên cứu và làm việc hiệu quả | vói d các hàm được cho thêm vào là m .r x1 . m.2 r jc.2 . . xd nói cách khác z m x - ĩ .ĩd.mdt x .m x T 5.8 thì một vector hàm y x e A x tùy ý. khi được chuyển sang biên mói theo công thức HIM. sẽ phải có n -d phần tử cuôi đồng nhát bằng 0. hay 0 c . .0 T 5.9 Ta còn dề dàng tháy được diếu ngược lại cũng đúng Vậy Định lý 5.3 Cho một hàm mỏ rộng A r cR. có số chiều bằng d và xoắn. Gọi A fx xác dịnh theo 5.7 ìà hàm mở rộng trực giao cùa A x cũng nhú tr x là một vector hàm tủy V trong RJt. Khi đó. để c x_ e A jc_ thì cẩn cà đủ là ảnh s của nó qua phép . đổi biến 5.8 phái có lỉ-ẩ phần tứ cuôì đồng nhất bằng 0 tức là í g phải có câu trúc nhú trong Õ.9 . Bày giờ ta xét hệ alĩine 0.1 có mủ hình không bị kích thích 5.2 7 - dt - 5.10 và giả sử là vector hàm f x cứa nó bất biên với hàm mở rộng Atxjtt 4- t s 5 chiểu bangd và xoan. Ký hiệu là ảnh cùa no qua phép đoi biên 5.8 tức là dz _ I dm dt I dx ị ự Gọi Zj. fc 1. 2 . . ri là bộ vector có sớ trong r theo biên z_ thỏa mãn T phần tủ thứ k 225 Nhu vậy. theo định lý 5.3 tilt cá các vector Zj có k d đếu là anh qua phép đôi biến ũ.8 của một vector nào đó thuộc A x . Xét tích Lie i 1 r z - r z ------Z. dz -h i a z bf-dz 0 z i I iz . âZị t Zf. I ta thấy do có giã thiết x bất biên với A x nên ị f z Z với k d sẽ là phần tú Clia A x . Bói vậy khi k d thì z . Zjj. phải có n-d phần từ euôi đồng nhất bằng 0. hav 0 VỚI mọi ữ k d và í đ ŨZ L và đó cũng chính là lời chứng minh của định lý sau Định lý 5.4 Xét hệ không bị kích thích 5.10 hạc ì Nêu tồn tại một hàm mỏ rộng xoắn A x VỚI số chiếu bằng d sao cho vector hàm ị x cùa hệ 5.10 bất biến VỚI A x thì phép đối hiên 5.8 . trong dó n-d hòm m fJ. I x .m fx được lấy từ hàm mó rộng trục giao xác định theo 5.7 . sê chuyên hệ 5.10 về dạng ỉ zd1 zd . I . zfí ổẳ zư-zứ l- zri dt - fd zd .A Ví dụ 5.3 Phép đổi biến cho hệ không bị kích thích Cho hệ không bị kích thích với mô hình dx dt . ÌỊ 226 Xét hàm mớ rộng vửi sô chiêu d-2 A XỊ- spanfrj j. m2 .x vol 0 1 0 1. 0 0 Do CÓ L_ x v_ fx 0e A X nén A x lù .
