- Tytuł:
- Computer Assisted Proofs in Dissipative Partial Differential Equations
- Autorzy:
- Cyranka, J.
- Powiązania:
- https://bibliotekanauki.pl/articles/115445.pdf
- Data publikacji:
- 2012
- Wydawca:
- Fundacja na Rzecz Młodych Naukowców
- Tematy:
-
rigorous numerics
Lohner algorithm
viscous Burgers equation
interval arithmetic
dissipative partial differential equations - Opis:
- The goal of this paper is to present a brief survey of our research that has focused on studying the dynamics of dissipative partial differential equations by performing computer as sisted proofs. We provide a description of the main ideas behind the computer assisted proofs that we have performed, along with related topics. The emphasis is given to the case of the vis cous Burgers equation with constant forcing, for which the existence of globally attracting fixed points has been established. To achieve this goal, we used a combination of analytical results with computer assistance.
- Źródło:
-
Challenges of Modern Technology; 2012, 3, 3; 3-6
2082-2863
2353-4419 - Pojawia się w:
- Challenges of Modern Technology
- Dostawca treści:
- Biblioteka Nauki
Artykuł