Green’s function for the boundary value problem of the static Klein-Gordon equation stated on a rectangular region and its convergence analysis
- Hao Cheng^{1, 2}Email authorView ORCID ID profile,
- Xiyu Mu^{3},
- Hua Jiang^{2},
- Guoqing Liu^{2} and
- Ming Wei^{1}
Received: 16 February 2017
Accepted: 2 May 2017
Published: 18 May 2017
Abstract
This study is motivated by solving the inverse boundary problem of the static Klein-Gordon equation (SKGE), which usually occurs in data assimilation problems. For the purpose of obtaining boundary conditions, the pro forma solution of the problem is provided by using Green’s function. The representation in double series of Green’s function for the SKGE on a rectangular region is obtained by means of the method of images. Convergence analysis shows that the representation is uniformly convergent, which is computer friendly, and can be applied to approximate computations.
Keywords
MSC
1 Introduction
This research is motivated by solving the inverse boundary value problem of the static Klein-Gordon equation (SKGE), which is formulated from data assimilation. Data assimilation is the process by which observations of the actual system are incorporated into the model state of a numerical model of that system. Applications of data assimilation arise in many fields of geosciences, most importantly in weather forecasting and hydrology [1]. Data assimilation can be transferred into a variational problem, whose corresponding Euler equation is an elliptic PDE, such as a SKGE. These data assimilation problems have some specific features: the boundary conditions are unknown, and some parameters, such as weighted coefficients, are unknown. In general, such problems are known in the literature as inverse problems. There exists much work on the identification problem of parameter estimation [2–6]. However, the problem of estimating the boundary conditions from observations of the solution has, to the best of our knowledge, seldom been studied in the literature. We could find in the literature only little related work. A class of inverse problems for the Laplace equation involves estimating the boundary function based on some values of the interior points using a linear assumption as regards the boundary function [7]. In [8], the inverse boundary value problem of determining three dimensional unknown inclusions was considered. In paper [9], the authors obtain essentially best possible stability estimates for a class of inverse problems associated to elliptic boundary value problems. Three examples of vibrating systems were considered whose mathematical descriptions lead to the Klein-Gordon equation in [10]. In paper [11], P-C scheme based on the use of rational approximants of second order to the matrix exponential term in a three-time level recurrence relation is applied to the nonlinear Klein-Gordon equation. But to estimate the boundary conditions from observations of the solution, to the best of our knowledge, the mentioned inverse boundary problem has seldom been studied in the literature. We could find in the literature only little related work.
Since most inverse problems are ill-posed, many popular techniques for solving inverse problems use some sort of numerical optimization. The unknown parameters or boundary conditions are chosen to be those that best agree with the observed data according to some criterion. In general, assume that the observed data and the desired parameters are related by a mathematical model, such as a differential equation, and that the data can be simulated for any appropriate estimate of the parameters or properly assumed boundary conditions. The output least-squares method is very natural: choose values for the parameters, simulate the data, compare them with the observed data, and then measure the misfit. Intuitively, if the formal solution of the PDE of the SKGE is provided, then the inverse problem can easily be formed as a model of approximation. This leads to the following questions: Can we explicitly solve the boundary problems for the SKGE? If so, can we construct computer-friendly representations?
In [12], the authors studied the Green’s functions for the SKGE. The method of images was applied to various boundary value problems in some unbounded domains, including the infinite strip, the infinite circular sector and the half-plane. The corresponding Green’s functions for the SKGE were constructed in a rapidly convergent series representation, which is a suitable form for the numerical implementation of Green’s functions. The method of eigenfunction expansion was used for constructing the Green’s functions of the boundary value problems in the unbounded domain, such as the infinite strip. The corresponding series of Green’s functions converges uniformly and can be accurately computed by a direct truncation. However, the series of Green’s functions for the rectangle is not computer friendly, as it is not uniformly convergent. To address this issue, in [13, 14], the author provided explicit formulas for the Green’s function of an elliptic PDE in the half-plane and the infinite strip, which were expressed in elementary and special function forms by means of Fourier transformations. However, the construction of Green’s function in [13] cannot be adapted to obtain the explicit Green’s function on rectangular regions, as the Fourier transformation requires an infinite domain.
In this paper, we discuss a method of solving the elliptic equation on a rectangular region. A computer-friendly representation of Green’s function for the Static Klein-Gordon Equation is obtained by the method of images. Convergence analysis shows that the representation can be used for approximate computation.
The paper is organized as follows: In Section 2, the variation formulas and the corresponding inverse boundary value problem are discussed. In Section 3, the Green’s function for the SKGE stated on a rectangular region is presented. In Section 4, the convergence of the double infinite series of the Green’s function is proved. Finally, in Section 5, the conclusions are given.
2 The variation formulas and the corresponding inverse boundary value problem
Obviously, this is a typical Dirichlet problem stated on a special region for an elliptic equation. Generally, it admits a unique classical solution.
Unfortunately, unknown boundary conditions are a very common problem with data assimilation, so we cannot directly solve the above problem. In practice, one can assume the boundary conditions, which results in large errors, as the solution of an elliptic equation is continuously dependent on the boundary conditions, and there may be a large difference between the assumed boundary conditions and the real boundary conditions.
In data assimilation, instead of obtaining with difficulty the values on the boundary, we easily observe the values of \(u(x,y)\) in sub-region Σ, that is, \(u(x,y) = \tilde{u}(x,y)\), \((x,y) \in \Sigma \subset \Omega \). We try to obtain the boundary conditions from the interior observation \(\tilde{u}(x,y)\). This is obviously an inverse problem. To solve this problem, intuitively, one can obtain the expression of the solution to equations (3) and (4) and then evaluate the unknown boundary conditions to minimize the deviation between the solution and the actual observed values.
3 Green’s function for the SKGE stated on a rectangular region
In the above representation, the kernel \(G(P,Q)\) is said to be the Green’s function for the homogeneous problem corresponding to that of (7) and (8). P and Q in (9) are referred to as the field point and the source point, respectively.
Obviously, \(\tilde{G}_{0}^{ +} ( x,y;\xi,\eta) \) satisfies the Dirichlet conditions on the boundary fragment \(y=0\) and \(y=b\). However, it conflicts with the Dirichlet conditions on the boundary fragments \(x=0\) and \(x=a\). To construct the Green’s function satisfying all boundary conditions, we consider the compensation that results by introducing new sinks.
4 Convergence of the double infinite series of Green’s function
Since the Green’s function in (31) is expressed as a double infinite series, its convergence ought to be specifically addressed to ensure its computability. Note first that the singularity in (31) is provided by the component that is a part of a simple term (\(m=0\), \(n=0\)), which does not, in any way, affect the convergence.
To study the convergence of the series (31), we consider the asymptotic property of Macdonald’s function \(K_{0} ( x) \) as x tends to infinity.
4.1 The asymptotic property of Macdonald’s function
4.2 Convergence of double series
As the Green’s function is represented in the form of a double infinite series, for the purpose of approximate computation, we now summarize some definitions and results about the uniform convergence of the series.
Definition 1
Theorem 1
Suppose that \(0 \le \vert a_{i,j} \vert \le b_{i,j}\); if \(\sum_{i = 1}^{\infty } \sum_{j = 1}^{\infty } b_{i,j}\) converges, then \(\sum_{i = 1}^{\infty } \sum_{j = 1}^{\infty } a_{i,j}\) absolutely converges.
Theorem 2
Suppose the function series \(\sum_{m = 1}^{\infty } \sum_{n = 1}^{\infty } u_{m,n}(x,y),(x,y) \in \Omega \) and \(\exists m,n \in Z^{ +}\), \((x,y) \in \Omega \); if \(\vert u_{m,n}(x,y)\vert \le a_{m,n}(x,y)\) and \(\sum_{m = 1}^{\infty } \sum_{n = 1}^{\infty } a_{m,n}(x,y)\) converges, then \(\sum_{m = 1}^{\infty } \sum_{n = 1}^{\infty } u_{m,n}(x,y)\) is uniformly convergent in Ω.
4.3 The convergence of infinite double series of Green’s function
Theorem 3
5 Numerical examples
Convergence procedure of nine selected points
( ξ , η ) | M = N | ||||||
---|---|---|---|---|---|---|---|
1 | 2 | 3 | 4 | 5 | 6 | 7 | |
(0.04, 0.05) | 0.0106 | 0.0102 | 0.0102 | 0.0101 | 0.0101 | 0.0101 | 0.0101 |
(0.17, 0.11) | 0.0325 | 0.0316 | 0.0314 | 0.0314 | 0.0314 | 0.0314 | 0.0314 |
(0.24, 0.25) | 0.0874 | 0.0852 | 0.0849 | 0.0849 | 0.0849 | 0.0849 | 0.0849 |
(0.37, 0.31) | 0.1521 | 0.1493 | 0.1489 | 0.1488 | 0.1488 | 0.1488 | 0.1488 |
(0.44, 0.45) | 0.3245 | 0.3205 | 0.3199 | 0.3198 | 0.3198 | 0.3198 | 0.3198 |
(0.59, 0.69) | 0.1693 | 0.1627 | 0.1618 | 0.1616 | 0.1616 | 0.1616 | 0.1616 |
(0.72, 0.78) | 0.0913 | 0.0838 | 0.0827 | 0.0825 | 0.0825 | 0.0825 | 0.0825 |
(0.79, 0.89) | 0.0451 | 0.0362 | 0.0349 | 0.0347 | 0.0347 | 0.0347 | 0.0347 |
(0.92, 0.98) | 0.0162 | 0.0062 | 0.0048 | 0.0046 | 0.0045 | 0.0045 | 0.0045 |
6 Conclusions
In this paper, we consider the boundary value problem for the static Klein-Gordon equations, which are associated with the Euler equation from data assimilation applications. In real application problems, such as data assimilations, the rectangle is the most popular analysis region. The present study focuses formally on solving the elliptic Klein-Gordon equation on a rectangular region, which can be used for obtaining the boundary conditions by numerical optimization. Green’s function for the static Klein-Gordon equation is constructed through the method of images. Convergence analysis shows that the computer-friendly representation can be used for numerical computation.
Declarations
Acknowledgements
The article was supported by the National Natural Science Foundation of China (No. 61401236).
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.
Authors’ Affiliations
References
- Talagrand, O, Courtier, P: Variational assimilation of meteorological observations with the adjoint vorticity equation. I: Theory. Q. J. R. Meteorol. Soc. 113, 1311-1328 (1987) View ArticleGoogle Scholar
- Al-Jamal, MF: Numerical solution of elliptic inverse problems via the equation error method. PhD Dissertation, Michigan Technological University (2012) Google Scholar
- Mehraliyev, YT Kanca, F: An inverse boundary value problem for a second order elliptic equation in a rectangle. Math. Model. Anal. 19(2), 241-256 (2014) MathSciNetView ArticleGoogle Scholar
- Mehraliyev, YT: On solvability of an inverse boundary value problem for a fourth order elliptic equation. J. Math. Syst. Sci. 3, 560-566 (2013) Google Scholar
- Orlovsky, DG: Inverse problem for elliptic equation in Banach space with Bitsadze-Samarsky boundary value conditions. J. Inverse Ill-Posed Probl. 21, 141-157 (2013) MathSciNetView ArticleMATHGoogle Scholar
- Zhao, S, Wang, Y: The generalized Green’s function of Neumann boundary value problem for the 2th order elliptic equation on a rectangle in R ^{2}. Natur. Sci. J. Harbin Normal Univ. 3, 1-4 (2003) (in Chinese) Google Scholar
- Wu, X, Jiang, E, Hou, W: A class of inverse problem for Laplacian equation. J. Shanghai Univ. Nat. Sci. 10, 516-520 (2004) (in Chinese) MathSciNetMATHGoogle Scholar
- Kim, S: An inverse boundary value problem of determining three dimensional unknown inclusions in an elliptic equation. J. Inverse Ill-Posed Probl. 14(9), 881-889 (2006) MathSciNetView ArticleMATHGoogle Scholar
- Alessandrini, G, Beretta, E, Rosset, E, et al.: Inverse boundary value problems with unknown boundaries: optimal stability. Comptes Rendus de l’Académie des Sciences-Series IIB-Mechanics 328(8), 607-611 (2000) View ArticleMATHGoogle Scholar
- Gravel, P, Cauthier, C: Classical applications of the Klein-Gordon equation. Am. J. Phys. Teach. 79(5), 447-453 (2011) View ArticleGoogle Scholar
- Bratsos, AG: On the numerical solution of the Klein-Gordon equation. Numer. Methods Partial Differ. Equ. 25(4), 939-951 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Melnikov, YA: Construction of Green’s functions for the two-dimensional static Klein-Gordon equation. J. Partial Differ. Equ. 24(2), 114-139 (2011) MathSciNetMATHGoogle Scholar
- Muravey, D: The boundary value problem for a static 2D Klein-Gordon equation in the infinite strip and in the half-plane. Math. 40(2), 205-227 (2015) Google Scholar
- Aseeri, S, Batrasev, O, Icardi, M, et al.: Solving the Klein-Gordon equation using Fourier spectral methods: a benchmark test for computer performance. In: Proceedings of the Symposium on High Performance Computing (HPC’15), pp. 182-191 (2015) Google Scholar
- Polidoro, S, Ragusa, MA: Harnack inequality for hypoelliptic ultraparabolic equations with a singular lower order term. Rev. Mat. Iberoam. 24(3), 1011-1046 (2008) MathSciNetView ArticleMATHGoogle Scholar
- Polidoro, S, Ragusa, MA: Holder regularity for solutions of ultraparabolic equations in divergence form. Potential Anal. 14(4), 341-350 (2001) MathSciNetView ArticleMATHGoogle Scholar
- Whittaker, ET, Watson, GN: A Course of Modern Analysis. Cambridge University Press, Cambridge (1996) View ArticleMATHGoogle Scholar