Solvability Analysis of high-order Linear Differential-Algebraic Equations with time-varying coefficients
DOI:
https://doi.org/10.56764/hpu2.jos.2024.3.1.64-77Abstract
In this paper, we study the solvability analysis of arbitrarily high-order linear differential-algebraic equations (DAEs) with time-varying coefficients, using the algebraic-behavior approach. We propose a concept of strangeness-index and construct condensed forms for high-order linear DAEs. We also discuss other structural properties like the existence and uniqueness of a solution, consistency and smoothness requirements for an initial vector and for an inhomogeneity. Our work extends the algebraic approach for DAEs and combines this approach with the behavior approach to establish a reformulation algorithm that reveals an underlying ordinary differential equation (ODE) and all hidden constraints in the DAE. This direct treatment of the system addresses the limitations of the classical approach to transforming the system into a first-order DAE. We illustrate our theoretical results with applications in mechanical systems and electrical circuits. This comprehensive study into general high-order systems is a natural progression from the extensive study of first and second-order DAEs.
References
[1] K. E. Brenan, S. L. Campbell, and L. R. Petzold, Numerical Solution of Initial-value Problems in Differential-algebraic Equations. Philadelphia, Society for Industrial and Applied Mathematics, 1995, doi: 10.1137/1.9781611971224.
[2] U. M. Ascher and L. R. Petzold, Computer Methods for Ordinary Differential Equations and Differential-Algebraic Equations. Philadelphia, Society for Industrial and Applied Mathematics, 1998, doi: 10.1137/1.9781611971392.
[3] P. Kunkel and V. L. Mehrmann, Differential-algebraic equations: analysis and numerial solution, Zürich: European Mathematical Society, 2006, doi: 10.4171/017.
[4] Claus Führer, Numerical Methods in Multibody Dynamics, Springer Science & Business Media, 2013.
[5] Z. Bai, D. Bindel, J. Clark, J. Demmel, K. Pister, and N. Zhou, “New Numerical Techniques and Tools in SUGAR for 3D MEMS Simulation,” TechConnect Briefs, vol. 1, no. 2001, pp. 31–34, Mar. 2001. [Online]. Available: https://briefs.techconnect.org/wp-content/volumes/MSM2001/pdf/W31.3.pdf.
[6] R. Achar and M. S. Nakhla, “Simulation of high-speed interconnects,” Proc. IEEE, vol. 89, no. 5, pp. 693–728, May 2001, doi: 10.1109/5.929650.
[7] P. A. Fishwick, Ed., Handbook of Dynamic System Modeling, Chapman and Hall/CRC, 2007. doi: 10.1201/9781420010855.
[8] S. L. Campbell and W. Marszalek, “DAEs arising from traveling wave solutions of PDEs,” J. Comput. Appl. Math., vol. 82, no. 1–2, pp. 41–58, Sep. 1997, doi: 10.1016/s0377-0427(97)00084-8.
[9] W. Marszalek and S. L. Campbell, “DAEs arising from traveling wave solutions of PDEs II,” Comput. Math. with Appl., vol. 37, no. 1, pp. 15–34, Jan. 1999, doi: 10.1016/s0898-1221(98)00238-7.
[10] V. H. Linh, N. T. T. Nga, and D. D. Thuan, “Exponential stability and robust stability for linear time-varying singular systems of second order difference equations,” SIAM J. Matrix Anal. Appl., vol. 39, no. 1, pp. 204–233, Jan. 2018, doi: 10.1137/16m1104548.
[11] V. H. Linh and P. Ha, “Index reduction for second order singular systems of difference equations,” Linear Algebra Appl., vol. 608, no. 1, pp. 107–132, Jan. 2021, doi: 10.1016/j.laa.2020.08.019.
[12] J. Sand, “On implicit Euler for high-order high-index DAEs,” Appl. Numer. Math., vol. 42, no. 1–3, pp. 411–424, Aug. 2002, doi: 10.1016/s0168-9274(01)00164-7.
[13] P. Losse and V. Mehrmann, “Controllability and observability of second order descriptor systems,” SIAM J. Control Optim., vol. 47, no. 3, pp. 1351–1379, Jan. 2008, doi: 10.1137/060673977.
[14] V. Mehrmann and C. Shi, “Transformation of high order linear differential-algebraic systems to first order,” Numer. Algorithms., vol. 42, no. 3–4, pp. 281–307, Sep. 2006, doi: 10.1007/s11075-006-9030-x.
[15] C. Shi, “Linear differential-algebraic equations of higher-order and the regularity or singularity of matrix polynomial,” Ph.D Dissertation, TU Berlin, Institut für Mathematik, Berlin, Germany, 2004.
[16] L. Wunderlich, “Numerical treatment of second order differential‐algebraic systems,” PAMM., vol. 6, no. 1, pp. 775–776, Dec. 2006, doi: 10.1002/pamm.200610368.
[17] P. Ha, V. Mehrmann, and A. Steinbrecher, “Analysis of linear variable coefficient delay differential-algebraic equations,” J. Dyn. Differ. Equations., vol. 26, no. 4, pp. 889–914, Aug. 2014, doi: 10.1007/s10884-014-9386-x.
[18] J. C. Willems and J.W. Polderman, Introduction to Mathematical Systems Theory: A behavioral approach. Springer, 2013.
[19] A. Bunse-Gerstner, R. Byers, V. Mehrmann, and N. K. Nichols, “Feedback design for regularizing descriptor systems,” Linear Algebra Appl., vol. 299, no. 1–3, pp. 119–151, Sep. 1999, doi: 10.1016/s0024-3795(99)00167-6.
[20] M. Hou and P.C. Müller, “Tracking control for a class of descriptor systems,” IFAC Proc. Vol., vol. 29, no. 1, pp. 1554–1559, Jun. 1996, doi: 10.1016/s1474-6670(17)57888-x.
[21] M. Gerdts, “Local minimum principle for optimal control problems subject to differential-algebraic equations of index two,” J. Optim. Theory Appl., vol. 130, no. 3, pp. 443–462, Nov. 2006, doi: 10.1007/s10957-006-9121-9.
Downloads
Published
How to Cite
Volume and Issue
Section
Copyright and License
Copyright (c) 2024 Ha-Phi
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
