Proving |f(x)-f(y)| ≤ K ||x-y|| for f:R^2→R

  • MHB
  • Thread starter onie mti
  • Start date
In summary, to prove the inequality |f(x)-f(y)| ≤ K ||x-y|| for a function f:R^2→R, we use the definition of continuity and the epsilon-delta definition of continuity. The constant K represents the maximum rate of change of the function f, and a smaller value of K indicates a function with less drastic changes. However, this inequality only holds for continuous functions, and it is a specific case of Lipschitz continuity. It is possible for a function to satisfy the inequality for some values of x and y, but not for others, as it depends on the function and the values of x and y.
  • #1
onie mti
51
0
Suppose that f:R^2 to R is differentiable on R^{2}. Also assume that there exists a real number K(greater that or equal to) 0, so that 2-norm of the (gradient of (f(x)) )is less than or equal to K for all x,y in R^{2}. Prove that |f(x)-f(y)| is less than or equal to K(multiply by the 2-norm of x-y) for all x,y in R^2.

i tried applying the mean value theorem to the function g(t)= f((1-t)x+ty) t is in [0,1] but I cannot move forward

it is no 2 on the uploaded files
 

Attachments

  • WTW 310 Project 1.pdf
    146.2 KB · Views: 92
Physics news on Phys.org
  • #2
Re: converging maps

onie mti said:
Suppose that f:R^2 to R is differentiable on R^{2}. Also assume that there exists a real number K(greater that or equal to) 0, so that 2-norm of the (gradient of (f(x)) )is less than or equal to K for all x,y in R^{2}. Prove that |f(x)-f(y)| is less than or equal to K(multiply by the 2-norm of x-y) for all x,y in R^2.

i tried applying the mean value theorem to the function g(t)= f((1-t)x+ty) t is in [0,1] but I cannot move forward

it is no 2 on the uploaded files
Hi onie mti, and welcome to MHB! Suppose you define a function $k:\mathbb{R}\to \mathbb{R}^2$ by $k(t) = (1-t)\mathbf{x} + t\mathbf{y}$, with derivative $k'(t) = \mathbf{y} - \mathbf{x}$. Then $g$ is the composition $f\circ k$, and the chain rule says that $g'(t) = \nabla f\bigl(k(t)\bigr)\cdot k'(t)$. Now apply the Cauchy–Schwarz inequality to see that $|g'(t)| \leqslant \|\nabla f\bigl(k(t)\bigr)\|_2\| k'(t)\|_2$.
 
  • #3
Re: converging maps

Opalg said:
Hi onie mti, and welcome to MHB! Suppose you define a function $k:\mathbb{R}\to \mathbb{R}^2$ by $k(t) = (1-t)\mathbf{x} + t\mathbf{y}$, with derivative $k'(t) = \mathbf{y} - \mathbf{x}$. Then $g$ is the composition $f\circ k$, and the chain rule says that $g'(t) = \nabla f\bigl(k(t)\bigr)\cdot k'(t)$. Now apply the Cauchy–Schwarz inequality to see that $|g'(t)| \leqslant \|\nabla f\bigl(k(t)\bigr)\|_2\| k'(t)\|_2$.

thank you :) let me get on it (Bow)
 
  • #4
Re: converging maps

Opalg said:
Hi onie mti, and welcome to MHB! Suppose you define a function $k:\mathbb{R}\to \mathbb{R}^2$ by $k(t) = (1-t)\mathbf{x} + t\mathbf{y}$, with derivative $k'(t) = \mathbf{y} - \mathbf{x}$. Then $g$ is the composition $f\circ k$, and the chain rule says that $g'(t) = \nabla f\bigl(k(t)\bigr)\cdot k'(t)$. Now apply the Cauchy–Schwarz inequality to see that $|g'(t)| \leqslant \|\nabla f\bigl(k(t)\bigr)\|_2\| k'(t)\|_2$.

i managed to use the schwarz inequality inequality but i can not show that |f(x)-f(y)| is less than or equal to K(multiply by the 2-norm of x-y)
 
  • #5
Re: converging maps

onie mti said:
Opalg said:
Hi onie mti, and welcome to MHB! Suppose you define a function $k:\mathbb{R}\to \mathbb{R}^2$ by $k(t) = (1-t)\mathbf{x} + t\mathbf{y}$, with derivative $k'(t) = \mathbf{y} - \mathbf{x}$. Then $g$ is the composition $f\circ k$, and the chain rule says that $g'(t) = \nabla f\bigl(k(t)\bigr)\cdot k'(t)$. Now apply the Cauchy–Schwarz inequality to see that $|g'(t)| \leqslant \|\nabla f\bigl(k(t)\bigr)\|_2\| k'(t)\|_2$.

i managed to use the schwarz inequality inequality but i can not show that |f(x)-f(y)| is less than or equal to K(multiply by the 2-norm of x-y)
Have you used the hint about the mean value theorem? It says that $g(1) - g(0) = g'(t)$ for some $t$. Then $$|f(\mathbf{y}) - f(\mathbf{x})| = |g(1) - g(0)| = |g'(t) \leqslant \|\nabla f\bigl(k(t)\bigr)\|_2\| k'(t)\|_2 \leqslant K\| \mathbf{y} - \mathbf{x}\|_2.$$
 
Last edited:

FAQ: Proving |f(x)-f(y)| ≤ K ||x-y|| for f:R^2→R

How do you prove the inequality |f(x)-f(y)| ≤ K ||x-y|| for a function f:R^2→R?

To prove this inequality, we need to use the definition of continuity. We first assume that f is continuous at x and y, and then use the epsilon-delta definition of continuity to show that |f(x)-f(y)| ≤ K ||x-y||.

What is the significance of the constant K in the inequality |f(x)-f(y)| ≤ K ||x-y||?

The constant K represents the maximum rate of change of the function f. It determines how much the function can change over a given interval. A smaller value of K indicates a function that is less prone to drastic changes, while a larger value of K indicates a function with more rapid changes.

Can the inequality |f(x)-f(y)| ≤ K ||x-y|| be proven for all possible functions f:R^2→R?

No, this inequality only holds for continuous functions. If a function is not continuous, then it may not satisfy the epsilon-delta definition of continuity, and the inequality may not hold.

How does the inequality |f(x)-f(y)| ≤ K ||x-y|| relate to the concept of Lipschitz continuity?

The inequality is a specific case of Lipschitz continuity, where the Lipschitz constant is equal to K. Lipschitz continuity is a stronger form of continuity, where the function is not only continuous, but also has a bounded rate of change.

Is it possible for a function to satisfy the inequality |f(x)-f(y)| ≤ K ||x-y|| for some values of x and y, but not for others?

Yes, it is possible for a function to satisfy the inequality for some values of x and y, but not for others. This is because the inequality is dependent on the values of x and y, and the constant K. So, depending on the function and the values of x and y, the inequality may or may not hold.

Similar threads

Replies
24
Views
3K
Replies
4
Views
632
Replies
2
Views
2K
Replies
8
Views
1K
Replies
6
Views
2K
Replies
14
Views
1K
Back
Top