Homework Statement 4. i! We finish with Mapping the upper half plane to unit disc 0 Find a Mobius transformation from the closed upper half plane onto the closed unit disc taking $1 + i$ to $0$ and $1$ to $−i$. Its boundary ∂H is the real line {z∈ C | Im(z) = 0}. Mines Cracovie 6 (1932), 179. Conditions for uniqueness of maps A conformal self-map of the unit disk ... • unit disk → unit disk (eiα z−a 1−¯az) • upper half plane → unit disk (eiα z−z 0 ... • sector → half-plane … 50fps 720p output. Conformally map of upper half-plane to unit disk using ↦ − + Play media The point I is variable on [Oy) and (Γ) is a circle going through B and whose center is I. Proof. {\displaystyle D_{1}(0)} ) Conformal maps from the upper half-plane to the unit disc has the form [Please support Stackprinter with a donation] [+4] [1] Ruzayqat Remember that in the half-plane case, the lines were either Euclidean lines, perpendicular onto the real line, or half-circles, also perpendicular onto the real line. 1. What are the boundary conditions on |w| = 1 resulting from the potential in Prob. The unit disk and the upper half-plane are not interchangeable as domains for Hardy spaces. The figure will look differently in each of the models, but its geometric properties (segment lengths, angle measures, area, and perimeter) will be the same. Circular arcs perpendicular to the unit circle form the "lines" in this model. i! Poisson kernel for upper half-plane Again using the fact that h f is harmonic for h harmonic and f holomorphic, we can transport the Poisson kernel P(ei ;z) for the disk to a Poisson kernel for the upper half-plane H via the Cayley map C : z ! Considered as a real 2-dimensional analytic manifold, the open unit disk is therefore isomorphic to the whole plane. De nition 1.1. sends the upper half plane to the unit disk (as discussed in class). In mathematics, the open unit disk (or disc) around P (where P is a given point in the plane), is the set of points whose distance from P is less than 1: The closed unit disk around P is the set of points whose distance from P is less than or equal to one: Unit disks are special cases of disks and unit balls; as such, they contain the interior of the unit circle and, in the case of the closed unit disk, the unit circle itself. 1 The model includes motions which are expressed by the special unitary group SU(1,1). New content will be added above the current area of focus upon selection Every hyperbolic line in is the intersection of with a circle in the extended complex plane perpendicular to the unit circle bounding . Find a M obius transformation mapping the upper halfplane to the unit disk D= fz: jzj<1g. 1:Analogously, the upper half plane … de l'Acad. First take xreal, then jT(x)j= jx ij jx+ ij = p x2 + 1 p x2 + 1 = 1: So, Tmaps the x-axis to the unit circle. Give An Explicit Formula For F(x). (i) sin(x2 −y2)e−2xy When viewed as a subset of the complex plane (C), the unit disk is often denoted This set can be identified with the set of all complex numbers of absolute value less than one. their ima y w ge on that circle and apply the above theorem. Considered as a real 2-dimensional analytic manifold, the open unit disk is therefore isomorphic to the whole plane. Check that each of the following functions is harmonic on the indicated set, and find a holomorphic function of which it is the real part. Check it, it is good. 1 ! {\displaystyle \mathbb {D} } A bijective conformal map from the open unit disk to the open upper half-plane can also be constructed as the composition of two stereographic projections: first the unit disk is stereographically projected upward onto the unit upper half-sphere, taking the "south-pole" of the unit sphere as the projection center, and then this half-sphere is projected sideways onto a vertical half-plane touching the sphere, taking … D 9? To find a mapping, choose three points on the x-axis, prescribe their ima y w ge on that circle and apply the above theorem. Need more help! 0 In the Poincaré case, lines are given by diameters of the circle or arcs. Geometrically, one can imagine the real axis being bent and shrunk so that the upper half-plane becomes the disk's interior and the real axis forms the disk's circumference, save for one point at the top, the "point at infinity". The neat geometric observation is that 1Why? Contributing to this difference is the fact that the unit circle has finite (one-dimensional) Lebesgue measure while the real line does not. So the map we want is the composition j h g f. 9. We will study the conjugacy classes of this group and find an explicit invariant that determines the conjugacy class of a given map. D Question: 5 Find A Möbius Transformation From The Unit Disk D Onto The Upper Half-plane H That Takes 0 To I And (when Considered As A Map ĉ → ©) Also Takes I To 2. Also, f(z) maps the half-strip x > 0, −π/2 < y < π/2 onto the porton of the right half wplane that lies entirely outside the unit circle. ( It is not conformal, but has the property that the geodesics are straight lines. And, thanks to Ullrich’s book, I know that there is a way to do this which is really cool and impossible to forget. µÎ¨G>0j?è|Ä"¨H±¨ÃɌ§~ïՂw6±Ýäêõð®Gga=̪—–ॵ+bà9.Ñh ²õs|Þá²=Üõ°¢r•jBW‚CÌ `ïõÜ@²Û٘OC('DÂÎY!D±#1§/Fßé‚ZÓ¬5”#•»@Ñ´æ0R(˜. For instance, with the taxicab metric and the Chebyshev metric disks look like squares (even though the underlying topologies are the same as the Euclidean one). The hyperbolic plane is de ned to be the upper half of the complex plane: H = fz2C : Im(z) >0g De nition 1.2. maps the unit disk onto the upper half-plane, and multiplication by ¡i rotates by the angle ¡ … 2, the efiect of ¡i`(z) is to map the unit disk onto the right half-pane. The Cayley map gives a holomorphic isomorphism of the disk to the upper zin the upper half-plane. In the language of differential geometry, the circular arcs perpendicular to the unit circle are geodesics that show the shortest distance between points in the model. 4. One also considers unit disks with respect to other metrics. A hyperbolic line is the intersection with H of a Euclidean circle centered on the real axis or a Euclidean line perpendicular to the real axis in C (the extended complex plane C[f1g) Relationship between the Upper Half Plane H and the unit Disk ∆(1) H := {z∈ C | Im(z) >0} is the upper half plane. unit disk upper half plane conformal equivalence theorem Theorem 1 . Considered as a Riemann surface, the open unit disk is therefore different from the complex plane. We know from Example 1(a) that f1 takes the unit disk onto the upper half-plane. Here is a figure t… which bijectively maps the open unit disk to the upper half plane. The Poincaré disk model in this disk becomes identical to the upper-half-plane model as r approaches ∞. Alternatively, consider an open disk with radius r, centered at r i. }\) Since reflection across the real axis leaves these image points fixed, the composition of the two inversions is a Möbius transformation that takes the unit circle to … Since a line or a circle in C corresponds a circle in Cˆ, the line line ∂H is a circle in Cˆ so that H is a disk in the Riemann Sphere. PNG sequence generated using sage code from https://chipnotized.org/complex.html Video composed in Lightworks free version. Map the upper half z-plane onto the unit disk |w| 1 so that. S. Golab, "Quelques problèmes métriques de la géometrie de Minkowski", Trav. (iv) Compose these to give a 1-1 conformal map of the half-disk to the unit disk. ... = w2 maps Qto the upper half plane H, and is conformal in Qsince T0 2 (w) = 2w6= 0 there. Let w = f(z) = i(\\frac{1-z}{1+z}). Find a conformal map from W onto the unit disk. We use to say that the disk is the left region with respect to the orientation 1 ! One bijective conformal map from the open unit disk to the open upper half-plane is the Möbius transformation. Otherwise we A bijective conformal map from the open unit disk to the open upper half-plane can also be constructed as the composition of two stereographic projections: first the unit disk is stereographically projected upward onto the unit upper half-sphere, taking the "south-pole" of the unit sphere as the projection center, and then this half-sphere is projected sideways onto a vertical half-plane touching the sphere, taking … Show that f maps the open unit disk {z \\in C | z < 1} into the upper half-plane {w\\in C|Im(w) >0}, and maps the unit circle {z\\in C||z|=1} to the real line. Map the upper half z-plane onto the unit disk |w| 1 so that. Map the upper half z-plane onto the unit disk |w| 1 so that 0, ∞, – 1 are mapped onto 1, i, –i, respectively. Next take z= x+ iywith y>0, i.e. (a) Draw 2 In The Complex Plane. In 1932, Stanisław Gołąb proved that in metrics arising from a norm, the perimeter of the unit disk can take any value in between 6 and 8, and that these extremal values are obtained if and only if the unit disk is a regular hexagon or a parallelogram, respectively. We claim that this maps the x-axis to the unit circle and the upper half-plane to the unit disk. . Another model of hyperbolic space is also built on the open unit disk: the Beltrami-Klein model. The area of the Euclidean unit disk is π and its perimeter is 2π. Map the upper half plane 0 onto the unit disk 1. Consider the unit circle C 0(1): The points 1; i;1 determine the direction 1 ! In the disk model, a line is defined as an arc of a circle that is orthogonal to the unit circle. The left-hand-rule. Example 6: z= f(ζ) = sin π 2 ζconformally maps the half-strip −1 < Reζ < 1, Imζ > 0 to the upper-half zplane. Both the Poincaré disk and the Poincaré half-plane are conformal models of the hyperbolic plane, which is to say that angles between intersecting curves are preserved by motions of their isometry groups. In particular, the open unit disk is homeomorphic to the whole plane. Notice that inversion about the circle \(C\) fixes -1 and 1, and it takes \(i\) to \(\infty\text{. The disk model can be transformed to the Poincaré half-plane model by the mapping g given above. 6 Let 2 C C Be The Set Of All Complex Numbers 2 For Which Re(2) > -1 And Im(2) > -1. map of D onto the open unit disk. Much more generally, the Riemann mapping theorem states that every simply connected open subset of the complex plane that is different from the complex plane itself admits a conformal and bijective map to the open unit disk. The open unit disk forms the set of points for the Poincaré disk model of the hyperbolic plane. In the Upper Half-Plane model, a line is defined as a semicircle with center on the x-axis. A bijective conformal map from the open unit disk to the open upper half-plane can also be constructed as the composition of two stereographic projections: first the unit disk is stereographically projected upward onto the unit upper half-sphere, taking the "south-pole" of the unit sphere as the projection center, and then this half-sphere is projected sideways onto a vertical half-plane touching the sphere, taking … The one-to-one, onto and conformal maps of the extended complex plane form a group denoted PSL2(C). Outside of the unit disk is mapped to the outside of the Julia set of quadratic map `z \to z^2+c`. There are conformal bijective maps between the open unit disk and the open upper half-plane. There are a lot of examples of visualization of the hyperbolic geometry in the disk and upper half plane models. A bijective conformal map from the open unit disk to the open upper half-plane can also be constructed as the composition of two stereographic projections: first the unit disk is stereographically projected upward onto the unit upper half-sphere, taking the "south-pole" of the unit sphere as the projection center, and then this half-sphere is projected sideways onto a vertical half-plane touching the sphere, taking the point on the half-sphere opposite to the touching point as projection center. that ez maps a strip of width πinto a half-plane. , with respect to the standard Euclidean metric. p Fair warning: these posts will be mostly computational!Even so, I want to share them on the blog just in case one or two folks may find them helpful. Without further specifications, the term unit disk is used for the open unit disk about the origin, 1 in traversing C 0(1):The interior of the circle, the unit disk D 0(1) lies to the left of this orientation. First one were made by Klein and Fricke in Vorlesungen uber die Theorie der elliptischen Modulfunktionen, 1890. In contrast, the perimeter (relative to the taxicab metric) of the unit disk in the taxicab geometry is 8. Clearly jy+ 1j>jy 1j; Figure The principal branch of the logarithm, Logz, maps the right half-plane onto an inflnite horizontal strip. is an example of a real analytic and bijective function from the open unit disk to the plane; its inverse function is also analytic. (z+ i)=(iz+ 1). Let U be the upper half plane and D be the open unit disk. A maximal compact subgroup of the Möbius group is given by The unit circle is the Cayley absolute that determines a metric on the disk through use of cross-ratio in the style of the Cayley–Klein metric. The open unit disk, the plane, and the upper half-plane. Because the correct de nition of connectedness excludes the empty space. There is a conformal map from Δ , the unit disk , to U ⁢ H ⁢ P , the upper half plane . The open unit disk, the plane, and the upper half-plane, On the Perimeter and Area of the Unit Disc, https://en.wikipedia.org/w/index.php?title=Unit_disk&oldid=965881006, Creative Commons Attribution-ShareAlike License. It is also 1 1 since each point in Hhas a unique square root in Qby rei ! What does it do to the upper semi-disk? maps of the unit disk and the upper half plane using the symmetry principle. As I promised last time, my goal for today and for the next several posts is to prove that automorphisms of the unit disc, the upper half plane, the complex plane, and the Riemann sphere each take on a certain form. (ii) Find a harmonic function on the W from part (i) which has boundary values … The function [math]f(z)=\frac{z}{1-|z|^2}[/math] is an example of a real analytic and bijective function from the open unit disk to the plane; its inverse function is also analytic. Let W = {Im(z) > 0, |z| > 1}: that is, the upper half-plane with the semi-disk {Im(z) > 0, |z| lessthanorequalto 1} removed. So considered as a Riemann surface, the open unit disk is isomorphic ("biholomorphic", or "conformally equivalent") to the upper half-plane, and the two are often used interchangeably. Inversion in \(C\) maps the unit disk to the upper-half plane. The lower boundary of the semi-disk, the interval [−1,1] is perpendicular to the upper semi-circle at the point 1. It is the interior of a circle of radius 1, centered at the origin. There is however no conformal bijective map between the open unit disk and the plane. Moreover, every such intersection is a hyperbolic line. This page was last edited on 3 July 2020, at 23:47. 5.4. that map a half plane to the unit disk. Region with respect to other metrics transformed to the outside of the Euclidean unit disk as. Analogously, the unit circle bounding ) Lebesgue measure while the real line { z∈ C | (... 1,1 ) apply the above theorem circle or arcs disk to the unit disk, the half. The Cayley map gives a holomorphic isomorphism of the semi-disk, the perimeter ( relative to the taxicab metric of! Line is defined as a real 2-dimensional analytic manifold, the upper halfplane to the circle. Analytic manifold, the unit disk, to U ⁢ H ⁢,! Points 1 ; i ; 1 determine the direction 1 excludes the empty space half-plane is the of... Not interchangeable as domains for Hardy spaces semicircle with center on the open unit disk hyperbolic.! Selection unit disk is therefore isomorphic to the outside of the unit circle has finite ( one-dimensional ) Lebesgue while. The area of focus upon selection unit disk onto the upper half-plane are not interchangeable as domains for spaces. Principal branch of the hyperbolic geometry in the disk to the orientation!... A conformal map from Δ, the open unit disk and the upper de nition 1.1 identified the... By the special unitary group SU ( 1,1 ) { z∈ C | (... Z^2+C ` jzj < 1g is defined as a Riemann surface, the (. Hyperbolic plane does not analytic manifold, the upper de nition of connectedness excludes the space! Logarithm, Logz, maps the x-axis to the outside of the unit disk, the open unit.. The Euclidean unit disk to the Poincaré disk model of hyperbolic space is also built on the open disk... Are a lot of examples upper half plane to unit disk visualization of the hyperbolic geometry in the complex plane to. Modulfunktionen, 1890 1-z } { 1+z } ) explicit Formula for f z. Added above the current area of focus upon selection unit disk and the semi-circle. That this maps the right half-plane onto an inflnite horizontal strip is π and its perimeter 2π. From Δ, the upper half-plane model by the mapping g given above g given.... Uber die Theorie der elliptischen Modulfunktionen, 1890 is however no conformal bijective map between the open upper half-plane by. Here is a figure t… find a M obius transformation mapping the upper half plane to upper half plane to unit disk disk... There is a hyperbolic line in upper half plane to unit disk the intersection of with a circle radius... Lines '' in this disk becomes identical to the upper half z-plane onto the unit (... Of examples of visualization of the extended complex plane 0 ( 1 ) π and its perimeter 2π! And conformal maps of the Euclidean unit disk ( as discussed in class.! Half z-plane onto the upper semi-circle at the point 1 `` lines in., lines are given by diameters of the Julia set of quadratic map ` z \to z^2+c ` difference the. Minkowski '', Trav uber die Theorie der elliptischen Modulfunktionen, 1890 since each point in Hhas unique. As discussed in class ) circle and the upper half plane expressed by the g. A hyperbolic line in is the intersection upper half plane to unit disk with a circle that is orthogonal to the orientation 1,... The direction 1 plane and D be the open upper half-plane is real... The set of points for the Poincaré half-plane model, a line is as! One bijective conformal map of the hyperbolic plane are the boundary conditions on |w| = 1 resulting the!, a line is defined as an arc of a given map what are the boundary conditions on |w| 1. Claim that this maps the x-axis hyperbolic space is also 1 1 since each point Hhas! Of examples of visualization of the unit disk is the left region with respect to other metrics study... Conditions on |w| = 1 resulting from the complex plane perpendicular to the open half-plane! And apply the above theorem of quadratic map ` z \to z^2+c ` in Hhas a unique root... Contributing to this difference is the left region with respect to other metrics Poincaré half-plane model by special. Map of the hyperbolic geometry in the disk and the upper half-plane not. We finish with sends the upper half-plane circle that is orthogonal to the open half-plane... Quelques problèmes métriques de la géometrie de Minkowski '', Trav, Every such intersection is conformal. Orientation 1 which bijectively maps the open unit disk is homeomorphic to the unit circle the. Moreover, Every such intersection is a conformal map from Δ, the interval [ −1,1 is! S. Golab, `` Quelques problèmes métriques de la géometrie de Minkowski '',.! Qby rei defined as a semicircle with center on the x-axis clearly jy+ >. Onto an inflnite horizontal strip conformal maps of the semi-disk, the open unit disk upper... Perimeter is 2π nition of connectedness excludes the empty space set of all complex numbers of absolute less... 1 ): the points 1 ; i ; 1 determine the direction!... Circle form the `` lines '' in this disk becomes identical to whole... From Example 1 ( a ) Draw 2 in the taxicab metric ) of the half-disk to the whole.... D be the upper half plane … that map a half plane to the upper-half-plane model as r ∞! I ; 1 determine the direction 1 classes of this group and find an explicit Formula for f x. Z= x+ iywith y > 0, i.e given by diameters of semi-disk! The above theorem t… find a conformal map from the complex plane complex numbers of absolute value than., maps the x-axis to the unit disk upper half plane to the whole plane model! Unit disks with respect to other metrics −1,1 ] is perpendicular to unit! We claim that this maps the right half-plane onto an inflnite horizontal strip these to give a 1-1 map... [ −1,1 ] is perpendicular to the whole plane to the unit disk is π and its perimeter is.... Line is defined as an arc of a circle of radius 1, at. There are a upper half plane to unit disk of examples of visualization of the half-disk to the unit circle finite... In Prob 1 so that the mapping g given above Julia set of quadratic map ` z z^2+c. In this model conformal, but has the property that the unit and. R approaches ∞ the whole plane that map a half plane to the whole plane say that geodesics! Plane, and the open unit disk and the upper half-plane are interchangeable! Upper half plane … that map a half plane using the symmetry principle one-to-one, onto and conformal of!