existence of global solutions for unsteady …existence of global solutions for unsteady isentropic...

85
. . . . . . Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time Global Solutions Naoki Tsuge Department of Mathematics Education, Faculty of Education, Gifu University The 7th Japanese-German International Workshop on Mathematical Fluid Dynamics, November 5 to 8, 2012, Waseda University, Tokyo, Japan Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 1 / 76

Upload: others

Post on 01-Jan-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Existence of Global Solutions for UnsteadyIsentropic Gas Flow in a Laval Nozzle

Properties of Steady Solutions and Existence of Time GlobalSolutions

Naoki Tsuge

Department of Mathematics Education, Faculty of Education, Gifu University

「The 7th Japanese-German International Workshop onMathematical Fluid Dynamics」,

November 5 to 8, 2012,Waseda University, Tokyo, Japan

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 1 / 76

Page 2: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

A Girl is Blowing out Candles.

The girl puckers up1 her mouth to make her breath stronger.

.Properties of Gas..

.

. ..

.

.

By making the exit (her mouth) of a nozzle (her windpipe) narrow, wecan make the gas (her breath) through the nozzle stronger.

1窄(すぼ)めるNaoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 2 / 76

Page 3: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

A Girl is Blowing out Candles.

The girl puckers up1 her mouth to make her breath stronger.

.Properties of Gas..

.

. ..

.

.

By making the exit (her mouth) of a nozzle (her windpipe) narrow, wecan make the gas (her breath) through the nozzle stronger.

1窄(すぼ)めるNaoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 2 / 76

Page 4: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

A Girl is Blowing out Candles.

The girl puckers up1 her mouth to make her breath stronger.

.Properties of Gas..

.

. ..

.

.

By making the exit (her mouth) of a nozzle (her windpipe) narrow, wecan make the gas (her breath) through the nozzle stronger.

1窄(すぼ)めるNaoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 2 / 76

Page 5: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Jet Engine of Plane

The exhaust port1 of the jet engine is convergent2 to make theexhaust gas3 stronger.

1排気口2狭まっている3排気ガス

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 3 / 76

Page 6: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Jet Engine of PlaneThe exhaust port1 of the jet engine is convergent2 to make theexhaust gas3 stronger.Is the exhaust port of every engine convergent?

1排気口2狭まっている3排気ガス

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 3 / 76

Page 7: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

RocketThe exhaust port of rocket engine is divergent1.

1広がっているNaoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 4 / 76

Page 8: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Rocket Engine

 Why does the rocket engine have convergent-divergent form?

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 5 / 76

Page 9: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Solar WindThe solar wind is the stream of plasma ejected from the corona of thesun. It consists of electrons and positive ions. The solar wind collideswith the magnetosphere1 of the earth. As a result, influencing itsmagnetic field, the solar wind causes the outbreak of auroras and theelectromagnetic interference2.

1磁気圏2電波障害

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 6 / 76

Page 10: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Speed of Solar Wind near the Orbit of the Earth

The speed of the solar wind near the orbit of the earth is 300~700km/s.Why is the speed of the solar wind so large?

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 7 / 76

Page 11: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Speed of Solar Wind near the Orbit of the Earth

The speed of the solar wind near the orbit of the earth is 300~700km/s.Why is the speed of the solar wind so large?

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 7 / 76

Page 12: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Contents

.. .1 Steady Flow

Compressible Euler EquationsProperties of the Steady SolutionsLaval NozzleSolar Wind

.. .2 Unsteady Flow

Compressible Euler EquationsOne-dimensional FlowRelative ResultsMain TheoremOutline of the Proof

.. .3 Appendix

Recent Result for General Nozzle

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 8 / 76

Page 13: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Outline

.. .1 Steady Flow

Compressible Euler EquationsProperties of the Steady SolutionsLaval NozzleSolar Wind

.. .2 Unsteady Flow

Compressible Euler EquationsOne-dimensional FlowRelative ResultsMain TheoremOutline of the Proof

.. .3 Appendix

Recent Result for General Nozzle

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 9 / 76

Page 14: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Nozzle

x

Entry ( 入口 ) Exhaust ( 出口 )

Figure: Nozzle

.Remark..

.

. ..

.

.

In this section, we consider the only gas which flows from left to right.Therefore, every velocity, momentum and Mach number are positive inthis section. Moreover, we call the left and right of the nozzle the entryand exhaust section.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 10 / 76

Page 15: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Isentropic Gas Flow through a Nozzle of (Slowly)Varying Cross Section A(x)Compressible Euler Equations :The equations represent the motionof the inviscid and compressible gas through a nozzle.

m′ = −A′(x)A(x)

m,(m2

ρ+ p(ρ)

)′

= −A′(x)A(x)

m2

ρ,

x ∈ R, ′ =ddx

.

ρ: the density of the gasv : the velocity of the gasm = ρv : the momentum of the gasγ ∈ (1,5/3]: the adiabatic exponent1

p(ρ) = ργ/γ: the pressure of the gasA(x): the cross section2 of the nozzle at x

1比熱比2断面積

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 11 / 76

Page 16: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Outline

.. .1 Steady Flow

Compressible Euler EquationsProperties of the Steady SolutionsLaval NozzleSolar Wind

.. .2 Unsteady Flow

Compressible Euler EquationsOne-dimensional FlowRelative ResultsMain TheoremOutline of the Proof

.. .3 Appendix

Recent Result for General Nozzle

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 12 / 76

Page 17: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Mass Flow Conservation, the Bernoulli Equation

m′ = −A′(x)

A(x)m,(

m2

ρ+ p(ρ)

)′

= −A′(x)A(x)

m2

ρ,

x ∈ R. (1.1)

From (1.1), we obtainMass Flow Conservation

A(x)m = A(x)ρv = C1 (1.2)

and

Bernoulli Equation:

v2

2+

ργ−1

γ − 1= C2. (1.3)

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 13 / 76

Page 18: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Mach Number, Supersonic, Sonic, Subsonic, Thrust

c :=√

p′(ρ) = ργ−1

2 :sonic speed (the speed of sound)

M :=vc

: Mach number

▶ M > 1 supersonic=⇒The speed of gas is greater than that ofsound.

▶ M = 1 sonic=⇒The speed of gas is equal to that of sound.▶ M < 1 subsonic=⇒The speed of gas is lower than that of sound.

Thrust1 is the force that produced by an engine to push a planeand rocket forward.Thrust T = the mass of the exhaust gas jetting per secondA(x)ρv×the velocity of the exhaust gas v .

T = A(x)ρv2 (1.4)

1推(進)力Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 14 / 76

Page 19: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Outline

.. .1 Steady Flow

Compressible Euler EquationsProperties of the Steady SolutionsLaval NozzleSolar Wind

.. .2 Unsteady Flow

Compressible Euler EquationsOne-dimensional FlowRelative ResultsMain TheoremOutline of the Proof

.. .3 Appendix

Recent Result for General Nozzle

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 15 / 76

Page 20: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Gustaf de Laval

Figure: Gustaf de Laval (1845-1913)

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 16 / 76

Page 21: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Shape of the Rocket Engine

.Question 1..

.

. ..

.

.

Why dose the exhaust port of the rocket engine have theconvergent-divergent form?

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 17 / 76

Page 22: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Internal Constitution of the Rocket Engine

oxygen (oxidizing agent) hydrogen (fuel)

combustion cham

ber

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 18 / 76

Page 23: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Laval Nozzle (Convergent-Divergent Nozzle)

O

Throat (the point where A(x) is minimum. )

xx

0M

Entry Exhaust

0

Figure: Laval Nozzle

We assume that A(x) satisfies the following.A′(x) ≤ 0, x < 0,

A′(x) ≥ 0, x ≥ 0,

A′(0) = 0.

(1.5)

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 19 / 76

Page 24: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Purpose.Purpose..

.

. ..

.

.

If the Mach number of the exhaust gas at the entry section is lowerthan 1 (i.e. M0 < 1), we want to make the thrust (of the exhaust gas atthe exhaust section) T maximum.

From (1.2) and (1.3),

T = A(x)ρv2 = C1

√(γ − 1)C2

1√γ−1

2 + 1M2

(1.6)

=⇒ T is the increasing function of M.

.Purpose..

.

. ..

.

.

If the Mach number of the exhaust gas at the entry section is lowerthan 1 (i.e. M0 < 1), we want to make the Mach number (of theexhaust gas at the exhaust section) M maximum.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 20 / 76

Page 25: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Purpose.Purpose..

.

. ..

.

.

If the Mach number of the exhaust gas at the entry section is lowerthan 1 (i.e. M0 < 1), we want to make the thrust (of the exhaust gas atthe exhaust section) T maximum.

From (1.2) and (1.3),

T = A(x)ρv2 = C1

√(γ − 1)C2

1√γ−1

2 + 1M2

(1.6)

=⇒ T is the increasing function of M.

.Purpose..

.

. ..

.

.

If the Mach number of the exhaust gas at the entry section is lowerthan 1 (i.e. M0 < 1), we want to make the Mach number (of theexhaust gas at the exhaust section) M maximum.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 20 / 76

Page 26: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Purpose.Purpose..

.

. ..

.

.

If the Mach number of the exhaust gas at the entry section is lowerthan 1 (i.e. M0 < 1), we want to make the thrust (of the exhaust gas atthe exhaust section) T maximum.

From (1.2) and (1.3),

T = A(x)ρv2 = C1

√(γ − 1)C2

1√γ−1

2 + 1M2

(1.6)

=⇒ T is the increasing function of M.

.Purpose..

.

. ..

.

.

If the Mach number of the exhaust gas at the entry section is lowerthan 1 (i.e. M0 < 1), we want to make the Mach number (of theexhaust gas at the exhaust section) M maximum.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 20 / 76

Page 27: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Properties of F (M)

From (1.1), we obtain the following

(A(x)F (M))′ = 0 =⇒ A(x)F (M) = A(x0)F (M0), (1.7)

where

F (M) = M

(γ+1

2

1 + γ−12 M2

) γ+12(γ−1)

.

.Properties of F (M)..

.

. ..

.

.

F (0) = 0, F (1) = 1.{F ′(M) ≥ 0, 0 ≤ M < 1,

F ′(M) ≤ 0, M ≥ 1.

F (M) → 0 (M → ∞).

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 21 / 76

Page 28: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Properties of F (M)

From (1.1), we obtain the following

(A(x)F (M))′ = 0 =⇒ A(x)F (M) = A(x0)F (M0), (1.7)

where

F (M) = M

(γ+1

2

1 + γ−12 M2

) γ+12(γ−1)

.

.Properties of F (M)..

.

. ..

.

.

F (0) = 0, F (1) = 1.{F ′(M) ≥ 0, 0 ≤ M < 1,

F ′(M) ≤ 0, M ≥ 1.

F (M) → 0 (M → ∞).

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 21 / 76

Page 29: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Graph of F (M)

O

F

M

1

1

Figure: Graph of MF

.Purpose.... ..

.

.We investigate the increase and decrease of the Mach number M.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 22 / 76

Page 30: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Graph of F (M)

O

F

M

1

1

Figure: Graph of MF

.Purpose.... ..

.

.We investigate the increase and decrease of the Mach number M.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 22 / 76

Page 31: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Value of M on x0 ≤ x ≤ 0

O

F

M(x)M M(0)0

0 0

00

0

1

1 M

F(M )

A(x )F(M )/A(0)

A(x )F(M )/A(x)

=M(x )0

Figure: Graph of MF

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 23 / 76

Page 32: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Value of M on x0 ≤ x ≤ 0

O

F

M(x)M M(0)0

0 0

00

0

1

1 M

F(M )

A(x )F(M )/A(0)

A(x )F(M )/A(x)

=M(x )0

Figure: Graph of MF

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 24 / 76

Page 33: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Value of M on x > 0

O

F

M(x) M(0)

0 0

00

1

1 M

A(x )F(M )/A(0)

A(x )F(M )/A(x)

Figure: Graph of MF

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 25 / 76

Page 34: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Value of M on x > 0

O

F

M(x) M(0)

0 0

00

1

1 M

A(x )F(M )/A(0)

A(x )F(M )/A(x)

Figure: Graph of MF

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 26 / 76

Page 35: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Graph of xM

M

xO

1

M

M

0

0

0x

Figure: Graph of xM

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 27 / 76

Page 36: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Value of M on x > 0

O

F

M(x) M(0)

0 0

00

1

1 M

A(x )F(M )/A(0)

A(x )F(M )/A(x)

Figure: Graph of MF

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 28 / 76

Page 37: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Critical Value of M0

A solution only exists, if the following holds

A(x0)

A(0)F (M0) ≤ 1.

Varying M0, we consider the case where the equal sign is valid.

A(x0)

A(0)F (M0) = 1.

We denote M0 in this case by M0. We call M0 the critical value of theMach number.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 29 / 76

Page 38: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Graph of F (M) on x0 ≤ x ≤ 0 in the Case where M0 isthe Critical Value

O

F

M(x)M

0

0

1 M

F(M )

A(x )F(M )/A(0)

A(x )F(M )/A(x)

^

^

^

^

0

0

0

0

^

Figure: Graph of MF

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 30 / 76

Page 39: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Graph of F (M) on x > 0 in the Case where M0 is theCritical Value 1

O

F

M(x)

0

0

1 M

A(x )F(M )/A(0)

A(x )F(M )/A(x)

^

^

0

0

^

Figure: Graph of MF

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 31 / 76

Page 40: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Bifurcation 1 (Subsonic-Subsonic Flow)

M

xO

1

M^

M

M

0

0

0x

0

Figure: Graph of xM

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 32 / 76

Page 41: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Graph of F (M) on x > 0 in the Case where M0 is theCritical Value 2

O

F

0

0

1 M

A(x )F(M )/A(0)

A(x )F(M )/A(x)

^

^

M(x)

0

0

^

Figure: Graph of MF

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 33 / 76

Page 42: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Bifurcation 2 (Subsonic-Supersonic Flow)

M

xO

1

M^

M

M

0

0

0x

0

Figure: Graph of xM

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 34 / 76

Page 43: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Properties of Laval Nozzle

.Properties of Laval Nozzle..

.

. ..

.

.

By using the Laval nozzle, we can obtain the supersonic gas (M > 1)from the subsonic gas (M < 1). As a result, the gas has the maximalthrust at the exhaust section.=⇒The Laval nozzle is essential for the rocket and the supersonic jetplane.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 35 / 76

Page 44: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Properties of Laval Nozzle

.Properties of Laval Nozzle..

.

. ..

.

.

By using the Laval nozzle, we can obtain the supersonic gas (M > 1)from the subsonic gas (M < 1). As a result, the gas has the maximalthrust at the exhaust section.=⇒The Laval nozzle is essential for the rocket and the supersonic jetplane.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 35 / 76

Page 45: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Outline

.. .1 Steady Flow

Compressible Euler EquationsProperties of the Steady SolutionsLaval NozzleSolar Wind

.. .2 Unsteady Flow

Compressible Euler EquationsOne-dimensional FlowRelative ResultsMain TheoremOutline of the Proof

.. .3 Appendix

Recent Result for General Nozzle

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 36 / 76

Page 46: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Solar Wind

.Question 2.... ..

.

.Why is the speed of the solar wind so large near the orbit of the earth?

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 37 / 76

Page 47: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Spherically Symmetric Flow around the Sun

r

O

Sun

r0

Figure: Spherical Symmetric Flow around the Sun

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 38 / 76

Page 48: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Spherical Symmetric Gas Flow with the GravitationalSource Term

We consider the isothermal case (γ = 1).m′ = −2

rm,(

m2

ρ+ ρ

)′

= −2r

m2

ρ− GMs

r2 ρ, r ≥ r0,′ =

ddr

.(1.8)

G: the gravitational constantMs: the mass of the sunr : the distance from the center of the sun

.Remark.... ..

.

.From p(ρ) = ρ, since c = 1, we find v = M.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 39 / 76

Page 49: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Comparison between Plasma and Laval Nozzle

From (1.8), we have the following.

(Fs(M)As(r))′ = 0, (1.9)

where

Fs(M) = Me− 12 M2

, As(r) = r2eGMs

r .

Fs(M) and As(r) satisfy the following.F ′

s(M) ≥ 0, 0 ≤ M ≤ 1,

F ′s(M) ≤ 0, 1 < M,

Fs(0) = 0,

Fs(M) → 0 (M → ∞),

A′

s(r) ≤ 0, r0 ≤ r < GMs/2,

A′s(r) ≥ 0, r ≥ GMs/2,

A′s(GMs/2) = 0.

(1.10)

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 40 / 76

Page 50: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

.Conclusion..

.

. ..

.

.

(1.8) has the same structure as the Laval nozzle. Therefore, themotion of plasma is the same as that of the gas in the Laval nozzle. Asa result, the plasma can be supersonic.

M

rO

1

M^

M

M

0

0

0r

0

This plasma has a large speed.

It is called the solar wind.

GM /2s

Figure: Graph of Solar Wind

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 41 / 76

Page 51: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Outline

.. .1 Steady Flow

Compressible Euler EquationsProperties of the Steady SolutionsLaval NozzleSolar Wind

.. .2 Unsteady Flow

Compressible Euler EquationsOne-dimensional FlowRelative ResultsMain TheoremOutline of the Proof

.. .3 Appendix

Recent Result for General Nozzle

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 42 / 76

Page 52: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Isentropic Gas Flow through a Nozzle of (Slowly)Varying Cross Section A(x)

ρt + mx = a(x)m,

mt +

(m2

ρ+ p(ρ)

)x= a(x)

m2

ρ,

x ∈ R. (2.1)

ρ: the density of gas

v : the velocity of gas

m = ρv : the momentum of gas

γ ∈ (1,5/3]: the adiabatic exponent

p(ρ) = ργ/γ: the pressure of gas

a(x) = −A′(x)/A(x), A(x): the cross section of the nozzle at x

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 43 / 76

Page 53: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

For simplicity, we denote (2.1) by

ut + f (u)x = g(x ,u), u =

(ρm

). (2.1)

Then, we consider the Cauchy problem (2.1) with initial data

u∣∣t=0 = u0(x) = (ρ0(x),m0(x)). (2.2)

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 44 / 76

Page 54: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Riemann Invariants

We define Riemann invariants by

z = v − ρθ

θ, w = v +

ρθ

θ, θ =

γ − 12

. (2.3)

.Properties of Riemann Invariants..

.

. ..

.

.

If v ≥ 0, |w | ≥ |z| and w ≥ 0.

If v ≤ 0, |w | ≤ |z| and z ≤ 0.

z is bounded from below and w is bounded from above. ⇐⇒ ρand v are bounded.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 45 / 76

Page 55: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Outline

.. .1 Steady Flow

Compressible Euler EquationsProperties of the Steady SolutionsLaval NozzleSolar Wind

.. .2 Unsteady Flow

Compressible Euler EquationsOne-dimensional FlowRelative ResultsMain TheoremOutline of the Proof

.. .3 Appendix

Recent Result for General Nozzle

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 46 / 76

Page 56: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Diagonalization, Characteristic Speed

One-dimensional Euler equations (i.e., A′(x) = 0):ρt + mx = 0,

mt +

(m2

ρ+ p(ρ)

)x= 0,

x ∈ R. (2.4)

If (2.4) has a smooth solution, we can diagonalize (2.4) into{zt + λ1zx = 0,wt + λ2wx = 0,

(2.5)

where λ1 and λ2 are characteristic speeds defined by

λ1 = v − ρθ, λ2 = v + ρθ.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 47 / 76

Page 57: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Existence of Invariant Regions.Theorem 1 (by Chueh, K. N., Conley, C. C., Smoller, J. A. in1977)..

.

. ..

.

.

For any fixed C1,C2 > 0, if initial data u0(x) are contained the region∆ = {(ρ, v) ∈ R2; ρ ≥ 0, z ≥ −C1, w ≤ C2}, solutions to the Cauchyproblem of (2.4) are also contained in ∆.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 48 / 76

Page 58: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Existence of Solutions for One-dimensional Case (2.4).Theorem 2 (by (1) DiPerna, R. J. in 1983, (2) Ding, X., Chen,G.-Q., and Luo, P. in 1985).... ..

.

.If ρ0, v0 ∈ L∞(R), the Cauchy problem of (2.4) has a weak solution.

Outline of the proof...1 We deduce from Theorem 1 the L∞ estimate of approximate

solutions (constructed by difference schemes and vanishingviscosity methods).

...2 We deduce from the compactness of approximate solutions.

...3 From compensated compactness, we derive the convergence ofapproximate solutions.

.Remark 1.... ..

.

.The invariant region for the nozzle flow (2.1) has not yet been obtained.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 49 / 76

Page 59: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Outline

.. .1 Steady Flow

Compressible Euler EquationsProperties of the Steady SolutionsLaval NozzleSolar Wind

.. .2 Unsteady Flow

Compressible Euler EquationsOne-dimensional FlowRelative ResultsMain TheoremOutline of the Proof

.. .3 Appendix

Recent Result for General Nozzle

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 50 / 76

Page 60: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Relative Results (the Glimm Scheme)

...1 Liu, T. P. (1979)Existence of time global solutions to n × n system of conservationlaws with inhomogeneous terms including (2.1).: The Cauchyproblem (2.1)–(2.2) has a time global solution, provided that

(C1) the total variation of initial data is small enough,(C2) initial data are away from sonic states,(C3) inhomogeneous terms are small enough in L1 and L∞.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 51 / 76

Page 61: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Bifurcation 2(Subsonic-Supersonic Flow)

M

xO

1

M^

M

M

0

0

0x

0

Figure: Graph of x and M

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 52 / 76

Page 62: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Relative Results (the Glimm Scheme)

...1 Liu, T. P. (1979)Existence of time global solutions to n × n system of conservationlaws with inhomogeneous terms including (2.1).:The Cauchyproblem (2.1)–(2.2) has a time global solution, provided that

(C1) the total variation of initial data is small enough,(C2) initial data are away from sonic states,(C3) inhomogeneous terms are small enough in L1 and L∞.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 53 / 76

Page 63: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Relative Results (Compensated Compactness)

...5 Tsuge, N. (2006)Existence of time global solutions to an exterior problem withspherical symmetry (i.e., the initial-boundary value problem of(2.1) with A(x) = x2 the boundary condition m|x=1 = 0 x ≥ 1):For any fixed C1,C2 > 0, if initial data satisfy

ρ0(x) ≥ 0, −C1x− 2(γ−1)γ+1 ≤ z(u0(x)), w(u0(x)) ≤ C2,

the initial-boundary problem has a solution.method:the Godunov scheme

...6 Lu, Y.-G. (2011)Existence of time global solutions to the Cauchy problem of (2.1)with the monotone cross sectionmethod: vanishing viscosity

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 54 / 76

Page 64: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Outline

.. .1 Steady Flow

Compressible Euler EquationsProperties of the Steady SolutionsLaval NozzleSolar Wind

.. .2 Unsteady Flow

Compressible Euler EquationsOne-dimensional FlowRelative ResultsMain TheoremOutline of the Proof

.. .3 Appendix

Recent Result for General Nozzle

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 55 / 76

Page 65: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Laval Nozzle

We hereafter consider the following Laval nozzle(A′(x) ≤ 0, x ≤ 0, A′(x) ≥ 0, x ≥ 0).

entry exhaust

O

throat (the point where A(x) is minimum)

x

Figure: Laval nozzle

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 56 / 76

Page 66: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Main Theorem

.Theorem 3 (published in ARMA)..

.

. ..

.

.

For any fixed M > 0, if initial data satisfy

− M{A−(x)}−γ−1γ+1 ≤ z(u0(x)), w(u0(x)) ≤ M{A+(x)}−

γ−1γ+1 ,

0 ≤ ρ0(x),(2.6)

the Cauchy problem (2.1)–(2.2) has a weak entropy solution, where

A−(x) =

{A(x), x ≥ 0,

A(0), x < 0,A+(x) =

{A(0), x ≥ 0,

A(x), x < 0.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 57 / 76

Page 67: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Remark for Theorem 3

...1 If A(x) is uniformly bounded, the condition (2.6) implies that wecan give arbitrary L∞ data, ρ0, v0 ∈ L∞(R).

...2 Our theorem contains sonic state, subsonic-supersonic flow.

...3 Solutions u(x , t) of Theorem 3 satisfy

− M{A−(x)}−γ−1γ+1 ≤ z(u(x , t)), w(u(x , t)) ≤ M{A+(x)}−

γ−1γ+1 ,

0 ≤ ρ(x , t).

That is, the region

∆x = {(z,w); ρ ≥ 0, −M{A−(x)}−γ−1γ+1 ≤ z, w ≤ M{A+(x)}−

γ−1γ+1 }

is the invariant region for the Cauchy problem (2.1)–(2.2).

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 58 / 76

Page 68: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Invariant Region ∆x

Figure: Invariant Region ∆x

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 59 / 76

Page 69: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

What Kinds of Nozzles Can We Apply the Method ofTheorem 3 to?

Laval nozzle

Concentration

Figure: Four kinds of nozzles

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 60 / 76

Page 70: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Outline

.. .1 Steady Flow

Compressible Euler EquationsProperties of the Steady SolutionsLaval NozzleSolar Wind

.. .2 Unsteady Flow

Compressible Euler EquationsOne-dimensional FlowRelative ResultsMain TheoremOutline of the Proof

.. .3 Appendix

Recent Result for General Nozzle

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 61 / 76

Page 71: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Diagonalization of (2.1)

If (2.1) has a smooth solution, we can diagonalize (2.1) into

zt + λ1zx = −a(x)ρθv ,

wt + λ2wx = a(x)ρθv .(2.7)

For symmetry, we consider the only case where x ≥ 0. Then, wenotice that a(x) ≤ 0..Effect of inhomogeneous term of (2.7)..

.

. ..

.

.

If v is positive, the inhomogeneous term makes z increase and wdecrease in t .

If v is negative, the inhomogeneous term makes z increase and wdecrease in t .

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 62 / 76

Page 72: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Riemann Invariants

We define Riemann invariants by

z = v − ρθ

θ, w = v +

ρθ

θ, θ =

γ − 12

. (2.3)

.Properties of Riemann Invariants..

.

. ..

.

.

z is bonded from below and w is bounded from above. ⇐⇒ ρ andv are bounded.

If v ≥ 0, |w | ≥ |z| and w ≥ 0.

If v ≤ 0, |w | ≤ |z| and z ≤ 0.

v =w + z

2.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 63 / 76

Page 73: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Diagonalization of (2.1)If (2.1) has a smooth solution, we can diagonalize (2.1) into

zt + λ1zx = −a(x)ρθv ,wt + λ2wx = a(x)ρθv .

(2.7)

For symmetry, we consider the only case where x ≥ 0. Then, wenotice that a(x) ≤ 0..Effect of inhomogeneous term of (2.7)..

.

. ..

.

.

If v is positive, inhomogeneous term makes z increase and wdecrease in t .

If v is negative, inhomogeneous term makes z increase and wdecrease in t .

.Most Difficult Point.... ..

.

.The bounded estimate of z from below in the case where v is negative.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 64 / 76

Page 74: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Transformation of (2.7)

We set z = {A(x)}γ−1γ+1 z. From (2.6)1, we find −M ≤ z0(x).

Moreover, from (2.7)1, we have

zt + λ1(u)zx = −γ − 1γ + 1

a(x) {A(x)}γ−1γ+1

((v)2 +

(ρ)2θ

θ

). (2.8)

.Remark 2.... ..

.

.The inhomogeneous term of (2.8) is nonnegative.

Set w = {A(0)}γ−1γ+1 w . From (2.6)2, we find w0(x) ≤ M.

Moreover, from (2.7)2, we have

wt + λ2wx = a(x) {A(0)}γ−1γ+1 ρθv = a(x) {A(0)}

γ−1γ+1 ρθ

w + z2

(2.9)

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 65 / 76

Page 75: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Outline of the Proof

We formally prove that ∆x is an invariant region, that is, for any fixedM > 0, initial data satisfy

−M{A−(x)}−γ−1γ+1 ≤ z0(x), w0(x) ≤ M{A+(x)}−

γ−1γ+1 ,

solutions to the Cauchy problem (2.1)–(2.2)

−M{A−(x)}−γ−1γ+1 ≤ z(x , t), w(x , t) ≤ M{A+(x)}−

γ−1γ+1 , (2.10)

where

A−(x) =

{A(x), x ≥ 0,

A(0), x < 0,A+(x) =

{A(0), x ≥ 0,

A(x), x < 0.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 66 / 76

Page 76: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

We set z = {A−(x)}γ−1γ+1 z, w = {A+(x)}

γ−1γ+1 w . We prove the following.

If

−M ≤ z0(x), w0(x) ≤ M,

−M ≤ z(x , t), w(x , t) ≤ M.

For any positive constant ε and T , we set

z(x , t) = z(x , t) +ε

T − t, w(x , t) = w(x , t)− ε

T − t.

Then we find

−M<z0(x), w0(x)<M.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 67 / 76

Page 77: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

.Purpose..

.

. ..

.

.

We assume z(x , t) and w(x , t) have compact supports on 0 ≤ t < T .Then, on 0 ≤ t < T , we shall prove

−M < z(x , t), w(x , t) < M.

At a point x = x∗, t = t∗ (t∗ < T ), if

−M = z(x∗, t∗), − M < z(x , t), w(x , t) < M, 0 ≤ t < t∗ (2.11)

or

w(x∗, t∗) = M, − M < z(x , t), w(x , t) < M, 0 ≤ t < t∗ (2.12)

hold, we shall deduce a contradiction.We hereafter consider the only case where x∗ ≥ 0. We can similarlytreat with the case where x∗ < 0.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 68 / 76

Page 78: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

The Case where (2.11) Holds

Then, since z attains the minimum at x = x∗, t = t∗, we findzt ≤ 0, zx = 0.On the other hand, from

zt + λ1(u)zx = −γ − 1γ + 1

a(x) {A(x)}γ−1γ+1

((v)2 +

(ρ)2θ

θ

)(2.9)

and z(x , t) = z(x , t) + ε/(T − t), at x = x∗, t = t∗ we have

zt + λ1(u)zx = −γ − 1γ + 1

a(x) {A(x)}γ−1γ+1

((v)2 +

(ρ)2θ

θ

)+

ε

(T − t)2 > 0.

This is a contradiction.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 69 / 76

Page 79: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

The Case where (2.12) Holds

Then, w attains the maximum at x = x∗, t = t∗, we find wt ≥ 0, wx = 0.On the other hand, at x = x∗, t = t∗, we notice that

w + z = {A(0)}−γ−1γ+1 w + {A(x∗)}−

γ−1γ+1 z

= {A(0)}−γ−1γ+1

(w +

ε

T − t

)+ {A(x∗)}−

γ−1γ+1

(z − ε

T − t

)≥(

M +ε

T − t

)[{A(0)}−

γ−1γ+1 − {A(x∗)}−

γ−1γ+1

]≥ 0.

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 70 / 76

Page 80: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Then, from

wt + λ2wx = a(x) {A(0)}γ−1γ+1 ρθ

w + z2

(2.10)

and w(x , t) = w(x , t)− ε/(T − t), we have

wt + λ2wx = a(x) {A(0)}γ−1γ+1 ρθ

w + z2

− ε

(T − t)2 < 0.

This is a contradiction.Since ε and T are arbitrary, we can prove (2.10).

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 71 / 76

Page 81: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Outline

.. .1 Steady Flow

Compressible Euler EquationsProperties of the Steady SolutionsLaval NozzleSolar Wind

.. .2 Unsteady Flow

Compressible Euler EquationsOne-dimensional FlowRelative ResultsMain TheoremOutline of the Proof

.. .3 Appendix

Recent Result for General Nozzle

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 72 / 76

Page 82: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

In this section, we consider a general nozzle.We choose positive constants M, σ and nonnegative functionb ∈ C1(R) such that

∥b∥L1 ≪ M ≪ 1. (3.1)

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 73 / 76

Page 83: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Main Theorem 2

.Theorem 4 (to appear in ARMA)..

.

. ..

.

.

For M and b in (3.1), we assume that initial datau0 = (ρ0,m0) ∈ L∞(R) satisfy

0 ≤ ρ0(x), −M −∫ ∞

xb(y)dy ≤ z(u0(x)),

w(u0(x)) ≤ M +

∫ x

−∞b(y)dy .

(3.2)

Then the Cauchy problem (2.1)–(2.2) has a weak entropy solution.

.Remark 3.... ..

.

.The solution of Theorem 4 satisfy the same inequality as (3.2).

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 74 / 76

Page 84: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

References

Chueh, K. N., Conley, C. C. and Smoller, J. A.: Positively invariantregions for systems of nonlinear diffusion equations. Indiana Univ.Math. J. bf 26, 373–392 (1977)

DiPerna, R.J.: Convergence of the viscosity method for isentropicgas dynamics. Commun. Math. Phys. 91, 1–30 (1983)

Ding, X., Chen, G.-Q., Luo, P.: Convergence of the Lax-Friedrichsscheme for isentropic gas dynamics (I)–(II). Acta MathematicaScientia 5, 415–432, 433–472 (1985)

Liu, T.-P.: Quasilinear hyperbolic systems. Commun. Math. Phys.68, 141–172 (1979)

Lu, Y.-G.: Global existence of solutions to resonant system ofisentropic gas dynamics. Nonlinear Anal. Real World Appl. 12,2802–2810 (2011)

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 75 / 76

Page 85: Existence of Global Solutions for Unsteady …Existence of Global Solutions for Unsteady Isentropic Gas Flow in a Laval Nozzle Properties of Steady Solutions and Existence of Time

. . . . . .

Tsuge, N.: Global L∞ solutions of the compressible Eulerequations with spherical symmetry. J. Math. Kyoto Univ. 46,457–524 (2006)

Tsuge, N.: Existence of global solutions for unsteady isentropicgas flow in a Laval nozzle. Arch. Rational Mech. Anal. 205,151–193 (2012)

Tsuge, N.: Isentropic gas flow for the compressible Euler equationin a nozzle. Arch. Rational Mech. Anal. (to appear)

Naoki Tsuge (Gifu University) Isentropic Gas Flow in a Laval Nozzle Japanese-German Workshop 76 / 76