I was looking at some old exams in Numerical Analysis and found this question.
Show that cosx = lnx has a unique solution in . First of all, I think the sign is a typo, and perhaps it should be since is . Then again, it could perhaps be a closed interval as well...
The first thing I think of is to look at the function . Now if I assume that the interval is then I think I could, by the intermediate value theorem show that there exists a solution. I would need to do some limit-stuff because of and ...
Another thing that comes to mind is perhaps rewriting this in the following manner;
If I let then,
if there is some number in our interval such that
. That is, if is a fixed-point of .
A unique fixed point exists if is a contraction..
Since we have that
for all in and so a unique solution to our problem exists.
The problem from the exam comes with a suggested solution as well. The solution says that since the function cosx is monotonically decreasing in the given interval, and the function ln(x) is monotonically increasing in the same interval, they can only cross in one point.. I do not find this solution particularly satisfying, but what do I know.