Consider a linear inhomogeneous differential equation of the mth order with constant coefficients from the valuation ring K of a non-Archimedean field. We establish sufficient conditions for the uniqueness and existence of the solution of this equation in the ring of formal power series K[[x]]. In addition, we obtain a fundamental solution of this equation such that its convolution with the inhomogeneity is a unique solution of the analyzed equation.
Similar content being viewed by others
References
W. Balser, Formal Power Series and Linear Systems of Meromorphic Ordinary Differential Equations, Springer, New York (2000); DOI: https://doi.org/10.1017/10.1007/b97608.
B. Brisson, “Sur l’intégration des équations différentielles partielles,” J. Ećole Polytech. Math., 14, 191–261 (1808).
P. Buckingham, Factorial-Type Recurrence Relations and p-Adic Incomplete Gamma Functions, ArXiV (2022); DOI: https://doi.org/10.48550/arXiv.2206.12726.
P.-J. Cahen and J.-L. Chabert, Integer-Valued Polynomials, American Mathematical Society Surveys and Monographs, 48, Providence (1997).
H. Cartan, Elementary Theory of Analytic Functions of One or Several Complex Variables, Dover Publ., New York (2013).
B. Dwork, Lectures on p-Adic Differential Equations, Springer, New York (1982); DOI: https://doi.org/10.1007/978-1-4613-8193-8.
B. Dwork, G. Gerotto, and F. J. Sullivan, An Introduction to G-Functions, Princeton Univ. Press, Princeton (2016); DOI: https://doi.org/10.1515/9781400882540.
S. L. Gefter, “Differential operators of infinite order in the space of formal Laurent series and in the ring of power series with integer coefficients,” J. Math. Sci., 239, No. 3, 282–291 (2019); DOI: https://doi.org/10.1007/s10958-019-04304-y.
S. L. Gefter and A. B. Goncharuk, “Fundamental solution of an implicit linear inhomogeneous first order differential equation over an arbitrary ring,” J. Math. Sci., 219, No. 6, 922–935 (2016); DOI: https://doi.org/10.1007/s10958-016-3155-9.
S. L. Gefter and A. B. Goncharuk, “The Hurwitz product, p-adic topology on ℤ, and fundamental solution to linear differential equation in the ring ℤ [[x]],” J. Math. Sci., 228, No. 6, 633–638 (2018); DOI: https://doi.org/10.1007/s10958-017-3651-6.
S. L. Gefter and T. E. Stulova, “Fundamental solution of the simplest implicit linear differential equation in a vector space,” J. Math. Sci., 207, No. 2, 166–175 (2015); DOI: https://doi.org/10.1007/s10958-015-2363-z.
H. Grauert and R. Remmert, Analytische Stellenalgebren, Springer, Berlin (1971); DOI: https://doi.org/10.1007/978-3-642-65033-8.
E. Kamke, Differentialgleichungen Lösungsmethoden und Lösungen, Springer (2013); DOI: https://doi.org/10.1007/978-3-663-05925-7.
K. S. Kedlaya, p-Adic Differential Equations, Cambridge Univ. Press, Cambridge (2010); DOI: https://doi.org/10.1017/CBO9780511750922.
A. Yu. Khrennikov, S. V. Kozyrev, andW. A. Zuniga-Galindo, Ultrametric Pseudodifferential Equations and Applications, Cambridge Univ. Press, Cambridge (2018); DOI: https://doi.org/10.1017/9781316986707.
A. N. Kochubei, Analysis in Positive Characteristic, Cambridge Univ. Press, Cambridge (2009); DOI: 10.1017/ CBO9780511575624.
S. Lang, Algebra, Springer, New York (2012); DOI: https://doi.org/10.1007/978-1-4613-0041-0.
A. F. Leont’ev, Generalization of Series of Exponentials [in Russian], Nauka, Moscow (1981).
R. Lid and H. Niederreiter, Finite Fields, Cambridge Univ. Press, Cambridge (1996); DOI: https://doi.org/10.1017/CBO9780511525926.
E. Lutz, “Sur l’équation y2 = x3 − ax − b dans les corps p-adiques,” J. Reine Angew. Math., 177, 238–247 (1937).
B. Malgrange, “Sur les points singuliers des équations différentielles,” Enseign. Math., 20, 147–176 (1974).
C. Perez-Garcia and W. H. Schikhof, Locally Convex Spaces over Non-Archimedean Valued Fields, Cambridge Univ. Press, Cambridge (2010); DOI: https://doi.org/10.1017/CBO9780511729959.
S. Pincherlet, “Della validità effettiva di alcuni sviluppi in serie di funzioni,” Rend. Lincei, 5, 27–33 (1896).
P. Robba and G. Christol, Equations Différentielles p-Adiques: Applications aux Sommes Exponentielles, Hermann, Paris (1994).
P. C. Sikkema, Differential Operators and Differential Equations of Infinite Order with Constant Coefficients; Researches in Connection with Integral Functions of Finite Order, P. Noordhoff, Groningen (1953); DOI: https://doi.org/10.2307/3610004.
M. F. Singer, “Formal solutions of differential equations,” J. Symbolic Comput., 10, 59–94 (1990).
V. S. Vladimirov, Generalized Functions in Mathematical Physics, Mir, Moscow (1979).
S. L. Hefter and O. L. Piven’, “Infinite-order differential operators in the module of formal generalized functions and in a ring of formal power series,” Ukr. Mat. Zh., 74, No. 6, 784–799 (2022); English translation: Ukr. Math. J., 74, No. 6, 896–915 (2022); DOI: https://doi.org/10.37863/umzh.v74i6.6955.
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 74, No. 11, pp. 1463–1477, November, 2022. Ukrainian https://doi.org/10.37863/umzh.v74i11.7287.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Hefter, S.L., Goncharuk, A.B. Linear Differential Equation with Inhomogeneity in the Form of a Formal Power Series Over a Ring with Non-Archimedean Valuation. Ukr Math J 74, 1668–1685 (2023). https://doi.org/10.1007/s11253-023-02163-0
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11253-023-02163-0