- Research
- Open Access
- Published:
Green’s function homotopy perturbation method for the initial-boundary value problems
Advances in Difference Equations volume 2019, Article number: 419 (2019)
Abstract
This article deals with the novel method for finding solutions for the initial-boundary value problems (IBVPs), which is called the Sawangtong’s Green function homotopy perturbation method, shortly called SGHPM. The SGHPM is a method which combines the homotopy perturbation method with Green’s function method. The convergence analysis for the SGHPM is shown. Furthermore, some examples are presented to illustrate the validity of the proposed method and to ensure that SGHPM is a technique which is powerful and efficient for finding approximate analytic solutions of IBVPs.
1 Introduction
It has been known for a long time that Green’s function method is a powerful classical one for analytical manipulation of solution of boundary value problems. Furthermore, the homotopy perturbation method (HPM) is a technique which is powerful and efficient for finding approximate analytic solutions of nonlinear initial value problems without the need of a linearization process. The HPM was first introduced by He in 1998 [3, 4]. In general, HPM and Green’s function method have been successfully applied to solve many linear and nonlinear equations in science and engineering by many authors [2,3,4,5,6].
The main objective of this article is to propose a novel method for finding solutions for the initial-boundary value problems (IBVPs), which is called the Sawangtong’s Green function homotopy perturbation method (SGHPM). The SGHPM is a combination of HPM and Green’s function method.
The organization of the rest of the paper is as follows. The idea of SGHPM is given in Sect. 2. In Sect. 3, the solution existence and convergence analysis for SGHPM method are investigated. The applications of SGHPM for finding an analytical solution for IBVPs are verified in Sect. 4. The last section deals with the conclusions about the SGHPM technique.
2 Basic idea of SGHPM
Let a, b and T be positive constants with \(0< a< b\) and \(0< T\leq \infty \). To illustrate the basic ideas of the new method, we consider the following initial-boundary value problem (IBVP):
where \(u_{0}\) is a given function, k, \(k^{\prime }\) and r are continuous on \([a,b]\), \(k(x)>0\) on \([a,b]\) and \(r(x)>0\) on \([a,b]\), and \(\alpha _{i}\) and \(\beta _{i}\) for \(i=1,2\) are real constants such that \(\alpha _{1}\alpha _{2}\geq 0\), \(\alpha _{1}^{2}+\alpha _{2}^{2}\neq 0\), \(\beta _{1}\beta _{2}\geq 0\) and \(\beta _{1}^{2}+\beta _{2}^{2}\neq 0\). Let \(G(x,t,\xi ,\tau )\) denote Green’s function corresponding to the IBVP (1). Based on the eigenfunction expansion technique [2], Green’s function is defined by
where \(\lambda _{k}\) and \(\phi _{k}\) are eigenvalue and its corresponding eigenfunction given by the following regular Sturm–Liouville problem:
Note that the following properties are well-known for the regular Sturm–Liouville problem:
-
1.
All the eigenvalues of the Sturm–Liouville problem (3) are real.
-
2.
All the eigenvalues of the Sturm–Liouville problem (3) are simple, that is, to each eigenvalue there corresponds only one linearly independent eigenfunction. Further, the eigenvalues form an infinite sequence and can be ordered according to increasing magnitude so that \(\lambda _{1}<\lambda _{2}<\lambda _{3}<\cdots <\lambda _{n}<\cdots \).
-
3.
Eigenfunctions \(\phi _{n}\) are real and can be normalized so that \(\int _{a}^{b}r(x)\phi _{n}^{2}(x)\,dx=1\).
-
4.
If \(\phi _{n}\) and \(\phi _{m}\) are two eigenfunctions of the Sturm–Liouville problem (3) corresponding to eigenvalues \(\lambda _{n}\) and \(\lambda _{m}\), respectively, and if \(\lambda _{n}\neq \lambda _{m}\), then \(\int _{a}^{b}r(x)\phi _{n}(x)\phi _{m}(x)\,dx=0\).
-
5.
The set of eigenfunctions \(\{ \phi _{n} \} \) is complete.
Using Green’s second identity, the IBVP (1) can be transformed into the associated integral equation
By the homotopy perturbation technique [3, 4], we construct a homotopy \(v(x,t;p):[a,b]\times {}[ 0,T]\times {}[ 0,1] \rightarrow R\) which satisfies
where \(p\in {}[ 0,1]\) is an embedding parameter and \(\widetilde{v}_{0}(x,t)\) is an initial guess for (5), which satisfies initial and boundary conditions that can be freely chosen [1]. Equation (5) is called a homotopy equation. Equivalently, it can be written as follows:
Obviously, we have
By the HPM technique, the solution \(v(x,t;p)\) in Eq. (6) is presented by the infinite series
By substituting Eq. (7) into Eq. (6), we obtain
By equating the coefficients of the corresponding powers of p one can find an approximate solution \(v_{n}(x,t)\) for \(n=0,1,2,\dots \) of Eq. (7). We then get the recurrence relation as given below:
From Eq. (7), the solution \(v(x,t;p)\) is
As p converges to 1, the approximate analytical solution \(u(x,t)\) of IBVP (1) can be expressed as
3 Solution existence and convergence analysis
In order to obtain the existence result for problem (1), let us introduce the Banach space \(C ( [a,b] \times [0,T] )\). The \(C ( [a,b]\times {}[ 0,T] )\) is the space of all continuous functions on \([a,b]\times [0,T]\), and its norm is defined by \(\Vert u \Vert = \max_{(x,t)\in {}[ a,b]\times {}[ 0,T]} \vert u( \xi ,\tau ) \vert \) for any \(u \in C ( [a,b]\times {}[ 0,T] )\). The existence of the solution for problem (1) is established in the following theorem.
Theorem 1
Assume that \(\int _{0}^{T}\int _{a}^{b}G(x,t,\xi ,\tau )\,d\xi \,d\tau <1\) for any \((x,t)\in {}[ a,b]\times {}[ 0,T]\). Then, problem (1) has a unique solution \(u\in C ( [a,b] \times {}[ 0,T] ) \).
Proof
Let us consider the corresponding integral equation (4) to problem (1):
Let F be an operator such that \(F:C ( [a,b]\times {}[ 0,T] ) \) \(\rightarrow C ( [a,b]\times {}[ 0,T] ) \) and
We next will show that operator F is contractive. Let u and v be in \(C ( [a,b]\times {}[ 0,T] ) \). Then by the positivity G and for any \((x,t)\in {}[ a,b]\times {}[ 0,T]\),
This implies that \(\Vert Fu-Fv \Vert \leq \int _{0} ^{T}\int _{a}^{b}G(x,t,\xi ,\tau )\,d\xi \,d\tau \Vert u-v \Vert \), i.e., F is a contraction mapping. Therefore, the Banach fixed point theorem yields that the integral equation (4) has a unique solution, or equivalently, problem (1) has a unique solution \(u\in C ( [a,b]\times {}[ 0,T] ) \). □
The convergence of the SGHPM is described in the theorem below.
Theorem 2
Assume that \(\int _{0}^{T}\int _{a}^{b}G(x,t,\xi ,\tau )\,d\xi \,d\tau <1\) for any \((x,t)\in {}[ a,b]\times {}[ 0,T]\). Let \(\{ v_{n} \} _{n=0}^{\infty }\) be a sequence in a Banach space \(C ( [a,b]\times {}[ 0,T] ) \) given by (8). If there exists a positive constant σ with \(0<\sigma <1\) and \(v_{n}(x,t)\leq \sigma v_{n-1}(x,t)\) for any \((x,t)\in {}[ a,b]\times {}[ 0,T]\) and \(n=1,2,3, \ldots \) , then the infinite series \(\sum_{n=0}^{\infty }v_{n}\) converges to u, where u is the solution of problem (1).
Proof
Let \(S_{n}\) be the nth partial sum of the series \(\sum_{n=0}^{\infty }v_{n}\). Firstly, we will show that the sequence \(\{ S_{n} \} _{n=0}^{\infty }\) be a Cauchy sequence in \(C ( [a,b]\times {}[ 0,T] ) \).
Let \(m,l\in N\) be such that \(m>l\). Then for any \((x,t)\in {}[ a,b] \times {}[ 0,T]\),
Thus,
By (9), we obtain that for any \((x,t)\in {}[ a,b]\times {}[ 0,T]\),
It follows from \(0<\sigma <1\) that \(\Vert S_{m}-S_{l} \Vert \leq \frac{\sigma ^{l+1}}{1-\sigma } \Vert v_{0} \Vert \). As \(l\rightarrow \infty \), we can conclude that sequence \(\{ S _{n} \} _{n=0}^{\infty }\) is a Cauchy sequence in \(C ( [a,b] \times {}[ 0,T] ) \). Let \(\widetilde{u}= \lim_{n\rightarrow \infty }S_{n}\). Since u is the solution of problem (1), u satisfies
Suppose that \(\widetilde{u}\neq u\). Then by the positivity of G and for any \((x,t)\in {}[ a,b]\times {}[ 0,T]\),
This means that \(\Vert \widetilde{u}-u \Vert \leq \int _{0}^{T}\int _{a}^{b}G(x,t,\xi ,\tau )\,d\xi \,d\tau \Vert \widetilde{u}-u \Vert \). Since \(\Vert \widetilde{u}-u \Vert \neq 0\), we obtain that \(\int _{0}^{T}\int _{a}^{b}G(x,t,\xi ,\tau )\,d\xi \,d\tau \geq 1\) for any \((x,t)\in {}[ a,b]\times {}[ 0,T]\). This contradicts the assumption that \(\int _{0}^{T}\int _{a} ^{b}G(x,t,\xi ,\tau )\,d\xi \,d\tau <1\) for any \((x,t)\in {}[ a,b] \times {}[ 0,T]\). Hence, the series \(\sum_{n=0}^{\infty }v_{n}\) converges to u, which is the solution of problem (1). □
Theorem 3
Let λ̃ be the principal eigenvalue of the regular Sturm–Liouville problem (3) with \(\widetilde{\lambda }>0\) and let ϕ̃ be the principal eigenfunction associated with the principal eigenvalue.
If \(u_{0}=\widetilde{\phi }\), then the analytical solution of problem (1) is the of form \(u(x,t)=(b-a)\widetilde{\phi }(x)e ^{-(\widetilde{\lambda }-1)t}\) for any \((x,t)\in {}[ a,b]\times {}[ 0,T] \).
Proof
By Green’s second identity, the IBVP (1) can be transformed into the integral equation
where \(G(x,t,\xi ,\tau )\) is the corresponding Green’s function and
By HPM technique, the homotopy \(v(x,t;p):[a,b]\times {}[ 0,T] \times {}[ 0,1]\rightarrow R\) is defined by
where \(p\in {}[ 0,1]\) is an embedding parameter, \(\widetilde{v} _{0}\) is an initial function which can be chosen freely, and \(\widetilde{v}_{0}\) satisfies the initial and boundary conditions of problem (1). We see that
The case of \(p=1\) means that \(v(x,t;1)\) satisfies the corresponding integral equation to problem (1), or equivalently \(v(x,t;1)\) is the analytical solution of problem (1). By the HPM technique, we assume \(v(x,t;p)=\sum_{n=0}^{\infty }p ^{n}v_{n}(x,t) \) and then substitute \(v(x,t;p)=\sum_{n=0}^{ \infty }p^{n}v_{n}(x,t) \) into (10). We then have that
or
First, we set \(\widetilde{v}_{0}(x,t)= ( \frac{b-a}{2} ) \widetilde{\phi }(x)e^{-\widetilde{\lambda }t}\). Then \(v_{0}(x,t)= \widetilde{v}_{0}(x,t)= ( \frac{b-a}{2} ) \widetilde{\phi }(x)e^{-\widetilde{\lambda }t}\). We next consider that
From the orthogonality of eigenfunctions we get
Next we have that
and
From the above calculations, we obtain that
for any \(n\geq 1\). Since \(v(x,t;p)=\sum_{n=0}^{\infty }p^{n}v _{n}(x,t)\), we have
As p converges to 1, the analytic solution \(u(x,t)\) of problem (1) is given by
Hence, problem (1) has an analytic solution \(u(x,t)=(b-a)\widetilde{\phi }(x)e^{-(\widetilde{\lambda }-1)t}\) where λ̃ is the principal eigenvalue and ϕ̃ is its corresponding principal eigenfunction of the regular Strum–Liouville problem defined by (3). □
Note that if the principal eigenvalue λ̃ is zero, then we let the initial function \(u_{0}=\phi _{1}\), which is the eigenfunction \(\phi _{k}\) with \(k=1\). We apply the method in Theorem 3 and then obtain the analytical solution of the IBVP (1) in the following form: \(u(x,t)=(b-a)\phi _{1}(x)e^{-(\lambda _{1}-1)t}\) for any \((x,t)\in {}[ a,b]\times {}[ 0,T]\) and \(\lambda _{1}\) being the eigenvalue corresponding to the eigenfunction \(\phi _{1}\).
4 Applications
To illustrate the SGHPM for solving the IBVPs, we consider the following examples.
Example 1
Consider the heat equation problem with the Dirichlet boundary condition:
The regular Sturm–Liouville problem corresponding to problem (11) is
It is well-known that the regular Sturm–Liouville problem (12) has eigenvalues and eigenfunctions given by
We see that these eigenfunctions are orthogonal, and that the set \(\{ \sqrt{2}\sin ( k\pi x ) \} _{k=1} ^{\infty }\) consists of orthonormal eigenfunctions. Furthermore, the corresponding Green’s function of the IBVP (11) is defined by
For this BVP (11), we see that the principal eigenvalue \(\widetilde{\lambda }=\pi ^{2}\) is not zero and its corresponding eigenfunction is \(\widetilde{\phi }(x)=\sin ( \pi x ) \). It then follows from Theorem 3 that the analytical solution of IBVP (11) is given by \(u(x,t)=\sin ( \pi x ) e ^{-(\pi ^{2}-1)t}\) for any \((x,t)\in {}[ 0,1]\times {}[ 0,T]\).
Example 2
Consider the heat equation problem with the Neumann boundary condition:
The regular Sturm–Liouville problem associated with problem (14) is defined by
The regular Sturm–Liouville problem (12) has eigenvalues and eigenfunctions given by
respectively. We then have that these eigenfunctions are orthogonal, and that the set \(\{ 1 \} \cup \{ \sqrt{2}\cos ( k\pi x ) \} _{k=1}^{\infty }\) consists of orthonormal eigenfunctions. Furthermore, the corresponding Green’s function of IBVP (14) is defined by
In this example, we see that the principal eigenvalue λ̃ is zero. Then we assume the initial function \(u_{0}\) by \(u_{0}(x)=\phi _{1}(x)=\cos ( \pi x ) \). By applying Theorem 3, the analytical solution of IBVP (14) is defined by \(u(x,t)=\cos ( \pi x ) e^{-(\pi ^{2}-1)t}\) for any \((x,t)\in {}[ 0,1]\times {}[ 0,T]\).
Example 3
Consider the heat equation problem with the periodic boundary condition:
The regular Sturm–Liouville problem of the problem (16) is the following:
It’s well-known that the eigenvalues and eigenfunctions of the regular Sturm–Liouville problem (17) are
respectively. The set \(\{ \sqrt{2}\sin ( 2k\pi x ) \} _{k=1}^{\infty }\) forms an orthonormal set. Moreover, the Green’s function of IBVP (16) is of the form:
It follows from Theorem 3 that \(u(x,t)=\sin ( 2\pi x ) e ^{- ( 4\pi ^{2}-1 ) t}\) for any \((x,t)\in {}[ 0,1] \times {}[ 0,T]\) is the analytic solution of problem (16).
Example 4
Consider the following heat equation problem with the Dirichlet condition:
Let us consider the equation: \(u_{t}(x,t)=u_{xx}(x,t)+3u_{x}(x,t)+u(x,t)\). It can be rewritten in the form:
Thus, the regular Sturm–Liouville problem corresponding to problem (18) is
The characteristic equation of Eq. (19) is
with zeroes
If \(\lambda <\frac{9}{4}\), then \(r_{1}\) and \(r_{2}\) are real and distinct, so the general solution of the differential equation in Eq. (19) is
where \(c_{1}\) and \(c_{2}\) are arbitrary constants. The boundary conditions require that \(c_{1}+c_{2}=0\) and \(c_{1}e^{r_{1}}+c_{2}e ^{r_{2}}=0\). Since the determinant of this system is \(e^{r_{2}}-e^{r _{1}}\neq 0\), the system has only the trivial solution. Therefore λ isn’t an eigenvalue of Eq. (19).
If \(\lambda =\frac{9}{4}\), then \(r_{1}=r_{2}=-3/2\), so the general solution of the differential equation in Eq. (19) is
where \(c_{1}\) and \(c_{2}\) are arbitrary constants. The boundary condition \(\phi (0)=0\) requires that \(c_{1}=0\), so \(\phi (x)=c_{2}xe ^{r_{1}x}\) and the boundary condition \(\phi (1)=0\) requires that \(c_{2}=0\). Therefore \(\lambda =9/4\) isn’t an eigenvalue of Eq. (19).
If \(\lambda >\frac{9}{4}\) then
with
In this case the general solution of the differential equation in Eq. (19) is
where \(c_{1}\) and \(c_{2}\) are arbitrary constants. The boundary condition \(\phi (0)=0\) requires that \(c_{1}=0\), so \(\phi (x)=c_{2}e ^{-\frac{3x}{2}}\sin \omega x\). Furthermore, the boundary condition \(\phi (1)=0\) holds with \(c_{2}\neq 0\) if and only if \(\omega =k\pi \) for any \(k=1,2,3,\ldots \) . Then the eigenvalues are \(\lambda _{k}=k^{2}\pi ^{2}+\frac{9}{4}\), with associated eigenfunctions \(\phi _{k}(x)=c_{2}e ^{-\frac{3x}{2}}\sin ( k\pi x ) \) for any \(k=1,2,3,\ldots \) . We then have that eigenfunctions are orthogonal with respect to the weight function \(e^{3x}\), and that the set \(\{ \sqrt{2}e^{- \frac{3x}{2}}\sin ( k\pi x ) \} _{k=1}^{\infty }\) consists of orthonormal eigenfunctions. Thus, the corresponding Green’s function of problem (18) is defined by
Therefore, the analytical solution of IBVP (18) is given by
Example 5
Consider the parabolic partial differential equation with variable coefficients:
Let us consider the equation \(u_{t}(x,t)=x^{2}u_{xx}(x,t)+xu_{x}(x,t)+u(x,t)\). It can be rewritten in the form:
The regular Sturm–Liouville problem corresponding to problem (20) is defined by
If \(\lambda =0\), the differential equation in Eq. (21) reduces to \(x ( x\phi ^{\prime }(x) ) ^{\prime }=0\), so \(x\phi ^{ \prime }(x)=c_{1}\),
where \(c_{1}\) and \(c_{2}\) are arbitrary constants. The boundary condition \(\phi (1)=0\) requires that \(c_{2}=0\), so \(\phi (x)=c_{1} \ln x\). The boundary condition \(\phi (2)=0\) requires that \(c_{1} \ln x=0\), so \(c_{1}=0\). Therefore, zero isn’t an eigenvalue of Eq. (21).
If \(\lambda <0\), we write \(\lambda =-\omega ^{2}\) with \(\omega >0\), so Eq. (21) becomes
an Euler equation with indicial equation
Therefore, \(\phi (x)=c_{1}x^{\omega }+c_{2}x^{-\omega }\), where \(c_{1}\) and \(c_{2}\) are arbitrary constants. The boundary conditions require that \(c_{1}+c_{2}=0\) and \(2^{\omega }c_{1}+2^{-\omega }c _{2}=0\). Since the determinant of this system is \(2^{-\omega }+2^{ \omega }\neq 0\), \(c_{1}=c_{2}=0\). Therefore, Eq. (21) has no negative eigenvalues.
If \(\lambda >0\), we write \(\lambda =\omega ^{2}\) with \(\omega >0\). Then Eq. (21) becomes
an Euler equation with indicial equation
Thus, \(\phi (x)=c_{1}\cos ( \omega \ln x ) +c_{2}\sin ( \omega \ln x ) \), where \(c_{1}\) and \(c_{2}\) are arbitrary constants. The boundary condition \(\phi (1)=0\) requires that \(c_{1}=0\). Therefore, \(\phi (x)=c_{2}\sin ( \omega \ln x ) \). Since \(\phi (2)=0\), we obtain that \(c_{2}\sin ( \omega \ln 2 ) =0\). This holds with \(c_{2}\neq 0\) if and only if \(\omega =\frac{k\pi }{\ln 2}\) for any \(k=1,2,3,\ldots \) . Hence, the eigenvalues of Eq. (21) are \(\lambda _{k}=\) \(( \frac{k \pi }{\ln 2} ) ^{2}\), with associated eigenfunctions \(\phi _{k}(x)=c _{2}\sin ( \frac{k\pi }{\ln 2}\ln x ) \) for any \(k=1,2,3,\ldots \) . We then have that eigenfunctions are orthogonal with respect to the weight function \(x^{-1}\), and that the set \(\{ \sqrt{\frac{2}{ \ln 2}}\sin ( \frac{k\pi }{\ln 2}\ln x ) \} _{k=1} ^{\infty }\) consists of orthonormal eigenfunctions. Moreover, the corresponding Green’s function of problem (20) is given by
Therefore, the analytical solution of IBVP (20) is given by
5 Conclusion
This research paper deals with the new method used to find the solutions for IBVPs. This method is named the Sawangtong’s Green function homotopy perturbation method (SGHPM). The SGHPM is the method that combines the Green’s function method with the homotopy perturbation method. For the SGHPM technique, the boundary conditions are not used in the calculation process for finding the analytical solution of the problem. But the property of the boundary conditions still is included in the property of the Green’s function. This makes the SGHPM process simple, easy, and effective. Therefore, the SGHPM is a technique which is powerful and efficient for finding approximate analytic solutions of IBVPs as SGHPM applications are presented in Sect. 4.
References
Baholian, E., Azizi, A., Saeidian, J.: Some notes on using the homotopy perturbation method for solving time-dependent differential equations. Math. Comput. Model. 50, 213–224 (2009)
Chan, C.Y., Chan, W.Y.: Existence of classical solutions for degenerate semilinear parabolic problems. Appl. Math. Comput. 101, 125–149 (1999)
He, J.: Homotopy perturbation technique. Comput. Methods Appl. Mech. Eng. 178, 1–12 (1999)
He, J.: A coupling method of a homotopy technique and a perturbation technique for non-linear problems. Int. J. Non-Linear Mech. 35, 37–43 (2000)
Kirk, C.M., Roberts, C.A.: A quenching problem for the heat equation. J. Integral Equ. Appl. 14, 53–72 (2002)
Olmstead, W.E.: Critical speed for the avoidance of blow-up in a reactive–diffusive medium. Z. Angew. Math. Phys. 48, 701–710 (1997)
Acknowledgements
This research was funded by King Mongkut’s University of Technology North Bangkok, contract no. KMUTNB-62-KNOW-34 and this research was partially supported by the Centre of Excellence in Mathematics, PERDO, Commission on Higher Education, Ministry of Education, Thailand.
Funding
This research was funded by King Mongkut’s University of Technology North Bangkok, contract no. KMUTNB-62-KNOW-34 and this research was partially supported by the Centre of Excellence in Mathematics, PERDO, Commission on Higher Education, Ministry of Education, Thailand.
Author information
Authors and Affiliations
Contributions
PS investigated the SGHPM method. WS and PS proposed the research idea for solving IBVPs by SGHPM. PS wrote this paper. All authors contributed to editing and revising the manuscript. All authors read and approved the final manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare that they have no competing interests.
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Sawangtong, W., Sawangtong, P. Green’s function homotopy perturbation method for the initial-boundary value problems. Adv Differ Equ 2019, 419 (2019). https://doi.org/10.1186/s13662-019-2350-7
Received:
Accepted:
Published:
DOI: https://doi.org/10.1186/s13662-019-2350-7
Keywords
- Sawangtong’s Green function homotopy perturbation method
- Green’s function method
- Initial-boundary value problems
- Integral equation