หากคุณทดแทนอย่างน้อยสำหรับการวิเคราะห์ของคุณโดยคุณสามารถเขียนระบบของคุณเป็น
โดยที่ค่าคงที่ทั้งหมดถูกตั้งค่าเป็นและตำแหน่งที่ subscriptหมายถึงการแยกพื้นที่ออกทั้งตัวแปรและตัวดำเนินการส่วนต่าง แบบแผนของคุณนั้นได้มาจากการประมาณผ่านออยเลอร์โดยปริยาย ux[ 0 0 ฉันฉัน ]d∂u∂xux
[0I0I]ddt[ph(t)ux,h(t)]+[−∂h−Δh∂h0][ph(t)ux,h(t)]=[qh(t)0](∗)
1hddt
ตอนนี้โครงสร้างดิฟเฟอเรนเชียล - พีชคณิต (DAE) เห็นได้ชัด สำหรับตัวแปรมีทั้งอนุพันธ์ (ตามเวลา) และสมการพีชคณิต
หากคุณสามารถแสดงให้เห็นว่า กลับด้านได้ cf บทความนี้[p. 3]และการแก้ไขด้านล่างกว่า DAE เป็นของดัชนี 1หรือปราศจากความแปลกและออยเลอร์โดยปริยายเป็นที่รู้จักกันว่ามาบรรจบกันดูทฤษฎีบท 5.12 ในหนังสือเล่มนี้ (ข้อจำกัดความรับผิดชอบ: หนังสือเล่มนี้ไม่สามารถใช้งานได้อย่างอิสระและเขียนโดยหัวหน้างานปริญญาเอกของฉัน)[−∂hI∂hI]
ด้วยวิธีนี้คุณอาจได้รับการวิเคราะห์เสถียรภาพ
สำหรับหลักฐานโดยตรงของความเสถียรฉันจะลองใช้ Equationเพื่อใช้การวิเคราะห์เสถียรภาพ von Neumann โดยใช้ eigenfunctions ของและตรวจสอบผลของบน eigenfunctionsL2(∗)Δh∂h
แต่ถ้ามีความมั่นคงไม่สามารถจัดตั้งขึ้นเพื่อก็ไม่ได้หมายความว่าโครงการของคุณไม่ได้มาบรรจบกัน - เพราะของการทดแทนของu_x โดยทั่วไปการพูดใคร ๆ ก็สามารถคาดหวังความมั่นคงสำหรับแผนการประมาณตัวแปรที่แท้จริงแทนที่จะเป็นแผนการประมาณอนุพันธ์ของพวกเขา(∗)u←ux
ภาคผนวก:
DAE ถูกกล่าวถึงว่าเป็นดัชนี 1 หากสามารถแปลงเป็น ODE ได้โดยไม่ต้องแยกสมการออกจากกัน
สมมติว่า DAE นั้นอยู่ในรูปแบบ
จากนั้นการย้อนกลับของ
บอกเป็นนัยว่ามีการแปลงตัวแปรที่จะแลกเปลี่ยนคอลัมน์ของสัมประสิทธิ์ในที่สุดเพื่อที่
พร้อม invertible (คุณสมบัติของ ) และกลับด้าน (Schur complement)
[E10]y˙+[A1A2]y=f.
[E1A2]y~→y[E1A2]→[E~11A~21E~12A~22]A~22A2A~11−E~12A~−122A~21
สำหรับระบบที่นี้หมายถึงว่าส่วนที่เกี่ยวกับพีชคณิตกำหนดด้วยสามารถใช้ในการแก้ปัญหาสำหรับส่วนหนึ่งของH}) จากนั้นหนึ่งสามารถกำจัดจากส่วนต่าง (บรรทัดบล็อกที่สองใน ) เพื่อรับ ODE สำหรับตัวแปรที่เหลือA 2 : = [ - ∂ h ∂ h ] ˜ y 2 ( p h , u x , h ) d(∗)A2:=[−∂h ∂h]y~2(ph,ux,h)(∗)ddty~2(∗)