Classification of PDEs
Classification of PDEs
Notation[edit]
When writing PDEs, it is common to denote partial derivatives using subscripts. For example:
In the general situation that u is a function of n variables, then ui denotes the first partial derivative
relative to the i-th input, uij denotes the second partial derivative relative to the i-th and j-th inputs,
and so on.
The Greek letter Δ denotes the Laplace operator; if u is a function of n variables, then
In the physics literature, the Laplace operator is often denoted by ∇2; in the mathematics
literature, ∇2u may also denote the Hessian matrix of u.
Equations of first order[edit]
Main article: First-order partial differential equation
where ai and f are functions of the independent variables x and y only. (Often the mixed-partial
derivatives uxy and uyx will be equated, but this is not required for the discussion of linearity.) If
the ai are constants (independent of x and y) then the PDE is called linear with constant
coefficients. If f is zero everywhere then the linear PDE is homogeneous, otherwise it
is inhomogeneous. (This is separate from asymptotic homogenization, which studies the effects of
high-frequency oscillations in the coefficients upon solutions to PDEs.)
Nonlinear equations[edit]
Three main types of nonlinear PDEs are semi-linear PDEs, quasilinear PDEs, and fully nonlinear
PDEs.
Nearest to linear PDEs are semi-linear PDEs, where only the highest order derivatives appear as
linear terms, with coefficients that are functions of the independent variables. The lower order
derivatives and the unknown function may appear arbitrarily. For example, a general second order
semi-linear PDE in two variables is
In a quasilinear PDE the highest order derivatives likewise appear only as linear terms, but with
coefficients possibly functions of the unknown and lower-order derivatives:
Many of the fundamental PDEs in physics are quasilinear, such as the Einstein equations of general
relativity and the Navier–Stokes equations describing fluid motion.
A PDE without any linearity properties is called fully nonlinear, and possesses nonlinearities on one
or more of the highest-order derivatives. An example is the Monge–Ampère equation, which arises
in differential geometry.[3]
where the coefficients A, B, C... may depend upon x and y. If A2 + B2 + C2 > 0 over a region of
the xy-plane, the PDE is second-order in that region. This form is analogous to the equation for a
conic section:
More precisely, replacing ∂x by X, and likewise for other variables (formally this is done by a Fourier
transform), converts a constant-coefficient PDE into a polynomial of the same degree, with the terms
of the highest degree (a homogeneous polynomial, here a quadratic form) being most significant for
the classification.