Matches in SemOpenAlex for { <https://semopenalex.org/work/W109789761> ?p ?o ?g. }
Showing items 1 to 75 of
75
with 100 items per page.
- W109789761 abstract "We present an algorithm for computing rigorous solutions to a large class of ordinary differential equations. The main algorithm is based on a partitioning process and the use of interval arithmetic with directed rounding. As an application, we prove that the Lorenz equations support a strange attractor, as conjectured by Edward Lorenz in 1963. This conjecture was recently listed by Steven Smale as one of several challenging problems for the 21st century. We also prove that the attractor is robust, i.e., it persists under small perturbations of the coefficients in the underlying differential equations. Furthermore, the flow of the equations admits a unique SRB measure, whose support coincides with the attractor. The proof is based on a combination of normal form theory and rigorous computations. 1 Background to the Problem The following non-linear system of differential equations, ẋ1 = −σx1 + σx2 ẋ2 = %x1 − x2 − x1x3 (1) ẋ3 = −βx3 + x1x2, was introduced in 1963 by Edward Lorenz, see [5]. As a crude model of atmospheric dynamics, these equations led Lorenz to the discovery of sensitive dependence of initial conditions an essential factor of unpredictability in many systems. Numerical simulations for an open neighbourhood of the classical parameter values σ = 10, β = 8/3 and % = 28 suggest that almost all points in phase space tend to a strange attractor the Lorenz attractor. For % > 1, there are three fixed points: the origin and the two “twin points” C± = (± √ β(%− 1),± √ β(%− 1), %− 1)." @default.
- W109789761 created "2016-06-24" @default.
- W109789761 creator A5028372442 @default.
- W109789761 date "2002-01-01" @default.
- W109789761 modified "2023-09-27" @default.
- W109789761 title "The Lorenz Attractor Exists – An Auto-Validated Proof" @default.
- W109789761 cites W16313612 @default.
- W109789761 cites W1989097268 @default.
- W109789761 cites W2006642504 @default.
- W109789761 cites W2033530882 @default.
- W109789761 cites W2034358049 @default.
- W109789761 cites W2044413922 @default.
- W109789761 cites W2058125052 @default.
- W109789761 cites W2092243091 @default.
- W109789761 cites W2112602754 @default.
- W109789761 cites W2119972831 @default.
- W109789761 cites W2121020818 @default.
- W109789761 cites W2145782975 @default.
- W109789761 hasPublicationYear "2002" @default.
- W109789761 type Work @default.
- W109789761 sameAs 109789761 @default.
- W109789761 citedByCount "0" @default.
- W109789761 crossrefType "journal-article" @default.
- W109789761 hasAuthorship W109789761A5028372442 @default.
- W109789761 hasConcept C121332964 @default.
- W109789761 hasConcept C134306372 @default.
- W109789761 hasConcept C151342819 @default.
- W109789761 hasConcept C151510863 @default.
- W109789761 hasConcept C164380108 @default.
- W109789761 hasConcept C192872217 @default.
- W109789761 hasConcept C28826006 @default.
- W109789761 hasConcept C33923547 @default.
- W109789761 hasConcept C51544822 @default.
- W109789761 hasConcept C61445026 @default.
- W109789761 hasConcept C78045399 @default.
- W109789761 hasConcept C97355855 @default.
- W109789761 hasConceptScore W109789761C121332964 @default.
- W109789761 hasConceptScore W109789761C134306372 @default.
- W109789761 hasConceptScore W109789761C151342819 @default.
- W109789761 hasConceptScore W109789761C151510863 @default.
- W109789761 hasConceptScore W109789761C164380108 @default.
- W109789761 hasConceptScore W109789761C192872217 @default.
- W109789761 hasConceptScore W109789761C28826006 @default.
- W109789761 hasConceptScore W109789761C33923547 @default.
- W109789761 hasConceptScore W109789761C51544822 @default.
- W109789761 hasConceptScore W109789761C61445026 @default.
- W109789761 hasConceptScore W109789761C78045399 @default.
- W109789761 hasConceptScore W109789761C97355855 @default.
- W109789761 hasLocation W1097897611 @default.
- W109789761 hasOpenAccess W109789761 @default.
- W109789761 hasPrimaryLocation W1097897611 @default.
- W109789761 hasRelatedWork W1548015178 @default.
- W109789761 hasRelatedWork W1890830756 @default.
- W109789761 hasRelatedWork W2012602728 @default.
- W109789761 hasRelatedWork W2016625299 @default.
- W109789761 hasRelatedWork W2112155275 @default.
- W109789761 hasRelatedWork W2298457855 @default.
- W109789761 hasRelatedWork W2325019989 @default.
- W109789761 hasRelatedWork W2493891222 @default.
- W109789761 hasRelatedWork W2619219565 @default.
- W109789761 hasRelatedWork W2737803167 @default.
- W109789761 hasRelatedWork W2793002150 @default.
- W109789761 hasRelatedWork W282589397 @default.
- W109789761 hasRelatedWork W2952417560 @default.
- W109789761 hasRelatedWork W2964250562 @default.
- W109789761 hasRelatedWork W2973582339 @default.
- W109789761 hasRelatedWork W3021459201 @default.
- W109789761 hasRelatedWork W3143276122 @default.
- W109789761 hasRelatedWork W3182608323 @default.
- W109789761 hasRelatedWork W3198181010 @default.
- W109789761 hasRelatedWork W88348005 @default.
- W109789761 isParatext "false" @default.
- W109789761 isRetracted "false" @default.
- W109789761 magId "109789761" @default.
- W109789761 workType "article" @default.