Related papers: Solution manifolds of differential systems with di…
The present paper studies local distributed graph problems in highly dynamic networks. Communication and changes of the graph happen in synchronous rounds and our algorithms always, i.e., in every round, satisfy non-trivial guarantees, no…
It is well known that, contrary to the autonomous case, the stability/instability of solutions of nonautonomous linear ordinary differential equations $x' = A(t) x$ is in no relation to the sign of the real parts of the eigenvalues of…
A simply connected topological space X has homotopy Lie algebra $\pi_*(\Omega X) \tensor \Q$. Following Quillen, there is a connected differential graded free Lie algebra (dgL) called a Lie model, which determines the rational homotopy type…
In this paper, we expand the foundations of derived complex analytic geometry introduced in [DAG-IX] by J. Lurie. We start by studying the analytification functor and its properties. In particular, we prove that for a derived complex scheme…
We provide a complete geometric solution to the problem of differentiating simplicial manifolds, extending classical Lie theory and complementing existing homotopical and formal approaches within a unifying framework. First, we establish a…
In this paper, we consider a biharmonic equation with respect to the Dirichlet problem on a domain of a locally finite graph. Using the variation method, we prove that the equation has two distinct solutions under certain conditions.
A categorical theory for the discretization of a large class of dynamical systems with variable coefficients is proposed. It is based on the existence of covariant functors between the Rota category of Galois differential algebras and…
Some interesting (periodic!) solutions of certain systems of $4$ nonlinear Ordinary Differential Equations $dx_{n}\left( t\right) /dt=P_{2}^{\left( n\right) }\left[ x_{m}\left( t\right) \right] /\left[ x_{1}\left( t\right) +x_{2}\left(…
We address in this paper the approximation problem of distributed delays. Such elements are convolution operators with kernel having bounded support, and appear in the control of time-delay systems. From the rich literature on this topic,…
Derived geometry provides powerful tools to handle non-transverse intersections and singular moduli problems arising in geometry and theoretical physics. While derived algebraic geometry has been extensively developed, classical field…
We survey the state of the art on the algorithmic analysis of discrete linear dynamical systems, focussing in particular on reachability, model-checking, and invariant-generation questions, both unconditionally as well as relative to…
In this paper, we prove that sufficiently regular solutions of any quasilinear PDE can be approximated by solutions of systems of N distinguishable particles, to within 1/ ln(N ). This intruiguing result is related to recent developments in…
This work studies the dynamics of solutions to the sine-Gordon equation posed on a tadpole graph $G$ and endowed with boundary conditions at the vertex of $\delta$-type. The latter generalize conditions of Neumann-Kirchhoff type. The…
This chapter presents a dynamical systems point of view of the study of systems with delays. The focus is on how advanced tools from bifurcation theory, as implemented for example in the package DDE-BIFTOOL, can be applied to the study of…
A non-perturbative approach to the time-averaging of nonlinear, autonomous ODE systems is developed based on invariant manifold methodology. The method is implemented computationally and applied to model problems arising in the mechanics of…
Discrete Lagrangian Systems on graphs are considered. Vector-valued closed differential 2-form on the space of solutions is constructed. This form takes values in the first homology group of the graph. This construction generalizes the…
We study some classes of semi-linear differential equations including both well-posed and ill-posed cases that can generate cocycles (or cocycle correspondences with generating cocycles). Under exponential dichotomy condition with other…
A dynamical system of points moving along the edges of a graph could be considered as a geometrical discrete dynamical system or as a discrete version of a quantum graph with localized wave packets. We study the set of such systems over…
We consider pointwise linear elliptic equations of the form $\mathrm{L}_x u_x = \eta_x$ on a smooth compact manifold where the operators $\mathrm{L}_x$ are in divergence form with real, bounded, measurable coefficients that vary in the…
It is shown how a system of evolution equations can be developed both from the structure equations of a submanifold embedded in three-space as well as from a matrix SO(6) Lax pair. The two systems obtained this way correspond exactly when a…