Volume 2022, Issue 1 8008838
Research Article
Open Access

Regularization of Inverse Initial Problem for Conformable Pseudo-Parabolic Equation with Inhomogeneous Term

L. D. Long

L. D. Long

Division of Applied Mathematics, Science and Technology Advanced Institute, Van Lang University, Ho Chi Minh City, Vietnam vanlanguni.edu.vn

Faculty of Applied Technology, School of Engineering and Technology, Van Lang University, Ho Chi Minh City, Vietnam vanlanguni.edu.vn

Search for more papers by this author
Reza Saadati

Corresponding Author

Reza Saadati

School of Mathematics, Iran University of Science and Technology, Narmak, Tehran, Iran iust.ac.ir

Search for more papers by this author
First published: 08 August 2022
Citations: 1
Academic Editor: Yusuf Gurefe

Abstract

The main goal of the paper is to approximate two types of inverse problems for conformable heat equation (or called parabolic equation with conformable operator); as follows, we considered two cases: the right hand side of equation such that F(x, t) and F(x, t) = φ(t)f(x). Up to now, there are very few surveys working on the results of regularization in spaces. Our paper is the first work to investigate the inverse problem for conformable parabolic equations in such spaces. For the inverse source problem and the backward problem, use the Fourier truncation method to approximate the problem. The error between the regularized solution and the exact solution is obtained in under some suitable assumptions on the Cauchy data.

1. Introduction

Partial differential equations (PDEs) have applications in many branches of science and engineering; see for example [18]. In this paper, for s > 1, we consider the initial value problem for the conformable heat equation (or called parabolic equation with conformable operator)
(1)
Here, (N ≥ 1) is a bounded domain with the smooth boundary , and T > 0 is a given positive number. Here, is called the conformable time derivative with order β ∈ (0, 1) (Khalil et al. [9]) for a given function f : [0, ∞)⟶; the of order β ∈ (0, 1] is defined by
(2)
for all t > 0. For some (0, t0), t0 > 0 and the exist, then . Some properties of can be found in more detail in [10, 11]. is a natural extension of usual derivative, it preserves basic properties of the classical derivative [10, 11], and it is a local and limit-based operator. In [10, 12, 13], we saw some applications. For the convenience of the reader, we will consider two models related to Problem (1) that most mathematicians often study.
  • (i)

    The first part of the paper deals with the final value problem for Problem (1) with a linear source function. The new feature of this part is the appearance of observed data, namely, . This result is well described in Theorem 3. We investigated the problem of restoring the temperature function y(x, t), in the fact that the couple (yT, F) are noised by the measurement data (yT,δ, Fδ) such that:

(3)
  • (ii)

    The second part of the paper deals with the final value problem for Problem (1) with F is a linear source function as follows: F(x, t) = Φ(t)f(x), where both functions (Φ, f, g) are perturbed by (Φδ, fδ, gδ) in , respectively

(4)

The main contributions and novelties of this paper are stated as follows. As we know, two inverse problems are ill-posed in the sense of Hadamard. The well-posed problem satisfies three conditions above: the solution is existence, the solution is uniqueness, and the solution continues on data The problem that violates one of the above three conditions is an ill-posed problem. We need to regularize this problem, to give a good approximation. The number of works on the regularized problem with input data in is quite abundant. The results of this study can be found in the following documents, attached to the regularization methods: the Tikhonov method, see [14, 15], the Fractional Tikhonov method, see [16], the fractional Landweber method, see [17, 18], the Quasi Boundary method, see [19], the truncation method, see [20], and their references.

However, for p ≠ 2, results for regularized problem in are quite rare. We confirm that our paper is the first result for the inverse problem for the conformable parabolic equation when the observed data is in the space with p ≠ 2. If the data is not in , the use of Parseval equality is not feasible. In this case, we used the embedding between and Hilbert scales spaces . These results are well described in Theorem 3 and Theorem 5. The main analytical technique in our paper is to use some embeddings and some analysis estimators related to Hölder inequality. To do this, we learn many interesting techniques from N.H. Tuan [21].

This paper is organized as follows. In Section 2, we state some function spaces and embeddings. In Section 3, we deal with the regularized solution for the inverse source problem for (1). Section 4 gives the mild solution of backward problem in case F = 0. After that, we solve two problems in the case of observed data in space.

2. Preliminary Results

Let us recall that the spectral problem
(5)
admits the eigenvalues 0 < λ1λ2 ≤ ⋯≤λm ≤ ⋯ with λm⟶∞ as m⟶∞. The corresponding eigenfunctions are .

Definition 1 (Hilbert scale space). We recall the Hilbert scale space, which is given as follows:

(6)

for any n ≥ 0. It is well-known that is a Hilbert space corresponding to the norm

(7)

Lemma 2 (See [22]). The following statement is true:

(8)

3. Regularization of Backward Problem

In order to find a precise formulation for solutions, we consider the mild solution in Fourier series , with . Taking the inner product of the equations of Problem (1) with em gives
(9)
The first equation of (9) is a differential equation with a conformable derivative as follows:
(10)
Because of the result in [23], the solution of Problem (1) is
(11)
Letting t = T, we follow from (11) that
(12)
From (12), we have
(13)
Substituting (13) into (12), we obtain
(14)
This leads to
(15)

4. The Mild Solution of Backward Problem in Case F = 0

In this section, we investigate the existence and regularity of mild solutions of Problem (1). Firstly, we consider the following initial value problem
(16)
According to (15), in this case, we have
(17)

4.1. The Ill-Posedness of Problem (1)

In order to prove that the solution to the backward problem is unstable atF(x, t) = 0, let us take the perturbed final data, by choosing. For s > 3/2, let us choose input final data yT(x) = 0; we know that an error in norm between two input final data as follows:
(18)
Therefore, we obtain
(19)
First of all, we have , and ((Tβtβ)/β) ≥ 0; this implies that
(20)
Next, using the inequality exp(x) ≥ x, for x > 0, this leads to:
(21)
For s > 3/2, and from (21), we get
(22)

Thus, Problem (1), in general, ill-posed in the Hadamard sense in -norm.

4.2. Regularization of inverse Problem (1) in space

From (15), we know that the explicit formula of the mild solution
(23)
By applying the Fourier truncation method, we have its approximation
(24)

Here, is parameter regularization which is defined later.

Theorem 3. For s > 1, taking for any 0 ≤ tT for any 1/β < p < 2, assume that (yT, F) is observed by the couple (yT,δ, Fδ) such that

(25)

Let us assume that for σ > 0 and 0 < n < N/4. With such that

(26)

Then, the error estimate

(27)

Remark 4. One choice for such that

(28)
then .

Proof. Let

(29)

It is clear that

(30)

We continue to consider the two components of the right hand side.

Step 1:

(31)

For s > 1, it is easy to see that . The first term on is bounded by

(32)

Since the Sobolev space embedding , we have

(33)

This follows from (32) that

(34)

The second term is estimated as follows:

(35)

By the same arguments as above, we find that

(36)

We can see that and . From (36), using Holder’s inequality, we get

(37)

This latter inequality together with Sobolev embedding gives us

(38)

Combining (36) and (38), we get

(39)

Taking the square root on the both sides, we have

(40)

From (34) and (40), we deduce that

(41)

Step 2: Estimate of .

From the definition (23) and (29), we have

(42)

Therefore, we get

(43)

Combining two steps and noting that , we deduce that

(44)

The proof of Theorem 3 is completed. In the following theorem, we give a regularization result in the case that F has a split form F(x, t) = Φ(t)f(x).

Theorem 5. For s > 1, let us assume that the input data Φδ, gδ, fδ such that

(45)

Assume that for any σ > 0, then we construct a regularized solution defined by

(46)

Then, the error is of order

Remark 6. , then the error

(47)

Proof. Since F(x, t) = Φ(t)f(x), we know that

(48)

The triangle inequality allows us to obtain that

(49)

Next, we will evaluate the right side of (49), by the same way as demonstrated in (42),

(50)

It is easy to see that

(51)
whereby
(52)

We will divide this review into several steps as follows:

Step 1: Estimate of , we obtain that

(53)

Step 2: Due to Parseval’s equality, the term can be bounded as follows:

(54)

Thank to Holder’s inequality, we derive that for p > 1 and p = 1 + (1/(p − 1)), one has

(55)

The latter inequality leads to

(56)
where s > 1/β. In view of Sobolev embedding , we derive that the following estimate
(57)
where
(58)

Step 3: Let us now to consider the term . By applying Hölder’s inequality, we get that for p > 1 and p = 1/(p − 1)·

(59)

This inequality together with Parseval’s equality allows us to derive that

(60)

By the fact that , we deduce that

(61)

Combining Step 1 to Step 3, we get

(62)

Finally, combining the reviews from above, we conclude that

(63)

Conflicts of Interest

The authors declare that they have no competing interests. The corresponding author is a full-time member of the School of Mathematics, Iran University of Science and Technology, Narmak, Tehran, Iran

Authors’ Contributions

All authors conceived of the study, participated in its design and coordination, drafted the manuscript, participated in the sequence alignment, and read and approved the final manuscript.

Acknowledgments

The author Le Dinh Long is supported by Van Lang University.

    Data Availability

    No data were used to support this study.

      The full text of this article hosted at iucr.org is unavailable due to technical difficulties.