t x 0.25

 Morris Mitchell
 11 months ago
 Views:
Transcription
1 Journal of ELECTRICAL ENGINEERING, VOL. 52, NO. /s, 2, 48{52 COMPARISON OF BROYDEN AND NEWTON METHODS FOR SOLVING NONLINEAR PARABOLIC EQUATIONS Ivan Cimrak If the time discretization of a nonlinear parabolic dierential equation is realized by Rothe's method then the problem of solving degenerate elliptic equations occurs. After performing a space discretization on each time level the problem can be transformed into solving large systems of nonlinear equations. In this paper Broyden's method and NewtonKantorovich method are used for solving such systems. The numerical implementations of both methods are compared from the point of view of time eectiveness. Several numerical experiments comparing the Broyden and NewtonKantorovich methods are studied. K e y w o r d s: Degenerate parabolic equation, slow diusion, quasinewton method, Broyden method, Newton Kantorovich method, Barenblatt solution. 2 Mathematics Subject Classication: 35K65, 65P5, 65M6 INTRODUCTION The purpose of this paper is to compare computational results of two methods for solving nonlinear degenerate parabolic equations. Computational eciency of Newton's method is compared with the Broyden quasi Newton method. These methods are used for solving a degenerate nonlinear elliptic problem in each time step level. We will be mainly concerned with the following nonlinear parabolic equation: t u (u) = ; in (; T ) ; () where is a smoothly bounded domain in R N. A solution to () is subject to the Dirichlet boundary condition and initial condition u = ; (2) u(x; ) = u (x) : (3) The initialboundary value problem (){(3) will be denoted by (P ) hereafter. We assume that the function satises the assumption (A) is C smooth function such that. Notice that in the case () = the problem (P ) is a degenerated parabolic equation. In general, a solution to (P ) need not be necessarily smooth and that is why we have to deal with weak solutions only. Denition. A function u is called a weak solution to the problem (P ) i (i) u 2 L 2 (I; H ()) \ L (I ); (ii) u satises the integral identity Z T Z (u(x; t) u (x))v t (x; t) r(u(x; t))rv(x; t) dx dt = ; for all v 2 L 2 (I; H ()) such that v t 2 L (I ) and v(; T ) =. It is worth to note that the problem (P ) has at most one weak solution (see [9]). In this paper we investigate numerical aspects of Broyden's and NewtonKantorovich methods. We implement both methods and compare their eciency and computational time needed for numerical results of the same precision. In [7] a proof of the existence of a solution as well as convergence of Rothe's method used for solving parabolic equations of the form () has been shown. In [6] authors suggested a linear approximation scheme for solving the problem ( P ) and they proved the convergence of approximative solutions to an exact solution. For the numerical implementation of this scheme we refer to [8]. The comparison of this scheme and Broyden's method has been studied in [2]. Recall that the Broyden method as a part of quasinewton methods is often used in optimization problems like, e.g., minimization of nonlinear functionals in nite dimensional spaces. In the context of nonlinear parabolic equations, the Broyden method has been successfully applied as a tool for minimizing penalty functionals in inverse problems. We refer to recent papers by Soria and Pegon [] and Yu [] for applications of Broyden's method used for solving nonlinear systems arising from optimization problems for nonlinear parabolic equations. However, inspection of the literature shows that this method has been rarely used for solving Department of Mathematical Analysis, Ghent University, Galglaan 2, 9 Ghent, Belgium, cimocage.rug.ac.be ISSN c 2 FEI STU
2 Journal of ELECTRICAL ENGINEERING VOL. 52, NO. /s 2 49 nonlinear systems of equations in innite dimension such as nonlinear elliptic problems. On the other hand, the Newton method and the socalled Jager Kacur method attracted a lot of attention with respect to numerical solution of degenerate parabolic equations and systems. In [4] Fuhrmann investigated a numerical solution to nonlinear parabolic equations like, e.g., Richard's equation or the equation describing the motion of a viscous compressible uid in a porous medium. Special attention was paid to problems with coecients varying in space. In his approach the solution scheme is based on an implicit time discretization combined with Newton's method. For the solution of linear problems, iterative methods are used. The author compares in [3] the Newton method with linear approximation scheme of Jager and Kacur introduced in [6]. TIME DISCRETIZATION As usual, time discretization of a nonlinear parabolic equation () is done by using standard Rothe's step functions. The time interval I = h; T i will be divided into n subintervals ht i ; t i i such that jt i t i j = = n. The time derivative u t is approximated by the backward Euler approximation ui ui. For each xed n we therefore have to solve n elliptic problems of the form u i u i (u i ) = ; (4) u i = : (5) known when computing the new time level v i. If we denote F (v) := v v i f (v) (6) then our aim is to nd a solution v to the following nonlinear equation: F (v) = ; F : R K! R K : (7) 2 SOLUTION IN TIME LEVEL It is dicult to nd an exact solution to the problem (7) in general. There are several numerical methods used in order to nd approximation of the exact solution. We will be concerned with iterative schemes of Newton and quasinewton types. Hereafter, we will denote all inner iterations of these schemes by an upper index. We will seek for a solution v to (7) as a limit v = lim k! v k, where fv k g k= is a suitable sequence of approximations of v constructed via either Newton's or quasinewton's (Broyden's) method. The NewtonKantorovich method This method is commonly used in solving nonlinear problems of the form (7). The socalled Newton's iterations are dened by v k+ = v k [F (v k )] F (v k ) : (8) By solving the above elliptic problems we obtain functions u ; u ; : : : ; u n. Using these functions one can construct Rothe's step function u n : u n (x; t) = u i (x) if t 2 ht i ; t i i : It was proved in [7] that the sequence fu n g converges to a weak solution to the problem (P ) in the norm of the space L 2 (I; H ). Now the main problem is how to nd functions u i. One can discretize the elliptic problem by using several methods, e.g., Finite Elements Method, Finite Dierences Method and others. In any case, the space of functions in which we look for u i is approximated by nite dimensional spaces equivalent to R K. After time and space discretization is performed, functions u i are approximated by vectors v i = (vi ; v2 i ; : : : ; vk i ) 2 RK and problem (P ) is reduced to the following problem v i v i f (v i ) = ; (R) with respect to the approximation of the Dirichlet boundary condition. The operator f approximates the Laplace operator. Of course, it depends on the way how the space discretization has been performed. It is important to emphasize that the vector v i is already We refer to a book [5] by Hutson for a proof of local quadratic convergence of Newton's iterations to a solution of equation (7). Let us recall that assumptions needed for the proof of local quadratic convergence require that the norm kf (v )k is suciently small. This can be guaranteed by taking v = v i and assuming that the time discretization step > is small enough. Broyden's method This method is based on the socalled Broyden's update formula for quasinewton iterations: v k+ = v k B k F (vk ) : (9) In the NK method matrices we have B k = F (v k ). In Broyden's method, B k, k = ; 2; : : :, represent only approximations of the Jacobi matrix F (v k ). If we denote s k = v k+ v k ; y k = F (v k+ ) F (v k ) ; then the Broyden update for a new approximation of the Jacobi matrix B k+ is given by B k+ = B k + y k B k s k ks k k 2 s k > :
3 5 I. Cimrak: COMPARISON OF BROYDEN AND NEWTON METHODS FOR SOLVING NONLINEAR PARABOLIC EQUATIONS t x.25.5 Fig.. The exact Barenblatt solution.8 Table. Computational time in the D problem for the spatial grid size h = :35. NK method Broyden's method :5 :66 : :25 :28 :225 :6 :89 :53 :25 :25 :745 Table 2. Computational time in the D problem for the time step = :25. h NK method Broyden's method :7 :68 :349 :466 :98 :78 :35 :28 :225 :28 :57 2:9 :233 :87 2:826 :2 :26 3:98 results based on this method. Otherwise, we have to pay for this precision with more operations needed to compute new iterates of the NK method compared to relatively cheap implementation requirements of the Broyden method. We have considered a simple example of a diusion equation with a known exact solution. Let us consider the following equation t u u m = ; x 2 R N ; t 2 (; T i ; () where m >. This equation can be used in modeling slow diusion problems. Denote z(x; t; a; ) = " (t + ) k a 2 Cjxj2 (t + ) 2k N # m N where [] + = max[; ], k =, C = k(m ) N(m )+2 2Nm and a; > are positive constants. Taking u(x; t) = z(x; t; a; ) one can easily verify that such a function u is a solution to () with the initial condition u(x; ) = z(x; ; a; ). This explicit solution is referred to as the Barenblatt solution to (). The support fx 2 R N j u(x; t) > g of the solution is a bounded subset of R N for every t. (See Fig..) We have tested this example in one and in two spatial dimensions. We focused on the eectiveness of the two methods. In every example we set parameters such as the number of NK or Broyden's iterations to gain the same precision of numerical solution. Then we measured the computational time needed for both methods. + ; Thanks to ShermanMorrison formula (see Allgower and Georg []) we can directly compute B k+ if B k is known. That is the main advantage in comparison to solving systems using NK method. No systems of linear equations with large matrices have to be solved. Such a formula can be derived by the following nice geometric motivation discussed in more detail in []. In this book one can also nd a proof of a local superlinear convergence of Broyden's iterates to the root of (7). The assumptions needed for the proof of a local superlinear convergence require closeness of the initial iterate v and the root v. Again, this requirement can be guaranteed by taking v = v i and assuming <. 3 COMPARISON OF BOTH METHODS In this section we compare the results of implementation of both the NewtonKantorovich and Broyden methods for solving one time step level problems in time discretization of the degenerate parabolic problem. Since theoretical results indicate a better rate of convergence for the NK method, we expected more precise numerical One spatial dimension The Laplace operator xx was approximated by nite dierences dened on a uniform spatial mesh with the grid size equals to h. Such an approximation of xx yields a simple three diagonal matrix F from (8). Therefore we can use a fast solver for a linear system of equations with a three diagonal matrix. The time needed to compute numerical solution is apparently shorter for NK scheme. (See Tables and 2). By using Broyden's scheme we need to compute several scalar products in each time step and this is why, in one spatial dimension, Broyden's method turned to be less eective than the NK method. Since the support of the Barenblatt solution is bounded, for any time t > we can take suciently large and we can assume zero Dirichlet boundary conditions. We performed experiments in two ways. First we investigated the dependence of the computational TIME for a xed grid size h > and varying time steps. Next we have xed x and we varied the grid size h >. In order to compare precisions of the two methods we used discrete approximations of continuous norms of the Banach spaces L 2 (), L and W 2 () spaces. Let
4 Journal of ELECTRICAL ENGINEERING VOL. 52, NO. /s 2 5 In Tab. 2 the tolerances were set as follows: : < 3 ku NK u g k L 2() < 4:689 ; Fig. 2. The initial prole Table 3. Computational time in the 2D problem for the spatial grid size h = :6. NK method Broyden's method :5 3:89 :55 :25 7:97 2:3 :6 9:8 3:45 :25 3:372 4:6 Table 4. Computational time in the 2D problem for the time step = :5. h NK method Broyden's method :6 3:89 :55 :52 4:433 :278 :45 5:54 :47 :39 5:773 :566 :33 6:59 :78 :28 7:32 :844 us dene the following discrete norms of a vector u = (u ; u 2 ; : : : ; u K ): kuk Lp = n kuk L = max K i= nx i= ju i j p p ; () (ju i j) ; (2) :22524 < 3 ku B u gk L2() < 4:5984 ; :388 < 2 ku NK u gk L() < 2:978 ; :378 < 2 ku B u g k L() < 2:967 : Two spatial dimensions The Laplace operator xx + yy was approximated by nite dierences dened on a uniform spatial mesh with a grid size h > in each direction. Such an approximation leads to a more complicated matrix F (see (8)). The matrix is only block diagonal and it was not possible to use a fast solver for this system. When the solver for full matrices is used, the computational time in 2D for NK method is about 2 times longer than for Broyden's method. Then, we used the standard package meschach for operations with sparse matrices. Some problems with indefinite matrices occur and the software had to be modied. The computational time needed to compute a numerical solution is rapidly growing for NK if we enlarge spatial discretization (see Tabs. 3 and 4). Broyden's scheme requires less operations and it seems to be more ecient compared with NK scheme in 2D. While solving problems in 3D, there are extremely large matrices and using of Broyden's scheme could be very eective. We used discrete L p norms from (2) and () to guarantee the same precision of the methods again. In the case which is shown in Tab. 3 the controlled difference between numerical solutions u NK ; u B and exact solution u g at grid points was estimated by 2:4362 < 2 ku NK u gk L2() < 2:443 ; 2:4344 < 2 ku B u g k L 2() < 2:4378 ; 9:3359 < 2 ku NK u g k L() < 9:3377 ; 9:339 < 2 ku B u gk L() < 9:337 : For the comparison of computational times shown in Tab., as a stopping criterion we assumed the following tolerances for various norms of dierences of numerical solutions u NK ; u B and the exact solution u g : 2:2866 < 3 ku NK u g k L 2() < 2: ; 2:568 < 3 ku B u g k L 2() < 2:986 ; :2984 < 2 ku NK u gk L() < :3448 ; :34 < 2 ku B u g k L() < :3433 : In the last case (see Tab. 4) we obtained the following estimates: :63896 < 2 ku NK u g k L 2() < :93294 ; :63697 < 2 ku B u g k L 2() < :9399 ; 7:3388 < 2 ku NK u gk L() < 8:86 ; 7:336 < 2 ku B u g k L() < 8:7947 :
5 52 I. Cimrak: COMPARISON OF BROYDEN AND NEWTON METHODS FOR SOLVING NONLINEAR PARABOLIC EQUATIONS t= s t=.33 s t=.66 s t=. s t=.33 s t=.66 s Fig. 3. The time evolution of the interface 4 OTHER NUMERICAL EXPERIMENTS We solve one more equation with unknown exact solution (taken from [8]). Let us consider a parabolic equation with homogeneous Dirichlet boundary conditions 2 t u x 2 (um )+ 2 y 2 (um ) +Cu p = ; x 2 ; t 2 (; T ); where = ( L; L) ( L; L) and p; C are positive constants. We consider an initial prole u(x; ) = u (x) (see Fig. 2) where u (x) = 8 < : ; i h x = ; y = ; (x2 +y 2 ) 2 ; xy 6= : (x 6 +y 6 ) 2 The parameters were chosen: m = 2 ; p = :5 ; c = 5 ; = :3 ; T = :2 ; L = :5 ; h = 4 : The evolution of the interface sptfu(; t)g is depicted in Fig. 3. Acknowledgment + [3] FUHRMANN, J. : Numerical Solution Schemes For Nonlinear Diusion Problems Based on Newton's Method, Proceedings of contributed papers and posters, ALGORITMY'97, Conference on Scientic Computing, West Tatra Mountains, September 25 (997) pp. 32{4. [4] FUHRMANN, J. : On Numerical Solution Methods for Nonlinear Parabolic Problems, Vieweg. Notes Numer. Fluid Mech. 59 (997), 7{8. [5] HUTSON, V. PYM, J. S. : Applications of Functional Analysis and Operator Theory, Academic Press, London, 98. [6] J AGER, W. KACUR, J. : Solution of Porous Medium Type Systems by Linear Approximation Schemes, Numer. Math. 6 (99), 47{427. [7] KACUR, J. : Method of Rothe in Evolution Equations, BSB Teubner Verlag, Leipzig, 985. [8] MIKULA, K. : Numerical Solution of Nonlinear Diusion with Finite Extinction Phenomenon, Acta Math. Univ. Comenianae 64 No. 2 (995), 73{84. [9] OTTO, F. : L Contraction and Uniqueness for Quasilinear EllipticParabolic Equations, Journal of Dierential Equations 3 (996), 2{38. [] SORIA, A. PEGON, P. : QuasiNewton Iterative Strategies Applied to the Heat Diusion Equation, Int. J. Numer. Methods Eng. 4 (99), 66{677. [] YU, W. : A QuasiNewton Method in InniteDimensional Spaces and its Application for Solving a Parabolic Inverse Problem, J. Comput. Math. 6 No. 4 (998), 35{38. Received 29 May 2 Revised October 2 The author is greatly indebted to D. Sevcovic for his constructive remarks. References [] ALLGOWER, E. L. GEORG, K. : Numerical Continuation Methods, Springer Verlag, Berlin, 99. [2] CIMR AK, I. SEVCOVIC, D. : Application of Broyden's Method for Solving Nonlinear Degenerate Parabolic Equations, submitted. Ivan Cimrak (Mgr) is a graduate student in mathematics at the Department of Mathematical Analysis of the Faculty of Engeneering, University of Ghent, Belgium. His supervisor is prof. Roger Van Keer. His research interests include electromagnetism, magnetic hysteresis, FEM. As a high school student he parcitipated in International Mathematical Olympiads in Toronto (995) and in Bombay (996) and he won bronze medals. In 2 he nished study of Numerical Analysis at the Faculty of Mathematics, Physics and Informatics, Comenius University, Bratislava, Slovakia.
Abstract. A front tracking method is used to construct weak solutions to
A Front Tracking Method for Conservation Laws with Boundary Conditions K. Hvistendahl Karlsen, K.{A. Lie, and N. H. Risebro Abstract. A front tracking method is used to construct weak solutions to scalar
More informationNumerical Methods for the LandauLifshitzGilbert Equation
Numerical Methods for the LandauLifshitzGilbert Equation L ubomír Baňas Department of Mathematical Analysis, Ghent University, 9000 Gent, Belgium lubo@cage.ugent.be http://cage.ugent.be/~lubo Abstract.
More informationThe method of lines (MOL) for the diffusion equation
Chapter 1 The method of lines (MOL) for the diffusion equation The method of lines refers to an approximation of one or more partial differential equations with ordinary differential equations in just
More informationTutorial 2. Introduction to numerical schemes
236861 Numerical Geometry of Images Tutorial 2 Introduction to numerical schemes c 2012 Classifying PDEs Looking at the PDE Au xx + 2Bu xy + Cu yy + Du x + Eu y + Fu +.. = 0, and its discriminant, B 2
More informationBlowup for Hyperbolic Equations. Helge Kristian Jenssen and Carlo Sinestrari
Blowup for Hyperbolic Equations Helge Kristian Jenssen and Carlo Sinestrari Abstract. We consider dierent situations of blowup in supnorm for hyperbolic equations. For scalar conservation laws with a
More informationERIK STERNER. Discretize the equations in space utilizing a nite volume or nite dierence scheme. 3. Integrate the corresponding timedependent problem
Convergence Acceleration for the Navier{Stokes Equations Using Optimal Semicirculant Approximations Sverker Holmgren y, Henrik Branden y and Erik Sterner y Abstract. The iterative solution of systems of
More informationOn reaching headtotail ratios for balanced and unbalanced coins
Journal of Statistical Planning and Inference 0 (00) 0 0 www.elsevier.com/locate/jspi On reaching headtotail ratios for balanced and unbalanced coins Tamas Lengyel Department of Mathematics, Occidental
More informationk=6, t=100π, solid line: exact solution; dashed line / squares: numerical solution
DIFFERENT FORMULATIONS OF THE DISCONTINUOUS GALERKIN METHOD FOR THE VISCOUS TERMS CHIWANG SHU y Abstract. Discontinuous Galerkin method is a nite element method using completely discontinuous piecewise
More informationSplitting of Expanded Tridiagonal Matrices. Seongjai Kim. Abstract. The article addresses a regular splitting of tridiagonal matrices.
Splitting of Expanded Tridiagonal Matrices ga = B? R for Which (B?1 R) = 0 Seongai Kim Abstract The article addresses a regular splitting of tridiagonal matrices. The given tridiagonal matrix A is rst
More informationOn Nonlinear Dirichlet Neumann Algorithms for Jumping Nonlinearities
On Nonlinear Dirichlet Neumann Algorithms for Jumping Nonlinearities Heiko Berninger, Ralf Kornhuber, and Oliver Sander FU Berlin, FB Mathematik und Informatik (http://www.math.fuberlin.de/rd/we02/numerik/)
More informationBifurcation from the rst eigenvalue of some nonlinear elliptic operators in Banach spaces
Nonlinear Analysis 42 (2000) 561 572 www.elsevier.nl/locate/na Bifurcation from the rst eigenvalue of some nonlinear elliptic operators in Banach spaces Pavel Drabek a;, Nikos M. Stavrakakis b a Department
More informationNUMERICAL SIMULATION OF INTERACTION BETWEEN INCOMPRESSIBLE FLOW AND AN ELASTIC WALL
Proceedings of ALGORITMY 212 pp. 29 218 NUMERICAL SIMULATION OF INTERACTION BETWEEN INCOMPRESSIBLE FLOW AND AN ELASTIC WALL MARTIN HADRAVA, MILOSLAV FEISTAUER, AND PETR SVÁČEK Abstract. The present paper
More informationON THE ASYMPTOTIC STABILITY IN TERMS OF TWO MEASURES FOR FUNCTIONAL DIFFERENTIAL EQUATIONS. G. Makay
ON THE ASYMPTOTIC STABILITY IN TERMS OF TWO MEASURES FOR FUNCTIONAL DIFFERENTIAL EQUATIONS G. Makay Student in Mathematics, University of Szeged, Szeged, H6726, Hungary Key words and phrases: Lyapunov
More informationquantitative information on the error caused by using the solution of the linear problem to describe the response of the elastic material on a corner
Quantitative Justication of Linearization in Nonlinear Hencky Material Problems 1 Weimin Han and Hongci Huang 3 Abstract. The classical linear elasticity theory is based on the assumption that the size
More informationMath 411 Preliminaries
Math 411 Preliminaries Provide a list of preliminary vocabulary and concepts Preliminary Basic Netwon s method, Taylor series expansion (for single and multiple variables), Eigenvalue, Eigenvector, Vector
More informationXIAOCHUAN CAI AND MAKSYMILIAN DRYJA. strongly elliptic equations discretized by the nite element methods.
Contemporary Mathematics Volume 00, 0000 Domain Decomposition Methods for Monotone Nonlinear Elliptic Problems XIAOCHUAN CAI AND MAKSYMILIAN DRYJA Abstract. In this paper, we study several overlapping
More informationA Finite Element Method for an IllPosed Problem. MartinLutherUniversitat, Fachbereich Mathematik/Informatik,Postfach 8, D Halle, Abstract
A Finite Element Method for an IllPosed Problem W. Lucht MartinLutherUniversitat, Fachbereich Mathematik/Informatik,Postfach 8, D699 Halle, Germany Abstract For an illposed problem which has its origin
More informationChapter Two: Numerical Methods for Elliptic PDEs. 1 Finite Difference Methods for Elliptic PDEs
Chapter Two: Numerical Methods for Elliptic PDEs Finite Difference Methods for Elliptic PDEs.. Finite difference scheme. We consider a simple example u := subject to Dirichlet boundary conditions ( ) u
More informationSOE3213/4: CFD Lecture 3
CFD { SOE323/4: CFD Lecture 3 @u x @t @u y @t @u z @t r:u = 0 () + r:(uu x ) = + r:(uu y ) = + r:(uu z ) = @x @y @z + r 2 u x (2) + r 2 u y (3) + r 2 u z (4) Transport equation form, with source @x Two
More informationAverage Reward Parameters
SimulationBased Optimization of Markov Reward Processes: Implementation Issues Peter Marbach 2 John N. Tsitsiklis 3 Abstract We consider discrete time, nite state space Markov reward processes which depend
More information13 PDEs on spatially bounded domains: initial boundary value problems (IBVPs)
13 PDEs on spatially bounded domains: initial boundary value problems (IBVPs) A prototypical problem we will discuss in detail is the 1D diffusion equation u t = Du xx < x < l, t > finitelength rod u(x,
More informationMULTIGRID PRECONDITIONING FOR THE BIHARMONIC DIRICHLET PROBLEM M. R. HANISCH
MULTIGRID PRECONDITIONING FOR THE BIHARMONIC DIRICHLET PROBLEM M. R. HANISCH Abstract. A multigrid preconditioning scheme for solving the CiarletRaviart mixed method equations for the biharmonic Dirichlet
More informationClassification of partial differential equations and their solution characteristics
9 TH INDO GERMAN WINTER ACADEMY 2010 Classification of partial differential equations and their solution characteristics By Ankita Bhutani IIT Roorkee Tutors: Prof. V. Buwa Prof. S. V. R. Rao Prof. U.
More informationTime Integration Methods for the Heat Equation
Time Integration Methods for the Heat Equation Tobias Köppl  JASS March 2008 Heat Equation: t u u = 0 Preface This paper is a short summary of my talk about the topic: Time Integration Methods for the
More informationLecture 1: Dynamic Programming
Lecture 1: Dynamic Programming Fatih Guvenen November 2, 2016 Fatih Guvenen Lecture 1: Dynamic Programming November 2, 2016 1 / 32 Goal Solve V (k, z) =max c,k 0 u(c)+ E(V (k 0, z 0 ) z) c + k 0 =(1 +
More information514 YUNHAI WU ET AL. rate is shown to be asymptotically independent of the time and space mesh parameters and the number of subdomains, provided that
Contemporary Mathematics Volume 218, 1998 Additive Schwarz Methods for Hyperbolic Equations Yunhai Wu, XiaoChuan Cai, and David E. Keyes 1. Introduction In recent years, there has been gratifying progress
More informationNumerical solutions of nonlinear systems of equations
Numerical solutions of nonlinear systems of equations TsungMing Huang Department of Mathematics National Taiwan Normal University, Taiwan Email: min@math.ntnu.edu.tw August 28, 2011 Outline 1 Fixed points
More informationNumerical Methods for LargeScale Nonlinear Systems
Numerical Methods for LargeScale Nonlinear Systems Handouts by Ronald H.W. Hoppe following the monograph P. Deuflhard Newton Methods for Nonlinear Problems Springer, BerlinHeidelbergNew York, 2004 Num.
More information2 used to model the movement of water in groundwater reservoirs. However, it provides no information on the motion of air. If contaminant transport is
FULLYDISCRETE FINITE ELEMENT ANALYSIS OF MULTIPHASE FLOW IN GROUNDWATER HYDROLOGY Zhangxin Chen* and Richard E. Ewingy Abstract. This paper deals with development and analysis of a fully discrete nite
More informationNONEXTINCTION OF SOLUTIONS TO A FAST DIFFUSION SYSTEM WITH NONLOCAL SOURCES
Electronic Journal of Differential Equations, Vol. 2016 (2016, No. 45, pp. 1 5. ISSN: 10726691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu NONEXTINCTION OF
More informationLine Search Methods for Unconstrained Optimisation
Line Search Methods for Unconstrained Optimisation Lecture 8, Numerical Linear Algebra and Optimisation Oxford University Computing Laboratory, MT 2007 Dr Raphael Hauser (hauser@comlab.ox.ac.uk) The Generic
More information1 Ordinary points and singular points
Math 70 honors, Fall, 008 Notes 8 More on series solutions, and an introduction to \orthogonal polynomials" Homework at end Revised, /4. Some changes and additions starting on page 7. Ordinary points and
More informationLecture 4: Dynamic Programming
Lecture 4: Dynamic Programming Fatih Guvenen January 10, 2016 Fatih Guvenen Lecture 4: Dynamic Programming January 10, 2016 1 / 30 Goal Solve V (k, z) =max c,k 0 u(c)+ E(V (k 0, z 0 ) z) c + k 0 =(1 +
More informationConvergence of The Multigrid Method With A Wavelet. Abstract. This new coarse grid operator is constructed using the wavelet
Convergence of The Multigrid Method With A Wavelet Coarse Grid Operator Bjorn Engquist Erding Luo y Abstract The convergence of the twolevel multigrid method with a new coarse grid operator is studied.
More informationThe Algebraic Multigrid Projection for Eigenvalue Problems; Backrotations and Multigrid Fixed Points. Sorin Costiner and Shlomo Ta'asan
The Algebraic Multigrid Projection for Eigenvalue Problems; Backrotations and Multigrid Fixed Points Sorin Costiner and Shlomo Ta'asan Department of Applied Mathematics and Computer Science The Weizmann
More informationconsideration, is indispensable. Due to the great number of restarts, one for each splitstep time interval, it is particularly important to use integ
GaussSeidel Iteration for Sti ODEs from Chemical Kinetics J.G. Verwer CWI P.O. Box 94079, 1090 GB Amsterdam, The Netherlands Abstract A simple GaussSeidel technique is proposed which exploits the special
More informationNumerical Schemes from the Perspective of Consensus
Numerical Schemes from the Perspective of Consensus Exploring Connections between Agreement Problems and PDEs Department of Electrical Engineering and Computer Sciences University of California, Berkeley
More informationOur goal is to solve a general constant coecient linear second order. this way but that will not always happen). Once we have y 1, it will always
October 5 Relevant reading: Section 2.1, 2.2, 2.3 and 2.4 Our goal is to solve a general constant coecient linear second order ODE a d2 y dt + bdy + cy = g (t) 2 dt where a, b, c are constants and a 0.
More information2 IVAN YOTOV decomposition solvers and preconditioners are described in Section 3. Computational results are given in Section Multibloc formulat
INTERFACE SOLVERS AND PRECONDITIONERS OF DOMAIN DECOMPOSITION TYPE FOR MULTIPHASE FLOW IN MULTIBLOCK POROUS MEDIA IVAN YOTOV Abstract. A multibloc mortar approach to modeling multiphase ow in porous media
More informationand P RP k = gt k (g k? g k? ) kg k? k ; (.5) where kk is the Euclidean norm. This paper deals with another conjugate gradient method, the method of s
Global Convergence of the Method of Shortest Residuals Yuhong Dai and Yaxiang Yuan State Key Laboratory of Scientic and Engineering Computing, Institute of Computational Mathematics and Scientic/Engineering
More informationUniversity of Cyprus. Abstract. singularities is analyzed. In this method, the solution is approximated by the
A Singular Function Boundary Integral Method for Elliptic Problems with Singularities hristos Xenophontos, Miltiades Elliotis and Georgios Georgiou Department of Mathematics and Statistics University of
More information290 J.M. Carnicer, J.M. Pe~na basis (u 1 ; : : : ; u n ) consisting of minimally supported elements, yet also has a basis (v 1 ; : : : ; v n ) which f
Numer. Math. 67: 289{301 (1994) Numerische Mathematik c SpringerVerlag 1994 Electronic Edition Least supported bases and local linear independence J.M. Carnicer, J.M. Pe~na? Departamento de Matematica
More informationAn Overly Simplified and Brief Review of Differential Equation Solution Methods. 1. Some Common Exact Solution Methods for Differential Equations
An Overly Simplified and Brief Review of Differential Equation Solution Methods We will be dealing with initial or boundary value problems. A typical initial value problem has the form y y 0 y(0) 1 A typical
More informationAnalysis on Graphs. Alexander Grigoryan Lecture Notes. University of Bielefeld, WS 2011/12
Analysis on Graphs Alexander Grigoryan Lecture Notes University of Bielefeld, WS 0/ Contents The Laplace operator on graphs 5. The notion of a graph............................. 5. Cayley graphs..................................
More informationLecture Note III: LeastSquares Method
Lecture Note III: LeastSquares Method Zhiqiang Cai October 4, 004 In this chapter, we shall present leastsquares methods for secondorder scalar partial differential equations, elastic equations of solids,
More informationApplied Math Qualifying Exam 11 October Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems.
Printed Name: Signature: Applied Math Qualifying Exam 11 October 2014 Instructions: Work 2 out of 3 problems in each of the 3 parts for a total of 6 problems. 2 Part 1 (1) Let Ω be an open subset of R
More informationWe consider the application of an SQP method to an optimal control. programming problems have to be treated. The solution of the constrained
Optimal Control: Theory, Algorithms, and Applications, pp. 12 W. W. Hager and P. M. Pardalos, Editors c1997 Kluwer Academic Publishers B.V. On a SQPMultigrid Technique for Nonlinear Parabolic Boundary
More informationSUPERCONVERGENCE PROPERTIES FOR OPTIMAL CONTROL PROBLEMS DISCRETIZED BY PIECEWISE LINEAR AND DISCONTINUOUS FUNCTIONS
SUPERCONVERGENCE PROPERTIES FOR OPTIMAL CONTROL PROBLEMS DISCRETIZED BY PIECEWISE LINEAR AND DISCONTINUOUS FUNCTIONS A. RÖSCH AND R. SIMON Abstract. An optimal control problem for an elliptic equation
More informationGeneralized Shifted Inverse Iterations on Grassmann Manifolds 1
Proceedings of the Sixteenth International Symposium on Mathematical Networks and Systems (MTNS 2004), Leuven, Belgium Generalized Shifted Inverse Iterations on Grassmann Manifolds 1 J. Jordan α, P.A.
More informationEvan Mitsoulis. School of Mining Engineering and Metallurgy. National Technical University of Athens. R.R. Huilgol
Cessation of Couette and Poiseuille ows of a Bingham plastic and nite stopping times Maria Chatzimina, Georgios C. Georgiou Department of Mathematics and Statistics, University of Cyprus P.O. Box 2537,
More informationTHE LUBRICATION APPROXIMATION FOR THIN VISCOUS FILMS: REGULARITY AND LONG TIME BEHAVIOR OF WEAK SOLUTIONS A.L. BERTOZZI AND M. PUGH.
THE LUBRICATION APPROXIMATION FOR THIN VISCOUS FILMS: REGULARITY AND LONG TIME BEHAVIOR OF WEAK SOLUTIONS A.L. BERTOI AND M. PUGH April 1994 Abstract. We consider the fourth order degenerate diusion equation
More informationwith Applications to Elasticity and Compressible Flow Daoqi Yang March 20, 1997 Abstract
Stabilized Schemes for Mixed Finite Element Methods with Applications to Elasticity and Compressible Flow Problems Daoqi Yang March 20, 1997 Abstract Stabilized iterative schemes for mixed nite element
More informationUPPER AND LOWER SOLUTIONS FOR A HOMOGENEOUS DIRICHLET PROBLEM WITH NONLINEAR DIFFUSION AND THE PRINCIPLE OF LINEARIZED STABILITY
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS Volume 30, Number 4, Winter 2000 UPPER AND LOWER SOLUTIONS FOR A HOMOGENEOUS DIRICHLET PROBLEM WITH NONLINEAR DIFFUSION AND THE PRINCIPLE OF LINEARIZED STABILITY ROBERT
More informationon! 0, 1 and 2 In the ZienkiewiczZhu SPR p 1 and p 2 are obtained by solving the locally discrete leastsquares p
Analysis of a Class of Superconvergence Patch Recovery Techniques for Linear and Bilinear Finite Elements Bo Li Zhimin Zhang y Abstract Mathematical proofs are presented for the derivative superconvergence
More informationSimple Examples on Rectangular Domains
84 Chapter 5 Simple Examples on Rectangular Domains In this chapter we consider simple elliptic boundary value problems in rectangular domains in R 2 or R 3 ; our prototype example is the Poisson equation
More informationAbstract. The probabilistic approach isused for constructing special layer methods to solve thecauchy problem for semilinear parabolic equations with
NUMERICAL METHODS FOR NONLINEAR PARABOLIC EQUATIONS WITH SMALL PARAMETER BASED ON PROBABILITY APPROACH GRIGORI N. MILSTEIN, MICHAEL V. TRETYAKOV Weierstra Institut f r Angewandte Analysis und Stochastik
More informationHigh Performance Nonlinear Solvers
What is a nonlinear system? High Performance Nonlinear Solvers Michael McCourt Division Argonne National Laboratory IIT Meshfree Seminar September 19, 2011 Every nonlinear system of equations can be described
More informationNumerical Methods I Solving Nonlinear Equations
Numerical Methods I Solving Nonlinear Equations Aleksandar Donev Courant Institute, NYU 1 donev@courant.nyu.edu 1 MATHGA 2011.003 / CSCIGA 2945.003, Fall 2014 October 16th, 2014 A. Donev (Courant Institute)
More informationMaxPlanckInstitut fur Mathematik in den Naturwissenschaften Leipzig H 2 matrix approximation of integral operators by interpolation by Wolfgang Hackbusch and Steen Borm Preprint no.: 04 200 H 2 Matrix
More informationA posteriori error estimates for the adaptivity technique for the Tikhonov functional and global convergence for a coefficient inverse problem
A posteriori error estimates for the adaptivity technique for the Tikhonov functional and global convergence for a coefficient inverse problem Larisa Beilina Michael V. Klibanov December 18, 29 Abstract
More informationNational Institute of Standards and Technology USA. Jon W. Tolle. Departments of Mathematics and Operations Research. University of North Carolina USA
Acta Numerica (1996), pp. 1{000 Sequential Quadratic Programming Paul T. Boggs Applied and Computational Mathematics Division National Institute of Standards and Technology Gaithersburg, Maryland 20899
More informationA modication of the lm. model. Heikki Haario. Department of Mathematics. University of Helsinki. Hallituskatu 15, Helsinki.
A modication of the lm model Heikki Haario Department of Mathematics University of Helsinki Hallituskatu 15, 00100 Helsinki Finland email: hhaario@convex.csc.i Thomas I. Seidman Department of Mathematics
More information2.29 Numerical Fluid Mechanics Spring 2015 Lecture 9
Spring 2015 Lecture 9 REVIEW Lecture 8: Direct Methods for solving (linear) algebraic equations Gauss Elimination LU decomposition/factorization Error Analysis for Linear Systems and Condition Numbers
More informationLinearlysolvable Markov decision problems
Advances in Neural Information Processing Systems 2 Linearlysolvable Markov decision problems Emanuel Todorov Department of Cognitive Science University of California San Diego todorov@cogsci.ucsd.edu
More informationMATH 3795 Lecture 13. Numerical Solution of Nonlinear Equations in R N.
MATH 3795 Lecture 13. Numerical Solution of Nonlinear Equations in R N. Dmitriy Leykekhman Fall 2008 Goals Learn about different methods for the solution of F (x) = 0, their advantages and disadvantages.
More informationSemistrongly asymptotically nonexpansive mappings and their applications on xed point theory
Hacettepe Journal of Mathematics and Statistics Volume 46 (4) (2017), 613 620 Semistrongly asymptotically nonexpansive mappings and their applications on xed point theory Chris Lennard and Veysel Nezir
More informationIntroduction Multiphase ows in porous media occur in various practical situations including oil recovery and unsaturated groundwater ow, see for insta
Analysis of a Darcy ow model with a dynamic pressure saturation relation Josephus Hulshof Mathematical Department of the Leiden University Niels Bohrweg, 333 CA Leiden, The Netherlands Email: hulshof@wi.leidenuniv.nl
More informationLEBESGUE INTEGRATION. Introduction
LEBESGUE INTEGATION EYE SJAMAA Supplementary notes Math 414, Spring 25 Introduction The following heuristic argument is at the basis of the denition of the Lebesgue integral. This argument will be imprecise,
More informationQUADRATIC RATE OF CONVERGENCE FOR CURVATURE DEPENDENT SMOOTH INTERFACES: A SIMPLE PROOF 1
QUADRATIC RATE OF CONVERGENCE FOR CURVATURE DEPENDENT SMOOTH INTERFACES: A SIMPLE PROOF R. H. NOCHETTO Department of Mathematics and Institute for Physical Science and Technology University of Maryland,
More informationValidating an A Priori Enclosure Using. HighOrder Taylor Series. George F. Corliss and Robert Rihm. Abstract
Validating an A Priori Enclosure Using HighOrder Taylor Series George F. Corliss and Robert Rihm Abstract We use Taylor series plus an enclosure of the remainder term to validate the existence of a unique
More informationNumerical Methods of Applied Mathematics  II Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.336 Numerical Methods of Applied Mathematics  II Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms.
More informationQuasiNewton Methods
Newton s Method Pros and Cons QuasiNewton Methods MA 348 Kurt Bryan Newton s method has some very nice properties: It s extremely fast, at least once it gets near the minimum, and with the simple modifications
More informationITERATIVE METHODS FOR NONLINEAR ELLIPTIC EQUATIONS
ITERATIVE METHODS FOR NONLINEAR ELLIPTIC EQUATIONS LONG CHEN In this chapter we discuss iterative methods for solving the finite element discretization of semilinear elliptic equations of the form: find
More informationNumerical Analysis of Electromagnetic Fields
Peibai Zhou Numerical Analysis of Electromagnetic Fields With 157 Figures SpringerVerlag Berlin Heidelberg New York London Paris Tokyo Hong Kong Barcelona Budapest Contents Part 1 Universal Concepts
More informationK. BLACK To avoid these diculties, Boyd has proposed a method that proceeds by mapping a semiinnite interval to a nite interval [2]. The method is co
Journal of Mathematical Systems, Estimation, and Control Vol. 8, No. 2, 1998, pp. 1{2 c 1998 BirkhauserBoston Spectral Element Approximations and Innite Domains Kelly Black Abstract A spectralelement
More informationA Posteriori Estimates for Cost Functionals of Optimal Control Problems
A Posteriori Estimates for Cost Functionals of Optimal Control Problems Alexandra Gaevskaya, Ronald H.W. Hoppe,2 and Sergey Repin 3 Institute of Mathematics, Universität Augsburg, D8659 Augsburg, Germany
More informationNumerical Optimization Algorithms
Numerical Optimization Algorithms 1. Overview. Calculus of Variations 3. Linearized Supersonic Flow 4. Steepest Descent 5. Smoothed Steepest Descent Overview 1 Two Main Categories of Optimization Algorithms
More information4 Derivations of the DiscreteTime Kalman Filter
Technion Israel Institute of Technology, Department of Electrical Engineering Estimation and Identification in Dynamical Systems (048825) Lecture Notes, Fall 2009, Prof N Shimkin 4 Derivations of the DiscreteTime
More informationRESIDUAL BASED ERROR ESTIMATES FOR THE SPACETIME DISCONTINUOUS GALERKIN METHOD APPLIED TO NONLINEAR HYPERBOLIC EQUATIONS
Proceedings of ALGORITMY 2016 pp. 113 124 RESIDUAL BASED ERROR ESTIMATES FOR THE SPACETIME DISCONTINUOUS GALERKIN METHOD APPLIED TO NONLINEAR HYPERBOLIC EQUATIONS VÍT DOLEJŠÍ AND FILIP ROSKOVEC Abstract.
More informationwith spectral methods, for the time integration of spatially discretized PDEs of diusionconvection
IMPLICITEPLICIT METHODS FOR TIMEDEPENDENT PDE'S URI M. ASCHER, STEVEN J. RUUTH y, AND BRIAN T.R. WETTON z Abstract. Implicitexplicit (IME) schemes have been widely used, especially in conjunction with
More informationOn intermediate value theorem in ordered Banach spaces for noncompact and discontinuous mappings
Int. J. Nonlinear Anal. Appl. 7 (2016) No. 1, 295300 ISSN: 20086822 (electronic) http://dx.doi.org/10.22075/ijnaa.2015.341 On intermediate value theorem in ordered Banach spaces for noncompact and discontinuous
More informationSea Surface. Bottom OBS
ANALYSIS OF HIGH DIMENSIONAL TIME SERIES: OCEAN BOTTOM SEISMOGRAPH DATA Genshiro Kitagawa () and Tetsuo Takanami (2) () The Institute of Statistical Mathematics, 467 MinamiAzabu, Minatoku, Tokyo 068569
More informationKunisch [4] proved that the optimality system is slantly dierentiable [7] and the primaldual active set strategy is a specic semismooth Newton method
Finite Dierence Smoothing Solution of Nonsmooth Constrained Optimal Control Problems Xiaojun Chen 22 April 24 Abstract The nite dierence method and smoothing approximation for a nonsmooth constrained optimal
More informationA PROJECTED HESSIAN GAUSSNEWTON ALGORITHM FOR SOLVING SYSTEMS OF NONLINEAR EQUATIONS AND INEQUALITIES
IJMMS 25:6 2001) 397 409 PII. S0161171201002290 http://ijmms.hindawi.com Hindawi Publishing Corp. A PROJECTED HESSIAN GAUSSNEWTON ALGORITHM FOR SOLVING SYSTEMS OF NONLINEAR EQUATIONS AND INEQUALITIES
More informationPartial Differential Equations and the Finite Element Method
Partial Differential Equations and the Finite Element Method Pavel Solin The University of Texas at El Paso Academy of Sciences ofthe Czech Republic iwiley INTERSCIENCE A JOHN WILEY & SONS, INC, PUBLICATION
More informationSergej A. Ivanov and Vadim G. Korneev. On the preconditioning in the. domain decomposition technique. for the pversion nite element. method.
Technische Universitat ChemnitzZwickau DFGForschergruppe \SPC" Fakultat fur Mathematik Sergej A. Ivanov and Vadim G. Korneev On the preconditioning in the domain decomposition technique for the pversion
More informationTwo improved classes of Broyden s methods for solving nonlinear systems of equations
Available online at www.isrpublications.com/jmcs J. Math. Computer Sci., 17 (2017), 22 31 Research Article Journal Homepage: www.tjmcs.com  www.isrpublications.com/jmcs Two improved classes of Broyden
More informationCHAPTER 5: Linear Multistep Methods
CHAPTER 5: Linear Multistep Methods Multistep: use information from many steps Higher order possible with fewer function evaluations than with RK. Convenient error estimates. Changing stepsize or order
More informationNumerical Methods in Informatics
Numerical Methods in Informatics Lecture 2, 30.09.2016: Nonlinear Equations in One Variable http://www.math.uzh.ch/binf4232 Tulin Kaman Institute of Mathematics, University of Zurich Email: tulin.kaman@math.uzh.ch
More informationFinite Difference and Finite Element Methods
Finite Difference and Finite Element Methods Georgy Gimel farb COMPSCI 369 Computational Science 1 / 39 1 Finite Differences Difference Equations 3 Finite Difference Methods: Euler FDMs 4 Finite Element
More informationA level set method for solving free boundary problems associated with obstacles
A level set method for solving free boundary problems associated with obstacles K. Majava University of Jyväskylä, Department of Mathematical Information Technology, P.O. Box 35 (Agora), FIN44 University
More informationSOR as a Preconditioner. A Dissertation. Presented to. University of Virginia. In Partial Fulllment. of the Requirements for the Degree
SOR as a Preconditioner A Dissertation Presented to The Faculty of the School of Engineering and Applied Science University of Virginia In Partial Fulllment of the Reuirements for the Degree Doctor of
More informationSIMILAR FUNCTIONS AND THEIR PROPERTIES. 1. Introduction. 2. Two basic notions
t m Mathematical Publications DOI: 10.2478/tmmp20130018 Tatra Mt. Math. Publ. 55 (2013), 47 56 SIMILAR FUNCTIONS AND THEIR PROPERTIES Ivan Kupka ABSTRACT. We are working with two topological notions
More informationA Block RedBlack SOR Method. for a TwoDimensional Parabolic. Equation Using Hermite. Collocation. Stephen H. Brill 1 and George F.
1 A lock edlack SO Method for a TwoDimensional Parabolic Equation Using Hermite Collocation Stephen H. rill 1 and George F. Pinder 1 Department of Mathematics and Statistics University ofvermont urlington,
More informationsemigroup and P x the law of starting at x 2 E. We consider a branching mechanism : R +! R + of the form (u) = au + bu 2 + n(dr)[e ru 1 + ru]; (;1) w
M.S.R.I. October 1317 1997. Superprocesses and nonlinear partial dierential equations We would like to describe some links between superprocesses and some semilinear partial dierential equations. Let
More informationCHAPTER 2: QUADRATIC PROGRAMMING
CHAPTER 2: QUADRATIC PROGRAMMING Overview Quadratic programming (QP) problems are characterized by objective functions that are quadratic in the design variables, and linear constraints. In this sense,
More informationMATH 1231 MATHEMATICS 1B Calculus Section 4.4: Taylor & Power series.
MATH 1231 MATHEMATICS 1B 2010. For use in Dr Chris Tisdell s lectures. Calculus Section 4.4: Taylor & Power series. 1. What is a Taylor series? 2. Convergence of Taylor series 3. Common Maclaurin series
More informationSolving Updated Systems of Linear Equations in Parallel
Solving Updated Systems of Linear Equations in Parallel P. Blaznik a and J. Tasic b a Jozef Stefan Institute, Computer Systems Department Jamova 9, 1111 Ljubljana, Slovenia Email: polona.blaznik@ijs.si
More informationNumerical Comparisons of. PathFollowing Strategies for a. Basic InteriorPoint Method for. Revised August Rice University
Numerical Comparisons of PathFollowing Strategies for a Basic InteriorPoint Method for Nonlinear Programming M. A rg a e z, R.A. T a p ia, a n d L. V e l a z q u e z CRPCTR97777S Revised August 1998
More informationMath 2a Prac Lectures on Differential Equations
Math 2a Prac Lectures on Differential Equations Prof. Dinakar Ramakrishnan 272 Sloan, 25337 Caltech Office Hours: Fridays 4 5 PM Based on notes taken in class by Stephanie Laga, with a few added comments
More information