Find All Functions $F(x)$ with $(x-y)^2$ Inequality

  • Context: MHB 
  • Thread starter Thread starter Fallen Angel
  • Start date Start date
  • Tags Tags
    Functions
Click For Summary
SUMMARY

The discussion focuses on identifying all functions \( F(x): \mathbb{R} \longrightarrow \mathbb{R} \) that satisfy the inequality \( F(x) - F(y) \leq (x-y)^2 \) for all \( x, y \in \mathbb{R} \). It is established that by interchanging \( x \) and \( y \), the absolute difference \( |F(x) - F(y)| \) is bounded by \( (x-y)^2 \). The analysis further divides the interval \( [0,x] \) into \( n \) subintervals, leading to the conclusion that \( |F(x) - F(0)| = 0 \) as \( n \to \infty \). Thus, \( F(x) \) must be a constant function.

PREREQUISITES
  • Understanding of real-valued functions and inequalities
  • Familiarity with limits and the concept of convergence
  • Basic knowledge of calculus, particularly the properties of continuity
  • Experience with mathematical proofs and analysis techniques
NEXT STEPS
  • Study the properties of constant functions in mathematical analysis
  • Explore inequalities in real analysis, focusing on Lipschitz conditions
  • Learn about continuity and differentiability of functions
  • Investigate the implications of bounded differences in functional equations
USEFUL FOR

Mathematicians, students studying real analysis, and anyone interested in functional inequalities and their properties.

Fallen Angel
Messages
202
Reaction score
0
Find all functions $F(x):\Bbb{R}\longrightarrow \Bbb{R}$ such that

$F(x)-F(y)\leq (x-y)^2$ for all $x,y\in \Bbb{R}$
Edited for correct a typo.
 
Last edited:
Physics news on Phys.org
Something wrong $x,y \in R^2 $ but $F: R \rightarrow R$ how we can define $F(x), F(y)$ then ?
 
Oh sorry, it was a typo, it should read

$F(x)-F(y)\leq (x-y)^2, \ \forall x,y \in \Bbb{R}$
 
Fallen Angel said:
Find all functions $F(x):\Bbb{R}\longrightarrow \Bbb{R}$ such that

$F(x)-F(y)\leq (x-y)^2$ for all $x,y\in \Bbb{R}$
[sp]
Interchange $x$ and $y$ to see that $|F(x) - F(y)| \leqslant (x-y)^2$ for all $x,y\in \Bbb{R}$.

Divide the interval $[0,x]$ into $n$ subintervals $\bigl[\frac{k-1}nx,\frac knx\bigr]$. Then $$|F(x) - F(0)| = \Bigl|\sum_{k=1}^n F\bigl(\tfrac knx\bigr) - F\bigl(\tfrac{k-1}nx\bigr) \Bigr| \leqslant \sum_{k=1}^n \bigl| F\bigl(\tfrac knx\bigr) - F\bigl(\tfrac{k-1}nx\bigr) \bigr| \leqslant \sum_{k=1}^n \bigl(\tfrac1nx\bigr)^2 = \tfrac1nx^2.$$ Now let $n\to\infty$ to see that $|F(x) - F(0)| = 0$. In other words, $F$ must be a constant function.[/sp]
 
Well done Opalg.

Another way

Divide by $|x-y|$ to get
$\dfrac{F(x)-F(y)}{|x-y|}\leq |x-y|$, and now letting $x-y \to 0$ this implies the derivative of $F$ exists and equals zero, by Fundamental theorem of Calculus, $F$ is constant
 

Similar threads

  • · Replies 19 ·
Replies
19
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
Replies
48
Views
5K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 6 ·
Replies
6
Views
1K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
2K