Notes: Outline. Shock formation. Notes: Notes: Shocks in traffic flow

Transcription

1 Outline Scalar nonlinear conservation laws Traffic flow Shocks and rarefaction waves Burgers equation Rankine-Hugoniot conditions Importance of conservation form Weak solutions Reading: Chapter, 2 R.J. LeVeque, University of Washington IPDE 2, June 3, 2 R.J. LeVeque, University of Washington IPDE 2, June 3, 2 Shock formation For nonlinear problems wave speed generally depends on q. Waves can steepen up and form shocks = even smooth data can lead to discontinuous solutions. Note: System of two equations gives rise to 2 waves. Each wave behaves like solution of nonlinear scalar equation. R.J. LeVeque, University of Washington IPDE 2, June 3, 2 [FVMHP Chap. 3] Not quite... no linear superposition. Nonlinear interaction! R.J. LeVeque, University of Washington IPDE 2, June 3, 2 [FVMHP Chap. 3] Shocks in traffic flow

2 Car following model X j (t) = location of jth car at time t on one-lane road. dx j (t) dt = V j (t). Velocity V j (t) of jth car varies with j and t. Simple model: Driver adjusts speed (instantly) depending on distance to car ahead. V j (t) = v ( X j+ (t) X j (t) ) for some function v(s) that defines speed as a function of separation s. Simulations: Function v(s) (speed as function of separation) { ( ) u ma L v(s) = s if s L, if s L. where: L = car length u max = maximum velocity Local density: < L/s (s = L = bumper-to-bumper) Continuum model Switch to density function: Let q(x, t) = density of cars, normalized so: Units for x: carlengths, so x = is carlengths from x =. Units for q: cars per carlength, so q. Total number of cars in interval x x 2 at time t is x2 q(x, t) dx

3 Flux function for traffic q(x, t) = density, u(x, t) = velocity = U(q(x, t)). flux: f(q) = uq Conservation law: q t + f(q) x =. Constant velocity u max independent of density: f(q) = u max q = q t + u max q x = (advection) Velocity varying with density: V (s) = u max ( L/s) = U(q) = u max ( q), f(q) = u max q( q) (quadratic nonlinearity) Characteristics for a scalar problem q t + f(q) x = = q t + f (q)q x = (if solution is smooth). Characteristic curves satisfy X (t) = f (q(x(t), t)), X() = x. How does solution vary along this curve? d dt q(x(t), t) = q x(x(t), t)x (t) + q t (X(t), t) = q x (X(t), t)f(q(x(t), t)) + q t (X(t), t) = So solution is constant on characteristic as long as solution stays smooth. q(x(t), t) = constant = X (t) is constant on characteristic, so characteristics are straight lines! Nonlinear Burgers equation Conservation form: u t + ( 2 u2) x =, f(u) = 2 u2. Quasi-linear form: u t + uu x =. This looks like an advection equation with u advected with speed u. True solution: u is constant along characteristic with speed f (u) = u until the wave breaks (shock forms).

4 Burgers equation The solution is constant on characteristics so each value advects at constant speed equal to the value... Burgers equation Equal-area rule: The area under the curve is conserved with time, We must insert a shock so the two areas cut off are equal. Vanishing Viscosity solution Viscous Burgers equation: u t + ( 2 u2) x = ɛu xx. This parabolic equation has a smooth C solution for all t > for any initial data. Limiting solution as ɛ gives the shock-wave solution. Why try to solve hyperbolic equation? Solving parabolic equation requires implicit method, Often correct value of physical viscosity is very small, shock profile that cannot be resolved on the desired grid = smoothness of exact solution doesn t help!

5 Discontinuous solutions Vanishing Viscosity solution: The Riemann solution q(x, t) is the limit as ɛ of the solution q ɛ (x, t) of the parabolic advection-diffusion equation q t + uq x = ɛq xx. For any ɛ > this has a classical smooth solution: Weak solutions to q t + f(q) x = q(x, t) is a weak solution if it satisfies the integral form of the conservation law over all rectangles in space-time, x2 q(x, t 2 ) dx = t2 x2 f(q(, t)) dt q(x, t ) dx t2 t t f(q(x 2, t)) dt Obtained by integrating d dt from t n to t n+. x2 q(x, t) dx = f(q(, t)) f(q(x 2, t)) Weak solutions to q t + f(q) x = Alternatively, multiply PDE by smooth test function φ(x, t), with compact support (φ(x, t) for x and t sufficiently large), and then integrate over rectangle, ( qt + f(q) x ) φ(x, t) dx dt Then we can integrate by parts to get ( ) qφt + f(q)φ x dx dt = q(x, )φ(x, ) dx. q(x, t) is a weak solution if this holds for all such φ.

6 Weak solutions to q t + f(q) x = A function q(x, t) that is piecewise smooth with jump discontinuities is a weak solution only if: The PDE is satisfied where q is smooth, The jump discontinuities all satisfy the Rankine-Hugoniot conditions. Note: The weak solution may not be unique! Shock speed with states q l and q r at instant t shock with speed s t + t q = q r q = q l Then t + x Z x+ x Z x+ x q(x, t + t) dx q(x, t ) dx Z t+ t Z t+ t = f(q(, t)) dt f(q( + x, t)) dt. t t Since q is essentially constant along each edge, this becomes x q l x q r = tf(q l ) tf(q r ) + O( t 2 ), Taking the limit as t gives s(q r q l ) = f(q r ) f(q l ). Rankine-Hugoniot jump condition s(q r q l ) = f(q r ) f(q l ). This must hold for any discontinuity propagating with speed s, even for systems of conservation laws. For scalar problem, any jump allowed with speed: s = f(q r) f(q l ) q r q l. For systems, q r q l and f(q r ) f(q l ) are vectors, s scalar, R-H condition: f(q r ) f(q l ) must be scalar multiple of q r q l. For linear system, f(q) = Aq, this says A(q r q l ) = s(q r q l ), Jump must be an eigenvector, speed s the eigenvalue.

7 Figure. Shock formation in traffic Discrete cars: Continuum model: f (q) = u max ( 2q) density at time t = density at time density at time density at time Figure. Shock formation (a) particle paths (car trajectories) u(x, t) = u max ( q(x, t)) density at time Figure. Shock formation (b) characteristics: f (q) = u max ( 2q) density at time

8 Figure.2 Traffic jam shock wave Cars approaching red light (q l <, q r = ) Shock speed: s = f(q r) f(q l ) q r q l = 2u maxq l q l < Figure.3 Rarefaction wave Cars accelerating at green light (q l =, q r = ) Characteristic speed f (q) = u max ( 2q) varies from f (q l ) = u max to f (q r ) = u max Nonlinear scalar conservation laws Burgers equation: u t + ( 2 u2) x =. Quasilinear form: u t + uu x =. These are equivalent for smooth solutions, not for shocks! Upwind methods for u > : Conservative: U n+ i = U n i t x ( 2 ((U n i )2 (U n i )2 ) ) Quasilinear: U n+ i = U n i t x U n i (U n i U n i ). Ok for smooth solutions, not for shocks! R.J. LeVeque, University of Washington IPDE 2, June 3, 2 [FVMHP Sec. ] R.J. LeVeque, University of Washington IPDE 2, June 3, 2 [FVMHP Sec. ]

9 Importance of conservation form Solution to Burgers equation using conservative upwind: Solution to Burgers equation using quasilinear upwind: R.J. LeVeque, University of Washington IPDE 2, June 3, 2 [FVMHP Sec. ] R.J. LeVeque, University of Washington IPDE 2, June 3, 2 [FVMHP Sec. ] Weak solutions depend on the conservation law The conservation laws and ( ) u t + 2 u2 = x ( u 2 ) t + ( 2 3 u3 ) both have the same quasilinear form x u t + uu x = but have different weak solutions, different shock speeds! = R.J. LeVeque, University of Washington IPDE 2, June 3, 2 [FVMHP Sec. ] R.J. LeVeque, University of Washington IPDE 2, June 3, 2 [FVMHP Sec. ] Conservation form The method Q n+ i is in conservation form. = Q n i t x (F n i+/2 F n i /2 ) The total mass is conserved up to fluxes at the boundaries: x i Q n+ i = x i Q n i t x (F + F ). Note: an isolated shock must travel at the right speed! R.J. LeVeque, University of Washington IPDE 2, June 3, 2 [FVMHP Sec. ] R.J. LeVeque, University of Washington IPDE 2, June 3, 2 [FVMHP Sec. ]

10 Lax-Wendroff Theorem Suppose the method is conservative and consistent with q t + f(q) x =, F i /2 = F(Q i, Q i ) with F( q, q) = f( q) and Lipschitz continuity of F. If a sequence of discrete approximations converge to a function q(x, t) as the grid is refined, then this function is a weak solution of the conservation law. Note: Does not guarantee a sequence converges Two sequences might converge to different weak solutions. Also need stability and entropy condition. R.J. LeVeque, University of Washington IPDE 2, June 3, 2 [FVMHP Sec. ] R.J. LeVeque, University of Washington IPDE 2, June 3, 2 [FVMHP Sec. ] Non-uniqueness of weak solutions For scalar problem, any jump allowed with speed: s = f(q r) f(q l ) q r q l. So even if f (q r ) < f (q l ) the integral form of cons. law is satisfied by a discontinuity propogating at the R-H speed. In this case there is also a rarefaction wave solution. In fact, infinitely many weak solutions. Which one is physically correct? Vanishing viscosity solution We want q(x, t) to be the limit as ɛ of solution to q t + f(q) x = ɛq xx. This selects a unique weak solution: Shock if f (q l ) > f (q r ), Rarefaction if f (q l ) < f (q r ). Lax Entropy Condition: A discontinuity propagating with speed s in the solution of a convex scalar conservation law is admissible only if f (q l ) > s > f (q r ).