TOPICS
Search

Generic Solution


A generic solution of a parameter-dependent equation or system of equations is a solution valid for general parameter values, with exceptional values handled separately (Trott 2006). For polynomial equations with parameters in C^m, a common algebraic meaning of "generic" is validity on a nonempty open set in the Zariski topology. The excluded values then lie in a proper subset defined by polynomial equations. A generic solution formula need not describe the complete solution set at those exceptional values.

For example, consider

 ax=b,
(1)

where a,b in C are parameters. The generic solution is x=b/a, valid for a!=0. The complete solution set is

 S_(a,b)={{b/a}   if a!=0; C   if a=b=0; emptyset   if a=0 and b!=0.
(2)

Thus dividing by a parameter can omit both an identity and an inconsistent equation.

Over the real numbers, the number of real roots can differ on open sets in the usual metric topology of parameter values. For example, x^2=a has two real roots for a>0, none for a<0, and one for a=0. A generic complex solution description therefore does not imply a single real root count (Lazard and Rouillier 2007).


See also

Parameter, Polynomial Equation, Solution Set, Zariski Topology

Explore with Wolfram|Alpha

References

Lazard, D. and Rouillier, F. "Solving Parametric Polynomial Systems." J. Symbolic Comput. 42, 636-667, 2007. https://doi.org/10.1016/j.jsc.2007.01.007.Trott, M. "Solution of Equations." §1.5 in The Mathematica GuideBook for Symbolics. New York: Springer-Verlag, 2006. https://doi.org/10.1007/0-387-28815-5. https://www.mathematicaguidebooks.org/.Wolfram Research. "Generic and Non-Generic Solutions." In Wolfram Language Documentation. https://reference.wolfram.com/language/tutorial/ManipulatingEquationsAndInequalities.html.

Cite this as:

Weisstein, Eric W. "Generic Solution." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/GenericSolution.html

Subject classifications