2

Suppose $f(t)>0$.

$f(t)\leq f(0)+tf'(0)$ if and only if $f$ is concave over $[0,1]$.

Is the above stetement true? There must be a counterexample in my opinion.

kayak
  • 1,031

3 Answers3

3

An obvious counterexample would be $f(t)=\sin(2\pi t)+1$, which is neither convex nor concave but fulfills your inequality.

Toffomat
  • 2,245
2

If you think about it geometrically, it is clear that the statement is false. In fact, in geometrical terms it says that the function $f(t)$ in $[0,1]$ must lie below its tangent at origin. To realize this, it is useful to change the inequality (for $t \in (0, 1]$) to the form:

$$\frac{f(t) - f(0)}{t} \leq f'(t)$$

and recall that the expression on the left is the slope of the line between $(0, f(0))$ and $(t, f(t))$.

As a intituitive counterexample, you can draw something concave at first, with a an inflection point that makes it convex before $t=1$. The hypothesis $f(t) > 0$ is not a big constraint (geometrically it tells you that you must draw in the trapezoid given by the x and y axis, the tangent in the origin and the line $x=1$).

If you want a mathematical expression, you can use the fine example of Toffomat: $$\sin(2\pi t) + \alpha$$

valid for any $\alpha > 1$.

If you prefer to go polynomial, consider the following translation of the standard cubic with 3 zeros:

$$(t-\alpha + 1)(t-\alpha)(t-\alpha -1)$$

This is a counterexample for all $\alpha \in (-1, \beta)$, for a $\beta$ that can be prove to exist in $(-1/2, 0)$.

pietroppeter
  • 121
1

$f(x)=\text{arctan}(2x-1) + \pi$ is above its tangent line in $0$ over all $[0, 1]$, but it is concave in $[0, 1/2)$ and convex in $(1/2, 1]$.

Niki Di Giano
  • 1,708
  • 1
    Why is a straight line not concave? – Calvin Khor Sep 06 '18 at 07:47
  • Because a definition of concavity is the graph of the function being completely below the line connecting two points of the graph, of course except the two points themselves. Also, another definition is whenever the second derivative is positive and not zero. At least, this is what I recall; is a straight line also convex? – Niki Di Giano Sep 06 '18 at 07:51
  • The problem mentions that $f(t)>0$ – GoodDeeds Sep 06 '18 at 07:57
  • https://math.stackexchange.com/questions/611633/is-linear-function-convex-or-concave I would say it is convex(and concave), but not strictly convex. – Calvin Khor Sep 06 '18 at 07:59
  • Well, it's just semantics then. I have addressed both commenters' observations in my last edit. – Niki Di Giano Sep 06 '18 at 08:03