|
|
(30 intermediate revisions by one other user not shown) |
Line 17: |
Line 17: |
| this is the sandbox. | | this is the sandbox. |
|
| |
|
| == Gradient Expansion == | | == Testing MathJax == |
|
| |
|
| | | $$ |
| Given a nonlinear equation as
| | \int_a^b f'(s) ds = f(b) - f(a). |
| | | $$ |
| <math> \Box \phi+\lambda\phi^3=0 </math>
| | It works! |
| | |
| one can always build a gradient expansion by assuming <math>\lambda\rightarrow\infty</math> as
| |
| | |
| == Duality in perturbation theory ==
| |
| | |
| In this section we will show how a duality principle holds in perturbation theory
| |
| showing how to derive a strong coupling expansion with the leading order ruled by
| |
| an adiabatic dynamics in order to study the evolution of a physical system.
| |
| We consider the following perturbation problem
| |
| | |
| <math>
| |
| \partial_t u = L(u) + \lambda V(u)
| |
| </math>
| |
| | |
| being <math>\lambda</math> an arbitrary ordering parameter: As is well known
| |
| an expansion parameter is obtained by the computation of the series itself. The standard
| |
| approach assume the limit <math>\lambda\rightarrow 0</math> and putting
| |
| | |
| <math>
| |
| u = u_0 + \lambda u_1 +\ldots
| |
| </math>
| |
| | |
| one gets the equations for the series
| |
| | |
| <math>
| |
| \partial_t u_0 = L(u_0)
| |
| </math>
| |
| | |
| <math>
| |
| \partial_t u_1 = L'(u_0)u_1 + V(u_0)
| |
| </math>
| |
| | |
| <math>
| |
| \vdots
| |
| </math>
| |
| | |
| where a derivative with respect to the ordering parameter is indicated by a prime. We recognize here a conventional small perturbation theory as it should be. But the ordering parameter is just a conventional matter and so one may ask what does it mean to consider <math>L(u)</math> as a perturbation instead with respect to the same parameter. Indeed one formally could write the set of equations
| |
| | |
| <math>
| |
| \partial_t v_0 = V(v_0)
| |
| </math>
| |
| | |
| <math>
| |
| \partial_t v_1 = V'(v_0)v_1 + L(v_0)
| |
| </math>
| |
| | |
| <math>
| |
| \vdots
| |
| </math>
| |
| | |
| where we have interchanged <math>L(u)</math> and <math>V(u)</math> and renamed the solution as <math>v</math>. The question to be answered is what is the expansion parameter now and what derivative the prime means. To answer this question we rescale the time variable as <math>\tau = \lambda t</math> into eq.(\ref{eq:eq1}) obtaining the equation
| |
| | |
| <math>
| |
| \lambda\partial_{\tau} u = L(u) + \lambda V(u)
| |
| </math>
| |
| | |
| and let us introduce the small parameter <math>\epsilon=\frac{1}{\lambda}<math>. It easy to see that applying again the small perturbation theory to the parameter $\epsilon\rightarrow 0$ we get the set of equations (\ref{eq:set}) but now the time is scaled as $t/\epsilon$, 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
| |
| | |
| <math>
| |
| \epsilon\partial_t v_0 = V(v_0)
| |
| </math>
| |
| | |
| that we can recognize as an equation for adiabatic evolution that in the proper limit <math>\epsilon\rightarrow 0</math> will give the static solution <math>V(u_0)=0</math>. We never assume this latter solution but rather we will study the evolution of eq.(\ref{eq:lead}). Finally, the proof is complete as we have obtained a dual series
| |
| | |
| <math>
| |
| u = v_0 + \frac{1}{\lambda} v_1 +\ldots
| |
| </math>
| |
| | |
| by simply interchanging the terms for doing perturbation theory. This is a strong coupling expansion holding in the limit <math>\lambda\rightarrow\infty</math> dual to the small perturbation theory <math>\lambda\rightarrow 0</math> we started with and having an adiabatic equation at the leading order.
| |
| | |
| It is interesting to note that, for a partial differential equation, | |
| we can be forced into a homogeneous equation because, generally, if we require
| |
| also a scaling into space variables we gain no knowledge at all on the evolution of a
| |
| physical system. On the other side, requiring a scaling on the space variables and not on
| |
| the time variable will wash away any evolution of the system. So, on most physical systems
| |
| a strong perturbation means also a homogeneous solution but this is not a general rule. As
| |
| an example one should consider fluid dynamics where two regimes dual each other can be found
| |
| depending if it is the Eulerian or the Navier-Stokes term to prevail. In general relativity
| |
| things stay in a way to get a homogeneous equation at the leading order. The reason for this
| |
| is that products of derivatives or second order derivatives in space coordinates are
| |
| the only elements forming the Einstein tensor beside time dependence.
| |