ระเบียบวิธีโดยตรงในแคลคูลัสของการแปรผัน
ระเบียบวิธีโดยตรงเป็นการพิสูจน์การมีอยู่ของค่าต่ำสุดของฟังก์ชันนัล โดยอาศัยลำดับที่ทำให้เกิดค่าต่ำสุดและความกะทัดรัด แทนที่จะเป็นการแก้สมการออยเลอร์-ลากรองจ์
Definition
ระเบียบวิธีโดยตรงพิสูจน์ว่าฟังก์ชันนัลมีค่าอินฟิมัม (infimum) โดยการเลือกลำดับที่ทำให้เกิดค่าต่ำสุด, ดึงลำดับย่อยที่ลู่เข้าโดยใช้ความกะทัดรัด, และใช้ความต่อเนื่องกึ่งล่างเพื่อแสดงว่าลิมิตเป็นค่าต่ำสุดที่แท้จริง
Scope
หัวข้อนี้ครอบคลุมถึงลำดับที่ทำให้เกิดค่าต่ำสุด, สภาพบีบบังคับ (coercivity), ความกะทัดรัดแบบอ่อนในปริภูมิโซโบเลฟ (Sobolev spaces), ความต่อเนื่องกึ่งล่างแบบอ่อน (weak lower semicontinuity) และความเชื่อมโยงกับการนูนของอินทิแกรนด์ (integrand), การมีอยู่ของค่าต่ำสุด, และบทบาทของแนวคิดเหล่านี้ในทฤษฎีสมัยใหม่ของสมการเชิงอนุพันธ์ย่อยและการสม่ำเสมอของผลเฉลย
Core questions
- เมื่อใดที่ฟังก์ชันนัลรับประกันว่าจะถึงค่าต่ำสุด?
- สภาพบีบบังคับและความกะทัดรัดมีบทบาทอย่างไร?
- เหตุใดความต่อเนื่องกึ่งล่างแบบอ่อน ซึ่งเชื่อมโยงกับการนูน จึงเป็นสมมติฐานหลัก?
- ระเบียบวิธีนี้เชื่อมโยงปัญหาการแปรผันกับสมการเชิงอนุพันธ์ย่อยได้อย่างไร?
Key theories
- สภาพบีบบังคับและความกะทัดรัดแบบอ่อน
- สภาพบีบบังคับบังคับให้ลำดับที่ทำให้เกิดค่าต่ำสุดยังคงมีขอบเขตในปริภูมิฟังก์ชันที่เหมาะสม และการสะท้อนกลับ (reflexivity) ให้ลำดับย่อยที่ลู่เข้าแบบอ่อน ซึ่งเป็นผู้สมัครสำหรับค่าต่ำสุด
- ความต่อเนื่องกึ่งล่างแบบอ่อนและการนูน
- หากฟังก์ชันนัลมีความต่อเนื่องกึ่งล่างแบบอ่อน ค่าที่ลิมิตแบบอ่อนจะไม่เกินอินฟิมัมลิมิต และการนูนของอินทิแกรนด์ในเกรเดียนต์เป็นเงื่อนไขมาตรฐานที่รับประกันคุณสมบัตินี้
- การมีอยู่ของค่าต่ำสุด
- การรวมกันของขอบเขต, ความกะทัดรัดแบบอ่อน, และความต่อเนื่องกึ่งล่าง ทำให้เกิดการมีอยู่ของค่าต่ำสุด ซึ่งจะสอดคล้องกับสมการออยเลอร์-ลากรองจ์ในความหมายแบบอ่อน
Clinical relevance
ระเบียบวิธีโดยตรงเป็นรากฐานของทฤษฎีการมีอยู่สมัยใหม่สำหรับสมการเชิงอนุพันธ์ย่อยแบบไม่เชิงเส้น และของแบบจำลองการแปรผันในด้านความยืดหยุ่น, วัสดุศาสตร์, และการประมวลผลภาพ ซึ่งค่าต่ำสุดแสดงถึงการจัดเรียงสมดุล
History
ฮิลเบิร์ตสนับสนุนการพิสูจน์การมีอยู่ของค่าต่ำสุดโดยตรง ซึ่งเป็นการยืนยันหลักการของดิริชเลต์ (Dirichlet principle) ประมาณปี ค.ศ. 1900 โทเนลลี (Tonelli) ได้จัดระบบระเบียบวิธีนี้ในช่วงทศวรรษ 1910 โดยใช้ความต่อเนื่องกึ่งล่าง และการพัฒนาปริภูมิโซโบเลฟในภายหลังและความกึ่งนูนของมอร์เรย์ (Morrey's quasiconvexity) ทำให้ระเบียบวิธีนี้มีรูปแบบการวิเคราะห์เชิงฟังก์ชันที่ทันสมัย
Key figures
- David Hilbert
- Leonida Tonelli
- Charles B. Morrey
- Sergei Sobolev
Related topics
Seminal works
- dacorogna2008
- evans2010
Frequently asked questions
- เหตุใดจึงไม่แก้สมการออยเลอร์-ลากรองจ์โดยตรง?
- สมการออยเลอร์-ลากรองจ์เป็นเพียงเงื่อนไขที่จำเป็นเท่านั้น และสำหรับปัญหาที่ไม่เชิงเส้น อาจเป็นไปไม่ได้ที่จะแก้ได้อย่างชัดเจน หรือแม้แต่จะทราบว่ามีผลเฉลยอยู่หรือไม่ ระเบียบวิธีโดยตรงพิสูจน์การมีอยู่ของค่าต่ำสุดก่อน ซึ่งจะนำไปสู่ผลเฉลยแบบอ่อนของสมการ
- เหตุใดการนูนจึงมีความสำคัญในที่นี้?
- การนูนของอินทิแกรนด์ในเกรเดียนต์รับประกันความต่อเนื่องกึ่งล่างแบบอ่อนของฟังก์ชันนัล ซึ่งเป็นคุณสมบัติที่จำเป็นอย่างยิ่งในการผ่านไปยังลิมิตของลำดับที่ทำให้เกิดค่าต่ำสุด หากไม่มีคุณสมบัตินี้ ลำดับที่ทำให้เกิดค่าต่ำสุดอาจแกว่งไปมาจนลิมิตแบบอ่อนไม่ใช่ค่าต่ำสุด