Functions in reals such that inequality holds

  • Thread starter maximus101
  • Start date
  • #1
22
0

Main Question or Discussion Point

for which f: [tex]R[/tex] [tex]\rightarrow[/tex] [tex]R[/tex] such that
[tex]\forall[/tex] [tex]x,y[/tex][tex]\in[/tex] [tex]R[/tex]

does

| [tex]f(y)[/tex] - [tex]f(x)[/tex] | [tex]\mid[/tex] [tex]\leq[/tex] [tex](y-x)^2[/tex]

hold
 

Answers and Replies

  • #2
273
0
Which inequality?
 
  • #3
22
0
sorry just fixed it
 
  • #4
22
0
so I did the following:

[tex]\dfrac{|f(y) - f(x)|}{|y-x|}\leqslant |y-x|[/tex]

was obtained by [tex](y-x)^2[/tex]=[tex]|y-x||y-x|[/tex] and dividing both sides by [tex]|y-x|[/tex].


then trying to use the fact that

[tex]\displaystyle\lim_{y\to x}\frac{f(y)-f(x)}{y-x}[/tex] is the derivative at x

but not sure what's next how to combine the two?
 
  • #5
273
0
Is the function differentiable? If it isn't you can't use the limit thing. But if it is, apply the limit to both sides. You should then get something very familiar and be able to deduce what kind of function f must be.
 
  • #6
273
0
Okay, if f isn't differentiable, here's a hint. Divide the interval from [x,y] into n equal sub intervals. See if you can get anything from that.
 
  • #7
218
0
Wouldn't this statement
[tex]\dfrac{|f(y) - f(x)|}{|y-x|}\leqslant |y-x|[/tex]
automatically imply the function is differentiable?
 
  • #8
726
1
Wouldn't this statement
[tex]\dfrac{|f(y) - f(x)|}{|y-x|}\leqslant |y-x|[/tex]
automatically imply the function is differentiable?

Yes. Using the squeeze theorem you can see that the derivative is actually 0 everywhere, implying the only functions satisfying the inequality are constant functions.
 
  • #9
724
0
Am I missing something? I don't see any derivatives anywhere, just the difference quotient.

If you indented for it to be the difference quotient, then a counter example would be [tex]r \mapsto r^3[/tex]. For all |x-y| >= 1, [tex]\left| x^3 - y^3 \right| > \left( x - y \right)^2[/tex]
 
  • #10
726
1
Assume there exists a function f satisfying [tex] 0 \le |f(y) - f(x)| \le (y-x)^2 = |y-x|^2 [/tex] for any y, x in the domain of f. This implies that [tex] 0 \ le \frac{|f(y) - f(x)|}{|y-x|} \le |y-x| [/tex].

Let y approach x. By the squeeze theorem, we see that the limit exists, is equal to 0, and is in fact the derivative of f evaluated at x. So f'(x) = 0 for all x in its domain, which means that f must be a constant function.
 

Related Threads on Functions in reals such that inequality holds

Replies
2
Views
11K
  • Last Post
Replies
1
Views
3K
  • Last Post
Replies
10
Views
640
  • Last Post
Replies
5
Views
1K
Replies
2
Views
5K
Replies
3
Views
542
  • Last Post
Replies
3
Views
2K
  • Last Post
Replies
6
Views
1K
  • Last Post
Replies
4
Views
1K
Replies
12
Views
2K
Top