ทฤษฎีเสถียรภาพของสมการเชิงอนุพันธ์สามัญ

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

Definition

จุดสมดุลจะมีความเสถียรแบบ Lyapunov หากผลเฉลยที่เริ่มต้นใกล้พอสมควรยังคงอยู่ใกล้กันอย่างไม่จำกัดตลอดเวลา และมีความเสถียรเชิงเส้นกำกับหากนอกเหนือจากนั้นผลเฉลยยังลู่เข้าสู่จุดสมดุล ความไม่เสถียรหมายถึงอย่างน้อยผลเฉลยบางส่วนที่อยู่ใกล้เคียงเคลื่อนที่ออกไป

Scope

หัวข้อนี้ครอบคลุมคำจำกัดความของเสถียรภาพแบบ Lyapunov, เสถียรภาพเชิงเส้นกำกับ (asymptotic stability) และความไม่เสถียร, การทำให้เป็นเชิงเส้น (linearization) และทฤษฎีบท Hartman-Grobman, วิธีตรงของฟังก์ชัน Lyapunov, หลักการความไม่แปรเปลี่ยนของ LaSalle (LaSalle's invariance principle) และการจำแนกจุดสมดุลของระบบระนาบเป็นโหนด (nodes), อานม้า (saddles), โฟกัส (foci) และศูนย์กลาง (centers)

Core questions

• การรบกวนเล็กน้อยของจุดสมดุลจะเพิ่มขึ้น คงอยู่ หรือลดลง?
• เมื่อใดที่การทำให้เป็นเชิงเส้นสามารถทำนายเสถียรภาพของจุดสมดุลแบบไม่เชิงเส้นได้อย่างถูกต้อง?
• จะสามารถสร้างเสถียรภาพได้อย่างไรโดยไม่ต้องแก้สมการอย่างชัดเจน?
• จุดสมดุลของระบบระนาบถูกจำแนกอย่างไรตามภาพเฟสเฉพาะที่ (local phase portraits)?

Key theories

วิธีตรงของ Lyapunov

หากฟังก์ชันกำหนดบวก (positive-definite function) ลดลงตามวิถีโคจร จุดสมดุลจะมีความเสถียร และการลดลงอย่างเคร่งครัดของฟังก์ชันดังกล่าวจะบังคับให้เกิดเสถียรภาพเชิงเส้นกำกับ โดยทั้งหมดนี้ไม่จำเป็นต้องแก้สมการเชิงอนุพันธ์

การทำให้เป็นเชิงเส้นและทฤษฎีบท Hartman-Grobman

ใกล้จุดสมดุลแบบไฮเปอร์โบลิก (hyperbolic equilibrium) การไหลแบบไม่เชิงเส้นจะสมมูลทางโทโพโลยี (topologically conjugate) กับการทำให้เป็นเชิงเส้น ดังนั้นค่าลักษณะเฉพาะ (eigenvalues) ของเมทริกซ์ Jacobian จะเป็นตัวกำหนดเสถียรภาพเฉพาะที่

หลักการความไม่แปรเปลี่ยนของ LaSalle

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

Clinical relevance

การวิเคราะห์เสถียรภาพเป็นพื้นฐานของวิศวกรรมควบคุม ซึ่งรับรองว่าระบบที่ออกแบบจะกลับสู่จุดปฏิบัติการหลังจากเกิดการรบกวน และยังอธิบายถึงความคงอยู่ของจุดสมดุลในแบบจำลองทางนิเวศวิทยา สรีรวิทยา และเศรษฐศาสตร์

History

วิทยานิพนธ์ของ Lyapunov ในปี 1892 ได้วางรากฐานของทฤษฎีทั่วไปของเสถียรภาพของการเคลื่อนที่ และได้นำเสนอทั้งการทำให้เป็นเชิงเส้นและวิธีตรงที่อิงตามฟังก์ชัน การวิเคราะห์เชิงคุณภาพของระบบระนาบของ Poincare ได้ให้ภาพเชิงเรขาคณิต และช่วงกลางศตวรรษที่ 20 ได้เพิ่มทฤษฎีบท Hartman-Grobman และหลักการความไม่แปรเปลี่ยนของ LaSalle

Key figures

• Aleksandr Lyapunov
• Henri Poincare
• Philip Hartman
• Joseph LaSalle

Seminal works

• perko2001
• khalil2002

Frequently asked questions

ความแตกต่างระหว่างเสถียรภาพแบบ Lyapunov และเสถียรภาพเชิงเส้นกำกับคืออะไร?

เสถียรภาพแบบ Lyapunov หมายความว่าผลเฉลยที่อยู่ใกล้เคียงจะยังคงอยู่ใกล้เคียงตลอดเวลา แต่ไม่จำเป็นต้องเข้าใกล้จุดสมดุล เสถียรภาพเชิงเส้นกำกับเพิ่มข้อกำหนดว่าผลเฉลยที่อยู่ใกล้เคียงจะต้องลู่เข้าสู่จุดสมดุลเมื่อเวลาเพิ่มขึ้น

เมื่อใดที่การทำให้เป็นเชิงเส้นไม่สามารถตัดสินเสถียรภาพได้?

การทำให้เป็นเชิงเส้นจะสรุปผลได้เฉพาะที่จุดสมดุลแบบไฮเปอร์โบลิกเท่านั้น ซึ่งเมทริกซ์ Jacobian ไม่มีค่าลักษณะเฉพาะอยู่บนแกนจินตภาพ ในกรณีที่ไม่ใช่ไฮเปอร์โบลิกที่เป็นเส้นแบ่ง เช่น จุดศูนย์กลางบริสุทธิ์ (pure center) พจน์ไม่เชิงเส้นสามารถกำหนดเสถียรภาพได้ และจำเป็นต้องใช้ฟังก์ชัน Lyapunov หรือการวิเคราะห์แมนิโฟลด์ศูนย์กลาง (center-manifold analysis)