THE BLOWUP OF SOLUTIONS FOR 3-D AXISYMMETRIC COMPRESSIBLE EULER EQUATIONS

Σχετικά έγγραφα
Space Physics (I) [AP-3044] Lecture 1 by Ling-Hsiao Lyu Oct Lecture 1. Dipole Magnetic Field and Equations of Magnetic Field Lines

Example 1: THE ELECTRIC DIPOLE

Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.

Uniform Convergence of Fourier Series Michael Taylor

ST5224: Advanced Statistical Theory II

Example Sheet 3 Solutions

Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.

Statistical Inference I Locally most powerful tests

(a,b) Let s review the general definitions of trig functions first. (See back cover of your book) sin θ = b/r cos θ = a/r tan θ = b/a, a 0

Laplace s Equation in Spherical Polar Coördinates

Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)

Matrices and Determinants

D Alembert s Solution to the Wave Equation

Blowup of regular solutions for radial relativistic Euler equations with damping

derivation of the Laplacian from rectangular to spherical coordinates

2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)

Inverse trigonometric functions & General Solution of Trigonometric Equations

SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions

Finite Field Problems: Solutions

Matrix Hartree-Fock Equations for a Closed Shell System

Every set of first-order formulas is equivalent to an independent set

Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in

A Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering

2 Composition. Invertible Mappings

ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?

Section 8.3 Trigonometric Equations

EE512: Error Control Coding

Congruence Classes of Invertible Matrices of Order 3 over F 2

Mock Exam 7. 1 Hong Kong Educational Publishing Company. Section A 1. Reference: HKDSE Math M Q2 (a) (1 + kx) n 1M + 1A = (1) =

Oscillating dipole system Suppose we have two small spheres separated by a distance s. The charge on one sphere changes with time and is described by

Second Order Partial Differential Equations

Reminders: linear functions

Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit

e t e r Cylindrical and Spherical Coordinate Representation of grad, div, curl and 2

Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3

w o = R 1 p. (1) R = p =. = 1

Analytical Expression for Hessian

Tutorial Note - Week 09 - Solution

( y) Partial Differential Equations

Homework 3 Solutions

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS

Homework 8 Model Solution Section

HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:

DESIGN OF MACHINERY SOLUTION MANUAL h in h 4 0.

6.3 Forecasting ARMA processes

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

4.2 Differential Equations in Polar Coordinates

Areas and Lengths in Polar Coordinates

4.6 Autoregressive Moving Average Model ARMA(1,1)

Other Test Constructions: Likelihood Ratio & Bayes Tests

C.S. 430 Assignment 6, Sample Solutions

A Note on Intuitionistic Fuzzy. Equivalence Relation

forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with

Fourier Series. MATH 211, Calculus II. J. Robert Buchanan. Spring Department of Mathematics

Areas and Lengths in Polar Coordinates

Derivation of Optical-Bloch Equations

Concrete Mathematics Exercises from 30 September 2016

Global nonlinear stability of steady solutions of the 3-D incompressible Euler equations with helical symmetry and with no swirl

Quadratic Expressions

ORDINAL ARITHMETIC JULIAN J. SCHLÖDER

Solution Series 9. i=1 x i and i=1 x i.

Forced Pendulum Numerical approach

Theoretical Competition: 12 July 2011 Question 1 Page 1 of 2

Lecture 34 Bootstrap confidence intervals

1 3D Helmholtz Equation

Solutions to Exercise Sheet 5

Problem Set 9 Solutions. θ + 1. θ 2 + cotθ ( ) sinθ e iφ is an eigenfunction of the ˆ L 2 operator. / θ 2. φ 2. sin 2 θ φ 2. ( ) = e iφ. = e iφ cosθ.

Fractional Colorings and Zykov Products of graphs

Approximation of distance between locations on earth given by latitude and longitude

Strain gauge and rosettes

Bounding Nonsplitting Enumeration Degrees

ANTENNAS and WAVE PROPAGATION. Solution Manual

k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +

Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.

The k-α-exponential Function

Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1

dx x ψ, we should find a similar expression for rθφ L ψ. From L = R P and our knowledge of momentum operators, it follows that + e y z d

Exercise, May 23, 2016: Inflation stabilization with noisy data 1

Memoirs on Differential Equations and Mathematical Physics

Fundamental Equations of Fluid Mechanics

On spherically symmetric motions of a viscous compressible barotropic and selfgravitating gas

Space-Time Symmetries

ΑΡΙΣΤΟΤΕΛΕΙΟ ΠΑΝΕΠΙΣΤΗΜΙΟ ΘΕΣΣΑΛΟΝΙΚΗΣ ΣΧΟΛΗ ΘΕΤΙΚΩΝ ΕΠΙΣΤΗΜΩΝ ΤΜΗΜΑ ΦΥΣΙΚΗΣ ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ ΧΑΟΤΙΚΕΣ ΚΙΝΗΣΕΙΣ ΓΥΡΩ ΑΠΟ ΜΑΥΡΕΣ ΤΡΥΠΕΣ

3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β

Chapter 6: Systems of Linear Differential. be continuous functions on the interval

r = x 2 + y 2 and h = z y = r sin sin ϕ

SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM

( ) 2 and compare to M.

Section 7.6 Double and Half Angle Formulas

12. Radon-Nikodym Theorem

The Simply Typed Lambda Calculus

Riemann Hypothesis and Euler Function

n=2 In the present paper, we introduce and investigate the following two more generalized

Pg The perimeter is P = 3x The area of a triangle is. where b is the base, h is the height. In our case b = x, then the area is

A bound from below for the temperature in compressible Navier-Stokes equations

VEKTORANALYS. CURVILINEAR COORDINATES (kroklinjiga koordinatsytem) Kursvecka 4. Kapitel 10 Sidor

Numerical Analysis FMN011

6.1. Dirac Equation. Hamiltonian. Dirac Eq.

J. of Math. (PRC) 6 n (nt ) + n V = 0, (1.1) n t + div. div(n T ) = n τ (T L(x) T ), (1.2) n)xx (nt ) x + nv x = J 0, (1.4) n. 6 n

Transcript:

H. Yin Q. Qiu Nagoya Math. J. Vol. 154 (1999, 157 169 THE BLOWUP OF SOLUTIONS FOR 3-D AXISYMMETRIC COMPRESSIBLE EULER EQUATIONS HUICHENG YIN QINGJIU QIU Abstact. In this pape, fo thee dimensional compessible Eule equations with small petubed initial data which ae axisymmetic, we pove that the classical solutions have to blow up in finite time give a complete asymptotic expansion of lifespan. 1. Intoduction Thee ae many esults on the lifespan of classical solutions fo nonlinea wave equations with small initial data ([1, [2 etc.. Howeve, few papes have teated the poblem of the lifespan of solutions fo highe dimensional compessible Eule equations. In fact, it is vey difficult to detemine whethe the smooth solutions of compessible Eule equations blow up o not. In [3, T. Sideis gave an uppe bound fo the lifespan of thee dimensional Eule equations unde appopiate conditions. In the pape, we will discuss 3-D poblem with spheically symmetic initial data. Geneally speaking, the spheically symmetic initial data don t satisfy the conditions in [3, so we can t give the uppe bound of lifespan in light of the esult in [3. Fo the 2-D isentopic Eule equations with otationally invaiant data which ae a petubation of size ε of a est state, S. Alinhac [4 has established the lifespan of solution. Fo the geneal iotational initial data (not spheically symmetic which is a small petubation, we can also detemine the lifespan of classical solutions. This will be given in anothe pape. Conside the following initial data poblem fo 3-D compessible Eule Received Mach 26, 1997. 157

158 H. YIN AND Q. QIU equations: (1 t div(v = 0 t v (v v = p( = c2 ( t=0 = ε 0 (x, v t=0 = εv 0 (x whee > 0 is a constant, c 2 ( = dp/d > 0, p( C fo > 0, ε > 0 sufficiently small, v = (v 1, v 2, v 3, x = (x 1, x 2, x 3, 0 (x, v 0 (x C (R 3 have compact suppots in x R 0. Moeove we assume that v 0 (x = v 0 1 (xx, whee v0 1 is a smooth function in R3, v 0 1 (x, 0(x depend only on, = x 2 1 x2 2 x2 3. Main Theoem. fo 0 t < T ε, whee Unde the above assumptions, (1 has a C solution lim ε ln T ε = τ 0 ε 0 2 c = [ ( c ( c min q 2 q v1(q 0 3qv1(q 0 c (q q 0 (q 0 (q q R 0 c = c(, T ε denotes the lifespan of smooth solution. Remak. It is easy to know min q R0 [q 2 q v1 0(q3qv0 1 (q c(q q 0 (q 0 (q/ < 0 unless v1 0 0, 0 0. Moeove c ( c > 0 is known (see [5. Fo poving Theoem, we note that the otations of v ae zeo, then (1 will be educed into a nonlinea wave equation. As in [2, by constucting an appoximate solution consideing the diffeence of exact solution appoximate solution, we easily get the lowe bound of lifespan. On the othe h, the spheical symmeticity of solution makes us to change (1 into a 2 2 system equation in two vaiables (, t. Hence by using the popeties of above appoximate solution imitating the poof in [4, [6, [7, we may obtain the estimate of uppe bound fo the lifespan. Theoem assets that the solution of (1 blows up in finite time unless v 0 0, 0 0 in spite of any small ε. 2. The lowe bound of lifespan T ε Unde the assumptions of Theoem, we know the solution of (1 has such a fom in t < T ε : (x, t = (, t, v(x, t = ṽ(, tx, whee ṽ(, t

3-D AXISYMMETRIC COMPRESSIBLE EULER EQUATIONS 159 is a smooth function of (, t. Because of ot v(x, t = 0, thee exists a function ω(x, t C, such that v(x, t = ω(x, t, moeove ω(x, t has compact suppot in x (by the finite popagation speed we know v has compact suppot, depends only on. If we denote ω(, t = ω(x, t, then ω(, t = ṽ(, t. Substituing v(x, t = ω into the second equation in (1, then we have: t ω ( 1 2 ω 2 = h( whee h ( = c 2 (/, h( = 0. Hence t ω ω 2 /2 = h(. Noting h ( > 0, by implicit function theoem, we know that = h 1( ( t ω 1 2 ω 2, = h 1 (0 Theefoe, fom the fist eqution in (1, it tuns out Set 2 t ω 2 3 k=1 k ω t k ω h 1 ( ( t ω 1 2 ω 2 (h 1 ( ( t ω 1 2 ω 2 ω 3 i ω k ω i k ω = 0. i,k=1 Now we detemine the initial data ω t=0 t ω t=0. Obviously, ω t=0 = ε R 0 sv1 0 (s ds. Since t ω t=0 ( ω 2 t=0 /2 = c 2 ( t=0 /, then we have g(x, ε = t ω t=0 1 2 ε2 [ 2 (v 0 1( 2 = ε c2 0 ε 2 1 R 0 [ 1 0 0 (c 2 ( = θε0 dθ 0 0. (c 2 ( = θε0(s dθ 0 (s s 0 (s ds 1 2 2 (v1 0 (2, then g(x, ε is smooth in x, ε has compact suppot in R 0. So t ω t=0 = ε c 2 0 / ε 2 g(x, ε.

160 H. YIN AND Q. QIU Then fo consideing the lowe bound of lifespan fo (1, we only discuss the lowe bound of lifespan fo the following poblem: (2 2 t ω 2 ω t=0 = ε 3 k=1 k ω t k ω h 1 ( ( t ω 1 2 ω 2 (h 1 ( ( t ω 1 2 ω 2 ω 3 i ω k ω i k ω = 0 i,k=1 sv1 0 (s ds R 0 t ω t=0 = ε c2 0 ε 2 g(x, ε. It is easy to know h 1 ( ( tω ω 2 /2 (h 1 ( ( tω ω 2 /2 = c2 2 c ( t ω/ c O( x,t ω 2. we set t 2ω 0 c 2 ω 0 = 0 (3 ω 0 t=0 = sv1 0 (s ds R 0 t ω 0 t=0 = c2 0 ( U(s, q = c ( c U(s, q s 2 c 2 q U(0, q = F 0 (q. Whee F 0 (q is the Fiedle adiation field of (3. By [2, (6.2.12, we have F 0 (q = 1 [ c d ( q q sv q 2 dq 1(s 0 ds q c2 0(q R 0 = c ( q sv 2 1(s 0 ds q 2 v1(q 0 c q 0(q. R 0 Set ω a = ε[χ(εtω 0 (1 χ(εt 1 U(ε ln(εt, ct, whee χ C (R deceases, equals to 1 in (, 1, equals to 0 in (2,. Then we have the following conclusion: 2 Lemma 1. Fo sufficiently small ε > 0, ε ln T < b < τ 0, then

3-D AXISYMMETRIC COMPRESSIBLE EULER EQUATIONS 161 (i (2 has a C solution fo 0 < t T. (ii β x,t (ω ω a C β,bε 2 ln(1/ε, β 2. 1 t (iii β x,t x,tω a C β,bε, β 0. 1 t Poof. (i Noting 2 F 0 (q/ q 2 = c[q 2 q v 0 1 (q 3qv0 1 (q cq q 0 (q/ c 0 (q/ /2, as in [2, Theoem 6.5.7, we know (i holds. (ii By [2, Lemma 6.5.6 S.Klaineman s inequality in [8, we easily know (ii holds. (iii Its poof is simila to that in [2, Lemma 6.5.5. Fom Lemma 1 (i, it is easy to know that lim ε 0 ε ln T ε τ 0. Remak. We state that min q M [q 2 q v 0 1 (q3qv0 1 (q cq q 0 (q/ < 0 unless v 0 0 0 0. In fact, if min q M [q 2 q v 0 1 (q 3qv0 1 (q cq q 0 (q/ 0, then 2 F 0 (q/ q 2 0. Because F 0 (q has compact suppot in q M, then F 0 (q/ q 0, hence F 0 (q 0. By [2, Theoem 6.2.2, we have v 0 1 0, 0 0. 3. The uppe bound of lifespan T ε Assume that ω a, b ae defined as above, when ε ln T b, we set a = h 1 ( ( t ω a ω a 2 /2. Since a = 1 0 (h 1 ( θ ( t u 1 2 u 2 (1 θ ( t u a 1 2 u a 2 dθ [ t (u u a 1 2 ( u u a (u u a then by lemma 1, then we obtain (4 β x,t ( a C β,bε 2 ln(1/ε, β 2 1 t (5 β x,t ( a C β,bε 1 t, β 0 Set α(, t = ω(, t, α a (, t = ω a (, t. Fo the smooth solution of (1, we have

162 H. YIN AND Q. QIU (6 Lemma 2. (a α, satisfy the following system: t α ( α 2 α = 0 t α α α c2 ( = 0 (b Set = A(, t/, α = B(, t/, Z 1 = ( A/ B/c/2, Z 2 = ( A/ B/c/2, then (Z 1, Z 2 satisfy the following system: { t Z 1 (α c Z 1 = Q (7 1 t Z 2 (α c Z 2 = Q 2 whee Q 1 = Z2 1 (c c Z 1Z 2 ( 3c B Z [ 1 2 3B ca c A 2 c B ( c 2 ( 2c Z 2 2 [ B ca ( c 2 ( A c c B 2c 1 ( 2 ca 2 B B 2 ABc 2 2 4, Q 2 = Z 1Z 2 ( 3c 2A B Z [ 1 ( c 2 ( 2 Z 2 2 [ 1 ( 2 ca 2 B B 2 ABc 2 2 4. Z 2 ( 2 B c 1 [ B2 3 c ( c 2 ( A c B 2 AB 2 c 2 ( ca c A 2 B 2 cb 2 c 2 c 2 A 2 Z 2 ( 2 B 2A c 2c 3AB 2 cb 2 2 A c c 2 c B c A 2c 2 B 2 2 Bc 2 2B c 2 ( c 2 ( A c ca c B c A 2c 2 B 2 c 2 Bc 2 1 [ B2 3 c ( c 2 ( A 2 2c 3AB 2 Bc 2 2 Remak. It is vey impotant to appea the facto c( /2 in the coefficients of Z 1 / 2 in Q 1, o we can t give the uppe bound of lifespan T ε of solution to (1.

3-D AXISYMMETRIC COMPRESSIBLE EULER EQUATIONS 163 Poof. (a It can be veified diectly, we omit it. (b Since Z 1 Z 2 = B/c = (α α/c, Z 1 Z 2 = ( /, thus α = c(z 1 Z 2 2 α = c (Z 1 Z 2 2 = (Z 1 Z 2 then (8 (9 B 2, = (Z 1 Z 2 A 2, c (Z1 2 Z2 2 2 Ac (Z 1 Z 2 3 2c(Z 1 Z 2 2 2B 3, (Z 1 Z 2 2 2 A(Z 1 Z 2 3 2(Z 1 Z 2 2 2A 3. t (Z 1 Z 2 = B (Z 1 Z 2 c (Z 1 Z 2 c(z 1 Z 2 c (Z 1 Z 2 2 B 2 (Z 1 Z 2 2B2 c 3 2B(Z 1 Z 2 2 ( c 2 ( [ 2 (Z 1 Z 2 2 2A(Z 1 Z 2 c c 2 A2 c 3 c(z 1 Z 2 2 c (Z 1 Z 2 2 ca(z 1 Z 2 2 2c(Z 1 Z 2 ca 2 c B(Z 1 Z 2 c 2 t (Z 1 Z 2 = B (Z 1 Z 2 c (Z 1 Z 2 2c (Z2 1 Z2 2 2cA(Z 1 Z 2 2 3AB 3 B(Z 1 Z 2 2 2 2B(Z 1 Z 2 2 c (Z2 1 Z2 2 c A(Z 1 Z 2 2 2B 2 B (Z 1 Z 2 2 Bc 2 3 c(z 1 Z 2 B 2 B(z2 1 Z2 2 2 Bc(Z 1 Z 2 3 c(z 1 Z 2 2 B(Z 1 Z 2 2 ABc 2 4 Ac(Z 1 Z 2 2. Fom (8 (9, it is easy to obtain (7. Hence Lemma 2 is poved. Denote Γ ± λ as the integal cuves of t ± (α c passed though (λ, 0 in the plan (, t, D as the stip domain bounded by Γ R 0 Γ σ 0 1 whee

164 H. YIN AND Q. QIU σ 0 is taken such that (q 2 q v1 0(q 3qv0 1 (q cq q 0 (q/ c 0 (q q=σ0 / is minimum. D ε = D {t 1/}. As in [4, [6, [7, fo any T satisfying 1/ T e b/ε, b < τ 0, we define J(t = V (t = sup 1/ s t (,s D Z 1 (, s d, M(t = sup sup s Z 2 (, s. 1/ s t (,s D 1/ s t (,s D ( A(, s B(, s, Lemma 3. Thee exist some constants J 1, M 1, V 1 > 0, fo sufficiently small ε > 0 any t satisfying 1/ t T e b/ε, such that J(t J 1 ε, M(t M 1 ε, V (t V 1 ε 1/2. Moeove ct/2 in D ε. Since Poof. Fistly we veify the lemma fo 1/ t 1/ε. Set = a. It tuns out Noting that 2Z 1 = ( a 2Z 2 = ( a t 2Z 2 ( α a c t ( cte ( ε ε ln 1 ε. a α α a c α ( a α c c α c ( a α. c ( a α c α a c a = ( α a c (c c a c α a c a c α a c a = c ε( c ( t ωa F 0( ct [ 2F0 ( ct ε 3 qf 0 ( ct 2 O( x,t ω a 2 O( ω a ω a.

3-D AXISYMMETRIC COMPRESSIBLE EULER EQUATIONS 165 Thus, by β ( x,t ωa F 0( ct C β (1 t 2, β 0, ( c 2 t we know i.e., t Z 2 t α a c a cte ( ε ε ln 1 cteε 1/2 ε V (t cteε 1/2. On the othe h, owing to the width of D is finite Z 1 cteε, then J(t cteε, M(t = sup ( α ( cteε. 1/ s t (,s D We choose M 1 = (2 c 2 2 c J 1, V 1 = J 1, s.t. J(1/ J 1 ε/4, M(1/ M 1 ε/4 V (1/ J 1 ε 1/2 /4. Now we veify the lemma as 1/ t T T. Fo this aim, as in [4, we fist claim that: (i On Γ λ D, then ct λ cte. In paticula, fo t 1/ ε small enough, then 3 ct/4. In fact, along Γ λ D, d cdt = (α c c dt, then (10 ct λ cte cte t 0 t 0 α c c dt ε dt cteε ln(1 t cte. 1 t (ii If (, t Γ µ D ε, (, t Γ µ D ε, t t, then t t cte. In paticula, t t/2 fo sufficiently small ε. In fact, d dt ( ct µ cteε 1 t (t ct µ ((t ct µ cteε ln 1 t 1 t cte. Then imitating the poof in [4, we know the statement (ii holds.

166 H. YIN AND Q. QIU Choosing µ = α c, along the integtal cuve in D, we wite d(z 1 (d µdt = [(α c µ Z 1 Z 1 µ Q 1 d dt = Qd dt whee Q = Z 1Z 2 ( c 2c B Z 2 2 Z [ 1 2 2B ca ca 2 c B 2c B ca ( c 2 ( A Z 2 2 [ 1 ( ca 2 2 B B 2 cab 2 2 4. ( B c ( c 2 ( c c B 2c 1 [ 3 B2 c ( c 2 ( As in [4, we have (i Z 1 (, t d J ( 1 (,t D (ii cte Z 1 (, t d J ( 1 Γ (x,t D ε A c B 2 AB 2 c 2 ( ca ca 2 B 2 Bc 2 c 2 c 2 1/ s t (,s D A 2 2c 3AB 2 Bc 2 2 Q dds 1/ s t (,s D Q dds whee Γ (x, t is the integal cuve of t (α c passed though (x, t D ε. In D ε, fo sufficiently small ε, we have Q cte [ Z 1 ( V 1 ε 1/2 Hence 1/ s t (,s D 1 ε t 3 V 2 t 2 ( 1 M 1 ε t M 1ε t 2 M 1 2 t 3 M 1V 1 ε 3/2 t 3 ε t 2 V 1 ε 1/2 ( M1 t 3 ε t M 1ε t 2 M 2 1 ε2 t 3 M 2 1 ε2 t 4. Q dds ctej 1 ε 3/2, J(t J ( 1 Q dds 1 1/ s t 2 J 1ε. (,s D In ode to estimate M(t, we note that t A (α c A = 2cZ 1 AB 2 B t B (α c B = 2c 2 Z 1 B2 2 c2 ( A.

3-D AXISYMMETRIC COMPRESSIBLE EULER EQUATIONS 167 Then, fo ε small enough, we have ( A B (, t 3 4 M 1ε. Similaly, V (t V 1 ε 1/2 /2. Theefoe, by continuous induction, we know that Lemma 3 holds. Along Γ σ 0 D, we define w(t = Z 1 ((t, t. It is easy to know that w satisfies the equation: (11 w (t = a 0 (tw 2 a 1 (tw a 2 (t whee a 0 (t = ( c c ((t, t, a 1 (t = Z 2 ( 3c B a 2 (t = Z 2 B 2 AB 2 c ( c B 1 [ 2 3B ca c A 2 c B 2c 2 (, Z 2 [ 2 B ca B 2 Bc 2 c 2 c 2 1 [ 3 B2 c ( c 2 ( A 2 ( c 2 ( A c (c 2 ( A c cb 2c ca c A 2 1 ( ca 2 2 B B 2 2c 3AB 2 Bc 2 2 cab 2 2 4. Lemma 3 the above calculation give out the following estimates a 0 (t = c ( c ct O(t 2, a 1 (t cte ε1/2 t 2, a 2(t cte ε1/2 t 2 (12 w ( 1 1 [ (a (( 1 =, 1 ( 1 a (( 1, 1 2 a (( 1, 1 α a(( 1, 1 ( 1 α a (( 1, 1 c( a (( 1, 1 o(ε.

168 H. YIN AND Q. QIU As ε is small enough, fom the poof in Lemma 3, we know (1/ ( c/2(1/. So it tuns out: β x,t ( ω0 F 0( ct =(1/,t=1/ cte (1 1 cteε2, β 0 2 ( α a ( 1 1 [ q F 0 (( 1, = ε c ( 1 F 0(( 1 c 2 ( 1 a = ε c o(ε, q F 0 (( 1 c ( 1 ε c ( 1 [ 2 q F 0 (( 1 c ( 1 qf 0 (( 1 c 2 ( 1 o(ε. Substituting them into (12, we obtain w ( 1 = ε 2 w ( 1 ε q 2F 0(( 1 = c o(ε. c By (10, (1/ c/ σ 0 cteε ln(1 1/, then [ σ0 2 q v1(σ 0 0 3σ 0 v1(σ 0 0 c (σ 0 q 0 (σ 0 0 (σ 0 o(ε Denote K = ( T 1/ a 2(t dt exp( T 1/ a 1(t dt, note the equation (11 satisfies the conditions of [2, Lemma 1.3.2. in 1/ t T, so we obtain: that is ( T 1/ ( a 0 (t dt exp T 1/ a 1 (t dt < ( w ( 1 1 K c ( c (ln T ln O(εe cteε3/2 c [ < ε ( σ 2 2 0 q v1(σ 0 0 3σ 0 v1(σ 0 0 c σ 0 q 0 (σ 0 c 0(σ 0 o(ε cteε 3/2 1. Let ε 0, we get (13 lim ε ln T ε τ 0. ε 0 Combine (13 with the conclusion in 2, we know Theoem holds.

3-D AXISYMMETRIC COMPRESSIBLE EULER EQUATIONS 169 Refeences [1 S. Klaineman, Unifom decay estimate the Loentz invaiance of the classical wave equation, Comm. Pue Appl. math., 38 (1985, 321 332. [2 L. Höme, Nonlinea hypebolic diffeential equations, Lectues, 1986 1987. [3 T. Sideis, Fomation of solution singulaities in thee dimensional compessible fluids, Comm. Math. Phys., 101 (1985, 475 487. [4 S. Alinhac, Temps de vie des solutions eguliees de equations d Eule compessibles axisymetiques en dimendion deux, Invent. Math., 111 (1993, 627 667. [5 R. Couant, K. O. Fiedichs, Supesonic flow shock waves, Wiley Intescience, New Yok, 1949. [6 L. Höme, The lifespan of classical solutions of nonlinea hypebolic equations, Mittag-Leffle epot No. 5 (1985. [7 F. John, Blow-up of adial solutions of u tt = c 2 (u t u in thee space dimensions, Mat. Apl. Comput., 4 (1985, No. 1, 3 18. [8 S. Klaineman, Remaks on the global Sobelev inequalities in the Minkowski space R n1, Comm. Pue Appl. Math., 40 (1987, 111 117. Huicheng Yin Depatment of Mathematics Nanjing Univesity Nanjing 210093 P. R. China Qingjiu Qiu Depatment of Mathematics Nanjing Univesity Nanjing 210093 P. R. China