|
Introduction
Riemann's legacy
"Among a number of wonderful ideas we owe Riemann, the idea of Riemann surface is, without doubt, the most beautiful, everlasting, intensively developing, unifying and fertilizing a number of other ideas, penetrating the whole body of mathematics, and, in turn, many branches of physics." K. Maurin. The Riemann Legacy, Kluwer, 1997
Main idea of Riemann surfaces:
Given a function of a complex variable , make single valued by using various copies of (or parts of it in case of functions with natural boundaries of analyticity) and glue these copies properly together.
Older visualizations
old
sketches and
plaster models
Why visualize Riemann surfaces today?
It's intrumental for teaching.
"We see every day how difficult it is for the newcomer to grasp the idea of a Riemann surface and how he owns the whole theory once he has understood this fundamental concept." ("Wir sehen noch täglich, wie hart es dem Neuling ankommt, das Wesen der Riemannschen Fläche zu begreifen, und wie er auf einmal die ganze Theorie besitzt, wenn er die fundamentale Vorstellungsweise erfasst hat.") F. Klein Jahresber. DMV 1895
"The Riemann surface is a very valuable, very suggestive thing to materialize and visualize the multi--valuedness of functions." ("Die Riemannsche Fläche [ist ein] sehr wertvolles, sehr suggestives Mittel zur Vergegenwärtigung und Veranschaulichung der Vieldeutigkeit von Funktionen.") H. Weyl. Die Idee der Riemannschen Fläche, Teubner 1913
It's a popular subject.
- Field theories on Riemann surfaces
- Altavista
search for "Riemann Surface*" --> > 3000 matches
Computer algebra meets analytic functions.
- All analytic functions are based on Taylor--, Laurent--, and
Puisseux series
- Puisseux series have fractional powers or
logarithms
--> branch cuts of all functions
follow uniquely from branch cuts of Log
and Power
Example: textbook branch cut:
![[Graphics:../Images/TalkGD99_gr_7.gif]](../Images/TalkGD99_gr_7.gif)
![[Graphics:../Images/TalkGD99_gr_8.gif]](../Images/TalkGD99_gr_8.gif)
The URL
http://www.specialfunctions.com
goal : Riemann surfaces for all special functions this talk : compositions of elementary functions
Poster
Photograph
Interactive 3D graphics and contour integral representations of special functions.
The beta function B can be represented by the following integral
![[Graphics:../Images/TalkGD99_gr_10.gif]](../Images/TalkGD99_gr_10.gif)
Here C is a contour which encloses the point and in a way which is topologically equivalent to the following:
![[Graphics:../Images/TalkGD99_gr_13.gif]](../Images/TalkGD99_gr_13.gif)
An example showing this path on a Riemann surface:
![[Graphics:../Images/TalkGD99_gr_14.gif]](../Images/TalkGD99_gr_14.gif)
A simple example:
Find a parametrization.
![[Graphics:../Images/TalkGD99_gr_16.gif]](../Images/TalkGD99_gr_16.gif)
![[Graphics:../Images/TalkGD99_gr_17.gif]](../Images/TalkGD99_gr_17.gif)
Choose the imaginary part of as a representation of the Riemann
surface. Rewriting in polar form as --> parametric representation :
![[Graphics:../Images/TalkGD99_gr_22.gif]](../Images/TalkGD99_gr_22.gif)
![[Graphics:../Images/TalkGD99_gr_23.gif]](../Images/TalkGD99_gr_23.gif)
A more complicated example: (or )
Find all branch cuts.
![[Graphics:../Images/TalkGD99_gr_26.gif]](../Images/TalkGD99_gr_26.gif)
![[Graphics:../Images/TalkGD99_gr_27.gif]](../Images/TalkGD99_gr_27.gif)
Using ContourPlot one can see the branch cuts nicely--they form clusters of contour lines.
![[Graphics:../Images/TalkGD99_gr_28.gif]](../Images/TalkGD99_gr_28.gif)
![[Graphics:../Images/TalkGD99_gr_29.gif]](../Images/TalkGD99_gr_29.gif)
![[Graphics:../Images/TalkGD99_gr_30.gif]](../Images/TalkGD99_gr_30.gif)
![[Graphics:../Images/TalkGD99_gr_31.gif]](../Images/TalkGD99_gr_31.gif)
![[Graphics:../Images/TalkGD99_gr_32.gif]](../Images/TalkGD99_gr_32.gif)
![[Graphics:../Images/TalkGD99_gr_33.gif]](../Images/TalkGD99_gr_33.gif)
Further
pictures with simple branch cuts
One more example (accidentally easily doable):
Use natural parametrization.
![[Graphics:../Images/TalkGD99_gr_36.gif]](../Images/TalkGD99_gr_36.gif)
![[Graphics:../Images/TalkGD99_gr_37.gif]](../Images/TalkGD99_gr_37.gif)
The inverse trigonometric functions
![[Graphics:../Images/TalkGD99_gr_38.gif]](../Images/TalkGD99_gr_38.gif)
![[Graphics:../Images/TalkGD99_gr_39.gif]](../Images/TalkGD99_gr_39.gif)
![[Graphics:../Images/TalkGD99_gr_40.gif]](../Images/TalkGD99_gr_40.gif)
A hopeless example:
![[Graphics:../Images/TalkGD99_gr_42.gif]](../Images/TalkGD99_gr_42.gif)
![[Graphics:../Images/TalkGD99_gr_43.gif]](../Images/TalkGD99_gr_43.gif)
|