7
$\begingroup$

We know that in the ordinary algebra ideal case, the ideal membership problem can be solved by the Grobner Base theory, then, is there a counterpart theory in the differential ideal case?

To be precise, suppose I is a differential ideal in the differential ring k{y_1,...,y_n}, which is generated by a finite set of differential polynomials{f_1,...,f_m},can we choose a base A={g_1,...g_d} in I ,such that I is also generated by A,and we can use it to determine whether a differential polynomial belongs to I or not by a method that is similar to the use of the Grobner Base .

$\endgroup$
3
  • 2
    $\begingroup$ You might try Googling "differential Grobner bases." $\endgroup$ Nov 29, 2010 at 9:57
  • 1
    $\begingroup$ @Qiauchu: Google gives 3,320 texts. You suggest reading them all? $\endgroup$
    – user6976
    Nov 29, 2010 at 14:53
  • $\begingroup$ an objection that applies to any Google search. You suggest to give up on Google? $\endgroup$ Apr 4, 2021 at 20:34

2 Answers 2

1
$\begingroup$

I am not sure that what you want is decidable. You may want to look at this paper: MR1017781 (it is also explained in Section 7.6.2 of MR1361261). We proved there the following. There exists a system $p_1,...,p_n$ of linear differential operators with polynomial coefficients (over the field of char=0) such that the solvability of the system of PDEs

$$\left\\{\begin{array}{c} p_1(u_1,...,u_m)=r_1\\\ \ldots \\\ p_n(u_1,...,u_m)=r_n\end{array}\right.$$

in polynomials $u_1,...,u_m$ for a given set of polynomials $v_1,...,v_n$ is undecidable. In other words, given the left hand side of a system of linear differential equations with polynomial coefficients, it is not possible to decide for every right hand side whether the system has a solution. A yet another reformulation is in terms of the Weyl algebra $W_n$. There exists a matrix $D$ over $W_n$, such that the solvability of equation

$$D\cdot \vec u=\vec r$$ (given $\vec r$, find $\vec u$) in polynomials is undecidable.

$\endgroup$
8
  • $\begingroup$ @Sapir: I was motivated by Ritt's one problem.In his classical book on differential algebra(page 177), Ritt asked the following question: For p,i>0,what is the least q such that (y_i)^q mod 0 ([y^p])? $\endgroup$
    – Jiang
    Nov 29, 2010 at 15:49
  • $\begingroup$ What is $y$ ($y_i$)? I do not have Ritt's book here, and I do not have time to read it. It would be better if you update your question, making it more concrete. You are not seem to be interested in the general membership problem for differential ideals. $\endgroup$
    – user6976
    Nov 29, 2010 at 18:54
  • $\begingroup$ @Sapir:we work in the ordinary differential ring k{y},so $y$ is the indeterminate,$y_i$ is its i-th derivative. $\endgroup$
    – Jiang
    Nov 30, 2010 at 4:00
  • $\begingroup$ Dear Mark: sorry if I'm being dense, but could you explain how this is related to the undecidability of the differential ideal membership? How I interpret Ougaos question it ask: given a system of polynomial differential equations, how to decide if another differential equation $F=0$ is a differential consequence of the system. $\endgroup$ May 20, 2011 at 14:23
  • $\begingroup$ @Michael: As I understood it (and it was long ago, so I may have forgotten), you can do the following. Consider the Weyl algebra and its action of the ring of polynomials: $d_x\cdot p=\partial p/\partial_x$, $x\cdot p=xp$. Then a differential equation with polynomial coefficients can have the form $D\cdot \vec u=\vec 0$ with $D$ from $W_n$ (a diff. operator). Of course $\vec u$ is a vector of polynomials. Now with every such equation, you associate a left ideal in $W_n$, and I interpreted the question as the membership in that left ideal. I suspected (still do) that it is not decidable. $\endgroup$
    – user6976
    May 20, 2011 at 14:43
1
$\begingroup$

In "Some constructions in rings of differential polynomials" Gallo and Mishra show that for certain infinitely generated differential ideals the membership problem is undecidable.

Which does not exclude that membership is decidable for finitely generated ideals (the case mainly encountered in real life). According to this article from 2006 that problem is still open.

But maybe this is useful: in 2009 Gao, Van der Hoeven, Yuan and Zhang showed that perfect ideal membership is decidable. (I think "perfect" means "radical" in differential algebra terminology)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.