Related papers: Solutions of definable ODEs with regular separatio…
This work establishes a rigorous connection between stability properties of discrete-time algorithms (DTAs) and corresponding continuous-time dynamical systems derived through $ O(s^r) $-resolution ordinary differential equations (ODEs). We…
Let $\mathrm{R}$ be a real closed field. We prove that for any fixed $d$, the equivariant rational cohomology groups of closed symmetric semi-algebraic subsets of $\mathrm{R}^k$ defined by polynomials of degrees bounded by $d$ vanishes in…
We consider Hamiltonian PDEs that can be split into a linear unbounded operator and a regular non linear part. We consider abstract splitting methods associated with this decomposition where no discretization in space is made. We prove a…
Smooth vector fields on $\mathbb{R}^n$ can be decomposed into the sum of a gradient vector field and divergence-free (solenoidal) vector field under suitable hypotheses. This is called the Helmholtz-Hodge decomposition (HHD), which has been…
We initiate an investigation of structures on the set of real numbers having the property that path components of definable sets are definable. All o\nobreakdash-\hspace{0pt}minimal structures on $(\mathbb{R},<)$ have the property, as do…
We study a generalization of the Erd\H{o}s-Falconer distance problem over finite fields. For a graph $G$, two embeddings $p, p': V(G) \to \mathbb{F}_q^d$ of a graph $G$ are congruent if for all edges $(v_i, v_j)$ of $G$ we have that…
In this thesis, we study problems at the interface of analysis and discrete mathematics. We discuss analogues of well known Hardy-type inequalities and Rearrangement inequalities on the lattice graphs $\mathbb{Z}^d$, with a particular focus…
These notes focus on the Lipschitz geometry of sets that are definable in o-minimal structures (expanding the real field). We show that every set which is definable in a polynomially bounded o-minimal structure admits a stratification which…
Let M be an N-function satisfying the $\Delta_2$- condition, let $\omega, \vp$ be two other functions, $\omega\ge 0$. We study Hardy-type inequalities \[ \int_{\rp} M(\omega (x)|u(x)|) {\rm exp}(-\vp (x))dx \le C\int_{\rp} M(|u'(x)|) {\rm…
There exists a huge number of numerical methods that iteratively construct approximations to the solution $y(x)$ of an ordinary differential equation (ODE) $y'(x)=f(x,y)$ starting from an initial value $y_0=y(x_0)$ and using a finite…
We elaborate on the interpretation of some mixed finite element spaces in terms of differential forms. First we develop a framework in which we show how tools from algebraic topology can be applied to the study of their cohomological…
We prove that the theory of the Farey graph is pseudofinite by constructing a sequence of finite structures that satisfy increasingly large subsets of its first-order axiomatization. This graph is an important object in the study of curve…
In the 80's M. Cornalba and J. Harris discovered a relation among the Hodge class and the boundary classes in the Picard group with rational coefficients of the moduli space of stable, hyperelliptic curves. They proved the relation by…
We compare and discuss the respective efficiency of three methods (with two variants for each of them), based respectively on Taylor (Maclaurin) series, Pad\'{e} approximants and conformal mappings, for solving quasi-analytically a…
We give negative answers to two questions of Bergelson, Moreira, and Richter concerning recurrence along functions from a Hardy field. For the pair \(f_1(t)=t^{3/2}\) and \(f_2(t)=\lambda t^{3/2}+t\), where \(\lambda\in\mathbb…
We review second-order homogeneous linear differential equations with coefficient functions whose germs lie in a Hardy field (and hence are strongly non-oscillating). We prove a conjecture of Boshernitzan (1982): the oscillating solutions…
We show that any second order linear ordinary diffrential equation with constant coefficients (including the damped and undumped harmonic oscillator equation) admits an exact discretization, i.e., there exists a difference equation whose…
We consider the ordinary differential equation (ODE) $dx_{t} =b(t,x_{t} ) dt+ dw_{t}$ where $w$ is a continuous driving function and $b$ is a time-dependent vector field which possibly is only a distribution in the space variable. We…
This paper is on further development of discrete complex analysis introduced by R. Isaacs, J. Ferrand, R. Duffin, and C. Mercat. We consider a graph lying in the complex plane and having quadrilateral faces. A function on the vertices is…
We apply the Cartan equivalence method to the study of real analytic second order ODEs under the local real analytic diffeomorphism of $\C^2$ which are area-preserving. This enables us to give a characterization of the second order ODEs…