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.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.REFERENCES
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
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
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
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
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
Sveshnikov, A.G., The incomplete Galerkin method, Dokl. Akad. Nauk SSSR, 1977, vol. 236, no. 5, pp. 1076–1079.
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
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
Kantorovich, L.V. and Krylov, V.I., Approximate Methods of Higher Analysis, New York: Wiley, 1964.
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.
Bathe, K.J., Finite Element Procedures in Engineering Analysis, Prentice Hall, 1982.
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.
Babich, V.M. and Buldyrev, V.S., Short-Wavelength Diffraction Theory, Springer Series on Wave Phenomena, Springer, vol. 4, 1991.
Maplesoft official website. https://www.maplesoft.com.
Hamming, R.W., Numerical Methods for Scientists and Engineers, Dover, 1987, 2nd ed.
Reed, M. and Simon, B., Methods of Modern Mathematical Physics I: Functional Analysis, Academic, 1972, vol. 1.
Lang, S., Real and Functional Analysis, Springer, 1993, 3rd ed.
Hardy, G.H., A Course of Pure Mathematics, Cambridge University Press, 1921, 3rd ed.
Funding
This work was supported by the Russian Science Foundation (grant no. 20-11-20257).
Author information
Authors and Affiliations
Corresponding authors
Additional information
Translated by Yu. Kornienko
Rights and permissions
About this article
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
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768821010035