About this Journal Submit a Manuscript Table of Contents
Abstract and Applied Analysis
Volume 2013 (2013), Article ID 959346, 7 pages
http://dx.doi.org/10.1155/2013/959346
Research Article

A Novel Approach to Calculation of Reproducing Kernel on Infinite Interval and Applications to Boundary Value Problems

1School of Mathematics and Sciences, Harbin Normal University, Harbin 150025, China
2Department of Mathematics, Harbin Institute of Technology, Harbin 150001, China

Received 23 January 2013; Revised 4 July 2013; Accepted 18 August 2013

Academic Editor: Yong Hong Wu

Copyright © 2013 Jing Niu et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Abstract

A new analytical method for the computation of reproducing kernel is proposed and tested on some examples. The expression of reproducing kernel on infinite interval is obtained concisely in polynomial form for the first time. Furthermore, as a particular effective application of this method, we give an explicit representation formula for calculation of reproducing kernel in reproducing kernel space with boundary value conditions.

1. Introduction

It is well known that reproducing kernel theory has been used in many research fields such as complex analysis, dilation of linear operators, stochastic processes [15], and solution of various differential and integral equations [610]. Recently, there are a rather small number of methods for calculating the reproducing kernel expression. One is using Green’s function for a differential operator to construct a reproducing kernel [11, 12]. Another very standard method involves boundary value conditions depending on the property of function [13, 14]. The disadvantages of the above two approaches are clear. In the first method, the expression of reproducing kernel including integral form is complicated as a result of Green’s function. Because function is highly abstractive in the second approach, it is quite difficult to calculate the kernel in the procedure.

The purpose of this paper is to avoid the complex operation of Green’s function and function and simply give representation of reproducing kernel in polynomial form. The principal step of the procedure consists of classifying and discussing the infinite interval to satisfy the reproducing property. Therefore, our approach has the advantages that no additional condition is required in order to solve the kernel and a much simpler formalism which is in contrast to the previous two methods. In effect, the universal formula can be obtained in the case of finite interval.

Numerically solving an initial and boundary value problem for a differential equation by the reproducing kernel method can be described as follows: construct reproducing kernel spaces which can absorb initial or boundary value conditions, and then, transfer the initial and boundary value problem into an operator equation in the reproducing kernel space where the exact solution to the initial and boundary value problem is expressed by the reproducing kernel, and at last solve the operator equation by approximation. It is obvious that constructing reproducing kernel space which satisfies the initial or boundary conditions and effectively solving for the reproducing kernel become the key to apply reproducing kernel method for initial and boundary value problems.

In this work, in order to apply the new approach to solving differential equations with multiform boundary value problems, the explicit formula for calculation of reproducing kernel in the appropriate reproducing kernel space is provided successfully by using the orthogonal decomposition property.

The rest of the paper is organized as follows. In Section 2, a new reproducing kernel space on infinite interval is presented. Section 3 shows for representation of class one how reproducing kernel can be expressed in polynomial form and gives some examples. Then, these basic ideas are shown to extend to cases involving reproducing kernel space with boundary value condition in Section 4. Finally, in Section 5, we give a brief conclusion and discuss extensions and generalizations of the present work.

2. A New Reproducing Kernel Space on Infinite Interval

Definition 1 (see [15]). Let be a Hilbert function space on a set . is called a reproducing kernel space if and only if for any , there exists a unique function , such that for any . Meanwhile, is called a reproducing kernel function.

Definition 2. . The inner product and norm are given, respectively, by

Theorem 3. is a Hilbert reproducing kernel space; namely, it is complete, and for any fixed and , there exists a , such that .

Proof. Suppose that is a Cauchy sequence in . Then it holds that
Therefore, we have which indicate that the sequences and are Cauchy sequences, respectively, in and . So, there exist unique real number and function , such that
Let
One easily sees that
Because , we get . Moreover, it holds which means that is a Hilbert space.
Meanwhile, we can introduce that where and are positive numbers.
Then, we also introduce that . This completes the proof of Theorem 3.

3. Calculation of Reproducing Kernel on Infinite Interval

In this section, we will give a novel method to calculate the reproducing kernel of . Suppose is the reproducing kernel function. According to the definition of inner, for any fixed , we have

According to the formula it follows that if then which indicates that is the reproducing kernel function.

It is now clear how to compute by solving (11). Moreover, the resulting function is represented locally by polynomials.

Example 4. endowed inner product
By applying the procedure of the previous statement, we can construct the equations:

Then, the reproducing kernel of is given by the following.(1)When (2)When , .(3)When

It can be obviously obtained that for any , we have

The graph of the of up to is presented in Figures 1 and 2, and it shows the curvilinear figure of .

fig1
Figure 1: The curves are, respectively, and for Example 4, where .
959346.fig.002
Figure 2: Image of for Example 4.

Example 5. endowed inner product
Similarly, the of satisfying the following: can be obtained; namely,

4. A Concrete Application to Boundary Value Problems

4.1. Application to Initial Value Problems

Actually, when we apply reproducing kernel theory to solve problems with boundary value conditions [16, 17], it is important to find the representation of reproducing kernel in the appropriate reproducing kernel space. In this section, we show how to express reproducing kernel function in terms of reproducing kernel space with boundary value condition on infinite interval.

Set . Let be a reproducing kernel Hilbert space and its reproducing kernel function. As is well known, is the closed subspace of .

Lemma 6. If is the proper subspace of , then for any ; namely, .

Proof. The proof is by contradiction. Suppose that . Then for a fixed it holds . Choosing , we have which infers . It is conflict about proper subspace.

Lemma 7. The orthogonal complement space of about is

Proof. Due to the only restriction of , it means that is one dimensional space. Moreover, for any we get Then, it indicates . Therefore, we have , and satisfies (22).

By virtue of the orthogonal decomposition property of reproducing kernel, the reproducing kernel function of can be represented as

So under the assumption that , we can introduce

Here, according to Lemma 6, we know that .

Now, the formula of reproducing kernel function of can be obtained by

Example 8. This problem corresponds to the closed subspace of in Example 5.
.
Here, we simply use formula (26) to find the reproducing kernel function of where is determined by (19).

4.2. Application to Multipoint Boundary Value Problem

To see that the previous results can be generalized, let be a reproducing kernel space with kernel . For any finite point set , we get which is the closed subspace of . Because, for any , we know that , where is dimensional orthogonal complement space of .

Lemma 9. If, for any and differential points , the valuation functional of reproducing kernel space are linearly independent, then the reproducing kernel function is positive definite.

Proof. Suppose that is not positive definite. Then there exist differential points and nonzero vector such that
It follows . Therefore, for any , we have
It indicates that are linearly dependent, which can be a contradiction.

Theorem 10. The reproducing kernel function of has the form

Proof. It needs to be proven that is the basis of ; namely, are linearly independent.
Let . Then . Applying Lemma 9, we get that matrix is positive definite. So, , and formula (32) holds. Meanwhile, according to , we can obtain the uniquely defined .

Example 11. Here we apply the proposed method to solve the following simplified model of propagation of nonadiabatic flames inside long tubes [1822]:
Firstly, due to the complex boundary conditions of (33), the following reproducing kernel space is constructed.
. The inner product is defined, respectively, by
Suppose that is the reproducing kernel of . According to the previous method for computation of reproducing kernel, we can get
For , the concrete expression of is given as follows:
Secondly, we need to establish the subspace of :
Now, we use the formula (32) to get the reproducing kernel of : where and is the reproducing kernel function of .
Thirdly, we will prove that in (38) is the reproducing kernel of . For any , there holds that
For , and , the concrete expression of is given as follows
Compared with the procedure for computation of the reproducing kernel in [22], we can see that our method is easier to implement, and it avoids the complexity of function.

5. Conclusions and Future Work

To summarize, in this paper, a new method for the calculation of reproducing kernel on infinite interval was introduced, and the representation in polynomial form was obtained for the first time. The scheme was then used to generate the formula for the reproducing kernel in reproducing kernel space with boundary value conditions. We end this paper by mentioning the following applications. On one hand, the approach detailed here can be readily adapted to the case of reproducing kernel on the finite interval. According to the former method in [15], which cannot represent reproducing kernel on the infinite interval in polynomial form, the advantages of the present approach are that we use theory of elementary to avoid the complex operation and numerical algorithm will be much more timesaving. On the other hand, the formula in Section 4 can be used to solve multipoint boundary value problems on the positive half-line, such as in [2325].

Acknowledgments

The authors appreciate the constructive comments and suggestions provided from the kind referees and editor. This work was supported by Academic Foundation for Youth of Harbin Normal University (KGB201226).

References

  1. D. Alpay, Algorithme de Schur Espaces d Noyau Veproduisant et Thgorie des Systemes, vol. 6 of Panoramas et Synthèses, Société Mathématique de France, Paris, France, 1998. View at Zentralblatt MATH · View at MathSciNet
  2. S. D. Chatterji, “Factorization of positive finite operator-valued kernels,” in Prediction Theory and Harmonic Analysis, vol. 12, pp. 23–36, North-Holland, Amsterdam, The Netherlands, 1983. View at Zentralblatt MATH · View at MathSciNet
  3. S. D. Chatterji, “Positive definite kernels,” Boletín de la Sociedad Matemática Mexicana, vol. 28, no. 2, pp. 59–65, 1983. View at Zentralblatt MATH · View at MathSciNet
  4. E. Hille, “Introduction to general theory of reproducing kernels,” The Rocky Mountain Journal of Mathematics, vol. 2, no. 3, pp. 321–368, 1972. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  5. H. Meschkowski, Hilbertsche Räume mit Kernfunktion, Springer, Berlin, Germany, 1962. View at MathSciNet
  6. T. E. Voth and M. A. Christon, “Discretization errors associated with reproducing kernelmethods: one-dimensional domains,” Computer Methods in Applied Mechanics and Engineering, vol. 190, no. 18-19, pp. 2429–2446, 2001. View at Publisher · View at Google Scholar
  7. M. G. Cui and F. Z. Geng, “Solving singular two-point boundary value problem in reproducing kernel space,” Journal of Computational and Applied Mathematics, vol. 205, no. 1, pp. 6–15, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  8. J. Niu, Y. Z. Lin, and M. G. Cui, “Approximate solutions to three-point boundary value problems with two-space integral condition for parabolic equations,” Abstract and Applied Analysis, vol. 2012, Article ID 414612, 9 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  9. C. P. Zhang, J. Niu, and Y. Z. Lin, “Numerical solutions for the three-point boundary value problem of nonlinear fractional differential equations,” Abstract and Applied Analysis, vol. 2012, Article ID 360631, 16 pages, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  10. J. Du and M. Cui, “Constructive proof of existence for a class of fourth-order nonlinear BVPs,” Computers & Mathematics with Applications, vol. 59, no. 2, pp. 903–911, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  11. H. Long and X. J. Zhang, “Construction and calculation of reproducing kernel determined by various linear differential operators,” Applied Mathematics and Computation, vol. 215, no. 2, pp. 759–766, 2009. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  12. X. J. Zhang and J. H. Huang, “The uniformity of spline interpolating operators and the best operators of interpolating approximation in W2m spaces,” Mathematica Numerica Sinica, vol. 23, no. 4, pp. 385–392, 2001. View at MathSciNet
  13. M. G. Cui and B. Y. Wu, Reproducing Kernel Space Numerical Analysis, Beijing Science Press, Beijing, China, 2004.
  14. X. Q. Lv and M. G. Cui, “Analytic solutions to a class of nonlinear infinite delay differential equations,” Journal of Mathematical Analysis and Applications, vol. 343, no. 2, pp. 724–732, 2008. View at Publisher · View at Google Scholar
  15. M. C. Cui and Y. Z. Lin, Nonlinear Numerical Analysis in the Reproducing Kernel Space, Nova Science, New York, NY, USA, 2009. View at MathSciNet
  16. Z. Chen and Y. Z. Lin, “The exact solution of a linear integral equation with weakly singular kernel,” Journal of Mathematical Analysis and Applications, vol. 344, no. 2, pp. 726–734, 2008. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  17. H. M. Yao and M. Cui, “Searching the least value method for solving fourth-order nonlinear boundary value problems,” Computers & Mathematics with Applications, vol. 59, no. 2, pp. 677–683, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  18. V. Giovangigli, “Nonadiabatic plane laminar flames and their singular limits,” SIAM Journal on Mathematical Analysis, vol. 21, no. 5, pp. 1305–1325, 1990. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  19. P. L. Simon, S. Kalliadasis, J. H. Merkin, and S. K. Scott, “Quenching of flame propagation with heat loss,” Journal of Mathematical Chemistry, vol. 31, no. 3, pp. 313–332, 2002. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  20. P. L. Simon, S. Kalliadasis, J. H. Merkin, and S. K. Scott, “Evans function analysis of the stability of non-adiabatic flames,” Combustion Theory and Modelling, vol. 7, no. 3, pp. 545–561, 2003. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  21. M. D. Smooke, “Solution of burner stabilized premixed laminar flames by boundaryvalue methods,” Journal of Computational Physics, vol. 48, no. 1, pp. 72–105, 1982. View at Publisher · View at Google Scholar
  22. J. Niu, Y. Z. Lin, and C. P. Zhang, “Numerical solution of nonlinear three-point boundary value problem on the positive half-line,” Mathematical Methods in the Applied Sciences, vol. 35, no. 13, pp. 1601–1610, 2012. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  23. H. Lian and W. Ge, “Existence of positive solutions for Sturm-Liouville boundary value problems on the half-line,” Journal of Mathematical Analysis and Applications, vol. 321, no. 2, pp. 781–792, 2006. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  24. S. Djebali and K. Mebarki, “Multiple unbounded positive solutions for three-point BVPs with sign-changing nonlinearities on the positive half-line,” Acta Applicandae Mathematicae, vol. 109, no. 2, pp. 361–388, 2010. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet
  25. Y. Tian and W. Ge, “Positive solutions for multi-point boundary value problem on the half-line,” Journal of Mathematical Analysis and Applications, vol. 325, no. 2, pp. 1339–1349, 2007. View at Publisher · View at Google Scholar · View at Zentralblatt MATH · View at MathSciNet