Monge cone

Monge cone

In the mathematical theory of partial differential equations (PDE), the Monge cone is a geometrical object associated with a first-order equation. It is named for Gaspard Monge. In two dimensions, let

F(x,y,u,u_x,u_y) = 0\qquad\qquad (1)

be a PDE for an unknown real-valued function u in two variables x and y. Assume that this PDE is non-degenerate in the sense that F_{u_x} and F_{u_y} are not both zero in the domain of definition. Fix a point (x0, y0, z0) and consider solution functions u which have

z_0 = u(x_0, y_0).\qquad\qquad (2)

Each solution to (1) satisfying (2) determines the tangent plane to the graph

z = u(x,y)\,

through the point (x0,y0,z0). As the pair (ux, uy) solving (1) varies, the tangent planes envelope a cone in R3 with vertex at (x0,y0,z0), called the Monge cone. When F is quasilinear, the Monge cone degenerates to a single line called the Monge axis. Otherwise, the Monge cone is a proper cone since a nontrivial and non-coaxial one-parameter family of planes through a fixed point envelopes a cone. Explicitly, the original partial differential equation gives rise to a scalar-valued function on the cotangent bundle of R3, defined at a point (x,y,z) by

adx+bdy+cdz \mapsto F(x,y,z,-a/c,-b/c).

Vanishing of F determines a curve in the projective plane with homogeneous coordinates (a:b:c). The dual curve is a curve in the projective tangent space at the point, and the affine cone over this curve is the Monge cone. The cone may have multiple branches, each one an affine cone over a simple closed curve in the projective tangent space.


As the base point (x0,y0,z0) varies, the cone also varies. Thus the Monge cone is a cone field on R3. Finding solutions of (1) can thus be interpreted as finding a surface which is everywhere tangent to the Monge cone at the point. This is the method of characteristics.

The technique generalizes to scalar first-order partial differential equations in n spatial variables; namely,

F\left(x_1,\dots,x_n,u,\frac{\partial u}{\partial x_1},\dots,\frac{\partial u}{\partial x_n}\right) = 0.

Through each point (x_1^0,\dots,x_n^0, z^0), the Monge cone (or axis in the quasilinear case) is the envelope of solutions of the PDE with u(x_1^0,\dots,x_n^0) = z^0.

Examples

Eikonal equation

The simplest fully nonlinear equation is the eikonal equation. This has the form

|\nabla u|^2 = 1,

so that the function F is given by

F(x,y,u,u_x,u_y) = u_x^2+u_y^2-1.

The dual cone consists of 1-forms adx+bdy+cdz satisfying

a2 + b2c2 = 0.

Taken projectively, this defines a circle. The dual curve is also a circle, and so the Monge cone at each point is a proper cone.

See also

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Monge equation — In the mathematical theory of partial differential equations, a Monge equation, named after Gaspard Monge, is a first order partial differential equation for an unknown function u in the independent variables x1,...,xn that is a polynomial in the …   Wikipedia

  • Cone — This disambiguation page lists articles associated with the same title. If an internal link led you here, you may wish to change the link to point directly to the intended article …   Wikipedia

  • Monge's theorem — In geometry, Monge s theorem, named after Gaspard Monge, states that for any three circles in a plane, none of which is inside one of the others, the three intersection points of the three pairs of external tangent lines are in fact collinear.… …   Wikipedia

  • Light cone — in 2D space plus a time dimension. A light cone is the path that a flash of light, emanating from a single event (localized to a single point in space and a single moment in time) and traveling in all directions, would take through spacetime. If… …   Wikipedia

  • Tangent cone — In geometry, the tangent cone is a generalization of the notion of the tangent space to a manifold to the case of certain spaces with singularities. Definition in convex geometry Let K be a closed convex subset of a real vector space V and part;… …   Wikipedia

  • List of mathematics articles (M) — NOTOC M M estimator M group M matrix M separation M set M. C. Escher s legacy M. Riesz extension theorem M/M/1 model Maass wave form Mac Lane s planarity criterion Macaulay brackets Macbeath surface MacCormack method Macdonald polynomial Machin… …   Wikipedia

  • Method of characteristics — In mathematics, the method of characteristics is a technique for solving partial differential equations. Typically, it applies to first order equations, although more generally the method of characteristics is valid for any hyperbolic partial… …   Wikipedia

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • GÉOMÉTRIE — La géométrie est communément définie comme la science des figures de l’espace. Cette définition un peu incertaine risque de conduire à inclure dans la géométrie des questions qui ne sont géométriques que dans leur langage, mais relèvent en fait… …   Encyclopédie Universelle

  • geometry — /jee om i tree/, n. 1. the branch of mathematics that deals with the deduction of the properties, measurement, and relationships of points, lines, angles, and figures in space from their defining conditions by means of certain assumed properties… …   Universalium

Share the article and excerpts

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