การหาผลเฉลยเชิงตัวเลขของสมการเชิงอนุพันธ์สามัญ
สาขาวิชานี้พัฒนาและวิเคราะห์วิธีการก้าวเดินตามเวลาที่ประมาณผลเฉลยของสมการเชิงอนุพันธ์สามัญ โดยการก้าวสถานะเริ่มต้นไปข้างหน้าทีละขั้นพร้อมกับการควบคุมความแม่นยำและเสถียรภาพ
Definition
การหาผลเฉลยเชิงตัวเลขของสมการเชิงอนุพันธ์สามัญคือการสร้างและวิเคราะห์อัลกอริทึมที่สร้างผลเฉลยโดยประมาณของสมการเชิงอนุพันธ์ที่มีเงื่อนไขเริ่มต้น (หรือเงื่อนไขขอบ) ที่กำหนดให้ โดยการทำให้ตัวแปรอิสระเป็นแบบไม่ต่อเนื่อง
Scope
ครอบคลุมปัญหาค่าเริ่มต้นสำหรับระบบสมการเชิงอนุพันธ์สามัญที่แก้ด้วยวิธีขั้นเดียว (Runge-Kutta) และวิธีหลายขั้น, แนวคิดของความสอดคล้อง, เสถียรภาพ, และการลู่เข้า (ทฤษฎีของ Dahlquist), การควบคุมข้อผิดพลาดผ่านการเลือกขนาดขั้นแบบปรับตัว, และการจัดการพิเศษที่จำเป็นสำหรับปัญหาแบบแข็ง (stiff problems); ปัญหาค่าขอบและตัวรวมเชิงเรขาคณิตจะถูกพิจารณาเป็นการขยายเพิ่มเติม
Sub-topics
Core questions
- สมการเชิงอนุพันธ์แบบต่อเนื่องถูกทำให้เป็นแบบไม่ต่อเนื่องเป็นแผนการก้าวเดินตามเวลาที่มีเสถียรภาพและลู่เข้าได้อย่างไร?
- ความสัมพันธ์ระหว่างความสอดคล้อง เสถียรภาพ และการลู่เข้าสำหรับวิธีการเหล่านี้คืออะไร?
- ขนาดขั้นถูกเลือกแบบปรับตัวเพื่อตอบสนองความต้องการความแม่นยำอย่างมีประสิทธิภาพได้อย่างไร?
- เหตุใดปัญหาแบบแข็งจึงต้องการวิธีการแบบปริยาย และปัญหาแบบแข็งมีลักษณะอย่างไร?
Key theories
- ความสอดคล้อง เสถียรภาพ และการลู่เข้า
- วิธีการจะลู่เข้าสู่ผลเฉลยที่แท้จริงเมื่อขนาดขั้นมีแนวโน้มเข้าสู่ศูนย์ ก็ต่อเมื่อมีความสอดคล้อง (แม่นยำในอันดับนำ) และมีเสถียรภาพ (ไม่ขยายข้อผิดพลาดอย่างควบคุมไม่ได้); ความสมมูลแบบ Lax นี้ ซึ่ง Dahlquist ได้ทำให้แม่นยำสำหรับวิธีการหลายขั้น เป็นหลักการจัดระเบียบของสาขาวิชานี้
- วิธีการขั้นเดียวเทียบกับวิธีการหลายขั้น
- วิธีการขั้นเดียว (Runge-Kutta) ใช้เพียงสถานะปัจจุบันแต่มีหลายขั้นตอนภายใน ในขณะที่วิธีการหลายขั้นนำค่าในอดีตหลายค่ากลับมาใช้ใหม่; แต่ละครอบครัวมีการแลกเปลี่ยนความซับซ้อนในการนำไปใช้, หน่วยความจำ, และเสถียรภาพที่แตกต่างกัน
- การควบคุมข้อผิดพลาดแบบปรับตัว
- คู่ของวิธีการแบบฝังให้ค่าประมาณของข้อผิดพลาดการตัดทอนเฉพาะที่ในแต่ละขั้น ซึ่งใช้ในการยอมรับหรือปฏิเสธขั้นนั้น และเพื่อปรับขนาดขั้นเพื่อให้เป็นไปตามค่าความคลาดเคลื่อนที่กำหนดไว้โดยใช้ความพยายามน้อยที่สุด
Clinical relevance
ตัวแก้สมการเชิงอนุพันธ์สามัญเป็นเครื่องมือการสร้างแบบจำลองพื้นฐานในวิทยาศาสตร์และวิศวกรรม: ใช้ในการรวมสมการการเคลื่อนที่ในกลศาสตร์และดาราศาสตร์, จลนพลศาสตร์ปฏิกิริยาในเคมีและชีววิทยาระบบ, พลวัตของวงจรและระบบควบคุม, และแบบจำลองประชากรและระบาดวิทยา; ความน่าเชื่อถือของการจำลองดังกล่าวขึ้นอยู่กับความแม่นยำและเสถียรภาพของวิธีการรวมเวลาที่เลือกโดยตรง
History
วิธีการขั้นเดียวแบบคลาสสิกได้รับการพัฒนาโดย Runge และ Kutta ประมาณปี 1900 และวิธีการหลายขั้นโดย Adams, Bashforth, และ Moulton; ทฤษฎีสมัยใหม่ได้รับการรวมเข้าด้วยกันโดยผลงานของ Germund Dahlquist ในช่วงกลางศตวรรษที่ 20 เกี่ยวกับเสถียรภาพและขีดจำกัดของอันดับ และโดยทฤษฎีพีชคณิตของ John Butcher สำหรับวิธีการ Runge-Kutta โดยมีตัวแก้ปัญหาแบบแข็งตามมาในช่วงทศวรรษ 1960 และ 1970
Key figures
- Carl Runge
- Wilhelm Kutta
- Germund Dahlquist
- John C. Butcher
Related topics
Seminal works
- hairer1993
- iserles2008
- butcher2016
Frequently asked questions
- การที่วิธีการหนึ่งจะลู่เข้าหมายความว่าอย่างไร?
- วิธีการจะลู่เข้าหากผลเฉลยที่คำนวณได้เข้าใกล้ผลเฉลยที่แท้จริงเมื่อขนาดขั้นเข้าใกล้ศูนย์ ตามทฤษฎีความสมมูลพื้นฐาน สิ่งนี้จะเกิดขึ้นก็ต่อเมื่อวิธีการนั้นมีความสอดคล้อง (แม่นยำในระดับท้องถิ่น) และมีเสถียรภาพ (ข้อผิดพลาดไม่ขยายตัว)
- เหตุใดจึงมีวิธีการแก้สมการเชิงอนุพันธ์สามัญที่แตกต่างกันมากมาย?
- ปัญหาที่แตกต่างกันให้ความสำคัญกับสิ่งต่าง ๆ ที่แตกต่างกัน: ความแม่นยำสูง, ต้นทุนต่อขั้นต่ำ, หน่วยความจำต่ำ, หรือความทนทานต่อปัญหาแบบแข็ง (stiffness) วิธีการ Runge-Kutta, วิธีการหลายขั้น, วิธีการแบบชัดแจ้ง (explicit), และวิธีการแบบปริยาย (implicit) แต่ละครอบครัวมีจุดที่แตกต่างกันในการแลกเปลี่ยนเหล่านี้ ดังนั้นจึงไม่มีวิธีการใดที่ดีที่สุดสำหรับทุกปัญหา