Document 10749637

advertisement
Electronic Journal of Differential Equations, Vol. 1999(1999), No. 45, pp. 1–6.
ISSN: 1072-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu
ftp ejde.math.swt.edu ftp ejde.math.unt.edu (login: ftp)
A non-local problem with integral conditions for
hyperbolic equations ∗
L. S. Pulkina
Abstract
A linear second-order hyperbolic equation with forcing and integral
constraints on the solution is converted to a non-local hyperbolic problem. Using the Riesz representation theorem and the Schauder fixed point
theorem, we prove the existence and uniqueness of a generalized solution.
1
Introduction
Certain problems arising in: plasma physics [1], heat conduction [2, 3], dynamics of ground waters [4, 5], thermo-elasticity [6], can be reduced to the
non-local problems with integral conditions. The above-mentioned papers consider problems with parabolic equations. However, some problems concerning
the dynamics of ground waters are described in terms of hyperbolic equations
[4]. Motivated by this, we study the equation
Lu ≡ uxy + A(x, y)ux + B(x, y)uy + C(x, y)u = f (x, y)
(1)
with smooth coefficients in the rectangular domain
D = {(x, y) : 0 < x < a, 0 < y < b},
bounded by the characteristics of equation (1), with the conditions
Z
Z
α
0
u(x, y) dx = ψ(y),
β
0
u(x, y) dy = φ(x).
(2)
where φ(x), ψ(y) are given functions and 0 < α < a, 0 < β < b. The special
case α = a, β = b is considered by author in [7]. The consistency condition
assumes the form
Z
Z
α
0
β
φ(x) dx =
0
ψ(y) dy.
∗ 1991 Mathematics Subject Classifications: 35L99, 35D05.
Key words and phrases: Non-local problem, generalized solution.
c
1999
Southwest Texas State University and University of North Texas.
Submitted July 29, 1999. Published November 15, 1999.
1
2
2
A non-local problem with integral conditions
EJDE–1999/45
A problem for a loaded equation
Since the integral conditions (2) are Rnot homogeneous, we construct a funcα
1
tion K(x, y) = α1 ψ(y) + β1 φ(x) − αβ
0 φ(x) dx, satisfying the conditions (2),
and introduce a new unknown function ū(x, y) = u(x, y) − K(x, y). Then (1)
is converted into a similar equation Lū = f¯, where f¯ = f − LK, while the
corresponding integral data are now homogeneous. Now we construct another
function
Z
Z
Z bZ a
1 a
1 b
1
M (x, y) =
ū(x, y) dx +
ū(x, y) dy −
ū(x, y) dx dy ,
a α
b β
ab β α
which satisfies the conditions
Z a
Z a
M (x, y) dx =
ū(x, y) dx,
0
Z
α
0
Z
b
M (x, y) dy =
b
β
ū(x, y) dy .
Let ū(x, y) = w(x, y) + M (x, y), where w(x, y) satisfies a differential equation
to be determined. To find the form of this equation, we consider the previous
equality as an integral equation with respect to ū
Z
Z
Z bZ a
1 b
1
1 a
ū(x, y) dx −
ū(x, y) dy +
ū(x, y) dx dy = w(x, y) .
ū(x, y) −
a α
b β
ab β α
(3)
It is not difficult to show that
Z
Z
Z bZ a
1 a
1 b
1
ū(x, y) = w(x, y)+
w(x, y) dx+
w(x, y) dy+
w(x, y) dx dy .
α α
β β
αβ β α
(4)
If we substitute (4) into the left-hand side of the equation Lū = f¯, then we
obtain the so called loaded equation with respect to w(x, y),
Z
Z
1 b
1 a
L̄w ≡ wxy + A(w +
w(x, y) dy)x + B(w +
w(x, y) dx)y
β β
α α
Z
Z
1 a
1 b
+C(w +
w(x, y) dx +
w(x, y) dy
(5)
α α
β β
Z bZ a
1
+
w(x, y) dx dy) = f¯(x, y)
αβ β α
and integral conditions
Z a
0
3
Z
w(x, y) dx = 0,
0
b
w(x, y) dy = 0.
Generalized solution
Define the function S by
Sw
= A(w +
1
β
Z
b
β
w dy)x + B(w +
1
α
Z
a
α
w dx)y
(6)
EJDE–1999/45
L. S. Pulkina
1
+C(w +
α
Z
a
α
1
w dx +
β
Z
b
β
3
1
w dy +
αβ
Z
b
β
Z
a
α
w dx dy)
and F (x, y, Sw) = f¯(x, y) − Sw. Then (5) can be assumed to have the form
wxy = F (x, y, Sw).
We introduce the function space
Z
1
V = {w : w ∈ C (D̄), ∃wxy ∈ C(D̄),
Z
a
0
w dx =
0
b
w dy = 0} .
The completion of this space, with respect to the norm
Z bZ a
2
kwk1 =
(w2 + wx2 + wy2 ) dx dy
0
0
is denoted by H̃ 1 (D). Notice that H̃ 1 (D) is Hilbert space with
Z bZ a
(w, v)1 =
(wv + wx vx + wy vy ) dx dy .
0
0
For v ∈ H̃ 1 define the operator l by
Z y
Z x
Z
lv ≡
vx (x, τ )dτ +
vy (t, y)dt −
0
0
0
y
Z
0
x
v(t, τ ) dt dτ .
Consider the scalar product (wxy , lv)L2 . Employing integration by parts and
taking account of w ∈ V, v ∈ H̃ 1 , we can see that (wxy , v)L2 = (w, v)1 .
Definition. A function w ∈ H̃ 1 (D) is called a generalized solution of the
problem (5)-(6), if (w, v)1 = (F (x, y, Sw), lv)L2 for every v ∈ H̃ 1 (D).
4
Subsidiary problem
Consider the problem with integral conditions (6) for the equation
wxy = F (x, y).
Theorem 1 Let F (x, y) ∈ L2 (D). Then there exists one and only one generalized solution w0 of the problem
Z
0
a
wxy = F (x, y)
Z b
w dx = 0,
w dy = 0,
0
where for some positive constant c1 ,
c1 kw0 k1 ≤ kF kL2 .
(7)
4
A non-local problem with integral conditions
EJDE–1999/45
Proof. For F (x, y) ∈ L2 (D), Ψ(v) = (F, lv)L2 is a bounded linear functional
on H̃ 1 (D). Indeed,
|(F, lv)| ≤ kF kL2 klvkL2 ≤ 3 max{a2 , b2 , a2 b2 }kF kL2 kvk1 .
Thus by the Riesz-representation theorem there exists a unique w0 ∈ H̃ 1 (D)
such that Ψ(v) = (F, lv)L2 = (w0 , v)1 . Hence (w, v)1 = (w0 , v)1 for every
v ∈ H̃ 1 (D), i.e., w0 is generalized solution. Letting c11 = 3 max{a2 , b2 , a2 b2 }, we
obtain inequality (7).
♦
Lemma 1 Operator S : H̃ 1 → L2 is bounded, that is, there exists a positive
constant c2 such that kSwkL2 ≤ c2 kwk1 .
Proof. Let |A(x, y)| ≤ A0 , |B(x, y)| ≤ B0 , and |C(x, y)| ≤ C0 . Then Sw =
Aūx + B ūy + C ū, and
kSwk2L2
Z
b
Z
a
=
0
≤
0
(Aūx + B ūy + C ū)2 dx dy
3(A20 kūx k2L2 + B02 kūy k2L2 + C02 kūk2L2 ) .
Now by straightforward calculation, using the inequality 2ab ≤ a2 + b2 , and
Hölder’s inequality, we find that
kūk2L2 ≤ c3 kwk2L2 ,
(a − α)a (b − β)b (b − β)(a − α)ab
;
with c3 = 4 1 +
+
+
α2
β2
α2 β 2
(b − β)b
kūx k2L2 ≤ c4 kwx k2L2 , with c4 = 2 1 +
;
β2
(a − α)a
kūy k2L2 ≤ c5 kwy k2L2 , with c5 = 2 1 +
.
α2
Hence kSwk2L2 ≤ c2 kwk21 , where c2 = 3 max{A20 c4 , B02 c5 , C02 c3 }. Indeed,
kSwk2L2
≤ 3(A20 c4 kwx k2L2 + B02 c5 kwy k2L2 + C02 c3 kwk2L2 )
≤ c2 (kwx k2L2 + kwy k2L2 + kwk2L2 )
= c2 kwk21 .
√
√
As S is linear S( 2λw) = 2λS(w) for arbitrary λ. Let λ >
√
Sλ (w) = S( 2λw) .
Theorem 2 If f¯(x, y) ∈ L2 (D) and |f¯(x, y)| ≤
P
√
,
2
♦
1
c1 ,
and let
then there exists at least
2
one generalized solution w0 ∈ H̃ (D) to problem (5)-(6), where kw0 k21 ≤ Pη2 ,
with η 2 = c21 − λ12 . Furthermore, the solution is uniquely determined, if c2 < c1 .
1
EJDE–1999/45
L. S. Pulkina
5
Proof. Consider the closed ball
W = {Sλ ω : Sλ ω ∈ L2 (D), kSλ ωk2L2 ≤
r
Then
|F (x, y, Sω)| ≤ |f¯(x, y)| +
P 2 ab
}.
η2
c21 − η 2
|Sλ ω| ,
2
and for all Sλ ω ∈ W we have
kF (x, y, Sω)k2 ≤
c21 P 2 ab
.
η2
From Theorem 1 there exists a unique generalized solution of the problem
Z a
Z b
w(x, y) dx = 0,
w(x, y) dy = 0
wxy = F (x, y, Sω),
0
so that (w, v)1 = (F, lv)L2 and kwk21 ≤
1
0
1
kF k2
c21
≤
P 2 ab
η2 .
Define an operator
T : Sω ∈ W → w = T Sω ∈ H̃ (D), T (W ) ⊂ W . Notice that T is a continuous
operator. To see this, let (Sω)n , (Sω)0 ∈ W and k(Sω)n − (Sω)0 k → 0 as
n → ∞. Then for wn = T (Sω)n , w0 = T (Sω)0 we have
(wn − w0 , v) = (F (x, y, (Sω)n ) − F (x, y, (Sω)0 ), lv)L2 = ((Sω)n − (Sω)0 , lv)L2 .
Now from Theorem 1
kwn − w0 k1 ≤
1
k(Sω)n − (Sω)0 kL2 → 0, n → ∞ .
c1
Furthermore, T is a compact operator. In order to show this, we take a se2
quence {(Sω)n } ⊂ W , that is k(Sω)n k2L2 ≤ Pη2ab . For wn = T (Sω)n we have
kwn k2 ≤
P 2 ab
η2 ,
so a sequence {wn } is bounded in H̃ 1 (D), therefore there exists
a subsequence weakly convergent in H̃ 1 (D). Since any bounded set in H̃ 1 is
compact in L2 , then there exists a subsequence, which we again denote by {wn },
strongly convergent in L2 (D) to w0 , as n → ∞. Now w0 satisfies the inequality
kw0 k2L2 ≤ P 2 ab/η 2 . As S is a bounded operator, T is completely continuous
and so T S is completely continuous. Thus from Schauder’s fixed-point theorem
there exists at least one w0 ∈ W such that w0 = T Sw0 and
(w0 , v)1 = (F (x, y, Sw0 ), lv)L2
for allv ∈ H̃ 1 (D).
Assume that w1 , w2 are distinct generalized solutions, then
(w1 − w2 , v)1 = (F (x, y, Sw1 ) − F (x, y, Sw2 ), lv)L2 .
¿From (7) and Lemma 1 we have
kw1 − w2 k1 ≤
1
c2
kSw1 − Sw2 kL2 ≤ kw1 − w2 k1 .
c1
c1
Thus, if c2 < c1 then it gives a contradiction; therefore, w1 = w2 .
6
A non-local problem with integral conditions
EJDE–1999/45
References
[1] Samarskii A.A., Some problems in the modern theory of differential equations, Differentsialnie Uravnenia, 16 (1980), 1221-1228.
[2] Cannon J.R., The solution of the heat equation subject to the specification
of energy, Quart. Appl. Math., 21 (1963), 155-160.
[3] Ionkin N.I., Solution of boundary-value problem in heat-conduction theory
with nonclassical boundary condition, Differentsialnie Uravnenia, 13 (1977),
1177-1182.
[4] Nakhushev A.M., On certain approximate method for boundary-value problems for differential equations and its applications in ground waters dynamics, Differentsialnie Uravnenia, 18 (1982), 72-81.
[5] Vodakhova V.A., A boundary-value problem with Nakhushev non-local condition for certain pseudo-parabolic water-transfer equation, Differentsialnie
Uravnenia, 18 (1982), 280-285.
[6] Muravei L.A., Philinovskii A.V., On certain non-local boundary- value problem for hyperbolic equation, Matem. Zametki, 54 (1993), 98-116.
[7] Pulkina L., A non-local problem for hyperbolic equation, Abstracts of Short
Communications and Poster Sessions, ICM-1998, Berlin, p.217.
Ludmila S. Pulkina
Department of Mathematics
Samara State University
443011, 1, Ac.Pavlov st.
Samara, Russia.
e-mail: pulkina@ssu.samara.ru & louise@valhalla.hippo.ru
Download