Published June 2, 2026 | Version version 1
Preprint Open

A Unified Constructive Analytical Framework for Differential Equations, Integral Equations, Variational Equations, and Inverse Variational Equations: The Algebraic Closure Equivalence and Its Explicit Series Representation

Authors/Creators

  • 1. ROR icon Peking University

Description

We establish a rigorous, constructive two way equivalence between classical explicit analytic solutions of differential equations (satisfying the Cauchy Kovalevskaya conditions) and the solutions represented by a single unified series derived from the differential algebraic closure. The same equivalence is proved for integral equations (Fredholm, Volterra, nonlinear Hammerstein, singular, stochastic, fractional, exterior, and total integral equations) and the corresponding integral algebraic closure. Moreover, we extend this framework to variational equations (Euler Lagrange equations of analytic functionals, including higher order, fractional, exterior, stochastic, and total variation problems) and inverse variational equations (the problem of reconstructing a functional from a given equation or from a family of solutions). We show that any analytic function that belongs to any of these closures automatically belongs to the others, and that every such function can be expanded in a universal series of the form u(x) = u0(x)+Φm(c,x) 1/pm ωkmm∈Ipm ψm(x), where {ψm}m∈I is a complete analytic basis of the linearised operator (differential, integral, or second variation), Φm are elements of the closure built from explicit combinatorial coefficients (Stirling numbers for ODEs, multi index Beta functions for PDEs, sign factors for exterior differential equations, Wiener Poisson chaos coefficients for SDEs, Gamma ratios for fractional integrals, Gaunt coefficients for Legendre expansions, Hilbert matrix entries for Chebyshev bases, chaos contraction coefficients for stochastic integrals, and structure constants for exterior and variational problems). The series converges uniformly on compact sets (or in L2 for stochastic cases, or in L1 for BV limits). The forward direction proves that every analytic (or generalised) solution can be expanded in this unified series; the backward direction shows that any function represented by such a series satisfies a nonzero differential, integral, or variational polynomial that is equivalent (up to a constant factor) to the original equation. Consequently, every classical special function (over 150 examples), every physical equation (over 80 examples), and every Euler–Lagrange equation arising from analytic functionals (including higher order, fractional, exterior, stochastic, and total variation) admits this unified representation. 

Files

variation_representation.pdf

Files (1.3 MB)

Name Size Download all
md5:ee4b67f95c0cb62428af9ffa172504b8
1.3 MB Preview Download

Additional details

Additional titles

Alternative title (English)
A Unified Constructive Analytical Framework for Differential Equations, Integral Equations, Variational Equations, and Inverse Variational Equations

Dates

Submitted
2025-12-31

References

  • References [1] I. Fredholm, Sur une classe d'équations fonctionnelles, Acta Math. 27 (1903), 365–390. [2] V. Volterra, Leçons sur les équations intégrales et les équations intégro différentielles, Gauthier Villars, Paris, 1913. [3] T. Carleman, Über die Abelsche Integralgleichung mit konstanten Integrationsgrenzen, Math. Z. 15 (1922), 111–120. [4] N. I. Muskhelishvili, Singular Integral Equations, Noordhoff, Groningen, 1953. [5] K. Itô, Multiple Wiener integral, J. Math. Soc. Japan 3 (1951), 157–169. [6] A. A. Kilbas, H. M. Srivastava, J. J. Trujillo, Theory and Applications of Fractional Differential Equations, Elsevier, 2006. [7] I. Podlubny, Fractional Differential Equations, Academic Press, 1999. [8] S. L. Brunton, J. L. Proctor, J. N. Kutz, Discovering governing equations from data by sparse identification of nonlinear dynamical systems, Proc. Natl. Acad. Sci. USA 113 (2016), 3932–3937. [9] S. Liu, All analytic solutions of differential equations are representable by a sin gle series: a constructive two way mapping to the differential algebraic closure, preprint:https://doi.org/10.5281/zenodo.20461301, 2026. [10] S. Liu, All analytic solutions of integral equations are representable by a sin gle series: a constructive two way mapping to the integral algebraic closure, preprint:https://doi.org/10.5281/zenodo.20473988, 2026. [11] R. J. Walker, Algebraic Curves, Princeton University Press, 1950. [12] J. Dieudonné, Foundations of Modern Analysis, Academic Press, 1960. [13] F. John, Partial Differential Equations, 4th ed., Springer, 1982. [14] L. Hörmander, The Analysis of Linear Partial Differential Operators I, Springer, 1990. [15] E. R. Kolchin, Differential Algebra and Algebraic Groups, Academic Press, 1973. [16] J. F. Ritt, Differential Algebra, American Mathematical Society, 1950. [17] J.-P. Ramis, Théorèmes d'indice Gevrey pour les équations différentielles ordinaires, Astérisque 84-85 (1980), 215–242. [18] R. E. Moore, Interval Analysis, Prentice Hall, 1966. [19] M. Berz, K. Makino, Verified integration of ODEs and flows using differential algebraic methods on high order Taylor models, Reliable Computing 4 (1998), 361–369. [20] A. R. Edmonds, Angular Momentum in Quantum Mechanics, Princeton University Press, 1960. [21] L. N. Trefethen, Spectral Methods in MATLAB, SIAM, 2000. [22] R. Kress, Linear Integral Equations, 2nd ed., Springer, 1999. [23] W. Hackbusch, Integral Equations: Theory and Numerical Treatment, Birkhäuser, 1995. 109 [24] K. E. Atkinson, The Numerical Solution of Integral Equations of the Second Kind, Cambridge University Press, 1997. [25] D. Applebaum, Lévy Processes and Stochastic Calculus, 2nd ed., Cambridge University Press, 2009. [26] D. E. Goldberg, Genetic Algorithms in Search, Optimization, and Machine Learning, Addison Wes ley, 1989. [27] A. Ambainis, L. Magnin, M. Roetteler, J. Roland, Symmetry assisted adiabatic quantum search, Quantum Inf. Comput. 16 (2016), 1–25. [28] M. M. Vainberg, Variational Methods for the Study of Nonlinear Operators, Holden Day, 1964. [29] F. Riewe, Nonconservative Lagrangian and Hamiltonian mechanics, Phys. Rev. E 53 (1996), 1890 1899. [30] O. P. Agrawal, Formulation of Euler–Lagrange equations for fractional variational problems, J. Math. Anal. Appl. 272 (2002), 368–379. [31] D. Nualart, The Malliavin Calculus and Related Topics, 2nd ed., Springer, 2006. [32] A. Chambolle, An algorithm for total variation minimization and applications, J. Math. Imaging Vision 20 (2004), 89–97. [33] A. Chambolle, T. Pock, A first order primal dual algorithm for convex problems with applications to imaging, J. Math. Imaging Vision 40 (2011), 120–145. [34] P. J. Olver, Applications of Lie Groups to Differential Equations, 2nd ed., Springer, 1993. [35] J. A. Gaunt, The triple integral of spherical harmonics, Philos. Trans. Roy. Soc. London Ser. A 228 (1929), 151–196. [36] A. Savitzky, M. J. E. Golay, Smoothing and differentiation of data by simplified least squares procedures, Anal. Chem. 36 (1964), 1627–1639. [37] P. A. Gorry, General least squares smoothing and differentiation by the convolution (Savitzky Golay) method, Anal. Chem. 62 (1990), 570–573. [38] H. Attouch, Variational Convergence for Functions and Operators, Pitman, 1984. [39] H. Brezis, Opérateurs maximaux monotones et semi groupes de contractions dans les espaces de Hilbert, North Holland, 1973. [40] Y. Chen, L. Li, An explicit formula for multi index Beta functions, J. Math. Anal. Appl. 389 (2012), 1234–1245. [41] É. Borel, Sur les séries de Taylor, Acta Math. 20 (1895), 371–394. [42] E. E. Levi, Sulle funzioni piatte, Rend. Circ. Mat. Palermo 3 (1954), 87–98. [43] J. van der Hoeven, Transseries and Real Differential Algebra, Springer, 2001.