{"entities":{"Q1371168":{"pageid":1381908,"ns":120,"title":"Item:Q1371168","lastrevid":68571840,"modified":"2026-04-13T00:38:42Z","type":"item","id":"Q1371168","labels":{"en":{"language":"en","value":"Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1080432"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371168$099F3766-F56B-46E5-90D9-8AAB05987D90","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af34968d7187ce929481955665a53f2b038ca8c2","datavalue":{"value":{"text":"Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1371168$480CC828-AF4D-43EE-A6B9-B344D26B8BB7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b6d5266a2348331d74d087efeda2ed22798a9edc","datavalue":{"value":"0888.65091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371168$4A49A873-FA5F-47AF-A51B-ED7AE0D2045F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f669309a12bbee3acd1a4f18cd077e22452f1522","datavalue":{"value":"10.1023/A:1009974824292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371168$3C5A4D89-C6D0-488D-BE47-DB808E959867","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e311f5d6a6547c01421e89c91d5b5127c636ce65","datavalue":{"value":{"entity-type":"item","numeric-id":1371167,"id":"Q1371167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371168$7956398C-DAEF-491A-BEFA-EABC33D2E3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"da8cbe7954f149a17b2a6d6ddf5357b4de91c18d","datavalue":{"value":{"entity-type":"item","numeric-id":169824,"id":"Q169824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371168$A7309E18-2D14-434F-802E-8D353D62E516","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c7999e3e01d43838ac559f475f3b198149793512","datavalue":{"value":{"entity-type":"item","numeric-id":163536,"id":"Q163536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371168$29C322CE-939B-4DD6-92E3-A24FC4DB1929","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0bef85bc00807cee0e95f3a15b9f54d5579e52fd","datavalue":{"value":{"time":"+1998-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1371168$9CF79967-03FF-4D43-9A59-3ECC7FF6E655","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"c196cc858717b270aca3b1f68ab91c9a2ab3fedb","datavalue":{"value":"The authors investigate the system of differential equations \\(\\dot x_0= x_1\\), \\(\\dot x_1= x_2\\), \\(\\dot x_2= -\\lambda x_1- 0,5x^2_0+ 1\\) with parameter \\(\\lambda\\) (for \\(\\lambda=1\\) this system can be considered as a finite-dimensional approximation of the Kuramoto-Sivashinsky equation, well known from the nonlinear theory of hydrodynamical stability). A solution \\(x(t)\\) is called heteroclinic connection, if \\(\\lim_{t\\to-\\infty} x(t)= (-\\sqrt 2,0,0)\\), \\(\\lim_{t\\to\\infty} x(t)= (\\sqrt 2,0,0)\\). It is known that the above system admits a heteroclinic connection for \\(\\lambda= 0\\) [\\textit{Ch. Conley}, Isolated invariant sets and the Morse index, Regional Conference Series in Mathematics, No. 38, Providence, R.I., AMS (1978; Zbl 0397.34056)] and for \\(\\lambda= 1\\) [\\textit{W. C. Troy}, J. Differ. Equations 82, No. 2, 269-313 (1989; Zbl 0693.34053)]. Now the authors extend the results of Conley and Troy and prove that a heteroclinic connection exists for every \\(\\lambda\\in [0,1]\\). The proof is based on some topological properties of the Conley index and on the existence of a precisely described set called here an isolating neighbourhood; the latter can be established via rigorous numerics.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371168$5ECC7783-31E5-4294-87E2-19F4B2F42216","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"72c7237df77c9d933ed193b3d220cb0cec46f9fc","datavalue":{"value":"65L10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371168$27F1C5E1-A325-4318-8477-C192FD5F383A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a40e5aa707c04cfe3be4bcdc226880def2863b4c","datavalue":{"value":"34B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371168$C43D6673-5DE3-48E9-A969-830E541C7FAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f8d8edd654e759372d3c603eef0899a7cf07a167","datavalue":{"value":"76E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371168$C67D004E-E3FB-42CB-B946-01C38FF0E017","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2271beba8c63e035ca69ebb9413dc9c9b2ae15ea","datavalue":{"value":"34C37","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371168$77877D4E-FEDE-4130-B260-3187A88B9EF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0dbfbd5aa303f24d705f2c83746def34e642f9f","datavalue":{"value":"1080432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371168$A0621DF8-477A-4523-9FEF-811ECD8E8122","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"109c4221e7144572a3068b441e19092443735f31","datavalue":{"value":"computer assisted proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371168$951E19CA-1E69-47E7-BC2F-4AEF9C32EC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"978be5a679bf2f8503ab62aad768c03aef464777","datavalue":{"value":"finite-dimensional approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371168$96BB3C94-B1DF-40F9-AB04-453FC7F7F8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cb8bdee4d6fed5d25f9b3228a2e388b9fd162be","datavalue":{"value":"Kuramoto-Sivashinsky equation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371168$CFCA96B6-AB7D-440E-9242-81D17B107D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b900954efa23a46722b60d2c11e8a35e7130565f","datavalue":{"value":"hydrodynamical stability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371168$56E9AAF8-E29F-4A38-9A64-1DA3B24BE793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b53eb962c2acb972c85d2aed2f842d8fa69960e","datavalue":{"value":"heteroclinic connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371168$0FD29680-C9D6-42A6-9498-E4BB9F4ECA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5387cc3c9f1b8afc596b8eb24941ab65a29c9a0b","datavalue":{"value":"Conley index","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371168$E053F899-47F3-43BB-98CE-4CF74B8E02F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a14cef7e4e17ff413fa2473537e250c1c98c468a","datavalue":{"value":"isolating neighbourhood","type":"string"},"datatype":"string"},"type":"statement","id":"Q1371168$0CEF0328-C6B2-4EB5-B9E6-F6D0C0A205D4","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1371168$6B7FC39F-A14F-4B1C-BFE2-7D8B0B252BAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a836b0d1ed33bf783f79d577b2475d2507668cd","datavalue":{"value":"https://doi.org/10.1023/a:1009974824292","type":"string"},"datatype":"url"},"type":"statement","id":"Q1371168$5F66C308-9EA3-4193-B028-F47FB7DB6549","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d2e90942788ea8d071ca69cba767422f44c3193","datavalue":{"value":"W199681983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1371168$6E8F5783-1F7B-4AA8-88F6-B28C6A6B8749","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b6802998a5ddcacc95f086ba961a01217e11eb5","datavalue":{"value":{"entity-type":"item","numeric-id":1809078,"id":"Q1809078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471b57b72187e888910b3552faed4f2d33302c9e","datavalue":{"value":{"amount":"+0.8664489984512329","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1371168$F6F4A365-E677-420A-BF36-EB1FC318388A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af518d8f84d985b5d70acfb750a737203c517f78","datavalue":{"value":{"entity-type":"item","numeric-id":5700603,"id":"Q5700603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"925755e2dfb5c7b70bddacf825a5fdcba802f3c3","datavalue":{"value":{"amount":"+0.8096418976783752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1371168$2BBBC609-4AC1-4A14-BF3C-981400B4601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97bf888b9602c2b0fc2501085104cddfbc17b28e","datavalue":{"value":{"entity-type":"item","numeric-id":1414013,"id":"Q1414013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6421ed8d3155aaf336cfabf1e543d4ed5323612","datavalue":{"value":{"amount":"+0.797443687915802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1371168$B9000F16-90A2-4A0D-B934-5784CF025F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3b43ef1afee3d22632815624530532d4683f312","datavalue":{"value":{"entity-type":"item","numeric-id":3209482,"id":"Q3209482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbf31b67e80dd41f7d1760e559399f7d171e92ce","datavalue":{"value":{"amount":"+0.791827380657196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1371168$05D8056B-FBBA-4EE8-B2AF-99EE0BC39C8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Heteroclinic connections in the Kuramoto-Sivashinsky equation: A computer assisted proof","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Heteroclinic_connections_in_the_Kuramoto-Sivashinsky_equation:_A_computer_assisted_proof"}}}}}