What is the main difference between the extreme points of a function of special types, such as: critical points, singular points, endpoints? Being more specific, I am talking about finding extreme values of derivatives, I understand the concept of critical points, which are where f'(x) = 0 and singular points, where f'(x) is not defined. But what about endpoint? Definition says that it is a point that do not belong to any open interval in D(f) which is kind of contradicting to the idea of finding endpoints
Three special types of local extreme values of a function
-
0Their definitions are different and not in a subtle way, so could you be more specific? – 2011-12-05
-
0I have edited the post – 2011-12-05
-
1Hm. I don't see any contradiction: If my domain is $[a, b]$, then there is no open interval $I$ such that $a \in I \subset [a, b]$. So $a$ is an endpoint of the domain. What's bogus about this? – 2011-12-05
-
0@DylanMoreland you say a is an endpoint of the domain, but why not b? Since the interval is a subset of [a, b] – 2011-12-06
-
0$b$ is an endpoint as well, sure. – 2011-12-06
1 Answers
You have learned in calculus that when a function is differentiable on an open interval $J$ and has a local extremum at a point $\xi\in J$ then necessarily $f'(\xi)=0$.
Now the usual situation in applications is the following: You are given an interval $I:=[a,b]\subset{\mathbb R}$ and a continuous function $f:\ I\to{\mathbb R}$, and you want to find the minimal or maximal value of $f$ on $I$. As $f$ is continuous and $I$ is compact, by general principles you know that these extremal values "are taken", i.e., there exist $\xi_1$ and $\xi_2\in I$ such that
$$f(\xi_1)\leq f(x)\leq f(\xi_2)\qquad (a\leq x\leq b)\ .$$
If $f$ is differentiable in the open interior $]a,b[$ of $I$, with the exception of finitely many points $s_i$, $\>a We now produce a large candidate list $$S:=\{a,s_1,\ldots, s_n,b,x_1,\ldots , x_m\}\ ,$$ and we know that $\xi_1$, $\xi_2\in S$. Which one(s) of the points in $S$ lead(s) to the minimum of $f$ and which one(s) to the maximum has to be found out by computing and comparing the values $f(x)$ for all $x\in S$. One more note: Given such a situation one defines the set $\arg\min f\bigm|_{ [a,b]}$ (and similarly $\arg\max$) by $$\arg\min f\bigm|_{ [a,b]}\ :=\ \bigl\{\xi\in[a,b]\ \bigm|\ f(\xi)\leq f(x)\quad\forall x\in [a,b]\bigr\}\ .$$ We have proven that $\arg\min f\bigm|_{ [a,b]}\subset S$, and similarly for $\arg\max$.