Computações rigorosas para EDPs

• Processo: 13/07460-7
• Modalidade de apoio: Auxílio à Pesquisa - Regular
• Data de Início da vigência: 01 de junho de 2013
• Data de Término da vigência: 31 de maio de 2015
• Área do conhecimento: Ciências Exatas e da Terra - Matemática - Matemática Aplicada
• Pesquisador responsável: Marcio Fuzeto Gameiro
• Beneficiário: Marcio Fuzeto Gameiro
• Instituição Sede: Instituto de Ciências Matemáticas e de Computação (ICMC). Universidade de São Paulo (USP). São Carlos , SP, Brasil
• Município da Instituição Sede: São Carlos
• Auxílio(s) vinculado(s): 13/50382-7 - Rigorous computations for nonlinear partial differential equations. (fapesp-caldo), AP.R
• Assunto(s): Equações diferenciais parciais Métodos numéricos
• Palavra(s)-Chave do Pesquisador: Métodos Numéricos Rigorosos | Provas assistidas por computador em EDPs | Provas assistidas por computador em EDPs

Resumo

O objetivo deste projeto de pesquisa é calcular rigorosamente (provar a existência de) soluções de EDPs. O objetivo é estender o chamado método de continuação rigorosa para provar a existência de soluções de EDPs definidas em domínios não retangulares ou com condições de fronteira não periódicas, e também para provar a existência de soluções periódicas de EDPs. (AU)

Publicações científicas

(11)

(Referências obtidas automaticamente do Web of Science e do SciELO, por meio da informação sobre o financiamento pela FAPESP e o número do processo correspondente, incluída na publicação pelos autores)

GAMEIRO, MARCIO; HIRAOKA, YASUAKI; OBAYASHI, IPPEI. Continuation of point clouds via persistence diagrams. PHYSICA D-NONLINEAR PHENOMENA, v. 334, p. 118-132, NOV 1 2016. (10/00875-9, 13/07460-7)

GAMEIRO, MARCIO; LESSARD, JEAN-PHILIPPE; PUGLIESE, ALESSANDRO. Computation of Smooth Manifolds Via Rigorous Multi-parameter Continuation in Infinite Dimensions. FOUNDATIONS OF COMPUTATIONAL MATHEMATICS, v. 16, n. 2, p. 531-575, APR 2016. (10/00875-9, 13/07460-7)

RODRIGUES, HILDEBRANDO M.; TEIXEIRA, MARCO A.; GAMEIRO, MARCIO. On Exponential Decay and the Markus-Yamabe Conjecture in Infinite Dimensions with Applications to the Cima System. Journal of Dynamics and Differential Equations, v. 30, n. 3, p. 1199-1219, SEP 2018. (13/07460-7, 16/21032-6, 12/18780-0, 16/08704-5, 15/19165-5)

CASTELLI, ROBERTO; GAMEIRO, MARCIO; LESSARD, JEAN-PHILIPPE. Rigorous Numerics for ill-posed PDEs: Periodic Orbits in the Boussinesq Equation. Archive for Rational Mechanics and Analysis, v. 228, n. 1, p. 129-157, APR 2018. (16/08704-5, 16/21032-6, 13/50382-7, 13/07460-7)

GAMEIRO, MARCIO; LESSARD, JEAN-PHILIPPE. A Posteriori Verification of Invariant Objects of Evolution Equations: Periodic Orbits in the Kuramoto-Sivashinsky PDE. SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, v. 16, n. 1, p. 687-728, 2017. (10/00875-9, 13/50382-7, 16/08704-5, 13/07460-7)

RODRIGUES, HILDEBRANDO M.; WU, JIANHONG; GAMEIRO, MARCIO. SWITCHING SYNCHRONIZED CHAOTIC SYSTEMS APPLIED TO SECURE COMMUNICATION. JOURNAL OF APPLIED ANALYSIS AND COMPUTATION, v. 8, n. 2, p. 413-426, APR 2018. (13/07460-7, 16/08704-5, 16/21032-6, 10/00875-9, 14/12277-0)

FIGUERAS, JORDI-LLUIS; GAMEIRO, MARCIO; LESSARD, JEAN-PHILIPPE; DE LA LLAVE, RAFAEL. A Framework for the Numerical Computation and A Posteriori Verification of Invariant Objects of Evolution Equations. SIAM JOURNAL ON APPLIED DYNAMICAL SYSTEMS, v. 16, n. 2, p. 1070-1088, 2017. (16/08704-5, 13/50382-7, 10/00875-9, 13/07460-7)

GAMEIRO, MARCIO; HIRAOKA, YASUAKI; IZUMI, SHUNSUKE; KRAMAR, MIROSLAV; MISCHAIKOW, KONSTANTIN; NANDA, VIDIT. A topological measurement of protein compressibility. JAPAN JOURNAL OF INDUSTRIAL AND APPLIED MATHEMATICS, v. 32, n. 1, p. 1-17, MAR 2015. (10/00875-9, 13/07460-7)

GAMEIRO, MARCIO; LESSARD, JEAN-PHILIPPE; RICAUD, YANN. Rigorous numerics for piecewise-smooth systems: A functional analytic approach based on Chebyshev series. Journal of Computational and Applied Mathematics, v. 292, p. 654-673, JAN 15 2016. (13/50382-7, 10/00875-9, 13/07460-7)

MIYAJI, TOMOYUKI; PILARCZYK, PAWEL; GAMEIRO, MARCIO; KOKUBU, HIROSHI; MISCHAIKOW, KONSTANTIN. A study of rigorous ODE integrators for multi-scale set-oriented computations. APPLIED NUMERICAL MATHEMATICS, v. 107, p. 34-47, SEP 2016. (10/00875-9, 13/07460-7)

RODRIGUES, HILDEBRANDO M.; CARABALLO, TOMAS; GAMEIRO, MARCIO. DYNAMICS OF A CLASS OF ODES VIA WAVELETS. COMMUNICATIONS ON PURE AND APPLIED ANALYSIS, v. 16, n. 6, p. 2337-2355, NOV 2017. (13/07460-7, 16/21032-6, 16/08704-5, 15/19165-5)