0
$\begingroup$

Let $f: R \rightarrow R$. Consider the following properties:

$(1)$ - There are positive constants $a$ and $r$ such that $\forall x, y$ $$|f(x)-f(y)|\leq a(1 + |x|^r+|y|^r)|x-y|.$$

$(2)$ - There is a positive constants $b$ such that $\forall x, y$ $$(f(x)-f(y))(x-y)\leq b(x-y)^2.$$

$(3)$ - $f(0)=0$, (or $f(0)$ is limited).

$(4)$ - There is a positive constant $c$ such that $$f(x)x \leq c(1 + x^2).$$

The questions are:

$(1) + (3) + (4) \Rightarrow (2)$ ????

or

There is $f$ that satisfies $(1) + (3) + (4)$ but, not satisfies $(2)$????

REMARK: Is easy to see that $(1) + (2) + (3)$ implies $(4)$, or only, $(2) + (3)$ implies $(4)$.

Improve this question
$\endgroup$
10
  • $\begingroup$ For $(1)$, When $x < y$, the right hand side is certainly negative, but the left hand side is non negative. Is there a typo? $\endgroup$
    – Kenneth Hung
    Aug 12, 2011 at 16:40
  • $\begingroup$ (1) can only hold for $a=0$ and $f$ constant. Did you mean to have $|x-y|$ on the right-hand side? Are there any other absolute values missing in (2) or (4)? And what does “$f(0)$ is limited” mean? $\endgroup$
    – Emil Jeřábek
    Aug 12, 2011 at 16:43
  • $\begingroup$ Thanks, i had forgotten, in (1) is |x-y| and not (x-y). $\endgroup$
    – de Araujo
    Aug 12, 2011 at 16:56
  • 3
    $\begingroup$ As given, $f(x)=\begin{cases}x^{42}(1+\sin x),&x<0,\\0,&x\ge0\end{cases}$ is a counterexample. Are you really sure you don’t want absolute values on the left-hand side of (4)? $\endgroup$
    – Emil Jeřábek
    Aug 12, 2011 at 17:11
  • $\begingroup$ I don't find it easy to see that $(1)+(2)+(3)$ implies $(4)$ considering $f(x)=-x^3$ appears to be a counterexample. I think Emil is right and you want absolute values in $(2)$ and $(4)$. $\endgroup$
    – Aubrey da Cunha
    Aug 12, 2011 at 18:43

0

Reset to default

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.