2

For a system of nonlinear algebraic equations, how to find the number of solutions to this system? Any related degree theory can be used to determine the number of solutions? Are there any recommended references?

LCH
  • 815
  • If you have the same number of variables as equations, then there is one unique solution for each variable. I might be misinterpreting your question, so please correct me if I'm wrong. – recursive recursion Apr 19 '14 at 22:33
  • 1
    The point is that the system under consideration is nonlinear. So multiple solutions to a given nonlinear system may exist. – LCH Apr 19 '14 at 22:38

2 Answers2

1

The key result about this problem is the Bézout's theorem, a fundamental result in algebraic geometry.

The simpler formulation of this theorem states that:

if $P(x,y)$ and $Q(x,y)$ are two polynomials of degree $m$ and $n$ over a field $\mathbb{F}$, whose GCD polynomial is a constant, then the points in the set $Z(P,Q)=\{(x,y) \in \mathbb{F}^2 :P(x,y)=0 \land Q(x,y)=0 \}$ are at most $mn$.

The statement can be made stronger if we consider the multiplicities of solutions an the solutions at ''infinity'' in the projective plane. In this case the number of solutions is exactly $nm$. But the definition of the multiplicity require some attention.

We can also extend the theorem to higher dimensions, i.e. to polynomial in more than two variables, but the definition of multiplicity becomes more complex.

For an introduction you can see here or here.

Emilio Novati
  • 62,675
0

Thank you very much for pointing out the two elegant references (especially Bezout’s Theorem- A taste of algebraic geometry.)

I just took a glance at them. I've not studied algebraic geometry, but it seems algebraic geometry is interesting and can solve my problem such as:

\begin{equation} \begin{cases} \sin u+4\,u+7\,v+2\,u^2+5\,v^2=3, \\ \cos v+9\,u+5\,v+8\,u^2+2\,v^2=6. \\ \end{cases} \end{equation} Could we determine the number of solutions $(u,v)$ (if any) to the above nonlinear algebraic equations (not in the form of polynomials) applying Bezout’s Theorem?

I'm not sure if my understanding of Bezout’s Theorem is correct or not.

LCH
  • 815
  • I believe bezout's theorem is only referring to polynomials in two variables, and this system involves sines and cosines, so it does not apply – ASKASK Nov 19 '15 at 04:13
  • Bezout's Theorem only refers to polynomial functions. I don't know general results for irrational or transcendental functions. I suppose that there are efficient computational methods, but I'm not an expert. – Emilio Novati Nov 19 '15 at 08:09