A negative answer to a question about leading terms ideals of polynomial ideals

We construct an example of a finitely generated ideal $I$ of $R\left[X\right]$, where $R$ is a one-dimensional domain, whose leading terms ideal is not finitely generated. This gives a negative answer to the open question of whether if $R$ is a domain with Krull dimension ≤1, then for any finitely generated ideal $I$ of $R\left[X\right]$, the leading terms ideal of $I$ is also finitely generated. Moreover, as a positive part of our answer, we prove that for any one-dimensional domain $R$ and any $a,b\in R$, the ideal of $R\left[X\right]$ generated by the leading terms of $〈1+aX,b〉$ is finitely generated.     

For the vorticity–velocity–pressure form of the Navier–Stokes equations on a bounded plane domain with corners

We show existence and regularity for the boundary value problems of the Navier–Stokes equations with non-standard BCs on a bounded plane domain with non-convex corners. We assign the vorticity value $\omega ={\omega }_0$ and the velocity normal component $u?n=u_0?n$ over the non-convex corner, the dynamic pressure value $p+{\left|u\right|}^2/2=p_0$ over inflow and outflow boundaries, and so on. We construct the corner singularity functions for the Stokes operator with zero vorticity and velocity normal component BCs, subtract its leading singularity from the solution by defining the coefficient of the singularity and show increased regularity for the remainder. The solution is determined by the smoother part and the coefficients of the singularities. It is seen from the singularity that the dynamic pressure has a transition layer that changes the sign (at $\theta =\pi /2$ in the domain). The obtained results can be applied to general polygonal domains and the cavity flows.