Explore related knowledge and questions →
← Question derivation index · Original question batch
R0022-11655 · q-20261013-advance-20261024-r06-partial-differential-equation-0055
Use the nonzero second-order principal part [a,b,c]=[2, -8, 1] with convention a*u_xx+b*u_xy+c*u_yy. Give (principal,that exact convention string,discriminant b²−4*a*c,classification). Positive, negative and zero discriminants mean hyperbolic, elliptic and parabolic respectively. The all-zero principal part is excluded.
G001 — Use the nonzero second-order principal part [a,b,c]=[2, -8, 1] with convention a*u_xx+b*u_xy+c*u_yy. Give (principal,that exact convention string,discriminant b²−4*a*c,classification). Positive, negative and zero discriminants mean hyperbolic, elliptic and parabolic respectively. The all-zero principal part is excluded.Use the original question domain, assumptions and cited MKO definitions. This item has second-context mathematical and bilingual review, with the model, answer and every arithmetic step independently recomputed from the original parameters; the source question remains a candidate.
Before
principal mixed coefficient squared := mul(-8, -8)
After
principal mixed coefficient squared = 64
Conditions: none
Compute exactly from this step's original roles and established intermediates,retaining signs,denominators and coefficient order.
Rule: exact_rational_arithmetic · Uses: G001
Before
principal a times c := mul(2, 1)
After
principal a times c = 2
Conditions: none
Compute exactly from this step's original roles and established intermediates,retaining signs,denominators and coefficient order.
Rule: exact_rational_arithmetic · Uses: G001, S001
Before
principal four times ac := mul(4, 2)
After
principal four times ac = 8
Conditions: none
Compute exactly from this step's original roles and established intermediates,retaining signs,denominators and coefficient order.
Rule: exact_rational_arithmetic · Uses: G001, S002
Before
principal discriminant := sub(64, 8)
After
principal discriminant = 56
Conditions: none
Compute exactly from this step's original roles and established intermediates,retaining signs,denominators and coefficient order.
Rule: exact_rational_arithmetic · Uses: G001, S003
Before
nonzero principal=[2, -8, 1];operator=a*u_xx+b*u_xy+c*u_yy
After
principal symbol=a*xi^2+b*xi*eta+c*eta^2;discriminant=56;classification=hyperbolic
Conditions: none
The symmetric principal-symbol matrix has off-diagonal b/2,hence determinant ac−b²/4.D>0 gives an indefinite symbol,D<0 a definite one,and D=0 a degenerate one,under the declared convention.The all-zero principal part is excluded;classification alone gives no well-posedness.
Rule: principal_symbol_mixed_convention_classification · Uses: G001, S004
S005 · premise_and_result_audit — Check against the original data and this step's premises; a one-way implication is not an equivalence.S004 · premise_and_result_audit — Recompute principal discriminant with exact rational arithmetic, not rounded decimals.S003 · premise_and_result_audit — Recompute principal four times ac with exact rational arithmetic, not rounded decimals.S002 · premise_and_result_audit — Recompute principal a times c with exact rational arithmetic, not rounded decimals.S001 · premise_and_result_audit — Recompute principal mixed coefficient squared with exact rational arithmetic, not rounded decimals.([2, -8, 1], a*u_xx+b*u_xy+c*u_yy, 56, hyperbolic)
The full substitutions and premise checks give the original answer; source identity,format and status are unchanged.
Review date: 2026-10-26
Original questions, answers, step expressions, numeric ASTs and historical records are retained. Source candidate labels remain historical and are not overwritten as formal proof.
input commit: 0f7be61e2c22317a4075561dc822c87d881a50dboriginal question SHA-256: 5c75b06e234ac369480e24ff55d243d1104f2c68b08aa7c83fae317c1107af5acandidate record SHA-256: f679c46cd2be3ae5c9c21057c5d790314b536085f2291e6eaf17d1b016d62fefsemantic review receipt SHA-256: 94ec4350cf8b5e5c6c7701d536126eef20acb3a213e873ace4f5346d256b8facquestion-first witness SHA-256: 0beba165ffd367a7c96de3aa58344d572d01434cd2ef772fbb00342c1f50b01bLean: NOT_RUN · human review: NOT_PERFORMED