Solution

ID: past-exam-of-the-brownian-motion-in-complex-analysis-course-of-the-university-of-oxford/2011/2/b/solution

Differentiate the argument through the nonvanishing curve, using . Since ,
Also . Subtracting one therefore gives
Thus the lifted boundary angle is strictly increasing. Its total change around the circle is , because the disk automorphism has boundary degree one. The same total change follows directly from the winding number one of . This is the boundary-angle derivative of a disk automorphism.

New to topics? Read the docs here!