On a Nonlinear Mixed Problem for a Parabolic Equation with a Nonlocal Condition

: The aim of this work is to prove the well-posedness of some linear and nonlinear mixed problems with integral conditions deﬁned only on two parts of the considered boundary. First, we establish for the associated linear problem a priori estimate and prove that the range of the operator generated by the considered problem is dense using a functional analysis method. Then by applying an iterative process based on the obtained results for the linear problem, we establish the existence, uniqueness and continuous dependence of the weak solution of the nonlinear problem.


Introduction and Statement of the Problem
Some problems related to physical and technical issues can be described in terms of nonlocal problems with integral conditions in partial differential equations. Nonlocal conditions arise mainly when the values of the studied function on the boundary cannot be measured directly, while their average are known. Parabolic equation, describe several physical phenomena belongs to this of problem i.e., nonlocal problems. Therefore, the problem of parabolic equation with integral condition is stated as follows: We consider in the rectangular domain Ω = [0, 1] × [0, T], where the problem is to find a solution σ(x, t) of the following non-classical boundary value problem such that with the initial condition and Dirichlet boundary condition and the nonlocal condition where the functions g x, t, σ, ∂σ ∂x , ϕ(x) are known, and we assume that the following matching conditions are satisfied We also assume that there exists a positive constant d such that g x, t, σ 1 , for all (x, t) ∈ Ω.
The main purpose of the present paper is to study and found a solution to the posed problem without imposing any conditions on the functions K 1 (x), K 2 (x) and on the constant α in the interval ]0, 1[. In addition, the nonlinear problem of the parabolic equation with weighted integral condition defined on two parts of the boundary is solved.
The following methodology to solve the posed problem is summarized below First, an a priori estimate is established for the associated linear problem and the density of the operator range generated by the considered problem is proved using the functional analysis method. Subsequently, by applying an iterative process based on the obtained results for the linear problem, the existence and uniqueness of the weak solution of the nonlinear problems is established.
The rest of the paper is organized as follows: In Section 2, the associated linear problem is stated. Section 3 deals with the proof of the uniqueness of the solution using an a priori estimate, while Section 4 gives the solvability of the considered linear problem. Finally, in Section 5, based on the obtained results in Sections 3 and 4, and on the use of an iterative process, we prove the existence and uniqueness of the solution of the nonlinear problem .

Statement of the Associated Linear Problem
Let us in this section give the position of the linear problem and introduce the different function spaces needed to investigate the mixed nonlocal problem given by Equation (6), bellow and supplemented by the conditions Equations (2)-(4). The given problem Equations (6), (2)-(4) can be considered to be a solving of the operator equation Lu = (£u, lu) = F , where the operator L has a domain of definition D(L) (Ω) and satisfying the conditions Equations (3) and (4).
The operator L is an operator defined on E into F, where E is the Banach space of functions u ∈ L 2 (Ω), with the finite norm where Then, we show that the operator L has a closure L and establish an energy inequality: Definition 1. A solution of the operator equation Lu = F = ( f , ϕ) is called a strong solution of problem Equations (6), (2)-(4).
Since the points of the graph of the operator L are limits of sequences of points of the graph of L, we can extend the a priori estimate Equation (9) to be applied to strong solutions by taking limits, i.e., we have the inequality From this inequality, we deduce the uniqueness of a strong solution, if it exists, and that the range of the operator L coincides with the closure of the range of L. The following a priori estimate gives the uniqueness of the solution if it exists of the posed linear problem.

An Energy Inequality and Its Application
Theorem 1. There exists a positive constant k, such that for each function u ∈ D(L) we have Proof of Theorem 1. Let We consider the quadratic form obtained by multiplying Equation (6) by e −ct Mu, with 0 ≤ s ≤ T, c > 0, integrating over Ω s = [0, 1] × [0, s] and taking the real part, we obtain Substituting Mu by its expression in the first term in the right-hand side of Equation (13), integrating with respect to x, using the boundary condition Equation (3), the integral condition Equations (4) and (12), we obtain Re Ω s e −ct ∂u ∂t Integrating the first four terms with respect to t in Equation (15) using the condition Equation (2) we have Combining the previous equalities with Equations (14) and (15), Equation (13) becomes Using Young inequalities and using the fact that we obtain We choose the constant c such that where Then by combining the previous inequalities with Equation (16), we obtain where From Equations (6) and (18), we deduce If we drop the second term in the last inequality and by taking the least upper bound of the left side with respect to s from 0 to T, we obtain the desired estimate Equation (11) with Then, we deduce the uniqueness and continuous dependence of the solution on the input data of the problem Equations (6), (2)-(4). Corollary (2) shows that to prove that problem Equations (6), (2)-(4) has a strong solution for arbitrary F, it suffices to prove that the set R(L) is dense in F.

Solvability of Problem Equations (6), (2)-(4)
To prove the solvability of problem Equations (6), (2)-(4) it is sufficient to show that R(L) is dense in F. The proof is based on the following lemma Lemma 1. Suppose that the function a and its derivatives are bounded.
Proof of Lemma 1. Equation (19), can be written as follows where We introduce the smoothing operators [17] Substituting the function u in Equation (20) by the smoothing function u ε and using the relation Since the operator A(t) has a continuous inverse in L 2 (0, 1) defined by where Then, we have Consequently, Equation (21), becomes where h = ρ * − B * (t)ρ * , and B * (t) is the adjoint operator of B (t).
The left-hand side of Equation (22) is a continuous linear functional of u, hence the function h has the derivatives ∂h ∂x , ∂ 2 h ∂x 2 ∈ L 2 (Ω) and the following condition are satisfied For a sufficiently small and the operator has a bounded inverse in L 2 (Ω), we deduce that ∂ρ * ∂x , ∂ 2 ρ * ∂x 2 ∈ L 2 (Ω) and the following condition is satisfied We introduce the function v such that x ∈ (0, α), x ∈ (α, 1), then, the function ρ(x) can be expressed as follows x ∈ (α, 1), and we deduce that in Equation (20) and integrating with respect to x and t, using Equation (23) for arbitrary u ∈ D(L) and (g, ϕ) ∈ F, implies that g = 0 and ϕ = 0. Putting u ∈ D 0 (L) in Equation (24), we conclude from the Lemma 1 that g = w = 0, a.e. then g = 0.
Taking u ∈ D(L) in Equation (24) Since the two terms in the previous equality vanish independently and since the range of the trace operator l is everywhere dense in Hilbert space with the norm hence, ϕ = 0. Thus, R(A) = F. Then the problem Equations (6), (2)-(4) has a strong solution for an arbitrary F.

Study of the Nonlinear Problem
This section is devoted to the proof of the existence, uniqueness and continuous dependence of the solution on the data of the problem Equations (1)- (4).
If the solution of problem Equations (1)-(4) exists, it can be expressed in the form U is a solution of the homogeneous problem and w is a solution of the problem where F x, t, w, ∂w ∂x = f x, t, w + U, ∂(w + U) ∂x and it satisfies the condition According to Theorem 1 and Lemma 1, the problem Equations (26)-(29) has a unique solution that depends continuously on U 0 ∈ V 1,0 (0, 1) where V 1,0 (0, 1) is a Hilbert space with the scalar product and with associated norm We shall prove that the problem Equations (30)-(33) has a weak solution using an approximation process and passage to the limit.
Assume that v and w ∈ C 1 (Ω), and the following conditions are satisfied v(x, T) = 0, Taking the scalar product in L 2 (Ω) of Equation (30) and the integrodifferential operator , by taking the real part, we obtain Substituting the expression of Λv in the first integral of the right hind-side of Equation (36), integrating with respect to t, using the condition Equation (35), we obtain Substituting the expression of Mv in the second integral of the right hind-side of Equation (36), integrating with respect to x, using the condition Equation (35), we obtain Insertion of Equation (37), Equation (38) into Equation (36) yields obtained by intrgating the right-hand side of Equation (36) with respect to x.
We will construct an iteration sequence in the following way. Starting with w 0 = 0, the sequence (w n ) n∈N is defined as follows: given w n−1 , then for n ≥ 1, we solve the problem From Theorem 1 and Lemma 1, we deduce that for fixed n, each problem Equations (40)-(43) has a unique solution w n (x, t). If we set V n (x, t) = w n+1 (x, t) − w n (x, t), we obtain the new problem where σ n−1 = F x, t, w n , ∂w n ∂x − F x, t, w n−1 , ∂w n−1 ∂x .
Proof of Theorem 3. We denote by We consider the quadratic form obtained by multiplying Equation (44) by e −ct QV n , with the constant c satisfying Equation (17), integrating over Ω s = [0, 1] × [0 , s], with 0 ≤ s ≤ T, taking the real part, we obtain Following the same procedure done in establishing the proof of Theorem 1, using Equation (34), we obtain where Since V n (x, t) = w n+1 (x, t) − w n (x, t), then the sequence w n (x, t) can be written as follows the sequence w n (x, t) converge to an element w ∈ L 2 0, T : V 1,0 (0, 1) if Now to prove that this limit function w is a solution of the problem under consideration Equations (44)-(47), we should show that w satisfies Equations (33) and (39).

Conclusions
In this work we studied the existence, uniqueness and continuous dependence of a weak solution for some classes of mixed nonlinear problems with nonlocal conditions (boundary integral conditions). The used method is one of the most efficient functional analysis methods for solving linear partial differential equations with boundary integral conditions, the so-called energy-integral method or a priori estimates method. We constructed for each problem suitable multiplicators, which provide the a priori estimate, from which it was possible to establish the solvability of the problem. For the nonlocal mixed problems for nonlinear equations, we first established the a priori estimate for an associated linear problem and hence the solvability of this associated linear problem. Then, by applying an iterative process based on the obtained results for the linear problem, we proved the existence, uniqueness and continuous dependence of a weak solution of the considered nonlinear problem.

Conflicts of Interest:
The authors declare no conflict of interest.