increasingly the collective behavior displayed by groups of interacting dynamical components , each of which may be capable of a full range of complex dynamics , is essential to understanding and ultimately designing systems .
examples in biology , physics , and engineering are diverse , ranging from understanding sensory perception to the design of antennas capable of simultaneously sending and receiving signals at the same frequency . while in general the dynamical components may be functionally distinct and heterogeneous , in many examples one is interested in the collective behavior displayed by a group of similar coupled elements .
one commonly studied example is the synchronization of oscillating subsystems that interact .
the ability of a group of coupled oscillators to synchronize despite a distribution in individual frequencies is a broadly applicable phenomenon . in physical systems
coherent oscillations can be used to enhance detector sensitivity or increase the intensity of a power source .
synchronization is also important in biological systems where the collective behaviors in populations of animals , such as the synchronized flashing of fireflies or the coherent oscillations observed in the brain , serve as examples . including a distribution in individual frequencies in an otherwise homogeneous ensemble captures some of the inevitable differences that group members will possess .
although synchronization is often put forward as an example of the importance of understanding nonlinear phenomena , the intuition for it , and indeed the subsequent mathematical discussion , often reduces to simple linear ideas .
for example , the famous example of huygens clocks @xcite can be understood in terms of a linear coupling of the two pendulums through the common mounting support .
then the larger damping of the symmetric mode ( coming from the larger , dissipative motion of the common support ) compared with the antisymmetric mode leads at long times to a synchronized state of the two pendulums oscillating in antiphase .
the nonlinearity in the system is simply present in the individual motion of each pendulum ; specifically in the mechanism to sustain the oscillations . without the drive , the oscillators would still become synchronized through the faster decay of the even mode , albeit in a slowly decaying state . rather than this mode - dependent dissipation mechanism , one might expect synchronization to arise from the intrinsically nonlinear effect of the frequency pulling of one oscillator by another .
furthermore , the model describing the two pendulums , as well as most other models used to show synchronization , has dissipative coupling between the oscillators .
in contrast , many physical situations have mainly reactive coupling .
nanoscale mechanical oscillator arrays are one example that offer significant potential in a range of technologies @xcite,@xcite . due to the scales and numbers in these arrays ,
active control of individual oscillators poses a number of challenging problems .
synchronization offers a potentially appealing alternative in some applications .
one notable characteristic of these arrays is the predominantly reactive coupling due to elastic or electrostatic interactions .
this context is the motivation for our work . in particular , we study the model@xmath0 where @xmath1 is a complex number representing the amplitude @xmath2 and phase @xmath3 of the mth oscillator @xmath4 .
the natural frequency @xmath5 of each oscillator is chosen from a distribution @xmath6 .
we call the width of the distribution @xmath7 .
coefficients of the terms for nonlinear frequency pulling ( @xmath8 ) , dissipative coupling ( @xmath9 ) , and reactive coupling ( @xmath10 ) serve as model parameters . the coupling is taken to be infinite range or all - to - all .    in this paper
we study the roles of nonlinear frequency pulling and reactive coupling in the absence of the dissipative coupling using eq .
( [ eq_cross ] ) with @xmath11 .
in addition the distribution @xmath6 of the @xmath5 must be specified .
we study the case of positive @xmath8 and @xmath10 ; for a symmetric distribution @xmath6 the results are the same changing the sign of both @xmath8 and @xmath10 .    alternatively , when only nonlinear saturation and dissipative coupling are present ( @xmath12 ) eq .
( [ eq_cross ] ) reduces to @xmath13 the behavior for general @xmath7 and @xmath9 of eq .
( [ amplitudephase ] ) has been analyzed by matthews et al .
if the width @xmath7 of the distribution @xmath6 is narrow , so that the time evolution of the magnitudes @xmath14 is fast compared with that of the phase dispersion , and @xmath9 is small , @xmath14 rapidly relaxes to a value close to unity , and the only remaining variable for each array member is the phase @xmath3 .
equation  ( [ amplitudephase ] ) can then be reduced to a simple form @xcite,@xcite , often known as the kuramoto model @xmath15 that has been the subject of numerous studies @xcite . in the absence of coupling each oscillator in this model
would simply advance at a rate that is constant in time , but with some dispersion of frequencies over the different elements .
equation  ( [ kuramoto ] ) is an abstraction from the equations describing most real oscillator systems , leaving out many important physical features .    the complex notation of eq .
( [ eq_cross ] ) suggests the introduction of a complex order parameter @xmath16 to measure the coherence of the oscillations@xmath17 with @xmath18 for the kuramoto model , and then the equation of motion can be written [ take the imaginary part of @xmath19 in eq .
( [ orderparameter ] ) to evaluate the sum appearing in eq .
( [ kuramoto ] ) ] as@xmath20 thus the behavior of each oscillator is given by its tendency to lock to the phase of the order parameter .
the term @xmath21 acts as a locking force , and locking occurs for all oscillators with frequencies satisfying @xmath22 , with the locked oscillator phase given by @xmath23 .
the magnitude @xmath24 of the order parameter must then be determined self - consistently via eq .
( [ orderparameter ] ) .
the generalization of the locking force to apply to the model eq .
( [ eq_cross ] ) will be a conspicuous feature of our work .
equation  ( [ kuramoto ] ) is known to show rich behavior , including , in the large @xmath25 limit , a sharp synchronization transition at some value of the coupling constant @xmath26 @xcite , which depends on the frequency distribution of the uncoupled oscillators @xmath6 .
the transition is from an unsynchronized state with @xmath27 in which the oscillators run at their individual frequencies , to a synchronized state with @xmath28 in which a finite fraction of the oscillators lock to a single frequency .
the transition at @xmath29 has many of the features of a second order phase transition , with universal power laws and critical slowing down @xcite , as well as a diverging response to an applied force @xcite .
we present a detailed analysis of the model eq .
( [ eq_cross ] ) with @xmath30 describing the synchronization of an oscillator ensemble involving reactive coupling between the elements , which then leads to synchronization through nonlinear frequency pulling .
we begin in sec .
[ sec_derive ] by deriving eq .
( [ eq_cross ] ) as a description of arrays of nanoelectromechanical oscillators .
we then discuss the solutions to eq .
( [ eq_cross ] ) for a variety of symmetric distributions in intrinsic frequencies @xmath6 .
common solution types exist for the three distinct types of frequency distributions we studied . in sec .
[ sec_examples ] we introduce these solutions and the measures we use to describe them .
we begin the analysis in sec .
[ sec_form ] by moving to a continuum description to derive synchronization conditions .
we are able to analyze the existence of two behavior types in closed form : the unsynchronized solution in sec .
[ sec_onset ] and the fully locked synchronized behavior in sec .
[ sec_fulllocking ] .
results from our analytical arguments are combined with those from simulations to present the solutions and associated phase diagram for each frequency distribution in sec .
[ sec_results ] . we begin these by considering an unbounded symmetric frequency distribution in the form of a lorentzian in sec .
[ sec_lort ] .
continuing in this section we then approximately double the distribution width to discuss some interesting characteristics of the well - ordered synchronized solutions as well as changes to the bifurcations .
in contrast , sec .
[ sec_top ] presents the results for a bounded distribution when all frequencies over some range are equally likely ( a top - hat distribution ) .
this is followed in sec .
[ sec_tri ] by the case of a symmetric unimodal frequency spread , namely a triangular distribution .
finally , conclusions are made in sec .
[ sec_conclude ] .    a brief account of some results for the model eq .
( [ eq_cross ] ) has been reported previously @xcite .
although the main focus of this paper is analyzing the behavior of eq .  ( [ eq_cross ] )
we first show how such an equation might arise from the equations of motion of physical oscillators . as an example consider the system defined by@xmath31=0 . \label{eq_dv}\ ] ] the first two terms describe uncoupled harmonic oscillators .
we suppose the uncoupled oscillators have a linear frequency that is near unity by an appropriate scaling of the time variable@xmath32 the third term is a _ negative _ linear damping , which represents an energy source to sustain the oscillations , and positive nonlinear damping , so that the oscillation amplitude saturates at a finite value . again
this saturation value is chosen to be of order unity by an appropriate scaling of the displacements @xmath33 .
for an example of an effective negative linear damping term in a micromechanical oscillator see references @xcite .
one could also imagine implementing such an effect with an electronic feedback loop sensing each oscillator velocity and driving the oscillator with an appropriate phase .
the first three terms of eq .
( [ eq_dv ] ) comprise a set of uncoupled van der pohl oscillators .
the term @xmath34 describes a stiffening of the spring constant ( for @xmath35 ) and is a reactive nonlinear term that leads to an amplitude dependent shift of the resonant frequency . with @xmath36
this would give us _
duffing _ oscillators .
the final term is a nearest neighbor coupling between the oscillators , depending on the difference of the displacements .
this is a reactive term , that conserves the energy of the system .
others @xcite have considered nonlinear oscillators coupled through their velocities ; this is a dissipative coupling that would lead to @xmath37 in the amplitude - phase reduction .
the complex amplitude equation ( [ eq_cross ] ) holds if the parameters @xmath38 are sufficiently small . in this case
the equations of motion are dominated by the terms describing simple harmonic oscillators at frequency one , and the time dependence remains close to @xmath39 . to formalize the smallness of @xmath38 we introduce a small parameter @xmath40 and write @xmath41 , @xmath42 , @xmath43 , @xmath44 .
the oscillating displacement is written as a slow modulation of oscillations at frequency one , plus corrections @xcite@xmath45   + \epsilon x_{n}^{(1)}(t)+\ldots\label{ansatz1}\ ] ] with @xmath46 a slow time scale .
, as in ref .
however in the present case inspection of the van der pohl term shows that the oscillations will grow until @xmath47 .
the nonlinear effects are small because the multiplying coefficients @xmath48 and @xmath49 are small . of course
, this difference results from a choice of scaling of the @xmath33 variables ; for example choosing @xmath50 would result in the more familiar procedure . ]
the variation of @xmath51 gives us the extra freedom to eliminate secular terms and ensure that the perturbative correction @xmath52 , as well as all higher - order corrections to the linear response , do not diverge ( as they do if one uses naive perturbation theory ) . using the relation @xmath53 ( denoting a time derivative with respect to the slow time @xmath54 by a prime )
we calculate the time derivatives of the trial solution  ( [ ansatz1 ] )    [ eq : derivs]@xmath55e^{it}+c.c.\right ) + \epsilon\dot{x}_{n}^{(1)}(t)+\ldots\\ \ddot{x}_{n }   &   = \left (   [ -a_{n}+2i\epsilon a_{n}^{\prime}+\epsilon^{2}a_{n}^{\prime\prime}]e^{it}+c.c.\right )   + \epsilon\ddot{x}_{n}^{(1)}(t)+\ldots\end{aligned}\ ] ] substituting these expressions back into the equation of motion  ( [ eq_dv ] ) , and picking out all terms of order @xmath56 , we get the following equation for the first perturbative correction    @xmath57 . \label{eq_xone}\ ] ]    the collection of terms proportional to @xmath58 on the right - hand side of eq .
( [ eq_xone ] ) , called the secular terms , act like a force driving the simple harmonic oscillator on the left - hand side at its resonance frequency .
the sum of all the secular terms must vanish so that the perturbative correction @xmath52 will not diverge .
( terms varying as @xmath59 contribute a finite response to @xmath60 . )
this gives us an equation for determining the slowly varying amplitudes @xmath51    @xmath61=0 .
\label{duffingampa}\ ] ]    more informally , we might write @xmath62 so that @xmath63 and eq .
( [ duffingampa ] ) can be written in terms of the original small  parameters without the formal scaling@xmath64=0 \label{duffingamp}\ ] ]    with a rescaling of time @xmath65 eq .
( [ duffingamp ] ) reduces to the form eq .
( [ eq_cross ] ) except that in eq .
( [ eq_cross ] ) the nearest neighbor coupling is replaced by the all - to - all coupling convenient for theoretical analysis .
in this section we introduce the types of dynamical states encountered for the model eq .
( [ eq_cross ] ) as well as diagnostic tools to characterize these states .
the types of states we find for the different distributions investigated are largely the same , and so we use a particular example  a lorentzian distribution of oscillator frequencies with some convenient choice of parameters @xmath8 and @xmath10and discuss how the behavior depends systematically on the distribution and other parameters later in the paper .
we are mainly interested in the behavior for large numbers of oscillators @xmath66 . for the numerical simulations we are of course restricted to finite @xmath25 ( we typically use @xmath67 , but
have gone up to @xmath68 to investigate some subtle effects ) . in our discussion
we focus on those results that we expect to be largely independent of @xmath25 for large @xmath25 .
a key diagnostic for synchronization is the complex order parameter @xmath69 defined by eq .
( [ orderparameter ] ) , introduced by kuramoto @xcite , with magnitude @xmath24 and phase @xmath70 where @xmath71 . in the large @xmath25 limit , we could use a nonzero value of the order parameter at each time as the basic criterion for a synchronized state . a synchronized periodic state with frequency @xmath72
would then have @xmath73 with @xmath74 constants .
more complicated dynamical states might also occur . for a finite number of oscillators @xmath25 a precise diagnostic is harder , since there are fluctuations of order @xmath75 that make the instantaneous @xmath76 nonzero even in an unsynchronized state . for a synchronized periodic state
we could require that the time average @xmath77 scales as @xmath25 as the number of oscillators changes for some frequency @xmath78 that becomes constant for large enough @xmath25 , and use this as a measure of the synchronization .
in practice we use the simpler criterion that the time averaged magnitude @xmath79 is nonzero and does not appear to decrease to zero as @xmath25 increases .
( a @xmath76 fluctuating about zero with an amplitude of order @xmath75 will of course lead to a nonzero @xmath80 of this same order . )
this definition can also be applied to aperiodic synchronized states .
another useful diagnostic uses the actual frequency of each oscillator defined by@xmath81 ,   \label{frequencylocking}\ ] ] where @xmath82 is some long averaging time and @xmath83 is a starting time sufficient to eliminate transients . a _ frequency locked _ state has a fraction of oscillators with the same frequency @xmath84 .
( the fraction should be @xmath85 and a value not decreasing to zero as @xmath25 increases ) .
if not all the oscillators have the same frequency ( i.e.  the fraction is not unity ) we call the state _ partially locked_. if all the oscillators have the same average frequency , we call the state _ fully locked_. to make contact with the analytic results we actually use a stricter criterion , and also require the magnitudes @xmath86 to be time independent in the fully locked state . usually we find that a nonzero @xmath80 is associated with frequency locking , but this is not always the case .    _
phase locking _ is a stricter requirement than eq .
( [ frequencylocking ] ) . for phase
locking we would require that @xmath87 does not diverge as @xmath88 for @xmath89 taken from some finite fraction of the oscillators .
( frequency locking is , for example , consistent with phase differences that grow diffusively proportional to @xmath90 . )
we do not investigate this stricter locking criterion .    to investigate whether each locked oscillator in a frequency locked state is tightly locked in phase to the phase of the order parameter , or is fluctuating about this value
, we define a _ phase synchronization index _ for each oscillator@xmath91 with @xmath92 the phase of the @xmath93th oscillator relative to the order parameter phase@xmath94 when the phase of oscillator @xmath93 is locked to the order parameter one , @xmath95 is constant and the phase synchronization index is unity , whereas as @xmath95 tends towards a uniform distribution from @xmath96 to @xmath97 the index approaches zero .
we define the number of oscillators with @xmath98 very close to one as the _ tightly locked cluster_.    [ tbh ]     of frequencies for cutoff lorentzian with @xmath99 and cutoff @xmath100 for @xmath67 oscillators .
the main graph shows the individual frequencies , and the inset a histogram.,width=316,height=282 ]    we now show results of numerical simulations for the lorentzian distribution of frequencies .
we have chosen to cut off the distribution at some large @xmath101 otherwise there would be a few very fast oscillators restricting the time stepping of the numerics .
thus we use@xmath102{ll}$g(0)\frac{w^{2}}{\omega^{2}+w^{2}}$ & for $ \left\vert \omega\right\vert < \omega_{c}$\\ $ 0 $ & for $ \left\vert \omega\right\vert >
\omega_{c}$\end{tabular } \ \ \ \ \ \ \ \ \ \ \right .
\label{eq_para_lort}\ ] ] for a given choice of @xmath103 , with @xmath7 then fixed by the normalization condition@xmath104 ( it is useful to parameterize the distribution in terms of @xmath103 , since this quantity determines the values of @xmath8 and @xmath10 at which synchronization occurs in the large @xmath105 limit where the model reduces to the kuramoto phase model eq .
( [ kuramoto ] ) . ) in presenting the results we choose a distribution width such that @xmath99 . for a cutoff @xmath100
this gives @xmath106 , with @xmath107 . with no cutoff
, we would have @xmath108 .
the distribution of frequencies is generated from a uniform distribution of @xmath25 values @xmath109 on the interval @xmath110 using the transformation@xmath111 we present results for a deterministic set of @xmath112@xmath113   /(n-1),\ ] ] but have also used @xmath112 generated randomly on the interval .
the distribution of frequencies for @xmath67 oscillators and a cutoff @xmath114 is shown in fig .
[ fig_lor_dist ] .
[ tbh ]     oscillators with the cutoff lorentzian distribution of intrinsic frequencies of fig .
[ fig_lor_dist ] .
shown is the time averaged order parameter magnitude @xmath115 over a range of @xmath10 values at constant @xmath116 .
solid lines are the observed solutions .
the overlapping symbols are representative results from simulations following different solution branches with increasing @xmath10 ( @xmath117 ) and decreasing @xmath10 ( @xmath118 and @xmath119 ) .
time traces associated with the solid symbols are shown in fig .
[ fig_orderparameters ] .
the dot - dashed line is at a value of @xmath120 , the order of magnitude expected for random fluctuations of the order parameter about zero.,width=316 ]    a plot of the dependence of the mean magnitude of the order parameter @xmath121 as a function of @xmath10 for fixed value of @xmath116 and @xmath67 is shown in fig .
[ fig_lorentzian_cut ] .
this plot shows three types of states : an unsynchronized state with @xmath122 essentially zero ; and two synchronized states , one with small @xmath121 , growing from @xmath96 to about @xmath123 as @xmath10 decreases below about @xmath124 , and one with large @xmath122 that exists for all @xmath125 .
( we will discuss later such issues as whether the growth of the large @xmath126 is continuous or discontinuous near @xmath127 . )
[ tbh ]     as a function of time observed at the solid symbols in fig .
the three traces are for the unsynchronized state at @xmath128 ( lower trace ) , and the small amplitude synchronized state ( middle trace ) and large amplitude synchronized state ( upper trace ) both at @xmath129.,width=316 ]    the variation of @xmath130 for representative examples of these three states is shown in fig .
[ fig_orderparameters ] .
the lower trace shows the unsynchronized state at @xmath128 in fig .
[ fig_lorentzian_cut ] .
the fluctuations in @xmath130 are consistent with fluctuations of the order parameter about zero with magnitude of order @xmath75 as expected for a collection of @xmath25 oscillators with different frequencies and random phases .
the average frequency distribution @xmath84 ( not shown ) is unchanged from the bare distribution @xmath131 shifted by @xmath132 .
this shift can be understood as arising from the nonlinear frequency shift with @xmath133 , and the coupling to a distribution of oscillators with @xmath134 and random phases .
: ( a ) - actual frequency distribution ( solid line ) and bare frequency distribution shifted by @xmath132 ( dotted line ) ; ( b ) - synchronization index @xmath98.,width=288 ]    the state corresponding to the middle trace in fig .
[ fig_orderparameters ] is the low amplitude state at @xmath129 in fig .
[ fig_lorentzian_cut ] .
the mean order parameter magnitude @xmath135 is much larger than @xmath136 , suggesting this is a synchronized state .
the corresponding frequency distribution and synchronization index are shown in fig .
[ fig_smr_plateau ] .
the frequency distribution @xmath84 ( a ) shows a small plateau of constant frequency over about 60 oscillators towards the high frequency end of the distribution ; these are the frequency locked oscillators .
the synchronization index ( b ) shows that @xmath98 approaches unity for most of the locked oscillators , which means that @xmath137 for these oscillators is essentially time independent once the rotation of the phase at the order parameter frequency is subtracted out .
a careful scrutiny of the two panels reveals that the plateau in @xmath84 is sharper and more extended than the one in @xmath98 , so that not all the frequency locked oscillators are time independent in the rotating frame .
the dynamical state is actually quite complicated , as a review of @xmath138 shows .     and order parameter @xmath76 in the complex plane at a time after transients have decayed .
the +  towards the center of the plot gives the value of the order parameter .
the squares are oscillators locked to the order parameter frequency ( i.e.  those with @xmath139 ) : solid squares are stationary when the @xmath140 dependence is removed , open squares show an additional dynamics rotating around the tail of the fixed distribution in the rotating system .
the @xmath141  are oscillators that are not locked to the order parameter.,width=288 ]    figure [ l_matlab_fig2 ] shows a plot of a snapshot of the complex amplitude @xmath137 of each oscillator .
the +  is the order parameter .
the other points correspond to @xmath137 for each oscillator .
it is useful to study the dynamics of this plot after rotation at the mean order parameter frequency is eliminated .
as time evolves , the square symbols remain fixed in such a plot ( except for very small fluctuations ) : these represent oscillators that are locked to the order parameter . for the solid
squares the complex amplitudes are essentially time independent once the phase of the order parameter is extracted .
the oscillators represented by an @xmath142  on the other hand rotate clockwise or anticlockwise about the origin : these correspond to unlocked or running oscillators .
the open squares exhibit a more complicated dynamics undergoing small amplitude orbits around the tail of the locked oscillator distribution .
these oscillators are locked to the order parameter , since the difference of their phases from the order parameter phase does not drift over arbitrary long times .
the values of @xmath84 for these oscillators are on the locked plateau in fig .
[ fig_smr_plateau ] .
however the amplitudes are not constant in the rotating plot , the values of @xmath98 are less than unity , and the oscillators contribute to fluctuations of the order parameter .
thus the fluctuations of @xmath130 shown in fig .
[ fig_orderparameters ] are not just due to finite @xmath25 effects , and we believe they would persist in the @xmath66 limit .
we have not explored larger @xmath25 to pin down whether these intrinsic fluctuations are periodic or aperiodic in the large @xmath25 limit .    as we discuss in more detail later , for a bounded distribution of frequencies
it is possible to find a low amplitude synchronized state with @xmath143 , but with a smooth frequency distribution showing that there is no frequency locking .
in fact for this state the distribution of actual oscillator frequencies does not overlap the order parameter frequency .
the nonzero order parameter is caused by a systematic slowing of the phase rotation of the oscillators in the vicinity of the order parameter phase , rather than by a fraction of the phases becoming locked to the order parameter phase .
for an unbounded distribution such as the lorentzian , this same effect occurs but is supplemented by the small fraction of locked oscillators .
but for the large amplitude synchronized state.,width=288 ]    for the same parameter values as for the previously described low amplitude synchronized state for the lorentzian distribution there is a second dynamical state that may be reached depending on the initial conditions of the simulation .
this state has a much larger value of the order parameter @xmath144 and the plot of the distribution of frequencies , fig .
[ fig_lgr_plateau](a ) , shows a correspondingly larger fraction of locked oscillators .
( this should be compared with panel ( a ) of fig .
[ fig_smr_plateau ] . ) for the cutoff lorentzian distribution used , all the oscillators at the high frequency end of the distribution are locked , leaving only a small fraction of free running oscillators at the low end of the frequency distribution . for the @xmath66 limit and a lorentzian distribution without a cutoff , unlocked oscillators remain at both the high and low frequency ends of the distribution . for a bounded distribution of bare frequencies , such as triangular or top - hat , a fully locked state in which all the oscillators rotate with the same frequency and fixed magnitude
may be found .
we now turn to the analysis of the synchronization of oscillators described by eq .
( [ eq_cross ] ) .
since we are interested in the behavior for a large number of oscillators , it is convenient to go to a continuum description , where we label the oscillators by their uncoupled linear frequency @xmath145 rather than the index @xmath93 , @xmath146 . introducing the order parameter eq .
( [ orderparameter ] ) , the oscillator equations can be written in magnitude - phase form as    [ theta_r]@xmath147 where @xmath148 is the oscillator phase relative to that of the order parameter as before , and @xmath149 is the bare oscillator frequency shifted by @xmath132 and measured relative to the order parameter frequency @xmath150    @xmath151    note that if the order parameter is zero @xmath152 , the magnitude @xmath153 will relax to @xmath154 , and the @xmath93th oscillator will evolve at the frequency @xmath155 .
the first component of this frequency shift is just the nonlinear shift at @xmath156 , and the second is from the interaction of each oscillator with the incoherent motion of the other oscillators .    at each time @xmath82 the oscillators are specified by the distribution @xmath157 where @xmath158 is the fraction of the oscillators with shifted frequency @xmath149 that at time @xmath82 have magnitude between @xmath153 and @xmath159 and shifted phase between @xmath160 and @xmath161 .
the order parameter is given by the self - consistency condition@xmath162 where @xmath163 is the distribution of oscillator frequencies expressed in terms of the shifted frequency @xmath149 .
it is useful to split this expression into real and imaginary parts .
the imaginary part is@xmath164 because the phases @xmath165 are measured relative to the orientation of the order parameter , this expresses the fact that the components of the complex amplitudes @xmath166 normal to the order parameter must average to zero .
note that unlike the cases of the kuramoto model [ eq .
( [ kuramoto ] ) ] and the dissipatively coupled complex amplitude model [ eq .  ( [ amplitudephase ] ) ] studied by matthews et al . , this condition is not trivially satisfied even for the case of a symmetric distribution @xmath6 , and in fact serves to determine the frequency @xmath72 of the order parameter .
the frequency @xmath72 is also not trivially related to the mean frequency of the oscillator distribution .
the real part of eq .
( [ selfconsistency ] ) is@xmath167 this is the condition that the components @xmath168 along the direction of the order parameter must average to the magnitude @xmath24 .
this condition serves to self - consistently fix the value of @xmath24 .    the expectation that eqs .
( [ theta_r ] ) might lead to synchronization follows from the behavior for narrow frequency distributions and large @xmath8 . if the width of the distribution of frequencies is small compared to the relaxation rate of the magnitude , which is of order one in the time units used in eq .
( [ eq_cross ] ) , the magnitude relaxes rapidly to the value given by the instantaneous value of @xmath160 , i.e.  to the solution of@xmath169 if @xmath153 is close to one , which we will see applies at the onset of synchronization for large @xmath8 , this gives@xmath170 in this case eq .
( [ theta ] ) becomes , ignoring @xmath171 compared with @xmath172,@xmath173 this equation is the same as the one derived from the kuramoto model in eq .
( [ kuramotofield ] ) with @xmath105 playing the role of the coupling constant @xmath9 , and therefore predicts an onset of synchronization at @xmath174 @xcite .    to uncover more fully the behavior of eq .
( [ eq_cross ] ) we consider two issues : the onset of synchronization , detected as the linear instability of the unsynchronized @xmath152 state , as a function of @xmath8 and @xmath10 for some given frequency distribution @xmath6 ; and the existence of a fully locked state for large values of @xmath105 .
we first consider the initial onset of partial synchronization from the unsynchronized state in which each oscillator runs at its own frequency @xmath131 .
we identify synchronization through a nonzero value of the order parameter .
this often arises because a finite fraction of the oscillators become locked to the same frequency , which we call a partially ( fully if the fraction is unity ) locked state .
however we also find situations where @xmath143 , but there is no frequency locking
.    the onset of synchronization can be determined by a linear instability analysis of the unsynchronized state .
this is calculated by linearizing the distribution @xmath175 around the unsynchronized distribution , which is a uniform phase distribution at @xmath156 , and seeking the parameter values at which deviations from the uniform phase distribution begin to grow exponentially .
this follows the method of matthews et al .
@xcite , although care is needed in the analysis due to the more important role the magnitude perturbations @xmath153 play in the present case .    introducing the small expansion parameter @xmath40 characterizing the small deviations from the unsynchronized state , we write@xmath176[1+\varepsilon f_{1}(\bar{\theta},\bar{\omega},t ) ] .
\label{rhoexpansion}\ ] ] note that for @xmath177 this does indeed give the appropriately normalized distribution for the unsynchronized state , in which all the oscillators have unit magnitude , @xmath156 , and the phase distribution is constant . also , for nonzero @xmath40 , @xmath175 remains normalized to linear order@xmath178 providing the average of @xmath179 over @xmath160 is zero .
the equation for the evolution of the radial perturbation of the distribution @xmath180 is given by noting that@xmath181 the left hand side is evaluated by expanding eq .
( [ r ] ) to first order in @xmath40 and also expanding the magnitude of the order parameter @xmath182 . , and the right hand side by the replacement @xmath183 and assuming an exponential growth or decay of the perturbation @xmath184 .
the result is@xmath185 equation ( [ r1 ] ) is solved by@xmath186 with    [ ab]@xmath187    to extract the equation for @xmath179 integrate the equation for the conservation of probability    @xmath188    over radius . here
@xmath189 is the velocity in complex amplitude space , which in polar coordinates is @xmath190 given by eqs .
( [ theta_r ] ) . again replacing @xmath191 by @xmath192 , and evaluating @xmath180 from eqs .
( [ r1ab],[ab ] ) , this gives at @xmath193@xmath194 this is solved by@xmath195 with    [ cd]@xmath196}{\left (   \bar{\omega}^{2}+\lambda ^{2}\right )   \left [   \bar{\omega}^{2}+(\lambda+2)^{2}\right ]   } , \label{c}\\ d   &   = \beta\frac{4\alpha\bar{\omega}(\lambda+1)+\lambda\lbrack\bar{\omega } ^{2}+(\lambda+2)^{2}]}{\left (   \bar{\omega}^{2}+\lambda^{2}\right )   \left [ \bar{\omega}^{2}+(\lambda+2)^{2}\right ]   } .
\label{d}\ ] ]    we now evaluate the self - consistency condition eq .
( [ selfconsistency ] ) to first order in @xmath40 .
the imaginary part is    @xmath197    which to first order in @xmath40 gives@xmath198   = 0 . \label{perpint}\ ] ] similarly the real part of the self - consistency condition is@xmath199   = 2 .
\label{parint}\ ] ]    we want to evaluate eqs .
( [ perpint ] ) and ( [ parint ] ) at the onset of instability where the growth rate @xmath200 .
we can set @xmath201 in eqs .
( [ perpint],[parint ] ) with eqs .
( [ ab ] ) and ( [ cd ] ) except in terms with @xmath202 in the denominator , since such terms may give large contributions to the integral from the region of small @xmath149 .
a term involving just @xmath203 gives a finite integral , but if this is multiplied by powers of @xmath149 or @xmath204 the integral goes to zero in the @xmath200 limit .
similarly for a term involving @xmath205 we must take the limit @xmath200 after doing the integral ( this is equivalent to the principal value integral ) , whereas if this term is multiplied by powers of @xmath149 we can put @xmath201 immediately .    the needed
integrals are    [ integrals]@xmath206    the imaginary part of the self consistency condition eq .
( [ perpint ] ) becomes    @xmath207    and the real part reduces to the condition for @xmath208@xmath209    we have explicitly evaluated the integrals for top - hat , triangular , and lorentzian distributions of bare frequencies .
these results will be presented after we discuss full locking .
we define the fully locked state as one in which all the phases are rotating at the same frequency as the order parameter , and the magnitudes are constant in time .
these solutions are defined by eq .
( [ theta ] ) with @xmath210 , which with eq .
( [ rconstant ] ) can be written@xmath211 where the solution to the cubic equation ( [ rconstant ] ) for @xmath212 is to be used to form the function of phase alone @xmath213
. the function @xmath213 acts as the force pinning the locked oscillators to the order parameter , generalizing the notion introduced below eq .
( [ kuramotofield ] ) , and plays a central role in our discussion of locking .
a particular oscillator , identified by its shifted frequency @xmath149 , will be locked to the order parameter if eq .
( [ locked ] ) has a solution @xmath214 [ and then @xmath153 is given by solving eq .
( [ rconstant ] ) ] and if this solution is stable .
the stability is tested by linearizing eqs .
( [ theta_r ] ) about the solution .
the fully locked solution will only exist if stable , locked solutions to eq .
( [ locked ] ) exist for _ all _ the oscillators in the distribution .
we are thus led to investigate the properties of the function @xmath215 .
in addition the self consistency condition eq .
( [ selfconsistency ] ) must be satisfied .    for small @xmath171 , the magnitude @xmath216 given by eq .
( [ rconstant ] ) remains bounded away from zero for all @xmath160 , and the function @xmath213 varies continuously between minimum and maximum values @xmath217 . in this case
, we immediately see that the fully locked solution only occurs for bounded distributions , @xmath218 nonzero only between finite @xmath219 and @xmath220 .
in such cases we define @xmath221 , which is equal to the range of unshifted frequencies @xmath222 , as @xmath7 the width of the distribution . more generally , although @xmath213 can vary over an infinite range ( because @xmath153 may become zero ) we find that only a finite range yields stable solutions , so that again complete locking only occurs for a bounded distribution of oscillator frequencies .
we first look at the fully locked solution for large values of @xmath105 . in this case
the phases of the locked oscillators cover a narrow range of angles , since the range of the pinning force @xmath223 becomes large for large @xmath105 .
the imaginary part of the self consistency condition eq .
( [ imselfconsistency ] ) shows that the range of phases must be around @xmath224 .
equation ( [ locked ] ) can now be approximated by expanding around @xmath224 ( note @xmath225 here ) and becomes for large @xmath8@xmath226 the imaginary part of the self - consistency condition reduces to @xmath227 ( the average is over the distribution of frequencies ) , and the real part to simply @xmath228 .
finally , averaging eq .
( [ alphalarge ] ) over the distribution of frequencies fixes the order parameter frequency ( the common frequency of all the oscillators)@xmath229 thus the order parameter , and all the oscillators , evolve at a frequency given by the mean of the distribution @xmath6 shifted by the nonlinear effect for @xmath156 .
we now investigate the limit to the fully locked regime as we lower @xmath8 .
we first summarize the argument , and then present the details .
the fully locked solutions are determined by a rather complicated set of interconnected equations .
they can be found by the following algorithm .
for fixed values of @xmath230 solve eq .
( [ rconstant ] ) for real positive @xmath216 and hence calculate @xmath213 . using eqs .
( [ theta_r ] ) the stability of each solution is tested : the eigenvalues of this analysis are ( see eq .
( [ eigenvalues_2 ] ) below)@xmath231 with @xmath232 . from this
we can identify a range @xmath233 corresponding to the range of existence and stability of locked oscillators .
a fully locked solution must then satisfy the constraints@xmath234 together with the condition given by the imaginary part of the self consistency condition@xmath235\,d\bar{\omega}=0 , \label{transverse}\ ] ] where @xmath236 , and @xmath237 is then the solution to eq .
( [ rconstant ] ) .
the boundary of the fully locked region occurs either when @xmath238 or when @xmath239 .
this equation can be interpreted as fixing the order parameter frequency @xmath72 in terms of @xmath8 and @xmath240 .
notice that eq .
( [ eigenvalues ] ) shows that for @xmath241 one eigenvalue certainly has a positive real part indicating instability , so that for stable solutions @xmath242 and @xmath243 is finite . since @xmath244 or @xmath220 is now determined , and @xmath245 , eq .
( [ transverse ] ) is an implicit equation relating the values of @xmath8 , @xmath240 and @xmath7 at the locking transition . to complete the solution , the real part of the self consistency equation@xmath246\,d\bar{\omega}=r \label{longitudingal}\ ] ] then serves to fix @xmath24 at locking , from which the value of @xmath247 at the transition to full locking can be found .
we first consider the _ existence _ of a locked solution for an individual oscillator , i.e.  a _ stationary _ solution of eqs .
( [ theta_r ] ) . equation ( [ rconstant ] )
gives the cubic equation for @xmath216 for each @xmath248@xmath249 of course , for the physical solution @xmath153 must be real and positive .
thus we need to analyze the properties of the real positive solutions to@xmath250 as @xmath251 varies .
[ tbh ]    ) as @xmath251 varies .
the dashed lines are @xmath252.,width=268 ]    for @xmath253 the solutions to the cubic are @xmath254 . as @xmath255 increases ,
the solutions remain real until two of the roots collide and become complex . since the sum of the roots to eq .
( [ cubic ] ) is zero , at the collision the equation takes the form@xmath256 matching coefficients shows that collision occurs at @xmath257 when @xmath258 .
the form of eq .
( [ cubic ] ) is actually already in what is known as the depressed  form  of a cubic equation , for which the solution is relatively simple .
inspecting the form of these solutions shows that for @xmath259 there is one real solution and a complex pair in the form @xmath260 .
the product of the roots is determined by the constant in the cubic , giving@xmath261 and so for @xmath262 the real root is negative , and for @xmath263 the real root is positive .
these results are confirmed by numerical solution as shown in fig .
[ cubic_fig ] .
[ tbh ]     for @xmath264 .
the dashed line is @xmath265 and the dotted line @xmath266 .
the condition @xmath267 is necessary ( but not sufficient ) for the solution to be stable .
the lower branch always satisfies @xmath268 , and so only the upper branch may have stable regions.,width=268 ]    [ tbh ]     for @xmath269 .
solutions exist for @xmath270 with @xmath271 .
the dashed line is @xmath265 and the dotted line @xmath266.,width=268 ]    thus we find the following behavior for the real positive solutions to eq .
( [ r_theta ] ) . for @xmath264
there is a root that is positive with @xmath272 for all @xmath160 , a root that varies between positive and negative values with magnitude less than @xmath273 , and a root that is negative for all @xmath160 .
we have seen that the stability analysis shows that any solution with @xmath241 is unstable@xmath274 thus only the first root is relevant ( see fig .  [ r_theta_bs ] ) .
for @xmath269 real positive roots exist for @xmath270 with @xmath275 . in the range where there are two real positive roots , @xmath276 and @xmath277
, only the larger may be in the stable range @xmath278 , ( see fig .
[ r_theta_bl ] ) .    having found the stationary solutions @xmath216 , the condition for stationary phase @xmath279 can be written@xmath280 with@xmath281 the function @xmath213 acts as the force acting on each oscillator tending to pin its frequency to the order parameter frequency .
the range of possible @xmath149 for locked oscillators is limited by the range of @xmath223 corresponding to stable stationary solutions .
the stability of the locked solution for an individual oscillator mentioned in the previous section is given by linearizing eqs .
( [ theta_r ] ) about the stationary solutions .
the linearized equations are@xmath282 the eigenvalues are@xmath283 with @xmath284 this immediately shows us @xmath278 is a necessary condition for stability , since @xmath285 ( with the equality if @xmath286 is negative so that @xmath287 are complex ) .
let us first seek the condition for a root @xmath287 to become zero , signaling a stationary bifurcation .
it is convenient to go back to the original equations eqs .
( [ theta_r ] ) in the form    [ linear ] @xmath288    with@xmath289 then the determinant of the linear matrix derived from eqs .
( [ linear ] ) is@xmath290{cc}-\frac{\partial f}{\partial\bar{\theta } } & -\frac{\partial f}{\partial r}\\ \beta r\cos\bar{\theta } & 1 - 3r^{2}\end{array } \right\vert = -(1 - 3r^{2})\frac{\partial f}{\partial\bar{\theta}}+\beta r\cos\bar{\theta}\frac{\partial f}{\partial r}. \label{det}\ ] ]
the stationary solution @xmath216 satisfies eq .
( [ r_theta ] ) and so eq .  ( [ det ] ) can be written@xmath291 since@xmath292 thus a zero eigenvalue occurs at and only at stationary points of @xmath213 or at @xmath265 .
the latter is where @xmath216 has a vertical tangent ( cf .
[ r_theta_bl ] ) but always occurs outside the range of stable solutions , for which we know @xmath278 .    the only other possibility for an instability is @xmath293 , @xmath294 .
this can occur only at @xmath295 , and if @xmath296 .
another result can be derived : if @xmath297 and @xmath272 then the determinant @xmath298 .
this implies that the eigenvalues are real ( since the product of a complex conjugate pair is always positive ) , one positive and one negative .
thus a negative slope of @xmath213 implies instability . also the hopf bifurcation can only occur at values of @xmath160 where @xmath299 .    to satisfy the imaginary part of the self - consistency condition eq .
( [ transverse ] ) , the range of phases of locked oscillator phases must straddle @xmath224 .
the oscillator solution here , @xmath300 is always stable for positive @xmath301 , since here @xmath302 .
thus the range of possible stable stationary solutions for locked oscillators is given by the range of @xmath160 bounded on either side of @xmath224 by the closest stationary bifurcation point or by a hopf bifurcation occurring at @xmath266 , whichever is closest .
we now derive the properties of the locking force , @xmath213 . for small @xmath248 ,
( [ rconstant ] ) yields a stationary solution with @xmath303 and so@xmath304 with @xmath305 .
thus @xmath213 is a sinusoidal function of angle in this limit .
the stable solutions are the positive slope region for @xmath160 between @xmath306 and @xmath307 .
[ tbh ]        as @xmath240 increases , the behavior becomes quite complicated , and we have not succeeded in proving any results about the full range of possible behavior of @xmath213 .
some examples are shown in fig .
[ f_lambda ] . for @xmath264
we have not uncovered parameters leading to an @xmath223-curve qualitatively different from that in panel ( a ) , i.e.  a single maximum and minimum .
note however , that for @xmath308 values of @xmath241 are encountered , and so the hopf bifurcation may limit the range of stable solutions moving away from @xmath224 , before the maximum or minimum of @xmath223 is reached . for @xmath269 the physical solutions are limited to the range @xmath270 , and the slope of @xmath216 diverges at the end points : @xmath309 for @xmath310 and @xmath311 for @xmath312 .
since@xmath313 we see that when @xmath314@xmath315 so that @xmath316 with the sign given by the sign of @xmath223 for @xmath317 ( where @xmath318 ) and opposite to the sign of @xmath223 for @xmath319 ( where @xmath320 ) .
this shows , for example , that for the parameters such as those in panel ( c ) of fig .
[ f_lambda ] where @xmath321 , the slope @xmath322 approaches @xmath323 as @xmath317 .
this implies that either there is an additional minimum between the maximum of @xmath223 and @xmath324 as in this panel , or the maximum disappears and @xmath213 becomes monotonically increasing in this region , as for the parameters in panel ( b ) . on the other hand for @xmath325 , parameters between those of panels ( a ) and ( c )
, it turns out that @xmath326 , so that @xmath327 as @xmath328 , and @xmath213 may decrease monotonically between the maximum and @xmath317 .
[ tbh ]    ) for the first instability of the locked oscillator solution either side of @xmath329 for @xmath330 the value of @xmath331 is nonzero above the dashed curve , and for @xmath332 it is nonzero above the solid curve.,width=268 ]    in fig .
[ hopf_stationary ] the regions where the first instability on either side of @xmath224 is a hopf bifurcation ( @xmath333 when @xmath334 , with @xmath335 the eigenvalue with larger real value for @xmath330 , and @xmath336 for @xmath332 ) are plotted as a function of @xmath8 and @xmath240 .
note that there may be discontinuous jumps from @xmath337 to a finite nonzero value of @xmath331 : for example on the negative @xmath160 side , the minimum in @xmath223 , giving a stationary bifurcation , may disappear by colliding with the maximum , and then the first instability jumps to the hopf bifurcation that was previously not the closest bifurcation to @xmath338 .
figure [ hopf_stationary ] does not tell the whole story about whether the boundary of the locked state is a stationary or hopf bifurcation , because in general only the instability on one side of @xmath224 determines the boundary , and which side this is depends on the distribution of oscillator frequencies via the transverse self - consistency condition .
this is considered further below .
[ tbh ]     acting on each oscillator as a function of the phase relative to the order parameter @xmath339 .
the dashed portions of the curve correspond to _ stable _ solutions , and the dotted to _ unstable_.
the thick solid portion denotes the distribution of oscillator frequencies that must be placed on the stable portion of @xmath223 and must also satisfy the transverse consistency condition.,width=268 ]    we have found a range of @xmath160 straddling @xmath224 giving stable locked solutions for individual oscillators . for a fully locked solution , all the oscillators must have solutions to eq .
( [ omega_f ] ) in this range .
in addition the imaginary part of the self consistency condition eq .
( [ imselfconsistency ] ) must be satisfied .
this can be written in the form@xmath340\,d\bar{\omega}=0 , \label{perp_int_omega}\ ] ] since now there is a unique @xmath160 and @xmath153 for each oscillator frequency .
changing the integration variable in eq .
( [ perp_int_omega ] ) to the angle @xmath160 yields@xmath341 the degree of freedom , for fixed @xmath301 and width of frequency distribution @xmath7 , to be determined by this condition is the order parameter frequency @xmath72 . the scheme of imposing the condition is sketched in fig .
[ upper_lower ] . the thick solid line , of fixed length @xmath7 along the @xmath223 axis , is to be slid along the curve @xmath213 ( corresponding to varying @xmath72 ) until the integral eq .
( [ perp_int ] ) is zero .
all quantities , except @xmath342 are positive , and so this line must straddle the origin .
this must be done with all of the solid line lying within the stable ( dashed ) range of @xmath213 .
for a bounded frequency distribution we can always find a fully locked solution for large enough @xmath105 .
the argument is as follows .
first , there is always a range of stable locked oscillator solutions straddling @xmath224 .
if we define @xmath343 as the center of the distribution @xmath6 then the order parameter frequency is given by@xmath344 where @xmath345 is @xmath213 evaluated at the center ( with respect to the ordinate ) of the solid portion of the curve in fig .
[ upper_lower ] , once eq .
( [ perp_int ] ) is satisfied . since it follows from eqs .
( [ f_bar_theta ] ) and ( [ rconstant ] ) that the slope of @xmath213 at @xmath224 is@xmath346 the range of phase angles of the locked oscillators of order @xmath347 is small for large enough @xmath240 or @xmath348 , and there is always a fully locked solution for a bounded frequency distribution in this limit .
the center of the band can then be evaluated as @xmath343 , and so@xmath349 also , in this limit all the oscillators have essentially the same phase , so that @xmath350 and @xmath351 .
this gives the complete solution for the fully locked state for very large @xmath10 .
it is easiest to understand the limit of the fully locked solution by decreasing @xmath240 at fixed @xmath352
. as @xmath240 decreases , the range of the locking force @xmath223 decreases .
we can continue to construct the solution as in fig .
[ upper_lower ] , with the portion of the @xmath213 covered by the locked oscillators determined by the transverse self consistency condition , until the first value @xmath353 is reached for which _ either _ the lower end of the locked band would pass below @xmath243 , _ or _
the upper end of the locked band would pass beyond @xmath354 .
this signals the onset of instability of the corresponding locked oscillator , either by a stationary or hopf bifurcation depending on @xmath331 at the appropriate @xmath355 or @xmath356 .
@xmath355 or @xmath356 may jump discontinuously as a function of @xmath240 if a new bifurcation occurs when @xmath357 , and a new minimum and maximum of @xmath213 are created at a previously interior point of the stable band . in such a case there may be no value of @xmath240 for which one end of the band coincides with @xmath355 or @xmath356 signaling the onset of instability .
presumably this corresponds to a first order transition out of the fully locked state . ]
[ tbh ]     plane for which the instability from the fully locked state is hopf ( shaded ) or stationary ( unshaded ) for a top - hat distribution .
the dashed line shows the range of @xmath301 for which @xmath358 for a top - hat distribution .
( note the change of range of @xmath301 plotted compared with fig .
[ hopf_stationary].),width=316 ]    we could also imagine increasing the width of the distribution @xmath7 from the fully locked solution which occurs at small @xmath7 for fixed @xmath8 and @xmath240 , until one end of the growing band of locked oscillator solutions reaches @xmath355 or @xmath356 . for a top - hat distribution of oscillator frequencies the integral@xmath359 where the integration extends over the whole stable range of @xmath160 , provides an indicator of whether the limit is reached at the lower or upper bound of the stable band : if @xmath360 is _ positive _ , then to satisfy eq .
( [ perp_int ] ) the integral must be _ reduced _ by _ lowering _ the _ upper _ integration bound , and so the range of integration extends from the _ lower _ stability bound .
this gives the condition for the maximum @xmath7@xmath361 with @xmath243 the lowest @xmath223 for stable solutions and @xmath345 the value of @xmath223 at the center of the band for @xmath362 .
on the other hand if @xmath360 is negative , then the integral eq .
( [ perp_int ] ) must be _ increased _ by _ raising _ the _ lower _ integration bound , and so the range of integration extends to the _ upper _ stability bound .
this gives the condition@xmath363 with @xmath354 the largest @xmath223 for stable solutions .
we can then find the range of @xmath301 for which the locked state disappears by a hopf or by a stationary bifurcation , fig .
[ hopf_stationary_1 ] .
this is constructed from fig .
[ hopf_stationary ] , giving the conditions for the instabilities at @xmath243 and @xmath354 to be hopf or stationary , and the result just determined for which of these instabilities limits the range of the fully locked solution .
numerical results show that for the top - hat distribution the condition @xmath358 occurs only for a restricted range of parameters : large @xmath8 and @xmath240 near @xmath364 , the region to the right of the dashed line in fig .
[ hopf_stationary_1 ] . combining these results
yields a hopf bifurcation from the fully locked state in the shaded region of fig .
[ hopf_stationary_1 ] . for other oscillator distribution shapes
we do not have a criterion for the nature of the instability without a detailed solution of the self consistency condition for each width .
so far the solution has been developed in terms of @xmath301 .
we now determine the magnitude @xmath24 of the order parameter from the parallel self - consistency condition , the real part of eq .
( [ selfconsistency ] ) which can be written in the form@xmath365 where the range of integration is that determined from the transverse self - consistency condition , see fig .
[ upper_lower ] . from @xmath366
we can calculate @xmath247 at the boundary of locked solutions .
if the dependence @xmath367 is smooth and monotonic , we can map the results depending on @xmath368 onto functions of @xmath369 however , discontinuities in @xmath367 might well occur due to the jumps in the stability range , for example when the stationary bifurcation disappears as described before .
this might lead to values of @xmath10 for which no prediction , e.g.  for @xmath370 , has been yielded by the algorithm .
we do not have results for such cases .
[ tbh ]     for @xmath371 , @xmath372 , @xmath373 ( top panel ) , and @xmath371 , @xmath374 , @xmath375 ( lower panel ) corresponding to the boundary of the fully locked solution : solid curve - stable solutions ; dashed curve - unstable solutions .
the dash - dotted lines straddle the range of @xmath376 of locked oscillators , between @xmath355 and @xmath377 .
the values of the order parameter are 0.92 ( upper panel ) and 0.93 ( lower panel).,width=268 ]    two examples of the construction of locked solutions for the triangular distribution , defined below in eqs .
( [ triangular ] ) , are shown in fig .
[ twobeta ] : the first for small @xmath248 , where a solution @xmath216 exists for all @xmath160 ; and the second for larger @xmath240 where there are ranges of @xmath160 for which no physical solution for the magnitude ( i.e.  real and positive ) exists . the value of @xmath240 for which eq .
( [ transverse ] ) is satisfied in each case was found by simple bisection applied to the numerical results of the integration . in both
the cases shown the boundary of the fully locked region occurs when @xmath378 . for the smaller value of @xmath240 this condition corresponds to the limit of the existence range of solutions .
for the larger value of @xmath240 the limit occurs at the instability of the locked oscillator solution , which develops via a hopf bifurcation ( @xmath379 ) .
results for the boundary of the fully locked state for a top - hat distribution with @xmath99 are shown in fig .
[ th_pd ] , and for the triangular distribution with @xmath99 in fig .
[ tri_pd ] .
in this section we present detailed results for the case of a lorentzian distribution of frequencies .
we concentrate on a distribution with @xmath99 , but also present some results for a wider distribution @xmath380 , which shows some novel features .
we begin this section by calculating the linear stability of the unsynchronized state . since the lorentzian distribution is unbounded ,
there is no fully locked solution .    for the purposes of analysis we choose , without loss of generality , a lorentzian distribution @xmath6 centered about zero frequency@xmath381 the half width at half height is @xmath7 . in terms of the shifted frequency @xmath149 the distribution is@xmath382
with@xmath383    the integrals eqs .
( [ integrals ] ) are    @xmath384    the imaginary part of the self consistency condition eq .
( [ perp_integrals ] ) reduces to    @xmath385    this serves to fix the frequency of the order parameter @xmath72 at the onset of synchronization via eq .
( [ define_delta ] ) in terms of the parameters of the system @xmath386 .
there are _ two _ solutions for @xmath387@xmath388 for large @xmath8 or small @xmath7 the approximate solutions are @xmath389 giving a locking frequency near the center of the band of the free running oscillators , and @xmath390 giving a locking frequency far in the tails .
note that the requirement that @xmath387 is real means that @xmath8 must be sufficiently large @xmath391 with@xmath392 for @xmath393 the unsynchronized state is linearly stable for all values of @xmath10 .
the critical value of @xmath10 is determined from eq .
( [ par_integrals ] ) and evaluates to@xmath394 where the expression eq .
( [ delta ] ) for @xmath387 is to be substituted . given a width @xmath7 of the oscillator distribution , for each @xmath395 there are two critical values of @xmath10 : @xmath396 and @xmath397 [ corresponding to the minus and plus signs in the expression eq .
( [ delta ] ) for @xmath387 ] , such that the unsynchronized state is _ unstable _ for @xmath399 .
it is remarkable that for very strong coupling , @xmath10 large , the unsynchronized state remains stable .
however , as we have already seen and will discuss in more detail , a large amplitude synchronized state is also stable in this regime .
for @xmath400 the results for @xmath208 reduces to @xmath401 and @xmath402 . in the limit @xmath403
the former result reproduces the result @xmath404 expected from the reduction to the phase equation valid in this limit .
we have used simulations to confirm the boundaries for instability of the unsynchronized state as well as to study the behavior subsequent to the instability .
the numerical results use the cutoff lorentzian form introduced in eq .
( [ eq_para_lort ] ) .
two widths are considered : a narrow one with a peak height of @xmath99 and one approximately twice as wide with @xmath405 . in all cases
the distribution tails are removed above some large frequency .
qualitative differences in the phase diagrams are observed for the two distribution widths .
[ tbh ]    .
solid and dashed lines show analytical results of the linear stability of the unsynchronized state .
numerics show the bifurcations are supercritical along the solid portions and subcritical along the dashed portion .
dash - dotted lines are saddle - node bifurcations observed in numerical simulations .
states are : @xmath406 - unsynchronized ; @xmath407 synchronized with small and large amplitude respectively.,width=316 ]    the phase diagram for the ( narrow ) lorentzian distribution with @xmath99 is shown in fig .
[ lorentzianpd ] .
the solid and dashed lines are the analytically obtained stability boundaries of the unsynchronized solution .
the numerical simulations show that over the dashed portion of the linear instability curve the bifurcation is subcritical , giving a jump in the order parameter magnitude @xmath24 at onset .
in addition the sweeps yield a number of saddle - node bifurcations identified as discontinuous jumps in @xmath24 ; these are denoted by dash - dotted lines in fig .
[ lorentzianpd ] ; we do not have closed form relations for these boundaries .
thus along the dashed or dash - dotted portions of the boundaries , discontinuous jumps in @xmath24 occur , either between the unsynchronized state and a synchronized state , or between two synchronized states with different values of @xmath24 .
the two synchronized states are labelled @xmath408 and @xmath409 in fig .
[ lorentzianpd ] . when they coexist at the same @xmath8 and @xmath10 the state @xmath409 has the larger value of @xmath24 , but for both states @xmath24 may go to zero , connecting continuously with the unsynchronized state @xmath406 , for some values of @xmath410 .
[ tbh ]     showing the time averaged order parameter magnitude @xmath411 as a function of @xmath10 from numerical simulations of the cutoff lorentzian distribution with @xmath99 . in panel
( a ) the only solutions are the unsynchronized ( @xmath406 ) and large @xmath24 synchronized ( @xmath409 ) states , while in panels ( b ) and ( c ) the small @xmath24 synchronized solution is also stable .
arrows denote discontinuous jumps that were observed as simulations followed the various solution branches.,width=316 ]    representative phase diagram slices for the lorentzian case with @xmath99 , showing the time - averaged order parameter magnitudes @xmath115 as a function of @xmath10 at fixed @xmath8 , are presented in fig .
[ fig_cuts_ahalf_d8 ] . in agreement with eq .
( [ eq_amin ] ) the unsynchronized state is stable for all @xmath10 provided @xmath412 .
simulations find the @xmath409 solution is bistable with @xmath406 over this @xmath8 range at larger @xmath10 values , as shown in fig .
[ fig_cuts_ahalf_d8](a ) . for @xmath413
the unsynchronized state is unstable over a range in @xmath10 . as shown in fig .
[ fig_cuts_ahalf_d8](b ) for a range of @xmath8 near @xmath414 a subcritical bifurcation occurs at @xmath396 as the @xmath406 solution becomes unstable and @xmath409 forms . with increasing
@xmath10 @xmath409 is the only stable solution until a region of bistability where both synchronized solutions coexist . as shown in the phase diagram
there is a small region ( labelled @xmath415 ) over which all three solutions are simultaneously stable .
this region of tristability can be observed in fig .
[ fig_cuts_ahalf_d8](b ) , over the @xmath10 range of hysteric transition between @xmath408 and @xmath406 near @xmath416 .
with increasing @xmath8 the system passes through a tricritical point where the subcritical bifurcation at @xmath396 becomes supercritical .
the tricritical point has a codimension of 2 . an example slice at @xmath8 sufficiently large that the bifurcation is supercritical is shown in fig .
[ fig_cuts_ahalf_d8](c ) , where with increasing @xmath10 regions of bistability between the synchronized solutions and then @xmath406 and @xmath409 are observed .
[ tbh ]     slices from numerical simulations of the cutoff wide lorentzian with @xmath405 .
shown is the time averaged order parameter magnitude @xmath115 for a range of @xmath10 at three @xmath8 values : ( a ) @xmath417 , ( b ) @xmath418 , and ( c ) @xmath419 .
these solutions are observed in an array of @xmath67 oscillators with a lorentzian frequency distribution with @xmath405 and a cutoff frequency of @xmath420 .
the dashed box region in panel ( c ) is examined more closely in fig .
[ fig_zig_zag].,width=316 ]    we now consider a lorentzian frequency distribution of approximately twice the width . specifically , we take @xmath405 in eq .
( [ eq_para_lort ] ) or eq .
( [ lorentzian_analytic ] ) .
there are a number of changes to the details of the phase diagram that we do not discuss in detail .
several of these are straightforward consequences of the wider frequency spread : for example the instability of the unsynchronized solution moves to larger @xmath8 and @xmath10 .
instead we focus on two particular features .
the first new feature that is evident from the fixed @xmath8 cuts shown in fig .  [ fig_soln_cuts_a1_d16 ] is the reconnection of the branches of synchronized solutions that occurs as @xmath8 is decreased . in fig .
[ fig_soln_cuts_a1_d16](c ) , typical of larger values of @xmath8 , the synchronized state growing from the @xmath397 instability ends at a saddle - node bifurcation , with the order parameter jumping to larger values as @xmath10 is decreased .
this is the same as the behavior for the narrower distribution , fig .
[ fig_cuts_ahalf_d8 ] . on the other hand for smaller values of @xmath8 , as in fig.[fig_soln_cuts_a1_d16](a ) , this state merges continuously with the larger magnitude state .
this change in the topology of the solution branches as @xmath8 increases occurs through the development of two additional saddle - nodes , as shown in fig.[fig_soln_cuts_a1_d16](b ) near @xmath421 , and the collision of one of these with the saddle - node terminating the large-@xmath10 upper branch .
[ tbh ]     synchronized solution for a lorentzian frequency distribution ( color online ) . shown
are the results for @xmath67 , @xmath419 , and a cutoff lorentzian distribution with @xmath405 and @xmath420 .
the arrows denote the direction of the @xmath10 sweep , and the states are colored red for an upward sweep , green for a downward sweep , and black if both directions lead to the same state .
the + symbols denote the starting point for particular sweeps to traverse a state interior to the band ( green for the start of a downward sweep , red for an upward sweep ) .
panel ( a ) is a magnification of the dashed box in fig .
[ fig_soln_cuts_a1_d16](c ) showing the @xmath115 over a range of @xmath10 . in ( b ) the corresponding size of the synchronized cluster measured by the synchronization index is shown.,width=316 ]    another apparent difference with the wider frequency distribution is the steps displayed by the large amplitude synchronized state at larger @xmath10 in fig .
[ fig_soln_cuts_a1_d16 ] .
while these steps also occur with the narrow frequency distribution , their increased amplitude with the wider frequency distribution facilitates the presentation of the behavior . as an example , the dashed region in fig .
[ fig_soln_cuts_a1_d16](c ) is shown enlarged in fig .
[ fig_zig_zag ] .
panel ( a ) in this figure plots the time averaged order parameter magnitude @xmath411 , while ( b ) shows that the solution changes correlate exactly with changes in the number of oscillators locked to the synchronized cluster .
interestingly , the solution follows different trajectories depending on the history of changing @xmath10 .
for example , if @xmath10 is monotonically increased the system settles onto the upper trajectory of solution steps ( colored red ) while the lower trajectory of solution steps ( colored green ) is observed when @xmath10 is monotonically decreased .
these solutions overlap at smaller @xmath10 ( colored black ) .
the two solution trajectories are in fact the boundaries of a band of multistable solution branches . this structure is demonstrated in fig .
[ fig_zig_zag](a ) by beginning the system on each of these two boundaries and reversing the direction of @xmath10 variation .
now as @xmath10 changes the solution moves off its boundary along a continuous line to the other boundary where it follows the expected path for that sense of @xmath10 changes .
starting solutions are represented by the + symbols colored for the direction that @xmath10 is to be varied .
beginning on the lower boundary , that is observed when decreasing @xmath10 , and increasing @xmath10 from the lower ( red ) + the oscillators follow the solid ( black ) line in the direction of the upward arrow to the upper boundary . likewise , beginning on the upper boundary , that is observed when increasing @xmath10 , and decreasing @xmath10 the oscillators display a series of states beginning with the upper ( green ) + and follow the solid ( black ) line to the lower boundary in the direction of the downward arrow . in this way , the synchronized solution with large time - averaged order parameter magnitude turns out to be a band of solutions , with striations that can be accessed by appropriate changes in @xmath10 .
the same is true for the narrow lorentzian , however the band is smaller .
the steps in the magnitude of the order parameter are found to be associated with jumps in the number of oscillators locked to the phase of the order parameter . defining a synchronized cluster as the oscillators locked to @xmath70 we find the discrete steps in @xmath24 are due to a small group of oscillators leaving the cluster , and then recombining with the cluster one at a time as @xmath10 increases . in fig .
[ fig_zig_zag](b ) the cluster size is measured by the phase synchronization index , defined by eq .
[ eq_sync_ind ] , as the number of oscillators with @xmath422 , where @xmath56 is some small number , @xmath423 , to allow for some phase variation over the finite time of measurement . with increasing system size any small group of oscillators leaving the cluster can be expected to have decreasing influence on the order parameter .
as the number of oscillators tends to infinity the solution band becomes a region densely populated by these striations as the discrete steps become closer and decrease in length .
for the simulations in fig .
[ fig_zig_zag ] @xmath67 oscillators were used . to investigate finite size effects
we also studied this solution using @xmath424 and @xmath425 . with increasing system size the individual steps on each solution boundary occur over a more narrow range in @xmath10 , becoming shorter in length , and correspondingly more densely packed .
thereby , while the discrete steps will disappear in the infinite size limit the width of the band of synchronized solutions remains nearly the same .
in this limit synchronized states will move along one of the striations to the band boundary appropriate for the direction of the @xmath10 sweep .      for bounded distributions
we can calculate the linear stability boundaries of both the unsynchronized and the fully synchronized states .
we first do this for a uniform bounded distribution , which we call a top - hat distribution .
a top hat distribution centered on @xmath343 is given by@xmath102{cc}$w^{-1}$ & for $ \left\vert \omega\right\vert \leq w/2$\\ $ 0 $ & for $ \left\vert \omega\right\vert >
w/2$\end{tabular } \ \ \ \ \right.\ ] ] the integrals eqs .
( [ integrals ] ) for this distribution are    @xmath426   , \\
i_{2 }   &   = \frac{1}{w}\ln\left\vert \frac{w-2\delta}{w+2\delta}\right\vert , \\
i_{3 }   &   = \frac{1}{2w}\ln\left [   \frac{1+(w-2\delta)^{2}/16}{1+(w+2\delta ) ^{2}/16}\right ]   , \\ i_{4 }   &   = \left\ { \begin{tabular } [ c]{cc}$\frac{\pi}{w}$ & for$~\delta < w/2$\\ $ 0 $ & for $ \delta > w/2$\end{tabular } \ \ \ \right .
.\end{aligned}\ ] ]    the self consistency equations ( [ perp_integrals ] ) and ( [ par_integrals ] ) can be solved numerically .
the equations simplify in the limit of small @xmath7 , and the results here can be displayed in closed form .    in small @xmath7 limit
there is one solution of eq .
( [ perp_integrals ] ) giving a locked frequency within the band of ( shifted ) oscillator frequencies , @xmath427 , for which @xmath428 and @xmath429 may be neglected in the small @xmath7 limit .
equation ( [ perp_integrals ] ) then gives the explicit expression for the frequency offset from mid band    @xmath430    and eq .
( [ par_integrals ] ) gives the condition of the parameters at the onset of synchronization@xmath431 notice that for large @xmath8 the locking frequency is close to the center of the band , and the critical condition reduces to@xmath432 the value expected from the mapping onto the kuramoto model for large @xmath433 . for small @xmath8 on the other hand @xmath387 approaches @xmath434 giving us the result that the locking frequency approaches the upper edge of the band . in this case
the onset occurs at @xmath435 . even for moderate values of @xmath8 such as @xmath436 ,
the locking frequency is far off the band center ( a fraction @xmath437 of the half band width for @xmath436 ) .
the second solution to eq .
( [ perp_integrals ] ) in the small @xmath7 limit gives an order parameter frequency _ outside _ of the band , @xmath438 .
for small @xmath7 the frequency is given by@xmath439 and the onset of synchronization occurs at@xmath440 the solution that grows from this instability is a remarkable state in that it is _ synchronized _ in the sense that there is a nonzero value of the order parameter @xmath441 , but there are no oscillators _ frequency locked _ to one another or to the frequency of the order parameter : a plot of the actual frequency distribution as in figs .
[ fig_smr_plateau](a ) and [ fig_lgr_plateau](a ) shows a smooth curve with no plateau .
numerical investigation of this state shows that instead , the distribution of oscillators @xmath442 is enhanced for phases near the phase of the order parameter : oscillators slow down in this vicinity ( i.e.@xmath443 becomes smaller ) , but do not come to rest relative to the order parameter .
now the ordered oscillator frequency plot is continuous , with no plateau of locked oscillators .
[ tbh ]     such that @xmath99 .
the solid and dashed lines are from the linear stability analysis of the unsynchronized state : the unsynchronized state is unstable for @xmath10 values between the two portions of these lines .
the numerical results show that the solid portion is supercritical , whereas the dashed portion is subcritical .
dash - dotted lines are saddle - node bifurcations from numerical simulations .
the dotted line is the stability boundary of the fully locked solution calculated using the methods of sec . [ sec_fulllocking ] .
states are as in fig .
[ lorentzianpd ] with , in addition , @xmath444 denoting the fully locked state.,width=316 ]    the linear instability boundaries for a top - hat distribution of full width @xmath445 ( giving @xmath99 ) are shown as the solid and dashed lines in fig .  [ th_pd ] .
the approximate solutions eqs .
( [ u - approx1]-[u - approx4 ] ) turn out to be quite accurate even for @xmath445 : the approximate curves are indistinguishable from the numerical curves in fig .  [ th_pd ] .
note that unlike the case of the lorentzian distribution , the linear instability persists for @xmath446 . in this limit
the frequency of the order parameter is right at the edge of the distribution of oscillator frequencies .
the discontinuity of the distribution of oscillator frequencies at the band edge seems to be responsible for the persistence of the instability to small values of the coupling constants .
[ tbh ]     over a range of @xmath10 is shown for constant @xmath8 : ( a ) @xmath447 , ( b ) @xmath448 , ( c ) @xmath449 , and ( d ) @xmath450 . in these simulations @xmath67 and the width @xmath445.,width=316 ]    the boundary of the fully - locked solution calculated using the analysis of sec .
[ sec_fulllocking ] is also shown on fig.[th_pd ] as the dotted line .
in addition we have performed a careful numerical scan of the @xmath451 plane for @xmath67 or @xmath452 oscillators with a uniform distribution of full width unity .
these results confirm the analytic predictions , and again show additional transitions that are inaccessible to our analytic calculations .
the numerics shows that the linear instability from the unsynchronized state is subcritical over the dashed portion of the linear instability curves as shown in the figure .
other saddle - node bifurcations are shown as dash - dotted lines .
the complete phase diagram is quite complicated .
some representative numerical sweeps are shown in fig .
[ fig_cuts_tophat ] .
[ tbh ]     oscillators having a triangular frequency distribution with @xmath99 .
the time - averaged order parameter magnitude @xmath115 is plotted over a range of @xmath10 at fixed @xmath8 : ( a ) @xmath453 , ( b ) @xmath454 , and ( c ) @xmath455.,width=316 ]    we finally present results for when the oscillators have a triangular frequency distribution@xmath102{cc}$(4/w^{2})(w/2-\left\vert \omega\right\vert ) $ & for $ \left\vert \omega\right\vert \leq w/2$\\ $ 0 $ & for $ \left\vert \omega\right\vert >
w/2$\end{tabular } \ \ \ \ \ \ .\ \right .
\label{triangular}\ ] ] this is the case studied in reference @xcite .
the triangular distribution is bounded , and so can have a fully locked state as for the top - hat distribution , but does not have the discontinuity in @xmath6 at the edge of the distribution leading to singular behavior as @xmath456 for that distribution .
the results are compiled from the linear stability analysis of the unsynchronized and fully locked state , as well as numerical investigation , usually of @xmath457 oscillators , as shown in fig .
[ fig_tri_cuts ] . the integrals eqs .
( [ integrals ] )  needed for the stability analysis of the unsynchronized state can again be done in closed form , but the results are too cumbersome to list here .
[ tbh ]     such that @xmath99 .
symbols and lines are as in fig .
[ th_pd].,width=316 ]    the results for @xmath458 for @xmath99 ( a width @xmath375 ) given by numerically solving eqs .
( [ perp_integrals ] ) and ( [ par_integrals ] ) are shown as the full and dashed lines in fig .
[ tri_pd ] .
simulations show that this transition is subcritical over the dashed portions .
in addition , as in fig .
[ th_pd ] , saddle - node bifurcations identified by jumps in the order parameter magnitude @xmath24 in the simulations are shown by dash - dotted curves .    as for the top - hat distribution ,
the large @xmath10 limit of the instability region corresponds to an order parameter frequency _ outside _ of the band of shifted oscillator frequencies , so that there is no oscillator with a frequency equal to that of the order parameter .
this seems to be the typical result for a bounded distribution . for the unbounded lorentzian distribution on the other hand
, there are some oscillators that lock to the order parameter frequency at the large @xmath10 instability .
however even for this distribution , for most values of @xmath8 the order parameter frequency is far in the tails of the distribution , and there are few oscillators at this frequency .
presumably the effect of these locked oscillators on the critical @xmath10 is small , so that the dominant physics at this transition for bounded and unbounded distributions is not very different . near the smallest @xmath8 where the upper and lower stability boundaries meet
, the order parameter frequencies of the two solutions approach the edge of the band ( from either side ) .
in summary , we have analyzed in detail a model for the synchronization of nonlinear oscillators where the ordering arises from the reactive coupling between the oscillators , combined with the nonlinear frequency pulling of the individual oscillators .
such a model may be a more realistic description than previous models for a variety of physical systems where dissipation plays a relatively minor role , for example high - q mechanical oscillators and some optical systems .
more generally , the model may give a more complete description of synchronization where the individual frequencies are internally tuned in response to a mismatch with other frequencies in the ensemble , such as might occur in biological systems .
we have presented detailed analytic calculations for the onset of partial synchronization from the unsynchronized state , as well as the existence and bounds of the fully locked synchronized state at large coupling and nonlinearity for the cases of bounded frequency distributions .
the analytical calculations together with numerical simulations have been used to construct detailed phase diagrams of the different synchronized states as a function of the two parameters of the model , the coefficient of the nonlinear frequency pulling @xmath8 and the coupling constant @xmath10 , for various frequency distributions .
the intersections of the various synchronized states lead to rich phase diagrams .
there are a number of interesting features of these phase diagrams .
the instability of the unsynchronized state occurs over a limited range of @xmath10 at fixed @xmath8 , so that the unsynchronized state regains stability at very large values of the coupling strength , although a large amplitude synchronized state also occurs here , often terminated by a saddle - node bifurcation as @xmath10 is decreased .
this large amplitude synchronized state may also survive down to @xmath447 , i.e.  even in the absence of the nonlinear frequency pulling .
for bounded distributions the state that develops from the linear instability of the unsynchronized state as @xmath10 is decreased is synchronized ( the order parameter is nonzero ) but there is no frequency locking
. the phase diagrams also show a wide variety of multistability , with one or more synchronized states and the unsynchronized state coexisting over various parameter ranges , leading to hysteresis as the parameters are varied
. the multistability may be particularly dramatic for the large amplitude synchronized states such as displayed in fig .
[ fig_zig_zag ] where many synchronized states coexist , leading to a band of solutions in the large @xmath25 limit .
this paper is based upon work supported by the national science foundation under grant no .
dmr-0314069 , hrl laboratories , llc under contract no .
sr04209 , the u.s .- israel binational science foundation grant no .
2004339 , and the physbio program with funds from the european union and nato .