HAL Id: jpa-00247190
https://hal.archives-ouvertes.fr/jpa-00247190
Submitted on 1 Jan 1996
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés.
Strong Coupling Probe for the Kardar-Parisi-Zhang Equation
T. Newman, Harald Kallabis
To cite this version:
T. Newman, Harald Kallabis. Strong Coupling Probe for the Kardar-Parisi-Zhang Equation. Journal
de Physique I, EDP Sciences, 1996, 6 (3), pp.373-383. �10.1051/jp1:1996162�. �jpa-00247190�
Strong Coupling Probe for the Kardar-Parisi-Zhang Equation
T.J. Newman (~>*) and Harald
Kallabis (~)
(~) Institut für Theoretische
Physik,
Universitàt zuKôIn,
D-50937KôIn, Germany
(~)
Hôchstleistungsrechenzentrum, Forschungszentrum Jülich,
52425Jülich, Germany
(Received
13 November 1995, received in final form 20 November 1995,accepted
27 November1995)
PACS.03.65.-w
Quantum
mechanicsPACS.05.40.+j
Fluctuationphenomena,
random processes, and Browman motion PACS.68.35.Rh Phase transitions and cnticalphenomena
Abstract. We present an exact solution of trie determmistic
Kardar-Parisi-Zhang (KPZ)
equation under the influence of a local
driving
forcef.
For substrate dimension d < 2we recover
the well-known result that for
arbitrarily
smallf
> 0, the interfacedevelops
a non-zerovelocity
~( f).
Novel behaviour is found in thestrong-coupling
regime for d > 2, in which f must exceed a cntical force fc in order to drive the interface with constantvelocity.
~ie findv( f)
+~ f fc)"~~~
for f ~ fc. In
particular,
the exponenta(d)
=2/(d- 2)
for 2 < d < 4, but saturates ata(d)
= 1
for d > 4,
indicating
that for thissimple problem,
there exists a finite upper critical dimension du = 4. For d > 2 the surface distortion causedby
theapphed
force scaleslogarithmically
,vithdistance within a critical radius Rc
+~
if fc)~"l~~,
wherev(d)
=
a(d) /2.
Connections between these results, and the critical properties of trieweak/strong-couphng
transitionm the noisy KPZ
equation are pursued.
1. Introduction
This article is concerned with a
problem
which arises in triestudy
of trieKardar-Parisi-Zhang (KPZ) equation iii
of interfacegrowth [2, 3]. Namely,
we consider trie deterministic version of trie KPZequation
under the influence of alocal,
constant force.Although
thisproblem
ism
pnnciple
rathersimple,
a detailedinvestigation
has not been carried out to ourknowledge.
The
results, although interesting
in their ownright,
assumegreater significance
when related to theweak/strong-coupling
transition in thenoisy
KPZequation.
Before entenng into further details of thisproblem,
we shallgive
a brief overview of thekey properties
of the KPZequation.
In, by
now, standard notation thisequation
for the evolution of the interfaceheight h(x,t) (above
a d-dimensionalsubstrate)
takes the formôth
=uv~h
+(À/2)(Vh)~
+ Y/il
where
J/(x, t)
is a whitenoise, generally
taken to be Gaussian distributed. TheCole-Hopf
trans- formationh(x, t)
=
(2u/À) In(w(x, t)) yields
a linearequation
for w albeit withmultiplicative
(*)
Author forcorrespondence le-mail: tn©thp.uni-koeln.de),
Address from lst
January
1996:Department
ofPhysics~ University
ofManchester,
Manchester,
M13 9PL, U-K-©
LesÉditions
dePhysique
1996noise:
ôtw
=uv~w
+(À/2u)wJ/. (2)
This
equation
may bere-expressed by
means of theFeynman-Kac formula,
such that w rep-resents the restricted
partition
function of a directedpolymer
in the presence ofquenched
random defects.
Naturally,
trie aboveequation
may also beinterpreted
as animaginary-time Schrôdinger equation
for a quantum mechanical(QM) partide
in atime-dependent
randompotential (-J/).
It is well-known
iii
that d= 2
plays
the role of a lower critical dimension. For d <2,
the interface will beasymptotically ii-e-
forlarge times) rough
forarbitrarily
small À. For d > 2 there exists a transition betweenasymptotically
smooth andrough phases, depending
on the value of À. To access therough (strong-coupling) phase,
must exceed a critical value Àc.Amongst
the mostimportant questions
in this field are: 1) what are thescaling
exponentsassociated with the
strong-coupling phase; ii)
does there exist an upper critical dimensiondu,
above which these exponents take on mean-fieldvalues; iii)
what are the criticalproperties
of theweak/strong-coupling
transition? There are no answers to the firstquestion,
barpredictions
from extensive numerical work(except
for the case d= 1 where exact
analytic
results are available[2]).
Asregards
the secondquestion,
thecommunity
seemssplit
between beliefs indu
= 4 anddu
= oc. The former belief is based
primarily
on thepredictions
of various self- consistent'mode-coupling'
theories(see
forexample [4]),
whilst the latter belief arises from numerical evidence ford-dependent strong-coupling exponents
[3](for
all accessible d1 7).
With
regard
to the finalquestion,
a recenttwo-loop
renormalization group calculation [5](formulated
as an(-expansion,
with c= d
2) predicts
that at thetransition,
theroughness
exponent x = 0 +
O(c3) (to
beinterpreted
aslogarithmic roughness),
whilst the correlationlength exponent
has the form P =(1le)
+O(c3).
For theone-loop
versions of theseresults,
see reference [6].We now concentrate on a much
simpler problem.
As mentionedbefore,
we retain the essentialnon-linearity
of the KPZequation,
butreplace
the noise J/by
a localapplied
force:J/(x, t)
=
foô~(x).
In directedpolymer language
thiscorresponds
toreplacing
the bulk disorderby
asingle
constant energy columnar defect. In terms of theQM analogue,
we havereplaced
the randompotential by
a delta-functionpotential
withamplitude (-fo).
There exists a well- known result[7],
which is mosteasily
stated inQM language:
for d < 2 thepartide
will havea bound state for
arbitrarily
smallfo
>0,
whereas for d > 2 thereonly
exists a bound state forfo
>fo,c
> 0. In terms of theinterface,
these resultsimply
that for d < 2 anarbitrarily
small force is suilicient to mduce a non-zero
velocity
to thesurface,
whereas for d > 2 thedriving
force must exceed a critical value in order to achieve this. The identification of a lower critical dimension(along
with theproperties
of thesystem
for d <2)
may be obtained from aperturbative analysis
ofequation (2) (in
terms of À, orequivalently fo).
In order to
explore
theproperties
of the'binding/unbinding'
transition for d >2,
a non-perturbative analysis
isrequired
such ananalysis
constitutes thebody
of the present work.The main results which arise are the
following (which
we shall describe in terms of the interfaceformulation).
Whereas for d < 2 anarbitrarily
smalldriving
force will induce avelocity u( fo)
to the
interface,
for d > 2 theapplied
force must exceed a critical value in order to achieve this. Thedependence
of thevelocity
on the excess forceôfo
+fo fo,c
is found to beu m~
(ôfo)°~~~
whereo(d)
=
2/(d 2)
for 2 < d <4,
but saturates ata(d)
= for d > 4. For d < 2 the
applied
force will create a non-hnear distortion of the surface over a critical radiusR~
m~
f[~~~~~~~,
but theamplitude
of the distortion is of orderunity.
For d > 2 the distortion scaleslogarithmically
with distance and exists within a critical radiusR~
m~
(ôfo)~~~~~,
whereu(d)
=a(d)/2. Therefore,
for d > 2 the distortion is a macroscopic rupture of the surfacewith a
logarithmic profile (by 'rupture'
we mean a gross distortion of theinterface, leaving
the continuousproperties
of the surface intact).
We shall leave theinterpretation
of these results for the final sections of the paper.The outline of the paper is as follows. In the next section we shall
give
aprecise
definition of the model to besolved, along
with somesimple steps
which lead to an accessiblestrong-coupling (1.e. non-perturbative) analysis
of the model. In Section3,
weproceed
with thisanalysis
and derive thevelocity-force
characteristics. Thespatial profiles
of the surface distortion for variousdimensions are evaluated in Section 4. Connections between the
properties
of thissimple model,
and theweak/strong-coupling
transition in thenoisy
KPZ model arepursued
in Section 5. Weend the paper with our
conclusions,
and adescription
ofpossible
extensions to thepresent
work.
2. Deflnition and Reformulation of the Model
Replacing
the stochastic source of thenoisy
KPZequation
with a localapplied
force leads us to consider theequation
ô~à
=uv2à
+(~/2)(và)2
+foôdjx). j3)
As for the
noisy problem,
we mayapply
the transformationh(x, t)
=
(2u/À) In(w(x, t))
whichyields
the linearequation
ôtw
=uv~w
+(À fo/2u)
wô~(x). (4)
Since we are
primarily
interested in the interfaceapplication
of thisproblem,
we choose the initial conditionw(x, 0)
=1,
whichcorresponds
to aninitially
flat interface(h
=
0). [The
natural initial condition for the directed
polymer application
isw(x, 0)
=
ô~(x).
We shall not consider thisproblem here.]
We may
formally integrate equation (4)
using the Green function of the diffusionequation, g(x,t)
=
(4~vt)~~/~ exp(-~~/4ut), leading
towjx, t)
= i +
j~ fo /2v) j dt' g(x,
t
t/)w(o, t') (à)
Therefore, knowledge
of the functionw(0, t)
is suficient to determine wthroughout
all space.For convenience we shall define
çi(t)
+w(0, t). Setting
x= 0 in the above
equation
leads to aVolterra
integral equation
for çit
çi(t)
= +f / dt' a(t t')çi(t') (6)
where
a(t)
=
t~~/~
andwe have defined an effective force
f
e(Àfo/2v)(4~v)-~/~. [Such
aVolterra
equation
may also be derived for the morecomplicated
situation of atime-dependent
forcef(t).
The case wheref(t)
is a stochastic variable is ofparticular
interest in the directedpolymer picture
[8].]Clearly
thisequation
is ill-defined for d >2,
since the kernel isnon-integrable
over the range(0, t).
Toregularize
theequation
we have manypossibilities.
The most convenient isto smear the delta-function force over a small region of size
i~
with a Gaussianenvelope,
i e.we
replace foô~(x) by fo(~i~)-~/~exp(-~~li~).
Thelength
scale constitutes the smallestphysical
scale in theproblem. Assuming
thatw(x, t)
variesslowly
over the coreregion (x(
<allows us to rederive the above Volterra
equation,
where nowait)
=
(t +i~)~~/~ (after rescahng
- =
il(4v)).
Laplace transforming equation (6)
andusing
the convolution theoremyields
anexplicit
solution for thisLaplace
transform£[çi(t)]. Inverting
the transform gives the result1 ~~
~st/i2
~~~~ 2m
/
s
il
-12-dfD(s)]
~~~where ~/ is the usual
integration
contouralong
the line s= c +
iv
where c is a real constant chosen to lie to thenght
of anysingularities
in thecomplex plane.
The functionD(s)
isgiven by
m
~ ~ e-8Y
~~~ ~
Î
~
(l
+ Y)~~~(which
may beexpressed
in terms of theincomplete
Gamma function[9]).
We are now in a
position
to obtain allphysical properties
of the model from theanalysis
ofequation (7).
~ie stress onceagain
that thisanalysis
isnon-perturbative
info (or equivalently À).
All the results for d < 2 may be obtainedby perturbation theory (although
one must evaluate allorders),
whereas none of the results concerning thebinding/unbinding
transition may be obtainedby
such atechnique
for d > 2.In the next section we shall concentrate on
evaluating
theasymptotic (large time)
form offi(t)
,vhich will enable us to determine whether the interface has a non-zero
velocity.
Thespatial profile
of the interface distortionrequires
the evaluation of the convolution of the diffusionequation
Green function with the function#(t) (as
illustrated inEq. (5))
thisanalysis
is described in Section 4.3.
Velocity-Force
CharacteristicsThe
singularities
in theintegrand
ofequation (7)
consist of a branch cutalong
thenegative
realaxis,
and(depending
on the value off)
apole
in theright-half plane (RHP).
Thelarge-time
behaviour of
çi(t)
,vill be dominatedby
the contribution from thepole (if
itexists).
0ne mayeasily
convince oneself that the existence of thispole
isrequired
for the interface at theforcing
site to have a non-zero
velocity,
i-e- forH(t)
m~ ut
(where H(t)
e(À/2v)h(0, t)
= In
çi(t).) By studying
the small-s behaviour ofD(s)
one may show thefollowing properties
of theintegrand
inequation (7).
For d < 2 therealways
exists apole
in the RHP forf
>0,
which forf ~
0 is situated at sp =f~/(~~~).
For d > 2 thepole
willonly
exist in the RHP forf
>f~
=i~~~(d- 2) /2.
Forf ~ fc,
theposition
of thepole
isgiven by
sp=
A(d)( f f~)~/(~~~)
for 2 < d < 4
(~vhere A(d)
is acomplicated
function of d)~ whereas for d > 4 one has sp =[(d 4)/(d 2)](f f~).
Thisabrupt change
of behaviour for sp at d = 4 will haveinteresting
consequences.Evaluating
the contribution toçi(t)
from thepole
leads us to thefollowing
results for thevelocity-force
characteristics:i)
for d < 2 one has forf ~
0 the relationu( f)
m~
f~/(~~~~j ii)
for d >2,
thevelocity
is zero unlessf
exceedsf~
one then has forf ~ f~
the relationu( f)
m~lé f)"l~)
~&>hereôf
ef f~
anda(d)
=Ù
~ ~ ~ ~(9)
~
>4>
which
signals
the existence of an upper critical dimensiondu
= 4.Table I.
Asymptotic
behauio~trof H(tÎ
theinterface height
at theforcing
site as afunction of
dimension d andapphed force f.
Thesymboi ôf
is the e~cessforce: ôf
=
f- f~.
Theconstants ci and c2 haue the
form
ciId)
=
[Fil d/2)]~/(~~~)
and c2Id)
=[r(2 d/2)]~/l~~~).
d f~
Hit) ~if)
f
<fc f
=
fc f
>fc
0 < d < 2 0 ~~j~~ In
f~/~~~~~t)
0 ~ t ciId)
f~/~~~~~2 0 In
(In(t/t~)
0 ~ t) exp(- il f)
2 < d < 4 ~~i~~
t~~~
inIi ))
~~i~~in(t/t~)
utifiiôf/fc)~/id-~~
~ ~~ ~~
~~
)
~~~
Î
i~Î
Î/)ij)
d > 4 ~~i~~t~~~ in
Ii )) init/t~)
~ t
i
~~i~~iôf/fc)
In the absence of a
pole
m theRHP,
theasymptotics
ofçi(t)
anse from the contribution from the branch cut. The results for this case(along
with thevif)
characteristics at the criticaldimensions 2 and
4)
aredisplayed
forcompleteness
in Table1.4.
Spatial
ProfilesIn this section we wish to evaluate the
spatial profile
of the interface forf
>fc.
We de- fine thepositive quantity AH(x, t)
+(À/2v)(h(0, t) h(x, t)). l/Iaking
use of theCole-Hopf
transformation, along
withequation (5),
we have(after rescahng
x - x=
x/(4v))
AH = In
lj
+
j /
dt' g(x, t'
+i~) çi(t t') (10)
o
For
f
>fc
and ut >1,
we have from theprevious analysis çi(t)
m~ e~~ In this case, the above
expression
reduces toAH =
In[ fF(x)] (11)
where
m
F(x)
=dt' e~~~' g(x, t'
+ i~). (12)
o
This
expression
is valid for(x(
<u~/~t.
For this entirerange we see that the
height
deviation Ah isindependent
of time. Forextremely large
distances from theforcing
site(x(
»u~/~t)
~
the influence of the force is insuficient to induce a
velocity,
and the surface distortion isessentially
zero.
We now concentrate on examining the form of the
steady-state profile given by equations
iiand
(12).
In fact there are twospatial regimes
for thisprofile, separated by
thelength
scaleRc
=u~~/~
which willemerge as a criticai radi~ts. We shall denote the regime
R~
<(x(
<u~/~t
as region A~ and the regime <
(x(
<R~
asregion
B. It isimportant
to stress that for ut >and u < 1
(which
is the case whenf ~ f~),
regions A and B are bothlarge
andwell-separated.
Region
A is lessinteresting
andsimpler
toanalyse,
so we shall focus on this first.4.1. AH IN REGION A. In this
region, F(x)
may be evaluated using asteepest-descents
treatment. A
straight-forward
calculationyields
the result~Hix)
=
ÎÎÎÎÎÎI Î Î
ÎÎÎÎÎÎÎÎÎIÎÎ [
o
(in(R~ Ii)), Î i13)
The form of the corrections is of interest. We see that for d <
2,
theleading
term dominates for(x(
>R~
asexpected.
This indicates that the overallheight
deviation within the criticalradius is of order
unity.
For d > 2 themicroscopic length
scale enters into the corrections and the condition for the dominance of theleading
term is now (x( >R~ In(R~ Ii
We are thereforegiven
the hint that for d > 2 the overall deviation of theheight
within the critical radius may belarge (of
orderIn(R~ Ii)).
To see thisexplicitly
we now turn our attention to the form ofAH for x <
R~.
4.2. AH IN REGION B.
Although
theintegral determining F(x)
appearsquite simple,
theanalysis
inregion
B is rathercomplicated.
We therefore refer the reader toAppendix
A where thisanalysis
is described in some detail. The end result for AH inregion
B takes the formAH
=
ÎÎÎÎ((~~Îi)~~~ÎÎ~Î~~~~~~~ (14)
(d 2) Ill(Îxlli)
+ °Il)
d > 2where
c(d)
=
2r(d/2) /(2 d). [It
is instructive for d= 2 to rewrite the
prefactor
of theheight
deviation
exdusively
in terms ofRc making
use of the relation 2f
=
il In(Rc Ii
)]There are two main features of these results we wish to stress. First. there exists for all dimensions a critical radius
Rc
within which the surfaceprofile undergoes
a distortion from the linear form shown inequation (13).
The cntical radius scales with àf
ef f~
asR~
m~
lé f)~~
where
v(d)
=
a(d)/2.
Inparticular
we note that for 2 < d <4, v(d)
=
1/(d- 2);
and for d > 4.v(d)
=1/2.
The second
important point
is thatby calculating
the overallheight
distortion within the criticalradius,
1e.AH(R~),
we see thatAH(R~)
+~
~°(~) Ill(Rc/1)
0d[
< d2 < 2(15)
These results confirm the ideas
propounded earlier,
1-e- for d < 2 the distortion of the surface within the critical radius isnegligible,
whereas for d > 2 the distortion is amacroscopic
rupture which scaleslogarithmically
with distance.5.
Applications
ta KPZWeak/Strong-Coupling
TransitionAs we mentioned in the
Introduction,
there are two main characteristics of theweak/strong coupling
transition for thenoisy
KPZequation (which
arise from a RGstudy
in powers ofc = d
2)
for d > 2. These are thevanishing
of theroughness exponent,
whichimplies
alogarithmic roughness;
and the existence of a correlationlength (
m~(g g~)~°,
where g is thedimensionless
couphng constant,
and P=
Ile
+O(c)3.
There is a remarkablecorrespondence
between these
results,
and those found in theprevious
section for thesimple
model of a deterministic KPZ interface under a localapplied
force. To reiterate theseresults,
we found that for d >2,
theapplied
force induces alogarithmic
distortion of the surface within a cntical radius which scales asR~
m~f f~)~~
with v=
Ile
for 2 < d <4,
and v=
1/2
for d > 4.The natural
question
arises: are the criticalproperties
of thenoisy
KPZequation directly
related to the
simple problem
discussed above? If so, then we have a much easier way to understand theweak/strong coupling phase transition,
and also we mayidentify
an upper crit- ical dimension of 4(for
the unstable fixedpoint characterising
thetransition).
Aquantitative
connection between the two sets of results is
beyond
our reach. However we shall make severalpoints
whichcertainly
make the connection moreplausible.
Since we are interested in theweak/strong coupling transition,
we henceforth restrict our attention to d > 2.The
coupling
constant g in thenoisy
KPZequation
isproportional
to the noiseamplitude
D which we shall take to be our control parameter. For D well below the criticalvalue,
the non-linearity
in the KPZequation
is irrelevant.Thus,
the surface behaves as an Edwards-Wilkinson(EW)
interface[10],
which is smooth. As we increase the value ofD,
it becomes more and morelikely
for smallregions
in the interface toexperience strong
fluctuations due to rare events inthe noise
spectrum.
If thesmooth/rough
transition istriggered by
an inherentinstability
of the interface withrespect
tostrong fluctuations,
it isplausible
to assume that such aninstability
is localized due to the local nature of rare events in the noise.
Having
establishedthis,
we mayconnect the two models
by arguing
that thesestrong
local fluctuations resemble an effectiveforce over
long
time scales. There are three essentialsteps
in thisargument
which we discuss in tum.First,
we must argue that the fluctuations appear as a constant force over sometemporal
interval T.
Clearly
any fluctuations in the 'downward' direction(1.e. anti-parallel
to the direction ofpositive h)
will have no effect sincethey
arecompletely suppressed by
the non-linearity.
We therefore consider a noisepath (or
noise'history')
which tends on average to bepositive
over the interval T within someregion
À of sizel~.
Thispath
may be considered as a force ofmagnitude f
solong
as it lies between the boundsf
+ a. The fluctuations within thesebounds are irrelevant. This fact may be established
by considering
the delta-function modelequation (3)
butallowing
for the force to be a stochastic variable.By
powercounting
one may show that the fluctuations of the force are irrelevant(about
the constant force fixedpoint)
for d > 1. For the noisepath
to exceedf
+ a isextremely unlikely
as thepath
isalready
a rareevent even to have entered between these bounds. The
path
is much morelikely
todrop
belowf
a. This is deemed asswitching
off the 'force'. The force will be switched onagain
when the noisepath
returns within the bounds. Thus the interval T over which the force acts is arandom variable.
Second,
we must argue that this randomswitching
off and on of the effective force is unim- portant. We assume that the force has been able to create some disturbance in the interfaceover the
region À,
before it is switched off. How will the surface evolve? To answer thisquestion
one maysimply
solve the determmistic KPZequation
in the absence of any source, but with an initial conditioncorresponding
to a localized disturbance. The result is that for any disturbanceexceeding
a criticalheight
h~ m~v/À,
the centre of the disturbancedecays logarithmically slowly
it isessentially
frozen. This effect is due to thestrong
influence of thenon-lineanty driving
the disturbanceupwards against
thesmoothing
effect of the diffusionterm. So
during
theperiods
of zeroforce,
the disturbance in the region À is frozen and onswitching
on theforce,
the evolution continues as if there were nointerruption.
The third and final
point
is to argue that the effective force remains localized in theregion
À. This is in
general
not the case. The noise hasshort-range
correlations in space and timeand rare events are
equally likely
to occuranywhere
in the surface. Asimple
resolution wouldbe that once the
rupture
has been formed inÀ,
then all other rare events in thevicinity
may berotationally averaged
togive
an effective force within À. A more subtlepoint
is thefollowing.
Once the
logarithmic
distortion centered in À has beenestablished,
it isessentially
frozenduring
theperiods
of zero force. Therefore any rare event occurring in À will continue theevolution of the distortion. On the other
hand,
if the criticalheight
forfreezing
is notsmall,
then most rare events will fail to seed such a distortion of the
interface,
since the disturbancesdue to rare events which are of a
height
less thanh~
willsimply
diffuse away. ive thereforehave a
picture
ofextremely strong
fluctuationsbeing required
to seed a distortion ofheight
>
h~,
with lessstrong
fluctuationsbeing required
to sustain the evolution of thelogarithmic
rupture once it has been seeded.
If this
rough physical picture
is correct then thecorrespondence
between the local force model consideredhere,
and thenoisy
KPZequation
at theweak/strong-coupling
transition isestablished. The surface
morphology resulting
from such a picture is that of a dilute system ofmacroscopic distortions,
each with alogarithmic profile.
This is in contradistinction to themore conventional view of weak uniform fluctuations
giving
rise tologarithmic roughness.
Sucha difference in
morphology
should be discernible from numerical simulations of models believed to lie in the KPZuniversality
Mass.[A physically plausible
connection between these two models may be drawn also in the directedpolymer representation.
Thestrong-coupling phase
of the KPZ modelcorresponds
to thelow-temperature phase
of the directedpolymer,
in which thepolymer
isstongly
localizedonto
low-energy paths,
which have characteristic transverse fluctuations.Conversely,
the ,,;eak-coupling phase
of KPZcorresponds
to thehigh-temperature phase
of the directedpolymer
inwhich the
polymer
is liberated from the low energypath
andperforms
thermalwandenng.
Hence the transition between these two
phases
for the directedpolymer
may be ,rie,ved as the localization transition to the lowest energypath (at
thistemperature).
In this case thepolymer
is
essentially subjected
to a 'columnar'defect, although
the defect is not of constant energy.and also has transverse fluctuations.
Using
similararguments
to thosepresented
above in theinterface
language,
one can motivate the idea that 1) the energy fluctuations on the column are irrelevant within somebounds,
andii)
the transverse fluctuations of the column ai-ethermally averaged
such that the effective column isstraight
on soine transverse scale of ordert~.
Webelieve a more
quantitative
connection may be tractable in this directedpolymer picture.]
6. Conclusions
We have
presented
anon-perturbative analysis
of the deterministic KPZequation
under the influence of a localdriving
forcef,
which for d > 2 must exceed a cntical valuef~
in order to induce a non-zerovelocity
in the surface. The central result is that for d > 2 and forf ~ fc,
the force creates a
macroscopic
distortion of the surface. This distortion has alogarithmic profile
and exists within a cntical radius of sizeR~
m~
f fc)~~
,vherev(d)
=
1/(d 2)
for2 < d < 4 and
v(d)
=
1/2
for d > 4. In thepenultimate
section we offered somephysical arguments
as towhy
onemight
consider thissimple
model to underlie theweak/strong-coupling
transition in the noisy KPZ model. The main characteristics of such a scenario are that 1) the
logarithmic roughness
at the transition is due to a dilutesystem
ofloganthmic distortions,
asopposed
to a uniform sea of fluctuations withlogarithmic
variance, andii)
the critical radiusRc
is aphysical
realization of the correlationlength
found from the RG treatment. A morequantitative
connection between these two models ispresently beyond
our reach,although
one futurepossibility
is to estimate thed-dependence
of theweak/strong-coupling phase boundary
based on the exact results obtained in this paper for the local force
model,
inconjunction
,vith the statisticalarguments presented
above.It would be useful to
apply
thenon-perturbative
methodspresented
here to the case of a random local force. Such ananalysis
would allow one totighten
some of the arguments givenin Section 5. This
problem
is also of substantial interest in its ownright
as it may bemapped
to a
system
of two directedpolymers
with random contact interactions[8,11,12]
which has a wide range ofapplications.
Acknowledgments
The authors wish to thank M.A. Moore and L-H.
Tang
forilluminating
discussions. T.J.Newman
acknowledges
financial support under SFB 341.Appendix
AIn this
appendix
weanalyse
the functionF(x)
in regionB,
1-e- for 1<(x(
<Rc
=
v~~/~,
inorder to derive the relations shown in
equation (14).
The functionF(x)
has trieexplicit
foi-m(cf. Eq. (12))
c<
F(x)
=/
dt(t
+
i~)~~/~ exp(-ut) exp[-~~ lit
+i~)], (A.1)
o
which may be
re-expressed
asF(x)
=
~~~~
e~~~[Ii(~) +12(~)] (A.2)
where
i
I~(y)
=
/
dtt~~/~e~~~ e~~/~, ~~'~~
(i/~)2 and
~
12(~)
=/
dtt~~/~ e~~~ e~~/~ (AA)
i
where we have defined a e
u~~
=
(~/R~)~
< 1 for notational convenience.The first
integral
may besimply
evaluated toleading
order in a. ~ie havec<
Ii (x)
=
/
duu~/~~~
e~"+
Dia)
+0(e~~~/~)~ (A.5)
1
The
leading
terms of the secondintegral
may be extracted as follows.Referring
to equa- tion(AA),
weexpand
the last factor of theintegrand
as a power series togive
I21x)
=f
i~)~~Jnia) (A.6)
n=o
~'
where
~
Jn(a)
=
a"~~+~/~ /
dtt~"~~/~ e~~ (A.î)
a
Integrating by parts yields
the recursion relationJn(a)
=
(~~
~~~~
~
~
~~~Jn-i(a). (A.8)
For d <
2, Jo (a)
has theexpansion
Jo(a)
=
Fil d/2) a~/~~~ il d/2)~~
+01a) (A.9)
where
r(z)
is the Gamma function[9].
This form ofJo implies Ji (a)
= 2
Id
+0(a~/~)
and forn >
1, Jn
=(n
1+d/2)~~
+0(a). Retuming
toequation (A.6)
we have12(z)
=
r(1 d/2) a~/~~~
+ C +0(a~/~) (A.10)
where
~
i
C =
£ ~~ in
1+d/2)~~
=
(d/2 1)~~
+/
du
u~/~~~ [e~" ii. (A.Il)
~ n.
"" o
Combining equations (A.5)
and(A.10)
thengives
for d < 2Ii +12
"
r(1 d/2) a~/~~~ (1 d/2)~~r(d/2)
+0(a~/~) (A.12)
From Table I we have for d < 2
, u =
f r(1- d/2)]~/(~~~),
which in addition toequations (A.2)
and
(A.12) gives
fF(x)
= i
f(i d/2)~~r(d/2) lxl~~~
+ 0((lxl/Rc)~) (A.13)
Combining
the aboveequation
withequation il1)
thenyields
the first relation inequation (14).
A similar
analysis
sullices forhigher dimensions,
which we shallbriefly
sketch. For d= 2
one finds
Ii +12
"
In(a)
2~/ +Dia In(a)), (A.14)
where ~/
= 0.57721.. is Euler's constant. From Table I we have for d
= 2
,
u =
i~~ e~~/f,
which in addition to
equations (A.2)
and(A.14) gives
ffjx)
t 1
2fin(jxj Ii)
+o( f). jA.ià)
Combining
the aboveequation
withequation (11)
thenyields
the second relation in equa- tion(14).
Finally
for d > 2 one findsIi +12
"r(d/2 1)
+0(a~) (A.16)
where
fl
=
d/2
-1 for 2 < d <4,
andfl
= 1 for d > 4. From Table I we have for d > 2,
f
m~
f~
=(d/2 1)i~~~,
which in addition toequations (A.2)
and(A.16) gives fF(x)
=
na/2) lillxl)~~~
+ 0(llxl/Rc)~~lillxl)~~~) IA-1?)
Combining
the aboveequation
withequation (11)
thenyields
the third relation inequation (14).
References
[ii
KardarM.,
Parisi G. andZhang Y-C., Phys.
Reu. Lett. 56(1986)
889.[2]
Krug
J. andSpohn H.,
in Solids Far FromEquilibrium: Growth, Morphology
andDefects,
C.
Godreche,
Ed.(Cambridge, Cambridge University Press, 1991).
[3]
Halpin-Healy
T. andZhang Y-C., Phys. Rep.
254(1995)
215.[4] Moore M.
A.,
BlumT., Doherty
J. P. and MarsiliM., Phys.
Reu. Lett. 74(1995)
4257.[5]
Frey
E. and TàuberU.C., Phgs.
Reu. E 50(1994)
1024.[6] Nattermann T. and
Tang L-H., Phys.
Reu. B 45(1992)
7156.[7] Landau L. D. and Lifshitz
E-M-, Quantum
Mechanics(Pergamon Press,
London1958).
[8] Kallabis H. and
Làssig M., Phys.
Reu. Lett. 75(1995)
1578.[9] Handbook of Mathematical Functions 10th
edition,
M. Abramowitz and I. A.Stegun,
Eds.
(New York,
Dover1972).
[10]
Edwards S-F- and WilkinsonD.R.,
Proc. R. Soc. London Ser. A 381(1982)
17.[Il] Lipowsky R., Europhys.
Lett. 15(1991)
703. In this reference d= 4 was found to
play
arole similar to that noted in the
present analysis.
[12]
DerridaB.,
Hakim V. and VannimenusJ.,
J. Stat.Phys.
66(1992)
1189.Bhattacharjee
S-M- and