• No results found

Fronts with a growth cutoff but speed higher than v*

N/A
N/A
Protected

Academic year: 2021

Share "Fronts with a growth cutoff but speed higher than v*"

Copied!
5
0
0

Bezig met laden.... (Bekijk nu de volledige tekst)

Hele tekst

(1)

Fronts with a growth cutoff but speed higher than v*

Saarloos, W. van; Panja, D.

Citation

Saarloos, W. van, & Panja, D. (2002). Fronts with a growth cutoff but speed higher than v*.

Physical Review E, 66, 15206-15206. Retrieved from https://hdl.handle.net/1887/5523

Version:

Not Applicable (or Unknown)

License:

Leiden University Non-exclusive license

Downloaded from:

https://hdl.handle.net/1887/5523

(2)

Fronts with a growth cutoff but with speed higher than the linear spreading speed

Debabrata Panja and Wim van Saarloos

Instituut-Lorentz, Universiteit Leiden, Postbus 9506, 2300 RA Leiden, The Netherlands

共Received 5 April 2002; published 24 July 2002兲

Fronts, propagating into an unstable state␾⫽0, whose asymptotic speed vasis equal to the linear spreading

speedv*of infinitesimal perturbations about that state共so-called pulled fronts兲, are very sensitive to changes in the growth rate f (␾) for ␾Ⰶ1. It was recently found that with a small cutoff, f (␾)⫽0 for ␾⬍␧, vas

converges to v* very slowly from below, as ln⫺2␧. Here we show that with such a cutoff and a small enhancement of the growth rate for small␾ behind it, one can have vas⬎v*, even in the limit␧→0. The effect

is confirmed in a stochastic lattice model simulation where the growth rules for a few particles per site are accordingly modified.

DOI: 10.1103/PhysRevE.66.015206 PACS number共s兲: 05.45.⫺a, 05.70.Ln, 47.20.Ky Pulled fronts are those fronts that propagate into a linearly

unstable state, and whose asymptotic front speedvasequals

the linear spreading speed v* of infinitesimal perturbations about the unstable state关1–3兴. The name pulled front refers to the picture that in the leading edge of these fronts, the perturbation about the unstable state grows and spreads with speedv*, while the rest of the front gets ‘‘pulled along’’ by the leading edge. That this notion is not merely an intuitive picture but can be turned into a mathematically precise analysis is illustrated by the recent derivation of exact results for the general power law convergence of the front speed to the asymptotic value v* 关3兴. Fronts that propagate into a

linearly unstable state and whose asymptotic speed vas⬎v*

are referred to as pushed, as it is the nonlinear growth in the region behind the leading edge that pushes their front speed to higher values. If the state is not linearly unstable, thenv*

is trivially zero; in such cases the front propagation is always dominated by the nonlinear growth in the front region itself, and hence fronts in this case are in a sense ‘‘pushed’’ too.

For the field␾(x,t), the dynamics of fronts that we con-sider in this paper is given by the usual nonlinear diffusion equation

⳵␾ ⳵t

⳵2

x2⫹ f共␾兲. 共1兲

In the standard case, the growth function f (␾) has the form

f (␾)⫽␾⫺␾n, with n⬎1. Equation 共1兲 has two stationary states for ␾(x,t):(x,t)⫽0 and ␾(x,t)⫽1. Of these,

(x,t)⫽1 is stable and ␾(x,t)⫽0 is unstable. The asymptotic speed of 共pulled兲 fronts propagating from

(x,t)⫽1 into␾(x,t)⫽0 in Eq. 共1兲 is v*⫽2.

The sensitivity of pulled fronts to the precise dynamics for small perturbations about the unstable state has recently surfaced in a remarkable way 关4兴. Often, in equations like Eq. 共1兲, the field␾(x,t) is the density of particles in a con-tinuum description. If one then considers fronts in stochastic particle model versions of Eq.共1兲, the linear growth term in

f (␾) implies that for small particle density, the rate at which new particles are created is proportional to the density itself. Brunet and Derrida 关4兴 were the first to realize the fact that for new particles to be created in any given realization, the

density must be at least one ‘‘quantum’’ of particle density strong, and that this provides a natural lower cutoff for the growth that strongly affects the front speed. Indeed, to mimic this effect, they considered a deterministic front of the type in Eq.共1兲 with n⫽3, and by hand introduced a cutoff of the type sketched in Fig. 1共a兲 in the growth function at ␾⫽␧

Ⰶ1. In this paper, we denote their growth function by

f (␾,␧)⬅关␾⫺␾3兴⌰(⫺␧), where ⌰ is the unit step

func-tion. For small␧, the asymptotic front speed vas(␧) was then

found to be关4兴

vas共␧兲⯝v*⫺ ␲2

共ln ␧兲2⫹•••. 共2兲

Brunet and Derrida subsequently identified ␧ with 1/N, where N is the average number of particles at the saturation state of the front, corresponding to the stable state ␾(x,t)

⫽1 of the density field. The slow logarithmic convergence to

the asymptotic front speed from below as a function of N, implied by Eq.共2兲, has been confirmed in various studies of stochastic lattice models 关4–9兴. Note that for ␾⬍␧, the growth function f vanishes, and as a result, strictly speaking,

(3)

the state ␾⫽0 is not linearly unstable; hence fronts in this model are always weakly pushed for any nonzero value of␧

关10兴.

In this paper, we demonstrate an even more surprising aspect of the sensitivity to small changes in the growth func-tion f of the ‘‘pulled’’ fronts that we have at ␧⫽0: if f is sufficiently enhanced in a range of␾ of the order of␧, the asymptotic front speed vas can become larger than v* and

not converge tov* as␧→0. For fluctuating fronts, this

im-plies that if the stochastic growth rates for small occupation densities ni are somewhat enhanced over a linear behavior ⬃ni, then such stochastic fronts may move faster thanv*

and never converge to their naive mean field limit for N →⬁. This effect may be of relevance for the coarse-grained field theory for diffusion-limited aggregation, as it is empiri-cally known to be essential to modify the growth function for small cluster densities关11兴.

We now discuss our results first, and then summarize their derivation.

To be specific, we consider the nonlinear diffusion equa-tion 共1兲 with the growth function sketched in Fig. 1共b兲,

f共␾,␧,r兲⫽ f共␾,␧兲 for ␾⬍␧ and

⫽␧/r for ␧⭐⭐␧/r, 共3兲

with r⬍1. We show that while for any fixed value of r lim

␧→0

f共␾,␧,r兲⫽ f共␾兲, 共4兲

the asymptotic front speedvas(␧,r) has the property that

lim ␧→0 vas共␧,r兲⫽v* for r⬎rc, lim ␧→0 vas共␧,r兲⬎v* for r⬍rc, 共5兲 where rc⫽ 1⫹e⫺(v*2⫺2) v*2 ⫽0.283 833 . . . . 共6兲

Hereafter, for simplicity, we denote vas(␧,r) simply by v.

For␧→0, the asymptotic speed at a given value of r⭐rcin

our model is given by the relation

r⫽ 1 v2

1⫹ 1⫺ 2 v

v2 4 ⫺1 1⫹ 2 v

v2 4 ⫺1 ⫻exp

v2⫺ 2 1⫹ 2 v

v2 4 ⫺1

冎冊

, 共7兲

from which the value of rc, given by Eq.共6兲, follows.

These expressions show that the limits do not commute for r⬍rc: taking the limit␧→0 first in f yields a front speed

v* but the limit vas(␧→0,r)⬎v*. The reason is that for r

⬍rc there is always a little tail of the front that runs faster

than v* and makes ␾ nonzero. Once ␾ is nonzero, growth continues and the region behind it just has to follow it with the same asymptotic speed.

Our analysis is corroborated by numerical results obtained by solving Eq. 共1兲 forward in time, 共with Gaussian initial conditions兲. The data for v vs r at ␧⫽2⫻10⫺5are shown as solid dots in Fig. 2. Note that for r⬍rc, the solid dots fall on

top of our prediction 共7兲 drawn with a solid line, while for

r⬎rc, they systematically fall below the solid line v⫽v*.

The reason for it is the difference between the rates of con-vergence as ␧→0, which is illustrated in the inset of Fig. 2 by means of the schematically drawn dashed line. The ar-rows in the inset indicate the rate of convergence of the dashed r-v curve towards the limiting one, given by Eq.共7兲. For r⬎rc, the convergence is ⬃ln⫺2␧ as in the case for r ⫽1, analyzed in Ref. 关4兴; but for r⬍rc the convergence is

much faster, ␧n⫺1. This latter behavior is illustrated for r

⫽0.2 and n⫽2,3 in Fig. 3—note the fine scale on the

verti-cal axis.

The fact that the effect of increasing asymptotic speed with decreasing r below rc is a real effect for stochastic

fronts too is illustrated by the crosses in Fig. 2: these repre-sent the data for the average speed of fronts in a reaction-diffusion system X 2X, for discrete X particles on a lattice with N⫽104 关12兴, where the growth rates have been modi-fied when the number of particles nion a lattice site i is less

than 1/r. In accord with the shape of the growth function f illustrated in Fig. 1共b兲, the rate at which particles are created at a lattice site i with 1⭐ni⬍1/r particles is simply taken to

be the same as the rate for ni⫽1/r 共corresponding to the FIG. 2. Comparison of simulation data for vas(␧,r) with the

analytical prediction共7兲, which is plotted as the solid line. The solid dots represent the numerical data for Eq.共3兲 with ␧⫽2⫻10⫺5and

n⫽3. The crosses are the data points for fronts in the stochastic

growth model described in the text. Inset: illustration of the leading order rate of convergence of thevas(␧,r) curve to the ␧→0 limit,

by means of the schematic dashed curve.

DEBABRATA PANJA AND WIM van SAARLOOS PHYSICAL REVIEW E 66, 015206共R兲 共2002兲

(4)

integral values 1/r⫽1, 2, 3, 4, 5, 7, and 10, due to the dis-creteness of particles兲. As one can see from Fig. 2, already when r⫽0.5, i.e., when only the growth rate at lattice sites with one particle is increased by a factor 2, the asymptotic growth speed is above the valuev*⫽2.

In the remainder of this paper, we derive the analytical results for the nonlinear diffusion equation with the growth function共3兲. Our analysis is based on the following observa-tion: for ␧⫽0, it is well known that the nonlinear diffusion equation allows a continuous family of front solutions with v⭓v*. When such fronts solutions are parametrized by their velocity v, and when the growth rate is modified to allow a transition to a ‘‘pushed’’ front with velocity v, it is also

known 关2,3兴 that solutions with v⬍v† are unstable to a lo-calized mode. In our analysis, we therefore consider a front with a given fixed velocity v and, for small ␧, determine when upon decreasing r a localized mode of the stability operator crosses the eigenvalue zero. In the limit ␧→0 this marks the selected pushed front in the r-v diagram.

To carry out the linear stability analysis of the front solu-tion, it is convenient to follow the standard route of trans-forming the linear eigenvalue equation into a Schro¨dinger eigenvalue problem 关1,3兴. We consider a function ␾(x,t), which is infinitesimally different from the asymptotic front solution ␾as(␰) in the comoving frame ␰⫽x⫺vt, i.e.,

(x,t)⫽␾as(␰)⫹␩(␰,t). Upon linearizing Eq.共1兲 in the co-moving frame, one finds that the function ␩(␰,t) obeys the following equation: ⳵␩ ⳵t ⫽v ⳵␩ ⳵␰⫹ ⳵2 ⳵␰2⫹ ␦f共␾兲 ␦␾

␾⫽␾ as ␩. 共8兲 Since this equation is linear in␩, the question of stability can be answered by studying the spectrum of the temporal eigen-values. To this end, we express␩(␰,t) as

␩共␰,t兲⫽e⫺Ete⫺v␰/2E共␰兲, 共9兲

which converts Eq. 共8兲 to a one-dimensional Schro¨dinger equation for a particle in a potential withប2/2m⫽1,

d 2 d␰2⫹ v2 4 ⫺ ␦f共␾兲 ␦␾

␾⫽␾ as

E共␰兲⫽EE共␰兲. 共10兲

In Eq.共10兲, the quantity

V共␰兲⫽

v 2 4 ⫺ ␦f共␾兲 ␦␾

␾⫽␾ as

plays the role of the potential. It is easily obtained explicitly from the expression 共3兲 for f (␾,␧,r) as

V共␰兲⫽

v 2 4 ⫺1⫹n␾as n⫺1

⌰共␰1兲⫹v 2 4 ⌰共␰⫺␰1兲 ⫺ 1 rv␦共␰⫺␰0兲, 共11兲 where␾(␰0)⫽␧ and␾(␰1)⫽␧/r. The form of the potential for v⬎v* and small ␧ is sketched in Fig. 4. Keep in mind that ␾as(␰) is a monotonically increasing function from␧/r at␰1towards the left, and that␾as(␰→⫺⬁)⫽1. As a result, in Fig. 4, V(␰) also increases monotonically towards the left for␰⬍␰1. On the right of␰1, V(␰) is constant atv2/4, and at

␰0, there is an attractive ␦-function potential of strength (rv)⫺1 关13兴. The crucial feature for the stability analysis below is the fact that V(␰) stays remarkably flat at a value 2␧/r over a distance (␰1⫺␰2)⯝兩ln ␧/r兩 关10兴, and on the left of␰2, it increases to the value ofv2/4⫹n⫺1, over a distance

of order unity.

If there exist negative eigenvalues of the Schro¨dinger equation 共10兲, then according to Eq. 共9兲, ␩(␰,t) grows in time in the comoving frame, i.e., the front solution␾as(␰) is unstable. For our purpose, therefore, we look for the value of

r at which there is a bound state of Eq.共10兲 with eigenvalue E, such that E→0⫺ for the potential sketched in Fig. 4. This

is a problem in elementary quantum mechanics. For ␧→0, FIG. 3. Numerical data for vas(␧,r) as a function of ␧ for n

⫽2 and 3, at r⫽0.2. The graph demonstrates the insensitivity of v

to␧ for small values of ␧ 共note the fine scale on the vertical axis兲, as well as the convergence as␧n⫺1to its␧→0 value ⯝2.246, given by Eq.共7兲, for two different values of n.

FIG. 4. The potential V(␰) for v⭓v*and infinitesimally small

␧ in the Schro¨dinger operator that determines the temporal

eigen-values of the stability analysis.␰2marks the position of the region

of finite width where the potential crosses over from the asymptotic value on the left where ␾as⬇1 to the value in the well where␾as

Ⰶ1, ␰1the position of the step and␰0the position of the␦-function

(5)

the potential V(␰) is essentially constant in the left neighbor-hood of␰1, and hence forv⬎v* and E→0⫺,E(␰) can be

written as

E共␰兲⫽Ae␭1(␰⫺␰1) for ␰⭐␰1, ⫽Ae␭2(␰⫺␰0)⫹Be␭2(␰0⫺␰) for ␰1␰0,

⫽A2e⫺␭2(␰⫺␰0) for ␰⬎␰0,

共12兲

where␭1⫽

v2/4⫺1 and ␭2⫽v/2. The functionE(␰) must

be continuous at ␰1 and␰0, while its slope is continuous at

␰1, but not at␰0. Matching of these boundary conditions to determine the value of r, where the bound state eigenvalue E crosses zero, also requires an expression for the distance ␰0

⫺␰1. To this end, we divide the range of␾values between 0 and 1 into the three regions marked in Fig. 4: 共i兲 region I, where ␾as⬍␧, 共ii兲 region II, where ␧⭐␾as⬍␧/r, and 共iii兲 region III, where ␾as⭓␧/r. In the comoving frame, the asymptotic shape ␾as(␰) of the front is the solution of the

differential equation ␾as

⫹vas

⫹ f (␾as,␧,r)⫽0, where a

prime denotes a derivative with respect to␰. The solutions of

␾as(␰) in the regions I and II that satisfy the continuity of ␾as(␰) and␾as

(␰) are, respectively, given by

␾as共␰兲⫽␧e⫺v(␰⫺␰0) and ␾as共␰兲⫽

␧⫺ ␧ rv2

e v(␰0⫺␰)␧共␰0⫺␰兲 rv ⫹ ␧ rv2. 共13兲 The length ␰0⫺␰1 of region II is obtained by equating

␾as(␰1) from the second line of Eq.共13兲 to ␧/r. After

divid-ing out a factor of ␧/r, this condition becomes

r⫺ 1 v2

e v(␰0⫺␰1)␰0⫺␰1 v ⫹ 1 v2⫽1. 共14兲

Thereafter, using Eqs.共12兲 and 共13兲, one arrives at Eq. 共7兲. The above analysis yields the relation betweenv and the critical value of r in the limit␧→0. The convergence with ␧, i.e., the rate of approach with ␧ of the dashed curve to the solid one in Fig. 2, can be obtained by considering the effect

of the n␾asn⫺1(␰) term of V(␰) on the eigenfunctions and eigenvalues. For v⬎v*, this term is simply a correction of order ␧n⫺1 to the finite bottom value of the potential. This term can be included perturbatively, and accordingly it leads to a shift of order ␧n⫺1 in the critical value of r. As Fig. 3 illustrates, this prediction is confirmed numerically. The case v⫽v* calls for a more detailed analysis, since the bottom value of the potential vanishes in the limit ␧→0. In this case, it is known 关3,4兴 that ␾as(␰)⬃(C⫹D)e⫺␰, so

V(␰)⯝n(␧/r)n⫺1(␰/␰1)n⫺1e(n⫺1)(␰1⫺␰) in the leading order of ␧. In dominant order, we need to keep only the exponen-tial behavior, and the solution of ␺E(␰) is then given by the Bessel function AK0(2

nn⫺1e⫺(n⫺1)(␰1⫺␰)/rn⫺1) in the

left neighborhood of ␰1. The 兩ln⫺1␧兩 scaling for the asymptotic approach of the dashed curve to the solid one is then easily obtained once the boundary conditions at␰1 and

␰0 are matched using Eq.共14兲.

The logarithmic convergence of v to v* from below for

r⬎rccan be understood from an argument along the lines of

that for r⫽1 关4兴. For v⬍v*, the front profile ␾as(␰) in re-gion III is of the form ␾as(␰)⬃C sin关k(␰⫺␰2)⫹␤兴e⫺␰. For r

⫽1, region II is absent; in that case, the matching to the

profile in region I and the divergence of the width ␰0⫺␰2

⯝兩ln ␧兩 implies k⯝␲兩ln␧兩⫺1. For r

c⬍r⬍1, the matching to

region II will change the prefactor, but k will still scale as

兩ln␧兩⫺1because the width of region III still diverges

logarith-mically. As for rc⭐r⬍1, this translates into a scaling of

v*⫺v as 兩ln ␧兩⫺2, with a prefactor that depends on r. Note that this scaling is nicely consistent with the convergence of the r-v curve towards the point (rc,v*) from the left, due to

the fact that the slope of this curve vanishes at this point, and the convergence from below to this point scales as the square of the convergence from the left.

We finally end this paper with the note that if the 共nonne-gative兲 growth rate is bounded from above by f (␾,␧) in the interval␾⭐␧/r, but is equal to f (␾,␧) for ␾⬎␧/r, then as

␧→0, the asymptotic front speed converges to v* with the

same logarithmic convergence of Eq.共2兲 for any r. It simply

follows from the inequality vas(␧/r)⬍v⬍vas(␧), where

vas(␧) is given by Eq. 共2兲.

D.P. wishes to acknowledge financial support from ‘‘Fun-damenteel Onderzoek der Materie’’共FOM兲.

关1兴 E. Ben-Jacob, H.R. Brand, G. Dee, L. Kramer, and J.S. Langer,

Physica D 14, 348共1985兲.

关2兴 W. van Saarloos, Phys. Rev. A 39, 6367 共1989兲. 关3兴 U. Ebert and W. van Saarloos, Physica D 146, 1 共2000兲. 关4兴 E. Brunet and B. Derrida, Phys. Rev. E 56, 2597 共1997兲. 关5兴 H.P. Breuer, W. Huber, and F. Petruccione, Physica D 73, 259

共1994兲.

关6兴 R. van Zon, H. van Beijeren, and Ch. Dellago, Phys. Rev. Lett.

80, 2035共1998兲.

关7兴 D.A. Kessler, Z. Ner, and L.M. Sander, Phys. Rev. E 58, 107 共1998兲.

关8兴 L. Pechenik and H. Levine, Phys. Rev. E 59, 3893 共1999兲.

关9兴 D. Panja and W. van Saarloos, e-print cond-mat/0109528. 关10兴 D. Panja and W. van Saarloos, Phys. Rev. E 65, 057202

共2002兲.

关11兴 E. Brener, H. Levine, and Y. Tu, Phys. Rev. Lett. 66, 1978 共1991兲.

关12兴 This corresponds to ␥˜⫽1 and N⫽104

for the model consid-ered in Ref.关9兴.

关13兴 The␦-function in Eq.共11兲 appears from the functional deriva-tive of f in V, since there is a discontinuity of magnitude␧ in f (␾as,␧,r) at␾as⫽␧. This discontinuity contributes an amount

equal to␧r⫺1d⌰(␾as⫺␧)/d␾as⫽␧关r兩␾as⬘(␰0)兩兴⫺1␦(␰⫺␰0) to

V(␰). As␾as⬘⫽␧r according to Eq. 共13兲, the prefactor 1/(rv).

DEBABRATA PANJA AND WIM van SAARLOOS PHYSICAL REVIEW E 66, 015206共R兲 共2002兲

Referenties

GERELATEERDE DOCUMENTEN

7.1 above is equal to the largest absolute value of an eigenvalue of

The concept of pulled fronts with a cutoff ⑀ has been introduced to model the effects of the discrete nature of the constituent particles on the asymptotic front speed in models

Recent studies have shown that in the presence of noise, both fronts propagating into a metastable state and so-called pushed fronts propagating into an unstable state,

On the other hand, for fronts consisting of discrete particles on a discrete lattice, the corresponding mean-field growth terms are linear, but since the asymptotic front speed

As it turns out, the matching analysis on which the derivation of the power law convergence is based (see also [15]), requires only minimal input on the form of the nonlinear

(b) Show (without using Frobenius’s theorem) that the elements of G having no fixed points in X, together with the identity element, form a normal subgroup of

Let C be the restriction of the two dimensional Lebesgue σ-algebra on X, and µ the normalized (two dimensional) Lebesgue measure on X... (a) Show that T is measure preserving

At the end of each period, after the new stock value is attained, a dividend is paid and the stock price is reduced by the corresponding amount Formally, these operations are