Related papers: Holonomic approximation through convex integration

One of the purposes in this paper is to provide a better understanding of the alternance property which occurs in Chebyshev polynomial approximation and piecewise polynomial approximation problems. In the first part of this paper, we…

The conception of C- and H-representations of any holomorphic function is further extended to the notions, definitions, lemmas and theorems of the complex integration. On this basis and the introduced notion of a H-plane, generalising the…

We obtain variants of the classical Minkowski Theorem on inhomogeneous approximation where we require moreover that the solutions $p, q$ be coprime integers. We link the subject with density exponents of lattice orbits in the real plane.

It is known from the Runge approximation theorem that every function which is holomorphic in a neighborhood of a compact polynomially convex set $K\subset \complexes^{n}$ can be approximated uniformly on $K$ by analytic polynomials. We…

This note discusses proofs for convergence of first-order methods based on simple potential-function arguments. We cover methods like gradient descent (for both smooth and non-smooth settings), mirror descent, and some accelerated variants.

We develop a topological approach to prove the generalized Lax conjecture using the fact that determinants of sufficiently big symmetric linear pencils are able to express the rigidly convex sets of RZ polynomials of any degree $d$.…

We discuss an extension of the Hamilton-Jacobi theory to nonholonomic mechanics with a particular interest in its application to exactly integrating the equations of motion. We give an intrinsic proof of a nonholonomic analogue of the…

In the present paper we introduce the notion of harmonicity modulus and harmonicity K-functional and apply these notions to prove a Jackson type theorem for approximation of continuous functions by polyharmonic functions. For corresponding…

In this work, a method for solving the constraints of general relativity is presented, where first all geometrical objects are written in terms of a set of orthonormal triads and a flat Weitzenbock connection, which depends on the triads…

We develop a holonomy reduction procedure for general Cartan geometries. We show that, given a reduction of holonomy, the underlying manifold naturally decomposes into a disjoint union of initial submanifolds. Each such submanifold…

We consider a class of nonconvex nonsmooth optimization problems whose objective is the sum of a smooth function and a finite number of nonnegative proper closed possibly nonsmooth functions (whose proximal mappings are easy to compute),…

A nonholonomic system is a mechanical system with velocity constraints not originating from position constraints; rolling without slipping is the typical example. A nonholonomic integrator is a numerical method specifically designed for…

First we express the holonomy along a boundary curve as the integral on the domain, of an expression which is linear in the curvature. Then we provide a rigorous justification of the definition of curvature in Regge calculus.

The purpose of this article is to study the convergence of a low order finite element approximation for a natural convection problem. We prove that the discretization based on P1 polynomials for every variable (velocity, pressure and…

This paper is about the integrability of complex vector fields in dimension three in a neighborhood of a singular point. More precisely, we study the existence of holomorphic first integrals for isolated singularities of holomorphic vector…

In this paper, we revisit the old problem of compact finite difference approximations of the homogeneous Dirichlet problem in dimension 1. We design a large and natural set of schemes of arbitrary high order, and we equip this set with an…

We consider countable linear orders and study the quasi-order of convex embeddability and its induced equivalence relation. We obtain both combinatorial and descriptive set-theoretic results, and further extend our research to the case of…

Polynomial approximations of functions are widely used in scientific computing. In certain applications, it is often desired to require the polynomial approximation to be non-negative (resp. non-positive), or bounded within a given range,…

In this paper, we aim to provide a notion of "relative objects", i.e. objects equipped with some sort of subobjects, in differential topology. In spite of active researches relating them, e.g. knot theory or the theory of manifolds with…

We present automated theorem provers for the first-order logic of here and there (HT). They are based on a native sequent calculus for the logic of HT and an axiomatic embedding of the logic of HT into intuitionistic logic. The analytic…