1
$\begingroup$

$f$ has a bounded variation. $\vert f\vert ^{1.5}$ also has a bounded variation. $\vert f \vert $ is a bounded variation function, as well as integer powers of $\vert f \vert$. $\vert f \vert ^{1.5}$ is not an integer product, I don't think I can rely on these facts. $\sqrt{\vert f\vert}$ is not always a bounded variation function.

How can the variation of $f$ help me calculate $\sum_{k=1}^n \vert \vert f(x_{k+1}) \vert^{1.5} -\vert f(x_k) \vert ^{1.5}\vert$?

1 Answers 1

2

Hint: In general, it is easy to see that if $f:[a,b]\to[c,d]$ is of bounded variation and $g:[c,d]\to\mathbb{R}$ is Lipschitz, then $g\circ f$ is of bounded variation. For your question, let $g(x)=|x|^{1.5}$, which is Lipschitz on any bounded interval.

Details: Since $f$ is of bounded variation, $|f|\le M$ for some $M>0$. Note that for $g(x)=|x|^{1.5}$, $|g'(x)|=1.5|x|^{0.5}\le 1.5M^{0.5}$ when $|x|\le M$. Then for any $x

$$\left||f(y)|^{1.5}-|f(x)|^{1.5}\right|=\left|\int^{f(y)}_{f(x)}g'(t)dt\right|\le\left|\int^{f(y)}_{f(x)}|g'(t)|dt\right|\le1.5 M^{0.5} |f(y)-f(x)|.$$ It follows that, for any $x_0, we have: $$\sum_{k=1}^n\left||f(x_k)|^{1.5}-|f(x_{k-1})|^{1.5}\right|\le1.5 M^{0.5}\sum_{k=1}^n\left|f(x_k)-f(x_{k-1})\right|\le1.5 M^{0.5}\cdot \mathrm{Var}f<+\infty, $$ where $\mathrm{Var}f$ denotes the total variation of $f$.

  • 0
    Lipschitz? Can I have a hint not using this?2012-12-12
  • 0
    Why not? I think it is the natural way to answer your question. If you are not familiar with the concept "Lipschitz", you may replace it with a stronger condition that $g$ is continuously differentiable, i.e. $g'$ exists and continuous on $[c,d]$(and therefore bounded).2012-12-12
  • 0
    Not familiar. How do you know g will be CD?2012-12-12
  • 0
    For $g(x)=|x|^{1.5}$, $g'(x)=1.5x^{0.5}$ when $x\ge 0$, and $g'(x)=-1.5|x|^{0.5}$ when $x<0$, of course $g'$ is continuous.2012-12-12
  • 0
    Is it well known that if g is CD and f is BV then the composition is BV?2012-12-12
  • 0
    Cannot you prove it by yourself? I think it is an easy exercise, and you only need to check the definition of $BV$ and to make use of Newton-Leibniz. If you feel confused, I will add some details to my answer.2012-12-12
  • 0
    I think my notes don't cover the necessary tools. Lipschitz and Newton-Leibniz haven't been discussed.2012-12-12
  • 0
    I think you should have learned Newton-Leibniz formula for CD functions, don't you?2012-12-12
  • 0
    All I have is the definition of BV functions and exercises.2012-12-12
  • 0
    Anyway, let expand my answer and see if you could follow.2012-12-12