Cramer's rule for implicit linear differential equations over a non-Archimedean ring

Keywords: differential equation, formal power series, Cramer's rule


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.



Download data is not yet available.


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.

How to Cite
Goncharuk, A. (2022). Cramer’s rule for implicit linear differential equations over a non-Archimedean ring. Visnyk of V. N. Karazin Kharkiv National University. Ser. Mathematics, Applied Mathematics and Mechanics, 95, 39-48.