Formal theory of the normal form

1990 ◽  
pp. 57-66
Author(s):  
Howard Jacobowitz
Keyword(s):  
Normal Form ◽  
Formal Theory

Formal Theory

2011 ◽  
Author(s):  
Charles Fefferman ◽  
C. Robin Graham
Keyword(s):  
Normal Form ◽  
Ricci Curvature ◽  
Infinite Order ◽  
Formal Theory ◽  
Formal Series ◽  
Ricci Flat ◽  
Convergence Results ◽  
Real Analytic

This chapter presents proof of Theorem 2.9 for n > 2. It further notes that similar arguments using the form of the perturbation formulae (3.32) for the Ricci curvature show that the metrics constructed in Theorems 3.7, 3.9 and 3.10 are the only formal expansions of metrics for ρ‎ > 0 or ρ‎ < 0 involving positive powers of ¦ ρ‎ r ρ‎ and log ¦ ρ‎ r ρ‎, which are homogeneous of degree 2, Ricci-flat to infinite order, and in normal form. Convergence of formal series determined by Fuchsian problems such as these in the case of real-analytic data has been considered by several authors. In particular, results of [BaoG] can be applied to establish the convergence of the series occurring in Theorems 3.7 and 3.9 (and also in Theorem 3.10 if the obstruction tensor vanishes) if g and h are real-analytic. Convergence results including also the case when log terms occur in Theorem 3.10 are contained in [K].

Poincaré Metrics

2011 ◽  
Author(s):  
Charles Fefferman ◽  
C. Robin Graham
Keyword(s):  
Normal Form ◽  
Formal Theory ◽  
Poincaré Metric ◽  
One To One ◽  
Cone Metric

This chapter considers the formal theory for Poincaré metrics associated to a conformal manifold (M, [g]). It shows that even Poincaré metrics are in one-to-one correspondence with straight ambient metrics, if both are in normal form. Thus, the formal theory for Poincaré metrics is a consequence of the results of Chapter 3. The derivation of a Poincaré metric from an ambient metric was described in [FG], and the inverse construction of an ambient metric as the cone metric over a Poincaré metric was given in § 5 of [GrL].

Closing the GAP—A 5Å Scanning Microscope

1969 ◽  
Vol 27 ◽  
pp. 6-7
Author(s):  
A. V. Crewe
Keyword(s):  
Normal Form ◽  
The Other ◽  
Resolving Power ◽  
Scanning Microscope ◽  
Conventional Microscope ◽  
Other Hand ◽  
Closing The Gap ◽  
Thermal Sources ◽  
Better Than ◽  
Transmission Microscope

We have become accustomed to differentiating between the scanning microscope and the conventional transmission microscope according to the resolving power which the two instruments offer. The conventional microscope is capable of a point resolution of a few angstroms and line resolutions of periodic objects of about 1Å. On the other hand, the scanning microscope, in its normal form, is not ordinarily capable of a point resolution better than 100Å. Upon examining reasons for the 100Å limitation, it becomes clear that this is based more on tradition than reason, and in particular, it is a condition imposed upon the microscope by adherence to thermal sources of electrons.

Review of Status Passage: A Formal Theory.

1972 ◽  
Vol 17 (6) ◽  
pp. 358-359
Author(s):  
KURT W. BACK
Keyword(s):  
Formal Theory ◽  
Status Passage

METHODS OF REDUCING OF LARGE BOOLEAN FORMULAS REPRESENTED IN A CONJUNCTIVE NORMAL FORM FOR DETERMINING THEIR SATISFIABILITY

2020 ◽  
Author(s):  
N.I. Gdansky ◽  
◽  
A.A. Denisov ◽  
Keyword(s):  
Normal Form ◽  
Normal Forms ◽  
Conjunctive Normal Form ◽  
Boolean Formulas

The article explores the satisfiability of conjunctive normal forms used in modeling systems.The problems of CNF preprocessing are considered.The analysis of particular methods for reducing this formulas, which have polynomial input complexity is given.

Analysis of a 2DOF Nonlinear Mechanical System Using the Normal Form Method

2019 ◽  
Author(s):  
David Julian Gonzalez Maldonado ◽  
Peter Hagedorn ◽  
Thiago Ritto ◽  
Rubens Sampaio ◽  
Artem Karev
Keyword(s):  
Normal Form ◽  
Mechanical System ◽  
Nonlinear Mechanical ◽  
Nonlinear Mechanical System ◽  
Normal Form Method

Normal form method in search for periodic solutions of ordinary differential equations. Case of the fourth order

2018 ◽  
pp. 24-34
Author(s):  
V. F. Edneral ◽  
O. D. Timofeevskaya
Keyword(s):  
Normal Form ◽  
Differential Equations ◽  
Ordinary Differential Equations ◽  
Periodic Solutions ◽  
Fourth Order ◽  
Numerical Solutions ◽  
Numerical Calculations ◽  
Computational Time ◽  
Resonant Normal Form ◽  
Normal Form Method

Introduction:The method of resonant normal form is based on reducing a system of nonlinear ordinary differential equations to a simpler form, easier to explore. Moreover, for a number of autonomous nonlinear problems, it is possible to obtain explicit formulas which approximate numerical calculations of families of their periodic solutions. Replacing numerical calculations with their precalculated formulas leads to significant savings in computational time. Similar calculations were made earlier, but their accuracy was insufficient, and their complexity was very high.Purpose:Application of the resonant normal form method and a software package developed for these purposes to fourth-order systems in order to increase the calculation speed.Results:It has been shown that with the help of a single algorithm it is possible to study equations of high orders (4th and higher). Comparing the tabulation of the obtained formulas with the numerical solutions of the corresponding equations shows good quantitative agreement. Moreover, the speed of calculation by prepared approximating formulas is orders of magnitude greater than the numerical calculation speed. The obtained approximations can also be successfully applied to unstable solutions. For example, in the Henon — Heyles system, periodic solutions are surrounded by chaotic solutions and, when numerically integrated, the algorithms are often unstable on them.Practical relevance:The developed approach can be used in the simulation of physical and biological systems.

Sign in / Sign up

Export Citation Format

Share Document