• Nie Znaleziono Wyników

On the asymptotic behavior of solutions of second order parabolic partial differential equations

N/A
N/A
Protected

Academic year: 2021

Share "On the asymptotic behavior of solutions of second order parabolic partial differential equations"

Copied!
12
0
0

Pełen tekst

(1)

POLONICI MATHEMATICI LXIII.3 (1996)

On the asymptotic behavior of solutions of second order parabolic partial differential equations

by Wei-Cheng Lian and Cheh-Chih Yeh (Chung-Li)

Abstract. We consider the second order parabolic partial differential equation

n

X

i,j=1

a

ij

(x, t)u

xixj

+

n

X

i=1

b

i

(x, t)u

xi

+ c(x, t)u − u

t

= 0.

Sufficient conditions are given under which every solution of the above equation must decay or tend to infinity as |x| → ∞. A sufficient condition is also given under which every solution of a system of the form

L

α

[u

α

] +

N

X

β=1

c

αβ

(x, t)u

β

= f

α

(x, t),

where

L

α

[u] ≡

n

X

i,j=1

a

αij

(x, t)u

xixj

+

n

X

i=1

b

αi

(x, t)u

xi

− u

t

, must decay as t → ∞.

1. Introduction. Let x = (x

1

, . . . , x

n

) be a point of the n-dimensional Euclidean space R

n

and let t be a nonnegative number. The distance of the point x ∈ R

n

from the origin of R

n

is denoted by |x| = px

21

+ . . . + x

2n

. Let Ω be an unbounded domain in R

n

. The (n + 1)-dimensional Euclidean domain D := Ω × (0, T ) is our domain of interest; here 0 < T ≤ ∞.

Consider the second order parabolic partial differential equation of the form

(1) Lu :=

n

X

i,j=1

a

ij

(x, t) ∂

2

u

∂x

i

∂x

j

+

n

X

i=1

b

i

(x, t) ∂u

∂x

i

+ c(x, t)u − ∂u

∂t = 0

1991 Mathematics Subject Classification: Primary 35B40; Secondary 35K40.

Key words and phrases: asymptotic behavior, second order partial differential equa- tion, maximum principles.

[223]

(2)

in D. We consider only classical solutions of (1), thus we require u(x, t) ∈ C

0

(D) ∩ C

2

(D).

In 1962, Krzy˙za´ nski [11] proved the existence of the fundamental solution of the following parabolic differential equation:

L

0

u :=

n

X

i=1

2

u

∂x

2i

+ (−k

2

|x|

2

+ l)u − ∂u

∂t = 0, k > 0,

in R

n

× (0, ∞). Using this fundamental solution, we see that the solution u(x, t) of the above equation with Cauchy data u(x, 0) = M exp(a|x|

2

) is given by

u(x, t) = M

 k

k cosh 2kt − 2a sinh 2kt



n/2

× exp  k(2a cosh 2kt − k sinh 2kt)

2(k cosh 2kt − 2a sinh 2kt) |x|

2

+ lt

 ,

where 2a < k. Hence, if l − kn < 0, then u(x, t) converges to zero uniformly on every compact set in R

n

as t → ∞. And, if t >

4k1

ln

2a+kk−2a

, then u(x, t) converges to zero as |x| → ∞.

Results on the asymptotic behavior as t → ∞ of solutions u(x, t) of more general parabolic equations and systems with unbounded coefficients have been obtained by various authors, for example, Chen [2]–[4], Kuroda [12], Kuroda and Chen [13], Kusano [14], [15] and Kusano, Kuroda and Chen [16], [17]. They considered the coefficients of (1) satisfying one of the following two conditions:

(I) There exist constants K

1

> 0, K

2

≥ 0, K

3

> 0, µ > 0 and λ > 0 such that

0 <

n

X

i,j=1

a

ij

(x, t)ξ

i

ξ

j

≤ K

1

[log(|x|

2

+ 1) + 1]

−λ

(|x|

2

+ 1)

1−µ

|ξ|

2

for all nonzero real vectors ξ = (ξ

1

, . . . , ξ

n

), and

|b

i

(x, t)| ≤ K

2

(|x|

2

+ 1)

1/2

, i = 1, . . . , n, c(x, t) ≤ K

3

[log(|x|

2

+ 1) + 1]

λ

(|x|

2

+ 1)

µ

;

(II) There exist constants K

1

> 0, K

2

≥ 0, K

3

> 0, and λ ≥ 1 such that 0 <

n

X

i,j=1

a

ij

(x, t)ξ

i

ξ

j

≤ K

1

(|x|

2

+ 1)

1−λ

|ξ|

2

for any nonzero ξ ∈ R

n

,

|b

i

(x, t)| ≤ K

2

(|x|

2

+ 1)

1/2

, i = 1, . . . , n,

c(x, t) ≤ −K

3

(|x|

2

+ 1)

λ

.

(3)

In 1980, Cosner [8] generalized the above results to the more general parabolic equations (1) whose coefficients satisfy the following condition.

(A) There exist positive constants µ, K

1

, K

2

and K

3

such that

n

X

i,j=1

a

ij

(x, t)ξ

i

ξ

j

≤ K

1

φ(1 + r

2

)|ξ|

2

for all ξ ∈ R

n

,

|b

i

(x, t)| ≤ K

2

φ(1 + r

2

)θ(1 + r

2

)(1 + r

2

)

−1/2

, i = 1, . . . , n, c(x, t) ≤ K

3

[θ(1 + r

2

)]

µ

,

for (x, t) ∈ D, where r = |x| and θ(η), φ(η) satisfy the following condition (H):

(H) θ(η) is a C

2

function on [1, ∞) such that dθ(η)/dη = 1/φ(η), θ(η) ≥ 1, φ(η) is a C

1

positive function of η, and there exist nonnegative constants m

1

and m

2

such that for η ≥ 1, ηφ

00

(η) ≤ m

1

φ(η)φ

0

(η), and ηφ

0

(η) ≤ m

2

[φ(η)]

2−µ

.

He gave some sufficient conditions under which every solution u(x, t) of (1) converges to zero uniformly on every compact set in R

n

as t → ∞.

In 1974, Chen–Lin–Yeh [5] discussed the asympotic behavior of solu- tions for large |x| of equation (1) whose coefficients satisfy (I) or (II). To our knowledge, there is no other paper discussing the asymptotic behavior for large |x| of solutions of equation (1) whose coefficients satisfy assump- tion (A).

The purpose of this paper is to give sufficient conditions under which every solution of (1) must decay as |x| → ∞ and to give sufficient conditions under which every solution of (1) must tend to infinity as |x| → ∞. We also generalize the results to a system of the form

(2) L

α

[u

α

] +

N

X

β=1

c

αβ

(x, t)u

β

= 0, α = 1, . . . , N, where

L

α

[u] ≡

n

X

i,j=1

a

αij

(x, t)u

xixj

+

n

X

i=1

b

αi

(x, t)u

xi

− u

t

. A sufficient condition is also given under which every solution of

L

α

[u

α

] +

N

X

β=1

c

αβ

(x, t)u

β

= f

α

(x, t) must decay as t → ∞, where α = 1, . . . , N .

The techniques used in the present article are primarily adapted from

those used in Chen, Lin and Yeh [5] and Cosner [7], [8].

(4)

2. Main results. In order to prove our main results, we need the fol- lowing maximum principle which is due to Cosner [7], [8].

Lemma 1 (Phragm´ en–Lindel¨ of principle). Let u(x, t) ∈ C

0

(D) ∩ C

2

(D) satisfy the inequalities

(3)  L[u] ≥ 0 in D,

u ≤ 0 on Σ := (Ω × {0}) ∪ (∂Ω × (0, T )).

Suppose that the coefficients of L satisfy assumption (A) in D. If there is a constant k ≥ 1 such that

(4) lim inf

r→∞

[ max

(x,t)∈D

|x|=r

u(x, t)] exp{−k[θ(1 + r

2

)]

µ

} ≤ 0,

then u(x, t) ≤ 0 in D.

R e m a r k 1. If (3) and (4) in Lemma 1 are replaced by

 L[u] ≤ 0 in D, u ≥ 0 on Σ, and

lim sup

r→∞

[ max

(x,t)∈D

|x|=r

u(x, t)] exp{−k[θ(1 + r

2

)]

µ

} ≥ 0

respectively, then u ≥ 0 in D. Lemma 1 can be easily generalized to weakly coupled systems (2) (see Cosner [7]).

Theorem 1. Suppose that

(C

1

) u ∈ C

0

(D) ∩ C

2

(D) satisfies Lu = 0 in D,

(C

2

) the coefficients of L satisfy the following condition: There exist con- stants k

1

≥ 0, K

1

> 0, K

2

≥ 0, K

3

≥ 0 and 0 < µ ≤ 1 such that

k

1

φ(1 + r

2

)|ξ|

2

n

X

i,j=1

a

ij

(x, t)ξ

i

ξ

j

≤ K

1

φ(1 + r

2

)|ξ|

2

for ξ ∈ R

n

,

|b

i

(x, t)| ≤ K

2

φ(1 + r

2

)θ(1 + r

2

)(1 + r

2

)

−1/2

, i = 1, . . . , n, c(x, t) ≤ K

3

[θ(1 + r

2

)]

µ

, where θ(η) and φ(η) satisfy condition (H), (C

3

) for every T > 0, there exists a constant k(T ) ≥ 1 such that

r→∞

lim [ max

|x|=r 0≤t≤T

|u|] exp{−k(T )[θ(1 + r

2

)]

µ

} = 0.

Then:

(a) If θ

00

(η) ≥ 0 for η ≥ 1 and

(5) |u| ≤ M exp{−k[θ(1 + r

2

)]

µ

%

τ t

} on Σ

(5)

for some constant M , where

(6) τ = −[4k

2

K

1

µ

2

m

2

− 4kµ(µ − 1)K

1

m

2

+ 2kµK

2

n + K

3

]/(k ln %), then

(R

1

) |u| ≤ M exp{−k[θ(1 + r

2

)]

µ

%

τ t

} in D.

(b) If there exists a constant m

3

≥ 0 such that ηθ

00

(η) ≥ −m

3

θ

0

(η) for η ≥ 1 and |u| ≤ M exp{−k[θ(1 + r

2

)]

µ

%

τ t

} on Σ for some constant M , where

τ = −[4k

2

K

1

µ

2

m

2

− 4kµ(µ − 1)K

1

m

2

+ 4kµm

3

K

1

+ 2kµK

2

n + K

3

]/(k ln %), then (R

1

) also holds.

Moreover , if , in addition, Ω = R

n

and θ(η) → ∞ as η → ∞, then the solution u of (1) decays exponentially to zero as |x| → ∞.

P r o o f. (a) Let ω(x, t) = M exp{−k[θ(1 + r

2

)]

µ

%

τ t

}, where % > 1 is a parameter and τ = τ (%) is defined in (6). Thus

L[ω] ≡

n

X

i,j=1

a

ij

ω

xixj

+

n

X

i=1

b

i

ω

xi

+ cω − ω

t

= n

4k

2

µ

2

θ

2µ−2

0

)

2

%

2τ t

n

X

i,j=1

a

ij

x

i

x

j

− 4kµ(µ − 1)θ

µ−2

0

)

2

%

τ t

n

X

i,j=1

a

ij

x

i

x

j

− 4kµθ

µ−1

θ

00

%

τ t

n

X

i,j=1

a

ij

x

i

x

j

− 2kµθ

µ−1

θ

0

%

τ t

n

X

i=1

a

ii

− 2kµθ

µ−1

θ

0

%

τ t

n

X

i=1

b

i

x

i

+ c + kθ

µ

τ %

τ t

ln % o

ω.

By (C

1

), (C

2

), (C

3

) and θ

00

(η) > 0 for η ≥ 1, we obtain L[ω] ≤ {4k

2

K

1

µ

2

m

2

%

2τ t

θ

µ

− 4kµ(µ − 1)K

1

m

2

%

τ t

+ 2kµK

2

θ

µ

%

τ t

n + K

3

θ

µ

+ kθ

µ

τ %

τ t

ln %}ω

≤ {4k

2

K

1

µ

2

m

2

− 4kµ(µ − 1)K

1

m

2

+ 2kµK

2

n + K

3

+ kτ ln %}θ

µ

%

2τ t

ω.

By (6), we have L[ω] ≤ 0 in D, and hence L[u−ω] = L[u]−L[ω] = −L[ω] ≥ 0 in D. It follows from (5) that u − ω ≤ 0 on Σ. Thus, by the Phragm´ en–

Lindel¨ of principle, we see that u − ω ≤ 0 in Ω × (0, T ) for every fixed T .

Hence, u−ω ≤ 0 in D and thus, by continuity, in D. We can apply Remark 1

(6)

to u + ω in a similar way and conclude that u + ω ≥ 0 in D. Thus |u| ≤ ω in D, that is, (R

1

) holds.

(b) For the same ω and L[ω] computed as before, we now obtain the estimate

L[ω] ≤ {4k

2

K

1

µ

2

m

2

%

2τ t

θ

µ

− 4kµ(µ − 1)K

1

m

2

%

τ t

+ 4kµθ

µ−1

m

3

K

1

%

τ t

+ 2kµK

2

θ

µ

%

τ t

n + K

3

θ

µ

+ kθ

µ

τ %

τ t

ln %}ω

≤ {4k

2

K

1

µ

2

m

2

− 4kµ(µ − 1)K

1

m

2

+ 4kµm

3

K

1

+ 2kµK

2

n + K

3

+ kτ ln %}θ

µ

%

2τ t

ω.

Thus L[ω] ≤ 0 in D, and we conclude as before that (R

1

) holds.

Theorem 2. Let (C

1

) and (C

3

) hold. Suppose that the coefficients of L satisfy the following condition:

(C

4

) there exist constants K

1

> 0, K

2

≥ 0, k

3

> 0, K

3

≥ 0 and 0 < µ ≤ 1 such that for all (x, t) ∈ D,

0 ≤

n

X

i,j=1

a

ij

(x, t)ξ

i

ξ

j

≤ K

1

φ(1 + r

2

)|ξ|

2

for ξ ∈ R

n

,

|b

i

(x, t)| ≤ K

2

φ(1 + r

2

)θ(1 + r

2

)(1 + r

2

)

−1/2

, i = 1, . . . , n,

−k

3

[θ(1 + r

2

)]

µ

≤ c(x, t) ≤ K

3

[θ(1 + r

2

)]

µ

, where θ(η) and φ(η) satisfy condition (H).

Then:

(a) If θ

00

(η) ≥ 0 for η ≥ 1 and

(7) |u| ≥ M exp{k[θ(1 + r

2

)]

µ

%

τ t

} on Σ for some constant M , where

(8) τ = [4kK

1

m

2

µ(µ − 1) − 2kK

2

µn − k

3

]/(k ln %), then

(R

2

) |u| ≥ M exp{k[θ(1 + r

2

)]

µ

%

τ t

} in D.

(b) If there exists a constant m

3

≥ 0 such that ηθ

00

(η) ≥ −m

3

θ

0

(η) for η ≥ 1 and |u| ≥ M exp{k[θ(1 + r

2

)]

µ

%

τ t

} on Σ for some constant M , where τ = (4kK

1

m

2

µ(µ − 1) − 4kK

1

µm

3

− 2kK

2

µn − k

3

)/(k ln %), then (R

2

) holds.

Moreover , if , in addition, Ω = R

n

and θ(η) → ∞ as η → ∞, then the solution u(x, t) of (1) tends to infinity as |x| → ∞.

P r o o f. (a) Let ω = M exp{k[θ(1+r

2

)]

µ

%

τ t

}, where % > 1 is a parameter

and τ = τ (%) is defined in (8). Then

(7)

L[ω] = n

4k

2

µ

2

θ

2µ−2

0

)

2

%

2τ t

n

X

i,j=1

a

ij

x

i

x

j

+ 4kµ(µ − 1)θ

µ−2

0

)

2

%

τ t

n

X

i,j=1

a

ij

x

i

x

j

+ 4kµθ

µ−1

θ

00

%

τ t

n

X

i,j=1

a

ij

x

i

x

j

+ 2kµθ

µ−1

θ

0

%

τ t

n

X

i=1

a

ii

+ 2kµθ

µ−1

θ

0

%

τ t

n

X

i=1

b

i

x

i

+ c − kθ

µ

τ %

τ t

ln % o ω

≥ {4kK

1

m

2

µ(µ − 1)%

τ t

− 2kK

2

µθ

µ

%

τ t

n − k

3

θ

µ

− kθ

µ

τ %

τ t

ln %}ω

≥ {4kK

1

m

2

µ(µ − 1) − 2kK

2

µn − k

3

− kτ ln %}θ

µ

%

τ t

ω.

It follows from (8) that L[ω] ≥ 0 in D. By (7), we have

|u| ≥ M exp{k[θ(1 + r

2

)]

µ

%

τ t

} = ω on Σ.

C a s e 1. If u ≥ 0, then u − ω ≥ 0 on Σ and L[u − ω] = L[u] − L[ω] = −L[ω] ≤ 0 in D. Thus, by the Phragm´ en–Lindel¨ of principle, we have u − ω ≥ 0 in Ω × (0, T ) for each fixed T > 0. Hence, u − ω ≥ 0 in D and, by continuity, u ≥ ω in D.

C a s e 2. If u ≤ 0, then u + ω ≤ 0 on Σ and L[u + ω] ≥ 0 in D. Thus, by the Phragm´ en–Lindel¨ of principle, we have u + ω ≤ 0 in Ω × (0, T ) for each fixed T > 0. Hence, u + ω ≤ 0 in D and, by continuity, in D. Thus, |u| ≥ ω in D, that is, (R

2

) holds.

(b) For the same ω and L[ω] computed as before, we now obtain the estimate

L[ω] ≥ {4kK

1

m

2

µ(µ − 1)%

τ t

− 4kK

1

µθ

µ−1

%

τ t

m

3

− 2kK

2

µθ

µ

%

τ t

n − k

3

θ

µ

− kθ

µ

τ %

τ t

ln %}ω

≥ {4kK

1

m

2

µ(µ − 1) − 4kK

1

µm

3

− 2kK

2

µn − k

3

− kτ ln %}%

τ t

θ

µ

ω.

Thus L[ω] ≥ 0 in D. As in the proof of case (a), we easily see that (R

2

) holds.

Similarly, we can obtain the following results:

Theorem 3. Let (C

1

), (C

2

) and (C

3

) hold with µ ≥ 1. Then:

(a) If θ

00

(η) ≥ 0 for η ≥ 1 and |u| ≤ M exp{−k[θ(1 + r

2

)]

µ

%

τ t

} on Σ for some constant M , where τ = −[4k

2

K

1

µ

2

m

2

+ 2kµK

2

n + K

3

]/(k ln %), then (R

3

) |u| ≤ M exp{−k[θ(1 + r

2

)]

µ

%

τ t

} in D.

(b) If there exists a constant m

3

≥ 0 such that ηθ

00

(η) ≥ −m

3

θ

0

(η) for

η ≥ 1 and |u| ≤ M exp{−k[θ(1 + r

2

)]

µ

%

τ t

} on Σ for some constant M ,

(8)

where τ = −[4k

2

K

1

µ

2

m

2

+ 4kµm

3

K

1

+ 2kµK

2

n + K

3

]/(k ln %), then (R

3

) also holds.

Moreover , if , in addition, Ω = R

n

and θ(η) → ∞ as η → ∞, then the solution u(x, t) decays exponentially to zero as |x| → ∞.

Theorem 4. Let (C

1

), (C

3

) and (C

4

) hold with µ ≥ 1. Then:

(a) If θ

00

(η) ≥ 0 for η ≥ 1 and |u| ≥ M exp{k[θ(1 + r

2

)]

µ

%

τ t

} on Σ for some constant M , where τ = (−2kK

2

µn − k

3

)/(k ln %), then

(R

4

) |u| ≥ M exp{k[θ(1 + r

2

)]

µ

%

τ t

} in D.

(b) If there exists a constant m

3

≥ 0 such that ηθ

00

(η) ≥ −m

3

θ

0

(η) for η ≥ 1 and |u| ≥ M exp{k[θ(1 + r

2

)]

µ

%

τ t

} on Σ for some constant M , where τ = τ (%) = (−4kK

1

µm

3

− 2kK

2

µn − k

3

)/(k ln %), then (R

4

) holds.

Moreover , if , in addition, Ω = R

n

and θ(η) → ∞ as η → ∞, then the solution u(x, t) of (1) tends to infinity as |x| → ∞.

3. Further results. In this section, we generalize the results of Section 2 to weakly coupled systems of the form

L

α

[u

α

] +

N

X

β=1

c

αβ

u

β

= 0, α = 1, . . . , N, where

L

α

[u] ≡

n

X

i,j=1

a

αij

u

xixj

+

n

X

i=1

b

αi

u

xi

− u

t

. Theorem 5. Suppose that

(C

5

) the functions u

α

, α = 1, . . . , N, satisfy L

α

[u

α

] +

N

X

β=1

c

αβ

u

β

= 0 in D and u

α

∈ C

0

(D) ∩ C

2

(D) for each α = 1, . . . , N ,

(C

6

) for α, β = 1, . . . , N, the operators L

α

and the functions c

αβ

satisfy the following conditions: There exist constants k

1

≥ 0, K

1

> 0, K

2

> 0, K

3

> 0 and 0 < µ ≤ 1 such that for α = 1, . . . , N and (x, t) ∈ D,

k

1

φ(1 + r

2

)|ξ|

2

n

X

i,j=1

a

αij

(x, t)ξ

i

ξ

j

≤ K

1

φ(1 + r

2

)|ξ|

2

,

|b

αi

(x, t)| ≤ K

2

φ(1 + r

2

)θ(1 + r

2

)(1 + r

2

)

−1/2

, i = 1, . . . , n,

(9)

N

X

β=1

c

αβ

(x, t) ≤ K

3

[θ(1 + r

2

)]

µ

, where θ(η) and φ(η) satisfy condition (H),

(C

7

) for each α = 1, . . . , N and for every T > 0, there exists a constant k(T ) ≥ 1 such that

r→∞

lim [ max

|x|=r

|t|<T

|u

α

|] exp{−k(T )[θ(1 + r

2

)]

µ

} = 0.

Then:

(a) If θ

00

(η) ≥ 0 for η > 1, and |u

α

| ≤ M exp{−k[θ(1 + r

2

)]

µ

%

τ t

} on Σ for some constant M and α = 1, . . . , N, where τ = −[4k

2

K

1

µ

2

m

2

− 4kµ(µ − 1)K

1

m

2

+ 2kµK

2

n + K

3

]/(k ln %), then

(R

5

) |u

α

| ≤ M exp{−k[θ(1 + r

2

)]

µ

%

τ t

} in D for α = 1, . . . , N.

(b) If there exists a constant m

3

≥ 0 such that ηθ

00

(η) ≥ −m

3

θ

0

(η) for η ≥ 1 and |u

α

| ≤ M exp{−k[θ(1 + r

2

)]

µ

%

τ t

} on Σ for some constant M and for α = 1, . . . , N , where τ = −[4k

2

K

1

µ

2

m

2

− 4kµ(µ − 1)K

1

m

2

+ 4kµm

3

K

1

+ 2kµK

2

n + K

3

]/(k ln %), then (R

5

) also holds.

Moreover , if , in addition, Ω = R

n

and θ(η) → ∞ as η → ∞, then the solution u

α

(x, t) of (2) decays exponentially to zero as |x| → ∞, for α = 1, . . . , N .

R e m a r k 6. Similarly, if the functions u

α

, c

αβ

and the coefficients of the operator L

α

(α, β = 1, . . . , N ) satisfy the hypotheses of Theorems 2–4, then results of the above-mentioned theorems are true with respect to u

α

, α = 1, . . . , N .

4. Exponential decay of solutions as t → ∞. In [1], Chabrowski discussed the decay as t → ∞ of solutions of a single parabolic equation

Lu = f (x, t)

with bounded coefficients in R

n

× [0, ∞). In this section, we extend Chabro- wski’s result to the system

(9) L

α

[u

α

] = f

α

(x, t), α = 1, . . . , N,

with unbounded coefficients. Here L and L

α

are defined as in (1) and (2) respectively. To do this, we need the following maximum principle which is an easy extension of the maximum principle stated in Kusano–Kuroda–

Chen [16].

(10)

Lemma 7. Suppose that the coefficients of (9) in R

n

× [0, ∞) satisfy

(C

8

)

 

 

 

 

 

 

 

  0 ≤

n

X

i,j=1

a

αij

(x, t)ξ

i

ξ

j

≤ K

1

φ(1 + |x|

2

)|ξ|

2

for all ξ ∈ R

n

,

|b

αi

(x, t)| ≤ K

2

φ(1 + |x|

2

)θ(1 + |x|

2

)(1 + |x|

2

)

−1/2

, i = 1, . . . , n, c

αβ

(x, t) ≥ 0, α 6= β,

n

X

β=1

c

αβ

(x, t) ≤ K

3

[θ(1 + |x|

2

)]

µ

,

for α = 1, . . . , N, where K

1

> 0, K

2

≥ 0, K

3

> 0 and µ > 0 are constants, and θ(η) and φ(η) satisfy condition (H). Let u

α

(x, t), α = 1, . . . , N, satisfy

L

α

[u

α

] +

N

X

β=1

c

αβ

(x, t)u

β

≥ 0, α = 1, . . . , N,

in R

n

× [0, ∞) with the properties u

α

(x, 0) ≤ 0 for x ∈ R

n

, and u

α

(x, t) ≤ M exp{kθ(1 + |x|

2

)

µ

} for (x, t) ∈ R

n

× (0, ∞), where α = 1, . . . , N , and M and k are some positive constants. Then u

α

(x, t) ≤ 0 in R

n

× (0, ∞) for α = 1, . . . , N .

Theorem 8. Let the coefficients of (9) satisfy condition (C

8

) and P

N

β=1

c

αβ

(x, t) ≤ −K

3

for α = 1, . . . , N . Suppose u

α

(x, t), α = 1, . . . , N , are bounded solutions of (9). If lim

t→∞

f

α

(x, t) = 0, α = 1, . . . , N , uni- formly with respect to x ∈ R

n

, then lim

t→∞

u

α

(x, t) = 0, α = 1, . . . , N , uniformly with respect to x ∈ R

n

.

P r o o f. Let ε > 0. Then there exists a δ > 0 such that

|f

α

(x, t)| ≤ ε, α = 1, . . . , N, for x ∈ R

n

and t ≥ δ. Put

M

α

= sup

(x,t)∈Rn×[0,∞)

|u

α

(x, t)|, α = 1, . . . , N.

Define

ω

±α

(x, t) = −2 ε K

3

− M

α

e

−h(t−δ)

± u

α

(x, t), α = 1, . . . , N, where h is a positive constant such that 0 < h < K

3

. Hence

L

α

±α

] +

N

X

β=1

c

αβ

(x, t)u

β

= − 2ε K

3

N

X

β=1

c

αβ

(x, t) − M

α

e

−h(t−δ)

N

X

β=1

c

αβ

(x, t)

− hM

α

e

−h(t−δ)

± f

α

(x, t)

≥ ε + M

α

e

−h(t−δ)

(K

3

− h) > 0, α = 1, . . . , N.

(11)

for x ∈ R

n

and t > δ. Moreover, ω

±α

(x, δ) = −2 ε

K

3

− M

α

+ u

α

(x, δ) < 0, α = 1, . . . , N,

for x ∈ R

n

. From Lemma 7, we see that ω

±α

(x, t) ≤ 0, α = 1, . . . , N , for x ∈ R

n

and t > δ. Hence

−2 ε K

3

− M

α

e

−h(t−δ)

≤ u

α

(x, t) ≤ 2 ε K

3

+ M

α

e

−h(t−δ)

for x ∈ R

n

, t > δ and α = 1, . . . , N . Therefore

−2 2ε K

3

≤ lim

t→∞

inf u

α

(x, t) ≤ lim

t→∞

sup u

α

(x, t) ≤ 2ε K

3

, which proves our theorem.

References

[1] P. J. C h a b r o w s k i, Propri´ et´ es asymptotiques d’une mesure associ´ ee ` a l’´ equation diff´ erentielle aux d´ eriv´ ees partielles de type parabolique, Funkc. Ekvac. 13 (1970), 35–43.

[2] L. S. C h e n, On the behavior of solutions for large |x| of parabolic equations with unbounded coefficients, Tˆ ohoku Math. J. 20 (1968), 589-595.

[3] —, Note on the behavior of solutions of parabolic equations with unbounded coeffi- cients, Nagoya Math. J. 37 (1970), 1–4.

[4] —, Remark on behavior of solutions of some parabolic equations, Tˆ ohoku Math. J.

22 (1970), 511–516.

[5] L. S. C h e n, J. S. L i n and C. C. Y e h, Asymptotic behavior of solutions for large |x|

of weakly coupled parabolic systems with unbounded coefficients, Hiroshima Math.

J. 4 (1974), 477–490.

[6] L. S. C h e n, C. C. Y e h and H. Y. C h e n, On the behavior of solutions of the Cauchy problem for parabolic equations with unbounded coefficients, Hiroshima Math. J. 1 (1971), 145–153.

[7] C. C o s n e r, A Phragm´ en–Lindel¨ of principle and asymptotic behavior for weakly coupled systems of parabolic equations with unbounded coefficients, Dissertation, University of California, Berkeley, 1977.

[8] —, Asymptotic behavior of solutions of second order parabolic partial differentical equations with unbounded coefficients, J. Differential Equations 35 (1980), 407–428.

[9] S. D. ` E˘ıd e l’ m a n and F. O. P o r p e r, Properties of solutions of second-order para- bolic equations with dissipation, Differential Equations 7 (1971), 1280–1288.

[10] —, —, On the asymptotic behavior of solutions of parabolic systems with dissipation, Soviet Math. Dokl. 12 (1971), 471–475.

[11] M. K r z y ˙z a ´ n s k i, Evaluations des solutions de l’´ equation lin´ eaire de type parabolique

`

a coefficients non born´ es, Ann. Polon. Math. 11 (1962), 253–260.

[12] T. K u r o d a, Asymptotic behavior of solutions of parabolic equations with unbounded coefficients, Nagoya Math. J. 37 (1970), 5–12.

[13] T. K u r o d a and L. S. C h e n, On the behavior of solutions of parabolic equations

with unbounded coefficients, Ann. Polon. Math. 23 (1970), 57–64.

(12)

[14] T. K u s a n o, On the decay for large |x| of solutions of parabolic equations with unbounded coefficients, Publ. Res. Inst. Math. Sci. Kyoto Univ. Ser. A 3 (1967), 203–210.

[15] —, On the behavior of large |x| for solutions of parabolic equations with unbounded coefficients, Funkc. Ekvac. 11 (1968), 169–174.

[16] T. K u s a n o, T. K u r o d a and L. S. C h e n, Weakly coupled parabolic systems with unbounded coefficients, Hiroshima Math. J. 3 (1973), 1–14.

[17] —, —, —, Some parabolic equations with unbounded coefficients, Funkc. Ekvac. 16 (1973), 1–28.

[18] M. H. P r o t t e r and H. F. W e i n b e r g e r, Maximum Principles in Differential Equa- tions, Prentice-Hall, Englewood Cliffs, N.J., 1967.

Department of Mathematics National Central University Chung-Li

32054 Taiwan, Republic of China E-mail: yeh@wangwei.math.ncu.edu.tw

Re¸ cu par la R´ edaction le 16.6.1994

evis´ e le 31.8.1995

Cytaty

Powiązane dokumenty

In this paper, we present some results concerning the existence and the local asymptotic stability of solutions for a functional integral equation of fractional order, by using

[14] Hartogs type extension theorem of real analytic solutions of linear partial differential equations with constant coefficients, in: Advances in the Theory of Fr´ echet

The asymptotic behavior of the solutions of the n-th order differential equations have been considered by T.. Similar problems with regard to the second order

In other papers, there are considered some sufficient conditions in order that components of all nontrivial solutions o f systems o f differential equations have

( 0. The results obtained here overlap some results of E.. the successive zeros of an oscillatory solution x{t). This condition is a generalization of one given

Existence of weak solutions and an L ∞ -estimate are shown for nonlinear non- degenerate parabolic systems with linear growth conditions with respect to the gradient.. The L ∞

Key words and phrases: infinite systems of parabolic differential-functional equations, monotone iterative method, method of lower and upper functions...

Keywords: Banach space, difference equation, fixed point, measure of noncompactness, asymptotic behaviour of solutions.. 2000 Mathematics Subject Classification: