Skip to main content
Log in

Symbolic Investigation of Eigenvectors for General Solution of a System of ODEs with a Symbolic Coefficient Matrix

  • Published:
Programming and Computer Software Aims and scope Submit manuscript

Abstract

This paper investigates the problem of symbolic representation for the general solution of a system of ordinary differential equations (ODEs) with symbolically defined constant coefficients in the case where some symbolic constants can vanish. In addition, the symbolic representation of eigenvectors for the system’s coefficient matrix is not unique. It is shown that standard procedures of computer algebra systems search for specific symbolic representations of eigenvectors while ignoring the other symbolic representations. In turn, the eigenvectors found by a computer algebra system can be inadequate for constructing numerical algorithms based on them, which is demonstrated by an example. We propose an algorithm for finding various symbolic representations of eigenvectors for symbolically defined matrices. This paper considers a particular system of ODEs obtained by investigating some solutions of Maxwell’s equations; however, the proposed algorithm can be applied to an arbitrary system with a normal matrix of coefficients.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Fig. 1.
Fig. 2.
Fig. 3.
Fig. 4.
Fig. 5.

Similar content being viewed by others

REFERENCES

  1. Sevastyanov, L.A., Sevastyanov, A.L., and Tyutyunnik, A.A., Analytical calculations in Maple to implement the method of adiabatic modes for modeling smoothly irregular integrated optical waveguide structures, Lect. Notes Comput. Sci., 2014, vol. 8660, pp. 419–431. https://doi.org/10.1007/978-3-319-10515-4_30

    Article  MATH  Google Scholar 

  2. Divakov, D.V. and Sevastianov, A.L., The implementation of the symbolic-numerical method for finding the adiabatic waveguide modes of integrated optical waveguides in CAS Maple, Lect. Notes Comput. Sci., 2019, vol. 11661, pp. 107–121. https://doi.org/10.1007/978-3-030-26831-2_8

    Article  MathSciNet  MATH  Google Scholar 

  3. Yee, K., Numerical solution of initial boundary value problems involving Maxwell’s equations in isotropic media, IEEE Trans. Antennas Propag., 1966, vol. 14, no. 3, pp. 302–307. https://doi.org/10.1109/TAP.1966.1138693

    Article  MATH  Google Scholar 

  4. Taflove, A., Application of the finite-difference time-domain method to sinusoidal steady-state electromagnetic-penetration problems, IEEE Trans. Electromagn. Compat., 1980, vol. 22, no. 3, pp. 191–202. https://doi.org/10.1109/TEMC.1980.30387

    Article  Google Scholar 

  5. Joseph, R., Goorjian, P., and Taflove, A., Direct time integration of Maxwell’s equations in two-dimensional dielectric waveguides for propagation and scattering of femtosecond electromagnetic solitons, Opt. Lett., 1993, vol. 18, no. 7, pp. 491–493. https://doi.org/10.1364/OL.18.000491

    Article  Google Scholar 

  6. Sveshnikov, A.G., The incomplete Galerkin method, Dokl. Akad. Nauk SSSR, 1977, vol. 236, no. 5, pp. 1076–1079.

    MathSciNet  MATH  Google Scholar 

  7. Petukhov, A.A., Joint application of the incomplete Galerkin method and scattering matrix method for modeling multilayer diffraction gratings, Math. Models Comput. Simul., 2014, vol. 6, pp. 92–100. https://doi.org/10.1134/S2070048214010128

    Article  MathSciNet  Google Scholar 

  8. Tiutiunnik, A.A., Divakov, D.V., Malykh, M.D., and Sevastianov, L.A., Symbolic-numeric implementation of the four potential method for calculating normal modes: An example of square electromagnetic waveguide with rectangular insert, Lect. Notes Comput. Sci., 2019, vol. 11661, pp. 412–429. https://doi.org/10.1007/978-3-030-26831-2_27

    Article  MathSciNet  MATH  Google Scholar 

  9. Kantorovich, L.V. and Krylov, V.I., Approximate Methods of Higher Analysis, New York: Wiley, 1964.

    MATH  Google Scholar 

  10. Gusev, A.A., Chuluunbaatar, O., Vinitsky, S.I., and Derbov, V.L., Solution of the boundary-value problem for a systems of ODEs of large dimension: Benchmark calculations in the framework of Kantorovich method, Discrete Contin. Models Appl. Comput. Sci., 2016, no. 3, pp. 31–37.

  11. Bathe, K.J., Finite Element Procedures in Engineering Analysis, Prentice Hall, 1982.

    Google Scholar 

  12. Bogolyubov, A.N., Mukhartova, Yu.V., Gao, J., and Bogolyubov, N.A., Mathematical modeling of plane chiral waveguide using mixed finite elements, Prog. Electromagn. Res. Symp., 2012, pp. 1216–1219.

  13. Babich, V.M. and Buldyrev, V.S., Short-Wavelength Diffraction Theory, Springer Series on Wave Phenomena, Springer, vol. 4, 1991.

  14. Maplesoft official website. https://www.maplesoft.com.

  15. Hamming, R.W., Numerical Methods for Scientists and Engineers, Dover, 1987, 2nd ed.

    MATH  Google Scholar 

  16. Reed, M. and Simon, B., Methods of Modern Mathematical Physics I: Functional Analysis, Academic, 1972, vol. 1.

    MATH  Google Scholar 

  17. Lang, S., Real and Functional Analysis, Springer, 1993, 3rd ed.

    Book  Google Scholar 

  18. Hardy, G.H., A Course of Pure Mathematics, Cambridge University Press, 1921, 3rd ed.

    MATH  Google Scholar 

Download references

Funding

This work was supported by the Russian Science Foundation (grant no. 20-11-20257).

Author information

Authors and Affiliations

Authors

Corresponding authors

Correspondence to D. V. Divakov or A. A. Tiutiunnik.

Additional information

Translated by Yu. Kornienko

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Divakov, D.V., Tiutiunnik, A.A. Symbolic Investigation of Eigenvectors for General Solution of a System of ODEs with a Symbolic Coefficient Matrix. Program Comput Soft 47, 6–16 (2021). https://doi.org/10.1134/S0361768821010035

Download citation

  • Received:

  • Revised:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1134/S0361768821010035

Navigation