CC BY
10
УДК 519.21
On the Solvability of one Class of Boundary-value Problems for Non-linear Integro-differential Equation in Kinetic Theory of Plazma
Khachatur A. Khachatryan*
Institute of Mathematics of NAS, Marshal Baghramyan, 24/5. Yerevan, 0009
Armenia
Tsolak E. Terdjyant Haykanush S. Petrosyan*
Armenian National Agrarian University, Teryan, 74, Yerevan, 0009
Armenia
Received 06.04.2013, received in revised form 06.07.2013, accepted 06.09.2013 The work is devoted to the investigation of one class of non-linear integro-differential equations with the Hammerstein non-compact operator on the half-line. The mentioned class of equations has direct application in the kinetic theory of plazma. Combining the special factorization methods with the theory of construction of invariant cone intervals for non-linear operators permits to prove the existence of a solution of the initial equation in the Sobolev space W1( R+).
Keywords: factorization, kernel, monotonicity, iteration, Caratheodory's condition, Sobolev space.
Introduction
We consider the following boundary-value problem for the nonlinear integro-differential equation of the Hammerstein type non-compact operator
df i'
-y- = W {K(x - t) - eK(x + t)}h(t,/(t))dt, x > 0, (1)
dx J 0
/= lim /(x) = 0, (2)
x—
with respect to a measurable real-valued function /(x). Here ^ > 0 and e e [0,1) are positive numerical parameters of equation (1), and the kernel K(x) has the following form:
rb
K(x) = I e-|x|sG(s)ds, x e R = (-<», (3)
J a
where G(s) is the positive continuous and monotonically decreasing function on [a, b) (a > 0, b > ay/3, b < besides,
rb G(s)
ds = 1, (4)
*[email protected], [email protected] [email protected] t [email protected] © Siberian Federal University. All rights reserved
2
s
h(t, z) is defined on set R+ x R (R+ = [0, +to)), takes real values and satisfies the condition of criticity:
h(t, 0) = 0, Vt G R+. (5)
The problem (1)-(2) has direct application in the kinetic theory of plazma (see [1-3]). In particular, equation (1) is used to describe the problem of stationar distribution of electrons in semi-infinite plazma, where the role of function f (x) plays the first coordinate of the electric field E(x) = (f (x), 0,0), and e is the coefficient of the accommodation.
Equation (1) is derived from the Boltzmann model equation taking into the consideration the energy interaction in the integral of collision (see [3]).
In case where e = 0, —(s) = , a = 1,6 = +to, the problem (1)-(2) has been studied in [2]
s2
by one of the authors of the present paper. In this article the existence of a positive solution in the Sobolev space W11(R+) is proved under some additional assumptions on the function h(t, z).
In the present paper, under suitable assumptions on h, we construct a positive solution of problem (1)-(2) in the space W/(R+); in addition the structure of the solution is described. A list of examples of the function h(t, z) is given at the end of the paper.
1. Reduction of the problem (1)-(2) to integral equation
Integrating the both sides of equation (1) from a positive number t to +to and using (2)
f (t )=/ {T (t - t) - to(t + t)}h(t,f (t))dt, t> 0, (6)
J 0
r
T(r) = p / K(x)dx, -to < r < +to, (7)
J r
T0(r) = eJ K(x)dx, 0 < r < +to. (8)
r
Note that
T(r) G li(-to, +to), (9)
since conditions (3) and (4) imply
T(-to) = p > 0.
On the other hand
to G li(0, +to). (10)
Really, this fact follows from Fubini's theorem because
ttb G(s) 1
xK(x)dx = ds < — < +to. (11)
Jo Ja s2 2a
We introduce the following functions
Ta(x) = eaxT(x) > 0, x G R, (12)
T0a (x) = eaxT0 (x) > 0, x G R+, (13)
where a > 0. It follows from formulas (7) and (8) that
pi e-(s-a)x —S^ds, for x > 0,
Ta(x)H Ja ,b S —(s) G li(-to, +to), (14)
peax - p / e(s+a)x —^ds, for x < 0, as
we get
'( ) ' {T( To
where f + tt
e+tt
T0a(x) = / e-(s-a)xds G Li(0, (15)
Ja s
;G(s)
To (x) = tu i e v 7
a
if
a G (0, a). (16)
Everywhere below, unless otherwise stated, we assume that (16) is fulfilled.
To find the parameter a we impose the following conservativity condition on the kernel Ta(x):
/ + TO
Ta(x)dx = 1. (17)
Using (17), we obtain to the following characteristic equation with respect to a:
C b 2
^ 2 S 2 G(s)ds = 1. (18)
Consider the function
Note that
u = u(a) = —T-, a G (0, a). (19)
M ) —tA-(s)ds' ( ' ) ( )
1) £(a) > 0, a G (0, a), (20)
2) £ G C(0, a), (21)
3) £(0+) = lim £(a) = 0. (22)
a—0+
The function £(a) is strongly increasing on (0, a0] and strongly decreasing on [a0, a), where the maximum point a0 is determined from the following equation
fb — 3a2)
I tf-OFG<«><is = °- (23)
Let us check, that equation (23) has a unique solution on the interval (0, a). In fact, due to the assumptions imposed on G, the function
fb s(s2 — 3a2)
X(«)=/ -2VG(s)ds, a G (0,a), (24)
Ja (s2 - a2)2
possesses the following properties a) x(0+) = lim x(a) = 1, b) x'(a) < 0, a G (0,a), c) x(a-)= lim x(a) = -ro.
a—>0+ 2 a—>a
Taking into the consideration formula (4), the properties a) and b) immediately follow from (24). In order to prove property c) we note that
ra^3 s(s2 - 3a2) rb s(s2 - 3a2) x(a) = 2-^¡yG(s)ds + —2-yyG(s)ds = /i(a) + /2(a),
./a (s - a ) Jay/3 (s - a )
w N fb s(s2 - 3a2) , 3 fb G(s) , 3
(because 3a2 * 3a2 * s2 on the integration set of the integral /2(a)). Now let us check that /1(a-) = -ro or lim (-/1(a)) = +ro.
a—>a
We have
fa3 s(3a2 — s2) ^ 3 3 s(3a2 — s2) d
— h (a) = (s2 - a2)2 G(s)ds > G(aV 3) Ja (s2 - a2)2 ds =
(s2 — a2)2
= GiaV-3)(¡ in(a2 — a2) + ^ — 3a2a—^2— 1 ln(3a2 — a2)) >
> G(aV3)(ln( 2 a 2 + l \ + iny/a2 — a2 — -2 — lnVi302—a2)
a2 - a2 3a2 - a2
2——2 + 1 ) + in \Ja2 — a2 2
a2 — a2 J 3a2 — a2
22 a2 a2
/2 2 :_\
= G(aV3) ( in — -2 — in \j3a2 — a2) —►
V V a2 — a2 3a2 — a2 J
a—>a
Therefore x(a= Thus it follows from properties a) — c) that equation (23) on (0, a) has a unique solution a = a0.
Then on intervals (0, ao] and [ao, a) there exist inverse functions of p(a), which we denote by a1(p) and a2(p) respectively.
We calculate the value of the first moment of the kernel Ta:
V = V (Ta) = S f S((32a— — if G(S)dS. (25)
Using the above mentioned facts and taking into the consideration formula (25) we get the following Lemma:
Lemma 1. Let the conditions (3), (4), (16) and (17) be fulfilled. Then
I) if v(Ta) < 0, then a = a1(p), p < p(a0),
II) if v(Ta) > 0, then a = a2(p), p < p(a0),
III) if v(Ta) = 0, then a = a0, p = p(a0).
Let the conditions (17), (16) be fulfilled and v(Ta) < 0. Then multiplying the both sides of (6) by function eai(M)x, we get the following equation
) = eai(^T {T (t — t) — T0(t + t)}h(t,e-ai(^)t^(t))dt (26)
0
with respect to the function
^(x) = eai(^xf (x). (27)
In the following sections we will deal with the solutions of the equation (26).
2. On one convolution type auxiliary equation
We consider the following convolution type linear integral equation on the half-line with respect to measurable function S(x):
S(x) = {Tai (x — t) — e-2aitT0ai (x + t)}S(t)dt, x > 0 (28)
Jo
where a1 = a1(p). We rewrite equation (28) in the operator form in the Banach space E (E being Lp(0, 1 < p < or M(0, = L^(0, or C0(0, +ro)):
(I — Tai + TT )S = 0, (29)
where I is the identity operator, Tai is the Wiener-Hopf operator with the conservative kernel
(Tai f )(x) = Ta(x - t)f (t)dt, f G E (30)
/0
and operator T01 is given in according by formula:
(T^1 f )(x) = e-2aitT0ai (x + t)f (t)dt, f G E. (31)
Jo
It is well known that the operators (30) acting in the Banach space E are non-compact and they permit the following Volteryan factorization under the assumption (17) (see [4]):
I - Tai = (I - Va1 )(I - V+1), (32)
where
/'x px
(va1 f )(x) = va1 (t - x)f (t)dt, (va1 f)(x)= V+1 (x - t)f (t)dt, (33)
Jx Jo
f G E, v± (x) > 0, x G R+, v± G L1(0, Besides if v(Ta1) < 0 then
pOO foo
/ V+1 (x)dx < 1, = Va1 (x)dx =1. (34)
J 0 J 0
The factorization (32) is understood as the coincidence of the operators, acting in E.
Unlike the Wiener-Hopf operators, the operators of the type (31) are completely continuous for the indicated above choice of the space E. We denote by Qai the class of these operators, i.e. Bai G Qai if and only if
(Bai f )(x)= e-2aitBai (x + t)f (t)dt, f G E, (35)
0
Bai G Li(0,
We consider the following factorization problem: given operators Tai and TO^ (see formula (30), (31)), find such an operator Bai G Oai, that the following factorization holds:
I - Tai + T0ai =(I - V^1 )(I + Bai )(I - V+ai ), (36)
where operators V^1 are defined by (33).
Here the factorization is also understood as coincideness of the operators acting in E. The factorization is constructed step by step. First we consider the following factorization
I - Tai + T0ai =(I - Va1 )(I - va1 + Uai ), (37)
where operator Uai is sought in Qai. Due to (32), decomposition (37) is equivalent to the equality
Uai = TO*1 + Va1 Uai . (38)
Using the operator equality (38) we come to the coincideness of the corresponding kernels. Then, after the calculations, we obtain
Uai (x)= T0ai (x)+ va1 (t)Uai (x + t)dt, x > 0, (39)
0
where Uai (x + t)e-2ai t-is the kernel of integral operator Uai.
Since y—1 = 1, T^'1 £ L\(0, and /0° xT^'1 (x)dx < then it follows from the results of [4] that equation (39) has a positive solution in L1(0, Therefore factorization (37) exists.
At the second step we are looking for the factorization of operator I — V+1 + Uai in the form
I — Va1 + Uai = (I + Bai )(I — V?1 ). (40)
We note that factorization (40) is equivalent to the equation
/• x
Bai (x) = Uai (x)+ Bai (x + t)v°i (t)dt, x > 0, (41)
Jo
where vO1 (t) = e-2aitv^i (t), and Bai (x + t)e~2ait is the kernel of the integral operator
Bai £ ^ai .
In fact, using (40) it is easy to check that for arbitrary function f £ E we have
/• x
/ Bai (x + t)e~2aitf (t)dt =
o
fx fx Z't
= Uai (x + t)e-2aitf (t)dt + Bai (x + t)e-2ait vO1 (t — y)f (y)dydt. Jo Jo Jo
Changing the order of the integration with the use of Fubin's theorem we obtain
/• x
/ Bai (x + t)e-2ai tf (t)dt =
o
px px px
= Uai (x + t)e-2aitf (t)dt + f (y) Bai (x + t)e-2aitvai (t — y)f (y)dtdy. Jo Jo Jy
From (41) we get
/ + x
Bai (x + z)e-2aizv+i (z — t)dz. Replacing the variable of the integration, z — t = t, we obtain an equation, equivalent to (41):
x
Bai (x + t)e-2ait = Uai (x + t)e-2ait + Bai (x + t + t)e~2ai(t+T)v+1 (t)dT.
o
We rewrite equation (41) in the following from
/• x
Bai (x) = Uai (x)+ vO1 (t — x)Bai (t)dt, x > 0. (42)
J x
As Uai £ L\(0, > 0 and /oXvj'+1 (x)dx < Y+1 < 1, then equation (42) has a positive
solution in Li(0,
Therefore there exists factorization (40). Combining (38) and (40) we get (36). Taking into account (36), equation (29) yields
(I — va )(I + Bai )(I — V+1 )S = 0. (43)
The solution of equation (43) is reduced to the successive solution of the following coupled operators equations
(I — Va )F = 0, (44)
(I + Bai )f = F, (45)
(I - )S = f. (46)
We consider the following possible cases for the completely continuous operator Bai:
1) " — 1" is the characteristic value for the operator Bai
2) " — 1" is the not characteristic value for the operator Bai.
Case 1): We consider the homogeneous equation (44). As the solution of (44) we take the trivial solution F(x) = 0. Since " —1" is the characteristic value of the operator Bai, then equation Bai f = —f has a non-trivial bounded solution (because Bai is the completely continuous operator in space M(0, +ro)). Let us turn to the solution of the equation (46) with respect to the function S:
S(x) = f (x) + i (x — t)S(t)dt, x > 0, (47)
J 0
where f G M(0,
Since < 1, then equation (47) has a unique solution S G M(0, in space of bounded functions.
Case 2): As a solution of equation (44) we take F(x) = 1 (it is possible because 7— = 1). Since " —1" is not a characteristic value of the operator Bai, then due to the complete continuity of the operator Bai in the space M(0, we conclude that there exists the bounded inverse operator (I + Bai)-1 (see [5]). Since F G M(0, then f G M(0, We again come to
equation (47), which has bounded solution.
Thus, it has been proved that equation (28) has a non-trivial bounded solution S(x). However, the solution may alternate in sign. Below we prove that equation (28) possesses also a non-trivial non-negative monotonically increasing bounded solution S*(x). With this purpose, first let us check that
Tai (x — t) > e-2aitT0ai (x +1), V(x, t) G R+ x R+. (48)
Really taking into account (7), (8), (12) and (13) we have
Tai (x — t) = Meai(x-iM K(y)dy > Mee-2aiieai(x+iM K(y)dy = e-2aitT0ai (x + t). Jx-t Jx+t
Now we introduce the following iterations (successive approximations) for equation (28):
p oo
Sn+1 (x) = {Tai (x — t) — e-2aitT0ai (x + t)}S„(t)dt, x > 0,
J° (49)
S0(x) = sup |S (t )|, n = 0,1, 2,...,
t
where S(x) is the bounded solution of equation (28), constructed by means of the factorization (36).
By the induction, taking into consideration (48), it is easy to check that
i) Sn(x) j with respect to n, ii) Sn(x) > |S(x)|, n = 0,1, 2,.... (50)
Therefore the sequence of functions {Sn(x)}OOL0 has the pointwise limit lim Sn(x) = S*(x) <
n—>o
sup |S(x)|. Moreover, in accordance with B.Levi's theorem (see [6]), this limit satisfies the
x^0
following inequalities
|S(x)| < S*(x) < sup |S(x)|, x G R+. (51)
x>0
We show that S* (x) j while x. With this aim, we rewrite the iterations (49) in the following form
/x /'x
Tai (t)Sn(x - T)dT - e-2aiiToai (x + t)Sn(t)dt,
Jo (52)
S0(x)=sup |S(x)|, n = 0,1, 2,....
Taking into consideration (15), (52), and using the induction, it is easy to prove that
Sn(x) j with respect to x, n = 0,1, 2,.... (53)
Therefore S*(x) j with respect to x. Thus the following theorem holds.
Theorem 1. Lei the conditions (17), (16) be fulfilled and v(Ta) < 0. Then equation (28) possesses a non-negative non-trivial monotonically increasing bounded solution S* (x).
In the following paragraph, using theorem 1, we will prove the existence theorem for the problem (1)-(2) in space the W/(0,
3. Solvability of problem (1)-(2)
The following theorem is true.
Theorem 2. Let the conditions (3)-(5) be fulfilled. Assume that there exists n > 0, such that
ji) h(t, z) j with respect to z for each fixed t £ R+ on the interval [0, ne-ai(M)i], where ai(^) is uniquely defined by relation (17) while v(Ta) < 0,
j2) h(t, z) satisfies Caratheodory's condition on the interval R+ x [0, n] with respect to the arguments z, i.e. for each fixed z £ [0, n] the function h(t, z) is measurable with respect to t £ R+ and it is continuous with respect to z on the interval [0, n] for almost all t £ R+,
j3) h(t,z) > z, t > 0, z £ [0,ne-ai(M)i],
j4) h(t,ne-ai(M)i) = ne-ai(^)i.
Then the problem (1)-(2) has a non-trivial non-negative bounded solution of the following structure
f (x)= e-ai (^)x ^(x), (54)
in the space Wi(R+) where ^ £ Wi(R+) = : £ LTO(0, j = 0,1},
0 < ^(x) < n, ^(x) ^ 0, x £ R+. (55)
Proof. Consider the following successive approximations for the equation (26):
Vwi(t) = / (T(t - t) - To(t + t)}h(t,e-ai(^V„(t))dt, (56)
0
^o(t) = n, n = 0,1, 2,..., t > 0.
By the induction, we can easily prove that
^«(t) | with respect to n. (57)
Indeed,
V>1 (t) = eai(^)r / (T(t - t) - To(t + t)}h(t,e-ai(^)in)dt < W Tai (t - t)dt < n, jo ./o
since f-+° Tai (z)dz = 1,
MT) > eai(^T {T(t - t) - T0(t + t)}h(t, 0)dt = 0. Jo
We assume that 0 < Vn(t) < Vn-1(T) for some n G N. Then, due to condition ji), equation (56) implies
Vn+i(T) > 0 h Vn+i(T) < {T(t - t) - To(t + t)}h(t, e-ai(^)tVn-i(t))dt = Vn(T).
Jo
Now we prove that
S*(T )
Mt) > supSé)v>T > 0 n = 012... (58)
t'O
If n = 0 then inequality (58) is obviously fulfilled. Let (58) holds true for some n G N. Then due to conditions j3), equation (56) yields
/
pœ
) > {T(t - t) - To(t + t)}h
Jo
t, ne-ai(^)t S*(t\, I dt >
Ve sup S*(t)
s*
\ t^0
/œ
{T*iW(t - t) - e-2ai^T0aiM(t + t)}S*(t)dt
S*(t )
supS*(t) Jo L ai(ll)K ' ° \ ' >i \> sups*(t)
t'o t'o
where a\ = ai(p).
Thus, the sequence of functions n(T)}X=o has a pointwise limit lim t) = ^(t) while
n—>x
n ^ to; besides ^(t) satisfies the following chain of the inequalities
nlS(T)l ^ ^LilL ^ ^T) ^ n, T > 0. (59)
sup S *(t) sup S *(t)
Taking into the consideration B.Levi's theorem and condition j2) we conclude that the limit function ^(r) satisfies equation (26). From formula (27) we obtain the following inequalities:
hupS^- < f (- < ve~ai , - > o. (60)
dT ◦ dT
Now let us check that ^ £ W^(0, +to). In fact, H(-) = —, H(-) = —— are continuous and
integrable functions on the sets (—<x; +to) and (0, +to) respectively (because of functions T and T0 are given by (7) and (8), and K is the exponential function of the type (3)). Besides, the integrals
f OO
)x
pOO
ai(^x H(x - t)h(t,e-aiWt4(t))dt, Jo
f OO
eOnMx H(x + t)h(t, e-aMt^(t))dt,
Jo
f OO
pOO
eai(^x T(x - t)h(t,e-ai(^)t^(t))dt,
Jo
/• œ
eai(v)x T0(x + t)h(t, e-°l(^)t^(t))dt Jo
uniformly (bounded) converge, and ^ G M(0, Hence, due to the theorems on the differenti-
ation of the parameter dependent integral (see [7]), we conclude that G M(0, Therefore
the theorem has been proved. □
Remark 1. It should be noted that in particular case where h(t, z) = z (it satisfies conditions ji) — j4)) the solution of problem (1)-(2) reduces to the solution of equation (28). But since the solution of equation (28) is bounded function in the case where v(Ta) < 0 only (in other cases, using results of [4], it can be proved that non-trivial solutions are unbounded). On the other hand, we are looking for bounded solutions to equation (26). Therefore we have to assume that v(Ta) < 0.
Remark 2. It is also interesting to note that if h(t, z) satisfies conditions ji) — j4), and
1) h(t, 0) ^ 0, t G R+,
2) there exists number L G (0,1), such that
|h(t,zi) — h(t,z2)| < L|zi — z2|, t G R+, zi,z2 G [0,ne-ai(M)i],
then it is easy to prove the uniqueness of the solution to problem (1)-(2) in Wii(R+).
An example of the function h(t, z) satisfying all the assumptions above is the following:
ne«l(M)i n2e-2«l(M)i
h(t,z) = z--o- +
2 z +
3
Here the number L can be chosen as follows: L = 4.
At the end of paper we give a number of examples for the function h(t, z):
a) h(t, z) = \Jne-ai(^)iz,
ne-ai(M)i . 2 nz b) h(t, z) = z + --sin2
ng-ai(M)t '
c) h(t, z) = y ne-ai(^)ize n i. The authors are grateful to the referee for valuable comments.
References
[1] E.M.Lifshits, L.M.Pitaevskii, Theoretical Physics, vol. 10, Physical kinetics, Moscow, Nauka, 1979 (in Russian).
[2] Kh.A.Khachatryan, On Solvability one Hammerstein-Nemitski type nonlinear integro-differential equation with noncompact operator in W11(R+), St. Petersburg Matematicheskij Zhurnal (Algebra i Analiz), 24(2012), no. 1, 223-247 (in Russian).
[3] Kh.A.Khachatryan, Integro-differential equations of physical kinetics, Jounal of Contemporary Mathematical Analysis, 39(2004), no. 3, 49-57.
[4] L.G.Arabadzhyan, N.B.Engibaryan, Convolution Equations and Nonlinear Functional Equations, Itogi Nauki Tekh., Ser. Mat. Anal., 22(1984), 175-244 (in Russian).
[5] L.A.Lusternik, V.I.Sobolev, Short course of functional analysis, Moscow, Vysshaya shkola, 1982 (in Russian).
[6] A.N.Kolmogorov, S.V.Fomin, Elements of theory of functions and functional analysis, Moscow, Nauka, 1981 (in Russian).
[7] B.M.Budak, S.V.Fomin, Multiple integrals and series, Moscow, Nauka, 1965 (in Russian).
О разрешимости одного класса граничных задач нелинейных интегро-дифференциальных уравнений в кинетической теории плазмы
Хачатур А. Хачатрян Цолак Э. Терджян Айкануш С. Петросян
Работа посвящена исследованию одного класса нелинейных интегро-дифференциальных уравнений с некомпактным оператором Гаммерштейна в полуплоскости. Рассматриваемый класс уравнений имеет прямое приложение в кинетической теории плазмы. Комбинация методов специальной факторизации с теорией построения инвариантных конусных отрезков для нелинейных операторов позволила доказать существование решения рассматриваемых уравнений в пространствах Соболева.
Ключевые слова: факторизация, ядро, монотонность, итерация, условие Каратеодори, пространство Соболева.
