1
$\begingroup$

Let $\bar x \in \mathbb R$. Is there a cut-off function such that $\phi_\epsilon \in C^\infty(\mathbb R)$, $0 \le \phi \le 1$, and $$\phi_\epsilon(x) = \begin{cases} 1 &\text{ if } |x - \bar x| \ge \epsilon\\\ 0 &\text{ if }|x-\bar x|\le \epsilon/2 \end{cases} $$ and $\phi' \le c_\epsilon \phi$?

$\endgroup$
0

2 Answers 2

0
$\begingroup$

The answer is no.

Indeed, let $f:=\phi=\phi_\epsilon$. Let $a:=\sup\{x\colon f(x)=0\}$. Then $a$ is real, $f(a)=0$ and $f>0$ on the interval $(a,\infty)$. Without loss of generality, $a=0$, so that $f(0)=0$ and $f>0$ on the interval $(0,\infty)$.

Suppose now that for some real $c>0$ we have $f'\le cf$. Then $(\ln f)'\le c$ on $(0,\infty)$, whence $\ln f(1)-\ln f(0+)\le c$, that is, $0=f(0+)\ge f(1)e^{-c}>0$, a contradiction. $\quad\Box$

$\endgroup$
1
$\begingroup$

Under the described hypotheses, the function $f: x \in \mathbf{R} \mapsto e^{-cx} \phi(x)$ would be decreasing, because $f'(x) = e^{-cx} (-c \phi(x) + \phi'(x)) \leq 0$ for all $x \in \mathbf{R}$. As $f(0) = 0$ and $f \geq 0$, one would have $f(x) = 0$ for all $x \geq 0$. For this reason a cutoff function cannot have $\phi' \leq c \phi$.

Here for simplicity, we let $\overline{x} = 0$, $\epsilon = 1$, and wrote $c = c_{\epsilon}$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.