A Method for Finding Sharp Error Bounds for Newton's Method Under the Kantorovich Assumptions.
A posteriori error estimate of approximate solutions to a mildly nonlinear elliptic boundary value problem
Algorithms 77-78. Uniform approximation of empirical functions being either monotone or having a fixed number of extrema
An improved convergence analysis of a superquadratic method for solving generalized equations.
Analytic enclosure of the fundamental matrix solution
This work describes a method to rigorously compute the real Floquet normal form decomposition of the fundamental matrix solution of a system of linear ODEs having periodic coefficients. The Floquet normal form is validated in the space of analytic functions. The technique combines analytical estimates and rigorous numerical computations and no rigorous integration is needed. An application to the theory of dynamical system is presented, together with a comparison with the results obtained by computing...
Ausgleichs-Klassenkegelschnitte
Computation of the demagnetizing potential in micromagnetics using a coupled finite and infinite elements method
This paper is devoted to the practical computation of the magnetic potential induced by a distribution of magnetization in the theory of micromagnetics. The problem turns out to be a coupling of an interior and an exterior problem. The aim of this work is to describe a complete method that mixes the approaches of Ying [12] and Goldstein [6] which consists in constructing a mesh for the exterior domain composed of homothetic layers. It has the advantage of being well suited for catching the decay...
Computation of the demagnetizing potential in micromagnetics using a coupled finite and infinite elements method
This paper is devoted to the practical computation of the magnetic potential induced by a distribution of magnetization in the theory of micromagnetics. The problem turns out to be a coupling of an interior and an exterior problem. The aim of this work is to describe a complete method that mixes the approaches of Ying [12] and Goldstein [6] which consists in constructing a mesh for the exterior domain composed of homothetic layers. It has the advantage of being well suited for catching the...
Constructive solution of coupled second order delay differential equations with variable coefficients.
Convergence conditions for Secant-type methods
We provide new sufficient convergence conditions for the convergence of the secant-type methods to a locally unique solution of a nonlinear equation in a Banach space. Our new idea uses recurrent functions, and Lipschitz-type and center-Lipschitz-type instead of just Lipschitz-type conditions on the divided difference of the operator involved. It turns out that this way our error bounds are more precise than earlier ones and under our convergence hypotheses we can cover cases where earlier conditions...
Error autocorrection in rational approximation and interval estimates. [A survey of results.]
The error autocorrection effect means that in a calculation all the intermediate errors compensate each other, so the final result is much more accurate than the intermediate results. In this case standard interval estimates (in the framework of interval analysis including the so-called a posteriori interval analysis of Yu. Matijasevich) are too pessimistic. We shall discuss a very strong form of the effect which appears in rational approximations to functions. The error autocorrection effect occurs...
Error Estimates for Clenshaw-Curtis Quadrature.
Extending the applicability of Newton's method using nondiscrete induction
We extend the applicability of Newton's method for approximating a solution of a nonlinear operator equation in a Banach space setting using nondiscrete mathematical induction concept introduced by Potra and Pták. We obtain new sufficient convergence conditions for Newton's method using Lipschitz and center-Lipschitz conditions instead of only the Lipschitz condition used in F. A. Potra, V. Pták, Sharp error bounds for Newton's process, Numer. Math., 34 (1980), 63–72, and F. A. Potra, V. Pták, Nondiscrete...
Fast and correctly rounded logarithms in double-precision
This article is a case study in the implementation of a portable, proven and efficient correctly rounded elementary function in double-precision. We describe the methodology used to achieve these goals in the crlibm library. There are two novel aspects to this approach. The first is the proof framework, and in general the techniques used to balance performance and provability. The second is the introduction of processor-specific optimization to get performance equivalent to the best current...
Improved local convergence analysis of inexact Newton-like methods under the majorant condition
We present a local convergence analysis of inexact Newton-like methods for solving nonlinear equations. Using more precise majorant conditions than in earlier studies, we provide: a larger radius of convergence; tighter error estimates on the distances involved; and a clearer relationship between the majorant function and the associated least squares problem. Moreover, these advantages are obtained under the same computational cost.
Interval matrices with Monge property
We generalize the Monge property of real matrices for interval matrices. We define two classes of interval matrices with the Monge property---in a strong and a weak sense. We study the fundamental properties of both types. We show several different characterizations of the strong Monge property. For the weak Monge property, we give a polynomial description and several sufficient and necessary conditions. For both classes, we study closure properties. We further propose a generalization of an algorithm...
Linear-quadratic optimal control for the Oseen equations with stabilized finite elements
For robust discretizations of the Navier-Stokes equations with small viscosity, standard Galerkin schemes have to be augmented by stabilization terms due to the indefinite convective terms and due to a possible lost of a discrete inf-sup condition. For optimal control problems for fluids such stabilization have in general an undesired effect in the sense that optimization and discretization do not commute. This is the case for the combination of streamline upwind Petrov-Galerkin (SUPG) and pressure...
Local convergence analysis for a certain class of inexact methods.
Local convergence for the curve tracing of the homotopy method.
Measures of fuzziness and operations with fuzzy sets.
We discuss the effects that the usual set theoretic and arithmetic operations with fuzzy sets and fuzzy numbers have with respect to the energies and entropies of the fuzzy sets connected and of the resulting fuzzy sets, and we also compare the entropies and energies of the results of several of those operations.