A short survey on Kantorovich-like theorems for Newton's method

We survey influential quantitative results on the convergence of the Newton iterator towards simple roots of continuously differentiable maps defined over Banach spaces. We present a general statement of Kantorovich's theorem, with a concise proof from scratch, dedicated to wide audience. From it, we quickly recover known results, and gather historical notes together with pointers to recent articles

Dynamics of a class of vortex rings

The contour dynamics method is extended to vortex rings with vorticity varying linearly from the symmetry axis. An elliptic core model is also developed to explain some of the basic physics. Passage and collisions of two identical rings are studied focusing on core deformation, sound generation and stirring of fluid elements. With respect to core deformation, not only the strain rate but how rapidly it varies is important and accounts for greater susceptibility to vortex tearing than in two dimensions. For slow strain, as a passage interaction is completed and the strain relaxes, the cores return to their original shape while permanent deformations remain for rapidly varying strain. For collisions, if the strain changes slowly the core shapes migrate through a known family of two-dimensional steady vortex pairs up to the limiting member of the family. Thereafter energy conservation does not allow the cores to maintain a constant shape. For rapidly varying strain, core deformation is severe and a head-tail structure in good agreement with experiments is formed. With respect to sound generation, good agreement with the measured acoustic signal for colliding rings is obtained and a feature previously thought to be due to viscous effects is shown to be an effect of inviscid core deformation alone. For passage interactions, a component of high frequency is present. Evidence for the importance of this noise source in jet noise spectra is provided. Finally, processes of fluid engulfment and rejection for an unsteady vortex ring are studied using the stable and unstable manifolds. The unstable manifold shows excellent agreement with flow visualization experiments for leapfrogging rings suggesting that it may be a good tool for numerical flow visualization in other time periodic flows

Computer-assisted proofs in geometry and physics

Thesis (Ph. D.)--Massachusetts Institute of Technology, Department of Mathematics, 2013.Cataloged from PDF version of thesis.Includes bibliographical references.In this dissertation we apply computer-assisted proof techniques to two problems, one in discrete geometry and one in celestial mechanics. Our main tool is an effective inverse function theorem which shows that, in favorable conditions, the existence of an approximate solution to a system of equations implies the existence of an exact solution nearby. This allows us to leverage approximate computational techniques for finding solutions into rigorous computational techniques for proving the existence of solutions. Our first application is to tight codes in compact spaces, i.e., optimal codes whose optimality follows from linear programming bounds. In particular, we show the existence of many hitherto unknown tight regular simplices in quaternionic projective spaces and in the octonionic projective plane. We also consider regular simplices in real Grassmannians. The second application is to gravitational choreographies, i.e., periodic trajectories of point particles under Newtonian gravity such that all of the particles follow the same curve. Many numerical examples of choreographies, but few existence proofs, were previously known. We present a method for computer-assisted proof of existence and demonstrate its effectiveness by applying it to a wide-ranging set of choreographies.by Gregory T. Minton.Ph.D

MS FT-2-2 7 Orthogonal polynomials and quadrature: Theory, computation, and applications

Quadrature rules find many applications in science and engineering. Their analysis is a classical area of applied mathematics and continues to attract considerable attention. This seminar brings together speakers with expertise in a large variety of quadrature rules. It is the aim of the seminar to provide an overview of recent developments in the analysis of quadrature rules. The computation of error estimates and novel applications also are described

Dynamics of Macrosystems; Proceedings of a Workshop, September 3-7, 1984

There is an increasing awareness of the important and persuasive role that instability and random, chaotic motion play in the dynamics of macrosystems. Further research in the field should aim at providing useful tools, and therefore the motivation should come from important questions arising in specific macrosystems. Such systems include biochemical networks, genetic mechanisms, biological communities, neutral networks, cognitive processes and economic structures. This list may seem heterogeneous, but there are similarities between evolution in the different fields. It is not surprising that mathematical methods devised in one field can also be used to describe the dynamics of another. IIASA is attempting to make progress in this direction. With this aim in view this workshop was held at Laxenburg over the period 3-7 September 1984. These Proceedings cover a broad canvas, ranging from specific biological and economic problems to general aspects of dynamical systems and evolutionary theory