447
Views
2
CrossRef citations to date
0
Altmetric
Research Article

A local meshless procedure to determine the unknown control parameter in the multi-dimensional inverse problems

ORCID Icon, ORCID Icon & ORCID Icon
Pages 1369-1400 | Received 24 Sep 2019, Accepted 02 Nov 2020, Published online: 10 Dec 2020

Abstract

This article is devoted to applying a local meshless method for specifying an unknown control parameter in one- and multi-dimensional inverse problems which are considered with a temperature overspecification condition at a specific point or an energy overspecification condition over the computational domain. Finding the unknowns in inverse problems is a challenge because these problems are modeled as non-classical parabolic problems and also have a significant role in describing physical phenomena of the real world. In this study, a combination of the meshless method of radial basis functions and finite difference method (called radial basis function-finite difference method) is used to solve inverse problems because this method has two important features. First it does not require any mesh generation. Consequently, it can be exerted to handle the high-dimensional inverse problems. Secondly, since this method is local, at each time step, a system with a sparse coefficient matrix is solved. Hence, the computational time and cost will be much low. Various numerical examples are examined, and also the accuracy and computational time required are presented. The numerical results indicate that the mentioned procedure is appropriate for the identification of the unknown parameter of inverse problems.

AMS subject Classifications:

1. Introduction

Parabolic inverse problems play a fundamental role in modeling some physical phenomena. They emerge in various fields of physics and engineering such as analysis of heat conduction, thermoplasticity, chemical diffusion and control theory. Until now, specifying the unknown sources in inverse source problems has attracted a lot of attention. The applications of this kind of inverse problem have been extended to various fields of applied science such as identification of pollution sources in surface water [Citation1–4], bio-luminescence tomography [Citation5], electroencephalography[Citation6], photo/optical tomography [Citation7]. Hence, researchers and scientists have made great efforts to develop, analyze and implement numerical methods for the solution of these problems.

This article is devoted to the following inverse problem [Citation8, Citation9] (1) vt(x,t)=Δv(x,t)+p(t)v(x,t)+ϕ(x,t),(x,t)Ω×(0,T],(1) with initial and boundary conditions (2) v(x,0)=f(x),xΩ,(2) (3) v(x,t)=g(x,t),(x,t)Ω×(0,T],(3) subject to either a temperature overspecification condition at a precise point x in the computational domain (4) v(x,t)=E(t),t(0,T], xΩ,(4) or to an energy overspecification over the computational domain (5) Ωk(x) v(x,t)dx=E(t),t[0,T],(5) where ϕ(x,t),f(x),g(x,t),k(x) and E(t) are known functions, while v(x,t), and p(t) are unknown functions.

The problem (Equation1) is translated as a heat transfer process with control function p(t), assuming that v(x,t) demonstrates the temperature distribution. Equation (Equation4) determines the temperature at a specific point x in the computational domain at any time, and Equation (Equation5) represents thermal energy surrounded in a part of the computational domain. So, the purpose of solving Equation (Equation1) is to specify control parameter p(t) that will represent a desired temperature at a specific point x or a desired thermal energy distribution in part of the computational domain [8,9].

The primary work done on the inverse problem is to prove the existence, uniqueness, and stability of their solutions [Citation8, Citation10–14]. Then, many researchers concentrated on the inverse problem with a temperature overspecification condition (called the first inverse problem in current research). The authors of [Citation15, Citation16] exerted various FD methods for solving 1-D first inverse problems. The authors of [Citation17] described how to use the Legendre multiscaling basis approximation and Galerkin method for detecting the parameter p(t) in the 1-D case. Article [Citation18] is devoted to solving the 1-D case of Equation (Equation1) by a shifted Legendre tau method. In [Citation19], the solution of Equation (Equation1) is approximated by Chebyshev cardinal functions in the 1-D case. Mohebbi and his co-worker [Citation20] firstly discretized the spatial derivatives of Equation (Equation1) by a fourth-order compact method and they then employed the boundary value method for solving the obtained system of ordinary differential equations. The main targets of [Citation21, Citation22] were to develop a meshless method for solving the 1-D Equation (Equation1). A greedy meshless local Petrov-Galerkin (MLPG) method was presented for determining the parameter p(t) in 2-D inverse problems by Takhtabnoos and her co-worker [Citation23]. Article [Citation24] is devoted to solving the 3-D inverse problem with the overspecification condition at a specific point.

Also, various numerical methods are investigated for solving the inverse problem with the energy overspecification condition (called the second inverse problem in this investigation). Several FD schemes are applied for solving the 1-D Equation (Equation1) in [Citation25, Citation26]. Wang and his co-author [Citation27] employed the Crank-Nicolson finite difference (FD) method for finding the control parameter p(t) in the 1-D case. Three finite difference schemes, (1,5) fully explicit technique, (5,5) Noye-Hayman fully implicit scheme and Peaceman-Rachford alternating direction implicit (P-R ADI) methods are extended to solve the 2-D case of Equation (Equation1). These methods have second-order accuracy but it is shown that the P-R ADI scheme is more efficient and has less computational time than the rest [Citation9]. The author of [Citation28] used various fourth-order methods for the 1-D problem (Equation1)–(Equation3) with the integral overspecification condition (Equation5). In [Citation24, Citation29], the 3-D inverse problem with the energy overspecification condition is solved by a FD scheme and a Legendre pseudo-spectral method, respectively.

The RBF-FD method seems to have been first proposed by Tolstykh via a conference presentation in 2000 in [Citation30]. In [Citation31], it has been noted that when ϵ0, the convergence of RBF interpolants to polynomial would propose RBF-generated finite difference methods. Moreover, in 2002, Wang and his co-worker presented some RBF-FD applications in Ref. [Citation32]. Finally, in 2003, the RBF-FD method is applied for solving two-dimensional incompressible Navier-Stokes equations [Citation33]. Authors of [Citation34] implemented the RBF-FD and LSFD methods for 2-D Poisson and Lid-Driven equations. Besides, they indicated that the RBF-FD method has significant accuracy. The main aim of [Citation35] is to use the RBF-FD method for solving steady convection-diffusion equations. In [Citation36], it has been explained how to apply the RBF-FD method to the shallow water equations and also the accuracy and computational efficiency of the mentioned method have been established. Bolling et al. [Citation37] were the first researchers to concentrate on the parallel performance of the RBF-FD method and presented parallelization strategies. In [Citation38] the RBF-FD method has been applied for solving 2-D Navier-Stokes equation. Moreover, an adaptive shape parameter for RBFs has been presented in order to improve numerical results. In Ref. [Citation39], the RBF-FD is applied for the simulation of some models in the nonlinear wave phenomena such as the regularized long-wave and Extended Fisher-Kolmogorov equations in one-, two- and three- dimensional cases.

1.1. The main structure of this article

This study is dedicated to applying the RBF-FD method for solving the problem (Equation1)–(Equation3) subject to the overspacification condition (Equation4) or (Equation5). The framework of this paper is as follow:

  • In Section 2, a general description of the RBF-FD scheme is presented.

  • Section 3 is devoted to the elaboration of linearization of inverse problems.

  • In Section 4, we account for how to implement the RBF-FD technique for one- and multi-dimensional first linearized inverse problems.

  • Section 5 relates to applying the RBF-FD technique for one- and multi-dimensional second linearized inverse problems.

  • In Section 6, we consider several numerical results to simulate the RBF-FD method for solving one- and multi-dimensional inverse problems.

  • Section 7 provides the overall conclusion of this research.

2. A general description on the RBF-FD method

FD formulas for a regular mesh are generally derived from 1-D case. To obtain FD formulas in high dimension in Cartesian grids, the 1-D FD can be separately employed in each spatial direction. Now, the main goal is to find a polynomial-based FD-formula. There are various approaches for detecting the weights in 1-D FD formulas. The simplest of them is that the formulas must be precise for the monomials 1,x,x2, up to the highest degree possible [Citation40, Citation41]. For instance, we approximate the linear differential operator L at the point xc with ns points over its stencil. Hence, the unknowns xc-related are determined by solving the following linear system [Citation40] (6) 1111x1x2x3xnsx12x22x32xns2x1n1x2n1x3n1xnsns1Vξ1ξ2ξ3ξns=L(1)|x=xcL(x)|x=xcL(x2)|x=xcL(xns1)|x=xc.(6) The Vandermonde matrix V is nonsingular if the points xi are distinct. This approach is not applicable to scattered points and multivariate functions because the unisolvency feature does not resolve in this case [Citation40].

The main concept in finding a radial basis function-generated finite difference (RBF-FD) formula is to use d-D RBFs (d1) centered at x~i, i=1,2,,ns instead of the monomial functions in the system (Equation6). Therefore, it leads to the following system for the approximation of any linear operator (7) Ψ(x~1x~1)Ψ(x~2x~1)Ψ(x~nsx~1)Ψ(x~1x~2)Ψ(x~2x~2)Ψ(x~nsx~2)Ψ(x~1x~ns)Ψ(x~2x~ns)Ψ(x~nsx~ns)Aξ1ξ2ξns=LΨ(x~x~1)|x~=x~cLΨ(x~x~2)|x~=x~cLΨ(x~x~n)|x~=x~c,(7) where . denotes the common Euclidean norm. The invertibility of matrix A is guaranteed when RBFs are selected from Table  [Citation42].

Table 1. Definition of several radial functions [Citation42, Citation43]

The matrix A in the system (Equation7) is known as the RBF interpolation matrix. Suppose a set of distributed points x~jΩ and function values f(x~j) (j=1,,N) are given, then the local RBF interpolant is introduced as [Citation40] (8) I(x~)=i=1nsγiΨ(x~x~i).(8)

By enforcing the interpolation conditions, the unknowns {γi}i=1ns are obtained by solving Aγ=f.

RBFs are employed to approximate derivative operators in two different cases, global and local. In the former, the number of points inside each stencil ns is equal to the total number of points N in the computational domain while in the latter, the number of points inside each stencil ns is much less than the total number of points N. For simplicity, the RBF-FD stencil over any point consists of its ns nearest points.

The approximation of linear operator L around each point requires a ns-set of weights that are obtained by solving the system of (Equation7). A differentiation matrix is formed by replacing the obtained weight sets in its consecutive rows. To determine the rows of this matrix, we use the system (Equation7) to earn all weights sets at each point. Hence, the weights of xk-point are obtained as follows [Citation40] (9) (ξk)={A}1h,(9) where Aij=Ψ(x~jx~i) and (h)i=LΨ(x~x~i)|x~=x~k. Then, the computed weights ξk must be set in the kth row of the differentiation matrix D. Finally, any linear differential operator is approximated as (10) Lf(xˆ)|x=x1Lf(xˆ)|x=xNDf(xˆ1)f(xˆN).(10) The resulting RBF-FD differentiation matrix D is a sparse matrix with the ns non-zero entries at any N rows. We present Algorithm 2 to explain how to construct a second-order differentiation matrix Dxx. It should be noted that we use the Multiquadric radial function introduced in Table  and choose the suitable shape parameter η using Algorithm 1 which has been presented in [Citation44].

The required parameters for Algorithm 1 are defined as :

  1. A denotes the interpolation matrix.

  2. σmin and σmax, which are the smallest and largest singular values, are obtained from the singular-value decomposition (SVD).

  3. Kmin=102 and Kmax=104.

  4. η¯=1N.

3. Linearization of inverse equation

The first aim is to linearize the non-linear Equation (Equation1) by using the following relations [Citation9] (11) w(t)=exp0tp(τ)dτ,u(x,t)=w(t)v(x,t).(11) According to transformations (Equation11), the unknown functions can be written as [Citation9] (12) v(x,t)=u(x,t)w(t),p(t)=w(t)w(t).(12) Substituting (Equation12) in (Equation1)–(Equation5), we obtain (13) ut(x,t)=Δu(x,t)+w(t)ϕ(x,t),(x,t)Ω×[0,T],u(x,0)=f(x),xΩ,u(x,t)=w(t)g(x,t),(x,t)Ω×[0,T],(13) with temperature overspecification condition (14) u(x,t)=w(t)E(t),t[0,T],(14) and energy overspecification condition (15) Ωk(x)u(x,t)dx=w(t)E(t).(15) Equations (Equation14) and (Equation15) are respectively equivalent to (16) w(t)=u(x,t)E(t),w(t)=1E(t)Ωk(x)u(x,t)dx,(16) in which E(t)0. According to the two relations in (Equation16) for w(t), we can deduce two new non-standard parabolic PDEs as follows [Citation9]:

  • First linearized inverse problem: By substituting the first values of w(t) introduced in Equation (Equation16) in the problem (Equation13), the linearized form of the problem (Equation1)–(Equation4) is obtained [28] (117) ut(x,t)=Δu(x,t)+u(x,t)E(t)ϕ(x,t),(x,t)Ω×[0,T],(117) (18) u(x,0)=f(x),xΩ,(18) (19) u(x,t)u(x,t)E(t)g(x,t)=0,(x,t)Ω×[0,T].(19)

  • Second linearized inverse problem:

    On the other hand, considering the second relation of w(t) in (Equation16), the original problem (Equation1)–(Equation3) with the energy overspecification condition (Equation5) is transformed into the following linear problem [24,26] (20) ut(x,t)=Δu(x,t)+ϕ(x,t)E(t)Ωk(x)u(x,t)dx,(x,t)Ω×[0,T],(20) (21) u(x,0)=f(x),xΩ,(21) (22) u(x,t)g(x,t)E(t)Ωk(x)u(x,t)dx=0,(x,t)Ω×[0,T].(22)

Now, after obtaining the approximate solution of the problem (Equation17)–(Equation19) or the problem (Equation20)–(Equation22), access to the functions v(x,t) and p(t) is possible [24,28] with the following relations v(x,t)=E(t)u(x,t)u(x,t),p(t)=1E(t)E(t)Δv(x,t)ϕ(x,t).

4. Discretization of the first linearized inverse problem

To discretize the time variable of Equation (Equation17), it is necessary to consider the following. The time step is defined as tm=mτ,m=0,1,,Nt,in which τ=TNt is the size of the time step. In this section, we employ a finite-difference scheme for the approximation of the first-order time derivative in Equation (Equation17) as follows (23) un+1(x)τ2Δun+1(x)=un(x)+τ2Δun(x)+τEnun(x)ϕn(x),n=0,1,,Nt1,(23) where un(x)=u(x,tn), ϕn(x)=ϕ(x,tn). In the subsequent subsections, the spatial variable in Equation (Equation23) is discretized with the radial basis function-generated finite difference (RBF-FD) method.

4.1. One-dimensional case

We next describe the implementation of the standard RBF-FD technique for solving the 1-D of the inverse problem. Suppose the computational domain is Ω=[a,b]. The 1-D semi-discrete case of the first inverse problem is (24) un+1(x)τ2uxxn+1(x)=un(x)+τ2uxxn(x)+τEnun(x)ϕn(x).(24) Collocating Equation (Equation24) at the points {xi}i=1N yields un+1(xi)τ2uxxn+1(xi)=un(xi)+τ2uxxn(xi)+τEnun(x)ϕn(xi),i=1,,N.From Equations (Equation9) and (Equation10), the second-order derivative is approximated as (25) uxxn(xi)=j=1nsξijxxun(xj),i=1,,N,(25) where ξijxx are the entries in the ith row of the differentiation matrix related to the second-order derivative in the x-direction. Substituting Equation (Equation25) in Equation (Equation24) yields (26) un+1(xi)τ2j=1nsξijxxun+1(xj)=un(xi)+τ2j=1nsξijxxun(xj)+τEnun(x)ϕn(xi),i=1,,N.(26) Then, the corresponding matrix-vector form of Equation (Equation26) is Mun+1=Kun,in which Mi,j=Ii,jτ2Di,jxx,i=2,,N1, j=1,,N,Ki,j=Ii,j+τ2Di,jxx,i=2,,N1, j=1,,N, js,Ki,s=Ii,s+τ2Di,sxx+τEnϕn(xi),i=2,,N1,and u=u1u2uN1uNT.I is the identity matrix, s indicates the index number of point x and matrix Dxx is obtained by considering L=2x2 in Equations (Equation9) and (Equation10). Notice that the first and last rows of matrices M and K account for the boundary conditions. To impose boundary condition (Equation19), the following relations must be satisfied un+1(a)gn+1(a)En+1un+1(x)=0,un+1(b)gn+1(b)En+1un+1(x)=0,in which a and b are the end points of the interval Ω=[a,b]. Finally, the matrix of M is formed as follows M=100gn+1(a)En+1000M2,1M2,sM2,NMN1,1MN1,sMN1,N000gn+1(b)En+1001,and the first and last rows of K will be zero.

4.2. Multi-dimensional case

We  intend to discretize the spatial variables of the d-D (d2) Equation (Equation23) by applying the RBF-FD method. In this section, the RBF-FD method is used for the 2-D inverse problem and then a similar procedure can be obtained for the 3-D case.

Collocating Equation (Equation23) at the points {xi}i=1N2={(xi,yi)}i=1N2 yields (27) un+1(xi)τ2uxxn+1(xi)+uyyn+1(xi)=un(xi)+τ2uxxn(xi)+uyyn(xi)+τEnun(x)ϕn(xi),i=1,,N2.(27) The approximate solution is (28) un(xi)=j=1nsξijun(xj),(28) where ξij are the entries of the identity matrix.

According to Equation (Equation10), the second-order derivative respect to x is approximated as (29) uxxn(xi)=j=1nsξijxxun(xj),(29) where ξijxx are the non-zero entries in the ith row of the differentiation matrix related to the x-direction, and similarly the second-order derivative with respect to y is approximated as (30) uyyn(xi)=j=1nsξijyyun(xj),(30) where ξijyy are the non-zero entries in ith row of differentiation matrix related to the y-direction. Finally, the following system is obtained by substituting Equations (Equation28)–(Equation30) in Equation (Equation27) M~un+1=K~un,where M~i,j=I~i,jτ2Li,jxx+Li,jyy,i,j=1,,N2, iPˆ={pˆq, q=1,,Nb},K~i,j=I~i,j+τ2Li,jxx+Li,jyy,i,j=1,,N2, js, iPˆ={pˆq, q=1,,Nb},K~i,s=I~i,s+τ2Li,sxx+Li,syy+τEnϕn(xi), i=1,,N2,iPˆ={pˆq, q=1,,Nb},the parameter s denotes the index number of the point x=(x,y), the set Pˆ contains the indices of the boundary points and I~ is the N2×N2 identity matrix. Furthermore, the second-order differentiation matrices in the 2-D case can be obtained by using the Kronecker tensor ⊗ as Lxx=DxxI,Lyy=IDyyin which I is a N×N identity matrix.

To impose the boundary conditions, Equation (Equation19) must be satisfied at all boundary points, that is un+1(xi)un+1(x)En+1gn+1(xi)=0, iP~.Hence, the rows in M~ and K~ which are corresponded to the boundary points are formed as follows M~pˆq,pˆq=1,q=1,,Nb,M~pˆq,s=gn+1(xpˆq)En+1,q=1,,Nb,K~pˆq,j=0,q=1,,Nb, j=1,,N.

5. Discretization of the second linearized inverse problem

By applying a finite difference method to Equation (Equation20), we get the following semi-discrete scheme (31) un+1(x)τ2Δun+1(x)=un(x)+τ2Δun(x)+τϕn(x)EnΩk(x)un(x)dx,n=0,1,,Nt1,(31) where Nt denotes the number of time steps, un(x)=u(x,tn) and ϕn(x)=ϕ(x,tn).

5.1. One dimensional case

In this subsection, attention is paid to the discretization of the spatial variable in the 1-D case of our second inverse problem by using the radial basis function-generated finite difference (RBF-FD) method. In particular, the 1-D case of Equation (Equation31) is considered un+1(x)τ2uxxn+1(x)=un(x)+τ2uxxn(x)+τϕn(x)EnΩk(x)un(x)dx,n=0,1,,Nt1.Collocating the points {xi}i=1N in above equation, we have (32) un+1(xi)τ2uxxn+1(xi)=un(xi)+τ2uxxn(xi)+τϕn(xi)EnΩk(x)un(x)dx,i=1,,N.(32) Based on the RBF-FD method, the solution and its second-order derivative are approximated by using Equations (Equation9) and (Equation10). Substituting Equations (Equation28) and (Equation29) in Equation (Equation32) leads to (33) un+1(xi)τ2j=1nsξijxxun+1(xj)=un(xi)+τ2j=1nsξijxxun(xj)+τϕn(xi)EnΩk(x)un(x)dx.(33) Similarly, the boundary condition (Equation22) is discretized as (34) un+1(xi)gn+1(xi)En+1Ωk(x)un+1(x)dx=0,xi=a,bΩ.(34) Clearly, there is an integral term in the original problem and its boundary conditions. It should be noted that the treatment of the integral term in PDEs with non-classical boundary conditions is an important issue.

For approximating the integral term in (Equation33) and (Equation34), we choose the trapezoidal rule because its implementation is simple and it has a truncation error of order 2.

The trapezoidal rule [Citation45] is introduced as (35) 01k(x)un(x)dxh2m=0Ndm k(xm) un(xm),d0=dN=1, dj=2, j=1,,N1.(35) By substituting Equation (Equation35) in Equation (Equation34), the following system is concluded Mˆun+1=Kˆun,in which Mˆi,j=Ii,jτ2Di,jxx,i=2,,N1, j=1,,N.Mˆ1,j=I1,jgn+1(x1)En+1R1,j,j=1,,N,MˆN,j=IN,jgn+1(xN)En+1RN,j,j=1,,N,Kˆi,j=Ii,j+τ2Di,jxx+τϕn(xi)EnRi,j,i=2,,N1, j=1,,N,Kˆ1,j=0,KˆN,j=0, j=1,,N,I is the identity matrix and the matrix R is constructed from the coefficients in the trapezoidal rule as follows R=h2d0d1dN1dNd0d1dN1dN.

5.2. Multi-dimensional case

This section is devoted to discretizing the inverse problem with an integral overspecification condition in the d-D case (d=2,3) that is rewritten as un+1(x)τ2Δun+1(x)=un(x)+τ2Δun(x)+τϕn(x)EnΩk(x)un(x)dx,ΩRd, d=2,3.Collocating the above equation at the points {xi}i=1Nd, we have (36) un+1(xi)τ2Δun+1(xi)=un(xi)+τ2Δun(xi)+τϕn(xi)EnΩk(x)un(x)dx.(36) Based on the RBF-FD method, the solution and its differential operator Δ are approximated as (37) un(xi)=j=1nsξijun(xi),Δun(xi)=j=1nsξijΔun(xi),(37) in which ξij and ξijΔ are the entries of the identity matrix and the non-zero entries in ith row of differentiation matrix, respectively. Finally, substituting Equation (Equation37) in Equation (Equation36) yields the following equation (38) un+1(xi)τ2j=1nsξijΔun+1(xi)=un(xi)+τ2j=1nsξijΔun(xi)+τϕn(xi)EnΩk(x)un(x)dx.(38) By using the trapezoidal rule, the numerical approximation of integral (Equation38) in the 2-D is [Citation45] ababk(x)un(x)dxh24s=0Nm=0Ndsdmun(xs,ym),d0=dN=1, dj=2, j=1,,N1,and in the 3-D is [Citation45] abababk(x)un(x)dxh38s=0Nm=0Nl=0Ndsdmdlun(xs,ym,zl),d0=dN=1, dj=2, j=1,,N1.Replacing the numerical integration obtained by the trapezoidal rule in Equation (Equation38) leads to the following system M¯un+1=K¯un,in which M¯i,j=Ii,jτ2Li,jΔ,i,j=1,,Nd, iPˆ={pˆq, q=1,,Nb},M¯pˆq,j=Ipˆq,jgn+1(xpˆq)En+1Rjd,j=1,,Nd, d=2,3,K¯i,j=Ii,j+τ2Li,jΔ+τϕn(xi)EnRjd,i,j=1,,Nd, iPˆ={pˆq, q=1,,Nb},d=2,3,K¯pˆq,j=0,j=1,,N,L denotes the differentiation matrix related to operator Δ and the matrices Rd for d = 2, 3 are constructed from the trapezoidal coefficients matrices as follows: R2=1221244224421221N×N,R~=2442488448842442N×N, R3=R2R~R~R2N2×N.

6. Numerical illustration

The main aim of this section is to reveal the accuracy and efficiency of the proposed technique for solving inverse problems by considering several numerical examples. We obtained all of the reported results in this section by using MATLAB software on a 2133 MHz CPU machine with 8 GB of memory.

6.1. Example 1

We first consider the 1-D problem (Equation1)–(Equation3) with temperature overspecification (Equation4) at the point x=0.25 on Ω=[0,1] with ϕ(x,t)=π2(t+1)2 exp(t2)sin(πx)+cos(πx),g(0,t)=exp(t2),g(1,t)=exp(t2),f(x,0)=sin(πx)+cos(πx),E(t)=exp(t2)sin(πx)+cos(πx),for which the exact solutions are [Citation46, Citation47] v(x,t)=exp(t2)sin(πx)+cos(πx)andp(t)=1+t2.This problem is examined by applying the RBF-FD technique with several values of N and τ. The numerical results are compared with the reported results in [Citation46–48].

In Table , we listed the absolute errors in approximating p(t) and the CPU time used at different values of the final time by choosing the values of N = 64, τ=5×103. This method approximates the values of the parameter p(t) well with less CPU time. In Table , the absolute errors in the solution v(x,t) at the final time T = 1 are reported by using N = 80 and τ=5×103. The maximum errors obtained in calculation of the solution at the final time T = 1, with N = 100 and τ=102 are shown in Table . It can be concluded that the RBF-FD method has been able to accurately calculate the solution of Example 1 for a larger time step size τ than the finite difference [Citation46], finite element [Citation48] and MLS method [Citation48]. Table  illustrates the maximum errors obtained for several coordinates of x.

Table 2. Comparison of the maximum error obtained in calculating p(t) between RBF-FD approach and methods of [Citation46, Citation47] for Example 1.

Table 3. Comparison of the maximum error obtained in approximating v(x,1) between RBF-FD approach and methods of [Citation46, Citation47] for Example 1.

Table 4. Comparison of the maximum error obtained in approximating v(x,1) between RBF-FD approach and methods of [Citation46, Citation48] for Example 1.

Table 5. The errors obtained in approximating p(t) and v(x,y,t) with N = 50, τ=3×104 and several coordinates of x for Example 1.

The approximate solution v(x,t) and its absolute error at the final time T = 1 with N = 32, ns=5 and τ=5×103 are shown in Figure . Graphs of the absolute error p(t) with different values of τ are illustrated in Figure  with N = 32, ns=5 and τ=5×103.

Figure 1. Graphs of approximate solution v(x,1) (left plot) and its absolute error (right plot) with N = 32, ns=5 and τ=5×103 for Example 1.

Figure 1. Graphs of approximate solution v(x,1) (left plot) and its absolute error (right plot) with N = 32, ns=5 and τ=5×10−3 for Example 1.

Figure 2. Graphs of the absolute error p(t) with N = 32, ns=5 and τ=5×103 (right plot) and several values of τ (left plot) for Example 1.

Figure 2. Graphs of the absolute error p(t) with N = 32, ns=5 and τ=5×10−3 (right plot) and several values of τ (left plot) for Example 1.

6.2. Example 2

In Example 2, the 2-D case of Equations (Equation1)–(Equation3) is considered on Ω=[0,1]2 with [Citation9,Citation28,Citation49] ϕ(x,y,t)=π2(t+1)2 exp(t2)cos(πx)+sin(πy),g(0,y,t)=exp(t2)(sin(πy)+1),g(1,y,t)=exp(t2)(sin(πy)1),g(x,0,t)=exp(t2)(cos(πx)),g(x,1,t)=exp(t2)(cos(πx)),f(x,y)=cos(πx)+sin(πy),E(t)=exp(t2)(cos(πx)+sin(πy)),subject to the temperature overspecification condition at point x=(x,y)=(0.2,0.2). The exact solutions are [Citation49] v(x,y,t)=exp(t2)cos(πx)+sin(πy)andp(t)=1+t2.We intend to solve this model by the RBF-FD method with various values of N, τ and T. Then, we compare the numerical results obtained with the results given in [Citation22, Citation49].

Graphs of the numerical solutions p(t) and v(x,y,1) with N = 32, ns=5 and τ=104 are shown in Figure . Moreover, the graphs and contours of the absolute error for v(x,y,1) are plotted in this figure.

Figure 3. Graphs of numerical solution and absolute error for v(x,1) and p(t) for Example 2.

Figure 3. Graphs of numerical solution and absolute error for v(x,1) and p(t) for Example 2.

Table  presents the E2 and E error norms and CPU time used by applying the RBF-FD method at different values of the final time by considering N = 20, 40 and τ=2.5×103. Table  reports the absolute error in calculating p(t) with τ=2.5×103. Table  represents the maximum error in calculating p(t) and v(x,y,t) for several positions of x. This table implies that the RBF-FD method has the ability to approximate the solutions for different coordinates of x.

Table 6. The error obtained in approximating v(x,y,t) by RBF-FD approach with τ=2.5×103 and ns=5 for Example 2.

Table 7. Comparison of the errors obtained in approximating p(t) by RBF-FD approach and method of [Citation22] for Example 2.

Table 8. The errors obtained in approximating p(t) and v(x,y,t) with N = 30, τ=5×103 and several coordinates of x for Example 2.

6.3. Example 3

In Example 3, the 2-D case of problem (Equation1)–(Equation3) is considered on Ω=[0,1]2 with [Citation9,Citation23,Citation28] ϕ(x,y,t)=exp(t)sinπ4(x+2y)exp(t)+5π24816,g(0,y,t)=exp(t)sinπ2y,g(1,y,t)=exp(t)sinπ4(1+2y),g(x,0,t)=exp(t)sinπ4x,g(x,1,t)=exp(t)sinπ4(x+2),f(x,y)=sinπ4(x+2y),E(t)=exp(t)sinπ4(x+2y),subject to the temperature overspecification condition at point x=(x,y)=(0.4,0.1). The exact solutions are [Citation23] v(x,y,t)=exp(t)sinπ4(x+2y)andp(t)=4exp(t).Figure  shows the absolute errors in the calculation of p(t) at various final times. Figure  depicts graphs of the numerical solutions v(x,y,1) and p(t) with N=40,ns=5 and τ=5×104. Graphs of the absolute error obtained with N = 40 and 5×104 for v(x,y,1) are presented in Figure .

Figure 4. Graph of the absolute error p(t) with N = 40, ns=5 and τ=5×104 for Example 3.

Figure 4. Graph of the absolute error p(t) with N = 40, ns=5 and τ=5×10−4 for Example 3.

Figure 5. Graphs of the numerical solutions and absolute error with N=40 and τ=5×104 for Example 3.

Figure 5. Graphs of the numerical solutions and absolute error with N=40 and τ=5×10−4 for Example 3.

The E error norms and CPU time used by applying the RBF-FD method at different values of the final time by considering N = 20, 50 and τ=103 are reported in Table . Table  lists the absolute error of the solution v(x,y,1) with τ=103 for different values of N. Tables  and  illustrate that the RBF-FD method is capable of approximating the solution v(x,y,t) and parameter p(t) with low computational time and acceptable accuracy. Tables  and  demonstrate that the RBF-FD method approximates the solutions accurately by considering the oversepcification condition at each point x in the computational domain.

Table 9. The errors obtained in approximating p(t) with τ=103 and ns=5 for Example 3.

Table 10. The errors obtained in approximating p(t) and v(x,y,t) with N = 30, τ=102 and several coordinates of x for Example 3.

Table 11. The errors obtained in approximating p(t) and v(x,y,t) with N = 30, τ=102 and several coordinates of x for Example 3.

Table 12. The errors obtained in approximating v(x,y,1) with τ=103 for Example 3.

6.4. Example 4

We consider the first inverse problem (Equation1)–(Equation3) in the region [0,1]2 with the exact solutions [Citation23] v(x,y,t)=(t2+1)2log(x2)2+(y2)2andp(t)=1t+1.The initial and boundary conditions are extracted directly from the exact solution. Moreover, the function E(t) is obtained by substituting the point x=(x,y)=(0.1,0.2) in the exact solution E(t)=(t2+1)2log(x2)2+(y2)2.Figure  illustrates the graphs of the absolute errors for v and p at the final time T = 1 with N = 50, ns=5 and τ=103. Table  lists the errors of v(x,y,t) and p(t) and the CPU time used by employing the RBF-FD method at T = 2, 4. Graphs and contours of the absolute errors for v(x,y,t) at final times T = 1, 5 are plotted in Figure .

Figure 6. Graphs of numerical solution v(x,y,1) and p(t) and their absolute errors with N = 50 and τ=103 for Example 4.

Figure 6. Graphs of numerical solution v(x,y,1) and p(t) and their absolute errors with N = 50 and τ=10−3 for Example 4.

Table 13. The error obtained in approximating v(x,y,t) and p(t) with τ=×103 and ns=5 for Example 4.

Figure 7. Graph and contour of the absolute errors v(x,y,t) at different final times with N = 40 and τ=103 for Example 4.

Figure 7. Graph and contour of the absolute errors v(x,y,t) at different final times with N = 40 and τ=10−3 for Example 4.

6.5. Example 5

Now, we focus on the 3-D inverse problem (Equation1)–(Equation3) with [Citation24] ϕ(x,y,z,t)=7π2810texp(t)sinπ4(x+2y+3z)andE(t)=exp(t),in which the temperature overspecification is defined at the point x=(x,y,z)=(0.6,0.4,0.2). The initial and boundary conditions are obtained from the following exact solutions [Citation24] v(x,y,z,t)=exp(t)sinπ4(x+2y+3z)andp(t)=1+10 t.Figs.  depicts the numerical solutions and the absolute errors obtained by the RBF-FD method for v(x,y,z,t) with N = 10, ns=3 and τ=104.Table  reports the absolute error obtained in the calculation of p(t) with N=10,ns=5 and τ=5×103. The absolute errors obtained by applying the RBF-FD method for calculating v(x,y,z,T) with N = 10 and τ=103 at the final time T = 1 are shown in Table . Clearly, this method with fewer points N and a smaller time step τ has a similar accuracy with the method introduced in [Citation24].

Figure 8. Graphs of the numerical and exact solution for v(x,y,z,1) and its absolute error with N = 10, ns=3 and τ=104 for Example 5.

Figure 8. Graphs of the numerical and exact solution for v(x,y,z,1) and its absolute error with N = 10, ns=3 and τ=10−4 for Example 5.

6.6. Example 6

The 1-D inverse problem (Equation1)–(Equation3) with the integral overspecification condition (Equation5) is presumed to have the following parameters ϕ(x,t)=exp(t)x+cos(πx)+π2cos(πx)(1+t2)[x+cos(πx)],E(t)=exp(t)342π2,k(x)=1+x2,for which the exact solutions are [Citation46] v(x,t)=exp(t)x+cos(πx)andp(t)=1+t2.The exact solution is used to obtain the initial and boundary conditions for this sample.

Table 14. Comparison of the maximum error obtained in approximating p(t) by the RBF-FD approach and the method of [Citation24] for Example 5.

Table 15. Comparison of the maximum error obtained in approximating v(x,y,z,1) by the RBF-FD approach and the method of [Citation24] for Example 5.

We are going to solve this model by the RBF-FD method and to compare the numerical results obtained with the results given in [Citation46].

Table  demonstrates the absolute error acquired and the CPU time used by employing the RBF-FD method at the final time T = 1 considering N = 80 and τ=104. Moreover, Table  presents the absolute error obtained in computing p(t). Table  reveals the fact that choosing a lower size of time step τ in this method leads to a more accurate solution than the method of [Citation46]. From Table , it can be inferred that the parameter p(t) is accurately calculated with low computational time.

Table 16. Comparison of the maximum error obtained in approximating v(x,1) by the RBF-FD approach and the method of [Citation46] for Example 6.

Table 17. Comparison of the maximum error obtained in approximating p(t) by the RBF-FD approach and the method of [Citation46] for Example 6.

6.7. Example 7

In this sample, the inverse problem (Equation1)-(Equation3) in 2-D and the integral overspecification (Equation5) is considered with [Citation9] ϕ(x,y,t)=5π2165texp(t)sinπ4(x+2y),E(t)=8π2exp(t)sinπ4sin3π4+sinπ2.The initial and boundary conditions for this model are extracted from the following exact solutions v(x,y,t)=exp(t)sinπ4(x+2y)andp(t)=1+5t.We are going to solve this model by the RBF-FD method and to compare the numerical results obtained with the results given in [Citation9].

We illustrate the behavior of the absolute error of p(t) at different values of T and τ in Figure . Figure  shows the absolute error graphs related to v(x,y,t) with N = 40, ns=5 and τ=3×104. In addition, the numerical solutions for v(x,y,t) and p(t) at the final time T = 1 are plotted in Figure . Table  lists the absolute error obtained for v(x,y,t) at the final time T = 1 from the RBF-FD method by taking N = 50 and τ=102. In Table  the results obtained by the RBF-FD method are compared to those presented in [Citation9].

Figure 9. The absolute error graphs of p(t) with N = 50 and τ=103 (left plot) and with several values of τ (right plot) for Example 7.

Figure 9. The absolute error graphs of p(t) with N = 50 and τ=10−3 (left plot) and with several values of τ (right plot) for Example 7.

Figure 10. Graphs of the numerical solutions v(x,y,1) and p(t) and for Example 7.

Figure 10. Graphs of the numerical solutions v(x,y,1) and p(t) and for Example 7.

Table 18. Comparison of the maximum error obtained in approximating v(x,y,1) by the RBF-FD approach and the method of [Citation9] for Example 7.

Table 19. Comparison of the maximum error obtained in approximating p(t) by the RBF-FD approach and the method of [Citation9] for Example 7.

6.8. Example 8

We investigate the second inverse problem (Equation20)–(Equation22) in the 3-D case on Ω=[0,1]3 with [Citation24] ϕ(x,y,z,t)=7π2810t exp(t)sinπ4(x+2y+3z)andE(t)=3223π3exp(t),whose the exact solutions are [Citation24] (39) v(x,y,z,t)=exp(t)sinπ4(x+2y+3z)andp(t)=1+10t.(39) Table  gives the results of approximating v(x,y,z,t) in the final time T = 1 with different numbers of N and ns. Figure  shows the numerical solutions and their errors for v(x,y,z,1) with N = 20 and τ=104.

Figure 11. Graphs of the approximation solution v(x,y,z,1) and its absolute error with N = 20, ns=5 and τ=104 for Example 8.

Figure 11. Graphs of the approximation solution v(x,y,z,1) and its absolute error with N = 20, ns=5 and τ=10−4 for Example 8.

Table 20. The maximum error obtained in approximating v(x,y,z,1) by the RBF-FD approach with τ=104 for Example 8.

7. Conclusions

In this paper, the RBF-FD method was used to calculate the solution v(x,t) and the control parameter p(t) in two different inverse problems. Unlike the standard numerical procedures, the RBF-FD method operates without the need for mesh generation and by only using distributed points in the computational domain. Moreover, in this method, the values of the unknown function at the ns nearest points to each point are used to approximate the solution and its derivatives. By implementing this approach around all the domain points, the differentiation matrix is constructed by solving small linear systems. The most important advantage of this method is the production of sparse derivative matrices at a low computational cost. The parabolic inverse problems which are considered with either the temperature overspecification or energy overspecification conditions are solved by the RBF-FD method because of its low computational cost and easy implementation in high dimensions. The numerical results illustrate that this method is able to accurately calculate the solution v(x,t) and the control parameter p(t).

Acknowledgments

We would like to thank four referees for their valuable comments and helpful suggestions which have improved the paper.

Disclosure statement

No potential conflict of interest was reported by the author(s).

References

  • Andrle M, Belgacem FB, El Badia A. Identification of moving pointwise sources in an advection–dispersion–reaction equation. Inverse Probl. 2011;27. doi:10.1088/0266-5611/27/2/025007.
  • Andrle M, El Badia A. Identification of multiple moving pollution sources in surface waters or atmospheric media with boundary observations. Inverse Probl. 2012;28:075–009.
  • Hamdi A. Detection and identification of multiple unknown time-dependent point sources occurring in 1D evolution transport equations. Inverse Probl Sci Eng. 2017;25(4):532–554.
  • Hamdi A. Detection–identification of multiple unknown time–dependent point sources in a 2D transport equation: application to accidental pollution. Inverse Probl Sci Eng. 2017;25(10):1423–1447.
  • Wang G, Li Y, Jiang M. Uniqueness theorems in bioluminescence tomography. Medical Phys. 2004;31:2289–2299.
  • Abda AB, Hassen FB, Leblond J, et al. Sources recovery from boundary data: a model related to electroencephalography. Math Comput Model. 2009;49:2213–2223.
  • Anastasio MA, Zhang J, Modgil D, et al. Application of inverse source concepts to photoacoustic tomography. Inverse Probl. 2007;23S21
  • Cannon JR, Lin Y, Wang S. Determination of source parameter in parabolic equations. Meccanica. 1992;27:85–94.
  • Dehghan M. Determination of a control parameter in the two–dimensional diffusion equation. Appl Numer Math. 2001;37:489–502.
  • Deckert KL, Maple CG. Solution for diffusion equations with integral type boundary conditions. Proc Iowa Acad Sci. 1963;70:354–361.
  • Lin Y. Analytical and numerical solutions for a class of non local nonlinear parabolic differential equations. J Math Anal. 1994;25:1577–1594.
  • Macbain JA, Bednar JB. Existence and uniqueness properties for one-dimensional magnetotelluric inversion problem. J Math Phys. 1986;27:645–649.
  • Prilepko AI, Soloev VV. Solvability of the inverse boundary value problem of finding a coefficient of a lower order term in a parabolic equation. Differ Equ. 1987;23:136–143.
  • Rundell W, Colton DL. Determination of an unknown non–homogenous term in a linear partial differential equation from overspecified boundary data. Appl Anal. 1980;10:231–242.
  • Dehghan M. Finding a control parameter in one–dimensional parabolic equations. Appl Math Comput. 2003;135:491–503.
  • Dehghan M. Numerical solution of one–dimensional parabolic inverse problem. Appl Math Comput. 2003;136:333–344.
  • Yousefi S, Dehghan M. Legendre multiscaling functions for solving the one–dimensional parabolic inverse problem. Numer Methods Partial Differ Equ. 2009;25:1502–1510.
  • Dehghan M, Saadatmandi A. A tau method for the one–dimensional parabolic inverse problem subject to temperature overspecification. Comput Math Appl. 2006;52:933–940.
  • Lakestani M, Dehghan M. The use of chebyshev cardinal functions for the solution of a partial differential equation with an unknown time–dependent coefficient subject to an extra measurement. J Comput Appl Math. 2010;235:669–678.
  • Mohebbi A, Dehghan M. High–order scheme for determination of a control parameter in an inverse problem from the over–specified data. Comput Phys Commun. 2010;181:1947–1954.
  • Dehghan M, Tatari M. Determination of a control parameter in a one–dimensional parabolic equation using the method of radial basis functions. Math Comput Model. 2006;44:1160–1168.
  • Ma L, Wu Z. Radial basis functions method for parabolic inverse problem. Int J Comput Math. 2011;88:384–395.
  • Takhtabnoos F, Shirzadi A. A greedy MLPG method for identifying a control parameter in 2D parabolic PDEs. Inverse Probl Sci Eng. 2018;26:1676–1694.
  • Dehghan M. Determination of a control function in three–dimensional parabolic equations. Math Comput Simul. 2003;61:89–100.
  • Dehghan M. An inverse problem of finding a source parameter in a semilinear parabolic equation. Appl Math Model. 2001;25:743–754.
  • Dehghan M. Identifying a control function in two-dimensional parabolic inverse problems. Appl Math Comput. 2003;143:375–391.
  • Wang S, Lin YP. A finite-difference solution to an inverse problem for determining a control function in a parabolic partial differential equation. Inverse Prob. 1989;5:631–640.
  • Dehghan M. Fourth–order techniques for identifying a control parameter in the parabolic equations. Int J Eng Sci. 2002;40:433–447.
  • Shamsi M, Dehghan M. Determination of a control function in three–dimensional parabolic equations by legendre pseudospectral method. Numer Methods Partial Differ Equ. 2012;28:74–93.
  • Tolstykh AI. On using RBF–based differencing formulas for unstructured and mixed structured–unstructured grid calculations. In: Proceedings of the 16th IMACS World Congress, Vol. 228, Lausanne: IMACS; 2000. p. 4606–4624.
  • Driscoll TA, Fornberg B. Interpolation in the limit of increasingly flat radial basis functions. Comput Math Appl. 2002;43:413–422.
  • Wang JG, Liu GR. A point interpolation meshless method based on radial basis functions. Int J Numer Methods Eng. 2002;54:1623–1648.
  • Shu C, Ding H, S.Yeo K. Local radial basis function=-based differential quadrature method and its application to solve two–dimensional incompressible navier–Stokes equations. Comput Methods Appl Mech Eng. 2003;192:941–954.
  • Shu CW, Ding H, Zhao N, et al. Numerical comparison of least square-based finite- difference (LSFD) and radial basis function–based finite–difference (RBF-FD) methods. Comput Math Appl. 2006;51:1297–1310.
  • Chandhini G, S. Sanyasiraju YVS. Local RBF-FD solutions for steady convection–diffusion problems. Internat J Numer Methods Eng. 2007;72:352–378.
  • Flyer N, Lehto E, Blaise S, et al. A guide to RBF-generated finite differences for nonlinear transport: shallow water simulations on a sphere. J Comput Phys. 2012;231:4078–4095.
  • Bolling EF, Flyer N, Erlebacher G. Solution to PDEs using radial basis function finite difference (RBF-FD) on multiple GPUs. J Comput Phys. 2012;231:7133–7151.
  • Javed A, Djijdeli K, Xing JT. Shape adaptive RBF–FD implicit scheme for incompressible viscous Navier–Strokes equations. Comput Fluids. 2014;89:38–52.
  • Dehghan M, Shafieeabyaneh NLocal radial basis function–finite–difference method to simulate some models in the nonlinear wave phenomena: regularized long–wave and extended fisher–Kolmogorov equations, Eng Comput. 2019. In press, doi:10.1007/s00366-019-00877-z.
  • Fornberg B, Lehto E. Stabilization of RBF-generated finite difference methods for convective PDEs. J Comput Phys. 2011;230:2270–2285.
  • Fornberg B. Calculation of weights in finite difference formulas. SIAM Rev. 1998;40:685–691.
  • Wendland H. Scattered data approximation. England; Cambridge University Press; 2005. (Cambridge monograph on applied and computational mathematics).
  • Fasshauer GE. Meshfree approximation methods with MATLAB. USA: World Scientific; 2007.
  • Sarra SA. A local radial basis function method for advection–diffusion–reaction equations on complexly shaped domains. Appl Math Comput. 2012;218:9853–9865.
  • Gerald CF. Applied numerical analysis. 4th Ed., Reading, MA: Addison-Wesley; 1989.
  • Dehghan M. Parameter determination in a partial differential equation from the overspecified data. Math Comput Model. 2005;41:197–213.
  • Dehghan M, Shakeri F. Method of lines solutions of the parabolic inverse problem with an overspecification at a point. Numer Algor. 2009;50:417–437.
  • Cheng R. Determination of a control parameter in a one-dimensional parabolic equation using the moving least–square approximation. Int J Comput Math. 2008;85:1363–1373.
  • Cheng R, Ge H. The meshless method for a two-dimensional parabolic problem with a source parameter. Appl Math Comput. 2008;202:730–737.

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.