Degenerate conic

Degenerate conic

In mathematics, a degenerate conic is a conic (degree-2 plane curve, the zeros of a degree-2 polynomial equation, a quadratic) that fails to be an irreducible curve. This can happen in two ways: either it is a reducible variety, meaning that its defining quadratic factors as the product of two linear polynomials (degree 1), or the polynomial is irreducible but does not define a curve, but instead a lower-dimension variety (a point or the empty set); this latter can only occur over a field that is not algebraically closed, such as the real numbers.

Contents

Examples

As an example of the first failure, reducibility, x2y2 = 1 is not degenerate (it defines a hyperbola), but x2y2 = 0 is degenerate because it is reducible – it factors as x2y2 = (xy)(x + y), and corresponds to two intersecting lines.

As an example of the second failure, not enough points (over the field of definition), over the real numbers x2 + y2 = 1 is not degenerate (it defines a circle) but x2 + y2 = 0 is degenerate – it defines a point, (0,0), not a curve, and x2 + y2 = − 1 is likewise degenerate, defining the empty set. Note that over the complex numbers x2 + y2 factors as (x + iy)(xiy) and is degenerate because reducible, while x2 + y2 = − 1 defines a non-degenerate curve, an ellipse/hyperbola (these are not distinct over the complex numbers, because there is no sense of positive or negative).

Classification

Over the complex projective plane there are only two types of degenerate conics – two different lines, which necessarily intersect in one point, or one double line. Over the real affine plane the situation is more complicated.

Reducible

Reducible conics – those whose equation factors – consist of two lines in the plane. There are three possible configurations of these, according to how they intersect. These form a 4-dimensional space (each line has two parameters, namely a slope and a position, as is slope-intercept form), with special intersections as lower dimensional sub-varieties.

  • Two intersecting lines, such as x2y2 = (x + y)(xy) = 0 – a 4-dimensional space
  • Two parallel lines, such as x2 − 1 = (x + 1)(x − 1) = 0 – a 3-dimensional space
  • A single doubled line (multiplicity 2), such as x2 = 0 – a 2-dimensional space

In terms of the points at infinity, two intersecting lines have 2 distinct points at infinity, while two parallel lines intersect at 1 point at infinity (hence intersect the line at infinity in a double point), and a single double line also intersects the line at infinity in a double point.

Not enough points

Over a non-algebraically closed field such as the real numbers, a conic may also be degenerate because it does not have enough real points (if it has any at all). This can occur in two ways:

  • A single double point, such as x2 + y2 = 0.
  • No points, such as x2 + y2 = − 1 – an imaginary ellipse.

Discriminant

Just as non-degenerate real conics can be classified by the discriminant of their imaginary part, considered as a quadratic form in (x,y), (the determinant of the matrix of the associated symmetric form), a conic is degenerate if and only if the discriminant of the homogeneous quadratic form in (x,y,z) is zero,[1] where the affine equation

Ax2 + 2Bxy + Cy2 + 2Dx + 2Ey + F

(factors of 2 for cross terms) is homogenized to

Ax2 + 2Bxy + Cy2 + 2Dxz + 2Eyz + Fz2;

the discriminant in this sense is then the determinant of the matrix:

A B D
B C E
D E F

Recall that the discriminant for the elliptic/parabolic/hyperbolic is the determinant of the matrix:

A B
B C

Applications

Degenerate conics, as with degenerate algebraic varieties generally, arise as limits of non-degenerate conics, and are important in compactification of moduli spaces of curves.

For example, the pencil of curves (1-dimensional linear system of conics) defined by x2 + ay2 = 1 is non-degenerate for a\neq 0 but is degenerate for a = 0; concretely, it is an ellipse for a > 0, two parallel lines for a = 0, and a hyperbola with a < 0 – throughout, one axis has length 2 and the other has length 1/\sqrt{|a|}, which is infinity for a = 0.

Such families arise naturally – given four points in general linear position (no three on a line), there is a pencil of conics through them (five points determine a conic, four points leave one parameter free), of which three are degenerate, each consisting of a pair of lines, corresponding to the \textstyle{\binom{4}{2,2}=3} ways of choosing 2 pairs of points from 4 points (counting via the multinomial coefficient).

External videos
Type I linear system, (Coffman).

For example, given the four points (\pm 1, \pm 1), the pencil of conics through them can be parameterized as (1 + a)x2 + (1 − a)y2 = 2, yielding the following pencil; in all cases the center is at the origin:[note 1]

  • a > 1: hyperbolae opening left and right;
  • a = 1: the parallel vertical lines x = − 1,x = 1;
  • 0 < a < 1: ellipses with a vertical major axis;
  • a = 0: a circle (with radius \sqrt{2});
  • − 1 < a < 0: ellipses with a horizontal major axis;
  • a = − 1: the parallel horizontal lines y = − 1,y = 1;
  • a < − 1: hyperbolae opening up and down,
  • a=\infty: the diagonal lines y = x,y = − x;
(dividing by a and taking the limit as a \to \inftyyields x2y2 = 0)
  • This then loops around to a > 1, since pencils are a projective line.

Note that this parametrization has a symmetry, where inverting the sign of a reverses x and y. In the terminology of (Levy 1964), this is a Type I linear system of conics, and is animated in the linked video.

A striking application of such a family is in (Faucette 1996) which gives a geometric solution to a quartic equation by considering the pencil of conics through the four roots of the quartic, and identifying the three degenerate conics with the three roots of the resolvent cubic.

Pappus's hexagon theorem is the special case of Pascal's theorem, when a conic degenerates to two lines.

Degeneration

In the complex projective plane, all conics are equivalent, and can degenerate to either two different lines or one double line.

In the real affine plane:

  • hyperbolae can degenerate to two intersecting lines (the asymptotes), as in x2y2 = a2, or to two parallel lines: x2a2y2 = 1, or to double line: x2a2y2 = a2,
  • parabolae can degenerate to two parallel lines: x2ay − 1 or a double line x2ay, but, because parabolae have a double point at infinity, cannot degenerate to two intersecting lines.
  • ellipses can degenerate to two parallel lines: x2 + a2y2 − 1 or a double line x2 + a2y2a2, but, because they have conjugate complex points at infinity which become a double point on degeneration, cannot degenerate to two intersecting lines.

Degenerate conics can degenerate further to more special degenerate conics, as indicated by the dimensions of the spaces and points at infinity.

  • Two intersecting lines can degenerate to two parallel lines, by rotating until parallel, as in x2ay2 − 1, or to a double line by rotating into each other about a point, as in x2ay2.
  • Two parallel lines can degenerate to a double line by moving into each other, as in x2a2, but cannot degenerate to non-parallel lines.
  • A double line cannot degenerate to the other types.

Points to define

A general conic is defined by five points: given five points in general position, there is a unique conic passing through them. If three of these points lie on a line, then the conic is reducible, and may or may not be unique. If no four points are collinear, then five points define a unique conic (degenerate if three points are collinear, but the other two points determine the unique other line). If four points are collinear, however, then there is not a unique conic passing through them – one line passing through the four points, and the remaining line passes through the other point, but the angle is undefined, leaving 1 parameter free. If all five points are collinear, then the remaining line is free, which leaves 2 parameters free.

Given four points in general linear position (no three collinear; in particular, no two coincident), there are exactly three pairs of lines (degenerate conics) passing through them, which will in general be intersecting, unless the points form a trapezoid (one pair is parallel) or a parallelogram (two pairs are parallel).

Given three points, if they are non-collinear, there are three pairs of parallel lines passing through them – choose two to define one line, and the third for the parallel line to pass through, by the parallel postulate.

Given two distinct points, there is a unique double line through them.

Degenerate ellipse with semiminor axis of zero

Another type of degeneration occurs when an ellipse, rotated and translated to its simplest form \tfrac{x^2}{a^2}+\tfrac{y^2}{b^2} = 1, has its semiminor axis b go to zero and thus has its eccentricity go to one. The result is a line segment (degenerate because the ellipse is not differentiable at the endpoints) with its foci at the endpoints. As an orbit, this is a radial elliptic trajectory.

Notes

  1. ^ A simpler parametrization is given by ax2 + (1 − a)y2 = 1, which are the affine combinations of the equations x2 = 1 and y2 = 1, corresponding the parallel vertical lines and horizontal lines, and results in the degenerate conics falling at the standard points of 0,1,\infty.

References


Wikimedia Foundation. 2010.

Игры ⚽ Поможем сделать НИР

Look at other dictionaries:

  • Conic section — Types of conic sections: 1. Parabola 2. Circle and ellipse 3. Hyperbola …   Wikipedia

  • conic section — Geom. a curve formed by the intersection of a plane with a right circular cone; an ellipse, a circle, a parabola, or a hyperbola. Also called conic. [1655 65] * * * Any two dimensional curve traced by the intersection of a right circular cone… …   Universalium

  • Matrix representation of conic sections — In mathematics, the matrix representation of conic sections is one way of studying a conic section, its axis, vertices, foci, tangents, and the relative position of a given point. We can also study conic sections whose axes aren t parallel to our …   Wikipedia

  • Rotation of axes — is a form of Euclidean transformation in which the entire xy coordinate system is rotated in the counter clockwise direction with respect to the origin (0, 0) through a scalar quantity denoted by θ.With the exception of the degenerate cases, if a …   Wikipedia

  • absolute — A conic (a quadric in three dimensions) formed by the assemblage of the points at infinity on a line (in general two points). Its form determines the metrical properties of the geometrical system being operated. Thus in Euclidean geometry, the… …   Dictionary of automotive terms

  • Family of curves — A family of curves is a set of curves, each of which is given by a function or parametrization in which one or more of the parameters is variable. In general, the parameter(s) influence the shape of the curve in a way that is more complicated… …   Wikipedia

  • Hyperbola — This article is about a geometrical curve, a conic section. For the term used in rhetoric, see Hyperbole …   Wikipedia

  • Ellipse — Elliptical redirects here. For the exercise machine, see Elliptical trainer. This article is about the geometric figure. For other uses, see Ellipse (disambiguation). Not to be confused with ellipsis. An ellipse obtained as the intersection of a… …   Wikipedia

  • Focus (geometry) — Point F is a focus point for the red ellipse, green parabola and blue hyperbola. In geometry, the foci (  / …   Wikipedia

  • Parabola — For other uses, see Parabola (disambiguation). A parabola …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”