Научная статья на тему 'To the qualitative properties of solution of system equations not in divergence form of polytrophic filtration in variable density'

To the qualitative properties of solution of system equations not in divergence form of polytrophic filtration in variable density Текст научной статьи по специальности «Математика»

CC BY
162
30
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
NONLINEAR SYSTEM OF EQUATIONS / NOT IN DIVERGENCE FORM / GLOBAL SOLUTIONS / SELF-SIMILAR SOLUTIONS / ASYMPTOTIC REPRESENTATION OF SOLUTION

Аннотация научной статьи по математике, автор научной работы — Aripov M., Matyakubov A.S.

In this paper, the properties of solutions for the nonlinear system equations not in divergence form: http://nanojournal.ifmo.ru/en/wp-content/uploads/2017/07/Aripov_Matyakubov_formulas.jpg are studied. In this work, we used method of nonlinear splitting, known previously for nonlinear parabolic equations, and systems of equations in divergence form, asymptotic theory and asymptotic methods based on different transformations. Asymptotic representation of self-similar solutions for the nonlinear parabolic system of equations not in divergence form is constructed. The property of finite speed propagation of distributions (FSPD) and the asymptotic behavior of the weak solutions were studied for the slow diffusive case.

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

Текст научной работы на тему «To the qualitative properties of solution of system equations not in divergence form of polytrophic filtration in variable density»

To the qualitative properties of solution of system equations not in divergence form of polytrophic filtration in variable density

M. Aripov, A. S. Matyakubov

National University of Uzbekistan, Applied Mathematics and Computer Analysis, Universitet, 4,

Tashkent, 100174, Uzbekistan

mirsaidaripov@mail.ru, almasa@list.ru

PACS 02.30.Jr, 02.30.Mv, 11.10.Jj, 11.10.Lm

DOI 10.17586/2220-8054-2017-8-3-317-322

In this paper, the properties of solutions for the nonlinear system equations not in divergence form:

|x|n — = uY1 V (|V«|p-2V«) + |x|nuqivq2 , |x|n |t = vY2 V (|Vv|p-2Vv) + |x|nvq4ufl3 ,

are studied. In this work, we used method of nonlinear splitting, known previously for nonlinear parabolic equations, and systems of equations in divergence form, asymptotic theory and asymptotic methods based on different transformations. Asymptotic representation of self-similar solutions for the nonlinear parabolic system of equations not in divergence form is constructed. The property of finite speed propagation of distributions (FSPD) and the asymptotic behavior of the weak solutions were studied for the slow diffusive case.

Keywords: nonlinear system of equations, not in divergence form, global solutions, self-similar solutions, asymptotic representation of solution.

Received: 20 February 2017 Revised: 22 March 2017

1. Introduction

Consider in Q = {(t, x) : t > 0, x e RN} parabolic system of nonlinear equations not in divergence form:

where n, p, Yi (i = 1, 2), qi (i = 1,2,3,4) the numerical parameters, V (•) = gradx (•), t and x e RN -respectively, the temporal and spatial coordinates, u = u (t, x) > 0, v = v (t, x) > 0 are the solutions.

Such systems arise in various applications, such as the spatial segregation of interacting species [1], chemotactic cell migration in tissues [2], and ion transport through biological and synthetic channels (nanopores) [3].

In [4], the Cauchy problem (1)-(2) was studied for p = 2, n = 0 and the absence of absorption, proved the existence of a single viscous solutions, and in [5] investigated the existence and uniqueness of a classical solution of the Cauchy problem for p = 2, n = 0.

In previous research [6], a degenerate nonlinear parabolic system with localized source was considered ut = ua (Au + up (x, t) vq (x0, t)), vt = v^ (Av + vm (x, t) un (x0, t)). In that work [6], the authors investigated blowup properties for a degenerate parabolic system with nonlinear localized sources subject to homogeneous Dirichlet boundary conditions. The main aim of [6] was to study the blow-up rate estimate and the uniform blow-up profile for the blow-up solution. At the end, the blow-up set and blow up rate with respect to the radial variable was considered when the domain Q is a ball.

In [7], the nonlinear degenerate parabolic system ut = vYl (uxx + au), vt = u72 (vxx + bv) with Dirichlet boundary conditions was studied. The regularization method and upper-lower solutions technique were employed to show the local existence of a solution for the nonlinear degenerate parabolic system. The global existence of a solution was discussed. The finite time blow-up results, together with an estimate of the blow-up time, were found. The blow-up set with positive measure was analyzed in some detail.

In [8] Chunhua and Jingxue were concerned with the self-similar solutions of the form:

(1)

u|i=o = mq (x) > 0, v|i=o = vo (x) > 0, Vx G M"

N

(2)

u (t,x) = (t + 1)-af ((t + 1/|x|2) ,

for the following degenerate and singular parabolic equation in non-divergence form:

= um div (jVw|p-2Vw) , m > 1, p > 1.

dt

They first established the existence and uniqueness of solutions f with compact supports, which implies that the self-similar solution shrinks. On that basis, the convergent rates of these solutions on the boundary of the supports were also established. Conversely, the convergent speeds of solutions were also considered and compared with the Dirac function as t tends to infinity.

In [9], Raimbekov studied some properties of solutions for the Cauchy problem for nonlinear parabolic equations in non-divergence form with variable density |x|n ^U = um div ^|Vw|p-2Vwj, p > 1, 0 < m < (p — 2) (N + n) + p + n

-—- where they obtained a self-similar solution of the Barenblatt-Zeldovich-Kompaneets

p - N

type and compared solution methods that proved the asymptotic behavior of solutions in the fast and slow diffusion cases. In this article, some comparative numerical results were also given for the case m = 0, m =1 and m = 1.5. Using this result, the author discussed the properties for the finite speed of heating propagation for divergent equations and localization for non-divergent case.

In [10] and [11], the authors studied the asymptotic behavior of self-similar solutions of a parabolic system:

|x|n^ = vai V (|x|fcumi-1V«) +

|x|n= u"2V (Mfcvmi-1Vv) + .

The Zeldovich-Barenblatt type solution of the Cauchy problem was obtained for a cross-diffusion parabolic system not in divergence form with a source and a variable density. Based on the comparison method, the properties of finite speed perturbation of distribution is considered.

This paper is devoted to constructing a Zeldovich-Barenblatt type solution for the system equation (1). Based on comparing solution methods the properties of FSPD of the Cauchy problem for a parabolic system not in divergence form is established. The asymptotic behavior of a self-similar solution for a nonlinear parabolic system of equations in non-divergence form for slow diffusion case (depending on value of the numerical parameters) is discussed.

2. The self-similar system of equations

Below, a method of nonlinear splitting [13] is provided to construct a self-similar system of equations. For construction of the self-similar solutions of the system (1) in the form:

u (x,t) = (t + T)-ai f (0 , v (x,t) = (t + T)-a2v (0 ,

e = (t + t )-y |x|,

(3)

1 + q2 - q4

1 + q3 - qi

where a __^ i y2 y4 ^ _

(1 - qi)(1 - q4) - 9293' (1 - qi)(1 - q4) - q2q3

a1 (p + Y1 - 2) = a2 (p + y2 - 2), it can be a self-similar system of equations:

Y =

1 - ai(p + Yi - 2) p + n

T > 0,

fYi ei-Nd I eN-i

f e de ve

ei-N de (eN-i

df de

P-2

+ aienf + Yen+i df + en fqi vq2 = 0,

de

de

de

P-2

+ a2en^+Yen+i $ + enfq3 = 0.

de

de

(4)

In [12], the qualitative properties of solutions for system (4) in divergence form were studied based on the self-similar and approximately self-similar approaches.

3. Slow diffusion (case p + ji — 2 > 0, i = 1, 2). A global solvability of solutions

The properties of a global solvability for weak solutions of the system (1) were proved using a comparison principle [14]. For this goal, a new system of equations was constructed using the standard equation method as in [13]:

1 + q2 - q4

u+ (t,x) = (t + T)-ai f (0:

v+ (t,x) = (t + t )-a2 p (e): 1 + q3 - qi

«2 = -"

where « (i - qi)(i - q4) - q2q3' ~"2 (1 - qi)(1 - q4) - q2q3'

e = (t+t )-y |x|.

In case, ai (p + 71 - 2) = «2 (p + 72 - 2),

f(e) = Ai(a-e^)+^, p(e) = A2(a-e&)+^,

1 - ai(p + Yi - 2) p + n

(5)

T > 0,

(6)

where a > 0, a,

Y(P + Yi - 2) ^ p+Yi—21 p + n

,(1 - Yi) (p + n) J 'p + Yi - 2 The following notations can be introduced:

(p - 1) q2i-i . (p - 1) q2i ki — -;--h

p - 1

p + Yi - 2 p + Y2 - 2 p + Yi - 2

hi

2-p

| p+Yi—2, (i = 1, 2), b+ = max (0, b). n(p - 1) + N(p + Yi - 2) 1

(n + p)(Yi - 1)

n+p

i = 1, 2,

mi = Af-iA®, m2 = A?3 Af-i. Theorem 1. (A global solvability). Let the conditions of p + y, - 2 > 0, ki > 0,

N + n .

(n + p) (1 - Yi)

- hiai + miaki < 0, i = 1, 2,

u+ (0, x) > uo (x), v+ (0, x) > vo (x), x G mn. Then, for sufficiently small u0 (x), v0 (x), the followings holds:

u (t, x) < u+ (t, x), v (t, x) < v+ (t, x) in Q,

(7)

where the functions u+ (t, x), v+ (t, x) defined as above.

Proof. Theorem 1 is proved by the comparing solution method [14]. Hence, comparing solution methods it is taken the functions u+ (t, x), v+ (t,x). Substituting (5) in (1) the following inequality can be obtained:

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

T ei-N de ^e

p'2 ei-N de (eN-i

d

N-1

df p- 2 df

de de

dp p- 2 dp

de de

en+i df

e de +

en+i dp

de

(8)

If the specific form (6) is given for the functions f (£), p (e), inequality (8) can be rewritten as follows:

N + n

(n + p) (1 - Yi)

N + n (n + p) (1 - Y2)

p n \ ki

- hi«i + mW a - e p-M < 0,

- h-2«2 + m^ a - e p-M < 0.

( y + n\ h1 hi \ k2 ,

It is easy to check that mW a — eP-1 I < miah1, m2( a — eP-1 I < m2ah2.

Then, according to the hypotheses of Theorem 1 and comparison principle, it will be: u (t, x) < u+ (t, x),

v (t, x) < v+ (t, x) in Q, if u+ (0, x) > u0 (x), v+ (0, x) > v0 (x), x e RN. The proof of the theorem is completed.

n

n

n—

k

4. Asymptotic of the self-similar solutions

Next, the asymptotic behavior of the self-similar solutions of the system (4) is studied. Self-similar solution of system equations (4) will be searched for in the form:

f(e) = f(e)y(n), w(e) = w(e)z(n), n = -in (a - e^), (9)

. . p—1 - p—1 where f (e) = (a - eP+Y1—2, W (e) = (a - eP+Y2—2, a > 0.

Then, substituting (9) into (4) for the function y (n) > 0, z (n) > 0, the following system of nonlinear equations is obtained:

yYl -T (Liy) + aii (n) yYl (Liy) + ai2 (n) ( dy + aio (n) y ) + ai3 (n) yqizq2 + ai4 (n) y = 0 ,

d /dZ \ (10)

zY2 — (L2z) + a2i (n) zY2 (L2z) + a22 (n) ( ^ + a20 (n) z ) + a23 (n) yq3zq4 + a24 (n) z = 0.

dn dn

p - 1 , x (N + n)(p - 1) e-n (p - 1)(1 - Yi) / p - 1 xP-i

Here, aio(n) =--+-2, Mn) = -1-- - (p +) ( 2Yi), a«(n) = Y{

p + Yi - 2 p + — a - e n p + Yi - 2

p - 1AP , s Ap - 1AP e-sin (p - 1) q2i-i (p - 1) q2i p - 1

I) = ai i „ „ _ - _

dy

Liy

dy

"T + aio (n) y

dn

dn + aio (n) y ), L2z

+ a20 (n) z ).

p + Yi - 2 p + — a - e n p + Yi - 2 yp + —,

ai4(n) = ai( iL—1 ) , ai3(n) = ( ^ ) —-—, si = 1 + + ^ ^--f-^ (i = 1, 2),

\p + —J \p + — / a - e n p + yi - 2 p + Y2 - 2 p + Yi - 2

dz p / dz

-T- + a20 (n) z

dn

p—i

There, it is assumed that e € [e0, ei), 0 < e0 < ei, ei = ap+n.

Therefore, the function n(e) has the properties: n'(e) > 0 at e € [e0,ei), n0 = n(e0) > 0, lim n(e) =

Ço^Çi

Further, the self-similar system of equations (10) is investigated in the following limitations: lim a. (n) = a00..-,

0 < Kl < (i = 1, 2; j = 0,1, 2, 3, 4).

Through the introduction of transformations (3), (9) and properties n ^ +œ, study of the solutions of (1) is reduced to the study of the solutions of (10), each of which is in the vicinity and satisfies the inequalities:

y(n) > 0, y' + ai0(n)y = 0, z(n) > 0, z' + a20(n)z = 0. Now, the asymptotic behavior of the positive solutions of (10), having a nonzero a finite limit as n ^ is studied.

5. The main results

Here, we introduce the notations:

1 - Yi 1 f ai Y A 1 r ,0>

cii = 7—,-^p, ci2 = 7-TP^T _i---,-ô , ci3 = 7—i—(i = 1,2).

(p + Yi - 2) (p + —)p t Vp + — p + Yi - 2 J (p + —f a

Let y(n) = y0+o (1), z(n) = z0+o (1) at n ^ and the equality (1 + qi) (yt + p - 2) = (1 + q2) (y2 + p - 2) is performed.

Then, this is validated by the following theorems: Theorem 2. Let sT = 0, s2 = 0. Then, the self-similar solution of system (1) has the asymptotic at |x| ^

aP+n (t + T)Y

ua (t, x) = (T + t)-ai a - (y° + o (1)) ,

P + n N P—i

P —i P+Yi—2

(t + T) , 7 +

p—i (11)

P+Y2—2

|x| \ p—M / 0

va (t, x) = (T + t)-a^a - j (z0 + o (1)) ,

where 0 < y0 < 0 < z0 < and y0, z0 are the solutions wT, w2 for the system of nonlinear algebraic equations:

CiiwP+Yi-1 + Ci2Wi + Ci3wq2i—i w|2i =0 (i = 1, 2). (12)

Theorem 3. Let si =0, s2 > 0. Then, the self-similar solution of system (1) has the asymptotic at |x| ^ aP+" (t + T)Y form (11), where 0 < y0 < 0 < z0 < and y0, z0 are the solutions wi, w2 for the system of nonlinear algebraic equations:

ciiwp+7l-i + ci2Wi + Ci3Wqi wq2 = 0, C2iwp+72-i + C22W2 = 0.

Theorem 4. Let si > 0, s2 =0. Then, the self-similar solution of equation (1) has an asymptotic at |x| ^ aP+" (t + T)Y form (11), where 0 < y0 < 0 < z0 < and y0, z0 are the solutions wi, w2 the system of nonlinear algebraic equations

p+Y1 — 2 . n p+Y2 — 2 . . q3 q4 n

Ciiwi + Ci2Wi = 0, C2iw2 + C22W2 + C23WJ w2 = 0.

Theorem 5. Let si > 0, s2 > 0. Then, the self-similar solution of equation (1) has the asymptotic at |x| ^ aP+s (t + T)Y form (11), where 0 < y0 < 0 < z0 < and y0, z0 are the solutions wi, w2 for the system of nonlinear algebraic equations:

p+Y1 — 2 . n P+Y2— 2 , n

Ciiwi + Ci2wi = 0, C2i w2 + C22 w2 = 0.

The proof. Assuming that the system (10) as:

0i(n) = Liy, ^(n) = L z, (13)

the following identity is obtained:

t i ^i(n) = -aii(n)^i(n) - ai2(n)y-71 ^ (n) - ai3(n)y91-71 zq2 - ai4(n)yi-71,

i

}p—

^2(n) = -a2i(n)^2(n) - a22(n)z-Y21 (n) - a23(n)zq4-72yq3 - a24(n)zi-72.

Now, we consider the function as:

gi(Ai,n) = -aii(n)Ai - ai2(n)y-Y1 Ai1 - ai3(n)yq1-71 zq2 - ai4(n)yi-71,

g2(A2, n) = -a2i(n)A2 - a22(n)z-72 A2p—1 - a23(n)zq4-72yq3 - a24(n)zi-72,

(14)

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

(15)

where A, g m (i = 1, 2).

Suppose first that s, = 0 (i = 1,2). Then, the functions gi(Ai,n) (i = 1,2) preserves sign on some interval [ni, +œ) c [n0, +œ) for every fixed value A, (i = 1,2), different from the values satisfying system:

0 \ 0 ( 0J—Y1 A 0 ( 0\91—Y1 ( 0\92 0 / 0J i—Y1 n

-anAi - ai2 (y ) Aip—1 - a^(y ) (z J - aM(y ) = 0,

0 \ 0 ( 0J—Y2 , 0 ( 0\94—Y2 ( 0\® 0 ( ox1—Y2 „

-aQ i A2 - a°2(z ) A2 p—1 - a2^z ) (y ) - aQ4(z ) = 0.

X22Vz ^ A2" — a23lz j v^ — a24 \

Now, we let si > 0 (i = 1,2). It is easy to see that the functions gi(Ai, n) (i = 1, 2), for every fixed value Ai (i = 1, 2) , are different from the values satisfying the system:

—aiiAi — a?2(y0)-71 Ai — a^y0)^71 =0, —a°iA2 — a°2(z0)-72 A2 — a°4(z0)i—72 =0,

which preserves the sign on some interval [n2, c [no,

And in the case si < 0 (i = 1, 2), the functions gi(Ai, n) (i = 1,2) can be rewritten in the following form:

gi(Ai,n) = —an(n)Ai — ai2(n)y—71 Ai— ais(n)yi—71 (yq1 —izq2 — a^nK^n)) , g2(A2, n) = —a2i(n)A2 — a22(n)z—72 A2— a23(n)zi—72 (yq3zq4 —i — a24(n)a—^(n)) .

From here:

(p — 1)(1 — Yi) r (p — O p—i

lim aii(n) =-----—, lim ai2(n) = Y

n^+TO p + Yi — 2 \p + n

p — 1 p

lim ai3(n) = to, lim ai4(n) = ai —■— (i = 1, 2)

n^+TO n^+TO yp + n J

implies that the functions gi(Ai,n) (i = 1,2) preserve sign on the interval [n2, c [n0, where

Ai = 0 (i = 1,2). Thus, the functions gi(Ai,n) (i = 1,2) for all n e [ni, (i = 1,2) satisfy one of the

inequalities:

gi(Ai,n) > 0 or gi(Ai,n) < 0 (i = 1,2). (16)

Suppose now that for the functions ^i(n) (i = 1,2) limit as n ^ does not exist. Consider that case when one of the inequalities (16) is satisfied. As ^i(n) (i = 1, 2) are oscillating functions around straight line

= Aj (i = 1, 2) its graph intersects this straight line infinitely many times in [n®, (i = 1, 2). However,

this is impossible, since on the interval [n®, (i = 1,2) just one of the inequalities (16) is valid, and therefore, from (15), it follows that the graph of the functions $j(n) (i = 1, 2) intersects the straight lines = Aj (i = 1, 2) only once in the interval [n®, (i = 1,2). Accordingly, the functions ^(n) (i = 1, 2) has a limit at n ^

By assumption, y(n) = y0 + o (1), z(n) = z0 + o (1) at n ^ and the functions $®(n) (i = 1, 2) defined in (13), has a limit at n ^ Then y'(n) and z'(n) have a limit at n ^ and this limit is zero. Then,

p —2

0i (n) =.....

dn +010 (n) y

dy + aio (n) y) = |a0oy0|P-2aioy0 + o (1),

02 (n)

dz

— + 020 (n) z

dn

P-2

dz

— + 020 (n) z dn

0 ~0|P-2a00z° + o (1)

20

at n ^ and by (14), the derivative of functions 0®(n) (i = 1, 2) has a limit at n ^ which are obviously equal to zero.

Consequently, the following is necessary:

lim au(n)0i(n) + ai2(n)y-71(n) + ai3(n)y91-71 zq2 + aw(n)y

i—Y1

0,

lim O2i(n)02(n) + 022(n)z—72 02p-1 (n) + a23(n)z94-72 yq3 + 024(n)zi—7M = 0.

n^+TO y J

From this expression, it is easy to see that the system (13) has a solution (y(n), z(n)) with a finite non-zero limit, at n ^ necessary, for compliance with one of the conditions of Theorems 2, 3, 4, 5.

Consequently, by the transformations introduced by (3) and (9), self-similar solution of the system equation (1) has an asymptotic at |x| ^ aP-1n (t + T)Y of the following form:

UA (t,x) = (T +t) —

VA (t,x) = (T + t) —

(t + T )■

(t + T )Y

p-1

P + n \ P+Yl. —2 p-1 \

p+n ^ p —1

p—1 P+Y2 —2

(y0 + o (1)) , (z0 + o (1)) .

The theorems are thus proved.

References

[1] Shigesada N., Kawasaki K., Teramoto E. Spatial segregation of interacting species. J. Theor. Biol., 1979, 79, P. 83-99.

[2] Painter K. Continuous models for cell migration in tissues and applications to cell sorting via differential chemotaxis. Bull. Math. Biol., 2009, 71, P. 1117-1147.

[3] Burger M., Schlake B., Wolfram W.T. Nonlinear Poisson-Nernst-Planck equations for ion flux through confined geometries. Nonlinearity , 2012, 25, P. 961-990.

[4] Zhou W., Yao Z. Cauchy problem for a degenerate parabolic equation with non-divergence form. Acta Mathematica Scientia, 2010, 30B (5), P. 1679-1686.

[5] Wang M. Some degenerate and quasilinear parabolic systems not in divergence form. J. Math. Anal. Appl., 2002, 274, P. 424-436.

[6] Wang M., Wei Y. Blow-up properties for a degenerate parabolic system with nonlinear localized sources. J. Math. Anal. Appl., 2008, 343, P. 621-635.

[7] Zhi-wen D., Li Zh. Global and Blow-Up Solutions for Nonlinear Degenerate Parabolic Systems with Crosswise-Diffusion. Journal of Mathematical Analysis and Applications, 2000, 244, P. 263-278.

[8] Chunhua J., Jingxue Y. Self-similar solutions for a class of non-divergence form equations. Nonlinear Differ. Equ. Appl. Nodea, 2013, 20 (3), P. 873-893.

[9] Raimbekov J.R. The Properties of the Solutions for Cauchy Problem of Nonlinear Parabolic Equations in Non-Divergent Form with Density. Journal of Siberian Federal University. Mathematics and Physics, 2015, 8 (2), P. 192-200.

[10] Aripov M., Matyakubov A.S. To the properties of the solutions of a cross-diffusion parabolic system not in divergence form. Universal Journal of Computational Mathematics, 2017, 5 (1), P. 1-7.

[11] Aripov M., Matyakubov A.S. Self-similar solutions of a cross-diffusion parabolic system with variable density: explicit estimates and asymptotic behaviour. Nanosystems: physics, chemistry, mathematics, 2017, 8 (1), P. 5-12.

[12] Aripov M., Sadullaeva Sh.A. Qualitative Properties of Solutions of a Doubly Nonlinear Reaction-Diffusion System with a Source. Journal of Applied Mathematics and Physics, 2015, 3, P. 1090-1099.

[13] Aripov M. Standard Equation's Methods for Solutions to Nonlinear problems. Fan, Tashkent, 1988, 138 p.

[14] Samarskii A.A., Galaktionov V.A., Kurdyumov S.P., Mikhailov A.P. Blow-up in Quasilinear Parabolic Equations. Walter de Grueter, Berlin, 1995, 4, P. 535.

x

0

+

x

0

+

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