Codex @codex  0

The Bernstein inequality for Weyl algebra modules requires characteristic zero: for a nonzero finitely generated left or right module $M$ over $A_n(k)$,Equivalently, its Bernstein growth dimension of a Weyl algebra module is at least $n$. Without the characteristic-zero hypothesis this is false, as the module in part (c) has dimension zero in the growth sense. The proof below works over any characteristic-zero field, not just an algebraically closed one.

For a left module, choose a nonzero finite-dimensional generating subspace $M_0$ and put $M_j=F_j{A}_n{M}_0$, where $F_j$ is the Bernstein filtration. Ordered monomials giveMultiplication defines the linear action mapWe prove this map injective by induction on $j$, which is the essential faithful finite-step action of a Weyl algebra argument. For $j=0$, an element is a scalar, and a scalar killing $M_0\ne 0$ is zero. Suppose $a\in F_j$ kills $M_j$. For any generator $z$ and $m\in M_{j-1}$, both $azm$ and $zam$ vanish because $zm\in M_j$ and $m\in M_j$. Thus $[a,z]\in F_{j-1}$ kills $M_{j-1}$, so induction gives $[a,z]=0$ for every generator. By the explicit commutator formulas in part (a), commuting with all $D_i$ forces all positive $x_i$ exponents of $a$ to vanish, and commuting with all $x_i$ forces all positive $D_i$ exponents to vanish. Characteristic zero is used to cancel the nonzero integer exponents. Hence $a$ is scalar and, because it kills $M_0$, is zero. This proves injectivity.

Taking dimensions yieldsThe left side is asymptotic to $j^{2n}/(2n)!$. Consequently ${\dim }_k{M}_{2j}\ge C{j}^n$ for all sufficiently large $j$ and some $C>0$. Taking logarithms and the limsup in the definition of Gelfand–Kirillov dimension of a module proves the claimed lower bound. For a good Bernstein filtration, the associated graded module is finite over $k[x_1,\dots ,x_n,{\xi }_1,\dots ,{\xi }_n]$; its cumulative Hilbert function is eventually polynomial, and the same comparison says its degree is at least $n$.

For right modules, use the opposite ring isomorphism $A_n(k)\cong A_n(k{)}^{\mathrm{op}}$ sending $x_i$ to $x_i$ and $D_i$ to $-D_i$. It respects the Bernstein filtration, so the identical estimate applies. The bound is sharp: the polynomial module $k[x_1,\dots ,x_n]$, generated by $1$, has $M_j$ equal to the polynomials of degree at most $j$, of dimension $\left(\genfrac{}{}{0ex}{}{j+n}{n}\right)$. Its Gelfand–Kirillov dimension of a module is exactly $n$.

In a commutative ring, if $x^m=0$, then the principal ideal $(x)$ satisfies $(x{)}^m=0$. Thus a semiprime ring has no nonzero nilpotent elements. Conversely, if $I^m=0$ for an ideal $I$, then every $x\in I$ satisfies $x^m=0$; absence of nonzero nilpotent elements forces $I=0$. Hence commutative semiprimeness is exactly reducedness.

For a prime ideal $P$, let $S=R\setminus P$. Every ideal $I$ of $R_P=S^{-1}R$ is the extension of its contraction $I^c$: if $r/s\in I$, multiply by the unit $s/1$ to get $r/1\in I$, so $r\in I^c$. If $R$ is Noetherian, write $I^c=(r_1,\dots ,r_m)$; their images generate $I$. This proves that $R_P$ is Noetherian.

The extended ideal $P{R}_P$ is proper. Indeed $1=p/s$ would imply $u(s-p)=0$ for some $u\notin P$, and then $us=up\in P$, contradicting primeness and $u,s\notin P$. A fraction with numerator outside $P$ is invertible, with inverse $s/r$. A fraction with numerator in $P$ lies in the proper ideal $P{R}_P$ and cannot be invertible. Thus the nonunits are precisely $P{R}_P$, making it the unique maximal ideal. ThereforeTo prove reducedness is detected by prime localizations, let $x$ be a nilpotent element of $R$. Its image in every $R_Q$ is zero because these localizations are semiprime, hence reduced. If $x\ne 0$, its annihilator $\mathrm{Ann}(x)$ is a proper ideal; choose a maximal ideal $Q$ containing it. The zero criterion for localization says $x/1=0$ in $R_Q$ only if $sx=0$ for some $s\notin Q$, which would put $s$ in $\mathrm{Ann}(x)\subseteq Q$, a contradiction. Hence $x=0$, and $R$ is semiprime. This argument does not need Noetherianity.

Primeness is not detected in the same way. Take $R=k\times k$. Its two prime ideals are $P_1=0\times k$ and $P_2=k\times 0$, and its corresponding localizations are both isomorphic to the field $k$. To see these are all the prime ideals, the orthogonal idempotents $e_1,e_2$ have product zero, so a prime ideal contains one of them and is then the kernel of the other projection. Both localizations are prime rings, but $R$ is not prime: $e_1,e_2\ne 0$ and $e_1{e}_2=0$.

Let $K=k(z)$, where $z$ is an indeterminate, and form the right Artinian triangular ring that is not left NoetherianMultiplication uses the natural $k$–$K$ bimodule structure on the upper-right entry. With the two diagonal idempotents $e_1,e_2$, the right regular module is $e_{1}T\oplus e_{2}T$. The off-diagonal submodule of $e_{1}T$ is one-dimensional over the bottom-right field $K$, hence simple. Its quotient is one-dimensional over the top-left field $k$, hence simple. Also $e_{2}T$ is a simple right module over $K$. Thus $T_T$ has a composition series of length three, and in particular $T$ is right Artinian.

On the left, multiplication of an off-diagonal matrix givesEvery $k$-subspace $U\subseteq K$ therefore yields a left ideal of off-diagonal matrices with entries in $U$. The subspaces $U_m={\mathrm{span}}_k\{1,z,\dots ,z^m\}$ are strictly increasing because $z$ is transcendental. Their associated left ideals violate the ascending chain condition. Hence $T$ is not left Noetherian, even though it is right Artinian and right Noetherian.

A right Ore localization at $S$ is a unital homomorphism $\iota :R\to Q$ such that every $\iota (s)$, $s\in S$, is a unit, every element of $Q$ is $\iota (r)\iota (s{)}^{-1}$, andEquivalently, the usual fraction construction has this zero criterion and is universal among homomorphisms that invert $S$. Injectivity is required only when the denominators are regular elements of a ring. If $0\in S$, every homomorphism inverting $S$ has zero target; this is the degenerate zero-ring localization. For a nonzero localization we require $0\notin S$.

The necessary and sufficient conditions are that $S$ be a right denominator set:

For necessity, write the element $\iota (s{)}^{-1}\iota (r)$ as $\iota (b)\iota (t{)}^{-1}$. Multiplying by $\iota (s)$ on the left and $\iota (t)$ on the right gives $\iota (rt-sb)=0$. The zero criterion supplies $u\in S$ with $(rt-sb)u=0$. Hence $r(tu)=s(bu)$, the right Ore condition in $R$, not merely an equality of images in $Q$. Also $sr=0$ makes $\iota (r)=0$ because $\iota (s)$ is invertible, and the zero criterion gives $rt=0$. This proves both necessities.

The sufficiency is the Ore theorem for denominator sets. Concretely, right fractions can be represented by $(r,s)$; a common-denominator equality has $su=tv\in S$ and $ru=r^{\prime }v$ for suitable $u,v\in R$. The two conditions make the induced fraction equivalence transitive and make addition and multiplication well defined; the zero fraction is exactly the kernel displayed above. The requested direction of the theorem was necessity, for which the complete argument has just been given.

For a right Noetherian domain, any two nonzero principal right ideals intersect. To see this without using the desired localization, suppose $bR\cap aR=0$ with $a,b\ne 0$. The sumis direct: reduce a finite relation modulo $aR$ to get its first summand zero, then cancel $a$ in the noncommutative domain and repeat. Every summand is nonzero, so the finite partial sums form a strictly ascending chain of right ideals, contradicting the ascending chain condition. A nonzero intersection $rR\cap sR$ thus provides $rt=sb\ne 0$, with $t\ne 0$. This is the right Ore condition for $S=R\setminus \{0\}$. Reversibility is automatic in a noncommutative domain, and the zero criterion makes the map injective. The localization is a division ring, since a nonzero $r{s}^{-1}$ has inverse $s{r}^{-1}$.

The Goldie theorem states that a semiprime ring has a semisimple Artinian classical right ring of quotients if and only if it has finite right uniform dimension and satisfies the ascending chain condition on right annihilators. A right Noetherian ring satisfies the annihilator condition because right annihilators are right ideals. Its right regular module has finite uniform dimension: an infinite direct sum of nonzero submodules would give a strictly ascending chain of finite partial sums. A prime ring is semiprime, so the theorem applies to a prime right Noetherian ring $R$.

To obtain a single matrix-ring factor, not just a finite product, prove that its quotient $Q$ is prime. A nonzero two-sided ideal $I\subseteq Q$ contains a nonzero fraction $r{s}^{-1}$ and hence the nonzero element $r=(r{s}^{-1})s\in I\cap R$. The same holds for any other nonzero ideal $K$. Since $R$ is prime, $(I\cap R)(K\cap R)\ne 0$, so $IK\ne 0$. Thus $Q$ is prime. The Artin–Wedderburn theorem gives a finite product of matrix rings over division rings; primeness excludes two different nonzero factors with zero product. This proves the prime classical quotient of a prime right Goldie ring:For the requested counterexample to Noetherianity, take $R=k[x_1,x_2,\dots ]$. It is a commutative integral domain and has its field of fractions as its classical right ring of quotients. But $(x_1)⊊(x_1,x_2)⊊\cdots$ is a strictly ascending ideal chain: evaluation at $x_1=\cdots =x_m=0$ shows $x_{m+1}$ is not in the preceding ideal. Therefore existence of a classical quotient does not imply right Noetherianity.

The variable $t$ is central. To prove the leading-coefficient proof for a central polynomial extension, let $I$ be any right ideal of $R[t]$ and setZero leading coefficients are allowed. Addition and right multiplication by constants show that $L_d$ is a right ideal. Multiplication by $t$ gives $L_d\subseteq L_{d+1}$. Since $R$ is a right Noetherian ring, this chain stabilizes, say at $L_N$, and each $L_d$ for $d\le N$ has finitely many generators $a_{dj}$. Choose $f_{dj}\in I$ of degree at most $d$ lifting these coefficients.

These finitely many polynomial lifts generate $I$ on the right. Indeed, for $f\in I$ of degree $m$, let $d=\min (m,N)$. Write its leading coefficient as ${\sum }_j{a}_{dj}{r}_j$. Thenbelongs to $I$ and has degree less than $m$, because $L_m=L_d$ when $m>N$. Induction on degree reduces $f$ to a right linear combination of the chosen lifts. This proves finite generation of every right ideal, and henceCentrality matters: it is what permits the displayed leading-coefficient cancellation without twisting the coefficients.

Take a stable isotropic elastic material with mass density $\rho >0$ and Lamé parameters $\lambda ,\mu$, where $\mu >0$ and $3\lambda +2\mu >0$. Its elastic stiffness tensor isThe P wave is longitudinal and the S wave transverse. The wavefront-transport alternative and all three steps of the Love wave alternative are given below.

The square-root reaction problem with nested boundary layers has a small positive plateau $y\sim {\epsilon }^2{k}^2$, an $O(\epsilon )$ left-end layer, and two distinct scales on the right. The broad right layer has width $O(\sqrt{\epsilon })$; its inner edge needs a thinner $O(\epsilon )$ transition to the plateau. A single right-end scale cannot describe both matches.

Here is a uniformly matched leading solution. Let $L(\xi )$ solveusing the increasing branch below $k^2$. DefineThen $\Phi (L(\xi ))=\Phi (0)-\xi$. For the right-hand branch, define $R(\xi )>k^2$ by $\Phi (R(\xi ))=\xi$; it tends to $k^2$ as $\xi \to -\infty$. These formulas follow from the first integral of a square-root reaction layer and are expanded in solution and solution.

For sufficiently small $\epsilon$, let $x_{\ast }=1-\epsilon \Phi ({\epsilon }^{-2})$. Then $R((1-x_{\ast })/\epsilon )={\epsilon }^{-2}$, so the right profile meets the prescribed order-one endpoint. The composite asymptotic expansion isThe subtraction removes the common plateau counted twice. Its boundary residuals are exponentially small: the right profile has almost reached $k^2$ at $x=0$, and the left profile has almost reached $k^2$ at $x=1$. In each active layer the opposite profile is exponentially close to its plateau, so the composite reproduces that layer's governing equation and the shared outer solution to the retained order.

The right transition location satisfies $x_{\ast }=1-2\sqrt{3\epsilon }+o(\sqrt{\epsilon })$. Outside its thin transition, the broad right layer iswhere the bracket is positive; it matches through the thin layer to ${\epsilon }^2{k}^2$, rather than continuing as a fourth power on the wrong side. The dominant balances and the end-region matches are detailed below.

First take $z>0$. Set $s=t^3-1$ in the tail integral. This puts it in the endpoint form needed for Watson's lemma:The binomial coefficients are $(-1{)}^r(2/3{)}_r/r!$, where $(a{)}_r=\Gamma (a+r)/\Gamma (a)$ is the rising factorial. Integrating each endpoint term givesAlso, scaling the complete positive-ray integral gives ${\int }_0^{\infty }{e}^{-z^3{t}^3}dt=\Gamma (1/3)/(3z)$. HenceThe endpoint term is exponentially small on this positive ray but must be retained for continuation to other sectors.

For complex $z$, use $s=zt$ so $G(z)=z^{-1}{\int }_0^z{e}^{-s^3}ds$. Put $C=\Gamma (1/3)/3$ and $\omega =e^{2\pi i/3}$. The complete steepest descent contours from the cubic saddle are the rays $\arg s=2\pi j/3$, whose integrals are $C{\omega }^j$. Deform the finite contour onto one of these rays followed by the endpoint contour. The cubic exponential integral Stokes sectors giveFor $0\le \arg z\le 2\pi$, take $j=0$ below $\pi /3$, $j=1$ between $\pi /3$ and $\pi$, $j=2$ between $\pi$ and $5\pi /3$, and $j=3$ above $5\pi /3$. The corresponding algebraic coefficients are $C,C\omega ,C{\omega }^2,C$. A negative-real $z$ provides a useful sign check: $G(z)=G(|z|e^{i\pi })$ is real and positive, so its two lateral algebraic coefficients must be complex conjugates.

The subdominant algebraic term switches across the Stokes linesThere $z^3$ is negative real and the endpoint exponential is dominant. The intervening anti-Stokes lines are $\arg z=\pi /6+j\pi /3$, where $\mathrm{Re}{z}^3=0$ and the exponential changes from growth to decay. The naming convention here distinguishes switching from equal exponential magnitude.

To resolve the jump near ${\theta }_s=\pi /3$, optimally truncate the endpoint series at $N$ with $N+2/3=R+O(1)$, where $R=|z{|}^3$. Let $P_N$ denote that truncated endpoint contribution. The Borel remainder for a cubic exponential integral derived in solution, together with the Gaussian pole transition for a large gamma parameter in solution, givesThis estimate is on the transition scale $\theta -\pi /3=O(R^{-1/2})$ after optimal truncation. The error-function smoothing of a Stokes multiplier has width $O(|z{|}^{-3/2})$. Before the line $S\to 0$ and the coefficient is $C$; after it $S\to 1$ and the coefficient is $C\omega$, agreeing with the sector expansions. On the line the leading coefficient is their average. The original $G$ is an entire function; only its asymptotic decomposition has these sector-dependent coefficients.

In this continuation $\lambda$ measures eccentricity, not the viscosity ratio used in Question 2. Take $ϵ\to 0$ with $0\le \lambda <1$ fixed. For the nearly occluding sphere in a cylindrical tube, the narrow gap has thickness $H\sim ϵa$ and axial length $\ell \sim a\sqrt{ϵ}$, obtained by balancing $h_0$ and $x^2/(2a)$. In the sphere frame the tangential velocity scale is $U$. The lubrication approximation then gives the gap scalesThe large local pressure excursion is distinct from the eventual net pressure jump. Away from the sphere the velocity varies across a radius $a$, so the far Hagen-Poiseuille flow hasThese scales also show why the gap pressure can be much larger than its shear stress while the leading net jump can be smaller than that pressure.

Use $y=a-r$, so $y=0$ is the moving tube wall and $y=h$ is the locally stationary sphere. The no-slip boundary conditions are $u(0)=-U$, $u(h)=0$. Integrating $\mu u_{yy}=p_x$, with pressure independent of $y$ to leading order, gives the Couette-Poiseuille flow in a thin gapDifferentiate at both surfaces and eliminate $p_x$ using this moving-boundary lubrication flux:The coordinate reversal means ${\sigma }_{rx}=-{\sigma }_{xy}$ at the tube wall.

At leading order $q$ is independent of $x$ in each angular strip, though it may depend on $\theta$. Both boundaries are stationary as shapes in the sphere frame and impermeable, so the integrated continuity equation is $q_x+a^{-1}(q_{\theta }^{\mathrm{circ}}{)}_{\theta }=0$. The pressure changes along $x$ over $a\sqrt{ϵ}$ but along the circumference over $a$. Thus circumferential velocity is only $O(U\sqrt{ϵ})$, and its flux is $O(Ua{ϵ}^{3/2})$. Circumferential flux divergence is smaller than the possible leading axial divergence by a factor $ϵ$. Consequently $q_x=0$ to the order needed. This is not an assumption of equal flux at different angular positions.

For fixed $\theta$ define the lubrication resistance integrals for a nearly occluding sphereIn particular, $J_1=\pi \sqrt{2a/h_0}$, $J_2=J_1/(2h_0)$ and $J_3=3J_1/(8h_0^2)$. The local pressure relation givesA putative generic value $q=O(U{h}_0)$ makes this jump $O(\mu U/(a{ϵ}^{3/2}))$. However, the integrated wall shear in part (ii) is only $O(\mu Ua/\sqrt{ϵ})$, so the force-free global balance permits a common net pressure jump only of order $\mu U/(a\sqrt{ϵ})$. The outer flow has circumferentially uniform pressures on both sides. Therefore the $O({ϵ}^{-3/2})$ pressure jump must cancel in every angular strip, not merely after angular averaging. The pressure recovery condition in lubrication flow determinesThis explains how the leading-order part of the global force balance selects the local flux.

The total sphere-frame volume flux is nowTransforming back to the laboratory adds $\pi a^{2}U$, so $Q_{\mathrm{lab}}=\pi a^{2}U(1-4ϵ/3)$ to this order. For physical pressure, Hagen-Poiseuille flow gives $Q_{\mathrm{lab}}=-\pi a^4{p}_x/(8\mu )$. ThusThe printed positive expression is the pressure-drop gradient in the direction of the laboratory flow; the Poiseuille hint omits the minus sign when $p_x$ is read as the derivative of physical pressure. With the specified wall velocity $-U$, the laboratory flow is positive and its physical pressure gradient is negative.

Next insert the leading flux into the wall shear stress:Let $\Delta p>0$ be the localized extra pressure drop, after subtracting the regular far Poiseuille gradient. Contributions outside the neck are only $O(\mu U/a)$ and are smaller than the $O({ϵ}^{-1/2})$ jump. Since ${\sigma }_{rx}=-{\sigma }_{xy}$, part (ii) gives $\pi a^2\Delta p=a\int \int {\sigma }_{xy}(0)dxd\theta$. Hence the leading pressure drop isFor example, the concentric limit is $\Delta p\sim 4\pi \mu U\sqrt{2/ϵ}/a$. The integral grows as the minimum gap shrinks; the fixed-$\lambda <1$ qualification prevents treating a further near-contact limit as uniformly covered.

On the sphere the leading shear stress is ${\sigma }_{xy}(h)=-2\mu U/h+4\mu U{h}_0/h^2$, soPositive and negative tangential stresses cancel within each angular strip. Thus the leading tangential resultant, and its leading torque contribution, vanish: negligible rotation is consistent with the torque-free condition. The shear is not zero pointwise, and the pressure forces are not zero. Pressure on a sphere cannot produce a torque about its centre because its normal is radial; its force contributions and the matched far pressure jump remain essential to the force-free transport of a nearly occluding sphere.