IJMMS 2004:28, 1503–1507 PII. S0161171204303017 http://ijmms.hindawi.com © Hindawi Publishing Corp. A THIRD-ORDER NONLOCAL PROBLEM WITH NONLOCAL CONDITIONS LAZHAR BOUGOFFA Received 1 March 2003 We study an equation with dominated lower-order terms and nonlocal conditions. Using the Riesz representation theorem and the Schauder fixed-point theorem, we prove the existence and uniqueness of a generalized solution. 2000 Mathematics Subject Classification: 35K35, 35B30, 35D05. 1. Introduction. Various problems arising in heat conduction, chemical engineering, plasma physics, thermoelasticity, and so forth, can be reduced to the nonlocal problems with integral conditions. This type of nonlocal boundary value problems has been investigated in [1, 2, 3, 4, 5, 6, 8] for parabolic equations and in [7, 10] for hyperbolic equations. However, some partial differential equations of higher order with dominated low terms and nonlocal conditions are encountered when studying models for certain natural and physical processes. An example of such type of equations is the equation of longitudinal waves in a thin elastic stem taking into account the effects of transversal inertia [9]: ∂4u ∂2u ∂2u − − 2 2 = 0. 2 2 ∂t ∂x ∂t ∂x (1.1) Another example is the equation of moisture transfer: ∂u ∂ ∂u ∂2u = D +A , ∂t ∂x ∂x ∂x∂t (1.2) where u is the concentration of moisture per unit, D is the coefficient of diffusivity, and A > 0 is the varying coefficient of Hallaire. Motivated by this, we study the equation lu = ∂2u ∂3u ∂u ∂u + a(t, x) + c(t, x)u = f (t, x) − + b(t, x) 2 ∂t∂x ∂t ∂x 2 ∂x (1.3) in the rectangular domain Ω = (0, T ) × (0, 1). To (1.3), we attach the nonlocal conditions T 0 u(t, x)dt = 0, u(t, 0) = 0, ∀x ∈ (0, 1), 1 0 (1.4) u(t, x)dx = 0, ∀t ∈ (0, T ). 1504 LAZHAR BOUGOFFA We assume that the coefficients of l are smooth and bounded on Ω: σ (x) 0 < c(t, x) ≤ c0 , 0 < b(t, x) ≤ b0 √ , 2 ∀x ∈ (0, 1), ∀t ∈ (0, T ), where σ (x) = 1 − x. 0 < a(t, x) ≤ a0 , (1.5) 2. Generalized solution. Define the operator l1 by l1 u = − ∂2u ∂u ∂u + a(t, x) + c(t, x)u, + b(t, x) ∂t ∂x 2 ∂x (2.1) and F (t, x, u) = f (t, x) − l1 u. (2.2) Then (1.3) can be assumed to have the form ∂3u = F (t, x, u). ∂t∂x 2 (2.3) We introduce the function space σ (x) ∂v ∂v ∂2v √ ∈ L2 (Ω), ∈ L2 (Ω), ∈ L2 (Ω), ∂t ∂x 2 2 ∂x 1 T v(t, x)dt = 0, v(t, 0) = v(t, x)dx = 0 . V = v : v ∈ L2 (Ω), 0 (2.4) 0 The completion of this space, with respect to the norm v21,2,σ = 2 2 σ (x)2 ∂v 2 ∂v 2 ∂ v + + v + dt dx, 2 ∂x ∂t ∂x 2 2 Ω (2.5) σ1,2 (Ω) is a Hilbert space with σ1,2 (Ω). Notice that H is denoted by H (u, v)H 1,2 (Ω) = σ σ 2 (x) ∂u ∂v ∂ 2 u ∂ 2 v + uv + dt dx. 2 ∂x ∂x ∂x 2 ∂x 2 Ω (2.6) σ1,2 (Ω), define the operator M by For v ∈ H tx t 2 (x − 1)2 t ∂ v Mv = (1 − x) v(τ, ξ)dξ dτ − (τ, x)dτ + v(τ, x)dτ 2 2 0 0 0 ∂x 0 x x ∂v (t, ξ)dξ. Jv(t, ξ)dξ, where Jv = + 0 0 ∂t (2.7) σ1,2 (Ω) is called a generalized solution to problem Definition 2.1. A function u ∈ H (1.3)-(1.4) if (u, v)H 1,2 (Ω) = F (t, x, u), Mv L2 (Ω) σ σ1,2 (Ω). for every v ∈ H (2.8) A THIRD-ORDER NONLOCAL PROBLEM . . . 1505 3. Existence and uniqueness theorem. In this section, we prove the existence and uniqueness of a generalized solution for the problem (1.3)-(1.4). For this, we first study the subsidiary problem ∂3u = F (t, x, 0) ∂t∂x 2 l0 u ≡ (3.1) with integral conditions (1.4), where F (t, x, 0) = f (t, x). (3.2) Theorem 3.1. Let F (t, x, 0) ∈ L2 (Ω). Then there exists one and only one generalized solution u0 of the subsidiary problem l0 u ≡ T 0 ∂3u = F (t, x, 0), ∂t∂x 2 u(t, x)dt = 0, ∀x ∈ (0, 1), (3.3) 1 u(t, 0) = 0, 0 u(t, x)dx = 0, ∀t ∈ (0, T ), such that c1 u0 1,2,σ ≤ F L2 (Ω) , (3.4) where c1 is a positive constant. Proof. For F (t, x, 0) ∈ L2 (Ω), Ψ (v) = (F , Mv)L (Ω) is a bounded linear functional on 2 σ1,2 (Ω). H Indeed, F , Mv) L2 (Ω) ≤ F L 2 (Ω) MvL2 (Ω) . (3.5) By substituting the expression of Mv in (3.5) and using the Poincaré estimates Ω v 2 (t, x)dt dx ≤ 4 2 t Ω 0 v(τ, x)dτ Ω (1 − x)2 dt dx ≤ 4 ∂v ∂x Ω 2 dt dx, v(t, 0) = 0, (3.6) (1 − x)2 v 2 (t, x)dt dx, we find that |Ψ (v)| ≤ 4 max{2T 2 , 4}F L2 (Ω) v1,2,σ . Consider the scalar product (l0 , Mv)L2 (Ω) = Ω l0 u·Mv dt dx; employing integration σ1,2 (Ω), we obtain by parts and taking account of v ∈ H ∂3u , Mv ∂t∂x 2 L2 (Ω) = (u, v)H 1,2 (Ω) . (3.7) σ Thus, by the Riesz representation theorem, there exists a unique solution σ1,2 (Ω):Ψ (v) = (F , Mv) u0 ∈ H L 2 (Ω) = u0 , v H 1,2 (Ω) , σ σ1,2 (Ω). ∀v ∈ H (3.8) 1506 LAZHAR BOUGOFFA Hence, (u, v)H 1,2 (Ω) = (u0 , v)H 1,2 (Ω) , that is, u0 is a generalized solution. Letting 1/c1 = σ σ 4 max{2T 2 , 4}, we obtain inequality (3.4). σ1,2 (Ω) → L2 (Ω) is bounded, that is, there exists a Lemma 3.2. The operator l1 : H positive constant c2 such that l1 uL2 (Ω) ≤ c2 u1,2,σ . Proof. By using conditions (1.5), we directly obtain 2 2 2 ∂u 2 2 ∂ u 2 ∂u 2 2 + a0 + b0 + c0 uL2 , L2 (Ω) ≤ 4 ∂t L2 ∂x 2 L2 ∂x L2,σ l1 u2 where ∂u/∂x2L2,σ = Hence, l1 u2L2 (Ω) (3.9) 2 2 Ω (σ (x)/2)(∂u/∂x) dt dx. 2 2 2 ≤ c2 u1,2,σ , where c2 = 4 max{1, a20 , b02 , c02 }. √ √ Since l1 is linear, then l1 ( 2µu) = 2µl1 (u) for an arbitrary µ. √ Let l1,µ (w) = l1 ( 2µw) for µ > 1/c1 . Now, consider the general case. The idea in the proof is to derive the results for the equation lu = f with integral conditions (1.4). √ Theorem 3.3. Let f (t, x) ∈ L2 (Ω) and |f (t, x)| ≤ λ/ 2, where λ is a constant. Then σ1,2 (Ω) to problem (1.3)-(1.4). Furtherthere exists at least one generalized solution u0 ∈ H more, the solution is uniquely determined if c2 < c1 . Proof. Let W = {l1,µ w : l1,µ w ∈ L2 (Ω), l1 u2L2 (Ω) ≤ λ2 T /κ 2 } be a closed ball, where κ = c12 − 1/µ 2 . It is clear that 2 F (t, x, w) ≤ f (t, x) + c12 − k2 l1,µ (w), 2 (3.10) and we have F (t, x, w)2L2 (Ω) ≤ c12 λ2 T /κ 2 for all l1,µ w ∈ W . From Theorem 3.1, there exists a unique generalized solution of the problem ∂3u = F (t, x, w) ∂t∂x 2 (3.11) with integral conditions (1.4), so that (u, v)H 1,2 (Ω) = (F , Mv)L σ 2 (Ω) . (3.12) σ1,2 (Ω), S(W ) ⊂ W . Define an operator S : l1 w ∈ W → u = Sl1 w ∈ H Notice that S is completely continuous. To show this, let (l1 w)n , (l1 w)0 ∈ W and (l1 w)n − (l1 w)0 2L2 (Ω) → 0, as n → ∞. Then, for un = S(l1 w)n , u0 = S(l1 w)0 , we have un − u0 , v H 1,2 (Ω) = F t, x, (w)n − F t, x, (w)0 , Mv σ σ1,2 (Ω). = l1 w n − l1 w 0 , Mv for every v ∈ H L2 (Ω) (3.13) 1507 A THIRD-ORDER NONLOCAL PROBLEM . . . Now, from Theorem 3.1, c1 un − u0 1,2,σ ≤ l1 w n − l1 w 0 L2 (Ω) → 0 as n → ∞. (3.14) Again, taking a sequence {(l1 w)n } ⊂ W , (l1 w)n 2L2 (Ω) ≤ λ2 T /κ 2 . For un = S(l1 w)n , we σ1,2 (Ω); therefore there have un 2L (Ω) ≤ λ2 T /κ 2 , so a sequence {un } is bounded in H 2 σ1,2 (Ω). exists a subsequence weakly convergent in H 1,2 σ (Ω) is compact in L2 (Ω), then there exists a subseSince any bounded set in H quence, which we also denote by {un }, strongly convergent in L2 (Ω) to u0 , as n → ∞. As l1 is a bounded operator, S is completely continuous, and so Sl1 is completely continuous. Thus, from Schauder’s fixed-point theorem, there exists at least one fixed point u0 ∈ W such that u0 = Sl1 u0 and (u0 , v)H 1,2 (Ω) = (F (t, x, u0 ), Mv)L2 (Ω) for every σ σ (Ω). v ∈H Now, assume that u1 , u2 are distinct generalized solutions, then (u1 −u2 , v)H 1,2 (Ω) = 1,2 σ (Ω). (F (t, x, u1 ) − F (t, x, u2 ), Mv)L2 (Ω) for all v ∈ H From (3.4) and Lemma 3.2, we have 1,2 u1 − u 2 1,2,σ ≤ 1 l 1 u 1 − l1 u 2 ≤ c 2 u 1 − u 2 1,2,σ . c1 c1 σ (3.15) Thus, if c2 < c1 , then it gives a contradiction; therefore u1 = u2 . References [1] [2] [3] [4] [5] [6] [7] [8] [9] [10] G. W. Batten Jr., Second-order correct boundary conditions for the numerical solution of the mixed boundary problem for parabolic equations, Math. Comp. 17 (1963), 405–413. A. Bouziani and N.-E. Benouar, Mixed problem with integral conditions for a third order parabolic equation, Kobe J. Math. 15 (1998), no. 1, 47–58. B. Cahlon, D. M. Kulkarni, and P. Shi, Stepwise stability for the heat equation with a nonlocal constraint, SIAM J. Numer. Anal. 32 (1995), no. 2, 571–593. J. R. Cannon, The solution of the heat equation subject to the specification of energy, Quart. Appl. Math. 21 (1963), 155–160. Y. S. Choi and K.-Y. Chan, A parabolic equation with nonlocal boundary conditions arising from electrochemistry, Nonlinear Anal. 18 (1992), no. 4, 317–331. L. I. Kamynin, A boundary value problem in the theory of heat conduction with a nonclassical boundary condition, U.S.S.R. Comput. Math. and Math. Phys. 4 (1964), no. 6, 33–59. L. S. Pulkina, A non-local problem with integral conditions for hyperbolic equations, Electron. J. Differential Equations 1999 (1999), no. 45, 1–6. P. Shi, Weak solution to an evolution problem with a nonlocal constraint, SIAM J. Math. Anal. 24 (1993), no. 1, 46–58. M. Kh. Shkhanukov, A method for solving boundary value problems for third-order equations, Dokl. Akad. Nauk SSSR 265 (1982), no. 6, 1327–1330 (Russian). V. F. Volkodavov and V. E. Zhukov, Two problems for the string vibration equation with integral conditions and special matching conditions on the characteristic, Differ. Equ. 34 (1998), no. 4, 501–505. Lazhar Bougoffa: Department of Mathematics, Faculty of Science, King Khalid University, P. O. Box 9004, Abha, Saudi Arabia E-mail address: abogafah@kku.edu.sa