The method of characteristics is a method of solving partial differential equations (PDGL / PDE), which are typically first order and quasi-linear, i.e. equations of the type
for a function with the initial condition . (An equation is called quasi-linear if it is linear in the highest derivative).
The basic idea is to trace the PDE back to a system of ordinary differential equations on certain hypersurfaces , so-called characteristics , by means of a suitable coordinate transformation . The PDE can then be solved as an initial value problem in the new system with initial values on the hypersurfaces intersecting the characteristic. Disturbances propagate along the characteristics. The method can also be applied generally to hyperbolic partial differential equations , the prototype of which is the wave equation , and to some other higher order PDEs.
Characteristics play a role in the qualitative discussion of the solution to certain PDEs and in the question of when initial value problems are correctly posed for this PDE .
The method goes back to Joseph-Louis Lagrange (1779, quasi-linear partial differential equations of the first order). It was founded geometrically by Gaspard Monge in 1784 , which Johann Friedrich Pfaff in 1815 and Augustin-Louis Cauchy in 1819 expanded to more than two dimensions.
In order to convert the partial differential equation in a system of ordinary differential equations, the coordinates and two new coordinates and parameterized, i.e., it has equations and . First, the function you are looking for is derived using a chain rule :
The above quasi-linear PDE is calculated using the "characteristic equations"
So a system of ordinary differential equations in the new coordinates, if you still use the parameterizations and on the right side .
Geometrically, the procedure can be described as follows. The solution function leads to area equations in the space of coordinates ( integral areas ). Such an integral surface has the normal vector :
and the PDE says geometrically that the vector field of the characteristics is tangential to the integral surface , because the scalar product of the vector field with the normal vector vanishes:
The solutions of the PDE are integral curves of the vector field (in the subspace of x, t these are the characteristics). In a parametric representation of the integral curve with parameters , the following equations result:
for the characteristics or (Lagrange-Charpit equations):
Simple transport equation
A simple transport equation is given, a simple example of a type of 1st order PDEs that describe a temporal-spatial flow ( e.g. advection , transport of chemicals in a liquid):
with the initial condition , and the real constant . The usual index notation or was used here for the partial derivatives of after or . Deriving by and coefficient comparison provides a system of ordinary differential equations:
as well as the initial conditions .
Since the equations are completely decoupled from each other, the solution is very simple:
From this follows immediately and with it the solution of the transport equation in the old coordinates:
are the equations of the characteristics. The value of on the x-axis at defines the value of along the characteristic straight line with gradient for all times, which is expressed mathematically in the form of the solution . Along the characteristic does not change what is precisely expressed by the differential equation along the characteristic .
Generalized transport equation
Consider a more general transport equation with variable coefficients:
with the initial condition .
A new variable is introduced so that the PDE is reduced to curves for an ordinary differential equation. This will be
chosen (the characteristics equations ) such that:
The PDE then becomes an ordinary differential equation:
The second coordinate of the coordinate transformation is and the function values u along the curves are given by the initial values in .
For example, consider the equation:
with , then again the characteristics as in example 1 result, but solutions result from the third equation . So here one does not have constant solutions along the characteristic, as was the case in the previous example, but an exponential decay with time.
As another example, I'll
considered, with . Here is and one does not have straight lines as characteristics, but rather . The function value is constant along the characteristics, so that it turns out to be a solution
Another example are the laws of conservation of form
that occur in physics
For example the Burgers equation in the case of vanishing viscosity (non-viscous Burgers equation):
with the initial condition . Here's , the equation is nonlinear. The characteristics are , that is to say straight lines, but which have a variable slope that depends on the function value along the characteristics. The solution is formally similar to the example of the simple transport equation and is constant along the characteristic, where the following applies .
The Burgers equation is often used as a model system of nonlinear hydrodynamic equations. The novelty in this case is that the characteristics can intersect because of the variable slope. At the intersection, the solution becomes ambiguous and a clear solution to the problem no longer exists. A discontinuity forms, a shock wave front for characteristics converging in the direction of advancing time , and a dilution front for diverging characteristics. However, one can avoid the collapse of classical solutions by considering weak solutions ( distributions ), whereby entropy conditions are used to select the physically correct solution. In the case of Burgers' equation, the shock wave has a speed which corresponds to the mean value of the function values u on the right and left of the shock front.
The wave equation is the prototype of a linear hyperbolic partial differential equation of the 2nd order:
with a constant . Transforming to new variables , with which the wave equation:
transformed, from which:
follows, so or .
The equations of the characteristics are or with a constant .
General partial differential equation of the 2nd order
The general 2nd order partial differential equation is given by:
partial derivatives are indicated here by indices.
Looking at the matrix
of the coefficients of the highest derivatives, the equations are elliptic for , parabolic for, and hyperbolic for .
In addition to the PDE, the following applies to any curve:
That's three linear equations for the second derivative . So that this can be clearly determined from the values of assumed to be known, the following must apply to the determinant
For some curves, the characteristics of the PDE (the name comes from Gaspard Monge ), this does not apply, there the following applies :
The initial value problem can only be solved uniquely if the curves on which the initial values are specified are not tangential to the characteristics. That is the statement of the Cauchy-Kovalevskaya theorem for the so-called non-characteristic Cauchy problem. Since it is under the root sign , it follows that hyperbolic equations have two sets of characteristics, parabolic one and elliptical none at all.
The characteristics can also be viewed geometrically as curves in two dimensions , the normal vectors of which the equation
meet (this is equivalent to the tangential vectors of the curves).
There , then applies
If a principal axis transformation is carried out to diagonalize the quadratic equation , only in the case of the hyperbolic equation, i.e. the eigenvalues have opposite signs, a form is obtained which, as in the above example of the wave equation, is reduced to first order equations with two characteristics by means of variable transformation can.
For example, for the wave equation:
and the normal vectors are perpendicular to the associated characteristics or .
An example of an equation in which all three types of PDE appear is the Euler-Tricomi equation or Tricomi equation :
for that which is hyperbolic for positive , for parabolic and for negative elliptical. Correspondingly, it has no characteristics for negative ones, for one that branches out and has the characteristic equation there , that is, characteristics .
↑ Helmut Fischer, Helmut Kaul, Mathematik für Physiker, 3rd edition, Teubner 2008, p. 198. The characteristic method is dealt with in Paragraph 7 (p. 172ff).
^ Fritz John: Partial Differential Equations , 4th edition, Springer Verlag 1982, p. 9.
^ Discussion according to Arnold Sommerfeld Partial Differential Equations in Physics , Academic Press 1949, p. 36f