Local $C^r$-right equivalence of $C^{r+1}$ functions

TL;DR

This paper establishes conditions under which two $C^{r+1}$ functions are locally $C^r$-right equivalent via a $C^r$ diffeomorphism, based on bounds involving their derivatives and gradients.

Contribution

It provides a new sufficient condition involving derivative bounds for the local $C^r$-right equivalence of $C^{r+1}$ functions.

Findings

Provides a criterion for $C^r$-right equivalence based on derivative estimates.

Shows existence of a $C^r$ diffeomorphism under the given conditions.

Extends previous results on function equivalence in differential topology.

Abstract

Let $f,g:(\mathbb{R}^n,0)\rightarrow (\mathbb{R},0)$ be $C^{r+1}$ functions, $r\in \mathbb{N}$. We will show that if $\nabla f(0)=0$ and there exist a neigbourhood $U$ of $0\in \mathbb{R}^n$ and a constant $C>0$ such that $$ \left|\partial^m(g-f)(x)\right|\leq C \left|\nabla f(x)\right|^{r+2-|m|}, \quad x\in U, $$ for any $m\in \mathbb{N}_0^n$ such that $|m|\leq r$, then there exists a $C^r$ diffeomorphism $\varphi:(\mathbb{R}^n,0)\rightarrow (\mathbb{R}^n,0)$ such that $f=g\circ \varphi$ in a neighbourhood of $0$.