Radiophyoic8 and Quantum EZectronics, Vol. 38~ No$. 3-4t 1995
SPECTRAL
PROPERTIES
THE BURGERS
O F INVISCID S O L U T I O N S
EQUATION
WITH
RANDOM
OF
INITIAL
CONDITIONS UDC 534.222
E. A u r e l l a n d I. I. W e r t g e i m
The Burgers equation with random self-similar initial conditions is investigated numerically in the inviscid limit by a parallel fast Legendre transform algorithm, using Connection Machine CM200. The use of this equation for solving the problem of nervous impulse propagation through axons is discussed. An attempt is made to simulate recent experiments where the form of the density of propagated nerve impulses, which initially had a power spectrum close to a white noise distribution, appeared similar to the triangular pulses that arise in the inviscid Burgers equation and where the 1/ f power law was observed on scales larger than the typical time interval between pulses. It is shown that in the inviscid Burgers equation model the power spectra for different types of initial conditions in the developed "Burgers turbulence" regime (i.e., at a su~ciently large time) consists of two parts with a rather sharp transition between them: The spectrum virtually coincides with the initial spectra for low wavenumbers, and the 1 I f 2 law holds for high wavenumbers. There is no interval with an intermediate power law dependence such as 1/ f . It is inferred that the true 1If spectrum of nerve impulses propagating through axons cannot be explained in terms of the Burgers equation model and that other mechanisms must be taken into account.
It is well known that the Burgers equation with random serf-similar initial conditions has many applications in a variety of fields from acoustic waves to traffic currents and the Universe's large- scale structure formation [1,2]. One interesting application is the propagation of a nerve impulse through axons [3]. In [3], the authors investigated experimentally some properties of the spectra of impulses with a temporal distribution that is initially close to white noise in a wide frequency range. They found that the form of the impulse density is similar to the triangular pulses that arise in the Burgers equation and that the 1 / f power law occurs on scales larger than the typical time interval between impulses. Using the conclusions drawn in [3], we attempt at simulating this process numerically in terms of the 1D Burgers equation Ov
Ov
02v
(1)
where/~ is the viscosity coefficient. The solutions of the Burgers equation with random initial conditions display two mechanisms, which are also inherent in the real turbulence: the nonlinear transfer of energy over the spectrum and the viscous damping in the small scale region. Equation (1) was proposed by Burgers [1] as a one-dimensional model of fluid turbulence. More recently, It was shown that this equation is useful for description of a wide variety of nonequilibrium phenomena when parity invariance holds [4]. The Burgers equation also applies to nonlinear acoustics, nonlinear waves in thermoelastic media, the dynamics of growing interfaces, modeling the velocity and mass distribution for large-scale structures in the Universe, and in many other systems where dispersion is negligibly small compared with nonlinearity (see [2] and references therein). This model thus includes the nonlinear action and dissipation in the nerve impulse density propagation. We use random initial conditions for nerve impulse density (velocity in terms of the usual Burgers equation)
The Stockholm University, Sweden, and the Institute for Continuous Media Mechanics, Ural Branch of the Russian Academy of Sciences, Perm', Russia. Translated from lzvestiya Vysshikh Uchebnykh Zavedenii, Radiofizika, Vol. 38, Nos. 3-4, pp. 225-231, March-April, 1995. Original article submitted January 27, 1995. 0033-8443/95/3834-0147512.50 Q1996 Plenum Publishing Corporation
147
of the following types (we write the expressions in the discrete form in which they are used to calculate functions determined on a uniform grid ~ = iL/N of N points in the range 0 < ~ < L) t y p e 1~ w h i t e noise: v ~ ( . ) = OSo(z). J -
0..
'
= i=O
t y p e 2~ B r o w n i a n m o t i o n (integral of white noise): J i=0
t y p e 3, f r a c t i o n a l w h i t e n o i s e (the integral of which is fractional Brownian motion): =
k
,
k = - ~ - ( n = 0, =kl, •
...).
h
Here, S0(~) is the potential (action) for the initial velocity, g~ are independent r a n d o m numbers with the Gaussian probability distribution function, and uk's are complex Gaussian random variables with variance (lur,]2) cx Ik1-1-2h, where - 1 <_ h < 0 and uk are assumed to be chosen independently, except that they must satisfy the Hermitian symmetry u-k = u~. Under random self-similar initial conditions, we can always consider sufficiently large spatial and temporal scales and then rescale the variables in a fashion such that the rescaled viscosity become arbitrary small. In the limit of zero viscosity, the solution of (1) for the velocity field is given by
v(~,t)
- ~ - y(~,t).t
'
vCz,t) - - OS(~'O0~
(2)
where y(~, t) is the coordinate of the absolute maximum of the function ac.,y,t)
= s0cy)-
-
2t
'
S0(
) =
/~
0(
)dy
(3)
We have therefore solved the inviscid Burgers equation, using a discrete grid with up to 22~ points. In the numerical experiments, we used a parallel version of the fast Legendre transform (FLT) algorithm implemented on the parallel supercomputer Connection Machine CM-200 at the Center for Parallel Computers in Stockholm [5,6,8]. This algorithm uses the property that the inverse Lagrangian function y(~, $) is a nondecreasing function of z and the specific low-level instructions of the Connection Machine, which allows simultaneous partial maximization operations over specified divisions of the range, which are known exactly only at the run time. The most primitive computation of the maximum of (3) requires about O(N 2) operations on a sequential computer for N points. The serial FLT requires about O(N log N) operations in 1D problems and about O(N21og 2 N) operations in 2D problems when an N x N grid is used [7]). Our parallel FLT performs O(log ~ N ) operations on an ideal parallel computer with an unlimited number of physical processors connected in a hypercube network (this type of connection is used in CM-2 and CM-200 models). The Connection Machine simulates an arbitrary number of processors as their virtual finite number (on our machine 8192). Our a l g o r i t ~ will therefore eventual!.y come, linearly with the ratio of initialized gridpoints (N), to the actual number of physical processors. For the class of one-dimensional problems in question, the computational time including input, output, and Connection Machine initialization is much less than 1 rain for a total number of gridpoints up to N = 22~ It is well known [1,2] that solutions of the Burgers equation with arbitrary initial conditions for a sufficiently large time represent a sequence of triangular pulses, which determines the asymptotic behavior of its power spectra in the high-frequency limit as 1 / f ~. For the case of random self-similar initial conditions, it was shown both analytically and numerically [2,5,6] that the asymptotic behavior of these spectra and, moreover, the solutions of the Burgers equation themselves are critically dependent on the large-scale
148
o51
40
20
0
-0
os
-2C
~0
1
'I
'
!
I
il
1 '
-0 15
-4C
0
200
800
600 .)
400
i000
lO-3x
-0
Fig.
,
0
i0
20
30
1
30 40
i-?:
20
0
.
.
.
.
.
.
.
Y
20 i0 0
//'I
/
-20 -i0 -40
f /
-20
-60 0
2
4
6
8
/
/ Io-3x
-30 ....... 2 0
4
a)
6
8
b)
Fig. 2 igluk[2
20
12
~
(
i
~) --.... ,,I-)=;:lg~
15 I I g l u k F
i0
.
i0
...,/.""...~
i :-~ I.
,-'..
I
.'
....
8
5 6
0
4
-5
2
-10
ig k
1
2
0
3
a)
1
2
3
4
b)
Fig. 3 component of the initial conditions. Therefore, these solutions are controlled by the p a r a m e t e r h, which is the self-similarity exponent of the initial conditions, i.e., lu0(z + A) - u0(z)l ,,~ A h. The r a n d o m walk distribution is then h = 1/2, and the white noise distribution is h = - 1 / 2 . This exponent is related to t h a t in the power spectra vs frequency (or wavenumber in the space coordinates terms) dependence for t h e initial condition by the expression n = - 1 - 2h. Figures 1 and 2 show the solutions for cases 1 and 2 with the respective initial conditions. The power spectra obtained for these cases (Fig. 3a, b) show that for all types of initial conditions in question the ultimate spectrum in the developed "Burgers turbulence" regime (i.e., for a sufficiently large time) consists of two parts: The spectrum almost coincides with the initial spectra 149
for low wavenurabers and obeys the 1/] 2 power law for high wavenumbers. The transition between these two parts is rather sharp, and there is no interval with an intermediate power law dependence such as 1/fo Hence, none of the types of initial conditions satisfies the 1 / f power law except for the trivial case where the low wavenumber part of the initial spectrttm is chosen to be the part representing the 1 / f noise. As was shown in [5], the nmnber density of shocks of size A in the solutions of the Burgers equation obeys the power law s(A) ~ A-1-h. Our initial idea was that in a one-point shock correlation function this power law could be matched with the power law behavior in a two-point shock correlation function and that this could lead to an intermediate 1 / f range sandwiched between the f0 (white noise initial conditions) and the 1/f 2 ranges. Obviously, that idea was not supported by numerical investigations. The conclusion to be made is that the true 1 / f spectrum of nerve impulse propagation through axons cannot be explained in terms of the Burgers equation model and that other mechanisms must be taken into account~ possibly including the deviation of the nonlinearity from a quadratic law, the dispersion, etc. The possibility also remains that the transition from f0 to 1 / f 2 is smoother by virtue of the finite viscosity and that therefore a "spurious" 1 / f range may occur in time and in space on finite scales. This work was supported by the Swedish Natural Research Council under contract S-FO 1778-302 (E. A.) and the Swedish Institute (L W.). The authors are grateful to the Center for Parallel Computers of the Royal Institute of Technology for hospitality. REFERENCES
1. J. M. Burgers, The Nonlinear Diffusion Equation, Reidel, Dordrecht (1974). 2. S. N. Gurbatov and A. I. Saichev, Nonlinear Waves and Turbulence in Nondispersive Media: Waves, Rays and Particles, Manchester University Press (1991). 3. T. Musha, Y. Kosugi, G. Matsumoto, and M. Suzuki, IEEE Trans. Biomed. Eng., B M E - 2 8 , No. 9, 616 (1981). 4. Y. Kuramoto, Chemical Oscillations, Waves and Turbulence, Springer Verlag, Berlin (1983). 5. Z. -S. She, E. Aurell, and U. Frisch, Comm. Math. Phys., 148,623 (1992). 6. E Aurell, S. N. Gurbatov, and I. I. Wertgeim, Phys. Left. A, 182, 199 (1993). 7. A. Noullez, "A Fast Algorithm for Discrete Legendre Transforms," Preprint, Observatoire de Nice (1992). 8. E. Aurell, Annual Report, Center for Parallel Computers (1993), p. 68; E. AureU E. and I. I. Wertgeim, in: Proc. of Second European CM Users Meeting (H. Scholl and J. -M. Alimi, eds.), Meudon-Paris (1993).
150