MHB Working on lipschitz function and contraction map

Click For Summary
To demonstrate that the 2-norm of the difference between two points in the function f(x) is bounded by a specific expression, start by applying the definition of the 2-norm to f(x) = <f_1(x), f_2(x)>. The squared 2-norm can be expressed as the sum of the squares of the differences of the components: ||f(x) - f(y)||_2^2 = |f_1(x) - f_1(y)|^2 + |f_2(x) - f_2(y)|^2. Utilize the given bounds on the gradients of f_1 and f_2 to establish that ||f(x) - f(y)||_2^2 is less than or equal to (K_1^2 + K_2^2) ||x - y||^2. Finally, take the square root of both sides to arrive at the desired inequality. This approach effectively shows the Lipschitz continuity of the function f.
simo1
Messages
21
Reaction score
0
if you given a function f from R^2 to R^2 f(x)=<f_1(x),f_2(x)>, x in R^2

with f_1 and f_2 from R^2 to R being differentiable on R. if there is contants K_1 and K_2 greater than or equal to 0 so the 2-norm of (gradient f_1(x)) is less than or equal to K_1 and 2-norm of (gradient f_2(x)) is less than or equal to K_2 for x in R^2.
show that the 2-norm of (f(x)-f(y)) is less than or equal to [square root of (k_1^2 -k_2^2)] multipy by 2-norm of (x-y) for all x and y in R^2

can i get hints on how to start
 
Physics news on Phys.org
simo said:
if you given a function f from R^2 to R^2 f(x)=<f_1(x),f_2(x)>, x in R^2

with f_1 and f_2 from R^2 to R being differentiable on R. if there is contants K_1 and K_2 greater than or equal to 0 so the 2-norm of (gradient f_1(x)) is less than or equal to K_1 and 2-norm of (gradient f_2(x)) is less than or equal to K_2 for x in R^2.
show that the 2-norm of (f(x)-f(y)) is less than or equal to [square root of (k_1^2 – k_2^2)] multipy by 2-norm of (x-y) for all x and y in R^2 (That – should be a +.)

can i get hints on how to start
Hi simo, and welcome to MHB! By the definition of the 2-norm, $\|f(x) - f(y)\|_2^2 = |f_1(x) - f_1(y)|^2 + |f_2(x) - f_2(y)|^2.$ Now use the result from http://mathhelpboards.com/analysis-50/converging-maps-9673.html (applied to the functions $f_1$ and $f_2$) to deduce that $\|f(x) - f(y)\|_2^2 \leqslant (K_1^2 + K_2^2)\|x-y\|^2.$ Then take the square root of both sides.
 
We all know the definition of n-dimensional topological manifold uses open sets and homeomorphisms onto the image as open set in ##\mathbb R^n##. It should be possible to reformulate the definition of n-dimensional topological manifold using closed sets on the manifold's topology and on ##\mathbb R^n## ? I'm positive for this. Perhaps the definition of smooth manifold would be problematic, though.

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 7 ·
Replies
7
Views
3K
  • · Replies 3 ·
Replies
3
Views
3K
  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 0 ·
Replies
0
Views
2K
Replies
2
Views
2K
  • · Replies 21 ·
Replies
21
Views
3K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 22 ·
Replies
22
Views
2K