A Composite Wavelet–Rational Approach for Solving the Volterra’s Population Growth Model Over Semi-Infinite Domain
Abstract
In problems defined on a semi-infinite domain, rational Chebyshev or Laguerre functions are the generic choices of basis functions in spectral methods. The rationale is that if the solution is oscillatory near the origin, then large number of basis functions may be required to retrieve the spectral accuracy that is not convenient. In this paper, we propose a novel idea that combines Chebyshev wavelets and orthogonal rational functions for solving problems in semi-infinite domain numerically. The semi-infinite domain [0, ∞) is divided into two subdomains [0, α) and [α, ∞). As the basis functions, Chebyshev wavelets are considered in the subdomain [0, α) and a new class of orthonormal rational functions is derived on the semi-infinite subdomain [α, ∞). By constructing the operational matrices of derivative, integral, and product, and implementing the collocation method, the original problem is transcribed to a system of algebraic equations. A key feature of the method is that for a suitably chosen α, it yields good approximations to the solutions that first oscillate and then decay fast as t → ∞. Application of the proposed method to the Volterra’s model for population growth of a species in a closed system is explained. Numerical results show that the discrete solution exhibits exponential convergence as a function of suitable α and the number of collocation points.
1. Introduction
Problems in unbounded domains arise in many disciplines such as fluid dynamics, aerodynamics, quantum mechanics, electronics, astrophysics, biological mathematics, etc. [1, 2]. The analytical solutions to problems in unbounded domains are not readily attainable and thus the need for finding efficient computational algorithms for obtaining numerical solutions arises. In this respect, a variety of options are available. One of the methods is through the use of orthogonal polynomials over unbounded domains, such as Hermite or Laguerre spectral methods [1, 3, 4]. Another direct approach for solving such problems is based on the orthogonal rational approximations, such as rational Chebyshev, rational Legendre, and sinc and radial basis functions [5–9]. An alternative approach is the use of a suitable mapping to transfer infinite domains to finite domains and then applying the standard spectral methods to the transformed problems in finite domains [10, 11]. The domain truncation method is also a suggested method for problems in unbounded domains [12]. Each of these options has its own drawbacks. For instance, in the domain truncation method, the problem is solved only on a large but finite interval [0, L]. In the mapping method and orthogonal rational approximation, when the solution is oscillatory near the origin, large number of basis functions may be required to retrieve the spectral accuracy that is not convenient. Motivated by these deficiencies, we propose a composite wavelet–rational approach that combines the idea behind the domain decomposition and orthogonal rational approximations. Moreover, our new approach is highly suited for functions that first oscillate near the origin and then tend to zero as t goes to infinity.
The model problem (Equation 1) is a good test problem for investigating the efficiency and accuracy of numerical methods for solving nonlinear Volterra integro-differential equations. Hence, during the past two decades, several numerical methods have been developed for solving problem (Equation 1) and its fractional order version. For numerical methods for the classic Volterra’s population model, we refer the reader to [15–26] and for the fractional order version refer to [27–34]. In most of the mentioned numerical methods, the solution is obtained in a small interval [0, T] or even the obtained solution in the semi-infinite domain [0, ∞) does not have sufficient accuracy.
To remedy these deficiencies, we propose a composite spectral collocation method for solving (Equation 1) which is a combination of the domain truncation and rational approaches. We first divide the semi-infinite domain [0, ∞) into the subdomains [0, α) and [α, ∞), where α is chosen based on the value of κ. Chebyshev wavelets are utilized in the first subdomain and a new kind of rational orthogonal functions are introduced and implemented as basis functions in the second subinterval. Then, a composite function approximation is derived in the semi-infinite domain [0, ∞) and some error estimates are assessed. Next, operational matrices related to Chebyshev wavelets are reviewed and operational matrices of derivative, integral, and product of the new rational functions are derived for the first time. Finally, the collocation method using the shifted Chebyshev–Gauss–Radau points is implemented to approximate the solutions. In the numerical implementation, we show that by choosing a suitable value for α high accurate numerical results can be obtained over the entire interval [0, ∞).
This paper is organized as follows: In Section 2, some mathematical preliminaries are given. In Section 3, the new composite function approximation is introduced, and in Section 4, some error estimates are given. Section 5 is devoted to the operational matrices related to Chebyshev wavelets and the new set of rational functions. In Section 6, we derive our new composite collocation method. Numerical results are given in Section 7, and in Section 8, we provide some conclusions.
2. Preliminaries
In this section, we provide some properties of the Chebyshev wavelets required for our subsequent development. Then, a new class of rational orthonormal functions is derived.
2.1. Chebyshev Wavelets
Theorem 1. convergence: Any function with bounded second derivative on the interval I can be expanded as an infinite sum of Chebyshev wavelets and the series converges uniformly to the function f.
In Section 4, we will prove some results regarding the approximation error of the Chebyshev wavelet expansion, and in Section 5, we will derive the operational matrices of derivative, integration, and product of Chebyshev wavelets.
2.2. A Novel Orthogonal Rational Basis on the Interval [α, ∞)
Orthogonal rational functions, such as rational Jacobi functions, are very useful in approximating decaying functions defined on a semi-infinite interval and their properties have been extensively studied in the literature (refer to [6–9] for more details).
3. Composite Function Approximation
4. Error Estimates
According to Canuto et al. [37] (Chapter 5), we have Lemma 1.
Lemma 1. Let , s⩾0 and P M f be the truncated Chebyshev series of f and w be the Chebyshev weight. Then:
Theorem 2. Let , s⩾1, and h = 21−k α be the length of the subinterval I n . In addition, suppose that be a piecewise function consisting of w n on each I n . Then, whenever M⩾s − 1:
Proof. Using the definition of the Sobolev norm, we have the following equation:
Furthermore, for 1 ⩽ q ⩽ s and h ⩽ 1, we have the following equation:
Remark 1. In Equation (10), the considered basis {R m (t)} of rational functions on [α, ∞) is a new defined basis and as far as we know, there is no estimation for its approximation error in the literature. However, our numerical results show that this new basis possesses good accuracy for approximating the problem over semi-infinite interval [α, ∞).
5. Operational Matrices
In this section, we first explain the construction of three operational matrices based on Chebyshev wavelets on the interval [0, α). Then, we derive three operational matrices based on the aforementioned rational functions on the interval [α, ∞).
5.1. Chebyshev Wavelet Operational Matrix of Derivative on [0, α)
Theorem 3. Consider the vector function Ψ(t) of Chebyshev wavelets defined in Equation (10). For the first derivative of Ψ(t), we have the following equation:
Proof. It is well-known that the derivative of Chebyshev polynomials can be represented in terms of Chebyshev polynomials of lower orders, that is:
5.2. Chebyshev Wavelet Operational Matrix of Integration on [0, α)
Theorem 4. Consider the vector function Ψ(t) of Chebyshev wavelets defined in Equation (10). For the integral of Ψ(t), we have the following equation:
Proof. In order to express the integral of Ψ(t) in terms of Ψ(t) itself, we must first calculate the moments:
5.3. Chebyshev Wavelet Product Operational Matrix on [0, α)
We give an instance for derivation of the Chebyshev wavelet product operational matrix. For other cases, the same line can be followed.
Lemma 2. Consider the set of Chebyshev wavelets for M = 3, k = 3, and α = 2. Then, one has the following equation:
Proof. Using the definition of Chebyshev wavelets, we have the following equation:
5.4. Rational-Based Operational Matrix of Integration on [α, ∞)
5.5. Rational-Based Operational Matrix of Derivative on [α, ∞)
5.6. Rational-Based Product Operational Matrix on [α, ∞)
5.7. Operational Matrices of Composite Wavelet–Rational Approximation
6. The Solution Method
-
Step 1. For all values of κ, initialize with α = 2, k = 1, and M = 10.
-
Step 2. Compute ψ n m (t), 1 ⩽ n ⩽ 2 k−1, 0 ⩽ m ⩽ M − 1 using Equation (4) and R m (t), 0 ⩽ m ⩽ M − 1 using Equation (8).
-
Step 3. For the parameters of Step 1, derive the operational matrices of Section 5.
-
Step 4. Collocate (Equation 45) at the set of collocation points Equations (46) and (47) and solve the resulting system of nonlinear algebraic equations to obtain initial approximate solution using Equation (10).
-
Step 5. Using the initial approximate solution of Step 4, for each value of κ choose more appropriate value for α and repeat Steps 2–4 for various values of k and M.
7. Numerical Results
In this section, we examine the mathematical structure of the Volterra’s population growth model (Equation 1). The explicit exact solution to this problem is unavailable. Nevertheless, we know that if u 0 > 0 then u(t) > 0 for t⩾0. Furthermore, according to Wazwaz [15], we seek to study the rapid growth along the logistic curve that will reach a peak, followed by the slow exponential decay where the solution goes to zeros as t → ∞.
κ | α | k = 2, M = 15 | k = 3, M = 15 | Exact u max |
---|---|---|---|---|
0.02 | 0.9234920 | 0.923427494 | 0.9234271720702181 | |
0.04 | 0.8737205 | 0.87371998315982 | 0.8737199831539955 | |
0.1 | 0.7697414906998 | 0.76974149070048 | 0.7697414907005955 | |
0.2 | 1 | 0.659050381552355 | 0.659050381552344 | 0.6590503815523149 |
0.5 | 2 | 0.485190291409431 | 0.485190291409428 | 0.4851902914094209 |
κ | MADM-P [15] | HFC [18] | DRBF [19] | HWQ [31] |
Present method (k = 3, M = 15) |
---|---|---|---|---|---|
0.02 | 1.96 × 10−2 | 1.32 × 10−7 | 3.0 × 10−11 | 1.1 × 10−10 | 3.22 × 10−7 |
0.04 | — | 3.15 × 10−9 | 4.6 × 10−11 | 3.4 × 10−12 | 5.82 × 10−12 |
0.1 | 4.63 × 10−3 | 7.00 × 10−10 | 9.4 × 10−12 | 7.2 × 10−12 | 1.15 × 10−13 |
0.2 | 1.14 × 10−3 | 1.60 × 10−9 | 5.2 × 10−11 | 5.7 × 10−13 | 2.91 × 10−14 |
0.5 | 9.21 × 10−5 | 8.50 × 10−9 | 9.4 × 10−12 | 4.9 × 10−14 | 7.11 × 10−15 |
κ | α | M = 5 | M = 10 | M = 15 |
---|---|---|---|---|
0.02 | 1.33 × 10−1 | 5.49 × 10−3 | 6.77 × 10−5 | |
0.04 | 3.42 × 10−3 | 7.62 × 10−6 | 8.38 × 10−9 | |
0.1 | 7.86 × 10−3 | 9.46 × 10−7 | 7.73 × 10−10 | |
0.2 | 1 | 4.35 × 10−4 | 2.96 × 10−8 | 9.64 × 10−10 |
0.5 | 2 | 5.36 × 10−4 | 3.45 × 10−8 | 1.21 × 10−11 |

8. Conclusions
A new composite wavelet–rational approach has been proposed for solving integro-differential equations on semi-infinite intervals. This new method was successfully tested on the Volterra model for population growth of a species in a closed system. We divided the semi-infinite domain of the problem into two parts and employed Chebyshev wavelets for the finite subdomain and a class of orthonormal rational functions for the semi-infinite subdomain. It was shown that this domain decomposition can be effectively made based on the structure of the solution. Appropriate sets of collocation points in each subdomain were considered. This approach is easy to be implemented and possesses the spectral accuracy. Numerical results show the excellent agreement between the approximate and exact values for u max. Moreover, the new method has superiority over some other numerical methods for semi-infinite calculations such as the Padé approximation, radial basis functions, and HFC methods. As suggestions for future works, the proposed method can be extended to fractional order problems. Also, further works are required to obtain estimation for approximation errors of the new basis of rational functions {R m (t)}.
Conflicts of Interest
The authors declare no conflicts of interest.
Funding
This study receives no funding.
Open Research
Data Availability Statement
The data supporting this study’s findings are openly available through the text.