Tangential Boundary Stabilization of Navier-Stokes Equations

Download Tangential Boundary Stabilization of Navier-Stokes Equations PDF Online Free

Author :
Publisher : American Mathematical Soc.
ISBN 13 : 0821838741
Total Pages : 146 pages
Book Rating : 4.8/5 (218 download)

DOWNLOAD NOW!


Book Synopsis Tangential Boundary Stabilization of Navier-Stokes Equations by : Viorel Barbu

Download or read book Tangential Boundary Stabilization of Navier-Stokes Equations written by Viorel Barbu and published by American Mathematical Soc.. This book was released on 2006 with total page 146 pages. Available in PDF, EPUB and Kindle. Book excerpt: In order to inject dissipation as to force local exponential stabilization of the steady-state solutions, an Optimal Control Problem (OCP) with a quadratic cost functional over an infinite time-horizon is introduced for the linearized N-S equations. As a result, the same Riccati-based, optimal boundary feedback controller which is obtained in the linearized OCP is then selected and implemented also on the full N-S system. For $d=3$, the OCP falls definitely outside the boundaries of established optimal control theory for parabolic systems with boundary controls, in that the combined index of unboundedness--between the unboundedness of the boundary control operator and the unboundedness of the penalization or observation operator--is strictly larger than $\tfrac{3}{2}$, as expressed in terms of fractional powers of the free-dynamics operator. In contrast, established (and rich) optimal control theory [L-T.2] of boundary control parabolic problems and corresponding algebraic Riccati theory requires a combined index of unboundedness strictly less than 1. An additional preliminary serious difficulty to overcome lies at the outset of the program, in establishing that the present highly non-standard OCP--with the aforementioned high level of unboundedness in control and observation operators and subject, moreover, to the additional constraint that the controllers be pointwise tangential--be non-empty; that is, it satisfies the so-called Finite Cost Condition [L-T.2].

Controllability and Stabilization of Parabolic Equations

Download Controllability and Stabilization of Parabolic Equations PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 331976666X
Total Pages : 234 pages
Book Rating : 4.3/5 (197 download)

DOWNLOAD NOW!


Book Synopsis Controllability and Stabilization of Parabolic Equations by : Viorel Barbu

Download or read book Controllability and Stabilization of Parabolic Equations written by Viorel Barbu and published by Springer. This book was released on 2018-04-26 with total page 234 pages. Available in PDF, EPUB and Kindle. Book excerpt: This monograph presents controllability and stabilization methods in control theory that solve parabolic boundary value problems. Starting from foundational questions on Carleman inequalities for linear parabolic equations, the author addresses the controllability of parabolic equations on a variety of domains and the spectral decomposition technique for representing them. This method is, in fact, designed for use in a wider class of parabolic systems that include the heat and diffusion equations. Later chapters develop another process that employs stabilizing feedback controllers with a finite number of unstable modes, with special attention given to its use in the boundary stabilization of Navier–Stokes equations for the motion of viscous fluid. In turn, these applied methods are used to explore related topics like the exact controllability of stochastic parabolic equations with linear multiplicative noise. Intended for graduate students and researchers working on control problems involving nonlinear differential equations, Controllability and Stabilization of Parabolic Equations is the distillation of years of lectures and research. With a minimum of preliminaries, the book leaps into its applications for control theory with both concrete examples and accessible solutions to problems in stabilization and controllability that are still areas of current research.

Stabilization of Navier–Stokes Flows

Download Stabilization of Navier–Stokes Flows PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 0857290436
Total Pages : 285 pages
Book Rating : 4.8/5 (572 download)

DOWNLOAD NOW!


Book Synopsis Stabilization of Navier–Stokes Flows by : Viorel Barbu

Download or read book Stabilization of Navier–Stokes Flows written by Viorel Barbu and published by Springer Science & Business Media. This book was released on 2010-11-19 with total page 285 pages. Available in PDF, EPUB and Kindle. Book excerpt: Stabilization of Navier–Stokes Flows presents recent notable progress in the mathematical theory of stabilization of Newtonian fluid flows. Finite-dimensional feedback controllers are used to stabilize exponentially the equilibrium solutions of Navier–Stokes equations, reducing or eliminating turbulence. Stochastic stabilization and robustness of stabilizable feedback are also discussed. The analysis developed here provides a rigorous pattern for the design of efficient stabilizable feedback controllers to meet the needs of practical problems and the conceptual controllers actually detailed will render the reader’s task of application easier still. Stabilization of Navier–Stokes Flows avoids the tedious and technical details often present in mathematical treatments of control and Navier–Stokes equations and will appeal to a sizeable audience of researchers and graduate students interested in the mathematics of flow and turbulence control and in Navier-Stokes equations in particular.

Solvability, Regularity, and Optimal Control of Boundary Value Problems for PDEs

Download Solvability, Regularity, and Optimal Control of Boundary Value Problems for PDEs PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319644890
Total Pages : 572 pages
Book Rating : 4.3/5 (196 download)

DOWNLOAD NOW!


Book Synopsis Solvability, Regularity, and Optimal Control of Boundary Value Problems for PDEs by : Pierluigi Colli

Download or read book Solvability, Regularity, and Optimal Control of Boundary Value Problems for PDEs written by Pierluigi Colli and published by Springer. This book was released on 2017-11-03 with total page 572 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume gathers contributions in the field of partial differential equations, with a focus on mathematical models in phase transitions, complex fluids and thermomechanics. These contributions are dedicated to Professor Gianni Gilardi on the occasion of his 70th birthday. It particularly develops the following thematic areas: nonlinear dynamic and stationary equations; well-posedness of initial and boundary value problems for systems of PDEs; regularity properties for the solutions; optimal control problems and optimality conditions; feedback stabilization and stability results. Most of the articles are presented in a self-contained manner, and describe new achievements and/or the state of the art in their line of research, providing interested readers with an overview of recent advances and future research directions in PDEs.

Compressible Navier-Stokes Equations

Download Compressible Navier-Stokes Equations PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 3034803672
Total Pages : 470 pages
Book Rating : 4.0/5 (348 download)

DOWNLOAD NOW!


Book Synopsis Compressible Navier-Stokes Equations by : Pavel Plotnikov

Download or read book Compressible Navier-Stokes Equations written by Pavel Plotnikov and published by Springer Science & Business Media. This book was released on 2012-08-04 with total page 470 pages. Available in PDF, EPUB and Kindle. Book excerpt: The book presents the modern state of the art in the mathematical theory of compressible Navier-Stokes equations, with particular emphasis on the applications to aerodynamics. The topics covered include: modeling of compressible viscous flows; modern mathematical theory of nonhomogeneous boundary value problems for viscous gas dynamics equations; applications to optimal shape design in aerodynamics; kinetic theory for equations with oscillating data; new approach to the boundary value problems for transport equations. The monograph offers a comprehensive and self-contained introduction to recent mathematical tools designed to handle the problems arising in the theory.

Fluids Under Control

Download Fluids Under Control PDF Online Free

Author :
Publisher : Springer Nature
ISBN 13 : 3031473558
Total Pages : 376 pages
Book Rating : 4.0/5 (314 download)

DOWNLOAD NOW!


Book Synopsis Fluids Under Control by : Tomáš Bodnár

Download or read book Fluids Under Control written by Tomáš Bodnár and published by Springer Nature. This book was released on with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Control and Nonlinearity

Download Control and Nonlinearity PDF Online Free

Author :
Publisher : American Mathematical Soc.
ISBN 13 : 0821849182
Total Pages : 442 pages
Book Rating : 4.8/5 (218 download)

DOWNLOAD NOW!


Book Synopsis Control and Nonlinearity by : Jean-Michel Coron

Download or read book Control and Nonlinearity written by Jean-Michel Coron and published by American Mathematical Soc.. This book was released on 2007 with total page 442 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents methods to study the controllability and the stabilization of nonlinear control systems in finite and infinite dimensions. The emphasis is put on specific phenomena due to nonlinearities. In particular, many examples are given where nonlinearities turn out to be essential to get controllability or stabilization. Various methods are presented to study the controllability or to construct stabilizing feedback laws. The power of these methods is illustrated by numerous examples coming from such areas as celestial mechanics, fluid mechanics, and quantum mechanics. The book is addressed to graduate students in mathematics or control theory, and to mathematicians or engineers with an interest in nonlinear control systems governed by ordinary or partial differential equations.

Navier–Stokes Equations

Download Navier–Stokes Equations PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 331927760X
Total Pages : 395 pages
Book Rating : 4.3/5 (192 download)

DOWNLOAD NOW!


Book Synopsis Navier–Stokes Equations by : Grzegorz Łukaszewicz

Download or read book Navier–Stokes Equations written by Grzegorz Łukaszewicz and published by Springer. This book was released on 2016-04-12 with total page 395 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume is devoted to the study of the Navier–Stokes equations, providing a comprehensive reference for a range of applications: from advanced undergraduate students to engineers and professional mathematicians involved in research on fluid mechanics, dynamical systems, and mathematical modeling. Equipped with only a basic knowledge of calculus, functional analysis, and partial differential equations, the reader is introduced to the concept and applications of the Navier–Stokes equations through a series of fully self-contained chapters. Including lively illustrations that complement and elucidate the text, and a collection of exercises at the end of each chapter, this book is an indispensable, accessible, classroom-tested tool for teaching and understanding the Navier–Stokes equations. Incompressible Navier–Stokes equations describe the dynamic motion (flow) of incompressible fluid, the unknowns being the velocity and pressure as functions of location (space) and time variables. A solution to these equations predicts the behavior of the fluid, assuming knowledge of its initial and boundary states. These equations are one of the most important models of mathematical physics: although they have been a subject of vivid research for more than 150 years, there are still many open problems due to the nature of nonlinearity present in the equations. The nonlinear convective term present in the equations leads to phenomena such as eddy flows and turbulence. In particular, the question of solution regularity for three-dimensional problem was appointed by Clay Institute as one of the Millennium Problems, the key problems in modern mathematics. The problem remains challenging and fascinating for mathematicians, and the applications of the Navier–Stokes equations range from aerodynamics (drag and lift forces), to the design of watercraft and hydroelectric power plants, to medical applications such as modeling the flow of blood in the circulatory system.

Boundary Stabilization of Parabolic Equations

Download Boundary Stabilization of Parabolic Equations PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3030110990
Total Pages : 222 pages
Book Rating : 4.0/5 (31 download)

DOWNLOAD NOW!


Book Synopsis Boundary Stabilization of Parabolic Equations by : Ionuţ Munteanu

Download or read book Boundary Stabilization of Parabolic Equations written by Ionuţ Munteanu and published by Springer. This book was released on 2019-02-15 with total page 222 pages. Available in PDF, EPUB and Kindle. Book excerpt: This monograph presents a technique, developed by the author, to design asymptotically exponentially stabilizing finite-dimensional boundary proportional-type feedback controllers for nonlinear parabolic-type equations. The potential control applications of this technique are wide ranging in many research areas, such as Newtonian fluid flows modeled by the Navier-Stokes equations; electrically conducted fluid flows; phase separation modeled by the Cahn-Hilliard equations; and deterministic or stochastic semi-linear heat equations arising in biology, chemistry, and population dynamics modeling. The text provides answers to the following problems, which are of great practical importance: Designing the feedback law using a minimal set of eigenfunctions of the linear operator obtained from the linearized equation around the target state Designing observers for the considered control systems Constructing time-discrete controllers requiring only partial knowledge of the state After reviewing standard notations and results in functional analysis, linear algebra, probability theory and PDEs, the author describes his novel stabilization algorithm. He then demonstrates how this abstract model can be applied to stabilization problems involving magnetohydrodynamic equations, stochastic PDEs, nonsteady-states, and more. Boundary Stabilization of Parabolic Equations will be of particular interest to researchers in control theory and engineers whose work involves systems control. Familiarity with linear algebra, operator theory, functional analysis, partial differential equations, and stochastic partial differential equations is required.

Semigroups of Operators -Theory and Applications

Download Semigroups of Operators -Theory and Applications PDF Online Free

Author :
Publisher : Springer
ISBN 13 : 3319121456
Total Pages : 338 pages
Book Rating : 4.3/5 (191 download)

DOWNLOAD NOW!


Book Synopsis Semigroups of Operators -Theory and Applications by : Jacek Banasiak

Download or read book Semigroups of Operators -Theory and Applications written by Jacek Banasiak and published by Springer. This book was released on 2014-11-20 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt: Many results, both from semi group theory itself and from the applied sciences, are phrased in discipline-specific languages and hence are hardly known to a broader community. This volume contains a selection of lectures presented at a conference that was organised as a forum for all mathematicians using semi group theory to learn what is happening outside their own field of research. The collection will help to establish a number of new links between various sub-disciplines of semigroup theory, stochastic processes, differential equations and the applied fields. The theory of semigroups of operators is a well-developed branch of functional analysis. Its foundations were laid at the beginning of the 20th century, while the fundamental generation theorem of Hille and Yosida dates back to the forties. The theory was, from the very beginning, designed as a universal language for partial differential equations and stochastic processes, but at the same time it started to live as an independent branch of operator theory. Nowadays, it still has the same distinctive flavour: it develops rapidly by posing new ‘internal’ questions and in answering them, discovering new methods that can be used in applications. On the other hand, it is influenced by questions from PDEs and stochastic processes as well as from applied sciences such as mathematical biology and optimal control, and thus it continually gathers a new momentum. Researchers and postgraduate students working in operator theory, partial differential equations, probability and stochastic processes, analytical methods in biology and other natural sciences, optimization and optimal control will find this volume useful.

Control of Coupled Partial Differential Equations

Download Control of Coupled Partial Differential Equations PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 3764377216
Total Pages : 384 pages
Book Rating : 4.7/5 (643 download)

DOWNLOAD NOW!


Book Synopsis Control of Coupled Partial Differential Equations by : Karl Kunisch

Download or read book Control of Coupled Partial Differential Equations written by Karl Kunisch and published by Springer Science & Business Media. This book was released on 2007-08-08 with total page 384 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume contains selected contributions originating from the ‘Conference on Optimal Control of Coupled Systems of Partial Differential Equations’, held at the ‘Mathematisches Forschungsinstitut Oberwolfach’ in April 2005. With their articles, leading scientists cover a broad range of topics such as controllability, feedback-control, optimality systems, model-reduction techniques, analysis and optimal control of flow problems, and fluid-structure interactions, as well as problems of shape and topology optimization. Applications affected by these findings are distributed over all time and length scales starting with optimization and control of quantum mechanical systems, the design of piezoelectric acoustic micro-mechanical devices, or optimal control of crystal growth to the control of bodies immersed into a fluid, airfoil design, and much more. The book addresses advanced students and researchers in optimization and control of infinite dimensional systems, typically represented by partial differential equations. Readers interested either in theory or in numerical simulation of such systems will find this book equally appealing.

Control of Turbulent and Magnetohydrodynamic Channel Flows

Download Control of Turbulent and Magnetohydrodynamic Channel Flows PDF Online Free

Author :
Publisher : Springer Science & Business Media
ISBN 13 : 0817646981
Total Pages : 218 pages
Book Rating : 4.8/5 (176 download)

DOWNLOAD NOW!


Book Synopsis Control of Turbulent and Magnetohydrodynamic Channel Flows by : Rafael Vazquez

Download or read book Control of Turbulent and Magnetohydrodynamic Channel Flows written by Rafael Vazquez and published by Springer Science & Business Media. This book was released on 2008 with total page 218 pages. Available in PDF, EPUB and Kindle. Book excerpt: This monograph presents new constructive design methods for boundary stabilization and boundary estimation for several classes of benchmark problems in flow control, with potential applications to turbulence control, weather forecasting, and plasma control. One of the main features of the book is a unique "backstepping" approach to parabolic partial differential equations, which yields not only the stabilization of the flow, but also the explicit solvability of the closed-loop system. The work is an excellent reference for a broad, interdisciplinary engineering and mathematics audience: control theorists, fluid mechanicists, mechanical engineers, aerospace engineers, chemical engineers, electrical engineers, applied mathematicians, as well as research and graduate students in these fields.

Nonlinear Analysis and Optimization I

Download Nonlinear Analysis and Optimization I PDF Online Free

Author :
Publisher : American Mathematical Soc.
ISBN 13 : 0821848348
Total Pages : 290 pages
Book Rating : 4.8/5 (218 download)

DOWNLOAD NOW!


Book Synopsis Nonlinear Analysis and Optimization I by : Simeon Reich

Download or read book Nonlinear Analysis and Optimization I written by Simeon Reich and published by American Mathematical Soc.. This book was released on 2010 with total page 290 pages. Available in PDF, EPUB and Kindle. Book excerpt: This volume is the first of two volumes representing leading themes of current research in nonlinear analysis and optimization. The articles are written by prominent researchers in these two areas and bring the readers, advanced graduate students and researchers alike, to the frontline of the vigorous research in these important fields of mathematics. This volume contains articles on nonlinear analysis. Topics covered include the convex feasibility problem, fixed point theory, mathematical biology, Mosco stability, nonexpansive mapping theory, nonlinear partial differential equations, optimal control, the proximal point algorithm and semigroup theory. The companion volume (Contemporary Mathematics, Volume 514) is devoted to optimization. This book is co-published with Bar-Ilan University (Ramat-Gan, Israel). Table of Contents: A. S. Ackleh, K. Deng, and Q. Huang -- Existence-uniqueness results and difference approximations for an amphibian juvenile-adult model; S. Aizicovici, N. S. Papageorgiou, and V. Staicu -- Three nontrivial solutions for $p$-Laplacian Neumann problems with a concave nonlinearity near the origin; V. Barbu -- Optimal stabilizable feedback controller for Navier-Stokes equations; H. H. Bauschke and X. Wang -- Firmly nonexpansive and Kirszbraun-Valentine extensions: A constructive approach via monotone operator theory; R. E. Bruck -- On the random product of orthogonal projections in Hilbert space II; D. Butnariu, E. Resmerita, and S. Sabach -- A Mosco stability theorem for the generalized proximal mapping; A. Cegielski -- Generalized relaxations of nonexpansive operators and convex feasibility problems; Y. Censor and A. Segal -- Sparse string-averaging and split common fixed points; T. Dominguez Benavides and S. Phothi -- Genericity of the fixed point property for reflexive spaces under renormings; K. Goebel and B. Sims -- Mean Lipschitzian mappings; T. Ibaraki and W. Takahashi -- Generalized nonexpansive mappings and a proximal-type algorithm in Banach spaces; W. Kaczor, T. Kuczumow, and N. Michalska -- The common fixed point set of commuting nonexpansive mapping in Cartesian products of weakly compact convex sets; L. Leu'tean -- Nonexpansive iterations in uniformly convex $W$-hyperbolic spaces; G. Lopez, V. Martin-Marquez, and H.-K. Xu -- Halpern's iteration for nonexpansive mappings; J. W. Neuberger -- Lie generators for local semigroups; H.-K. Xu -- An alternative regularization method for nonexpansive mappings with applications. (CONM/513)

Approximation and Optimization of Discrete and Differential Inclusions

Download Approximation and Optimization of Discrete and Differential Inclusions PDF Online Free

Author :
Publisher : Elsevier
ISBN 13 : 0123884284
Total Pages : 396 pages
Book Rating : 4.1/5 (238 download)

DOWNLOAD NOW!


Book Synopsis Approximation and Optimization of Discrete and Differential Inclusions by : Elimhan N Mahmudov

Download or read book Approximation and Optimization of Discrete and Differential Inclusions written by Elimhan N Mahmudov and published by Elsevier. This book was released on 2011-08-25 with total page 396 pages. Available in PDF, EPUB and Kindle. Book excerpt: Optimal control theory has numerous applications in both science and engineering. This book presents basic concepts and principles of mathematical programming in terms of set-valued analysis and develops a comprehensive optimality theory of problems described by ordinary and partial differential inclusions. In addition to including well-recognized results of variational analysis and optimization, the book includes a number of new and important ones Includes practical examples

Stability of Spherically Symmetric Wave Maps

Download Stability of Spherically Symmetric Wave Maps PDF Online Free

Author :
Publisher : American Mathematical Soc.
ISBN 13 : 0821838776
Total Pages : 96 pages
Book Rating : 4.8/5 (218 download)

DOWNLOAD NOW!


Book Synopsis Stability of Spherically Symmetric Wave Maps by : Joachim Krieger

Download or read book Stability of Spherically Symmetric Wave Maps written by Joachim Krieger and published by American Mathematical Soc.. This book was released on 2006 with total page 96 pages. Available in PDF, EPUB and Kindle. Book excerpt: Presents a study of Wave Maps from ${\mathbf{R}}^{2+1}$ to the hyperbolic plane ${\mathbf{H}}^{2}$ with smooth compactly supported initial data which are close to smooth spherically symmetric initial data with respect to some $H^{1+\mu}$, $\mu>0$.

On Boundary Interpolation for Matrix Valued Schur Functions

Download On Boundary Interpolation for Matrix Valued Schur Functions PDF Online Free

Author :
Publisher : American Mathematical Soc.
ISBN 13 : 0821840479
Total Pages : 122 pages
Book Rating : 4.8/5 (218 download)

DOWNLOAD NOW!


Book Synopsis On Boundary Interpolation for Matrix Valued Schur Functions by : Vladimir Bolotnikov

Download or read book On Boundary Interpolation for Matrix Valued Schur Functions written by Vladimir Bolotnikov and published by American Mathematical Soc.. This book was released on 2006 with total page 122 pages. Available in PDF, EPUB and Kindle. Book excerpt: A number of interpolation problems are considered in the Schur class of $p\times q$ matrix valued functions $S$ that are analytic and contractive in the open unit disk. The interpolation constraints are specified in terms of nontangential limits and angular derivatives at one or more (of a finite number of) boundary points. Necessary and sufficient conditions for existence of solutions to these problems and a description of all the solutions when these conditions are met is given.The analysis makes extensive use of a class of reproducing kernel Hilbert spaces ${\mathcal{H (S)$ that was introduced by de Branges and Rovnyak. The Stein equation that is associated with the interpolation problems under consideration is analyzed in detail. A lossless inverse scattering problem isalso considered.

KAM Stability and Celestial Mechanics

Download KAM Stability and Celestial Mechanics PDF Online Free

Author :
Publisher : American Mathematical Soc.
ISBN 13 : 0821841696
Total Pages : 150 pages
Book Rating : 4.8/5 (218 download)

DOWNLOAD NOW!


Book Synopsis KAM Stability and Celestial Mechanics by : Alessandra Celletti

Download or read book KAM Stability and Celestial Mechanics written by Alessandra Celletti and published by American Mathematical Soc.. This book was released on 2007 with total page 150 pages. Available in PDF, EPUB and Kindle. Book excerpt: KAM theory is a powerful tool apt to prove perpetual stability in Hamiltonian systems, which are a perturbation of integrable ones. The smallness requirements for its applicability are well known to be extremely stringent. A long standing problem, in this context, is the application of KAM theory to ``physical systems'' for ``observable'' values of the perturbation parameters. The authors consider the Restricted, Circular, Planar, Three-Body Problem (RCP3BP), i.e., the problem of studying the planar motions of a small body subject to the gravitational attraction of two primary bodies revolving on circular Keplerian orbits (which are assumed not to be influenced by the small body). When the mass ratio of the two primary bodies is small, the RCP3BP is described by a nearly-integrable Hamiltonian system with two degrees of freedom; in a region of phase space corresponding to nearly elliptical motions with non-small eccentricities, the system is well described by Delaunay variables. The Sun-Jupiter observed motion is nearly circular and an asteroid of the Asteroidal belt may be assumed not to influence the Sun-Jupiter motion. The Jupiter-Sun mass ratio is slightly less than 1/1000. The authors consider the motion of the asteroid 12 Victoria taking into account only the Sun-Jupiter gravitational attraction regarding such a system as a prototype of a RCP3BP. for values of mass ratios up to 1/1000, they prove the existence of two-dimensional KAM tori on a fixed three-dimensional energy level corresponding to the observed energy of the Sun-Jupiter-Victoria system. Such tori trap the evolution of phase points ``close'' to the observed physical data of the Sun-Jupiter-Victoria system. As a consequence, in the RCP3BP description, the motion of Victoria is proven to be forever close to an elliptical motion. The proof is based on: 1) a new iso-energetic KAM theory; 2) an algorithm for computing iso-energetic, approximate Lindstedt series; 3) a computer-aided application of 1)+2) to the Sun-Jupiter-Victoria system. The paper is self-contained but does not include the ($\sim$ 12000 lines) computer programs, which may be obtained by sending an e-mail to one of the authors.