Related papers: Exact formulas for the proximal/regular/limiting n…
We solve the local equivalence problem for second order (smooth or analytic) ordinary differential equations. We do so by presenting a {\em complete convergent normal form} for this class of ODEs. The normal form is optimal in the sense…
We consider the second-order cone function (SOCF) $f: {\mathbb R}^n \to \mathbb R$ defined by $f(x)= c^T x + d -\|A x + b \|$. Every SOCF is concave. We give necessary and sufficient conditions for strict concavity of $f$. The parameters $A…
We show that the conditions imposed on a second order linear differential equation with rational coefficients on the complex line by requiring it to have regular singularities with fixed exponents at the points of a finite set $P$ and…
We establish a regularity theorem for second-order elliptic PDEs on $\mathbb{R}^{d}$ in spectral Barron spaces. Under mild ellipticity and smallness assumptions, the solution gains two additional orders of Barron regularity. As a corollary,…
The second-order cone is a class of simple convex cones and optimizing over them can be done more efficiently than with semidefinite programming. It is interesting both in theory and in practice to investigate which convex cones admit a…
The constant rank constraint qualification, introduced by Janin in 1984 for nonlinear programming, has been extensively used for sensitivity analysis, global convergence of first- and second-order algorithms, and for computing the…
This paper focuses on regularisation methods using models up to the third order to search for up to second-order critical points of a finite-sum minimisation problem. The variant presented belongs to the framework of [3]: it employs random…
This paper is devoted to the study of second order optimality conditions for strong local minimizers in the frameworks of unconstrained and constrained optimization problems in finite dimensions via subgradient graphical derivative. We…
Let the design of an experiment be represented by an $s$-dimensional vector $\mathbf {w}$ of weights with nonnegative components. Let the quality of $\mathbf {w}$ for the estimation of the parameters of the statistical model be measured by…
Exactly solving first-order constraints (i.e., first-order formulas over a certain predefined structure) can be a very hard, or even undecidable problem. In continuous structures like the real numbers it is promising to compute approximate…
We prove an uniform boundedness principle for the Lipschitz seminorm of continuous, monotone, positively homogeneous and subadditive mappings on suitable cones of functions. The result is applicable to several classes of classically…
Lie's linearizability criteria for scalar second-order ordinary differential equations had been extended to systems of second-order ordinary differential equations by using geometric methods. These methods not only yield the linearizing…
New 2-norm bounds for solutions of planar div-curl boundary value problems on bounded planar regions are described. Prescribed flux, tangential trace and mixed boundary boundary are treated. A harmonic decomposition is used to separate…
A new, second-order solution in curvilinear coordinates is introduced for the relative motion of two spacecraft on eccentric orbits. The second-order equations for unperturbed orbits are derived in spherical coordinates with true anomaly as…
The paper is devoted to the study of the twice epi-differentiablity of extended-real-valued functions, with an emphasis on functions satisfying a certain composite representation. This will be conducted under the parabolic regularity, a…
This paper presents rigorous forward error bounds for linear conic optimization problems. The error bounds are formulated in a quite general framework; the underlying vector spaces are not required to be finite-dimensional, and the convex…
The generalized binary sequences of order 2 have been used to construct good binary cyclic codes [4]. The linear complexity of these sequences has been computed in [2]. The autocorrelation values of such sequences have been determined in…
Using some adaptations of the adjacency decomposition method \cite{CR} and the program {\it cdd} (~\cite{Fu}), we compute the first computationally difficult cases of convex cones of $m$-ary and oriented analogs of semi-metrics and cut…
Novel sequences of approximants to solutions of Painlev\'e II on finite intervals of the real line, with Neumann boundary conditions, are constructed. Numerical experiments strongly suggest convergence of these sequences in a surprisingly…
Solutions to $p$-Laplace equations are not, in general, of class $C^2$. The study of Sobolev regularity of the second derivatives is, therefore, a crucial issue. An important contribution by Cianchi and Maz'ya shows that, if the source term…