Proving that Holder Continuity with a>1 implies a constant function

Click For Summary
SUMMARY

The discussion centers on proving that a differentiable function f: Rn -> Rm, which satisfies the Holder continuity condition |f(x) - f(y)| ≤ C |x - y|^α for all x, y in Rn and α > 1, must be a constant function. The user, Cinlef, struggles with the setup of the proof and suggests that demonstrating the matrix of partial derivatives of f equals zero is essential. A proposed method involves using the definition of the derivative to show |f'(x)| = 0 directly, thus confirming that f is constant.

PREREQUISITES
  • Understanding of Holder continuity and its implications
  • Knowledge of differentiable functions and their properties
  • Familiarity with the definition of the derivative in multivariable calculus
  • Experience with mathematical proofs and inequalities
NEXT STEPS
  • Study the implications of Holder continuity in real analysis
  • Learn about the properties of differentiable functions in Rn
  • Explore the definition and applications of the derivative in multiple dimensions
  • Review techniques for proving functions are constant, particularly in the context of inequalities
USEFUL FOR

Mathematics students, particularly those studying real analysis, and anyone interested in the properties of differentiable functions and Holder continuity.

cinlef
Messages
1
Reaction score
0

Homework Statement


More or less the thread title:
Given f: Rn -> Rm, and f is both differentiable and satisfies the condition:
[tex] \left| f(x) - f(y) \right| \leq C \left| x-y \right|^{\alpha}.[/tex] for all x,y in Rn, and alpha > 1, prove that f is a constant function.

Homework Equations


The Attempt at a Solution


I've stared at this for a couple hours already and can't seem to figure out how to set the problem up. It seems to me that I'd need to show that the matrix of partial derivatives of f is 0... I would assume by squeezing it between [tex]-C \left| x-y \right|^{\alpha}[/tex] and [tex]C\left| x-y \right|^{\alpha}[/tex], and taking a derivative, then showing that both sides are 0 if alpha>1. But, I haven't the foggiest what I would take the derivative w.r.t., or how I would justify such a choice, since both x and y are points in Rn, and I would assume that they are both constant.

Any help would be appreciated.
Thanks,
Cinlef
 
Physics news on Phys.org
Perhaps show |f'(x)| = 0 directly from the definition of the derivative.
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 27 ·
Replies
27
Views
2K
  • · Replies 3 ·
Replies
3
Views
1K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 12 ·
Replies
12
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
Replies
20
Views
5K
Replies
5
Views
2K
  • · Replies 9 ·
Replies
9
Views
2K