![MathJax Logo](/templates/jsp/_style2/_tandf/pb2/images/math-jax.gif)
ABSTRACT
The main goal of this paper is applying the cut-off projection for solving one-dimensional backward heat conduction problem in a two-slab system with a perfect contact. In a constructive manner, we commence by demonstrating the Fourier-based solution that contains the drastic growth due to the high-frequency nature of the Fourier series. Such instability leads to the need of studying the projection method where the cut-off approach is derived consistently. In the theoretical framework, the first two objectives are to construct the regularized problem and prove its stability for each noise level. Our second interest is estimating the error in -norm. Another supplementary objective is computing the eigen-elements. All in all, this paper can be considered as a preliminary attempt to solve the heating/cooling of a two-slab composite system backward in time. Several numerical tests are provided to corroborate the qualitative analysis.
1. Introduction
The backward-in-time heat conduction problem has been scrutinized for a long time by many approaches with fast-adapting and effectively distinct strategies. This problem plays a critical role in different fields of study, for example, enabling us to determine the initial temperature of a volcano when the eruption has already started, or recover noisy, blurry digital images acquired by camera sensors.
The need for finding numerical solutions of various kinds of such equations is originated from its natural instability due to the drastic growth of the solutions. Once inaccurate final data are applied to the partial differential equation (PDE), one could obtain a totally wrong solution even if the final data are measured as accurately as possible. In fact, the measured data in real-life applications are always inaccurate. Thus, studies on regularization methods have attracted a considerable amount of attention, where stable approximate solutions were developed year by year. Several comprehensive materials are given in the textbook of Lattès and Lions [Citation1], and papers such as [Citation2–Citation11].
In this paper, we consider the heat transfer problem in a two slabs composite and
. We also follow the notations in [Citation12]. In particular, the problem, in which the time interval is defined by
for
, can be expressed as:
(1)
(1)
(2)
(2)
The boundary conditions are:(3)
(3)
(4)
(4)
The model (Equation1(1)
(1) )–(Equation4
(4)
(4) ) involves a number of dimensionless quantities, namely the temperature
(
), mass density
(g/
), specific heat
(cal/
), and thermal conductivity
(cal/
). Here the index
indicates either material a or b, i.e.
. The perfect contact in (Equation4
(4)
(4) ) indicates that the temperature and heat flux are continuous at the interface.
The model (Equation1(1)
(1) )–(Equation4
(4)
(4) ) is supplemented with the terminal measured data
which satisfy:
(5)
(5)
where represents the maximum bound of errors arising in measurement. Henceforward, our task is to identify the initial value
.
Our main objective is to prove the ill-posedness of the aforementioned model and then deal with it by using the cut-off projection method. Historically, there have been several works that treat ill-posed problems using this method. For instances, Daripa and his co-workers in [Citation13,Citation14] contributed significantly. In particular, the cut-off method [Citation13] was used to control the spurious effects on the solution due to short wave components of the round-off and truncation errors. Recently, the cut-off method was utilized by Regińska and Regiński [Citation15] and Tuan et al. [Citation16] to stabilize the - and
-like growth in a Cauchy problem for the 3D Helmholtz equation.
This paper is fivefold. Section 2 is devoted to the eigen-elements and ill-posedness of the model. We compute the approximate eigenvalues and eigenfunctions, along with providing the temperature solution by Fourier-based modes. In Section 3, the cut-off method is described by providing the regularized problem corresponding to the terminal measured data . We also show the error estimates which clearly imply the stability of the regularized solution at each noise level. Lastly, some numerical tests are given in Section 4, whilst Section 5 is dedicated to a few conclusions and pointing out problems for possible further development.
2. Eigen-elements
In the context of Fourier representations, the eigen-elements including the eigenvalues and eigenfunctions can be obtained by solving the Sturm–Liouville problem. Such problem would be of the form:(6)
(6)
associated with the boundary conditions (Equation3(3)
(3) ) and (Equation4
(4)
(4) ). After some straightforward calculations and using (Equation3
(3)
(3) ) one has
(7)
(7)
where are constants.
Applying the transmission conditions (Equation4(4)
(4) ) at the interface
, we arrive at
(8)
(8)
(9)
(9)
which lead to the transcendental equation for eigenvalues:(10)
(10)
For brevity, we denote the thermal diffusivities () by
Since we need the same time dependence in both slabs, the condition(11)
(11)
is required. Hereby, the above equation enables us to derive the new eigenvalue condition from (Equation10(10)
(10) ):
(12)
(12)
To sum up, the two transcendental Equations (Equation11(11)
(11) ) and (Equation12
(12)
(12) ) allow us to compute the eigenvalues
for
.
2.1. A computational approach
The Equations (Equation11(11)
(11) ) and (Equation12
(12)
(12) ) spontaneously generate a system of nonlinear algebraic equations with 2N variables
and
for
. From the numerical point of view, the common way is to use the Newton method which is known as the one-step iterative scheme with quadratic convergence [Citation17] for solving equations of the form
. Besides, so far there have been several effective approaches such as the Newton-Simpson’s method of [Citation18] and the improved Newton’s method by the Closed-Open quadrature formula of [Citation19]. However, there would be some basic impediments if we exploit such approaches. Noticeably, the transcendental system (Equation11
(11)
(11) ) and (Equation12
(12)
(12) ) has infinitely many roots and furthermore, we cannot ensure that the obtained solutions correspond one-to-one to the indexes n, which means that the result may be missed out or exceeded. Thus, by varying initial guesses
, it would produce a few confusing results. For instance, taking
, we easily obtain the family of solutions
(13)
(13)
then with and the two initial points
the eigenvalues governed by the standard Newton method (for ) are showed in Figure for comparison. It is apparent that there are many differences between the two figures. Basically, the actual final eigenvalue with
is approximately 19.63495 from (Equation13
(13)
(13) ), while the others are, respectively, 49.87278 and 26.70353 in Figure . The results also indicate that with the guess
there are 48 admissible values obtained by the elimination of equal values whilst there are only 42 values for the guess
.
Figure 1. Numerical eigenvalues for the explicit case (Equation13(13)
(13) ) using the standard Newton method with different initial guesses
and
at the 10th iteration and with the stopping constant
.
![Figure 1. Numerical eigenvalues for the explicit case (Equation13(13) λαk=kπa+bfork∈N,(13) ) using the standard Newton method with different initial guesses x0 and x1 at the 10th iteration and with the stopping constant δ=10-10.](/cms/asset/9ac367eb-710e-4b1c-b240-78d879c5a0ac/gipe_a_1470623_f0001_b.gif)
In order to overcome this issue, we apply the built-in function fzero of MATLAB to several different initial points over some pre-defined range. Thanks to the structure of the transcendental Equations (Equation11(11)
(11) ) and (Equation12
(12)
(12) ), we are capable of reducing the system to the following equation:
(14)
(14)
where we have derived from (Equation11(11)
(11) ) that
(15)
(15)
and substituted this to (Equation12(12)
(12) ). Once
is found, it is straightforward to compute the corresponding
from (Equation15
(15)
(15) ). The algorithm to compute the first N non-negative eigenvalues
from (Equation14
(14)
(14) ) is described as follows:
Remark 1:
A complicated case is provided in Figure (b) where the eigenvalues cannot be solved explicitly. The materials we illustrate are the copper versus the molybdeum, which was experienced by Josell et al. [Citation20], providing and
, respectively. Here, this case is governed by the same parameters of the previous explicit case (Equation13
(13)
(13) ), i.e.
, with
and
. By comparing Figures and , it is easy to see the differences and how well the simple algorithm works. Especially, the computed final numerical eigenvalue, i.e.
in Figure (a), is very closed to the exact value. The only disadvantage of this approach is the long execution time that may rise in higher dimensions.
Now, let us consider the eigenfunctions . By choosing appropriate constants
and
in (Equation7
(7)
(7) ), we obtain the following eigenfunctions:
(16)
(16)
and(17)
(17)
Remark 2:
For different indexes , the eigenfunctions
and
are orthogonal in the sense that
(18)
(18)
On the other hand, we also obtain the same equality for the derivatives of such eigenfunctions. In fact, these functions are orthogonal in the sense that
Let us denote
with
and
3. Main results
3.1. Solution by Fourier-mode and Instability
From the transcendental Equations (Equation11(11)
(11) )–(Equation12
(12)
(12) ) and the formulation of the eigenfunctions in (Equation16
(16)
(16) )–(Equation17
(17)
(17) ), we are competent to construct the temperature solution throughout the two-slab system, denoted by
. Basically, the Fourier-mode for the solution of this system cannot be obtained in the same manner with the classical backward heat equation due to the non-trivial orthogonality (showed in Remark 2) in which we cannot make equivalent computations. Nevertheless, we are still able to compute it by following the structural property of the solution in the classical case.
By assigning , the temperature solution (in the finite series truncated computational sense) would be of the following form:
(19)
(19)
for some and the data associated with the final state of temperature is provided by
(20)
(20)
Before investigating the instability of the solution as well as the cut-off projection, our first concern is to determine the Fourier-type coefficients in (Equation19
(19)
(19) ) for a fixed
. It is worth noticing that due to the two-slab system being considered, such coefficients vary on each material, hence we denote by
for
to distinguish those different values.
According to the representation (Equation20(20)
(20) ), the algorithm to compute the coefficient
is provided as follows: Let
be the number of discrete nodes in the material
. Suppose these are measured at the time
, producing a set
. Then the choice of a suitable
will be discussed later. We are led to the matrix-formed system
where
,
,
are expressed by
(21)
(21)
Remark 3:
Multiplying the expression (Equation20(20)
(20) ) by the nth eigenfunction
using the inner product in
with the weight
, then do the same using the inner product in
, we obtain
(22)
(22)
which also guarantees that for all
.
The second objective concerns the instability of the temperature in this model manifested by the expression (Equation19(19)
(19) ). Due to the intrinsic property of the eigenvalues
which reads
the rapid escalation is indeed catastrophic and it would be the same issue that commonly occurs in previous works (e.g. [Citation15,Citation21–Citation24]). Note that even if the coefficients may decrease quickly, a large error between the Fourier-based solution (Equation19
(19)
(19) ) and the exact solution always happens. Thus, any computational method are impossible to be applied. To be precise, we give the proof of the following theorem that the temperature through the system is exponentially unstable.
Theorem 3.1:
The truncated approximate solution is exponentially unstable over the
-norm by the following estimate:
(23)
(23)
Proof Consider the -norm of (Equation19
(19)
(19) ) over
:
(24)
(24)
From the orthogonality relation (Equation18(18)
(18) ), we continue to estimate (Equation24
(24)
(24) ) and obtain (Equation23
(23)
(23) ).
Remark 4:
One needs to ensure the unique solvability of the linear system (Equation21
(21)
(21) ). However, the question concerning how big the constant N should be taken severely hinders the choice of
. Therefore, the cut-off projection that we consider in the next subsection is important not only in regularization, but also in providing a precise value of
needed at each noise level.
3.2. The cut–off projection
This part of work aims at applying the cut-off projection to deal with the aforementioned instability as well as proposes an effective technique to compute the temperature solution . The idea is to construct a projection in which a suitable high frequency N is appropriately selected depending on the measurement error
. In other words, for each
we now introduce the cut-off mapping
such that
(25)
(25)
where is the set of admissible frequencies and
satisfying
plays the role of the regularization parameter. Henceforward, the algorithm to compute the Fourier coefficients
in Section 3.1 is now active with
.
As the main objectives of this section, we prove the following theorems to analyse the stability and the convergence of the (approximate) regularized solution governed by the representation (Equation25(25)
(25) ).
Theorem 3.2:
For each , the regularized solution depends continuously on the final temperature in the
-norm by the following estimate:
(26)
(26)
Proof Once again, we use the definition of the norm induced by inner product in and then the proof is straightforward with the non-trivial orthogonality (Equation18
(18)
(18) ). Indeed, expressing the projection onto the solution gives us
where we have denoted by for
. This leads to
(27)
(27)
We then combine the elementary inequality for
and
with the properties in Remark 1 and (Equation22
(22)
(22) ), to yield from (Equation27
(27)
(27) ) that
Using the Cauchy-Schwarz inequality and the basic inequality for all
we get
and by definition of the set , we arrive at (Equation26
(26)
(26) )
Theorem 3.2 shows us that the cut-off projection solution is bounded at each noise level, and such an interesting estimate proves that the regularized solution is stable even when the final temperature is corrupted by noise. Furthermore, its appearance enables us to derive the -type estimate between the solutions
and
(i.e. we apply the projection method to design the solution associated with the terminal measured data), which we refer to the following lemma.
Lemma 3.3:
Let be the regularized solution associated with the square–integrable measured data
satisfying (Equation5
(5)
(5) ). Then the following estimate holds:
(28)
(28)
Proof Similar to the proof of Theorem 3.2, we arrive at
The proof of the lemma is completed by applying the terminal condition (Equation5(5)
(5) ) to the above estimate.
At this moment, it is possible for us to prove the convergence result. From the triangle inequality, it follows
which then questions us how to estimate the norm .
We remind that in the Fourier-based sense, the quantity N in the representation (Equation19(19)
(19) ) tends to infinity and that, consequently, requires the regularization parameter to satisfy
. To compare the difference between
and
, we suppose that (Equation19
(19)
(19) ) reaches the most ideal case, i.e. it can be represented by
(29)
(29)
Subtract (Equation29(29)
(29) ) and (Equation25
(25)
(25) ), we thus see that
Therefore, very much in line with the computations in the proof of Theorem 3.2, the -norm of the above difference can be upper-bounded by
(30)
(30)
On the other side, we compute that
which gives
and using (Equation18(18)
(18) ) we obtain
(31)
(31)
Furthermore, it reveals from (Equation30(30)
(30) ) that
(32)
(32)
Combining (Equation31(31)
(31) ) and (Equation32
(32)
(32) ) we observe that
(33)
(33)
At this stage, we conclude that the error will tend to zero as
if the gradient of the temperature solution is bounded over
. By using the triangle inequality and the errors in (Equation28
(28)
(28) ) and (Equation33
(33)
(33) ), we easily obtain the estimate
. We thus have the following theorem.
Theorem 3.4:
Assume that for all
and let
be the regularized solution associated with the square–integrable measured data
. Then the following estimate holds:
(34)
(34)
Remark 5:
In general, the error estimate (Equation34(34)
(34) ) can be rewritten as
in which C is a generic positive constant. Then by choosing for
and
we obtain that
Consequently, is a good approximation of T as the small noise
tends to zero. On top of that, this rate of convergence is uniform in time.
It is worth pointing out that due to the structural property of the eigen-elements, one may deduce that for and
the functions
and
are orthogonal with weights
and
whilst the functions
and
are orthogonal with weights
and
. On the other hand, we see the following relations
Combining these two relations with the fact that leads us to the
-norm equivalence between
and their high-order derivatives. Therefore, if we wish to obtain the error estimate over the space
, the requirement will be
. Note that to tackle the error estimate in this context, only the difference between the high-order derivatives of the exact solution and the regularized is needed. Such result can be found explicitly in [Citation21].
4. Numerical tests
Following the example from Remark 1, in this section we consider three examples including the smooth, piecewise smooth and discontinuous cases in a short-time observation . Note that herein we do not know the exact solution, but at some point we can generate artificial data to see how the approximation works. All computations were done using MATLAB, and only using 5 digit floating point arithmetic. Recall that with
and
, the materials we illustrate herein are the copper versus the molybdeum providing
and
, respectively. We also select
,
and fix 20 discrete spatial points for each slab throughout this illustration. Accordingly, we are able to compute the regularization parameter
which has been chosen in Remark 5.
4.1. Example 1
In this part, the stability of the approximate solution is investigated to prove the approximation as . Practically, we merely have the measured final data given by
with being a random number generator.
4.2. Example 2
In this example, we assume that the exact initial data are known, albeit of the unknown exact temperature solution. They are given by piecewise smooth functions, as follows:
Figure 3. The instability illustration with at a cut-off high-frequency (selected randomly)
. (Example 4.1).
![Figure 3. The instability illustration with ε=10-2 at a cut-off high-frequency (selected randomly) N=50. (Example 4.1).](/cms/asset/038b88ea-9347-4ceb-baf1-741e6918e04d/gipe_a_1470623_f0003_b.gif)
Figure 4. The stability illustration of the proposed cut-off projection, showing the approximate temperature throughout the two-slab system at with
. (Example 4.1).
![Figure 4. The stability illustration of the proposed cut-off projection, showing the approximate temperature throughout the two-slab system at t0=0 with ε∈10-2,10-4,10-6. (Example 4.1).](/cms/asset/f44b8109-56e1-449e-a67b-dd4542424832/gipe_a_1470623_f0004_b.gif)
Figure 5. The approximate temperature throughout the two-slab system with in a short-time observation. (Example 4.1).
![Figure 5. The approximate temperature throughout the two-slab system with ε=10-2 in a short-time observation. (Example 4.1).](/cms/asset/d25fa5b0-fe96-42b1-92ae-48d768ed147c/gipe_a_1470623_f0005_b.gif)
In order to observe the approximation to
, the following steps are carried out:
(1) | Find the final values of | ||||
(2) | Obtain the values | ||||
(3) | Pass the resulting values to the approximate solution |
Figure 6. The comparison between the (artificial) exact initial data and the computed approximations at with
. (Example 4.2).
![Figure 6. The comparison between the (artificial) exact initial data and the computed approximations at t0=0 with ε∈10-2,10-4,10-6. (Example 4.2).](/cms/asset/ab7b9bf2-99a5-49bb-8fa2-341b694d4e21/gipe_a_1470623_f0006_b.gif)
4.3. Example 3
We finalize this section by testing the example of Parker et al. [Citation25] in which the prescribed initial data are provided by
where Q is the total heat energy in the initial pulse (cal) and the depth
at the front surface
is performed as a very small constant compared to the length
. These two dimensionless parameters will be selected as
and
.
Figure 7. The comparison (using log-scale for the y-axis) between the (artificial) exact initial data and the computed approximations at with
. (Example 4.3).
![Figure 7. The comparison (using log-scale for the y-axis) between the (artificial) exact initial data and the computed approximations at t0=0 with ε∈10-2,10-4,10-6. (Example 4.3).](/cms/asset/77174b51-4d55-4a1d-9ce0-fe34af7bd3e6/gipe_a_1470623_f0007_b.gif)
Table 1. Numerical results at with various different points in space.
4.4. Comments on numerical results
When approximating the temperature at for various amounts of noise
, we first observe in Figure that the stability of solution ruins drastically for
for Example 4.1. Since in that example we do not have an analytical exact solution, the convergence of the scheme is affirmed by its stability (inspired from the Lax equivalence theorem). Thereby, it can be seen in Figure that the approximation by the cut-off projection almost remains unchanged. For instance, at
the approximation in the material a for
yields 0.11787, whilst the obtained values
are 0.11553 and 0.11556, respectively. As a result, the stable approximate solution has been depicted in Figure .
Aside from the first example, the measured final data in the next two examples is established from the artificial initial data by solving the direct problem. Then the approximations can be applied to find back the approximate initial data.
Figure shows the accuracy of reconstructing the (artificial) exact initial data by the cut-off projection. In fact, we can observe a steady approach of the approximations (nodes) towards the exact solution (black line) as gets from
to
. In line with that, Figure also confirms a good approximation in the discontinuous case (Example 4.3).
In Table , numerical results with several different spatial points are provided. It is apparent that the numerical solutions in the nonsmooth and discontinuous cases are less stable (accurate) than that of the smooth example. It is simply because of the well-known Gibbs phenomenon, and that the reconstructed data near the nonsmooth and discontinuous points are not well-approximated. Nevertheless, taking into consideration the approximate values in Table at the boundaries as well as the instability in Example 4.1 (Figure ), the results in Example 4.2 and Example 4.3 are acceptable.
5. Discussion
5.1. Non-homogeneous case
We have successfully applied the cut-off method to solve the heat transfer problem backward in time in a 1D two-slab system with perfect contact. This system can be solved similarly when the heat source or sink is applied to the PDE. Indeed, let represent the heat source or sink. The system (Equation1
(1)
(1) )–(Equation2
(2)
(2) ) now reads
(35)
(35)
(36)
(36)
As in Section 2, the system (Equation35(35)
(35) )–(Equation36
(36)
(36) ) together with the boundary conditions (Equation3
(3)
(3) )–(Equation4
(4)
(4) ) also lead to the transcendental conditions (Equation10
(10)
(10) )–(Equation11
(11)
(11) ), which allow direct computation of the eigenvalues
and the eigenfunctions
of the Sturm-Liouville equation. The temperature solution (in the finite series truncated computational sense) of the system (Equation35
(35)
(35) ),(Equation36
(36)
(36) ), (Equation3
(3)
(3) ), (Equation4
(4)
(4) ) has the following form:
(37)
(37)
for some . Here, we follow the notation
in Section 3, whilst the formula of
has already been introduced in (Equation16
(16)
(16) )–(Equation17
(17)
(17) ). The coefficients
can be derived as in Section 3 from the final temperature condition (Equation20
(20)
(20) ), while the algorithm for the time-dependent coefficient
is rather difficult and can only be computed when
are known. First of all, let us return to Equations (Equation35
(35)
(35) )–(Equation36
(36)
(36) ) and then after plugging the representation (Equation37
(37)
(37) ) into each quantity, we see that
where we have used the fundamental differentiation under the integral sign. Therefore, it follows that(38)
(38)
As the second part of work, fix t in (Equation38(38)
(38) ) and once again, with the nodes
it enables us to formulate the matrix-formed system
then solve it through. Thereby, we have sufficient values for approximating the integral
, and that provides the way to numerically compute the temperature
by discrete nodes on the plane consisting of the time and spatial variables.
It is worthy noticing that should satisfy the following condition so that (Equation38
(38)
(38) ) is solvable:
The above condition is a necessary condition for . We do not aim at finding the sufficient condition to guarantee the existence of solution of the system (Equation35
(35)
(35) )–(Equation36
(36)
(36) ) in this manuscript.
5.2. The bilayer system in 2D
In this subsection, we generalize the homogeneous problem to two dimensional space. We consider the backward heat transfer problem between two plates: the left plate is the rectangle , while the right plate is
. The heat distribution in the time interval
is described by:
(39)
(39)
(40)
(40)
Unlike the problem (Equation1(1)
(1) )–(Equation2
(2)
(2) ), we have the boundary conditions on each side of the rectangle and also at the intersection of them, i.e.
,
(41)
(41)
(42)
(42)
Using the same approach as in Section 2, we can construct the eigen-elements as the solution of(43)
(43)
with the assumption that the time dependence of each plates is the same, and that inherits the boundary conditions (Equation41
(41)
(41) )–(Equation42
(42)
(42) ).
We apply the separation variable technique for (Equation43(43)
(43) ) by assuming that
can be expressed as
. Then, (Equation43
(43)
(43) ) becomes
(44)
(44)
Direct computation yields that , where
is a constant and
for
. Since we are solely interested in the case
, we can assume that
. In the same manner with Section 2, we obtain
where are constants. The transcendental condition (Equation10
(10)
(10) ) now reads
(45)
(45)
Similarly, a 2D version of condition (Equation11(11)
(11) ) is
(46)
(46)
The temperature solution of the system (Equation39(39)
(39) )–(Equation40
(40)
(40) ) together with the boundary conditions (Equation41
(41)
(41) )–(Equation42
(42)
(42) ) is
where the coefficient can be derived from the temperature distribution at the final time:
For the time being, the algorithm proposed in Section 2 can be applied again in searching for the eigenvalues which are solutions to (Equation45
(45)
(45) ) and (Equation46
(46)
(46) ). Note from (Equation46
(46)
(46) ) that if the thermal diffusivities of two plates are identical (i.e.
), it turns back to solving the system (Equation14
(14)
(14) )–(Equation15
(15)
(15) ).
Applying again the cut-off projection, our regularized solution in the 2D two-slab system is given by
associated with the terminal measured data satisfying
(47)
(47)
Here, the set of admissible frequencies is defined by with
.
Taking again and
as in Section 4, we test the cut-off projection with a simple 2D problem in a normalized square two-slab system, i.e.
, and with
,
,
.
In this test, since the values of thermal diffusivities are known, we are allowed to write from (Equation46(46)
(46) ) that
(48)
(48)
and thus get the transcendental condition in (Equation45(45)
(45) ) that
(49)
(49)
As we can see from (Equation49(49)
(49) ) , the eigenvalues cannot be computed directly. In order to depict the behavior of those eigenvalues, we demonstrate a simple numerical example by giving an exact smooth form of initial data, viz.
Notice that these are the initial values for the forward problem. Following the steps mentioned in Section 4.2, we set the limit of our summation in the expression of Fourier form solution, i.e. and calculate the eigenvalues according to (Equation48
(48)
(48) ) and (Equation49
(49)
(49) ). In Figure , we compute several numerical eigenvalues driven by (Equation48
(48)
(48) ) and (Equation49
(49)
(49) ) by using the built-in function fzero from MATLAB (this has already been introduced in Section 2).
In this example we consider the system at . The algorithm for this 2D case is similar to that for the 1D case (see in Section 4). Basically, the following steps are carried out:
(1) | Find the final values from the forward problem | ||||
(2) | Obtain the values | ||||
(3) | Perform the proposed method on generated data to find back the initial data |
Figure 9. The comparison between the (artificial) exact initial data and the computed approximations at with
. (Example for a two-slab system in 2D).
![Figure 9. The comparison between the (artificial) exact initial data and the computed approximations at y0=0,t0=0 with ε∈10-2,10-4,10-6. (Example for a two-slab system in 2D).](/cms/asset/be9085ef-3a6f-41b5-b34b-028de9383690/gipe_a_1470623_f0009_b.gif)
We have drawn in Figure the numerical results of the exact initial data and the computed approximations based on our proposed cut-off projection at and at
. We can easily observe that these approximations (colored nodes) are closer to the exact initial data (black line) as
goes from
to
. This corroborates that our theoretical analysis works well in this 2D example and thus implies the applicability of the proposed method in higher dimensions.
5.3. Boundary conditions
So far, we merely have considered the two-slab problem under idealistic conditions, such as the system has a perfect contact, there is no heat entering or escaping at the boundary of the two slabs. More realistic conditions should be more interesting, for example, an imperfect contact or Robin-type condition motivated by Newton’s Law of Cooling. However, the more complicated boundary conditions, the more severe difficulties of computation we have, especially for the eigen-elements. We shall leave detailed studies of such realistic models for further research.
Acknowledgements
V.A.K. acknowledges Prof. Errico Presutti (GSSI, Italy) for his invaluable help during the PhD years. The authors wish to express their sincere thanks to the anonymous referees and the associate editors for many constructive comments leading to the improved versions of this paper.
Disclosure statement
No potential conflict of interest was reported by the authors.
Additional information
Funding
References
- Lattès R, Lions J. Méthode de Quasi-réversibilité et Applications. Paris: Dunod; 1967.
- Buzbee B, Carasso A. On the numerical computation of parabolic problems for preceding times. Math Comput. 1973;27(122):237–266.
- Clark G, Oppenheimer S. Quasireversibility methods for non-well-posed problems. Elect J Differ Equ. 1994;1994(8):1–9.
- Denche M, Bessila K. A modified quasi-boundary value method for ill-posed problems. J Math Anal Appl. 2005;301:419–426.
- Hào D, Duc N, Sahli H. A non-local boundary value problem method for parabolic equations backward in time. J Math Anal Appl. 2008;345:805–815.
- Seidman T. Optimal filtering for the backward heat equation. SIAM J Numer Anal. 1996;33(1):162–170.
- Trong D, Tuan N. A nonhomogeneous backward heat problem: regularization and error estimates. Elect J Differ Equ. 2008;2008(33):1–14.
- Lesnic D, Elliott L, Ingham D. An iterative boundary element method for solving the backward heat conduction problem using an elliptic approximation. Inverse Probl Eng. 1998;6(4):255–279.
- Johansson B, Lesnic D, Reeve T. A method of fundamental solutions for radially symmetric and axisymmetric backward heat conduction problems. Int J Comput Math. 2012;89(11):1555–1568.
- Hào D, Duc N, Lesnic D. Regularization of parabolic equations backward in time by a non-local boundary value problem method. IMA J Appl Math. 2010;75(2):291–315.
- Lesnic D. The decomposition method for forward and backward time-dependent problems. J Comput Appl Math. 2002;147(1):27–39.
- Mei C, Vernescu B. Homogenization methods for multiscale mechanics. Singapore: World Scientific Publishing; 2010.
- Ternat F, Daripa P, Orellana O. On an inverse problem: recovery of non-smooth solutions to backward heat equation. Appl Math Model. 2012;36:4003–4019.
- Ternat F, Orellana O, Daripa P. Two stable methods with numerical experiments for solving the backward heat equation. Appl Numer Math. 2011;61:266–284.
- Regińska T, Regiński K. Approximate solution of a Cauchy problem for the Helmholtz equation. Inverse Probl. 2006;22:975–989.
- Tuan N, Khoa V, Minh M, et al. Reconstruction of the electric field of the Helmholtz equation in three dimensions. J Comput Appl Math. 2017;309:56–78.
- Ortega J, Rheinboldt W. Iterative solution of nonlinear equations in several variables. New York: Academic Press; 1970.
- Cordero A, Torregrosa J. Variants of Newton’s method using fifth-order quadrature formulas. Appl Math Comput. 2007;190:686–698.
- Noor M, Waseem M. Some iterative methods for solving a system of nonlinear equations. Comput Math Appl. 2009;57(1):101–106.
- Josell D, Cezairliyan A, van Heerden D, et al. Thermal diffusion through multilayer coatings: theory and experiment. Nanostruct Mater. 1997;9:727–736.
- Nam P, Trong D, Tuan N. The truncation method for a two-dimensional nonhomogeneous backward heat problem. Appl Math Comput. 2010;216:3423–3432.
- Tuan N, Au V, Khoa V, et al. Identification of the population density of a species model with nonlocal diffusion and nonlinear reaction. Inverse Probl. 2017;33(5):055019.
- Mera N, Elliott L, Ingham D, et al. An iterative boundary element method for solving the one-dimensional backward heat conduction problem. Int J Heat Mass Transfer. 2001;44(10):1937–1946.
- Johansson B, Lesnic D, Reeve T. A comparative study on applying the method of fundamental solutions to the backward heat conduction problem. Math Comput Model. 2011;54(1–2):403–416.
- Parker W, Jenkins R, Butler C, et al. Flash method of determining thermal diffusivity, heat capacity and thermal conductivity. J Appl Phys. 1961;32(9):1679–1684.