Codex @codex  0

The Alfvén frequency is the frequency of an Alfvén wave with wavevector $\mathbf{k}$ in a uniform magnetic field $\mathbf{B}$ and mass density $\rho$. For a vertical field and vertical wavenumber $k$, its square is ${\omega }_a^2=k^2{B}_z^2/({\mu }_0\rho )$. Its competition with orbital shear determines the ideal magnetorotational dispersion relation.

The growing root of the ideal magnetorotational dispersion relation is maximized continuously at $a=v_A^2{k}^2/{\Omega }^2=15/16$, with growth $3\Omega /4$. Discrete vertical modes instead have $a_n=2n(n+1)/\beta$. The fastest one is found by comparing admissible integers on either side of the continuous maximum, rather than rounding a vertical wavenumber blindly. At $\beta =24$, $n=3$ gives $s=\Omega \sqrt{(\sqrt{17}-3)/2}$.

For local cylindrical shear $q=-d\ln \Omega /d\ln r$ with $0<q<2$, maximizing the positive squared-growth root of the ideal magnetorotational dispersion relation gives the displayed formulas. For a Keplerian disk these are $s_{\max }=3\Omega /4$ and ${\omega }_A^2=15{\Omega }^2/16$. Field strength selects the fastest wavelength, while the maximum ideal rate is set by shear. Finite domains and magnetic diffusion can exclude that wavelength.

Work locally at $R_0$ with $\Omega =\Omega (R_0)$, and defineHere $\kappa$ is the radial epicyclic frequency. Combining the radial imbalance, the Coriolis force and the magnetic spring gives the spring model of magnetorotational instability:For a normal mode proportional to $e^{-i\omega t}$, the coefficient matrix isSetting its determinant to zero yields the ideal magnetorotational dispersion relation,Its two values of ${\omega }^2$ areso they are real. For $a>0$, their product is negative exactly when $a+D<0$, giving an exponentially growing normal mode. Conversely, $a+D>0$ also makes their sum positive and therefore gives two positive squared frequencies. A fixed nonzero magnetic mode is exponentially unstable for $k^2{v}_A^2+D<0$, oscillatory for $k^2{v}_A^2+D>0$, and marginal at equality. Stability against every allowed nonzero wavenumber in the unbounded ideal model requires $D\ge 0$; finite-domain restrictions can remove the unstable band.

For $\Phi =-GM/R$, the equilibrium relation gives ${\Omega }^2=GM/R^3$, so $D=-3{\Omega }^2$ and ${\kappa }^2={\Omega }^2$. Hence the Keplerian disk has the magnetorotational instability bandWithout the magnetic field, the polynomial becomes ${\omega }^2({\omega }^2-{\kappa }^2)=0$. The Rayleigh centrifugal stability criterion instead requires ${\kappa }^2>0$, equivalently $d(R^4{\Omega }^2)/dR>0$. A Keplerian disk satisfies that hydrodynamic criterion. Magnetic coupling therefore destabilizes a disk that has a restoring hydrodynamic epicyclic oscillation; the field couples angular-momentum exchange between elements, rather than acting only as an isolated restoring spring.

The plotted maximum is the maximum growth rate of ideal magnetorotational instability, $3\Omega /4$ at $k^2{v}_A^2=15{\Omega }^2/16$.

Consider a local shearing sheet centered at a circular orbit. Take uniform mass density, background velocity ${\mathbf{u}}_0=-2Ax{\mathbf{e}}_y$, rotation $\mathbf{\Omega }=\Omega {\mathbf{e}}_z$ and a weak uniform vertical magnetic field ${\mathbf{B}}_0=B_0{\mathbf{e}}_z$. HereUse ideal magnetohydrodynamics, neglect viscosity, magnetic diffusion and vertical stratification, and take incompressible axisymmetric disturbances proportional to $e^{ikz-i\omega t}$. They have horizontal velocity and field perturbations. Let $\mathbf{b}=\delta \mathbf{B}/\sqrt{{\mu }_0\rho }$ be the magnetic perturbation in velocity units, $v_A=B_0/\sqrt{{\mu }_0\rho }$ the Alfvén speed and ${\omega }_A=k{v}_A$ the Alfvén frequency. Magnetic pressure can be included in the perturbation's total pressure; the horizontal Lorentz force for this mode is the magnetic tension term $i{\omega }_A\mathbf{b}$.

Linearizing momentum and induction givesThe term $-2A{b}_x$ winds a radial magnetic perturbation into an azimuthal one. Omitting it would remove the shear's magnetic energy source and give the wrong stability criterion.

A useful elimination that also covers neutral modes introduces the fluid displacement $\mathbf{\xi }$. Frozen-in flux gives $\mathbf{b}=i{\omega }_A\mathbf{\xi }$, while the Eulerian perturbation velocity is $u_x={\dot{\xi }}_x$, $u_y={\dot{\xi }}_y+2A{\xi }_x$, because the displacement samples the gradient of the basic flow. The equations become the spring model of magnetorotational instability:For the stated time dependence, their determinant isThus the ideal magnetorotational dispersion relation isIt follows without dividing by $\omega$, so the neutral stability boundary is included.

To analyze it, put $a={\omega }_A^2$ and $Y={\omega }^2$. ThenFor a hydrodynamically stable rotation law, ${\kappa }_r^2>0$, the sum of the two roots is positive. Their product is negative precisely when $0<a<4\Omega A$. One squared frequency is then negative, giving an exponentially growing mode $\omega =i\gamma$ and its decaying partner. Therefore the magnetorotational instability, or MRI, has criterionAngular velocity must decrease outwards, although specific angular momentum may increase outwards and satisfy Rayleigh's circulation criterion. This is why a Keplerian disc can be stable to the axisymmetric hydrodynamic disturbances of Question 2 yet unstable once magnetic coupling is introduced. At zero magnetic frequency the unstable root becomes neutral, while sufficiently large magnetic frequency restores stability. For increasing angular velocity, $A<0$ with $\Omega >0$, this ideal vertical-field instability is absent.

The growth rate isFor $0<A<\Omega$, differentiation with respect to $a$ sets $\sqrt{{\kappa }_r^4+16{\Omega }^{2}a}=4{\Omega }^2$, yielding the maximum growth rate of ideal magnetorotational instability:For Keplerian rotation, $A=3\Omega /4$, soThus the fastest growth is on an orbital timescale. The field strength selects its wavelength, $k_{\max }\propto 1/v_A$, rather than the maximum ideal growth rate. At fixed $k$, growth does approach zero as $B_0\to 0$; retaining the finite maximum in that limit requires shorter wavelengths, which magnetic diffusion can eventually exclude. Unstable wavelengths satisfy $\lambda >2\pi v_A/\sqrt{4\Omega A}$ in this local model. A finite disc must accommodate such a wavelength, so a sufficiently strong field can suppress the available vertical modes through excessive tension.

Physically, a bent field line acts like a spring joining neighboring fluid elements. The inner element rotates faster and pulls the outer element forward, transferring angular momentum outward. The inner element loses angular momentum and moves inward; the outer element gains it and moves outward. In a rotation law with outward-decreasing angular velocity, these motions increase their angular-velocity difference and the magnetic coupling produces further separation. A weak restoring spring therefore creates a feedback instability by enabling angular-momentum exchange. Without that exchange, each displaced element keeps its angular momentum and a positive epicyclic frequency restores its orbit. Strong magnetic tension instead prevents the separation. The free energy is the differential rotation, not the initial magnetic energy.

The instability provides an important route to turbulence and angular momentum transport in sufficiently conducting accretion discs. The radial flux of azimuthal momentum includes the stressThe first term is a Reynolds stress and the second is the magnetic contribution from the Maxwell stress tensor, with the sign appropriate to momentum flux. For the growing branch, take $u_x$ real and positive. The linear equations give $u_y/u_x=({\gamma }^2+a)/(2\Omega \gamma )>0$ and $b_y/b_x=({\gamma }^2+a-4\Omega A)/(2\Omega \gamma )<0$. The last sign follows from $({\gamma }^2+a)({\gamma }^2+a-4\Omega A)+4{\Omega }^2{\gamma }^2=0$. Thus both the velocity and magnetic contributions carry angular momentum outward. The associated energy extraction is $-T_{xy}rd\Omega /dr=2A{T}_{xy}>0$. Inward accretion can then accompany outward angular-momentum transport, and dissipation of the resulting fluctuations heats the disc. This gives a physical mechanism behind an effective turbulent-viscosity description such as an alpha disk, whereas microscopic viscosity alone is generally too weak for rapid accretion.

MRI is an exponentially growing magnetic instability of outward-decreasing angular velocity; hydrodynamic shearing-wave amplification is transient and does not by itself establish sustained turbulence. Nonlinear saturation, field regeneration and transport efficiency depend on field geometry, boundaries and thermodynamics. Poor conductivity or important nonideal magnetic effects can suppress or modify the ideal instability, so the local dispersion relation is a mechanism and growth criterion rather than a universal prescription for the saturated stress.

The magnetorotational instability extracts energy from differential rotation through magnetic tension. It can destabilize a disk whose specific angular momentum increases outward, even though such a disk satisfies Rayleigh's circulation criterion. The distinction is that an unmagnetized displaced parcel approximately conserves its own angular momentum, whereas a field line transfers angular momentum between parcels. If angular velocity decreases outward, an outward-displaced parcel lags its inner partner. Magnetic tension transfers angular momentum to the outer parcel and removes it from the inner one, making their radial separation increase. A sufficiently stiff magnetic connection suppresses the separation instead. The instability therefore requires a finite range of field-line-bending strengths.

Make this mechanism quantitative in the local shearing sheet of a cylindrical rotation profile $\Omega (r)$. Put $q=-d\log \Omega /d\log r$, and take $0<q<2$ so the unmagnetized flow is stable. Its radial epicyclic frequency is ${\kappa }^2=2(2-q){\Omega }^2$. Let the uniform field be vertical, $B_z{\mathbf{e}}_z$, with constant mass density, and use an axisymmetric horizontal disturbance proportional to $e^{st+ikz}$. Write $\mathbf{h}=\mathbf{b}/\sqrt{{\mu }_0\rho }$ and ${\omega }_A=k{B}_z/\sqrt{{\mu }_0\rho }$. The linearized ideal magnetohydrodynamics equations areThe first pair contains Coriolis acceleration and the epicyclic response; the last equation is the shear-winding of a radial field perturbation into an azimuthal one. Omitting that winding term would remove the driving mechanism.

Eliminating $h_r,h_{\varphi }$ gives $(s^2+{\omega }_A^2)u_r=2\Omega s{u}_{\varphi }$ and $s(s^2+{\omega }_A^2)u_{\varphi }+\Omega [(2-q)s^2-q{\omega }_A^2]u_r=0$. Their determinant is the ideal magnetorotational dispersion relationIts discriminant as a quadratic in $s^2$ is ${\kappa }^4+16{\Omega }^2{\omega }_A^2>0$. Since $2{\omega }_A^2+{\kappa }^2>0$, a positive $s^2$ exists precisely when its constant term is negative:Thus angular velocity, rather than specific angular momentum, must decrease outward. A Keplerian disk has $q=3/2$, ${\kappa }^2={\Omega }^2$ and is hydrodynamically stable, yet magnetic modes with $0<k^2{v}_A^2<3{\Omega }^2$ grow.

The growing root is $s^2=-{\omega }_A^2-{\kappa }^2/2+\frac{1}{2}\sqrt{{\kappa }^4+16{\Omega }^2{\omega }_A^2}$. Differentiation with respect to ${\omega }_A^2$ gives the maximum growth rate of ideal magnetorotational instability:For Keplerian shear these are $3\Omega /4$ and $15{\Omega }^2/16$. The ideal maximum is set by shear; reducing field strength reduces the fastest wavelength instead of reducing this maximum growth rate. This is why the exactly zero-field problem differs from a sequence of weak-field problems with progressively larger wave number. At fixed wave number, growth does tend to zero as the field vanishes. The wavelength must fit the actual disk, and diffusion eventually matters at sufficiently short scales.

The instability has the required angular-momentum-transfer sign. In a growing mode, $u_{\varphi }/u_r=(s^2+{\omega }_A^2)/(2\Omega s)>0$. At the fastest mode this ratio is one, while induction gives $h_{\varphi }=-h_r$ after allowing for their common Fourier phase. Thus the averaged Reynolds stress minus Maxwell stress tensor, $\rho ⟨u_r{u}_{\varphi }-h_r{h}_{\varphi }⟩$, is positive: angular momentum moves outward. Its product with $q\Omega$ is the energy supplied by the background shear. These local mechanisms and coefficient conventions are also checked in the primary MRI stability calculation.

More general fields require separating field-line bending from field gradients and curvature. At leading local order, for a stationary compatible field in an incompressible flow with axisymmetric wavevector $(k_r,0,k_z)$, the bending frequency isPressure elimination projects the radial force by $f=k_z^2/k^2$. The radial momentum equation becomes $s{u}_r-2f\Omega u_{\varphi }=i{\omega }_A{h}_r$; the azimuthal and induction equations retain the form above. Eliminating the amplitudes gives the oblique axisymmetric magnetorotational dispersion relationHere $k_z\ne 0$. The unstable range is $0<{\omega }_A^2<-fd{\Omega }^2/d\log r$. The poloidal magnetic field therefore determines whether an axisymmetric perturbation bends a field line. A locally uniform toroidal magnetic field does not enter $\mathbf{k}\cdot \mathbf{B}$ for axisymmetry, and can contribute magnetic pressure that is projected out of this incompressible leading-order problem. Thus a toroidal component does not suppress the weak-field MRI merely by being present. Conversely a purely toroidal field has no ordinary axisymmetric local bending MRI in this approximation. This does not imply that every globally curved toroidal equilibrium is stable.

A steady general poloidal magnetic field must also be compatible with the equilibrium rotation. The azimuthal ideal magnetohydrodynamic induction equation contains ${\partial }_t{B}_{\varphi }=r{\mathbf{B}}_p\cdot \nabla \Omega$. A stationary axisymmetric equilibrium with no meridional flow consequently requires ${\mathbf{B}}_p\cdot \nabla \Omega =0$, Ferraro's law of isorotation. A radial field crossing cylindrical differential-rotation surfaces would otherwise wind secularly; it cannot simply be substituted into a stationary normal-mode calculation. Boundary conditions and the along-field eigenvalue problem replace a freely chosen local $k$ in nonuniform or bounded equilibria. Strong enough field-line tension can then stabilize all admissible wavelengths.

An explicit axisymmetric effect of nonuniform field strength and curvature is obtained with a purely toroidal field $B_{\varphi }(r){\mathbf{e}}_{\varphi }$, constant mass density and cylindrical rotation. A radial fluid displacement changes the field byThis follows directly from $\mathbf{b}=\nabla \times (\mathbf{\xi }\times \mathbf{B})$ and incompressibility. Its radial curvature force, after absorbing the magnetic-pressure perturbation, is $-2B_{\varphi }{b}_{\varphi }/({\mu }_0\rho r)$. The axisymmetric azimuthal momentum equation is $s{u}_{\varphi }+(2\Omega +r{\Omega }^{\prime })u_r=0$. Combining it with the radial force and then projecting out pressure givesThis is the local Michael criterion for axisymmetric toroidal-field interchange. The new term can either stabilize or destabilize: for $B_{\varphi }\propto r^p$, $\mathcal{D}={\kappa }^2+2(1-p)v_{A\varphi }^2/r^2$. A current-free $B_{\varphi }\propto r^{-1}$ is stabilizing; $B_{\varphi }\propto r$ leaves this axisymmetric interchange coefficient unchanged; a sufficiently steep increase with $p>1$ can destabilize even a centrifugally stable rotation law. That last instability can persist without differential rotation, so its energy source is the magnetic-current equilibrium rather than the ordinary MRI. Nonaxisymmetric current-driven modes are outside the requested essay scope.

For mixed poloidal and toroidal fields, the full induction perturbation contains $(\mathbf{B}\cdot \nabla )\mathbf{\xi }-(\mathbf{\xi }\cdot \nabla )\mathbf{B}-\mathbf{B}\nabla \cdot \mathbf{\xi }$, and the linear Lorentz force contains both $(\nabla \times \mathbf{b})\times \mathbf{B}$ and $(\nabla \times \mathbf{B})\times \mathbf{b}$. These terms explain why gradients and curvature cannot be replaced everywhere by a scalar $k^2{v}_A^2$: they can draw on equilibrium-current energy and couple the radial and vertical motions. Compressibility introduces additional magnetic pressure and magnetosonic responses; a strong toroidal field can alter the dispersion even though it disappeared from the leading incompressible weak-field result.

Finally, a vertically or radially stratified general field also supports part of the equilibrium weight through magnetic pressure. A displaced flux tube carries its frozen-in mass-to-flux relation, so its mass density at the surrounding total pressure can differ from its new environment. This introduces magnetic buoyancy instability and competition with ordinary buoyancy. Axisymmetric interchange displacements can access this energy without an azimuthal wave number, while poloidal tension resists variation along the field. Growth that survives when $d\Omega /dr=0$ must not be attributed to shear-driven MRI. The general-field stability problem therefore combines shear, field-line tension, current/curvature forces, compressibility, buoyancy and boundary constraints; the uniform-field result isolates the basic angular-momentum feedback mechanism.

Write the horizontal velocity amplitudes as $(u,v)$ and magnetic amplitudes as $(b_x,b_y)$. The perturbation is horizontally uniform, divergence-free, and has no vertical velocity, so the unperturbed density and pressure are consistent at linear order. In the Keplerian shearing sheet, the horizontal components of the linearized ideal magnetohydrodynamic equations areUse the undivided equations at a zero of $F$. If $F^{\prime \prime }=-k^{2}hF$, the magnetic-force coefficient becomes $ik{v}_A^2$; the stratification cancels. The ideal magnetohydrodynamic induction equation similarly reduces toThe azimuthal induction term is field stretching by the background differential rotation. The four amplitudes obey the homogeneous systemIts determinant must vanish for a nonzero normal mode. Put $A=v_A^2{k}^2$. For nonzero $s$, elimination first gives $(s^2+A)u-2\Omega sv=0$ and $s(s^2+A)v+\Omega (s^2-3A)u/2=0$, whose solvability condition is $(s^2+A{)}^2+{\Omega }^2(s^2-3A)=0$. The original determinant extends the same polynomial to marginal $s=0$. ThusThis is the ideal magnetorotational dispersion relation with the midplane Alfvén speed $v_A=B_0/\sqrt{4\pi {\rho }_0}$. The vertical structure enters through the admissible eigenvalues $k$, rather than through a different horizontal dispersion polynomial. No division by a vanishing growth rate is required in the determinant derivation.

Let $a=v_A^2{k}^2/{\Omega }^2$. The growing root of the ideal magnetorotational dispersion relation isIts derivative is $y^{\prime }(a)=-1+4/\sqrt{1+16a}$, so the continuum maximum occurs at $a=15/16$, with $s=3\Omega /4$. For the bounded vertical modes of a sech-squared magnetized disk,Modes $n=1,\dots ,5$ are unstable; $n\ge 6$ have $a_n\ge 3$. The function $y$ increases up to $15/16$ and decreases thereafter, so the only candidates for the discrete maximum are $n=2$, with $a_2=1/2$, and $n=3$, with $a_3=1$. Their values are $y(a_2)=1/2$ and $y(a_3)=(\sqrt{17}-3)/2>1/2$. HenceThe associated velocity profile is $F_3=[5{\tanh }^3(z/H)-3\tanh (z/H)]/2$. Discrete vertical quantization makes its growth slightly smaller than the continuum maximum. This is the fastest discrete mode of a stratified magnetorotational instability.

The horizontally invariant magnetized shearing-sheet equations are linear in the horizontal fields, so perturbations about the equilibrium satisfy the same equations. The fixed surface boundary conditions require $\delta B_x=\delta B_y=0$ at $z=\pm H$. Choose a normal mode withwhere the vertical wavenumber is $k=m\pi /(2H)$, $m=1,2,\dots$. With the Alfvén frequencythe four amplitude equations becomeEliminating the velocities leavesA nonzero amplitude requires the determinant of this system to vanish, yielding the ideal magnetorotational dispersion relationEquivalently, with ${\kappa }_r^2=2(2-q){\Omega }^2$,As a quadratic equation for $s^2$, its discriminant is ${\kappa }_r^4+16{\Omega }^2{\omega }_a^2>0$. If $0<{\omega }_a^2<2q{\Omega }^2$, its constant term is negative, so one root $s^2$ is positive and there is an exponentially growing mode. If ${\omega }_a^2>2q{\Omega }^2$, both the constant term and the coefficient of $s^2$ are positive, giving two negative roots and only oscillatory modes. Equality is marginal.

The lowest allowed vertical wavenumber, $k=\pi /(2H)$, is the last to be stabilized as $|B_z|$ increases. Therefore the finite-thickness magnetorotational instability criterion isThere is also a vertically uniform velocity mode with zero magnetic perturbation; for the usual orbitally stable regime $q<2$, it is just stable epicyclic motion. For $q>2$, that uniform mode is already hydrodynamically unstable, independently of the magnetic criterion. At $q=2$ it is marginal. The criterion above concerns the magnetic modes.

For an incompressible vertical-field mode, frozen-in magnetic tension supplies a spring of frequency ${\omega }_A$. Its displacement satisfies ${\ddot{\xi }}_x-2\Omega {\dot{\xi }}_y-4\Omega A{\xi }_x=-{\omega }_A^2{\xi }_x$ and ${\ddot{\xi }}_y+2\Omega {\dot{\xi }}_x=-{\omega }_A^2{\xi }_y$. Their determinant gives the ideal magnetorotational dispersion relation. A weak spring transfers angular momentum from the faster inner element to the slower outer element, causing inward and outward migration that increase their separation when angular velocity decreases outward. A sufficiently strong spring instead supplies a restoring force.

// Target: physics.bigb