4.7.1 · D5Partial Differential Equations
Question bank — Classification — elliptic, parabolic, hyperbolic (discriminant test)
Before the traps, three words that every answer below leans on. Read these once and the rest reads smoothly.
Reminder of the one object everything hangs on:
True or false — justify
True or false: The first-order terms (where are the coefficients of ) can change a PDE's classification.
False — only the principal (second-order) part enters ; the lower-order terms shift and damp solutions but never change whether real characteristics exist.
True or false: A PDE's type is a permanent, fixed label of the equation.
False — if depend on (like Tricomi ), changes sign across the plane, so the type is a property of the point, not the equation as a whole.
True or false: The heat equation is elliptic because it has a positive second-derivative coefficient.
False — it is parabolic; there is no term so , giving . Its type comes from having exactly one real characteristic.
True or false: Elliptic equations have no real characteristic curves.
True — makes the two characteristic slopes complex (square root of a negative number), so there are no real curves along which information travels; every boundary point influences every interior point instead.
True or false: For a quasilinear PDE the classification can depend on the particular solution you found.
True — the top-derivative coefficients may depend on itself, so once you plug in a solution, can turn out elliptic in one region and hyperbolic in another depending on that . See Linear vs Quasilinear PDEs.
True or false: The wave equation and Laplace equation differ only by a sign in one coefficient, so they behave almost the same.
False — that single sign flip changes from positive to negative, turning finite-speed wave propagation (hyperbolic) into smooth all-at-once equilibrium (elliptic). A tiny algebraic change is a total physical change.
True or false: If the PDE has two identical characteristics, so it counts as "two directions."
False — the repeated root gives exactly one real characteristic direction; parabolic problems smear data along that single family of lines, as in heat diffusion.
True or false: Multiplying an entire PDE by can flip its classification.
False — scaling by gives , the same ; the sign of the discriminant is invariant under scaling the equation.
True or false: A well-posed elliptic problem needs data on the entire closed boundary.
True — with no characteristics carrying information inward, the only way to pin down the solution is to prescribe values (or normal derivatives) all the way around; see Well-posedness and Boundary Conditions.
Spot the error
"For I set (coeff of ), , , so , hyperbolic."
The conclusion is right. The deeper reason it doesn't matter which second derivative you call versus is that is symmetric in and : swapping them leaves unchanged, so either labelling gives .
" means , and my book's formula is , so I'll use there."
Error of mixed conventions. The form assumes the cross term is written , so there . Pick one convention: with use ; the sign comes out the same either way.
" has coeff of , so ."
is a squared first derivative — it is neither second-order nor even linear. The term contributes nothing to (which are second-order coefficients), and the presence of makes the whole equation nonlinear.
"Heat equation: , and since there's a -like hiding somewhere, , elliptic."
There is no , so , not ; inventing a term is the mistake. Correctly , parabolic — check the order of each term before assigning a coefficient.
"For at : … but the answer key says hyperbolic, so I must be wrong."
You are actually correct — is hyperbolic. The trap is doubting a right computation; Tricomi is genuinely hyperbolic for , elliptic for , parabolic on .
"Since uses , first-order equations like must be parabolic ()."
The discriminant test is built for second-order PDEs. A pure first-order transport equation has no principal second-order part; it is classified by Method of Characteristics directly, not by .
Why questions
Why do only the highest-order derivatives (the principal part) decide the type?
The character — diffuse, propagate, or equilibrate — is set by the fastest-varying part of the solution; lower-order terms can shift or damp but cannot create or destroy the sharp lines (characteristics) along which information travels.
Why does correspond to two families of characteristics?
The characteristic slopes solve , a quadratic in the slope ; a positive discriminant gives two distinct real roots, hence two real slope families along which second derivatives can jump.
Why does the wave equation transmit signals at finite speed while the heat equation does not?
Hyperbolic (wave) has two real characteristics that bound where a disturbance can reach; parabolic (heat) has no such bounding lines, so a change at one point is instantly felt everywhere, however faintly. See Wave Equation — d'Alembert solution and Heat Equation — separation of variables.
Why do the PDE type names match the conic sections ?
Because both are classified by the identical quantity : the algebra of the principal part of the PDE is the same quadratic form as the conic, so ellipse/parabola/hyperbola map onto elliptic/parabolic/hyperbolic. See Conic Sections.
Why must an elliptic problem take data on the whole boundary rather than "initial" data?
With no real characteristics there is no direction to "march" the solution forward; every interior value depends on the entire boundary, so the boundary data must be complete and closed — a Laplace/harmonic property, see Laplace Equation — harmonic functions.
Why can't you march a Laplace problem forward in one variable like you march heat forward in time?
Marching (Cauchy) data on an open surface is ill-posed for elliptic equations — tiny high-frequency errors in the data blow up exponentially. Elliptic equilibrium requires a closed boundary, not forward evolution.
Why do we set the coefficient of to zero to find a characteristic?
Here is the candidate characteristic curve, and we adopt the new coordinate ; its partial derivatives are the rates at which changes in and . The chain rule turns the second derivatives into a coefficient multiplying ; where , that second derivative is unconstrained and free to jump — exactly what defines a characteristic.
Edge cases
Edge case: but , e.g. . What type, and does the slope formula break?
With the characteristic equation drops to the linear , giving one finite slope ; the "missing" second root corresponds to a vertical characteristic (infinite slope , i.e. ). Counting both, there are two real characteristics and , so it is hyperbolic — the standard quadratic just has to be read as a degenerate (one root at infinity) case.
Edge case: and but , e.g. . What are the characteristic slopes and the type?
The characteristic equation collapses to , which has no finite root — instead both roots sit at infinite slope, meaning the characteristics are the vertical lines (a repeated family). Meanwhile , so it is parabolic: one real (repeated) characteristic direction, consistent with meaning is linear in along each vertical line.
Edge case: What is the type exactly on the parabolic boundary line of Tricomi ?
On , , so it is parabolic exactly on that line — the degenerate frontier separating the elliptic region () from the hyperbolic region ().
Edge case: An equation with but (all second-order coefficients vanish).
There is no principal (second-order) part, so the discriminant test doesn't apply; it is really a first-order PDE and must be handled by Method of Characteristics.
Edge case: Coefficients that are continuous functions crossing a curve where changes sign — is the type defined on that curve?
The type is defined pointwise: elliptic where , hyperbolic where , and parabolic exactly on the zero-set curve. Such "mixed-type" equations (transonic flow) genuinely change character across that curve.
Edge case: Does swapping the roles of the two independent variables (relabel ) change the classification?
No — swapping exchanges and , and is unchanged. Classification is invariant under relabelling coordinates.
Edge case: A quasilinear PDE whose evaluates to along a moving curve that depends on the solution . Is it "parabolic"?
Only along that solution-dependent curve at that instant; elsewhere it may be elliptic or hyperbolic. For quasilinear equations the very location of the parabolic frontier moves with the solution, so type is a local, solution-dependent statement.
Recall Two-line summary to lock in
- Classification depends only on the principal (second-order) part, is pointwise, and is scale/relabel invariant.
- elliptic (no real characteristics, whole-boundary data), parabolic (one, march forward), hyperbolic (two, finite-speed signals).