Abstract
This work is concerned with a boundary-value problem for a parabolic equation with nonlocal integral conditions of the second kind. Existence and uniqueness of a generalized solution are proved.
Access provided by Autonomous University of Puebla. Download conference paper PDF
Similar content being viewed by others
Keywords
- Parabolic Equations
- Boundary Value Problem
- Nonlocal Integral Condition
- Faedo-Galerkin Approximation
- Including Heat Conduction
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
19.1 Introduction
In recent years, nonlocal problems for PDEs have received a great deal of attention as a convenient way of description of different physical phenomena. These problems arise in a wide variety of applications, including heat conduction, processes in liquid plasma, dynamics of ground waters, thermo-elasticity and some technological processes.
In this paper, our main interest lies in the field of nonlocal problems with integral conditions that generalizes the discrete case. We mention the first papers in this area [6, 14] devoted to problems for parabolic equations. Then these results were extended [2, 7–11, 13, 16, 26, 28, 29]. For papers related to nonlocal problems for other evolution equations, we refer the reader to [1, 3–5, 12, 17, 19–25, 27].
In [25], the author studied two problems for the hyperbolic equation
with the initial condition
and two types of nonlocal conditions.
-
Case 1:
$$\displaystyle{ \int \limits _{0}^{l}K_{ i}(x)u(x,t)\,dx = 0,\quad i = 1,2. }$$
-
Case 2:
$$\displaystyle\begin{array}{rcl} u_{x}(0,t) -\int \limits _{0}^{l}K_{ 1}(x,t)u(x,t)\,dx& =& 0, {}\\ u_{x}(l,t) -\int \limits _{0}^{l}K_{ 2}(x,t)u(x,t)\,dx& =& 0. {}\\ \end{array}$$
Motivated by the ideas of Pulkina [25], in this paper we extend the results of Pulkina [25] to a special class of boundary-value problems with nonlocal integral conditions for parabolic equations. The proof of the main result is based on the method of energy estimates and the Faedo–Galerkin approximations.
19.2 Preliminaries
In the cylinder Q T = { (x, t): x ∈ (0, l), t ∈ (0, T)} we consider the problem for the equation
with the initial condition
and the nonlocal conditions
In this paper, we shall assume that the following assumptions are satisfied.
-
(A1)
\(c(x,t) \in C(\overline{Q}_{T})\), \(\varphi (x) \in C^{1}[0,l]\);
-
(A2)
\(K_{1}(x,t),\,K_{2}(x,t),\,M_{1}(x,t),\,M_{2}(x,t) \in C^{1}(\overline{Q}_{T})\).
We note that presence of partial derivatives on the right-hand side of the nonlocal conditions (19.3), (19.4) can cause difficulties in constructing of a priori estimates. Therefore, to avoid this we integrate by parts in (19.3), (19.4) and obtain
where \(R_{1}(x,t) = M_{1}(x,t) - (K_{1}(x,t))_{x}\), \(R_{2}(x,t) = M_{2}(x,t) - (K_{2}(x,t))_{x}\).
Let W 2 1, 0(Q T ) be the usual Sobolev space. We define the space V 2(Q T ) which consists of elements of W 2 1, 0(Q T ) with the norm
Definition 19.1.
A function u(x, t) ∈ V 2(Q T ) is said to be a generalized solution to the problem (19.1), (19.2), (19.5), (19.6) provided for any function η(x, t) ∈ W 2 1(Q T ), η(x, T) = 0, the following integral identity holds:
Lemma 19.2.
Let a function u(x,t) be a solution to the problem (19.1) , (19.2) , (19.5) , (19.6) . Then the following identity holds:
for a.e. τ ∈ [0,T].
Proof.
Let a function u(x, t) ∈ W 2 1(Q τ ) and satisfy the integral identity (19.7) for all functions η(x, t) ∈ W 2 1(Q T ), η(x, T) = 0. For an arbitrary τ ∈ [0, T], we take
After integration by parts in (19.7) we obtain
We shall prove that a function u(x, t) ∈ V 2(Q T ) also satisfies (19.8). To this aim consider a sequence v m(x, t) ∈ W 2 1(Q T ) which satisfies the identity (19.7) and hence, (19.8), that is
Note that W 2 1(Q τ ) is dense in V 2 1, 0(Q T ) [15] and hence, in V 2(Q T ). Therefore, there exists a function u ∗ ∈ V 2(Q T ) such that \(\vert v^{m} - u^{{\ast}}\vert _{Q_{T}} \rightarrow 0\) as \(m \rightarrow \infty \):
It implies that \(v^{m}(x,t) \rightarrow u^{{\ast}}\) strongly in L 2(0, l) and \(v_{x}^{m}(x,t) \rightarrow u_{x}^{{\ast}}\) strongly in L 2(Q T ). We also note that \(v^{m} \rightarrow u^{{\ast}}\) in L 2(Q T ). Our next aim is to estimate terms on the right-hand side of (19.9). The assumptions (A1), (A2) imply that there exist positive numbers c 1, k 2 such that \(\left \vert c(x,t)\right \vert \leq c_{1}\), \(\left \vert K_{2}(x,t)\right \vert \leq k_{2}\). Applying \(\varepsilon\)-inequality [18]
we obtain
where \(H_{1} =\max \{ k_{2}\varepsilon,\,k_{2}C_{\varepsilon }\}\). Similarly, we derive the estimates
To obtain an estimate for the term
we use Young’s inequality and the Cauchy–Schwartz inequality and then
Similarly,
and
where the constants H i , i = 2, 3, 4, 5 do not depend on m. Furthermore, we note that
Therefore, using strong convergence \(v^{m}(x,t) \rightarrow u^{{\ast}}\) and the estimates (19.10)–(19.15) we pass to the limit as \(m \rightarrow \infty \) in and obtain (19.8) for u(x, t) ∈ V 2(Q T ).
Lemma 19.3.
Let a function u(x,t) be a solution to the problem (19.1) , (19.2) , (19.5) , (19.6) . Then there exists H > 0 such that \(\vert u\vert _{Q_{T}} \leq H\) .
Proof.
By Lemma 19.2, the solution u(x, t) satisfies the integral identity (19.8). We shall estimate the right-hand side of (19.8). Note that for \(\varepsilon _{1},\varepsilon _{2} > 0\)
and hence,
Therefore,
Moreover,
and
From the estimates (19.16)–(19.17) and the integral identity (19.8) it follows that
In particular,
By Gronwall’s lemma we conclude that
and hence,
Therefore, from (19.19) and (19.20) we obtain
19.3 The Main Result
In this section we shall prove existence and uniqueness theorem for the problem (19.1), (19.2), (19.5), (19.6).
Theorem 19.4.
Let the conditions (A1)–(A2) hold and
-
(A3)
\(K_{1}(\xi _{1},0),\,K_{2}(\xi _{i},0) = 0,\,i = 1,2,\,\xi _{1} = 0,\,\xi _{2} = l,\,K_{1}(l,t) = K_{2}(0,t)\) ,
-
(A4)
\(R_{1}^{2} + R_{2}^{2} \leq \frac{1} {2}\) .
Then there exists a unique generalized solution to the problem (19.1) , (19.2) , (19.5) , (19.6) .
Proof.
The proof of the theorem is organized as follows. First, to prove the existence part we construct a sequence of Faedo–Galerkin approximations and show its convergence to the solution of the problem. Second, we prove uniqueness of the generalized solution. Let a system of functions \(\{\varphi _{i}(x)\} \in C^{1}[0,l]\) be complete in W 2 1 and
We define for each \(N \in \mathbb{N}\) the approximate solution in the following form
where the functions c k (t) are unknown for the moment. We shall consider c k (t) which are solutions to the Cauchy problem
\(i = \overline{1,\,N}\). We write the Cauchy problem (19.21)–(19.22) such that
where
We estimate the coefficients A k, i as follows:
The assumptions (A1)–(A2) imply that A k, i are bounded. Therefore, the Cauchy problem has a unique solution c k N ∈ C 1(0, T) and all approximations u N(x, t) are defined. The next aim is to show that the sequence {u N(x, t)} converges to the solution to the problem (19.1), (19.2), (19.5), (19.6). To this aim we multiply each (19.21) by c i N(t), sum it up from i = 0 to i = N and integrate the result with respect to t from 0 to t 1 < T. Thus we obtain
Therefore, from Lemmas 19.2 and 19.3 it follows that \(\left \vert u^{N}\right \vert _{Q_{T}} \leq \mathrm{ Const}\). It implies that there exists a subsequence of {u N(x, t)} which converges weakly in L 2(0, l) and uniformly with respect to t ∈ [0, T] to some function u(x, t) [18]. We shall prove that this function u(x, t) satisfies the integral identity (19.7) from the definition of a generalized solution to the problem (19.1), (19.2), (19.5), (19.6). To this end, we multiply each (19.21) by a smooth function d i (t), d i (T) = 0, sum it up from i = 1 to i = N, integrate with respect to t from 0 to T and denote \(\varPhi ^{N^{{\prime}} } =\sum _{ i=1}^{N^{{\prime}} }d_{i}(t)\varphi _{i}(x)\). As a result we obtain
Since \(\varPhi ^{N^{{\prime}} },\,\varPhi _{t}^{N^{{\prime}} },\,\varPhi _{x}^{N^{{\prime}} } \in L_{2}(Q_{T})\), the subsequence \(\left \{u^{N_{m}}(x,t)\right \}\) converges weakly in L 2(Q T ), so it is possible to pass to the limit in (19.24) as \(m \rightarrow \infty \) for any fixed \(\varPhi ^{N^{{\prime}} }\). Thus, for any u(x, t) ∈ V 2(Q T ) the following identity holds
Denote \(\varPhi =\bigcup _{ N^{{\prime}}=1}^{\infty }\varPhi ^{N^{{\prime}} }\). The set Φ is dense in W 2 1(Q T ) and hence, there exists a function Φ(x, t) ∈ W 2 1(Q T ) that is the limit of the sequence \(\varPhi ^{N^{{\prime}} }\). Finally, we conclude that the relation (19.25) holds for all functions Φ(x, t) ∈ W 2 1(Q T ) and therefore, there exists the solution u(x, t) ∈ V 2(Q T ) to the problem (19.1), (19.2), (19.5), (19.6) in sense of Definition 19.1. Assume that there exist two different generalized solutions u 1(x, t), u 2(x, t) ∈ V 2(Q T ) to the problem (19.1), (19.2), (19.5), (19.6). Then
satisfies the following identity
We take
where b ∈ [0, T] is arbitrary. Note that
and since η xt = u x , so η xt ∈ L 2(Q T ). We substitute η(x, t) into (19.26) and express u, u x in terms of η. Then (19.26) becomes
Integrating by parts in (19.27) we obtain
Under the assumptions (A1)–(A2) from (19.28) we obtain the following estimate
where
Since b > 0 is an arbitrary, so let b be such that \(1 - c_{1}b - Cb^{2} > 0\) and in particular,
That is,
Then for all b ∈ [0, ν]
Define the function \(u(x,t) =\int \limits _{ 0}^{t}u(x,\tau )\,d\tau\). Then \(\eta (x,t) = y(x,t) - y(x,b)\) for t ∈ [0, b] and (19.29) can be represented as
which implies that
In particular, for \(b \leq \dfrac{1} {4P_{2}}\) we obtain
The estimate (19.30) is valid for all b ∈ [0, b 1], where \(b_{1} =\min \left \{ \dfrac{1} {4P_{2}},\,\nu \right \}\). From (19.30), Gronwall’s lemma and the condition y x (x, 0) = 0 we obtain that y x 2(x, b) = 0 for all b ∈ [0, b 1]. And hence, η x (x, t) = 0, t ∈ [0, b 1]. Then from (19.30) it follows that \(\eta _{t}(x,t) = u(x,t) = 0,\,t \in [0,b_{1}]\). Likewise, we repeat the above arguments and obtain u(x, t) = 0 for all t ∈ [b 1, 2b 1] and so on. Finally, we conclude that u(x, t) = 0 in Q T that in turn implies uniqueness of the solution to the problem (19.1), (19.2), (19.5), (19.6).
References
A.M. Abdrakhmanov, Solvability of a boundary-value problem with an integral boundary condition of the second kind for equations of odd order. Math. Notes 88 (1), 151–159 (2010)
A. Ashyralyev, A. Sarsenbi, Well-posedness of a parabolic equation with nonlocal boundary condition. Bound. Value Probl. 2015, 38 (2015)
G. Avalishvili, M. Avalishvili, D. Gordeziani, On integral nonlocal boundary value problems for some partial differential equations. Bull. Georgian Natl. Acad. Sci. 5 (1), 31–37 (2011)
A. Bouziani, Solution forte d’un problem mixte avec condition non locales pour une classe d’equations hyperboliques. Bull. Cl. Sci. Acad. R. Belg. 8, 53–70 (1997)
A. Bouziani, Initial-boundary value problems for a class of pseudoparabolic equations with integral boundary conditions. J. Math. Anal. Appl. 291, 371–386 (2004)
J.R. Cannon, The solution of the heat equation subject to the specification of energy. Quart. Appl. Math. 21 (2), 155–160 (1963)
J.R. Cannon, Y. Lin, An inverse problem of finding a parameter in a semi-linear heat equation. J. Math. Anal. Appl. 145, 470–484 (1990)
J.R. Cannon, Y. Lin, S. Wang, Determination of a control parameter in a parabolic partial differential equation. J. Austral. Math. Soc. Ser. B 33, 149–163 (1991)
O. Danilkina, On a nonlocal problem with the second kind integral condition for a parabolic equation. Int. J. Part. Differ. Equ. Appl. 2 (4), 62–67 (2014)
O. Danilkina, On a certain nonlocal problem for a heat equation. Glob. J. Math. Anal. 2 (4), 235–242 (2014)
O. Danilkina, On one non-classical problem for a multidimensional parabolic equation. J. Concr. Appl. Math. 4 (13), 266–278 (2015)
D.G. Gordeziani, G.A. Avalishvili, Solutions of nonlocal problems for one-dimensional oscillations of the medium. Mat. Modelir. 12 (1), 94–103 (2000)
B. Jumarhon, S. McKee, On the heat equation with nonlinear and nonlocal boundary conditions. J. Math. Anal. Appl. 190, 806–820 (1995)
L.I. Kamynin, On a boundary problem in the theory of heat conduction with a non-classical boundary conditions. Zh. Vychisl. Math. Math. Fiz. 4 (6), 1006–1024 (1964)
A.N. Kolmogorov, S.V. Fomin, Elements of the Theory of Functions and Functional Analysis (Dover Publications, New York, 1999)
A.I. Kozhanov, Parabolic equations with an unknown time-dependent coefficient. Comput. Math. Math. Phys. 12, 2085–2101 (2005)
A.I. Kozhanov, L.S. Pulkina, On the solvability of boundary value problems with a nonlocal boundary condition of integral form for multidimensional hyperbolic equations. Differ. Equ. 42 (9), 1233–1246 (2006)
O.A. Ladyzhenskaya, Boundary-Value Problems of Mathematical Physics (Nauka, Moscow, 1973)
A. Merad, A. Bouziani, Numerical solutions of the hyperbolic equation with purely integral condition by using Laplace transform method. Palest. J. Math. 4 (1), 30–36 (2015)
S. Mesloub, A nonlinear nonlocal mixed problem for a second order pseudoparabolic equation. J. Math. Anal. Appl. 316, 189–209 (2006)
L.S. Pulkina, A mixed problem with integral condition for the hyperbolic equation. Math. Notes 74 (3), 411–421 (2003)
L.S. Pulkina, A nonlocal problem with integral conditions for a hyperbolic equation. Differ. Equ. 40 (7), 947–953 (2004)
L.S. Pulkina, Initial-boundary value problem with a nonlocal boundary condition for a multidimensional hyperbolic equation. Differ. Equ. 44 (8), 1119–1125 (2008)
L.S. Pulkina, A nonlocal problem with integral conditions for the hyperbolic equation. Nanosyst.: Phys. Chem. Math. 2 (4), 61–70 (2011)
L.S. Pulkina, Boundary value problems for a hyperbolic equation with nonlocal conditions of the I and II kind. Russ. Math. (Iz. VUZ) 56 (4), 62–69 (2012)
J.M. Rassias, E.T. Karimov, Boundary-value problems with non-local initial condition for parabolic equations with parameter. Eur. J. Pure Appl. Math. 3 (6), 948–957 (2010)
A.A. Samarskii, On certain problems of the modern theory of differential equations. Differ. Equ. 16 (11), 1221–1228 (1980)
R.V. Shamin, Nonlocal parabolic problems with the support of nonlocal terms inside a domain. Funct. Differ. Equ. 10 (1–2), 307–314 (2003)
M. Tadi, M. Radenkovic, A numerical method for 1-D parabolic equation with nonlocal boundary conditions. Int. J. Comput. Math. 2014, Article ID 923693, 9 (2014)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2016 Springer International Publishing Switzerland
About this paper
Cite this paper
Danilkina, O. (2016). On One Boundary-Value Problem with Two Nonlocal Conditions for a Parabolic Equation. In: Anastassiou, G., Duman, O. (eds) Computational Analysis. Springer Proceedings in Mathematics & Statistics, vol 155. Springer, Cham. https://doi.org/10.1007/978-3-319-28443-9_19
Download citation
DOI: https://doi.org/10.1007/978-3-319-28443-9_19
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-28441-5
Online ISBN: 978-3-319-28443-9
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)