Linear fractional transformation

Last updated November 07, 2023

In mathematics, a linear fractional transformation is, roughly speaking, an invertible transformation of the form

In the most basic setting, $a, b, c, d$ , and $z$ are complex numbers (in which case the transformation is also called a Möbius transformation), or more generally elements of a field. The invertibility condition is then $ad - bc \neq 0$ . Over a field, a linear fractional transformation is the restriction to the field of a projective transformation or homography of the projective line.

When $a, b, c, d$ are integer (or, more generally, belong to an integral domain), $z$ is supposed to be a rational number (or to belong to the field of fractions of the integral domain. In this case, the invertibility condition is that $ad - bc$ must be a unit of the domain (that is $1$ or $-1$ in the case of integers).^[1]

In the most general setting, the $a, b, c, d$ and $z$ are elements of a ring, such as square matrices. An example of such linear fractional transformation is the Cayley transform, which was originally defined on the 3 × 3 real matrix ring.

Linear fractional transformations are widely used in various areas of mathematics and its applications to engineering, such as classical geometry, number theory (they are used, for example, in Wiles's proof of Fermat's Last Theorem), group theory, control theory.

General definition

In general, a linear fractional transformation is a homography of $P(A)$ , the projective line over a ring $A$ . When $A$ is a commutative ring, then a linear fractional transformation has the familiar form

z\mapsto {\frac {az+b}{cz+d}},

where $a, b, c, d$ are elements of $A$ such that $ad - bc$ is a unit of $A$ (that is $ad - bc$ has a multiplicative inverse in $A$ )

In a non-commutative ring $A$ , with $(z, t)$ in $A 2$ , the units $u$ determine an equivalence relation $(z,t)\sim (uz,ut).$ An equivalence class in the projective line over A is written $U [z : t]$ , where the brackets denote projective coordinates. Then linear fractional transformations act on the right of an element of $P(A)$ :

U[z:t]{\begin{pmatrix}a&c\\b&d\end{pmatrix}}=U[za+tb:\ zc+td]\sim U[(zc+td)^{-1}(za+tb):\ 1].

The ring is embedded in its projective line by $z \to U [z : 1]$ , so $t = 1$ recovers the usual expression. This linear fractional transformation is well-defined since $U [za + tb : zc + td]$ does not depend on which element is selected from its equivalence class for the operation.

The linear fractional transformations over $A$ form a group, denoted $\operatorname {PGL} _{1}(A).$

The group $\operatorname {PGL} _{1}(\mathbb {Z} )$ of the linear fractional transformations is called the modular group. It has been widely studied because of its numerous applications to number theory, which include, in particular, Wiles's proof of Fermat's Last Theorem.

Use in hyperbolic geometry

In the complex plane a generalized circle is either a line or a circle. When completed with the point at infinity, the generalized circles in the plane correspond to circles on the surface of the Riemann sphere, an expression of the complex projective line. Linear fractional transformations permute these circles on the sphere, and the corresponding finite points of the generalized circles in the complex plane.

To construct models of the hyperbolic plane the unit disk and the upper half-plane are used to represent the points. These subsets of the complex plane are provided a metric with the Cayley–Klein metric. Then the distance between two points is computed using the generalized circle through the points and perpendicular to the boundary of the subset used for the model. This generalized circle intersects the boundary at two other points. All four points are used in the cross ratio which defines the Cayley–Klein metric. Linear fractional transformations leave cross ratio invariant, so any linear fractional transformation that leaves the unit disk or upper half-planes stable is an isometry of the hyperbolic plane metric space. Since Henri Poincaré explicated these models they have been named after him: the Poincaré disk model and the Poincaré half-plane model. Each model has a group of isometries that is a subgroup of the Mobius group: the isometry group for the disk model is $SU(1, 1)$ where the linear fractional transformations are "special unitary", and for the upper half-plane the isometry group is $PSL(2, R)$ , a projective linear group of linear fractional transformations with real entries and determinant equal to one.^[2]

Use in higher mathematics

Möbius transformations commonly appear in the theory of continued fractions, and in analytic number theory of elliptic curves and modular forms, as it describes the automorphisms of the upper half-plane under the action of the modular group. It also provides a canonical example of Hopf fibration, where the geodesic flow induced by the linear fractional transformation decomposes complex projective space into stable and unstable manifolds, with the horocycles appearing perpendicular to the geodesics. See Anosov flow for a worked example of the fibration: in this example, the geodesics are given by the fractional linear transform

{\begin{pmatrix}a&b\\c&d\end{pmatrix}}\cdot i\exp(t)={\frac {ai\exp(t)+b}{ci\exp(t)+d}},

with $a$ , $b$ , $c$ and $d$ real, with $ad - bc = 1$ . Roughly speaking, the center manifold is generated by the parabolic transformations, the unstable manifold by the hyperbolic transformations, and the stable manifold by the elliptic transformations.

Use in control theory

Linear fractional transformations are widely used in control theory to solve plant-controller relationship problems in mechanical and electrical engineering.^[3]^[4] The general procedure of combining linear fractional transformations with the Redheffer star product allows them to be applied to the scattering theory of general differential equations, including the S-matrix approach in quantum mechanics and quantum field theory, the scattering of acoustic waves in media (e.g. thermoclines and submarines in oceans, etc.) and the general analysis of scattering and bound states in differential equations. Here, the 3 × 3 matrix components refer to the incoming, bound and outgoing states. Perhaps the simplest example application of linear fractional transformations occurs in the analysis of the damped harmonic oscillator. Another elementary application is obtaining the Frobenius normal form, i.e. the companion matrix of a polynomial.

Conformal property

The commutative rings of split-complex numbers and dual numbers join the ordinary complex numbers as rings that express angle and "rotation". In each case the exponential map applied to the imaginary axis produces an isomorphism between one-parameter groups in $(A, + )$ and in the group of units $(U, \times )$ :^[5]

\exp(yj)=\cosh y+j\sinh y,\quad j^{2}=+1,

\exp(y\epsilon )=1+y\epsilon ,\quad \epsilon ^{2}=0,

\exp(yi)=\cos y+i\sin y,\quad i^{2}=-1.

The "angle" $y$ is hyperbolic angle, slope, or circular angle according to the host ring.

Linear fractional transformations are shown to be conformal maps by consideration of their generators: multiplicative inversion $z \to 1/ z$ and affine transformations $z \to az + b$ . Conformality can be confirmed by showing the generators are all conformal. The translation $z \to z + b$ is a change of origin and makes no difference to angle. To see that $z \to az$ is conformal, consider the polar decomposition of $a$ and $z$ . In each case the angle of $a$ is added to that of $z$ resulting in a conformal map. Finally, inversion is conformal since $z \to 1/ z$ sends $\exp(yb)\mapsto \exp(-yb),\quad b^{2}=1,0,-1.$

Related Research Articles

In mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths.

In physics and mathematics, the Lorentz group is the group of all Lorentz transformations of Minkowski spacetime, the classical and quantum setting for all (non-gravitational) physical phenomena. The Lorentz group is named for the Dutch physicist Hendrik Lorentz.

<span class="mw-page-title-main">Hyperbolic geometry</span> Non-Euclidean geometry

In mathematics, hyperbolic geometry is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with:

In geometry and complex analysis, a Möbius transformation of the complex plane is a rational function of the form

In mathematics, the modular group is the projective special linear group $of 2 × 2 matrices with integer coefficients and determinant 1. The matrices A and −A are identified. The modular group acts on the upper-half of the complex plane by fractional linear transformations, and the name "modular group" comes from the relation to moduli spaces and not from modular arithmetic.$

In mathematics, the conformal group of an inner product space is the group of transformations from the space to itself that preserve angles. More formally, it is the group of transformations that preserve the conformal geometry of the space.

Rotation in mathematics is a concept originating in geometry. Any rotation is a motion of a certain space that preserves at least one point. It can describe, for example, the motion of a rigid body around a fixed point. Rotation can have a sign (as in the sign of an angle): a clockwise rotation is a negative magnitude so a counterclockwise turn has a positive magnitude. A rotation is different from other types of motions: translations, which have no fixed points, and (hyperplane) reflections, each of them having an entire $(n - 1)$ -dimensional flat of fixed points in a $n$ -dimensional space.

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.$

In mathematics, a Fuchsian group is a discrete subgroup of PSL(2,R). The group PSL(2,R) can be regarded equivalently as a group of orientation-preserving isometries of the hyperbolic plane, or conformal transformations of the unit disc, or conformal transformations of the upper half plane, so a Fuchsian group can be regarded as a group acting on any of these spaces. There are some variations of the definition: sometimes the Fuchsian group is assumed to be finitely generated, sometimes it is allowed to be a subgroup of PGL(2,R), and sometimes it is allowed to be a Kleinian group which is conjugate to a subgroup of PSL(2,R).

In algebra, a split complex number is based on a hyperbolic unit $j$ satisfying $A split-complex number has two real number components x and y, and is written The conjugate of z is Since the product of a number z with its conjugate is an isotropic quadratic form.$

In abstract algebra, the biquaternions are the numbers $w + x i + y j + z k$ , where $w, x, y$ , and $z$ are complex numbers, or variants thereof, and the elements of ${1, i, j, k}$ multiply as in the quaternion group and commute with their coefficients. There are three types of biquaternions corresponding to complex numbers and the variations thereof:

In geometry, hyperbolic motions are isometric automorphisms of a hyperbolic space. Under composition of mappings, the hyperbolic motions form a continuous group. This group is said to characterize the hyperbolic space. Such an approach to geometry was cultivated by Felix Klein in his Erlangen program. The idea of reducing geometry to its characteristic group was developed particularly by Mario Pieri in his reduction of the primitive notions of geometry to merely point and motion.

In mathematics, the projective line over a ring is an extension of the concept of projective line over a field. Given a ring A with 1, the projective line P(A) over A consists of points identified by projective coordinates. Let U be the group of units of A; pairs (a, b) and (c, d) from A × A are related when there is a u in U such that ua = c and ub = d. This relation is an equivalence relation. A typical equivalence class is written U[a, b].

In mathematics, a function of a motor variable is a function with arguments and values in the split-complex number plane, much as functions of a complex variable involve ordinary complex numbers. William Kingdon Clifford coined the term motor for a kinematic operator in his "Preliminary Sketch of Biquaternions" (1873). He used split-complex numbers for scalars in his split-biquaternions. Motor variable is used here in place of split-complex variable for euphony and tradition.

In projective geometry, a homography is an isomorphism of projective spaces, induced by an isomorphism of the vector spaces from which the projective spaces derive. It is a bijection that maps lines to lines, and thus a collineation. In general, some collineations are not homographies, but the fundamental theorem of projective geometry asserts that is not so in the case of real projective spaces of dimension at least two. Synonyms include projectivity, projective transformation, and projective collineation.

In mathematics, the special linear group SL(2, R) or SL₂(R) is the group of 2 × 2 real matrices with determinant one:

In mathematics, quaternionic analysis is the study of functions with quaternions as the domain and/or range. Such functions can be called functions of a quaternion variable just as functions of a real variable or a complex variable are called.

$<span class="mw-page-title-main">Special conformal transformation</span> Special class of linear fractional transformations$

In projective geometry, a special conformal transformation is a linear fractional transformation that is not an affine transformation. Thus the generation of a special conformal transformation involves use of multiplicative inversion, which is the generator of linear fractional transformations that is not affine.

<span class="mw-page-title-main">Riemann sphere</span> Model of the extended complex plane plus a point at infinity

In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane: the complex plane plus one point at infinity. This extended plane represents the extended complex numbers, that is, the complex numbers plus a value $for infinity. With the Riemann model, the point is near to very large numbers, just as the point is near to very small numbers.$

The Laguerre transformations or axial homographies are an analogue of Möbius transformations over the dual numbers. When studying these transformations, the dual numbers are often interpreted as representing oriented lines on the plane. The Laguerre transformations map lines to lines, and include in particular all isometries of the plane.

References

↑ N. J. Young (1984) "Linear fractional transformations in rings and modules", Linear Algebra and its Applications 56:251–90
↑ C. L. Siegel (A. Shenitzer & M. Tretkoff, translators) (1971) Topics in Complex Function Theory, volume 2, Wiley-Interscience ISBN 0-471-79080 X
↑ John Doyle, Andy Packard, Kemin Zhou, "Review of LFTs, LMIs, and mu", (1991) Proceedings of the 30th Conference on Decision and Control
↑ Juan C. Cockburn, "Multidimensional Realizations of Systems with Parametric Uncertainty"
↑ Kisil, Vladimir V. (2012). Geometry of Möbius transformations. Elliptic, parabolic and hyperbolic actions of SL(2,R). London: Imperial College Press. p. xiv+192. doi:10.1142/p835. ISBN 978-1-84816-858-9. MR 2977041.

B.A. Dubrovin, A.T. Fomenko, S.P. Novikov (1984) Modern Geometry — Methods and Applications, volume 1, chapter 2, §15 Conformal transformations of Euclidean and Pseudo-Euclidean spaces of several dimensions, Springer-Verlag ISBN 0-387-90872-2.
Geoffry Fox (1949) Elementary Theory of a hypercomplex variable and the theory of conformal mapping in the hyperbolic plane, Master's thesis, University of British Columbia.
P.G. Gormley (1947) "Stereographic projection and the linear fractional group of transformations of quaternions", Proceedings of the Royal Irish Academy, Section A 51:67–85.
A.E. Motter & M.A.F. Rosa (1998) "Hyperbolic calculus", Advances in Applied Clifford Algebras 8(1):109 to 28, §4 Conformal transformations, page 119.
Tsurusaburo Takasu (1941) Gemeinsame Behandlungsweise der elliptischen konformen, hyperbolischen konformen und parabolischen konformen Differentialgeometrie, 2, Proceedings of the Imperial Academy 17(8): 330–8, link from Project Euclid, MR 14282
Isaak Yaglom (1968) Complex Numbers in Geometry, page 130 & 157, Academic Press

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] N. J. Young (1984) "Linear fractional transformations in rings and modules", Linear Algebra and its Applications 56:251–90

[2] C. L. Siegel (A. Shenitzer & M. Tretkoff, translators) (1971) Topics in Complex Function Theory, volume 2, Wiley-Interscience ISBN 0-471-79080 X

[3] John Doyle, Andy Packard, Kemin Zhou, "Review of LFTs, LMIs, and mu", (1991) Proceedings of the 30th Conference on Decision and Control

[4] Juan C. Cockburn, "Multidimensional Realizations of Systems with Parametric Uncertainty"

[5] Kisil, Vladimir V. (2012). Geometry of Möbius transformations. Elliptic, parabolic and hyperbolic actions of SL(2,R). London: Imperial College Press. p. xiv+192. doi:10.1142/p835. ISBN 978-1-84816-858-9. MR 2977041.

[1]

[2]

[3]

[4]

[5]