# Higher derivative test need not be conclusive for infinitely differentiable function at isolated critical point

From Calculus

This article describes a situation, or broad range of situations, where a particular test or criterion isinconclusive, i.e., it does not work as intended to help us determine what we would like to determine. This is either because one of the hypotheses for the test fails or we land up in an inconclusive branch of the test.

The test is higher derivative test. See more inconclusive cases for higher derivative test | conclusive cases for higher derivative test

## Contents

## Statement

Suppose we are given a function defined on and choose a point such that:

- is infinitely differentiable at (and in fact, we can choose to be infinitely differentiable everywhere).
- has a critical point at , i.e., , and this is an isolated critical point, i.e., there is no critical point to the immediate left or immediate right of (if we wish, we can choose things so that is the only critical point for ).
- For all positive integers , , i.e., the higher derivative of at , takes the value zero. In other words, .

Then, the higher derivative test fails for . In particular, *any* of these is possible for at : strict local maximum, strict local minimum, point of increase (max from left, min from right), point of decrease (min from left, max from right).

Note that because of the isolated critical point assumption, cannot be constant on the immediate left or immediate right of .

## Related facts

### Opposite facts

- First derivative test is conclusive for differentiable function at isolated critical point
- Higher derivative test is conclusive for locally analytic function
- Higher derivative test is conclusive for function with algebraic derivative

## Proof

### One-sided examples

For convenience, we take in the examples below.

What we want | Function description at point and on appropriate side (we ignore the other side) |
---|---|

strict local maximum from left | |

strict local minimum from left | |

strict local maximum from right | |

strict local minimum from right |

### Two-sided examples

For convenience, we take in the examples below.

What we want | Function description at point and on left and right |
---|---|

strict local maximum (two-sided) | |

strict local minimum (two-sided) | |

point of increase for the function (max from left, min from right) | |

point of decrease for the function (min from left, max from right) |