Explore related knowledge and questions →
← Question derivation index · Original question batch
R0022-11665 · q-20261013-advance-20261024-r06-partial-differential-equation-0065
Use the nonzero second-order principal part [a,b,c]=[3, 2, 3] 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]=[3, 2, 3] 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(2, 2)
After
principal mixed coefficient squared = 4
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(3, 3)
After
principal a times c = 9
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, 9)
After
principal four times ac = 36
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(4, 36)
After
principal discriminant = -32
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=[3, 2, 3];operator=a*u_xx+b*u_xy+c*u_yy
After
principal symbol=a*xi^2+b*xi*eta+c*eta^2;discriminant=-32;classification=elliptic
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.([3, 2, 3], a*u_xx+b*u_xy+c*u_yy, -32, elliptic)
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: 598f06c911a02696c4a4e47a7434a6fe58ded6e43e3f9d86d23fc8f0e052880acandidate record SHA-256: 1d363f47d7b927e8275b4924ab1ddd3671e9337d6cf2cb017ab97cba78904cf1semantic review receipt SHA-256: 94ec4350cf8b5e5c6c7701d536126eef20acb3a213e873ace4f5346d256b8facquestion-first witness SHA-256: 0beba165ffd367a7c96de3aa58344d572d01434cd2ef772fbb00342c1f50b01bLean: NOT_RUN · human review: NOT_PERFORMED