{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T11:32:43Z","timestamp":1777375963899,"version":"3.51.4"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T00:00:00Z","timestamp":1771804800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T00:00:00Z","timestamp":1771804800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Nonlinear Sci"],"published-print":{"date-parts":[[2026,4]]},"DOI":"10.1007\/s00332-026-10242-2","type":"journal-article","created":{"date-parts":[[2026,2,23]],"date-time":"2026-02-23T13:07:55Z","timestamp":1771852075000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Computer-Assisted Proofs of Gap Solitons in Bose\u2013Einstein Condensates"],"prefix":"10.1007","volume":"36","author":[{"given":"Miguel","family":"Ayala","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Garc\u00eda-Azpeitia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Lessard","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,2,23]]},"reference":[{"key":"10242_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0167-2789(00)00138-X","volume":"146","author":"G Alfimov","year":"2000","unstructured":"Alfimov, G., Konotop, V.V.: On the existence of gap solitons. Physica D 146, 1 (2000)","journal-title":"Physica D"},{"issue":"1","key":"10242_CR2","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1209\/epl\/i2002-00599-0","volume":"58","author":"GL Alfimov","year":"2002","unstructured":"Alfimov, G.L., Konotop, V.V., Salerno, M.: Matter solitons in Bose\u2013Einstein condensates with optical lattices. Europhys. Lett. (EPL) 58(1), 7\u201313 (2002)","journal-title":"Europhys. Lett. (EPL)"},{"issue":"2","key":"10242_CR3","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1016\/s0294-1449(97)89300-6","volume":"15","author":"A Ambrosetti","year":"1998","unstructured":"Ambrosetti, A., Badiale, M.: Homoclinics: Poincar\u00e9\u2013Melnikov type results via a variational approach. Ann. l\u2019Inst. Henri Poincar\u00e9 C 15(2), 233\u2013252 (1998)","journal-title":"Ann. l\u2019Inst. Henri Poincar\u00e9 C"},{"key":"10242_CR4","doi-asserted-by":"crossref","unstructured":"Ayala, M., Garc\u00eda-Azpeitia, C., Lessard, J.-P.: Codes of computer-assisted proofs of gap solitons in Bose\u2013Einstein condensates. https:\/\/github.com\/mi-ayala\/SolitonsBECs (2025)","DOI":"10.1007\/s00332-026-10242-2"},{"issue":"2","key":"10242_CR5","first-page":"331","volume":"27","author":"M Berti","year":"1998","unstructured":"Berti, M., Bolle, P.: Variational construction of homoclinics and chaos in presence of a saddle-saddle equilibrium. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) 27(2), 331\u2013377 (1998)","journal-title":"Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4)"},{"issue":"4","key":"10242_CR6","doi-asserted-by":"publisher","first-page":"1557","DOI":"10.1137\/100812008","volume":"43","author":"J Bouwe","year":"2011","unstructured":"Bouwe, J., van den Berg, J.D., Mireles-James, J.-P.L., Mischaikow, K.: Rigorous numerics for symmetric connecting orbits: even homoclinics of the Gray\u2013Scott equation. SIAM J. Math. Anal. 43(4), 1557\u20131594 (2011)","journal-title":"SIAM J. Math. Anal."},{"issue":"2","key":"10242_CR7","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/s00332-021-09695-4","volume":"31","author":"J Bouwe","year":"2021","unstructured":"Bouwe, J., van den Berg, M., Breden, J.-P.L., van Veen, L.: Spontaneous periodic orbits in the Navier\u2013Stokes flow. J. Nonlinear Sci. 31(2), 41 (2021)","journal-title":"J. Nonlinear Sci."},{"issue":"1","key":"10242_CR8","doi-asserted-by":"publisher","first-page":"60","DOI":"10.1016\/j.jde.2005.07.016","volume":"224","author":"B Breuer","year":"2006","unstructured":"Breuer, B., Hor\u00e1k, J., McKenna, P.J., Plum, M.: A computer-assisted existence and multiplicity proof for travelling waves in a nonlinearly supported beam. J. Differ. Equ. 224(1), 60\u201397 (2006)","journal-title":"J. Differ. Equ."},{"issue":"3","key":"10242_CR9","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1002\/(SICI)1097-0312(199603)49:3<285::AID-CPA3>3.0.CO;2-9","volume":"49","author":"B Buffoni","year":"1996","unstructured":"Buffoni, B., S\u00e9r\u00e9, E.: A global condition for quasi-random behavior in a class of conservative systems. Commun. Pure Appl. Math. 49(3), 285\u2013305 (1996)","journal-title":"Commun. Pure Appl. Math."},{"key":"10242_CR10","doi-asserted-by":"crossref","unstructured":"Cabr\u00e9, X., Fontich, E., de la Llave, R.: The parameterization method for invariant manifolds. I. Manifolds associated to non-resonant subspaces. Indiana Univ. Math. J. 52(2), 283\u2013328 (2003a)","DOI":"10.1512\/iumj.2003.52.2245"},{"key":"10242_CR11","doi-asserted-by":"crossref","unstructured":"Cabr\u00e9, X., Fontich, E., de la Llave, R.: The parameterization method for invariant manifolds. II. Regularity with respect to parameters. Indiana Univ. Math. J. 52(2), 329\u2013360 (2003b)","DOI":"10.1512\/iumj.2003.52.2407"},{"issue":"2","key":"10242_CR12","doi-asserted-by":"publisher","first-page":"444","DOI":"10.1016\/j.jde.2004.12.003","volume":"218","author":"X Cabr\u00e9","year":"2005","unstructured":"Cabr\u00e9, X., Fontich, E., de la Llave, R.: The parameterization method for invariant manifolds. III. Overview and applications. J. Differ. Equ. 218(2), 444\u2013515 (2005)","journal-title":"J. Differ. Equ."},{"issue":"1","key":"10242_CR13","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1137\/140960207","volume":"14","author":"R Castelli","year":"2015","unstructured":"Castelli, R., Lessard, J.-P., Mireles James, J.D.: Parameterization of invariant manifolds for periodic orbits I: efficient numerics via the floquet normal form. SIAM J. Appl. Dyn. Syst. 14(1), 132\u2013167 (2015)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"4","key":"10242_CR14","doi-asserted-by":"publisher","first-page":"1525","DOI":"10.1007\/s10884-017-9609-z","volume":"30","author":"R Castelli","year":"2018","unstructured":"Castelli, R., Lessard, J.P., Mireles James, J.D.: Parameterization of invariant manifolds for periodic orbits (II): a posteriori analysis and computer assisted error bounds. J. Dyn. Differ. Equ. 30(4), 1525\u20131581 (2018)","journal-title":"J. Dyn. Differ. Equ."},{"issue":"5","key":"10242_CR15","doi-asserted-by":"publisher","first-page":"1123","DOI":"10.1007\/s10208-016-9339-3","volume":"17","author":"JL Figueras","year":"2017","unstructured":"Figueras, J.L., Haro, A., Luque, A.: Rigorous computer-assisted application of KAM theory: a modern approach. Found. Comput. Math. 17(5), 1123\u20131193 (2017)","journal-title":"Found. Comput. Math."},{"issue":"3","key":"10242_CR16","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s40324-019-00186-x","volume":"76","author":"J G\u00f3mez-Serrano","year":"2019","unstructured":"G\u00f3mez-Serrano, J.: Computer-assisted proofs in PDE: a survey. SeMA J. 76(3), 459\u2013484 (2019)","journal-title":"SeMA J."},{"key":"10242_CR17","unstructured":"H\u00e9not, O.: Radiipolynomial.jl (2021)"},{"key":"10242_CR18","unstructured":"Hiraoka, Y.: Construction of approximate solutions for rigorous numerics of symmetric homoclinic orbits. In: Workshops on \u201cPattern Formation Problems in Dissipative Systems\u201d and \u201cMathematical Modeling and Analysis for Nonlinear Phenomena\u201d, Volume\u00a0B3 of RIMS K\u00f4ky\u00fbroku Bessatsu, Res. Inst. Math. Sci. (RIMS), Kyoto, pp. 11\u201323 (2007)"},{"issue":"3","key":"10242_CR19","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1007\/BF01444543","volume":"288","author":"H Hofer","year":"1990","unstructured":"Hofer, H., Wysocki, K.: First order elliptic systems and the existence of homoclinic orbits in Hamiltonian systems. Math. Ann. 288(3), 483\u2013503 (1990)","journal-title":"Math. Ann."},{"key":"10242_CR20","doi-asserted-by":"crossref","unstructured":"Kevrekidis, P.G., Frantzeskakis, D.J., Carretero-Gonz\u00e1lez, R.: Emergent Nonlinear Phenomena in Bose\u2013Einstein Condensates. Optical, and Plasma Physics. Springer Series on Atomic, Springer, Berlin (2008)","DOI":"10.1007\/978-3-540-73591-5"},{"issue":"4","key":"10242_CR21","doi-asserted-by":"publisher","first-page":"565","DOI":"10.1137\/S0036144595284180","volume":"38","author":"H Koch","year":"1996","unstructured":"Koch, H., Schenkel, A., Wittwer, P.: Computer-assisted proofs in analysis and programming in logic: a case study. SIAM Rev. 38(4), 565\u2013604 (1996)","journal-title":"SIAM Rev."},{"issue":"1","key":"10242_CR22","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1137\/13090883X","volume":"52","author":"J-P Lessard","year":"2014","unstructured":"Lessard, J.-P., Reinhardt, C.: Rigorous numerics for nonlinear differential equations using Chebyshev series. SIAM J. Numer. Anal. 52(1), 1\u201322 (2014)","journal-title":"SIAM J. Numer. Anal."},{"key":"10242_CR23","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevA.67.013602","volume":"67","author":"PJY Louis","year":"2003","unstructured":"Louis, P.J.Y., Ostrovskaya, E.A., Savage, C.M., Kivshar, Y.S.: Bose\u2013Einstein condensates in optical lattices: band-gap structure and solitons. Phys. Rev. A 67, 013602 (2003)","journal-title":"Phys. Rev. A"},{"key":"10242_CR24","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1016\/j.jde.2023.10.002","volume":"378","author":"M Murray","year":"2024","unstructured":"Murray, M., Mireles James, J.D.: Computer assisted proof of homoclinic chaos in the spatial equilateral restricted four-body problem. J. Differ. Equ. 378, 559\u2013609 (2024)","journal-title":"J. Differ. Equ."},{"key":"10242_CR25","doi-asserted-by":"crossref","unstructured":"Nakao, M.T., Plum, M., Watanabe. Y.: Numerical Verification Methods and Computer-assisted Proofs for Partial Differential Equations, Volume\u00a053 of Springer Series in Computational Mathematics. Springer, Singapore (2019)","DOI":"10.1007\/978-981-13-7669-6"},{"issue":"2","key":"10242_CR26","first-page":"193","volume":"4","author":"SI Oishi","year":"1998","unstructured":"Oishi, S.I.: Numerical verification method of existence of connecting orbits for continuous dynamical systems. J. Univers. Comput. Sci. 4(2), 193\u2013201 (1998). (SCAN-97 (Lyon))","journal-title":"J. Univers. Comput. Sci."},{"issue":"3","key":"10242_CR27","doi-asserted-by":"publisher","DOI":"10.1103\/PhysRevE.70.036618","volume":"70","author":"DE Pelinovsky","year":"2004","unstructured":"Pelinovsky, D.E., Sukhorukov, A.A., Kivshar, Y.S.: Bifurcations and stability of gap solitons in periodic potentials. Phys. Rev. E (3) 70(3), 036618 (2004). (17)","journal-title":"Phys. Rev. E (3)"},{"key":"10242_CR28","volume-title":"Moore Interval Analysis","author":"E Ramon","year":"1966","unstructured":"Ramon, E.: Moore Interval Analysis. Prentice-Hall Inc., Englewood Cliffs (1966)"},{"issue":"2","key":"10242_CR29","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1016\/0022-0396(91)90095-Q","volume":"94","author":"K Tanaka","year":"1991","unstructured":"Tanaka, K.: Homoclinic orbits in a first order superquadratic Hamiltonian system: convergence of subharmonic orbits. J. Differ. Equ. 94(2), 315\u2013339 (1991)","journal-title":"J. Differ. Equ."},{"key":"10242_CR30","doi-asserted-by":"publisher","DOI":"10.1515\/9781400838974","volume-title":"Validated Numerics. A Short Introduction to Rigorous Computations","author":"W Tucker","year":"2011","unstructured":"Tucker, W.: Validated Numerics. A Short Introduction to Rigorous Computations. Princeton University Press, Princeton (2011)"},{"issue":"9","key":"10242_CR31","doi-asserted-by":"publisher","first-page":"1057","DOI":"10.1090\/noti1276","volume":"62","author":"JB van den Berg","year":"2015","unstructured":"van den Berg, J.B., Lessard, J.P.: Rigorous numerics in dynamics. Notices Am. Math. Soc. 62(9), 1057\u20131061 (2015)","journal-title":"Notices Am. Math. Soc."},{"issue":"2","key":"10242_CR32","doi-asserted-by":"publisher","first-page":"942","DOI":"10.1137\/140984506","volume":"14","author":"JB van den Berg","year":"2015","unstructured":"van den Berg, J.B., Desch\u00eanes, A., Lessard, J.P., Mireles James, J.D.: Stationary coexistence of hexagons and rolls via rigorous computations. SIAM J. Appl. Dyn. Syst. 14(2), 942\u2013979 (2015)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"3086\u20133130","key":"10242_CR33","first-page":"3","volume":"264","author":"JB van den Berg","year":"2018","unstructured":"van den Berg, J.B., Breden, M., Lessard, J.P., Murray, M.: Continuation of homoclinic orbits in the suspension bridge equation: a computer-assisted proof. J. Differ. Equ. 264(3086\u20133130), 3 (2018)","journal-title":"J. Differ. Equ."},{"issue":"7","key":"10242_CR34","doi-asserted-by":"publisher","DOI":"10.1088\/1361-6544\/ade5e5","volume":"38","author":"L van der Aalst","year":"2025","unstructured":"van der Aalst, L., van den Berg, J.B., Periodic, L.J.P.: Localised traveling waves in the two-dimensional suspension bridge equation. Nonlinearity 38(7), 075029 (2025)","journal-title":"Nonlinearity"},{"issue":"3","key":"10242_CR35","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1137\/040611112","volume":"4","author":"D Wilczak","year":"2005","unstructured":"Wilczak, D.: Symmetric heteroclinic connections in the Michelson system: a computer assisted proof. SIAM J. Appl. Dyn. Syst. 4(3), 489\u2013514 (2005)","journal-title":"SIAM J. Appl. Dyn. Syst."},{"issue":"1","key":"10242_CR36","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s00220-002-0709-0","volume":"234","author":"D Wilczak","year":"2003","unstructured":"Wilczak, D., Zgliczynski, P.: Heteroclinic connections between periodic orbits in planar restricted circular three-body problem\u2014a computer assisted proof. Commun. Math. Phys. 234(1), 37\u201375 (2003)","journal-title":"Commun. Math. Phys."},{"issue":"1","key":"10242_CR37","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/BF01444526","volume":"288","author":"VC Zelati","year":"1990","unstructured":"Zelati, V.C., Ekeland, I., S\u00e9r\u00e9, \u00c9.: A variational approach to homoclinic orbits in Hamiltonian systems. Math. Ann. 288(1), 133\u2013160 (1990)","journal-title":"Math. Ann."}],"container-title":["Journal of Nonlinear Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00332-026-10242-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s00332-026-10242-2","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s00332-026-10242-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T23:51:41Z","timestamp":1777333901000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s00332-026-10242-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,2,23]]},"references-count":37,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2026,4]]}},"alternative-id":["10242"],"URL":"https:\/\/doi.org\/10.1007\/s00332-026-10242-2","relation":{},"ISSN":["0938-8974","1432-1467"],"issn-type":[{"value":"0938-8974","type":"print"},{"value":"1432-1467","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,2,23]]},"assertion":[{"value":"11 June 2025","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 January 2026","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"23 February 2026","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}],"article-number":"28"}}