Professional Documents
Culture Documents
(Proceedings of The International Conference On Nonlinear Analysis) Michel Chipot, Chang-Shou Lin, Dong-Ho Tsai-Recent Advances in Nonlinear Analysis-World Scientific Pub Co Inc (200 PDF
(Proceedings of The International Conference On Nonlinear Analysis) Michel Chipot, Chang-Shou Lin, Dong-Ho Tsai-Recent Advances in Nonlinear Analysis-World Scientific Pub Co Inc (200 PDF
CM
MY
CY CMY
Recent Advances in
Nonlinear Analysis
Composite
CM
MY
CY CMY
Proceedings of the
Recent Advances in
Nonlinear Analysis
Editors
Michel Chipot
University of Zurich, Switzerland
Chang-Shou Lin
National Taiwan University, Taiwan
Dong-Ho Tsai
National Tsing Hua University, Taiwan
world Scientific
NEW JERSEY
Composite
LONDON
SINGAPORE
BEIJING
SHANGHAI
HONG KONG
TA I P E I
CHENNAI
Published by
World Scientific Publishing Co. Pte. Ltd.
5 Toh Tuck Link, Singapore 596224
USA office: 27 Warren Street, Suite 401-402, Hackensack, NJ 07601
UK office: 57 Shelton Street, Covent Garden, London WC2H 9HE
For photocopying of material in this volume, please pay a copying fee through the Copyright
Clearance Center, Inc., 222 Rosewood Drive, Danvers, MA 01923, USA. In this case permission to
photocopy is not required from the publisher.
ISBN-13 978-981-270-924-0
ISBN-10 981-270-924-X
Printed in Singapore.
5/8/2008, 3:53 PM
November 6, 2007
14:25
PREFACE
Z
urich, November 2007
Michel Chipot
Chang-Shou Lin
Dong-Ho Tsai
December 3, 2007
10:51
Inhalt
CONTENTS
Preface . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
11
43
Takesi Fukao
Free boundary problems of the nonlinear heat equations
coupled with the Navier-Stokes equations . . . . . . . . . . . . . . . . . . . . . . .
67
77
95
113
Tetsuya Ishiwata
Motion of non-convex polygons by crystalline curvature
and almost convexity phenomena . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
125
135
vii
December 3, 2007
10:51
Inhalt
viii
149
171
181
197
Makoto Narita
Global existence and asymptotic behavior
of Gowdy symmeric spacetimes with nonlinear scalar field . . . . . .
217
J. H
arterich and Kuni Sakamoto
Interfaces driven by reaction, diffusion and convection . . . . . . . . .
225
Shota Sato
Life span of solutions for a superlinear heat equation . . . . . . . . . . .
237
Noriaki Yamazaki
Optimal control problems
of quasilinear elliptic-parabolic equation . . . . . . . . . . . . . . . . . . . . . . .
245
16:25
aiki
TOYOHIKO AIKI
Department of Mathematics, Faculty of Education, Gifu University, Gifu,
501-1193, Japan
JANA KOPFOVA
Mathematical Institute, Silesian University in Opava, 746 01 Opava,
Czech Republic
1. Introduction
In this paper we consider the mathematical model for a bacterial growth
in a Petri dish. The model was proposed by Hoppensteadt-J
ager [2],
Hoppensteadt-J
ager-Poppe [3]. Let h be the histidine (amino acid) concentration in a Petri dish, b be the size of the bacterial population, g be the
concentration of the growth mediums buffer and v be the metabolic activity of bacteria. In this model the metabolic activity of bacteria v plays a
very important and interesting role, and is decided by a hysteresis operator
with input functions h and g. We denote by RN , N 2, the bounded
domain with the smooth boundary and put Q(T ) = (0, T ) , 0 < T < .
In [2, 3] they suppose that the growth rate of the bacteria is in proportion
to the metabolic activity, that is,
b
= cvb
t
in Q(T ),
(1.1)
16:25
aiki
0 if u(0) 0,
w(0) = if 0 < u(0) < 1,
1 if u(0) 1;
for any t (0, T ], setting Xt = { (0, t] : u( ) = 0 or 1},
w(0) if Xt = ,
w(t) = 0
if Xt 6= and u(max Xt ) = 0,
1
if Xt 6= and u(max Xt ) = 1.
(Figure 1.)
(Figure 2.)
(1.3)
16:25
aiki
is, (h, g) M0 , then the bacteria can not grow (v = 0). Otherwise ((h, g)
M ), the metabolic activity is decided by the historical data. Hence, we
have obtained the system consisting of (1.1), (1.2), (1.3), the homogeneous
Neumann boundary condition (1.4) and initial condition (1.5):
h
g
=
= 0 on (0, T ) ,
(1.4)
(1.5)
{1}
[1,
]
w(0) {}
[, 1]
{1}
if
if
if
if
if
u(0) < 1 ,
u(0) = 1 ,
1 < u(0) < 2 ,
u(0) = 2 ,
u(0) > 2 ,
(1.7)
{1}
if u(0) > 2 .
(1.8)
16:25
aiki
Here, we give a brief list of previous works related to the above systems.
In [2, 3] numerical results for the system (1.1) (1.5) were obtained. Also,
Visintin proved the existence of a solution to the following system in [7]:
For i = 1, 2
uit Di ui + ci s = 0 in Q(T ),
w+1
s = 2 on Q(T ),
bt = cs in Q(T ),
w k ((u1 , u2 ), 2s0 1) in Q(T ),
b(0) = b0 in Q(T ),
ui
= 0 on (0, T ),
ui (0) = u0i ,
ut u + w = f in Q(T ),
ut u + w = f in Q(T ),
w k (u, w0 ) in Q(T ),
w r(u, w0 ) in Q(T ),
(1.9)
u
=
0
on
(0,
T
)
,
u = 0 on (0, T ) ,
u(0) = u0 ,
u(0) = u0 ,
and
(u + w)t u = g in Q(T ),
w k (u, w0 ) in Q(T ),
u = 0 on (0, T ) ,
u(0) = u0 ,
(1.10)
where f and g are given functions on Q(T ), w0 is the initial function. For
(1.9) the existence theorem was established and for (1.10) the existence and
uniqueness were proved in [7, 8].
In the present paper we have slightly modified Visintins result. Precisely, our main result of this paper is to prove the existence of a solution
to the system P := { (1.8), (1.2), (1.11), (1.4), (1.5)}:
w+1
, and w k ((h, g), w0 ) on Q(T ).
(1.11)
v=
2
In the next section we show the assumptions for data and precise statement of the main result, after we provide the definition and basic properties
on the completed relay operator due to [8]. At the end of this paper we
prove the existence theorem.
2. Statement of the result
First, we provide a weak and space structured systems of completed
relay operator due to [8]. To do so we introduce a function space
16:25
aiki
Q(T )
dx
on Q(T ),
(2.1)
uit i ui + ci bv = 0 on Q(T ), i = 1, 2,
w+1
, w k ((u1 , u2 ), w0 ) on Q(T ),
v=
2
b
ui
= 0,
= 0, i = 1, 2, on (0, T ) ,
(2.2)
(2.3)
(2.4)
(2.5)
16:25
aiki
for r 1 ,
1
1
f (r) = (r 1 ) + 1 for 1 2 < r < 1 ,
1
for r 1 2,
f (r) =
for r 2 + 2,
2 ) 1 for 2 < r < 2 + 2,
1
for r 2 ,
1
(r
interval [f (), f
()] for R, that is, for z L2 ()
Z
0 if z(x) [f (), f
()],
I (; z) =
dx, (x)
for a.e. x .
otherwise,
(3.1)
16:25
aiki
on Q(T ),
(4.1)
uit i ui + ci b v = 0 on Q(T ), i = 1, 2,
w + 1
v =
, wt + I ((u1 , u2 ); w ) 3 0 on [0, T ],
2
w (0) = w0 on ,
b
ui
= 0,
= 0, i = 1, 2, on (0, T ) ,
(4.2)
(4.3)
(4.4)
(4.5)
(4.6)
16:25
aiki
This lemma can be proved in the similar way that of Section 5 in [4] so
that we omit its proof. Here, we give the proof of Theorem 2.1.
Proof. For 0 < 0 let {b , u1 , u2 , w } be a solution of P . Here, for
Z
2
( k w k2BV (0,T ) dx)1/2 + (T + 2)||1/2
2 1
Z
Z
2
( (
(| | + | |)dt)2 dx)1/2 + (T + 2)||1/2
2 1 0
t
Z T
2T 1/2
(
(| |2L2 () + | |2L2 () )dt)1/2 + (T + 2)||1/2 .
2 1 0
t
Q(T )
(4.7)
16:25
aiki
dx
(4.8)
[0,T ]
(4.9)
By letting j in (4.9) we can get (4.7) since wj w weakly* in
L (Q(T )) and (u1j , u2j ) (u1 , u2 ) in C([0, T ]; L2 ()) as j .
1
Next,
we
R
R prove (4.8). Let z L (; C([0, T ])). Then for each j it holds
that dx [0,T ] (j (j j wj ) j (z))dwj 0. Here, for simplicity
we put
Z
dx
[0,T ]
(j (j j wj ) j (z))dwj
( (0 ) (z))dw
[0,T ]
Z
Z
Z
dx
j (j j wj )dwj
dx
(0 )dwj
[0,T ]
[0,T ]
Z
Z
Z
Z
+
dx
(0 )dwj
dx
(0 )dw
[0,T ]
[0,T ]
Z
Z
dx
(j (0 ) (0 ))dwj
[0,T ]
Z
Z
Z
Z
( dx
(0 )dwj
dx
(0 )dw)
=:
4
X
[0,T ]
[0,T ]
Iij .
i=1
I1j
Z
Z
Z
2
1/2
+j ( |wj |C([0,T ]) dx) + ( |j (0 ) (0 )|2C([0,T ]) dx)1/2 ).
16:25
aiki
10
We note that
| (x)
0 (x)|2C([0,T ])
16:30
Itai1
1. Introduction
Let 1 and 2 be two disjoint smooth, simple closed curves in R2 of lengths
l(1 ) and l(2 ), respectively, such that 1 lies inside 2 and the origin 0
lies inside 1 . Let W : R2 [0, ) be a smooth function (i.e., at least of
class C 4 ) satisfying
W > 0 on R2 \ (1 2 ) and W = 0 on 1 2 .
(H1 )
(H2 )
(H3 )
Let G be either a bounded smooth domain in RN , or a smooth N dimensional manifold. For each > 0 consider the energy functional
Z
W (u)
E (u) =
|u|2 +
(1.1)
2
G
for u H 1 (G, R2 ). Let Rc be a positive number such that the circle
SRc = {|x| = Rc } separates the two curves 1 and 2 . We shall assume
d
epartement
department
16:30
Itai1
12
w.l.o.g. that 1 lies inside SRc which lies inside 2 . The number Rc represents the constraint in the following minimization problem that we shall
study:
Z
min{E (u) : u H 1 (G, R2 ), |u| = Rc } ,
(P )
G
1
|u|. Denoting by u a minimizer in (P ), we are
(G)
G
G
interested in the asymptotic behavior of the minimizers {u } and their
energies E (u ), as goes to 0.
A first study of this problem was carried out by Sternberg [7]. He proved
a -convergence result, which has the following consequences:
Z
where |u| :=
and
(1.3)
(1.4)
We refer to the books [5, 1] for the definition of the perimeter and other
notions from the theory of BV-functions, that we shall use in the sequel.
The constant D which appears in (1.4) is a certaindistance between
the two curves 1 and 2 which we shall now define. First, for any pair of
points x, y R2 we set
dW (x, y) =
inf
L() ,
(1.5)
| 0 (t)| dt .
(1.6)
Lip([0,1],R2 ),
(0)=0,(1)=y
where
L() =
Then, we define
W ((t))
0
D :=
inf
1/2
Lip([0,1],R2 ),
(0)1 ,(1)2
L() .
(1.7)
It was proved by Sternberg (see [7] ) that there exists a geodesic realizing the infimum D in (1.7). There may be of course more than one such
16:30
Itai1
13
geodesic; their number may be infinite (as is the case of 1 , 2 which are
concentric circles and W radially symmetric). We denote the set of all these
geodesics by
G = { (i) : i I} ,
(1.8)
(i)
1, 2.
The results of Sternberg left some important questions unresolved:
(1) Existence of a converging subsequence is not known, i.e., a compactness
result is missing.
(2) Even if we assume convergence of a subsequence towards a limit u0 ,
which is a map in S satisfying (1.3), we cannot say where on 1 2 , u0
takes its values.
(1.9)
[/2, /2] .
(1.10)
16:30
Itai1
14
(1.11)
and
Mj = {x j : |x| = mj } , j = 1, 2 .
We shall also assume the following:
both M1 and M2 consist of a finite number of points .
(H4 )
(1.13)
(1.15)
m2 R c
M2 R c
<1
.
m2 m 1
M2 M 1
(1.16)
16:30
Itai1
15
In other words, the area of the disc on the sphere given, in spherical coordinates, by {(, ) : [0 , /2]}, is 4. Moreover, thanks to (1.16) we
have:
(1 sin 0 )m1 + (1 + sin 0 )m2 = 2Rc .
(1.18)
(1.19)
Note that the minimization problem in (1.19) is actually scalar, since w
takes its values on a curve. In the next lemma we give some of the properties
of the solution to (1.19).
Lemma 1.1. For any x j there exists a minimizer wj that realizes the
minimum in (1.19). Moreover, there exists a point y = y(x) Mj such
that limt wj (t) = y and
Z
Z
j (x, Mj )
0 2
=
|wj | dt =
(|wj | mj ) dt .
(1.20)
2
0
0
Proof. The analysis of problem (1.19) is identical to that of scalar problem
with a one-well potential. Therefore, all the the assertion of the lemma are
known and standard.
Now we are in position to state our main result.
Theorem 1.1. Assume that W satisfies hypotheses (H1 )(H4 ), (1.16) and
that (1.9) holds, i.e., each u is of the form (1.10). Then, up to replacing
each u by u R, where R is the reflection w.r.t. the (e1 , e2 )-plane, we
have:
(i) For a subsequence
un (/2,0 ) x(2) + (0 ,/2) x(1) ,
(1.21)
16:30
Itai1
16
where
(i)
(i)
K = min{1 (1 , M1 ) + 2 (2 , M2 ) : i I} ,
and :=
(1.22)
(1.23)
tan 0
m2 m1 .
Note that Theorem 1.1 provides us with a criterion for identifying the limit
in (i). Indeed, the points x(1) , x(2) that realize the limit form the pair of
points, one in M1 and the other one in M2 , which are the closest (in an
appropriate sense) to a geodesic in G.
Our results can be generalized without difficulty to the problem on S N
for any N 3. Indeed, the axial symmetry of the minimizers is guaranteed
by Lopes method, so that the one dimensional formulation involves the
weight function (cos )N 1 . Furthermore, although we have not examined
in detail such cases, it is very likely that most of the results of this paper
may be extended, by the same techniques, to more general potentials W , for
example, with zero set consisting of two compact surfaces in R3 , separated
by a sphere of radius Rc .
2. A first upper-bound
We shall first introduce some more notation that will be needed in the
sequel. Using dW we define the corresponding distance functions to the
curves 1 , 2 by
j () = dW (, j ) := inf dW (, x) , j = 1, 2 .
(2.1)
e = min(1 , 2 ) .
(2.2)
|j ()|2 = W () a.e. on R2 .
(2.3)
xj
We also set
(2.4)
(2.5)
16:30
Itai1
17
(2.7)
dW (x1 , x2 ) = 2 +
inf
),
Lip([0,1],
(0)=y1 ,(1)=y2
L() ,
(2.8)
where L() is defined in (1.6). Note that for each > 0 we have
()
dW (x1 , x2 ) D for every x1 1 and x2 2 with equality if and only if
x1 and x2 are the end points of a geodesic in G.
The main result of this section is a simple upper-bound for the energy.
It is not optimal, but it gives the exact first term in the energy expansion
(of the order 1 ), and the order 1/2 of the next term.
Proposition 2.1. There exists a constant C1 > 0 such that
2D
C1
+ 1/2
E (u ) 2 cos 0
(2.9)
16:30
Itai1
18
(i )
Furthermore, since
p
W ((z(s))) d((z(s)), 1 ) z(s)
as s
and
p
W ((z(s))) d((z(s)), 2 ) L z(s)
as s ,
c2 s
as s ,
(2.12)
as s ,
(2.13)
)) ,
we have
Z 2
Z
W (v)
2 2
|v 0 |2 +
cos
d
=
W (v) cos d
2
2 1
1
Z
2 2 p
=
W (v)|v 0 ()| cos d .
1
(2.14)
16:30
Itai1
19
(z( lnc1/
)) at = and to p1 at = .
1
1
1
1
(iv) On [ ( c1 + c2 ) ln , ] we set
ln 1/
v () = z
c1
(v) On [ 2 ( c11 + c12 ) ln 1 , ( c11 + c12 ) ln 1 ] we let v to be the
(i )
linear function which equals to p2 (= 0 ) at = 2 ( 1 + 1 ) ln 1
2
c1
c2
= 1 sin(0 ( 1)1/2 ) |x(1) |
= 1 sin 0 + ( 1)1/2 cos 0 |x(1) | + O() .
(2.15)
Here and in the rest of the proof we denote by O(f ()) a function g(t, )
satisfying |g(t, )| C(t)f () with C(t) bounded for bounded t. Next, it is
easy to verify that
Z +
1/2
|v | cos = 1/2 1 (x(1) , p1 ) cos 0 + O() ,
(2.16)
with
1 (x
(1)
, p1 ) =
|z|
J1 (x(1) ,p1 )
d1 (x(1) , p1 )
1
|v | cos = O( ln ) ,
1
1
1
( c + c ) ln
1
(2.18)
16:30
Itai1
20
and
Z
1
1
(
c + c ) ln
1
1
2(
c + c ) ln
As in (2.16) we find
1
1
1
Z 2(
c + c ) ln
1
1
1
2(
c + c ) ln
1
|v | cos = O() .
(2.19)
1
1/2
Z 2(
c1 + c2 ) ln
cos |x(2) |
/2
(2.21)
(2)
1
1/2
= 1 + sin 0 ( + 1) cos 0 |x | + O( ln ) .
1 (x(1) , p1 ) + 2 (x(2) , p2 ) m1 m2
1
+ O(1/2 ln ) .
m2 m 1
(2.22)
I2 + I6 = O(1/2 ) .
(2.23)
and
ln 1/
))| = O()
c1
ln 1/
))| = O() ,
c2
(2.24)
16:30
Itai1
21
cos ( + ) ln
(cos 0 + C1/2 ) .
2
c1
c2
(2.25)
2D
C1
+ 1/2 .
(3.1)
or
|1 + 0 | C1 1/2
and ({x S 2 : 1 (u (x)) 1/2 }A 2 ,1 ) C2 ,
(3.2)
16:30
Itai1
22
(3.3)
e (0 )) = 2 (u (0 ))
We shall assume in the sequel that (3.3) holds with (u
(this implies, of course, that u (0 ) is close to 2 ).
Next, define, if it exists,
1/2
+
},
1 = inf{ 0 : 1 (u ())
and then
+
1/2
1 = sup{ +
}.
1 : 2 (u ())
1/2
j = sup{ +
},
j : 1 (u ())
1/2
j = sup{ +
}.
j : 2 (u ())
1/2
+
not exist, or j > 2 . For each j = 1, . . . , k 1 we have (see (2.14))
1
2
E (u , A+ ,+ ) cos +
j
j
j
2
+
j
+
p
W (u )|u0 |
(3.4)
2
(D 21/2 ) cos +
j .
In particular, we deduce
1
2
C
E (u , A+ ,+ ) (D 21/2 ) sin 1/2 1/2 ,
j
j
2
(3.5)
which together with the upper bound (2.9) implies that the process of
+
C
+
selection of pairs (j , +
j ) must terminate, with the bound k 1/2 .
Similarly, set, if it exists,
1/2
},
1 = sup{ 0 : 1 (u ())
16:30
Itai1
23
and then
1/2
1 = inf{
}.
1 : 2 (u ())
1/2
},
j = sup{ j1 : 2 (u ())
1/2
j = inf{
},
j : 1 (u ())
1/2
},
j = sup{ j1 : 1 (u ())
1/2
j = inf{
}.
j : 2 (u ())
1/2
not exist, or j < 2 + . The same computation as in (3.4)(3.5) gives
2
C
1
1/2
E (u , A , ) cos
) 1/2 ,
j (D 2
j
j
2
(3.6)
C
which implies the bound k 1/2
. It will be convenient to set also
+
1/2 and
+ 1/2 .
k+ = k+ =
k = k =
2
2
e ) 1/2 , it follows from
Since on each A + + and A we have (u
i ,i
i ,i
k+
1
[
i=1
Put
V =
A+ ,+
i
j1
k
1
[
A , ) C1/2 .
i=1
A +
+
2j1 ,2j
j1
(3.7)
A ,
2j
2j1
(3.8)
In the above only js which do not go out of range are taken into account,
i.e., those satisfying 2j k + in the first union and those satisfying 2j k
in the second. On the one hand we have 1 (u ) > 1/2 on each A+ ,+
2j
2j+1
and A , , which implies that
2j+1
2j
(3.9)
(3.10)
16:30
Itai1
24
Note that from (2.26) it follows that there exists (0, 1) such that
|({1 (u ) 1/2 }) 4 | C1/2
and |({2 (u ) 1/2 }) 4(1 )| C1/2 .
(3.11)
|
sj (u )|
1/2
1/2
{j (u )
}
{j (u )
}
Z
|u sj (u )|
(3.12)
{j (u )1/2 }
Z
W (u )
{j (u )1/2 }
1/2
C1/2 .
(3.13)
Set
m(j)
1
=
({j (u ) 1/2 })
|
sj (u )| ,
for j = 1, 2 . (3.14)
{j (u )1/2 }
= 4Rc + O(
1/2
(3.15)
{2 (u )1/2 }
).
Form (3.15) and (3.12) it follows that there exists a number K, which is
uniformly bounded, such that
1/2
1/2
m(1)
) + m(2)
) = Rc .
( + K
(1 K
(3.16)
(j)
(3.17)
16:30
Itai1
25
2 ]
2[X
2[ k2 ]
cos +
j +
j=1
X
j=1
cos
= Per V I((V ))
j
(3.18)
2 cos 0 C1/2 .
On the other hand, summing-up the inequalities in (3.4) and (3.6) yields
+
k[
1
k[
1
1
E u ,
A+ ,+
A ,
j
j
j
j
2
j=1
j=1
2D
+
kX
1
cos +
j
j=1
kX
1
cos
j
j=1
(3.19)
1/2
k
X
cos +
j
j=1
k
X
1/2
cos
.
j cos 0 + C
(3.20)
j=1
1/2
Note that we used the fact that cos +
= O(1/2 ).
k+ = cos k = sin
Therefore, combining (3.18) with (3.20) we get
+
k
k
X
X
cos + +
cos cos 0 C1/2 .
i
j=1
(3.21)
j=1
or (V A
j+1 ,j
j+1
(3.22)
(3.23)
0 .
(3.24)
16:30
Itai1
26
(3.25)
(3.26)
(3.27)
To conclude the proof of the claim, we shall show that one of the components
of V has measure larger than (V ) C. By the above computation it is
enough to consider the case where V consists of r 3 components (i.e.,
annuli) that we shall now denote by A1 , A2 , . . . , Ar with
(A1 ) (A2 ) (Ar ) .
Furthermore, if (A1 ) (V2 ) then the conclusion follows from the argument that led to (3.27). Thus assume that
(V )
.
(3.28)
2
We shall see that this is impossible. Indeed, (3.28) implies the existence of
j0 1 which is the largest index for which
(A1 ) <
(V )
.
2
16:30
Itai1
27
Setting
B = Aj0 +1 Aj0 +2 Ar
and C = A1 A2 Aj0 ,
we obtain from the argument that led to (3.27) that (C ) C. But from
the definition of j0 it is easy to see that we must have then (B ) 43 (V ),
i.e., (V ) = (B ) + (C ) 43 (V ) + C, which is a contradiction (for
small enough). The proof of the claim is then complete.
Consider now the fat component A1 , and assume without loss of generality that it lies in the upper hemisphere, i.e., A1 = A+ ,+ for some
j
j+1
(3.29)
(3.30)
(3.31)
and |+
j+1
| C1/2 .
2
(3.32)
2 cos 1
2D cos 0
(D 21/2 )
C1/2 .
(3.33)
The next lemma provides pointwise estimates that roughly speaking show
that u () is close to 2 for below 2 , while u () is close to 1 for
above 1 .
16:30
Itai1
28
1 ,
(3.34)
2 .
(3.35)
(u
())
d
E
(u
,
A
)
1
1
d
1/2
Z
2
1
2
cos 1 1/2 ,
cos 1 (u ())
Z 2
sin 2 (u ()) d .
0), we have
Denoting + = max(,
Z 2
sin 2 (u ()) d
Z 2
+
sin 2 (u ()) d +
2
+
sin 2 (u ()) d
(3.37)
sin 2 (u ()) d .
Since for [0, 2 ] we have sin C cos and since by (3.33) and (2.9),
Z
2 2
C
cos 2 (u ()) d 1/2 ,
+
1/2
and (3.35) follows as well.
16:30
Itai1
29
(4.1)
(4.2)
(4.3)
1
and 1 1 ln .
(4.4)
Clearly it is enough to prove the first estimate in (4.4), as the proof of the
second one is identical.
We define the function 2 () by the equation
u () = Gs2 (u ()) (2 ()) ,
[2 , 1 ] .
(4.5)
(4.6)
(4.7)
16:30
Itai1
30
Therefore,
Z
W (u )
|u0 |2 +
cos
2
Z 2
W (u )
|(u0 ) |2 +
cos
2
2
Z 2
W (u )
cos
=
|2 (u )|2 (20 )2 +
2
2
Z 2
1
=
W (u ) (20 )2 + 2 cos
2
Z 2
1
2 d
=
W (u )(20 )2 +
2 (u ) cos .
d
2
We also have
Z 1
Z 1
W (u )
2 d
|u0 |2 +
cos
2 (u ) cos .
2
2
2 d
(4.8)
(4.9)
(4.10)
(4.11)
2
Applying the last estimate together with the Cauchy-Schwarz inequality
yields
Z 2
2 2
1
2 2 1/2
|
|20 | C
.
(4.12)
|2 (2 ) 2 (2 )
2 (2 ) = O(1) and 2 (2 ) ln
1
.
(4.13)
16:30
Itai1
31
/2
Z
/2
Z
cos m2, +
/2
1
cos m1, + O( ln ) ,
(4.16)
1
+ (1 sin 2 )(m1, m1 ) + O( ln ) .
Since sin 2 sin 0 = O(1/2 ) (see (3.1) and Lemma 4.1), it follows from
(4.16) that also
m2, m2 = O(1/2 ) and m1, m1 = O(1/2 ) .
(4.17)
Therefore,
1
(sin 0 + 1)(m2, m2 )
m2 m 1
(4.18)
1
1
(1 sin 0 )(m1, m1 ) + O( ln ) .
m2 m 1
sin 2 sin 0 =
tan 0 (1 sin 0 )
m2 m 1
and 2 =
tan 0 (1 + sin 0 )
.
m2 m 1
(4.19)
16:30
Itai1
32
Next we shall introduce some more notation. For s for which j (u ())
d0 we define vj = vj, () = sj (u ()), j = 1, 2. In particular we set
p1 = v1 (1 ) = s1 (u (1 ))
and p2 = v2 (2 ) = s2 (u (2 )) .
(4.20)
()
Recall the distance function dW that was defined in (2.8). We shall next
use it for = 1/2 .
Lemma 4.3. We have
1
E (u )
2
Z 2
(1/2 )
2dW (p1 , p2 )
0 2
|v2 | +
(|v2 ()| m2 ) cos
/2+1/3
1/2
1/3
Z /2
(
)
2dW (p1 , p2 )
+
|v10 |2 +
(|v1 ()| m1 ) cos
1
(1/2 )
2dW
where =
(4.21)
(p1 , p2 ) cos 0
C5/12 ,
tan 0
m2 m1 .
Proof. Note first that for [/2 + 1/3 , 2 ] we have cos C1/3 , so
by Lemma 3.1
2 (u ()) C1/6 ,
(4.22)
2
X
2
1 (1/2 )
cos 0 +
j (mj, mj ) + O( ln ) (dW (p1 , p2 ) 21/2 )
j=1
(1/2 )
2dW
2
X
4 cos 0
(p1 , p2 )
+ O(| ln |) .
cos 0 +
j (mj, mj )
1/2
j=1
(4.23)
C
1/2
(4.24)
16:30
Itai1
33
By (4.24)
Z 2
2 (u ) cos C
2
0
W (u ) cos C2 E (u , S 2 \ A1 ,2 )
C2 1/2 = C3/2 ,
(4.25)
From (4.25) we get by the same computation as in (3.36) the lower bound
for the normal energy (see (4.7)(4.8)), i.e.,
1
E (u , A2 ,2 )
2 Z
2
W (u )
:=
|(u0 ) |2 +
cos
2
2
Z 2
2
1
2 cos 0
2 cos 2
1/2
C.
1/2
1/2
(4.26)
(cos 0 C1/2 )
1 (u )
1
d
2
2 cos 0
(cos 0 C1/2 )(1/2 C)
C.
1/2
(4.27)
Next we take into account also the contribution from the tangential energy, i.e., of (u0 ) . As in [2] we have
(u0 ) = u0
d
s2 (u ))
s2 (u )
v20
d (
=
=
,
|
s2 (u )|
|
s2 (u )|
|
s2 (u )|
(4.28)
(4.29)
16:30
Itai1
34
for some constant > 0. Combining (4.26) with (4.29) in conjunction with
(4.22) and (4.24) leads to
1
E (u , A/2+1/3 ,2 )
2
Z 2
2 cos 0
1/2
+
cos (1 2 (u ))|v20 |2 C
(4.30)
1/2
/2+1/3
Z 2
2 cos 0
+
|v20 |2 cos C5/12 .
1/2
/2+1/3
Similarly,
1
E (u , A1 ,/21/3 )
2
Z /21/3
2 cos 0
+
|v10 |2 cos C5/12 .
1/2
1
(4.31)
2
( 2 )
( 2 ) X
2d
(p1 , p2 ) cos 0
2d
(p1 , p2 )
1
E (u ) W
+ W
j (mj, mj )
2
j=1
|v20 |2
1
3
2 +
cos +
/2 3
1
Next we estimate the second term on the r.h.s. of (4.32). First, write
Z 2
|u | cos
m1, (1 sin 1 ) =
1
2
1
3
2
|u | cos +
3
2
|v1 | cos +
3
2
(4.33)
Since (H3 ) implies that |u | C(1 + W (u )) we get, using also (4.24), that
Z /2
Z /2
|u | cos C(1 cos(1/3 )) + C
W (u ) cos
(4.34)
/21/3
/21/3
C(2/3 + 3/2 ) .
/21/3
1/2
1 (u ) cos
3/4
(4.35)
16:30
Itai1
35
/21/3
/21/3
(4.36)
(4.37)
1
1 + sin 2
/2+1/3
dW
(p1 , p2 ) D + C1/2 .
(4.38)
Proof. It suffices to combine the upper bound (2.9) with (4.21) (taking
into account only the third term on the r.h.s.).
The next lemma provides a lower bound for the two integrals on the right
hand side of (4.21).
Lemma 4.5. We have
Z /21/3
(1/2 )
2dW (p1 , p2 )
0 2
|v1 | +
(|v1 ()| m1 ) cos
1
q
1/2
cos 0
(
)
1/2
2dW (p1 , p2 ) 1 (p1 , M1 ) + o (1) .
(4.39)
and
(1/2 )
2dW (p1 , p2 )
0 2
|v2 | +
(|v2 ()| m2 ) cos
/2+1/3
q
1/2
cos 0
(
)
1/2
2dW (p1 , p2 ) 2 (p2 M2 ) + o (1) .
(4.40)
16:30
Itai1
36
1
2
C,
3
2
( 2 )
2dW (p1 , p2 )
|v10 |2 +
(|v1 ()| m1 ) cos
(4.41)
0t
/2 1/3 1
.
1/2
(4.42)
We have
1
J1 ()
1
2
|v10 |2
1
4
1
2
(cos 1 c )
1
= (cos 1 c 4 )
By (4.41) we have
Z
1/4
0
( 2 )
1 + 4
1 + 4
1
4
2dW (p1 , p2 )
+
(|v1 ()| m1 ) cos d
( 2 )
|v10 |2
2dW (p1 , p2 )
+
(|v1 ()| m1 ) d
1
( 2 )
|w0 |2 + 2dW (p1 , p2 )(|w(t)| m1 ) dt . (4.43)
(1/2 )
|w0 |2 + 2dW
(p1 , p2 )(|w(t)| m1 ) dt C .
Hence, there exists t (0, 1/4 /2) such that y := w(t ) satisfies
|y | m1 C1/4 .
(4.44)
From (4.44) it follows that there exists z1 M1 such that |z1 y | = o(1).
It follows then that there exists a function () = o (1) such that
|z| m1 () , z J1 (y , z1 ) ,
(4.45)
see after (2.16) for the definition of J1 . We shall next define a new function
w
e on [0, ). First, on the interval [0, t ] we set w
e = w. Then, on the interval
(t , t +(())1/2 ] we let w
e go from w(t ) to z1 along 1 in constant velocity.
Finally, we set w(t)
e z1 on (t + (())1/2 , ). It is clear from the above
construction that w
e satisfies
Z
(1/2 )
|w
e0 |2 + 2dW (p1 , p2 )(|w(t)|
e
m1 ) dt = o (1) .
(4.46)
t
16:30
Itai1
37
1/4
0
(1/2 )
|w0 |2 + 2dW (p1 , p2 )(|w(t)| m1 ) dt
q
(1/2 )
2dW (p1 , p2 ) 1 (p1 , M1 ) + o (1) .
(4.47)
W (
n ) |(
n )0 | const on [0, 1] .
Using the same notations as in the proof of Lemma 4.1 we can decompose
(
n )0 as a sum of two orthogonal components: (
n )0 in the direction of
16:30
Itai1
38
1 , and (
n )0 in the direction of
s1 . We have
Z
Z
1q
2
1
W (
n ) |(
n )0 | =
W (
n ) |(
n )0 |2 + |(
n )0 |2 .
0
(4.48)
1
0
Z
q
2
W (
n ) |(
n )0 |
1
|1 (
n )| |(
n )0 |
1
0
|(
n )0 |
2
2
2
( 1/2
n ) . (4.49)
c2 1/2
n ,
(4.50)
n
,
dWn
The next proposition provides the lower-bound estimate needed for assertion (ii) of Theorem 1.1.
Proposition 4.1. We have
1
2D p
K
1
E (u ) cos 0
+ 2D 1/2 + o( 2 ) .
2
(4.52)
Proof. Plugging the estimates (4.39)(4.40) in (4.21) and using the obvi(1/2 )
ous estimate dW
(p1 , p2 ) D yields
1
2D cos 0
cos 0 p
E (u )
+ 1/2
2D 1 (p1 , M1 )
2
+ 2 (p2 , M2 ) + o(1/2 ) .
(4.53)
16:30
Itai1
39
(5.1)
Proof. We are going to refine the construction used in the proof of Proposition 2.1, using the insight we got from the lower-bound estimates we
established so far. We first fix x(1) M1 , x(2) M2 and (i0 ) G that re(i )
(i )
p
|w
e10 |2 + 2D(|w
e1 | m1 ) dt = 2D 1 (p1 , M1 ) .
2
The above construction replaces the construction on the intervals (i) and
(ii) in the proof of Proposition 2.1. From here we follow exactly that construction on the intervals (iii)(v). Finally, the construction on the intervals
16:30
Itai1
40
(vi)(vii) is modified in a similar manner to the above, and yields the analogous estimate to (5.3), namely
1
1
1
1)
E (v , A/2,2(
c1 + c2 ) ln
2
p
= cos D/2 2 (p2 , M2 )1/2 + o(1/2 ) .
(5.4)
Combining (5.3) and (5.4) with the estimates from the proof of Proposition 2.1 yields
2D p
1
E (v ) cos
+ 2D 1 (p1 , M1 ) + 2 (p2 , M2 ) 1/2
2
(5.5)
1/2
).
+ o(
It remains to fix the value of in such a way that the constraint (2.10)
is satisfied. Put
R
R /2
|v | cos d
|v | cos d
/2
1 =
and 2 =
.
1 sin
1 + sin
By our construction of v and (1.20) we have
Z /2
(1 m1 )(1 sin ) =
(|v | m1 ) cos
1 (p1 , M1 )
1/2 + o(1/2 )
=
(cos )
2 2D
(5.6)
and
=
(2 m2 )(1 + sin )
(|v | m2 ) cos
/2
2 (p2 , M2 )
1/2 + o(1/2 ) .
=
(cos )
2 2D
(5.7)
(5.8)
Writing = 0 1/2 and using first order Taylor expansion yields from
(5.6)(5.8) a perturbed linear system of 3 equations in the 3 unknowns
1 , 2 and which has a solution
r
16:30
Itai1
41
For the value of given by (5.9) we find by the Taylor expansion for the
cosine function that
cos = cos 0 + 1/2 sin 0 + o(1/2 )
r
(5.10)
= cos 0 1 +
(1 + 2 )1/2 + o(1/2 ) .
8D
Finally, plugging (5.10) in (5.5) gives (5.1).
Proof of Theorem 1.1 completed. Since the energy estimate (1.22) follows
from Proposition 4.1 and Proposition 5.1, it remains to prove the convergence result, i.e., assertion (i). Passing to a subsequence, we may deduce
(i )
(i )
from Lemma 4.6 that lim p1n = p1 = 1 0 and lim p2n = p2 = 2 0 for some
geodesic (i0 ) G. Moreover, from (4.53) and (5.1) we deduce that there is
a pair of corresponding points, x(j) Mj , j = 1, 2, that together with (i0 ) ,
realize the minimum K in (1.23). Next we shall show that un x(1) uniformly on [0 + , 2 ] for any > 0 (the uniform convergence un x(2)
on [ 2 + , 0 ] is proved in the same manner). A direct consequence of
(3.34) is that
d(u , 1 ) 0 uniformly on [0 + , ] .
(5.11)
2
Therefore, whenever a sequence {n } [0 + , 2 ] satisfies un (n )
x1 , then necessarily x1 1 . Combining (4.21) with the upper-bound (5.1)
(or (2.9)) we get
Z /21/3
(1/2 )
2dW (p1 , p2 )
0
2
|v1, | +
(|v1, ()| m1 ) cos
(5.12)
1
C1/2 ,
16:30
Itai1
42
December 3, 2007
11:7
BreChiYform
H. BREZIS
Laboratoire Jacques-Louis Lions, universite Pierre et Marie Curie, 175, rue du
Chevaleret, 75013 Paris, France and Rutgers University, Department of
Mathematics, Hill Center, Busch Campus, 110, Frelinghuysen Road,
Piscataway, NJ 08854, USA, e-mail: brezis@math.rutgers.edu
M. CHIPOT, Y. XIE
Institut f
ur Mathematik, Abt. Angewandte Mathematik, Universit
at Z
urich,
Winterthurerstrasse 190, CH8057 Z
urich, Switzerland, e-mail:
m.m.chipot@math.unizh.ch, yitian.xie@math.unizh.ch
Abstract: The goal of this note is to present elementary proofs of statements
related to the Liouville theorem.
1. Introduction
We denote by A(x) = (aij (x)) a (k k)-matrix where the functions aij ,
i, j = 1, . . . , k are bounded measurable functions defined on Rk and which
satisfy, for some , > 0, the usual uniform ellipticity condition:
||2 (A(x) ) ||2
a.e. x Rk ,
Rk .
(1.1)
in D0 (Rk ),
(1.2)
k
where a L
loc (R ) and a 0. When a 6= 0 and (A) = , the usual
Laplace operator, the above equation is the so called stationary Schrodinger
equation for which a vast literature is available (see [16], [20]). When a = 0
it is well known that every bounded solution to (1.2) has to be constant
(see e.g. [5], [11], [12] and also [4], [19] for some nonlinear versions). The
case where a 6= 0, and k 3 is very different and in this case non trivial
bounded solutions might exist.
Many of the results in this paper are known in one form or another
(see for instance [1], [2], [3], [10], [9], [14], [16], [17]) but we have tried to
develop here simple self-contained pde techniques which do not make use of
43
December 3, 2007
11:7
BreChiYform
44
(2.1)
% = 1 on 1/2 ,
% = 0 outside ,
|%| c% ,
(2.2)
(2.3)
|u| %
u dx ,
r
r
r \r/2
r \r/2
(2.5)
Taking
v = u%2
x
r
= u%2
(2.6)
yields
Z
r
Au {u%2 } + au2 %2 dx = 0.
(2.7)
December 3, 2007
11:7
BreChiYform
45
Since
%2 =
2% x
%
r
r
we obtain
Z
Z
1
2
2 2
{Au u}% + au % dx =
Au % 2%u dx
r r \r/2
r
Z
C1
|u||u|% dx,
r r \r/2
where C1 is a constant depending on aij and c only. Using the ellipticity
condition (1.1) it follows easily that
Z
Z
C1
min(1, )
{|u|2 + au2 }%2 dx
|u||u|% dx.
r r \r/2
r
By the CauchySchwarz inequality we have
Z
{|u|2 + au2 }%2 dx
r
C1
r min(1, )
Z
1/2 Z
|u| % dx
2 2
r \r/2
1/2
u dx
.
2
r \r/2
December 3, 2007
11:7
BreChiYform
46
and thus
Z
|u|2 dx
r/2
|u|2 %2 dx
C
r2
u2 dx CC 0 .
r \r/2
|u|2 dx
r /2
c
r
12
r
|u|2 dx
Z
r \r/2
Z
|u| dx c
2
r/2
|u| dx
21
0
|u| dx
2
r/2
u2 dx = 1 .
(3.2)
r \r/2
One remarks easily that if u is a minimizer of (3.2) so is |u|. One can show
then that the first eigenvalue is simple. Moreover we have
Theorem 3.2. Under the assumptions of Lemma 2.1, suppose that for
some constants C0 > 0, < 2, one has
r C0 /r
(3.3)
December 3, 2007
11:7
BreChiYform
47
1
r
Z
Au u + au2 dx
u H 1 (r \ r/2 ).
(3.4)
r \r/2
(|u| + au )%
r
C
dx 2
r
r
x
u2 dx
r \r/2
(3.6)
Cp
r(2)p+2
u2 dx,
2p r
December 3, 2007
11:7
BreChiYform
48
(3.7)
r v dx v H 1 (r \ r/2 ).
Ar v + ar v dx = r
r \r/2
r \r/2
Taking v = 1 yields
Z
Z
a(x)r dx = r
r \r/2
r dx.
r \r/2
dx
r dx
r
r
r r \r/2
r \r/2
and the result follows.
We now consider other cases where (3.3) holds, in particular when no
decay is imposed to a. We are interested for instance in the case where at
infinity a has enough mass locally. We start with the following lemma:
Lemma 3.1. Let (for instance) Q = (0, 1)k be the unit cube in Rk . For
any > 0 and > 0 there exists = (, ) such that if the function a
satisfies
Z
0 a a.e. x Q,
a dx ,
(3.8)
Q
December 3, 2007
11:7
BreChiYform
49
then
Z
v 2 dx
|v|2 + av 2 dx
v H 1 (Q).
(3.9)
vn2 dx = 1
(3.12)
(3.13)
an vn2 dx
1
.
n
(3.14)
Thus
Z
Z
an dx =
an vn2 dx +
an (1 vn2 ) dx
1
+ |1 vn |2 |1 + vn |2 0
n
when n +. Impossible. This completes the proof of the lemma.
With the notation of Section 2 we set
= (1, 1)k .
We consider the lattice generated by Q = (0, 1)k i.e., the cubes
Qi = Qzi = zi + Q zi Zk .
Then we have
(3.15)
December 3, 2007
11:7
BreChiYform
50
(3.16)
Qi
then
. 1
1
n
(3.17)
where is defined in Lemma 3.1 and denotes the maximum of two numbers.
2n
u dx
|u|2 + au2 dx Qi Rk \ n u in H 1 (Qi ).
Qi
Qi
u2 dx
2n \n
Z
|u|2 + au2 dx
2n \n
Z
1
Au u + au2 dx
2n \n
Z
1
1
Au u + au2 dx u H 1 (2n \ n ).
2n \n
The result follows then from (3.2).
Remark 3.3. Combining Theorems 3.2 and 3.4 it follows that (1.2) cannot
have a nontrivial bounded solution (or of polynomial growth) when (3.16)
holds. This is the case when at infinity
a a0 > 0
or more generally
a ap
(3.18)
December 3, 2007
11:7
BreChiYform
51
a.e. in O.
(3.19)
in O,
on O,
(3.20)
then
u2 (u1 0)
in O.
+ au 0
Au
in O
(3.21)
means
Z
Considering v = u
2 and Au2 +a1 u2 0 leads to u2 0. Next considering
v = (u1 u2 )+ H01 (O) and (3.20) we obtain
Z
aij xj u1 xi (u1 u2 )+ + a1 u1 (u1 u2 )+ dx
O
Z
Hence
Z
December 3, 2007
11:7
BreChiYform
52
|x| > R.
(3.22)
in B(0, n),
un = 1 on B(0, n),
(3.23)
where B(0, n) denotes the ball of center 0 and radius n. From Proposition
3.1 we obtain that u, solution to (3.23), is such that:
|u| un u |u| un ,
(3.24)
n 1 R 1 1 n1 2 R2 1
1 R1 1
c3 = 2
.
1
n 1 R 1 n1 2 R2 1
In the above setting, c0 is a positive constant small enough that we will
determine later.
We remark that c2 and c3 are both positive and that 1 , 2 are the two
roots to the second order equation
2 + (k 2) c0 = 0.
(3.26)
December 3, 2007
11:7
BreChiYform
53
in B(0, R).
1 2 r2 2 R2 1 {R1 2 r1 2 }
> 0,
n2 1 R1 1 n1 2 R2 1
and thus
xi (aij (x)xj vn ) + a(x)vn
D{c2 1 r1 2 + c3 2 r2 2 }
+c2 aij (x)xi xj 1 (1 2)r1 4 aij (x)ij 1 r1 2 + c0 r1 2
+c3 aij (x)xi xj 2 (2 2)r2 4 aij (x)ij 2 r2 2 + c0 r2 2 .
December 3, 2007
11:7
BreChiYform
54
on
when n + since
n2 1 R1 1 n1 2 R2 1
as n +. From (3.24) we have also on B(0, n)
|u| vn u |u| vn
for any n. Letting n leads to that
u = 0.
Remark 3.4. The above result holds true for an operator in nondivergence form, i.e., under the assumption of Theorem 3.5 the equation
aij (x)x2i xj u bi (x)xi u + a(x)u = 0
December 3, 2007
11:7
BreChiYform
55
with
(b, x) D
|x| > R
and
Z
a(x)|x|k+2 dx <
(4.1)
|x|>1
with
k 3.
Under the above assumptions we can show
Theorem 4.1. (Grigoryan [8], see also [2], [3], [15]) Assume ( (4.1)).
Then there exists a function u such that
0<u<1
in Rk
(4.2)
in D0 (Rk ).
(4.3)
satisfying
u + au = 0
on B(0, n).
(4.4)
(4.5)
and
un+1 un
in B(0, n).
(4.6)
December 3, 2007
11:7
BreChiYform
56
in Rk .
(4.7)
k2 d
un ( k2 ) dx
n
|x|
|x|=n
B(0,n)
Z
Z
+
( k2 ) d +
aun k2 dx = 0. (4.8)
|x|
|x|=n |x|
B(0,n)
By (4.5)
un
0
on B(0, n)
(4.9)
and
2k
( k2 ) = k1
|x|
n
on B(0, n)
so that
Z
|x|=n
( k2 ) d = (2 k)k
|x|
(4.10)
where k denotes the area of S k1 . From (4.8), (4.9) and (4.10) we have
Z
Z
un ( k2 ) dx +
aun k2 dx (k 2)k .
(4.11)
|x|
|x|
B(0,n)
B(0,n)
Notice that ( |x|k2 ) has compact support (in R < |x| < R + 1) since
( |x|1k2 ) = c0 where 0 denotes the Dirac measure at 0. Therefore one
has
Z
lim
un ( k2 ) dx = 0
(4.12)
n B(0,n)
|x|
December 3, 2007
11:7
BreChiYform
57
a(x)
dx.
aun k2 dx
k2
|x|
|x|
B(0,n)
R<|x|
(4.13)
|x|R
This is in particular the case when aij (x) = ij for |x| large.
In the radially symmetric case we can say more.
Theorem 4.2. Suppose that the solutions to (1.2) are radially symmetric,
then they do not change sign and are multiple of each other.
Proof. Let u be a radially symmetric solution to (1.2). Let us first prove
that u does not change sign. Changing u into u we can suppose
u(0) 0.
We argue by contradiction and assume that u changes sign. If u(0) > 0,
there exists a r0 such that
u(r0 ) = 0.
Then
Z
u v + auv dx = 0
(4.14)
B(0,r0 )
December 3, 2007
11:7
BreChiYform
58
in D0 (Rk ).
We have
u(0) > 0, u = u(r) is nondecreasing on (0, +), lim u(r) = u() < +.
r
Proof. u(0) > 0 results from the previous theorem. In addition we have
u00
k1 0
u + au = 0
r
(rk1 u0 )0
0.
rk2
(4.15)
|x|
(4.16)
December 3, 2007
11:7
BreChiYform
59
Proof. We introduce
a
=
(
|a|
a0 (r)
Let u
n be the solution to
(
un + a
u
n = 0 in B(0, n),
u
n = 1
on B(0, n).
(4.17)
Of course since a
is radially symmetric, so is u
n and it converges to a radially
symmetric function u
which is a nontrivial solution to (see Theorem 4.1)
u+a
u
=0
in D0 (Rk ).
Suppose that u
() < 1. Consider vn the solution of
(
vn + a
vn = 0 in B(0, n)
vn = 1 u
()
on B(0, n).
One has
(
(
vn + u
) + a
(
vn + u
) = 0
in B(0, n),
vn + u
=1+u
u
() 1
on B(0, n).
in B(0, n).
Now clearly vn = (1 u
())
un and thus
(1 u
())
un + u
u
n .
Passing to the limit in n we obtain
(1 u
())
u+u
u
which contradicts u
() < 1. Thus we have u
() = 1.
Now from (4.17) we derive, passing to the limit,
u
u 1.
December 3, 2007
11:7
BreChiYform
60
C
.
(1 + |x|)2
(4.18)
(4.19)
Lemma 4.1. Under the assumption (4.19) there does not exist a bounded
nontrivial radially symmetric solution to
u + a(r)u = 0
in D0 (Rk ).
(4.20)
For s
r
2
we have
Z
Z
a()u() d u(0)
r
2
a() d.
0
2 0
By (4.19) the left-hand side of this inequality goes to + with r. This
contradicts the boundedness of u and completes the proof of the lemma.
December 3, 2007
11:7
BreChiYform
61
(4.22)
where a
satisfies (4.19) then the problem
in D0 (Rk )
u + au = 0
(4.23)
on B(0, n),
(4.24)
on B(0, n),
(4.25)
where |u| denotes the L -norm of u. It follows from Proposition 3.1 and
the maximum principle that
u < vn un ,
0 un+1 un |u| .
(4.26)
in Rk
C0
|x|2
December 3, 2007
11:7
BreChiYform
62
for a constant C0 and |x| large enough. Let r be given by (3.2). Then for
r large enough we have
c
C
r 2
(4.27)
r2
r
for some constants c, C. In other words the technique of Theorem 3.2
cannot work in this case. To show (4.27), recall the definition (3.2) and use
the constant function
u = 1/|r \ r/2 |1/2 H 1 (r \ r/2 )
(| | is the Lebesgue measure); we obtain
Z
Z
C0
dx
C
1
a(x) dx =
2
r
|r \ r/2 | r \r/2
|r \ r/2 | r \r/2 |x|2
r
for r large enough. To obtain the left-hand side inequality of (4.27) we
remark (see Theorem 3.3) that for r large enough
Z
.Z
r dx
r =
ar dx
r \r/2
r \r/2
.Z
C0 r /|x| dx
c
r2
.Z
r dx
r \r/2
r dx
r \r/2
r \r/2
r dx =
r \r/2
c
,
r2
(4.29)
on B(0, n).
(4.30)
December 3, 2007
11:7
BreChiYform
63
One has
0 < un+1 un |u|
(4.31)
R
B1
k1
0 0
k1
U ) = r
Z
a(r)u(r) d
(4.32)
a(r)u(s) dds
(4.33)
B1
hence
rk1 U 0 =
sk1
Z
B1
R
and U (r) = B1 u(r) d is nondecreasing. Moreover U is a solution of
the second order differential equation (4.32). A particular solution is given
(see (4.33)) by
Z s
Z
Z r
1
k1
U=
t
a(t)u(t) ddtds.
k1
0 s
0
B1
The solution of the homogeneous equation is given by
A
rk2
+ B.
Thus we have
U (r) =
A
rk2
Z
+B+
0
1
sk1
t
0
k1
Z
a(t)u(t) ddtds.
(4.34)
B1
December 3, 2007
11:7
BreChiYform
64
(4.36)
When
Z
|x|>1
a(x)
dx =
|x|k2
Z
ta(t) ddt = +,
B1
December 3, 2007
11:7
BreChiYform
65
16:48
fukaofinal
TAKESI FUKAO
General Education, Gifu National College of Technology,
2236-2 Kamimakuwa, Motosu-shi, Gifu, 501-0495 Japan
Abstract: In this paper, we consider the existence problem for two free boundary
problems of nonlinear heat equations coupled with the Navier-Stokes equations.
The first one is called the Stefan problem and the second one is called the phase field
equations. In both cases we determine the convective vector by the weak solution
of the Navier-Stokes equations in the unknown sub-domain. Firstly, we survey
an existence result of the weak solution which satisfies the variational formulation
of the Stefan problem, by approximation of the interface. Secondly, in the phase
field equations, by comparing with the above result we define an artificial interface
that is the level carve of the order parameter. In 2-dimensional case, it seems that
applying the Lp -theory of parabolic type we can obtain the weak solution for the
phase field equations coupled with the Navier-Stokes equations.
jsps.
67
16:48
fukaofinal
68
in Q := (0, T ) ,
v
+ (v )v v = (u)g p`
t
divv = 0 in Q` (u),
v=0
in Qs (u) S(u),
in Q` (u),
(2.1)
(2.2)
(2.3)
(2.4)
16:48
fukaofinal
69
(u)
+ n0 (u) = h,
n
u(0) = u0 ,
v = 0 on := (0, T ) ,
(2.5)
v(0) = v 0
(2.6)
in ,
if < 0,
if r < 0,
ks r
u := r [0, L] if = 0, (r) := 0
if 0 r L,
+L
if > 0,
k` (r L) if r > L,
where ks , k` and L are positive constants. It is most important that how to
define the unknown domains Q` (u), Qs (u) and S(u). For i = s, ` we define
[
[
Qi (u) :=
{t} i (t), S(u) :=
{t} S(t),
t(0,T )
t(0,T )
L
s (t) := x ; u(t, x) <
,
2
L
.
S(t) := x ; u(t, x) =
2
It is easy to derive the following variational identity from (2.1), (2.5) and
(2.6):
Z T
Z T
Z T
0
h , uiV ,V dt +
((u) uv, )L2 () dt + n0
((u), )L2 () dt
0
Z
=
Z
(f, )H dt +
0
T
for all W,
(2.7)
16:48
fukaofinal
70
i,j=1
i,j=1
for all u, v, and w V . A weak variational formulation of Navier-Stokes
equations is described as follows:
Z T
Z T
Z T
0
( , v)H dt +
a(v, )dt +
b(v, v, )dt
0
Z
=
((u)g, )H dt + (v 0 , (0))H
(2.8)
where
W (u) := L4 (0, T ; X); 0 L2 (0, T ; H), supp Q` (u), (T ) = 0 .
From the mathematical point of view it is extremely difficult to handle this
weak variational formulation of our problem (SP), especially (2.8) because
of the lack of regularity of the enthalpy u. In the paper [10], in order to
avoid this difficulty we replace the liquid region ` (t) and solid region s (t)
by their approximations
L
`, (t) := x ; ( u)(t, x) >
,
(2.9)
2
and
L
s, (t) := x ; ( u)(t, x) <
,
2
(2.10)
{t} i, (t).
t(0,T )
Now we introduce a class of weak solutions, which is a reasonable approximation to the original one, as follows:
16:48
fukaofinal
71
Definition 2.1. For a fixed > 0, the pair {u, v} of functions u L (Q)
and v L2 (Q) is called a weak solution of (SP) , if (D1)-(D3) are satisfied:
(D1) (u) L2 (0, T ; V ) L (Q) and u Cw (0, T ; H);
(D2) v L (0, T ; H) L2 (0, T ; V ), v is weakly continuous from [0, T ]
into H, and v = 0 a.e. on Qs, (u);
(D3) u and v satisfy (2.7) and (2.8) with W (u) replaced by W (u).
Theorem 2.1. [10] Assume f L (Q), g W 1, (), h L (),
u0 L () and v 0 H. Then, for each small positive number , there
exist at least one solution {u , v } of (SP) such that the following uniform
estimates in (0, 1]:
|u |L (Q) + |(u )|L2 (0,T ;L2 ()) R0
(2.11)
(2.12)
and
16:48
fukaofinal
72
type was treated, where the domain was separated to three regions; pure
solid, pure liquid, and mushy region. And they consider the Navier-Stokes
equations in the not solid regions. The Carman-Kozeny penalty term has
an important role from the physical view point. In this paper, the different
interpretation of the domain are considered. We separate the region by an
artificial interface. Such a model is well-known as the enthalpy formulation
of the Stefan problem. However, from the Remark 2.1, there is the difficulty
of the free boundary problem because of the lack of regularity of the weak
solution of the Stefan problem. Namely, if we admit an artificial interface
that is defined by the order parameter, then we can treat the Navier-Stokes
equations without the approximation of the interface.
Hereafter let N = 2. We consider the following system (PF):
+ v +
+ v = f
t
t
+ v + 3 =
t
v
+ (v )v v = g p`
t
divv = 0
in Q,
in Q,
(3.2)
in Q` (),
(3.3)
in Q` (),
(3.4)
v = 0 in Qs () S(),
= 0,
n
= 0,
n
(0) = 0 ,
v=0
(0) = 0 ,
(3.1)
(3.5)
on := (0, T ) ,
v(0) = v 0
in ,
(3.6)
(3.7)
t(0,T )
where ` (t) and s (t) are determined by the artificial interface between
solid and liquid as follows:
` (t) := {x ; (t, x) > 0},
16:48
fukaofinal
73
u u
2u
u Lp (Q);
,
,
Lp (Q) .
t xi xi xj
h 0 , + iV ,V dt
(( + )v , )L2 () dt+
( , )L2 () dt
0
Z
=
for all W,
(f, )H dt + (0 + 0 , (0))H
(3.8)
( g, )H dt + (v 0 , (0))H
for all W ,
(3.9)
weakly in L2 (0, T ; V ),
in L2 (0, T ; H),
weakly in L2 (0, T ; V ),
in L2loc (Q` ())
as 0.
(3.10)
(3.11)
(3.12)
(3.13)
(3.14)
16:48
fukaofinal
74
(3.15)
| |L2 (0,T ;V ) M1 ,
(3.16)
(3.17)
|v | dxdt M3 ,
(3.18)
(3.19)
(3.20)
(3.21)
(3.22)
Proof. From the equation (3.9) taking the test function W with
supp (s1 , s2 ) Q` (). Then from the uniform convergence (3.12)
we see that there exists a small > 0 such that supp Q` ( ) for all
with 0 < < , namely
= 0 on . So we have the following estimate
Z s2
hv 0 , iH 1 () ,H 1 () dt
s1
M3 ||L2 (s1 ,s2 ;V ) + M34 ||L2 (s1 ,s2 ;V ) + 2M1 |g|W 1, () ||L2 (s1 ,s2 ;H) .
16:48
fukaofinal
75
References
[1] J. P. Aubin, Un theor`eme de compacite. C. R. Acad. Sci. Paris, 256(1963),
50425044.
[2] G. Caginalp, An analysis of a phase field model of a free boundary, Arch.
Rat. Mech. Anal., 92(1986), 205-245.
[3] E. Casella and M. Giangi, An analytical and numerical study of the Stefan
problem with convection by means of an enthalpy method, Math. Methods
Appl. Sci., 24(2001), 623639.
[4] A. Damlamian, N. Kenmochi, and N. Sato, Phase field equations with
constraints, pp.391404 in Nonlinear Mathematical Problems in Industry,
GAKUTO Internat. Ser. Math. Sci. Appl., Vol.2, Gakk
otosho, Tokyo, 1993.
[5] J. I. Diaz and G. Galiano, Existence and uniqueness of solutions of the
Boussinesq system with nonlinear thermal diffusion, Topol. Methods Nonlinear Anal., 11(1998), 5982.
[6] G. J. Fix, Phase field methods for free boundary problems, pp 580589
in Free Boundary Problems: Theory and Applications, Pitman Rese. Notes
Math. Ser., Vol.79, Longman, London, 1983.
[7] C. Foias, O. Manley and R. Temam, Attractors for the Benard problem:
existence and physical bounds on their fractal dimension, Nonlinear Anal.
11(1987), 939967.
[8] H. Fujita and N. Sauer, On existence of weak solutions of the Navier-Stokes
equations in regions with moving boundaries, J. Fac. Sci., Univ. Tokyo., Sec.
IA. Math., 17(1970), 403420.
16:48
fukaofinal
76
[9] T. Fukao, Free boundary problem for phase field equations and Navier-Stokes
equations without the Carman-Kozeny penalty, preprint.
[10] T. Fukao and N. Kenmochi, Stefan problems with convection governed by
Navier-Stokes equations, Adv. Math. Sci. Appl., 15(2005), 2948.
[11] T. Fukao, N. Kenmochi and I. Pawlow, Stefan problems in non-cylindrical
domains arising in Czochralski process of crystal growth, Control Cybernet.,
32(2003), 201221.
[12] T. Fukao and M. Kubo, Nonlinear degenerate parabolic equations for a thermohydraulic model. to appear in Discrete and Continuous Dynamical Systems, Supplement Volume 2007.
[13] K.-H. Hoffman and L. Jiang, Optimal control of a phase filed model for
solidification, Numer. Funct. Anal. Optim. 13(1992), 1127.
10:59
Blowupfor
1. Introduction
This is a survey paper on blow-up phenemena at space infinity for nonlinear
heat equations. We are interested in a blow-up problem of the Cauchy
problem for nonlinear heat equations
ut = u + f (u), x RN , t > 0,
(1.1)
u(x, 0) = u0 (x), x RN .
Here the nonlinear term f and initial data u0 are assumed to satisfy the
following conditions;
f is a locally Lipschitz continuous function in [0, ) and
Z
d
fulfills f () > 0 for > 0 and
< ;
f
()
1
(A1)
(A2)
10:59
Blowupfor
78
10:59
Blowupfor
79
R |x|R
(2.3)
10:59
Blowupfor
80
10:59
Blowupfor
81
taken from very wide class of functions. For example, when m = 1, f (u) =
(1 + u){log(1 + u)} with > 2 is allowed in [14]. One of the author
obtained the same results for a quasilinear parabolic equation which is a
generalization of fast diffusion equation ut = um + f (u) with 0 < m < 1
in [13], although the assumption of f is a little stronger than [14].
This note is organized as follows. We introduce typical results in the
next section and show main ideas of their proofs in 4. In the final section
we show, as applications of their results, some examples of directional blowup, such as a solution which has a single blow-up direction and a solution
whose set of blow-up directions coincides with arbitrary given closed set in
S N 1 . We also prove the solution does not blow up at minimal blow-up
time if the initial data is an almost periodic function.
3. Typical results
R
We set (x) = ( RN e|y| dy)1 e|x| . The mean value function of u0 with
weight is defined by
Z
A (x; u0 ) =
(y x)u0 (y)dy,
RN
xn
and A (xn ; u0 ) ku0 k .
|xn |
(A3 )
xn
and u0 (x + xn ) ku0 k a.e. in RN as n .
|xn |
(A4 )
10:59
Blowupfor
82
|xn | ,
xn
and
|xn |
u0 (x)dx ku0 k as n .
BR (xn )
(A5 )
and a sequence {Rn } (Rn > 1, Rn
1
r[1,Rn ] |Br |
Z
u0 (x)dx ku0 k as n .
inf
Br (xn )
(A6,{Rn } )
Here and hereafter, BR (a) denotes a N -dimensional open ball with radius
R > 0 centered at a RN and BR = BR (0). We refer to [14] for the proof
of the equivalence.
Theorem 3.2. Assume (A1) and (A2). Let M = ku0 k and let S N 1
be a direction of mean convergence of u0 . Then u blows up at minimal
blow-up time and is a blow-up direction. Moreover, for each R > 0,
lim
sup
n xB (x )
n
R
|u(x, t) vM (t)| = 0.
(3.1)
(GU )
This condition means that f grows faster more than polynomial growth.
So far, the next condition is the weakest assumption to show these
10:59
Blowupfor
83
(F M )
for 1 .
(3.2)
(3.3)
10:59
Blowupfor
84
Remark 3.6. Giga and Umeda [7] first showed two sufficient conditions
on initial data for S N 1 to be a blow-up direction or non-blow-up
direction, respectively and proved that every direction satisfies each of the
conditions by a supplementary argument. On the other hand, Seki, Suzuki
and Umeda [14] established the formulation of Theorem 3.3(ii) via entirely
different approach, adopting a regularizing argument (see Lemma 4.1.2).
As above mentioned, their assumption on initial data is equivalent to that
of Giga and Umeda [7]. Thus, one is also able to prove Theorem 3.3(ii) by
Giga and Umedas approach if one uses the regularizing argument.
4. Ideas of proofs
The proof of Theorem 2.3. The assertion is clear if u0 (x) M = ku0 k .
Thus we may assume that u0 (x) 6 M . Let u be a solution of (1.1) with
minimal blow-up time TM . Contrary to the conclusion, assume that there
were t1 [0, TM ) for which
lim sup u(x, t1 ) < vM (t1 ).
R |x|R
(4.1)
RN
10:59
Blowupfor
85
as n .
RN
On the other hand, for each (0, TM ), we see that u(, ) BC 1 (RN ),
that is, u(, ) is bounded and continuous in RN up to the first derivative.
Thus,
{un } is uniformly bounded and equicontinuous in BR [, TM ]
for every R > 0. Therefore, we are able to extract a subsequence {un0 }
such that {un0 } converges locally uniformly to some continuous function w
by virtue of Ascoli-Arzela theorem. Consequently, we obtain
Z
|vM (t) w(x, t)|(x)dx = 0, t (0, TM ).
BR
Namely, w = vM . Since the limit is independent of the choice of a subsequence, we conclude un vM . Thus, (3.1) holds and is a blow-up
direction. 2
Remark 4.0.1. Theorem 3.2 can be proved even for degenerate quasilinear parabolic equations of the form ut = (u) + f (u) ([14]). For that
case, we employ the results on modulus of continuity due to DiBenedetto
(Lemma 5.2 of [3]) in order to get equicontinuity of {un }.
We present two different procedures to show Theorem 3.3. It is Theorem
3.3(i) that is a basic result in both approaches. The first one is a semilinear version of [14], which comes from the method originally introduced by
Friedman and McLeod [5] to show that a single-point blow-up does occur
for bell shaped radially decreasing initial data. This is valid for a very
wide class of nonlinear term f , such as f (u) = (u + 1){log(u + 1)} with
> 2. The second one relies on a certain non-blow-up criterion around a
given point. It was established by Giga and Kohn (Theorem 2.1 of [9]) for
differential inequality ut u K(1 + |u|)p , (K > 0, p > 1). Our criterion
is its direct extension for equations of (1.1) with general nonlinear term f
satisfying a certain growth condition. Although it does not allow so wide
class of nonlinear term as in the first one, this approach has superiority
that it is applicable even to general semilinear parabolic equation whose
linear part has variable coefficients and to vector valued equations.
10:59
Blowupfor
86
wt = w + f (w), in BR (t1 , TM ),
(4.2)
w = vM (t), on BR (t1 , TM ),
w(x, t1 ) = w0 (x), in BR .
Lemma 4.1.1. Assume (A1), (A2) and condition (F M ). Then for any
compact subset BR ,
sup
w(x, t) < .
(x,t)(,TM )
Proof. We only use well-known technique which has been used in the study
of blow-up sets since it was developed by [5] to show a single-point blow-up
phenomenon. See Proposition 2.6 of [14] for detail. 2
If A (0; u(t1 )) L for some L < M , there is a point z RN such that
u(z, t1 ) L0 for some L0 (L, M ). We consider the solution w to the
problem (4.2) as a supersolution of (1.1). In order to construct a function
w0 (x) as used in (4.2) independently of z, we make use of equicontinuity of
the solution u or a result on modulus of continuity (Lemma 5.2 of [3]). As
a result, for any L00 (L0 , M ) there exists r0 > 0 not depending on z such
that u(x, t1 ) L00 , for |x z| < r0 . Using Lemma 4.1.1 with sufficiently
large R > 0, we are able to show the following lemma:
Lemma 4.1.2. Assume (A1), (A2) and condition (F M ). If A (0; u0 ) L
for some L < M := ku0 k , then there exists a constant CM,L such that
u(0, t) CM,L
for t (0, TM ).
10:59
Blowupfor
87
for t (0, TM ).
Since CM,L is independent of z, we see, with the aid of Lemma 4.1.2, that
is a non-blow-up direction. 2
4.2. The proof of Theorem 3.3 (Part 2)
We first establish a criterion to see whether a point in RN is a non-blow-up
point. Its prototype is found in Giga and Kohn (Theorem 2.1 of [9]).
Lemma 4.2.1. Assume (A1), (A2) and condition (GU ). Let p be the
constant appearing in the condition (GU ) and let a be a point in RN .
Then there exists a constant 0 (0, 1] having the following property:
(i) Suppose that 1 < p 3. If for some (0, 0 ), r > 0 and (0, TM ),
u(x, t) vM (t),
(4.3)
in B1 (0, TM ),
10:59
Blowupfor
88
where {et }t0 is the heat semigroup in B1 with Dirichlet boundary condition. Using the L -L estimates, we have
ke(ts) g(s)kL (B1 ) C(t s)1/2 ku(s)kL (B1 ) .
Thus we obtain
Z
Z t
f (u(s))
ds.
(4.4)
+
kw(s)kL (B1 )
u(s)
L (B1 )
(In [7], estimating the integrand of the last term of (4.4) as (4.5) below,
they use the Gronwall type inequality (Lemma 2.3 of [9]). However, since
the integrand of the middle term of (4.4) has a singularity, the assumption
of the lemma does not satisfied.)
By condition (GU ) and (2.2), it is easily seen that vM (t) C(TM
t)1/(p1) . There are three cases to consider according to the value of p.
The first case is p > 3. The integrand of the second term is bounded by
C(t s)1/2 (TM s)1/(p1) , so that its integral with respect to s over
interval [, t] is bounded by a constant when p > 3. Since 7 f ()/ is
nondecreasing by condition (GU ), it follows from assumption (4.3) that
Z t
Z t
f (vM (s))
f (u(s))
p1
ds
ds.
(4.5)
u(s)
vM (s)
L
(B
)
1
Hence we obtain
u(x, t) CvM (t)
in B1/2 (, TM ).
(4.6)
10:59
Blowupfor
89
(4.7)
Z t
Z vM (t)
C
vM (s)p(1) f (vM (s))ds = C
v p(1) dv C(M, p, , ).
vM ( )
Z t
C(N, p)
(TM )1/21/(p1) d
Z f (v()) i
n Z t f (v(s)) o
exp
d d exp
ds
v()
v(s)
Z t
h
i
C(M, N, p, ) v( ) +
(TM )1/2(1)/(p1) d (TM t)/(p1)
in B2k (, TM ),
10:59
Blowupfor
90
in B (, TM ).
(4.8)
Proof. Let u
be a solution to the linear problem
t =
u,
in B1 (0, TM ),
u
u
= u(x, t), on B1 (0, TM ),
u
(x, 0) = u0 (x), in B1 .
Then it is not difficult to show that the assertion (4.8) for u
(see Lemma 3.2
of [7] for detail). Let t1 (0, TM ). We claim that there exists (0, 1)
such that
u(x, t) vM (t)
in B1 (t1 , TM ).
(4.9)
B1
t1
Z
f (v(s))ds
0
p
B1
( + )
Z
B1
Z
f (v(s))ds
t1
f (v(s))ds
t1
G(x, y, t, s)dy +
G(x, y, t, s)dy
B1
for x B .
10:59
Blowupfor
91
in BR (0, TM ).
(4.10)
in the same way to derive (4.9). Actually, it holds with any > 0 replacing
by Lemma 4.2.3. Therefore, we see that the solution u is locally bounded
around the point a at t = TM via Lemma 4.2.1.
Note that if u(z, t1 ) L0 < M for some t1 [0, TM ), L < L0 < M and
z RN , one is able to construct supersolution w independently of z as in
Part 1. The constant (0, 1) in (4.10) exsits independently of z. Then
the statement (ii) is obtained similarly to that of Part 1 since one is able to
show Lemma 4.1.2 under the assumptions (A1), (A2) and (GU ) by using
Lemma 4.2.1 and Lemma 4.2.3 instead of Lemma 4.1.1. 2
5. Some examples
We shall demonstrate some examples of directional blow-up. Let u be a
solution to the Cauchy problem (1.1) which blows up at minimal blowup time. We denote by S(u0 )( S N 1 ) the set of all blow-up directions.
It is a closed set in S N 1 . Indeed, for any S N 1 \ S, there exist
a constant C > 0 and an open neighborhood D S N 1 of such that
supx/|x|D u(x, t) C. It follows that there are no blow-up directions in
D. Thus S N 1 \ S(u0 ) is an open set in S N 1 .
Example 1. (Single directional blow-up) We give an example of initial
datum such that S(u0 ) consists of a single direction. Let S N 1 be a
direction and set D = {r ; r 0}. For a point x RN , take a point
px D such that dist{x, D} =
p|x px |. Let P be a paraboloid defind by
Pp= {x RN ; |x px | |px |} and let Q = {x RN ; |x px |
2 |px |}. We choose an initial datum u0 BC(RN ) so as to fulfill
u0 (x) = M if x P, |x| 1;
0 u0 (x) < M if x Q \ P ;
u0 (x) = 0 if x 6 Q.
10:59
Blowupfor
92
60
1
0.8
0.6
0.4
0.2
0
50
40
30
20
15
10
10
5
0
0
-10
-5
-10
-15 -20
D = r0 rS = r0 {x RN ; x = r, S}.
For a point x RN , denote by px D a point in D such that the distance of
x
= |x px |. Let p
P = {x RN ; |x px |
pand D is achieved; dist{x, D}
N
|px |} and let Q = {x R ; |x px | 2 |px |}, where the notation
runs for all such px . We define an initial datum u0 BC(RN ) so as
10:59
Blowupfor
93
to fulfill
u0 (x) = M if x P, |x| 1;
0 u0 (x) < M if x Q \ P ;
u0 (x) = 0 if x 6 Q.
< x < +.
Proof. Let u0 be an almost periodic function in R which is not a constant and let M be its maximum. Contrary to the conclusion, suppose
that u0 had a direction of mean convergence to M . Then there exists a
sequence {xn } R such that u0 (x + xn ) M a.e. in R as n . From
a characteristic property of almost periodic functions, one can extract a
subsequence, which is also denoted by {xn }, such that the convergence
u0 (x + xn ) M is uniform (see Chapter 1 of [2]). Take a point y R
such that m := u0 (y) < M . Define H := M m and zn := y xn . Then
|u0 (zn + xn ) M | = H for all n. This means that there is no subsequence
{xn0 } {xn } for which the sequence u0 (x + xn0 ) is uniformly convergent.
This is a contradiction. 2
Acknowledgement. The second author is grateful to Mr. Tsuyoshi
Yoneda for his discussion on almost periodic functions in Example 3. The
work of the first author was partly supported by the Grant-in-Aid for Scientific Reserch, No.17654037, No.18204011, the Japan Society of the Promotion of Science (JSPS) and by COE Mathematics of Nonlinear Structures
via Singularities (Hokkaido University) sponsored by JSPS. The works of
the second and third authors were supported by the 21st century COE
Program Base for New Development of Mathematics to Science and Technology sponsored by JSPS at Graduate School of Mathematical Sciences,
the University of Tokyo.
10:59
Blowupfor
94
References
[1] Y.-G. Chen, On blow-up solutions of semilinear parabolic equations; Analytical and numerical studies, Thesis(Ph.D.)-University of Tokyo, 1988.
[2] C. Corduneanu, Almost Periodic Functions, Interscince Publishers, New York,
1968.
[3] E. DiBenedetto, Continuity of weak solutions to a general porous medium
equation, Indiana Univ. Math. J. 32(1983), 83-118.
[4] H. Fujita and Y.-G. Chen, On the set of blow-up points and asymptotic
behaviours of blow-up solutions to a semilinear parabolic equation, Analyse
Mathematique et Applications, Contrib. Honneur Jaques-Louis Lions, (1988),
181-201.
[5] A. Friedman and B. McLeod, Blow-up of positive solutions of semilinear heat
equations, Indiana Univ. Math. J. 34(1985), 425-447.
[6] Y. Giga and N. Umeda, On blow-up at space infinity for semilinear heat
equations, J. Math. Anal. Appl. 316(2006), 538-555.
[7] Y. Giga and N. Umeda, Blow-up directions at space infinity for solutions of
semilinear heat equations, Bol. Soc. Paran. Mat. 23(2005), 9-28.
[8] Y. Giga and N. Umeda, Correction to Blow-up directions at space infinity
for solutions of semilinear heat equations, Bol. Soc. Paran. Mat., 24(2006),
928.
[9] Y. Giga and R.V. Kohn, Nondegeneracy of blow-up for semilinear heat equations, Comm. Pure Appl. Math. 42(1989) 845-884.
[10] A. A. Lacey, The form of blow-up for nonlinear parabolic equations, Proc.
R. Soc. Edinb., Sect. A 98(1984), 183-202.
[11] K. Mochizuki and R. Suzuki, Blow-up sets and asymptotic behavior of interfaces for quasilinear degenerate parabolic equations in RN , J. Math. Soc.
Japan 44 (1992), 485-504.
[12] M. H. Protter and H. F. Weinberger, Maximum principles in Differential
Equations, Englewood Cliffs, N.J. Prentice-Hall, 1967.
[13] Y. Seki, On directional blow-up for quasilinear parabolic equations with fast
diffusion, J. Math. Anal. Appl. 338(2008), 572-587.
[14] Y. Seki, R. Suzuki and N. Umeda, Blow-up directions for quasilinear
parabolic equations, Proc. R. Soc. Edinb., Sect. A, in press.
December 3, 2007
11:18
hastingskindmcleod
STUART HASTINGS
Department of Mathematics, University of Pittsburgh, Pittsburgh, PA 15260,
USA, email: sph+@pitt.edu
DAVID KINDERLEHRER
Center for Nonlinear Analysis and Department of Mathematical Sciences,
Carnegie Mellon University, Pittsburgh, PA 15213, email: davidk@cmu.edu
Research supported by NSF DMS 0305794 and DMS 0405343
J. BRYCE MCLEOD
Department of Mathematics, University of Pittsburgh, Pittsburgh, PA 15260
email: mcleod@pitt.edu
1. Introduction
Intracellular transport in eukarya is attributed to motor proteins that transduce chemical energy into conformational changes which lead to directed
mechanical motion. Nanoscale motors like kinesins tow organelles and other
cargo on microtubules or filaments, have a role separating the mitotic spindle during the cell cycle, and perform many other functions. The simplest
description gives rise to a weakly coupled system of evolution equations.
The transport process, to the minds eye, is comparable to a biased coin
toss. This intuition may be confirmed by a careful analysis of the cooperative effects among the conformational changes and the potentials. Two
95
December 3, 2007
11:18
hastingskindmcleod
96
models illustrating this are a two state system and a larger system intended
to account for the neck linker apparatus. We then discuss how collaboration
may fail when connectivity among the elements comprising the network is
disrupted, as in the case of spacers added to the neck-linker. Most of these
remarks are about [11].
Suppose that 1 , ..., n are partial probability densities defined on the
unit interval = (0, 1) satisfying
X
d
di
(
+ i0 i ) +
aij j = 0 in
dx dx
j=1,...,n
di
+ i0 i = 0 on , i = 1, ...n,
dx
(1.1)
Z
(1 + + n )dx = 1.
i = 0 in ,
(1.2)
i=1,..,n
i
i
=
(
+ i0 i ) +
aij j in , t > 0,
t
x x
j=1,...,n
i
+ i0 i = 0 on , t > 0, i = 1, ...n,
x
(1.3)
Z
(1 + + n )dx = 1, t > 0.
i = 0 in ,
December 3, 2007
11:18
hastingskindmcleod
97
|x y|2 dp(x, y)
(1.4)
F () =
{i i + i log i }dx
(1.5)
i=1,...,n
Z
i = 0 and
i dx = 1
i=1,...,n
denote the free energy. Now given a state , determine its successor state
by resolving the variational principle
1
2
d(i , (P )i )2 + F () = min,
i=1,...,n
Z
i dx =
(1.6)
(P )i dx,
December 3, 2007
11:18
hastingskindmcleod
98
+
(vf ) = 0 in (0, ),
t
x
f (x, 0) = f (x) and f (x, ) = f (x).
The right hand side of (1.7) is the minimum dissipation of an ensemble
of highly damped particles initially distributed by f and terminally distributed by f , expressed in an eulerian frame. So the minimum energy
budget in moving the system from to is given by the variational problem (1.6). It has the merit of isolating the free energy, the dissipation,
and the conformational change. This is modulo some modelling of the
entropic contribution, for which we have adopted combinatorial indeterminacy, the simplest possible choice. We may also interpret this as representing a collection of molecular motors as a conformation changing ensemble
of spring-mass-dashpots. Here we are glossing over the many issues present
in modelling small scale systems, where mechanics and chemistry or conformational changes themselves operate at disparate time and length scales.
Our first statement is that the stationary solution of the system (1.1),
which we denote by ] , is globally stable: given any solution (x, t) of (1.3),
(x, t) ] (x) as t
(1.8)
i (x +
n
X
M
1
1
) 5 Ke
i (x), x , x < 1
N
N
i=1
(1.9)
December 3, 2007
11:18
hastingskindmcleod
99
(1.10)
which is 1/N periodic in . This solution does not exhibit transport and
for it to be a solution of (1.1) means that the equations decouple and
A = 0 in .
This is a detailed balance situation, separately for the Markov Process
described by the n individual Fokker-Planck Equations and for the Markov
chain with transition matrix P . So, to favor transport, equilibrium should
not be attained and detailed balance broken. But failure of detailed balance
is far from sufficient to produce transport.
We illustrate this in Figure 1 where solutions of a two species system
for two arrangements of symmetric potential wells are shown. The matrix
A was chosen constant, which favors a maximum amount of transport.
Detailed balance fails for the solutions. Asymmetry of the potentials was
suggested early in the study of motor proteins, cf. [2], [17], and it is known
that the microtubules and actin filiments which host motors are polarized,
is suspected to play a role here. Asymmetry itself is insufficient. In Figure
2, asymmetric potentials differ from each other by a slight shift, actually
1/8 period, and there is no noticable transport in the solution.
If we adopt the pragmatic notion that in a two species system, the two
species function in the same way, we are led to interdigitated potentials j
of the form in Figure 3. This is not a reason, of course. We discuss this
further below.
We are led to the intriguing question of the relationship between the
j and A. Even under the most most propitious circumstances, one may
always add to the system independent uncoupled equations. So it is necessary, in view of (1.2), that
aii 6 0 in
But where and how? What are the possibilities here? The basic mechanism of diffusional transport is that mass is transported to specific sites
determined by minima and local minima of the potential. For directed
transport, to the left toward x = 0, for example, in any subinterval of a period interval, there should be some i which is increasing. This explains the
December 3, 2007
11:18
hastingskindmcleod
100
2.0
1.8
species densities
1.6
1.4
1.2
1.0
0.8
0.6
0.4
0.2
0.0
0.0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1.0
0.6
0.7
0.8
0.9
1.0
1.8
1.6
species densities
1.4
1.2
1.0
0.8
0.6
0.4
0.2
0.0
0.0
0.1
0.2
0.3
0.4
0.5
Figure 1. Solutions of (1.1) for two state systems with symmetric potentials placed
symmetrically (left) and symmetric potentials placed asymmetrically (right) showing lack
of transport of density. A was chosen constant to optimize the possibility of transport.
Detailed balance is not satisfied by the solutions
result shown in Figure 2, where the potentials are asymmetric and transport is not present. Moreover, some interchange must take place: mass
in states associated to each of the j which is decreasing should have the
opportunity to change to the ith state. This is reminiscent of an ergodic
hypothesis. It does not say that all states are connected, but it will be a
very strong condition since it will be required to hold near all the minima
of all of the potentials. In the the neck linker example we have mentioned,
the condition fails and so does the conclusion of our theorem. We give a
more precise description below.
We have, in the above discussion, tacitly assumed the existence of a
December 3, 2007
11:18
hastingskindmcleod
101
0.07
0.06
0.05
0.04
0.03
0.02
0.01
0.00
0.0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1.0
0.6
0.7
0.8
0.9
1.0
3.0
2.5
density
2.0
1.5
1.0
0.5
0.0
0.0
0.1
0.2
0.3
0.4
0.5
Figure 2. Slightly shifted asymmetric wells, left, and the solutions of (1.1), right, illustrating lack of transport. The matrix A was chosen to optimize transport possibilities.
(1.11)
Qk
i.e.,
has all positive entries for some integer k.
Further, we can prove that the positive stationary solution, (x) say,
of (1.1) is globally stable in the sense that given any initial data f (x) with
December 3, 2007
11:18
hastingskindmcleod
102
1.0
0.9
0.8
0.7
0.6
0.5
0.4
0.3
0.2
0.1
0.0
Figure 3. Asymmetric periodic potentials symmetrically interdigitated, the configuration which promotes transport
corresponding solution (x, t) of (1.3) there exist c > 0 and > 0 such that
(x, t) = c (x) + O(et ) as t
(1.12)
There are various ways of proving this, they all depend on ideas from positive operators. In these frameworks, we define the operator eS by expressing
the solution of (1.3) by
(x, t) = etS f (x), x , t > 0.
From the maximum principle, eg. [25], this is a positive operator. This enables us to apply a variant of the Krein-Rutman Theorem, the appropriate
generalization of the Perron-Frobenius Theorem for matrices, to understand the spectrum of S. We refer to [4], [11] for additional details. In [23],
Perthame succeeds in constructing an appropriate entropy function for the
system, at least when the number of species n = 2.
We take this opportunity to thank our collaborators Michel Chipot and
Michal Kowalczyk for their help. We also thank Bard Ermentrout, Michael
Grabe, and Jonathan Rubin, and the Mathematical Biology Seminar of the
University of Pittsburgh for generosity of spirit and their interest.
2. Main transport result
Here we state our main result about transport in multiple state systems.
Theorem 2.1. Suppose that is a positive solution of (1.1), where the
coefficients aij , i, j = 1, ..., n and the i , i = 1, ..., n are smooth and 1/N-
December 3, 2007
11:18
hastingskindmcleod
103
periodic in . Suppose that (1.2) holds and also that the following conditions are satisfied.
(i) Each i0 has only a finite number of zeros in .
(ii) There is some interval in which i0 > 0 for all i = 1, ..., n.
(iii) In any interval in which no i0 vanishes, j0 > 0 in this interval for
at least one j.
(iv) If I, |I| < 1/N , is an interval in which i0 > 0 for i = 1, .., p and
i0 < 0 for i = p + 1, .., n, and a is a zero of at least one of the k0
which lies within of the right-hand end of I, then for sufficiently
small, there is at least one index i, i = 1, ..., p, with aij > 0 in
(a , a) for some > 0, all j = p + 1, .., n.
Then, there exist positive constants K, M independent of such that
n
X
i=1
i (x +
n
X
M
1
1
i (x), x , x < 1
) 5 Ke
N
N
i=1
(2.1)
di
+ i0 i ) = 0 in
dx
(2.2)
December 3, 2007
11:18
hastingskindmcleod
104
this can only be assured if the coupling is really there, namely if aj > 0.
This is the motivation for the ergodic type hypothesis in (iv).
Given 0 , 0 < 0 < 1 , fix the period interval = [0 , 0 + ]. We
now limit our attention to .
Select intervals a + [, ] about zeros a of the i0 . On the complement,
there is a k() > 0 with
i0 = k() or i0 5 k(). i = 1, ..., n
(2.4)
(2.5)
Then
K0
d X
i 5
dx i=1,...,n
2
and by Gronwall,
X
i (x0 + L0 ) 5 e
i=1,...,n
i in I0
i=1,...,n
K0
i (x0 L0 )
(2.6)
i=1,...,n
This is the exponential decay we are seeking. The remainder of the argument is to prove that (2.6) is not compromised when (2.5) does not hold.
P
Step 2: We check the zeros a of the i0 . Although
i may grow
exponentially in these intervals, they are finite, say N , in number and we
may choose them of small length. So restricting ,
X
X
M0
i (a )
i (a + ) 5 e
i=1,...,n
i=1,...,n
with, eg.,
N M0 < K0 L0
(2.7)
Also assume that 5 of (iv). Now is fixed and in the sequel we suppress
dependence of various constants on it.
Step 3: Both inequalities hold in (2.4) and we must exploit the coupling.
Let I = [, ] be an interval where
i0 = k, i = 1, ..., p,
j0 5 k, j = p + 1, ..., n,
| a| < 5 for some zero a of the
(2.8)
k0 ,
k = 1, ..., n.
Choose a favorable , = 1, ..., p, from (iii), and assume that (iv) holds,
i.e., aj > 0, j = p + 1, ..., n in 5 x 5 , and consider the equation
December 3, 2007
11:18
hastingskindmcleod
105
(2.3) for . We can integrate this for a more convenient form, which gives
us
1
d
d
(x) =
()e ( (x) ())
dx
dx Z
X
1
1 x
(a + 0 ) +
aj j e ( (s) ()) ds in I
j6=
(2.9)
We shall use this in the two ways described at the beginning of the proof
sketch. First, the sum in the right hand side of (2.9) is nonnegative, so
we can omit it. Note also that is increasing so (x) () > 0 in
I. After some manipulation and applications of Gronwall, this leads to the
upper bound
(x) 5 K( () + |0 ()|), x I
(2.10)
Consequently, with
X
C() =
( () + |0 ()|),
=1,...,p
(2.11)
=1,...,p
K1
(p+1 + + n )(x) =
C(A 1)e (xx )
K2
K1
(2.15)
+
C, x < x <
K2
C = C().
December 3, 2007
11:18
hastingskindmcleod
106
(x)
K1 M
5 M1 (A 1)M2
e , in [ , ].
C()
K2
(2.16)
Now for A > 1, (2.16) cannot hold for small since the right hand side
becomes negative. Thus (2.13) holds for sufficiently small.
The theorem now follows by concatening the three Steps.
3. Correlated and uncorrelated heads in a three state
system
One of the simplest systems we may consider is a two state system for
the unknown (x, t) = (1 (x, t), 2 (x, t)), a solution of (1.3) with n = 2.
Let us assume for this a configuration of potentials resembling (3) and a
conformation change matrix
1 2
A=
(3.1)
1 2
where the support of the i is assumed to be a neighborhood of the minima
of the potentials j . The conditions of Theorem 2.1 are satisfied, in particular, the ergodic-type condition (iv). The result of a sample simulation
is given in Figure 4 and is a standard way to model conventional kinesin,
cf [1], [4], [5]. The two heads are correlated.
We may attempt a slightly increased degree of sophistication. The two
heads of conventional kinesin are known to be connected by a rigid protein
structure, called the neck linker, [29]. Hackney et al. in a recent experiment describe the decrease of transport properties of a version of kinesin
(a chimera) fashioned by extending the neck linker through insertion of a
spacer, rendering it more flexible, [9]. The two kinesin heads then fail to
be correlated. Abstracting this situation, we may consider a three state
system for conventional kinesin consisting of head-one, head-two, and the
neck linker states. The neck linker does not participate in transport, so, in
our framework, it is accounted for only in the conformation change matrix
A. This will be a novel feature of the system, since we shall have only
an ordinary differential equation for 3 . The two heads are not connected
December 3, 2007
11:18
hastingskindmcleod
107
6
5
density
4
3
2
1
0
0.0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1.0
Figure 4. Computed solution for two state rachet for interdigitated asymmetric potentials, period 4. Plot shows summed density 1 + 2 .
directly to each other but only to the neck linker. The system has the form
X
i
i
=
(
+ i0 i ) +
aij j in , t > 0, i = 1, 2
t
x x
j=1,...,3
X
d3
=
a3j j in , t > 0
dt
j=1,..,3
(3.2)
+ i0 i = 0 on , t > 0, i = 1, 2,
x
Z
i = 0 in ,
(1 + 2 + 3 )dx = 1, t > 0.
0
A = 0 .
(3.3)
di
+ i0 i = 0 on , i = 1, 2,
dx
(3.4)
December 3, 2007
11:18
hastingskindmcleod
108
Let us begin by revisiting the result about correlated two state systems
in the present context. Thus we assume that all of the items in (3.3) do
not vanish identically. In particular we assume that, in accord with (1.2),
a11 0 a13
A = 0 a22 a23
a31 a32 a33
(3.5)
(3.6)
and
+ i0 i = 0 on , i = 1, 2,
dx
where, with the excruciating details, forms of 1 are
a23
a23
1 =
a31 =
a31
a33
a13 + a23
a13
a23
= a11 (1
)=0
= a11
a13 + a23
a13 + a23
(3.7)
(3.8)
and similarly for 2 . The new system (3.7) for just 1 and 2 satisfies the
conditions of Theorem 2.1. Thus the conclusion of the theorem applies, and
we recapture our prior result. The result of a simulation is given in Figure
5 on the left.
We can decorrellate the heads. The idea, obviously, is to choose the
{aij } so that (3.4) decouples. So assume in (3.5) that
1 = supp a11 = supp a13 = a neighborhood of the minima of 1
2 = supp a22 = supp a23 = a neighborhood of the minima of 2 , and
1 2 =
(3.9)
December 3, 2007
11:18
hastingskindmcleod
109
4.5
4.0
3.5
density
3.0
2.5
2.0
1.5
1.0
0.5
0.0
0.0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1.0
4.5
4.0
3.5
density
3.0
2.5
2.0
1.5
1.0
0.5
0.0
0.0
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1.0
Figure 5. Two state rachet with neck linker with heads correlated (left) and heads
uncorrelated (right). Red plot is the sum of the head densities 1 + 2 and gray plot
is the neck linker density 3 . The left plot illustrates transport. In the uncorrelated
example, there is no transport and it turns out that 3 = 1 + 2 .
+ i0 i = 0 on , i = 1, 2,
dx
(3.10)
which is the same except for mass fractions, cf. (1.10), as writing that
1 = ]1 and 2 = ]2
December 3, 2007
11:18
hastingskindmcleod
110
December 3, 2007
11:18
hastingskindmcleod
111
16:51
Ikeda
KOTA IKEDA
Mathematical Institute, Tohoku University, Sendai 980-8578, Japan
MASAYASU MIMURA
Department of Mathematics / Institute for Mathematical Sciences school of
Science and Technology Meiji University, Kawasaki 214-8571, Japan
1. Introduction
It is shown in [4] that thin solid, for an example, paper, cellulose dialysis bags and polyethylene sheets, burning against oxidizing wind develops
finger-like patterns or fingering patterns. The oxidizing gas is supplied in
a uniform laminar flow, opposite to the directions of the front propagation
and the authors of [4] control the flow velocity of oxygen, denoted by VO2 .
When VO2 is decreased below a critical value, the smooth front develops
a structure which marks the onset of instability. As VO2 is decreased further, the peaks are separated by cusp-like minima and a fingering pattern
is formed. In addition, thin solid is stretched out straight onto the bottom plate and they also control the adjustable vertical gap, denoted by a
parameter h, between top and bottom plates. Experimentally, fingering
pattern occurs for small h, which implies that fingering pattern appears in
the absence of natural convection. Similar phenomena have been observed
in a micro-gravity experiment in space (see [2]).
Here we propose a phenomenological model described by the following
reaction-diffusion system for the (dimensionless) temperature u, the density
113
16:51
Ikeda
114
u
u
= Leu +
+ k(u)vw aum , (x, y) I , t > 0,
t
x
v
(RD)
= k(u)vw,
(x, y) I , t > 0,
w = w + 0 w k(u)vw,
(x, y) I , t > 0,
t
x
where the constants Le, called Lewis number, a and are positive parame0
ters, and are nonnegative parameters, m 1, k(u) is a nonlinear term
called Arrhenius kinetics and defined by k(u) = exp(1/u), I (, )
is a bounded interval (0, lx ) or a whole line (, ), Rn is a bounded
Pn
domain, and = 2 /x2 + i=1 2 /yi2 is Laplacian as usual. We suppose
that if I = (0, lx ), u, w satisfy
u
w
u
(0, y, t) =
(lx , y, t) = 0,
(0, y, t) = 0,
x
x
x
for any y and t > 0, and if I = (, ),
lim u(x, y, t) = 0,
|x|
lim w(x, y, t) = wr ,
w(lx , y, t) = wr > 0
lim w(x, y, t) = wl 0
for any y and t > 0. In both cases we also suppose that u, w satisfy
u
w
(x, y, t) =
(x, y, t) = 0
16:51
Ikeda
115
(a)
(b)
large
Figure 1.
(c)
small
16:51
Ikeda
116
u
u
=Leu +
+ k(u)v(z + ) aum ,
(x, y) I , t > 0,
t
x
v
= k(u)v(z + ),
(x, y) I , t > 0,
t
v(x, y, 0) = v0 (x, y) 0,
(2.2)
(2.3)
|x|
(2.4)
|x|
0
Le + x 0
A=
0
0
0
0
0
0 +
x
16:51
Ikeda
117
and
k(u)v( + z) aum
.
F () =
k(u)v( + z)
00
0
0
k(u)v( + z) + +
u
= 0 for x I, y and u satisfies (2.3)}
2,p
and WN,0
(I ) is defined by
2,p
WN,0
(I ) = {z W 2,p (I ) |
z
= 0 for x I, y and z satisfies (2.4)}.
1/2 < < 1 and 0 < < 1. The functional spaces D(Lu ) and D(Lz ) are
called fractional spaces where Lu = Le 0 /x and Lz = /x
(see Section 2.6 of [3]). And C (I ) is the H
older space with a H
older
exponent . Then we have the following theorem for existence of a global
solution.
Theorem 2.1. Assume that p > n + 1, 1/2 < < 1, 0 < < 1, and
C 2 . In addition, suppose that the function has the second order
continuous derivatives in x I and they belong to Lp (I ) C (I ).
0 v R,
0 w R.
16:51
Ikeda
118
16:51
Ikeda
119
2M R
(q(T ) q(t)))
= v(x, y, T ) exp(
a
v(x, y, T ) exp(
2M R
q(T )).
a
(3.2)
(3.3)
because of w R and k(u) < 1. Therefore it follows from (3.2) and (3.3)
that v (x, y) > 0 if v0 (x, y) > 0.
Next we prove (iii) of our theorem. In the third equation of (RD), we
set = w wr . Then satisfies the equation
0
= +
k(u)vw,
(3.4)
t
x
and the boundary conditions (2.4) and / = 0 for x I, y and
0
t > 0. Using the analytic semigroup Tz (t) generated by Lz = + /x,
we rewrite (3.4) to the following integral equation
Z t
(t) = Tz (t T)(T)
Tz (t s)k(u(s))v(s)w(s)ds
T
for t > T, where T > T is sufficiently large and we omit the space variable
of functions for the convenience of readers. Here T was taken in the proof
of Lemma 3.2. In fact we can show that there exists a constant c0 > 0 such
that
1
kTz (t)kL (I) c0 min{1, }kkL(I)
t
16:51
Ikeda
120
2
=
+
,
t
x2
x
x (, ), t > 0,
which has a singularity at (x, t) = (0, 0). Then we can show that
kkL(I) is a super-solution of Tz (t), where kkL (I) is
a convolution of and kkL(I) as usual. Similarly, kkL (I)
is a sub-solution of Tz (t). Applying usual L L1 and L L estimates
to kkL(I) , we obtain
1
kTz (t)kL (I) k1kL(I) kkL(I) c0 min{1, }kkL(I) .
t
Hence it follows that
Z t
c0
k(t)kL (I) p
k(T)kL (I) + c0 R2
kk(u(s))kL(I) ds
T
t T
Z t
c0
p
k(T )kL (I) + c
a(q(s))m ds
T
t T
c0
k(T)kL (I) + 2c(q(T) q(t))
=p
t T
0
00
0
m
cU = LeU + U + k(U )V W aU ,
0
(4.1)
cV = k(U )V W,
cW 0 = W 00 + 0 W 0 k(U )V W,
16:51
Ikeda
121
LeU = aU m k(U )V W U m (a M vr wr ) 0,
which is a contradiction.
Next we show that there does not exist traveling wave solutions if is
large.
Lemma 4.2. Set m = 1. Then there exists a constant c independent of
Le, such that (4.1)
possesses no traveling wave solutions with the wave
speed c satisfying c > Lec .
From this lemma, we can
state that the wave speed of traveling wave
solutions must satisfy c Lec if exists. This is the upper bound of
the wave speed.
Proof. From Lemma 4.1, we can assume a < M vr wr without loss of
generality. Here we set f (U ) = k(U )vr wr aU . Then f (U ) has zeros
at U = 0, U1 , U2 for 0 < U1 < U2 . Moreover it holds that f (U ) < 0 for
0 < U < U1 and f (U ) > 0 for U1 < U < U2 , which implies that f (U ) is a
nonlinear term of a bistable type. Therefore there exists a traveling wave
solution Q = Q(
z ) with the wave speed c independent of Le, such that
0
00
Lec Q = LeQ + f (Q), Q() = U2 , Q(+) = 0,
0
where z = x ( Lec )t and
prime = d/d
z (see Theorem 4.2 of
the
[1]). Setting q(x, t) = Q(x ( Lec )t), we know that q satisfies
q
2q
q
= Le 2 +
+ f (q).
t
x
x
16:51
Ikeda
122
u
u
= Leu +
+ k(u)vwr aum , (x, y) I , t > 0,
t
x
(SS)
v = k(u)vwr ,
(x, y) I , t > 0.
t
0
ku0 u0 k 0,
kv0 v0 kL (I) 0,
(5.1)
(u0 , v0 ) D(L
u ) C (I ). Assume that (u0 , v0 ) and (u0 , v0 ) satisfy
16:51
Ikeda
123
0tT
0tT
sup kw (, , t) wr kL (I(K,)) 0
tT
0
= k(u)vw +
,
t
x
(x, y, 0) = w0 (x, y) wr ,
(0, y, t) = 0, (lx , y, t) = 0,
(x, y, t) = 0,
(x, y) I , t > 0,
(x, y) I ,
y , t > 0,
(5.2)
(x, y) I , t > 0,
( )2
t)kkL(I) .
8
2
t) = exp( ( ) t + (lx x))kkL (I) .
(x,
4
2
Then satisfies
0
2
=
+
,
x I, t > 0,
x2
x
t
0) kkL(I) ,
(x,
x I,
x , t) > 0, t > 0,
(0, t) 0, (l
x
16:51
Ikeda
124
( )2
t + lx )kkL(I)
4
2
0
( )2
exp(
t)kkL(I)
8
kkL(I) exp(
+
+
( )2
t)kwr w0 kL (I)
8
t4lx /
0
( )2
exp(
(t s))kk(u)vwkL (I) ds
8
t4lx /0
kk(u)vwkL (I) ds 0
9:46
071114ishiwatanonlinearanalysistaiwan
TETSUYA ISHIWATA
Gifu university, Yanagido 1-1, Gifu, 501-1193, JAPAN
Abstract: The motion of polygons by crystalline curvature is discussed. We
also mention the convexity phenomena and show examples of non-existence of
non-convex self-similar solutions.
1. Introduction
In this short paper we discuss a motion of polygons (t) in the plane by a
crystalline curvature flow:
Vj = Hj
(CCF)
(GCCF)
9:46
071114ishiwatanonlinearanalysistaiwan
126
-1
-1
-2
-2
-3
-3
-4
-4
-5
-5
0
0.5
1.5
2.5
t=0
3.5
4.5
0.5
1.5
2.5
3.5
t>0
Figure 1. Numerical example of the convexity phenomena for Vj = Hj . The left is (0)
and the right is a time evolution of (t).
4.5
9:46
071114ishiwatanonlinearanalysistaiwan
127
be a positive continuous function defined on S 1 , which describes an interfacial energy density in the direction of a crystal. It is well-known that
the equilibrium shape of crystal is given as the shape which
attains the
R
minimum of the total interfacial energy on some curve , f (n)ds (Here
f (n) = (), n = (cos , sin )). This minimizing problem is called the
Wulff problem and the solution figure is called the Wulff shape, which is
given by
W =
S 1
9:46
071114ishiwatanonlinearanalysistaiwan
128
1
(sgn(det(N j1 , N j )) + sgn(det(N j , N j+1 ))).
2
1
sin(j+1 j )
Vj+1
1
Vj1
sin(j j1 )
for j = 0, 1, . . . , N 1.
(2.1)
However, by assumption (G2), we can easily show that at least one edge
disappear in a finite time. Therefore, the solution polygon does not exist
globally in time in the class of N -sided admissible polygons. But the edgedisappearing does not always lead a breakdown of the time evolution of
solution polygon. If the limiting shape which is obtained after some edges
disappear is still admissible, we can continue a time evolution of solution
polygon in the class of admissible polygons beyond the edge-disappearing.
In this case, the number of edges of solution polygon becomes smaller.
That is, the system size of the problem (2.1) may change. But, there is
a possibility that the limiting shape is not admissible and thus we can no
9:46
071114ishiwatanonlinearanalysistaiwan
129
The assumption (W1) means that the Wulff shape W is point symmetric. For example, regular hexagon and octagon satisfy (W1). The condition
(G3) means a symmetry of mobility. For an anisotropic crystalline curvature flow, i.e., g(, ) = M () (M () is a positive function called the
mobility.), if M ( + ) = M (), then (G3) holds. The assumption (G4)
seen in [5] and means that the growth rate of g(, ) as is linear
or superlinear. If (G4) fails, the degenerate pinching may occur (see also
[2, 7]).
Under all assumptions, we obtain the following result:
Theorem 3.1. ([9]) Let (0) be a N -sided admissible polygon and assume
that (G1,2,3,4) and (W1) hold. Then, there exists a finite time T1 > 0 such
that (t) is N -sided admissible polygon for 0 t < T1 and there exists k
such that limtT1 dk (t) = 0.
Moreover, one of the following two phenomena occurs exclusively at
t = T1 :
(1) (t) shrinks to a single point, that is, limtT1 dj (t) = 0 for all j.
9:46
071114ishiwatanonlinearanalysistaiwan
130
t=0
t=T
Figure 2. Example motion when (W1) does not hold: The two center above edges have
zero crystalline curvature and thus never move in each normal direction. The bottom
edge moves upward and eventually touches the above vertex. The solution polygon splits
into two particles and each polygon is not admissible.
t=0
t=T
Figure 3. Example motion when (G3) does not hold: If g(/2, ) g(3/2, ), the
bottom edge moves upward faster than the above edge and eventually the both edges
touch each other. The solution polygon splits into two particles and each polygon is not
admissible.
t=0
t=T
Figure 4. Example motion when (G4) does not hold: Because of the lack of (G4), the
degenerate pinching occurs. The limiting shape is not admissible.
(2) There exists j0 such that inf 0t<T1 dj0 (t) > 0. Then, the transition number of the edge which disappears at t = T1 is zero and the
limiting shape = limtT1 (t) is N 0 -sided admissible polygon
(N 0 < N ).
This result says that the self-contacting never occur and we can continue
a time evolution of admissible polygon beyond the edge-disappearing.
9:46
071114ishiwatanonlinearanalysistaiwan
131
9:46
071114ishiwatanonlinearanalysistaiwan
132
Corollary 4.2. (Sufficient condition for convexity phenomenon) If the initial polygon (0) is point symmetric, then the solution polygon becomes
convex at t = Tm1 .
5. Discussion
In this final section we only consider the case Vj = Hj and W is a even
sided regular polygon. This setting satisfies all assumptions in the previous
theorems.
It is known that the convexity phenomena does not always appear for
(GCCF) because there are some examples of non-convex self-similar solutions (see [10]). However, it is shown in [8] that the motion of polygonal
curve by Vj = Hj approximates the motion of smooth curve by curveshortening flow and also well-known that the convexity phenomena always
appear in the later motion (see [6]). Therefore, we expect that the convexity phenomena always appear for Vj = Hj when the number of edges of
W is large.
It is obvious that non-existence results of non-convex self-similar solutions lead a necessary condition for the convexity phenomena. We here
show two examples of them.
P3
P2
P3
P2
P4
P1
P0
P4
P1
P0
P5
P7
P9
P6
P5
P6
N = 6
Figure 5.
P8
P7
N = 8
9:46
071114ishiwatanonlinearanalysistaiwan
133
similar solution has 8 edges and only two adjacent edges have zero crystalline curvature (see Figure 5). We set P0 = (0, 0) and dj = j d0 for
j = 1, 2, , 7. Here j s are positive constants since the solution is selfsimilar. Let consider the upper curve from P0 to P4 , i.e., C1 := 3j=0 Sj .
By geometry, Pj = (xj , yj ) are given by x1 = Ad0 , y2 = Bd0 , x2 =
Ad0 (11 ), y2 = Bd0 (1+1 ), x3 = Ad0 (11 22 ), y3 = Bd0 (1+1 ), x4 =
Ad0 (1 1 22 3 ), y4 = Bd0 (1 + 1 3 ) where A = cos(/3) and
B = sin(/3). By V0 = 0 and V1 = 1/1 d0 , we have d0 = 1/B1 d0
since N 1 T 0 = B. Next let see a motion of P2 . The time derivatives
of x2 and y2 are given by x 2 = Ad0 (1 1 ) = A(1 1 )/B1 d0 and
y 2 = B d0 (1 + 1 ) = (1 + 1 )/1 d0 . On the other hand, Vj = 1/j d0
A
1
1
1
(j = 1, 2) yield that x 2 = (
)
and y 2 =
. Thus we
2
1 Bd0
2 d 0
have 2 = 1 /(1 + 1 ). To consider a motion of P3 , we similarly have
3 = (1 + 1 )/(2 + 1 ). Then we have y4 = Bd0 (1 + 1/(2 + 1 )) > 0
for any d0 > 0 and 1 > 0. Thus the curve C1 does not touch or cross
the x-axis except at the origin. We can also show in the same way that
the lower curve C2 := 7j=4 Sj does not touch or cross the x-axis except
at the origin. This contradicts to the closedness of P(t). Therefore, the
non-convex self-similar solution does not exist.
Example 5.2. Let N = 8 and l (j ) = 1 for j W :=
{/8, 3/8, 5/8, 7/8, 9/8, 11/8, 13/8, 15/8}. The non-convex selfsimilar solution has 10 edges and only two adjacent edges have zero crystalline curvature (see Figure 5). Let j be positive constants. We set
P0 = (0, 0) and dj = j d0 for j = 1, 2, , 9. Let consider the upper curve from P0 to P5 . We can make the relations between j and
1 for j = 2, 3, 4 in the same manner in
example
theprevious
and
2
2), 3 =
(
+
2)/(
2
+
4
+
2) and
get 2 = 1 /(1 +
1 1
1
1
3
3
2
4 = ( 21 + 61 + 5 21 + 2)/( 21 + 91 + 11 21 + 6). By these
relations and y5 = d0 [(1 + 1 4 ) cos(/8) + (2 3 ) sin(/8)], we can
show y5 > 0 for any d0 > 0 and 1 > 0. Thus, the non-convex self-similar
solution does not exist.
Acknowledgment
The part of this work was done while the author was visiting the Department of Pure and Applied Mathematics, University of LAquila. The
author is partially supported by Grant-in-Aid for Encouragement of Young
Scientists (No. 18740048).
9:46
071114ishiwatanonlinearanalysistaiwan
134
References
[1] F. Almgren and J.E. Taylor, Flat flow is motion by crystalline curvature for
curves with crystalline energies, J. Diff. Geom. 42 (1995) 122.
[2] B. Andrews, Singularities in crystalline curvature flows, Asian J. Math. 6
(2002) 101122.
[3] S. Angenent and M.E. Gurtin, Multiphase thermomechanics with interfacial
structure, 2. Evolution of an isothermal interface, Arch. Rational Mech.
Anal. 108 (1989) 323391.
[4] K.S. Chou and X.P. Zhu, A convexity theorem for a class of anisotropic flows
of plane curves, Indiana Univ. Math. J. 48 (1999) 139154.
[5] M.-H. Giga and Y. Giga, Crystalline and level set flow convergence
of a crystalline algorithm for a general anisotropic curvature flow in the
plane, Free boundary problems: theory and applications, I (Chiba, 1999),
GAKUTO Internat. Ser. Math. Sci. Appli., 13, Gakk
otosho, Tokyo, (2000)
6479.
[6] M. Grayson, The heat equation shrinks embedded plane curves to round
points, J. Differential Geometry 26 (1987), 285-314.
[7] C. Hirota, T. Ishiwata and S. Yazaki, Numerical study and examples on singularities of solutions to anisotropic crystalline curvature flows of nonconvex
polygonal curves, to appear in ASPM.
[8] K. Ishii and H. M. Soner, Regularity and convergence of crystalline motion,
SIAM J. Math. Anal. 30 (1999) 1937 (electronic).
[9] T. Ishiwata, Motion of non-convex polygons by crystalline curvature and
almost convexity phenomena, preprint.
[10] T. Ishiwata, T.K. Ushijima, H. Yagisita and S. Yazaki, Two examples of
nonconvex self-similar solution curves for a crystalline curvature flow, Proc.
Japan Acad. Vol. 80, Ser. A, No. 8 (2004) 151154.
[11] T. Ishiwata and S. Yazaki, On the blow-up rate for fast blow-up solutions
arising in an anisotropic crystalline motion, J. Comp. App. Math. 159 (2003)
5564.
[12] T. Ishiwata and S. Yazaki, A fast blow-up solution and degenerate pinching
arising in an anisotropic crystalline motion, submitted.
[13] A. Stancu, Asymptotic behavior of solutions to a crystalline flow, Hokkaido
Math. J. 27 (1998) 303320.
[14] J. E. Taylor, Constructions and conjectures in crystalline nondifferential
geometry, Proceedings of the Conference on Differential Geometry, Rio de
Janeiro, Pitman Monographs Surveys Pure Appl. Math. 52 (1991) 321336,
Pitman London.
16:55
KabeyaNinomiya-proc-fin
YOSHITSUGU KABEYA
Department of Mathematical Sciences,
Osaka Prefecture University
1-1 Gakuencho, Sakai, 599-8531, Japan
HIROKAZU NINOMIYA
Department of Applied Mathematics and Informatics,
Ryukoku University
Seta, Otsu, 520-2194, Japan
in Sn
(1.1)
135
19540224),
japan
18540147),
japan
16:55
KabeyaNinomiya-proc-fin
136
k
Y
yk =
j=1
n1
y
=
sin j cos ,
n1
j=1
n1
y
=
sin
sin ,
n
j
j=1
yn+1 = cos 1 .
0 i , (i = 2, 3, . . . , n 1), 0 2
n1
X
k=1
n1
Y
k=1
sin k
2 2 u
2
u o
n
(sin k )nk
k
k
n1
v =
sin
1
,
(1.2)
1
sinn1 1 1
which is denoted by 1 . Then (1.1) becomes
p
1 v v + v+
= 0.
(1.3)
16:55
KabeyaNinomiya-proc-fin
137
N H0,0,...,1L
Q Hy1,y2,...,yn+1L
WH1*L
P Hx1,x2,...,xnL
r=R
WH1*L
r=R
(a)
N H0,0,...,1L
1*
1
BR
(b)
Figure 1. Stereographic projection from the north pole to the Euclidean space. (a) a
birds-eye view of the domain, (b) the cross-section at the hyperplane.
view of the stereographic projection from the north pole (0, . . . , 0, 1), any
point (y1 , y2 , . . . , yn+1 ) corresponds to
y1
y2
yn
(x1 , x2 , . . . , xn ) =
,
,...,
1 yn+1 1 yn+1
1 yn+1
on Rn . Expressing (y1 , y2 , . . . , yn+1 ) in terms of xi , we have
2x2
2xn
|x|2 1
2x1
(y1 , y2 , . . . , yn+1 ) =
,
,
.
.
.
,
,
.
|x|2 + 1 |x|2 + 1
|x|2 + 1 |x|2 + 1
See Figure 1. Since (1 ) is a geodesic ball with its radius 1 , its
stereographically projected image is also a ball BR in Rn centered at the
origin with its radius R = cot(1 /2).
The operator can be also rewritten as a weighted differential operator
of the elliptic type as expressed below. After tedious calculations, we obtain
|x|2 + 1 2
|x|2 + 1
u =
u (n 2)
(y u)
2
2
1 + |x|2 n
n2
2
=
div
u
.
2
|x|2 + 1
Thus, in the case of radial function w(r), can be written as
(r2 + 1)n
rn1
w
w =
,
4rn1 r (r2 + 1)n2 r
(1.4)
(1.5)
16:55
KabeyaNinomiya-proc-fin
138
Although the linear elliptic problems have been considered on the sphere
since 19th century (the Legendre era), nonlinear elliptic problems on the
unit sphere or the spherical caps are now getting attention. For example,
Bandle and Peletier [4], Bandle and Benguria [3] are basic results. In [3], the
problem (1.1) with < 0, n = 3 and the homogeneous Dirichlet condition
is treated. They showed the existence and the non-existence results by
using the variational methods as are done in Brezis and Nirenberg [8].
They emphasized that different phenomena would occur if contains the
southern hemisphere (note that they project the spherical cap from the
south pole and in their sense, this word should be northern hemisphere).
Also related results concerning the existence of a minimizer for the best
Sobolev constants were discussed by Bandle and Peletier [4].
Later, Stingelin [16] considered (1.1) with > 0 and the homogeneous
Dirichlet condition, and showed numerically the bifurcation diagram, which
seemed as if imperfect bifurcations occur (see Figure 2). His diagrams look
very like what we obtained in Kabeya, Morishita and Ninomiya [10]. There
must be the similar mechanism in behind in this problem. We would like to
assure the bifurcation diagram mathematically rigorously. Especially, what
will happen to the bifurcation diagram if we let 1 0?
Recently, Brezis and Peletier [4] studied this problem further than what
Stingelin [16] did and they showed several properties of the bifurcation
diagram for large > 0. Moreover, very recently, Bandle and Wei [5, 6, 7]
studied intensively on this subject from the singular perturbation point of
view, and arrived to almost the same height as in Ambrosetti, Malchiodi and
Ni [1, 2] and Malchiodi, Ni and Wei [13]. Various concentration phenomena
have been observed in [5, 6, 7].
We would like to see what the structure of solutions to (1.5) is. Unfortunately, (1.5) cannot be transformed to a Matsukuma type equation
or the canonical form as discussed in Yanagida and Yotsutani [18, 19] and
theorems in Kabeya, Yanagida and Yotsutani [11] are not applicable.
We should note that (1.5) on Sn has a constant solution 1/(p1) . Although the constant solution is never a solution to the Dirichlet problem,
as in Section 4 of [4], the analysis of the linearized problem is important.
As a first step to analyze the problem, we here consider the linear eigenvalue problem: for given R > 0, find eigenvalues such that
(
r w + (p 1)w = 0,
wr (0) = 0, w(R) = 0,
16:55
KabeyaNinomiya-proc-fin
139
better consider the original problem on the spherical cap and find azimuthal
eigenvalues. That is, for given 1 > 0, we consider the problem
(
1 v + (p 1)v = 0
(1.6)
v1 () = 0, v(1 ) = 0
D
and find suitable eigenvalue D
k,1 > 0 and a solution v = k, with k 1
(1 )
where
1
H0,az
((1 ))
Z
)
1/2 2
=0 ,
= (1 )
| | dS < ,
(1 )
1 =1
(1 )
1
for u C0 ((1 )) and is extended to H0,az
((1 )) by completion. Note
that for a function f depending only on 1 , we have
Z
Z
n1
f (1 ) dS = |S
|
f (1 )(sin 1 )n1 d1 ,
(1 )
16:55
KabeyaNinomiya-proc-fin
140
D
What are the behaviors of D
k,1 ? We can expect that k,1 converges
to the eigenvalue k in the whole sphere case.
Theorem 1.1. For any natural number k and for any sufficiently small
D
1 > 0, there holds D
k,1 > k . Moreover, as 1 0, k,1 k and
D
k, k local uniformly in (0, ].
1
Remark 1.1. The convergence of eigenfunctions under the Dirichlet problem to the whole sphere ones might be strange. This would show that the
solution to (1.1) very close to the constant solution have a boundary layer
as the spherical cap approaches to the north pole. The bifurcation diagram
of (1.1) would converge locally uniformly to that of the whole sphere case.
Using the information of eigenfunctions and eigenvalues, we have the existence theorem to the nonlinear problem, which would partially give a rigorous proof of numerically computed bifurcation diagrams (see Figure 2).
Theorem 1.2. Let n 3, (n + 2)/(n 2) p > 1 and 6= k (k =
1, 2, 3, . . . ) but near some j . Then, for sufficiently small 1 > 0, there
exist > 0 and a solution v(; 1 , ) to
1 v v + v p = 0, 1 < 1 < ,
(1.8)
v(1 ) = 0, v1 () = 0, v() = .
The organization of this paper is as follows. Analysis on the linear
problem will be done by using the Legendre associate functions, which will
help us much, in Section 2. Sketches of proofs of Theorems 1.1 and 1.2 will
be given in Section 3.
2. Investigation of the linearized problem
In this section, we investigate (1.6) and (1.7) and find exact solutions to
these problems by using the associated Legendre functions.
Letting t = cos( 1 ) = cos 1 = yn+1 , we have
(1 t2 )n/2
+ (1 t2 )n/21 (p 1) = 0,
(2.1)
t
t
and (2.1) is called a hyper-sphere equation. The fundamental solutions
of (2.1) are expressed by the associated Legendre functions P , Q as
= c1 (1 t2 )/2 P (t) + c2 (1 t2 )/2 Q (t),
(2.2)
16:55
KabeyaNinomiya-proc-fin
141
5.
5.
4.5
4.5
4.
4.
3.5
3.5
3.
3.
2.5
2.5
2.
2.
1.5
1.5
1.
1.
0.5
0.5
0.
0.
0.
1.
2.
3.
(a)
4.
5.
6.
7.
8.
= 0.02
9.
10.
0.
1.
2.
3.
(b)
4.
5.
6.
7.
8.
9.
10.
= 0.002
where
p
(n 1)2 + 4(p 1) 1
n2
=
, =
.
(2.3)
2
2
The associated Legendre functions P and Q are the independent solutions
to the associated Legendre equation
d
2
2 dP
(1 t )
+ ( + 1)
P = 0.
(2.4)
dt
dt
1 t2
In case of n = 2m 1, P has a singularity at t = 1 and hence c1 = 0
must hold. Moreover, if
lim (1 t2 )/2 Q (t)
t1
(2.5)
16:55
KabeyaNinomiya-proc-fin
142
( + + 1)
Q (t) =
(cos )P (t)
P (t) .
2 sin
( + 1)
lim
(2.6)
(2.7)
m3/2
Also Q
(t) can be expressed in a finite sum of the combinations of the
elementary functions by using
Qm3/2
(t) =
( + m 1/2) (m3/2)
P
(t),
2 ( m + 5/2)
2
1
cos +
,
sin
2
r
1
2i
2
1/2
sin +
,
P
(cos ) =
2 + 1 sin
2
P1/2 (cos )
=i
t1
1
(sin ) log t
16:55
KabeyaNinomiya-proc-fin
143
(2.9)
1
sin
(n2)/2
(n2)/2
Qk1+(n2)/2 ( cos 1 )
1
sin
(n2)/2
(n2)/2
Pk1+(n2)/2 ( cos 1 )
c5 sin{
c4
=
P 1/2 ( cos 1 ) =
sin 1
p
(p 1) + 1( 1 )}
sin( 1 )
16:55
KabeyaNinomiya-proc-fin
144
1 (rn1 ur )r + 2 u = 0,
rn1
u(0) = 1
with > 0 is explicitly expressed as
J(n2)/2 (r)
r(n2)/2
with Cn > 0 being the normalizing constant. This may reflect the difference
of properties of solutions caused by the compactness or non-compactness
of the domain.
u(r) = Cn
3. Sketch of Proofs
We give sketches of proofs of Theorems 1.1 and 1.2 by using the properties
of the associated Legendre functions as discussed in Section 2.
Sketch of a proof of Theorem 1.1. Let (t; ) be a solution of (2.1)
and (1; ) = 1. By (2.2) and (2.3), P (t; ) = (1 t2 )/2 = c1 P (t) +
c2 Q (t) satisfies (2.4). Recall the locally uniform convergence on (1, 1]
of a solution of (2.4) with respect to and the continuity of P and Q
with respect to . More precisely, we consider the case of n = 2m 1
16:55
KabeyaNinomiya-proc-fin
145
t1
Hence, the same conclusion holds for this case due to (2.9).
Letting 1 0 means that finding closer to k so that the smallest
zero is closer to t = 1.
In either case, the convergence of the norm of D
k,1 to that of k is
D
deduced easily since k,1 has no singularities. 2
Remark 3.1. As in the proof of Theorem 1.1, the smallest zero of the
associated Legendre function converges to the smallest zero t = 1 of
P (t; k ) as k . Thus, from the view point of the associated Legendre
function, the eigenvalues of the Dirichlet problem for (2.4) converges to
the eigenvalues of that at t = 1. However, as a solution on the sphere,
due to the weight (1 t2 )/2 , the zero of P (t; k ) at t = 1 is cancelled
out for = k . The eigenvalues of the Dirichlet problem on the spherical
cap converges to those of the whole sphere (Nuemann) problem as the cap
becomes wider and wider to cover the whole sphere except the north pole.
1
Sketch of proof of Theorem 1.2. We construct a solution in H0,az
((1 ))
by using the contraction mapping principle. We seek a solution of the form
vk,1 = wk,1 (1 ) + sD
k,1 (1 ) + hk,1 (1 , s)
where wk,1 (1 ) is an auxiliary function which converges to 1/(p1) as
1 0. We can follow the argument in [10] to show that there exist s R
16:55
KabeyaNinomiya-proc-fin
146
1
sufficiently small 1 . 2
References
[1] A. Ambrosetti, A. Malchiodi, and W.-M. Ni, Singularly perturbed elliptic
equations with symmetry: existence of solutions concentrating on spheres,
Part I, Comm. Math. Phys. 235 (2003), 427466.
[2] A. Ambrosetti, A. Malchiodi, and W.-M. Ni, Singularly perturbed elliptic
equations with symmetry: existence of solutions concentrating on spheres,
Part II, Indiana Univ. Math. J. 53 (2004), 297329.
[3] C. Bandle and R. Benguria, The Brezis-Nirenberg problem on S3 , J. Differential Equations, 178 (2002), 264279.
[4] C. Bandle and L. A. Peletier, Best Sobolev constants and Emden equations
for the critical exponent in S3 , Math. Ann. 313 (1999), 8393.
[5] C. Bandle and J. Wei, Multiple clustered layer solutions for semilinear elliptic
problems on Sn , preprint.
[6] C. Bandle and J. Wei, Nonradial clustered spike solutions for semilinear
elliptic problems on Sn , preprint.
[7] C. Bandle and J. Wei, Solutions with an interior bubble and clustered layers
for elliptic equations with critical exponents on spherical caps of S n , preprint.
[8] H. Brezis, and L. Nirenberg, Positive solutions of nonlinear elliptic equations
involving critical Sobolev exponents, Comm. Pure Appl. Math., 36 (1983),
437477.
[9] H. Brezis and L. A. Peletier, Elliptic equations with critical exponents on
spherical caps of S3 , J. Anal. Math. 98 (2006), 279316.
[10] Y. Kabeya, H. Morishita and H. Ninomiya, Imperfect bifurcations arising
from elliptic boundary value problems, Nonlinear Anal., 48 (2002), 663684.
[11] Y. Kabeya, E. Yanagida and S. Yotsutani, Global structure of solutions for
equations of Brezis-Nirenberg type on the unit ball, Proc. Royal Soc. Edinburgh 131A (2001), 647665.
[12] Y. Kabeya, E. Yanagida and S. Yotsutani, Canonical forms and structure
theorems for radial solutions to semi-linear elliptic problems, Comm. Pure
Appl. Anal. 1 (2002), 85102.
[13] A. Malchiodi, W.-M. Ni and J. Wei, Multiple clustered layer solutions for
semilinear Neumann problems on a ball, Ann. Inst. H. Poincare Anal. Nonlineaire, 22 (2005), 143163.
[14] S. Moriguchi, K. Udagawa and S. Hitotsumatsu, Mathematical Formulae
III, Special Functions (1960), Iwanami Shoten, Tokyo (in Japanese).
16:55
KabeyaNinomiya-proc-fin
147
[15] N. Shimakura, Partial Differential Operators of Elliptic Type, AMS, Providence, 1992.
[16] S. Stingelin, New numerical solutions for the Brezis-Nirenberg problem on
Sn , Universit
at Basel preprint 2003-15, 2003.
[17] M. E. Taylor, Partial Differential Equations II, Springer-Verlag, New York,
1996.
[18] E. Yanagida and S. Yotsutani, Pohozaev identity and its applications, RIMS
Koukyuuroku 834 (1993), 8090.
[19] E. Yanagida and S. Yotsutani, A unified approach to the structure of radial
solutions for semi-linear elliptic problems, Japan J. Indust. Appl. Math. 18
(2001), 503519.
16:57
EQVI
EXISTENCE THEOREMS
FOR ELLIPTIC QUASI-VARIATIONAL INEQUALITIES
IN BANACH SPACES
RISEI KANO
Department of Mathematics, Graduate School of Science & Technology, Chiba
University, 1-33 Yayoi-cho, Inage-ku, Chiba, 263-8522 Japan
NOBUYUKI KENMOCHI
Department of Mathematics, Faculty of Education, Chiba University, 1-33
Yayoi-cho, Inage-ku, Chiba, 263-8522 Japan
YUSUKE MURASE
Department of Mathematics, Graduate School of Science & Technology, Chiba
University, 1-33 Yayoi-cho, Inage-ku, Chiba, 263-8522 Japan
1. Introduction
Let X be a real reflexive Banach space and X be its dual. We assume
that X and X are strictly convex and denote by < , > the duality
pairing between X and X. Given a nonlinear operator A from X into X ,
an element g X and a closed convex subset K of X, the variational
inequality is formulated as a problem to find u in X such that
u K,
< Au g , u w > 0, w K.
149
(1.1)
16:57
EQVI
150
Variational inequality has been studied by many mathematicians, for instance see J. L. Lions and G. Stampacchia [10], F. Browder [5], H. Brezis
[4] and their references.
The concept of quasi-variational inequality was introduced by A. Bensoussan and J. L. Lions [2] in order to solve some problems in the control
theory. Given an operator A : X X , an element g X and a family
{K(v); v X} of closed convex subsets of X, the quasi-variational inequality is a problem to find u in X such that
u K(u),
(1.2)
As is seen from (1.2), the constraint K(u) for the quasi-variational inequality depends upon the unknown u, which causes one of main difficulties in
the mathematical treatment of quasi-variational inequalities. The theory of
quasi-variational inequality has been evolved for various classes of the mapping v K(v) and the linear or nonlinear operator A : X X ; see for
instance [6,7,13], in which two approaches to quasi-variational inequalities
were proposed. One of them is the so-called monotonicity method in Banach lattices X (cf. [13]), and for the mapping v K(v) the monotonicity
condition
min{w1 , w2 } K(v1 ), max{w1 , w2 } K(v2 ),
if v1 , v2 X with v1 v2 ,
(1.3)
is required, and an existence result for (1.2) is proved with the help of a fixed
point theorem in Banach lattices. Another is the so-called compactness
method in which some compactness properties are required for the mapping
v K(v) such as K(vn ) converges to K(v) in the Mosco sense, if vn v
weakly in X as n . In this framework, an existence result for (1.2)
was shown by J. L. Joly and U. Mosco [7]. However this result seems not
enough from some points of applications. The objective of this paper is to
generalize the result in [7] to the case that A : X X is the multivalued
u), generated by a semimonotone
pseudo-monotone operator, Au = A(u,
(1.4)
16:57
EQVI
151
(u) a.e. on ,
N Z
Z
X
u (u w)
aij (x, u)
dx +
u
(u w)dx
xi xj
i,j=1
f (u w)dx, w H01 () with |w| kc (u) a.e. on ,
(1.5)
(1.6)
and
u) :=
A(v,
N
X
i,j=1
xj
aij (x, v)
u
xi
+ (u);
(1.7)
it should be noted that the family {K(v); v H01 ()} given by (1.6) does
not satisfy the monotonicity condition (1.3), and that the term (u) of
(1.7) is in general multivalued. Therefore, (1.5) is a new application in the
respect that the differential form in (1.7) is quasi-linear and the additional
term is multivalued in general.
2. Main results
Let X be a real Banach space and X be its dual space, and assume that
X and X are strictly convex. We denote by < , > the duality pairing
between X and X, and by | |X and | |X the norms of X and X , respectively. For various general concepts on nonlinear multivalued operators
from X into X , for instance, monotonicity and maximal monotonicity of
operators, we refer to the monograph [1]. In this paper, we mean that operators are multivalued, in general. Given a general nonlinear operator A
from X into X , we use the notations D(A), R(A) and G(A) to denote its
domain, range and graph of A. In this paper, we formulate quasi-variational
inequalities for a class of nonlinear operators, which is called semimonotone,
from X X into X .
16:57
EQVI
152
tone, if D(A) = X X and the following conditions (SM1) and (SM2) are
satisfied:
u) is maximal monotone
(SM1) For any fixed v X the mapping u A(v,
n , u) and un u in X
a sequence {un } in X such that un A(v
as n +.
:= X X X be a semimonotone operator. Then we
Let A : D(A)
u) for all u X, which
define A : D(A) = X X by putting Au := A(u,
u K(u), u Au,
16:57
EQVI
153
v X,
(2.2)
and
inf
w Aw
< w , w v >
as |w|X uniformly in v G0 .
|w|X
(2.3)
operator and let A : X X . Then, the following two properties (a) and
(b) are satisfied:
(a) For any v, u X, A(v, u) is a non-empty, closed, bounded and
convex subset of X .
(b) Let {un } and {vn } be sequences in X such that un u weakly
n , un ),
in X and vn v weakly in X (as n ). If un A(v
(2.5)
n , w).
w X, wn A(v
(2.6)
{w
n } with w
n A(vn , w) and w
n w in X . Then, by substituting this
16:57
EQVI
154
w).
w X, w A(v,
n , u)
sponding to this g A(v, u), by (SM2) choose a sequence gn A(v
v1 A1 v,
v2 A2 v
< v1 + v2 , v v0 >
as |v|X , v1 D(A1 ).
|v|X
Then R(A1 + A2 ) = X .
For a proof of Proposition 2.2, see [4,5,8].
16:57
EQVI
155
(3.2)
if z X K(v);
note that IK(v) is maximal monotone. It follows from Proposition 2.2 that
) + IK(v) ) = X ; in fact, the coerciveness condition of Proposition
R(A(v,
2.2 for A1 := IK(v) and A2 := A(v, ) is automatically satisfied, since
D(A1 ) = K(v) is bounded in X. Hence there exists an element u which
satisfies (3.2) (therefore (3.1)) for each v K0 . Moreover, the solution u
) and u K0 . Using this fact,
is unique by the strict monotonicity of A(v,
we define a mapping S from K0 into itself which assigns to each v K0 the
solution u K0 of (3.1), i.e. u = Sv.
Next, we show that S is weakly continuous in K0 . Let {vn } be any
sequence in K0 such that vn v weakly in X, and put un = Svn ( K0 )
for n = 1, 2, . Now, let {unk } be any weakly convergent subsequence of
{un } and denote by u the weak limit; note by condition (K2) that u K(v).
We are going to check that u is a unique solution of (3.1). To do so, first
n , un ) such that
observe that there is un A(v
< un g , un w > 0,
w K(vn )
(3.3)
16:57
EQVI
156
= < u , u >
Therefore it follows from Proposition 2.1 that
u),
u A(v,
(3.4)
16:57
EQVI
157
= lim sup{< g , un u
n > + < un , u
n u >}
n
0.
Since A is pseudo-monotone from X into X (cf. Proposition 2.1), it follows
from the above inequality that
u Au,
(3.6)
(3.7)
1
1
)w + v0 ,
m
m
m = 1, 2, .
(3.8)
16:57
EQVI
158
if
(3.9)
< uM g , uM w > 0,
w KM (uM ).
(3.10)
0.
By the pseudo-monotonicity of A this implies that
u Au,
n+
By making use of these properties with (K1) and passing to the limit as
n in (3.10) with M = Mn and w = w
n as above, we see that u K(u)
and < u g , u w > 0 for all w K(u). Thus u is a solution of our
problem P(g ).
4. Application to obstacle problems
In this section, let be a bounded domain in RN , 1 N < , with smooth
boundary := , and put X := W01,p () or W 1,p (), 1 < p < . Let
ai (x, , ), i = 1, 2, , N, be functions on R RN such that
16:57
EQVI
159
(i i ) 0,
ai (x, , ) ai (x, , )
(4.2)
a.e. x , R, = (1 , 2 , , N ),
= (1 , 2 , , N ) RN .
We define a mapping A0 (, ) : X X X by putting
< A0 (v, u), w >=
N Z
X
i=1
ai (x, v, u)
w
dx, u, v, w X,
xi
(4.3)
r R,
(4.4)
where c2 , c02 , c3 and c03 are positive constants. Now, we consider an operator
u) := A0 (v, u) + (u) for all v, u X. It
A : X X X given by A(v,
is easy to see from (4.3) and (4.4) that A is a bounded and semimonotone
operator from X X into X .
Application 4.1. (Gradient obstacle problem)
Let X = W01,p (), and kc be a Lipschitz continuous real function on R
such that
0 < kc (r) k , r R,
(4.5)
(4.6)
16:57
EQVI
160
Also, we set
K0 := {w X; |w| k a.e. on }, ;
(4.7)
(4.8)
(4.9)
have that vn v in C(). Since cw K(v) for all constant c (0, 1) and
cw w as c 1 in X, it is enough to show the existence of a sequence {w
n }
such that w
n K(vn ) and w
n w
in X, when w
= cw for any c (0, 1).
In such a case, by conditions (4.5) and (4.8), we can take a small > 0 so
Furthermore, for this > 0 we can find a
that |w|
kc (v) a.e. on .
positive integer n such that kc (v) kc (vn ) + for all n n . This implies
that |w|
kc (vn ) a.e. on , namely w
K(vn ) for all n n . Now we
define {w
n } by putting
w
n =
for n n ,
16:57
EQVI
161
According to Lemma 4.1, we can apply Theorem 2.1 to solve the following quasi-variational inequality:
Z
Z
X
N Z
ai (x, u, u)(uxi wxi )dx +
u (u w)dx
f (u w)dx,
i=1
(4.11)
(4.12)
Clearly, the constant function k belongs to K(v) for all v X. Futhermore, it follows from (4.1) and (4.4) that
Z
1
0
(4.13)
16:57
EQVI
162
Z 1
Z 1
{a1 (x, u, ux )(ux wx ) + u (u w)} dx
f (u w)dx,
(4.15)
Z 1
Z 1
{a
(x,
u,
u
)(u
w
)
+
u
(u
w)}
dx
f (u w)dx,
1
x
x
x
0
0
w X with w(i) kc (u(i)), i = 0, 1.
u1 , u2 R,
16:57
EQVI
163
Z 1
+
u
(u
w
)dx
fk (uk wk )dx,
k
k
0
0
16:57
EQVI
164
v X.
(5.1)
X
Z
Z
N Z
i=1
v
= 0 on ,
n
(5.3)
16:57
EQVI
165
Z
N Z
a
(x,
u,
u)(u
w
)dx
+
u (u w)dx
i
xi
xi
i=1
Z
(5.4)
v + v = u a.e. on ,
v
n = 0 a.e. on ,
and by virtue of Theorem 2.2 the above system has at least one solution
{u , v } for each (0, 1]. Also, see [12] for a related non-local quasivariational inequality.
Proposition 5.1. Assume that the space dimension is one, p = 2 and
= (0, 1). Let {u , v }(0,1] be a family of solutions of (5.4). Then
{u , v } is bounded in W 1,2 () W 1,2 (), and for any weak limit u of
{u } as 0 is a solution of the interior obstacle problem (4.14).
1
0
|vn |2 dx +
1
0
|vn |2 dx
whence {n |vn |2L2 (0,1) } is bounded and {vn } is bounded in W 1,2 (0, 1).
Since vn un = n vn 0 in L2 (0, 1) and un kc (vn ), it follows from
the above esitimates that
vn u weakly in W 1,2 () and uniformly on [0, 1]
(5.5)
as well as
kc (vn ) kc (u) uniformly on [0, 1], u kc (u) on (0, 1).
(5.6)
16:57
EQVI
166
Let w be any function with w kc (u) on (0, 1). Given > 0, choose a
positive integer n so that
w + kc (u) + kc (vn ),
u + kc (u) + kc (vn ),
on (0, 1), n n ;
(5.7)
where
L (0, 1) is a function satisfying
we have
Z 1
Z
H := lim sup
a1 (x, un , un,x )(un,x ux )dx +
un
un (un )
un (un u)dx M0 ,
and
lim
a1 (x, un , un,x )w
x dx +
0
a1 (x, u, ux )w
x dx +
0
1
0
1
un wdx
(5.9)
u wdx,
w
W 1,2 (0, 1),
where u L2 (0, 1) with u (u) a.e. on (0, 1). Going back to the quasivariational inequality (5.4) with = n and u = un and v = vn for any
n n , we obtain by (5.7)
Z 1
Z 1
Z 1
ai (x, un , un,x )(un,x wx )dx+
un (un w)dx
f (un w)dx
0
1,2
u (u w)dx
f (u w)dx M0
0
16:57
EQVI
167
for all w W 1,2 (0, 1) with w kc (u) on (0, 1). By the arbitrariness of
> 0 we conclude that H(u, w) 0 and u is a solution of quasi-variational
inequality (4.14).
(Example 5.2) The second example of is given as an integral operator as
follows. Let (, , ) be a smooth function on RN RN R such that
|(x, y, r)| c4 |r| + c04 , x, y RN , r R,
where c4 and c04 are positive constants. Then we define : X := W 1,p ()
X by
Z
(v)(x) =
(x, y, v(y))dy, x , v X.
where
0 (x) :=
n
o
1
,
c exp 1|x|
2
0,
if |x| < 1,
otherwise,
(x y)v(y)dy, v X,
(5.10)
According to the above existence result, for each > 0 problem (5.2) with
:= has at least one solution u ( K (u )). For the family {u } of
solutions we see by taking w = k in inequality (5.2) that {u }0<<1 is
bounded in X. It is a quite interesting question what happens as 0.
Proposition 5.2. Assume that the space dimension is one and = (0, 1).
Let {u }(0,1] be a family of solutions of (5.2) with = . Then {u } is
16:57
EQVI
168
It is easy to see from this inequality that {u } is bounded in W 1,p (0, 1).
Now let u be any weak limit of {u } in W 1,p (0, 1) and choose a sequence
n 0 so that un := un u weakly in W 1,p (0, 1) and uniformly on [0, 1].
In this case we have that n un u uniformly on [0, 1] and u kc (u) on
(0, 1). Therefore, in a way similar to that of Proposition 5.1, we can prove
that u is a solution of the quasi-variational inequality (4.14).
(Case 2) Consider = (0, 1) and define (x, y) by
s(x y), if y [x, 1),
(x, y) :=
0,
if y (0, x),
(5.11)
16:57
EQVI
169
In this case, we see that is a continuous mapping from the weak topology
of X into R, which is regarded as a compact mapping from X into itself.
References
(1) C.Baiocchi and A.Capelo, Variational and Quasivariational Inequalities, John Wiley and Sons, Chichester-New York-Brisbane-TorontoSingapore, 1984.
(2) A. Bensoussan and J.L. Lions, Nouvelle formulation de problemes
de controle impulsionnel et applications, C. R. Acad. Sci. Paris
Ser. A, 276(1973), 1189-1192.
(3) A. Bensoussan, M. Goursat, J.L. Lions, Contr
ole impulsionnel et
inequations quasi-variationnelles stationnaires, C. R. Acad. Sci.
Paris Ser. A, vol.276(1973), 1279-1284.
17:1
taiwan2006
TATSUKI KAWAKAMI
1. Introduction
We consider the Cauchy problem of the semilinear heat equation,
t u = u + f (u) in RN (0, ),
u(x, 0) = (x)
in RN ,
(1.1)
0 in RN .
(1.2)
Z
(H2)
h( N/2 )d < .
1
ishige@math.tohoku.ac.jp
sa4m10@math.tohoku.ac.jp
171
17:1
taiwan2006
172
(p > 1 + 2/N ),
( < 1/2).
In this paper we study the asymptotic behavior of the solutions for the
semilinear heat equations (1.1).
The asymptotic behavior of the solutions of semilinear heat equations
has been studied by many mathematicians (see [6], [7], [8], [9], [10], [12],
[13], [16], [17], [18], and the references therein). Among others, Kawanago
[13] studied the asymptotic behavior of the solutions of the semilinear heat
equation with f (u) = up . In particular, for the case p > 1 + 2/N and
p < (N + 2)/(N 2), he proved that, for any nonzero, nonnegative initial
data L1 (RN ) L (RN ) satisfying |x| L1 (RN ), if the solution u
exists time globally and supt>0 ku(t)kL1 (RN ) < , the solution u satisfies
lim t(11/q)N/2 ||u(t) c G(t)||Lq (RN ) = 0,
q [1, ],
(1.3)
where
c = kkL1 (RN ) +
f (u)dxdt,
RN
|x|2
G(x, t) = (4t)N/2 exp
.
4t
(See also Remark 1.1.) Gmira and Veron [9] studied the asymptotic behavior of the solution u of (1.1) with f (u) = up . In particular, for the case
p > 1 + 2/N , they proved that, for any nonzero, nonnegative initial date
L1 (RN ),
lim tN/2 max |u(x, t) c G(x, t)| = 0,
xPa (t)
a > 0,
17:1
taiwan2006
173
Now we state the main results of this paper. The first result gives the
asymptotic behavior of the solutions of (1.1) in the Lq spaces (1 q ).
Theorem 1.1. Assume (H1) and (H2). Let u be the solution of (1.1) under
the condition (1.2) such that
sup ku(t)kL1 (RN ) < +, lim ku(t)kL (RN ) = 0.
(1.4)
t>0
(1.5)
where
c = kkL1 (RN ) +
f (u)dxdt > 0.
RN
Remark 1.1. Assume (H1) and (H2). Let u be the solution of (1.1) under
the condition (1.2).
(1) Let f (u) = up with p > 1 + 2/N . Then, by the comparison principle, the solution u satisfies the condition (1.4). So, if f (u) = up with
p > 1 + 2/N , Theorem 1.1 holds without the condition (1.4).
(2) Let f (u) = up with p > 1 + 2/N and (N 2)p < N + 2. Assume
2
L2 (RN , e|x| /4 dx). Then, by [13], the solution u satisfies either
(i) the solution u blows-up in a finite time,
N
17:1
taiwan2006
174
and
Z
(1.6)
RN
Then, for any q [1, ] and T > 0, there exist positive constants C and
such that
Z
12
N
(1 1q )
21
N
2
2
t
ku(t) c G(t)kLq (RN ) Ct + C
h(
)d
(1.7)
t
for all t T .
Remark 1.2. For the case f (s) 0 on [0, ), the inequality (1.7) gives
an optimal decay rate of ku(t) G(t)kLq (RN ) as t (see [11]).
The rest of this paper is organized as follows: In Section 2 we study
the L estimate of the solutions of (1.1) by the comparison principle and
the explicit representation of the solutions for the heat equation, and prove
Theorem 1.1. In Section 3, we study the asymptotic behavior of the entropy
functional as s . Furthermore, by using the Csiszar-Kullback type
inequality, we study the asymptotic behavior of u as s in L1 (RN ),
and prove Theorem 1.2.
2. Proof of Theorem 1.1
In this section we give an upper estimate of the solution u of (1.1), and
prove Theorem 1.1.
In order to prove Theorem 1.1, we prove the following lemma. This
lemma is the key lemma of proving Theorem 1.1.
Lemma 2.1. Assume the same conditions as in Theorem 1.1. Then there
exists a constant C1 such that
N
ku(t)kL(RN ) C1 (1 + t) 2 ,
t > 0.
RN
(2.1)
t 0.
(2.2)
Proof. In order to prove (2.1), we recall the Lp -Lq estimate of the heat
equation. In fact, Let 1 q p . Then there exists a constant cp,q
such that
ket kLp (RN ) cp,q t 2 ( q p ) kkLq (RN ) ,
N
t > 0.
(2.3)
17:1
taiwan2006
175
By (1.4), we may put = supt>0 ku(t)kL1 (RN ) . By (H2) and (2.3), there
exists a positive constant t0 such that
Z
N
1
h(2c,1 2 )d < log 2.
(2.4)
2
t0
By (H1) and (H2), we have h(0) = 0, and may take a positive constant
so that
t0 h() <
1
log 2.
2
(2.5)
(2.6)
tT
Let z be a solution of
zt = z + h ku(t + T )kL(RN ) z in RN (0, ),
z(x, 0) = u(x, T )
in RN .
By (H1), we have
f (u)
u h(u) h ku(t)kL (RN ) ,
(x, t) RN (0, ).
(2.7)
(2.8)
(x, t) RN (0, ).
(2.9)
(2.11)
(2.12)
satisfies the heat equation with w(0) = u(T ). Then, by (2.3), we have
N
t > 0.
(2.13)
17:1
taiwan2006
176
(2.14)
t0 h()d +
t0 h()d +
max{t0 ,T }
t
Z 0
t0
By (2.12)(2.14), we have
kz(T )kL (RN ) = ||w(T )||L (RN ) exp
N
2
< 2c,1 T
t > 0.
y = (1 + 2t) 2 x,
s=
1
log(1 + 2t).
2
(3.1)
17:1
taiwan2006
177
Let g(y) = (2)N/2 exp(|y|2 /2). Then the function g is a stationary solution of the linear Fokker-Planck equation s v = div(yv+v). Furthermore,
by Theorem 1.1, we have
lim ||v(s) c g||Lp (RN ) = 0,
1 p .
Let
H[v(s)] =
where g(s) = g(y, s) = d(s)g(y) and d(s) = kv(s)kL1 (RN ) = c(t) with
s = 1/2 log(1 + 2t) for all s > S. Furthermore we obtain
Z
v(y, s)
v(y, s)
H[v(s)] H[g(s)] = 2
log
g(y, s)dy, s > 0.
g(y,
s)
g(y,
s)
N
R
Finally we obtain a generalized Csiszar-Kullback inequality (see [3] and
[14]), which is an estimate for L1 -distance of two functions v(s) and g(s) in
term of their relative entropy. Here we remark that
Z
Z
v(y, s)dy =
g(y, s)dy = d(s).
RN
RN
17:1
taiwan2006
178
for all s > S. This inequality implies the inequality (1.7) with q = 1.
Furthermore, by using the explicit representation of the solutions for the
heat equation and the inequality (1.7) with q = 1, we obtain the inequality
(1.7) with q = . Finally, by the inequality (1.7) with q = 1 and q = ,
we obtain the inequality (1.7) with 1 < q < , and we obtain Theorem 1.2
formally.
The main difficulty of proving Theorem 1.2 rigorously is to prove the
inequality (3.3). It seems difficult to prove the inequality (3.3) by using the
arguments in [1], [2] and [4] directly. In order to prove the inequality (3.3),
we construct the approximate solutions vn (n = 1, 2, . . . ) to (3.1),
s vn = div(yvn + n y + vn )
+e2s N s
vn in BMn (0, ),
e
min{vn , L}
vn (y, s) = 0
on BMn (0, ),
17:1
taiwan2006
179
for all S < s1 < s2 and all n = 1, 2, . . . . Furthermore, taking the limit of
Hn (s) as n and s , we obtain the inequality (3.3) rigorously, and
complete the proof of Theorem 1.2.
References
[1] J. A. Carrillo and G. Toscani, Exponetial convergence toward equilibrium
for homogeneous Fokker-Planck type equations, Math. Meth. Appl. Sci., 21
(1998), 1269-1286.
[2] J. A. Carrillo and G. Toscani, Asymptotic L1 -decay of solutions of the porous
medium equation to self-similarity, Indiana Univ. Math. J., 49 (2000), 113142.
[3] I. Csiszar, Information-type measures of difference of probability distributions and indirect observations, Stud. Sci. Math. Hung., 2 (1967), 299-318.
[4] J. Dolbeault and G. Karch, Large time behavior of solutions to nonhomogeneous diffusion equations, Banach Center Publ., 74, (2006), 133-147.
[5] M. Escobedo and E. Zuazua, Large time behavior for convection-diffusion
equations in RN , J. Func. Anal., 100 (1991), 119-161.
[6] M. Fila, M. Winkler and E. Yanagida, Convergence rate for a parabolic
equation with supercritical nonlinearity, J. Dyna. Diff. Eq., 17 (2005), 249269.
[7] C. Gui, W.-M. Ni and X. Wang, On the stability and instability of positive
steady states of a semilinear heat equation in RN , Comm. Pure Appl. Math.,
45 (1992), 1153-1181.
[8] C. Gui, W.-M. Ni and X. Wang, Further study on a nonlinear heat equation,
J. Diff. Eq., 169 (2001), 588-613.
[9] A. Gmira and L. Veron, Large time behavior of the solutions of a semilinear
parabolic equation in RN , J. Diff. Eq., 53 (1984), 258-276.
[10] L. A. Herraiz, Asymptotic behaviour of solutions of some semilinear
parabolic problems. Ann. Inst. H. Poincare Anal. Non Lineaire., 16 (1999),
49-105.
[11] K. Ishige and T. Kawakami, Asymptotic behavior of solutions for some semilinear heat equations in RN , preprint.
[12] S. Kamin and L. A. Peletier, Large time behavior of solutions of the heat
equation with absorption, Ann. Scu. Norm. Sup. Pisa., 12 (1985), 393-408.
[13] T. Kawanago, Asymptotic behavior of solutions of a semilinear heat equation
with subcritical nonlinearity, Ann. Inst. H. Poincare Anal. Non Lineaire., 13
(1996), 1-15.
[14] S. Kullback, A lower bound for dicrimination information in terms of variation, IEEE Trans. Info. Theory, 4 (1967), 126-127.
[15] O. A. Ladyzenskaja, V. A. Solonnikov, N. N. Uralceva, Linear and Quasilinear Equations of Parabolic Type, American Mathematical Society, Providence, RI, 1968.
[16] P. Pol
acik and E. Yanagida, On bounded and unbounded global solutions of
a supercritical semilinear heat equation, Math. Annal., 327 (2003), 745-771.
17:1
taiwan2006
180
[17] P. Pol
acik and E. Yanagida, A Liouville property and quasiconvergence for
a semilinear heat equation, J. Diff. Eq., 208 (2005), 194-214.
[18] P. Quittner, The decay of global solutions of a semilinear heat equation,
preprint.
[19] G. Toscani, Kenetic approch to the asymptotic behavior of the solution to
diffusion equations, Rend. Mate. Serie VII, 16 (1996), 329-346.
17:2
Shirakawa
KEN SHIRAKAWA
Department of Applied Mathematics, Faculty of Engineering, Kobe University,
1-1 Rokkodai, Nada, Kobe 657-8501, Japan
MASAHIRO KUBO
Department of Mathematics, Nagoya Institute of Technology, Gokiso-cho,
Showa-ku, Nagoya-city, Aichi, 466-8555, Japan
NORIAKI YAMAZAKI
Department of Mathematical Science, Common Subject Division, Muroran
Institute of Technology, 27-1 Mizumoto-cho, Muroran, 050-8585, Japan
Abstract: In this paper, we deal with Cauchy problems for some quasilinear
parabolic variational inequalities subject to time-dependent constraints. With regard to this type of problem, the authors of [8] recently developed a general theory
concerned with the existence and uniqueness of solutions. The main objective of
this paper is to study the key-properties of dynamical systems generated by our
Cauchy problems. To this end, we first prove the well-posedness (including continuous dependence) of solutions on the basis of the earlier work [8]. Eventually,
we focus on the periodic situation of dynamical systems, to validate the results
concerned with the existence of periodic solutions, and the asymptotic stability
from the viewpoint of attractors.
Introduction
Let RN (N N) be a bounded domain with a regular boundary
:= . This paper is devoted to the observation of the asymptotic
stability of a dynamical system generated by the following Cauchy problem
of quasilinear parabolic variational inequality:
Z
Z
u
(t)(u(t)
z)
dx
+
a(x, u(t), u(t)) (u(t) z) dx
Z
+ (b(x, u(t)) f (t))(u(t) z) dx 0, z K(t), a.e. t > 0, (0.1)
17:2
Shirakawa
182
(0.2)
17:2
Shirakawa
183
some special setting to indicate governing semigroups for the dynamical systems under review. As candidates for this setting, we can quote the ideas
found in [4](setting of time-independent constraints), [12](asymptotically
autonomous setting), [5](periodic setting) and [6](setting from pull-back
viewpoints) amongst others. From all these ideas, we have adopted the
periodic setting as in [5](Section 3), on the grounds of the variety of applications.
Consequently, the assertions in the main results will be:
(a1) the existence and uniqueness of the solutions that start from the
L2 -closure of the initial range K(0);
(a2) continuous dependence of solutions;
(a3) existence of periodic solutions under periodic settings of dynamical
systems;
(a4) compactness of flows in periodic dynamical systems, based on the
global boundedness of solutions;
(a5) periodic stability, namely attractors for periodic dynamical systems.
Notations. These are the notations that are used throughout this paper.
Let Q := (0, +) be the time-space coordinate system consisting of
the time-interval (0, +) and the spatial domain RN .
For an abstract Banach space X, the norm of X is denoted by | |X .
In particular, when X has the Hilbert structure, the inner product in X is
denoted by (, )X . For all x0 X and R > 0, we denote by BX (x0 ; R),
the closed ball in X with the center x0 and the radius R. Additionally, we
denote by distX (, ) the Hausdorff semi-distance, defined as:
sup inf |y z|X for all Y, Z X.
yY zZ
17:2
Shirakawa
184
r R, y RN .
|a(x, r, y) a(x, r, y)| C1 |r r|, x , r,
(1.1)
|
z z|H |(t) (s)|(1 + |z|(H)N ),
Z
Z
A(x, w,
z ) dx
A(x, w, z) dx
(H)N ),
w V.
17:2
Shirakawa
185
Remark 1.1. The assumptions listed above are actually restricted versions of those given in [8]. We adopt the restricted situations, especially
after considering the following.
(I) Instead of the inequalities (1.1) as in (A), the authors of [8] have assumed more general ones. The adoption of the restricted inequalities (1.1)
is essential to derive key-inequalities (2.2) and (3.2) which will be seen in
the proofs of uniqueness and boundedness of solutions, respectively.
(II) In () of (K), the authors of [8] originally chose the two values s, t of
time such that s < t. This modification is quite important to show the
absolute continuity of energies (potentials), mentioned in the next section.
Remark 1.2. Other than the modifications reported in Remark 1.1, the
authors of [8] have made an additional assumption for uniqueness. Furthermore, it should be noted that the solutions (on [0, +)) treated in [8]
1,2
actually show the regularity in stronger topology of Wloc
([0, +); H)
Lloc ([0, +); V ) than that given in Definition 1.1. This strong regularity
essentially comes from the point that the initial values are taken from more
regular class K(0) V than the central range H. Consequently, we see
that the existence of solutions starting from K(0) is a direct consequence
of the general theory obtained in [8](Theorem 2.1).
The objective of this paper is to challenge some advanced theme on the
basis of [8], with the main focus being to characterize the asymptotic stability of the dynamical system, generated by (CP; {K(t)}, u0, f ), with use
of attractors. For the sake of the existence of attractors, some compactness
property is required of the dynamical systems under consideration. Hence,
the immediate task is to verify whether our Cauchy problems absolutely
generate dynamical systems with compactness. To this end, we will first
prove the following two theorems.
Theorem 1.1. (Solvability for general initial values) Let us assume conH
ditions (A), (B1) and (K). Then, for any u0 K(0) and any f
L2loc ([0, +); H), the Cauchy problem (CP; {K(t)}, u0 , f ) admits a unique
solution u on [0, +).
Theorem 1.2. (Continuous dependence of solutions) Under conditions
H
(A), (B1) and (K), let us fix any T > 0, any s0 0, any u0 K(s0 )
and any f L2loc ([0, +); H). For given sequences {sn } [0, +),
H
17:2
Shirakawa
186
K(t + s)
(t, s 0)
that map initial values u0 K(s) onto the values u(t) of the solutions
of Cauchy problems (CP; {K(t + s)}, u0 , f ( + s)) at time t. Then, it is
easily verified that all dynamical systems {U (t + s, s) | t 0} (s 0) form
continuous evolution dynamical systems.
As mentioned in the introduction, the attractors for dynamical systems
{U (t + s, s)} are founded under the following periodic setting on the timedependence of the constraint and the forcing term.
(P) (Periodic condition) There exists a constant (period) T0 > 0, such that
K(t + T0 ) = K(t) and f (t + T0 ) = f (t) in H, for all t 0.
We further assume the following condition for the perturbation b.
(B2) (Growth condition for b) There exist positive constants C2 and C3 ,
independent of x and r, such that b(x, r) r C2 r2 C3 , x , r R.
These conditions will be key to guarantee the compactness of flows.
Including the above two conditions, we see the existence of the periodic
solutions, stated as follows.
Theorem 1.3. (Periodic solutions) Under the assumptions (A), (B1)H
(B2), (K) and (P), there exists at least one initial value up,0 K(0)
such that the solution up of the Cauchy problem (CP; {K(t)}, up,0 , f ) on
1,2
[0, +) belongs to Wloc
([0, +); H) L (0, +; V ), and forms a periodic function in time with the period T0 ; more precisely up (t + T0 ) =
up (t) in H, for all t 0.
Next, we prove the following theorem, concerned with the global estimates of solutions.
Theorem 1.4. (Global estimates of solutions) Under assumptions (A),
H
(B1)-(B2), (K) and (P), let us fix the data of {K(t)}, u0 K(0)
and f
17:2
Shirakawa
187
L2loc ([0, +); H), to take the solution u of the problem (CP; {K(t)}, u0, f )
on [0, +). Then, there exists a positive constant R0 , independent of u0
and f , such that
Z t+T0
sup |u(t)|2H + sup
|u( )|2(H)N d R0 (1 + |u0 |2H + |f |2L2 (0,T0 ;H) ). (1.2)
t0
t0
Moreover, for any > 0, there exists a positive constant R , depending only
on , such that
Z t+T0
sup |u(t)|2(H)N +sup
|ut ( )|2H d R (1+|u0 |2H +|f |2L2 (0,T0 ;H) ). (1.3)
t
17:2
Shirakawa
188
2. Well-posedness of solutions
Throughout this section, we assume conditions (A), (B1) and (K), to prove
Theorems 1.1 and 1.2 concerned with the well-posedness of solutions. We
start with the proof of uniqueness, summarized in the following lemma.
Lemma 2.1. (Proof of uniqueness) For arbitrary data of two initial valH
17:2
Shirakawa
189
t(t) of convex functions t(t) (t 0, C([0, +); H)), the variational inequality as in (0.1) can be reformulated into the following form of
evolution equation:
ut (t) + t(t) (u(t)) 3 f (t) b(, (t)) in H, t > 0;
(2.4)
n
t(t) (
z ) s(s) (z) C5 R (J)4 |(t) (s)|(1 + s(s) (z))
17:2
Shirakawa
190
16
u
s
e
C6 Ru (J) |J|Gf ( ) + u( ) (u( )) d,
s
16
( s) e C6 Ru (J) Gf ()d and then integrating both sides over [s, t].
Now, let us prepare two subsections, to complete the proofs of Theorems
1.1 and 1.2.
(2.8)
17:2
Shirakawa
191
Since the above inequality implies that {un } is a Cauchy sequence in the
Banach space C([0, T ]; H), we find a certain limit u
C([0, T ]; H) of this
sequence in the topology of C([0, T ]; H). Hence, the solutions un (n =
1, 2, 3, ) fulfill the energy-inequalities (2.5)-(2.6) under a uniform setting
of the constants Ru n ([0, T ]) with respect to n.
Now, putting u = un (n 2) and z = u1 (t) in (0.1), and then integrating both sides of the resultant inequalities over [0, T ], (2.8) leads to the
()
boundedness of {un (un )} in L1 (0, T ). So, by virtue of (2.3) and (2.8),
{un } is bounded in L2 (0, T ; V ). Furthermore, from the inequality (2.6),
it is seen that {un } is bounded in L (, T ; V ) and {(un )t } is bounded in
L2 (, T ; H) for every (0, T ). Consequently, by a standard diagonal
argument, we find a subsequence {unk } {un } such that:
un k u
strongly in C([0, T ]; H), weakly in L2 (0, T ; V ),
un k u
weakly- in L (, T ; V ),
(0, T ), as k +.
(unk )t u
t weakly in L2 (, T ; H),
17:2
Shirakawa
192
17:2
Shirakawa
193
f L2loc ([0, +); H). Then, there exist positive constants C7 and C8 ,
independent of u0 and f , such that:
d
|(u hp )(t)|2H + C7 |(u hp )(t)|2V
dt
(3.1)
C8 (1 + |hp (t)|2V + |(hp )t (t)|2H + |f (t)|2H ), a.e. t 0.
Proof. Let us assign hp (t) to the test function z of the variational inequality in (0.1). Then, from conditions (A) and (B2), we see that:
Z
1 d
|(u hp )(t)|2H + |(u hp )(t)|2(H)N + (C2 |u(t)|2 C3 ) dx
2 dt
K(T0 ) forms a compact map from the closed and convex domain K(0)
BH (0; Rp ) onto itself. Thus, this theorem will be concluded by applying
Schauders fixed point argument for the iteration of U0 |BH (0;Rp ) .
Proof of Theorem 1.4. This theorem will be proved after similar analytical techniques employed in [12](Section 4). Roughly summarized, the
estimate (1.2) will be derived from the key-inequality (3.1) as in Lemma
3.1. Also, another estimate (1.3) is obtained by taking account of (1.2),
(2.6) and Remark 2.2.
Proof of Theorem 1.5. For this theorem, we refer to [5](Theorems 3.13.3), and omit the detailed proofs. Indeed, due to Theorems 1.1-1.4, the
dynamical systems {U (t + s, s)} (s 0) and {Uk } ( 0), prescribed in
Section 1, can be regarded as essentially the same as those in [5](Section
3). Incidentally, according to [5](Theorem 3.1), each of the attractors A
T+ S
( 0) is given in the form of the -limit set A := n=0 kn Uk A of
H
17:2
Shirakawa
194
4. Applications
In this section, two problems associated with the situations (AP1)-(AP2),
described in the introduction, will be stated as the applications.
4.1. Application to the situation (AP1). Let = [ij ()]
C 1 ()N N be a given function such that (x) is symmetric and positive definite for all x , and let there be an x-independent constant 0 > 0 satisfying ((x)y)y 0 |y|2 (x , y RN ). Let W 1, (R)N be a given
1,2
function, and let gi L (0, +; V L ()) Wloc
([0, +); V L ())
(i = 1, 2) be prescribed obstacle functions such that log (g2 g1 ) L (Q)
P
and sup 0 2i=1 (|(gi )t |L2 (, +1;V ) + |(gi )t |L2 (, +1;L()) ) < +. Let
b C( R) be any function satisfying the conditions (B1)-(B2). With
the above notations, let us set:
a(x, r, y) := (x)[y + (r)], (x, r, y) R RN , and
K(t) := { z V | g1 (t, ) z g2 (t, ), a.e. in } .
(4.1)
(4.2)
2
L (0, +; H ()), to consider the following time-dependent boundary
constraints problem.
17:2
Shirakawa
195
([u
+
(u)])(t)
0,
on S (t),
([u
+
(u)])(t)
= 0,
(u
g)(t)
u(0, ) = u0 (x) in .
17:2
Shirakawa
196
[7] N. Kenmochi, Solvability of nonlinear evolution equations with timedependent constraints and applications, Bull. Fac. Education, Chiba Univ.
30 (1981), 187.
[8] M. Kubo and N. Yamazaki, Quasilinear parabolic variational inequalities
with time-dependent constraints, Adv. Math. Sci. Appl. 15 (2005), no. 1,
335354.
[9] M. Kubo and N. Yamazaki, Elliptic-parabolic variational inequalities with
time-dependent constraints, Discrete Contin. Dyn. Syst., 19 (2007), 335
359.
[10] F. Mignot and J. P. Puel, Inequations devolution paraboliques avec convexes dependant du temps: applications aux inequations quasi-variationelles
devolution, Arc. Rational Mech. Anal. 64 (1977), 5991.
[11] U. Mosco, Convergence of convex sets and of solutions of variational inequalities, Advances in Math. 3 (1969), 510585.
[12] K. Shirakawa, A. Ito, N. Yamazaki and N. Kenmochi, Asymptotic stability
for evolution equations governed by subdifferentials, Recent Developments
in Domain Decomposition Methods and Flow Problems, 287310, GAKUTO
Intern. Ser. Math. Sci. Appl. 11, Gakk
otosho, Tokyo, 1998.
17:6
lorentzFinalmakro
MARCELLO LUCIA
Universit
at zu K
oln, Mathematisches Institut
50931 K
oln, Germany, mlucia@math.uni-koeln.de
MYTHILY RAMASWAMY
TIFR Center, IISc. Campus, Post Box No. 1234
Bangalore 560012, India, mythily@math.tifrbng.res.in
Abstract: We study the existence of a global branch of solutions for the semilinear
elliptic problem
u = a(x)u + b(x)r(u) , u D01,2 ().
1. Introduction
The present paper deals with the semilinear elliptic problem
u = a(x)u + b(x)r(u) ,
u D01,2 (),
(1.1)
17:6
lorentzFinalmakro
198
When the function r is such that r(0) = 0, then u 0 solves (1.1) and we
are interested in finding non-trivial solutions. In such a case the question of
existence can be handled by using tools provided by the bifurcation theory
like for example the Rabinowitz Theorem [17]. In order to apply such
results one needs first to understand the linearized problem which, under
suitable assumptions, will be a weighted eigenvalue problem of the type
u = w(x)u,
u D01,2 ().
(1.2)
Both problems (1.1) and (1.2) have attracted a lot of attention because
they naturally arise in mathematical physics or biology (combustion, population dynamics ...). Since in atomic physics the relevant weights are
1
attractive-repulsive potentials with singularities of the type |x|
, it is desirable to study the above problems with coefficients allowed to be singular and
sign changing. Furthermore it is known that Hardys weight w(x) = |x|1 2
arise as critical cases when dealing with existence of eigenfunction for
linear problems. Therefore it is of interest to understand how far small
perturbation of such weights are allowed in Problems (1.1) and (1.2).
An important feature of the linear Problem (1.2) is the existence and
simplicity of a principal eigenvalue. These are the value for which
(1.2) admits a non-negative associated eigenfunction, and by simplicity one
means that the associated eigenspace is of dimension one. When w 1 in
a bounded domain of RN , a proof of these properties can be found in [8].
In [16], it has been shown that the smallest positive eigenvalue for (1.2)
exists and is simple whenever w + 6 0 and w Lr () with r > N2 in a
bounded domain. Sufficient conditions for the existence of principal eigenvalues for the weighted eigenvalue problem in RN have been given by many
authors. Brown, Cosner, Fleckinger introduced in [6], a sufficient condition for the existence of a positive principal eigenvalue, namely the weight
function w be negative and bounded away from 0 at infinity. They also
used another sufficient condition for dimensions N 3 requiring that w
has a positive integral and it decays at infinity faster than |x|1 2 . Brown and
Tertikas (see [7]) relaxed the first condition in [6], by asking the positive
part w+ to be of compact support. Allegretto proved in [1] the existence of
a principal eigenvalue and also infinitely many eigenvalues when w + lies in
N
N
L 2 (). Szulkin and Willem in [19] studied the problem with w in L 2 ()
or having faster decay than |x|1 2 at infinity or at any finite point. An important aspect of these previous works concerning the simplicity of the
principal eigenvalue is that they rely on Harnacks inequality in order to
ensure the associated eigenfunctions to be continuous and strictly positive
17:6
lorentzFinalmakro
199
: u D0 (),
wu > 0 ,
(1.3)
1 (w) := inf R
wu2
lim
s0
r(s)
= 0,
s
lim sup
s
|r(s)|
<
|s|
[1, 2 1);
(H2) a L( N2 , q0 ), b L( N2 , q0 ) L(p0 , q0 ) with p0 =
some q0 (1, ).
for some
2
2 1
and for
17:6
lorentzFinalmakro
200
17:6
lorentzFinalmakro
201
(i)
(ii)
(iii)
(iii)
p
f = f and therefore |f | dx = 0 |f (t)| dt.
t p f (t)
ip dt p1
.
t
(2.2)
q h p1 iq dt q
t
f
(t)
,
p 0
t
||f ||p,q =
n 1
o
sup t p f (t) ,
if 1 p, q < ,
if 1 p , q = ,
t>0
1 p .
The space L(p, ) is known as the weak Lp space and coincides with the
Marcinkiewicz space M p , defined as follows:
Z
1
M p := {f : R : f measurable,
|f | C||1 p }.
and
L(p, q1 ) L(p, q2 ).
|| ||p,q
(2.3)
In general
need not be a norm as Minkowski inequality may fail.
In spite of this, it can be used to define a norm on L(p, q). Indeed let us
set
Z
1 t
f (t) :=
f (r)dr,
||f ||p,q := ||f ||p,q .
t 0
p f (t)
,
t
t
0
||f ||p,q =
sup t p1 f (t) ,
t>0
if 1 p, q < ,
if 1 p , q = .
17:6
lorentzFinalmakro
202
p
||f ||p,q ,
p1
(2.4)
(2.5)
whenever
1
1
1
=
+ ,
p
p1
p2
1
1
1
=
+
q
q1
q2
pi , qi [1, ].
17:6
lorentzFinalmakro
203
(H)
|x| x
|x|2 V2 (x) = 0,
lim
xx0 x
|x x0 |2 V2 (x) = 0 x0 .
1
,
1 + |x|2
W2 (x) =
1
,
|x|2 (1 + |x|2 )
which do not satisfy (H) and the eigenvalue problems do not possess an
eigenvalue (see also [21]). But the modified versions of these functions,
f1 (x) =
W
W1 (x)
log(2 +
|x|2 )
N2 ,
f2 (x) =
W
W2 (x)
log(2 +
1
|x|2 )
N2 ,
satisfy (H) and the eigenvalue problems possess infinitely many eigenvalues.
N
Observe that none of these functions lie in L 2 ().
By using Lorentz spaces, we will try to relax further the condition (H).
In this section we are doing a first step in this direction by showing that
the classical results concerning the principal eigenvalue for linear weighted
eigenvalue problem holds when
N
wL
, q0 for some 1 < q0 < .
(3.1)
2
First, let us see some examples to compare different conditions.
Example 1: The function W1 does not satisfy the condition (3.1). Denoting by N the volume of the unit sphere in RN we have for w = W1 ,
w (s) = {x : w(x) > s} = N |x0 |N ,
s=
1
, 0 < s < 1,
1 + |x0 |2
1
t [0, ).
2 ,
1 + ( tN ) N
Now it is easy to check that w 6 L N2 , q for any q (1, ) :
)q
Z (
2
1
dt
(||w||N ,q )q =
tN
= for q 1.
2
t
2
t
N
1 + ( )
0
w (t) =
17:6
lorentzFinalmakro
204
N
2 ,
But w L
since
||w||N , =
2
sup
t[0,)
2
N
1 + ( tN )
2
N
= NN .
Thus condition (3.1) is not satisfied by the function W1 and similarly for
W2 .
f1 and W
f2 satisfy condition (3.1). We do the
Example 2: The functions W
f1 . We have
calculation only for w = W
w (s) = {x : w(x) > s} = N |x0 |N ,
where
s=
1 + |x0
|2
w (t) =
1+
Now we check if w L
(||w||N ,q )q =
2
( tN
2
N
N
2 , q0
Z
0
log(2 + |x0 |)
tN
N2 ,
0<s<
log(2 + ( tN ) N )
(log 2) N
N2 , t (0, ).
1
|x1 log(|x1 |)|
in ,
x1 6= 0.
s=
1
,
|x01 log(|x01 |)|
0<s<
1
,
R log R
17:6
lorentzFinalmakro
205
w (t) =
1
, t (0, R2 ).
( Rt )| log( Rt )|
We now check that this function satisfies the condition (3.1) (with N = 2):
q
Z R2
Z R2
1
dt
dt
(||w||N ,q )q =
t t
=
C
t
t q
2
t
(
)|
log(
)|
t|
log(
0
0
R
R )|
Z R
dy
=C
< for q > 1.
q
| log R| y
But W3 does not satisfy (H). Indeed the limit of |x|2 W3 (x), as x tends to
1
2
in .
Thus W3 does not satisfy the condition (H) but satisfies condition (3.1).
There are also functions failing condition (3.1) but satisfying condition
(H). Thus the two conditions are independent. Work is in progress towards
a unifying condition, which will be a relaxation of both these conditions.
Example 4: Consider the function
W4 (x) =
W1 (x)
.
log log(2 + |x|2 )
2 , t (0, ).
log log 2 + ( tN ) N
Now we check if w L N2 , q0 for some q0 . A direct calculation shows
)q
Z (
2
1
dt
q
(||w|| N ,q ) =
tN
2
2
t
t
2
t
1 + ( N ) N log log 2 + ( N ) N
0
Z
dt
C+
2 q
t
M t log log(2 + ( ) N )
N
Z
dy
C+
.
(log
y)q
log M
w (t) =
1+
( tN
2
N
Since log y < y for large y and any > 0, we see that the last integral
is divergent. for any q. But this function does satisfy (H) as |x| tends to
infinity.
17:6
lorentzFinalmakro
206
is weakly continuous.
(3.3)
||v||p,q ||v||p,q holds for any v L(p, q) (see (2.6)) and for any sequence
un u in L(p, q), we have
2
u u2 p q = (un u)(un + u) p q
n
2,2
2,2
(3.4)
un u p,q un + up,q .
bounded in L( 22 , q00 ).
Since both spaces D01,2 () and L( 22 , q00 ) are reflexive (note that 1 < q00 <
), we deduce:
un * f weakly in D01,2 ()
and
u2n * g weakly in L(
2 0
, q ).
2 0
|
{z
} |
{z
}
An
(3.5)
Bn
17:6
lorentzFinalmakro
207
tends to zero when the test function C0 (). Since on the other hand
we have also
Z
2
|u2n g||| 0, L([ ]0 , q0 )),
2
u D01,2 () \ {0},
u 0,
17:6
lorentzFinalmakro
208
u 0,
u 6 0,
(3.6)
and so Theorem 3.1 implies that the set u1 (0) is of H 1 -capacity zero. A
similar argument holds if the principal eigenvalue is negative. We can now
prove
Proof of Proposition 1.1:
Existence: As remarked in [[19], Remark 2.4(b)], the weak continuity of
the mapping (3.2) is enough to ensure the existence of 0 solving the
minimizing Problem (1.3). Therefore
Z
= +
(w)w,
0,
w2 > 0,
(3.7)
1
and so
+
1 (w)
is a principal eigenvalue.
0,
6 0.
(3.8)
(3.9)
w
,
k
1
+
+
which is equivalent to
Z
Z
2k
2k
+
2
|k | (
) =
1 (w)wk w
. (3.10)
+
+
17:6
lorentzFinalmakro
209
But, a direct calculation shows that the following Picones identity holds:
2
2k
k
2
) = k (
) .
(3.11)
|k | (
+
+
By plugging (3.11) in (3.10), we get
2 Z
Z
k
2k
+
0
1 (w)wk w
. (3.12)
k ( + ) =
+
w2 .
(3.14)
1
Simplicity: let V (+
1 (w)) be the eigenspace associated to the principal
eigenvalue (1.3). Before proving that V1 has dimension one, we observe
that any V (+
1 (w)) satisfies precisely one of the alternative:
(i) > 0 a.e. in ,
Indeed, since
Z
Z
2
|| =
||||2 = +
1 (w)
(iii) or 0. (3.15)
and
w|| =
w2 ,
and
= || V (+
1 (w)).
(3.16)
17:6
lorentzFinalmakro
210
V (+
1 (w)) \ {0}. By (3.15) we can assume without loss of generality that
1 , 2 > 0 a.e.. Let us consider the set
T := {t R : 1 + t2 > 0 a.e.}.
We shall show that 1 + t0 2 0 when t0 = inf T .
Claim 1: T 6= and inf T > .
Since 0 T , we see that T 6= . To prove that this set is bounded from
below, let us consider for each , M > 0, the set
A,M := {1 < M, 2 > }.
e > 0. Moreover,
Since 2 > 0 a.e., there exists e > 0 such that |{2 > }|
f such that
since M >0 A,M
= {2 > }, we deduce the existence of M
e
f
M
|A,
eM
eM
f| > 0. Now, for any x A,
f and t < e , we get
f + te < 0.
(1 + t2 )(x) < M
e
f ),
M
we get
f > 0.
1 + (t0 )2 (x) > e M
17:6
lorentzFinalmakro
211
Remark 3.1.
(a) In [15], Proposition 1.1 has been stated for weight belonging to
N
L 2 (). Some of the arguments has been repeated for the sake of
completeness.
(b) Existence of a principal eigenvalue when the weight belongs to some
Lorentz space has already been obtained by [22]. Our arguments are
different [22] and here we have completed the result by emphasizing
that uniqueness and simplicity of the positive (or negative) principal
eigenvalue holds.
(c) Note that in [19] the simplicity of a principal eigenvalue is proved
under stronger conditions.
4. Global bifurcation
Existence of global branches for Problem (1.1) will mainly rely on the following result:
Theorem 4.1. (Rabinowitz, [17]) Given a Banach space (B, kk), consider a mapping
G : R B B,
17:6
lorentzFinalmakro
212
(, u) 7 (4)1 b(x)r(u) ,
(4.3)
u D01,2 ().
(4.4)
V L (),
kV \ kp,q < .
(4.5)
e : L(2 , 2) L([2 ]0 , 2)
H
u 7 b(x)r(u)
(4.6)
Claim 1: Let u
L(2
, 2) and un L(2 , 2) be a sequence satisfying
2
(i) for some > 2 1 we have un u
in L ( B) for each ball
N
BR ;
(ii) un is bounded in L(2 , 2);
then we claim
a[un u
]
[2 ]0 ,2 0
b[r(un ) r(
u)]
[2 ]0 ,2 0.
(4.7)
We only give the arguments for
b[r(un ) r(
u)]
[2 ]0 ,2 . Notice first that
(H1), and the fact that the sequence un is bounded in L(2 , 2) implies the
existence of C > 0 such that
(4.8)
un k2 ,2 +
u
k2 ,2 +
un k2 ,2 +
u
k2 ,2 C.
and
b L (),
.
4C 2
(4.9)
17:6
lorentzFinalmakro
213
We have
u)
b r(un ) r(
[2 ]0 ,2
b r(un ) r(
u)
[2 ]0 ,2
+
b r(un ) r(
u) \
(4.10)
[2 ]0 ,2
Let us estimate the first term appearing in the right hand-side of (4.10).
By setting
1
1
1
:=
= 1 , (notice 0 < < 1),
p
[2]0
p
we get
u )
0
b r(un ) r(
[2 ] ,2
b p,2
r(un ) r(
u)
(4.11)
,
b
L ()
p,2
r(un ) r(
u )
.
Since un u
in L ( B) for any ball B RN , by using Vitali Theorem we check that kr(un ) r(
u)k
0. Therefore the expression
L
(B)
u )
,
n n0 .
(4.12)
b r(un ) r(
2
[2 ]0 ,2
To estimate the second term in the right hand-side of (4.10) we use (4.8),
u) \
0
b r(un ) r(
[2 ] ,2
C
b\
N , kun k2 ,2 + k
uk2 ,2
2
+ C
b\
p , k|un | k 2 ,2 + k|
u| k 2 ,2
0
(4.13)
C.M
un
2 ,2 +
u
2 ,2 +
un
2 ,2 +
u
2 ,2
C.M
un
2 ,2 +
u
2 ,2 +
un
2 ,2 +
u
2 ,2
.
2
(In the above formula we have set M = (kb\ k N ,q0 + kb\ kp0 ,q0 )).
2
Putting together (4.10), (4.12), (4.13) we deduce
u)
, n n0 ,
b r(un ) r(
[2 ]0 ,2
17:6
lorentzFinalmakro
214
0 < |s| < s0 ,
s 3 kbk N
2 ,q0
(4.14)
|r(s)|
and
C0 |s| s0 .
|s|
For each u L(2 , 2), let us introduce the sets
E := {x : |u(x)| < s0 }
and
F := {x : |u(x)| s0 }.
kuk2,2 + C0
b|u| F
[2 ]0 ,2
3
[2 ] ,2
+ C0 bkp0 ,
=
+ C0 bkp0 ,
kuk2,2
3
kuk2 ,2
3
kuk2,2
1
+ C0
bkp0 , ku
2 ,2 .
3
Since > 1, the conclusion follows immediately.
17:6
lorentzFinalmakro
215
When = 1, this latter estimate is too rough. In this case we first use
Lemma 4.1 to get a measurable set F such that
(4.17)
2
Then by using (4.16), (4.17) and setting p := 2 2e
, the second term
in (4.15) (with = 1) is estimated as follows
buF
0
bF \F u
0 +
buF
0
[2 ] ,2
[2 ] ,2
[2 ] ,2
1e
bF \F N , u 2 ,2 + s0
bF kp,
|u|e
2 ,2
2
e
e
(4.18)
1e
u 2 ,2 + s1e
bF
L ()
F kp,
u
2 ,2
0
3C0
(4.19)
e is differentiable
By putting together (4.15) and (4.19), we deduce that H
at u 0, which concludes the proof of (4.5).
We now have all the elements for proving the existence of at least one
global branch of solutions for Problem (1.1):
Proof of proposition 1.2: Proposition 1.1 shows that +
1 (a) is an eigenvalue of multiplicity one. Hence Proposition 4.1 together with Theorem 4.1
allow to conclude.
Acknowledgements. The first author was supported by an Alexander
von Humboldt fellowship.
References
[1] W. Allegretto, Principal eigenvalues for indefinite-weight elliptic problems on RN , Proc. Am. Math. Monthly 116 (1992), 701706
[2] A. Alvino, P-L. Lions, G. Trombetti, On optimization problems with
prescribed rearrangements, Nonlinear Anal. 13 (1989), 185220.
17:6
lorentzFinalmakro
216
17:12
Naritafo
MAKOTO NARITA
Department of Mathematics, National Taiwan University, 1, Sec.4 Roosevelt Rd.
Taipei, 106, Taiwan
1. Introduction
Our interest is to solve the Einstein-nonlinear scalar equations globally and
to analyze asymptotic behavior of solutions to the equations. Since the
Einstein-nonlinear scalar equations are highly nonlinear, it is too difficult
to solve them without suitable conditions. Therefore, we will treat Gowdy
symmetric spacetimes, which describe spatially compact, expanding universe: under this assumption, the Einstein-nonlinear scalar equations become 1+1-dimensional nonlinear wave equations with constraint equations.
We need also assumptions for nonlinear term of the scalar field (i.e. potential): (1) slow-rolling condition (Hypothesis 2.2), and (2) ending accelerating expansion of the universe (Hypothesis 4.1). These two assumptions
come from inflation paradigm [7], which is the most promising scenario of
our universe in modern cosmology. In addition, we will assume the timelike
convergence condition, which means that kinetic terms dominates than the
potential term of the scalar field, to extend the existence time of solutions
into the past direction.
Under these assumptions, we obtain a global existence theorem, existence of singular solutions into the past direction and energy decay into the
future direction.
1.1. Action
Our action is of the form
Z
S = d4 x g 4R + 2()2 + V () ,
217
(1.1)
17:12
Naritafo
218
(1.2)
e4U
1
= U 2 + U 02 + 2 (A 2 + A02 ) + 2 + 02 + e2(U ) V (),
t
4t
2
e4U 0
0
0
0.
= 2U U 0 + 2 AA
+ 2
t
2t
2t
(1.3)
(1.4)
Now we define
:= +
1
ln .
2
(1.5)
e4U
1
= U 2 + U 02 + 2 (A 2 + A02 ) + 2 + 02 e2(U ) V (),
t
4t
2
0
e4U 0
0.
= 2U U 0 + 2 AA
+ 2
t
2t
(1.6)
(1.7)
17:12
Naritafo
219
(1.8)
Evolution equations
00 =
0 0
02
00
e4U
+
+
U 2 + U 02 + 2 (A 2 A02 )
2
2
4
2
4t
1
2(U
)
2
02
+ + e
V (),
(1.9)
2
0 0
4U
U 00 = U + U + U + e (A 2 A02 )
U
t
2
2
2t2
1 2(U )
+ e
V (),
2
(1.10)
A
A
0 A 0
A A00 = +
+
4(A U A0 U 0 ),
t
2
2
(1.11)
0 0
1
V ()
00 = +
+
e2(U )
.
t
2
2
4
(1.12)
Hereafter, dot and prime denote derivative with respect to t and , respectively. We will call this system of partial differential equations (PDEs)
Gowdy-nonlinear scalar system. Note that these equations are not independent because the wave equation (1.9) for can be derived from other
equations. Indeed, there are only two dynamical degree of freedom (i.e. U
and A) in the Gowdy symmetric spacetimes.
Wave map The system of the evolution equations is equivalent with the
following system of nonlinear wave and wave map equations:
Z
1
1
SNWM =
dtd g g hAB uA uB + e2(u ) V (u3 ) , (1.13)
2
S1
where
g = dt2 +
1 2
d + t2 d 2 ,
0 , 2,
and
h = dU 2 +
e4U
dA2 + d2 .
4t2
17:12
Naritafo
220
where
1
= d.
2. Global existence
Now, consider global existence problem. We will show the following theorem:
Theorem 2.1. (See [8]) Let (M, g, ) be the maximal Cauchy development
of C initial data for the Gowdy-nonlinear scalar system. Suppose that
Hypotheses 2.1 and 2.2 hold. Then, M can be covered by compact Cauchy
surfaces of constant areal time t with each value in the range [t0 , ).
2
Hypotheses are as follows:
Hypothesis 2.1. V () is regular with respect to , i.e. V is bounded if
is bounded.
Hypothesis 2.2. There are positive constants CSR1 and CSR2 , such that
1 V ()
1 2 V ()
< CSR2 .
sup
(2.1)
sup
< CSR1 ,
2
S 1 V ()
S 1 V ()
(2.2)
2
17:12
Naritafo
221
(3.2)
U = k() ln t + U0 () + t W (t, ),
(3.3)
(3.4)
= () ln t + 0 () + t (t, ),
(3.5)
where
> 0,
1
,
2
0 > 0,
1 < () < 0,
(3.6)
(3.7)
and
00 2kU00 e4U0 (1 2k)h0 A0
00
0
+ 0 = 0.
2
20
(3.8)
17:12
Naritafo
222
To prove the above theorem, we have used the theorem on Fuchsian algorithm [6]. From this, we can conclude there exist singular solutions near
t = 0. In this case, one can check the curvature invariant of our spacetimes
blows up as t 0.
4. Energy decay into the future
In this section, asymptotic behavior of the solutions will be discussed. To
do this, we need the following assumption:
Hypothesis 4.1. There is a positive constant T , such that for any t T
(t, ) = (t, ), which satisfies V () = 0.
From this, one can show the energy is decay as t1 :
Theorem 4.1. (See [9]) Consider a solution to the Gowdy-nonlinear scalar
system. Suppose that Hypotheses 2.2 and 4.1 hold. Then, there are constants and C such that
C
E(t) ,
t .
(4.1)
t
2
To prove this theorem, small data decay estimate is needed at first:
Proposition 4.1. (decay for small data case) Consider a solution to the
Gowdy-nonlinear scalar system. Suppose that Hypotheses 2.2 and 4.1 hold.
Then, there exists a constant > 0 such that if E(t0 ) for some t0 , there
are constants and C such that
C
E(t) ,
t .
(4.2)
t
2
The method to get the above is corrected energy estimate developed by
Choquet-Bruhat and Moncrief [1, 2, 10].
References
[1] Choquet-Bruhat, Y., Future complete U(1) symmetric Einsteinian spacetimes, the unpolarized case, in The Einstein equations and the large scale
behavior of gravitational fields, 251-298, Birkha
user, Basel, 2004.
[2] Choquet-Bruhat, Y. and Moncrief, V., Future global in time Einsteinian
spacetimes with U(1) isometry group, Ann. Henri Poincare 2 (2001), 10071064.
17:12
Naritafo
223
[3] Chrusciel, P. T., On space-times with U (1)U (1) symmetric compact Cauchy
surfaces, Ann. Physics, NY 202, (1990) 100-150.
[4] Dafermos, M. and Rendall, A. D., Inextendibility of expanding cosmological
models with symmetry, Classical Quantum Gravity 22, (2005) L143-L147.
[5] Gowdy, R. H., Vacuum spacetimes and compact invariant hypersurfaces:
Topologies and boundary conditions, Ann. Physics, NY 83, (1974) 203-224.
[6] Kichenassamy, S. and Rendall, A. D., Analytic description of singularities
in Gowdy spacetimes, Class. Quantum Grav. 15, (1998) 1339-1355.
[7] Lyth, D. H. and Riotto, A., Particle physics models of inflation and the
cosmological density perturbation, Phys. Rep. 314, (1999) 1-146.
[8] Narita, M., On initial conditions and global existence for accelerating cosmologies from string theory, Ann. Henri Poincare 6, (2005), 821-847.
[9] Narita, M., On Gowdy symmetric spacetimes with nonlinear scalar fields, in
preparation.
[10] Ringstr
om, H., On a wave map equation arising in general relativity, Comm.
Pure Appl.Math. 57, (2004) 657-703.
17:15
Sakamotoform
J. HARTERICH
Insititut f
ur Mathematik I, Freie Universit
at Berlin, Arnimallee 2-6, 14195
Berlin, Germany
K. SAKAMOTO
Department of Mathematical and Life Sciences, Hiroshima University, 1-3-1
Kagamiyama, Higashi-Hiroshima, 739-8526 Japan
1. Introduction
1.1. Interfaces driven by reaction-diffusion equations
Interfacial phenomena have been studied in terms of reaction-diffusion
equations. In particular the Allen-Cahn equation
u
= u + g(u),
t
t > 0, x RN ,
(A-C)
17:15
Sakamotoform
226
The motion law of the interface for this equaton is the so called mean
curvature flow, namely,
V = H,
where H stands for the sum of principal curvatures of the interface. Such
interface evolutions for reaction-diffusion equations have been established
by many authors (see [2]).
The purpose of this paper is to investigate what happens to these interface equations when a convection term is added to (A-C).
1.2. Reaction-diffusion with convection
We investigate interfacial phenomena for the following equation;
ut + div f (u) = u + g(u),
(x, t) RN (0, ).
(RDC)
( > 0 viscosity),
(Flux)
equation (BL) reduces to (RDC). In diffusive flow fields, the flux f is supposed to originate from fluid flows, and therefore, should be coupled with
Navier-Stokes equations governing the flow field. We are considering here
a simplified problem without reference to such flow-field equations. From
now on, we set the viscosity equal to 1; = 1
To describe the dynamics of (RDC) as t , we perform a hyperbolic
spatio-temporal scaling; (x, t) (x/, t/) which reduces (RDC) to
ut + div f (u) = u + 1 g(u),
(1.1)
17:15
Sakamotoform
227
g 0 (0) > 0,
(ii) f C 3 (R, RN )
Well-posedness of initial value problem: Under the hypothesis (H1), the problem (1) with an initial condition
u(x, 0) = (x) BC2unif (RN )
(1.2)
BC2unif (RN ).
(2.1)
(0 = d/dz),
U () = u ,
U (0) = 0,
where s is the wave speed to be determined together with the wave profile.
The following result is obtained by a phase plane analysis.
Proposition 2.1. ([3] and [5])
(i) For each direction S N 1 , there uniquely exists a wave speed
s = s() for which the problem (3) has a unique heteroclinic orbit
connecting (u , 0) (at z = ) and (u+ , 0) (at z = +).
(ii) The wave speed s() depends on as smooth as the nonlinear terms
f 0 (u) and g(u) do on u.
(iii) The wave profile Q(z; ) with Q(0; ) = 0 depends on (z, ) as
smooth as the nonlinear terms f 0 (u) and g(u) do on u, and it is a
(strictly) monotone increasing function of z.
17:15
Sakamotoform
228
(iv) If f (u) is even and g(u) is odd in u, then Q(z) is an odd function
of z and the wave speed satisfies s() 0.
An important feature is that the wave speed is orientation (direction)
dependent. This anisotropy later gives rise to anisotropic mean curvature
flows.
It is interesting to note that the wave speed and the wave profile are
related as follows.
s() =
(f (u+ ) f (u ))
1
+
u+ u
u+ u
and
G(u ) G(u+ )
s() = R
+
2
Qz (z; ) dz
g(Q(z; ))dz
Qz (z; )2 f 0 (Q(z; )) dz
R
,
2
Qz (z; ) dz
17:15
Sakamotoform
229
Proof. The proof is the same as the case without convection term (see
[6]). One may also substitute these functions into (3) to directly verify the
lemma.
Generically, we expect that the wave speed s() vanishes on a subset in
S N 1 which has codimension at least one. However, we have been unable
to prove or disprove this expectation in general case. The set where s()
vanishes,
P := { S N 1 | s() = 0}
is called a set of pinned directions. When the wave speed is given as in
Lemma 2.1, then P is generically of codimension at least one. Althourgh
this is the case for the specific cases, we make the following hypothesis.
(H2): The set of pinned directions P has codimension at least one in
S N 1 .
3. Results
We now give some of main results. There are two cases, one in which (H2)
is valid, and the other where P = S N 1 .
3.1. When codim P 1
We call this case a hyperbolic scaling case.
Theorem 3.1. Under the hypotheses (H1) and (H2), we consider the
following Cauchy problem
ut = u f 0 (u ) u + 1 g(u )
(3.1)
u (x, 0) = (x).
There exist two functions u0 (x) < u0 (x) and a constant T > 0 such that
the following statement is true: If the initial function satisfies
u0 (x) < (x) < u0 (x),
then the solution u (x, t) converges to a limit u0 (x, t) = lim0 u (x, t) for
almost all (x, t) RN [0, T ]. The limit function u0 (x, t) is a piece-wise
constan function, assuming only two values u and u+ . The bulk regions
(t) := {x RN ; u0 (x, t) = u }
17:15
Sakamotoform
230
(3.2)
+ H (y, t) +
N
X
p,q=1
2
+ O( ),
where is the unit normal vector of (t) (pointing into the interior of
+ region), s( ) is the wave speed evaluated at , H (y, t) is the sum
of principal curvatures (mean curvature, for short) of (t) at y (t),
(Tpq ) is a symmetric, positive semi-definite N N matrix depending only
on (f , g, ), Kpq is a symmetric tensor related to the second fundamental
form of (t).
We note that T > 0 in the statement above is determined by the time
interval where V = s() has a smooth soluiton.
Now, let us give explicit forms to the quantities appearing in the theorem. For this purpose, we use the travelling wave profile Q = Q(z; ). Let
P = P (z; ) be defined by
Z z
P (z) = Qz (z; ) exp
[s() f 0 (Q( ; ) ] d .
0
17:15
Sakamotoform
231
Then, representing by g = (gij ) and h = (hij ) the first and second fundamental forms of (t), respectively, with g1 = (gij ), we have
(0 )p (0 )q jk
g hks gsl ,
y j
y l
Z
1
1
T = M0
L(z) L(z) dz,
P Qz
K pq =
L(z) =
M0 =
Zz
M01
1
(L(z) a)2 dz 0.
P Qz
zR
U (0) = 0.
17:15
Sakamotoform
232
N
X
Tpq K pq =
p,q=1
N
X
(pq + Tpq ) K pq ,
p,q=1
where
(0 )p (0 )q jk
g hks gsl ,
y j
y l
Z
1
1
T =M0
L(z) L(z) dz,
P Qz
K pq =
L(z) =
Zz
A(z) =
P (z) =e
Zz
0
A(z)
f 0 (Q( ; )) d,
Qz (z).
(3.4)
17:15
Sakamotoform
233
N
1
X
w i i ,
i=1
N N
1
X
X
Tpq
p,q=1 j=1
(0 )p (0 )q ji
g .
y i
y j
N
1
X
(1 + wi )i ,
(3.4)
i=1
N
1
X
(1 + wi )i
on .
i=1
lim u (x) =
.
0
u x
LA = A + Tpq [ ( A)p ]
(1)
+ F A + G A
h
q i
(1)
+ H (1) Tpq p
A,
17:15
Sakamotoform
234
N
1
X
(j )2 ,
j=1
A =
N
1
X
j,k=1
(1)
A =
jk A
g
,
y j
y k
N
1
X
j,s,l,k=1
js
A
g hsl glk k ,
y j
y
and F and G are vector fields on to which we do not give explicit forms.
However, we emphasize that L is the linearization of the right hand side of
(3.4) around , relative to normal variations of hypersuface.
4. Some Examples
4.1. Symmetric nonlinearity
We deal with the following specific nonlinearity;
f (u) =
1 2
u a RN ,
2
g(u) = u(u2 1)
D=
1 p
( (a )2 + 8 a )
4
Qq :=
Q
Daq
z
= p
,
2
2
q
(a ) + 8 cosh (Dz)
( a +2)
P =Qz eA = D (cosh(Dz)) D
Z
Z
( a +4)
A(z) 2
2
M0 =
e
Qz (z) dz = D
(cosh(Dz)) D
dz
17:15
Sakamotoform
235
and
M0 Tpq =
D 2 ap aq
= p
(a )2 + 8
D 2 ap aq
= p
(a )2 + 8
z tanh(Dz) (cosh(Dz))
( a
D +4)
dz
1
a + 4D
(cosh(Dz))
( a
D +4)
dz.
(a )2 + 8, we obtain
ap aq
=
.
(a )2 + 8
Therefore, by using 4D + a =
Tpq
Z
V = H(y, t) + a (t)
Arctan( 2D)
(4.1)
Here D > 0 in Q(z) = tanh (Dz) means steepness of the wave profile,
and (4.1) says that the tangential variation of the steepness
Arctan 2D
2
of the wave profile is converted to the normal speed of the interface in the
singular limit. At a formal level, this kind of observation was first given in
[4].
As before, the second term in the right hand side of (4.1) Tpq K pq is
rewritten and (4.1) reduces to
V =
N
1
X
(1 + wi )i ,
i=1
where
wi =
N
1
X
1
0
0
a
gji
(a )2 + 8 j=1 y j
y i
(4.2)
17:15
Sakamotoform
236
17:17
Taiwn06proceeding(S.Sato)
SHOTA SATO
Mathematical Institute, Tohoku University,
Sendai 980-8578, JAPAN.
Abstract:We discuss the initial-boundary problem
ut = u + f (u) in (0, ),
u(x, t) = 0
on (0, ),
u(x, 0) = (x) in ,
1. Introduction
We consider the initial-boundary value problem
ut = u + f (u) in (0, ),
(P)
u=0
on (0, ),
u(x, 0) = (x) in ,
17:17
Taiwn06proceeding(S.Sato)
238
Since the pioneering work of Fujita [2], the blow-up of solutios of the
problem (P) has been studied extensively for the nonlinearity f (u) = up .
Among others, Friedmann and Lacey [1] gave a result on the life span of
solutions of (P) in the case of small diffusion. Subsequently, Gui and Wang
[3], Lee and Ni [4] obtained a leading term of the expansion of T () as
' . They proved that T () is expanded as
T () =
1
M 1p 1p + o(1p )
p1
2
1
M 1p 1p +
M 2(1p)1 |(a)|2(1p) + o(2(1p) )
p1
p1
du
(iii)
< .
f
(u)
1
f (u)
= ,
u
dz
.
f (z)
17:17
Taiwn06proceeding(S.Sato)
239
u1+ f 0 (u)
(i) lim
= 0 for all > 0,
u f (u)1+
(B)
d
f (u)
(ii)
0 for some > 2 and all sufficiently large u.
du u log u
as .
17:17
Taiwn06proceeding(S.Sato)
240
1
vs = F (M )v + F (M )f (v) in (0, ),
v=0
on (0, ),
v(x, 0) = (x)
in .
We consider this problem as the case of small diffusion and employ the idea
of [6]. However, due to the lack of scaling invariance, the arguments of [6]
do not apply directly. Moreover, in [6], to construct the subsolution, they
use the fact that the solution of ut = up with the initial data u(0) = 0
is identically equal 0. However, since we do not assume f (0) = 0, the
solution of ut = f (u) with the initial data u(0) = 0 may be positive for
t > 0. In order to overcome these difficulties, we derive a positive lower
estimate of the solution and modify arguments of [6] considerably to obtain
the estimate of T ().
This paper is organized as follows: In Section 2 we give some preliminary
estimates of solutions and use those estimates to obtain upper estimates of
the life span of the solution. In Section 3 we show the outline of the proofs
of Theorems 1.1-1.3.
2. Preliminaries
In this section we give some preliminary results which will be used to obtain
upper estimates of the life span.
17:17
Taiwn06proceeding(S.Sato)
241
By putting
v(x, s) = 1 u(x, t), s = F (M )1 t,
v satisfies
(2.1)
1
vs = F (M )v + F (M )f (v) in (0, ),
v=0
on (0, ),
v(x, 0) = (x)
in .
We denote by S() the life span of the solution v of (2.1). Let q(s; ) be
the solution of the ordinary differential equation
qs (s; ) = 1 F (M )f (q(s; )), s > 0,
(2.2)
q(0; ) = ,
and Q() be the life span of the solution q(s; ). Then we have
q(s; ) = 1 F 1 (F () F (M )s), 0 s Q(),
Q() = F (M )1 F ().
Let G (x, y; s) be the Green function of the Cauchy-Dirichlet problem
Vs = F (M )V in (0, ),
(2.3)
V =0
on (0, ).
Comparing G (x, y; s) with the fundamental solution of Vs = F (M )V
in RN , we have
(2.4)
1
|x y|2
exp(
)
N/2
4F (M )s
(4F (M )s)
for all (x, y, s) (0, ). Now for large , we obtain a lower estimate
of G (x, y; s) as follows.
Lemma 2.1. ([6]) For any a , > 0, there exist constants C, , 0 > 0
such that if 0 , then the Green function G (x, y; s) of (2.3) satisfies
G (x, y; s) {1 exp(CF (M )1 )}
1
|x y|2
exp(
)
4F (M )s
(4F (M )s)N/2
for all (x, y, s) Ba, Bx, (0, ), where Ba, := {x RN ; |xa| < }.
By using Lemma 2.1 and the representation formula, we obtain the next
lemma on a lower estimate of the solution of (2.1) near the maximal point
of .
Lemma 2.2. Assume the same conditions as in Theorem 1.1 and (a) =
M . Then for any > 0, there exist constants , , 1 > 0 such that
17:17
Taiwn06proceeding(S.Sato)
242
S()
s0 + S()
by the comparison principle.
Next, let us construct a subsolution of (2.1). We take any > 1 and fix
it. By Lemma 2.2, there exist a ball D centered at the origin and ,
1 > 0 such that if > 1 , then v(x, s) > in D for 0 < s < min(, S()).
Let V be a solution of the Cauchy-Dirichlet problem (2.3) with = D and
put
v(x, s) := q(s; V (x, s)).
We denote by S()
the life span of v. The function v(x, s) is bounded at
(x0 , s0 ) if and only if F (V (x0 , s0 )) > F (M )s0 . This implies
S()
= sup{s > 0; F (M )1 F ( k V (, ) kL(D) ) > for (0, s)}.
Since we have
q (s; ) :=
q
(s; ) = f (F 1 (F () F (M )s))f ()1 > 0
and
q (s; ) = f (F 1 (F () F (M )s))f ()2
(f 0 (F 1 (F () F (M )s)) f 0 ()) 0,
17:17
Taiwn06proceeding(S.Sato)
243
we see
vs (x, s) F (M )
v (x, s) 1 F (M )f (
v (x, s))
= qs (s; V (x, s)) + q (s; V (x, s))Vs (x, s) q (s; V (x, s))F (M )|V (x, s)|2
q (s; V (x, s))F (M )V (x, s) 1 F (M )f (q(s; V (x, s))) 0.
Moreover, since we have
v(x, s) 0 as uniformly (x, s) D (0, ),
if > 0 is sufficiently large, we derive
v(x, s) on D (0, ).
Hence v is a subsolution of (2.1). By the comparison principle, we obtain
S() S().
17:19
TaiwanYamazaki08
NORIAKI YAMAZAKI
Department of Mathematical Science, Common Subject Division
Muroran Institute of Technology
27-1 Mizumoto-ch
o, Muroran, 050-8585, Japan
Abstract: In this paper we study optimal control problems of a quasilinear
elliptic-parabolic equation with a Signorini-Dirichlet-Neumann type mixed boundary condition. We prove the existence of an optimal control by applying the abstract theory. Also, we consider an approximating problem of our original system.
Then, we prove the relationship between the original control problem and its approximating one. Moreover, we give a necessary condition of the approximating
control problem under some smoothness assumptions.
1. Introduction
We consider a quasilinear elliptic-parabolic equation with a SignoriniDirichlet-Neumann type mixed boundary condition as follows:
Problem (P) :
b(u)t a(x, b(u), u) = f (t, x)
u g(t),
and
in (0, T ) ,
(1.1)
a(x, b(u), u) 0
on (0, T ) S ,
u = g(t)
on (0, T ) D ,
a(x, b(u), u) = 0
on (0, T ) N ,
b(u(0, )) = b(u0 )
in .
17:19
TaiwanYamazaki08
246
Here, F := f L2 (0, T ; H 1 ()) ; ft L2 (0, T ; L2()) is a control space,
and J(f ) is a cost functional defined by
Z
Z
Z
1 T 2
1 T
1 T
|b(u) bd |2L2 () dt +
|f |H 1 () dt +
|ft |2L2 () dt,
J(f ) :=
2 0
2 0
2 0
(1.2)
where f F is the control, u is a unique solution to the state problem (P),
and bd is a given target profile in L2 (0, T ; L2()).
The Signorini-Dirichlet-Neumann type mixed boundary condition in (P)
is very complicated. So, it is difficult to analyze the problem (P) numerically.
Now, from the view-point of numerical analysis, we consider the approximating problems of (P) and (OP). In fact, we employ an approximation of
the boundary condition by the penalty method. Namely, for each (0, 1]
we study an approximating problem of (P) as follows:
17:19
TaiwanYamazaki08
247
Problem (P) :
b(u )t a(x, b(u ), u ) = f (t, x)
a(x, b(u ), u ) =
in (0, T ) ,
u g(t)
[u g(t)]+
D
S
on (0, T ) ,
in ,
17:19
TaiwanYamazaki08
248
1
norm |u|V := |u|2H + |u|2H 2 , and denote by V 0 the dual space of V .
Furthermore, we denote by h, i the duality pairing between V 0 and V .
Various L -norms, e.g., norms in L (), L (R), etc., are all denoted
by the same symbol | | .
2. Assumptions and main result
At first we list some assumptions on data as follows:
(A1) a(x, s, p) = p A(x, s, p) for some potential function A(x, s, p).
There exist constants > 0, C1 > 0 and C2 > 0 such that
[a(x, s, p) a(x, s, p)] (p p) |p p|2 ,
|a(x, s, p)|2 + |A(x, s, p)| + |s A(x, s, p)|2 C1 (1 + |s|2 + |p|2 ),
|a(x, s, p) a(x, s, p)| C2 (1 + |p|)|s s|
for all x , s, s R, p, p RN . Moreover, a(, , ) and A(, , )
satisfy the Caratheodory condition.
(A2) b : R R is bounded, nondecreasing and Lipschitz continuous.
(A3) g W 1,2 (0, T ; V ).
(A4) The boundary of is smooth, and admits a mutually disjoint
decomposition such as = S D N , where S , D and N
are measurable subsets of , and D has positive surface measure.
Now, we give the weak formulation of (P) in the variational sense. To
do so, we define a non-empty, closed and convex subset K(t) of V for all
t [0, T ] by
K(t) := {z V ; z g(t) on S and z = g(t) on D }.
(2.1)
17:19
TaiwanYamazaki08
249
weakly in L2 (0, T ; V )
as k ,
(2.2)
weakly in L2 (0, T ; H)
as k .
(2.3)
where the constant C3 > 0 is dependent only on ||, |b| , |g|L (0,T ;V ) and
C1 . Then, we have the following property ():
(): For any 0 s < t T , w V with |w(x)| |b| a.e. in and
z K(s), there exists z K(t) such that
Z
|
z z|H |(t) (s)|,
Z
A(x, w,
z )dx
A(x, w, z)dx |(t) (s)| (1 + |z|V ) .
17:19
TaiwanYamazaki08
250
min{z, w} K(t).
D
Z
[u g(t)]+
+
zd = (f, z)
for all z V.
17:19
TaiwanYamazaki08
251
where the constant C5 > 0 is dependent only on ||, |b| , |g|L (0,T ;V ) and
C1 . Then, we have the following property ():
(): For any 0 s < t T , w V with |w(x)| |b| a.e. in and
z V , there is z V such that
|
z z|H |(t) (s)|,
Z
A(x, w,
z )dx +
A(x, w, z)dx
|
z g(t)|2
d +
2
Z
|z g(s)|2
d
2
([
z g(t)]+ )
d
2
Z
([z g(s)]+ )
d
2
17:19
TaiwanYamazaki08
252
as n .
Let u,n be a unique solution of (P) with data {b(u0 ), fn }. Then, there
are subsequences {nk } {n}, {k } {} and a function u L (0, T ; V )
such that u is the unique solution of (P) with data {b(u0 ), f }, and nk ,
k 0 (as k ),
uk ,nk * u weakly- in L (0, T ; V )
b(uk ,nk ) b(u) strongly in C([0, T ]; H)
as k ,
as k .
as k ,
as k .
(4.2)
strongly in L2 (0, T ; H)
as k .
(4.6)
17:19
TaiwanYamazaki08
253
uk * u weakly- in L (0, T ; V )
b(uk )
as k .
(4.7)
(4.8)
in (0, T ) ,
u g(t)
h(u g(t))
D
S
on (0, T ) ,
in ,
if < r < 0,
0
2
h(r) :=
(5.1)
r
if 0 r < 21 ,
1
1
r 4 if 2 r < +.
17:19
TaiwanYamazaki08
254
(5.2)
where F = f L2 (0, T ; V ) ; ft L2 (0, T ; H) and J () is the cost functional defined in (1.3).
Definition 5.1. (i) We denote by : F L2 (0, T ; H) a solution operator that assigns to any control f F the unique state solution u = (f )
to (SP) with data {b(u0 ), f }.
(ii) Let f F be the optimal solution to (5.2). Then, (u , f ) =
( (f ), f ) is called the optimal pair to the problem (5.2).
By Proposition 5.1, we get the optimal control of (5.2) for (SP) . But,
it is very difficult to show the necessary condition of (5.2) because of b and
k. So, we assume additional conditions for b and k as follows:
(A5) There is a positive constant C6 > 0 such that b0 (r) C6 > 0 for
any r R. Moreover, b0 (r) is smooth and Lipschitz continuous in
r on R.
(A6) There is a positive constant C7 > 0 such that |ki0 (r)| C7 for any
r R and i = 1, 2, , N , where k(r) = (k1 (r), k2 (r), , kN (r)).
Moreover, ki0 (r) is smooth and Lipschitz continuous in r on R for
i = 1, 2, , N .
By the quite standard method (cf. [8]), we can get the necessary condition of the optimal pair (u , f ) = ( (f ), f ) as follows:
Proposition 5.2. Assume (A5)(A6) and the same conditions in Proposition 5.1. For each (0, 1], let f F be the optimal control for (5.2).
Let u be a unique solution of (SP) with the source term f . Then,
there is a unique solution p W 1,2 (0, T ; H) L (0, T ; V ) to the adjoint
equation:
k
0
b (u )(p )t p +
(b(u )) p = (b(u ) bd )b0 (u )
u
in (0, T ) ,
(5.3)
p
1
1
= D p S h0 (u g(t))p
on (0, T ) ,
(5.4)
p (T, ) = 0
in .
(5.5)
17:19
TaiwanYamazaki08
255
T
0
(p + f , )dt +
T
0
(f , )dt +
for any F .
T
0
((f )t , t )dt = 0
(5.6)
in (0, T )
(in a distribution sense),
(f )t (T, ) = 0
in .
v
+ k ,i (t, x)v = f in (0, T ) ,
xi xi
i=1
N
X
1
v
1
i
+ k ,i (t, x)v = D v S h (t, x)v
x
i
i=1
b (t, x)v
(5.7)
(5.8)
on (0, T ) ,
(5.9)
in ,
(5.10)
b (0)v (0) = 0
(i = 1, , N ),
17:19
TaiwanYamazaki08
256
+
+
0
T
|v (t)|2L2 (D ) dt +
|(v )t (t)|2V 0 dt +
22
N2 |f|
L (0,T ;H)
T
0
|(b v )t (t)|2V 0 dt
(5.11)
(f + f ) := lim
= ,
(5.12)
d
=0 0
J (f )
d
J (f + f)
J (f + f) := lim
d
=0 0
Z T
Z
=
(b(u) bd , b0 (u))dt +
0
(f, f)dt +
(f, f)dt
(ft , ft )dt,
where u = (f ).
Moreover, the function fulfills the following:
Z
Z
1
h(b0 (u))t , zi +
+
k(b(u)) zdx +
zd
u
D
Z
1
+
h0 (u g(t))z d = (f, z), z V, a.e. t (0, T ),
S
(b0 (u)) (0) = 0
(5.13)
in .
(5.14)
(5.15)
17:19
TaiwanYamazaki08
257
(5.16)
(5.18)
2
(5.19)
(5.21)
as n .
Now, we show that the limit of vn satisfies the relations (5.14)(5.15).
Since bn is bounded in L2 (0, T, H) (cf. (A2)), we observe that
bn * b weakly in L2 (0, T ; H) for some b L2 (0, T ; H)
(5.22)
(5.23)
(5.24)
= b = b0 (u)
(5.25)
ki (b(u))
weakly in L2 (0, T ; H)
(5.26)
for i = 1, 2, , N , and
hn vn * h0 (u g)
weakly in L2 (0, T ; L2 (S ))
(5.27)
as n .
Since vn is the solution of (5.7)(5.10), the following relations hold:
Z X
N
vn
z
bn (t, x)vn t , z +
+ k n ,i (t, x)vn
dx
x
x
i
i
i=1
Z
Z
1
1
z), z V, a.e. t (0, T ),
vn z d +
h v z d = (f,
+
D
S n n
bn (0)vn (0) = 0
in .
17:19
TaiwanYamazaki08
258
Then, we observe from (A2) and (A5) that any variable norms | |t (t
[0, T ]) are uniformly equivalent on H. Moreover, there is a positive constant
C8 > 0 such that for any 0 s < t T and z H,
2
|z|t |z|2s C8 |t s||z|2s .
J (f + ) J (f )
T
0
(f , )dt +
(b(u ) bd , b0 (u ) )dt +
(, p )dt +
T
0
(f , )dt
((f )t , t )dt
T
0
(f , )dt
h(b0 (u ) )t , p i dt
+
T
0
(f , )dt
T
0
((f )t , t )dt
17:19
TaiwanYamazaki08
259
T
0
(p + f , )dt +
T
0
(f , )dt +
T
0
((f )t , t )dt
(5.28)
for any F , here, we use the relations (5.14)(5.15) and (5.3)(5.5) for
and p , respectively. Since F is arbitrary, we infer from (5.28) that
the optimal control f satisfies the variational identity (5.6).
References
[1] H. W. Alt and S. Luckhaus, Quasilinear elliptic-parabolic differential equations, Math. Z., 183(1983), 311341.
[2] H. W. Alt, S. Luckhaus and A. Visintin, On nonstationary flow through
porous media, Ann. Mat. Pura. Appl., 136(1984), 303316.
[3] J. Carrillo and P. Wittbold, Uniqueness of renormalized solutions of degenerate elliptic-parabolic problems, J. Differential Equations, 156(1999), 93121.
[4] M. Chipot and A. Lyaghfouri, The dam problem for non-linear Darcys
laws and non-linear leaky boundary conditions, Math. Methods Appl. Sci.,
20(1997), 10451068.
[5] A. Damlamian, Non Linear Evalution Equations with Variable Norms, Thesis, Harvard University, 1974.
[6] K.-H. Hoffmann, M. Kubo and N. Yamazaki, Optimal control problems
for elliptic-parabolic variational inequalities with time-dependent constraints,
Numerical Functional Analysis and Optimization, 27(2006), 329356.
[7] A. V. Ivanov and J.-F. Rodrigues, Weak solutions to the obstacle problem for
quasilinear elliptic-parabolic equations, St. Petersburg Math. J., 11(2000),
457484.
[8] A. Kadoya and N. Kenmochi, Optimal Shape Design in Elliptic-Parabolic
Equations, Bull. Fac. Education, Chiba Univ., 41(1993), 120.
[9] N. Kenmochi, Solvability of nonlinear evolution equations with timedependent constraints and applications, Bull. Fac. Education, Chiba Univ.,
30(1981), 187.
[10] N. Kenmochi and M. Kubo, Periodic stability of flow in partially saturated
porous media, Free Boundary Problems, Int. Series Numer. Math., Vol. 95,
Birkh
auser, Basel, 1990, pp. 127152.
[11] N. Kenmochi and I. Pawlow, Parabolic-elliptic free boundary problems with
time-dependent obstacles, Japan J. Appl. Math., 5(1988), 87121.
[12] M. Kubo and N. Yamazaki, Elliptic-parabolic variational inequalities with
time-dependent constraints, Discrete Contin. Dyn. Syst., 19(2007), 335359.
[13] F. Otto, L1 -contraction and uniqueness for quasilinear elliptic-parabolic
equations, J. Differential Equations, 131(1996), 2038.
[14] I. Pawlow, Analysis and Control of Evolution Multi-Phase Problems with
Free Boundaries, Prace habilitacyjne, Polska Akademia Nauk, Instytut
Bada
n Systemowych, 1987.
[15] N. Yamazaki, Doubly nonlinear evolution equation associated with ellipticparabolic free boundary problems, Discrete Contin. Dyn. Syst., 2005, suppl.,
920929.