Cramer's rule for implicit linear differential equations over a non-Archimedean ring
We consider a linear nonhomogeneous $m$-th order differential equation in a ring of formal power series with coefficients from some field of characteristic zero.
This equation has infinite many solutions in this ring -- one for each initial condition of the corresponding Cauchy problem. These solutions can be found using classical methods of differential equation theory.
Let us suppose the coefficients of the equation and the coefficients of nonhomogeneity belong to some integral domain $K$. We are looking for a solution in the form of a formal power series with coefficients from this integral domain. The methods of classical theory do not allow us to find out whether there exists an initial condition that corresponds to the solution of the coefficients from $K$ and do not allow find this initial condition.
To solve this problem, we use the method proposed by U. Broggi. This method allows to find a formal solution of the linear nonhomogeneous differential equation in the form of some special series.
In previous articles, sufficient conditions for the existence and uniqueness of a solution were found for a certain class of rings $K$ with a non-Archimedean valuation. If these conditions hold, the formal power series obtained using the Broggi’s method is considered. Its coefficients are the sums of series that converge in the non-Archimedean topology considered. It is shown that this series is the solution from $K[[x]]$ of our equation.
Note that this equation over a ring of formal power series can be considered as an infinite linear system of equations with respect to the coefficients of unknown formal power series.
In this article it is proved that this system can be solved by some analogue of Cramer's method, in which the determinants of infinite matrices are found as limits of some finite determinants in the non-Archimedean topology.
S. Gefter, A. Goncharuk, Linear Differential Equation with Formal Power Series Non-Homogeneity Over a Ring with a Non-Archimedean Valuation, ArXiv. - 2021. DOI: 10.48550/ARXIV.2112.02528.
H. Cartan. Elementary Theory of Analytic Functions of One or Several Complex Variables, Dover Books on Mathematics. - 2013. Courier Corporation, 228 p.
E. Kamke. Differentialgleichungen Losungsmethoden und Losungen. - 2013. (in German) DOI: 10.1007/978-3-663-05925-7.
S. Gefter, A. Goncharuk. Generalized backward shift operators on the ring Z[[x]], Cramer’s rule for infinite linear systems, and p-adic integers. In: A. Bottcher, D. Potts, P. Stollmann, D. Wenzel (eds) The Diversity and Beauty of Applied Operator Theory. Operator Theory: Advances and Applications, Vol. 268, Birkhauser, Cham. - 2018. - P. 247-259. DOI: 10.1007/978-3-319-75996-8_13.
A. B. Goncharuk, Implicit linear difference equations over a non-Archimedean ring, Visnyk of V. N. Karazin Kharkiv National University, Ser. Mathematics, Applied Mathematics and Mechanics. - 2021. Vol. 93. - P. 18-33. DOI: 10.26565/2221-5646-2021-93-03.
S. Lang. Algebra. - 2002. Springer-Verlag, New York, XV+918 p. DOI: 10.1007/978-1-4613-0041-0.
H. Grauert, R. Remmert. Analytische Stellenalgebren (in German), Ser. ``Die Grundlehren der mathematischen Wissenschaften''. - 1971. Springer-Verlag, 242 p. DOI: 10.1007/978-3-642-65033-8.
The copyright holder is the author.
Authors who publish with this journal agree to the following terms:
1. Authors retain copyright and grant the journal right of first publication with the work simultaneously licensed under a Creative Commons Attribution License that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal. (Attribution-Noncommercial-No Derivative Works licence).
2. Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
3. Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (see The Effect of Open Access).