In this paper, we consider the higher-order Umbral Differential Problem (UDP). It consists of a nonlinear ordinary differential equation of order $ r+1 $, $ r > 0 $, associated with an Umbral Interpolation Problem (UIP) with $ r+1 $ conditions. We prove the existence and uniqueness of the solution to the UIP and study the error using Peano's Kernel. This class includes, for example, the classical Initial Value Problem (or Cauchy Problem) and a more recent case, the so-called Bernoulli boundary problem, also referred to as a non-classical boundary problem. We then use a Birkoff-Lagrange collocation method for obtaining numerical solutions. Two new examples of UDPs are presented and analyzed. The first is the Euler Umbral Differential Problem, so named because the solution to the associated UIP is expressed in terms of Euler polynomials. The second example is a higher-order problem whose interpolation conditions are expressed using iterated forward finite differences. These conditions are equivalent to multipoint conditions; therefore, the related UDP is called Multipoint Value Problem. Finally, we present some numerical tests. The results confirm the effectiveness of the proposed method. Conclusions, along with directions for future research, are provided.
Citation: Francesco A. Costabile, Maria I. Gualtieri, Anna Napoli. Higher-order Umbral Differential Problems for ODEs: Theoretical foundations and computational methods[J]. AIMS Mathematics, 2025, 10(10): 24836-24856. doi: 10.3934/math.20251100
In this paper, we consider the higher-order Umbral Differential Problem (UDP). It consists of a nonlinear ordinary differential equation of order $ r+1 $, $ r > 0 $, associated with an Umbral Interpolation Problem (UIP) with $ r+1 $ conditions. We prove the existence and uniqueness of the solution to the UIP and study the error using Peano's Kernel. This class includes, for example, the classical Initial Value Problem (or Cauchy Problem) and a more recent case, the so-called Bernoulli boundary problem, also referred to as a non-classical boundary problem. We then use a Birkoff-Lagrange collocation method for obtaining numerical solutions. Two new examples of UDPs are presented and analyzed. The first is the Euler Umbral Differential Problem, so named because the solution to the associated UIP is expressed in terms of Euler polynomials. The second example is a higher-order problem whose interpolation conditions are expressed using iterated forward finite differences. These conditions are equivalent to multipoint conditions; therefore, the related UDP is called Multipoint Value Problem. Finally, we present some numerical tests. The results confirm the effectiveness of the proposed method. Conclusions, along with directions for future research, are provided.
| [1] |
R. P. Agarwal, Recent results on multipoint boundary value problems for higher order differential equations, North-Holland Math. Stud., 110 (1985), 7–15. https://doi.org/10.1016/S0304-0208(08)72682-3 doi: 10.1016/S0304-0208(08)72682-3
|
| [2] |
H. M. Ahmed, Enhanced shifted Jacobi operational matrices of derivatives: Spectral algorithm for solving multiterm variable-order fractional differential equations, Bound. Value Probl., 2023 (2023), 108. https://doi.org/10.1186/s13661-023-01796-1 doi: 10.1186/s13661-023-01796-1
|
| [3] |
H. M. Ahmed, Enhanced shifted Jacobi operational matrices of integrals: Spectral algorithm for solving some types of ordinary and fractional differential equations, Bound. Value Probl., 2024 (2024), 75. https://doi.org/10.1186/s13661-024-01880-0 doi: 10.1186/s13661-024-01880-0
|
| [4] | R. Boas, R. Buck, Polynomial expansions of analytic functions, Berlin: Springer-Verlag, 1958. |
| [5] |
R. Boas, Representation of functions by Lidstone series, Duke Math. J., 10 (1943), 239–245. https://doi.org/10.1215/S0012-7094-43-01021-X doi: 10.1215/S0012-7094-43-01021-X
|
| [6] | J. C. Butcher, Numerical methods for ordinary differential equations, Hoboken: John Wiley & Sons, 2016. |
| [7] | S. Chowdhury, S. B. Faruque, P. K. Das, Numerical solutions of boundary value problems of non-linear differential equations, Virginia Beach: Chapman and Hall/CRC, 2021. |
| [8] | E. A. Coddington, N. Levinson, Theory of ordinary differential equations, New York: McGraw-Hill Book Co., 1984. |
| [9] |
F. Costabile, A. Napoli, A class of collocation methods for numerical integration of initial value problems, Comput. Math. Appl., 62 (2011), 3221–3235. https://doi.org/10.1016/j.camwa.2011.08.036 doi: 10.1016/j.camwa.2011.08.036
|
| [10] |
F. Costabile, A. Napoli. Numerical solution of high order Bernoulli boundary value problems, J. Appl. Math., 2014 (2014), 276585. https://doi.org/10.1155/2014/276585 doi: 10.1155/2014/276585
|
| [11] | F. A. Costabile, Modern umbral calculus. An elementary introduction with applications to linear interpolation and operator approximation theory, Berlin: De Gruyter GmbH & Co KG, 2019. |
| [12] | F. A. Costabile, M. I. Gualtieri, A. Napoli, Relationship between interpolation and differential equations: A class of collocation methods, In: Dynamical systems: Analytical and computational techniques, 2017,169–189. |
| [13] |
F. A. Costabile, M. I. Gualtieri, A. Napoli, Polynomial sequences and their applications, Mathematics, 10 (2022), 4804. https://doi.org/10.3390/math10244804 doi: 10.3390/math10244804
|
| [14] |
F. A. Costabile, M. I. Gualtieri, A. Napoli, The parabolic mean operator and related polynomial sequence 1: A theoretical approach, Calcolo, 62 (2025), 18. https://doi.org/10.1007/s10092-025-00641-4 doi: 10.1007/s10092-025-00641-4
|
| [15] |
F. A. Costabile, M. I. Gualtieri, A. Napoli, Umbral interpolation: A survey, Mathematics, 13 (2025), 271. https://doi.org/10.3390/math13020271 doi: 10.3390/math13020271
|
| [16] |
F. A. Costabile, E. Longo, The Appell interpolation problem, J. Comput. Appl. Math., 236 (2011), 1024–1032. https://doi.org/10.1016/j.cam.2011.07.001 doi: 10.1016/j.cam.2011.07.001
|
| [17] | F. A. Costabile, E. Longo, Umbral interpolation, Publ. Inst. Math., 99 (2016), 165–175. https://doi.org/10.2298/PIM1613165C |
| [18] | F. A. Costabile, E. Longo, R. Luceri, A new proof of uniform convergence of Bernoulli and Lidstone series for entire real functions of exponential type, Rendiconti dell'Istituto Lombardo Accademia di Scienze e Lettere, Classe di Scienze Matematiche Fisiche e Naturali, 143 (2009), 63–70. |
| [19] |
F. A. Costabile, A. Napoli, Collocation for high order differential equations with two-points Hermite boundary conditions, Appl. Numer. Math., 87 (2015), 157–167. https://doi.org/10.1016/j.apnum.2014.09.008 doi: 10.1016/j.apnum.2014.09.008
|
| [20] |
F. A. Costabile, A. Napoli, A class of Birkhoff-Lagrange-collocation methods for high order boundary value problems, Appl. Numer. Math., 116 (2017), 129–140. https://doi.org/10.1016/j.apnum.2016.12.003 doi: 10.1016/j.apnum.2016.12.003
|
| [21] | F. A. Costabile, A. Serpe, On Bernoulli boundary value problem, Le Mate., 62 (2007), 163–173. |
| [22] | F. A. Costabile, A. Serpe, A. Bruzio, No classic boundary conditions, In: Proceedings of World Congress on Engineering 2007, London, 2007,918–921. |
| [23] | P. J. Davis, Interpolation and approximation, North Chelmsford: Courier Corporation, 1975. |
| [24] |
K. I. Falade, A numerical approach for solving high-order boundary value problems, Int. J. Math. Sci. Comput., 5 (2019), 1–16. https://doi.org/10.5815/ijmsc.2019.03.01 doi: 10.5815/ijmsc.2019.03.01
|
| [25] |
A. M. Garsia, An exposá of the Mullin-Rota theory of polynomials of binomial type, Linear Multilinear Algebra, 1 (1973), 47–65. https://doi.org/10.1080/03081087308817005 doi: 10.1080/03081087308817005
|
| [26] | K. Jordán, Calculus of finite differences, New York: Chelsea Publishing Company, 1965. |
| [27] | G. M. Phillips, Interpolation and approximation by polynomials, Berlin: Springer Science & Business Media, 2003. |
| [28] | S. M. Roman, G. C. Rota, The umbral calculus, Adv. Math., 27 (1978), 95–188. https://doi.org/10.1016/0001-8708(78)90087-7 |
| [29] | L. N. Trefethen, Approximation theory and approximation practice, extended edition, Philadelphia: SIAM, 2019. |
| [30] |
D. V. Widder, Completely convex functions and Lidstone series, Trans. Am. Math. Soc., 51 (1942), 387–398. https://doi.org/10.2307/1989952 doi: 10.2307/1989952
|