Unique and Non-Unique Fixed Points and their ApplicationsView this Special Issue
Solvability for a New Class of Moore-Gibson-Thompson Equation with Viscoelastic Memory, Source Terms, and Integral Condition
This paper deals with the existence and uniqueness of solutions of a new class of Moore-Gibson-Thompson equation with respect to the nonlocal mixed boundary value problem, source term, and nonnegative memory kernel. Galerkin’s method was the main used tool for proving our result. This work is a generalization of recent homogenous work.
In this contribution, we are interested to study the existence and uniqueness of solutions of the following problem
Here, and are physical parameters, and is the speed of sound. The convolution term reflects the memory effect of materials due to vicoelasticity, is a given function, and is the relaxation function satisfying
(H1) is a nonincreasing function satisfying where , , and .
The phenomena resulting from sound waves (diffraction, interference, reflection) in terms of modeling are very important. As the existence of the third derivative is very important, especially in the field of thermodynamics (EIT), the study of these models is considered the beginning of an in-depth understanding of both convergent and good behavior. From the results extracted, the equation of MGT resulted in nonlinear acoustics, for much depth, see ([1–7]) and especially  where equation of MGT appeared for the first time. Also, nonlinear problems of great importance can be considered , where Galerkin’s method was applied in solving them, for more depth ([2, 3, 10–13]). Recently, in , the authors studied the equation of MGT with memory. Likewise, in , the authors used Galerkin’s method to demonstrate the ability to solve a mixed problem of MGT equation in the absence of viscous elasticity and memory. Based on work  and the works we mentioned earlier, we want to prove the existence and uniqueness of a weak solution to the problem (1).
We divide this paper into the following: in the second part, we put some definitions and appropriate spaces. Then, we apply Galerkin’s method to prove the existence, and in the fourth part, we demonstrate the uniqueness.
We will define the spaces: and by where
We give two useful inequalities: (i)Gronwall inequality. Let the nonnegative integrable functions on the interval with the nondecreasing function . If , we have where , hence, (ii)Trace inequality (see ). If where Ω is a bounded domain in with smooth boundary , then for any , where .
3. Solvability of the Problem
In this section, we use Galerkin’s method to prove the existence of a generalized solution of our problem.
Theorem 2. If , , , and , then there is at least one generalized solution in to problem (1).
Proof. Let be a fundamental system in , such that .
First, we will give an approximate solution of the problem (1) in the form where are constants given by the conditions, for and can be determined from the relations substitution of (13) into (15), and we find for . From (15) it follows that Let Then, (17) can be written as By differentiating (two times) with respect to , it gives We find a system of differential equations of fifth order with respect to , constant coefficients, and the initial conditions (21). Hence, we obtain a Cauchy problem of linear differential equations with smooth coefficients that is uniquely solvable. Thus, ∀n, ∃uN (x) satisfying (15).
Now, we prove that uN is sequence bounded. To do this, we multiply each equation of (15) by the appropriate summing over from 1 to . Hence, by integration the result equality with respect to from 0 to , and , it gives Evaluation of the terms on the LHS of (22) gives So, Thus, Taking into account the equalities (23)–(30) in (22), we end up with Now, multiplying the equations of (15) by , collect them from 1 to and integrating the result with respect to from 0 to , and , we find With the same reasoning in (22), we find A substitution of equalities (33)–(40) in (22) gives Multiplying (32) by and using (41), we get where
With the help of Cauchy and the trace inequalities, we can estimate all the terms in the RHS of (42) that gives