Namespaces
Variants
Actions

Characteristic

From Encyclopedia of Mathematics
Revision as of 17:26, 7 February 2011 by 127.0.0.1 (talk) (Importing text file)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search

One of the basic concepts in the theory of partial differential equations. The role of characteristics manifests itself in essential properties of these equations such as the local properties of solutions, the solvability of various problems, their being well posed, etc.

Suppose that

is a linear partial differential operator of order , and let

be its symbol. Here , is a multi-index, , ,

Let be the hypersurface defined in by the equation , where for , and let

(1)

In this case is called a characteristic surface or a characteristic for the operator . Other names are: characteristic manifold, characteristic line (in case ).

The example of the Cauchy problem is discussed below. Let be the arbitrary (not necessarily characteristic) hypersurface in defined by the relations

Let be functions defined on in a neighbourhood of , and let

be the Cauchy problem for the unknown function . Here is a given function, is a given linear differential operator of order , and is a vector orthonormal to . Assume, to be definite, that , . Then, by the change of variables

one arrives at the equation

(2)

The expression under the sign that is not written out does not contain partial derivatives of with respect to of order . Two cases arise:

1) , ;

2) , .

In the first case division of (2) by leads to an equation that can be solved for the highest partial derivative of , that is, can be written in normal form. The initial conditions can be put in the form

For this case the Cauchy problem has been well studied. For example, when the functions in the equations and when the initial data are real-analytic, there exists a unique solution of this problem in the class of real-analytic functions in a sufficiently small neighbourhood of (the Cauchy–Kovalevskaya theorem). In the second case is a characteristic point, and if (1) holds for all , then is called a characteristic. In this case (2) implies that the initial data cannot be arbitrary, and the study of the Cauchy problem becomes complicated.

For example, for the equation

(3)

initial data can be given on one of its characteristics :

(4)

If the function is not constant, then the Cauchy problem (3), (4) has no solution in the space . But if is constant, for example equal to , then a solution is not unique in , since it may be any function of the form

where

Thus, the Cauchy problem differs substantially, depending on whether the initial data are given on a characteristic surface or not.

A characteristic has the property of invariance under invertible transformations of the independent variables: If is a solution of (1) and if the transformation leads to , , then satisfies the equation

where

Another property of a characteristic is that is, relative to a characteristic , an interior differential operator.

Elliptic linear differential operators are defined as operators for which there are no (real) characteristics. The definitions of hyperbolic and parabolic operators are also closely connected with the concept of a characteristic. For example, a second-order differential operator in two variables (i.e. ) is of hyperbolic type if it has two families of characteristics and of parabolic type if it has one such family. The knowledge of the characteristics of a differential equation makes it possible to reduce the equation to simpler form. For example, let the equation

(5)

be hyperbolic. That is, equation (1), which now reads

determines two distinct families of characteristics:

For any selected pair the change of variables by the formula

transforms (5) to the canonical form

For a non-linear differential equation

(6)

where are multi-indices and , , the characteristic is defined as the hypersurface in with the equation , where and for . In this case the symbol for the operator (6) given by the function is defined as follows:

with the usual assumption . Evidently, may depend, apart from the variables and , also on , and . Suppose, for example, that a first-order equation is given . For simplicity, suppose in addition that . Then (6) takes the form

with a function . The equation of the characteristics is:

Since a solution of this equation may, in fact, depend on , it can be given in parametric form

where these functions satisfy the ordinary differential equations

Geometrically the -tuple determines the so-called characteristic strip (for ). The projection of this strip onto the space determines a curve in such that at every point of it, it touches the plane with direction coefficients . This curve is also called a characteristic of the equation (6).

References

[1] S. Misohata, "The theory of partial differential equations" , Cambridge Univ. Press (1973)
[2] E. Kamke, "Differentialgleichungen: Lösungen und Lösungsmethoden" , 2. Partielle Differentialgleichungen erster Ordnung für die gesuchte Funktion , Akad. Verlagsgesell. (1944)
[3] P. Hartman, "Ordinary differential equations" , Birkhäuser (1982)
[4] I.G. Petrovskii, "Partial differential equations" , Saunders (1967) (Translated from Russian)
[5] N.S. Koshlyakov, E.B. Gliner, M.M. Smirnov, "Partial differential equations" , Moscow (1970) (In Russian)
[6] V.S. Vladimirov, "Die Gleichungen der mathematischen Physik" , MIR (1984) (Translated from Russian)
[7] S.G. Mikhlin, "A course of mathematical physics" , Moscow (1968) (In Russian)
[8] A.N. [A.N. Tikhonov] Tichonoff, A.A. Samarskii, "Differentialgleichungen der mathematischen Physik" , Deutsch. Verlag Wissenschaft. (1959) (Translated from Russian)


Comments

It has to be stressed that for first-order partial differential equations that are non-linear with respect to there is a whole family of characteristics through a given point (a conoid). A classic notion in this connection is the one of Monge cones (cf. also Monge cone). Referring again to the case , the normal vectors to possible integral surfaces through a given point are defined by the equation . The envelope of the associated one-parameter family of tangent planes , i.e. the set of characteristic directions , is called the Monge cone at the point .

References

[a1] R. Courant, D. Hilbert, "Methods of mathematical physics. Partial differential equations" , 1–2 , Interscience (1953–1962) (Translated from German)
[a2] P.R. Garabedian, "Partial differential equations" , Wiley (1964)
[a3] L.V. Hörmander, "The analysis of linear partial differential operators" , 1–4 , Springer (1983–1985)
[a4] F. John, "Partial differential equations" , Springer (1974)
[a5] A. Jeffrey, "Quasilinear hyperbolic systems and waves" , Pitman (1976)
[a6] E. Cartan, "Les systèmes différentielles extérieurs et leur applications géométriques" , Hermann (1945)
[a7] I.G. Petrovskii, "Lectures on partial differential equations" , Interscience (1954) (Translated from Russian)
How to Cite This Entry:
Characteristic. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Characteristic&oldid=46316
This article was adapted from an original article by Yu.V. Komlenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article