jump to navigation

Solutions to IVT Problems November 26, 2008

Posted by putnam120 in Math Related, Uncategorized.
trackback

(a) Since f is continuous on a compact set (\left[a,b\right] it attains both its maximum and minimum values, so m\le f(x)\le M for all x\in\left[a,b\right]. Now using these poor estimates we have that m\int_a^b g(x)dx\le\int_a^b f(x)g(x)dx\le M\int_a^b g(x)dx. So if we consider the function V(x)=f(x)\int_a^b g(x)dx we have that V is continuous on the same interval as f. Thus we just apply the intermediate value theorem to V and the desired result follows.

(b) WLOG assume that f(0)=f(1)=0. Let n be given and define new function by L(x)=n\left(f(x+1/n)-f(x)\right). This is just the equation for the slope of the line connecting the points f(x) and f(x+1/n) and is continuous because f is continuous. Now consider the set of points x_i=\frac{i}{n} for i=0,1,\dots,n-1. Now look at the values L takes at these points. If L(x_i)=0 for any i then we have found a solution, so assume that L(x_i)\neq 0 for any chose of i. So WLOG assume that L(x_0)>0, since f(0)=f(1) we know that there must be some i such that L(x_i)<0, call this x_k. Then we there is a x\in\left(x_0,x_k\right) such that L(x)=0.

(c) For this one I will prove something a little stronger. All that we need to assume about f is that it is integrable, and has what I shall call the extreme value property on our interval. Basically this property says that on the interval there exists a point c such that f(c)=\sup f(x)=M and a point d such that f(d)=\inf f(x)=m, where x ranges over all the values in our interval. So clearly an increasing function satisfies these conditions. Now define a function by

V(x)=m\int_a^xg(x)dx+M\int_x^bg(x)dx.

Now V is continuous and V(b)\le\int_a^bf(x)g(x)dx\le V(a), thus by the intermediate value theorem we are done.

Some after thoughts: Problem (a) was pretty straight forward and didn’t take too much insight to actually solve. However, problem (b) was a little more challenging until I visualized what I was being asked to prove. This led me to the idea to look at the slope of the connecting line segment. Finally problem (c), I at first wondered why you were given that f was increasing and not continuous, or even just integrable. As can be seen in my proof continuity imposes more conditions than are necessary, while integrability does not provide you with enough. This led me to think about what makes increasing functions special (well one of the things that makes them special).

Comments»

No comments yet — be the first.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.