Abstract
In this paper, we consider a nonlinear hyperbolic equation with a nonlocal boundary condition. We apply the Faedo–Galerkin’s method to establish the local existence and uniqueness of a weak solution.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Boundary value problems with integral conditions are an interesting and important class of problems; this is due to the importance of nonlocal conditions appearing in the mathematical modeling of various phenomena of physics, ecology, biology, etc. The starting work on the use of nonlocal boundary conditions has been done by Cannon [4]; the presence of an integral term in boundary conditions can complicate the application of classical methods; therefore, several methods have been proposed for overcoming the difficulties arising from nonlocal conditions as functional methods, approximation methods (see [1, 6, 7, 11]). Pulkina [17] has dealt with a hyperbolic problem with two integral conditions and has established the existence and uniqueness of generalized solutions using the fixed point arguments. The importance of approximation methods is that they do not only prove the existence and uniqueness of the solution but they also allow the construction of algorithms for numerical solutions. Rothe’s method and Faedo–Galerkin’s method are very effective tools in the study of the approximate solution and its convergence to the exact solution. The objective of this work is to apply Faedo–Galerkin’s method to the study of a multidimensional nonlinear hyperbolic integro-differential equation with integral conditions.
where \(\Omega \subset {\mathbb {R}}^{N} (N\ge 3) \) be a bounded domain and \(0<t<T\). Let \(u(t),\, u'(t)=u_{t}(t),\, u''(t)=u_{tt}(t),\, Q_{T}=\Omega \times (0,T],\, T>0,\, p>2.\)
Equation (1.1) represents the second-order telegraph equation and models mixture between diffusion and wave propagation or mass transport equation. It is also used in signal analysis for transmission and propagation of electrical signals [14].
Equation (1.1) has been studied for initial and Dirichlet conditions by several different methods (see [1, 3, 15, 16, 19]), but without a Volterra operator
Many mathematical models contain integro-differential equations; these equations arise in many fields like biological models and fluid dynamics. Integro-differential equations are usually difficult to solve analytically so it is required to obtain an efficient approximate solution. Let us mention that different methods are used to solve linear and nonlinear integro-differential equations. Balachandran and Park [2] investigated an integro-differential equation of Sobolev type with nonlocal condition and proved the existence of mild and strong solutions using semigroup theory and Schauder fixed point theorem. Merad et al. [12] studied the solvability of the integro-differential hyperbolic equation with purely nonlocal conditions using a priori estimates and Laplace transform method and obtained the solution using a numerical technique.
This paper is organized as follows: In the next section, we specify notations, state some assumptions and prove the existence of a solution using Faedo–Galerkin’s method in Sect. 2.1. Finally, Sect. 2.2 is devoted to establish the uniqueness of solution.
2 Preliminaries and main results
In this section, we shall introduce some notations that will be considered. Let \(\Omega \) be a bounded domain in \({\mathbb {R}}^{N}, N\ge 3,\) with a smooth boundary \(\partial \Omega .\) Much of our arguments are based on the functions spaces \(C^{m}( \Omega ), W^{m,p}=W^{m,p}( \Omega ), L^{p}=W^{0,p}( \Omega ) ,\)\(H^{m}=W^{m,2}( \Omega ) ,\)\(1\le p\le \infty ,\)\(m=0,1,\ldots .\) are used. Let \(\left\langle .,.\right\rangle \) be either the scalar product in \(L^{2}\) or the dual pairing of a continuous linear functional and an element of a function space. Denote by \(\left\| \cdot \right\| _{X}\) the norm in the Banach space X. We denote by \(L^{p}\left( 0,T;X\right) , 1\le p\le \infty ,\) the Banach space of the real functions \(u:\left( 0,T\right) \longrightarrow X\) measurable, such that
and
On \(H^{1}\), we shall use the following norm:
and the compact embedding
Define a space V:
We use the following notation:
\(k_{1}(x)\): norm of \(\nabla k(x,y)\) in \(L^{2}(\Omega )\) with respect to y,
i.e., \( k_{1}(x)=\left( \int _{\Omega }|\nabla k(x,y)|^{2}{\text {d}}y\right) ^{1/2}\) ;
\(k_{2}(x)\): norm of k(x, y) in \(L^{2}(\Omega )\) with respect to y,
i.e., \( k_{2}(x)=\left( \int _{\Omega }|k(x,y)|^{2}{\text {d}}y\right) ^{1/2}\) .
Next, we make the following assumptions:
- \((H_{1})\)::
\(2<p\le \frac{2N-2}{N-2},\, N\ge 3,\)
- \((H_{2})\)::
\(|a(t-\tau )|\le a_{2}\)
- \((H_{3})\)::
For any \(x\in \partial \Omega , k_{1}(x)<\infty , k_{2}(x)<\infty ,\)
- \((H_{4})\)::
\(\int _{\partial \Omega } k_{1}(x)k_{2}(x){\text {d}}x\le C.\)
Theorem 2.1
Suppose that \((H_{1})--(H_{4})\) hold and initial data \((u_{0},u_{1})\in \,H^{2}\times H^{1}\) satisfy the compatibility condition
The problem (1.1)–(1.3) has a unique local solution
for \(T_{*}>0\) small enough.
2.1 Existence of solutions
Proof
Our main tool to prove the existence in time is the Faedo–Galerkin’s method, which consists of constructing approximations of the solutions, then we obtain a priori estimates necessary to guarantee the convergence of approximations. Our proof is organized as follows. In the first step, we define an approximate problem in bounded dimension space which has a unique solution. In the second step, we derive the various a priori estimates. In the third step, we will pass to the limit of the approximations using the compactness of some embedding in the Sobolev spaces.
Step 1. Approximate solutions: Since V is a subspace of \(H^{2}(\Omega )\) which is separable Hilbert space. Then, there exists a family of subspaces \(\{V_{n}\}\) such that
- (i):
\(V_{n}\subset V\,\,({\text {dim}} V_{n}<\infty ),\,\,\,\forall n\in {\mathbb {N}}\).
- (ii):
\(V_{n}\rightarrow V\), such that there exists a dense subspace \(\vartheta \) in V and for all \(v\in \vartheta \), we can get sequence \(\{v_{n}\}\subseteq V_{n}\), and \(v_{n}\rightarrow v\) in V.
- (iii):
\(V_{n}\subset V_{n+1}\) and \(\overline{\cup _{n\in {\mathbb {N}}}V_{n}}=V.\)
We can choose a countable basis of elements \(\{w_{j}(x), j=1,2,\ldots \},\) which generate V and are orthogonal in \(L^{2}(\Omega )\). Let \(V_{m}\) be the subspace of V generated by the first m elements \(\{w_{1}, w_{2},\ldots ,w_{m}\},\,m\in {\mathbb {N}}\) we will try to find an approximate solution of the problem (1.1)-(1.3) in the form:
where the coefficient functions \(\left( c_{mj(t)}\right) _{j=1}^{m}\) remain to be determined.
The approximations of the functions \(u_{0}(x)\) and \(u_{1}(x)\) are denoted, respectively, by
where
Multiplying both sides of equation (1.1) by \(w_{l}\), then by integrating over \(\Omega \), we get
Substituting the approximate solution in Eq. (2.3) yields
where
we obtain a system of differential equations of second order respect to the variable t, by the theory of ordinary differential equations [5] we see that there exists a unique global solution \(c_{mj}\in \,H^{3}[0,T]\), and using the embedding \(H^{m}[0,T]\hookrightarrow C^{m-1}[0,T]\), we deduce that the solution \(c_{mj}\in \,C^{2}[0,T]\). In turn, this gives a unique \(u_{m}\) of the problem (2.3) on some interval \([0,T_{m}]\subset [0,T]\). For proving the convergence of solutions, we need a priori estimates of solutions \(\{u_{m}\}\) independent of m and T.
Step 2. A priori estimates: The next estimates prove that the energy of our problem is bounded to conclude that the maximal time \(T_{m}\) of existence can be extended to T.
The first estimate: multiplying the System (2.3) by \(\left( c_{mj}(t)\right) '\) and summing up with respect to j we conclude that
Integrating by parts with respect to the time variable from 0 to t after some rearrangements, we get
We choose
we obtain
The first term on the right-hand side of (2.5) can be estimated as follows:
since \(1\le 2\le 2p-2\le \frac{2N}{N-2}\), \(H^{1}(\Omega )\hookrightarrow L^{2p-2}(\Omega ).\)
Now, we will estimate the first term in the last inequality of (2.6). By the definition of \(\varphi _{m}(t)\), it is easy to check that
Using the following inequality:
We have
Combining (2.6) with (2.8), we get
Next, we estimate the second and the third terms in the right-hand side of (2.5) as follows:
For \(x\in \partial \Omega \), we have
and
Then, using Holder’s inequality, \((H_{3})\)–\((H_{4})\) and (2.7), we have
By applying Hölder’s inequality, Young’s inequality, \((H_{2})\), (2.1) and (2.7), the third term can be estimated as follows:
Combining estimations of all terms, we obtain after some rearrangements
where \(C_{T}\) always indicates a constant depending on T. Then, by solving a nonlinear Volterra integral inequality (2.12), because we cannot applied the Granwall’s Lemma (nonlinear integral inequality), we need the following lemma:
Lemma 2.2
( [9, 16]) There exists a constant \(T_{*}\) depending on T ( independent of m) such that
The second estimate: Now, we are going to estimate \(u_{m}''(0)\)
Letting \(t\rightarrow 0_{+}\) in equation (2.3) multiplying the result by \(c_{mj}''(0)\), we get
Then
This implies that
where \(M_{0}\) is a constant depending only on \(p, u_{0}, u_{1}\). Now, by differentiating (2.3) with respect to t and substituting \(w_{j}=u_{m}''(t)\), we get
Integrating with respect to the time variable from 0 to t, we get
We put
we obtain
Now, we estimate the last four term in the right side of (2.18). Firstly, it is easy to check that
From
By ([16], Lemmas 2,3 (ii), p.4) and (2.19), we have
Using (2.1) and (2.19), we continue to estimate all terms in the right-hand side of (2.18) as below
For \(x\in \partial \Omega \), we have
and
Then
and
and
Combining estimations of all terms, we obtain after some rearrangements
where \(C_{T}\) always indicates a constant depending on T. Then, by solving Volterra integral inequality [9], we deduce from (2.25) that
Step 3. Limiting process: From (2.13) and (2.26), we deduce the existence of a subsequence of \(\{u_{m}\}\) denoted by the same symbol such that
By the compactness Lemma of Lions ( [10], p.57), we can deduce from (2.27) the existence of a subsequence still denoted by \(\{u_{m}\}\), such that
By means of the continuity of the function \(t\rightarrow |t|^{p-2}t\), we have
On the other hand
Using the Lions Lemma ( [10], Lemma 1.3; p.12), it follows from (2.29) and (2.30) that
Passing to the limit in (2.3) by (2.27), (2.28) and (2.31) we have u satisfying the problem
\(\square \)
2.2 Uniqueness of the solution
Proof
Here, we will prove the uniqueness of solution, for this purpose, let \(u_{1}, u_{2}\) be two weak solutions of problem (1.1)–(1.3). Then, we set \(u=u_{1}-u_{2}\) to verify
We take \(v=u'=u_{1}'-u_{2}'\) and integrating with respect to t, we have
where
By Lemma 2.3 in [16], we get
and
and
Combining (2.35), (2.36), (2.37) and (2.38), we obtain
By Gronwall’s Lemma, it follows from (2.39) that \(M\equiv 0\), i,e. \(u_{1}=u_{2}\). Then, the second part of Theorem 2.1 is proved. \(\square \)
References
Chen, Baili: Existence of solutions for quasilinear parabolic equations with nonlocal boundary conditions. Electron. J. Diff. Equ. 2011(18), 1–9 (2011)
Balachandran, K., Park, J.Y.: Existence of a mild solution of a functional integro-differential equation with nonlocal condition. Bull. Korean Math. Soc. 38(1), 175–182 (2001)
Belin, S.A.: Existence of solutions for one dimensional wave equations with nonlocal conditions. Electron. J. Diff. Equ. 76, 1–8 (2001)
Cannon, J.R.: The solution of the heat equation subject to the specification of energy. Quart. Appl. Math. 21, 155–160 (1963)
Coddington, E.A., Levinson, N.: Theory of Ordinary Differential Equations. McGraw-Hill Book Company, New York (1955)
Dabas, J., Bahuguna, D.: An integro-differential equation with an integral boundary condition. Math. Comput. Model. 50, 123–131 (2009)
Guezane-Lakoud, A., Dabas, J., Bahuguna, D.: Existence and uniqueness of generalized solutions to a telegraph equation with an integral boundary condition via Galerkin’s method. Int. J. Math. Math. Sci. 2011, 451492 (2011)
Guezane-Lakoud, A., Chaoui, A.: Rothe method applied to semilinear hyperbolic integro-differential equation with integral conditions. Int. J. Open Problems Complex Anal. 4, 1–14 (2011)
Lakshmikantham, V., Leela, S.: Differential and Integral Inequalities, vol. 1. Academic Press, New York (1969)
Lions, J.L.: Quelques Méthodes de Résolution des Problémes aux Limites Non Linéaires. Dunod/Gauthier-Villars, Paris (1969)
Long, N.T., Ngoc, L.T.P.: On a nonlinear wave equation with boundary conditions of two-point type. J. Math. Anal. Appl. 385(2), 1070–1093 (2012)
Merad, A., Ozel, C., Kiliçman, A.: On solvability of the integro-differential hyperbolic equation with purely nonlocal conditions. Acta Math. Sci. 35B(2), 1–9 (2015)
Merad, A., Martín-Vaquero, J.: A Galerkin method for two-dimensional hyperbolic integro-differential equation with purely integral conditions. Appl. Math. Comput. 291, 386–394 (2016)
Metaxas, A.C., Meredith, R.J.: Industrial Microwave. Heating, Peter Peregrinus, London (1993)
Ngoc, L.T.P., Hang, L.N.K., Long, N.T.: On a nonlinear wave equation associated with the boundary conditions involving convolution. Nonlinear Anal. TMA 70(11), 3943–3965 (2009)
Phuong Ngoc, L.T., Triet, N.A., Long, N.T.: existence and exponential decay estimates for an N-dimensional nonlinear wave equation with a nonlocal boundary condition. Boundary Value Problems 2016, 20 (2016)
Pulkina, L.S.: A nonlocal problem with integral conditions for hyperbolic equations. Electron. J. Diff. Eqn. 45, 1–6 (1999)
Pulkina, L.S.: A nonlocal problem with an integral condition of the first kind for a multidimensional hyperbolic equation. Ross. Akad. Nauk 416(5), 597–599 (2007)
Truong, L.X., Ngoc, L.T.P., Dinh, A.P.N., Long, N.T.: The regularity and exponential decay of solution for a linear wave equation associated with two-point boundary conditions. NA Ser. B Real World Appl. 11, 1289–1303 (2010)
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Boumaza, N., Gheraibia, B. On the existence of a local solution for an integro-differential equation with an integral boundary condition. Bol. Soc. Mat. Mex. 26, 521–534 (2020). https://doi.org/10.1007/s40590-019-00266-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40590-019-00266-y
Keywords
- Nonlinear hyperbolic equation
- Faedo–Galerkin’s method
- Integro-differential equation
- Integral boundary condition
- Local existence