Next Article in Journal
Asymptotic Representation of Vorticity and Dissipation Energy in the Flux Problem for the Navier–Stokes Equations in Curved Pipes
Next Article in Special Issue
Positive Fitted Finite Volume Method for Semilinear Parabolic Systems on Unbounded Domain
Previous Article in Journal
Detection, Measurement and Classification of Discontinuities of Signals Captured with Noise
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

Numerical Reconstruction of the Source in Dynamical Boundary Condition of Laplace’s Equation

by
Miglena N. Koleva
1 and
Lubin G. Vulkov
2,*
1
Department of Mathematics, Faculty of Natural Sciences and Education, University of Ruse “Angel Kanchev”, 8 Studentska Str., 7017 Ruse, Bulgaria
2
Department of Applied Mathematics and Statistics, Faculty of Natural Sciences and Education, University of Ruse “Angel Kanchev”, 8 Studentska Str., 7017 Ruse, Bulgaria
*
Author to whom correspondence should be addressed.
Axioms 2024, 13(1), 64; https://doi.org/10.3390/axioms13010064
Submission received: 8 December 2023 / Revised: 15 January 2024 / Accepted: 17 January 2024 / Published: 19 January 2024
(This article belongs to the Special Issue Advances in Numerical Analysis and Meshless Methods)

Abstract

:
In this work, we consider Cauchy-type problems for Laplace’s equation with a dynamical boundary condition on a part of the domain boundary. We construct a discrete-in-time, meshless method for solving two inverse problems for recovering the space–time-dependent source and boundary functions in dynamical and Dirichlet boundary conditions. The approach is based on Green’s second identity and the forward-in-time discretization of the non-stationary problem. We derive a global connection that relates the source of the dynamical boundary condition and Dirichlet and Neumann boundary conditions in an integral equation. First, we perform time semi-discretization for the dynamical boundary condition into the integral equation. Then, on each time layer, we use Trefftz-type test functions to find the unknown source and Dirichlet boundary functions. The accuracy of the developed method for determining dynamical and Dirichlet boundary conditions for given over-determined data is first-order in time. We illustrate its efficiency for a high level of noise, namely, when the deviation of the input data is above 10% on some part of the over-specified boundary data. The proposed method achieves optimal accuracy for the identified boundary functions for a moderate number of iterations.

1. Introduction

Elliptic partial differential equations (PDEs) with dynamical boundary conditions, imposed on the whole or part of the domain boundary, describe processes of filtration in various fields, including hydrology, chemistry, semi-conductors, and heat transfer in a solid in contact with a fluid (see, e.g., refs. [1,2,3]).
Global existence results for 2D elliptic equations with dynamical boundary conditions are obtained in ref. [2,4]. The existence of blow-up solutions to Laplace’s equation with semi-linear dynamical boundary conditions is studied in refs. [5]. The authors of [6,7] derived estimates of the convergence rate compatible with the smoothness of the differential solutions to the Poisson’s equation with a dynamical interface and dynamic boundary condition in special discrete Sobolev norms. In ref. [8], a weighted finite difference scheme is constructed and studied for a numerical solution of Laplace’s equation with dynamical boundary conditions.
Numerical identification source problems in mathematical physics using experimental data have garnered great interest in recent decades (see, e.g., refs. [9,10,11,12,13,14]). Such inverse problems belong to the class of ill-posed problems and their numerical analysis requires special numerical identification techniques, such as the quasi-solution method, selection method, iterative optimization algorithms, and regularization procedures [11,12,13,14,15,16,17,18,19]. Among them, the most popular is Tikhonov’s regularization method [20,21].
The inverse Cauchy problem for PDEs is to recover the missing boundary data from given over-specified Dirichlet or Neumann data on a part of the domain boundary. Being ill-posed [22], it usually requires regularization techniques for numerically handling the instability.
Inverse Cauchy problems for Laplace’s and Poisson’s equations can be used for imaging corrosion damage in plates from electrostatic data (see, e.g., the references in ref. [17]), for crack processes in elasticity [13,23], and thermal processes [24,25]. An interesting engineering model that considers energy systems as full cells is described by an unknown boundary data inverse problem for a Poisson’s equation in ref. [26]. Feyman’s PDEs problem [27] is an inverse Cauchy problem with dynamical boundary conditions, describing gravity capillary waves.
In this paper, we consider two inverse boundary source problems for Laplace’s equation with a dynamical condition on a part of the boundary. We determine the Dirichlet boundary condition and source in the dynamical boundary condition under Dirichlet–Neumann over-determined data.
Analytical results for inverse boundary condition identification (inverse Cauchy-type) problems for elliptic PDEs, or particularly for Laplace’s equation, were proposed, for example, in refs. [19,28,29,30]. A unique reconstruction of a constant heat transfer coefficient was achieved in ref. [30] from a singular boundary energy measurement within a non-linear Robin-type boundary condition linked to an elliptic equation. The existence and uniqueness of the inverse source problem for elliptic equations were proved in ref. [19]. Moreover, the continuous dependence of the inverse problem solution from the observations was established. In ref. [28], the author reviews some open direct and inverse parabolic–elliptic Laplace-type problems. In addition, the uniqueness of the Cauchy inverse coefficient problem for elliptic equations, with a focus on Poisson’s equation, is discussed in [29].
Various numerical methods have been developed for solving the inverse Cauchy problem for elliptic PDEs. For example, the Mann iterative regularization method in [31], the Kozlov–Maz’ya–Fomin algorithm [32] was employed in ref. [26] to identify missing boundary data for a 2D diffusion-reaction PDE, the coupled complex boundary method was used in [33] to solve inverse Cauchy problems for a kind of elliptic PDE, and the collocation method, where the collocation points are determined based on the Chebyshev nodes, was used in [24] for solving Cauchy-type problems for Laplace’s equation. The authors of [34] discuss the reconstruction of the Robin boundary condition by recovering the Robin coefficient from given Cauchy data. This problem describes a process of electric impedance tomography in which the electrical potential is the solution of Laplace’s equation.
Meshless methods are widely used for solving inverse Cauchy and source problems for elliptic equations. The local meshless technique, based on the finite collocation method for solving Cauchy problems of elliptic PDEs in annulus domains, was developed in ref. [35]. A novel meshless numerical solution method for the inverse Cauchy problem for a semi-linear elliptic-type PDE in an arbitrary doubly connected plane domain was developed in [36]. Meshless and iteration free methods, based on a collocation scheme using radial basis functions, for solving the inverse wave problem for boundary identification and for recovering the source term were proposed in refs. [37,38]. The radial basis collocation method was used in ref. [39] for solving the parameter identification inverse Helmholtz problem. In ref. [40], the authors constructed a numerical method for solving the inverse Cauchy problem in a two-layered domain.
The method of fundamental solutions (MFS) is a meshless boundary collocation method that belongs to the family of Trefftz methods [41]. In recent years, there has been a lot of activity regarding the application of MFS for solving inverse problems. A brief review of inverse Cauchy problems for Laplace’s and Poisson’s equations is presented in refs. [13,41].
One notorious approach for solving inverse Cauchy problems of PDEs is the use of Green’s identity to obtain global functional dependence for deriving the unknown boundary data from other boundary data.
The authors of [23] used Green’s formula to transform the inverse problem into a moment problem for the numerical computation of a Cauchy problem. The second Green’s identity was employed in refs. [18,42] to solve one-dimensional source and boundary condition inverse problems.
In ref. [42], the inverse heat conduction problem for identifying two boundary functions for given additional observations of the temperature was solved. Using the adjoint Trefftz method, the authors constructed a global boundary integral equation method (BIEM). A global domain BIEM was constructed in ref. [18] to restore the space–time-dependent heat source under the measurements of the boundary and final time condition.
Based on the second Green’s identity, the author of [17] developed a global domain boundary integral equation method for Laplace’s and Poisson’s equations. Then, they used the integral equation and Trefftz functions to solve the inverse Cauchy problem for recovering unknown boundary conditions and the inverse source problem for Poisson’s equation.
Fewer results in the literature are related to the numerical solution of inverse problems, especially inverse Cauchy problems for PDEs with dynamical boundary conditions. In ref. [43], the authors studied the inverse problem of numerically determining the initial temperatures in a heat equation with dynamical boundary conditions under additional data after a final time. The inverse problem was reduced to a Tikhonov minimization problem. The authors of ref. [15] investigated the inverse problem for a heat equation with dynamic boundary conditions for determining two source terms under final time observations. They applied the weak solution approach to a construct gradient formula of the cost functional and the corresponding adjoint problem. A numerical algorithm was also proposed. An inverse problem of a weakly coupled parabolic–elliptic system with dynamical boundary was studied in ref. [27]. This is a Cauchy problem for water waves, which was first proposed by Richard Feynman.
In this work, we extend the ideas in ref. [17] and solve two inverse problems for recovering space–time-dependent boundary functions in Laplace’s problem with a dynamical boundary condition.
The remaining part of the paper is organized as follows. In Section 2, the forward (direct) problem is formulated and its well-posedness is discussed. In Section 3, using the second Green’s identity for the forward problem, we obtain the basic relation between the dynamical boundary source, the boundary conditions, and the other input data. The main results of the paper, concerning inverse problems are obtained in Section 4. Section 5 is devoted to the numerical test examples, which illustrate the efficiency of the proposed algorithm. Some strengths, weaknesses, and limitations of the method are discussed in Section 6. The paper finishes with some concluding remarks.

2. The Forward Problem

Let us introduce the rectangular spatial domain Ω ¯ = { ( x , y ) : 0 x l 1 , 0 y l 2 } with boundary Γ = Ω ¯ Ω , where Ω = { ( x , y ) : 0 < x < l 1 , 0 < y < l 2 } . Let us denote the lower/south boundary as Γ 0 = { ( x , y ) : 0 < x < l 1 , y = 0 } . Let T be the final time and t [ 0 , T ] be the time variable. We consider the initial-boundary value problem for the unknown function u ( x , y , t )
u = 0 , ( x , y ) Ω , t ( 0 , T ) ,
u t = u y + g ( x , t ) , ( x , y ) Γ 0 , t ( 0 , T ) ,
u ( 0 , y , t ) = u W ( y , t ) , y [ 0 , l 2 ] , t ( 0 , T ) ,
u ( x , l 2 , t ) = u N ( x , t ) , x [ 0 , l 1 ] , t ( 0 , T ) ,
u ( l 1 , y , t ) = u E ( y , t ) , y [ 0 , l 2 ] , t ( 0 , T ) ,
u ( x , 0 , 0 ) = u 0 ( x ) , x [ 0 , l 1 ] ,
where = 2 x 2 + 2 y 2 is the Laplacian, g ( x , t ) , u W ( y , t ) , u E ( y , t ) , u N ( x , t ) , and u 0 ( x ) are smooth known functions. Moreover, we assume that the following compatibility conditions are fulfilled:
u E ( l 2 , t ) = u N ( l 1 , t ) , u W ( l 2 , t ) = u N ( 0 , t ) , u W ( 0 , 0 ) = u 0 ( 0 ) , u E ( 0 , 0 ) = u 0 ( l 1 ) , u W t ( 0 , t ) = u W y ( 0 , t ) + g ( 0 , t ) , u E t ( l 1 , t ) = u E y ( l 1 , t ) + g ( l 1 , t ) , t > 0 .
Such problems arise in hydrology. For example, the filtration problem for the pressure in the steady-state filtration equation and the dynamic upper edge layer are accounted for by a non-stationary boundary condition (see, e.g., refs. [2,3] and the references therein).
Results of weak solutions of problems like (1)–(6) were obtained in refs. [6,7]. Our computational method requires the existence of global smooth solutions. The existence of global classical solutions for elliptic equations with dynamical boundary conditions was proved in refs. [2,44,45,46,47]. Modifying the results in [47], we can easily obtain the following assertion of the global existence and uniqueness of the solution of (1)–(6).
Theorem 1. 
We assume that g C 1 ( Q T ) , Q T = Ω × ( 0 , T ) , Ω = Ω 1 × Ω 2 , Ω i = ( 0 , l i ) , i = 1 , 2 and u W , u E C 1 ( Ω 2 T ) , u N C 1 ( Ω 1 T ) , Ω i T = Ω i × ( 0 , T ) , i = 1 , 2 , u 0 C 2 ( Ω 1 ) . Also, we suppose that the compatibility conditions (7) hold. Then, for every T, 0 < T < , there exists a unique solution u C ( 0 , T ) , C 2 ( Ω ¯ ) to problems (1)–(6).
Proof. 
We use the results from Section 3 of [47], where Γ is the boundary of the domain Ω ¯ . In our case, the compatibility conditions assure the existence and uniqueness of a smooth solution to problems (1)–(7). □

3. Basic Identities

In this section, we apply the second Green’s identity to problems (1)–(6) in order to obtain a global relation between the source g ( x , t ) , the boundary functions, and the other input data.
We start with recalling the well-known Green’s theorem in the plane.
Lemma 1 
(Green’s theorem in the plane [17]). Let Ω be a bounded region in the plane ( x , y ) with a counter-clockwise contour Γ consisting of finitely many smooth curves. Let G 1 ( x , y ) and G 2 ( x , y ) be functions that are differentiable in Ω and continuous in Ω ¯ . Then,
Ω G 2 x G 1 y d x d y = Γ ( G 1 d x + G 2 d y ) .
Taking
G 1 = v u y u v y , G 2 = u v x v u x ,
in (8), we obtain the second Green’s identity for the Laplace operator.
Theorem 2 
(Second Green’s identity [17]). Let Ω be a bounded domain in the plane ( x , y ) with a counter-clockwise contour Γ consisting of a finite number of smooth curves. Let u ( x , y ) and v ( x , y ) be functions that are twice differentiable in Ω and continuous on Ω ¯ . Then,
Ω ( u v v u ) = Γ u v n v u n d s ,
where d σ = d x d y is an area derivative with respect to n = d y d s , d x d s .
Theorem 3 
(Global relation). For problems (1)–(6), the following global relation holds:
u v n v u n d s = 0 l 1 u t ( x , 0 , t ) g ( x , t ) v ( x , 0 ) u ( x , 0 , t ) v y ( x , 0 ) d x + 0 l 2 u ( l 1 , y , t ) v x ( l 1 , y ) v ( l 1 , y ) u x ( l 1 , y , t ) d y 0 l 1 u y ( x , l 2 , t ) v ( x , l 2 ) u ( x , l 2 , t ) v y ( x , l 2 ) d x 0 l 2 u ( 0 , y , t ) v x ( 0 , y ) v ( 0 , y ) u x ( 0 , y , t ) d y = 0 ,
for any function v with v = 0 .
Proof. 
Inserting v = 0 into (9), integrating along the contour Γ = Γ 0 Γ 1 Γ 2 Γ 3 , where Γ 1 = { ( x , y ) : x = l 1 , 0 y l 2 } , Γ 2 = { ( x , y ) : y = l 2 , 0 x l 1 } , Γ 3 = { ( x , y ) : x = 0 , 0 y l 2 } and taking into account the boundary condition (2), we obtain (10). □
Now, after the time-discretization of the dynamical boundary condition on each time level, we can solve inverse problems for the elliptic equation using the approach in ref. [17].

4. Inverse Problems

In this section, we formulate inverse problems for identifying space–time-dependent boundary functions in Laplace’s problems (1)–(6). Then, after the time discretization of the dynamical problems, we use the results in Section 3 and ref. [17] to solve them numerically using the space-meshless approach.
The first inverse problem, denoted by IP gu Γ 0 , concerns recovering the function g ( x , t ) and u ( x , 0 , t ) in (1)–(6), under the additional observation
u y ( x , l 2 , t ) = u ˜ N ( x , t ) , x [ 0 , l 1 ] , t ( 0 , T ) ,
where u ˜ N ( x , t ) is a measured function. Additionally, the compatibility condition holds as follows:
u W y ( l 2 , t ) = u ˜ N ( 0 , t ) .
The second inverse problem, referred to as IP gu Γ 0 u W , is to determine the functions g ( x , t ) , u ( x , 0 , t ) , and u W ( y , t ) in (1)–(6) for given measurements (11).
Such inverse Cauchy problems are challenging to solve even numerically because their solution does not depend continuously on the input data [17].
First, we apply time semi-discretization to (10). Let us introduce a uniform time mesh with grid nodes t n = n τ , n = 0 , 1 , , M , τ = T / M . Thus, applying the forward Euler method to the dynamical boundary condition (2), we obtain
u n + 1 u n τ = u n + 1 y + g ( x , t n + 1 ) , ( x , y ) Γ 0 , t ( 0 , T ) ,
where u n : = u n ( x , y ) = u ( x , y , t n ) .
Considering (10) at the time layer t n + 1 and applying (12), we derive
0 l 1 u n + 1 ( x , 0 ) u n ( x , 0 ) τ g ( x , t n + 1 ) v ( x , 0 ) u n + 1 ( x , 0 ) v y ( x , 0 ) d x + 0 l 2 u n + 1 ( l 1 , y ) v x ( l 1 , y ) v ( l 1 , y ) u n + 1 x ( l 1 , y ) d y 0 l 1 u n + 1 y ( x , l 2 ) v ( x , l 2 ) u n + 1 ( x , l 2 ) v y ( x , l 2 ) d x 0 l 2 u n + 1 ( 0 , y ) v x ( 0 , y ) v ( 0 , y ) u n + 1 x ( 0 , y ) d y = 0 .

4.1. Solution of IP gu Γ 0

To construct the numerical algorithm for solving the inverse problem, following [17], we suggest a trial solution using test functions that satisfy Laplace’s equation, despite the initial conditions, boundary conditions, and over-determined data.
From Theorem 3 and [17] at each time layer, we take one and the same test function v ( x , y ) , which is a stable solution of (1):
v ( x , y ) = sin k π x l 1 e k π y / l 1 , k N .
For k N , these functions are similar to the well-known Trefftz functions [41]. Following [17], we refer to the proposed approach as the Trefftz test function method.
Further, from (13) and (14), we obtain
0 l 1 u n + 1 ( x , 0 ) u n ( x , 0 ) τ g ( x , t n + 1 ) + k π l 1 u n + 1 ( x , 0 ) sin k π x l 1 d x = 0 l 1 u n + 1 y ( x , l 2 ) v ( x , l 2 ) u n + 1 ( x , l 2 ) v y ( x , l 2 ) d x + 0 l 2 u n + 1 ( 0 , y ) v x ( 0 , y ) u n + 1 ( l 1 , y ) v x ( l 1 , y ) d y .
Consequently, from (3)–(5) and (11), we derive
0 l 1 k π l 1 + 1 τ u n + 1 ( x , 0 ) g ( x , t n + 1 ) sin k π x l 1 d x = 0 l 1 u n ( x , 0 ) τ sin k π x l 1 d x + 0 l 1 u ˜ N n + 1 ( x ) v ( x , l 2 ) u N n + 1 ( x ) v y ( x , l 2 ) d x + 0 l 2 u W n + 1 ( y ) v x ( 0 , y ) u E n + 1 ( y ) v x ( l 1 , y ) d y : = f k n + 1 .
Therefore, since f k n + 1 is known, we can determine u n + 1 ( x , 0 ) and g n + 1 ( x ) from
0 l 1 k π l 1 + 1 τ u n + 1 ( x , 0 ) g n + 1 ( x ) sin k π x l 1 d x = f k n + 1 .
Representing the unknown functions by
u n ( x , 0 ) = a 0 n + j = 1 m a j n cos ( j x ) + j = 1 m b j n sin ( j x ) , g n ( x ) = c 0 n + j = 1 m c j n cos ( j x ) + j = 1 m d j n sin ( j x ) ,
at each time level, the recovery reduces to the determination of m 1 = 4 m + 2 coefficients, i.e., the elements of the vector
e n = [ a 1 n , a 2 n , , a m n , b 1 n , b 2 n , , b m n , a 0 n , c 1 n , c 2 n , , c m n , d 1 n , d 2 n , , d m n , c 0 n ] T .
We take m 1 test functions (14) at each time step. Substituting (17) in (16), we obtain the linear system
A e n + 1 = f n + 1 , f n = [ f 1 n , f 2 n , , f m 1 n ] T ,
where A is the m 1 × m 1 coefficient matrix with elements
A k , j = k π l 1 + 1 τ P k , j , A k , m + j = k π l 1 + 1 τ Q k , j , j = 1 , 2 , , m , A k , m 0 = 1 + l 1 k π τ 1 cos ( k π ) , m 0 = 2 m + 1 , A k , m 0 + j = P k , j , A k , m 0 + j + m = Q k , j , j = 1 , 2 , , m , A k , m 1 = l 1 k π cos ( k π ) 1 ,
and
P k , j = 1 2 1 cos ( k π + j l 1 ) k π a + j + 1 cos ( k π j l 1 ) k π a j , Q k , j = 1 2 sin ( k π j l 1 ) k π a j sin ( k π + j l 1 ) k π a + j .
In the numerical realization of the proposed approach, namely, to compute the vector f n + 1 , we take into account that the solution u n ( x , 0 ) in the previous time layer is known. For t = τ , it is the initial condition, as given in (6). For t > τ , it is derived from (17). Then, the second integral in (15) simplifies as follows:
0 l 1 u n ( x , 0 ) τ sin k π x l 1 d x = 1 τ j = 1 m a j n P k , j + b j n Q k , j + a 0 n l 1 k π τ ( 1 cos ( k π ) ) , t > τ .
At each time layer, the system (18) is solved using the conjugate gradient method [11,14,17,18], which is the closest iterative method to direct methods. It requires a reasonable number of iterations in order to reach the desired tolerance and avoids the coefficient matrix inversion. First, we normalize the system (18) to derive
D e n + 1 = F n + 1 , where D = A T A > 0 , F n + 1 = A T f n + 1 .
Then, for n = 0 , 1 , , M 1 , we execute the following steps:
1. Choose the initial guess e 0 n + 1 , the accuracy ϵ , and set
r 0 n + 1 = D e 0 n + 1 F n + 1 , p 0 n + 1 = r 0 n + 1 .
2. For i = 0 , 1 , 2 , , perform the iterations
η i n + 1 = r i n + 1 2 ( p i n + 1 ) T D p i n + 1 , e i + 1 n + 1 = e i n + 1 η i p i , r i + 1 n + 1 = D e i + 1 n + 1 F n + 1 , α i + 1 n + 1 = r i + 1 n + 1 2 r i n + 1 2 , p i + 1 n + 1 = α i + 1 n + 1 p i n + 1 + r i + 1 n + 1 .
3. If r i + 1 n + 1 2 < ϵ , then stop; otherwise go to step 2.

4.2. Solution of IP gu Γ 0 u W

Now, we describe the approach for solving the second inverse problem IP gu Γ 0 u W . From (3), (5), (11), and (15), we obtain
0 l 1 k π l 1 + 1 τ u n + 1 ( x , 0 ) g ( x , t n + 1 ) sin k π x l 1 d x 0 l 2 u W n + 1 ( y ) v x ( l 1 , y ) d y = 0 l 1 u n ( x , 0 ) τ sin k π x l 1 d x + 0 l 1 u ˜ N n + 1 ( x ) v ( x , l 2 ) u N n + 1 ( x ) v y ( x , l 2 ) d x 0 l 2 u E n + 1 ( y ) v x ( 0 , y ) d y : = f ˜ k n + 1 .
Further, for a known f ˜ k n + 1 , we find u n + 1 ( x , 0 ) , g n + 1 ( x ) and u W n + 1 ( y ) from
0 l 1 k π l 1 + 1 τ u n + 1 ( x , 0 ) g n + 1 ( x ) sin k π x l 1 d x k π l 1 0 l 2 u W n + 1 ( y ) e k π y l 1 d y = f ˜ k n + 1 .
The unknown functions u n ( x , 0 ) and g n ( x ) are represented in the form (17), and similarly, the recovery of u W n + 1 ( y ) is reduced to identifying the coefficients p j , j = 0 , 1 , , m , q j , j = 1 , 2 , , m in
u W n ( y ) = s 0 n + j = 1 m s j n cos ( j y ) + j = 1 m q j n sin ( j y ) ,
at each time level. Finally, we have to determine m 2 = 6 m + 3 coefficients, i.e., the elements of the vector
e ˜ n = [ a 1 n , , a m n , b 1 n , , b m n , a 0 n , c 1 n , , c m n , d 1 n , , d m n , c 0 n , s 1 n , , s m n , q 1 n , , q m n , s 0 n ] T .
We consider m 2 test functions (14) at each time step. Inserting (17), (20) in (19), we derive the linear system
A ˜ e ˜ n + 1 = f ˜ n + 1 , f ˜ n = [ f ˜ 1 n , f ˜ 2 n , , f ˜ m 2 n ] T ,
where A ˜ gives the m 2 × m 2 coefficient matrix, obtained from A , by adding 2 m + 1 rows and columns, namely,
A ˜ k , j = A k , j , A ˜ k , m + j = A k , m + j , j = 1 , 2 , , m , A ˜ k , m 0 = A k , m 0 , m 0 = 2 m + 1 , A ˜ k , m 0 + j = A k , m 0 + j , A ˜ k , m 0 + j + m = A k , m 0 + j + m , j = 1 , 2 , , m , A ˜ k , m 1 = A k , m 1 , A ˜ k , m 1 + j = k π l 1 ( k π ) 2 + ( j l 1 ) 2 ( 1 + S j k ) , j = 1 , 2 , , m , A ˜ k , m 1 + m + j = k π l 1 ( k π ) 2 + ( j l 1 ) 2 j l 1 k π R j k , j = 1 , 2 , , m , A ˜ k , m 2 = e k π l 2 / l 1 1 ,
where
S k , j = e k π l 2 / l 1 j l 1 k π sin ( j l 2 ) cos ( j l 2 ) , R k , j = e k π l 2 / l 1 sin ( j l 2 ) + j l 1 k π cos ( j l 2 ) .
Then, at each time layer, instead of (21), we solve the corresponding normalized system
D ˜ e ˜ n + 1 = F ˜ n + 1 , where D ˜ = A ˜ T A ˜ , F ˜ n + 1 = A ˜ T f ˜ n + 1 .
To this end, we perform the same steps (1–3), as shown in the previous section, substituting D for D ˜ , F for F ˜ , and e for e ˜ .

5. Numerical Results

In this section, we illustrate the efficiency of the time-discrete, space-meshless method for solving inverse problems, i.e., IP gu Γ 0 and IP gu Γ 0 u W . We investigated the stability by adding a different level of random noise into the over-specified boundary data.
The following test problems were considered:
  • TP1: u ( x , y , t ) = e t cos x cosh ( y 0.5 ) ;
  • TP2: u ( x , y , t ) = e t ( x 3 3 x y 2 ) .
We took the perturbed measurements u ˜ N σ ( x , t ) for the over-specified boundary data, which were generated by adding noise at each time layer to the exact values:
u ˜ N σ ( x , t n ) = u ˜ N ( x , t n ) + 2 ρ ( σ ( x , t n ) 0.5 ) , n = 1 , 2 , , M ,
where ρ is the noise level and σ ( x , t n ) is a random function, uniformly distributed on the interval [ 0 , 1 ] for a fixed t n .
Example 1. ( IP gu Γ 0 ). In this example, the performance of the propose approach for solving the inverse problem  IP gu Γ 0 is illustrated. Let  l 1 = l 2 = 1 , T = 1 , ϵ = 1 × 10 6 First, we examine TP1.
Since, the method involves discretizations in time, we tested the temporal order of the convergence of the restorer functions u ( x , 0 , T ) and g ( x , T ) for noise-free data, i.e., ρ = 0 and different values of m. The convergence rate ( C R ν ) of the mesh function ν was estimated using log 2 from the fraction of the maximal error at the final time of the function ν , which was computed using time meshes with step sizes τ and τ / 2 . The results for different values of τ and m are given in Table 1. The errors decreased as the time mesh became finer. We observed that the temporal convergence rate of the solution at y = 0 was first, while the convergence rate of the function g was close to two.
Further, we investigated the solution behavior with noise.
On Table 2, we give the maximum error of the recovered functions u ( x , 0 , T ) and g ( x , T ) of TP1 for different values of m, time steps, and noise levels. The average number of iterations ( iter ) is proposed as well.
In Figure 1 and Figure 2, we plot the exact and recovered functions u ( x , 0 , t ) , g M ( x ) , respectively, in the t x plane for TP1, ρ = 0.2 , m = 2 , and τ = 0.01 .
As was expected, for the lower deviation, we obtained a better accuracy. Moreover, since the exact solution for TP1 only contains the first harmonic term cos ( x ) , a better accuracy was obtained for m = 1 and the convergence was very fast in the sense that a small number of iterations were required to obtain optimal accuracy. We observed that, in general, the recovery of the function u ( x , 0 , t ) was more precise in comparison with g ( x , t ) and, independently of the noise level, for a larger m ( m = 3 ), the precision of the restored source g was better for a smaller time step.
Now, we consider TP2. In Table 3, we present the computational results: the maximum error and average number of iterations for different m, time steps, and noise levels ρ = 0.2 .
In Figure 3, we depict the exact and recovered function u ( x , 0 , t ) for ρ = 0.2 , m = 15 , τ = 0.01 . In Figure 4, we plot the error | g ( x , t ) g n ( x ) | and residual r k at each iteration for t = τ and t = T .
The result shows that as the values of m increased, the accuracy of the recovered functions was affected slightly and the convergence steps increased slightly. Furthermore, the size of the time step did not essentially influence the accuracy.
Example 2. ( IP gu Γ 0 u W ).  In this example, we tested the efficiency of the proposed algorithm for solving IP gu Γ 0 u W with perturbed over-determined data (22). The test problems were (1), (6),TP1, and TP2 for l 1 = l 2 = 1 , T = 1 , and ϵ = 1 . e 6 .
In Table 4, we present the maximal errors and average number of iterations of the recovered functions at the final time for TP1 with different noise levels and τ = 0.01 .
In Figure 5 and Figure 6, we plot the recovered functions u n ( x , 0 ) and g n ( x ) for TP1, m = 2 , τ = 0.01 , ρ = 0.02 , and ρ = 0.2 . Next, in Figure 7 and Figure 8, on the y t plane, we depict the exact u W ( y , t n ) and recovered boundary condition u W n ( y ) for TP1, τ = 0.01 , and different values of ρ and m.
In Table 5, we present the computational results for TP2.
We observed that the function u n ( x , 0 ) exhibited a higher accuracy than u n ( x ) and u W n ( y ) . The level of noise influenced the accuracy of the recovered functions, while the values of m did not affect it significantly. As for IP gu Γ 0 , we observed a slight increase in the convergence steps.

6. Discussion

The proposed method is able to simultaneously recover two or three space–time-dependent functions (Dirichlet boundary conditions and the source term in the dynamical boundary condition) in the initial boundary value problem for Laplace’s equation with dynamical boundary conditions. The temporal order of the convergence of the solution for exact measurements is first for the Dirichlet boundary and second for the source term. As is typical for solutions of inverse problems with perturbed data, the order of convergence is destroyed, i.e., it becomes lower as the deviation increases.
The method introduced is a comprehensive approach in which Trefftz-type test functions are directly incorporated into Green’s second identity to formulate a linear system for reconstructing unknown data using a finite Fourier series. This approach eliminates the necessity of regularization techniques and is robust enough to handle significant levels of noise. For example, we achieved optimal accuracy and relevant results for a moderate number of iterations. In contrast, in the other methods in the literature for solving inverse Cauchy problems, for example, those using the modified collocation Trefftz method (see, e.g., [48,49]), the authors employ regularization techniques by truncating the higher modes of the Fourier series of the input data or using a scaling factor in the Trefftz functions.
The considered inverse problem can be solved using a boundary-type solution procedure. In our paper, the global relation (13) is derived using the second Green identity so that the input data generation is much easier than when using domain-type algorithms.
The weakness of the approach is that, in contrast to some iteration-free approaches (see, e.g., [38]), we use an iteration procedure, which requires additional computational time. Furthermore, it is essential to select a value for m within a moderate range, as an excessively large m could results in an inaccurate outcome.
Although, in general, the Trefftz method is of high precision, the presented approach involves an approximation in time, which generates a discretization error. Furthermore, additional errors arise from the noise in the input data.
The limitations of the proposed numerical approach are related to the fact that it uses the smoothness of solution. Additionally, for elliptic equations with non-constant coefficients, it is difficult to further develop the method.

7. Conclusions

The reconstruction of the dynamical boundary condition source and Dirichlet boundary condition from Dirichlet–Neumann measurements for Laplace’s equation was investigated. In the first stage of our study, we performed time semi-discretization for the problem. Then, applying Green’s second identity to the Laplace boundary value problem, we constructed an integral equation, which connects the source of the dynamical boundary condition and the Dirichlet and Neumann boundary conditions. By successfully picking the Trefftz test function, we developed an algorithm to numerically establish the dynamical and Dirichlet boundary conditions.
The numerical results show that the suggested method is stable and efficient for strongly ill-posed cases with a large amount of noise imposed on the over-specified boundary data. The noise level has a greater impact on the accuracy of the recovered space–time-dependent boundary functions as compared to the time mesh step size.
Our future work will investigate the theoretical convergence of the proposed numerical method. Furthermore, we plan to study inverse problems for elliptic equations with semi-linear dynamical boundary conditions like the problem investigated in Section 6 of [5,44].

Author Contributions

Conceptualization, L.G.V.; methodology, M.N.K. and L.G.V.; investigation, M.N.K. and L.G.V.; resources, M.N.K. and L.G.V.; writing—original draft preparation, M.N.K. and L.G.V.; writing—review and editing, M.N.K. and L.G.V.; visualization, M.N.K. All authors have read and agreed to the published version of the manuscript.

Funding

This research was supported by the Bulgarian National Science Fund under the Project KP-06-N 62/3 “Numerical methods for inverse problems in evolutionary differential equations with applications to mathematical finance, heat-mass transfer, honeybee population and environmental pollution”, 2022.

Data Availability Statement

Data are contained within the article.

Acknowledgments

The authors would like to give special thanks to the anonymous reviewers, whose valuable comments and suggestions have significantly improved the quality of the paper.

Conflicts of Interest

The authors declare no conflicts of interest.

References

  1. Crank, J. The Mathematics of Diffusion; Clarendon Press: Oxford, UK, 1973. [Google Scholar]
  2. Gröger, K. Initial boundary value problems from semiconductor device theory. Z. Angew. Math. Mech. 1978, 67, 345–355. [Google Scholar] [CrossRef]
  3. Langer, R.E. A problem in diffusion or in the flow of heat for a solid in contact with a fluid. Tohoka Math. J. 1972, 35, 260–275. [Google Scholar]
  4. Fila, M.; Quittner, P. Global solutions of the Laplace equation with a nonlinear dynamical boundary condition. Math. Appl. Sci. 1997, 20, 1325–1333. [Google Scholar] [CrossRef]
  5. Koleva, M.N.; Vulkov, L.G. Blow-up of continuous and semilinear solutions to elliptic equations with semilinear dynamical boundary conditions of parabolic type. J. Comp. Appl. Math. 2007, 202, 414–434. [Google Scholar] [CrossRef]
  6. Jovanovic, B.S.; Vulkov, L.G. Convergence of difference schemes for the Poisson equation dynamical interface conditions. Comput. Methods Appl. Math. 2003, 3, 177–188. [Google Scholar] [CrossRef]
  7. Jovanovic, B.S.; Vulkov, L.G. Convergence of finite difference schemes for the Poisson’s equation with a dynamic boundary condition. Comput. Methods Appl. Math. 2005, 45, 275–284. [Google Scholar]
  8. Vabishchevich, P.N. Numerical solution of a problem for the elliptic equation with unsteady boundary conditions. Matem Model. 1995, 7, 49–60. (In Russian) [Google Scholar]
  9. Isakov, V. Inverse Source Problems; AMS: Providence, RI, USA, 1989. [Google Scholar]
  10. Grysa, K.; Macia̧g, A. Identifying heat source intensity in treatment of cancerous tumor using therapy based on local hyperthermia—The Trefftz method approachs. J. Therm. Biol. 2019, 84, 16–25. [Google Scholar] [CrossRef]
  11. Hasanoglu, A.; Romanov, V.G. Introduction to Inverse Problems for Differential Equations, 1st ed.; Springer: Cham, Switzerland, 2017; 261p. [Google Scholar]
  12. Kabanikhin, S.I. Inverse and Ill-Posed Problems; DeGruyer: Berlin, Germany, 2011. [Google Scholar]
  13. Lesnic, D. Inverse Problems with Applications in Science and Engineering; CRC Pres: Abingdon, UK, 2021; p. 349. [Google Scholar]
  14. Samarskii, A.A.; Vabishchevich, P.N. Numerical Methods for Solving Inverse Problems in Mathematical Physics; de Gruyter: Berlin, Germany, 2007; 438p. [Google Scholar]
  15. Ait Ben Hassi, E.M.; Chorfi, S.-E.; Maniar, L. Identification of source terms in heat equation with dynamic boundary conditions. Math. Meth. Appl. Sci. 2022, 45, 2364–2379. [Google Scholar] [CrossRef]
  16. Ivanov, D.K.; Kolesov, A.E.; Vabischevich, P.N. Numerical method for recovering the piecewise constant right-hand side function of an alliptic equation from a partial boundary observation data. J. Phys. Conf. Ser. 2021, 2092, 012006. [Google Scholar] [CrossRef]
  17. Liu, C.-S. A BIEM using the Treftz test functions for solving the inverse Cauchy and source recovery problems. Engn. Anal. Bound. Elem. 2016, 62, 177–185. [Google Scholar] [CrossRef]
  18. Liu, C.-S.; Cheng, C.-W. A global boundary integral equation method for recovering space-time dependent heat source. Int. J. Heat Mass Transf. 2016, 92, 1034–1040. [Google Scholar] [CrossRef]
  19. Yu, W. Well-posednes of determining the source term of elliptic equation. Bull. Austral. Math. Soc. 1994, 50, 383–398. [Google Scholar] [CrossRef]
  20. Tikhonov, A.N.; Goncharsky, A.V.; Stepanov, V.V.; Yagola, A.G. Numerical Methods for the Solution of Ill-Posed Problems, 1st ed.; Springer: Dordrecht, The Netherlands, 1995; 253p. [Google Scholar]
  21. Tikhonov, A.N.; Arsenin, V.Y. Solutions of Ill-Posed Problems; V. H. Winston & Sons: Washington, DC, USA; John Wiley & Sons: New York, NY, USA, 1977; 258p, (Translated from Russian). [Google Scholar]
  22. Belgacem, F.B. Why is the Cauchy problem severely ill-posed? Inverse Probl. 2007, 23, 823–836. [Google Scholar] [CrossRef]
  23. Cheng, J.; Hon, Y.C.; Wei, T.; Yamamoto, M. Numerical computation of a Cauchy problem for Laplace’s equation. Z. Angew. Math. Mech. 2001, 81, 665–674. [Google Scholar] [CrossRef]
  24. Joachimiak, M.; Ciałkowski, M.; Fra̧ckowiak, A. Stable method for solving the Cauchy problem with the use of Chebyshev polynomials. Int. J. Numer. Methods Heat Fluid Flow 2019, 30, 1441–1456. [Google Scholar] [CrossRef]
  25. Joachimiak, M.; Joachimiak, D.; Ciałkowski, M. Investigation on thermal loads in steady-state conditions with the use of the solution to the inverse problem. Heat Transf. Eng. 2023, 44, 963–969. [Google Scholar] [CrossRef]
  26. El Hajji, M.; Jday, F. Boundary data completion for a diffusion-reaction equation based on the minimization of an energy error functional using conjugate gradient method. Punjab Univ. J. Math. 2019, 51, 25–43. [Google Scholar]
  27. Kirkeby, A. Feynman’s inverse problem. arXiv 2023. [Google Scholar] [CrossRef]
  28. Alessandrini, G. A small collection of open problems. Rend. Istit. Mat. Univ. Trieste 2020, 52, 591–600. [Google Scholar]
  29. Rundell, R. Some inverse problems for elliptic equations. Appl. Anal. Int. J. 1988, 28, 67–78. [Google Scholar] [CrossRef]
  30. Slodička, M.; Lesnic, D. Determination of the Robin coefficient in a nonlinear boundary condition for a steady-state problem. Math. Meth. Appl. Sci. 2009, 32, 1311–1324. [Google Scholar] [CrossRef]
  31. Engl, H.W.; Leitão, A. A Mann iterative regularization method for elliptic Cauchy problems. Numer. Funct. Anal. Optim. 2001, 22, 861–884. [Google Scholar] [CrossRef]
  32. Kozlov, V.A.E.; Maz’ya, V.G.; Fomin, A.V. An iterative method for solving the Cauchy problem for elliptic equation. Comput. Math. Phys. 1991, 31, 45–52. [Google Scholar]
  33. Gong, R.; Wang, M.; Huang, Q.; Zhang, Y. Inverse Cauchy problems: Revisit and a new approach. arXiv 2022. [Google Scholar] [CrossRef]
  34. Jaoua, M.; Chaabane, S.; Elhechmi, C.; Leblond, J.; Mahjoub, M.; Partington, J. On some robust algorithms for Robin inverse problem. Rev. Arima 2008, 9, 287–307. [Google Scholar]
  35. Shirzadi, A.; Takhtabnoos, F. A local meshless method for Cauchy problem of elliptic PDEs in annulus domains. Inverse Probl. Sci. Eng. 2016, 24, 729–743. [Google Scholar] [CrossRef]
  36. Liu, C.-S.; Wang, F. A meshless method for solving the nonlinear inverse Cauchy problem of elliptic type equation in a doubly-connected domain. Comput. Math. Appl. 2018, 76, 1837–1852. [Google Scholar] [CrossRef]
  37. Wang, L.; Qian, Z.; Wang, Z.; Gao, Y.; Peng, Y. An efficient radial basis collocation method for the boundary condition identification of the inverse wave problem. Int. J. Appl. Mech. 2018, 10, 1850010. [Google Scholar] [CrossRef]
  38. Wang, L.; Wang, Z.; Qian, Z. A meshfree method for inverse wave propagation using collocation and radial basis functions. Comput. Methods Appl. Mech. Engrg. 2017, 322, 311–350. [Google Scholar]
  39. Hu, M.; Wang, L.; Yang, F.; Zhou, Y. Weighted radial basis collocation method for the nonlinear inverse Helmholtz problems. Mathematics 2023, 11, 662. [Google Scholar] [CrossRef]
  40. Ciałkowski, M.; Olejnik, A.; Joachimiak, M.; Grysa, K.; Fra̧ckowiak, A. Cauchy type nonlinear inverse problem in a two-layer area. Int. J. Numer. Methods Heat Fluid Flow 2021, 32, 313–331. [Google Scholar] [CrossRef]
  41. Karageorghis, A.; Lesnic, D.; Marin, L. A survey of applications of the MFS to inverse problems. Inverse Probl. Sci. Eng. 2011, 19, 309–336. [Google Scholar] [CrossRef]
  42. Liu, C.-S.; Qu, W.; Zhang, Y. Numerically solving twofold ill-posed inverse problems of heat equation by the adjoint Trefftz method. Numer. Heat Transf. Part B 2018, 73, 48–61. [Google Scholar] [CrossRef]
  43. Chorfi, S.E.; El Guermai, G.; Maniar, L.; Zouhair, W. Numerical identification of initial temperatures in heat equation with dynamic boundary conditions. Mediterr. J. Math. 2023, 20, 256. [Google Scholar] [CrossRef]
  44. Constantin, A.; Escher, J. Global solutions for quasilinear parabolic problems. J. Evol. Equations 2002, 2, 97–111. [Google Scholar] [CrossRef]
  45. Craig, W. A Course on Partial Differential Equations. Amer. Math. Soc. 2018, 197, 205. [Google Scholar]
  46. Esher, J. Smooth solutions of nonlinear elliptic systems with dynamic boundary conditions. In: Evolution equations, control theory, and biomathematics (Han sur Lesse, 1991). Lect. Notes Pure Appl. Math. 1994, 155, 173–183. [Google Scholar]
  47. Yin, Z. Global existence for elliptic equations with dynamic boundary conditions. Arch. Math. 2003, 81, 567–574. [Google Scholar] [CrossRef]
  48. Liu, C.-S. A highly accurate MCTM for inverse Cauchy problems of Laplace equation in arbitrary plane domains. Comput. Model. Eng. Sci. 2008, 35, 91–111. [Google Scholar]
  49. Liu, C.-S. A modified collocation Trefftz method for the inverse Cauchy problem of Laplace equation. Eng. Anal. Bound. Elem. 2008, 32, 778–785. [Google Scholar] [CrossRef]
Figure 1. Exact (left) and recovered (right) function u ( x , 0 , t ) for TP1, Example 1.
Figure 1. Exact (left) and recovered (right) function u ( x , 0 , t ) for TP1, Example 1.
Axioms 13 00064 g001
Figure 2. Exact (left) and recovered (right) function g ( x , t ) for TP1, Example 1.
Figure 2. Exact (left) and recovered (right) function g ( x , t ) for TP1, Example 1.
Axioms 13 00064 g002
Figure 3. Exact (left) and recovered (right) function u ( x , 0 , t ) for TP2, Example 1.
Figure 3. Exact (left) and recovered (right) function u ( x , 0 , t ) for TP2, Example 1.
Axioms 13 00064 g003
Figure 4. Error | g ( x , t ) g n ( x ) | in t x plane (left) and residual vs. the iteration number (right) for t = τ (line with circles) and t = T (line with squares) for TP2, Example 1.
Figure 4. Error | g ( x , t ) g n ( x ) | in t x plane (left) and residual vs. the iteration number (right) for t = τ (line with circles) and t = T (line with squares) for TP2, Example 1.
Axioms 13 00064 g004
Figure 5. Recovered function u n ( x , 0 ) for TP1, m = 2 , ρ = 0.02 (left) and ρ = 0.2 (right) for Example 2.
Figure 5. Recovered function u n ( x , 0 ) for TP1, m = 2 , ρ = 0.02 (left) and ρ = 0.2 (right) for Example 2.
Axioms 13 00064 g005
Figure 6. Recovered function g n ( x ) for TP1, m = 2 , ρ = 0.02 (left) and ρ = 0.2 (right) for Example 2.
Figure 6. Recovered function g n ( x ) for TP1, m = 2 , ρ = 0.02 (left) and ρ = 0.2 (right) for Example 2.
Axioms 13 00064 g006
Figure 7. Exact (left) and recovered (right) function u W ( y , t n ) , m = 2 , ρ = 0.2 for TP1, Example 2.
Figure 7. Exact (left) and recovered (right) function u W ( y , t n ) , m = 2 , ρ = 0.2 for TP1, Example 2.
Axioms 13 00064 g007
Figure 8. Recovered function u W ( y , t n ) , ρ = 0.02 , m = 2 (left) and m = 3 (right) for TP1, Example 2.
Figure 8. Recovered function u W ( y , t n ) , ρ = 0.02 , m = 2 (left) and m = 3 (right) for TP1, Example 2.
Axioms 13 00064 g008
Table 1. Maximum error and temporal order of convergence for different m for TP1, Example 1.
Table 1. Maximum error and temporal order of convergence for different m for TP1, Example 1.
τ mMax. Error  u M ( x , 0 ) CR u Max. Error  g M ( x ) CR g
0.0116.8956 × 10 4 1.3360 × 10 4
0.00514.3177 × 10 4 0.67542.4273 × 10 5 2.4606
0.002512.1914 × 10 4 0.97843.4441 × 10 6 2.8171
0.0012511.1003 × 10 4 0.99405.0705 × 10 7 2.7639
0.00062515.5081 × 10 5 0.99838.1055 × 10 8 2.6452
0.000312512.7551 × 10 5 0.99951.4465 × 10 8 2.4864
0.0001562511.3777 × 10 5 0.99982.8862 × 10 9 2.3253
0.00007812516.8888 × 10 6 0.9999 6.2998 × 10 10 2.1958
0.0134.3634 × 10 4 3.4898 × 10 4
0.00533.4898 × 10 4 0.32231.8095 × 10 4 0.9476
0.002531.9202 × 10 4 0.86191.5003 × 10 4 0.2703
0.0012531.0576 × 10 4 0.86053.9079 × 10 5 1.9407
0.00062535.4102 × 10 5 0.96709.9157 × 10 6 1.9786
0.000312532.7232 × 10 5 0.99042.5132 × 10 6 1.9802
0.0001562531.3642 × 10 5 0.99726.2961 × 10 7 1.9970
0.00007812536.8247 × 10 6 0.99921.5335 × 10 7 2.0376
Table 2. Maximum error for different m, time steps, and noise levels for TP1, Example 1.
Table 2. Maximum error for different m, time steps, and noise levels for TP1, Example 1.
τ mMax. Error  u M ( x , 0 ) Max. Error  g M ( x ) Iter
ρ = 0.02
0.0116.3069 × 10 4 1.1115 × 10 2 4.842
22.0456 × 10 3 9.1980 × 10 3 9.149
34.0123 × 10 3 2.3232 × 10 2 15.733
0.00511.6550 × 10 3 2.0769 × 10 2 3.821
23.2464 × 10 3 1.5258 × 10 2 8.940
34.3991 × 10 3 7.9018 × 10 3 19.010
ρ = 0 . 2
0.0114.4107 × 10 3 7.3444 × 10 3 6.594
21.1629 × 10 2 5.2861 × 10 3 17.574
33.9689 × 10 2 2.1198 × 10 1 21.306
0.00514.4905 × 10 3 3.9252 × 10 2 7.139
21.3193 × 10 3 7.0087 × 10 2 17.920
34.0288 × 10 2 6.0438 × 10 2 24.303
Table 3. Maximum error for different m, time steps, and ρ = 0.2 for TP2, Example 1.
Table 3. Maximum error for different m, time steps, and ρ = 0.2 for TP2, Example 1.
τ mMax. Error  u M ( x , 0 ) Max. Error  g M ( x ) Iter
0.01104.3234 × 10 2 1.9103 × 10 1 40.763
153.0266 × 10 2 1.6096 × 10 1 47.208
202.7671 × 10 2 1.4172 × 10 1 51.000
0.005104.2076 × 10 2 1.8547 × 10 1 44.582
152.9288 × 10 2 1.5733 × 10 1 51.553
202.7508 × 10 2 1.3997 × 10 1 60.816
Table 4. Maximum error for different m and ρ , τ = 0.01 for TP1, Example 2.
Table 4. Maximum error for different m and ρ , τ = 0.01 for TP1, Example 2.
Max. errorMax. ErrorMax. Error
ρ m u M ( x , 0 ) g M ( x ) u W M ( y ) Iter
0.0211.8693 × 10 2 4.2198 × 10 3 1.9027 × 10 1 13.821
22.6226 × 10 1 3.7340 × 10 2 2.8543 × 10 1 15.772
32.4577 × 10 1 8.0663 × 10 2 2.8665 × 10 1 19.841
0.215.8913 × 10 2 6.2845 × 10 2 2.6709 × 10 1 13.862
22.3012 × 10 1 2.4847 × 10 1 1.5154 × 10 1 15.861
32.1429 × 10 1 6.2469 × 10 1 2.1894 × 10 1 19.594
Table 5. Maximum error for ρ = 0.2 , τ = 0.01 and different m for TP2, Example 2.
Table 5. Maximum error for ρ = 0.2 , τ = 0.01 and different m for TP2, Example 2.
Max. ErrorMax. ErrorMax. Error
m u M ( x , 0 ) g M ( x ) u W M ( y ) Iter
101.7842 × 10 1 1.6864 × 10 1 2.5069 × 10 1 39.267
151.4291 × 10 1 1.4003 × 10 1 1.1296 × 10 1 41.733
201.2674 × 10 1 1.4083 × 10 1 1.9546 × 10 1 48.831
Disclaimer/Publisher’s Note: The statements, opinions and data contained in all publications are solely those of the individual author(s) and contributor(s) and not of MDPI and/or the editor(s). MDPI and/or the editor(s) disclaim responsibility for any injury to people or property resulting from any ideas, methods, instructions or products referred to in the content.

Share and Cite

MDPI and ACS Style

Koleva, M.N.; Vulkov, L.G. Numerical Reconstruction of the Source in Dynamical Boundary Condition of Laplace’s Equation. Axioms 2024, 13, 64. https://doi.org/10.3390/axioms13010064

AMA Style

Koleva MN, Vulkov LG. Numerical Reconstruction of the Source in Dynamical Boundary Condition of Laplace’s Equation. Axioms. 2024; 13(1):64. https://doi.org/10.3390/axioms13010064

Chicago/Turabian Style

Koleva, Miglena N., and Lubin G. Vulkov. 2024. "Numerical Reconstruction of the Source in Dynamical Boundary Condition of Laplace’s Equation" Axioms 13, no. 1: 64. https://doi.org/10.3390/axioms13010064

APA Style

Koleva, M. N., & Vulkov, L. G. (2024). Numerical Reconstruction of the Source in Dynamical Boundary Condition of Laplace’s Equation. Axioms, 13(1), 64. https://doi.org/10.3390/axioms13010064

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop