| Texto completo | |
| Autor(es): |
Gameiro, Marcio
;
Lessard, Jean-Philippe
Número total de Autores: 2
|
| Tipo de documento: | Artigo Científico |
| Fonte: | SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS; v. 16, n. 1, p. 687-728, 2017. |
| Citações Web of Science: | 7 |
| Resumo | |
In this paper, a method for computing periodic orbits of the Kuramoto-Sivashinsky PDE via rigorous numerics is presented. This is an application and an implementation of the theoretical method introduced in {[}J.-L. Figueras, M. Gameiro, J.-P. Lessard, and R. de la Llave, ``A framework for the numerical computation and a posteriori verification of invariant objects of evolution equations,{''} SIAM J. Appl. Dyn. Syst., to appear]. Using a Newton-Kantorovich-type argument (the radii polynomial approach), existence of solutions is obtained in a weighted l(infinity) Banach space of Fourier coefficients. Once a proof of a periodic orbit is done, an associated eigenvalue problem is solved and Floquet exponents are rigorously computed, yielding proofs that some periodic orbits are unstable. Finally, a predictor-corrector continuation method is introduced to rigorously compute global smooth branches of periodic orbits. An alternative approach and independent implementation of {[}J.-L. Figueras, M. Gameiro, J.-P. Lessard, and R. de la Llave, ``A framework for the numerical computation and a posteriori verification of invariant objects of evolution equations,{''} SIAM J. Appl. Dyn. Syst., to appear] appears in {[}J.-L. Figueras and R. de la Llave, ``Numerical computations and computer assisted proofs of periodic orbits of the Kuramoto-Sivashinsky equation,{''} SIAM J. Appl. Dyn. Syst., to appear]. (AU) | |
| Processo FAPESP: | 10/00875-9 - Métodos topológicos e numéricos rigorosos para bifurcações em sistemas dinâmicos |
| Beneficiário: | Marcio Fuzeto Gameiro |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Processo FAPESP: | 13/50382-7 - Rigorous computations for nonlinear partial differential equations. (fapesp-caldo) |
| Beneficiário: | Marcio Fuzeto Gameiro |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Processo FAPESP: | 16/08704-5 - Computações rigorosas em sistemas dinâmicos |
| Beneficiário: | Marcio Fuzeto Gameiro |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |
| Processo FAPESP: | 13/07460-7 - Computações rigorosas para EDPs |
| Beneficiário: | Marcio Fuzeto Gameiro |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |