# Thread:

1. ## Extremes of f"(x)

Assuming the second derivative f"(x)>0 of a convex function f(x) exists over an interval (a,b).

Is it correct saying that the extremes (min, max, relative or absolute) of f"(x) always occur at the same ordinates where the extremes* of f(x) occur?

(*) Not necessarily of the same type, min or max as in f”(x): can be opposite.

I cannot depict an example that says "NO, it's not correct".

I would appreciate either such an example or few words that help me proving the above statement is correct.

2. Assuming the second derivative f"(x)>0 of a convex function f(x) exists over an interval (a,b).

Is it correct saying that the extremes (min, max, relative or absolute) of f"(x) always occur at the same ordinates where the extremes* of f(x) occur?
The answer is no. As an example I think the following function works, $f(x)=x^8+1$.

3. ## Why?

Originally Posted by arbolis
The answer is no. As an example I think the following function works, $f(x)=x^8+1$.
Isaac,
I might miss something here but I do see your example proving that my statement is just correct.

Plot f(x) = x^8 + 1 and f"(x) = 56*x^6.

I see that in any interval (a,b) both f(x) and f"(x) reach max or min at the same ordinate.

Also,
I tried defeating my statement with exponentials, logarithms, trigonometrics functions, basic polinomials.
It always came out clean and valid.

I'd really need to see a function that proves the contrary.

4. Isaac,
I might miss something here but I do see your example proving that my statement is just correct.

Plot f(x) = x^8 + 1 and f"(x) = 56*x^6.

I see that in any interval (a,b) both f(x) and f"(x) reach max or min at the same ordinate.

Also,
I tried defeating my statement with exponentials, logarithms, trigonometrics functions, basic polinomials.
It always came out clean and valid.

I'd really need to see a function that proves the contrary.
You're right. The more I'm thinking about it, the more I believe the statement is true. I'll try to prove it but I'm not sure I'll success, so I hope someone else will do it. Anyway it's an interesting problem.
Any news I get, I post.

5. ## Theorem

I started from this theorem:

Assume f'(x) exists over (a,b). Then, if f' is monotonic over (a,b), f is certainly convex over (a,b).
Special case: f is certainly convex over (a,b) if f" exists and is non-negative over (a,b).

6. What about $f(x)=x^2$. $f''(x)=2>0$, so f is convex as it must.
Now looking at
Is it correct saying that the extremes (min, max, relative or absolute) of f"(x) always occur at the same ordinates where the extremes* of f(x) occur?

(*) Not necessarily of the same type, min or max as in f”(x): can be opposite.
, I'd say "no" because any point given is an extrema for $f''$, but not for $f$. I mean that for example let $(a,b)=(-1,1)$. Any given point in $(-1,1)$ is a maximum and a minimum for $f''$, according to the definition of an extrema of a function. While only $x=0$ is a minimum in $(-1,1)$.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 11, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9036678671836853, "perplexity_flag": "middle"}