300 likes | 426 Views
P DE’s Discretization. Sauro Succi. Evolutionary PDE. Formal : big time. Formal : small time. Evolutionary PDE’s. Advection. Diffusion. Reaction. Self- advection ( fluids ). Finite-Difference Schemes. Finite-Difference Schemes. The guiding principles of ComPhys. Consistency
E N D
PDE’sDiscretization Sauro Succi
Evolutionary PDE Formal: big time Formal: small time
Evolutionary PDE’s Advection Diffusion Reaction Self-advection (fluids)
The guiding principles of ComPhys Consistency Recover the continuum limit at infinite resolution (no anomaly) Accuracy Fast error decay with increasing resolution Stability/Conservativeness 1st and 2nd principle, error decay Efficiency Cost per unit update
The guiding principles of ComPhys Locality Computational density independent of system size (Feynman) Causality No simultaneous interactions (Present-->Future) Reversibility No burnt-bridges doors, exact roll-back, very long time integration
Jump to actualPFDE’s (with apologies to the theory-inclined)
Consistency Consistent ForwardEuler Centered
Accuracy Reproduce poly(p) at x=xj
Courant Numbers Faster than light?
Short/Long term instability Linear instability (early) Non-linear instability (long-term)
Stability: spectral analysis SpectralDeformations:
Lax equivalence Theorem Consistent schemes for well-posed Linear PDE’s are convergent ifthey are stable Stability is easier to prove than convergence!
Transfer Operator First order in time:
Efficiency Acceleration Advection Diffusion Slow diffusion
Computer metrics 1 Petaflop
Locality Differential Operators Sparse matrices
Causality Present depends on past NO simultaneous dependence No inverse time depenedence