Abstract:We investigate the consequence of two Lip$(\gamma)$ functions, in the sense of Stein, being close throughout a subset of their domain. A particular consequence of our results is the following. Given $K_0 > \varepsilon > 0$ and $\gamma > \eta > 0$ there is a constant $\delta = \delta(\gamma,\eta,\varepsilon,K_0) > 0$ for which the following is true. Let $\Sigma \subset \mathbb{R}^d$ be closed and $f , h : \Sigma \to \mathbb{R}$ be Lip$(\gamma)$ functions whose Lip$(\gamma)$ norms are both bounded above by $K_0$. Suppose $B \subset \Sigma$ is closed and that $f$ and $h$ coincide throughout $B$. Then over the set of points in $\Sigma$ whose distance to $B$ is at most $\delta$ we have that the Lip$(\eta)$ norm of the difference $f-h$ is bounded above by $\varepsilon$. More generally, we establish that this phenomenon remains valid in a less restrictive Banach space setting under the weaker hypothesis that the two Lip$(\gamma)$ functions $f$ and $h$ are only close in a pointwise sense throughout the closed subset $B$. We require only that the subset $\Sigma$ be closed; in particular, the case that $\Sigma$ is finite is covered by our results. The restriction that $\eta < \gamma$ is sharp in the sense that our result is false for $\eta := \gamma$.

Multi-$\mathcal{K}$-Lipschitz equivalence in dimension two

Lipschitz contact equivalence of function germs in $\mathbb{R}^2$

Equivalence relations for two variable real analytic function germs

Lipschitz Equivalence of Cantor Sets and Irreducibility of Polynomials

Higher Order Lipschitz Sandwich Theorems

Duality and distance formulas in Lipschitz-Hölder spaces

Rigidity of bi-Lipschitz equivalence of weighted homogeneous function-germs in the plane

Gap sequence, Lipschitz equivalence and box dimension

Multipliers and equivalence of functions, spaces, and operators

Blow-Analytic Equivalence versus contact-bi-Lipschitz Equivalence

Outer Lipschitz Classification of Normal Pairs of Hölder Triangles

Lipschitz Functions on Unions and Quotients of Metric Spaces

Multi-linear forms, structure of graphs and Lebesgue spaces

Multiplicativity of linear functionals on function spaces on an open disc

Log-Lipschitz and Hölder regularity imply smoothness for complex analytic sets

On the Lipschitz equivalence of self-affine sets

Degrees of maps and multiscale geometry

Classification of Lipschitz simple function germs

Compact convergence, deformation of the $L^2$-$\overline{\partial}$-complex and canonical $K$-homology classes

Fragment-wise differentiable structures

Dimension estimate and existence of holomorphic sections with polynomial growth on gradient Kähler Ricci shrinkers