The Jacobi Bound Problem

The Jacobi Bound Problem concerns the veracity of Jacobi's inequality which is an inequality on the absolute dimension of a differential algebraic variety in terms of its defining equations.

The inequality is the differential algebraic analog of Bezout's theorem in affine space.
Although first formulated by Jacobi, In 1936 Joseph Ritt recognized the problem as non-rigorous in that Jacobi didn't even have a rigorous notion of absolute dimension (Jacobi and Ritt used the term "order" - which Ritt first gave a rigorous definition for using the notion of transcendence degree).
Intuitively, the absolute dimension is the number of constants of integration required to specify a solution of a system of ordinary differential equations.
A mathematical proof of the inequality has been open since 1936.

Statement

Let $(K,\partial)$ be a differential field of characteristic zero and consider $\Gamma$ a differential algebraic variety determined by the vanishing of differential polynomials u_1,\ldots,u_n \in K _1,\ldots,x_n .
If $\Gamma_1$ is an irreducible component of $\Gamma$ of finite absolute dimension then

$a(\Gamma_1) \leq J(u_1,u_2,\ldots,u_n).$

In the above display $J(u_1,u_2,\ldots,u_n)$ is the *jacobi number*.
It is defined to be

$\max_ \sum_^n \operatorname_^(u_)$.

References

*
*
*
Unsolved problems in mathematics
Differential algebra
{{DEFAULTSORT:Jacobi Bound Problem