Abstract
In this paper, we presents a reproducing kernel method for computing singular secondorder initial/boundary value problems (IBVPs). This method could deal with much more general IBVPs than the ones could do, which are given by the previous researchers. According to our work, in the first step, the analytical solution of IBVPs is represented in the RKHS which we constructs. Then, the analytic approximation is exhibited in this RKHS. Finally, the nterm approximation is proved to converge to the analytical solution. Some numerical examples are displayed to demonstrate the validity and applicability of the present method. The results obtained by using the method indicate the method is simple and effective.
Mathematics Subject Classification (2000) 35A24, 46E20, 47B32.
1. Introduction
Initial and boundary value problems of ordinary differential equations play an important role in many fields. Various applications of boundary to physical, biological, chemical, and other branches of applied mathematics are well documented in the literature. The main idea of this paper is to present a new algorithm for computing the solutions of singular secondorder initial/boundary value problems (IBVPs) of the form:
where , for x ∈ [0, 1], p ≠ 0, p(x), q(x), r(x) ∈ C[0, 1]. a_{1}, b_{1},c_{1}, a_{2}, b_{2}, c_{2 }arc real constants and satisfy that a_{1 }u(0) + b_{1 }u'(0) + c_{1 }u (1) and a_{2 }u(1) + b_{2}u'(1) + c_{2}u'(0) are linear independent. F(x, u) is continuous.
Remark 1.1. We find that if
the problems are twopoint BVPs; if
the problems are initial value problems; if
the problems are periodic BVPs; if
the problems are antiperiodic BVPs.
Such problems have been investigated in many researches. Specially, the existence and uniqueness of the solution of (1.1) have been discussed in [15]. And in recent years, there are also a large number of specialpurpose methods are proposed to provide accurate numerical solutions of the special form of (1.1), such as collocation methods [6], finiteelement methods [7], Galerkinwavelet methods [8], variational iteration method [9], spectral methods [10], finite difference methods [11], etc.
On the other hands, reproducing kernel theory has important applications in numerical analysis, differential equation, probability and statistics, machine learning and precessing image. Recently, using the reproducing kernel method, Cui and Geng [1216] have make much effort to solve some special boundary value problems.
According to our method, which is presented in this paper, some reproducing kernel Hilbert spaces have been presented in the first step. And in the second step, the homogeneous IBVPs is deal with in the RKHS. Finally, one analytic approximation of the solutions of the secondorder BVPs is given by reproducing kernel method under the assumption that the solution to (1.1) is unique.
2. Some RKHS
In this section, we will introduce the RKHS and . Then we will construct a RKHS , in which every function satisfies the boundary condition of (1.1).
2.1. The RKHS
Inner space is defined as is absolutely continuous real valued functions, u' ∈ L^{2}[0, 1]}. The inner product in is given by
and the norm is denoted by . From [17,18], is a reproducing kernel Hilbert space and the reproducing kernel is
2.2. The RKHS
Inner space is defined as is absolutely continuous real valued functions, u"' ∈ L^{2}[0, 1]}.
From [15,1719], it is clear that become a reproducing kernel Hilbert space if we endow it with suitable inner product.
Zhang and Lu [18] and Long and Zhang [19] give us a clue to relate the inner product with the boundary conditions (1.1). Set L = D^{3}, and
where a_{3}, b_{3}, c_{3 }is random but satisfying that γ_{3 }is linearly independent of γ_{1 }and γ_{2}.
It is easy to know that γ_{1}, γ_{2}, γ_{3 }are linearly independent in Ker L. Then from [18,19], it is easy to know one of the inner products of
and its corresponding reproducing kernel K_{2}(t, s).
2.3. The RKHS
Inner space is defined as are absolutely continuous real valued functions, u"' ∈ L^{2}[0, 1], and, a_{1 }u(0) + b_{1 }u'(0) + c_{1 }u(1) = 0, a_{2 }u(1) + b_{2}u'(1) + c_{2}u'(0) = 0}.
It is clear that is the complete subspace of , so is a RKHS. If P, which is the orthogonal projection from to , is found, we can get the reproducing kernel of obviously. Under the assumptions of Section 2, note
Theorem 2.1. Under the assumptions above, P is the orthogonal projection from to .
That means . At the same time, for any
P is selfconjugate. And
P is idempotent.
So P is the orthogonal projection from to .
The proof of the Theorem 2.1 is complete.
Now, is a RKHS if endowed the inner product with the inner product below
and the corresponding reproducing kernel K_{3}(t, s) is given in Appendix 4.
3. The reproducing kernel method
In this section, the representation of analytical solution of (1.1) is given in the reproducing kernel space .
Note Lu = p(x)u"(x) + q(x)u'(x) + r(x)u(x) in (1.1). It is clear that is a bounded linear operator.
Put φ_{i}(x) = K_{1}(x_{i}, x), Ψ_{i}(x) = L*φ_{i}(x), where L* is the adjoint operator of L. Then
Lemma 3.1. Under the assumptions above, if is dense on [0, 1] then is the complete basis .
The orthogonal system of can be derived from GramSchmidt orthogonalization process of , and
Then
Theorem 3.1. If is dense on [0, 1] and the solution of (1.1) is unique, the solution can be expressed in the form
Proof. From Lemma 3.1, is the complete system of . Hence we have
and the proof is complete.
The approximate solution of the (1.1) is
If (1.1) is linear, that is F(x, u(x)) = F(x), then the approximate solution of (1.1) can be obtained directly from (3.3). Else, the approximate process could be modified into the following form:
Next, the convergence of u_{n}(x) will be proved.
Lemma 3.2. There exists a constant M, satisfied , for all .
Proof. For all x ∈ [0, 1] and , there are
That is,
.By Lemma 3.2, it is easy to obtain the following lemma.
Lemma 3.3. If , u_{n} is bounded, x_{n }→ y(n → ∞) and F(x, u(x)) is continuous, then .
Theorem 3.2. Suppose that u_{n } is bounded in (3.3) and (1.1) has a unique solution. If is dense on [0, 1], then the nterm approximate solution u_{n}(x) derived from the above method converges to the analytical solution u(x) of (1.1).
Proof. First, we will prove the convergence of u_{n }(x).
From (3.4), we infer that
The orthonormality of yield that
That means u_{n+1} ≥ u_{n}. Due to the condition that u_{n} is bounded, u_{n} is convergent and there exists a constant ℓ such that
If m > n, then
In view of (u_{m } u_{m1}) ⊥ (u_{m1 } u_{m2}) ⊥ ··· ⊥ (u_{n+1 } u_{n}), it follows that
The completeness of shows that u_{n }→ ū as n → ∞ in the sense of .
Secondly, we will prove that ū is the solution of (1.1).
Taking limits in (3.2), we get
So
and
Therefore,
If n = 1, then
If n = 2, then
It is clear that
Moreover, it is easy to see by induction that
Since is dense on [0, 1], for all Y ∈ [0, 1], there exists a subsequence such that
It is easy to see that . Let j → ∞, by the continuity of F(x, u(x)) and Lemma 3.3, we have
At the same time, . Clearly, u satisfies the boundary conditions of (1.1).
That is, ū is the solution of (1.1).
The proof is complete.
In fact, u_{n}(x) is just the orthogonal projection of exact solution ū(x) onto the space .
4. Numerical example
In this section, some examples are studied to demonstrate the validity and applicability of the present method. We compute them and compare the results with the exact solution of each example.
Example 4.1. Consider the following IBVPs:
Where . The exact solution is . Using our method, take a_{3 }= 1, b_{3 }= c_{3 }= 0 and n = 21, 51, N = 5, . The numerical results are given in Tables 1 and 2.
Table 1. Numerical results for Example 4.1 (n = 21, N = 5)
Table 2. Numerical results for Example 4.1 (n = 51, N = 5)
Example 4.2. Consider the following IBVPs:
where f(x) = π cos(πx)  sin(πx)(x^{2 }+ (1 + x) * x * sin^{2}(π* x)). The true solution is u(x) = sin(πx) + 1. Using our method, take a_{3 }= 1, b_{3 }= c_{3 }= 0, and N = 5, n = 21, 51, . The numerical results are given in Figures 1, 2, 3, and 4.
Contributions
Er Gao gives the main idea and proves the most of the theorems and propositions in the paper. He also takes part in the work of numerical experiment of the main results. Xinjian Zhang suggests some ideas for the prove of the main theorems. Songhe Song mainly accomplishes most part of the numerical experiments. All authors read and approved the final manuscript.
Competing interests
The authors declare that they have no competing interests.
Appendix A: The reproducing kernel of
Acknowledgements
The work is supported by NSF of China under Grant Numbers 10971226.
References

Erbe, LH, Wang, HY: On the existence of positive solutions of ordinary differential equations. Proc Am Math Soc. 120(3), 743–748 (1994). Publisher Full Text

Kaufmann, ER, Kosmatov, N: A secondorder singular boundary value problem. Comput Math Appl. 47, 1317–1326 (2004). Publisher Full Text

Yang, FH: Necessary and sufficient condition for the existence of positive solution to a class of singular secondorder boundary value problems. Chin J Eng Math. 25(2), 281–287 (2008)

Zhang, XG: Positive solutions of nonresonance semipositive singular Dirichlet boundary value problems. Nonlinear Anal. 68, 97–108 (2008). Publisher Full Text

Ma, RY, Ma, HL: Positive solutions for nonlinear discrete periodic boundary value problems. Comput Math Appl. 59, 136–141 (2010). Publisher Full Text

Russell, RD, Shampine, LF: A collocation method for boundary value problems. Numer Math. 19, 1–28 (1972). Publisher Full Text

Stynes, M, O'Riordan, E: A uniformly accurate finiteelement method for a singularperturbation problem in conservative form. SIAM J Numer Anal. 23, 369–375 (1986). Publisher Full Text

Xu, JC, Shann, WC: Galerkinwavelet methods for twopoint boundary value problems. Numer Math. 63, 123–144 (1992). Publisher Full Text

He, JH: Variational iteration methoda kind of nonlinear analytical technique: some examples. Nonlinear Mech. 34, 699–708 (1999). Publisher Full Text

Capizzano, SS: Spectral behavior of matrix sequences and discretized boundary value problems. Linear Algebra Appl. 337, 37–78 (2001). Publisher Full Text

Ilicasu, FO, Schultz, DH: Highorder finitedifference techniques for linear singular perturbation boundary value problems. Comput Math Appl. 47, 391–417 (2004). Publisher Full Text

Cui, MG, Geng, FZ: A computational method for solving onedimensional variablecoefficient Burgers equation. Appl Math Comput. 188, 1389–1401 (2007). Publisher Full Text

Cui, MG, Chen, Z: The exact solution of nonlinear agestructured population model. Nonlinear Anal Real World Appl. 8, 1096–1112 (2007). Publisher Full Text

Geng, FZ: Solving singular second order threepoint boundary value problems using reproducing kernel Hilbert space method. Appl Math Comput. 215, 2095–2102 (2009). Publisher Full Text

Geng, FZ, Cui, MG: Solving singular nonlinear secondorder periodic boundary value problems in the reproducing kernel space. Appl Math Comput. 192, 389–398 (2007). Publisher Full Text

Jiang, W, Cui, MG, Lin, YZ: Antiperiodic solutions for Rayleightype equations via the reproducing kernel Hilbert space method. Commun Nonlinear Sci Numer Simulat. 15, 1754–1758 (2010). Publisher Full Text

Zhang, XJ, Long, H: Computating reproducing kernels for (I). Math Numer Sin. 30(3), 295–304 (in Chinese) (2008)

Zhang, XJ, Lu, SR: Computating reproducing kernels for (II). Math Numer Sin. 30(4), 361–368 (in Chinese) (2008)

Long, H, Zhang, XJ: Construction and calculation of reproducing kernel determined by various linear differential operators. Appl Math Comput. 215, 759–766 (2009). Publisher Full Text