in galactic astronomy , the most intensely studied of the problems of pattern formation is the problem of the formation of spiral structure , which has brought forth numerous theoretical and numerical approaches .
even though at the present time there exists , as yet , no satisfactory theory of the origin and conservation of the spiral structure so prominent in the milky way and many other giant flattened galaxies , the majority of experts in the field has yielded to the opinion that the study of the stability of the small - amplitude cooperative oscillations in disk - shaped galaxies of stars is the first step towards an understanding of the phenomena .
this is because in the milky way and many other disk galaxies , the bulk of the luminous mass , probably @xmath1 , is in the stars .
therefore , it seems likely that the spiral structures are intimately connected with the stellar constituent of a galaxy , and that stellar dynamical phenomena play a basic role .
because of the long - range nature of the gravitational force between stars , a galaxy exhibits collective modes of motions  modes in which the stars in large regions move coherently or in unison . a galaxy is characterized also by a high  temperature " ( a dispersion of random velocities of stars ) and hence a high  thermal " energy ; this thermal energy is much larger than the interaction potential between pairs of stars .
because of this , binary encounters produce only small - scale scattering of the motions of the stars . over long enough times ,
these gradually build up to produce large deflections that constitute collisions . in many cases
these collisional effects are so weak that we consider the galaxy as collisionless on the hubble time @xmath2 yr ( chandrasekhar , 1960 ; binney and tremaine , 1987 ) .
thus , the galaxy is dominated by the collective motions and the free streaming of the stars ( kinetic effects ) .    as usual it is very difficult determine a priori whether a particular linearization of nonlinear equations made in analytical studies constitutes a valid approximation .
this can be determined , however , by direct computer simulations of the nonlinear theory that mimic the behaviour of stars in galaxies .
such modeling gives more detailed information than can be obtained analytically , so that the important physical phenomena can be determined . in this paper , the results of the approximate theoretical analysis described in the appendix are compared with our own many - body ( @xmath3-body ) simulations .
one of the goals of the simulation is to test the validities of a modified local criterion for stability of jeans - type gravity perturbations in a self - gravitating , infinitesimally thin and collisionless disk .
the fact that the nonaxisymmetric perturbations in the differentially rotating system are more unstable than the axisymmetric ones is taken into account in this modified toomre - like ( toomre , 1964 , 1977 ) criterion .
in addition to the stability criterion we are interested in how model particles diffuse in velocity . as for the present study ,
such random velocity diffusion is caused by stellar disk turbulence .
in particular , we verify the analytical prediction that as the jeans - unstable perturbations grow the mean - square velocity increases linearly with time .
the observation of this behavior is a sensitive test of the model as well as the kinetic theory of stellar disks .
in fact , morozov ( 1981 ) and griv _ et al . _
( 1999a ) already attempted to confirm the modified criterion numerically .
however , because of the very small number of model stars , @xmath4 , morozov s results are subject to considerable uncertainties , and additional simulations are clearly required to settle the issue .
furthermore , for that number of model particles , the two - body relaxation time scale is comparable to the crossing time , even with morozov s modest softening parameter , raising some question about the applicability of his simulations to actual almost collisionless galaxies .
increasing the number of model stars is definitely a more reliable procedure . in turn , griv _ et al . _ used a different numerical approach of the so - called local @xmath3-body simulations .
the @xmath3-body experiments in a local or hill s approximation has been pioneered by toomre ( 1990 ) , toomre and kalnajs ( 1991 ) and salo ( 1995 ) . in these simulations dynamics of particles in small regions of the disk are assumed to be statistically independent of dynamics of particles in other regions .
the local numerical model thus simulates only a small part of the system and more distant parts are represented as copies of the simulated region . unlike morozov ( 1981 ) and griv _
( 1999a ) , we study some aspects of dynamical behavior of stellar systems by global simulations using a sufficiently large number of particles .
different methods are currently employed to simulate global evolution of collisionless point - mass systems of galaxies by @xmath3-body experiments .
one algorithm for a simulation code that has found wide use was developed by hohl and hockney ( 1969 ) , hohl ( 1971 , 1972 ) , miller ( 1971 ) , hockney and brownrigg ( 1974 ) , quirk ( 1972 ) , athanassoula and sellwood ( 1986 ) , combes _
( 1990 ) , pfenniger and friedli ( 1993 ) , merritt and sellwood ( 1994 ) , donner and thomasson ( 1994 ) , and others .
the method samples the density field with a usually uniform grid .
the poisson equation is then solved on this grid using one of a number of the fast solvers that are available , usually fast fourier transforms .
this is an analog of plasma particle - in - cell ( pic ) codes .
it is believed that simulating many billions of stars in actual galaxies by using only several ten or hundred thousands representative stars in pic experiments will be enough to capture the essential physics , which includes the ordinary star  star binary relaxation and wave - like collective motion . in other fields , such as the simulation of spiral structures ,
pic codes may be used with moderate success .
this is because these fine - scale @xmath5 kpc structures can basically be governed by collisionless processes . by increasing the number of cells to reproduce the microstructures ,
one reduces the average number of particles per cell , and thus increases the undesirable effect of particle gravitational encounters .
in addition , if one uses pic codes , then one can not resolve density fluctuations with wavelengths smaller than the size of a cell @xmath6 .
this puts a lower limit on the wavelengths that it makes any sense to keep ; this lower limit is given by @xmath7 .
other disadvantages of pic codes are possibilities of late - time loss of energy conservation , finite - grid and aliasing instabilities , and other numerical artifacts .
pic method works well only for regions where there are many particles per cell .
the problem is serious because there are regions in the phase space which are important to the problem but in which the distribution function is small . in general , since we will at most have a hundred particles in one cell we will have fluctuation of the order of @xmath8 or more which for many problems is unacceptable .    in another type of @xmath3-body simulation , ostriker and peebles ( 1973 ) , morozov ( 1981 ) , grivnev ( 1985 ) ,
griv _ et al . _
( 1994 ) , griv and zhytnikov ( 1995 ) , griv and chiueh ( 1998 ) investigated a stellar disk by direct integration of newtonian equations of motion . following them ,
we simulate here the evolution of a model for an isolated thin disk of a galaxy by direct integration of the equations of motion of stars : the force on a star @xmath9 due to all other stars is given by @xmath10^{3/2 } } , \ ] ] where @xmath11 is the constant of gravitation , @xmath12 , @xmath13 , @xmath14 and @xmath15 are the mass , position and velocity of the @xmath9-th and of the @xmath16-th particle , respectively , and @xmath17 is the so - called cutoff radius .
this  softening " of the gravitational potential is a device often used in @xmath3-body simulations to avoid numerical difficulties at very close but rare encounters ( miller , 1971 ; romeo , 1998 ) .
the constant parameter @xmath18 reduces the interaction at short ranges and puts a lower limit on the size of the particles , i.e. the stars in the system can no longer be considered as point - masses  they are in fact plummer spheres with a scale size @xmath18 .
in addition , the softening parameter @xmath18 leads to a more
collisionless " situation .
as is known , the latter @xmath3-body models suffer from graininess due to the finite number of particles .
the graininess manifests itself as a numerical  noise " in the calculation .
the use of many model particles @xmath19 decreases drastically the noise level .
although the direct integration method sounds simple and straighforward , practical computational limitations require the use of only few ten thousands representative stars .
this is because we evaluate the sum on the right - hand side of eq .
( 1 ) for each star or @xmath3 times for @xmath3 stars .
the sum itself contains @xmath3 terms ; each term requires a number of arithmetic operations  for the sake of estimating , let us say , ten
. the total number of arithmetic operations required to evaluate the force will be of the order of @xmath20 . for the standard runge  kutta calculation involving @xmath21 stars the total number of operations would be about @xmath22 . assuming that we can do an operation in @xmath23 sec ,
simply evaluating the forces would require about @xmath24 min .
a typical calculation requires several thousand time steps so that @xmath25 h would be required .
calculations of this magnitude are totally impractical for using such models to explore the physics of galaxies
. the problem is solved by using the nowadays concurrent supercomputers : with the multiple processors in supercomputers it is possible to reduce the running time by processing more than one group of particles at a time .
the use of , say , @xmath26 parallel computers would make such calculations practical . in the present study
, we explore the inter university @xmath27 processors sgi origin @xmath28 supercomputer in israel .    note that pic codes only formally utilized a larger number of particles than direct integration codes .
this is because in pic experiments , the disk plane was covered with a difference grid .
the stars within grid cells as well as within a whole model did not interact gravitationally ; the computation of the mass density in cells followed a fast fourier transform to obtain the potential only at a restricted set of points  at the cell centers  by interpolation rules and thus to find the very approximate forces at the positions of the particles .
this avoids the need to compute forces between particle pairs , and makes the amount of computation necessary to obtain the forces independent of @xmath3 .
clearly , nothing similar exists in nature , and therefore it follows that one can not compare the number of particles used in these different kinds of simulations in any way at all .
modern parallel computing technology on concurrent processors had led to a dramatic increase in the computing power .
the latter allows us to use direct integration methods with a sufficiently large number of model stars @xmath0 .
in general , the numerical procedure is first to seek stationary solutions to the boltzmann kinetic equation in the self - consistent field approximation for the density distribution , the angular velocity of regular rotation , the dispersion of random velocities of the stars , and then to calculate the stability of those solutions to small - amplitude gravity perturbations .    at the start of the @xmath3-body integration
, our simulation initializes the particles on a set of @xmath26 circular rings with a circular velocity @xmath29 of galactic rotation in the @xmath30plane ; the system is isolated in vacuum .
consider an uniformly rotating model disk of stars with a surface mass density variation given by @xmath31 where @xmath32 is the central surface density and @xmath33 is the radius of the initial disk . as a solution of a time - independent collisionless boltzmann equation , to ensure initial equilibrium the uniform angular velocity to balance the zero - velocity - dispersion disk ,
@xmath34 was adopted ( hohl , 1971 , 1972 )
. then the position of each particle was slightly perturbed by applying a pseudorandom number generator . for the uniformly rotating disk , the maxwellian - distributed random velocities with radial @xmath35 and azimuthal @xmath36 dispersions in the plane @xmath37 according to the familiar toomre s criterion ( toomre , 1964 , 1977 )
, @xmath38 may be added ( @xmath39 ) to the initial circular velocities @xmath40 , where @xmath41^{1/2}$ ] is the ordinary epicyclic frequency ( hohl , 1971 , 1972 ) .
it is crucial to realize that in this case , according to lau and bertin ( 1978 ) , lin and lau ( 1979 ) , bertin ( 1980 ) , lin and bertin ( 1984 ) , morozov ( 1980 ) , polyachenko ( 1989 ) , griv and peter ( 1996 ) , polyachenko and polyachenko ( 1997 ) , initially the disk is jeans - stable against the small - scale axisymmetric ( radial ) perturbations but unstable against the relatively large - scale nonaxisymmetric ( spiral ) perturbations .
the initial vertical velocity dispersion was chosen equal to @xmath42 .
finally , the angular velocity @xmath43 was replaced by ( hohl , 1971 , 1972 ) @xmath44 \right\}^{1/2 } .\ ] ]    the sense of disk rotation was taken to be counterclockwise , and units are such that @xmath45 and the mass of a star @xmath46 .
the cutoff radius was chosen @xmath47 . within the framework of our model , dynamically young stars
form the very thin disk @xmath48 . therefore , at the start of simulations the disk thickness was chosen @xmath49 .
a time @xmath50 is taken to correspond to a single revolution of the initial disk . in all experiments
the simulation was performed up to a time @xmath51 between @xmath52 and @xmath53 .
it should be noted here that after about three rotations the picture is always stabilized and practically no significant changes in gross properties of the model over this time are observed . any difference between the results of simulations with and without applying the so - called quiet starts procedure to select the very regular initial coordinates of particles was not found .
( basically , by applying the method of quiet starts , one uses no random numbers in the initial conditions to suppress the noise level in a system .
such techniques have proven useful in obtaining realistic noise levels without the use of a large number of particles ; byers and grewal , 1970 . )
moreover , tests indicated that the results were insensitive to changes in other parameters , e.g. the number of stars in the range @xmath54 , the cutoff parameter in the range @xmath55 and the initial disk thickness in the range @xmath56 .
spiral amplitudes detected in our simulations are greatly in excess of an expectation from the level of particle noise and do not scale with @xmath3 .
this behavior is clearly inconsistent with the hypothesis that the nonaxisymmetric structure in the models can be attributed to collisional effects , inappropriate values of @xmath18 or swing - amplified particle noise as advocated by toomre ( 1990 ) .
finally , slight corrections have been applied to the resultant velocities and coordinates of the model stars so as to ensure the equilibrium between the centrifugal and gravitational forces , to preserve the position of the disk center of gravity at the origin and to include the weak effect of the finite thickness of the disk to the gravitational potential .
thus , the initial model is very near the dynamical equilibrium for all radii .
the system of equations of motion ( 1 ) for @xmath3 particles was integrated by the standard runge
kutta method of the fourth order .
all the particles move with the same constant runge
kutta time step @xmath57 , where @xmath58 is the orbital period .
in order to be compared with an actual galaxy of stars , the numerical model of the disk should properly simulate a collisionless system .
otherwise , as it has been shown , e.g. by morozov _
et al . _ ( 1985 ) and griv _ et al . _
( 2000a ) , a collisional disk is unstable with respect to a secular dissipative - type instability .
the secular instability of spontaneous gravity perturbations might arise merely from the dissipation of the energy of regular rotation into ever larger amounts of heat when the system has moderate dissipation ; it results from perturbations which have negative energy in the dissipative medium ( morozov _ et al .
_ , 1985 ; fridman and polyachenko , 1984 , vol .
2 , p. 243 ) .
the secular instability produces structures completely unrelated to the effects we would like to model . in the spirit of the simple  molecular - kinetic " theory by chandrasekhar ( 1960 ) ,
the collisional relaxation time for a three - dimensional system from the point of view of deflections suffered by a test star in encounters with a given distribution of field objects is @xmath59 where @xmath60 is the averaged velocity dispersion , @xmath61 is the  field " particle mass and @xmath62 its three - dimensional number density .
also @xmath63 is the so - called newton ( or coulomb in plasmas ) logarithm , by means of which the long - range nature of the gravitational force is taken into account ; to the order of magnitude @xmath64 , where @xmath65 is the total number of field particles . in actual galaxies
@xmath66 . according to eq .
( 5 ) , the chosen quantities @xmath60 , @xmath3 , etc .
guarantee that the model may be considered as a collisionless one to a good approximation at least during @xmath67 rotations .
so we expect , in our numerical calculations because @xmath3 is large , relaxation from two - body gravitational interactions is unimportant .
we suggest that the structures observed in the @xmath3-body simulations originate from the collective modes of practically collisionless galactic models  gravitational jeans - type modes and bending firehose - type modes ( see below section 4.2 ) .
consider a system of mutually gravitating particles .
the local distribution function @xmath68 must satisfy the boltzmann kinetic equation @xmath69 where @xmath70 is the total gravitational potential determined self - consistently from the poisson equation , @xmath71 @xmath72 is the so - called collisional integral which defines the change of @xmath73 arising from ordinary interparticle collisions , @xmath74 is the collision frequency and @xmath75 is the quasi - steady state distribution function ( binney and tremaine , 1987 , p.  506 ; griv _ et al .
_ , 2000a )
.    in plasma physics , lifshitz and pitaevskii ( 1981 , p. 115 ) have discussed phenomena in which interparticle collisions are unimportant , and such a plasma is said to be collisionless ( and in the lowest - order approximation of the theory one can neglect the collision integral in the kinetic equation ) .
it was shown that a necessary condition is that @xmath76 , where @xmath77 is the typical frequency of collective oscillations : then the collision operator in the kinetic equation is small in comparison with @xmath78 . in the appendix
, we have shown that the frequency of jeans oscillations in a stellar disk @xmath79 .
therefore , in the gravitation case in the lowest - order approximation of the theory we can neglect the effects of collisions between particles on a time scale of many rotations if @xmath80 .
lifshitz and pitaevskii have pointed out that collisions may be neglected also if the particle mean free path is large compared with the wavelength of collective oscillations .
then the collision integral in eq .
( 6 ) is small in comparison with the term @xmath81 .    in this subsection
, we test numerically if the models used in our @xmath3-body simulations are being correctly modeled as collisionless boltzmann ( vlasov ) systems .
the direct method of checking if the system is being modeled as a collisionless system is to repeat a calculation using a mass spectrum ( rybicki , 1971 ) .
it is obvious that as a result of gravitational collisions there is a tendency towards energy equipartition between the various masses .
hohl ( 1973 ) has determined the experimental relaxation time and compared it with a theoretical prediction for the collisional relaxation time of a two - dimensional disk .
here we do such a comparison by using the three - dimensional system .
let us consider the three - dimensional computer model consisting of @xmath82 stars of mass @xmath83 , @xmath84 stars of mass @xmath85 and @xmath86 stars of mass @xmath87 .
the total number of stars , which are distributed in the system in accord with the law ( 2 ) is @xmath88 .
initially , the different mass groups of stars are distributed with the same velocity dispersion ( with different temperatures ) .    in the appendix of the present paper
we demonstrate that the disk becomes almost stable gravitationally for @xmath89 .
in such a jeans - stable system collective effects associated with the classical gravitational instability will not affect the random velocity dispersion of particles : then the change of velocity dispersion can be explained only by usual two - body encounters .
for this reason the initial condition was chosen to be a quasi - stable uniformly rotating disk with @xmath90 .
following chandrasekhar ( 1960 ) and hohl ( 1973 ) , let us define the relaxation time @xmath91 as the time required for the mean change of the kinetic energy per unit mass of the test star to equal the initial kinetic energy .    in figure 1
we show the change of the ratio of the mean particle ( kinetic ) energy , @xmath92 , @xmath93 and @xmath94 ( in units of the total kinetic energy of the system ) , for the different mass groups , where @xmath95 is the total velocity of a given mass group . as is expected , the two groups of heavy stars lose energy while the group of lightest stars gains an approximately corresponding amount of kinetic energy .
also as is expected , one can see the decrease in the change of the kinetic energy with time .
this is because the collisional frequency @xmath96 is inversely proportional to the velocity dispersion ( eq . [ 5 ] ) , and thus the encounters only weakly affect the stars with high random velocities .
as one can see , the mean slope of the curves shown in figure 1 will result in energy equipartition after about @xmath97 rotation periods .
it is crucial to realize that these relaxation times even for this relatively small number of model stars are much longer that the time of a single disk revolution .
we conclude that the computer models used in the present study may be considered as collisionless ones to a good approximation at least during the first @xmath53 rotations which are of especial interest in spiral - galaxy simulation .
therefore , we argue that the collective effects studied in the paper were apparent before the collisional time scale associated with the binary interactions of stars was reached .      to study the development of spiral structure and to confirm the theoretical predictions made in the appendix , warm disks with initial radial velocity dispersion of identical stars equal to toomre s ( 1964 ) stabilizing velocity dispersion @xmath98
were modeled .
figure 2 shows an example of the development of spiral structures .
the structure grows rapidly on a dynamical time scale @xmath99 . at
a time @xmath100 a multi - armed filamentary spiral structure forms with several short , tightly wound trailing arms .
soon after , at @xmath101 a bar structure appears with two almost symmetrical open spiral arms .
however , sometimes , e.g. at @xmath102 or at @xmath103 , one can see a  one - armed " galaxy consisting of a prominent arm and a short , diffuse second one .
after @xmath104 rotations , the spiral arms almost disappear , and a bar forms in the central parts of the system .
the @xmath105 instability shifts the point with highest density from the center of mass .
it is interesting to note that in many disk - shaped galaxies , e.g. in the spiral galaxies m 101 and ngc 1300 , there appears to be a deviation from rotational symmetry . in principle
, such a deviation may be due to this one arm instability .
note that the latter has already been suggested by b. lindblad ( see toomre , 1996 ) .
in fact , asymmetries in the distribution of light in spiral galaxies have been known for a long time .
et al . _ ( 1980 ) presented a number of spiral galaxies in which the distribution of neutral gas is lopsided , i.e. the gas extends further out on one side of the galaxy than on the other .
in many systems asymmetries are also found to be well developed in the stellar disks as indeed confirmed recently by near - infrared observations ( zaritsky and rix , 1997 ) . rudnick and rix ( 1998 ) quantified the mean asymmetry of 54 early - type disk galaxies using the amplitude of the @xmath105 azimuthal fourier component of the @xmath33-band surface brightness .
it was found that @xmath106 of all disk galaxies have azimuthal asymmetries in their stellar disk disribution , confirming lopsidedness as a dynamical phenomenon .
based on the @xmath3-body simulations , we can offer a tentative hypothesis which accounts lopsided asymmetries in spiral galaxies by the @xmath105 jeans - unstable spiral mode .
following athanassoula and sellwood ( 1986 ) , in figure 3 the time evolution of the fourier spectrum of the spiral pattern shown in figure 2 is plotted . only the azimuthal @xmath107 components are shown .
the complex fourier coefficients , @xmath108 , are determined from the following summation @xmath109 \ } , \ ] ] where @xmath3 is the number of particles and @xmath110 are the polar coordinates of the @xmath16-th particle .
the pitch angle of an @xmath111-armed logarithmic spiral @xmath112 is given by @xmath113 , and positive @xmath114 corresponds to trailing spirals and negative @xmath114 to leading ones .
this logarithmic spiral fourier analysis shows that the peaks of the signals move to positive @xmath114 with increasing time , reach maxima at @xmath115 , and eventually decay .
it follows , then , that after a time @xmath116 the model becomes practically stable with respect to gravitational jeans - type modes .
we can observe that the @xmath117 modes are the most unstable ones .
an interesting feature is that all these modes have roughly the same pitch angle .
the amplitudes of the signals grow aperiodically , supporting the assumption that we have deal with the aperiodic jeans - type instability of gravity disturbances .    in actual galaxies ,
discrete spiral modes were already found by rix and zaritsky ( 1995 ) , block and puerari ( 1999 ) and block _ et al . _
it was stated that in the near - infrared , the morphology of older star - dominated disk indicates a simple classification scheme : the dominant fourier @xmath111-mode in the dust penetrated regime , and the associated pitch angle . a ubiquity of low @xmath105 and @xmath118 modes was confirmed .
( 1998 ) detected @xmath119 spiral modes in relatively young stellar population of the nearly face - on galaxy ngc 3631 from observations in the h@xmath120 line .    from the edge - on view pictured in figure 4
, one can see that from an initial very thin model , a fully three - dimensional disk develops immediately at @xmath121 with a mean height @xmath122 above the plane , corresponding to the force balance between the gravitational attraction in the plane and the  pressure " due to the velocity dispersion ( i.e.  temperature " ) in the vertical , @xmath123-direction .
a straightforward estimate shows that @xmath124 where @xmath125 is the three - dimensional mass density in the mid - plane . after a time @xmath121
there is no change in the edge - on structure until at @xmath126 ( when the jeans instability is almost switched off by increasing the planar velocity dispersion ) . at somewhat later times ,
@xmath127 , a  box - shaped " or
peanut - shaped " bar structure is developed .
the development of the box / peanut bar structure is explained in the terms of the bending firehose - type instability ( raha _ et al .
_ , 1991 ; merritt and sellwood , 1994 ; griv and chiueh , 1998 ) .
one sees that at times @xmath128 , the bending instability fiercely develops in the central , almost rigidly rotating parts of the system and is switched off at @xmath101 . at later times , no dramatic evolution is observed in our simulations . to emphasize
, this type of bending instabilities develops in the central , rigidly rotating parts of the system .
the three - dimensional simulations show that the bending instabilities mentioned above destroy the strong bar formation ( griv and chiueh , 1998 ) .
note that the bending modes have been found experimentally by merritt and hernquist ( 1991 ) and merritt and sellwood ( 1994 ) , but in the nonrotating models .
( 1990 ) and raha _ et al . _
( 1991 ) found the bending instability in the central regions of a fast - rotating @xmath3-body disk .
it was stated that this instability may play a part in the formation of triaxial bulges in flat galaxies and explanation was given why many bulge stars are less than 10 gyr old ( raha _ et al .
_ , 1991 ) .
bureau and freeman ( 1997 ) have argued that new observations constitute a strong case in favor of the bending ( or bar - buckling ) mechanism for the formation of boxy / peanut - shaped bulges in spiral galaxies .
observations suggest very strongly that many of ordinary spiral galaxies , including the milky way , have similar small triaxial bars in their central regions ( dwek _ et al . _ , 1995 ) .    apparently , this instability of a sufficiently thin stellar disk has been predicted by toomre ( 1966 ) by using the simplified theory based on moment equations .
toomre considered the collisionless analog of the kelvin
helmholtz instability in an infinite , two - dimensional , nonrotating sheet of stars .
this is the usual way to discuss the conditions of the firehose instability in plasma physics ( krall and trivelpiece , 1986 ) .
it was demonstrated by toomre that the bending instability is driven by the stellar  pressure " anisotropy : the source of free energy in the instability is the intrinsic anisotropy of a velocity dispersion (  temperature " ) .
the bending firehose - type instability was also discovered independently by kulsrud _
et al . _ ( 1971 ) and mark ( 1971 ) with a more accurate kinetic theory .
et al . _ have described the mechanism of the instability in terms of the balance of centrifugal force acting on the stars of a bending layer and the gravitational attraction toward the plane of the practically nonrotating , pressure - supported disk .
fridman and polyachenko ( 1984 ) have discussed the role of the instability in explaining the existence of maximum oblateness in almost nonrotating elliptical galaxies and the formation of the bulges of disk - shaped galaxies of stars .    as is seen in figures 2 and 4 ,
the basic form of warm disk evolution is the expansion of the outermost parts together with the contraction of a large part of the mass towards the center ; in the final quasi - steady state the surface density decreases exponentially outwards ( fig .
5 ) . in a future publication
we intend to explain the exponential surface density distribution of the final quasi - steady state model by applying the quasi - linear theory of a stellar disk s stability .
note only that the study of surface photometry have been shown that most spiral and s0 galaxies have an exponential disk with radial surface - brightness distribution @xmath129 ( freeman , 1970 ) .
at first , the surface density and rotation velocity change rapidly ( figs . 5 and 6 ) , but after a time @xmath130 there is little further change during the following two rotations , except in the central portions of the disk . the model generates a nonflat rotation curve ( fig .
6 ) ; in addition growing density waves ( spiral arms ) transfer the angular momentum of the circular motion outwards ( see the difference in the rotation curves at @xmath131 and @xmath132 in figure 6 ) . as mentioned above , the model practically shows no the time evolution of the surface density and the velocity curve after @xmath133 .
the latter seem to indicate that at that time the system has nearly reached a quasi - steady state ( cf .
hohl , 1971 ) .
the time evolution of the velocity dispersions @xmath35 , @xmath36 and @xmath134 is shown in figure 7 .    initially , during the first rotation
the velocity dispersions along each axis are changed rapidly . during the following two rotations the velocity dispersions
are changed with time slightly , confirming that between @xmath135 and @xmath136 the system has nearly reached a quasi - steady state .
however , in the central portions of the disk the velocity dispersion @xmath134 increases rapidly even after the time @xmath137 , when the bending instability begins to operate .
as was stated , one of the goals of the present research is to compare toomre s ( 1964 ) critical dispersion ( 4 ) and the modified dispersion given by eq .
( 25 ) with the experimental radial velocity dispersion of the quasi - steady state model of a stellar disk . in what follows
, we are doing such a comparison .    as is seen in figure 8 , the modified critical dispersion , in contrast to toomre s ( 1964 ) critical dispersion ,
is in fair agreement with the experimental data , especially for the outer , differentially rotating parts of the disk .
the agreement is quite reasonable considering the rough nature of the theory . in the central parts of the model
the agreement with the theory is not good .
this is to be expected since the condition of nearly circular orbits adopted in the appendix does not fulfill in the central almost nonrotating regions of model disks ( and in spiral galaxies , including both barred and normal galaxies , and in disks of elliptical galaxies ) .
therefore in the central parts of the disk ( @xmath138 ) the condition for the local criteria ( both the toomre and the modified criterion ) to be applicable is violated .
one of the important problems of stellar disks is the determination of the random velocity diffusion .
such velocity diffusion can be caused by stellar disk turbulence .
velocity diffusion produced by turbulence tells us something about the turbulence process .    to compute velocity diffusion
we calculate the mean - square spread in the planar random ( residual ) velocity @xmath139 as a function of time of model particles for different radii @xmath140 . in general
@xmath141 has a time dependence like that shown in figure 9 .    as is seen , in the differentially rotating ( @xmath142 ) , jeans - unstable ( at times @xmath143 ) parts of the disk approximately @xmath144 .
this behavior has been predicted analytically ( see the appendix ) .
interestingly , observations indicate a similar increase of @xmath141 with time in the solar neighborhood ( binney and tremaine , 1987 , p. 470 ; gilmore _ et al . _ ,
1990 ) .
the time evolution of the hot disk was investigated , in which the initial dispersion of random radial velocities of model stars was chosen to be greater than toomre s critical dispersion , namely , @xmath145 ( see eq . [ 24 ] ) . for such calculations
we obtain plots like those shown in figure 10 . in agreement with the theory ,
the system becomes gravitationally ( jeans- ) stable .
the linear lin  shu density wave theory is considered now as well established ( lin and shu , 1966 ; lin _ et al . _ , 1969 ; shu , 1970 ; bertin , 1980 ; binney and tremaine , 1987 , p. 347 ; griv and peter , 1996 ; griv _ et al .
_ , 2000b ) .
however , as soon as the amplitude of the gravity perturbations becomes appreciable a new generation of problems , namely , nonlinear problems , become important . below
we present a quantitative weakly nonlinear theory of the classical jeans instability of small - amplitude gravity disturbances ( e.g. those produced by a barlike structure , a spontaneous perturbation and/or a companion galaxy ) in self - gravitating , rapidly rotating stellar disks of flat galaxies .    in the rotating frame of a disk galaxy
, the collisionless motion of an ensemble of identical stars in the plane of the system can be described by the boltzmann equation for the distribution function @xmath68 without the integral of collisions ( lin _ et al .
_ , 1969 ) : @xmath146 where @xmath147 are the galactocentric cylindrical coordinates , the total azimuthal velocity of the stars was represented as a sum of the random @xmath148 and the basic rotation velocity @xmath149 , and @xmath150 is the random velocity in the radial direction . the quantity @xmath151 denotes the angular velocity of galactic rotation at the distance @xmath140 from the center , and the epicyclic frequency @xmath152 varies from @xmath153 for a rigid rotation to @xmath154 for a keplerian one .
random velocities are small compared with @xmath155 .
collisions are neglected here because the collision frequency is much smaller than the cyclic frequency . in the kinetic equation ( 9 ) , @xmath70 is the total gravitational potential determined self - consistently from the poisson equation ( 7 ) .
the equilibrium state is assumed , for simplicity , to be an axisymmetric and spatially homogeneous stellar disk .
secondly , in our simplified model , the perturbation is propagating in the plane of the disk .
this approximation of an infinitesimally thin disk is a valid approximation if one considers perturbations with a radial wavelength that is greater than the typical disk thickness .
we assume here that the stars move in the disk plane so that @xmath156 .
this allows us to use the two - dimensional distribution function @xmath157 such that @xmath158 , where @xmath159 is the surface density .
we expect that the waves propagating in the disk plane have the greatest influence on the development of structures in the disk .
the latter suggestion is strongly supported by numerical simulations ( hohl , 1978 ) .
the disk in the equlibrium is described by the following equation : @xmath160 where @xmath161 and the angular velocity of rotation @xmath162 is such that the necessary centrifugal acceleration is exactly provided by the central gravitational force @xmath163 , where @xmath164 is the axisymmetric equilibrium potential .
equation ( 10 ) does not determine the equilibrium distribution @xmath165 uniquely .
for the present analysis we choose @xmath165 in the form of the anisotropic maxwellian ( schwartzschild ) distribution @xmath166 the schwarzschild distribution function is a function of the two epicyclic constants of motion @xmath167 and @xmath168 , where @xmath169 .
these constants of motion are related to the unperturbed star orbits : @xmath170 ;
\quad v_r = v_\perp \cos \left ( \phi_0 - \kappa t \right ) ; \nonumber \\ & & \varphi = \frac{2\omega}{\kappa } \frac{v_\perp}{r_0 \kappa } \left [ \cos ( \phi_0 - \kappa t ) - \cos \phi_0 \right ] ; \nonumber \\ & & v_\varphi \approx r_0 \frac{d\varphi}{dt } + r_0 \frac{v_\perp}{\kappa}\frac{d\omega } { dr } \sin \left ( \phi_0 - \kappa t \right ) \approx \frac{\kappa}{2\omega } v_\perp \sin \left ( \phi_0 - \kappa t \right ) , \label{eq : orbits }     \end{aligned}\ ] ] where @xmath171 , @xmath172 are constants of integration , @xmath173 , @xmath174 is the mean epicycle radius , and we follow lin _ et al . _
( 1969 ) , shu ( 1970 ) and lynden - bell and kalnajs ( 1972 ) , making use of expressions for the unperturbed epicyclic trajectories of stars ( 12 ) in the equilibrium central field @xmath175 . in eqs .
( 12 ) , @xmath176 is the radius of the circular orbit , which is chosen so that the constant of areas for this circular orbit @xmath177 is equal to the angular momentum imtegral @xmath178 , and @xmath179 . also , @xmath180 is the position angle on the circular orbit , @xmath181 .
the quantities @xmath154 , @xmath152 and @xmath35 are evaluated at @xmath176 . in eq . ( 11 ) the fact is used that as follows from eqs .
( 12 ) in a rotating frame the radial velocity dispersion @xmath35 and the azimuthal velocity dispersion @xmath36 are connected through @xmath182 . in the solar vicinity , @xmath183 .
the distribution function @xmath165 has been normalized according to @xmath184 , where @xmath185 is the equilibrium surface density .
such a distribution function for the unperturbed system is particularly important because it provides a fit to observations ( lin _ et al .
_ , 1969 ; shu , 1970 ) .
we proceed by applying the standard procedure of the quasi - linear ( weakly nonlinear ) approach ( lifshitz and pitaevskii , 1981 ; alexandrov _ et al .
_ , 1984 ; krall and trivelpiece , 1986 ) and decompose the time dependent distribution function @xmath186 and the gravitational potential @xmath187 with @xmath188 and @xmath189 for all @xmath190 and @xmath51 .
the functions @xmath191 and @xmath192 are oscillating rapidly in space and time , while the functions @xmath75 and @xmath193 describe the slowly developing  background " against which small perturbations develop ; @xmath194 and @xmath195 .
the distribution @xmath75 continues to distort as long as the distribution is unstable .
linearizing eq .
( 9 ) and separating fast and slow varying variables one obtains : @xmath196 @xmath197 where @xmath198 means the total derivative along the star orbit ( 12 ) and @xmath199 denotes the time average over the fast oscillations . to emphasize it again
, we are concerned with the growth or decay of small perturbations from an equilibrium state .    in the epicyclic approximation , the partial derivatives in eqs .
( 13 ) and ( 14 ) transform as follows ( lin _ et al .
_ , 1969 ; shu , 1970 ; morozov , 1980 ; griv and peter , 1996 ) : @xmath200    to determine oscillation spectra , let us consider the stability problem in the lowest wkb approximation ; this is accurate for short wave perturbations only , but qualitatively correctly even for perturbations with a longer wavelength , of the order of the disk radius @xmath33 . in this local wkb approximation in eqs .
( 13 ) and ( 14 ) , assuming the weakly inhomogeneous disk , the perturbation is selected in the form of a plane wave ( in the rotating frame ) : @xmath201 where @xmath202 , @xmath203 are amplitudes that are constant in space and time , @xmath111 is the nonnegative azimuthal mode number (= number of spiral arms ) , @xmath204 is the doppler - shifted wavefrequency and @xmath205 ( lin _ et al . _ , 1969 ; shu , 1970 ; griv and peter , 1996 ) .
the solution in such a form represents a spiral wave with @xmath111 arms whose shape in the plane is determined by the relation @xmath206 with @xmath207 increasing in the rotation direction , we have @xmath208 for trailing spiral patters , which are the most frequently observed among spiral galaxies . a change of the sign of @xmath209 corresponds to changing the sense of winding of the spirals , i.e. leading ones .
with @xmath210 , we have the density waves in the form of concentric rings that propagate away from the center when @xmath211 or toward the center when @xmath212 .    in eq .
( 13 ) using the transformation of the derivatives @xmath213 and @xmath214 given by eqs .
( 15 ) , one obtains the solution @xmath215 where @xmath216 . in this equation making use of the time dependence of perturbations in the form of eq .
( 16 ) and the unperturbed trajectories of stars ( 12 ) in the exponential factor occurring in the formula ( 18 ) , it is straightforward to show that @xmath217 where @xmath218 is the bessel function of the first kind of order @xmath219 , @xmath220 , @xmath221 \sin^2 \psi \}^{1/2}$ ] is the effective wavenumber , @xmath112 is the pitch angle of perturbations , @xmath222 , and we used the expansion @xmath223 and the usual bessel function recursion relation @xmath224 . in eq . (
19 ) , the denominator vanishes when @xmath225 .
this occurs near corotation ( @xmath226 ) and other resonances ( @xmath227 ) .
the lindblad resonances occur at radii where the field @xmath228 resonates with the harmonics @xmath229 ( inner resonance ) and @xmath230 ( outer resonance ) of the epicyclic ( radial ) frequency of equilibrium oscillations of stars @xmath152 .
clearly , the location of these resonances depends on the rotation curve and the spiral pattern speed ; the higher the @xmath111 value , the closer in radius the resonances are located ( lin _ et al . _ , 1969
; shu , 1970 ) . in this paper , only the main part of the galactic disk is studied which lies sufficiently far from the resonances : below in all equations @xmath231 .    in the wkb approximation , the linearized poisson equation ( 7 )
is readily solved to give the improved lin
shu expression for the perturbed surface density of the two - dimensional disk ( lau and bertin , 1978 ; lin and lau , 1979 ) : @xmath232 on the other hand , integrating eq .
( 19 ) over velocity space @xmath233 , and equating the result to the perturbed density given by the improved lin
shu solution ( eq . [ 20 ] ) , the dispersion relation @xmath234 is obtained : @xmath235 where @xmath236 , @xmath237 is a bessel function of imaginary argument with its argument @xmath238 , this dispersion relation generalizes the lin  shu
 kalnajs one for nonaxisymmetric perturbations ( @xmath239 ) propagating in a homogeneous disk excluding the resonance zones ( @xmath240 ) . analyzing eq .
( 21 ) , it is useful to distinguish between two limiting cases : the cases of of epicyclic radius that is small compared with wavelength , @xmath241 , and of epicyclic radius that is large compared with wavelength , @xmath242 .
we study the problem when the frequency of disk oscillations is smaller than the epicyclic frequency . in the opposite case of the high perturbation frequencies , @xmath243 ,
the effect of the disk rotation is negligible and therefore not relevant to us .
this is because in this
rotationless " case the star motion is approximately rectilinear on the time and length scales of interest which are the wave growth / damping periods and wavelengths , respectively ( cf .
_ , 1984 , p. 113 ) .
thus , the terms in series ( 19 ) and ( 21 ) for which @xmath244 may be neglected , and consideration will be limited to the transparency region between the turning points in a disk , i.e. between the inner and outer lindblad resonances .
the @xmath226 harmonic that defines the corotation resonance dominates in series .
thus , @xmath245 less than the epicyclic frequency of any disk star . in this case , in eq .
( 21 ) function @xmath246 starts from @xmath247 , reaches a maximum @xmath248 at @xmath249 , and then decreases .
hence , the growth rate of the instability has a maximum at @xmath250 ( griv _ et al . _ , 1999b , fig . 2 in their paper ) .
in addition , we consider only low-@xmath111 perturbations ( which are important only for the problem of spiral structure ) : from now on in all equations @xmath251 .    using the well - known asymptotic expansions of bessel functions , the simplified @xmath252 dispersion relation reads @xmath253 where @xmath254 is the squared jeans frequency and @xmath255 is the so - called reduction factor , which takes into account the fact that the wave field only weakly affects the stars with high random velocities .
the latter means that the spiral structure is seen more distinctly in objects with the lowest velocity dispersion . in the limit @xmath256 ,
@xmath257 $ ] ( but , of course , in order to be appropriate for a wkb wave we consider the perturbations with @xmath258 ) . in the opposite limit @xmath242 ,
@xmath259 $ ] .
different forms of @xmath260 are given by athanassoula ( 1984 ) .
the aperiodic jeans instability ( gravitational collapse ) is possible when @xmath261 .
that is , the real part of the frequency of this unstable motion vanishes in a rotating frame .
the jeans instability is driven by a strong nonresonant interaction of the gravity fluctuations with the bulk of the particle population , and the dynamics of jeans perturbations can be characterized as a fluid - like interaction .
therefore , such an instability , which implies the displacement of macroscopic portions of a gravitating system , may be also analyzed through the use of relatively simple hydrodynamic equations ( lau and bertin , 1978 ; lin and lau , 1979 ; lin and bertin , 1984 ) . in general
, the growth rate of the jeans instability is relatively high @xmath262 ; perturbations with wavelength @xmath263 have the fastest growth rate ( griv _ et al .
_ , 1999a , b ; griv _ et al . _ , 2000a , b ) . in the solar vicinity of the galaxy , @xmath264 kpc .
equation ( 22 ) has two roots which describe two branches of oscillations : long - wavelength , @xmath256 , and short - wavelength , @xmath242 , jeans branches .
the dispersion law of low-@xmath111 jeans oscillations is @xmath265 here @xmath266 for jeans - stable ( @xmath267 ) perturbations and @xmath268 for jeans - unstable ( @xmath269 ) perturbations .
the jeans perturbations can be stabilized by the random velocity spread . indeed , if one recalls that such unstable perturbations are possible only when @xmath270 , then by using the condition @xmath271 for all possible @xmath272 , from eq .
( 22 ) a local stability criterion to suppress the instability of arbitrary jeans - type gravity perturbations can be easily obtained ( griv _ et al .
_ , 1999a , b ; griv _ et al . _ , 2000b ) : @xmath273
\sin^2 \psi \}^{1/2 } , \label{eq : criterion}\ ] ] where @xmath35 is the radial - velocity dispersion , @xmath274 is the critical radial velocity dispersion and usually in the main part of a disk - shaped galaxy the parameter @xmath275 .
it is clear from this local criterion that stability of nonaxisymmetric jeans perturbations @xmath276 in a differentially rotating disk @xmath277 requires a larger velocity dispersion than toomre s critical value @xmath98 .
it is only for rigidly rotating disks ( @xmath278 ) and/or for axisymmetric perturbations ( @xmath279 ) that the critical value of @xmath35 is @xmath98 .
hence , the ordinary toomre s velocity dispersion @xmath98 should stabilize only small - scale axisymmetric ( radial ) perturbations of the jeans type .
the differentially rotating disk however is still unstable against relatively large - scale nonaxisymmetric ( spiral ) modes with @xmath280 , in particular very open modes with @xmath281 . according to polyachenko ( 1989 ) and polyachenko and polyachenko ( 1997 )
the marginal stability condition for jeans perturbations of an arbitrary degree of axial asymmetry has been available since 1965 ( goldreich and lynden - bell , 1965 ) , though in a slightly masked form .
a relationship exists between eq .
( 24 ) and what toomre ( toomre , 1981 ; binney and tremaine , 1987 , p.  375 ) called  swing amplification . "
summarizing , for jeans - stable differentially rotating stellar disks , the critical value of the radial velocity dispersion must be greater than ( although of the order of ) @xmath98 . in accordance with eq .
( 24 ) , @xmath282 might be the  new " toomre s velocity dispersion to suppress all jeans perturbations in a stellar disk , including the most dangerous open ones .
note that the destabilizing effect of tangential ( @xmath283 ) gravitational forces ( pitch angle dependent effect ) was first considered by lau and bertin ( 1978 ) and lin and lau ( 1979 ) using a much simpler gaseous approach , and a stability criterion that is similar to eq .
( 25 ) was also derived .
clearly , the criterion ( 25 ) is only approximate one . in the present study
, we test the validities of this modified criterion for stability of jeans perturbations in a self - gravitating , infinitesimally thin and almost collisionless disk of stars .
correspondingly , for jeans - stable differentially rotating stellar disks , the critical value of the widely used toomre s instability parameter @xmath284 must be greater than @xmath285 .
( toomre s @xmath286-value is a measure of the ratio of thermal and rotational stabilization to self - gravitation . )
observations already demonstated that stellar ( and gaseous ) disks of a large number of galaxies , including milky way s disk , are near the boundary of the gravitational stability with @xmath286 between 2 and @xmath287 over a large range of galactic disks ( fridman _ et al . _ , 1991 ;
bottema , 1993 ) .
a general impression of how the spectrum of nonaxisymmetric jeans perturbations behaves in a homogeneous nonuniformly rotating disk can be gained from figure 11 , which shows the dispersion curves in the cases of jeans - unstable systems ( ( a ) and ( b ) ) , a marginally jeans - stable system ( c ) and a jeans - stable one ( d ) for values of @xmath288 ( as determined on a computer from eq . [ 21 ] ) .    in this figure ,
the ordinate is the effective wavenumber @xmath289 measured in terms of the inverse epicyclic radius @xmath174 and the abscissa is @xmath290 , i.e. the dimensionless angular frequency at which the stars meet with the pattern , measured in terms of the epicyclic frequency @xmath152 . in general , for fixed wavefrequency @xmath291 there are two solutions in @xmath292 , comprising a long - wavelength wave , @xmath293 , and a short - wavelength wave , @xmath294 .
a property of the solution ( 21 ) is that in a homogeneous system the jeans - stable modes those with @xmath295 are separated from each other by frequency intervals where there is no wave propagation : gaps occur between each harmonic ( cf .
the bernstein modes in a magnetized plasma ) .
the growth rate of the jeans instability of a homogeneous stellar disk @xmath296 as determined on a computer from the expression @xmath297 is shown in figure 12 .
as one can see visually in this figure , the growth rates have maxima with respect to the critical mode number @xmath298 .
it means that of all harmonics of initial perturbation , one perturbation with the maximum of the growth rate and with @xmath299 will be formed asymptotically in time .
the low-@xmath111 spiral modes ( @xmath300 and @xmath301 ) are more unstable than the radial ones ( @xmath302 ) and the high-@xmath111 ones ( @xmath303 ) .
these low-@xmath111 spiral modes are only important in the problem of galactic spiral structure because in contrast to the high-@xmath111 modes , they do extend essentially over a large range of the galactic disk ( lin _ et al .
_ , 1969 ; shu , 1970 ; griv and peter , 1996 ) .    the shape and the number of spiral arms depend on the equilibrium parameters of a galaxy . for the galaxy
the most probable pattern is that of @xmath304 arms , the radial distance between the arms being @xmath305 kpc .
such a pattern corresponds to a spiral wave mode with maximum of growth rate .
next we substitute the solution ( 19 ) into eq .
taking into account that the terms @xmath306 vanish for axially symmetric functions @xmath75 , after averaging over @xmath172 we obtain the equation for the slow part of the distribution function : @xmath307    as usual in the weakly nonlinear theory ( or weak turbulence theory ) , in order to close the system one must engage an equation for @xmath308 .
averaging over the fast oscillations , we have @xmath309 where suffixes @xmath310 denote the @xmath310th fourier component .    equations ( 26 ) and ( 27 ) form the closed system of weakly nonlinear equations for jeans oscillations of the rotating homogeneous disk of stars , and describe a diffusion in velocity space .
the spectrum of oscillations and their growth rate are given by eq .
( 21 ) and @xmath311 , respectively .
thus after a time @xmath312 the jeans - unstable disk will assume the form described by eq .
( 17 ) . in the solar vicinity ,
@xmath313 yr . a very important feature of the instability under consideration is the fact that it is aperiodic ( the real part of the wavefrequency vanishes in a rotating frame we are using ) .    as an application of the theory we investigate the relaxation of low frequency and jeans - unstable , @xmath314 and @xmath315 , respectively , oscillations in the homogeneous galactic disk .
indeed , already in the 1940s it was observed that in the solar neighborhood the random velocity distribution function of stars with an age @xmath316 yr is close to a schwarzschild distribution  a set of gaussian distributions along each coordinate in velocity space , i.e. close to equilibrium along each coordinate .
in addition , older stellar populations have a higher velocity dispersion than younger ones . on the other hand , a simple calculation of the relaxation time of the local disk of the milky way due to pairwise star
star encounters brings the standard value @xmath317 yr ( chandrasekhar , 1960 ; binney and tremaine , 1987 , p. 489 ) , which considerably exceeds the lifetime of the universe . according to our approach
, collisionless collective - type relaxation does play a determining role in the evolution of stellar populations of the galactic disk .    evidently , the unstable fluid - like jeans oscillations must influence the distribution function of the main , nonresonant part of stars in such a way as to hinder the wave excitation , i.e. to increase the velocity dispersion .
this is because the jeans instability , being essentially a gravitational one , tends to be stabilized by random motions ( griv and peter , 1996 ) .
therefore , along with the growth of the oscillation amplitude , random velocities must increase at the expense of circular motion , and finally in the disk there can be established a quasi - stationary distribution so that the jeans - unstable perturbations are completely vanishing and only undamped jeans - stable waves remain : jeans instabilities are thought to heat disks up to velocity dispersion values of @xmath318 .
greater than it follows from approximate criterion ( 25 ) . ]    in the following , we restrict ourselves to the most  dangerous , " in the sense of the loss of gravitational stability , long - wavelength perturbations , @xmath319 and @xmath320 ( see the explanation after eq .
[ 21 ] ) . then in eqs .
( 21 ) and ( 26 ) one can use the expansions @xmath321 and @xmath322 .
equation ( 26 ) takes the simple form @xmath323 where @xmath324 are functions of @xmath51 . as is seen
, the velocity diffusion coefficient for nonresonant stars @xmath325 is independent of @xmath171 ( to lowest order ) .
this is a qualitative result of the nonresonant character of the star s interaction with collective aggregates .    by introducing @xmath326 and @xmath327 ( alexandrov _ et al .
_ , 1984 ; krall and trivelpiece , 1986 ) , eqs .
( 27 ) and ( 28 ) are rewritten as follows : @xmath328 which has the solution @xmath329 ( we have taken into account the observations that the distribution of newly born stars is close to the @xmath330-function distribution , @xmath331 ; grivnev and fridman , 1990 . )
two general physical conclusions can be deduced from the solution ( 30 ) .
first , during the development of the jeans instability , @xmath332 , the schwarzschild distribution of random velocities ( a gaussian spread along @xmath333 coordinates in velocity space ) is established .
it sharp contrast to a normal gas with frequent interparticle collisions , it is the collisionless collective - type interactions between the stars which transform an arbitrary initial distribution into the maxwellian - like form . secondly , the energy of the oscillation field latexmath:[$\propto \sum_{\bf k }    in the nonresonant - particle distribution . as the perturbation energy increases , the initially monoenergetic distribution spreads ( @xmath75 becomes less peaked ) , and the effective temperature ( or @xmath141 ) grows with time ( a gaussian spread increases ) : @xmath335 .
that is , during the development of the jeans instability the planar mean - square velocity increases linearly with time . in section 4.2 of the present paper , we verify the @xmath336 dependence by @xmath3-body simulations .    from the above , this nonlinear wave
 star interaction increases the velocity dispersion of stars in milky way s disk after they are born ( and of particles in jeans - unstable @xmath3-body models ) .
subsequently , sufficient velocity dispersion prevents jeans instability from occuring .
the  diffusion " of nonresonant stars takes place because they gain mechanical ( oscillatory ) energy as the instability develops .
the velocity diffusion , however , presumably tapers off as jeans stability is approached : the radial velocity dispersion @xmath35 becomes greater than the critical one @xmath337 .
this is large enough to turn off the jeans instability in a stellar disk .
thus , the true time scale for relaxation in the milky way may be much shorter than its standard value @xmath317 yr for the classical chandrasekhar
ogorodnikov collisional relaxation ; it may be of the order @xmath338 yr , i.e. comparable with @xmath53 periods of the milky way rotation in the solar vicinity .
the above relaxation time is in fair agreement with both observations and @xmath3-body simulations of milky way s disk ( binney and tremaine , 1987 , p. 478 ; grivnev and fridman , 1990 ; hohl , 1971 ) .
the results show that a velocity dispersion given by toomre s ( 1964 ) criterion will stabilize a disk only against axisymmetric ring - like gravity perturbations . however , such disks are unstable against nonaxisymmetric spiral - like perturbations . jeans - unstable spiral perturbations  heat " the system ; the mean - square random velocity increases linearly with time .
the results are in agreement with analytical predictions .
we were able to generate an axisymmetric , gravitationally stable disk .
the initial condition for the axisymmetric stable disk was obtained analytically and confirmed experimentally : the radial dispersion of random velocities of stars should be equal ( or greater than ) to the modified dispersion at each radii .
this work was performed in part under the auspices of the israeli ministry of immigrant absorption , the israel  u.s .
binational science foundation , the israel science foundation and the academia sinica in taiwan .
the authors thank tzi - hong chiueh , arthur d. chernin , alexei m. fridman and shlomi pistinner for their interest in the work and valuable suggestions . in part , this work was done while one of the authors ( e.  g. ) was a senior postdoctoral fellow at the asiaa during 19961997 .
e.  g. would like to thank yi - nan chin , minho choi , yi - jehng kuan , jeremy lim , kwok - yung lo and jun - hui zhao for many useful discussions during his two - year stay , and all the staff of asiaa for their hospitality .