Related papers: Roots, trace, and extendability of flat nonnegativ…

We consider classes $ \mathcal{A}_M(S) $ of functions holomorphic in an open plane sector $ S $ and belonging to a strongly non-quasianalytic class on the closure of $ S $. In $ \mathcal{A}_M(S) $, we construct functions which are flat at…

We consider two classes of piecewise expanding maps $T$ of $[0,1]$: a class of uniformly expanding maps for which the Perron-Frobenius operator has a spectral gap in the space of bounded variation functions, and a class of expanding maps…

We prove some extension theorems for quaternionic holomorphic functions in the sense of Fueter. Starting from the existence theorem for the nonhomogeneous Cauchy-Riemann-Fueter Problem, we prove that an $\mathbb{H}$-valued function $f$ on a…

We study distance functions from geodesics to points on Riemannian surfaces with H\"older continuous Gauss curvature, and prove a finiteness principle in the spirit of Whitney extension theory for such functions. Our result can be viewed as…

Whitney's extension problem asks the following: Given a compact set $E\subset\mathbb{R}^n$ and a function $f:E\to \mathbb{R}$, how can we tell whether there exists $F\in C^m(\mathbb{R}^n)$ such that $F=f$ on $E$? A 2006 theorem of Charles…

We establish the following result: if the graph of a (nonsmooth) real-extended-valued function $f:\mathbb{R}^{n}\to \mathbb{R}\cup\{+\infty\}$ is closed and admits a Whitney stratification, then the norm of the gradient of $f$ at…

We consider a global, nonlinear version of the Whitney extension problem for manifold-valued smooth functions on closed domains $C$, with non-smooth boundary, in possibly non-compact manifolds. Assuming $C$ is a submanifold with corners, or…

Let $(M,g^{TM})$ be a noncompact complete Riemannian manifold of dimension $n$, and let $F\subseteq TM$ be an integrable subbundle of $TM$. Let $g^F=g^{TM}|_{F}$ be the restricted metric on $F$ and let $k^F$ be the associated leafwise…

Consider the sub-Riemannian Heisenberg group $\mathbb{H}$. In this paper, we answer the following question: given a compact set $K \subseteq \mathbb{R}$ and a continuous map $f:K \to \mathbb{H}$, when is there a horizontal $C^m$ curve…

The Whitney near extension problem for finite sets in $\mathbb R^d,\, d\geq 2$ asks the following: Let $\phi:E\to \mathbb R^d$ be a near distortion on a finite set $E\subset \mathbb R^d$ with certain geometry. How to decide whether $\phi$…

Let's consider a control system described by the implicit equation $F(x,\dot x) = 0$. If this system is differentially flat, then the following criterion is satisfied : For some integer $r$, there exists a function $\varphi(y_0, y_1,…

We establish the H\"older continuity of bounded nonnegative weak solutions to \begin{align*} \big(\Phi^{-1}(w)\big)_t=\Delta w+\nabla\cdot\big(a(x,t)\Phi^{-1}(w)\big)+b\big(x,t,\Phi^{-1}(w)\big), \end{align*} with convex $\Phi\in…

It is known that first-order logic with some counting extensions can be efficiently evaluated on graph classes with bounded expansion, where depth-$r$ minors have constant density. More precisely, the formulas are $\exists x_1 ... x_k \#y…

Recent work showed that a theorem of Joris (that a function $f$ is smooth if two coprime powers of $f$ are smooth) is valid in a wide variety of ultradifferentiable classes $\mathcal C$. The core of the proof was essentially…

We study the problem of \emph{robust satisfiability} of systems of nonlinear equations, namely, whether for a given continuous function $f:\,K\to\mathbb{R}^n$ on a~finite simplicial complex $K$ and $\alpha>0$, it holds that each function…

We establish sufficient conditions for extension of weighted square integrable holomorphic functions from a possibly singular hypersurface to the ambient affine space. The norms we use are the so-called Bargmann-Fock norms, and thus there…

The purpose of this paper is to give a sufficient condition for (strong) stability of non-proper smooth functions (with respect to the Whitney $C^\infty$-topology). We show that a Morse function is stable if it is end-trivial at any point…

The quasi-Newton Broyden-Fletcher-Goldfarb-Shanno (BFGS) method has proven to be very reliable and efficient for the minimization of smooth objective functions since its inception in the 1960s. Recently, it was observed empirically that it…

We construct counterexamples to classical calculus facts such as the Inverse and Implicit Function Theorems in Scale Calculus -- a generalization of Multivariable Calculus to infinite dimensional vector spaces in which the…

We construct optimal flat functions in Carleman-Roumieu ultraholomorphic classes associated to general strongly nonquasianalytic weight sequences, and defined on sectors of suitably restricted opening. A general procedure is presented in…