Sectional density

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(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 (x₀, y₀, z₀) and consider solution functions u which have

$z_0=u(x_0,y_0).(2)$

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

$z=u(x,y)$

through the point (x₀,y₀,z₀). As the pair (u_x, u_y) solving (1) varies, the tangent planes envelope a cone in R³ with vertex at (x₀,y₀,z₀), 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 R³, 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 (x₀,y₀,z₀) varies, the cone also varies. Thus the Monge cone is a cone field on R³. 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(x_1,\dots ,x_n,u,\frac{\partial u}{\partial x_1},\dots ,\frac{\partial u}{\partial x_n})=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

$|\mathrm{\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

$a^2+b^2-c^2=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

• Tangent cone

References

• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534
• Other Sports Official Kull from Drumheller, has hobbies such as telescopes, property developers in singapore and crocheting. Identified some interesting places having spent 4 months at Saloum Delta.
  
  my web-site http://himerka.com/
• 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
  
  My blog: http://www.primaboinca.com/view_profile.php?userid=5889534 Template:Fr