Научная статья на тему 'On solvability of one class of nonlinear integral-differential equation with Hammerstein non-compactoperator arising in a theory of income distribution'

On solvability of one class of nonlinear integral-differential equation with Hammerstein non-compactoperator arising in a theory of income distribution Текст научной статьи по специальности «Математика»

CC BY
44
7
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
HAMMERSTEIN OPERATOR / ВЕСОВОЕ ПРОСТРАНСТВО СОБОЛЕВА / WEIGHTED SOBOLEV SPACE / МОНОТОННОСТЬ / MONOTONY / ИТЕРАЦИИ / ITERATION / УСЛОВИЕ КАРАТЕОДОРИ / CARATHEODORY'S CONDITION / ОПЕРАТОРГАММЕРШТЕЙНА

Аннотация научной статьи по математике, автор научной работы — Khachatryan Aghavard Kh., Khachatryan Khachatur A., Sardaryan Tigran H.

In present paper we investigate a class of nonlinear integral-differential equation with Hammerstein noncompact operator which has direct application in a theory of income distribution. We prove solvability of the class of equations in special weighted Sobolev space. The results of numerical calculations are also presented.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «On solvability of one class of nonlinear integral-differential equation with Hammerstein non-compactoperator arising in a theory of income distribution»

УДК 517.9

On Solvability of one Class of Nonlinear Integral-differential Equation with Hammerstein Non-compact Operator Arising in a Theory of Income Distribution

Aghavard Kh. Khachatryan Khachatur A. Khachatryan* Tigran H. Sardaryan

Institute of Mathematics of NAS RA Marshal Baghramyan, 24/5, Yerevan, 0009

Armenia

Received 06.08.2015, received in revised form 03.09.2015, accepted 05.10.2015 In present paper we investigate a class of nonlinear integral- differential equation with Hammerstein noncompact operator which has direct application in a theory of income distribution. We prove solvability of the class of equations in special weighted Sobolev space. The results of numerical calculations are also presented.

Keywords: Hammerstein operator, weighted Sobolev space, monotony, iteration, Caratheodory's condition.

DOI: 10.17516/1997-1397-2015-8-4-416-425

Introduction

In this paper we study the following initial problem for the nonlinear integral-differential equation with noncompact Hammerstein operator

f + Aq (x,f (x)) = J K (x - t) Ai (t,f (t)) dt, x e R+ = [0, +to), (1)

f (0) = 0 (2)

where f (x) is a real function defined on R+.

The functions {Aj (x,u)}j=Q ! are defined on set R+ x R. They take real values and satisfy condition of criticality:

Aj (x, 0) = 0, Vx e R+, j = 0,1. (3)

The kernel K (x) admits the following representation:

rb

K (x)= e-lxlsG (s) ds, x e R = (-to, , (4)

J a

where

G e C [a, b), G (s) >0, s e [a, b), 0 < a<b < , (5)

moreover

ib G (s)

H= 2 —-tds< + to . (6)

* [email protected] © Siberian Federal University. All rights reserved

We assume that there exists a number a>0, such that

A8 (x,u) = au-Xo (x,u) > 0, (x,u) G R+ x R+. (7)

Problem (1)-(2) has direct application in econometrics, namely, in the theory of income distribution in one product economics (see. [1-4]). Unknown function f (x) plays a role of distribution density, i.e. f (x) dx is a number of economic agents which have incomes in the interval (x, x+dx). Function A0 characterizes the growth of capital and savings, bankruptcy, disappearance of economic enterprises, taxes and etc. Function Ai (x, u) describes nonlinear dependence of distribution function. Kernel K (x) is the redistribution function. It is caused by various economic factors: capital transfer, the emergence of new enterprises, association of

several companies, the disappearance of old enterprises, property transfer to other economic

/+tt

K (x) dx and a are

-tt

free parameters. They play essential role in our further consideration. The class of nonlinear equations considered in the paper is the nonlinear analogue of the class of linear equations investigated by J.D.Sargan (see [1]). For the first time above mentioned class of nonlinear equations was studied by A. Kh. Khachatryan and Kh. A. Khachatryan (see [2]). The equation in linear approximation was obtained with Ao(x,u) = cou, Ai(x,u) = ciu, co,ci = const and linear approximation is not real [1]. The peculiarity of corresponding nonlinear integro-differential equations and complexity of their study are the following:

1. Operators which generate corresponding equations are nonlinear.

2. Corresponding nonlinear operators are noncompact operators. Moreover, the linear minorant (or majorant) for these operators are the Wiener-Hopf type operators. It is well known that Wiener-Hopf type operators are also noncompact operators.

3. Another important peculiarity of these equations is that they admit zero solution (trivial solution). Then, it is necessary to construct a nonlinear positive solution, i.e. to clarify whether or not corresponding nonlinear operators have criticality property.

Due to these facts previously known fixed points principles (Shauder, Krasnoselskii, Brow-der, Brouwer's theorems) for solvability of corresponding nonlinear integral equations are not applicable.

Equation (1) was studied [5] in the case when

A8 (x, u) = 0, Ai (x, u) = Go (u).

Here 0< Go (u) < u, u G [0, n], Go G C [0, n], Go (u) t by u on [0, n] for some n>0, and f (0) =yo, 0 <yo < n. This equation (1) was also studied [6] in the case when

/• tt

A8 (x,u) > 0, A8 (x,n) < W K (u) du, 0 < Ai (x,u) < /3Gi (u) G (0,1),

J x

where 0 < Gi (u) t by u on [0, n], Gi (n) = n (n is the first positive root of equation Gi (u) = u), Gi (0) = 0 and Gi satisfies Lipschitz condition on interval [0, n], f (0) =yo, 0 <yo < n. It should be noted that equation (1) was studied in [5] and [6] when

a ^ /j,. (8)

In linear approximation (Ao(x,u) = 0, Ai(x,u) = u) this corresponds to dissipative and conservative cases. Obviously, when a < / we have conservative and supercritical cases, respectively.

Present paper is devoted to study and solution of problem (1)-(2) under very different assumptions regarding functions {Aj (x,u)}j=o i when

/ ^ a. (9)

Solvability of problem (1)-(2) in special weighted Sobolev space is proved. The examples of functions {Aj (x,u)}j=0 1 are given. Specific example of the equation is considered. Algorithm of numerical solution of this equation is described and some results of numerical calculations are given.

1. Notations, auxiliary facts and formulation of basic result

In accordance with (6) condition (9) can be written as

u 2 œ = — = —

a a

G (s)

ds > 1.

For arbitrary number e £ (0, min (a, a)) we consider the function

Te (x)=eEX K (x-z) e-azdz,x £ R.

J 0

From representation (4) for kernel K it follows that at e £ (0, min (a, a))

0 < T (■) £ Li (-&>, . On interval I = (0, min (a, a)) we introduce the function

(10)

(11)

(12)

/U p^O pU p^O p — z

Te (x) dx= e—az eEXK (x-z) dxdz= e—az K (t) ee(z+T)drdz=

-^o JU J — o J U J — o

p oo p oo p b p oo

K (n)e—eududz= e—(a—e)z / e—(s+e)uduG (s) dsdz=

J z J U J a J z

—o

foo

G (s)

(s+e) (s+a)

ds.

We note that

I) X (e) I by e on I, II) X £ C (I),

III) X (+0) = lim X (e) = f G (s\ ds = y.

J a s (s+a)

s (s+a)

Therefore, by Cauchy theorem there exists number e0 £ I such that

* (eo) >2.

(13)

(14)

(15)

(16)

It is obvious that e0 is determined nonuniquely, i.e., if for some e0 inequality (16) is fulfilled, then for ye £ (0, e0)

Y (17)

X (e) >2.

Let us consider the set:

Q={e £I: X (e) >|} d.

(18)

It is obvious that Q is the bounded set and hence there exists e = sup Q< + œ. It follows from the structure of the set Q that

X (e) > 2, e £I.

(19)

b

s

b

Number e will plays an important role in our future considerations. We assume that functions {Aj (x,u)}j=0 1 satisfy the following conditions:

a) A8 (x, u) f by u on p (x), +œ) for each fixed x G R+, where

-ex ~-ax

e ^ —e

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

ps (x) =-—Z—, x G R+; (20)

/• ж

b) l = essupX^ (x,u) dx < + ж; (21)

J0 u>0

c) Xj G Caratu (R+ x R+), i. е., functions {Xj (x, u)}j=0 1 satisfy Caratheodory condition by second argument (for each fixed u G R+ functions {Xj (x,u)}j=0 1 are measurable with respect to x on set R+ and they are continuous with respect to u on R+ for almost all x G R+);

d ) there exist integrable on R+ functions Дг (x) such that

2

fe (x) Ps (x) ,x G R+, (22)

7

2 u

Ai (x, ps (x)) ps (x), Ai (x,u) <—VPs (x), u > ps (x), x G R+; (23)

7 ж

e) for each fixed x G R+ function X1 (x,u) f by u on [ps (x), +ж).

The basic result of the paper is the following:

Теорема 1. Let us assume that kernel K (x) permits representation (4). Let Z = sup Q, where set Q is defined by formula (18), and functions {Xj (x,u)}j=0 1satisfy conditions (7), (20)-(23). Then problem (1)-(2), apart from trivial solution, has also identically nonzero nonnegative solution in the following weighted Sobolev space:

f G Wi1 h (R+) = j ф (x) : (x) ■ h (x) G Li (R+), j = 0,1; h (x) = j\-xs ^G+oj d^ '

where (x)is the j-th derivative of function ф (x).

2. Proof

We denote

ф (x) = df + af (x), x G R+. (24)

dx

Then taking into account condition (2), from (1) we obtain the following nonlinear integral equation:

ф (x)=X^x, j0 e-a(x-tф (t) dt^j + j0 K (x-t) X1 (t, j0 e-a(t-u)ф (u) du^j dt, x > 0. (25)

With respect to function ф (x).

We consider the following successive approximations:

фп+1 (x) =X^x, ^ е-а(х—)фп (t) dt^ + ^ K (x-t) X1 (t, ^ e-a(t-u) фп (u) d^j dt, ф0 (x)=e-sx, x G R+, n = 0,1, 2,....

It is easy to check by induction with respect to n that

0n (x) t by n, x £ R+. (27)

First we proof that

01 (x) > 00 (x), x £ R+. (28)

Taking into consideration (23), from (26) we have

/w / ft \ ptt

K (x-t) A1 \ t, J e-a(t-u)e-?udu) dt= J K (x-t) A1 (t, p? (t)) dt >

r\ ptt r\ ptt ft

> -/ K (x-t) p? (t) dt=- K (x-t) e-a(t-u)e-udndt =

Y J 0 Y J 0 J0

r\ ptt fW r\ ptt /»TO

= -/ e-?u K (x-t) e-a(t-u)dtdn=- e-?u K (x-u-z) e-azdzdu=

Y J 0 Ju Y J 0 J0

r\ /»TO r\ f-x r\ p0

= -/ e-?uT? (x-u) e-?(x-u)dn=-e-?x T? (r) dr > -e-?x T? (r) dr=

Y J0 Y J-oo Y J-oo

2

= -e—£XX (e) > e—ex=00 (x), Y

Y

because X (e) > — (see formula (19)).

Let 0n (x) ^ 0n—1 (x), x £ R+ for any n £ N. Then due to monotony of functions A' (x, u) and A1 (x,u) by u on p (x), +œ) (see conditions a) and e)), from (26) we obtain

0n+i (x) > A^x, £e—a(x—t)0n—i (t) d?j +

+ ^ K (x-t) A1 ^t, ^ e—a(t—u)0n—1 (u) du^ dt = 0n (x) .

It is also easy to verify that

0n £ L1 (R+) , n = 0,1, 2, 3,.... (29)

Taking into account conditions (21), (23), (27), (29), a), e) and Fubini's theorem (see [7]), from (21) we have

/'O /'O /'O /ft \

/ 0n+1 (x) dx < /+ / / K (x-t) AA t, e—a(t—u)0n+1 (u) du) dtdx < Ju Ju Ju v Ju )

< /+œ jU jU K (x-t) ( J e—a(t—u)0n+1 (u) du+œ • fe (t^j dtdx < (30)

pO 1 pO pO pt

< /+œa / fe (t) dt+— K (x-t) e—a(t—u)0n+1 (u) dudtdx = I,

ju œ ju ju ju

as

/'O /'O f + O /'O f + O

œa I fë (t) dt= fe (t) K (u) dudt > / fë (t) K (u) dudt=

JU JU J—O JU J—t

K (x-t) fë (t) dtdx.

C oo /*oo

IU JU

where

We note that

' u J 0 Ju Ja J0

= / e-us G ds=h (u) .

s (s+a)

Thus, taking into account (36) and (35), we arrive to the following inequalities:

Changing integration order in the last integral in (30), we obtain

l>tt i />tt />tt

I = l + ea /e(t) dt +----(u) T (x-u) dxdu, (31)

Jo e Jo Jo

ftt

T (t) = K (t-z) e—azdz, t G R. (32)

o

/tt

T (t) dT=e. (33)

tt

Therefore, from (33) and (31) we have

/tt 1 ftt / f-u \

(t) dt+— J ^n+i (u) he-J T (t ) dTjdu. (34)

Chain of inequalities (30) and equality (34) result in the following inequalities:

tt -u tt

/ ^n+i (u) T (t) dTdu < le+e2a (t) dt. (35)

o -tt o

Now we verify that

/—u

T (t) dT, u > 0. (36)

tt

Indeed, taking into consideration (4) and (32), we obtain

/ — u p—u ftt ftt ftt

T (t) dT = / K (t-z) e—azdzdT = / K (-y-z) e—azdzdy=

tt —tt o u o

ftt ftt ftt fb ftt = / K (y+z) e—azdzdy= / e—s(y+z)e—azdz ■ G (s) dsdy=

Ju Jo Ju Ja Jo

ftt ftt

/ Фп+i (u) h (u) du ^ lœ+œ2a ßg (t) dt. (37)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

00

] oo

As pn (u) f by n, h (u) > 0, then from (37) we conclude that sequence of functions {pn (u)}n=0 has pointwise limit as n ^

lim pn (u) = p (u).

n^tt

Moreover, due to Carathedory condition (see condition c)) and B.Levi's theorem the limit function p satisfies equation (25). It also follows from (37) and (27) that

2

p (u) K (u-t) pz (t) dt, u > 0, (38)

Y J 0

/ p (u) h (u) du ^ lœ+œ2 al ¡3z (t) dt. (39)

00

Upon solving simple Cauchy problem (24) and (2), we obtain

ex

f (x) = в-а(х-)ф (t) dt. 0

(40)

To complete the proof one needs to verify that f G WI h (R+). First we prove that f ■ h G Li (R+). Because h (u) I by u on R+ and, taking into account inequality (39), for arbitrary 5 > 0 from (40) we get

f'O f'O i'X f'O f'O

/ f (x) h (x) dx = h (x) е-а(х-и)ф (u) dudx = ф (u) eau e-axh (x) dxdu <

Jo Jo Jo Jo Ju

1 is 1 is 1

< -/ ф (u) eauh (u) (e-au - e-aS) du < -/ ф (u) h (u) du < -/ ф (u) h (u) du < a J o a J o a J o

< — +œ2[ ßg (t) dt. ao

Therefore, as S ^ we obtain

Because

f (x) h (x) dx <--+œ2 ßg (t) dt.

Jo a Jo

f ' (x) =ф (x) -af (x),

then due to (39) and (41) we have f ' ■ h G L1 Thus f G W 1 h (R+). Theorem is proved.

(41)

3. Example of functions X0(x,u) and X\(x,u)

Now we present examples of functions {Aj (x, u)}^=0 1 for which all conditions of the formulated theorem are fulfilled.

For a function A1 (x, u) we consider the following example:

2

Xi (x,u) = upg (x).

(42)

œ

If we take 3z (x) =—2e ex, then all conditions will be implemented for A1 (x,u). Firstly, we

note that

Xi (x, 0) = 0, Vx G R, IX1 =Vp(x) > 0-

du yx/u

Therefore X1 (x, u) t by u. Secondly, function

Ai (x, pz (x)) = pz (x) Y

is continuous on R+ x R+ with respect to all arguments, and hence satisfies Caratheodory condition on R+ x R+ with respect to second argument. We verify that the following inequality holds:

— /-/—T u , ,

-л/upg (x) < —+ßg (x) Y œ

where ¡?(x) > mp?(x) and ¡3? £ L1 (R+). Because u, p?, ¡3? > 0 then the last inequality is

Y 2

equivalent to

4 -4p? (x)) u+3? (x) > 0. (44)

m2 \ m Y2 J

It is obvious that inequality (44) is true if

œY

or

(x) > - 2

( (x) 4 . , V 4fi~ (x)

P~(xH < 0

(x) > p~ (x). (45)

Y

m -

Thus one needs to verify inequality ¡?(x)=—2p?(x) > — p?(x). This inequality is true

Y2 Y

because

- ib G (s) , fb -G (s) ,

m=— / ds ^ . w, ds= -y.

aJa s Ja s (s+a)

Now we consider the example of function A0 (x, u):

A0 (x,u)=au-A» (x,u), (46)

where

A» (x, u) = u (e-mx-e-qx) , q>m>0, (x,u) £ R+ x R+. (47)

Vu2x2+u+1

We have

,» / dA» (x, u) u+1

A» (x, u) > 0, -= , +->0, (48)

du v u2x2+u+1 ■ (u2x2+u+1)

hence A» (x, u) t by u. Since A» (x, u) is continuous on R+ x R+ with respect to all arguments then A0 £ Caratu (R+ x R+). We also note that

r° e—mx-e — qx q

supessA' (x, u) dx ^ -dx=ln — < + œ,

IU JU

q

x m

O

and hence / = essup A' (x, u) dx ^ ln — < + œ.

JU u>U m

4. Algorithm of numerical solution and results of numerical calculations

A brief description of algorithm of numerical calculations are given in this section. For kernal K (x) we choose integral-power function

O

K (x) =E1 (x)=- / e—lxls — , G (s) = —, a= 1, b=œ, (49)

2 1 s 2s

which arises in the case of generalized Paretto law (see [2-4]).

Note that in this case u= -. In this example functions A1 and A0 are

A1 (x, u) = — \/up (x), Y

where

Aq (x, u) =au-

P (x)=~

\/u2x2+u+1

(e-mx-e-qx) , q>m>0,

1

ds

-, x G .

1

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Y=

2 J1 s2 (s+a) 2a Algorithm of solution First Step. From inequality 1

a < p = 1,

1+—ln (1+a)

a

2 (as)

^ln(1+e) --^ln (1+a)

£ a

> 2 the number £ G (0, a)

is determined.

Second Step. We consider the following successive approximations:

0n+1 (x) --

fQX e-a(x-t)0n (t) dt ■ (e-mx-e-qx)

JQX e-a(x-t)0n (t) dtf+ JQX e-a(x-t)0n (t) dt+1 + J^ E1 (\x-t\)^J- ^ e-a(t-u)0n (u) du^ pe (t) dt, n = 0,1, 2,....

2

7 V Jo

The initial approximation is (x) =e-£x.

Third Step . The density of distribution function f (x) is determined from formula (40). Fourth Step. "Mean income" is determined from the following relation:

,R

M = / xf (x) dx, Jo

where R is the maximum value of income.

The values of M at various a , are presented in the table for the case p= 1.

Numerical calculations show (see Tab.) that the bigger is the degree of supercriticality (the ratio p/a), the bigger is the income.

Table 1. "Mean income" for £= 0, 9

a 0,2 0,4 0,6 0,8 1

M 517,978 160,175 58,825 25,461 12,81

Numerical calculations are performed with the use of MathCAD.

u

References

[1] I.D.Sargan, The distribution of wealth, Econometrics, 25(1957), no. 4, 568-590.

[2] A.Kh.Khachatryan, Kh.A.Khachatryan, On the solvability of a nonlinear integro-differential equation arising in the income distribution problem, Computational Mathematics and Mathematical Physics, 50(2010), no. 10, 1702-1711.

[3] B.Mandelbrot, The Pareto-Levy law and distribution of income, International Econ. Rev., 1(1960), no. 2, 79-106.

[4] V.M.Kakhktsyan, A.Kh.Khachatryan, Analytical-numerical solution of a nonlinear integrod-ifferential equation in econometrics, Computational Mathematics and Mathematical Physics, 53(2013), no. 7, 933-936.

[5] A.Khachatryan, Kh.Khachatryan, On solvability of a nonlinear problem in theory of income distribution, Eurasian Mathematical Journal, 2(2011), no. 2, 75-88.

[6] Kh.A.Khachatryan, On the solvability of an initial-boundary value problem for a nonlinear integro-differential equation with a noncompact operator of Hammerstein type, Trudy Inst. Mat. i Mekh. UrO RAN, 19(2013), no. 3, 308-315 (in Russian).

[7] A.N.Kolmogorov, S.V.Fomin, Elements of the Theory of Functions and Functional Analysis, Paperback, 1999.

О разрешимости одного класса нелинейных интегро дифференциальных уравнений с некомпактным оператором Гаммерштейна, возникающим в теории распределения доходов

Агавард Х. Хачатрян Хачатур А. Хачатрян Тигран Г. Сардарян

В статье мы исследуем класс нелинейных интегро дифференциальных уравнений с некомпактным оператором Гаммерштейна, который имеет прямое применение в теории распределения доходов. Мы доказываем 'разрешимость класса уравнений в специальном весовом пространстве Соболева. Представлены также результаты численных вычислений.

Ключевые слова: оператор Гаммерштейна, весовое пространство Соболева, монотонность, итерации, условие Каратеодори.

i Надоели баннеры? Вы всегда можете отключить рекламу.