Computational hyperbolicity (Q632360): Difference between revisions
From MaRDI portal
Set profile property. |
Created claim: Wikidata QID (P12): Q112226034, #quickstatements; #temporary_batch_1711196317277 |
||
(One intermediate revision by one other user not shown) | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.3934/dcds.2011.29.1175 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W4250404695 / rank | |||
Normal rank | |||
Property / Wikidata QID | |||
Property / Wikidata QID: Q112226034 / rank | |||
Normal rank |
Latest revision as of 14:25, 23 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Computational hyperbolicity |
scientific article |
Statements
Computational hyperbolicity (English)
0 references
15 March 2011
0 references
Nowadays, computers are quite often used for proving theorems whose direct analytic verification is not possible. The paper under review deals with the problem of computer assisted proof of hyperbolicity of a given set using a concept of semihyperbolicity. Taking into account that semihyperbolicity does not require the splitting of the space to be invariant, it can be directly and relatively easily verified through a direct numerical computation. For example, the authors prove hyperbolicity of the celebrated Hénon attractor associated with the Hénon map of the real plane into itself, \[ H_{a,b}:(x,y) \mapsto(a-x^{2}+by,x) , \] for \(a=5.4\) and \(b=-1\) in less than 10 seconds on a 2 GHz personal computer.
0 references
dynamical systems
0 references
hyperbolicity
0 references
computer assisted proof
0 references
semihyperbolicity
0 references
Hénon attractor
0 references