2
$\begingroup$

Suppose $\mathbb{R}^n$ space with norm $\|\cdot\|$ and $I$ open interval and $f: I \rightarrow \mathbb{R}^n$ derivable function.

let $k$ be a constant and $x_0$ element in $I$.

we have $\|f\,'(x)\|\leq k\|f(x)\|$ for every $x \in I$ and we have $ f(x_0)=0$

show that (by applying the mean value theorem on $f(x)$ in the interval $[x_0-h, x_0+h]$ for $h$ very small )there exist $h>0$ such that $f$ is equal zero on the interval $[x_0-h, x_0+h]$.

Am not sure how to make it, hope to get a hint.

Thanks alot

Sahar

$\endgroup$
  • 1
    $\begingroup$ I guess you forgot to add a condition on $||f(x)||$. What about the function $f(x)=kx$ (with $n=1,x_0=0$)? $\endgroup$ – MichalisN Feb 21 '13 at 11:09
  • $\begingroup$ @Michalis the linear function you suggested would equal zero only at the origin, but he needs $f$ to be zero in the whole interval! $\endgroup$ – Marra Feb 21 '13 at 11:27
  • 1
    $\begingroup$ @GustavoMarra: Yes, I suggested a counterexample ;) So Sahar must have omitted a condition on $f$. Oh, now it has been edited, so the exercise makes sense! $\endgroup$ – MichalisN Feb 21 '13 at 11:28
  • $\begingroup$ Thanks for everyone it has been edited but is it possible to see the first version? just to know what i've missed to write $\endgroup$ – Sahar Monlite Feb 21 '13 at 19:06
1
$\begingroup$

Since all norms on $\mathbb{R}^n$ are equivalent to the infinity norm, we'll assume that $||\cdot ||$ is the infinity norm. We denote the components of the vector valued function $f$ by $f_1,\ldots,f_n$.

Set $h<1/k$ and small enough such that $f$ is defined on $[x_0-h,x_0+h]$. Pick $y\in [x_0-h,x_0+h]$ such that $|f_i(y)|=\max_{z\in[x_0-h,x_0+h]}||f(x)||$ for some $i$. By the mean value theorem there exists a $z\in(x_0,y)$ with $|f_i'(z)(y-x_0)|=|f_i(y)|$. So if $f_i(y)\neq 0$ then $||f'(z)||\geq |f_i'(z)|>k|f_i(y)|=k||f(y)||\geq k||f(z)||$, a contradiction. Hence $f_i(y)=0$ which implies that $f$ is constantly $0$ on the interval.

| cite | improve this answer | |
$\endgroup$
  • $\begingroup$ Thanks a lot for your answer! $\endgroup$ – Sahar Monlite Feb 21 '13 at 19:03

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.