Open Access Original research

Iterative reproducing kernel method for a beam equation with third-order nonlinear boundary conditions

Fazhan Geng

Author Affiliations

Department of Mathematics, Changshu Institute of Technology, 215500, People’s Republic of China

Mathematical Sciences 2012, 6:1 doi:10.1186/2251-7456-6-1


The electronic version of this article is the complete one and can be found online at: http://www.iaumath.com/content/6/1/1


Received:24 March 2012
Accepted:18 May 2012
Published:18 May 2012

© 2012 Geng; licensee Springer.

This is an Open Access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/2.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

Purpose

This paper investigates an analytical approximate solution of a fourth-order differential equation with nonlinear boundary conditions modeling beams on elastic foundations using iterative reproducing kernel method.

Methods

The solution obtained using the method takes the form of a convergent series with easily computable components. However, the reproducing kernel method can not be used directly to solve the problems since there is no method of obtaining a reproducing kernel satisfying nonlinear boundary conditions. The aim of this paper is to fill this gap.

Results

Several illustrative examples are given to demonstrate the effectiveness of the present method.

Conclusions

Results obtained using the scheme presented here show that the numerical scheme is very effective and convenient for the beam equation with third-order nonlinear boundary conditions.

Keywords:
Iterative reproducing kernel method; Beam equation; Fourth-order boundary value problem; Nonlinear boundary conditions

Background

This paper discusses the analytical approximate solution for fourth-order equations with nonlinear boundary conditions involving third-order derivatives which appears in the study of deformations of elastic beams on elastic bearings:

<a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M1','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M1">View MathML</a>

(1)

where <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M2','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M2">View MathML</a> and <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M3','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M3">View MathML</a>.

Existence and multiplicity results for this kind of problem were studied recently by Grossinho and coworker [1-3]. However, it is very difficult to obtain its numerical solution due to the appearance of third-order nonlinear boundary conditions. Recently, Ma and Silva [4] proposed an iterative method for solving Equation 1.1.

In this paper, we will apply the iterative reproducing kernel method (IRKM) presented by Geng and Cui [5,6] to the beam equation (Equation 1.1).

Reproducing kernel theory has important application in numerical analysis, differential equation, probability and statistics, and so on [5-17]. Recently, using the RKM, the authors discussed two-point boundary value problems and periodic boundary value problems. For fourth-order equations with nonlinear boundary conditions, however, it can not be applied directly since there is no method of obtaining a reproducing kernel satisfying nonlinear boundary conditions. The aim of this paper is to fill this gap. We will show how IRKM can be used to solve Equation 1.1.

The rest of the paper is organized as follows: An equivalent equation is obtained in the next section. The IRKM is applied to the equivalent equation in the ‘IRKM for Equation 2.1’ section. The numerical examples are presented in the ‘Numerical experiments’ section. The ‘Conclusions’ section ends this paper with a brief conclusion.

Table 1. Maximum absolute errors in Example 4.1

Table 2. Maximum absolute errors in Example 4.2

Results and discussion

Numerical experiments

In this section, two numerical examples are studied to demonstrate the accuracy of the present method. The examples are computed using Mathematica 5.0. Results obtained by the present method are compared with those by the method in [4] and show that the present method is effective for the beam equation (Equation 1.1).

Example 4.1

We consider the problem (Equation 1.1) with

<a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M62','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M62">View MathML</a>

(2)

The exact solution is given by <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M63','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M63">View MathML</a>. Using the present method, choosing initial approximation <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M64','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M64">View MathML</a> and taking <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M65','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M65">View MathML</a>; <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M66','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M66">View MathML</a>; and <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M67','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M67">View MathML</a>, where <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M68','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M68">View MathML</a>, the maximum absolute errors <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M69','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M69">View MathML</a>=<a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M70','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M70">View MathML</a> between the approximate solution and the exact solution are given in Table 1.

Example 4.2

We consider the problem (Equation 1.1) with

<a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M71','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M71">View MathML</a>

(3)

The exact solution is given by <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M72','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M72">View MathML</a>. Using the present method, choosing initial approximation <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M73','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M73">View MathML</a> and taking <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M74','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M74">View MathML</a>; <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M75','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M75">View MathML</a>; and <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M76','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M76">View MathML</a>, where <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M77','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M77">View MathML</a>, the maximum absolute errors <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M78','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M78">View MathML</a>=<a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M79','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M79">View MathML</a> between the approximate solution and the exact solution are given in Table 2.

Conclusions

In this paper, we apply IRKM to fourth-order boundary value problems with nonlinear boundary conditions arising in the study of deformations of elastic beams on elastic bearings and obtain approximate solutions with a high degree of accuracy. Results of numerical experiments show that IRKM is an accurate and reliable analytical technique for this class of fourth-order boundary value problems with a third-order nonlinear boundary condition.

Methods

The equivalent equation of 1.1

Equation 1.1 can not be solved directly using IRKM since it is impossible to obtain a reproducing kernel satisfying nonlinear boundary conditions of Equation 1.1. So, we will make great efforts to convert Equation 1.1 into an equivalent equation, which is easily solved using IRKM.

Integrating both sides of Equation 1.1 from 1 to x and substituting <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M80','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M80">View MathML</a> leads to:

<a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M81','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M81">View MathML</a>

(4)

where <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M82','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M82">View MathML</a>.

Obviously, Equations 1.1 and 2.1 are equivalent. Therefore, it suffices for us to solve Equation 2.1.

IRKM for Equation 2.1

Equation 2.1 can be solved using IRKM presented by Geng [5]. In order to apply IRKM, first, we construct a reproducing kernel space <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M83','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M83">View MathML</a> in which every function satisfies the boundary conditions of Equation 2.1.

Reproducing kernel Hilbert space <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M84','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M84">View MathML</a> is defined as <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M85','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M85">View MathML</a>, <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M86','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M86">View MathML</a>, <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M87','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M87">View MathML</a> are absolutely continuous real value functions, <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M88','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M88">View MathML</a>. The inner product and norm in <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M89','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M89">View MathML</a> are given, respectively, by

<a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M90','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M90">View MathML</a>

(5)

and

<a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M91','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M91">View MathML</a>

(6)

According to [5-7], it is easy to obtain its reproducing kernel

<a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M92','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M92">View MathML</a>

(7)

where <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M93','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M93">View MathML</a>.

In Equation 2.1, put <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M94','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M94">View MathML</a>, it is clear that <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M95','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M95">View MathML</a> is a bounded linear operator. Put <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M96','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M96">View MathML</a> and <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M97','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M97">View MathML</a>, where <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M98','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M98">View MathML</a> is the RK of <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M99','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M99">View MathML</a> and <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M100','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M100">View MathML</a> is the adjoint operator of L. The orthonormal system <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M101','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M101">View MathML</a> of <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M102','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M102">View MathML</a> can be derived from the Gram-Schmidt orthogonalization process of <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M103','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M103">View MathML</a>

<a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M104','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M104">View MathML</a>

(8)

Through the RKM presented in [5-7], we have the following theorems:

Theorem 3.1

For Equation 2.1, if <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M105','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M105">View MathML</a> is dense on <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M106','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M106">View MathML</a>, then <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M107','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M107">View MathML</a> is the complete system of <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M108','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M108">View MathML</a> and <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M109','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M109">View MathML</a>.

Theorem 3.2

If <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M110','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M110">View MathML</a> is dense on <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M111','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M111">View MathML</a> and the solution of Equation 2.1 is unique, then the solution of Equation 2.1 satisfies the form

<a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M112','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M112">View MathML</a>

(9)

Remark:Case (1): Equation 2.1 is linear, that is, <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M113','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M113">View MathML</a>. Then, the analytical solution to Equation 2.1 can be obtained directly from Equation 3.3.Case (2): Equation 2.1 is nonlinear. In this case, the approximate solution to Equation 2.1 can be obtained using the following method

According to Equation 3.3, we construct the following iteration formula:

<a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M114','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M114">View MathML</a>

(10)

For the proof of convergence of the iterative formula (Equation 3.4), see [5].

Remark:

In the iteration process of Equation 3.4, we can guarantee that the approximation <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M115','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M115">View MathML</a> always satisfies the boundary conditions of Equation 2.1.

Now, the approximate solution <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M116','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M116">View MathML</a> can be obtained by finitely taking many terms in the series representation of <a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M117','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M117">View MathML</a> and

<a onClick="popup('http://www.iaumath.com/content/6/1/1/mathml/M118','MathML',630,470);return false;" target="_blank" href="http://www.iaumath.com/content/6/1/1/mathml/M118">View MathML</a>

(11)

Competing interests

The author declare that they have no competing interests.

Acknowledgements

The author would like to thank the unknown referees for their careful reading and helpful comments. The work was supported by the National Natural Science Foundation of China (grant no. 11026200) and the Special Funds of the National Natural Science Foundation of China (grant no. 11141003).

References

  1. Agarwal, RP, Chow, YM: Iterative methods for a fourth order boundary value problem. J. Comput. Appl. Math.. 10, 203 (1984)

  2. Feireisl, E: Non-zero time periodic solutions to an equation of Petrovsky type with nonlinear boundary conditions: slow oscillations of beams on elastic bearings. An. Sc. Norm. Super. Pisa. 20, 133 (1993)

  3. Humphreys, LD: Numerical mountain pass solutions of a suspension bridge equation. Nonlinear Anal.. 28, 1811 (1997)

  4. Ma, TF, Silva, JD: Iterative solutions for a beam equation with nonlinear boundary conditions of third order. Applied Mathematics and Computation. 159, 11 (2004)

  5. Geng, FZ: A new reproducing kernel Hilbert space method for solving nonlinear fourth-order boundary value problems. Applied Mathematics and Computation. 213, 163 (2009)

  6. Geng, FZ, Cui, MG: Solving singular nonlinear second-order periodic boundary value problems in the reproducing kernel space. Applied Mathematics and Computation. 192, 389 (2007)

  7. Cui, MG, Lin, YZ: Nonlinear Numerical Analysis in Reproducing Kernel Space, Nova Science Pub Inc, Hauppauge (2009)

  8. Berlinet, A, Thomas-Agnan, C: Reproducing Kernel Hilbert Space in Probability and Statistics, Kluwer Academic Publishers, Boston (2004)

  9. Daniel, A (ed): Reproducing Kernel Spaces and Applications, Springer, Basel (2003)

  10. Cui, MG, Geng, FZ: Solving singular two-point boundary value problem in reproducing kernel space. Journal of Computational and Applied Mathematics. 205, 6 (2007)

  11. Geng, FZ, Cui, MG: Solving a nonlinear system of second order boundary value problems. Journal of Mathematical Analysis and Applications. 327, 1167 (2007)

  12. Du, J, Cui, MG: Constructive approximation of solution for fourth-order nonlinear boundary value problems. Mathematical Methods in the Applied Sciences. 32, 723 (2009)

  13. Yao, HM, Lin, YZ: Solving singular boundary-value problems of higher even-order. Journal of Computational and Applied Mathematics. 223, 703 (2009)

  14. Li, XY, Geng, FZ: Solving a class of singular boundary value problems in the reproducing kernel Hilbert space. Mathematical Sciences. 2, 77 (2008)

  15. Geng, FZ, Shen, F: Solving a Volterra integral equation with weakly singular kernel in the reproducing kernel space. Mathematical Sciences. 4, 159 (2010)

  16. Geng, FZ: Analytic approximations of solutions to systems of ordinary differential equations with variable coefficients. Mathematical Sciences. 3, 133 (2009)

  17. Li, CL, Cui, MG: The exact solution for solving a class nonlinear operator equations in the reproducing kernel space. Applied Mathematics and Computation. 143, 393 (2003)