English
Related papers

Related papers: Solutions of definable ODEs with regular separatio…

200 papers

In the Hedge Cut problem, the edges of a graph are partitioned into groups called hedges, and the question is what is the minimum number of hedges to delete to disconnect the graph. Ghaffari, Karger, and Panigrahi [SODA 2017] showed that…

Data Structures and Algorithms · Computer Science 2024-10-24 Fedor V. Fomin , Petr A. Golovach , Tuukka Korhonen , Daniel Lokshtanov , Saket Saurabh

For the ordinary differential equation (ODE) $\dot{x}(t) = f(t,x)$, $x(0) = x_0$, $t\geq 0$, $x\in R^d$, assume $f$ to be at least continuous in $t$ and locally Lipshitz in $x$, and if necessary, several times continuously differentiable in…

Dynamical Systems · Mathematics 2007-05-23 Divakar Viswanath

Reaction-diffusion equations coupled to ordinary differential equations (ODEs) may exhibit spatially low-regular stationary solutions. This work provides a comprehensive theory of asymptotic stability of bounded, discontinuous or…

Analysis of PDEs · Mathematics 2023-05-18 Chris Kowall , Anna Marciniak-Czochra , Finn Münnich

The elimination distance to some target graph property P is a general graph modification parameter introduced by Bulian and Dawar. We initiate the study of elimination distances to graph properties expressible in first-order logic. We…

Logic in Computer Science · Computer Science 2021-04-08 Fedor V. Fomin , Petr A. Golovach , Dimitrios M. Thilikos

Ordinary differential operators with periodic coefficients analytic in a strip act on a Hardy-Hilbert space of analytic functions with inner product defined by integration over a period on the boundary of the strip. Simple examples show…

Classical Analysis and ODEs · Mathematics 2017-08-14 Robert Carlson

A fundamental question in computer science is: Is it harder to solve $n$ instances independently than to solve them simultaneously? This question, known as the direct sum question or direct sum theorem, has been paid much attention in…

Computational Complexity · Computer Science 2025-01-16 Daiki Suruga

This work presents a unified framework for the unsupervised prediction of physically plausible interpolations between two 3D articulated shapes and the automatic estimation of dense correspondence between them. Interpolation is modelled as…

Computer Vision and Pattern Recognition · Computer Science 2025-04-11 Adam Hartshorne , Allen Paul , Tony Shardlow , Neill D. F. Campbell

In this article, we study and settle several structural questions concerning the exact solvability of the Olshanetsky-Perelomov quantum Hamiltonians corresponding to an arbitrary root system. We show that these operators can be written as…

solv-int · Physics 2015-06-26 N. Kamran , R. Milson

We consider the Dirichlet Laplacian in unbounded strips on ruled surfaces in any space dimension. We locate the essential spectrum under the condition that the strip is asymptotically flat. If the Gauss curvature of the strip equals zero,…

Mathematical Physics · Physics 2022-08-22 David Krejcirik , Katerina Zahradova

We establish elliptic regularity for nonlinear inhomogeneous Cauchy-Riemann equations under minimal assumptions, and give a counterexample in a borderline case. In some cases where the inhomogeneous term has a separable factorization, the…

Complex Variables · Mathematics 2015-10-05 Adam Coffman , Yifei Pan , Yuan Zhang

We study a new formulation for the eikonal equation |grad u| =1 on a bounded subset of R^2. Instead of a vector field grad u, we consider a field P of orthogonal projections on 1-dimensional subspaces, with div P in L^2. We prove existence…

Analysis of PDEs · Mathematics 2008-11-25 Mark A. Peletier , Marco Veneroni

The solution of systems of non-autonomous linear ordinary differential equations is crucial in a variety of applications, such us nuclear magnetic resonance spectroscopy. A new method with spectral accuracy has been recently introduced in…

Numerical Analysis · Mathematics 2022-10-14 Stefano Pozza , Niel Van Buggenhout

This work analyzes the sensitivities of the solution of a system of ordinary differential equations (ODEs) and a corresponding quantity of interest (QoI) to perturbations in a state-dependent component function that appears in the governing…

Optimization and Control · Mathematics 2025-10-13 Jonathan R. Cangelosi , Matthias Heinkenschloss

Differentially algebraic Hardy field extensions of short Hardy fields are short. This is proved in the more general setting of $H$-fields. As an application we extend a theorem of Rosenlicht (1981) by showing that each short asymptotic…

Logic · Mathematics 2025-08-11 Matthias Aschenbrenner , Lou van den Dries

We provide fundamental properties of the first eigenpair for fractional $p$-Laplacian eigenvalue problems under singular weights, which is related to Hardy type inequality, and also show that the second eigenvalue is well-defined. We obtain…

Analysis of PDEs · Mathematics 2018-09-20 Ky Ho , Inbo Sim

By a new orthogonal direct sum decomposition $E_{M} = Y \oplus Z$, which $Z$ is related to $\Delta u_i(i=1,2,3,....,M)$, and a new functional $I(u)$, the method in [2] is improved to obtain new multiple periodic solutions with negativity…

Analysis of PDEs · Mathematics 2025-07-21 Liang Ding , Jinlong Wei

In this work, merging ideas from compatible discretisations and polyhedral methods, we construct novel fully discrete polynomial de Rham sequences of arbitrary degree on polygons and polyhedra. The spaces and operators that appear in these…

Numerical Analysis · Mathematics 2021-05-18 Daniele A. Di Pietro , Jérôme Droniou , Francesca Rapetti

An application of the equation proposed by the present authors, which is equivalent to the static field equation of the Faddeev model, is discussed. Under some assumptions on the space and on the form of the solution, the field equation is…

Mathematical Physics · Physics 2015-06-05 Chang-Guang Shi , Minoru Hirayama

We introduce DDE-Solver, a Maple package designed for solving Discrete Differential Equations (DDEs). These equations are functional equations relating algebraically a formal power series F(t, u) with polynomial coefficients in a…

Combinatorics · Mathematics 2025-09-11 Hadrien Notarantonio

Classical neural ODEs trained with explicit methods are intrinsically limited by stability, crippling their efficiency and robustness for stiff learning problems that are common in graph learning and scientific machine learning. We present…

Machine Learning · Computer Science 2024-12-17 Hong Zhang , Ying Liu , Romit Maulik