1.

Record Nr.

UNINA9910479919703321

Autore

Eckmann Jean Pierre

Titolo

A computer-assisted proof of universality for area-preserving maps / / J.-P. Eckmann, H. Koch, and P. Wittwer

Pubbl/distr/stampa

Providence, R.I., USA : , : American Mathematical Society, , 1984

ISBN

1-4704-0699-3

Descrizione fisica

1 online resource (130 p.)

Collana

Memoirs of the American Mathematical Society, , 0065-9266 ; ; number 289 (Jan. 1984)

Disciplina

510 s

514/.7

Soggetti

Hamiltonian systems - Data processing

Mappings (Mathematics) - Data processing

Error analysis (Mathematics)

Electronic books.

Lingua di pubblicazione

Inglese

Formato

Materiale a stampa

Livello bibliografico

Monografia

Note generali

"January 1984, volume 47, number 289 (first of six numbers)."

Nota di bibliografia

Bibliography: pages 121.

Nota di contenuto

""TABLE OF CONTENTS""; ""INTRODUCTION""; ""PART I. ANALYSIS OF DOUBLING""; ""1. Feigenbaum universality for area�preserving maps""; ""2. Generating functions""; ""3. Further reduction of the problem""; ""4. Spectral properties""; ""5. Construction of the operator L""; ""6. Construction of the doubling operator""; ""PART II. FUNCTIONAL ANALYSIS ON THE COMPUTER""; ""1. Internal and neighborhood arithmetics""; ""2. Spectral theory""; ""3. Internal and neighborhood arithmetics on a computer""; ""List of correspondences""; ""PART III. PROOFS""; ""1. Computer program""; ""2. Program output""

""Table 1""""REFERENCES""