Related papers: Derivatives of flat functions

This is the first in a series of three papers dealing with sums of squares and hypoellipticity in the infinite regime. We give a sharp sufficient condition on a smooth nonnegative function f on n-dimensional Euclidean space so that it can…

Fix positive reals $a,b,c,d$, and let $h(x)$ be a real function behaving sort of like $\sin x$ near 0. Then, provided $m$ grows linearly with $n$. there exists a positive constant $C$ such that$$…

We prove that every function $f:\mathbb{R}^n\to \mathbb{R}$ satisfies that the image of the set of critical points at which the function $f$ has Taylor expansions of order $n-1$ and non-empty subdifferentials of order $n$ is a Lebesgue-null…

In this short note we prove the following result: If a completely multiplicative function $f:\mathbb{N}\to[-1,1]$ is small on average in the sense that $\sum_{n\leq x}f(n)\ll x^{1-\delta}$, for some $\delta>0$, and if the Dirichlet series…

We consider the problem of decomposing a regular non-negative function as a sum of squares of functions which preserve some form of regularity. In the same way as decomposing non-negative polynomials as sum of squares of polynomials allows…

We classify smooth surfaces whose higher cohomologies of i-forms for all i vanish. We show that if such a surface is not affine, then it has essentially two possibilities.

Every real Bank-Laine function of finite order, whose zeros are all real but neither bounded above nor bounded below, either has an explicit representation in terms of trigonometric functions or has zeros with exponent of convergence at…

This article shows a very elementary and straightforward proof of the Implicit Function Theorem for differentiable maps $F(x,y)$ defined on a finite-dimensional Euclidean space. There are no hypothesis on the continuity of the partial…

Let $D$ be the open unit disc in the complex plane. We denote by $\mathbb{C}$ the set of complex numbers and consider any compact set $K$ which is disjoint from $D$ and which also has connected complement. Let $A(K)$ denote all the…

We present a new smoothness result for Caputo-type fractional ordinary differential equations, which reveals that, subtracting a non-smooth function that can be obtained by the information available, a non-smooth solution belongs to $ C^m $…

If there is a topologically locally constant family of smooth algebraic varieties together with an admissible normal function on the total space, then the latter is constant on any fiber if this holds on some fiber. Combined with spreading…

The purpose of this paper is to introduce the notion of a generalized derivation which derivates a prescribed family of smooth vector-valued functions of several variables. The basic calculus rules are established and then a result derived…

We show that for any smooth Hausdorff manifolds M and N, which are not necessarily second countable, paracompact or connected, any isomorphism from the algebra of smooth (real or complex) functions on N to the algebra of smooth functions on…

We study the series $\sum_{n=0}^{\infty}\frac{(-1)^n}{n!}t^nf^{(n)}(t)$. We show that for analytic functions this series is uniformly and absolutely convergent to the constant $f(0)$. We show that there are nowhere analytic functions for…

In this short note we prove that, if (C[a,b],{A_n}) is an approximation scheme and (A_n) satisfies de La Vall\'ee-Poussin Theorem, there are instances of continuous functions on [a,b], real analytic on (a,b], which are poorly approximable…

The series $\theta (q,x):=\sum _{j=0}^{\infty}q^{j(j+1)/2}x^j$ converges for $|q|<1$ and defines a {\em partial theta function}. For any fixed $q\in (0,1)$ it has infinitely many negative zeros. It is known that for $q$ taking one of the…

Let $\big(M,g^{TM}\big)$ be a noncompact complete spin Riemannian manifold of even dimension $n$, with $k^{TM}$ denote the associated scalar curvature. Let $f\colon M\rightarrow S^{n}(1)$ be a smooth area decreasing map, which is locally…

It is well known that for every $f\in C^m$ there exists a polynomial $p_n$ such that $p^{(k)}_n\rightarrow f^{(k)}$, $k=0,\ldots,m$. Here we prove such a result for fractional (non-integer) derivatives. Moreover, a numerical method is…

Let $f: B^n \rightarrow {\mathbb R}$ be a $d+1$ times continuously differentiable function on the unit ball $B^n$, with $\max_{z\in B^n} \| f(z) \|=1$. A well-known fact is that if $f$ vanishes on a set $Z\subset B^n$ with a non-empty…

Let $f\colon\mathbb{N}\rightarrow\mathbb{N}_0$ be a multiplicative arithmetic function such that for all primes $p$ and positive integers $\alpha$, $f(p^{\alpha})<p^{\alpha}$ and $f(p)\vert f(p^{\alpha})$. Suppose also that any prime that…