สมการเชิงอนุพันธ์สามัญ
สมการเชิงอนุพันธ์สามัญเชื่อมโยงฟังก์ชันที่ไม่ทราบค่าของตัวแปรเดี่ยวกับอนุพันธ์ของฟังก์ชันนั้น ซึ่งเป็นภาษาพื้นฐานสำหรับการสร้างแบบจำลองว่าปริมาณต่างๆ เปลี่ยนแปลงไปตามเวลาอย่างไร
Definition
สมการเชิงอนุพันธ์สามัญคือสมการที่เกี่ยวข้องกับฟังก์ชันของตัวแปรอิสระหนึ่งตัวและอนุพันธ์หนึ่งตัวหรือมากกว่านั้น การแก้สมการหมายถึงการหาฟังก์ชันที่สอดคล้องกับความสัมพันธ์นั้น ซึ่งมักจะอยู่ภายใต้เงื่อนไขเริ่มต้นหรือเงื่อนไขขอบ
Scope
สาขาวิชานี้ครอบคลุมสมการอันดับหนึ่งและอันดับสูงกว่า การมีอยู่และความเป็นหนึ่งเดียวของผลเฉลย ระบบเชิงเส้นและเมทริกซ์เอกซ์โพเนนเชียล เสถียรภาพและพฤติกรรมเชิงคุณภาพ ปัญหาค่าขอบและค่าเฉพาะแบบ Sturm-Liouville รวมถึงวิธีการวิเคราะห์และอนุกรมในการหาผลเฉลย ถือเป็นรากฐานที่ระบบพลวัตและแบบจำลองทางคณิตศาสตร์ส่วนใหญ่ถูกสร้างขึ้น
Sub-topics
Core questions
- เมื่อใดที่ปัญหาค่าเริ่มต้นมีผลเฉลย และผลเฉลยนั้นเป็นหนึ่งเดียวหรือไม่?
- ระบบเชิงเส้นถูกแก้ได้อย่างไร และอะไรเป็นตัวกำหนดพฤติกรรมระยะยาวของระบบ?
- สมดุลหรือผลเฉลยที่กำหนดมีความเสถียรภายใต้การรบกวนเล็กน้อยหรือไม่?
- ปัญหาค่าขอบและค่าเฉพาะกำหนดโหมดธรรมชาติของระบบได้อย่างไร?
Key theories
- ทฤษฎีการมีอยู่และความเป็นหนึ่งเดียวของผลเฉลย
- ภายใต้เงื่อนไขลิปชิตซ์ทางด้านขวา ทฤษฎี Picard-Lindelof รับประกันผลเฉลยเฉพาะที่ (unique local solution) สำหรับปัญหาค่าเริ่มต้น ในขณะที่ความต่อเนื่องเพียงอย่างเดียว (ทฤษฎีของ Peano) ให้การมีอยู่ของผลเฉลยโดยไม่มีความเป็นหนึ่งเดียว
- ทฤษฎีเชิงเส้นและเมทริกซ์เอกซ์โพเนนเชียล
- ผลเฉลยของระบบเชิงเส้นที่มีสัมประสิทธิ์คงที่ถูกสร้างขึ้นโดยเมทริกซ์เอกซ์โพเนนเชียล และโครงสร้างของค่าเฉพาะของเมทริกซ์สัมประสิทธิ์จะจัดระเบียบปริภูมิผลเฉลยทั้งหมด
- ทฤษฎีเสถียรภาพ
- การทำให้เป็นเชิงเส้น (linearization) และฟังก์ชัน Lyapunov ใช้จำแนกจุดสมดุลว่าเป็นแบบเสถียร เสถียรเชิงเส้นกำกับ หรือไม่เสถียร ซึ่งอธิบายว่าผลเฉลยที่อยู่ใกล้เคียงจะลู่เข้า คงอยู่ใกล้ หรือออกจากสถานะอ้างอิงหรือไม่
Clinical relevance
สมการเชิงอนุพันธ์สามัญเป็นเครื่องมือสร้างแบบจำลองมาตรฐานในสาขาวิทยาศาสตร์และวิศวกรรมศาสตร์ โดยใช้อธิบายการเคลื่อนที่ทางกล วงจรไฟฟ้า จลนพลศาสตร์เคมี พลวัตประชากร และการแพร่ระบาดของโรค และยังเป็นทฤษฎีพื้นฐานที่รองรับระบบพลวัตและการควบคุม
History
สมการเชิงอนุพันธ์พัฒนามาจากแคลคูลัสของนิวตันและไลบ์นิซ และกลศาสตร์ในศตวรรษที่สิบแปด โคชีได้ให้บทพิสูจน์การมีอยู่ของผลเฉลยที่เข้มงวดเป็นครั้งแรกในศตวรรษที่สิบเก้า ลิปชิตซ์ได้ปรับปรุงเงื่อนไขความเป็นหนึ่งเดียว และปวงกาเรกับลยาปูนอฟได้เปลี่ยนความสนใจจากสูตรที่ชัดเจนไปสู่ทฤษฎีเชิงคุณภาพและเสถียรภาพซึ่งเป็นหัวใจสำคัญของวิชาในปัจจุบัน
Key figures
- Augustin-Louis Cauchy
- Rudolf Lipschitz
- Henri Poincare
- Aleksandr Lyapunov
- Jacques Charles Francois Sturm
Related topics
Seminal works
- coddington1955
- hartman2002
- perko2001
Frequently asked questions
- สมการเชิงอนุพันธ์สามัญและสมการเชิงอนุพันธ์ย่อยแตกต่างกันอย่างไร?
- สมการเชิงอนุพันธ์สามัญเกี่ยวข้องกับอนุพันธ์เทียบกับตัวแปรอิสระเพียงตัวเดียว ในขณะที่สมการเชิงอนุพันธ์ย่อยเกี่ยวข้องกับอนุพันธ์ย่อยเทียบกับตัวแปรหลายตัว โดยทั่วไป ODEs มักจะจำลองการเปลี่ยนแปลงตามเวลาเท่านั้น ส่วน PDEs จะจำลองปรากฏการณ์ที่เปลี่ยนแปลงทั้งในอวกาศและเวลา
- เหตุใดจึงต้องมีเงื่อนไขเริ่มต้นและเงื่อนไขขอบ?
- สมการเชิงอนุพันธ์เพียงอย่างเดียวมีผลเฉลยได้ไม่จำกัดจำนวน เงื่อนไขเริ่มต้น (ค่า ณ จุดเริ่มต้น) หรือเงื่อนไขขอบ (ค่า ณ ปลายช่วง) จะช่วยระบุผลเฉลยเฉพาะที่อธิบายสถานการณ์ทางกายภาพที่กำหนด และยังเป็นตัวกำหนดว่าปัญหาดังกล่าวเป็นปัญหาที่กำหนดได้ดี (well-posed) หรือไม่