Another question from Srednicki's QFT book

  • Thread starter MathematicalPhysicist
  • Start date
  • Tags
    Book Qft
In summary, the conversation discusses various equations from Srednicki's QFT book, with the participants asking for clarification on the steps and reasoning behind certain equations. The main topics include equations (14.40) and (14.39), the mass gap problem in Yang-Mills theory, and equations (27.23)-(27.24), (48.53), and (51.9)-(51.10). The participants also mention difficulties in using the slash symbol and discuss the use of epsilon in calculations.
  • #71
Physics news on Phys.org
  • #72
Then what would happen to the derivative's dimension?
 
  • #73
I don't follow. If we have a function ##f(r)##, we can't have ##\lim_{r\rightarrow \infty} f(r)=g(r)##, the result of the limit should be independent on ##r##.
 
  • #74
I mean you have the derivative [itex]\nabla[/itex] in there and your result must have a dimension [L]^-1... However it's better to look for some better answer.
 
  • #75
Maybe this equality is valid if we take both sides of the equality as distributions which their equality is valid under taking an integral on both sides, the question is integration with respect to which parameter?
 
  • #76
So here's what's in Srednicki. He's looking at a global U(1) QFT with spontaneous symmetry breaking in 1+2 dimensions. Translating into the usual west-coast convention the Lagrangian reads
$$\mathcal{L}=(\partial_{\mu} \phi)^{*} (\partial_{\mu} \phi)-\frac{\lambda}{4} (\phi^* \phi-v^2)^2.$$
Now he introduces polar coordinates ##(r,\phi)## (note the difference between the field ##\varphi## and the polar angle ##\phi##; Srednicki has sometimes a bit unfortunate notation). Now he looks for vacuum solutions (i.e., stationary solutions of the classical field equations) with winding number ##n##,
$$\varphi(r,\phi)=v f(r) \exp[\mathrm{i} n \phi(r)].$$
Now to avoid the confusion, we can easily write everything a bit more carefully. What he assumes is that
$$f(r) \simeq 1 \quad \text{for} \quad r \rightarrow \infty, \quad f(0)=0.$$
The latter assumption is in order to make the solution well-behaved in the coordinate singularity ##r=0##.

Now he's calculating the field energy and shows that the gradient term diverges. With the ansatz above you get
$$\vec{\nabla} \varphi=v \left [f'(r) \vec{e}_r + \frac{f(r)}{r} \phi'(r) \vec{e}_{\phi} \right ]\exp[\mathrm{i} n \phi(r)].$$
Since ##f(r) \simeq 1## for ##r \rightarrow \infty## the total field energy diverges like ##1/r## for ##r \rightarrow \infty##. In (92.16) is an obvious typo. The integrand goes like ##1/r^2##, as written correctly in (92.15).
 
  • #77
vanhees71 said:
So here's what's in Srednicki. He's looking at a global U(1) QFT with spontaneous symmetry breaking in 1+2 dimensions. Translating into the usual west-coast convention the Lagrangian reads
$$\mathcal{L}=(\partial_{\mu} \phi)^{*} (\partial_{\mu} \phi)-\frac{\lambda}{4} (\phi^* \phi-v^2)^2.$$
Now he introduces polar coordinates ##(r,\phi)## (note the difference between the field ##\varphi## and the polar angle ##\phi##; Srednicki has sometimes a bit unfortunate notation). Now he looks for vacuum solutions (i.e., stationary solutions of the classical field equations) with winding number ##n##,
$$\varphi(r,\phi)=v f(r) \exp[\mathrm{i} n \phi(r)].$$
Now to avoid the confusion, we can easily write everything a bit more carefully. What he assumes is that
$$f(r) \simeq 1 \quad \text{for} \quad r \rightarrow \infty, \quad f(0)=0.$$
The latter assumption is in order to make the solution well-behaved in the coordinate singularity ##r=0##.

Now he's calculating the field energy and shows that the gradient term diverges. With the ansatz above you get
$$\vec{\nabla} \varphi=v \left [f'(r) \vec{e}_r + \frac{f(r)}{r} \phi'(r) \vec{e}_{\phi} \right ]\exp[\mathrm{i} n \phi(r)].$$
Since ##f(r) \simeq 1## for ##r \rightarrow \infty## the total field energy diverges like ##1/r## for ##r \rightarrow \infty##. In (92.16) is an obvious typo. The integrand goes like ##1/r^2##, as written correctly in (92.15).
I still don't understand eq. (92.22) I mean the ##r## appears on the rhs after taking a limit on the lhs of ##r\rightarrow \infty##, why does it depend on ##r##?
 
  • #78
This is simply bad notation. What Srednicki want's to say is that for ##r \rightarrow \infty## the function behaves in a certain way asymptotically. As I said, Srednicki sometimes has a bit strange notation ;-).
 
  • Like
Likes MathematicalPhysicist
  • #79
Thanks.
 
  • #80
My next question is about the answer to question 95.3 on page 161:
https://drive.google.com/file/d/0B0xb4crOvCgTM2x6QkhKREg0WW8/edit

How did he find the solution to ##C## from the equation: ##2\kappa C^\dagger (C^2-v^2) + m^2C=0##?

I mean we don't know if ##C## is unitary or something else? all we know is that ##C## is a chiral superfield.

I am asking also, because when I plug this solution to the RHS of ##\partial W/ \partial A = \kappa(C^2-v^2)##, I get: ##\partial W/\partial A = -1/2 m^2/\kappa##, and not as it's stated in the solution: ##\partial W/\partial A =-1/2 m^2##.
 
  • #81
[itex]\kappa^2[/itex] must be a typo... It's not even solving the algebraic equation...The first term gives something proportional to ##\kappa^{-2}## and the second term gives ##\kappa^{-1}## (so they wouldn't cancel out).

The solution is taken straightforwardly from the expression you've written. First you would try to put ##C^2 =v^2##, this would cancel the term in the parenthesis... At next step, you'd want to cancel out the ##m^2## term... So as a next step you would write:
[itex]C= \sqrt{v^2 + a}[/itex] and for now same for [itex]C^\dagger[/itex]
Inserting above you have:
[itex] 2 \kappa \sqrt{v^2 +a} ~(v^2+a-v^2) +m^2 \sqrt{v^2+a}=0[/itex]
[itex] (2 \kappa a + m^2 ) \sqrt{v^2+a}=0[/itex]
[itex]a= -\frac{m^2}{2\kappa}[/itex]

So [itex] C= \sqrt{v^2 - \frac{m^2}{2 \kappa}}[/itex]

Adding an overall - sign wouldn't change the result.

You didn't use anywhere the unitarity or not (it doesn't have to be unitary at all!)
In its components it's written: [itex]C= \phi + \psi \theta + F \theta^2[/itex].
 
Last edited:
  • #82
@ChrisVer , it doesn't use unitarity but you did use hermiticity of C, since ##C^\dagger = C## in what you wrote.
 
  • #83
If you continue to exercise 95.3b, on the same page in the last link above, on page 162 they write: ##<X>=(4\kappa^2v^2/m^2-1)^{1/2}<A>##.

But I get something else, ##<X> = \cos(\theta)<A>-\sin(\theta)<B> = \cos \theta <A>+2\sin \theta \kappa <C><A>/m = <A>/\sqrt{1+4\kappa^2<C>^2/m^2} + (2\kappa /m)<C>^2 <A>/\sqrt{1+4\kappa^2<C>^2/m^2}##

Now if I plug ##<C>=(v^2-m^2/(2\kappa))^{1/2}## above I don't get what they wrote.

Can someone help me with this seemingly dubious math?

Thanks in advance.
 
  • #84
MathematicalPhysicist said:
but you did use hermiticity of C,

No I didn't use hermitianity. I just wrote down a solution... It happens to give you [itex]C^\dagger =C[/itex].

Then:
[itex]<X> = c \theta <A> - s \theta <B>= \Big( c \theta +\frac{2 \kappa <C>}{m} s \theta \Big) <A>[/itex]

The thing in the big parenthesis is:
[itex] c \theta \Big(1+ \frac{2 \kappa }{m} <C> \tan \theta \Big)[/itex]
[itex] c \theta \Big(1+ \frac{4 \kappa^2 }{m^2} <C>^2 \Big)[/itex]

Using that ##\cos \tan^{-1} x = (x^2+1)^{-1/2}## you get:[itex] \frac{1+ \frac{4 \kappa^2 }{m^2} <C>^2}{\sqrt{\frac{4 \kappa^2}{m^2} <C>^2 +1}}[/itex]

[itex]=\sqrt{1+\frac{4 \kappa^2}{m^2} <C>^2}[/itex]

Then put ##C^2 = v^2 -\frac{m^2}{2 \kappa}##

you obtain:

[itex] \sqrt{1 + \frac{4 \kappa^2 v^2}{m^2} - \frac{4 \kappa^2 m^2}{m^2 2 \kappa} }[/itex]

[itex] \sqrt{1-2 + \frac{4 \kappa^2 v^2}{m^2}}[/itex]
[itex] \sqrt{\frac{4 \kappa^2 v^2}{m^2}-1}[/itex]
 
Last edited:
  • #85
you have written:

[itex]A \frac{1}{\sqrt{1+a^2C^2}} + A \frac{aC^2}{\sqrt{1+a^2C^2}}[/itex]

For which something looks wrong - you won't get the result ##\sqrt{1+ a^2C^2} A## as an alternative form of ##X##. I guess your ##a \equiv (2 \kappa/m)## should be squared in the 2nd term of your long equation.
Try this in wolfram:
cos(a)*H-sin(a)*D where a=arctan(p) and D=-p*H
 
  • #86
ChrisVer said:
No I didn't use hermitianity. I just wrote down a solution... It happens to give you [itex]C^\dagger =C[/itex].

Then:
[itex]<X> = c \theta <A> - s \theta <B>= \Big( c \theta +\frac{2 \kappa <C>}{m} s \theta \Big) <A>[/itex]

The thing in the big parenthesis is:
[itex] c \theta \Big(1+ \frac{2 \kappa }{m} <C> \tan \theta \Big)[/itex]
[itex] c \theta \Big(1+ \frac{4 \kappa^2 }{m^2} <C>^2 \Big)[/itex]

Using that ##\cos \tan^{-1} x = (x^2+1)^{-1/2}## you get:[itex] \frac{1+ \frac{4 \kappa^2 }{m^2} <C>^2}{\sqrt{\frac{4 \kappa^2}{m^2} <C>^2 +1}}[/itex]

[itex]=\sqrt{1+\frac{4 \kappa^2}{m^2} <C>^2}[/itex]

Then put ##C^2 = v^2 -\frac{m^2}{2 \kappa}##

you obtain:

[itex] \sqrt{1 + \frac{4 \kappa^2 v^2}{m^2} - \frac{4 \kappa^2 m^2}{m^2 2 \kappa} }[/itex]

[itex] \sqrt{1-2 + \frac{4 \kappa^2 v^2}{m^2}}[/itex]
[itex] \sqrt{\frac{4 \kappa^2 v^2}{m^2}-1}[/itex]
Well, for the solution for ##C## you wrote the ansatz ##C=\sqrt{v^2+a}##, so you suppose that ##v## and ##a## are real.

As for your second solution to b), you get that ##\sqrt{1 + \frac{4 \kappa^2 v^2}{m^2} - \frac{4 \kappa^2 m^2}{m^2 2 \kappa} } \rightarrow \sqrt{1-2\kappa+ \frac{4 \kappa^2 v^2}{m^2}} ##.
 
  • #87
MathematicalPhysicist said:
Well, for the solution for
MathematicalPhysicist said:
CC you wrote the ansatz C=v2+a−−−−−√C=\sqrt{v^2+a}, so you suppose that vv and aa are real.

Well you can try putting an imaginary part in you ##<C>##. However this can get messed up for no reason.
Try replacing ##<C>## with ##a+ib##, and you will have:

[itex](a-ib) (a^2-b^2+2iab- v^2)= -\frac{m^2}{2\kappa} (a+ib)[/itex]

[itex]a^3 -ab^2 + 2ia^2b - av^2 - ia^2b +i b^3 +2ab^2 +ibv^2 =-\frac{m^2}{2\kappa} (a+ib)[/itex]


[itex]a^3 -ab^2 - av^2 +2ab^2 +ibv^2 + ia^2b +i b^3 =-\frac{m^2}{2\kappa} (a+ib)[/itex]

[itex](a^3 -ab^2 - av^2 +2ab^2) +i (bv^2 + a^2b + b^3) =-\frac{m^2}{2\kappa} (a+ib)[/itex]

equating real/im parts:

[itex]a^3 -ab^2 - av^2 +2ab^2 = - \frac{m^2}{2 \kappa}a [/itex]
[itex]bv^2 + a^2b + b^3 = - \frac{m^2}{2 \kappa}b [/itex]

Or

[itex]a\Big(a^2 -b^2 - v^2 +2b^2+\frac{m^2}{2 \kappa}\Big)=0 [/itex]
[itex]b\Big(v^2 + a^2 + b^2 + \frac{m^2}{2 \kappa}\Big)=0 [/itex]

The second equation can only be true if the ##b=0##,because the thing in the parenthesis is positive.
The ##a## is then solved by ##a= \pm \sqrt{v^2 - (m^2/2\kappa)} ## (the solution I gave above) or ##a=0## (that would be a trivial solution), so you get 3 solutions for a 3rd order equation (also a check).

However you should be more careful with what you write. When you take the scalars ##F_i^*=-\frac{\partial W(\Phi_1,...,\Phi_n)}{\partial \Phi_i}##, you are not supposed to get superchiral fields as a result. Instead you take the derivative of the superpotential wrt to a chiral superfield and then replace with the scalar components of the superfields [if any is left]. That's also why you can write ##C=a+ib## in this case (since ##C## now is just the ##c## in the multiplet ##C=\begin{pmatrix}c \\ \psi_c \\ F_c \end{pmatrix}##. In some textbooks for Supersymmetry they would aslo write:
##F_i^*= -\frac{\partial W(\Phi_1,...,\Phi_n)}{\partial \phi_i}## which does the same thing although it can be a little confusing.
 
Last edited:
  • #88
MathematicalPhysicist said:
As for your second solution to b), you get that 1+4κ2v2m2−4κ2m2m22κ−−−−−−−−−−−−−√→1−2κ+4κ2v2m2−−−−−−−−−−−√\sqrt{1 + \frac{4 \kappa^2 v^2}{m^2} - \frac{4 \kappa^2 m^2}{m^2 2 \kappa} } \rightarrow \sqrt{1-2\kappa+ \frac{4 \kappa^2 v^2}{m^2}} .

Oops yes you are right (I was influenced by the C2 solution that was written, although a typo in my mind it was still going as κ-2). That's the right solution: ##\sqrt{1-2\kappa+,..}##, as long as what is given is correct. I think the author of the solutions carried his wrong result for ##C## together with him, and that's why I got the same result as he did in the end.
 
Last edited:

Similar threads

Back
Top