This function is defined on entire RR and is infinitely differentiable. The necessary condition of extremum for such a function is f'(x) = 0.
The derivative of f(x) is
sinh(x-1) + xcosh(x-1) - sinh(x-1) =xcosh(x-1).
The only solution of the equation f'(x) = 0 is x = 0, because cosh(x) gt 0 for all x. Moreover, this fact gives us that f'(x) is positive for positive x and negative for negative x, so f(x) decreases on (-oo, 0) and increases on (0, +oo).
Therefore x = 0 is the point where a local minimum is reached. The value of the function at this point is -cosh(-1) = -(e + 1/e)/2 approx -1.543.
No comments:
Post a Comment