1 00:00:04,830 --> 00:00:06,970 MARKUS KLUTE: Welcome back to 8.701. 2 00:00:06,970 --> 00:00:09,490 So in this lecture, I'd like you to have 3 00:00:09,490 --> 00:00:11,980 a first connection between particle physics 4 00:00:11,980 --> 00:00:13,540 and the Lagrangian formalism. 5 00:00:13,540 --> 00:00:15,190 In classical mechanics, you have seen 6 00:00:15,190 --> 00:00:19,090 that you can write down the Lagrangian using 7 00:00:19,090 --> 00:00:21,700 the kinetic and the potential energy of a particle, 8 00:00:21,700 --> 00:00:25,660 and from that derive equations of motions. 9 00:00:25,660 --> 00:00:30,610 In quantum field theory, you can translate this idea 10 00:00:30,610 --> 00:00:34,630 and derive Lagrangian densities. 11 00:00:34,630 --> 00:00:36,370 It's beyond the scope of this class 12 00:00:36,370 --> 00:00:38,770 to do all the mechanics of this. 13 00:00:38,770 --> 00:00:43,210 We'll visit this topic later in the class 14 00:00:43,210 --> 00:00:45,410 when we introduce the Higgs mechanism, for example. 15 00:00:45,410 --> 00:00:49,720 And we'll be a little bit more systematic then. 16 00:00:49,720 --> 00:00:53,320 I'm introducing the topic now because it allows you to answer 17 00:00:53,320 --> 00:00:54,700 one of the homework questions. 18 00:00:54,700 --> 00:00:56,650 So you can just follow this lecture 19 00:00:56,650 --> 00:01:00,850 and then you should be able to answer the first question 20 00:01:00,850 --> 00:01:03,010 of the second p-set. 21 00:01:03,010 --> 00:01:08,670 All right, so you just have to trust me at this point 22 00:01:08,670 --> 00:01:12,090 that you can write the Lagrangian for a Dirac field, 23 00:01:12,090 --> 00:01:16,710 or Lagrangian density for a Dirac field this way. 24 00:01:16,710 --> 00:01:19,860 One exercise would be to use this and show 25 00:01:19,860 --> 00:01:24,210 that from this Lagrangian you can derive the Dirac equation 26 00:01:24,210 --> 00:01:26,547 for a spinor field. 27 00:01:26,547 --> 00:01:28,380 But that's not what we're trying to do here. 28 00:01:28,380 --> 00:01:30,720 You're trying to see what's the effect is 29 00:01:30,720 --> 00:01:35,850 of having this Lagrange density being invariant or unchanged 30 00:01:35,850 --> 00:01:37,780 under global symmetry. 31 00:01:37,780 --> 00:01:40,780 So we are able to rotate our spinor 32 00:01:40,780 --> 00:01:43,620 field with a global phase. 33 00:01:43,620 --> 00:01:45,810 And we will see that the Lagrangian 34 00:01:45,810 --> 00:01:49,030 doesn't change and the consequence of this, 35 00:01:49,030 --> 00:01:50,290 which is if we can. 36 00:01:50,290 --> 00:01:52,730 This is exercising Noether's theory. 37 00:01:52,730 --> 00:01:55,470 There's an overarching global symmetry. 38 00:01:55,470 --> 00:01:59,580 And out of the symmetry follows the conserved property-- 39 00:01:59,580 --> 00:02:02,410 in this case, the current. 40 00:02:02,410 --> 00:02:06,150 All right, so we can express the symmetry 41 00:02:06,150 --> 00:02:09,360 with infinitesimal phase transformation, 42 00:02:09,360 --> 00:02:13,770 as shown here, for our fields and for our adjunct fields. 43 00:02:17,080 --> 00:02:18,900 For the field and the derivatives, 44 00:02:18,900 --> 00:02:21,130 then, you just have to do the math 45 00:02:21,130 --> 00:02:25,830 and we find those expressions, which we can then 46 00:02:25,830 --> 00:02:27,920 put back into our Lagrangian. 47 00:02:27,920 --> 00:02:30,630 First of all, we write the change 48 00:02:30,630 --> 00:02:33,360 of our Lagrangian in this way. 49 00:02:33,360 --> 00:02:36,540 And as we just have seen the Lagrangian, 50 00:02:36,540 --> 00:02:40,380 its invariant under this transformation, 51 00:02:40,380 --> 00:02:43,890 and therefore the change is going to be 0. 52 00:02:43,890 --> 00:02:46,960 So then we use this information at this in the equations. 53 00:02:46,960 --> 00:02:49,530 We find this very complicated-looking set 54 00:02:49,530 --> 00:02:50,430 of equations. 55 00:02:50,430 --> 00:02:52,050 OK, so now we get this. 56 00:02:55,280 --> 00:02:58,398 And then we can rewrite the terms. 57 00:02:58,398 --> 00:03:00,440 So this is already with a vision of what we would 58 00:03:00,440 --> 00:03:03,470 like to actually find later. 59 00:03:03,470 --> 00:03:13,570 So if we now look at the terms involving the derivative 60 00:03:13,570 --> 00:03:19,480 with respect to du mu of our spinor, 61 00:03:19,480 --> 00:03:23,140 we can express this equation as shown here. 62 00:03:23,140 --> 00:03:26,080 And with that, we find the next equation. 63 00:03:26,080 --> 00:03:30,310 I only show this for the spinor not for the adjunct spinor. 64 00:03:30,310 --> 00:03:32,230 This looks exactly the same. 65 00:03:32,230 --> 00:03:35,870 But you, however, find in this part here, 66 00:03:35,870 --> 00:03:38,720 this looks like Euler-Lagrange equation. 67 00:03:38,720 --> 00:03:40,640 And this part needs to be 0. 68 00:03:40,640 --> 00:03:44,120 So we only have to worry about this part of the equation, 69 00:03:44,120 --> 00:03:46,090 and the same for the adjunct field. 70 00:03:46,090 --> 00:03:49,040 So this then leaves this equation here 71 00:03:49,040 --> 00:03:53,240 where we have i epsilon, a derivative 72 00:03:53,240 --> 00:03:55,610 of this part of the equation. 73 00:03:55,610 --> 00:03:59,990 And something like this you have seen before in our continuity 74 00:03:59,990 --> 00:04:04,200 equation, something like this. 75 00:04:04,200 --> 00:04:05,590 It's our continuity equation. 76 00:04:05,590 --> 00:04:07,890 We discussed this in one of the last recitation 77 00:04:07,890 --> 00:04:11,760 session, which leads us then to conserve currents. 78 00:04:11,760 --> 00:04:13,800 And let's go one step further. 79 00:04:13,800 --> 00:04:21,630 If we now identify this part as our current, 80 00:04:21,630 --> 00:04:25,350 we can then use the partial derivatives 81 00:04:25,350 --> 00:04:27,060 of our initial Lagrangian. 82 00:04:27,060 --> 00:04:30,880 Now we're just calculating those terms here. 83 00:04:30,880 --> 00:04:34,800 And we find that our current, our conserved current 84 00:04:34,800 --> 00:04:40,680 is given by the adjunct spinor, gamma mu spinor. 85 00:04:40,680 --> 00:04:43,030 And so what we have just seen-- and this is conserved, 86 00:04:43,030 --> 00:04:45,720 so the derivative is 0-- 87 00:04:45,720 --> 00:04:48,580 have seen that we have a Lagrangian density, 88 00:04:48,580 --> 00:04:50,310 we have a global symmetry. 89 00:04:50,310 --> 00:04:55,145 And out of that, we find that the current is conserved. 90 00:04:55,145 --> 00:04:59,580 So this is all I wanted to show here in the homework set now. 91 00:04:59,580 --> 00:05:02,380 We start from a different Lagrangian. 92 00:05:02,380 --> 00:05:05,010 So this is our Lagrangian for a massive spin half 93 00:05:05,010 --> 00:05:08,880 particle, which satisfies the Dirac equation. 94 00:05:08,880 --> 00:05:13,140 In the homework, we are looking at a scalar particle, 95 00:05:13,140 --> 00:05:14,790 a massive scalar particle. 96 00:05:14,790 --> 00:05:19,010 And the exercise, however, is very much the same.