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