ระบบเชิงอนุพันธ์เชิงเส้น

ระบบเชิงอนุพันธ์เชิงเส้นคือชุดของสมการเชิงอนุพันธ์สามัญอันดับหนึ่งที่เป็นเชิงเส้นในตัวแปรที่ไม่ทราบค่า ซึ่งโครงสร้างของผลเฉลยถูกควบคุมโดยพีชคณิตเชิงเส้นและเมทริกซ์เอกซ์โพเนนเชียล

Definition

ระบบเชิงอนุพันธ์เชิงเส้นมีรูปแบบ dx/dt เท่ากับ A(t)x บวก g(t) โดยที่ x คือเวกเตอร์ที่ไม่ทราบค่า และ A คือเมทริกซ์ของสัมประสิทธิ์ เมื่อ A เป็นค่าคงที่ ผลเฉลยเอกพันธ์ทั่วไปคือเมทริกซ์เอกซ์โพเนนเชียลของ A คูณ t ที่กระทำต่อเวกเตอร์เริ่มต้น

Scope

หัวข้อนี้ครอบคลุมระบบเชิงเส้นเอกพันธ์และไม่เอกพันธ์ หลักการซ้อนทับและเมทริกซ์มูลฐาน เมทริกซ์เอกซ์โพเนนเชียลและการหาผลเฉลยโดยใช้ค่าลักษณะเฉพาะและเวกเตอร์ลักษณะเฉพาะ การแปรผันของพารามิเตอร์ วรอนสเกียน และบทบาทของรูปแบบบัญญัติจอร์แดนในการแก้ไขปัญหาค่าลักษณะเฉพาะซ้ำ ระบบที่มีสัมประสิทธิ์เป็นคาบจะได้รับการพิจารณาโดยทฤษฎีฟลอเกต์

Core questions

• ผลเฉลยทั่วไปของระบบเชิงเส้นที่มีสัมประสิทธิ์คงที่สร้างขึ้นได้อย่างไร?
• ค่าลักษณะเฉพาะและเวกเตอร์ลักษณะเฉพาะมีบทบาทอย่างไรในการอธิบายผลเฉลย?
• การแปรผันของพารามิเตอร์จัดการกับพจน์บังคับได้อย่างไร?
• ระบบที่มีสัมประสิทธิ์แปรผันตามเวลาหรือเป็นคาบได้รับการวิเคราะห์อย่างไร?

Key theories

ผลเฉลยเมทริกซ์เอกซ์โพเนนเชียล

สำหรับระบบเอกพันธ์ที่มีสัมประสิทธิ์คงที่ ผลเฉลยเฉพาะคือเมทริกซ์เอกซ์โพเนนเชียลของ A คูณ t ที่กระทำต่อเงื่อนไขเริ่มต้น การคำนวณจะลดลงเหลือโครงสร้างลักษณะเฉพาะหรือรูปแบบจอร์แดนของ A

เมทริกซ์มูลฐานและการแปรผันของพารามิเตอร์

ฐานของผลเฉลยใดๆ สามารถประกอบกันเป็นเมทริกซ์มูลฐานที่สามารถหาอินเวอร์สได้โดยวรอนสเกียนที่ไม่เป็นศูนย์ จากนั้นการแปรผันของพารามิเตอร์จะแสดงการตอบสนองต่อพจน์บังคับที่ไม่เอกพันธ์

ทฤษฎีฟลอเกต์

สำหรับระบบที่มีสัมประสิทธิ์เป็นคาบ ผลเฉลยจะแยกออกเป็นส่วนที่เป็นคาบคูณด้วยตัวประกอบเอกซ์โพเนนเชียล และตัวคูณฟลอเกต์จะกำหนดเสถียรภาพของโครงสร้างเป็นคาบ

Clinical relevance

ระบบเชิงเส้นเป็นแบบจำลองเฉพาะที่ที่สำคัญในวิทยาศาสตร์และวิศวกรรม และเป็นขั้นตอนการทำให้เป็นเชิงเส้นในการวิเคราะห์ระบบไม่เชิงเส้น โดยจะอธิบายถึงออสซิลเลเตอร์ที่เชื่อมโยงกัน เครือข่ายไฟฟ้า แบบจำลองช่อง และพฤติกรรมการรบกวนขนาดเล็กใกล้จุดสมดุล

History

ทฤษฎีเชิงเส้นพัฒนาขึ้นในศตวรรษที่สิบเก้าควบคู่ไปกับพีชคณิตเชิงเส้น ลากรองจ์ได้พัฒนาการแปรผันของพารามิเตอร์ รูปแบบบัญญัติของจอร์แดนได้ชี้แจงกรณีของค่าลักษณะเฉพาะซ้ำ และการศึกษาของฟลอเกต์ในปี 1883 เกี่ยวกับสัมประสิทธิ์เป็นคาบได้ให้เครื่องมือมาตรฐานสำหรับการวิเคราะห์ระบบที่ถูกขับเคลื่อนเป็นคาบ

Key figures

• Joseph-Louis Lagrange
• Camille Jordan
• Gaston Floquet
• Aleksandr Lyapunov

Seminal works

• coddington1955
• perko2001

Frequently asked questions

เหตุใดเมทริกซ์เอกซ์โพเนนเชียลจึงแก้ปัญหาระบบเชิงเส้นได้?

การหาอนุพันธ์ของเมทริกซ์เอกซ์โพเนนเชียลของ A คูณ t จะได้ A คูณเอกซ์โพเนนเชียลตัวเดียวกัน ซึ่งสะท้อนระบบ dx/dt เท่ากับ Ax ได้อย่างแม่นยำ ดังนั้นเมทริกซ์เอกซ์โพเนนเชียลจึงมีบทบาทสำหรับระบบเช่นเดียวกับที่เอกซ์โพเนนเชียลธรรมดามีสำหรับสมการสเกลาร์เดี่ยว

เกิดอะไรขึ้นเมื่อมีค่าลักษณะเฉพาะซ้ำ?

เมื่อค่าลักษณะเฉพาะไม่มีเวกเตอร์ลักษณะเฉพาะอิสระเพียงพอ โหมดเอกซ์โพเนนเชียลธรรมดาจะไม่ครอบคลุมผลเฉลยทั้งหมด รูปแบบบัญญัติจอร์แดนจะให้เวกเตอร์ลักษณะเฉพาะทั่วไป ซึ่งสร้างผลเฉลยที่รวมเอกซ์โพเนนเชียลเข้ากับตัวประกอบพหุนามในเวลา