Laplacian vector field

Stellated regular heptagonal tiling of the model

In non-Euclidean geometry, the Poincaré half-plane model is the upper half-plane (denoted below as H), together with a metric, the Poincaré metric, that makes it a model of two-dimensional hyperbolic geometry.

It is named after Henri Poincaré, but originated with Eugenio Beltrami, who used it, along with the Klein model and the Poincaré disk model (due to Riemann), to show that hyperbolic geometry was equiconsistent with Euclidean geometry. The disk model and the half-plane model are isomorphic under a conformal mapping.

Metric

The metric of the model on the half-plane

$\{⟨x,y⟩|y>0\}$

is given by

$(ds{)}^2=\frac{(dx{)}^2+(dy{)}^2}{y^2}$

where s measures length along a possibly curved line. The straight lines in the hyperbolic plane (geodesics for this metric tensor, i.e. curves which minimize the distance) are represented in this model by circular arcs perpendicular to the x-axis (half-circles whose origin is on the x-axis) and straight vertical lines ending on the x-axis. The distance between two points measured in this metric along such a geodesic is

$\mathrm{dist}(⟨x_1,y_1⟩,⟨x_2,y_2⟩)=\mathrm{arcosh}(1+\frac{{(x_2-x_1)}^2+{(y_2-y_1)}^2}{2y_1{y}_2}).$

This model is conformal which means that the angles measured at a point are the same in the model as they are in the actual hyperbolic plane.

This can be generalized to model an n+1 dimensional hyperbolic space by replacing the real number x by a vector in an n dimensional Euclidean vector space.

Special curves

In addition to the straight lines mentioned above, there are other special curves on the hyperbolic plane which can be modeled in the Euclidean half-plane:

• A circle (curve equidistant from a central point) with center $⟨x,y⟩$ and radius $R$ is modeled by a circle with center $⟨x,y\cosh R⟩$ and radius $y\sinh R.$
• A curve equidistant from a straight line is modeled by either a circular arc which intersects the x-axis at the same two points as the half-circle which models the given line, or by a straight line which intersects the x-axis at the same point as the vertical line which models the given line.
• An horocycle (a curve which is like a circle with an infinite radius) is modeled by a circle tangent to the x-axis (but excluding the point of intersection), or by a line parallel to the x-axis. An horocycle is a limit on one side of a sequence of ever larger circles tangent at the same point to a given line; on the other side it is a limit of a sequence of curves equidistant from straight lines which are ever further away.

Constructing the curves

DTZ's public sale group in Singapore auctions all forms of residential, workplace and retail properties, outlets, homes, lodges, boarding homes, industrial buildings and development websites. Auctions are at present held as soon as a month.

We will not only get you a property at a rock-backside price but also in an space that you've got longed for. You simply must chill out back after giving us the accountability. We will assure you 100% satisfaction. Since we now have been working in the Singapore actual property market for a very long time, we know the place you may get the best property at the right price. You will also be extremely benefited by choosing us, as we may even let you know about the precise time to invest in the Singapore actual property market.

The Hexacube is offering new ec launch singapore business property for sale Singapore investors want to contemplate. Residents of the realm will likely appreciate that they'll customize the business area that they wish to purchase as properly. This venture represents one of the crucial expansive buildings offered in Singapore up to now. Many investors will possible want to try how they will customise the property that they do determine to buy by means of here. This location has offered folks the prospect that they should understand extra about how this course of can work as well.

Singapore has been beckoning to traders ever since the value of properties in Singapore started sky rocketing just a few years again. Many businesses have their places of work in Singapore and prefer to own their own workplace area within the country once they decide to have a everlasting office. Rentals in Singapore in the corporate sector can make sense for some time until a business has discovered a agency footing. Finding Commercial Property Singapore takes a variety of time and effort but might be very rewarding in the long term.

is changing into a rising pattern among Singaporeans as the standard of living is increasing over time and more Singaporeans have abundance of capital to invest on properties. Investing in the personal properties in Singapore I would like to applaud you for arising with such a book which covers the secrets and techniques and tips of among the profitable Singapore property buyers. I believe many novice investors will profit quite a bit from studying and making use of some of the tips shared by the gurus." – Woo Chee Hoe Special bonus for consumers of Secrets of Singapore Property Gurus Actually, I can't consider one other resource on the market that teaches you all the points above about Singapore property at such a low value. Can you? Condominium For Sale (D09) – Yong An Park For Lease

In 12 months 2013, c ommercial retails, shoebox residences and mass market properties continued to be the celebrities of the property market. Models are snapped up in report time and at document breaking prices. Builders are having fun with overwhelming demand and patrons need more. We feel that these segments of the property market are booming is a repercussion of the property cooling measures no.6 and no. 7. With additional buyer's stamp responsibility imposed on residential properties, buyers change their focus to commercial and industrial properties. I imagine every property purchasers need their property funding to understand in value. Here is how one can use compass and straightedge constructions in the model to achieve the effect of the basic constructions in the hyperbolic plane. For example, how to construct the half-circle in the Euclidean half-plane which models a line on the hyperbolic plane through two given points.

• Creating the line through two existing points:

Draw the line segment between the two points. Construct the perpendicular bisector of the line segment. Find its intersection with the x-axis. Draw the circle around the intersection which passes through the given points. Erase the part which is on or below the x-axis.

Or in the special case where the two given points lie on a vertical line, draw that vertical line through the two points and erase the part which is on or below the x-axis.

• Creating the circle through one point with center another point:

Draw the radial line (half-circle) between the two given points as in the previous case. Construct a tangent to that line at the non-central point. Drop a perpendicular from the given center point to the x-axis. Find the intersection of these two lines to get the center of the model circle. Draw the model circle around that new center and passing through the given non-central point.

Or if the two given points lie on a vertical line and the given center is above the other given point, then draw a horizontal line through the non-central point. Draw a circle around the intersection of the vertical line and the x-axis which passes through the given central point. Construct the tangent to that circle at its intersection with the horizontal line. The midpoint between the intersection of the tangent with the vertical line and the given non-central point is the center of the model circle. Draw the model circle around that new center and passing through the given non-central point.

Or if the two given points lie on a vertical line and the given center is below the other given point, then draw a circle around the intersection of the vertical line and the x-axis which passes through the given central point. Draw a line tangent to the circle which passes through the given non-central point. Draw a horizontal line through that point of tangency and find its intersection with the vertical line. The midpoint between that intersection and the given non-central point is the center of the model circle. Draw the model circle around that new center and passing through the given non-central point.

• Creating the point which is the intersection of two existing lines, if they intersect:

Find the intersection of the two given semicircles (or vertical lines).

• Creating the one or two points in the intersection of a line and a circle (if they intersect):

Find the intersection of the given semicircle (or vertical line) with the given circle.

• Creating the one or two points in the intersection of two circles (if they intersect):

Find the intersection of the two given circles.

Symmetry groups

The projective linear group PGL(2,C) acts on the Riemann sphere by the Möbius transformations. The subgroup that maps the upper half-plane, H, onto itself is PSL(2,R), the transforms with real coefficients, and these act transitively and isometrically on the upper half-plane, making it a homogeneous space.

There are four closely related Lie groups that act on the upper half-plane by fractional linear transformations and preserve the hyperbolic distance.

• The special linear group SL(2,R) which consists of the set of 2×2 matrices with real entries whose determinant equals +1. Note that many texts (including Wikipedia) often say SL(2,R) when they really mean PSL(2,R).
• The group S*L(2,R) consisting of the set of 2×2 matrices with real entries whose determinant equals +1 or −1. Note that SL(2,R) is a subgroup of this group.
• The projective special linear group PSL(2,R) = SL(2,R)/{±I}, consisting of the matrices in SL(2,R) modulo plus or minus the identity matrix.
• The group PS^*L(2,R) = S^*L(2,R)/{±I}=PGL(2,R) is again a projective group, and again, modulo plus or minus the identity matrix. PSL(2,R) is contained as an index-two normal subgroup, the other coset being the set of 2×2 matrices with real entries whose determinant equals −1, modulo plus or minus the identity.

The relationship of these groups to the Poincaré model is as follows:

• The group of all isometries of H, sometimes denoted as Isom(H), is isomorphic to PS^*L(2,R). This includes both the orientation preserving and the orientation-reversing isometries. The orientation-reversing map (the mirror map) is $z\to -\bar{z}$.
• The group of orientation-preserving isometries of H, sometimes denoted as Isom⁺(H), is isomorphic to PSL(2,R).

Important subgroups of the isometry group are the Fuchsian groups.

One also frequently sees the modular group SL(2,Z). This group is important in two ways. First, it is a symmetry group of the square 2x2 lattice of points. Thus, functions that are periodic on a square grid, such as modular forms and elliptic functions, will thus inherit an SL(2,Z) symmetry from the grid. Second, SL(2,Z) is of course a subgroup of SL(2,R), and thus has a hyperbolic behavior embedded in it. In particular, SL(2,Z) can be used to tessellate the hyperbolic plane into cells of equal (Poincaré) area.

Isometric symmetry

The group action of the projective special linear group PSL(2,R) on H is defined by

$\left(\begin{array}{cc}a& b\\ c& d\\ \end{array}\right)\cdot z=\frac{az+b}{cz+d}=\frac{(ac|z{|}^2+bd+(ad+bc)\mathrm{\Re }(z))+i\mathrm{\Im }(z)}{|cz+d{|}^2}.$

Note that the action is transitive, in that for any $z_1,z_2\in \mathbb{ℍ}$, there exists a $g\in \mathrm{P}\mathrm{S}\mathrm{L}(2,\mathbb{ℝ})$ such that $g{z}_1=z_2$. It is also faithful, in that if $gz=z$ for all z in H, then g=e.

The stabilizer or isotropy subgroup of an element z in H is the set of $g\in \mathrm{P}\mathrm{S}\mathrm{L}(2,\mathbb{ℝ})$ which leave z unchanged: gz=z. The stabilizer of i is the rotation group

$\mathrm{S}\mathrm{O}(2)=\{\left(\begin{array}{cc}\cos \theta & \sin \theta \\ -\sin \theta & \cos \theta \\ \end{array}\right):\theta \in \mathbf{R}\}.$

Since any element z in H is mapped to i by some element of PSL(2,R), this means that the isotropy subgroup of any z is isomorphic to SO(2). Thus, H = PSL(2,R)/SO(2). Alternatively, the bundle of unit-length tangent vectors on the upper half-plane, called the unit tangent bundle, is isomorphic to PSL(2,R).

The upper half-plane is tessellated into free regular sets by the modular group SL(2,Z).

Geodesics

The geodesics for this metric tensor are circular arcs perpendicular to the real axis (half-circles whose origin is on the real axis) and straight vertical lines ending on the real axis.

The unit-speed geodesic going up vertically, through the point i is given by

$\gamma (t)=\left(\begin{array}{cc}{e}^{t/2}& 0\\ 0& e^{-t/2}\\ \end{array}\right)\cdot i=i{e}^t.$

Because PSL(2,R) acts transitively by isometries of the upper half-plane, this geodesic is mapped into the other geodesics through the action of PSL(2,R). Thus, the general unit-speed geodesic is given by

$\gamma (t)=\left(\begin{array}{cc}a& b\\ c& d\\ \end{array}\right)\left(\begin{array}{cc}{e}^{t/2}& 0\\ 0& e^{-t/2}\\ \end{array}\right)\cdot i=\frac{ai{e}^t+b}{ci{e}^t+d}.$

This provides the complete description of the geodesic flow on the unit-length tangent bundle (complex line bundle) on the upper half-plane.

See also

• Angle of parallelism
• Anosov flow
• Fuchsian group
• Fuchsian model
• Kleinian group
• Kleinian model
• Models of the hyperbolic plane
• Poincaré metric
• Poincaré disk model
• Pseudosphere
• Schwarz-Alhfors-Pick theorem
• Ultraparallel theorem

References

• Eugenio Beltrami, Teoria fondamentale degli spazi di curvatura constante, Annali. di Mat., ser II 2 (1868), 232–255
• Henri Poincaré (1882) "Théorie des Groupes Fuchsiens", Acta Mathematica v.1, p. 1. First article in a legendary series exploiting the half-plane model. An archived copy is freely available. On page 52 one can see an example of the semicircle diagrams so characteristic of the model.
• Hershel M. Farkas and Irwin Kra, Riemann Surfaces (1980), Springer-Verlag, New York. ISBN 0-387-90465-4.
• Jurgen Jost, Compact Riemann Surfaces (2002), Springer-Verlag, New York. ISBN 3-540-43299-X (See Section 2.3).
• Saul Stahl, The Poincaré Half-Plane, Jones and Bartlett, 1993, ISBN 0-86720-298-X.
• John Stillwell (1998) Numbers and Geometry,pp. 100–104, Springer-Verlag,NY ISBN 0-387-98289-2 .An elementary introduction to the Poincaré half-plane model of the hyperbolic plane.