RECENT TOPICS IN NONLINEAR PDE IV
This Page Intentionally Left Blank
NORTH-HOLLAND
MATHEMATICS STUDIES
160
~-~~~...
15 downloads
514 Views
8MB Size
Report
This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
Report copyright / DMCA form
RECENT TOPICS IN NONLINEAR PDE IV
This Page Intentionally Left Blank
NORTH-HOLLAND
MATHEMATICS STUDIES
160
~-~~~
Lecture Notes in Numerical and Applied Analysis Vol. 10 General Editors: H. Fujita (Meiji University) and M. Yamaguti (Ryukoku University)
Recent Topics in Nonlinear PDE IV
Edited by
MASAYASU MIMURA (Hiroshima University) TAKAAKI NlSHlDA (Kyoto University)
NORTH-HOLLAND AMSTERDAM-NEW YORK-OXFORD
KINOKUNIYA COMPANY LTD. TOKYO JAPAN
KINOKUNIYA COMPANY-TOKYO NORTH-HOLLAND-AMSTERDAM*NEWYORK*OXFORD
@ I989 b y Publishing Committee of Lecture Notes in Numerical and Applied Analysis All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or transmifted, in any form or by any means, electronic, mechanical, photocopying, recording or otherwise, without the prior permission of the copyright owner. No responsibility LF assumed by the Publisher for any lnjury andlor damage to persons or property as a matter ofproducrs liability, negligence or otherwise, or from any w e or operation of any methods, products, instructions or ideas contained in the material herein.
ISBN: 0 444 88087 9
Publishers KINOKUNIYA COMPANY LTD. TOKYO JAPAN *
f
*
ELSEVIER SCIENCE PUBLISHERS B. V. Sara Burgerhartstraat 25 P. 0. Box 211 loo0 AE Amsterdam The Netherlands
Sole distributors for the U.S.A. and Canada ELSEVIER SCIENCE PUBLISHING COMPANY, INC. 655 Avenue of the Americas New York, N.Y. 10010, USA Distributed in Japan by KINOKUNIYA COMPANY LTD. Distribuied outside Japan b y ELSEVIER SCIENCE PUBLISHERS B. V. (NORTH-HOLLAND)
Lecture Notes in Numerical and Applied Analysis Vol. 10 General Editors H. Fujita Meiji University
M. Yarnaguti
Ryukoku University
mtorial Board
H. Fujii, Kyoto Sangyo University M. Mimura, Hiroshima University T. Miyoshi, Yarnaguchi University M. Mori, The University of Tsukuba T. Nishida, Kyoto University T. Taguti, Konan University S. Ukai, Osaka City University T. Ushijirna, The University of Electro-Communications
PRINTED IN JAPAN
PREFACE
The f i f t h Meeting on Nonlinear Partial Differential
Equations (PDEs) was held a t Research I n s t i t u t e of Mathematical I n s t i t u t e , Kyoto University from January 6 t o January 9, 1988. The topics f o r the meeting was the theory and applications of nonlinear PDEs i n mathematical physics, reaction-diffusion theory, biomathematics and i n other applied sciences.
There
were 18 speakers who gave outstanding presentations on recent
bvorks i n analysis, computational analysis of nonlinear PDEs and their applications.
This i s the volume of the proceedings
of this meeting.
We express our gratitude t o the contributors of t h i s meeting:' t h e i r presence made the meeting so successfull.
Mas aya s u M i mu r a Takaaki Nishida
This Page Intentionally Left Blank
CONTENTS
Preface.. ...............................................................................
v
Yoshikazu GIGA: A Local Characterization of Blowup Points of Semilinear Heat Equations.. ...............................................
1
Shuichi KAWASHIMA and Yasushi SHIZUTA: The Navier-Stockes Equation Associated with the Discrete Boltzmann Equation ...... 15 Shigeo KIDA, Michio YAMADA and Kohji OHKITANI: Route to Chaos in a Navier-Stokes Flow ............................................ 31 Akitaka MATSUMURA and Takaaki NISHIDA: Periodic Solutions of a Viscous Gas Equation.. ................................................ 49 Takeyuki NAGASAWA: On the One-dimensional Free Boundary Problem for the Heat-conductive Compressible Viscous Gas.. .... 83 Mitsuhiro T. NAKAO: A Computational Verification Method of Existence of Solutions for Nonlinear Elliptic Equations.. ........... 101 Hisashi OKAMOTO: Degenerate Bifurcations in the Taylor-Couette Problem ......................................................................... 121 Shigeru SAKAGUCHI: Uniqueness of Critical Point of the Solution to the Prescribed Constant Mean Curvature Equation Over Convex Domain in R 2 . ....................................................... 129 Takashi SUZUKI: Symmetric Domains and Elliptic Equations ......... 153 Seiji UKAI: On the Cauchy Problem for the KP Equation................ 179 Atsushi YOSHIKAWA: Weak Asymptotic Solutions to Hyperbolic 195 Systems of Conservation Laws ............................................ Nobuyuki KENMOCHI and Irena PAWLOW: The Vanishing Viscosity Method in Two-Phase Stefan Problems with Nonlinear Flux Conditions...................................................................... 211
This Page Intentionally Left Blank
Lecture Notes in Num. Appl. Anal., 10, 1-14 (1989) Recent Topics in Nonlinear PDE lV, Kyoto, 1988
A Local Characterization of Blowup Points of
Semilinear Heat Equations Dedicated to Professor Tosihusa Kimura on his sixtieth birthday Yoshikazu Giga Department of Mathematics Hokkaido University Sapporo 060, JAPAN 1. Introduction This note is essentially based on my work with Kohn [11.121. Here we apply our method to obtain a local version of our results in [11.121 so that we explain a crucial idea of our methods
.
We are concerned with the blowup of solutions of semilinear heat equation (1.1) ut where
D
-
AU
- IUIP-' u
=
o
in
D x (0.~1
Rn and p>l. There are many
is a domain in
examples where blowup occurs spatially inhomogeneously [l-4,6-8,11,12.14,15].A point non-blowup point if
u
a E D
is called g
is locally bounded in a
(parabolic) neighborhood of (a,T). Otherwise a is called a blowup point. Our goal is to distinguish blowup points and non-blowup points by the asymptotic behavior of the solution
u
as
t
-+
T. This problem is studied in 1
2
Yoshikazu GIGA
[11.12] when the Dirichlet boundary condition
is
u=O
imposed. Their result reads: Thorem 1.
Suppose that
or D=Rn. Suppose that solution
of
D
convex with
on
u=O
aR
u
gnJ
(1.1) on D x (0,T’) for every
lim (T-t)’ u(a+y(T-t)‘I2 , t) t+T implies that
a E D
boundary
C2
8
= 0.
=
bounded
T’0.
Bb(a)
Rn centered at a.
of
(1.1)
on
Q8(a,T)
Assume that
that
(1.4) lim(T-t)’ u(a+y(T-t)1’2. t-+T
equals zero and that for each uniform
in
g solution
=B8(a)x(T-h2, T) for some
Suppose
8
Let
for
lylic.
Then
a
t)
00,
the
convergence
is a non-blowup point.
Since the converse i s trivial, this characterizes non-blowup points. p . 2 9 8 1 so the limit
This answers the conjecture in [ 9 , (1.4) equals
*B8
provided that
a
Blowup Points of Semilinear Heat Equations
is a blowup point and that p p=(n+2)/(n-2).
3
satisfies (1.2) or
Compared with Theorem 1, there is an
advantage in the Main Theorem, since it is a local result
so it does not matter what boundary conditions are imposed. Unfortunately the upper bound (1.3)is only proved by imposing boundary conditions and restrictions on initial data
uo
or
p.
For example under the assumption of
Theorem 1 with (1.2) the estimate (1.3) holds for uorO [lo]. When
D
is bounded, the restriction (1.2) can be removed
if we assume Auo+u0
0
2
in addition [ 6 1 ; see also [3,7]
for the Neumann boundary condition. So even when
p
violates (1.21, there is the situation where the Main Theorem is applicable. The proof of the Main Theorem is similar to that of Theorem 1. The first ingredient in the proofs of both Theorems is to show that that
lu(x.t) I(T-t)’
a
is a non-blowup point provided
is small uniformly near
a.
The
second ingredient is to show that the limit (1.4)=0 leads to the uniform
smallness of
lu(x,t) I (T-t)’
near
a.
For
this we use similarity variables as in [9-121 and prove various a priori estimates for rescaled functions via energy relations. Since there are no boundary conditions in the Main Theorem, the proof of this step differs from that of Theorem 1 although the flavor is the same. We give below, mainly, the proof of the second step of the Main Theorem since the first step 1s a local result and proved in [11,12]. The upper bound (1.3) avoids some
Yoshikazu GIGA
4
technical difficulties, so the proof is simpler than that of Theorem 1. The assertion in the Main Theorem holds for more general equations f(u)-lulP-lu
ut-Au-f(u)=O
whenever
grows at most as 1 u 1 9 for some
qe-1'2,
M,n,r and
p [9,
we see easily
< s . s L 1) c
Since p=exp(-lyl2 / 4 ) , &i
M'(l+lyl)
{(Y,s); lyl < resi2, s > -2Qn r}, r < 1
Proposition 1'1.
of
i
wr
( 2 . 7 ) now follows from definitions
0
Remark. The Identity (2.6) is found in [9, p.3121. (2.5)
a global version is proved first in [lo, p.81.
For The
proof is almost the same as [9,101 although (2.5) is not explicitly written in the literature. We just reproduce the proof for the reader's convenience.
7
Blowup Points of Semilinear Heat Equations 3.
A small integral bound on rescaled functions We shall prove that integrals of w
energy
Es[w](s)
Theorem 3.1.
is small when
Suppose that w
upper bound (2.4). For every s+=s.(&.p,n,M)tl
and C
lB
1
Iwl’pdy
5
is sufficiently large.
s
solves (2.2) on W1 with an E > 0 , there are constants
C(p,n)
such that
implles
E(sl):= Es [w](sl) < E (3.1)
=
is small if the
Gal" for
s L sl,
S
where
s1
is an arbitrary number with
sits+.
We begin by two lemmas on differential inequalities.
that
z(s)
and
E(s) are real-valued C
functions on an interval
[so.
w).
Assume that
Lemma 3.2.
(3.2)
Suppose
dz/ds L - c l E ( s )
(3.3) dE/ds i b 2 ( s ) ,
with some
c2ze - & , ( s )
s 2 so
Q>l. ci>O, giL0 ( 1 = 1 , 2 )
Then Qim E ( s 1 s+w
+
z(s)>O
exists and is nonnegative.
Proof. By (3.3) and (3.4)we see a=Qirns+=E(s) is
1
and
Yoshikazu GIGA
8
either
-m
or finite.
(including - - I .
Then
since (3.4) holds.
s
The inequality (3.2) now implies that finite time.
Suppose that
y(s)
function on an interval [ s o , - 1 .
l$I2ds i A , S
for
A i
z would blow up in
This leads to a contradiction, so
Lemma3.3 (t121).
(3.6)
were negative
-c1E(s)-hl(s) would be greater
-a/2 for sufficiently large
than
u
Suppose that
i
a L 0.
is a nonnegative
C1
Assume that
dy/ds
=
0
1
with positive constants
Then there is a constant
ci(i=1,2)
depending only
C
on
p > 1.
ci
such that --
P r o o f . By ( 3 . 5 ) we see
either for
y(s) i A"
or
clyp i
i
+
c2A1-a
a > O . This leads to
Applying ( 3 . 6 ) and taking a=1/2p yield fs+1y2p(t)dr < CA with
C
independent of
A.y and
s.
Applying this with
p
Blowup Points of Semilinear Heat Equations
9
(3.6) to an interpolation inequality
9 = l/(p+l)
yields (3.7) since A i 1.
0
Proof of Theorem 3.1. Using Holder's inequality and Jpdy
A ( u ) z = A(u,w)z
Let
z
E
f o r some
N(B(u,w))
X
E
(i.e., B(u,w)z and
R
w
Sn-l.
E
z = 0.
Then
By u s i n g t h e e x p l i c i t e x p r e s s i o n s o f t h e m a t r i c e s g i v e n
we c a n show t h e e q u i v a l e n c e o f t h e s e
i n ( 2 . 1 7 ) and ( 2 . 1 9 ) 1 , 2 , two s t a b i l i t y c o n d i t i o n s Theorem 3 . 5 .
I f S t a b i l i t y C o n d i t i o n DB f o r t h e d i s c r e t e
Boltzmann e q u a t i o n ( 1 . 3 ) h o l d s , t h e n t h e N a v i e r - S t o k e s e q u a t i o n
u
s a t i s f i e s S t a b i l i t y C o n d i t i o n NS f o r e v e r y
(2.16)
E
IRd
.
C o n v e r s e l y , i f S t a b i l i t y C o n d i t i o n NS f o r ( 2 . 1 6 ) h o l d s f o r
some
u
E
R d , t h e n ( 1 . 3 ) s a t i s f i e s S t a b i l i t y C o n d i t i o n DB.
Now we assume t h e e x i s t e n c e o f a h y d r c d y n a m i c a l basis of
y2q
and S t a b i l i t y C o n d i t i o n DB for ( 1 . 3 ) .
I n t h i s case, t h e
Navier-Stokes e q u a t i o n ( 2 . 1 6 ) i s transformed i n t o t h e normal form of t h e symmetric h y p e r b o l i c - p a r a b o l i c
s y s t e m and s a t i s f i e s
S t a b i l i t y C o n d i t i o n NS (Theorems 3 . 3 and 3 . 5 ) . o r i g i n a l Navier-Stokes given b
(3.1)1.
equation (2.14)
Also, the
has an entropy function
T h e r e f o r e , Theorems 4 . 3 and 4 . 4
[ 4 1 are
of
a p p l i c a b l e s t r a i g h t f o r w a r d l y to t h e problem ( 2 . 1 4 ) ,
(3.5),
and we o b t a i n t h e f o l l o w i n g g l o b a l e x i s t e n c e Theorem. Theorem 3 . 6 .
Suppose t h a t
%
admits a hydrodynamical
b a s i s and t h a t t h e d i s c r e t e Boltzmann e q u a t i o n ( 1 . 3 )
satisfies
Discrete Boltzmann Equation
29
S t a b i l i t y C o n d i t i o n DB. (i) I f
wo
- -w
i s small i n
Hs(Rn), where
t h e n t h e i n i t i a l v a l u e problem ( 2 . 1 4 ) a unique global solution s p a c e over [ O r - ) solution
w(t,x)
x
-
as
(ii) A s s u m e t h a t
wo
s 2
[n/21 + 3.
t *
t
-+
- w
-
E
= 1) h a s
-
w e C0 ([O,=);HS(Wn))
-.
i s ma11 i n
Then t h e s o l u t i o n
v e r g e s , i n t h e s e n s e of as
w
converges, uniformly i n
w
constant s t a t e
(3.5) (with
i n an a p p r o p r i a t e f u n c t i o n
w(t,x)
Rn; we have
,
+ 2,
S t [n/2]
HS-2(IRn),
w
This
to the
Hs(Rn) n L 1 ( R n )
w(t,x) to
x e Rn,
.
obtained i n at the rate
,
where
(1)
con-
t-"l4
a.
P
References. R.
G a t i g n o l , "Thborie C i n g t i q u e d e s G a s
2 Repartition
Discrete d e V i t e s s e s " , L e c t u r e N o t e s i n Phys.,
V e r l a g , Berlin-Heidelberg-New
36, Springer-
York, 1975.
T . Kato, " P e r t u r b a t i o n Theory f o r L i n e a r O p e r a t o r s " .
ed
, Springer-Verlag,
second
N e w York, 1 9 7 6 .
S. Kawashima, G l o b a l e x i s t e n c e and s t a b i l i t y of s o l u t i o n s
f o r d i s c r e t e v e l o c i t y models of t h e Boltzmann e q u a t i o n , Recent T o p i c s i n N o n l i n e a r PDE, L e c t u r e N o t e s i n N u n . Appl. A n a l , 6 , Kinokuniya, Tokyo, 1983, 59 - 8 5 . S . Kawashima, Systems o f a h y p e r b o l i c - p a r a b o l i c c o m p o s i t e
type, w i t h a p p l i c a t i o n s t o t h e e q u a t i o n s of magnetohydrodynamics, Dectoral T h e s i s , Kyoto U n i v e r s i t y , 1984. S . Kawashima and Y.
S h i z u t a , On t h e normal form of t h e
Shuichi KAWASHIMA and Yasushi SHIZUTA
30
symmetric h y p e r b o l i c - p a r a b o l i c
s y s t e m s associated w i t h
t h e c o n s e r v a t i o n l a w s , t o a p p e a r i n T6hoku Math. J . (61
S . Kawashima and Y. S h i z u t a ,
The N a v i e r - S t o k e s e q u a t i o n
i n t h e d i s c r e t e k i n e t i c t h o e r y , t o a p p e a r i n J. M6c. Th6or. A p p l . [71
Y.
.
S h i z u t a and S . Kawashima, S y s t e m s of e q u a t i o n s of h y p e r -
b o l i c - p a r a b o l i c t y p e with a p p l i c a t i o n s t o t h e discrete Boltzmann e q u a t i o n , Hokkaido Math. J .
,
1 4 (1985) , 249
- 275.
Lecture Notes in Num. Appl. Anal., 10, 31-47 (1989) Recent Topics in Nonlinear PDE IV, Kyoto, 1988
Route to Chaos in a Navier-Stokes Flow
Shigeo KIDA Research Institute for Mathematical Sciences, Kyoto University, Kyoto 606, Japan,
Michio YAMADA Disaster Prevention Research Institute, Kyoto University, Uji 611, Japan and
Kohji OHKITANI Department of Physics, Faculty of Science, Kyoto University, Kyoto MM, Japan
Abstract A route to chaos is investigated numerically in the motion of an incompressible viscous fluid which is governed by the Navier-Stokes equation with an external force. The highsymmetry is imposed on the velocity field. The complexity of the flow is characterized by the multi-periodicity of the temporal variation of the velocity field. By examining the frequency power spectrum of the energy and the orbit of the points of state we found the following scenario to chaos: steady -+simply periodic -+
+
doubly periodic
-+
triply periodic
non-periodic (chaotic) motions. The difference of the spatial complexity between the
chaotic motion and the fully developed turbulence is discussed.
31
Shigeo KIDA. Michio YAMADA and Kohji OHKITANI
32
1. Introduction
The pattern of fluid motion is qualitatively different depending on the value of the Reynolds number. Generally, when the Reynolds number is small, the laminar flow with simple spatio-temporal structure is realized. As the Reynolds number is increased, the
flowbecomes more and more complicated and finally to turbulence. Landau' conjectured the following scenario on the process of complexity of the structure of the velocity field with increasing Reynolds number: steady
-+
doubly periodic (quasi-periodic with two fundamental frequencies)
--t
-, . . .
--t
simply periodic
--t
- + n-periodic
non-periodic (chaotic) motions. The turbulence is regarded as the limiting state
of the multi-periodic motions. Newhouse, Ruelle and Takens,' on the other hand, proved
that a triply periodic motion in a dynamical system is unstable to a small Cz perturbation while a quadruply periodic motion is to a small Cooperturbation. Therefore, if such perturbations are compatible with the Navier-Stokes equation, the triply and/or quadruply periodic motions may not be observed in real fluid systems. Since then, extensive researches have been made on the transition to turbulence, especially the existence of the triply periodic motion in various fluid systems as well as other dynamical systems. It has been found that there are many different routes to chaos depending upon the kinds of the dynamical systems. A t the same time the triply, quadruply and even quintuply periodic motions were observed in the Rayleigh-Bknard convection3 and in the Taylor vortex flow.' The triply periodic motion was also observed numerically for a model equation to the Taylor vortex flow6 and for many other simple dynamical systems" In this paper we present a process of complexity found by solving the full Navier-Stokes equation numerically. 2. N u m e r i c a l Simulation of the Navier-Stokes e q u a t i o n
We consider the motion of an incompressible viscous fluid in a cyclic box of period 2 7 ~
Route to Chaos in a Navier-Stokes Flow
33
with an effective steady force. The motion is governed by the Navier-Stokes equation and the continuity equation, which are written in the Fourier representation as
and
Here Z and G are respectively the Fourier transforms of the velocity u(z) and the vorticity W(Z)
= rot u(z);
and W(Z)
=
C
-
~ ( kexp ) [ik zj,
-
Iki I , l k a l , l k i l l t N
where
N
is an integer. The subscripts in (1)
(5)
(3) denote the vector components. The
summation convention is assumed for the repeated subscripts.
rjkl
is an alternating tensor,
iXlm(k) is the inverse Fourier transform of the product u~(z)um(z), v is the kinematic viscosity of fluid, and k = [kl.The time argument is omitted for brevity. The high-symmetry' is impoeed on the velocity field in order to save the memory capacity and the computation time. Equations (1)
-
(3) are solved numerically starting
with a suitable initial condition. The nonlinear terma are calculated by the pseudo-spectral method. The aliasing interaction is suppressed by cutting off the Fourier components at a maximum wavenumber k,,
=
N.8 The time integration is performed by the Runge-
Kutta-Gill scheme. In order to imitate a constant energy mpply at lower wavenumbers the following Fourier components of the velocity are kept to be constant all the time:
34
Shigeo KIDA, Michio YAMADA and Kohji OHKITANI
and similar conditions for iil and ii3. We made several rum with different values of viscosity. The calculation was continued until the effects of the initial condition were thought to fade away. The parameters used in the simulation are listed in Table I. The integer N is chosen so that the truncation effects at the maximum wavenumber
$N
may not be significant.
Different kinds of turbulence are conveniently compared with each other for the same values of Taylor’s micrescale Reynolds number Rx, which is expressed in terms of the energy & ( t ) , the enstrophy Q ( t ) and the kinematic viscosity u as
where c ( t ) = 2 uQ ( t ) is the energy dissipation rate. In the numerical simulation the micro-scale Reynolds number fluctuates in time. In figure 1 is plotted the mean Reynolds number against l / v . It is seen that Rx is proportional to l / u for small l / v , while it is proportional to
0for large l / u . These asymptotic
dependences on the viscosity of the micro-scale Reynolds number are the manifestations of the characteristics of the laminar and turbulent velocity fields, respecti~ely.~ The patterns of the fluid motion are different for different values of viscosity. For large values of viscosity v > u c ( x 0.012) the steady motion is realized, whereas for viscosity
smaller than v, the velocity field fluctuates in time. The temporal behavior of the velocity field becomes more and more complicated as the viscosity is decreased. By decreasing the viscosity gradually we found that the following scenario of the temporal complexity in the velocity field: steady
-+
periodic
+
doubly periodic
-P
tripfy periodic
-P
non-periodic
(chaotic) motions. In the following sections the characteristics of the respective types of motins will be discussed in terms of the temporal variation of the energy (in 53) and the phase portrait of the orbit of the points of state (in 54). 3. Time Series and Frequency Power Spectrum of Energy
Route to Chaos in a Navier-Stokes Flow
35
In figures 2 is shown, for several values of viscosity, the time! series of the kinetic energy
& (t) per unit mass of fluid for later periods of the long runs. The energy oscillates regularly in time for v = 0.011, 0.008 and 0.0069. The amplitude of the willation is constant for v = 0.011, while it is undulated for v = 0.008 and 0.0069. The energy for v = 0.0065, on
the contrary, fluctuates in a very complicated manner or irregularly. In order to see the spectral behavior of the variation of energy we made the Fourier transformation of the energy by using M(= 2'')
numerical data taken at every time
step. In figures 3 is plotted, for the corresponding cases of figures 2, the frequency power spectrum r ( w ) averaged over a number of samples calculated in different periods of time. The spectral interval Aw = 2 r/M A t and the maximum frequency (the Nyquist frequency) n /At are 0.01917 and 157.1, respectively. The Fourier component at zero frequency is
suppressed because it is irrelevant to the variation of energy. The spectrum for v = 0.011 has two distinct peaks at
w1
= 2.575 and at its harmonic
2w1, and a very weak peak at 3Ul (figure 3(a)). It was confirmed by the parabola fitting to
the inverse of the spectrum that these peaks certainly represent line spectra (see Appendix). At the same time their frequencies were determined within error of several percents of Aw. The motion in this case is therefore in a simply periodic state. There are scores of distinct peaks observed in the spectrum for v = 0.008 (figure 3(b)). We have checked that all of their frequencies are expressed by sums and differences of two fundamental frequencies
w1
= 2.574 and
wp
= 0.326, which implies that this motion is
doubly periodic. The second frequency wp represents the undulation of the amplitude of
energy which is evident in figure 2(b). The spectrum for v = 0.0069 ia composed of a lot of peaks (figure 3(c)). We can identify two fundamental frequencies w1 (= 2.581) and third fundamental frequency at
w3
w2
(=0.295). There appears the
(= 0.068), which cannot be expressed by a sum or
difference of simple multiples of w1 and wl. We have checked that all the frequencies can be expressed
M sums
and differences of three fundamental frequencies w 1 , w2 and w3. This
36
Shigeo KIDA, Michio YAMADA and Kohji OHKITANI
is therefore in a triply periodic state. Figure 3(d) shows the power spectrum for v = 0.0065. There are too many peaks observed. We counted the number of the peak spectral components. It amounts to 187 in the frequency domain 0 5 w 5 8 , which is nearly a half of the total number of the spectral components therein. Such many peaks are consistent with the assertion that the spectrum in this case may be continuous and therefore the motion is chaotic.
4. Orbit and Poincar6 Section of Points of State The multi-periodicity of the motion can be well distinguished by looking at the orbit of the points of state (or the attractor) in the phase space. The attractor may be a fixed point, a limit cycle, a (twa-) torus, a threetorus or an strange attractor for a steady, a simply periodic, a doubly periodic, a triply periodic or a chaotic motion, respectively. Figures 4 are examples of the orbits of the points of state projected onto a subspace spanned by three Fourier components of vorticity,
(20,20, lo), z1(10,20,10) and i& (0,30,10) for cases of
(a) simply periodic, (b) doubly periodic and (c) chaotic motions. A limit cycle is evident in figure 4(a) which demonstrates that the motion is in a simply periodic state. The orbits shown in figures 4(b) and 4(c) are dispersed so much that we cannot see their structure. In figure 5(b) is plotted a Poincard section of the orbit for u = 0.008 intersected by a plane perpendicular to the w1(10,20,1O)-axis which is shown in figure 5(a). The Poincar6 section seems to lie on a closed curve, which implies that the orbit is running over a twotorus and that the motion is in a doubly periodic state. Figures 6 are the same plots for
v = 0.0065. The orbit is scattered on the Poincard plane, which is consistent with that the orbit is on a strange attractor and the motion is chaotic. 5 . Chaos to Turbulence
The chaotic motion we have considered in the previous sections does not necessarily implies that the flow is 'turbulence'. The chaotic motion exibits the temporal irregularity,
Route to Chaos in a Navier-Stokes Flow
37
whereas turbulence has both spatial and temporal irregularity. Figurea 7 are the snapshots of the stream lines for the cases of (a) the steady motion ( u = O.l), (b) the chaotic motion (u= 0.oOSS) and (c) the turbulent motion
(Y
= O.ooO5). Here are shown the components
of the velocity on a plane perpendicular to the za-axis. For
Y
= 0.1 a single big eddy
exists steadily and the stream limes are simple. It has still a simple structure even in a chaotic state as seen in figure 7(b). For very small viecceity (u = O.OOOS), however, as shown in figure 7(c), the velocity field, which is composed of a lot of eddies of different sizes, becomes very complicited.
The micro-scale Reynolds number Rx is about 3, 40 and 200 for v = 0.1, 0.0065 and 0.0005, respectively. The above result tells
u8
that when Rx
= 40, the flow may be chaotic
but not turbulent. Incidentally it ia known by many experiments that various similarity laws for the fully developed turbulence hold for Rx 2 80." The skewness of the velocity derivative, for example, shows different dependences of the Reynolds number below and above Rx
= 80.
l2
It is one of the interesting problems to investigate what quantities
characterize the transition around this critical Reynolds number. 6. Summary and Discussion
The process of the temporal complexity of the velocity field we have found in the present study is summarized in figure 8. As the Reynolds number is increased, the temporal behavior of the velocity field undergoes the following sequence of transition: steady (S) -+ periodic (P)
+
doubly periodic (QP,)
-+ triply
periodic (QP3)
+
chaotic (C)
motions. The critical Reynolds numbers shown in figure 8 were estimated by examining the Reynolds number dependences of the variance of the variation of the energy and the Lyapunov exponent? We observed the re-laminaliiation of the velocity field; a periodic motion appears again at larger Reynolds numbers. Now we would like to make several comments. First, it is hard to distinguish highly multi-periodic motion from non-periodic onea numerically because of finite resolution. For
Shigeo KIDA, Michio YAMADA and Kohji OHKITANI
38
example, although we regarded the power spectrum in figure 3(d) as continuous, it may be possible to be a collection of a number of line spectra with many fundamental frequencies.
We cannot therefore deny the possibility of existence of more than triply periodic motions by the present numerical simulation. Second, the existence of the triply periodic state is concluded only within the numerical resolution because it is poaclible that the spectrum in figure 3(c) may have any invisible broadband component. Third, if a triply periodic state does ever exist, it implies that the perturbations in the theorem by Newhouse ct uL2 may
not be generic for the Navier-Stokes equation. Fourth, there is a fear that the constraint
of the spatial periodicity or the high-symmetry imposed on the velocity field might inhibit such perturbations that destroy the triply periodic motion. It is left for a future problem what happens if we release the condition of high-symmetry. Acknowledgments The numerical simulation was done on the FACOM M382-VP200 system in the data processing center of Kyoto University. This work was partially supported by Itoh Science Foundation and the Grant-in-Aid for Scientific Research from the Ministry of Education in Japan. APPENDIX
The Power Spectrum of A Periodic Function
We describe here the typical form of the power spectrum of a periodic function obtained by the Fourier transformation over a finite domain of period. Let us express a real periodic function of period 2 n / n by a Fourier series as
C m
j(t)=
A,, exp [ i m n t ] ,
(A.1)
m= -m
where Am's are complex numbers. Since j ( t ) is real, A,,, = A,',
where
' denotes the
complex conjugate. The Fourier transform of f f t ) over a finite period, 0 5 t 5 T, is calculated to be
Route to Chaos in a Navier-Stokes Flow
39
where w, = 2nn/T, n being an integer. The Fourier transform m = -00,.
. .,
00.
T(w,)has an infinite number of pole singularities at w,
I- IZ,
The power spectrum, f(wn)
= mR,
therefore, behaves around wn = mn as
Thus the inverse of the power spectrum is approximated by a parabola, the axis of which lies at the frequency
mn.
In figure 9 is shown the inverse of the power spectrum around the fundamental frequency w1 for v = 0.011 (cf. k u r e 3(a)). The solid curve is a parabola which is determined in such a way that it goea through the loweat two points of data and is in contact with the abscissa. It is seen that the other points of data in this figure are also lying in the neighborhood of the parabola, which suggests that it is a line spectrum of a periodic function broadened by Fourier transformation over a finite period. The frequency of the line spectrum is given by the axis of the parabola, which is 2.575.
References
L. D. Landau and E. M. Lifshitz, Fluid Mechanics, Oxford, Pergamon, 1959. S. Newhouse, D. Ruelle and F. Takens, Comm. Math. Phys. 64, 35 (1978).
J. P. Gollub and S. V. J. Beneon, Fluid Mech. 100, 449 (1980); A. Libchaber, S. Fauve and C. Laroche, Physica 7D,73 (1983); R.W. Walden, P. Kolodner,
A. Passner k C.M. Surko, Phys. Rev. Lett, 53, 242 (1984).
M. Gorman, L. A. Reith and H. L. Swinney, Ann. N.Y. Acad. Sci. 357, 10 (1980). H. Yahata, Prog. Theor. Phys. 64, 782 (1980), 09, 396 (1983). H. T. Moon, P. Huerre and L. G. Redekopp, Phys. Rev. Lett. 49, 458 (1982); P. Davis and K. Ikeda, Phys. Lett. 100A,455 (1984).
Shigeo KIDA, Michio YAMADA and Kohji OHKITANI
' S. Kida, J. Phys. SOC. Japan, 64,2132 (1985).
' S. A. Orszag, Stud. Appl. Math. 6 0 , 293 (1971). S.Kida, M. Yamada and K. Ohkitani, (in preparation). 'I'
S. Kida, and Y. Murakami (in preparation).
I 1 -4. S.Monin
and A. M. Yaglom, Statistical Fluid Mechanics: Mechanics of Turbulence,
MIT Press, Vol. 2, 1975. l2
S. Tavoularis, J.C. Bennett and S. Corrsin, J. Fluid Mech. 88, 63 (1978).
l/u
N At
10 5 1 / u 5 500 128 0.02
1000 256 0.01
2000
512 0.002
300 200 100
60 YO
4
30 20 10
10'
1o 2
1 o3
llv Figure 1. Dependence on viscosity of the averaged micro-scale Reynolds number.
42
Shigeo KIDA, Michio YAMADA and Kohji OHKITANI
Figure 2. Time series of the energy. (a) (c)
Y
v = 0.0069.(d) v = 0.0065.
= 0.011. (b) Y = 0.008.
43
Route to Chaos in a Navier-Stokes Flow
n
-= 3 -m -N
-0
m
n
-r-
n
u d
cl
v
-a i -In
-3.3 -m
3"
--N
-0
--
a
Figure 3. Frequency power spectrum of energy. (a) Y = 0.011.
(b) u = 0.008. (c) u = 0.0069.(d)
Y
= 0.0065.
-
N
44
Shigeo KIDA, Michio YAMADA and Kohji OHKITANI
21(0,30,10)
/
/
(4
G1(10,20,10)
G1(20,20,10)
Figure 4. Projection of the orbit of the point of state onto a threedimensional subspace of state. (a) v = 0.011. (b) v =
0.008. ( c ) v = 0.0065.
G1 (20,20,10)
Route to Chaos in a Navier-Stokes Flow
3
I
8
I
I
,
t
I
45
#
&
,
#
I I
I
.a?
................ .
-
O 1 --!!
,0 ?
4
8
1
-
...... ;... . .L..-.... i-". ............... ............' 1 l *
1
-
-1 -
-2
8
-
: ....... ..... ! :/::-7
s 0:
1s
I
(b) .. ..
2n
1
" " " " " " " ~ " "
-.
.
.
,
Figure 5. (a) The projection of the orbit of the points of state onto a threedimensional subspace of state together with a Poincark plane for v = 0.008. (b) The Poincard section of the orbit intersected by the plane shown in (a).
Figure 6. The same as figure 5 for Y = 0.0065.
Shigeo KIDA, Michio YAMADA and Kohji OHKITANI
46
3 --II 32
X1
31
31
G=
G=
Figure7. Stream lines on plane $r
I X1,ZZ I
and
x3
3
31
Gr
1 = z7r
for (a) u = 0.1,
(b) u=0.0065 and (c) v = 0.0005.
3 -7r 32
31
mn
Route to Chaos in a Navier-Stokes Flow
S
P
,
0 0
.QPn 115 34
86 26
,
QPs,
c
41
... p ...
. . . . . .
c llv RA
200 52
Figure 8. The process of temporal complexity.
x lo7
3
2
24,
1 F 4
1
0 2.50
2.55
2.60
2.65
CJ Figure 9. The parabola fitting of the inverse of the frequency power spectrum of the energy for v = 0.011.
This Page Intentionally Left Blank
Lecture Notes in Num. Appl. Anal., 10, 49-82 (1989) Recent Topics in Nonlinear P D E IV, Kyoto, 1988
Periodic Solutions of a Viscous Gas Equation Dedicated to Professor Hiroshi FUJITA on the occasion of his sixtieth birthday
Akitaka MATSUMURA
and
Kyoto University Department of Mathematics Kitashirakawa, Kyoto Japan 606
Kanazawa University Department of Mathematics Marunouchi, Kanazawa Japan 920
5
Takaaki NISHIDA
Introduction
1
We consider the one-dimensional motion of viscous gas on a finite interval.
When the gas is assumed barotropic or polytropic,
it is known by Kanel'[3] and Kazhikhov[61 that the initial boundary value problem with fixed boundary has the unique global in.time solution which decays to the constant equilibrium state as time tends to infinity.
While in the case the time-dependent external
force or the piston acts on the gas, the obtained global in time solution has only the bound which depends on time (Kazhikhov[61, ItayaI21) so that the asymptotic behavior in time is not known. Here we consider the isothermal gas motion under the time-dependent external force or under the moving boundary condition (piston problem).
We will show that if the external force or the piston
motion is bounded with respect to time, then the bounded solution exists globally in time, and that if the force or the piston motion is periodic in time, there exists at least a periodic
49
Akitaka MATSUMURA and Takaaki NISHIDA
50
solution with the same period.
Last we show several examples of
computer simulation for the periodic problems which suggest some stability properties of'the periodic solution and then we remark on the periodic piston problem for the viscous heat-conductive gases.
5
2
Formulation and Theorem The one-dimensional motion for the viscous gas is well
formulated by the following system of equations in Lagrangian mass coordinate.
(2.1)
i
-
U V tt
t- P u X x
0
.
UUX
( - I x t f
=
V
Here
v = I/P
is the specific volume,
p(v)
is the pressure,
u
is the velocity,
u
is the viscosity coefficient and
is the external force, and the suffix
t
or
x
differentiation with respect to the variable.
p =
f
denotes the partial In what follows we
will assume that the gas is isothermal, i.e., a
(2.2)
p
=
-
I
a
is a positive constant,
V
and that the viscosity coefficient is constant (2.3)
u
=
constant
>
The system of equations ( 2 . 1 )
Q
0
,
is considered on a fixed domain
in the Lagrangian mass coordinate
Viscous Gas Equation
51
with the boundary conditions on the boundary
where
x =
0 and
x = 1
is the given function (piston velocity).
u,(t)
Since the left boundary is fixed, the transformation between Euler coordinate (r,S)
and Lagrangian mass coordinate
(t,x)
is
given by
,
T = t
(2.6)
5 =
I
.
X
0
v ( t , x ) dx
Thus the time dependent external force has the form X
f
(2.7)
=
f(t,
0
v(t,x)
dx
1
.
We treat two initial boundary value problems. (i)
The external forcing problem, i.e., with
the system (2.1),(2.5),(2.7) (ii)
.
0
u,(t)
The piston problem, i.e., the system (2.1),(2.5),(2.7) with
f(T.6)
5
0
.
The initial data
are supplied, where we may assume
f
(2.9)
(2.10)
c-1
1
0
V0(x) dx
=
vo(x)
c
1
(2.11)
and the compatibility condition
I
for a positive constant
C
,
Akitaka MATSUMURA and Takaaki NISHIDA
52
Here
L 2 function on i0.11
is the Sobolev space of
/IJ
first derivative also belong to L 2 Theorem _____ 1
If the external force
respect to
L
T
0
,
0 6 5
5
1
whose
.
f = f(?,
0
(
2 i=l
exp(nitl)
t exp(ni)
)
Ax
.
1
S
Similarly we have from (5.35)
I
(5.39)
N-I
u w. n , ' I l t l - n i A x l
z -
i-1
x2
5
/u,lm2
cQ+-E-
EaX
AX
3
e-"i w . - w . ( 1
x
1-1
Ax
and aiso we have from (5.25)
.
(5.40)
max ~ n I . i
Therefore
we conclude from (5.34)(5.36)-(5.40) for small
t
(5.41
S-1
a~ I(---(
i-1 )
H t
I:-
Q"~
5
2 nitl
2 ,ie-"i
-n. 1)2
-
X
Ax w. -w.
( 1
a u w i. n i. t 1 -
1-1
1 2 Ax
24
Ax
-"i
) c Ax
a
0
)
2 Ax
Viscous Gas Equation
By the way we notice here that if uI = 0
,
X
73
Q
0
and so it follows from ( 5 . 4 1 ) that
, then n = 0
,
0
and
w = 0
and
f
=
that the condition (ii) is satisfied. Thus we have for any
[0.1]
from ( 5 . 3 5 ) ( 5 . 4 0 ) ( 5 . 4 1 )
m
and by ( 5 . 2 5 ) we have
Then using lemma 5.3 we have
and so we have
Therefore we
can take
Mo
= C
,
which guarantee the Q.E.D.
(iv).
I11
condition
Uniform Estimates With Respect To
N
We want to obtain similar estimates to the continuous case. Let
Akitaka MATSUMURA and Takaaki NISHIDA
74
N-I f
au2 n i t l
(-(
i-1
2
- -a u w 1. n i. t 1 - " i
-ni)2
X
Ax
) Ax
Ax
Since we have ( 5 . 4 0 ) , N-1
P Thus
: Z ( i=l
nitl
-n. 5
Ax
Q
exp(ln1,)
Q
5
.
exp(a'/')
in the similar way to the continuous case in 5 3 using
function
G ( y ) = y e x p ( y'")
(5.42)
P
we have
G(Q) , namely
4
the
G-'(P)
.
Q
5
Therefore ( 5 . 4 1 ) gives the following for some constants
U
and
c.
dt
Integrating it with respect to
J
(5.44)
T
G-'(cE2(t))
0
If we multiply (5.43) by G - ' ( c E ~ ) ~t
(S.45)
5
c
( 1 t
dt
we have
t 5
,
c G - ' ( C E ~ ) ~ cvG-lx
If.u1l,2
C-l )
If, u 1
C ( 1 t
c-lx
is
property (5.45)
proved G-lx
we have
5
by G-l
the explicit for large
,
.
we have for any
Cl
Cl
t
t
c1
Here we use the inequality for a constant
which
m2
.
C2
expression
.
(3.17)
and
the
Using this inequality in
Viscous Gas Equation If we notice
G-lx
75
o and integrate it, we have
)
Thus using lemma 5 . 3 and ( 5 . 4 3 ) we have
Therefore we have obtained the uniform estimate for
,
lnlm
We can redo the estimate using this maximum norm estimate to obtain max
OStbT
(5.48)
E2(t)
If,
c
5
Ax dt
" i t 1 -"i)2
, f
0 1.1
UllOJ
2
Ax
Ax
9
Last estimate can be obtained by multiplying ( 5 . 3 3 ) by - (
witl
Ax
N-1
I:
1 - (
ill 2
witl
-Wi
-w
Ax
iPt
Ax
, i.e.,
wi - w i - l )
Ax
c -( - - (
-wi
Witl
Ax
2X
ill
Ax
i.1
1
N - 1 ue-"i t
-
wi
Ax
lfIm2
Ax
Thus we have by using ( 5 . 4 7 ) ( 5 . 4 8 ) N-1
C
max
(5.49)
OStbT i l l
I
T N-1
I:
0 ill
1 witl
-(
Ax
2 1
{ - (
Ax
w
Ax
-wi)2
i t 1 -wi
Ax
-
,
wi - y i - l
Ax
- w ~ - ~l )2
Ax
)
I2
Ax
1
'
Akitaka MATSUMURA and Takaaki NISHIDA
76
At
last using these uniform estimate (5.47)(5.48)(5.49)
take
the
limit
as
N
+
Proposition 5.1 as follows.
,
=
x
= iA.r
subsequence
t
ni(t)
2
w(N).(t,x))
, respectively.
0
, 0
,
i = 1,2,"',N,
5 x
4
1
As
the functions
j
-L
m
obtain
2k,
=
which coincide
(n(N),
and have the uniform estimates (5.47)(5.48)(5.49), a subsequence
to
, N
,
wi(t)
of (5.32)(5.33) on the mesh points
I.?."',N-I,
I
(n(N)(t,x),
in the strip
with the discrete solution
a
We can construct continuous and
piecewise linear functions k = I,?,"'
along
m
we can
x
w('))
=
(i-l/Z)Clx
satisfy
we can select
such that
the limit of which satisfies
ar.d
is
a weak solution of our piston problem (5.2)-(5.4).
By using the ellipticity of the second equat on of (5.2) with
respect to the space variable we obtain
,
Viscous Gas Equation
77
Therefore since the second equation of ( 5 . 2 ) can be regarded a linear parabolic equation with respect to
, it follows from the
w
energy estimate using Friedrichs mollifier in
and
(n, w )
t
that
becomes a strong solution of ( 5 . 2 ) - ( 5 . 4 ) .
This
completes the proof of Proposition 5 . 1 .
§
I
6
Remarks Numerical Computations The nonlinear differential equations ( 5 . 3 2 ) ( 5 . 3 3 ) can be
discretized with respect to time to give a simple explicit finite difference scheme for the variables AX
n/N
=
-
vk
,
y
-
v(kAt,(i-l/z)Ax)
At
u
r
:
(v. u)
At/Ax
=
constant
,
J I:
=
u(kAtriAx)
=
ul((ktl)At)
, ,
Ax
=
0
,
U kN t l
,
We carried out several computations using the scheme ( 6 . 1 ) - ( 6 . 3 ) ,
78
Akitaka MATSUMURA and Takaaki NISHIDA
when the piston velocity is given by (6.4)
ul(&)
a sin
=
W t
I
and the initial data are taken from the followings: (5.5)
vo(x)
Example
1.
u
1
=
b cos j x
f
,
= 0.01
,
a = 1.0 ,
uo(x) w = 1.0
Computer solutions converge to
Example 2 .
LI
, u
= 0.01
= 1.0
,
,
c sin j x
(period
=
j
2n),
= 1,2,"'
N
= 256
.
periodic function with the
a
.
c
same 2n period in
=
w = 2.5
(period = 4 n / 5 ) ,
.
N = 256
Computer solutions converge to a two-periodic function with the period 8n/5 in
t
u
,
Example 3 .
-
0.01
.
a = 1.0
,
w
-
-
4.0 (period
n/2),
-
N
.
256
Computer solutions converge to a three-periodic function with the period 3 n / 2 in Example 4 .
u
.
t
, a
= 0.01
=
0.5 ,
w = 4.0
(period
=
N = 256
n/2).
,
Computer solutions converge to a periodic function with the same n / 2 period in Example 5.
u
t
,
= 0.01
a
-
.
3.0
,
w =
4.0 (period = n / 2 ) ,
.
N = 256
Computer solutions converge to a two-periodic function with the period n in Example 6 .
u
t
= 0.1
.
.
a = 1.0 ,
w =
4.0 (period
=
n/2),
N
256
=
.
Computer solutions converge to a periodic function with the same n / 2 period in Example
7.
u
= 0.0025
t
,
.
a = 1.0
,
w = 4.0
(period
=
n/2),
N
= 512
Computer solutions converge to a three-periodic function with the period 3 n / 2 in
t
.
These numerical examples suggest that in some cases
.
Viscous Gas Equation
79
(Examples 2,3,5,7) the periodic solution with the same period as the piston which was obtained in our theorem i s not stable or at least not a global attractor.
11
It should be clarified.
Remark on the periodic piston motion of the general gas
The one-dimensional motion of viscous and heat-conductive gases is governed by the system
where we assume that the equation of state for the internal energy e
of the gas is given by
(6.7)
e = e(v,S)
,
and so
ae
ae
-=
- p ,
aV
- = e as
.
Here we notice that the polytropic gas is a special case
We
consider the piston problem for (6.6)(6.7) with the
boundary
conditions (6-9)
u(t.0)
= 0
I
u(t.1)
=
U 1 ( t )
,
If the gas is polytropic, then the initial boundary value problem (6.6)(6.8)-(6.10)
has a unique global in time solution
for each smooth initial data such that
Akitaka MATSUMURA and Takaaki NISHIDA
80
It is proved by Itaya[Z] and Kazhikhov[61.
_ Remark _6.7
Let the piston velocity
period T
I
(6.11)
ul(t)
be periodic with
and
T 0
u,(t) dt
=
0
-
Then the piston problem (6.6)(6.7)(6.9)(6.10) periodic solution with the same period
does not have any
T except the piston
velocity vanishes identically. Assume that there exists a periodic solution the same period T
( V , U . @ ) with
for the periodic piston motion 1 6 . 6 ) ( 6 . 7 ) ( 6 . 9 )
We use the energy conservation law (the third equation
(6.10).
of ( 6 . 6 ) )
and an energy equality by Okada-Kawashima [a].
e (6.13)
E(v,u
-
e = e
Integrate the energy conservation law with respect to in
[O,Tl
X
[O,ll
and use the periodicity with respect to
and the boundary condition (6.9)(6.10). (‘5.14)
T
:
0
t .
P l t , l ) U l ( t )
t
We have
dul(t) LJ l o g v ( t . 1 ) ___ dt
d
t
=
O
.
x
t
Viscous Gas Equation Integrate the equality ( 6 . 1 2 )
o *
o
e
ve
T1 PUl(t) 0
in the same region.
,
We have
V
-
p(t,llul(t)
because of ( 6 . 1 4 ) and ( 6 . 1 1 ) . u = 0
81
9 = constant
-
IJ l o g v ( t . 1 )
dUl(t)
-d
t
dt
-
O
.
Thus we obtain
, and
v = constant
. Q.E.D.
References
[TI
A. Halanay, Differential Equations, 1 9 6 6 , Acad. Press, New York
[21
N. Itaya, Some results on the piston problem related with fluid mechanics, J. Math. Kyoto Univ., 2 3 ( 1 9 8 3 ) , 6 3 1 - 6 4 1
[31
J. I. Kanel', On a model system of equations f o r one-dimensional
gas motion, Differential'nye Uravnenija (in Russian
),
4 (7968)
721 -134 [41
J. I. Kanel', Cauchy problem for the dynamic equations for a viscous gas, Sibirskii Mat. Zh., 20 ( 1 9 7 9 ) , 2 9 3 - 3 0 6
151
A. V. Kazhikhov and V. V. Shelukhin, Unique global solution with respect to time of the initial boundary value problems for one-dimensional equations of a viscous gas, J. Appl. Math. Mech., 41 ( 1 9 7 7 ) , 2 7 3 - 2 8 2
[61
A.
V. Kazhikhov, To a theory of boundary value problems for
equation of one dimensional nonstationary motion of viscous heat-cionductive gases, Boundary Value Problems for Hydro-
82
Akitaka MATSUMURA and Takaaki NISHIDA dynamical Equations
(
in Russian
)
, No.50,
(1981), 37-62, Inst.
Hydro-dynamics, Siberian Branch Akad., USSR. [7] J. Leray and J. Schauder, Topologie et equations fonctionelles Ann, Sci. Ecole Norm. Sup., 51 (1934): 45-78 181
M. Okada and S. Kawashima, On the equations of one-dimensional
motion of compressible viscous fluids, J. Math. Kyoto Univ., 23 (1983), 55-71 191
0. Vejvoda, Partial Differential Equations: Time Periodic
Solutions, 1982, Martinus Nijhoff Publ. The Hague
Lecture Notes in Num. Appl. Anal., 10, 83-99 (1989) Recent Topics in Nonlinear PDE IV, Kyoto, 1988
On the One-dimensional Free Boundary Problem for the Heat-conductive Compressible Viscous Gas TAKEYUKI NAGASAWA
Department of Mathematics, Faculty of Science and Technology, Keio University, Yokohama 223, Japan'
1. Introduction. We consider the one-dimensional motion of the fluid, which satisfies the equations of state of the polytropic ideal gas, with the prescribed stress on the boundary and with adiabatic ends. By use of the Eulerian coordinate system, the motion of the gas is described as the free boundary problem by the following three equations corresponding to the conservation laws of the mass, moment and energy Pr
cvp(eI
for
(5,T ) E [ l 1 ( ~ ) , & ( ~ )x]
+ .e,)
+( P V ) ~
0,
= -Rpeve
+
IJV;
+
[0,oo), with the initial condition
and the boundary conditions
Present address: Mathematical Institute, T6hoku University, Sendai 980, Japan
83
Takeyuki NAGASAWA e,(eI(T), 7)
d el ( T )- V(e,(T),T),
dT
(z =
--oO
= 0,
< e,(o) < Cz(0) < $00
1, 2). ( p , v , a), unknown functions, represent the density, the velocity, the
absolute temperature of the gas; ( R ,p , c v l K ) , given positive constants, stand for the gas constant, the coefficient of viscosity, the heat capacity at constant volume and the coefficient of heat conduction respectively. P ( T ) ,given function, represents the outer pressure.
el ( T ) and &( 7 )are curves defining free boundary.
In discussing this problem it is convenience to transform the above equations in the form described by the Lagrangian mass coordinate system that is denoted by ( 5 . t ) . We may assume, without loss of generality, the initial value p o of p satisfies is given by
/(
rtifo)
p o ( ( ) d [ = 1. Then the relation between ( ( , r )and (s,t)
1(0)
For the sake of notational simplicity, for example, we write the function
~ ( ( ( x), t ; t ) as z(x, t ) . By simple calculations, we know that the functions 1
-. v.0) satisfies the system of equations P
(1.2)
,
ui= (-RB+p?) U
.: -11
cvel = -R-ev, + p- U + U
I
($)=
for ( z . t ) E [O?11 x [0, m), with the initial condition
ijrld thr. borinda.ry conditions
(1.5)
(-R! + a %U ) ( 0 , t ) = (-R! + p 2U)
(lit) = - P ( t ) ,
(u
=
Free Boundary Problem for the Heat-conductive Compressible Viscous Gas
e,(o,t) = e,(i,t)
(1.6)
85
= 0.
P ( t ) is a given C'-function. From the (1.2) and (1.5), it follows that g'vdx
=
1
1
vodx.
Since our system is invariant in adding any constant to u , without loss of generality we may assume the above integrals are zero:
On our problem, Kazhykhov [2] showed the global existence of solutions for P ( t ) E 0. We considered the case of P ( t ) > 0, and established the existence theorem in [4]. In this paper, we mainly discuss the large-time behavior of solution. The solution behaves in different ways in response to signP(t). For example, for
P ( t ) = P > 0 we have a trivial solution (1.8)
u(x,t) = ii,
+,t)
= 0,
qX,t)= 8
corresponding the initial data u ~ ( x=) I,
~ ~ (= 2 0, )
eo(z) = 8,
where ii and 8 are positive constants satisfying the relation Pii = Re.
(1.9)
On the other hand, for P ( t ) G 0 there exists a trivial solution
(1.10)
(
:>
u(x,t) = G(1 + t ) , v(x,t) = ii x - -
, B(r,t) = e
corresponding the initial data u o ( 2 )= u,
vo(x) = u
(x - -:) ,
fJO(X) =
8.
Takeyuki NAGASAWA
86
For this
and
e are positive constants satisfying the relation
We must pay attention to the large difference between the behavior of U(I.
t ) . It may be explained in the following way. Since the specific volume u and
the absolute temperature
must be positive by the physical reason, the signature
of the velocity gradient u, at the boundary is determined by the difference
e
between the inner pressure R- and the outer pressure P ( t ) (see (1.5)). The 21
velocity gradient v , governs the constriction of the gas through (1.1). Therefore
if P ( t ) is positive, then the solution shall converge the stationary state, and
e
R - and P ( t ) balance each other (1.9). If P ( t ) is non-positive, then U
v , at the
boundary is always positive and the specific volume u shall grow to infinity. In $2, we shall mention the global existence of the solution for any C1function P ( t ) in Holder class. In 333 - 5, the mathematical analysis on the above conjecture will be developed. Though all results will be stated in the terminology of the Lagrangian mass coordinate system, it is easy to rephrase in the Eulerian one. For function spaces
and B;'"
we should refer to [3, Eq. (2.2)
- (2.6)]. And other spaces W'**(O, 1) etc. are commonly used one. From now on,
C and C(.) etc.
denote positive constants depending on (their argument(s) and)
possibly the initial and boundary data. For convenience we frequently denote different constants by the same symbol C even in the same sentence.
2. Global existence.
The existence of the temporally local solution with u > 0, B
> 0 to this
problem and its uniqueness are proved in a way similar to Tani's argument [8] in Holder class
x H+za x H+za for some
TO > 0 provided the initial
B ~ ) to HI+" x H2+0 x H 2 + a . We shall establish the global data i u ~ , u ~ , belongs
existence of the solution [411where the theorem was proved under the assumption
Free Boundary Problem for the Heat-conductive Compressible Viscous Gas
87
P ( t ) > 0. However we can eliminate this restriction by virtue of the argument in this section.
Theorem 1 ([4]). Assume that the initial data
(uo,v0,80)
belonging to
HI+" x H2+" x H2+" satisfies the compatibility conditions with (1.5) - (1.7), and that P ( t ) is a C1-function. Then there ezists a solution (u,u,O) to the problem
(1.1) - (1.7) globally in time and uniquely in the class . . I?;+.+" x IT++" x H$+". Moreover both u and 8 are positive.
T>O
Since a unique solution exists locally by Tani's theorem [8],we have to get a priori estimates for the solution
We proceed the argument under the assumption u
> 0 and 6 > 0. Reading
[4, 531 carefully, we find that to show (2.1) and (2.2) we only need .1
Before proving (2.3), we give two relations of our system.
Lemma 2.1. We have
1' 1'
L1(v2
(2.5) =
+ R8 - P(r)u)dxdT +
pu d s -
u
1'
1' 1' 1' p o d s-
uo
vodfdz
v dtdt.
Proof. We multiply (1.2) by u and add the result to (1.3). Integrating over [0,1] x [0, t], we have (2.4) by virtue of (1.5) and (1.1).
Takeyuki NAGASAWA
88
The integration of (1.2) over [0, x] and (1.1)yields
We integrate this equation over [O, 11 x lO,t]. To integrate by parts the first term of the left-hand side, we need (1.1). The result is (2.5). I Proof of Theorem I. First we shall show
u)(z,~)dz5 d ~C(T) for
05t
I T.
I
b y (1.1) and (1.7), it is expressed as rz
rl
where
By use of the relation
G(z,()= G ( ( , x ) ,we have
Therefore w e integrate both sides of (2.5) with respect to time variable, and then get
(2.7)
Free Boundary Problem for the Heat-conductive Compressible Viscous Gas
89
Noting that G(z, O
Using w ( z , t ) , we can deduce (4.2)- (4.4)as follows:
(4-7)
+ w = (-R!+p*)
Wt
u
z
,
n
x
H$+".
Takeyuki NAGASAWA
96
Initial and boundary conditions (1.4) - (1.7) are deduced
Since the original problem (1.1) - (1.7) has the solution in
n B$++" If++.+" x
T>O
xHi.+". the reduced problem (4.6) - (4.11) also has a global solution in the same class. Moreover both u and B are positive.
If we use w(r.t ) instead of v ( z , t ) ,the boundary condition (1.5) with P ( t ) f 0 will he transformed into (4.10) which is the same type as that in $3. We can
improve Theorem 2 that can be applied to the problem (4.6) - (4.11) to show
for some C > 1 and X
> 0. Making use of the original time variable and
unknown functions, the above estimate is tuned into the assertion of Theorem
3. For details, we should refer to [6]. I
5.
The case of P ( t ) < 0. When P ( t ) is negative, it is not easy to find a trivial sdution like (1.8)
or ( l . l O ) , even for P ( f ) E P
< 0. We find difficulty here in studying the
asymptotics in this casc. The results of Thtorexns 2 and 3 enable us to infer that for this case the specific volume u would grow faster than for P ( t )
0.
Unfortunately the author do not know how to prove this conjecture on u ,
1'
b u t \ ~ h e 1 1P ( t ) ti
=P
ds and L 1 ( u 2
< 0, we can show the lower bound of the growth rate of
+ B)dx, which are faster than that of
To see this, we need the following lemma.
1'
u di
for P ( t ) f 0.
Free Boundary Problem for the Heatconductive Compressible Viscous Gas
97
Lemma 5.1. There e z i d s a t o 2 0 such that
Proof. First we assume that
By use of (2.4) with P ( t ) = P
< 0 and u > 0,
8
> 0, we find
the existence of
C > 1 such that l ( v 2
+ e + U)(z,t)dt 2 c-1
for all t 2 0.
Therefore making use of (2.5), we have the assertion. Next we assume
If there exists a C
> 1 such that
L'(v2
+ e + u ) ( z ,t>dz2 c-1
for all t 2 0,
then we have the assertion by the same reason as the prebious case. Otherwise, there exists a sequence
{tn},,E~
such that &(tn) + 0 as n -+
we have
> c-' > 0 for some n.
1
00,
where
Takeyuki NAGASAWA
98
Theorem 4. Let ( u , v , O ) satisfy (1.1) - (1.7) and u > 0
,8 >0
with
P ( t ) E P = const. < 0. T h e n there ezists a positive c o n d a n t C (> 1) such that
Proof. It follows from (2.4) with P ( t )
P < 0 that if the first estimate in
the t.heorem holds, then so does the second, and vice versa.
By the previous lemma, we may assume
from the beginning, and two relations in Lemma 2.1 yield
where y(t) =
ltI'
u(z,.r)dzd.r
+ 1.
It follows from these relations that y(t)
and
I'
1c-yt3+ 1)
u(z,t)dz= y'(t) 2
Soting (2.1) with P ( t )
c-' (y(t))'13
2
c-yt2
+ 1).
P, we obtain our result. I REFERENCES
[l]Iiawashima, S., Large-time behavior of solutions t o the free boundary prob-
l e m for the equations of a viscous heat-conductive gas, preprint.
[2] Iiazhykhov, A . V., S u r le solubilitk globale des problkmes monodimensionn,els a.uz valeurs initiales-limite'es pour les e'quations d 'un gaz visqueuz et
caiorzfhe, C . R. Acad. Sci. Paris SCr. A 284 ( 5 ) (1977), 317-320.
Free Boundary Problem for the Heat-conductive Compressible Viscous Gas
99
[3] Nagasawa, T.,On the one-dimensional m o t i o n of the polytropic ideal gas non-fized on the boundary, J. Differential Equations 65 (1) (1986), 49-67.
[4]Nagasawa, T.,O n the outer pressure problem of the one-dimensional polytropic ideal gas, Japan J. Appl. Math. 5 (1) (1988), 53-85.
[5]Nagasawa, T.,Global asymptotics of the outer pressure problem of free t y p e , Japan J. Appl. Math. 5 (2) (1988) (to appear).
[6]Nagasawa, T.,O n the asymptotic behavior of the one-dimensional m o t i o n of the polytropic ideal gas with stress-free condition, Quart. Appl. Math. (to appear).
[7] Okada, M . , Free boundary value probZems f o r the equations of one-dimensional m o t i o n of compressible viscow fluids, Japan J. Appl. Math. 4 (2)
(1987), 219-235. (81 Tani, A., O n the free boundary value problem f o r compressible viscous fluid m o t i o n , J. Math. Kyoto Univ. 21 (4) (1981), 839-859.
This Page Intentionally Left Blank
Lecture Notes in Num. Appl. Anal., 10, 101-120 (1989) Recent Topics in Nonlinear PDE IV, Kyoto, 1988
A Computational Verification Method of Existence of Solutions for Nonlinear Elliptic Equations
Mitsuhiro T. NAKAO Faculty o f Science, Kyushu University Hakozaki , Fukuoka 812, Japan 91.
Introduction
In the author's report t 4 3 , we proposed a numerical method for automatic proof o f the existence of weak solutions for certain linear elliptic boundary value problems by computer.
And its
extension to the more general linear case will be described in [ 5 1 . The main techniques in these works consist of the verification method by computer for the existential condition of solutions based on the infinte dimensional fixed point theorems, i.e. Schauder's and Sadovskii's theorems.
In order to realize them, we
used the properties of the solution for Poisson's equation and the results of error estimates for the finite element approximation as well as the method of interval arithmetic.
In the present paper,
we formulate a numerical verification method which can be applicable to nonlinear elliptic boundary value problems.
Further
we provide some computational examples which seem to be difficult to prove theoretically but were verified in the computer by the use of that technique. In the following section, we describe the boundary value problem considered and the fixed point formulation f o r the existence of solutions.
In Q13, we define the concepts of rounding
101
Mitsuhiro T. NAKAO
102
and round ng error for function space, using the projection into certain f nite element subspace, which are similar to those in 1 4 1 .
in
5
.
we present a general algorithm, based upon the idea in the
prev nus section, to construct the set satisfying the vefification cond tions by Schauder's fixed point theorem.
We attempt. in the
last section, to verify the concrete problem as an application o f the preceding arguments.
Also we consider about the method to
prove the local uniqueness of solution f o r the problem.
Formulation o f the p oblem
92.
Let R be a bounded convex domain in R n , 1 i n i 3 , with piecewise smooth boundary and p
< -.
et p be a fixed real number, 2 i
First we set up the to lowing assumption.
Al.
When q = p o r q
(1
- -1 ) - 1 , for any P
E
LqtR), the
problem :
in R , (2-1)
on a R , has n unique solution 6 E W.
q,o
tQ)
n W'(R) 9
and the estimates
(2-2)
is a positive constant and Wm(n) denotes the usual q Lq-Sobolev space o f m-th order on R and W' (R) implies the h o l d , where
q
q.0
subspace of W'tR) whose element vanishes on 9
an.
We wil
usual ly
and LPtRt etc.. and simp y denote suppress the symbol R in W'(Q) P by W-' and L p , respectively, from now on. rote that f o r a given p > P
103
Solutions for Nonlinear Elliptic Equations
1 the truth or falsehood of A 1 depend on the shape of the domain
and the dimension n. p and R.
When n
In case of p =
2,
1, A 1
A1
is always true for arbitrary
holds for each convex polygonal or
polyhedral domain ( C 1 1 ) . We consider the following nonlinear Dirichlet problem :
(2-3)
Here, let f satisfy the hypotheses as follows : A2.
f(.,u,Vu) E Lp
A3.
For any bounded subset U o f W'
.
for each u E W i , o
f(-,U,VL!) is a l s o
PtO,
bounded set in Lp. f is the continuous map from W'
A4.
Now for
PI
0
to Lp.
-
E Lp let G$' denote the solution o f (2-1).
operator G : Lp
Then the
is compact because of the assumption A 1 W' PPO and the compactness of the imbedding W2 Wb. Therefore, from P A 4 , map Gf : W i W' defined by Gf(.,u,Vu) E W' for any P,O PlO P,O u E Wb,o i s also compact. Thus by the use of Schauder's fixed
point theorem, i f , for a non-empty, bounded, convex and closed set
c c
w;,o ,
(2-4)
Gf(.,L',VU) c U ,
then there exists a weak solution u E W'
P,O
n W i for
(2-3)
in C
.
Mitsuhiro T. NAKAO
104
Rounding and verification conditions
53.
Analomusly in C 4 1 , we take a finite element subspace Sh for 0
< h
We
he basis of/MJ(x) as the same i n [41, i.e. the fol owing
hat functions on I .
(5.4)
Since t B (x).ak(y)), i t again by { d j ) , 1
F o r 1 i j,k i L-1
f1
if k =
j,
b
if k
*
j.
1 i j,k i L-1, forms a basis of Sh, we denote S j C
M,
so
4! = (L-1)'.
Now we describe the concrete algorithms to verify the problem (5-1).
First, set uio)= 0 and a0 = 0. Let
a. 1-1
E
I
R+.
Uh (i-1)
=
Y
j A!i-l)dj
j=1
E @I
and
J
Then observe that, taking account of 6 k
2
0 and !#kllL-
Mitsuhiro T. NAKAO
112 (i-1)
Here, Huh
RL2tRk)
means the supremum of norms on the support R k
of d k for all the elements in uh( i - l ) and we have used the fact that Ulai-llHLZ= h a i m l . Yext, by the use of the estimates in C23, i t follows that for any
6 E ti3 and 1 < p
tz= 0, z( 6A
+ &x2 + 132)f x2 = 0)
and (1.2)
{
+ ax2 + b 2 ) f XZ = 0, z(6A + d z 2 + 2122 + t 2 2 ) + ( p + dZ’)Z2 = 0, x( €A + CY
where A, x and z are real variables, E , 6, a,b, c, d , e, B , 8 and 2 are real constants. We explain in the subsequent sections how the solutions to (1.1,2) fit the bifurcation diagram given in Tavener and Cliffe [7] in which Taylor vortices of new type bifurcating from the Couette flow are computed numerically. T h e equations (1.1,2) are derived from a certain degeneration of the equations given in Fujii, Mimura and Nishiura [l]. The equation (1.1) are considered in Fujii, Nishiura and Hosono [2], but (1.2) seems to be new. Although they considers in [1,2] a reaction diffusion system which has nothing t o do with the Taylor-Couette problem, the local structure of the bifurcation is of the same category. This is because the ofthogonal group O(2) acts on both problem.. . In this paper we announce a results in [5,6] in which we employed the singularity theoretic approach by Golubitsky and Schaeffer ( [3,4] ) to see systematically the structure of the equations. In 52 we state a precise statement of the Taylor-Couette problem. In 33 the relation between (1.1,2) and the Taylor-Couette problem is given. $ 4 is a final section for discussions. 121
Hisashi OKAMOTO
122
$2. The Taylor-Couette problem. I n this section we recall sonie newly d e w l o p p e d analysis for the nlc>chanisnlof vortex uuinber exchangt, in [7].The problem considered by thein is t o determine a fluid velocity field ( u , u, w ) and the pressure 11 which satisfy t h e fc,llowing stationary Navipr-StokPs equation (2.1-4):
(2.1 1
(2.2)
(2.3)
1 8 --(ru) r dr
R 111 += 0. 82
UJ a r e r , 8 , -~cumR is the Reyncilds number. In this paper, as in
w h e w the cylindrical coordinates are adopted. u , poririit, respectively and
"71. wc. w i i s i d r r cm1y
18,
velocity fields wliich are i n d e p r d e r i t o f t l w a z i m u tal cuudiiiate 8 and t h e t iiiir t. We haw, s u i t a b l y nondinirnsiunalized the qunntitirs so that ( 2 . 1 4 ) a r ~ satisfied in
The follow iiig boundary conciitic)ns are imposed : (2.5 j
(U,.L',.U?)
= (0,l.O)
(2.7)
I n this circumstance, t h e Couettt. flciw
( r = 1)
Taylor-Couette Problem
123
B = q2/(17 - 1). satisfies all the requirements if A = 1/(1 - 7 i 2 ) , The problem is to study the solutions bifurcating from this Couette flow. Notice t h a t the condition (2.7) makes it difficult t o examine the result,s by a laboratory experiment but there is no clificulty in performing computer simulation. In fact, [7] presents a. penetrating description of t h e stability exchange of the solutions. Let us statmebriefly the results in [7]. T h e y fix the parameter 7 = 1.0/0.615 arid let t h e riondimensional height of the cylinder r vary. It is known t h a t the primary bifurca.tion branch consists of the two-cell Taylor vortices for small value of r and t h a t it consists of the four-cell Taylor vortices for larger value of r. The number of the vortices, however, is integer a.nd l- can vary continuously. 'Therefore, there exist flows of "mixed type" when r is in a intermadiatr range. T h e hifurcation diagrams in [7] describe qualitatively how this exchange from two-cell to four cell occurs. Although they consider the excha.nge mechanism between two-cell and six-cell or four-cell and six-cell, we consider only t,he exchange of two and four, which requires the least mathematical technique to theorize. 93. Degenerate bifurcation equations. In this .sectmionwe show how (1.1,2) are derived. Our starting point is t o observe a hidden symmetry in (2.1-7). Let us consider another problem to seek ( u * , I,!*,w*,p*) which < t < r, the boundary condition satisfies (2.1-4) in 1 < T < r(, (2.5.6) and t h e periodic boundary condition on z = (, Xote that t h e height of the cylinder is double. ) We call this problem [2r]and the original problem [I?]. This n e w problem [2r'] has an a.dvantage t,hat it is 0(2)-equivsriant in the following sense: Let us define an actmionof the orthogonal group O(2) by
-r
(3.2)
-
3'( ..( r, 2 ), Z)( T, z ) 7 v.4 f', z ) , p( r, r ) ) (~U(T,~'+C~),'L~(T,~+CY);LL~(T,Z+~),~~~'T,~
if y E O(2') is a rotation with angle (3.3)
-r, r.
ct,
Y(ZL(T,2),21(T,Z),7JI(7;z),1~r,L))
-
( ~ ( -rz ,) , v ( T , -z),- w ( T , - z ) , & T ,
+a))
-i))
if 3' E O ( 2 ) is a. reflection. T h e n it is ea.sily checked t h a t the problem [2r] is 0(2)-equivariant: in other words, the governing equation is covariant with the 0(2)-action (3.2,3). We recall t h a t tho larger the symmetry group is, the simpler the equation becomes. Therefore the introduction clf [2r]is an advantage, since [r]is cova.riant. with only 5 discrete group. T h e relation between [2r]and [r]is given b y
Hisashi OKAMOTO
124
PROPOSITION 3.1. If ( u * ,~ ~ * , w * , pis* a) solution t o [2r] and if ( u * ,c * , w',p') is invariant with respect to (3.3). then it satisfies [r] in 0 < z < r. Conversely, if ( u , v , IIJ, p ) satisfies [r] and if we extend it to ( u * , z*,w*,p* ) in such a way that u*,v*,p* are even extention of u. v , p , respectively, and ZL.? is an o d d extension of ZU, then ( u*,V ,P C ~ * . ~is* )a solution to [2r]. In short, finding solutions t o [r]is equivalent to finding "symmetric" solutions t o pr]. F r o m now we consider [2r].I n the remaining part of this section, we explain how the analysis in [5] is applied t o [2r]. T h e r e is a numerical evidence t h a t , at some value of r, say J?o , the linearlized operator of (2.1-4) with (2.5,s) and the periodic boundary condition has a four tlimonsional null space spanned by 91 94 which are of the following form:
-
g3 ( r, 2 ) = ( U4(T j c o (~4 $), \$( T ) C O S ( 4 +) , W,(,?-)sin(44), P4( TI() os ( 411)j )
,
= (, CT4( r)sin (4,$) I$(,r)sin (4.14) Mr4( r)cos (4.G) , P4(r.)sin (4.2))) In these expressions Uj(T ) , V,( T'),Wj(T ) , Pj( 7') are functions of T only and y4( r. t )
are determined through a certain ordinary differential equation ( see [6] ).
Let, F = F( R I?; 'u,v, 'w, p ) be a nonlinear functional for [2r]realized i n sonie Banach space, a n d let P be a projection onto t h e 4-dimensional space spanned by 91, -,$4. T h e n the bifurcat,ion of Taylor vortices is governed in a neighborhood of ( R , rcl; 0, vo, 0 , ~ " ) by
--
where (3 is in a complement of the range of P. Since 0(2)-equivariance is reflected in this bifurcation equation, G' must, be of a special form given i n [1,5]. I n order t o explain the form in [1,5], we identify real (.r, y, z, w ) space with C 2 by [ = x iy, C = z zw. Then G niust b e of the following form: G = ( G 1 , G 2 ) ,
+
(3.4)
+
Taylor-Couette Problem
125
+
(3.5) G2 = f3c f4t2l where f,(j = 1, 2 , 3 , 4 ) are functions of R , r, ]
at p
a n d t h e n o r m a l cross s e c t i o n s a r e t h e
c i r c u l a r a r c s with c u r v a t u r e 2 tH. i t s maximal domain
Q".
Then
on t h e p l a n e w i t h i t s b o u n d a r y parallel lines.
Extend
x3 = w ( x ) t o
Q" i s an i n f i n i t e s t r i p 3Q- t w o i n f i n i t e
I t is e v i d e n t t h a t
w
also satisfies
Shigeru SAKAGUCHI
142
d i v Tw = 2 t H
(3.1)
w
where
and
i n Q"
T w * u = 1 on aQ-.
an-.
i s the u n i t outer normal vector t o
Since t h e two s o l u t i o n surfaces
ut
t h e same G a u s s i a n a n d mean c u r v a t u r e a t
and
p
have
w
and t h e
p r i n c i p a l d i r e c t i o n s o f them a r e c o i n c i d e n t ,
by E u l e r
formula ( see [31 ) t h e y have a second-ordered c o n t a c t at
p.
Then,
Furthermore,
since
ut-w
put
s a t i s f i e s an e l l i p t i c e q u a t i o n
v ~ i t h o u tz e r o - o r d e r
second o r d e r d e r i v a t i v e s a t o f [ 4 , p. 2541 (3.3)
Both
A
ut-w
t e r m s and
p, by
vanishes up t o Lemma 1 a n d Lemma 2
we h a v e f r o m t h e maximum p r i n c i p l e : and -
each o f which -----
B
have a t l e a s t ----
t h r e e components
meets t h e boundary
a(
QnQ-1.
Now we f i r s t c o n s i d e r t h e c a s e o f D i r i c h l e t b o u n d a r y condition (2.4). two cases.
F u r t h e r m o r e we d e v i d e t h e p r o o f i n t o
One i s t h e c a s e t h a t
w 5 0
other i s t h a t there e x i s t s a p o i n t Consider t h e former. Since
w
boundary
5
a(
ut
on
an, aQ
by t h e convexity o f
or
aQ"
and t h e
Q- w i t h w ( x ) > O .
Look a t t h e b o u n d a r y
QnQ") c o n s i s t s o f
o f which belongs t o
x
i n Q",
a ( QnQ-1. Q
the
a t most f o u r a r c s , alternatively.
each
The a r c s
Constant Mean Curvature Equation over Convex Domain in R2
belonging to
aQ-
143
are simply straight line segments.
Consider the components of the open set
A ( see (3.2) ) .
It follows from Lemma 3 i n [4, p. 2581 that it never occurs that a component o f
a( QnQ-1
meets
A
Therefore, by (3.3) the set
exclusively in aQ-.
has
A
at least three camponents each of which meets the boundary
an.
Here, since
ut = 0 on
an,
there are at
most only two components of A each of which meets This is a contradiction. Qo = { x E Q"
a(
QnQ,).
1
w(x)
< 0
aQ.
Next consider the latter.
1.
Put
Look at the boundary
By the convexity o f
Q
we see that
a(
QnQo)
consists o f at most four arcs, each of which belongs to aQ
or
ano
alternatively.
The arcs belonging to
are simply straight line segments. components of the open set
two components of
a ( QnQ,).
A.
= { x
Consider the
e
QnQo
I
ut(x) > w(x)}.
w = 0 on aQo, there are at most
and
Since ut = 0 on aQ
A.
aQo
, each o f which meets the boundary
This contradicts (3.3).
It remains to consider the case of the capillary surface
Since
(2.5).
boundary condition o f we
see that
a(
Q ut
QnQ-1
connected arcs, in which
is convex, observing the and the cylinder
x3 = w(x>,
consists o f at most four Tut*v - Tw*v
changes sign.
Therefore, the similar lemma to Lemma 3 in [4, p. 2 5 8 1 holds and we get a contradiction t o (3.3). completes the p r o o f .
This
Shigeru SAKAGUCHI
144
If
Lemma 3 . 2 .
at
= 0
Vvo(p)
p c Q , then
some point
the Gaussian curvature KO(p)
of the graph
(x,
vo(x>)
-at P - is positive. Proof. that
Let
p
KO(p)
Vvo(p) = O.
be a point with 0.
5
Suppose
For simplicity, by translation and p = 0
rotation o f the coordinate, we may assume that
I: Dij v
and X1
X2
0, and
>
] = diag[
(0)
X1, X2 1
vo(x) = w(x) + P(x>, where
Then
5 0.
X1 + ,I2 = 2H,
where
w(x) = vo(0)
+ X1(x1>2 + X2(x2I2
function in
Q.
Since
vanishes up to second order derivatives at 0
and
P(x)
P(x) is a harmonic
and
Furthermore, put
i s real analytic, we have from the maximum
P(x)
principle( see Lemma 1 and Lemma 2 in 1 4 1 1 : Both
(3.4)
A
and B
have at least three components ----
aQ.
each o f which meets the boundary -----
Consider the case of Dirichlet boundary condition (2.1.01.
Put
boundary
a(
Qo
=
QpQo).
xc
{
Since
QnQo)
belongs to
Q
w(x)
c
0 },
L o o k at the
is convex and X2
5
w
is a
0, we see that
consists o f at most four arcs each o f which aQ
or
alternatively.
aQo
components o f the open set Since
I
X1 > 0 and
quadratic function with
a(
R2
vo = 0
on a Q
most t w o components of
and A.
A.
= {
w = 0
x E Q on
aQ,,
Consider the Qo
1
P(x) > 0 } .
there are at
each o f which meets the
Constant Mean Curvature Equation over Convex Domain in RZ
a ( QnQ,).T h i s
boundary
145
c o n t r a d i c t s (3.4).
N e x t c o n s i d e r t h e c a s e o f Neumann b o u n d a r y c o n d i t i o n (2.2.0).
Since
condition o f
i s convex,
Q
vo
and t h e f a c t t h a t
X1
function with
o b s e r v i n g t h e boundary
>
0
and
w
i s a quadratic
aQ
X 2 5 0, we s e e t h a t
c o n s i s t s o f a t most f o u r c o n n e c t e d a r c s i n w h i c h V v o * v Vw*v ( = VP-v
changes s i g n .
i n [4,
lemma t o Lemma 3
contradiction t o (3.4).
For a l l t G -
Lemma 3 . 3 . points i n
Proof.
Therefore,
p. 2581
-
the similar
h o l d s a n d we g e t a
T h i s completes t h e p r o o f .
[0,11,
vt
does n o t have ---
maximal
Q.
Since
i s p o s i t i v e , t h e maximum p r i n c i p l e
2H
i m p l i e s t h i s lemma.
L e t t belong t o [0,1]. The s o l u t i o n v t h a s more t h a n t w o m i n i w a l p o i n t s , i f a n don l yi f there ---exists a p o i n t p C Q with Vvt(p) = 0 and K t ( p ) < Lemma 3.4.
Proof.
Remark t h a t
case o f ( 2 . l . t ) lemma 1.
aQ.
be a p o i n t with
vt
vt
-
aQ
( I n the
does n o t have m i n i m a l p o i n t on
We f i r s t p r o v e Vvt(p)
= 0
e x i s t s an open n e i g h b o r h o o d set o f
i s p o s i t i v e on
t h i s f o l l o w s from H o p f ’ s boundary p o i n t
Therefore
t h e boundary
Vvt*v
0
v,(p>
intersecting at
i f part
and U
Kt(p) of p
< 0.
Let
I!.
p
Then t h e r e
i n which the zero
c o n s i s t s o f two smooth a r c s p
and d i v i d e s
U
i n t o four sectors.
Shigeru SAKAGUCHI
146
Consider t h e open s e t
E =
I t follows f r o m Lemma 3 . 3
an.
t o meet t h e b o u n d a r y
G
G = { x
open s e t
two components.
I
Q
{
xe
I
Q
> vt(p)
vt(x)
t h a t each component o f
). E
has
A c c o r d i n g l y we s e e t h a t t h e
vt(x)
}
< vt(p)
T h i s shows t h a t
vt
h a s more t h a n
h a s more t h a n two
minimal points. N e x t we p r o v e
only i f part
"
Consider f i r s t the
'I.
case o f D i r i c h l e t boundary c o n d i t i o n ( 2 . l . t ) .
v t h a s more t h a n t w o m i n i m a l p o i n t s a n d t h e r e
that
e x i s t s no p o i n t Therefore, 3.3,
Suppose
p
with
vvt(p)
and
= 0
b y v i r t u e o f Lemma 3 . 1 ,
Lemma 3 . 2 ,
we s e e t h a t e a c h c r i t i c a l p o i n t o f
point.
Since
does n o t v a n i s h on
Vvt
3 . 1 and Lemma 3 . 2
Kt(p)
vt
aQ,
< 0.
a n d Lemma i s a minimal
then
Lemma
imply t h a t every c r i t i c a l p o i n t o f
vt
i s i s o l a t e d a n d t h e number o f c r i t i c a l p o i n t s i s f i n i t e . Hence we c o n c l u d e t h a t t h e r e e x i s t s a f i n i t e s e t o f s a y { pl,
minimal p o i n t s o f vt,
Put
so = max { v ( p . ) t J
set
Ls = { x
G
Q
follows from (3.5) manifold for
t o each o t h e r . so,
Ls
I
1
v,(x)
1 5 j 5 N c
...,
p2,
}.
s } for
t h a t t h e boundary
0 > s > so
Since
and
Kt(pj)
aLs}
pN } s a t i s f y i n g
Consider the l e v e l 0 > s > so.
aLs
It
i s a smooth
are diffeooorphic
is p o s i t i v e , i f s i s n e a r
h a s more t h a n t w o components.
On t h e o t h e r h a n d ,
Constant Mean Curvature Equation over Convex Domain in R2
i f
s
Ls
i s connected.
is n e a r t o
0,
and
aQ
This i s a contradiction. Since
aP
we c a n
is p o s i t i v e o n
extend the function
where
y
a)
vt
and
and
Vvt
set
Ls = { x
aQ
Then we s e e t h a t
does n o t v a n i s h i n
E
G
with dist(x,y)
R2
-
Q
= dist(
denotes t h e u n i t o u t e r normal v e c t o r
u(y)
a t y.
i s convex,
Q
R2 by p u t t i n g f o r x
to
i s a u n i q u e p o i n t on
and
an
to
to
I t remains t o c o n s i d e r t h e case (2.2.t). Vvt*u
x,
aLs i s d i f f e o m o r p h i c
147
R2
I
vt(x)
IR' -
b e l o n g s t o C1(
vt Q.
< s }.
Consider t h e l e v e l
Then
one component f o r s u f f i c i e n t l y l a r g e
R2 )
s.
t h e same a r g u m e n t a s i n t h e c a s e ( 2 . l . t )
Ls
has o n l y by
Therefore, we c o m p l e t e
the proof.
9
4.
P r o o f o f Theorem
I n v i e w o f Lemma 3.1, Lemma 3 . 4 ,
Lemma 3 . 2 ,
Lemma 3 . 3 , a n d
i t s u f f i c e s t o show t h a t t h e s e t o f m i n i m a l
p o i n t s o f t h e s o l u t i o n c o n s i s t s o f one p o i n t .
I=
Put
[O,l].
Devide
I1 = It
G
I I vt
h a s o n l y one m i n i m a l p o i n t i n
I2 =
It €
I I vt
h a s more t h a n t w o m i n i m a l p o i n t s i n Q
Then
I=
I1uI,
I i n t o two s e t s
and
I1 a n d 12:
Iln12 = 7 .
Q
1,
I t f o l l o w s from
1.
Shigeru SAKAGUCHI
148
Lemma 3.1, Lemma 3.2, a n d t h e i n e q u a l i t y (2.3) ( s e e P r o p o s i t i o n 2 . 2 a n d P r o p o s i t i o n 2.3 o p e n s e t i n I. belongs t o
I1
Il a n d
i s n o t empty.
j
i s an
tends t o
I2
=.
Therefore,
i s closed i n I.
I2
a sequence o f p o i n t s i n as
I2
Lemma 3.2 a n d Lemma 3.4 i m p l y t h a t
s u f f i c e s t o show t h a t
t,
1 that
such t h a t
t
H e n c e , Lemma 3 . 4
j
0 it
L e t i t . } be
J
converges t o and t h e
compactness arguments i m p l y t h a t t h e r e e x i s t s a subsequence point
p
{ t k } ,a s e q u e n c e o f p o i n t s
{pk},
and a
which s a t i s f y as
(4.1)
k
< 0.
+ a,
By c o n t i n u i t y we h a v e Vv
(4.2)
Since
Vv
t*
(p) = 0 # 0
t* f r o m Lemma 3 . 1 ,
belongs t o
I*.
on
and
K
aQ,
so
t*
(p)
2 0.
p c Q.
Therefore i t follows
Lemma 3.2, Lemma 3.4, a n d ( 4 . 2 ) t h a t T h i s shows t h a t
t,
I 2 i s c l o s e d i n I. The
p r o o f i s now c o m p l e t e d .
References
[I]
L.
A.
C a f f a r e l l i & A.
Friedman, Convexity o f
solutions o f semilinear e l l i p t i c equations, M a t h . J. 52 ( 1 9 8 5 1 , [ 2 ] L.
A.
Caffarelli &
Duke
431-456.
J. S p r u c k , C o n v e x i t y p r o p e r t i e s
o f s o l u t i o n s t o some c l a s s i c a l v a r i a t i o n a l p r o b l e m s ,
149
Constant Mean Curvature Equation over Convex Domain in R2 E. 7 (19821,
Comm. P . D. [ 3 1 M.
D o Carmo,
P.
1337-1379.
D i f f e r e n t i a l Geometry O f C u r v e s a n d
-
Surfaces, Prentice
Hall,
Inc.,
Englewood C l i f f s ,
New J e r s e y 1976. [4]
-
Jin
-
T z u Chen & Wu
H s i u n g Huang, C o n v e x i t y o f
c a p i l l a r y s u r f a c e s i n t h e o u t e r space,
67 [5]
(19821,
-
Jin
Invent.
math.
253-259.
T z u Chen, U n i q u e n e s s o f m i n i m a l p o i n t a n d i t s
l o c a t i o n o f c a p i l l a r y f r e e s u r f a c e s o v e r convex domain,
S o c i c t k M a t h k n a t i a u e de F r a n c e ,
118 (1984), [ 6 ] R.
Finn,
137-143.
E q u i l i b r i u m C a p i l l a r y Surfaces,
V e r l a g New Y o r k B e r l i n H e i d e l b e r g T o k y o , [ 7 ] C.
Gerhardt,
Astgrisque
Springer 1986.
Global regularity o f the solutions t o
t h e c a p i l l a r i t y p r o b l e m , Ann. S c u o l a Norm. Ser.
N
-
(19761,
[ 8 ] D . G i l b a r g & N.
Sup. P i s a
157-176.
S.
Trudfnger,
Elliptic Partial
D i f f e r e n t i a l E q u a t i o n s O f Second O r d e r , S e c o n d Edition, Tokyo,
Springer
-
V e r l a g B e r l i n H e i d e l b e r g New Y o r k
1983.
[ 9 ] E. G i u s t i , B o u n d a r y v a l u e p r o b l e m s f o r n o n - p a r a m e t r i c s u r f a c e s o f p r e s c r i b e d mean c u r v a t u r e , Ann, S c u o l a Norm. Sup. P i s a S e r
[lo]
E.
Giusti,Onthe
mean c u r v a t u r e ,
N ( 1 9 7 6 ) , 501-548.
equation of surfaces o f prescribed
e x i s t e n c e and u n i q u e n e s s w i t h o u t
boundary c o n d i t i o n s ,
I n v e n t . math. 46 ( 1 9 7 8 1 ,
111-137.
1so
Shigeru SAKAGUCHI
[ll] 9 . K a w o h l , When a r e s o l u t i o n s t o n o n l i n e a r e l l i p t i c b o u n d a r y v a l u e p r o b l e m s c o n v e x ? , Comm. P. (1985),
D. E . 10
1213-1225. Rearrangements and C o n v e x i t y o f L e v e l
[ 1 2 ] 9. Kawohl,
S p r i n g e r L e c t u r e Notes i n M a t h .
S e t s i n PO€,
1150
(1985). [131 A .
U.
Kennington,
34 ( 1 9 8 5 ) , I n d i a n a U n i v . Math. J . -
problems, [ 1 4 1 N.
Power c o n c a v i t y a n d b o u n d a r y v a l u e 687-704.
K o r e v a a r , C a p i l l a r y s u r f a c e c o n v e x i t y above
convex domains,
I n d i a n a U n i v . Math.
J. 32 ( 1 9 8 3 1 ,
73-81.
[15] N. K o r e v a a r , Convex s o l u t i o n s t c n o n l i n e a r e l l i p t i c a n d . p a r a b o l i c boundary value problems, Math.
J.
32
(1983),
Indiana Univ.
603-614.
[ 1 6 ] N. K o r e v a a r & J . L . L e w i s ,
Convex s o l u t i o n s o f
c e r t a i n e l l i p t i c equations have c o n s t a n t r a n k Hessians, Arch. [171 G.
M.
97 ( 1 9 8 7 ) , 1 9 - 3 2 . R a t i o n a l Mech. A n a l . -
L i e b e r m a n , The c o n o r r n a l d e r i v a t i v e p r o b l e m f o r
e l l i p t i c equations o f v a r i a t i o n a l type, D i f f e r e n t i a l Equations
2
(19831,
J.
218-257.
[ l a ] G. M . L i e b e r m a n & N. S . T r u d i n g e r ,
Nonlinear oblique
boundary v a l u e problems f o r n o n l i n e a r e l l i p t i c equations,
Trans.
Amer.
M a t h . SOC.
295
(19861,
546.
[ 1 9 ] L. E . Payne,
On t w o c o n j e c t u r e s i n t h e f i x e d
509-
Constant Mean Curvature Equation over Convex Domain in R2
m e m b r a n e e i g e n v a l u e p r o b l e m , Z. A . M . P .
?4
151
(1973),
721-729.
[ 2 0 ] G. A. P h i l i p p i n , A minimum p r i n c i p l e for t h e p r o b l e m o f t o r s i o n a l c r e e p , 3 . Math. Anal. Appl. 68 (1979),
526-535.
This Page Intentionally Left Blank
Lecture Notes in Num. Appl. Anal., 10, 153-177 (1989) Recent Topics in Nonlinear PDE W,Kyoto, 1988
Symmetric Domains and Elliptic Equations Takashi SUZUKI
Department of Mathematics Faculty of Science University of Tokyo 51. Introduction.
In (111, B. Gidas, W.-M. Ni and L. Nirenberg showed a remarkable relation between the symmetry of a bounded domain 2 n c RN and that of the solution u = u(x) C C ( n ) n C o ( E ) for the semilinear elliptic equation (1.1) an
where
f(u),
-AU =
u>0
(in a ) ,
is the smooth boundary of n
Namely, suppose that a hyperplane real number
T X ,
Q
and
(on
an),
f E C1(R).
is symmetric with respect to y E RN.
with a normal unit vector set T i = { x c RN I x - y = A),
For each
and
(1.2)
Then,
--
< A,
O
in
= 1. R
and
From t h e maximum p
> 0
so t h a t
s a t i s f i e s (2.1).
To complete t h e p r o o f ,
p l i e s ( 2 . 5 ) i n Lemma 1.
w e s h a l l show t h a t ( 2 . 4 ) i m -
I n f a c t from ( 2 . 4 ) w e o b t a i n
and
f o r each
of
5 e X.
Noting t h a t
and
v t D(9) = Xk,
w tXk
$ ( w ) = $ J ( v )= 0 < + -
because
w e add t h e s e t w o i n e q u a l i -
ties t o obtain
which means
f t aV(v).
The f o l l o w i n g p r o p o s i t i o n i m p l i e s t h e g e n e r a t i o n o f
,
Takashi SUZUKI
160
non-radial
solutions. Under t h e o p e r a t i o n ( # I ,
Proposition 2. holds. 2,
On t h e c o n t r a r y , e a c h
k = 1,
....
set
For t h i s p u r p o s e ,
Under t h e o p e r a t i o n
lies i n
R k.
Take
n
( # )
i n d e p e n d e n t of
c 20
1
is bounded € o r
j,
P r o o f : We f i r s t s h o w t h a t
10
--
jm
t h e r e is a ball
v*, .. -
f
E C,"(R2) \ ( 0 )
Vk =
with radius
B
whose s u i t a b l e t r a n s l a t i o n
be i t s t r a n s l a t i o n w i t h
functions
is f i n i t e ,
k
0 < 0 < -27t 1. k
= ( reie ( a < r < a + b ,
a lr
when
j k c O(1)
If1 cC
t h e independent variable
0
supp
e
I n t h i s way w e c a n c o n s t r u c t
c
lP1
- 2 O(R )
by
with B'
n ,LA
supp IPC B
c
Q
k.
B' and let
T h e n , the
a r e o b t a i n e d by r o t a t i n g
a E277
( a = 1, 2 , . . . ,
= lP1
+ ... +
lPk
e
k-1).
xk
fOK
which we have
Hence
j,t
O(1)
follows.
Now w e s h a l l show t h a t
Jm
__t.
t h i s end we take an a r b i t r a r y element
holds under v = v ( r ) t X_.
(#).
To
Then,
Symmetric Domains and Elliptic Equations
161
Therefore,
so that
3 r j Ik = 1, 2 , . . . I
The critical values in the following way.
are separate6 k This is a refinement of the results
by C. Coffnan and B. Kawahl.
Proposition 3.
Furthermore, Proof. =
j,
< 1-
For each
u(reie) with
t X1
We have
implies that v
8' = ke.
=
j,
k,
k,
then we have
j,,
- jm -
ever this gives a contradiction j,,
> j,
k' > k
for any
the minimizer of has made
k
j m arises holds for some
by Proposition 3. jm > j, = j,,
so that
vk
How-
- jm.
$? X k l , where
Hence uk
0
j, < j - .
It seems to be a quite interesting question
whether any k-mode solution of (2.1) is a minimizer of =
is
in Proposition 1. This means that uk
Jk
as far as
Remark 1.
j,,
c
163
Inf IIVVII/IlVII p+l or not. V€Xk\I0 1 L
j,
If it is true, from the
above argument we can conclude that when a k-mode solution for (2.1) arises, then there exists any a-mode solution for L = 1 , 2
,...,
k-1.
Remark 2 . function on
Let
(0, + - )
5
=
5(r) be a positive continuous
with golynomial growth order at
+-.
Then a similar fact can be proven for
Further, our arguments are valiC even for higher dimensional problems.
Takashi SUZUKI
164
Remark 3 .
In use of Lemma 1, Suzuki-Nagasaki C231 has
studied raaial and non-radial solutions on C R’
(0
1 and set 7.R = g R ( D ) c C 2 R Then c R is symmet-
-
.
r - i c with resgect to both x7)tR
..
2
.
As
x1
for the former,
while as for the latter is close to 1.
GNN
In fact, if
solutions arise as
A+O
for
and RR
x2
x
axes, where
is always
GNN
(xl,
=
symmetric, R
pro2erty is violated when 1 < R
0
(in
!;),
u
=
0
(on
32).
Symmetric Domains and Elliptic Equations Example 1.
When
f:R
u
increasing, the solution
*
u (x) = u(x
t h e o t h e r hand
t h e r e f l e c t i o n of
x
*
=
-
u(x)
( 3 . 1 ) is unique.
of
s a t i s f i e s (3.1),
)
with respect to
i s symmetric w i t h r e s p e c t t o Example 2 .
i s m o n o t o n o u s l y non-
R
--f
165
T,
x
f ( t ) = X t, 1
Take a
and
f'(0) > 0
u
All
u =
IP
1( x ) > 0
of
satis-
= 0
becomes s y m m e t r i c .
function
C2
f"(t) > 0
*
being t h e f i r s t eigenvalue.
X1
Then, f r o m t h e s i m p l i c i t y o f Example 3 .
u = u
T.
The f i r s t e i g e n f u n c t i o n
fies (3.1) f o r
On
being
and hence
under t h e D i r i c h l e t boundary c o n d i t i o n
A
*
(t > 0)
such t h a t
f
a n d c o n s i d e r t h e non-
l i n e a r e i g e n v a l u e problem -AU
(3.2)
€or
Let
X > 0.
u > 0
= xf(u),
d,
(in
$,, # g4
Further, when
v
€or
(on
be t h e set of i t s s o l u t i o n s .
i t i s known t h a t t h e r e e x i s t s a that
u = 0
n),
X > 7
and
-
f ) € (0,
= T(Q,
d,+
g4
for
0
t h e r e e x i s t s a unique minimal element
ldA #
g4.
JX. F o r
Namely,
v(x) 2 uX(x) (x
6
a)
Then, such
+ m )
K.
X
C
aa)
yX
in
.8,
holds f o r each
t h e p r o o f o f t h e s e f a c t s , see G r a n d a l l -
Rabinowitz ( 9 1 f o r i n s t a n c e .
ux
Then, o b v i o u s l y
becomes
symmetric because of i t s minimality. When " b e n d i n g " o c c u r s a t
X = 7,
t h e s o l u t i o n s are
also symmetric around t h e bending p o i n t I n t h e case t h a t t h e n o n - l i n e a r critica1;that
is,
term
(TI f
2
-).
A
i s of s u b -
Takashi SUZUKI ---c
lim f(t)/tP < t- + a
log f(t)/tb
0
(H2)
holds on
D+ = {ccDIIm
> O)r
5
where
(3.5)
This condition will be utilized instead of the ty.
GNN
proper-
Examples of such,domains with ( H 2 ) are performed by
Chen-Nakane-Suzuki ( 7 1 .
Some symmetric domains without
GNN
property satisfy (H2), and the converse is also true. We state the main result in this section. Theorem 2.
Under the assumptions (H1) and (H2), each
mild symmetric solution xl-axis.
of (3.1) attains its maximum on
In more details, let
Then, the value C
u
v
= urg
starting from a point
vector field
v(r) =
L
line
C
into
fie
=
&(
p
m(1+
c(t)) < 0
{r(t)lO 5 t < - 1
aD.
R2
.
decreases along each stream line on
L r\ D
and subject to the
52).
In other words, €or the flow
the relation
be the xl-axis in
5 =
(t 2 0 )
c(t)
defined by
holds.
is orthogonal to L
The stream and absorbed
Actually, it can be given explicitly in
terms of trigonometric functions.
We note that those stream
Takashi SUZUKI
170
D
lines on
are indegendent of the nonlinear term
also the Riemann mapping
f
and
g.
Theorem 2 does not hold without any assumgtions on the geometry of
other than its symmetry such as ( H 2 ) .
R
instance, take is mild.
a line R
:.
0
Let
T
f(t)
in (3.1), of which unique solution
= 2
c RL
o
be a symmetric domain with respect to
and composed of two circular discs
c,
a ? of
C 2 0 3 , cf. Payne C191).
its maximum on
T
we have
lirn U I -
In other words,
when
> 0
E
Proof of Theorem 2:
/uIT > 1
=
goVz
the solution = (u~goip~)
u
:
=
D
Recall that
u
does not attain
u(x)
g
:
D
For each
-
s1
Z E D,
is a we set
is another Riemann mapping.
12
A
(Sperb
is small in this case.
Riemann mapping satisfying (3.4).
gz
2 ~ . Then
a?
E L 0
We give the
Then;
of radius
ii,
connected by a channel of smallest width
for the outer
For
of (3.1), the function
vz
=
For
vz(c)
solves
(3.81
Henceforth we set
w
=
fi
and
v
=
vo.
The function
Symmetric Domains and Elliptic Equations
w = - va
I
satisfies
as s w s = o
L
w
=
171
(on a D ) .
0
By an elementary calculation, we have
so that
where
d,
=
of (H2), D,-
t
{ctD(Imh(
w-(z)
= 1
-
c2 ,
respec-
i s divided i n t o four
D1
parts:
f
Let
and
I(Q)
for each
in
P
be t h e p a r t s i n d i c a t e d above.
II(Q)
The segmenrr c o n n e c t i n g
0
and
IvvlQ # 0
F u r t h e r , we have
vIp
we have
I(Q1,
Q
vIQ,
where
fci
(J
J [ u / I =.
< c
Dc
=
b y Theorem 2 .
ir, c D l v ( r ) < c l
c1
r
C
=
3nc
of
u
1s a
I(Q).
Therefore, under
is
u = u(x) star-shaped
In p a r t i c u l a r , each l e v e l set
L
x)
v = udg.
are c o n t a i n e d i n
t h e s e circumstances each m i l d symmetric s o l u t i o n has the property that
Then,
RC
i s simply connected, and its
c 1+6
Jordan curve for each
References
ClI
Amann, H . ,
M u l t i p l e p o s i t i v e f i x e d p o i n t s of a s y m p t o t i -
c a l l y l i n e a r maps, J . Func. A n a l . ,
17(1974)173-213.
Symmetric Domains and Elliptic Equations
c23
175
Ambrosetti, A , , On exact number of positive solutions
of convex nonlinear problems, Bollettino U.M.J.
(5)15-A
(1978)610-615. c3 3
Ambrosetti, A . , Hess, P., Positive solutions of asymptotically linear elliptic eigenvalue problems, J. Math. Anal. Appl., 73(1980)411-422.
c4 3
Bandle, C., Isoperimetric Inequalities and Applications Pitman, Boston/London/Melbourne,
C53
1980.
Brezis, H., Operateurs Maximaux Monotones et Semigroupes de Contractions dans les Espace de Hilbert, North-Holland, Amsterdom/London/New York, 1973.
C63
Brezis, H., Nirenberg, L., Positive solutions of nonlinear elliptic equations involving critical Sobolev exponents, Comm. Pure A p p l . Math., 36(1983)437-477.
c73
Chen, Y.-G., Nakane, S., Suzuki, T., Elliptic equations on
2D
symmetric domains: local profile of mild solu-
tions, preprint.
C83
Coffman, C.V., A non-linear boundary value problem with many positive solutins, J. Diff. Eqs., 54(1984)429-437.
c91
Crandall, M.G., Rabinowitz, P.H., Some continuation and variational methods for positive solutions of nonlinear elliptic eigenvalue problems, Arch. Rat. Mech. Anal., 58(1975)207-218.
I101 Gel'fand, I.M., Some problems in the theory of quasilinear equations, Amer. Math. SOC. Transl., 1(2)29 (1963)295-381.
Takashi SUZUKI
176
C113 Gidas, B., Nil W.-M., Nirenberg, L., Symmetry and
related progerties via the maximum principle, Comm. Math. Phys., 68(1979)209-243. [121 Gustafsson, B., On the motion of a vortex in twodimensional flow of an ideal fluid in simply and multiply connected domains, Dep. Math., Royal Institute of Technology, Stockholm, Sweden (1979). [ 1 3 3 Joseph, D.D., Lundgren, T.S., Quasilinear Dirichlet
problems driven by positive sources, Arch. Rat. Mech. Anal., 49(1973)241-269. [141 Kawohl, B., Rearrangements and convexity of level sets in PDE, Lecture Notes in Math., #1150, Springer, Berlin/Heidelberg/New York/Tokyo, 1985, pp.95-97. [153 Kazdan, J.L., Warner, F.W., Remarks on some quasilinear elliptic equations, Comm. Pure Appl. Math., 28(1975) 567-597. C 1 6 1 Moseley, J.L., Asymptotic solutions for a Dirichlet
problem with an exponential nonlinearity, SIAM J. Math. Anal., 14(1983)719-735. [173 Nakane, S . , private communication. C181 Nehari, Z., On a nonlinear differential equation aris-
ing in nuclear physics, Proc. Roy. Irish Acad., 62 (1963)117-135. l191 Payne, L.E., On two conjectures in the fixed membrane eigenvalue problem, ZAMP 24(1973)721-729. (201 Sperb, R.P., Extension of two theorems of Payne to some non-linear Dirichlet problems, ZAMP 26(1975)721-726.
Symmetric Domains and Elliptic Equations
177
C 2 1 1 Suzuki, T., Nagasaki, K., On the nonlinear eigenvalue
problem
Au+Ae'=O,
to appear in Trans.
AMS.
C 2 2 1 Suzuki, T., Nagasaki, K., Lifting of local subdifferen-
tiations and elliptic boundary value problems on symmetric domains, I, Proc. Japan Acad., Ser.
A 6411988)
1-4. c 2 3 1 Suzuki, T., Nagasaki, K., Lifting of local subdifferen-
tiations and elliptic boundary value problems on symmetric domains, 11, Proc. Japan Acad., Ser. A 6 4 ( 1 9 8 8 ) 29-32. C 2 4 3 Weston, V . H . ,
On asymptotic solution of a partial dif-
ferential equations with an exponential nonlinearity, SIAM J. Math., Anal., 9 ( 1 9 7 8 ) 1 0 3 0 - 1 0 5 3 .
This Page Intentionally Left Blank
Lecture Notes in Num. Appl. Anal., 10, 179-194 (1989) Recent Topics in Nonlinear PDE IV, Kyoto, 1988
On the Cauchy Problem for the KPEquation Seiji Ukai Department of Applied Physics Osaka City University
Introduction
1.
To investiRate the transversal (y-directional) stability of one-dimensional KdV solitons, Kadomtsev and Petviashvili 1 1 3 proposed s o called KP equation which is a two-dimensional version o f KdV equation and given by (1.1)
(
where
II=U
position
lit
+
auuX
+
fluxxx I x
+
ruyy = 0,
t,x.y) is a scalar unknown fuction of t me t2O and x,y)ER2 while a . 6 , ~are real constants.
Kano C21
justified their intuitive derivation by establish ng Friedlichs’ exuansion for the Euler equation of water surface wave whose first order truncation leads to (1.1). l o c ~ l(in time) solutions to ( 1 . 1 1 ,
and also constructed
both f o r analytic initial
All his proof is based on the abstract Cauchy-Kowalevski
data. theorem,
Using the method of inverse scattering, Wickerhauser
161 proved the g obal existence assuming that y > O and initials
are small in the Sobolev space W2”(R2)n The aim of
WlSs(R2) with ~ 2 1 0 .
he present paper is to construct local
solutions for less smooth initials, namely, for those in W2*‘(Q) for sX3. with, however, a certain restriction stated later. 179
As
180
Seiji UKAI
for the domain Q. we deal with four cases
R2, RxT, TxR and T2
where T is a one-dimensional torus which implies the per odic boundary cond i t 1 on. In the seauel. HS denotes W 2 * s ( n ) while L Q ) ( I ; X ) ,
Co
I
;x)
and LlP(I;x) respectively the spaces of functions bounded, continuous, and Lipschitz continuous on an interval I with values in a space X.
Theorem (1.2)
s
as follows.
Let ~ 2 3 . For any uo satisfying
1.1.
uo
Our main resu t
wi h some V ~ ELOC' H ~ VVOEHS,
=
there i s a constant T > O and (1.1) has a unique solut on ~ ( t )E C 0(C-T,T3;HS)~Lip(t-T,Tl:Hs-3)
(1.3)
u has the form u=cpX with some c p € L ~ ( C - T . T l : HsL-o1c ) .
with u(O)=u 0 '
qyEL~(l-T.T3:HS-3).
Remark
1.2.
(i)
Any
U ~ € H ~ ~ , (2R) has a c p o € H ~ , , t R 2 )
such
t h a t uo=(pox: an easy choice i s ,
cp0(X,Y) = JoU0(X'Y)dX. X
The main restriction in (1.2) is, therefore, that
OY be n case Q is unbounded cp
nerindic i f s o is u 0 ' and in HS snfficient condition for this wi I b e discussed in 5 2 . ( 1 I )
Actually. we wi I 1 prove the theorem assuming
exlstrnce of
a V ~ E Hsatisfying ~
he
A
Cauchy Problem for the KP Equation (1.4)
181
uoY=vox*
which comes from ( 1 . 5 )
below.
And this is equivalent to (1.2).
see 5 2 , (1.2) has been assumed in 123 (see ( 2 . 1 4 )
(iii)
below),
whereas i t does not cover. nor is covered by, the assumution of 163.
(iv)
The uniqueness in the theorem s somewhat restrictive excent for the case R 2 . See Theorem 4 4 and Remark 4.5(i).
In the below, we will Rive an outline of the p r o o f o f Theorem 1.1.
The detail will be reported elsewhere.
Since (1.1)
is not a usual evolution equation, the general
local theory on quasilinear evolution equations (see e.g..131) cannot be applied directly, but will be used effectively in our Proof which relies on the technique of singular perturbation. First, in $2. (1.1) is seen to be equivalent in an L2 sense t o the system
ut
+ uuux + Buxxx +
(1.5)
v
X
rvy =
0,
- u =o. Y
with an auxiliary unknown v=v(t.x,y). implies the form u=oX as well as (1.4)-
The second eauation Note that the o r i ~ i n a l
KP equation given in 1 1 1 is (1.5). although only (1.1)
is quoted
in the recent literature. Next. (1.5) will be regarded as a reduced problem of the
Seiji UKAl
182
s i n ~ u l a rperturbation for an artificial evolution system U t + UUUX +RUXXX
!1.6) &Vt +
where
&
IS
v
YVY = 0 .
+
X
-
u
0,
Y
a small real parameter.
I t will be shown in s 3 that
i f & y > O , the general local theory mentioned above can auply.
~ l v i n a ;a unique solution (uE,vE) satisfying the initial condition (u,v)l t=O = (uo,vo). where u o must be the same as for c l . l ) , but vo may be chosen arbitrarily as long as (1.6) is concerned.
in order
to
prove the convergence of uE as
& -+O,
i t is
necessary t o show that uE exists on a time interval [ - T , T l common to
&
small and ( uE ) is compact in a strong topology.
This will be done by establishing uniform estimates for uE and IJ?
in
HS.
In particular. the uniform estimate for uy is found
t o exist only when the condition (1.4) is fulfilled.
we follow
t h e argument develoDed in [ 4 1 for the quasilinear symmetric
hyperbolic system, t o which, in fact, (1.6) reduces if the term f l u x x x is droDDed which vanishes when integrated by parts.
2.
Preliminaries The L2 equivalence of ( 1 . 1 )
and (1.5) as well as that of
( 1 . 2 ) a n d (1.4) come from an L2-version of the classical fact that
i f
f . g . f X , ~ y E0C ( R 2 ) and i f
183
Cauchy Problem for the KP Equation holds, then.
is in C 1 (R 2 ) and satisfies (2.2)
f = vy.
R = v X'
uniquely up to an additive constant.
EH; oc
We can prove the
Lemm 2 . 1 .
S U D D O S ~( 2 . 1 ) be fulfilled with f,g,fx,gY
( R 2 1.~20.
Then there exists
V€Hs,LA(R2)
satisfying ( 2 . 2 ) ,
uniquely UP to an additive constant.
Now ( 1 . 5 ) follows from ( 1 . 1 ) by setting f=ut+auux+buxxx ' g=-yu and ( 1 . 2 ) from ( 1 . 4 ) by f=vo, g=u0. Y' the converse is obvious.
For both cases,
I n case v€HS(R) is required, the situation differs according to the choice of R.
F o r example, v in the above is
not necessarily periodic even if f,g are, and similarly for the case L2 tR 2 ) .
Set, 2
p = ( l + X +y
2 1/2 )
Proposition 2 . 2 .
,
2 1/2
ql = (l+x 1
, q2
ql(y).
Let f , g and v be as in Lemma 2 . 1 .
Cnder the additional condition f.R,€HS with SLO. we have the followinp;. (i)
Let R = T 2 .
Then vEHS+l if and only if
Seiji UKAI
184
( i i )
Let R = R 2 .
I f we
Then, p K v € L 2 , VvEHS with K > 2 .
further assume
with some 6 > 1 / 2 . then vEHS+l (iii)
(2.5)
Let R = R x T tR=TxR).
UD
to an additive constant.
If
= 0 f o r 8.e.x
JTftx.y)dv
= 0 f o r a.e.y),
g(x.y)dx
then, a -1K v . ( q i K v ) E L 2 and Vv€HS with K > 1 .
If
in addition
(2.4)ta) ( ( b ) ) i s satisfied, then vEHS+l UP to an additive
cons tan t
ke
. shall now discriss the condition ( 1 . 2 ) .
Let
(Po
be given
a s in Remark 1 . 2 ( i ) .
Sunpose n o , u
I.emma 2 . 3 . ' i )
'2.6)
(11)
3
Let R=T'
or
TxR.
u0(x,y)dx = 0
Let R = R 2 o r RxT.
for a.e.y€T. Then
addition, q 8l u o € W 1 * s ( R ) and ( 2 . 6 ) k . then there
IS
a
@lCHS+l
EH'.
OY Then, w O E H s + l i. f uo satisfies
-K Q~ ( P ~ E H ' "
with K > 3 / 4 .
i s fulfilled with
such that uo=vIx.
If,
in
T replaced by
Cauchy Problem for the KP Equation 3.
185
Existence theorems for (1.6)
We first write ( 1 . 6 ) in the matrix form AOwt + A1(w)wx
(3.1)
+
A2wy
+
A3wxxx = 0 ,
where we have set w = t(U.v)
(column vector),
Note that the second equation in (1.6) is multiplied by y to make A
symmetric. 2 Throughout this paper we assme 8 Y > O so that . A
is positive
Thus, if A3=0, then (3.1) becomes a quasilinear
definite.
symmetric hyperbolic system.
Define
Then. we shall solve the Cauchy Problem ! + A(w)w dt
(3.3)
= 5,
w(0)
= wo,
t with wo= (uo,vo).
The Reneral local theory on the Cauchy problem o f the type (3.3) has been developed extensively, see e.g.133, which leads
to the
Theorem 3.1. (uO'vO)EHS.
Suupose & be such that & Y > O .
Let s23 and
Then. there is a T>O and (3.3) has a unisue
186
Seiji UKAI
s o 1 ut ion (3.4)
(uE(t).vE(t))
and the maD (uO.vO)
+
E Co(t-T.Tl;HS)
n C1(t-T,T1:Hs-3),
(uE,vE 1 is continuous in the class ( 3 . 4 ) .
To show that the life span T is independent of tiE
E
and that
converges to a solution of (1.1) as E + 0 , we shall establish
Since (3.1) is symmetric uniform estimates for u E and u t' hyperbolic i f B=O and since the term ux x x vanishes if intezrated by parts, we can follow the arzument in C41.
Let I I s denote
the norm o f Hs and define
Proceeding as in C41, we easily have the
Lemma 3 . 2 .
Let wE=(uE,vE) be as in Theorem 3.1.
Then,
holds with C20 independent of E .
Now the integral inequality which comes from (3.5) with lu~,SHwW, is to be comoared with the inteirral equation.
whose solution is b(t)=2{C(TO-ltl))-'
f o r (tl O , and then let h + O .
More
precicsely. we first note that A
~ + ZA ,~ ( u ~ ) z ~+ A
holds with f=zlu:(t+h),
~
+
ZA ~
~
-
t(fz , O ) ,~
~
~
Z = ~ ( Z ~ , Z ~ ) . Then we proceed just as in
Lemma 3.2, with L=s-3 in Place of s.
Instead of (3.41, we find
Seiji UKAI
188
whlch. together with (3.8) and by Cronwall's inequality, gives
01..
on
o n letting h + O .
[-T.TJ, with C > O indeDendent o f E. tElil. E
The initial value wt(0) i s , of course, to be specified throunh ( 3 . 1 ) or ( 1 . 6 ) .
Thus,
= Iauouox+8uxxx+~voyl~+
which is uniformly bounded f o r
E
:I uoy-vox
i f and only i f ( 1
2 1' 4)
holds.
This proves the
Lemma 3.4.
Under the situation of Theorem 3 . 3 .
further (1.4) be fulfilled. (3.9)
!ut(t)12 E
+
s-3
SUDDOS~
Then. with some constant C > O ,
EYlvt(t)l:-3 E
i
c
holds for l&lil and tE[-T.TJ.
A
corollary to ( 3 . 8 ) and (3.9) is the
Lemma 3.5.
{uE I ,
1El O .
4.
Proof of Theorem 1 . 1 From the uniform estimates ( 3 . 8 ) and (3.9). i t also follows E
that there is a subsequence of uE, denoted arrain by u , such that uE(t)
+
u(t)
weakly* in Lm([-T,Tl;Hsl,
uE(t) t
+
u'(t)
weakly* in Lm(I-T,TI;HS-3).
(4.1)
as
E +O, with some limits u,u'.
Obviously u'=ut holds in the
distribution sense, so that u(t) E L ~ ~ I - T . T 3 : H S ~ ~ L i ~ ( C - T , T l : H s - 3 )
(4.2)
Lemma
The 1 mit u solves ( 1 . 1 ) in the distribution
4.1,
sense. Proof. (4.3)
According to Lemma 3.5, we may assume
uE(t)
+
strongly in C0(C-T,Tl:Hloc), 0-6
u(t)
E which then implies uE ux
hence, toaether with (4.4)
-yv; = fE
+
s - 2 - b ) , and uux strongly in C0([-T,TI;Htoc
(4.1),
=
ut+uu E E ux+Buxxx E E
weaklye in Lm([-T,TI;HS-3), (4.5)
t = U t + uuux
+
with Buxxx
*
+ f ,
IYO
Seiji UKAI E
On the other hand, (3.9) says a l s o that d G l v t l s - 3 i C which in turn Kives vE = uE X
Y
- EYvt E
+
u
Y
weakly* in Lw(C0,Tl;HS-3).
~ ,have Goinx t o the distributional limit in ( VE~ ) ~ = &( V ~ )we
-fX/Y=uyy
or (1.1).
Lemma 4 . 2 .
u
E
where C:
Cw([-T.TI:HS) 0
means the weak
continuity.
This can be Droven by modifvinR slightly the argument given
in
[4,
0.401 i n which the convergence (4.3) i s assumed to be
~ l o b a l ,that is. with Hfit replaced by HS-'.
Since (3.1) i s
t I me reversible, and by virtue of ( 3 . 5 ) and the above lemma, we
can
ollow t h e argument Riven in
Lemma 4 . 3 .
4.
p.441 t o conclude the
u ( t ) € C o ( I-TIT 1 ) HS).
Now the existence Dart o f Theorem 1.1 follows from ( 4 . 2 ) and Lemmas 4.1. 4.3.
To prove the uniqueness, we must look at
the equation ( 1 . 5 ) .
Theorem 4.4.
Associated with u o f Theorem 1 . 1 ,
there is a
v such that c4.6)
v ELrn( I-T.TI ; L 21 0 2 '
Vv E Lo( I-T.TI;HS-3),
and ' u , v ) solves ( 1 . 5 ) with u(0)=uo.
Further, writinK simply
Cauchy Problem for the KP Equation
191
Lm(L2) = Lm([-T,TI;L 2 1 , we have
And u is unique in the class (1.3),
and v in the class (4.6) and
(4.7) UD to an additive constant. Proof.
Write Lm(X),
Co(X) for Lm(I-T.Tl:X).
Co(I-T,TI:X)
Lemma 2.1 and Proposition 2.2, with f as in
respectively.
prove the existence of v satisfying (4.6). Y' In fact, f€Lm(HS-3) by (4.2) and REC'(H'-~) by Lemma 4.3. The ( 4 . 5 ) and g=-yu
latter implies f X ,
RY To prove (4.7)(i),
E cO(H'-~)
too, since f =
x RY' i t suffices to check (2.3).
Recall f E
of (4.4) to pat. by integration by parts, (4.8)
JT2P
E
&
dxdy = -YJT2vydxd~ = 0.
Owinq to (4.4), we can condition of (2.3).
KO
t o the limit and obtain the first
The second condition comes simply from the
definition ~ = u This proves (i). (4.7)Ciif is just P' Pronosition 2.2 (ii). and (2.5) for f comes just proceeding as
in (4.8) which proves (4.7)(iii). that ( 2 . 5 ) f o r p is fulfilled.
F o r (4.7)(iv),
we shall show
Integrate the second equation
of (1.6) in x and integrate by parts.
We Ket,
192
Seiji UKAI
In view of (3.9). (IhEilifi C w h e r e I D is the norm of Lm(L2(R>). Passinn to the limit E+O proves (2.5) f o r ~ = - y u Y' Let (uj,v.), The proof o f the uniaueness still remains. J
.i=1.2,
be two s o l u t i o n s of (1.5) satisfying (1.3).
(4.7). and set u = u -u 2 , v = v - v 1
U t + RUxxx
(4.9)
v
and u ( O ) = O .
+
X
YVY = - u
Y
2
*.
(4.6) and
and rL=-a(u u + U ~ ~ U ) . T h e n , 1 x
=o.
Let tl H be the norm of L
2
(R).
By intezration by
uarts, and by (1.3).
s o that we have from (4.9). p r o c e e d i n z as in (3.51,
\otict- that the terms which contain v cancel1 out b y inteRration b v usrts.
(4.11) Droves the uniaueness !u(t)l
Q=T2, d u e to (4.7)(i),
done for the c a s e
= 0 . so w e a r e
O t h e r e w i s e , however,
the intexration by parts is not lerqitimate because we do not know whether v E L 2
.
from (4.7), so ~t
But v W ' ( t e m o e r e d
distribution) a s seen
admits Fourier transform (series).
Let
u(f.n) denote the Fourier transform ( c o e f f i c i e n t ) o f u(x,y) and
x,(.E)
be such that
kritinp: u
b
x b = l for
= xd ( . E ) x 6 t r t ) u .
h EL*(o,T;H~(sL,,)), where the sets Q.
196
i = 0 , 1,
are defined by (2.5).
Problem (P) has one and
Nobuyuki KENMOCHI and Irena PAWLOW
220
COROLLARY 2.1.
hold and let u v € W1”(0,T;H)
Assume that (Al)-,(A6)
be the unique weak solutlon of (P)’.
Then, as w + 0, u
V
converges to the
i-solution u of (P) in such a way that u‘ + u
6V (u“) 0, 1
= 0,
1.
and g l are independent of time t,
C o r o l l a r y 2 . 1 is a special case in a result concerning the continuous
dependence of solutions of Problem (P) on f3 and y. (i
=
0, 1). due to
Bgnilan-Crandall-Sacks f 3 ] .
3. Some auxiliary results At.
first
we
recall here some results on the existence, uniqueness of
sulutions to Problem ( P ) and their monotone dependence upon the data in t h e case of smooth functions y.
1’
i
=
0, 1. The following two propositions
are derived directly from the results established in [ 2 4 , 2 5 , 271. Assume that ( A l ) ,
PKOPOSITION 3.1. +
K, i
(A3) and (A4) hold and let yi:
K
= 0 , 1 , be Lipschitz continuous and non-decreasing. Then, Problem
(P) h a s one and o n l y one weak solution which is a V-solution at the same time. Kemark 3.1. 111
By an extension of the arguments which have been used
[ 2 4 , 271, it can be inferred that for any u
unique weak solution ution u of ( P ) as v
u”E
+
W1”(O,T;H)
> 0,Problem
(P)’
has a
and { u v ) converges to the weak s o l -
0 in the sense of Definition 2 . 2 , when y. i 1’
= 0,1,
Two-Phase Stefan Problems with Nonlinear Flux Conditions
22 1
are Lipschitz contiunuous and non-decreasing on R. The next result is concerned with the monotone dependence of the solution of (P) with smooth yi, i = 0, l, upon the data.
PROPOSITION go, gl, uo) and
Assume that (Al) holds, and the data sets { y o , y l ,
3.2.
{yo, yl, g o , gl, ii0 }
satisfy the assumptions of Proposit-
ion 3 . 1 . Let u and ii be the weak solutions of Problem - . - . - . - .
to { B , yo, y l , go, gl, uol and IB,yo, y l , go, g19 Go) uo 5 ii
0
a.e. in R , gi
gi
4
a.e. on C 1' . i
=
(P) that correspond
,
respectively. If
0, 1,
and yi
2
Ti
on R,
i
=
0, 1,
then u s
a.e. in Q.
Now we are going to prove some results which characterize the weak solutions of Problem (P). LEMMA 3.1. Assume that (Al)
(A4) are satisfied. Let u be a weak
-.
solution of (P) such that 2
2
B ( u ) E L (0,T;H (R.
1,6
for some 6
))
> 0,
i = 0, 1.
Then ( 2 . 7 ) and ( 2 . 8 ) hold as well as
(3.1)
r.
for r
rio,
for r
for r Let u s n o t e h e r e t h a t y .
= yi, a n d
1.00
(resp.
r.
=
0,
) is n o n - d e c r e a s i n g
10
a). Moreover,
rio.
Yi,€,,
remark t h a t for
E
=
>
~ ~ ) yi ,EO ( r e s p . Y ~ , if
0 and U
>
0,
Y. 1,EU
(i =
a n d L i p s c h i t z c o n t i n u o u s on R , a n d t h a t
(4. and
*
(4.2)
* *
s
'i,Eo
*
*
Q
where Y ,
1 ,Eo' it
and y.
'i, ou
l,E!J
Yi,Eo' ayi,ou = Yi,ou ~
(4.3)
9
~
'i ,EU
*
t
s
t
yi,ou*
i = 0, 1, it
a r e c o n v e x f u n c t i o n s o n R s u c h t h a t aY.
1,EO
aYi,Eu = ' i , E U
and
~ = ~~ q( , a~ ~~= ()Y aY ,~€ , ), ( ~ ~ =) Yi(ai)
,
fc;r some a . E D(y.) i n d e p e n d e n t o f 1
E
a n d U. L e t u s a l s o n o t e here t h a t
*
r h e s e are s t a n d a r d a p p r o x i m a t i o n s of y . . I n f a c t , we e a s i l y see t h a t
* (h.4)
as bcjr
C,
u
b 0,
(resp. E
*
Yi,ou) i n t h e s e n s e of Mosco ( c f . [ 2 3 ] )
* 0 ( r e s p . u * 0) f o r e a c h U
2
0 (resp.
l e t u s c o n s i d e r t h e e l l i p t i c problems
E t
0).
=
229
Two-Phase Stefan Problems with Nonlinear Flux Conditions
a vi
i
-aCiyO,Eu(VEII an
- bi)
a.e. on
r 0'
- ci>
a.e. on
rl,
a vi
--E
fl,Eu(~i
an
with constants bi, ci, i
V i for i
=
€11
=
i 0, 1, as in assumption (A6). Note that V 00
=
0, 1.
LEMMA 4.1. For any
E 2
unique solution Vi E H2(R) €11
(4.5)
vo s vo
(4.6)
voE O
vo€11
j
E!J
n C o S a ( 6 ) with v1
2
€0
i
0 and 11 L 0, problem (EP)
5
s V'
v1€11
some a E ( O , l ) ,
=
0 , 1) has a
such that
in R ,
ou
v
5
(i
in
OlJ
R.
Moreover,
(4.7)
'u:V
VZ0
C
uniformly on
6 as p
uniformly on
as
E
+ 0 for any fixed
0,
E ?.
+ 0 f o r any fixed 1-1 2 0.
Proof. The assertion follows by a direct application of the results in [4;Chapter 11. 0 By virtue of Lemma 4.1 and assumption ( A 6 ) , we may postulate that
(4.8)
vi€11
2
-
for i = 0, 1 and any
E
m
* in
vEiu
ao,&,
C- [ O , E ~ I ,
2
in R,,~,
m;
u E- [O,uol, where
*
*
u o , mo, ml, 6 are
E ~ ,
appropriately chosen positive constants. For v
> 0,E
replaced by yi Y
€11
t 0 , 11 2 0, let
(P)'
. Notice that (P)zo
section 3, Problem (P)'
EU
=
denote the problem (P)'
(P)'.
According to the results in V
ElJ
with y .
has a unique solution u
ElJ
E WlY2(O,T;H).
Our purpose now is to derive appropriate uniform estimates on the solutions of (P)'
€11
with respect to u,
E:
and
l ~ .
230
Nobuyuki KENMOCHI and Irena PAWLOW ESTIMATE (I).
For any v
vo
Proof.
ev
4
€0
>
v
0, 4
(UEJ
E
'
E [ O , E ~ I , u € [ O , u o l , we h a v e a.e. i n Q;
v OU
Let u s set
viv(t,x) EU
v -1
= (B )
i (vEu(x))
for ( t , x )
E Q,
i = 0 , 1.
C l e a r l y , "iv ( i = 0, 1) s a t i s f i e s t h e system EU
ED
t
-
Uiv(O,-) EU
I n view of ( 2 . 1 ) ,
abv(~iv)= EU
o
i n Q,
in
= (Bv)-'(VZU)
(2.2),
R,
( 4 . 2 ) , ( 4 . 5 ) and ( 4 . 6 ) , a n a p p l i c a t i o n of t h e
comparison r e s u l t ( P r o p o s i t i o n 3 . 4 ) y i e l d s t h e i n e q u a l i t y
u OU lV a . e .
uov €0
d uv
Vo
i 6 v (uEu) v 5
€0
EU
5
V1
OLJ
i n Q.
a . e . i n Q,
so t h a t (b.9) is also v a l i d . There e x i s t s a p o s i t i v e c o n s t a n t
ESTIMATE (11).
f o r any u
E
(0,1],
E
[ O , E ~ ] and
uE
[O,U,],
MI s u c h t h a t
where j .
19EU
is a p r o p e r , 1.
Two-Phase Stefan Problems with Nonlinear Flux Conditions S.C.
*
i'
2
and convex function on L
231
*
(Ti), defined by (3.9) with Y. replaced by
,ED'
Proof.
V
According to Proposition 3 . 3 , u
ElJ
is a unique solution of
the problem V
(4.10)
(uEu)'(t)
(4.11)
u
ji,E!J
t
a@,,,(B
v v
for a.e. t E [ O , T l ,
= 0
(uEu(t)))
V
V
where
t
EU
(0) = u
btQJ is a proper
0'
convex function on H, defined by (3.8) with
1.s.c.
in place of j. i = 0, 1. Further, for simplicity we shall use the 1'
V
notations: u = u
Ell'
B
=
V
t
B ,4
=
t bEIJ,, ji
=
ji,
u'
Let u s multiply both sides of equation (4.10) G(t) = vo
-
g(0)
+
g(t),
u
V
0
= u . 0
- G(t) with
by B(u(t))
where v = B(uo) and g is given by (3.16). 0
Then,
after integration over R , we get (u'(t),B(u(t))-G(t)) f o r a.e. t € [ O , T ] . (4.12)
t (abt(B(u(t))),B(u(t))-G(t))
Hence, it follows that
(u'(t),B(u(t))-G(t))
+
bt(B(u(t)))
By introducing the convex function
inequality (4.12)
to obtain
= 0
K(-)
S
t @ (G(t))
on H, given by
can be written i n the form
for a.e. t
E [O,T].
232
Nobuyuki KENMOCHI and Irena PAWLOW
ftlr somc positive constants p
(0,11,
r3
E \ O , E ~ I and u
k'
p;
(k = 1 , 2, 3 , 4) independent of v E
E [O,uol.
By virtue of (4.14), (4.15) and Estimate (I), we derive Estimate
( [ I ) from (4.13). ESTXMATE (111).
There exists a positive constant M
2
such that
and (4.17) f o r any v
E
(O,l],
E
[ O , E ~ ] and 1.1
E [O,uo]
with the positive constant 6
as i a Estimate (I).
In u r d e r to prove (4.16). (4.17) we formulate two lemmas. For a moment, let 6 be t h e same positive constant as in Estimate (I). Let u s consicier t h e iunction g& on Q l t d which is the solution of the problem
233
Two-Phase Stefan Problems with Nonlinear Flu Conditions for any t
E
[O,T]. Observe that g 6 k W’*2(0,T;H1(Q,,6))~Lm(0,T;H2(~l,6))
nLm(Q,,6). Further on we shall
X O f 6 = {zE X6;
use the notations:
z =
0 a.e. on
r‘l,6}.
Now, let u s define a proper 1.s.c. convex function @
Just as
a@,,,, t
t EU16
on H6 by
is a singlevalued mapping in H6, and regular in the
following sense: for any s,t E [O,T] and any z k‘ D(6Zu,6) there exists
LEMMA 4.2. w
Assume that v
t (0,1],
E
E
[O,E~
and
u E [O,u 1.
Let
W”2(0,T;H6) with w(0) k D(@ZDp6) and 3 I EU.6 $ ( * ) (w) E L2 (0,T;H6). Then
for any s , tt[O,T] with s 6 t.
Proof.
Inequality (4.21) can be derived from (4.20) by the same
arguments as in the proof of [18; Lemma 2.31 (or see 115; Corollary to Lemma 1.2.51).
0
Now let u s introduce a non-negative smooth function q on
a
such that
Nobuyuki KENMOCHI and Irena PAWLOW
234
where
B e s i d e s , s i n c e q = 1 i n a neighbourhood of
r 1'
Hence, on a c c o u n t of Lemma 3 . 3 , i t follows t h a t
Now w e a r e r e a d y t o p r o c e e d t o :
Proof of ESTIMATE (111).
@',
f for u
V
EU'
B,
t Bv, bEU,&, f g u , r e s p e c t i v e l y . Upon m u l t i p l y i n g b o t h s i d e s
of ( 4 . 2 2 ) by ( d / d T ) ( q B ( u ) ) ,
(4.23)
As p r e v i o u s l y , w e u s e t h e n o t a t i o n s u ,
(QU'(T)
we get
,~(B(u))'(T))~
t ( a @ T ( ~ 8 ( u ( W(qB(u) , )'(T))6
= (f(~).n(B(u))'(~)))~
for a.e.
T
C
[O,Tl.
Hence, a p p l y i n g i n e q u a l i t y ( 4 . 2 1 ) w i t h w = qB(u) and t a k i n g i n t o a c c o u n t ( 4 . 2 2 ) , we g e t
Two-Phase Stefan Problems with Nonlinear Flux Conditions
(4.24)
235
/
, -,t
for any t c [O,T]. Besides, observe that by virtue of assumption (Al) and because of ( 4 . 9 ) we have
Furthermore,
In view of ( 4 . 2 4 )
- (4.26),
it follows from ( 4 . 2 3 ) that
for any t E [O,T], where L1, L are some positive constants independent 2
of
vE
(0,1], E
E
[ O , f o ] and p & [O,po]. Inequality ( 4 . 2 7 ) , together with
Estimate (11), implies ( 4 . 1 6 ) , ( 4 . 1 7 ) ESTIMATE ( I V ) .
for some positive constant M2.
There exists a positive constant M
3
such that
and (4.29)
for any
ve
(0,1],
E
G
[O,Eo]
and p C i [O,pO].
Estimates ( 4 . 2 8 ) and ( 4 . 2 9 ) follow by the same arguments as in the
236
Nobuyuki KENMOCHI and Irena PAWLOW
proof of Estimate (111).
ESTIMATE
(Vl.
There exists a positive constant M4 such that
(4.30)
Proof. As
Let q be the function defined in the proof of Estimate (111).
previously, the same reduced notations are used for simplicity. Accor-
ding to the proof of Lemma 4 . 3 , we see that the function W:
nB(u)
satisfies the following system f o r a.e. t C [ O , T ] : ' -
AW(t,-) = f(t,*) - rlut(t,-)
W(t,*)
-
= 0
On
in R 1 , & ,
5,6*
W E yl(w(t,*)-gl(t,-))
a.e. on
rl.
Due tu the results of ( 4 ; Thms. 1.10, 1.111, we conclude that
where C is a constant independent of v,
E
and
u . By
virtue of ( 4 . 9 ) and
Estimates (11), (111), it follows from ( 4 . 3 1 ) that
with a constant M' independent of 4
imate h o l d s for IB(u)I
ESTIMATE ( V I ) .
2,
V,E
and
2 L [O,T;H ( Q o , 6 / 2 ) )
u . Clearly, the analoguos est-
. Hence ( 4 . 3 0 )
is obtained.
There exists a positive constant M5 such that
Two-Phase Stefan Problems with Nonlinear Flux Conditions for any v
E (0,111E E
[O,E~Iand
LJ
& [ O , u o l , where a' = R
is the same constant as in Estimate (I). Proof. Let u s introduce a smooth function q E on
n'. By
\
231
n6,2 and 6
aXn)such that q
= 1
applying the same reduced notations as previously, we have
5 If(t)lHln(B(u))'(t)lH
1
- xlrl(B(u))'(t)li
for a.e. t 6 [O,T].
B
Hence it f o l l o w s that for appropriately chosen positive constants L 3' L4' independent of v , E ,
d
x(V(rlB(U(t)))lH
u,
2
+ L31fl(B(U))'(t)lH
2
5
Lqlf(t)lH
2
for a.e. t
[O,T].
This inequality immediately implies Estimate (VI).
5. Convergence of approximate solutions Our purpose now is to prove Theorem 2.1. This will be done in a sequence of lemmas. Throughout this section assumptions (Al) ntained to be satisfied.
- (A6) are mai-
Nobuyuki KENMOCHI and Irena PAWLOW
238
Proof.
V
By v i r t u e of t h e u n i f o r m estimates on s o l u t i o n s u V
we c a n s e l e c t a s e q u e n c e ( u
- u
k =
uk + u
k
(5.2)
+
w i t h vk
0 (as k +
a)
such t h a t
weakly* i n L”(Q>,
z B(uk) +
(u,)
‘1
of (P)”,
vkuk +
5 weakly i n W’”(0,T;H)
a n d weakly
*
i n La(O,T;X),
as w e l l a s
k
(5.3) where
5 (u,)
Bk
=
V
5
+
2 2 weakly i n L (0,T;H
5
‘.
By v i r t u e of Aubin’s c o m p a c t n e s s theorem, ( 5 . 2 ) and (5.3) imply t h a t
B
k
2 2 1 i n L ( Q ) and L (0,T;H (RgI2)).
*5
(uk)
T h e r e f o r e , 5 = B ( u ) and
B k (u,) k k a5 (‘k) f . :-1 an
+ -
weakly i n L2 ( 0 , T ; H 1 ” ( r i ) ) ,
an
k k Hence, s i n c e f i E y i ( B (u,)
i = 0, 1,
i n L2 ( 0 , T ; H 1 ” ( r i ) ) ,
+ B(u)
-
9 . ) a.e. on Z .
1’
i = 0 , 1.
i = 0 , 1 , by s t a n d a r d mono-
t o n i c i t y a r g u m e n t s we c o n c l u d e t h a t
-
fi
u an . yi(B(u)
Now, a c c o r d i n g t o D e f i n i t i o n 2.2,
For any
5.2.
pi)
01.1
c.1 ’
E
E
( O , E ~ ] and
f (O,uo], l e t (P)Eo and ( P ) .EO
and yi 1
OD
ELI
t u
€0
2 i n L ( Q ) a s u + O
ou
, respectively.
r e s p e c t i v e l y have t h e u n i q u e V - s o l u t i o n s u
which s a t i s f y t h e s i m i l a r p r o p e r t y t o (5.1). Moreover, u
i = 0, 1.
w e see t h a t u i s a V - s o l u t i o n of ( P )
be t h e Problem ( P ) w i t h yi r e p l a c e d by yi Then (P)Eo and ( P )
a.e. on
0
and i t s a t i s f i e s ( 5 . 1 ) .
LLWA
-
€0
and u
ou
Two-Phase Stefan Problems with Nonlinear Flux Conditions
239
and u where u
ElJ
t u
ED
2
OD
in L (Q) as
E +
is a unique weak solution of (P)
with yi replaced by yi ,
,,,
i
=
0,
ED
((P)E,, denotes Problem (P)
0, 1).
Proof. We shall restrict the proof only to the case of (P)o,,.
Simi-
lar arguments can be applied to (P) €0’ Due to Proposition 3.1 and Remark 3 . 1 , (P)E,, has exactly one V-solution u
ElJ
which is the limit of the weak solutions u
V
ED
the sense of Definition 2.2. By virtue of Estimates (I) see that as
V +
- (VI) on
0,
Bv(u&)
in L2(Q),
B(u,,,)
+
weakly in W1’2(0,T;H) and
weakly* in Lm(O,T;X),
(5.4) v
0
v (UE,,)
B(U,,
-+
v v 38 (u,,> an
in L2(Z.), i = 0, 1,
)
1
weakly in L2( Z . ) ,
as,i = 0, 1,
V
uE,,,
we
230
Nobuyuki KENMOCHI and Irena PAWLOW
Since Y
e
*
~ * Yi,ou , ~ i n t~h e s e n s e o f Mosco a s
E
0 , f o r any f i x e d U
+
>
0,
i = 0 , 1 (see ( 4 . 4 ) ) , we i n f e r t h a t
Therefore, u
*
i s a weak s o l u t i o n of ( P )
ou
ou’
h a v i n g t h e similar p r o p e r t y
t o (5.1).
I n turn, let u
be any V - s o l u t i o n of ( P )
O’cc
estimates on a p p r o x i m a t e s o l u t i o n s t h a t u
u (2
ou’
weak s o l u t i o n s of problems ( P ) ( ’ J ~+
n o t e from t h e u n i f o r m
(O,uo], s a t i s f i e s t h e
V
u o i ) be a sequence of t h e
similar p r o p e r t y t o (5.1). F u r t h e r , l e t { u i u V
-
ou’
s u c h t h a t uk c o n v e r g e s t o u as k ou ou
OU’
+
0 ) i n t h e s e n s e of D e f i n i t i o n 2 . 2 . Then we c a n c o n c l u d e from Propou
s i t i o n 3.4 t h a t u& letting k *
cu
a.e. i n Q
2 uk
OD
f o r every
E
u
EU
5 u
ou
a.e. i n Q
f o r every
E
>
0.
* ou
s uou
a.e. i n Q.
An a p p l i c a t i o n of Lemma 3 . 2 t o t h e weak s o l u t i o n s u
ou
0. Hence,
* 0 yields that
E
u
Problem ( P )
>
we get
m,
Now, l e t t i n g
V
implies t h a t u
2
+
LEMMA 5.3.
u
ou
=
i n L (Q) a s
uoLl
and t h e V-solution
*
ou
u
ou E
t
ou
and u
ou
of
i n Q. C o n s e q u e n t l y ,
+
0
f o r any f i x e d IJ
of (P)ou i s u n i q u e .
>
0
a
Problem ( P ) h a s a u n i q u e V - s o l u t i o n u . T h i s s o l u t i o n c a n
be c o n s t r u c t e d a s t h e l i m i t
Two-Phase Stefan Problems with Nonlinear Flux Conditions u
where u
V
0l.l
V
u
2
0.
in Q.
This shows the assertion of the lemma. In view of Lemmas 5.1
>
p
- 5.3, Theorem 2.1 follows immediately. REFERENCES
1.
H. h'. Alt, Nonsteady fluid flow through porous media, Free Boundary Problems - Applications and Theory 111, ed. A. Bossavit, A. Damlamian and M. Fremond, Research Notes Math. 120, Pitman, Boston-LondonMelbourne, 1935, 222
2.
-
228.
Ph. Bgnilan, Equations d'Evolution dans un Espace de Banach Quelconque et Applications, Publications Math. Orsay, Univ. Paris Sud, Orsay, vol. 25,1972.
242
Nobuyuki KENMOCHI and Irena PAWLOW
1 3. Ph. Bknilan, M. G. Crandall and P, Sacks, Some L existence and dependence results f o r semilinear elliptic equations under nonlinear bou-
4. 5,
6.
7.
8.
ndary conditions, Appl. Math. Optim. 17(1988), 203 - 224. H. Brgzis, Probl&nes unilatgraux, J. Math. pure appl. 51(1972),1-168. J. R . Cannon and E. DiBenedetto, An n-dimensional Stefan problem with nonlinear boundary conditions, SIAM J. Math. Anal. 11(1980), 632-645. M. G . Crandall and T. Liggett, Generation of semi-groups of nonlinear transformations on general Banach spaces, h e r . J . Math. 93(1971), 265 - 298. J . Crank, Free and Moving Boundary Problems, Clarendon Press, Oxford, 1981r. J . I . Diaz, Solutions with compact support for some degenerate parab-
o l i c problems, Nonlinear Anal. T. M. A. 3(1981), 831 - 847. 9. G. Duvaut and J. L. Lions, Les Inkquations en Mgchanique et en Physique, Dunod, Paris, 1972. 10. A . Fasano and M. Primicerio, I1 problema di Stefan con condizioni a1 contorno non lineari, Ann. Scuola Norm. Sup. Pisa, 26(1972), 711-737. li. K . H. Hoffmann, M. Niezgodka and J. Sprekels, Feedback control via thermostats of multidimensional two-phase Stefan problems, to appear in Nonlinear Anal. T. M. A. 12. K. H. Hoffmann and J, Sprekels, Real-time control of the free boundar y in a two-phase Stefan problem, Numer. Funct. Anal. Optimiz. 5 (1982), 47 - 76. 13. K. H. Hoffmann and J. Sprekels,Automatic delay-control in a two-phase Stefan problem, Differential-Difference Equations,ed.Collatz and al., Intern. Ser. Numer. Math. 62, Birkhauser Verlag, Basel, 1983. 14. S. T. Hwang and K. Kammermeyer, Membranes in Separations, J. Wiley & Sons, New York, 1975. 15. N. Kenmochi, Solvability of nonlinear evolution equations with timedependent constraints and applications, The Bull.Fac.Education,Chiba U n i v . , 30(1981), 1 - 87. 16. II. Kenmochi, On the quasi-linear heat equation with time-dependent obstacles, Sonlinear Anal. T. M. A. 5(1981), 71 - 80. 17. N . Kenmochi, Two-phase Stefan problems with nonlinear boundary conditions described by time-dependent subdifferentials, to appear in Control Cyb. 16(1987).
Two-Phase Stefan Problems with Nonlinear Flux Conditions
243
18.
N. Kenmochi and I. Pawlow, A class of nonlinear elliptic-parabolic equations with time-dependent constraints, Nonlinear Anal. T. M. A.
19.
N. Kenmochi and I. Pawlow, The vanishing viscosity method and a two-
10(1986), 1181
-
1202.
phase Stefan problem with nonlinear flux condition of Signorini type,
Proc. Japan Acad. 63(1987), 58 - 61. P. Kernevez, Enzyme Mathematics, North-Holland, Amsterdam, 1980. 21. P. Knabner, Global existence in a general Stefan-like problem, J. Math. Anal. Appl. 115(1986), 543 - 559. 22. E. Magenes, C. Verdi and A. Visintin,Semigroup approach to the Stefan
20. J.
problem with nonlinear flux, Atti Acc. Lincei Rend. fis. 75(1983), 24
-
33.
23.
U. MOSCO, Convergence of convex sets and of solutions of variational
24.
M. Niezgodka and I. Pawlow, A generalized Stefan problem in several
inequalities, Adv. Math. 3(1969), 510 - 585. space variables, Applied Math. Optim. 9(1983), 193 - 224. 25. M. Niezgodka, I. Pawlow and A. Visintin, Remark on the paper by A. Visintin "Sur le problhne de Stefan avec flux non linGaire", Boll. Un. Mat. Ital. 18C(1981), 87 - 88. 26. R. H. Nochetto, Error estimates for two-phase Stefan problems in several space variables 11: nonlinear flux conditions, Calcolo 22(1985), 501 27.
-
534
A. Visintin, Sur le problhe de Stefan avec flux non linkaire, Boll.
Un. Mat. Ital. 18C(1981), 63 - 86. 28. S. Yotsutani, Stefan problems with the unilateral boundary condition on the fixed boundary 11, Osaka J. Math. 20(1983), 803
-
844.
This Page Intentionally Left Blank