Skip to main content
2 of 3
added 39 characters in body
user35593
  • 2.3k
  • 12
  • 19

Lipschitz continuity of a composition operator

Let $P\colon U\subset \mathbb{R}^K\rightarrow \mathbb{R}^K$ be $C^\infty$, $\Omega \subset \mathbb{R}^d$ open and bounded, $m \in \mathbb{N}$, $p\in [1,\infty]$ such that $m>\frac{d}{p}$, $f \in W^{m,p}(\Omega,U)$ with $P(f)=f$, $\epsilon>0$ and $l\leq m$. I want to prove that there exist $h>0$ such that $$|P(g_1)-P(g_2)|_{W^{l,p}}\leq (1+\epsilon)|g_1-g_2|_{W^{l,p}}$$ for all functions $g_1,g_2 \in W^{m,p}(\Omega,U)$ with $|g_1-f|_{W^{m,p}}\leq h$ and $|g_2-f|_{W^{m,p}}\leq h$. In my application $P=P_M\colon U \rightarrow M$ is the shortest point projection onto a compact submanifold $M \subset \mathbb{R}^K$. I could find similar results, but not the one I need, in section 5.2.2 of

Sobolev Spaces of Fractional Order, Nemytskij Operators, and Nonlinear Partial Differential Equation by Thomas Runst and Winfried Sickel

My goal is to extend error estimates for an operator $Q$ to error estimates of the operator $P_M \circ Q$ for functions with values in $M$.

user35593
  • 2.3k
  • 12
  • 19