First order partial differential equation


First order partial differential equation

In mathematics, a first order partial differential equation is a partial differential equation that involves only first derivatives of the unknown function of "n" variables. The equation takes the form

: F(x_1,ldots,x_n,u,u_{x_1},ldots u_{x_n}) =0. ,

Such equations arise in the construction of characteristic surfaces for hyperbolic partial differential equations, in the calculus of variations, in some geometrical problems, and they arise in simple models for gas dynamics whose solution involves the method of characteristics. If a family of solutionsof a single first-order partial differential equation can be found, then additional solutions may be obtained by forming envelopes of solutions in that family. In a related procedure, general solutions may be obtained by integrating families of ordinary differential equations.

Characteristic surfaces for the wave equation

Characteristic surfaces for the wave equation are level surfaces for solutions of the equation: u_t^2 = c^2 left(u_x^2 +u_y^2 + u_z^2 ight). ,

There is little loss of generality if we set u_t =1: in that case "u" satisfies: u_x^2 + u_y^2 + u_z^2= frac{1}{c^2}. ,

In vector notation, let: vec x = (x,y,z) quad hbox{and} quad vec p = (u_x, u_y, u_z).,

A family of solutions with planes as level surfaces is given by : u(vec x) = vec p cdot (vec x - vec{x_0}), ,

where: | vec p ,| = frac{1}{c}, quad hbox{and} quad vec{x_0} quad hbox{is arbitrary}.,

If "x" and "x"0 are held fixed, the envelope of these solutions is obtained by finding a point on the sphere of radius 1/"c" where the value of "u" is stationary. This is true if vec p is parallel to vec x - vec{x_0}. Hence the envelope has equation: u(vec x) = pm frac{1}{c} | vec x -vec{x_0} ,|.

These solutions correspond to spheres whose radius grows or shrinks with velocity "c". These are light cones in space-time.

The initial value problem for this equation consists in specifying a level surface "S" where "u"=0 for "t"=0. The solution is obtained by taking the envelope of all the spheres with centers on "S", whose radii grow with velocity "c". This envelope is obtained by requiring that: frac{1}{c} | vec x - vec{x_0}, | quad hbox{is stationary for} quad vec{x_0} in S. ,

This condition will be satisfied if | vec x - vec{x_0}, | is normal to "S". Thus the envelope corresponds to motion with velocity "c" along each normal to "S". This is the Huygens' construction of wave fronts: each point on "S" emits a spherical wave at time "t"=0, and the wave front at a later time "t" is the envelope of these spherical waves. The normals to "S" are the light rays.

Two-dimensional theory

The notation is relatively simple in two space dimensions, but the main ideas generalize to higher dimensions. A general first-order partial differential equation has the form: F(x,y,u,p,q)=0, ,

where: p=u_x, quad q=u_y. ,

A complete integral of this equation is a solution φ("x","y","u") that depends upon two parameters "a" and "b". (There are "n" parameters required in the "n"-dimensional case.) An envelope of such solutions is obtained by choosing an arbitrary function "w", setting "b"="w"("a"), and determining "A"("x","y","u") by requiring that the total derivative: frac{d varphi}{d a} = varphi_a(x,y,u,A,w(A)) + w'(A)varphi_b(x,y,u,A,w(A)) =0. ,

In that case, a solution u_w is also given by: u_w = phi(x,y,u,A,w(A)) ,

Each choice of the function "w" leads to a solution of the PDE. A similar process led to the construction of the light cone as a characteristic surface for the wave equation.

If a complete integral is not available, solutions may still be obtained by solving a system of ordinary equations. In order to obtain this system, first note that the PDE determines a cone (analogous to the light cone) at each point: if the PDE is linear in the derivatives of "u" (it is quasi-linear), then the cone degenerates into a line. In the general case, the pairs ("p","q") that satisfy the equation determine a family of planes at a given point:: u - u_0 = p(x-x_0) + q(y-y_0), ,

where: F(x_0,y_0,u_0,p,q) =0.,

The envelope of these planes is a cone, or a line if the PDE is quasi-linear. The condition for an envelope is: F_p, dp + F_q ,dq =0, ,

where F is evaluated at (x_0, y_0,u_0,p,q), and "dp" and "dq" are increments of "p" and "q" that satisfy "F"=0. Hence the generator of the cone is a line with direction: dx:dy:du = F_p:F_q:(pF_p + qF_q). ,

This direction corresponds to the light rays for the wave equation.In order to integrate differential equations along these directions, we require increments for "p" and "q" along the ray. This can be obtained by differentiating the PDE:: F_x +F_u p + F_p p_x + F_q p_y =0, , : F_y +F_u q + F_p q_x + F_q q_y =0,,

Therefore the ray direction in (x,y,u,p,q) space is

: dx:dy:du:dp:dq = F_p:F_q:(pF_p + qF_q):(-F_x-F_u p):(-F_y - F_u q). ,

The integration of these equations leads to a ray conoid at each point (x_0,y_0,u_0). General solutions of the PDE can then be obtained from envelopes of such conoids.

External links

* [http://www.scottsarra.org/shock/shock.html More detailed information on the Method of Characteristics]

Bibliography

*R. Courant and D. Hilbert, "Methods of Mathematical Physics, Vol II", Wiley (Interscience), New York, 1962.
* L.C. Evans, "Partial Differential Equations", American Mathematical Society, Providence, 1998. ISBN 0-8218-0772-2
* A. D. Polyanin, V. F. Zaitsev, and A. Moussiaux, "Handbook of First Order Partial Differential Equations", Taylor & Francis, London, 2002. ISBN 0-415-27267-X
* A. D. Polyanin, "Handbook of Linear Partial Differential Equations for Engineers and Scientists", Chapman & Hall/CRC Press, Boca Raton, 2002. ISBN 1-58488-299-9
* Sarra, Scott "The Method of Characteristics with applications to Conservation Laws", Journal of Online Mathematics and its Applications, 2003.


Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Partial differential equation — A visualisation of a solution to the heat equation on a two dimensional plane In mathematics, partial differential equations (PDE) are a type of differential equation, i.e., a relation involving an unknown function (or functions) of several… …   Wikipedia

  • partial differential equation — Math. a differential equation containing partial derivatives. Cf. ordinary differential equation. [1885 90] * * * In mathematics, an equation that contains partial derivatives, expressing a process of change that depends on more than one… …   Universalium

  • Hyperbolic partial differential equation — In mathematics, a hyperbolic partial differential equation is usually a second order partial differential equation (PDE) of the form :A u {xx} + 2 B u {xy} + C u {yy} + D u x + E u y + F = 0 with: det egin{pmatrix} A B B C end{pmatrix} = A C B^2 …   Wikipedia

  • Parabolic partial differential equation — A parabolic partial differential equation is a type of second order partial differential equation, describing a wide family of problems in science including heat diffusion and stock option pricing. These problems, also known as evolution problems …   Wikipedia

  • Differential equation — Not to be confused with Difference equation. Visualization of heat transfer in a pump casing, created by solving the heat equation. Heat is being generated internally in the casing and being cooled at the boundary, providing a steady state… …   Wikipedia

  • differential equation — Math. an equation involving differentials or derivatives. [1755 65] * * * Mathematical statement that contains one or more derivatives. It states a relationship involving the rates of change of continuously changing quantities modeled by… …   Universalium

  • Ordinary differential equation — In mathematics, an ordinary differential equation (or ODE) is a relation that contains functions of only one independent variable, and one or more of their derivatives with respect to that variable. A simple example is Newton s second law of… …   Wikipedia

  • Homogeneous differential equation — A homogeneous differential equation has several distinct meanings.One meaning is that a first order ordinary differential equation is homogeneous if it has the form : frac{dy}{dx} = F(y/x).To solve such equations, one makes the change of… …   Wikipedia

  • Exact differential equation — In mathematics, an exact differential equation or total differential equation is a certain kind of ordinary differential equation which is widely used in physics and engineering. Definition Given a simply connected and open subset D of R2 and two …   Wikipedia

  • ordinary differential equation — Math. an equation containing derivatives but not partial derivatives. Cf. partial differential equation. * * * Equation containing derivatives of a function of a single variable. Its order is the order of the highest derivative it contains (e.g …   Universalium


Share the article and excerpts

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

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.