On a nonlocal problem for parabolic equation with time dependent coefficients

This paper is devoted to the study of existence and uniqueness of a mild solution for a parabolic equation with conformable derivative. The nonlocal problem for parabolic equations appears in many various applications, such as physics, biology. The first part of this paper is to consider the well-posedness and regularity of the mild solution. The second one is to investigate the existence by using Banach fixed point theory.


Introduction
Let T be a positive number and ⊂ R d (d ≥ 1) be a bounded domain with the smooth boundary ∂ . In this paper, we consider the nonlocal value problem for parabolic equation as follows: (x, t, u(x, t)), x ∈ , t ∈ (0, T), u(x, t) = 0, x ∈ ∂ , t ∈ (0, T), where the symbol ∂t β is called the conformable derivative which is defined clearly in Sect. 2. The function F represents external forces, and the function ϕ is the input datum which will be defined later. The function ψ is called time dependent coefficient.
There are applications of conformable derivative in various models, for example, the harmonic oscillator, the damped oscillator, and the forced oscillator (see [1]), electrical circuits (see [2]), chaotic systems in dynamics (see [3]), quantum mechanics [4]. Based on important notes in the article [5], we observe and think that studying the ODE problem with the compliance derivative is very different from studying the PDE problem with a suitable derivative. The positional results and methods for the ODE and PDEs models are not the same and completely different. In order for the reader to have more access to this kind of fractional diffusion equations with conformable derivative, we refer to [2,[6][7][8][9][10][11][12][13][14][15][16][17]. In addition, we can find the topics of initial and final problems, which are studied by many authors, in [18][19][20][21][22][23][24][25][26][27].
Our paper is one of the first results on the nonlocal value problem given with parabolic equations with conformable derivative. In the linear part, we use the techniques of Hilbert scales space. In the nonlinear part, to establish the existence and uniqueness of the solution, we must use the Banach fixed mapping theorem combined with some techniques to evaluate inequality, some Sobolev embedding. One of the most difficult points is finding the right functional spaces for the solution. Another highlight in the results is to demonstrate the convergence of the mild solution as the parameter b approaches 0.

Preliminaries
for each t > 0 exists, then it is called be the conformable derivative of order β ∈ (0, 1] of v. We can refer the reader to [11,28]. Let A be a linear, self-adjoint, unbounded, and positive definite operator. Assume that A has the eigenvalues λ n (n ∈ N * ): 0 < λ 1 ≤ λ 2 ≤ · · · with λ n → ∞ for n → ∞ and the corresponding eigenelements e n which form an orthonormal basis. For ν > 0, we introduce fractional powers of A as follows: The space D(A ν ) is a Banach space in the following with the corresponding norm: g, e n 2 λ 2ν The information for negative fractional power A -ν can be defined by [29]. For any m > 0 and a Banach space B, we introduce the following space: corresponding to the following norm: Let 0 < m < 1, and we recall the following space:

Inhomogeneous problem
In this section, we consider the nonlocal value problem for equation as follows: where F is defined later.

Existence and uniqueness of the mild solution
In this subsection, we state the existence and uniqueness of the mild solution.
Then we have the following regularity: Proof By a simple calculation, we get the following equality: where F n = F, e n . Replacing t with T in the above expression, we get The condition au(x, 0) + bu(x, T) = ϕ(x) gives the following result: By switching sides and combining them, we obtain the formula for u n (0) as follows: Inserting (8) into the above formula (5) and after the reduced transformation, we arrive at By the properties of Fourier series, we get that ϕ n e n (x) Using the inequality Hence, we find that We continue to estimate J 2 as follows: The Hölder inequality implies that where 1 r + 1 r * = 1. Let us choose r > 1 β , we find that Inserting the latter estimate into (13), we arrive at The quantity J 3 is bounded by It follows from the inequality Next, we continue to compute the integral term. Set the variable ϑ = s β . Then we get dϑ = βs β-1 ds. Then it follows from 0 < θ < 1 that This together with (18) yields that Combining (12), (16), and (20), we deduce that

The mild solution for nonlinear problem
By the previous section, we define the following definition of a mild solution of the problem as follows.

Definition 4.1
The function u is called a mild solution of the problem if u belongs to the space L ∞ (0, T; L 2 ( )) and it also satisfies equality (1).
We recall that the formula of the solution u is performed as the following form: If the condition 1 > ( b a + 1) is true, then problem (22) has a mild solution u which belongs to the space L ∞ (0, T; L 2 ( )).
Proof Set the following: where ϕ n e n (x) and and We have to show that the equation H u = u has a unique solution. Applying the Hölder inequality, we find that and using the inequality we get that (28) Combining (27) and (28) leads to Since the left-hand side of the above observation is independent of t, we deduce that Let us choose T such that we know that H is a contraction mapping. Next, we continue to show that if v ∈ L ∞ (0, T; L 2 ( )), then H β (v) ∈ L ∞ (0, T; L 2 ( )). We only check that if v = 0, then which allows us to obtain that The latter estimate leads to H β : L ∞ (0, T; L 2 ( )) → L ∞ (0, T; L 2 ( )). By applying the Banach fixed point theory, we can deduce that our problem (1) has a unique solution u ∈ L ∞ (0, T; L 2 ( )).

Theorem 4.2 Let w a be the solution of the initial value problem
Then we have lim b→0 w a,βu a,b,β L ∞ (0,T;L 2 ( )) = 0 (34) and .

(35)
Proof It is easy to see that the mild solution of problem (33) is given by This together with (22) yields The term A 1 is bounded by Using exp(-2λ n t β β 0 ψ(s) ds) ≤ 1, the term A 2 is bounded by The term A 3 can be estimated as follows: Therefore, we find that A 3 L 2 ( ) ≤ K f T β β w a,βu a,b,β L ∞ (0,T;L 2 ( )) .