Singular Perturbation with Variable Fast Time Scales Harvey Lam Princeton University September, 2007.

Slides:



Advertisements
Similar presentations
Boyce/DiPrima 9th ed, Ch 2.4: Differences Between Linear and Nonlinear Equations Elementary Differential Equations and Boundary Value Problems, 9th edition,
Advertisements

Linear Inverse Problems
Boyce/DiPrima 9th ed, Ch 2.8: The Existence and Uniqueness Theorem Elementary Differential Equations and Boundary Value Problems, 9th edition, by William.
Differential Equations
P. Venkataraman Mechanical Engineering P. Venkataraman Rochester Institute of Technology DETC2013 – 12269: Continuous Solution for Boundary Value Problems.
Algebraic, transcendental (i.e., involving trigonometric and exponential functions), ordinary differential equations, or partial differential equations...
Quantum One: Lecture 3. Implications of Schrödinger's Wave Mechanics for Conservative Systems.
Autar Kaw Humberto Isaza
Ordinary Differential Equations
Kalman Filtering, Theory and Practice Using Matlab Wang Hongmei
Jan Verwer Convergence and Component Splitting for the Crank-Nicolson Leap-Frog Scheme Hairer-60 Conference, Geneva, June 2009 TexPoint fonts used in EMF.
Reacting flows and control theory Harvey Lam Princeton University Numerical Combustion 08 Monterey, CA.
BAYESIAN INFERENCE Sampling techniques
Section 2.3 Gauss-Jordan Method for General Systems of Equations
ECIV 201 Computational Methods for Civil Engineers Richard P. Ray, Ph.D., P.E. Error Analysis.
Ch 5.2: Series Solutions Near an Ordinary Point, Part I
Ch 7.9: Nonhomogeneous Linear Systems
Transfer Functions Convenient representation of a linear, dynamic model. A transfer function (TF) relates one input and one output: The following terminology.
1 A. Derivation of GL equations macroscopic magnetic field Several standard definitions: -Field of “external” currents -magnetization -free energy II.
Transfer Functions Convenient representation of a linear, dynamic model. A transfer function (TF) relates one input and one output: The following terminology.
Numerical Methods for Partial Differential Equations
Linear regression models in matrix terms. The regression function in matrix terms.
MATH 685/ CSI 700/ OR 682 Lecture Notes Lecture 10. Ordinary differential equations. Initial value problems.
Module 1 Introduction to Ordinary Differential Equations Mr Peter Bier.
Chapter 8 Applications In physics In biology In chemistry In engineering In political sciences In social sciences In business.
CPS Learning in games Vincent Conitzer
1 1.1 © 2012 Pearson Education, Inc. Linear Equations in Linear Algebra SYSTEMS OF LINEAR EQUATIONS.
Linear Equations in Linear Algebra
Asymptotic Techniques
Solving Systems of Equations. Rule of Thumb: More equations than unknowns  system is unlikely to have a solution. Same number of equations as unknowns.
CHAPTER 4 S TOCHASTIC A PPROXIMATION FOR R OOT F INDING IN N ONLINEAR M ODELS Organization of chapter in ISSO –Introduction and potpourri of examples Sample.
RFP Workshop Oct 2008 – J Scheffel 1 A generalized weighted residual method for RFP plasma simulation Jan Scheffel Fusion Plasma Physics Alfvén Laboratory,
Simplex method (algebraic interpretation)
Finite Element Method.
What is a model Some notations –Independent variables: Time variable: t, n Space variable: x in one dimension (1D), (x,y) in 2D or (x,y,z) in 3D –State.
MAE 555 Non-equilibrium Gas Dynamics Guest lecturer Harvey S. H. Lam November 16, 2010 On Computational Singular Perturbation.
Math 3120 Differential Equations with Boundary Value Problems
Differential Equations 7. Direction Fields and Euler's Method 7.2.
Chapter 6 Circular Motion and Other Applications of Newton’s Laws.
IIT-Madras, Momentum Transfer: July 2005-Dec 2005 Perturbation: Background n Algebraic n Differential Equations.
Order of Magnitude Scaling of Complex Engineering Problems Patricio F. Mendez Thomas W. Eagar May 14 th, 1999.
DIFFERENTIAL EQUATIONS 10. DIFFERENTIAL EQUATIONS Unfortunately, it’s impossible to solve most differential equations in the sense of obtaining an explicit.
Copyright © The McGraw-Hill Companies, Inc. Permission required for reproduction or display. 1 Chapter 3.
Teach A Level Maths IntroducingIntroducing MechanicsMechanics.
ECE 576 – Power System Dynamics and Stability Prof. Tom Overbye Dept. of Electrical and Computer Engineering University of Illinois at Urbana-Champaign.
Sheng-Fang Huang. 1.1 Basic Concepts Modeling A model is very often an equation containing derivatives of an unknown function. Such a model is called.
Perfidious Polynomials and Elusive Roots Zhonggang Zeng Northeastern Illinois University Nov. 2, 2001 at Northern Illinois University.
Development of Regular & Singular Perturbation Methods Anshu Narang-Siddarth.
 In this packet we will look at:  The meaning of acceleration  How acceleration is related to velocity and time  2 distinct types acceleration  A.
Feedback Stabilization of Nonlinear Singularly Perturbed Systems MENG Bo JING Yuanwei SHEN Chao College of Information Science and Engineering, Northeastern.
Discretization Methods Chapter 2. Training Manual May 15, 2001 Inventory # Discretization Methods Topics Equations and The Goal Brief overview.
Advanced Engineering Mathematics, 7 th Edition Peter V. O’Neil © 2012 Cengage Learning Engineering. All Rights Reserved. CHAPTER 4 Series Solutions.
Ch. 1 First-Order ODEs Ordinary differential equations (ODEs) Deriving them from physical or other problems (modeling) Solving them by standard methods.
ECE 576 – Power System Dynamics and Stability Prof. Tom Overbye Dept. of Electrical and Computer Engineering University of Illinois at Urbana-Champaign.
ECE 576 – Power System Dynamics and Stability Prof. Tom Overbye Dept. of Electrical and Computer Engineering University of Illinois at Urbana-Champaign.
OR  Now, we look for other basic feasible solutions which gives better objective values than the current solution. Such solutions can be examined.
ERT 210/4 Process Control & Dynamics DYNAMIC BEHAVIOR OF PROCESSES :
Boyce/DiPrima 9 th ed, Ch1.3: Classification of Differential Equations Elementary Differential Equations and Boundary Value Problems, 9 th edition, by.
 1 More Mathematics: Finding Minimum. Numerical Optimization Find the minimum of If a given function is continuous and differentiable, find the root.
Transfer Functions Convenient representation of a linear, dynamic model. A transfer function (TF) relates one input and one output: The following terminology.
§7-4 Lyapunov Direct Method
Chap 3. The simplex method
Quantum One.
Ch 5.2: Series Solutions Near an Ordinary Point, Part I
Numerical Analysis Lecture13.
ECE 576 POWER SYSTEM DYNAMICS AND STABILITY
Presentation transcript:

Singular Perturbation with Variable Fast Time Scales Harvey Lam Princeton University September, 2007

Why do reduced models?  To reduce the number of unknowns,  To reduce stiffness,  To gain insights on the system under investigation Finding a “slow manifold” is not enough.

Analytical asymptotics needs a dimensionless epsilon:  <<1  Generic problem statement (t=O(1)):  What happens when g(y;  ) is singular in the small  limit? ( note: w(y) and y o has no singular  dependence )  When g(y;  ) is uniformly singular in the small  limit, it is a classical singular perturbation problem. No problem.

Real world problems often have no uniformly small epsilons  Real world problems are usually nonlinear and dimensional.  Most parameters in real world problems are dimensional.  Many interesting real world problems are intractable by pen-and-pencil analysis.  All the Rome ODE benchmark problems have non-uniformly small epsilons.

What do most people do? (for a N variables problem)  Somehow figure out that M of the original N variables are fast. Denote them by r.  The rest of the variables are denoted by s.  Numerically compute for: and call this algebraic relation the Slow Manifold ( useful for certain initial conditions ).

Some details ( r is fast, s is slow )  Suppose we arrange the variables so that:  Then the original ODEs are:

How useful is any numerical Slow Manifold r=S(s)?  The original ODEs are: Can we do the following?

Answer: sometimes yes, sometimes no.  Even when epsilon is uniformly small.  It is yes when the chosen r fast variables accept the QSSA---quasi-steady-state- approximation.  It is no when the r fast variables needs the PE---partial equilibrium approximation.  For messy large real world problems, we usually don’t know which is which.

What is “all you need”?  The leading-order Slow Manifold Projector: where a m and b m are (column and row) CSP-refined fast basis vectors. They are independent of w(y).  If the CSP b m refinement “converges”, there is a slow manifold right here.

What the CSP-refined basis vectors tell you….  Here are the projectors: The Slow Manifold after K cycles of 2-step CSP refinement is:

The Reduced Model  After the fast transients die (using Kth-CSP-refined basis vectors): One may remove any M differential equations here and replace them by the M algebraic equations of state in the previous slide. Number of variables is reduced!

The two-step CSP refinement  Step one refines the b m vectors. This provides the slow manifold.  Step two refines the a m vectors. This removes stiffness from reduced model.  If the refinement “iterations” for b m does not seem to converge, there is no slow manifold here.

The Williams Problem  CSP form of the system (no approximation)

 x  is non-uniformly small when  is small. (y is QSSA)

The Lindemann Problem CSP form of the problem (exact):

Lindemann is a PE problem!  Leading approximation to slow manifold: is completely correct… but completely useless in the original ODEs---even if  is uniformly small.

The Semenov ODE Problem Originals: Introduce a new variable:

More on Semenov ODEs Where  plays the role of epsilon:

Coming out of a slow manifold  It is possible for  (x,y) to be small for a while, then become a non-small number later.  Solutions with diverse initial conditions would become a tight bunch when they enter into the slow manifold.  When these bunched solutions come out of the slow manifold, they may still look bunched. But appearance of bunching is not sufficient to conclude that there is a slow manifold.

The Semenov PDE Problem  Original PDEs: CSP form: When diffusion is absent (or if L e =1), T+  c is independent of details of the chemistry term.

On the non-chemistry term  How does the magnitude of the diffusion term depend on the magnitude of  ?  Answer: if diffusion needs to compete (such as near a boundary), it can and will match whatever the chemistry term has to offer!  Whenever this happens, there is no slow manifold ( number of unknowns cannot be reduced ).

The Davis Skodje Problem  Original ODEs: This ODE follows (without approximation): which is valid even for arbitrary  (y 1,y 2 )!

Large and small  Slow manifold: (large  limit) Conservation Law: (small  limit)

Slow manifold versus Conservation Laws  Consider: We get a slow manifold when f 1 decays to become small: If f N is always small, AND if b N is the gradient of a scalar, then we get an Approximate Conservation Law for that scalar ( e.g. an Hamiltonian and … ).

Concluding Remarks  In general, finding a slow manifold is not enough.  A slow manifold should be useful for problems other than the one you found it from. (i.e. good for different w(y)’s---such as “missing” reactions, any slow perturbations, diffusions, control forces … )  Reduced models should be able to use single precision numerical slow manifolds.  Reduced models should tell you some interesting and insightful things about the system.