Finite Difference Methods for Solving Differential

Total Page:16

File Type:pdf, Size:1020Kb

Finite Difference Methods for Solving Differential FINITE DIFFERENCE METHODS FOR SOLVING DIFFERENTIAL EQUATIONS I-Liang Chern Department of Mathematics National Taiwan University May 16, 2013 2 Contents 1 Introduction 3 1.1 Finite Difference Approximation . ........ 3 1.2 Basic Numerical Methods for Ordinary Differential Equations ........... 5 1.3 Runge-Kuttamethods..... ..... ...... ..... ...... ... ... 8 1.4 Multistepmethods ................................ 10 1.5 Linear difference equation . ...... 14 1.6 Stabilityanalysis ............................... 17 1.6.1 ZeroStability................................. 18 2 Finite Difference Methods for Linear Parabolic Equations 23 2.1 Finite Difference Methods for the Heat Equation . ........... 23 2.1.1 Some discretization methods . 23 2.1.2 Stability and Convergence for the Forward Euler method.......... 25 2.2 L2 Stability – von Neumann Analysis . 26 2.3 Energymethod .................................... 28 2.4 Stability Analysis for Montone Operators– Entropy Estimates ........... 29 2.5 Entropy estimate for backward Euler method . ......... 30 2.6 ExistenceTheory ................................. 32 2.6.1 Existence via forward Euler method . ..... 32 2.6.2 A Sharper Energy Estimate for backward Euler method . ......... 33 2.7 Relaxationoferrors.............................. 34 2.8 BoundaryConditions ..... ..... ...... ..... ...... ... 36 2.8.1 Dirichlet boundary condition . ..... 36 2.8.2 Neumann boundary condition . 37 2.9 The discrete Laplacian and its inversion . .......... 38 2.9.1 Dirichlet boundary condition . ..... 38 3 Finite Difference Methods for Linear elliptic Equations 41 3.1 Discrete Laplacian in two dimensions . ........ 41 3.1.1 Discretization methods . 41 3.1.2 The 9-point discrete Laplacian . ..... 42 3.2 Stability of the discrete Laplacian . ......... 43 3 4 CONTENTS 3.2.1 Fouriermethod ................................ 43 3.2.2 Energymethod ................................ 44 4 Finite Difference Theory For Linear Hyperbolic Equations 47 4.1 A review of smooth theory of linear hyperbolic equations .............. 47 4.1.1 Linear advection equation . 47 4.1.2 Linear systems of hyperbolic equations . ....... 48 4.2 Finite difference methods for linear advection equation ............... 51 4.2.1 Designtechniques .............................. 51 4.2.2 Courant-Friedrichs-Levy condition . ....... 53 4.2.3 Consistency and Truncation Errors . ...... 54 4.2.4 Lax’s equivalence theorem . 55 4.2.5 Stabilityanalysis ..... ..... ...... ..... ...... .. 55 4.2.6 Modifiedequation .............................. 58 4.3 Finite difference schemes for linear hyperbolic system with constant coefficients . 61 4.3.1 Some design techniques . 61 4.3.2 Stabilityanalysis ..... ..... ...... ..... ...... .. 62 4.4 Finite difference methods for linear systems with variable coefficients . 64 5 Scalar Conservation Laws 67 5.1 Physicalmodels .................................. 67 5.1.1 Trafficflowmodel .............................. 67 5.1.2 Burgers’equation..... ..... ...... ..... ...... ... 68 5.1.3 Twophaseflow................................ 69 5.2 Basictheory..................................... 69 5.2.1 Riemannproblem............................... 70 5.2.2 Entropyconditions .... ..... ...... ..... ...... ... 71 5.2.3 Rieman problem for nonconvex fluxes . 74 5.3 Uniqueness and Existence . 74 6 Finite Difference Schemes For Scalar Conservation Laws 77 6.1 Majorproblems................................... 77 6.2 Conservativeschemes. 78 6.3 Entropy and Monotone schemes . 80 7 Finite Difference Methods for Hyperbolic Conservation Laws 85 7.1 Fluxsplittingmethods . 86 7.1.1 Total Variation Diminishing (TVD) . ..... 86 7.1.2 Other Examples for φ(θ) ........................... 88 7.1.3 Extensions .................................. 89 7.2 HighOrderGodunovMethods . 90 7.2.1 Piecewise-constant reconstruction . ........ 91 7.2.2 piecewise-linear reconstruction . ........ 94 CONTENTS 1 7.3 Multidimension .................................. 97 7.3.1 SplittingMethod ............................... 98 7.3.2 UnsplittingMethods . 99 8 Systems of Hyperbolic Conservation Laws 101 8.1 GeneralTheory ................................... 101 8.1.1 RarefactionWaves .............................. 102 8.1.2 ShockWaves ................................. 102 8.1.3 Contact Discontinuity (Linear Wave) . 105 8.2 PhysicalExamples ................................ 106 8.2.1 Gasdynamics................................. 106 8.2.2 Riemann Problem of Gas Dynamics . 110 9 Kinetic Theory and Kinetic Schemes 117 9.1 KineticTheoryofGases ... ..... ...... ..... ...... ... 117 9.2 Kineticscheme ................................... 117 2 CONTENTS Chapter 1 Introduction The goal of this course is to provide numerical analysis background for finite difference methods for solving partial differential equations. The focuses are the stability and convergence theory. The partial differential equations to be discussed include parabolic equations, • elliptic equations, • hyperbolic conservation laws. • 1.1 Finite Difference Approximation Our goal is to appriximate differential operators by finite difference operators. How to perform approximation? What is the error so produced? We shall assume the underlying function u : R R → is smooth. Let us define the following finite difference operators: u(x+h) u(x) Forward difference: D u(x) := − , • + h u(x) u(x h) Backward difference: D u(x) := − − , • − h u(x+h) u(x h) Centered difference: D u(x) := − − . • 0 2h Here, h is called the mesh size. By Taylor expansion, we can get u (x)= D u(x)+ O(h), • ′ + u′(x)= D u(x)+ O(h), • − u (x)= D u(x)+ O(h2). • ′ 0 We can also approximate u′(x) by other finite difference operators with higher order errors. For example, 3 u′(x)= D3u(x)+ O(h ), 3 4 CHAPTER 1. INTRODUCTION where 1 D u(x)= (2u(x + h) + 3u(x) 6u(x h)+ u(x 2h)) . 3 6h − − − These formulae can be derived by performing Taylor expansion of u at x. For instance, we expand h2 h3 u(x + h) = u(x)+ u′(x)h + u′′(x)+ u′′′(x)+ 2 3! · · · h2 h3 u(x h) = u(x) u′(x)h + u′′(x) u′′′(x)+ . − − 2 − 3! · · · Substracting these two equations yields 2h3 u(x + h) u(x h) = 2u′(x)h + u′′′(x)+ . − − 3! · · · This gives 2 h 2 u′(x)= D u(x) u′′′(x)+ = D u(x)+ O(h ). 0 − 3! · · · 0 In general, we can derive finite difference approximation for u(k) at specific point x by the values of u at some nearby stencil points x , j = 0, ..., n with n k. That is, j ≥ n (k) p k+1 u (x)= cju(xj)+ O(h − ) Xj=0 for some p as larger as possible. Here, the mesh size h denotes max x x . As we shall see {| i − j|} later that we can choose p = n. To find the coefficients cj, j = 0, ..., n, we make Taylor expansion of u(xj) about the point x: p 1 u(x )= (x x)iu(i)(x)+ O(hp+1). j i! j − Xi=0 We plug this expansion formula of u(xj) into the finite difference approximation formula for u(k)(x): n p (k) 1 i (i) p k+1 u (x)= c (x x) u (x)+ O(h − ). j i! j − Xj=0 Xi=0 Comparing both sides, we obtain n 1 (x x)i 1 if i = k j − c = , for i = 0, ..., p i! hi j 0 otherwise Xj=0 There are p + 1 equations here, it is natural to choose p = n to match the n + 1 unknowns. This is a n n Vandermonde system. It is nonsingular if x are different. The matlab code fdcoeffV(k,xbar,x) × i can be used to compute these coefficients. Reference: Randy LeVeque’s book and his Matlab code. 1.2. BASIC NUMERICAL METHODS FOR ORDINARY DIFFERENTIAL EQUATIONS 5 In the case of uniform grid, using central finite differencing, we can get high order approxima- tion. For instance, let x = jh, where j Z. Let u = u(x ). Then j ∈ j j u1 u 1 2 u′(0) = − − + O(h ) h u1 2u0 + u 1 2 u′′(0) = − − + O(h ) h2 (3) 1 2 u = (u2 2u1 + 2u0 2u 1 + u 2)+ O(h ). 2h3 − − − − Homeworks. (k) 1. Consider xi = ih, i = 0, ..., n. Let x¯ = xm. Find the coefficients ci for u (¯x) and the coefficient of the leading truncation error for the following cases: k = 1, n = 2, 3, m = 0, 1, 2, 3. • k = 2, n = 2, m = 0, 1, 2. • 1.2 Basic Numerical Methods for Ordinary Differential Equations The basic assumption to design numerical algorithm for ordinary differential equations is the smooth- ness of the solutions, which is in general valid provided the coefficients are also smooth. Basic designning techniques include numerical interpolation, numerical integration, and finite difference approximation. Euler method Euler method is the simplest numerical integrator for ODEs. The ODE y′ = f(t,y) (2.1) is discretized by yn+1 = yn + kf(tn,yn). (2.2) Here, k is time step size of the discretization. This method is called the forward Euler method. It simply replace dy/dt(tn) by the forward finite difference (yn+1 yn)/k. By Taylor expansion, the − local truncation error is n+1 n n n y(t ) y(t ) τ := y′(t ) − = O(k) − k Let en := yn y(tn) be the true error. − Theorem 2.1. Assume f C1 and suppose the solution y = f(t,y) with y(0) = y exists on ∈ ′ 0 [0, T ]. Then the Euler method converges at any t [0, T ]. In fact, the true error en has the following estimate: ∈ eλt en O(k) 0, as n . (2.3) | |≤ λ → →∞ Here, λ = max ∂f/∂y and nk = t. | | 6 CHAPTER 1. INTRODUCTION Proof. From the regularity of the solution, we have y C2[0, T ] and ∈ y(tn+1)= y(tn)+ kf(tn,y(tn)) + kτ n. (2.4) Taking difference of (2.2) and (2.4), we obtain en+1 en + k f(tn,yn) f(tn,y(tn)) + k τ n | | ≤ | | | − | | | (1 + kλ) en + k τ n . ≤ | | | | where f(t,x) f(t,y) λ x y . | − |≤ | − | The finite difference inequality has a fundamental solution Gn = (1+ λk)n, which is positive n 1 provided k is small. Multiplying above equation by (1 + λk)− − , we obtain m+1 m 1 m m m 1 m e G− − e G− + kG− − τ . | | ≤ | | | | Summing in m from m = 0 to n 1, we get − n 1 n 1 n − n m 1 m − m 2 e G − − k τ G O(k ) | | ≤ | |≤ m=0 m=0 X X Gn 1 Gn eλt = − O(k2) O(k) O(k), G 1 ≤ λ ≤ λ − where t = nk and we have used (1 + λk)n eλt.
Recommended publications
  • Exercises from Finite Difference Methods for Ordinary and Partial
    Exercises from Finite Difference Methods for Ordinary and Partial Differential Equations by Randall J. LeVeque SIAM, Philadelphia, 2007 http://www.amath.washington.edu/ rjl/fdmbook ∼ Under construction | more to appear. Contents Chapter 1 4 Exercise 1.1 (derivation of finite difference formula) . 4 Exercise 1.2 (use of fdstencil) . 4 Chapter 2 5 Exercise 2.1 (inverse matrix and Green's functions) . 5 Exercise 2.2 (Green's function with Neumann boundary conditions) . 5 Exercise 2.3 (solvability condition for Neumann problem) . 5 Exercise 2.4 (boundary conditions in bvp codes) . 5 Exercise 2.5 (accuracy on nonuniform grids) . 6 Exercise 2.6 (ill-posed boundary value problem) . 6 Exercise 2.7 (nonlinear pendulum) . 7 Chapter 3 8 Exercise 3.1 (code for Poisson problem) . 8 Exercise 3.2 (9-point Laplacian) . 8 Chapter 4 9 Exercise 4.1 (Convergence of SOR) . 9 Exercise 4.2 (Forward vs. backward Gauss-Seidel) . 9 Chapter 5 11 Exercise 5.1 (Uniqueness for an ODE) . 11 Exercise 5.2 (Lipschitz constant for an ODE) . 11 Exercise 5.3 (Lipschitz constant for a system of ODEs) . 11 Exercise 5.4 (Duhamel's principle) . 11 Exercise 5.5 (matrix exponential form of solution) . 11 Exercise 5.6 (matrix exponential form of solution) . 12 Exercise 5.7 (matrix exponential for a defective matrix) . 12 Exercise 5.8 (Use of ode113 and ode45) . 12 Exercise 5.9 (truncation errors) . 13 Exercise 5.10 (Derivation of Adams-Moulton) . 13 Exercise 5.11 (Characteristic polynomials) . 14 Exercise 5.12 (predictor-corrector methods) . 14 Exercise 5.13 (Order of accuracy of Runge-Kutta methods) .
    [Show full text]
  • Finite Difference and Discontinuous Galerkin Methods for Wave Equations
    Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1522 Finite Difference and Discontinuous Galerkin Methods for Wave Equations SIYANG WANG ACTA UNIVERSITATIS UPSALIENSIS ISSN 1651-6214 ISBN 978-91-554-9927-3 UPPSALA urn:nbn:se:uu:diva-320614 2017 Dissertation presented at Uppsala University to be publicly examined in Room 2446, Polacksbacken, Lägerhyddsvägen 2, Uppsala, Tuesday, 13 June 2017 at 10:15 for the degree of Doctor of Philosophy. The examination will be conducted in English. Faculty examiner: Professor Thomas Hagstrom (Department of Mathematics, Southern Methodist University). Abstract Wang, S. 2017. Finite Difference and Discontinuous Galerkin Methods for Wave Equations. Digital Comprehensive Summaries of Uppsala Dissertations from the Faculty of Science and Technology 1522. 53 pp. Uppsala: Acta Universitatis Upsaliensis. ISBN 978-91-554-9927-3. Wave propagation problems can be modeled by partial differential equations. In this thesis, we study wave propagation in fluids and in solids, modeled by the acoustic wave equation and the elastic wave equation, respectively. In real-world applications, waves often propagate in heterogeneous media with complex geometries, which makes it impossible to derive exact solutions to the governing equations. Alternatively, we seek approximated solutions by constructing numerical methods and implementing on modern computers. An efficient numerical method produces accurate approximations at low computational cost. There are many choices of numerical methods for solving partial differential equations. Which method is more efficient than the others depends on the particular problem we consider. In this thesis, we study two numerical methods: the finite difference method and the discontinuous Galerkin method.
    [Show full text]
  • A Quasi-Static Particle-In-Cell Algorithm Based on an Azimuthal Fourier Decomposition for Highly Efficient Simulations of Plasma-Based Acceleration
    A quasi-static particle-in-cell algorithm based on an azimuthal Fourier decomposition for highly efficient simulations of plasma-based acceleration: QPAD Fei Lia,c, Weiming And,∗, Viktor K. Decykb, Xinlu Xuc, Mark J. Hoganc, Warren B. Moria,b aDepartment of Electrical Engineering, University of California Los Angeles, Los Angeles, CA 90095, USA bDepartment of Physics and Astronomy, University of California Los Angeles, Los Angeles, CA 90095, USA cSLAC National Accelerator Laboratory, Menlo Park, CA 94025, USA dDepartment of Astronomy, Beijing Normal University, Beijing 100875, China Abstract The three-dimensional (3D) quasi-static particle-in-cell (PIC) algorithm is a very effi- cient method for modeling short-pulse laser or relativistic charged particle beam-plasma interactions. In this algorithm, the plasma response, i.e., plasma wave wake, to a non- evolving laser or particle beam is calculated using a set of Maxwell's equations based on the quasi-static approximate equations that exclude radiation. The plasma fields are then used to advance the laser or beam forward using a large time step. The algorithm is many orders of magnitude faster than a 3D fully explicit relativistic electromagnetic PIC algorithm. It has been shown to be capable to accurately model the evolution of lasers and particle beams in a variety of scenarios. At the same time, an algorithm in which the fields, currents and Maxwell equations are decomposed into azimuthal harmonics has been shown to reduce the complexity of a 3D explicit PIC algorithm to that of a 2D algorithm when the expansion is truncated while maintaining accuracy for problems with near azimuthal symmetry.
    [Show full text]
  • A Numerical Method of Characteristics for Solving Hyperbolic Partial Differential Equations David Lenz Simpson Iowa State University
    Iowa State University Capstones, Theses and Retrospective Theses and Dissertations Dissertations 1967 A numerical method of characteristics for solving hyperbolic partial differential equations David Lenz Simpson Iowa State University Follow this and additional works at: https://lib.dr.iastate.edu/rtd Part of the Mathematics Commons Recommended Citation Simpson, David Lenz, "A numerical method of characteristics for solving hyperbolic partial differential equations " (1967). Retrospective Theses and Dissertations. 3430. https://lib.dr.iastate.edu/rtd/3430 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Retrospective Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. This dissertation has been microfilmed exactly as received 68-2862 SIMPSON, David Lenz, 1938- A NUMERICAL METHOD OF CHARACTERISTICS FOR SOLVING HYPERBOLIC PARTIAL DIFFERENTIAL EQUATIONS. Iowa State University, PluD., 1967 Mathematics University Microfilms, Inc., Ann Arbor, Michigan A NUMERICAL METHOD OF CHARACTERISTICS FOR SOLVING HYPERBOLIC PARTIAL DIFFERENTIAL EQUATIONS by David Lenz Simpson A Dissertation Submitted to the Graduate Faculty in Partial Fulfillment of The Requirements for the Degree of DOCTOR OF PHILOSOPHY Major Subject: Mathematics Approved: Signature was redacted for privacy. In Cijarge of Major Work Signature was redacted for privacy. Headead of^ajorof Major DepartmentDepartmen Signature was redacted for privacy. Dean Graduate Co11^^ Iowa State University of Science and Technology Ames, Iowa 1967 ii TABLE OF CONTENTS Page I. INTRODUCTION 1 II. DISCUSSION OF THE ALGORITHM 3 III. DISCUSSION OF LOCAL ERROR, EXISTENCE AND UNIQUENESS THEOREMS 10 IV.
    [Show full text]
  • Analysis of Finite Difference Discretization Schemes For
    Computers and Chemical Engineering 71 (2014) 241–252 Contents lists available at ScienceDirect Computers and Chemical Engineering j ournal homepage: www.elsevier.com/locate/compchemeng Analysis of finite difference discretization schemes for diffusion in spheres with variable diffusivity ∗ Ashlee N. Ford Versypt, Richard D. Braatz Department of Chemical Engineering, Massachusetts Institute of Technology, Cambridge, MA 02139, USA a r t i c l e i n f o a b s t r a c t Article history: Two finite difference discretization schemes for approximating the spatial derivatives in the diffusion Received 28 April 2014 equation in spherical coordinates with variable diffusivity are presented and analyzed. The numerical Accepted 27 May 2014 solutions obtained by the discretization schemes are compared for five cases of the functional form Available online 27 August 2014 for the variable diffusivity: (I) constant diffusivity, (II) temporally dependent diffusivity, (III) spatially dependent diffusivity, (IV) concentration-dependent diffusivity, and (V) implicitly defined, temporally Keywords: and spatially dependent diffusivity. Although the schemes have similar agreement to known analytical Finite difference method or semi-analytical solutions in the first four cases, in the fifth case for the variable diffusivity, one scheme Variable coefficient Diffusion produces a stable, physically reasonable solution, while the other diverges. We recommend the adoption of the more accurate and stable of these finite difference discretization schemes to numerically approxi- Spherical geometry Method of lines mate the spatial derivatives of the diffusion equation in spherical coordinates for any functional form of variable diffusivity, especially cases where the diffusivity is a function of position. © 2014 Elsevier Ltd.
    [Show full text]
  • Domain Decomposition Methods for Parallel Solution of Shape Sensitivity Analysis Problems
    INTERNATIONAL JOURNAL FOR NUMERICAL METHODS IN ENGINEERING Int. J. Numer. Meth. Engng. 44, 281—303 (1999) DOMAIN DECOMPOSITION METHODS FOR PARALLEL SOLUTION OF SHAPE SENSITIVITY ANALYSIS PROBLEMS MANOLIS PAPADRAKAKIS* AND YIANNIS TSOMPANAKIS Institute of Structural Analysis and Seismic Research, National Technical University of Athens, Athens 15773, Greece ABSTRACT This paper presents the implementation of advanced domain decomposition techniques for parallel solution of large-scale shape sensitivity analysis problems. The methods presented in this study are based on the FETI method proposed by Farhat and Roux which is a dual domain decomposition implementation. Two variants of the basic FETI method have been implemented in this study: (i) FETI-1 where the rigid-body modes of the floating subdomains are computed explicitly. (ii) FETI-2 where the local problem at each subdomain is solved by the PCG method and the rigid-body modes are computed explicitly. A two-level iterative method is proposed particularly tailored to solve re-analysis type of problems, where the dual domain decomposition method is incorporated in the preconditioning step of a subdomain global PCG implementation. The superiority of this two-level iterative solver is demonstrated with a number of numerical tests in serial as well as in parallel computing environments. Copyright ( 1999 John Wiley & Sons, Ltd. KEY WORDS: shape sensitivity analysis; domain decomposition methods; preconditioned conjugate gradient; multiple right-hand sides; reanalysis problems INTRODUCTION Shape optimization aims to improve the shape of a structure, defined with a number of parameters called design variables, by minimizing an objective function subject to certain constraint functions. The shape optimization algorithm proceeds with the following steps: (i) a finite element mesh is generated, (ii) displacements, stresses, frequencies, etc.
    [Show full text]
  • Solving the Schrödinger Equation Using the Finite Difference Time Domain Method
    Home Search Collections Journals About Contact us My IOPscience Solving the Schrödinger equation using the finite difference time domain method This article has been downloaded from IOPscience. Please scroll down to see the full text article. 2007 J. Phys. A: Math. Theor. 40 1885 (http://iopscience.iop.org/1751-8121/40/8/013) View the table of contents for this issue, or go to the journal homepage for more Download details: IP Address: 148.224.96.21 The article was downloaded on 18/05/2010 at 20:10 Please note that terms and conditions apply. IOP PUBLISHING JOURNAL OF PHYSICS A: MATHEMATICAL AND THEORETICAL J. Phys. A: Math. Theor. 40 (2007) 1885–1896 doi:10.1088/1751-8113/40/8/013 Solving the Schrodinger¨ equation using the finite difference time domain method I Wayan Sudiarta1 and D J Wallace Geldart1,2 1 Department of Physics and Atmospheric Science, Dalhousie University, Halifax, NS B3H 3J5, Canada 2 School of Physics, University of New South Wales, Sydney, NSW 2052, Australia E-mail: [email protected] Received 5 September 2006, in final form 7 January 2007 Published 6 February 2007 Online at stacks.iop.org/JPhysA/40/1885 Abstract In this paper, we solve the Schrodinger¨ equation using the finite difference time domain (FDTD) method to determine energies and eigenfunctions. In order to apply the FDTD method, the Schrodinger¨ equation is first transformed into a diffusion equation by the imaginary time transformation. The resulting time- domain diffusion equation is then solved numerically by the FDTD method. The theory and an algorithm are provided for the procedure.
    [Show full text]
  • Finite Difference Method for Numerical Computation of Discontinuous Solutions of the Equations of Fluid Dynamics Sergei Godunov, I
    Finite difference method for numerical computation of discontinuous solutions of the equations of fluid dynamics Sergei Godunov, I. Bohachevsky To cite this version: Sergei Godunov, I. Bohachevsky. Finite difference method for numerical computation of discontinuous solutions of the equations of fluid dynamics. Matematičeskij sbornik, Steklov Mathematical Institute of Russian Academy of Sciences, 1959, 47(89) (3), pp.271-306. hal-01620642 HAL Id: hal-01620642 https://hal.archives-ouvertes.fr/hal-01620642 Submitted on 25 Jul 2019 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. MATEMA TICHESKII SBORNIK Finite Difference Method for Numerical Computation of Discontinuous Solutiona of the Equations of Fluid Dynamic• 1959 v. 47 (89) No.3 p. 271 S, K. Godunov Translated by 1. Bohacheveky Introduction The method of characteristics used for nume_rical computation of solutions of fluid dynamical equations is characterized by a large degree of nonetandard­ _ nesa and therefore il not suitable for _automatic computation on electronic computing machines t especially for problems with a large number of shock waves and contact discontinuities. In 1950 v. Neumann and Richtmyer (1) prOp<!ted to use, for the solution of fluid dynamics equations, difference equationa into which viscosity was introduced artificially; this has the effect of smearing out the shock wave over aeveral mesh points.
    [Show full text]
  • Lecure 5 Finite Difference Methods
    Chapter 5 Finite Difference Methods Math6911 S08, HM Zhu References 1. Chapters 5 and 9, Brandimarte 2. Section 17.8, Hull 3. Chapter 7, “Numerical analysis”, Burden and Faires 2 Math6911, S08, HM ZHU Outline • Finite difference (FD) approximation to the derivatives • Explicit FD method • Numerical issues • Implicit FD method • Crank-Nicolson method • Dealing with American options • Further comments 3 Math6911, S08, HM ZHU Chapter 5 Finite Difference Methods 5.1 Finite difference approximations Math6911 S08, HM Zhu Finite-difference mesh • Aim to approximate the values of the continuous function f(t, S) on a set of discrete points in (t, S) plane • Divide the S-axis into equally spaced nodes at distance ∆S apart, and, the t-axis into equally spaced nodes a distance ∆t apart • (t, S) plane becomes a mesh with mesh points on (i ∆t, j∆S) • We are interested in the values of f(t, S) at mesh points (i ∆t, j∆S), denoted as fi,j = fit,jS( ∆∆) 5 Math6911, S08, HM ZHU The mesh for finite-difference approximation fi,j = fit,jS( ∆∆) S Smax=M∆S ? j ∆S t i ∆t T=N ∆t 6 Math6911, S08, HM ZHU Black-Scholes Equation for a European option with value V(S,t) ∂V 1 ∂ 2V ∂V + σ 2S 2 + rS − rV = 0 (5.1) ∂t 2 ∂ 2S ∂S where 0 < S < +∞ and 0 ≤ t < T with proper final and boundary conditions Notes: This is a second-order hyperbolic, elliptic, or parabolic, forward or backward partial differential equation Its solution is sufficiently well behaved ,i.e.
    [Show full text]
  • A Comparative Study Between Implicit and Crank-Nicolson Finite Difference Method for Option Pricing
    Available online at https://www.banglajol.info/index.php/GANIT/index GANIT: Journal of Bangladesh Mathematical Society GANIT J. Bangladesh Math. Soc. 40.1 (2020) 13–27 GANIT DOI: https://doi.org/10.3329/ganit.v40i1.48192 A Comparative Study between Implicit and Crank-Nicolson Finite Difference Method for Option Pricing Tanmoy Kumar Debnath1,*, A B M Shahadat Hossain2 1Department of Business Administration, Shanto-Mariam University of Creative Technology, Dhaka-1230, Bangladesh 2Department of Applied Mathematics, University of Dhaka, Dhaka-1000, Bangladesh ABSTRACT In this paper, we have applied the finite difference methods (FDMs) for the valuation of European put option (EPO). We have mainly focused the application of Implicit finite difference method (IFDM) and Crank- Nicolson finite difference method (CNFDM) for option pricing. Both these techniques are used to discretized Black-Scholes (BS) partial differential equation (PDE). We have also compared the convergence of the IFDM and CNFDM to the analytic BS price of the option. This turns out a conclusion that both these techniques are fairly fruitful and excellent for option pricing. © 2020 Published by Bangladesh Mathematical Society Received: 16 March, 2020 Accepted: 09 July, 2020 Keywords: European put option; Black-Scholes equation; Implicit finite difference method; Crank-Nicolson finite difference method. AMS Subject Classification 2010: 65M06; 65B15. 1. Introduction Option pricing plays a very significant role in a stock market. By the help of option contract the seller and buyer can hedge their losses in stock market. So it enticed the attention of innumerable empiricists. In short, Option *Corresponding author: Tanmoy Kumar Debnath, E-mail address: [email protected] 14 Debnath and Hossain / GANIT J.
    [Show full text]
  • A Domain Decomposition Method for Solving Electrically Large Electromagnetic Problems
    A DOMAIN DECOMPOSITION METHOD FOR SOLVING ELECTRICALLY LARGE ELECTROMAGNETIC PROBLEMS DISSERTATION Presented in Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy in the Graduate School of The Ohio State University By Kezhong Zhao, M.S. ***** The Ohio State University 2007 Dissertation Committee: Approved by Professor Jin-Fa Lee, Adviser Professor Fernando L. Teixeira ___________________________ Professor Ronald M. Reano Adviser Graduate Program in Electrical and Computer Engineering © Copyright by Kezhong Zhao 2007 ABSTRACT This dissertation presents a domain decomposition method as an effective and efficient preconditioner for frequency domain FEM solution of geometrically complex and electrically large electromagnetic problems. The method reduces memory requirements by decomposing the original problem domain into several non-overlapping and possibly repeatable sub-domains. At the heart of this research are the Robin-to-Robin map, the “cement” finite element coupling of non-conforming grids and the concept of duality paring. The Robin’s transmission condition is employed on interfaces between adjacent sub-domains to enforce continuity of electromagnetic fields and to ensure the sub-domain problems are well-posed. Through the introduction of cement variables, the meshes at the interface could be non-conformal which significantly relaxes the meshing procedures. By following the spirit of duality paring a symmetric system is obtained to better reflect physical nature of the problem. These concepts in conjunction with the so- called finite element tearing and interconnecting algorithm form the basic modules of the present domain decomposition method. To enhance the convergence of DDM solver, the Krylov solvers instead of classical stationary solvers are employed and studied.
    [Show full text]
  • Arxiv:1708.03599V3 [Math.NA] 12 Apr 2021 to Provide Good Preconditioners
    BDDC AND FETI-DP FOR THE VIRTUAL ELEMENT METHOD SILVIA BERTOLUZZA, MICOL PENNACCHIO, AND DANIELE PRADA Abstract. We build and analyze Balancing Domain Decomposition by Constraint (BDDC) and Finite Element Tearing and Interconnecting Dual Primal (FETI-DP) preconditioners for elliptic problems discretized by the virtual element method (VEM). We prove polylogarithmic condition number bounds, independent of the number of subdomains, the mesh size, and jumps in the diffusion coefficients. Numerical experiments confirm the theory. 1. Introduction The ever-increasing interest in methods based on polygonal and polyhedral meshes for the nu- merical solution of PDEs stems from the high flexibility that polytopic grids allow in the treatment of complex geometries, which presently turns out to be, in many applications in computational engineering and scientific computing, as crucial a task as the construction and numerical solution of the discretized equations. Examples of methods where the discretization is based on arbitrarily shaped polytopic meshes include: Mimetic Finite Differences [14, 25], Discontinuous Galerkin-Finite Element Method (DG-FEM) [1, 26], Hybridizable and Hybrid High-Order Methods [29, 31], Weak Galerkin Method [60], BEM-based FEM [55] and Polygonal FEM [57]. Among such methods, the virtual element method (VEM) [5] is a quite recent discretization framework which can be viewed as an extension of the Finite Element Methods (FEM). The main idea of VEM is to consider local approximation spaces including polynomial functions, but to avoid the explicit construction and integration of the associated shape functions, whence the name virtual. An implicit knowledge of the local shape functions allows the evaluation of the operators and matrices needed in the method.
    [Show full text]