BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Piotr Zgliczyński contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We provide a computer-assisted proof of the exact count of classes of central configurations for five bodies for several sets of mass values that are exceptional from the point of view of the finiteness results of Albouy and Kaloshin in the planar case and of Hampton and Jensen in the spatial case.
We study the problem of planar central configurations with $N$ heavy bodies and $k$ bodies with arbitrary small masses. We derive the equation which describe the limit of light masses going to zero, which can be seen as the equation for central configurations in the anisotropic plane. Using computer rigorous computations we compute all central configurations for $N=2$ and $k=3,4$ and for the derived limit problem. We show that the results are consistent.
In this article we present recent advances on interval methods for rigorous computation of Poincaré maps. We also discuss the impact of choice of Poincaré section and coordinate system on obtained bounds for computing Poincaré map nearby fixed points.
The FitzHugh-Nagumo model describing propagation of nerve impulses in axon is given by fast-slow reaction-diffusion equations, with dependence on a parameter $ε$ representing the ratio of time scales. It is well known that for all sufficiently small $ε>0$ the system possesses a periodic traveling wave. With aid of computer-assisted rigorous computations, we prove the existence of this periodic orbit in the traveling wave equation for an explicit range $ε\in (0, 0.0015]$. Our approach is based on a novel method of combination of topological techniques of covering relations and isolating segments, for which we provide a self-contained theory. We show that the range of existence is wide enough, so the upper bound can be reached by standard validated continuation procedures. In particular, for the range $ε\in [1.5 \times 10^{-4}, 0.0015]$ we perform a rigorous continuation based on covering relations and not specifically tailored to the fast-slow setting. Moreover, we confirm that for $ε=0.0015$ the classical interval Newton-Moore method applied to a sequence of Poincaré maps already succeeds. Techniques described in this paper can be adapted to other fast-slow systems of similar structure.
For the Srzednicki-Wójcik equation, the planar nonautonomous ODE parameterized by $κ\in \mathbb{R}$, $$ z'=\overline{z}(1+ |z|^2 \exp(i κt)), \qquad z(t) \in \mathbb{C} $$ using averaging we show how the region of hyperbolicty grows with $|κ|$. Based on this we give bounds on the sizes of bounded orbits.
We consider the algorithm for verified integration of piecewise analytic functions given by Petras. The analysis of the algorithm contained in Patras' paper is limited to a narrow class of functions and gives upper bounds only. We present an estimation of the complexity (measured by a number of evaluations of an integrand) of the algorithm, both upper and lower bounds, for a wider class of functions. We show examples with complexity $Θ(|\ln\eps|/\eps^{p-1})$, for any $p >1$, where $\eps$ is the desired accuracy of the computed integral.
The paper studies the issue of stability of solutions to the Navier-Stokes and damped Euler systems in periodic boxes. We show that under action of fast oscillating-in- time external forces all two dimensional regular solutions converge to a time periodic flow. Unexpectedly, effects of stabilization can be also obtained for systems with stationary forces with large total momentum (average of the velocity). Thanks to the Galilean transformation and space boundary conditions, the stationary force changes into one with time oscillations. In the three dimensional case we show an analogical result for weak solutions to the Navier- Stokes equations.
We present a new proof of the existence of normally hyperbolic manifolds and their whiskers for maps. Our result is not perturbative. Based on the bounds on the map and its derivative, we establish the existence of the manifold within a given neighbourhood. Our proof follows from a graph transform type method and is performed in the state space of the system. We do not require the map to be invertible. From our method follows also the smoothness of the established manifolds, which depends on the smoothness of the map, as well as rate conditions, which follow from bounds on the derivative of the map. Our method is tailor made for rigorous, interval arithmetic based, computer assisted validation of the needed assumptions.
We give an improved lower bound for the error of any quadrature computing $\int_{-1}^1 f(x) dα(x)$ of analytic functions bounded in the neighborhood of $[-1,1]$.
We present a method of cones for rigorous estimations of eigenvectors, eigenspaces and eigenvalues of a matrix. The key notion is the cone-domination and is inspired by ideas from hyperbolic dynamical systems. We present theorems which allow to rigorously locate the spectrum of the matrix and the eigenspaces, also multidimensional ones in case of eigenvalues of multiplicity greater than one or clusters of close eigenvalues. In case of isolated eigenvalue we show that the our method give the same or better estimates than ones known in literature.
We consider the Boussinesq PDE perturbed by a time-dependent forcing. Even though there is no smoothing effect for arbitrary smooth initial data, we are able to apply the method of self-consistent bounds to deduce the existence of smooth classical periodic solutions in the vicinity of 0. The proof is non-perturbative and relies on construction of periodic isolating segments in the Galerkin projections.
We describe a topological method to study the dynamics of dissipative PDEs on a torus with rapidly oscillating forcing terms. We show that a dissipative PDE, which is invariant with respect to Galilean transformations, with a large average initial velocity can be reduced to a problem with rapidly oscillating forcing terms. We apply the technique to the Burgers equation, and the incompressible 2D Navier-Stokes equations with a time-dependent forcing. We prove that for a large initial average speed the equation admits a bounded eternal solution, which attracts all other solutions forward in time. For the incompressible 3D Navier-Stokes equations we establish existence of a locally attracting solution.
We prove the existence of globally attracting solutions of the viscous Burgers equation with periodic boundary conditions on the line for some particular choices of viscosity and non-autonomous forcing. The attract- ing solution is periodic if the forcing is periodic. The method is general and can be applied to other similar partial differential equations. The proof is computer assisted.