DOCSLIB.ORG

Interval Methods for Global Optimization Belaid Moa Doctor Of

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Interval Methods for Global Optimization by Belaid Moa B.Eng., Ecole Hassania des Travaux Publics, Morocco, 1998 M.Eng., Ecole Nationale Superieure´ d’Electrotechnique, d’Electronique, d’Informatique, d’Hydraulique et des Tel´ ecommunications,` France, 2000 A Dissertation Submitted in Partial Fulfillment of the Requirements for the Degree of Doctor of Philosophy in the Department of Computer Science ­c Belaid Moa, 2007 University of Victoria All rights reserved. This dissertation may not be reproduced in whole or in part by photocopy or other means, without the permission of the author. Interval Methods for Global Optimization by Belaid Moa B.Eng., Ecole Hassania des Travaux Publics, Morocco, 1998 M.Eng., Ecole Nationale Superieure´ d’Electrotechnique, d’Electronique, d’Informatique, d’Hydraulique et des Tel´ ecommunications,` France, 2000 Supervisory Committee Dr. M.H. van Emden, Supervisor (Department of Computer Science) Dr. W.W. Wadge, Co-supervisor (Department of Computer Science) Dr. J. Ellis, Department Member (Department of Computer Science) Dr. F. Gebali, Outside Member (Department of Electrical and Computer Engineering) Dr. M. Ibnkahla, External Examiner (Department of Electrical Engineering, Queen’s University) Supervisory Committee Dr. M.H. van Emden, Supervisor (Department of Computer Science) Dr. W.W. Wadge, Co-supervisor (Department of Computer Science) Dr. J. Ellis, Department Member (Department of Computer Science) Dr. F. Gebali, Outside Member (Department of Electrical and Computer Engineering) Dr. M. Ibnkahla, External Examiner (Department of Electrical Engineering, Queen’s University) ABSTRACT We propose interval arithmetic and interval constraint algorithms for global optimization. Both of these compute lower and upper bounds of a function over a box, and return a lower and an upper bound for the global minimum. In interval arithmetic methods, the bounds are computed using interval arithmetic evaluations. Interval constraint methods instead use domain reduction operators and consistency algorithms. The usual interval arithmetic algorithms for global optimization suffer from at least one of the following drawbacks: ¯ Mixing the fathoming problem, in which we ask for the global minimum only, with the localization problem, in which we ask for the set of points at which the global minimum occurs. ¯ ¯ Not handling the inner and outer approximations for -minimizer, which is the set of iv points at which the objective function is within ¯ of the global minimum. ¯ Nothing is said about the quality for their results in actual computation. The prop- erties of the algorithms are stated only in the limit for infinite running time, infinite memory, and infinite precision of the floating-point number system. To handle these drawbacks, we propose interval arithmetic algorithms for fathoming prob- lems and for localization problems. For these algorithms we state properties that can be verified in actual executions of the algorithms. Moreover, the algorithms proposed return the best results that can be computed with given expressions for the objective function and the conditions, and a given hardware. Interval constraint methods combine interval arithmetic and constraint processing tech- niques, namely consistency algorithms, to obtain tighter bounds for the objective function over a box. The basic building block of interval constraint methods is the generic propa- gation algorithm. This explains our efforts to improve the generic propagation algorithm as much as possible. All our algorithms, namely dual, clustered, deterministic, and selec- tive propagation algorithms, are developed as an attempt to improve the efficiency of the generic propagation algorithm. The relational box-consistency algorithm is another key algorithm in interval constraints. This algorithm keeps squashing the left and right bounds of the intervals of the variables until no further narrowing is possible. A drawback of this way of squashing is that as we proceed further, the process of squashing becomes slow. Another drawback is that, for some cases, the actual narrowing occurs late. To address these problems, we propose the following algorithms: 1. Dynamic Box-Consistency algorithm: instead of pruning the left and then the right bound of each domain, we alternate the pruning between all the domains. 2. Adaptive Box-Consistency algorithm: the idea behind this algorithm is to get rid of the boxes as soon as possible: start with small boxes and extend them or shrink them depending on the pruning outcome. This adaptive behavior makes this algorithm v very suitable for quick squashing. Since the efficiency of interval constraint optimization methods depends heavily on the sharpness of the upper bound for the global minimum, we must make some effort to find the appropriate point or box to use for computing the upper bound, and not to randomly pick one as is commonly done. So, we introduce interval constraints with exploration. These methods use non-interval methods as an exploratory step in solving a global opti- mization problem. The results of the exploration are then used to guide interval constraint algorithms, and thus improve their efficiency. Table of Contents Supervisory Committee ii ABSTRACT iii Table of Contents vi List of Tables xi List of Figures xii List of Abbreviations xvi Notations xvii Glossary xix Acknowledgement xxii Dedication xxiii 1 Introduction 1 1.1 Motivation . 1 1.2 The problem statement . 2 1.3 Methods for solving global optimization problems . 4 1.4 Layout of the dissertation . 6 Table of Contents vii 2 Interval Arithmetic 10 2.1 From floating-point numbers to interval arithmetic . 10 2.2 Advantages of interval arithmetic . 11 2.3 Basics of interval arithmetic . 12 2.3.1 Intervals . 12 2.3.2 Interval extensions and Inclusion functions . 14 2.4 Solving inequalities via interval arithmetic . 16 2.5 Functional box consistency . 18 3 Unconstrained global optimization via interval arithmetic 21 3.1 Motivation . 21 3.2 The fathoming problem . 24 3.2.1 The first fathoming problem . 25 3.2.2 The second fathoming problem . 27 3.3 The localization problem . 34 3.3.1 The outer approximation . 34 3.3.2 The inner approximation . 37 4 Constrained global optimization via interval arithmetic 40 4.1 Overview . 41 4.2 The feasibility problem . 43 4.2.1 The outer approximation . 44 4.2.2 The inner approximation . 45 4.3 The fathoming problem . 49 4.4 The localization problem . 53 5 Interval constraints 59 5.1 Constraint satisfaction problems . 59 5.1.1 Constraints . 60 Table of Contents viii 5.1.2 Constraint propagation . 62 5.2 Interval constraints and interval constraint solver . 63 6 Dual, clustered, deterministic, and selective propagation algorithms 70 6.1 Introduction . 71 6.2 Relations and Recursive Functions on Power Sets . 72 6.3 Dual Propagation Algorithms . 74 6.4 Clustered Propagation Algorithms . 77 6.5 Deterministic propagation algorithms . 79 6.6 Selective propagation algorithms . 80 6.7 Implementation . 80 7 Dynamic and adaptive box-consistency algorithms 85 7.1 Box consistency . 85 7.2 Dynamic box consistency . 86 7.3 Adaptive box consistency . 88 7.4 Other improvements . 91 8 Global optimization via interval constraints 95 8.1 Overview . 95 8.1.1 Computing a lower bound for ÑÒ .................. 96 8.1.2 Computing an upper bound for ÑÒ ................. 96 8.1.3 Branch-and-bound in interval constraints . 97 8.2 Exploration and interval constraints for global optimization . 98 8.2.1 The fundamental rule of P-NP . 98 8.2.2 Motivation of exploration . 98 8.2.3 Interval constraints with exploration . 99 8.2.4 Effect of exploration on the upper bound of ÑÒ ..........101 8.2.5 Effect of exploration on the lower bound of ÑÒ ..........101 Table of Contents ix 8.2.6 Effect of exploration on splitting the search space . 102 8.2.7 Propagating or squashing? . 104 8.3 Interval constraints as a verification tool . 107 8.4 Interval constraint solver with exploration . 108 8.4.1 Effect of exploration on splitting and propagation . 109 8.4.2 Effect of exploration on squashing algorithms . 109 8.4.3 Does a box contain a solution to ? ................110 8.4.3.1 involves inequalities only . 111 8.4.3.2 involves equalities also . 114 9 Experimental results 117 9.1 Description of BelSyste . 117 9.1.1 BelSyste architecture . 117 9.1.2 BelSyste components . 119 9.2 Experimental results . 121 9.2.1 An application using squashing and propagation . 121 9.2.2 Box consistency . 123 9.2.3 Box satisfaction . 125 9.2.4 Box unsatisfaction . 126 9.2.5 Largest box in a convex set . 126 9.2.6 Booth function . 131 9.2.7 Rosenbrock banana function . 133 9.2.8 Six-hump camel function . 134 9.2.9 Discrete examples . 137 9.2.10 An inequality on integers . 137 9.2.11 Integral points on elliptic curves . 138 9.2.11.1 Fermat’s last theorem . 139 9.2.11.2 Taxicab number . 139 Table of Contents x 9.2.12 BelSyste as a verification tool . 140 10 Conclusion 143 10.1 Contributions . 143 10.1.1 Interval arithmetic . 143 10.1.2 Interval constraints . 143 10.1.2.1 Propagation . 143 10.1.2.2 Relational box-consistency . 144 10.1.2.3 Interval constraints with exploration . 144 10.1.3 Implementation . 145 10.2 Future work . 145 10.2.1 Dependency effect . 146 10.2.2 Parametric CSPs . 146 10.2.3 Criteria for choosing a consistency algorithm . 147 10.2.4 Confidence quantification . 147 10.2.5 Disjunctive constraints . 148 10.2.6 Iterative widening with exploration . 148 Bibliography 149 Appendix A Source Code 154 A.1 Box consistency . 154 A.2 Adaptive box consistency . 155 A.3 Dynamic box consistency . 155 A.4 Box satisfaction algorithms . 156 A.5 Default explorer and explorer with propagation . 159 A.6 Interval constraint global optimization solver with exploration . 159 List of Tables Table 9.1 Propagating and squashing in an interval constraint solver.
Recommended publications
  • A Negative Result for Hearing the Shape of a Triangle: a Computer-Assisted Proof

    A Negative Result for Hearing the Shape of a Triangle: a Computer-Assisted Proof

    AN ELECTRONIC JOURNAL OF THE SOCIETAT CATALANA DE MATEMATIQUES` A negative result for hearing the shape of a triangle: a computer-assisted proof ⇤Gerard Orriols Gim´enez Resum (CAT) ETH Z¨urich. En aquest article demostrem que existeixen dos triangles diferents pels quals [email protected] el primer, segon i quart valor propi del Laplaci`a amb condicions de Dirichlet coincideixen. Aix`o resol una conjectura proposada per Antunes i Freitas i Corresponding author ⇤ suggerida per la seva evid`encia num`erica. La prova ´esassistida per ordinador i utilitza una nova t`ecnica per tractar l’espectre d’un l’operador, que consisteix a combinar un M`etode d’Elements Finits per localitzar aproximadament els primers valors propis i controlar la seva posici´oa l’espectre, juntament amb el M`etode de Solucions Particulars per confinar aquests valors propis a un interval molt m´esprec´ıs. Abstract (ENG) We prove that there exist two distinct triangles for which the first, second and fourth eigenvalues of the Laplace operator with zero Dirichlet boundary conditions coincide. This solves a conjecture raised by Antunes and Freitas and suggested by their numerical evidence. We use a novel technique for a computer-assisted proof about the spectrum of an operator, which combines a Finite Element Method, to locate roughly the first eigenvalues keeping track of their position in the spectrum, and the Method of Particular Solutions, to get a much more precise bound of these eigenvalues. Keywords: computer-assisted proof, Laplace eigenvalues, spectral geome- Acknowledgement try, Finite Element Method, Method The author would like to thank Re- of Particular Solutions.
  • 1 Introduction

    1 Introduction

    数理解析研究所講究録 1169 巻 2000 年 27-56 27 Numerical Verification Methods for Solutions of Ordinary and Partial Differential Equations Mitsuhiro T. Nakao 中尾 充宏 Graduate School of Mathematics, Kyushu University 33 Fukuoka 812-8581, Japan $\mathrm{e}$ -mail: [email protected] Abstract. In this article, we describe on a state of the art of validated numerical computations for solutions of differential equations. A brief overview of the main techniques in self-validating numerics for initial and boundary value problems in ordinary and partial differential equations including eigenvalue problems will be presented. A fairly detailed introductions are given for the author’s own method related to second-order elliptic boundary value problems. Many references which seem to be useful for readers are supplied at the end of the article. Key words. Numerical verification, nonlinear differential equation, computer assisted proof in analysis 1 Introduction If we denote an equation for unknown $u$ by $F(u)=0$ (1.1) then the problem of finding the solution $u$ generally implies an $n$ dimensional simulta- neous system of equations provided $u$ is in some finite dimensional ( $\mathrm{n}$ -dimension) space. Since very large scale, e.g. several thousand, linear system of equations can be easily solved on computers nowadays, it is not too surprising that, even if (1.1) is nonlinear, we can verify the existence and uniqueness of the solution as well as its domain by some numerical computations on the digital computer. However, in the case where (1.1) is a differential equation, it becomes a simultaneous equation which has infinitely many unknowns because the dimension of the potential function space containing $\mathrm{u}$ is infinite.
  • AMS Short Course on Rigorous Numerics in Dynamics: the Parameterization Method for Stable/Unstable Manifolds of Vector Fields

    AMS Short Course on Rigorous Numerics in Dynamics: the Parameterization Method for Stable/Unstable Manifolds of Vector Fields

    AMS Short Course on Rigorous Numerics in Dynamics: The Parameterization Method for Stable/Unstable Manifolds of Vector Fields J.D. Mireles James, ∗ February 12, 2017 Abstract This lecture builds on the validated numerical methods for periodic orbits presented in the lecture of J. B. van den Berg. We discuss a functional analytic perspective on validated stability analysis for equilibria and periodic orbits as well as validated com- putation of their local stable/unstable manifolds. Building on this analysis we study heteroclinic and homoclinic connecting orbits between equilibria and periodic orbits of differential equations. We formulate the connecting orbits as solutions of certain projected boundary value problems whcih are amenable to an a posteriori analysis very similar to that already discussed for periodic orbits. The discussion will be driven by several application problems including connecting orbits in the Lorenz system and existence of standing and traveling waves. Contents 1 Introduction 2 2 The Parameterization Method 4 2.1 Formal series solutions for stable/unstable manifolds . .4 2.1.1 Manipulating power series: automatic differentiation and all that . .4 2.1.2 A first example: linearization of an analytic vector field in one complex variable . .9 2.1.3 Stable/unstable manifolds for equilibrium solutions of ordinary differ- ential equations . 15 2.1.4 A more realistic example: stable/unstable manifolds in a restricted four body problem . 18 2.1.5 Stable/unstable manifolds for periodic solutions of ordinary differen- tial equations . 23 2.1.6 Unstable manifolds for equilibrium solutions of partial differential equations . 26 2.1.7 Unstable manifolds for equilibrium and periodic solutions of delay differential equations .
  • Validated and Numerically Efficient Chebyshev Spectral Methods For

    Validated and Numerically Efficient Chebyshev Spectral Methods For

    Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations Florent Bréhard, Nicolas Brisebarre, Mioara Joldes To cite this version: Florent Bréhard, Nicolas Brisebarre, Mioara Joldes. Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations. ACM Transactions on Mathematical Soft- ware, Association for Computing Machinery, 2018, 44 (4), pp.44:1-44:42. 10.1145/3208103. hal- 01526272v3 HAL Id: hal-01526272 https://hal.archives-ouvertes.fr/hal-01526272v3 Submitted on 5 Jun 2018 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. Validated and numerically efficient Chebyshev spectral methods for linear ordinary differential equations Florent Bréhard∗ Nicolas Brisebarrey Mioara Joldeşz Abstract In this work we develop a validated numerics method for the solu- tion of linear ordinary differential equations (LODEs). A wide range of algorithms (i.e., Runge-Kutta, collocation, spectral methods) exist for nu- merically computing approximations of the solutions. Most of these come with proofs of asymptotic convergence, but usually, provided error bounds are non-constructive. However, in some domains like critical systems and computer-aided mathematical proofs, one needs validated effective error bounds. We focus on both the theoretical and practical complexity anal- ysis of a so-called a posteriori quasi-Newton validation method, which mainly relies on a fixed-point argument of a contracting map.
  • Focm 2017 Foundations of Computational Mathematics Barcelona, July 10Th-19Th, 2017 Organized in Partnership With

    Focm 2017 Foundations of Computational Mathematics Barcelona, July 10Th-19Th, 2017 Organized in Partnership With

    FoCM 2017 Foundations of Computational Mathematics Barcelona, July 10th-19th, 2017 http://www.ub.edu/focm2017 Organized in partnership with Workshops Approximation Theory Computational Algebraic Geometry Computational Dynamics Computational Harmonic Analysis and Compressive Sensing Computational Mathematical Biology with emphasis on the Genome Computational Number Theory Computational Geometry and Topology Continuous Optimization Foundations of Numerical PDEs Geometric Integration and Computational Mechanics Graph Theory and Combinatorics Information-Based Complexity Learning Theory Plenary Speakers Mathematical Foundations of Data Assimilation and Inverse Problems Multiresolution and Adaptivity in Numerical PDEs Numerical Linear Algebra Karim Adiprasito Random Matrices Jean-David Benamou Real-Number Complexity Alexei Borodin Special Functions and Orthogonal Polynomials Mireille Bousquet-Mélou Stochastic Computation Symbolic Analysis Mark Braverman Claudio Canuto Martin Hairer Pierre Lairez Monique Laurent Melvin Leok Lek-Heng Lim Gábor Lugosi Bruno Salvy Sylvia Serfaty Steve Smale Andrew Stuart Joel Tropp Sponsors Shmuel Weinberger 2 FoCM 2017 Foundations of Computational Mathematics Barcelona, July 10th{19th, 2017 Books of abstracts 4 FoCM 2017 Contents Presentation . .7 Governance of FoCM . .9 Local Organizing Committee . .9 Administrative and logistic support . .9 Technical support . 10 Volunteers . 10 Workshops Committee . 10 Plenary Speakers Committee . 10 Smale Prize Committee . 11 Funding Committee . 11 Plenary talks . 13 Workshops . 21 A1 { Approximation Theory Organizers: Albert Cohen { Ron Devore { Peter Binev . 21 A2 { Computational Algebraic Geometry Organizers: Marta Casanellas { Agnes Szanto { Thorsten Theobald . 36 A3 { Computational Number Theory Organizers: Christophe Ritzenhaler { Enric Nart { Tanja Lange . 50 A4 { Computational Geometry and Topology Organizers: Joel Hass { Herbert Edelsbrunner { Gunnar Carlsson . 56 A5 { Geometric Integration and Computational Mechanics Organizers: Fernando Casas { Elena Celledoni { David Martin de Diego .
  • Book of Abstracts

    Book of Abstracts

    GAMM International Association of Applied Mathematics and Mechanics IMACS International Association for Mathematics and Computers in Simulation 13th International Symposium on Scienti¯c Computing Computer Arithmetic and Veri¯ed Numerical Computations SCAN'2008 El Paso, Texas September 29 { October 3, 2008 ABSTRACTS Published in El Paso, Texas July 2008 1 2 Contents Preface....................................................................................... 8 Mohammed A. Abutheraa and David Lester, \Machine-E±cient Chebyshev Approximation for Standard Statistical Distribution Functions" . 9 GÄotzAlefeld and Guenter Mayer, \On the interval Cholesky method" . 11 GÄotzAlefeld and Zhengyu Wang, \Bounding the Error for Approximate Solutions of Almost Linear Complementarity Problems Using Feasible Vectors" . 12 Rene Alt, Jean-Luc Lamotte, and Svetoslav Markov, "On the accuracy of the CELL processor" . 13 Roberto Araiza, \Using Intervals for the Concise Representation of Inverted Repeats in RNA" .................................................................................... 15 Ekaterina Auer and Wolfram Luther, \Veri¯cation and Validation of Two Biomechanical Problems" . 16 Ali Baharev and Endre R¶ev,\Comparing inclusion techniques on chemical engineering problems" . 17 Neelabh Baijal and Luc Longpr¶e,\Preserving privacy in statistical databases by using intervals instead of cell suppression" . 19 Bal¶azsB¶anhelyiand L¶aszl¶oHatvani, \A computer-assisted proof for stable/unstable behaviour of periodic solutions for the forced damped pendulum" . 20 Moa Belaid, \A Uni¯ed Interval Constraint Framework for Crisp, Soft, and Parametric Constraints" . 21 Moa Belaid, \Box Satisfaction and Unsatisfaction for Solving Interval Constraint Systems" . 22 Frithjof Blomquist, \Staggered Correction Computations with Enhanced Accuracy and Extremely Wide Exponent Range" . 24 Gerd Bohlender and Ulrich W. Kulisch, \Complete Interval Arithmetic and its Implementation on the Computer" . 26 Chin-Yun Chen, \Bivariate Product Cubature Using Peano Kernels For Local Error Estimates" .
  • Deterministic Global Optimization for Dynamic Systems Using Interval Analysis

    Deterministic Global Optimization for Dynamic Systems Using Interval Analysis

    Deterministic Global Optimization for Dynamic Systems Using Interval Analysis Youdong Lin and Mark A. Stadtherr Department of Chemical and Biomolecular Engineering University of Notre Dame, Notre Dame, IN, USA 12th GAMM–IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics Duisburg, Germany, 26–29 September 2006 Outline Background • Tools • – Interval Analysis – Taylor Models – Validated Solutions of Parametric ODE Systems Algorithm Summary • Computational Studies • Concluding Remarks • 2 Background Many practically important physical systems are modeled by ODE systems. • Optimization problems involving these models may be stated as • min φ [xµ(θ); θ; µ = 0; 1; : : : ; r] θ;xµ s:t: x_ = f(x; θ) x0 = x0(θ) xµ(θ) = x(tµ; θ) t [t ; tr] 2 0 θ Θ 2 Sequential approach: Eliminate xµ using parametric ODE solver, obtaining • an unconstrained problem in θ May be multiple local solutions – need for global optimization • 3 Deterministic Global Optimization of Dynamic Systems Much recent interest, mostly combining branch-and-bound and relaxation techniques, e.g., Esposito and Floudas (2000): α-BB approach • – Rigorous values of α not used: no theoretical guarantees Chachuat and Latifi (2003): Theoretical guarantee of -global optimality • Papamichail and Adjiman (2002, 2004): Theoretical guarantee of -global • optimality Singer and Barton (2006): Theoretical guarantee of -global optimality • – Use convex underestimators and concave overestimators to construct two bounding IVPs, which are then solved to obtain
  • Validated Numerics for Pedestrians

    Validated Numerics for Pedestrians

    4ECM Stockholm 2004 c 2005 European Mathematical Society Validated Numerics for Pedestrians Warwick Tucker Abstract. The aim of this paper is to give a very brief introduction to the emerg- ing area of validated numerics. This is a rapidly growing field of research faced with the challenge of interfacing computer science and pure mathematics. Most validated numerics is based on interval analysis, which allows its users to account for both rounding and discretization errors in computer-aided proofs. We will il- lustrate the strengths of these techniques by converting the well-known bisection method into a efficient, validated root finder. 1. Introduction Since the creation of the digital computer, numerical computations have played an increasingly fundamental role in modeling physical phenomena for science and engineering. With regards to computing speed and memory capacity, the early computers seem almost amusingly crude compared to their modern coun- terparts. Nevertheless, real-world problems were solved, and the speed-up due to the use of machines pushed the frontier of feasible computing tasks forward. Through a myriad of small developmental increments, we are now on the verge of producing Peta-flop/Peta-byte computers – an incredible feat which must have seemed completely unimaginable fifty years ago. Due to the inherent limitations of any finite-state machine, numerical computations are almost never carried out in a mathematically precise manner. As a consequence, they do not produce exact results, but rather approximate values that usually, but far from always, are near the true ones. In addition to this, external influences, such as an over-simplified mathematical model or a discrete approximation of the same, introduce additional inaccuracies into the calculations.
  • Applied Mathematics in Focus Nonlinear Problems of Elasticity S

    Applied Mathematics in Focus Nonlinear Problems of Elasticity S

    RUNDBRIEF DER GESELLSCHAFT FÜR ANGEWANDTE MATHEMATIK UND MECHANIK 2nd edition Herausgegeben vom 3rd edition Sekretär der GAMM V. Ulbricht, Dresden Redaktion 5th edition M. Gründer, Dresden 2005 – Brief 1 Sein wo andere nicht sind! Das Tool für optimale, verlässliche Ergebnisse. Maple 9.5 enthält über 3500 Funktionen für symbolische und numerische Mathematik, Grafi k, Ein- und Ausgabe, Program- mierung und Kommunikation mit anderer Software. Numerik und Symboli- Paket für symbolische Logik. griff auf wichtige Defi nitionen sche Berechnungen Erstmals ist ein leistungsfähi- und Hintergrundinformationen. Maple 9.5 erweitert Art und ges Paket für lokale Optimie- Umfang der lösbaren Proble- rung enthalten. Lehre und Forschung me erheblich und setzt damit Maple 9.5 bietet komfortable die Tradition fort, mit gültigen Echtes Wissens- Werkzeuge, die Lehrenden Standards übereinstimmende Management dabei helfen, Kursmaterialien Verfahren anzubieten, die hö- Maple 9.5 umfasst neue Werk- effektiv anzubieten und bei chste Genauigkeit und mäch- zeuge und eine verbesserte Studenten das Verständnis ma- tige Löser vereinen. Vielfältige Arbeitsumgebung, die es Ihnen thematischer und technischer Neuerungen stellen sicher, erlaubt, nicht einfach nur Ihre Konzepte zu fördern. Das erwei- dass Maple 9.5 mehr kann als Rechenergebnisse, sondern Ihr terte Werkzeug-Menü erlaubt je zuvor: Wissen wirklich zu verwalten, den Zugriff auf 40 interaktive Verbesserungen bei Vereinfach- zu bearbeiten und weiterzuge- Tutoren, die Sie auf mathemati- ung, Umwandlung und Kombi- ben. Mit seinem eingebauten sche Entdeckungsfahrten durch nation symbolischer Ausdrücke; Wörterbuch mathematischer die ein- und mehrdimensionale Reihenentwicklungen; Ratgeber und technischer Begriffe bietet Analysis und die lineare Algebra für mathematische Funktionen; Maple 9.5 den bequemen Zu- mitnehmen. maple@scientifi c.de • www.scientifi c.de RUNDBRIEF DER GESELLSCHAFT FÜR ANGEWANDTE MATHEMATIK UND MECHANIK Herausgegeben vom Sekretär der GAMM V.
  • Mafelap 2016

    Mafelap 2016

    MAFELAP 2016 Conference on the Mathematics of Finite Elements and Applications 14–17 June 2016 Abstracts MAFELAP 2016 The organisers of MAFELAP 2016 are pleased to ac- knowledge the financial support given to the confer- ence by the Institute of Mathematics and its Appli- cations (IMA) in the form of IMA Studentships, and the financial support from Brunel University London for the Tuesday evening showcase event. Contents of the MAFELAP 2016 Abstracts Alphabetical order by the speaker Finite element approximations for a fractional Laplace equation Gabriel Acosta and Juan Pablo Borthagaray Mini-Symposium: Elliptic problems with singularities . ....1 A Mixed-Method B-Field Finite-Element Formulation for Incompressible, Resistive Magnetohydrodynamics James H. Adler, Thomas Benson and Scott P. MacLachlan Mini-Symposium: Advances in Finite Element Methods for Nonlinear Mate- rials ................................................ ...............................2 Fitted ALE scheme for Two-Phase Navier–Stokes Flow Marco Agnese and Robert N¨urnberg Parallel session....................................... ....................3 An isogeometric approach to symmetric Galerkin boundary element method Alessandra Aimi, Mauro Diligenti, Maria Lucia Sampoli, and Alessandra Sestini Mini-Symposium: Recent developments in isogeometric analysis . .....3 High order finite elements: mathematician’s playground or practical engineering tool? Mark Ainsworth INVITED LECTURE..................................... ...............4 High-Order Discontinuous Galerkin methods

  • Arxiv:1905.02960V2 [Math.NA]

    SOLVING LAPLACE PROBLEMS WITH CORNER SINGULARITIES VIA RATIONAL FUNCTIONS ∗ ABINAND GOPAL AND LLOYD N. TREFETHEN Abstract. A new method is introduced for solving Laplace problems on 2D regions with cor- ners by approximation of boundary data by the real part of a rational function with fixed poles exponentially clustered near each corner. Greatly extending a result of D. J. Newman in 1964 in approximation theory, we first prove that such approximations can achieve root-exponential conver- gence for a wide range of problems, all the way up to the corner singularities. We then develop a numerical method to compute approximations via linear least-squares fitting on the boundary. Typ- ical problems are solved in <1s on a desktop to 8-digit accuracy, with the accuracy guaranteed in the interior by the maximum principle. The computed solution is represented globally by a single formula, which can be evaluated in a few microseconds at each point. Key words. Laplace equation, rational approximation, Hermite integral, method of fundamen- tal solutions, potential theory AMS subject classifications. 65N35, 41A20, 65E05 1. Introduction. In 1964 Donald Newman published a result that has attracted a good deal of attention among approximation theorists [37]. Newman considered supremum norm approximation of f(x) = x on [ 1, 1] and showed that, whereas | | −1 degree n polynomial approximants offer at best O(n− ) convergence as n , ratio- nal functions can achieve root-exponential convergence, that is, errors O(exp(→ ∞C√n)) with C > 0. (The degree of a rational function is the maximum of the degrees− of its numerator and denominator.) Newman’s construction crucially involved placing poles in the complex plane clustered exponentially near the singularity at x = 0, and he also showed that root-exponential convergence was the best possible.
  • Produits Et Activités De La Recherche Equipe I : Géométrie Et Topologie

    Produits Et Activités De La Recherche Equipe I : Géométrie Et Topologie

    Annexe 4 - Produits et activités de la recherche ANNEXE 4 - Produits et activités de la recherche En cohérence avec les données chiffrées de l’onglet 4 du fichier Excel « Données du contrat en cours », on remplira ce document destiné à l’évaluation du critère 1 du référentiel de l’évaluation « Produits et activités de la recherche », pour l’ensemble de l’unité et pour chaque équipe / thème. CAMPAGNE D’ÉVALUATION 2020-2021 VAGUE B Equipe I : Géométrie et Topologie Nom de l’équipe : Géométrie et Topologie Responsable d’équipe pour le contrat en cours : Gaël Meigniez Responsable d’équipe pour le contrat à venir : I - PRODUCTION DE CONNAISSANCES ET ACTIVITÉS CONCOURANT AU RAYONNEMENT ET À L’ATTRACTIVITÉ SCIENTIFIQUE DE L’UNITÉ ET DE CHAQUE ÉQUIPE / THÈME 1- Journaux / Revues Articles scientifiques (90) 1. Baird P., Ghandour E., Biconformal equivalence between 3-dimensional Ricci solitons, à paraître, Tohoku Math. J. 2. Baird P., Ghandour E., A class of analytic pairs of conjugate functions in dimension three, Advances in Geometry, 19 (3) 421-433 (2019). 3. Baird P., Wehbe M., An integral formula for a class of biharmonic maps from Euclidean 3- space, Differential Geometry and its Applications, 60, 190-201 (2018). 4. Baird P., Ou Y-L., Biharmonic conformal maps in dimension four and equations of Yamabe- type, Journal of Geometric Analysis 28 (4) 3892-3905 (2018). 5. Baird P., Fardoun A., Ouakkas S., Biharmonic maps from biconformal deformations with respect to isoparametric functions, Differential Geometry and its Applications, 50 155-166 (2017). 6. Baird P., Eastwood M. G., On functions with a conjugate, Annales de l'Institut Fourier, 65 (1), 277-314 (2015).