| Texto completo | |
| Autor(es): |
Figueras, Jordi-Lluis
;
Gameiro, Marcio
;
Lessard, Jean-Philippe
;
de la Llave, Rafael
Número total de Autores: 4
|
| Tipo de documento: | Artigo Científico |
| Fonte: | SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS; v. 16, n. 2, p. 1070-1088, 2017. |
| Citações Web of Science: | 7 |
| Resumo | |
We develop a theoretical framework for computer-assisted proofs of the existence of invariant objects in semilinear PDEs. The invariant objects considered in this paper are equilibrium points, traveling waves, periodic orbits, and invariant manifolds attached to fixed points or periodic orbits. The core of the study is writing down the invariance condition as a zero of an operator. These operators are in general not continuous, so one needs to smooth them by means of preconditioners before classical fixed point theorems can be applied. We develop in detail all the aspects of how to work with these objects: how to precondition the equations, how to work with the nonlinear terms, which function spaces can be useful, and how to work with them in a computationally rigorous way. In two companion papers, we present two different implementations of the tools developed in this paper to study periodic orbits. (AU) | |
| 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/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: | 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/07460-7 - Computações rigorosas para EDPs |
| Beneficiário: | Marcio Fuzeto Gameiro |
| Modalidade de apoio: | Auxílio à Pesquisa - Regular |