1
$\begingroup$

Let $f:[a,b] \to \mathbb{R}^n$ be a smooth curve such that the estimate $\|f'(t)\| \leq f'(t)$ holds. Show that the estimate $\|f(b) - f(a)\| \leq f(b) - f(a)$ also holds.

I was started to use the mean value theorem because this appears to prove this straight away but then I remembered that we only defined the mean value theorem for a function $f:D \to \mathbb{R}$ where $D \subset \mathbb{R}^n$, is there another way of doing this?

  • 2
    For $v$ in $\mathbb{R}^n$, what does $||v|| \leq v$ mean?2012-05-19
  • 0
    Now you mention it I'm not entirely sure, I'm directly copying the question, would it make more sense if the function was from $f:[a,b] \to \mathbb{R}$?2012-05-19
  • 1
    More sense, certainly: for a real number $x$, $|x| \leq x$ holds iff $x \geq 0$ (in which case $|x| = x$). Then the hypothesis would be that the derivative is non-negative at every point, hence (yes, by the Mean Value Theorem) $f$ is weakly increasing, and in particular $f(b) \geq f(a)$, so $f(b) - f(a) \geq 0$, so $|f(b)-f(a)| \leq f(b) - f(a)$. Still, this seems like a weird way of writing things...2012-05-19
  • 0
    Yeah that is odd, thank you. So does the mean value theorem work for a function $f:[a,b] \to \mathbb{R}^n$?2012-05-19
  • 1
    The statement you are trying to copy might be that $\|f'\|\leqslant g'$ for $f:[a,b]\to\mathbb R^n$ and $g:[a,b]\to\mathbb R$ both smooth implies $\|f(b)-f(a)\|\leqslant g(b)-g(a)$.2012-05-19
  • 0
    I think you need to answer @PeteL.Clark's question first.2012-05-19

0 Answers 0