Perturbation theory refers to any situation in which a solution to an equation is analyzed by using an existing nearby solution (possibly solving a nearby equation rather than the original equation) as a reference. In many cases the reference solution is trivial (the zero solution). In order for perturbation theory to work, one or more of the following should be true:
- The desired initial data should be close to the reference initial data.
- The desired equation should be close to the reference equation.
- The time interval on which the analysis is performed should be small.
More informally, perturbation theory requires the usage of the ε symbol somewhere in the analysis.
Duality in perturbation theory
Duality in perturbation theory has been introduced in Fra1998. It can be formulated by saying that a solution series with a large parameter is dual to a solution series with a small parameter as it can be obtained by interchanging the choice of the perturbation term in the given equation.
A typical perturbation problem can be formulated with the equation
being λ an arbitrary ordering parameter. A solution series with a small parameter can be computed taking
giving the following equations to be solved
where a derivative with respect to the ordering parameter is indicated by a prime. The choice of the ordering parameter is just a conventional matter and one can choice to consider L(u) as a perturbation instead with respect to the same parameter. Indeed one formally could write the set of equations
where L(u) and V(u) are interchanged with the new solution v. In order to understand the expansion parameter we rescale the time variable as τ = λt into the equation to be solved obtaining
and we introduce the small parameter . One sees that applying again the small perturbation theory to the parameter we get the required set of equations but now the time is scaled as t / ε, that is, at the leading order the development parameter of the series will enter into the scale of the time evolution producing a proper slowing down ruled by the equation
that is an equation for adiabatic evolution that in the proper limit will give the static solution V(v0) = 0. So, the dual series
is obtained by simply interchanging the terms for doing perturbation theory. This is a strong coupling expansion holding in the limit dual to the small perturbation theory we started with and having an adiabatic equation at the leading order.
The main mathematical problem of this kind of methods is the existence of the solution series. For the most interesting cases these series are not converging and represent asymptotic approximations to the true solution.
Finally, the success of this method relies on the possibility to obtain a proper analytical solution to the leading order equation.
Nonlinear PDEs and Perturbation Methods
The application of the perturbation methods described above to PDEs gives an interesting result, i.e. the dual series to the small parameter solution series is a gradient expansion FraA2006.
This can be seen by considering a NLKG equation
The choice of the perturbation term to compute a small or a large parameter series depends also on the way the derivatives of the field are managed.
In order to see this we apply the computation given in the previous section by rescaling time as and take a solution series with a large parameter
The non trivial set of equations is so obtained
where . Indeed, this is a gradient expansion. A typical application is given for the Ginzburg-Landau-Schrodinger equation.
An interesting problem that applies to a given PDE is
where j is a driving term. When a small parameter series has to be computed we obtain that at the leading order one has generally to solve
that is very easy to solve by the Green function method
being δD a Dirac distribution of the given dimensionality D.
A small time series holds that has the form
and the coefficients an are computed by deriving the equation we started from and with the initial conditions and will generally depend on the values of the source and its derivatives at the intial time. The success of the method relies on the ability to obtain analitically the Green function.
An interesting case is given by FraB2006. In this case one has (undoing any normalization)
where is the step function, is a Jacobi elliptic function and is a scale parameter being the theory scale invariant. This gives immediately the mass spectrum of the quantum theory as FraB2006
where n is an integer and .