Calculus II -- worksheet 2
Inverse functions, their tangent lines, and their derivatives
Author: Carl Devore <devore@math.udel.edu>
13 February 2002
Audience:
Second-semester calculus students.
Objectives:
1. Learn how to restrict the domain of a function so that an inverse can be defined.
2. Explore graphical properties of inverse functions.
3. Verify the Inverse Function Theorem.
4. Learn how to put together a complicated plot.
5. Show how Maple can be used to prove a simple, yet general, theorem.
New Maple Commands/Concepts used:
restart, solve, D, diff, evalf, simplify, unapply, is, limit, {}, [], %, #, ||, '', if, map, seq, zip, eval, subs, min, max, with, display, RootOf
The problem (in general):
Take a function and over each interval of increase or decrease define an inverse. Plot the function, the inverses, their derivatives, and some selected tangent lines.
It is a good idea to start most worksheets with the 'restart' command. This clears the values of previously defined variables, which is not automatically done when you open a new worksheet.
Maple does not provide any response to a restart command.
The function that I want to start with is .
Find the intervals of increase and decrease
First define the function as a Maple operator, rather than as an expression. (What we ordinarily call functions, Maple calls operators, whereas the word function itself has a slightly different meaning to Maple.)
To get some idea of what we are working with, I'll plot the function over an arbitrary range.
So, there are three intervals of increase or decrease. Let's get the critical points. First, I'll get the derivative and call it Df. The command D takes the derivative of a operator (whereas the command diff takes the derivative of an expression).
Clearly, that expression could be and should be simplified. Df is a operator, and the simplify command won't work on it. I'll have to work with an expression and then convert it to a function. Note that if f is an operator, then f(x) is an expression.
And I take the derivative of that with diff.
Note that diff requires a second argument: The final x tells it to take the derivative with respect to x. Let's simplify it.
Note that I reused the name Df (because I have no interest in saving the unsimplified form). Let's find the critical points. The second argument to solve is the variable to solve for.
Now if we combine that information with the plot, it is clear that f is one-to-one (injective) on each of the domains . (Henceforth, I will use the word "injective" rather than the abomination "one-to-one".) Furthermore, f is still injective on the two-interval domain .
As I am writing this, -1 is the answer on the left. However, I cannot know if that will be true for you; solve does not necessarily give the answers in numerical order. I want a to be the lesser critical point and b the greater. The following command will ensure that.
Note that min and max just find the smallest and largest values in a finite sequence. This is not the same as finding minima or maxima of a function.
Find the inverse functions by solving the equation y=f(x) for x as a function of y
We use solve . If you do the algebra on paper (you should do it!), you will see that you get a quadratic equation in x . Therefore, you should expect solve to give two answers. Also, the number of answers should be the maximal number of times that any horizontal line crosses the graph of f, which is also the minimal number of domain restrictions needed to divide f into injective pieces.
Now I want to manipulate those answers individually. I have to save those answers as a set and give the set a name. Anything can be made into a set by enclosing it in {}. The result of the last computation is accessed by %. (This is like using the ans key on a TI calculator).
Warning: % refers to the most recent result that you actually computed. That is not necessarily the same thing as the result that appears immediately above your current position on the screen. It is very common for new users to make mistakes because of this.
You can extract the members of a set or a list by using []:
I want to make the inverses into operators. The command unapply converts an expression into an operator. The second argument to unapply is the variable that appears in the expression that you want to make into the parameter of the operator.
The two commands above are essentially the same, and I hate having to repeat the same command. The map command will take a command and apply to every member of a set or list.
Separate the individual members:
The separation can also be done with the single command
Now we need to figure out which inverse goes with which domain. How could such a thing be determined? The range of an inverse is the domain the original function. The line crosses the graph of f twice, so we evaluate the inverses there.
Note that those commands can be combined as
It is not clear which intervals each of those is in. The command evalf converts numeric expressions into decimal form.
Note that evalf automatically mapped over the list.
As I am writing this, I got g1(1/4)=3.73... and g2(1/4)=0.26.... The definitions of g1 and g2 might be reversed for you. You cannot guarantee the order that solve will return things. The following command will ensure that we are talking about the same order. Briefly, the command below says that if g1(1/4) is between and (-1 and 1), then g1 and g2 should be swapped. Note that lines beginning with # are comments rather than commands. The reason for the eval 's is that operator names are not automatically expanded to their definitions. Note that fi (which is if spelled backwards) denotes the end of the if command. You can also say end if or simply end , but I prefer the briefer notation.
At this point, I am sure that g2 corresponds to the f domain [-1,1], and g1 corresponds to the other domain.
Note that g2 is not defined at 0, yet 0 is in the corresponding f domain [-1,1]. That is because if y =0, the equation is not a true quadratic equation (try it by hand and see for yourself), and hence the quadratic formula that the solve command used is not valid for that point. But the Inverse Function Theorem says that g2 must be continuous. However, if we just define g 2(0) to be 0, everything will be okay. This makes g2 continuous, as you can see from the following limit:
Note that in Maple's limit command the word "limit" is spelled out, and is indicated by the x= 0.
There is no real need in this problem to tell Maple that g2(0)=0 , but I might as well show you how it's done anyway. It's very simple:
Compute the tangent lines to f at selected points in each interval
I'll use the points -3/2, 1/2, 3/2.
The tangent line at 1/2 can be expressed as an operator as follows:
We can generalize the procedure for finding tangent lines. Write an operator that takes a function and a specific point and returns the tangent line at that point.
Note that for an operator with two or more parameters, the parameters are put in parentheses before the arrow. The forward quotes on the x ensure that the above will work even if the variable x has already been assigned a value.
Test.
That's what we wanted.
Note that the expression D(h)(x0) means to evaluate the function D(h) at the point x0. That's not the same as D(h(x0)).
Now I want the tangent lines for all three values of x0. Remember map from above? Its first argument is an operator.
Find the corresponding tangent lines to the inverses. Verify the derivatives predicted by the Inverse Function Theorem.
Now that I have given a general tangent_line procedure, this is easy. The points X[1] = -3/2 and X[3]= 3/2 are in the range of g1, and X[2]=1/2 is in the range of g2
That's not what I expected. I'll try to simplify it.
That's better. You can see that the slopes of the tangent lines are reciprocals.
The fact that I needed to simplify indicates that I should have simplified right in the definition of the procedure tangent_line. So, I will redefine tangent_line:
Better test the new procedure:
It works.
By the Inverse Function Theorem, we should have g1'(y) = 1/f '(g1(y)). That's clearly the case for our chosen point y = f(-3/2), but I'll have Maple verify it for arbitrary points.
Are they the same? It's hard to tell. One way to get Maple to verify that two things are equal is to subtract the two things, simplify the resulting expression, and see if you get zero.
So they're equal. Note that %% refers to the second-most-recently-computed expression. There's also %%% , but you can't go back four or more levels.
Let's get all three corresponding inverse tangent lines.
Once again, I'd like to avoid needless repetition. The zip command is like map , but is used for two-argument operators.
Plot it all
First I'll plot the parts corresponding to the central interval [-1,1]. Note that the order of colors in the colorlist corresponds to the order of the expressions in the expression list. In a list (things that are in square brackets), the order is significant. Any item in a list can be repeated any number of times by using the '$'.
So the blue is f, red is the inverse, the lower green is f ', upper green is the derivative of the inverse, and the plums are the tangent lines. I want to save that plot in a variable so I can combine with other plots later. Note that I extended the y-range of the plot to 2 in order to include the derivative of the inverse.
Now let's do the same for the left interval. I'll restrict it to [-2,-1].
Note that I have to extend the plotting range in order to get the inverse in the picture.
Do the right interval.
Now I want to put the three plots together. The command for that is display . Maple has many thousands of commands, and they are not all immediately available when Maple is started. They are grouped into sets called packages. The package plots contains display . The with command "loads" a package so that all of the package's commands are available.
Warning, the name changecoords has been redefined
The above list shows the new commands that are now available. In the next command, Plot||(1..3) is a shorthand for Plot1, Plot2, Plot3.
The blue parts should be connected, but Maple has some difficulty plotting parts of a curve where there is a vertical tangent. I could correct this, but that is a little too complicated to go into right now. Note the reciprocal relationhip of the two derivatives. The negative parts the of derivative of the inverse are so far into the negative range that it would distort the plot too much if I tried to include them.
Find a point where corresponding tangent lines intersect
We can get y-value of the point of intersection by evaluating either line at that x.
So these tangent lines intersect on the line y=x. Intuition suggests that this will always be the case. Let's see if we can prove that with Maple.
Prove a simple, yet general, theorem with Maple
Theorem: Let f be a function which is injective on an interval and differentiable at a point in that interval. Let g be the inverse of f . Let be the tangent line to f at and let be the tangent line to at . Then either and intersect on the line , or , or = 0.
Proof:
Now all previous variable definitions are erased.
We take f as a completely arbitrary function and define g as its inverse:
RootOf is Maple's way of expressing the solution to an equation that it does not know how to solve. ( RootOf can mean some other things also.) Of course, the equation cannot be explicitly solved if you don't know what is. However, even if Maple cannot not explicitly solve an equation, it can still know some things about the solution:
That shows that Maple knows the Inverse Function Theorem.
If is injective, the only root of the equation = 0 is . (Recall that injective means that can be cancelled from the equation .) If = 0, then of course the above tangent line is invalid.
Get the x-coordinate of the intersection of the tangents.
If , then the above is invalid. But the cases and are excluded in the conclusion of the theorem. Get the y-coordinate of the intersection.
Therefore, x_int = y_int; in other words, the point of intersection is on the line .
Note again the technique of proving equality by simplifying the difference to 0.
Generalize inverse selection with RootOf
After we solved the equation for x , there were still some complicated steps involved to select the inverse. This selection process can be simplified with RootOf at the expense of a more complicated representation of the inverse. Often, solve is only able to express the solutions is terms of RootOf.
We can specify the branch of the inverse with range [-1,1] as follows:
Since Maple knows how to take derivatives of RootOfs, we can still get the tangent line.
But the roots are not computed until you use allvalues.
Evalf also works on RootOf: