-
Notifications
You must be signed in to change notification settings - Fork 0
/
tfg.tex
2394 lines (1750 loc) · 165 KB
/
tfg.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
946
947
948
949
950
951
952
953
954
955
956
957
958
959
960
961
962
963
964
965
966
967
968
969
970
971
972
973
974
975
976
977
978
979
980
981
982
983
984
985
986
987
988
989
990
991
992
993
994
995
996
997
998
999
1000
%/title{Reporte 1}
\documentclass[11pt,letterpaper]{article} % Tipo de documento y otras especificaciones
\setcounter{secnumdepth}{3}
\usepackage[utf8]{inputenc} % Para escribir tildes y eñes
\usepackage{amsmath, amssymb, amsfonts, latexsym}
\usepackage[spanish]{babel} % Para que los títulos de figuras, tablas y otros estén en español
\addto\captionsspanish{\renewcommand{\tablename}{Tabla}} % Cambiar nombre a tablas
\addto\captionsspanish{\renewcommand{\listtablename}{Índice de tablas}} % Cambiar nombre a lista de tablas
\usepackage{geometry}
\geometry{left=25mm,right=22mm,top=30mm,bottom=30mm} % Tamaño del área de escritura de la página
%\usepackage{ucs}
\usepackage{graphicx} % Para insertar gráficas
\usepackage{caption}
%\usepackage{afterpage}
\usepackage{subcaption}
%\usepackage[lofdepth,lotdepth]{subfig} % Para colocar varias figuras
%\usepackage{unitsdef} % Para la presentación correcta de unidades
\usepackage{pdfpages} %incluir paginas de pdf externo, para los anexos
\usepackage{appendix} %para los anexos
%\renewcommand{\unitvaluesep}{\hspace*{4pt}} % Redimensionamiento del espacio entre magnitud y unidad
\usepackage[colorlinks=true,urlcolor=blue,linkcolor=black,citecolor=black]{hyperref} % Para insertar hipervínculos y marcadores
\usepackage{float} % Para ubicar las tablas y figuras justo después del texto
\usepackage{booktabs} % Para hacer tablas más estilizadas
\batchmode
\bibliographystyle{plain}
%\pagestyle{plain}
\pagenumbering{roman}
\usepackage{lastpage}
\usepackage{fancyhdr} % Para manejar los encabezados y pies de página
\pagestyle{fancy} % Contenido de los encabezados y pies de pagina
\usepackage{multicol}
%\usepackage{subfigure}
\usepackage{textcomp}
\usepackage{braket} % Para usar la notación de Dirac
%\usepackage{dsfont} % Para los símbolos de R C Z N para los conjutnos de numeros
\def\changemargin#1#2{\list{}{\rightmargin#2\leftmargin#1}\item[]}
\let\endchangemargin=\endlist
\lhead{TFG}
\chead{}
\rhead{Fermiones en campos magnéticos} % Aquí va el numero de experimento, al igual que en el titulo
\lfoot{Universidad de Salamanca}
\cfoot{\thepage\ }
\rfoot{Facultad de Ciencias}
\author{Alumno: Ángel Delgado Panadero \\ Tutor: Marina de la Torre Mayado \vspace*{1.0in}}
\title{Universidad de Salamanca\\{\small Facultad de Ciencias}\\ {\small Trabajo de Fin de Grado en Física}\vspace*{1.5in}\\ Fermiones en campos magnéticos\vspace*{3in}}
\date{25 de Junio de 2017}
\newpage
%%%%%%%%%%%%%%%%
\begin{document} % Inicio del documento
%%%%%%%%%%%%%%%%
\pdfbookmark[1]{Portada}{portada} % Marcador para el título
\maketitle % Título
\thispagestyle{empty}
\leavevmode\thispagestyle{empty}\newpage
\tableofcontents
\newpage
\pagenumbering{arabic}
\cfoot{\thepage}
\leavevmode\thispagestyle{empty}\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section*{Resumen}
$$\\$$ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{changemargin}{2cm}{2cm}
En este trabajo vamos a analizar el movimiento de fermiones en presencia de un campo magnético constante, abordaremos el problema desde un punto de vista clásico, pasando por el problema cuántico de Landau, hasta alcanzar finalmente el espectro y autoestados para el problema cuántico relativista, que denominaremos el problema de Dirac-Landau. Todos los resultados los particularizaremos a la restricción del movimiento a (2+1)-dimensiones y compararemos con los resultados obtenidos en el caso de (3+1)-dimensiones. Además, aprovechando la libertad de elección de gauge del potencial vector para describir el campo magnético, vamos obtener las funciones de onda tanto en el gauge de Landau como en el guage simétrico comparando ambos resultados. Finalmente, relacionaremos los resultados obtenidos en el plano, para entender fenómenos del ámbito de la materia condensada, tales como el Efecto Hall Cuántico y el Grafeno.
\end{changemargin}
\textbf{Palabras Clave:} Dirac-Landau, (2+1)-dimensiones, Gauge simétrico, Gauge de Landau, Efecto Hall Cuántico, Grafeno $$\\$$
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section*{Abstract}
$$\\$$ %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{changemargin}{2cm}{2cm}
In this study we will analize the movement of fermions in presence of a constant magnetic field, we will approach the problem from a classic frame, passing through the Landau quantization problem, to finally reach the spectre and eigenstates in the quantum relativistic problem, which we will refer as the problem of Dirac-Landau. All the results will be particularized to the constriction to (2+1)-dimensions and will be compared with the results obtained in the case of (3+1)-dimensions. Moreover, exploiting the freedom of choice of the gauge for the potencial vector to describe the magnetic field, we are going to obtain the wave function not only for the gauge of Landau, but also for the symmetrical gauge comparing both results. Finally, we will relate the results obtained in the plain constriction for studying phoenomenoes from the condensed matter such as the Quantum Hall Efect and the Graphene.
\end{changemargin}
\textbf{Key Words:} Dirac-Landau, (2+1)-dimensions, Symmetrical gauge, Gauge of Landau, Quantum Hall Effect, Graphene $$\\$$
\leavevmode\thispagestyle{empty}\newpage
\leavevmode\thispagestyle{empty}\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Introducción}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Objetivos}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{itemize}
\item Obtener el espectro y las funciones de onda (en este caso espinores) del problema de Dirac-Landau en un espacio de (2+1)-dimensiones.
\item Analizar como debemos aplicar los resultados teóricos de la ecuación de Dirac-Landau para describir fenómenos tales como el Efecto Hall Cuántico Entero y el Grafeno.
\end{itemize}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Antecedentes}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Desde el origen del nacimiento del electromagnetismo clásico en el siglo XIX, se empezó a estudiar el movimiento de partículas cargadas en presencia de campos electromagnéticos, tanto por medio de la mecánica newtoniana, con la ecuación de la fuerza de Lorentz que describe la fuerza que experimenta una partícula cargada debido a la presencia de un campo electrico y/o magnético, como por medio de la mecánica lagrangiana y hamiltoniana. El hecho de recurrir a una formulación lagrangiana y hamiltoniana, implica definir unos potenciales para describir los campos eléctrico y magnético, los cuales no están definidos de manera única, por lo que existen infinitas elecciones para estos, es decir, infinitos gauges. No obstante, los resultados medibles deben ser independiente de la elección de gauge. $$\\$$
A principios del siglo XX, de manera independiente, surge la mecánica cuántica. Esta conseguía explicar problemas, sin explicación en la física clásica, por medio de una formulación ondulatoria de las partículas y la sustitución de las variables canónicas como el momento lineal, $\vec{p}$ y la posición, $\vec{x}$, por operadores que actúan sobre la función de onda. Erwin Schroedinger en 1925 propuso una ecuación para describir la evolución temporal de las partículas de manera análoga al formalismo Hamiltoniano de la mecánica clásica [6]. Paul Adrien Maurice Dirac en 1928 planteó una ecuación de onda relativista que, además, conseguía explicar de forma teórica fenómenos como el espín del electrón y predecían la existencia de las antipartículas por medio de la Teoría de Huecos [5]. $$\\$$
Con la aparición de la mecánica cuántica, en la década de 1960, Lev Davídovich Landau, en sus cursos de física teórica, estudió el problema del movimiento de un electrón en presencia de un campo magnético constante usando la formulación ondulatoria [4]. De esta forma L.D. Landau demostró, para una elección de gauge (gauge de Landau), que el Hamiltoniano que describe el sistema es separable en uno de partícula libre en la dirección paralela al campo, y otro de un oscilador armónico simple en el plano perpendicular a la dirección del campo. Este resultado, da lugar a unos niveles energéticos cuantizados, denominados niveles de Landau, con una degeneración que es finita si nos restringimos a un espacio de volumen finito. Ambos resultados son característicos del estudio cuantico del problema, independientemente de la elección de gauge. $$\\$$
L.D. Landau solamente estudió el problema para el caso no-relativista, es decir, con la ecuación de Schroedinger. A la hora de describir fenómenos cuánticos observables y en la física de materia condensada, siempre ha prevalecido la ecuación de Schroedinger frente a otras ecuaciones cuánticas, en cambio, en los últimos años, la tecnología ha permitido el desarollo de nuevos experimentos, en los cuales, es necesario tener en cuenta efectos relativistas para poder entender determinados experimentos como es el caso del Grafeno [26]. De esta forma, ha surgido el interés de estudiar ecuaciones cuánticas-relativistas bajo campos magnéticos, dando lugar al problema, que denominaremos, problema de Dirac-Landau. $$\\$$
En 1975, a partir del estudio teórico de los niveles de Landau, Ando, Matsumoto y Uemura predijeron una cuantización de la conductividad Hall, que posteriormente se midió experimentalmente en la capa de inversión de un semiconductor MOSFET [14]. Este hecho, fue constatado años más tarde, en 1980, por Klaus von Klitzing, junto con Michael Pepper y Gerhard Dorda, comprobando que la resistividad Hall estaba cuantizada exactamente para valores enteros [15], por este descubrimiento inesperado, K. von Klitzing, recibió el premio nobel en 1985. Este fenómeno se denominó Efecto Hall Cuántico Entero. Además K. von Klitzing propuso un método para obtener el valor de la constante de estructura fina a partir de la resistencia Hall, ya que esta se puede obtener con una altísima precisión. Una variante de este fenómeno es el Efecto Hall Cuántico Fraccionario. Este fue medido en 1982 por Daniel C. Tsui y Horst Störmer realizando experimentos en heteroestructuras de Arseniuro de Galio [18][19]. Este descubrimiento, junto con Robert B. Laughlin, les llevó a conseguir el Premio Nobel en 1998 por su explicación teórica del fenómeno [20]. $$\\$$
En los últimos años, uno de los nuevos materiales de especial interés en el ámbito de la física de materia condensada es el Grafeno. El Grafeno fue descubierto en 1859 por Benjamin Collins Brodie [22], pero no fue hasta mediados del siglo siguiente, cuando se empezaron a observar sus particulares propiedades. En 1947 Wallace estudió las características de las bandas energéticas en el Grafeno para entender mejor el comportamiento de los electrones en el grafito [23]. Un año más tarde, a partir de estos resultados, Semenoff determinó que el comportamiento de los electrones en el Grafeno se podría describir por medio de la ecuación de P.A. Dirac, para una partícula sin masa, en el plano y que en presencia de un campo magnético, la energía de estos venía dada por los niveles de Landau [24], lo cual fue comprobado por Ruess y Vogt [25].Además, también se vió que este hecho es el responsable de la medida del Efecto Hall Cuántico de manera anómala a temperatura ambiente debido a su peculiar estructura de bandas [27]. Los principales avances en el estudio del Grafeno para entender sus propiedades, fueron hechas en 2004, cuando Novoselov, Geim, Morozov, Jiang, Zhang, Dubonos, Grigorieva y Firsov consiguieron aislar una sola capa de grafito a temperatura ambiente [28], ya que hasta entonces solo se habían conseguido muestras aisladas de entorno a 50-100 capas o menos si era de forma no aislada. Este descubrimiento llevó a que se le otorgara el Premio Nobel en 2010. $$\\$$
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{Esquema}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\textbf{Movimiento de una partícula cargada en un campo magnético uniforme} $$\\$$
Estudiamos el movimiento de una partícula clásica en presencia de un campo magnético uniforme, todas las posibles trayectorias y la restricción al plano del problema. $$\\$$
\textbf{El problema cuántico de Landau} $$\\$$
El problema de Landau consiste en resolver la ecuación de Schroedinger con un campo magnético constante y uniforme. Resolveremos el espectro y las funciones de onda propias tanto en el gauge de Landau como en el gauge simétrico, y veremos, que describen la misma estructura de niveles energéticos. Finalmente realizaremos este mismo cálculo en el plano. $$\\$$
\textbf{El problema cuántico de Dirac-Landau} $$\\$$
Plantearemos la ecuación de Dirac en (3+1)-dimensiones y la restricción a (2+1)-dimensiones. Posteriormente introduciremos un campo magnético acoplada a la ecuación de Dirac y obtendremos, para este caso, las soluciones para los estados y la energía de la partícula, tanto en el espacio como en el plano. $$\\$$
\textbf{Aplicaciones} $$\\$$
Finalmente, describiremos de manera cualitativa el Efecto Hall Cuántico Entero y el Grafeno donde los resultados obtenidos en los apartados anteriores son relevates.
\newpage
\leavevmode\thispagestyle{empty}\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Movimiento de una partícula cargada en un campo magnético uniforme}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
De la mecánica clásica para partículas que experimentan una fuerza conservativa, podemos obtener las ecuaciones del movimiento a partir del principio de acción estacionaria. Estas son las ecuaciones de Euler-Lagrange.
\begin{equation} \label{Euler-Lagrange}
S[x_i]=\int dt L(x_i,\dot{x}_i,t) \hspace{2cm} \delta S=0 \rightarrow \frac{d}{dt} \left(\frac{\partial L}{\partial \dot{x}_i}\right) - \frac{\partial L}{\partial x_i} = 0 \qquad ,
\end{equation} $$\\$$
siendo $L(x_i,\dot{x}_i,t)$ la función lagrangiana del sistema, que viene dada por $$\\$$
\begin{equation} \label{definicion de Lagrangiano}
L(x_i, \dot{x}_i, t ) = T - V \qquad .
\end{equation} $$\\$$
El término T se corresponde con la energía cinética de la partícula, mientras que el término V se corresponde con el potencial que define la fuerza que experimenta la partícula en cada punto del espacio. $$\\$$
La fuerza que experimenta una partícula cargada moviéndose en un campo electromagnético es la fuerza de Lorentz $$\\$$
\begin{equation} \label{Fuerza de Lorentz}
\vec{F} = q (\vec{E} + \dot{\vec{x}}\wedge \vec{B}) \qquad,
\end{equation} $$\\$$
donde $q$ es la carga eléctrica de la partícula (con el signo implícito, de modo que para electrones $q=-|e|$), $\vec{E}$ y $\vec{B}$ son el campo eléctrico y magnético respectivamente y $\dot{\vec{x}}$ la velocidad de las partículas. La fuerza que experimenta la partícula en este problema, no es conservativa, y depende de los campos vectoriales $\vec{E}$ y $\vec{B}$, los cuales no se pueden expresar en función de un único potencial escalar. De las ecuaciones de Maxwell, se deduce que el campo electromagnético se puede escribir en términos de un potencial vector $\vec{A}$ y un potencial escalar $\phi$ de la forma: $$\\$$
\begin{equation} \label{potenciales y campos electromagneticos}
\vec{E} = - \vec{\triangledown} \phi - \frac{\partial}{\partial t} \vec{A} \hspace{2cm} \vec{B} = \vec{\triangledown} \wedge \vec{A} \qquad .
\end{equation} $$\\$$
La relaciones anteriores no determinan univocamente los potenciales $\phi$ y $\vec{A}$, existe un número infinito de elecciones para los potenciales que describen los mismos campos electromagnéticos.
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\textbf{Lagrangiano para una partícula cargada en un campo electromagnético}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Teniendo en cuenta los potenciales $\vec{A}$ y $\phi$ para el campo electromagnético, las ecuaciones del movimiento se pueden obtener de manera análoga a un problema de fuerzas conservativas con las ecuaciones de Euler-Lagrange, haciendo en ($\ref{definicion de Lagrangiano}$) la sustitución
\begin{equation}
V \longrightarrow U = q \phi - q \dot{\vec{x}} \cdot \vec{A} \qquad ,
\end{equation} $$\\$$
de modo que el Lagrangiano para una partícula cargada en presencia de un campo electromagnético es $$\\$$
\begin{equation} \label{Lagrangiano electromagnetico}
L (x_i,\dot{x_i},t)= \frac{1}{2}m \dot{x}_i\dot{x}_i - q \phi + q \dot{x}_i A_i \qquad .
\end{equation} $$\\$$
Se entiende que sumamos sobre los índices repetidos i=1,2,3. La ecuación de Euler-Lagrange para el movimiento de una partícula cargada en presencia de un campo electromagnético constante es
\begin{equation*}
\frac{d}{dt} \left( \frac{\partial L}{\partial \dot{x}_i}\right) = \frac{d}{d t} \left( m \dot{x}_i + q A_i\right) = m \ddot{x}_i + q \frac{d}{d t}A_i = m \ddot{x}_i +q \dot{x}_j \frac{A_i}{x_j} \qquad {} $$\\$$
\frac{\partial L}{\partial x_i} = - q \frac{\partial \phi}{\partial x_i} + q \frac{\partial}{\partial x_i} \left( \dot{x}_j A_j\right) = -q \frac{\partial \phi}{\partial x_i} + q \dot{x}_j \frac{\partial}{\partial x_i} A_j \qquad .
\end{equation*} $$\\$$
Sustituyendo en la ecuación de Euler-Lagrange (\ref{Euler-Lagrange}) obtenemos $$\\$$
\begin{equation} \label{LorentzEulerLagrange}
\sum_i m \ddot{x}_i = \sum_i - q \frac{\partial \phi}{\partial x_i} + q \left[\dot{x}_j\left(\frac{\partial A_j}{\partial x_i} - \frac{A_i}{\partial x_j}\right)\right] \qquad \quad {} $$\\$$
\sum_i m \ddot{x}_i = \sum_i - q \frac{\partial \phi}{\partial x_i} + q \left[ \epsilon_{ijk}\dot{x}_j \left(\vec{\triangledown} \wedge \vec{A}\right)_k \right] \qquad .
\end{equation} $$\\$$
Esta expresión se corresponden con la ecuación dinámica de una partícula cargada sometida a la fuerza de Lorentz dada en (\ref{Fuerza de Lorentz}). $$\\$$
\begin{equation}
\vec{F} = q (\vec{E} + \dot{\vec{x}}\wedge \vec{B}) \qquad.
\end{equation}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\textbf{Potenciales electromagnéticos: Invariancia gauge}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
La condición necesaria para que $\phi$ y $\vec{A}$ se correspondan con los potenciales para los campos electromagnéticos es que se cumpla la relación (\ref{potenciales y campos electromagneticos}), no obstante, existen un conjunto de transformaciones de la forma:
\begin{equation} \label{Invarianza gauge}
\vec{A} \rightarrow \vec{A} + \vec{\triangledown} \Lambda \hspace{2cm} \phi \rightarrow \phi + \frac{\partial \Lambda}{\partial t} \qquad ,
\end{equation} $$\\$$
tales que los campos $\vec{E}$ y $\vec{B}$ permanecen invariantes, o lo que es lo mismo, la solución para los campos $\vec{E}$ y $\vec{B}$ es independiente de la elección de la función escalar $\Lambda(\vec{x},t)$ y de una elección particular para los potenciales. La condición que determina de manera particular los potenciales se denomina gauge, y la invarianza de los campos electromagnéticos ante estas transformaciones se denomina invarianza gauge. $$\\$$
De igual forma, si los campos $\vec{E}$ y $\vec{B}$ son independientes de la elección de gauge, también lo es la trayectoria que describe la partícula cargada en presencia de estos. A pesar de esto, según la geometría del problema puede ser conveniente la elección de un gauge u otro. En el problema que vamos a estudiar de una partícula cargada moviéndose en un campo magnético uniforme, se puede elegir el potencial vector como
\begin{equation}
\vec{A} = \frac{-\vec{x} \wedge \vec{B}}{2} \qquad ,
\end{equation} $$\\$$
que satisface el gauge de Coulomb $\vec{\triangledown} \cdot \vec{A}=0$. Si además el campo $\vec{B}$ es de la forma, $\vec{B}=B \vec{e_3}$, podemos utilizar dos posibles elecciones para el potencial vector $\vec{A}$:
\begin{equation} \label{gauges}
\vec{A}_{s} = (-\frac{B}{2} x_2,\frac{B}{2}x_1,0) \hspace{1.5cm},\hspace{1.5cm} \vec{A}_{L} = (-B x_2,0,0) \qquad .
\end{equation} $$\\$$
Al primero se le denomina $\lq\lq$gauge simétrico", mientras que al segundo $\lq\lq$gauge de Landau". Es posible pasar de uno a otro por medio de una transformación gauge
\begin{equation}
\vec{A}_{s} \longrightarrow \vec{A}_{L} + \vec{\triangledown} \Lambda \qquad ,
\end{equation} $$\\$$
de modo que
\begin{equation*}
\frac{\partial}{\partial x_1} \Lambda = \frac{B}{2} x_2 \hspace{1.5cm},\hspace{1.5cm} \frac{\partial}{\partial x_2} \Lambda = \frac{B}{2} x_1 \qquad{},
\end{equation*} $$\\$$
y por tanto
\begin{equation}
\Lambda = \frac{B}{2}x_1 x_2 \qquad .
\end{equation}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\textbf{Hamiltoniano para una partícula cargada en un campo electromagnético}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Otra forma de obtener las ecuaciones del es a partir de la función hamiltoniana, que se define $$\\$$
\begin{equation} \label{transformada de legendre}
H(x_i,p_i,t) = p_i \dot{x}_i - L(x_i,\dot{x}_i,t) = T + V\qquad .
\end{equation} $$\\$$
La segunda igualdad solo se cumple en sistemas naturales en los cuales todas las fuerzas son conservativas. La magnitud $p_i$ es el momento canónico. A partir del Lagrangiano (\ref{Lagrangiano electromagnetico}) para el caso de una partícula en un campo electromagnético como $$\\$$
\begin{equation}
p_i = \frac{\partial L}{\partial \dot{x}_i} = m\dot{x}_i + q A_i \qquad .
\end{equation} $$\\$$
Esta cantidad no coincide con el momento lineal de la mecánica clásica, $\pi_i=m v_i$, como consecuencia del campo electromagnético. De esta forma el Hamiltoniano de una partícula cargada en un campo electromagnético se obtiene: $$\\$$
\begin{equation} \label{Lorentz Hamilton}
H= \frac{1}{2} \pi_i(p_i)\pi_i(p_i) + q \phi = \frac{1}{2m}\left(p_i - q A_i\right)^2 + q \phi \qquad .
\end{equation} $$\\$$
%En esta expresión vemos que se cumple la segunda igualdad de (\ref{transformada de legendre}) teniendo en cuenta que en el segundo término, el potencial V se corresponde con $\phi$ y en el primero tenemos el término cinético al aparecer $A_i$ restando a la nueva expresión para el momento. Esto está relacionado con el hecho de que aunque el potencial dependa de las velocidades, la partícula conserva su energía durante el movimiento. $$\\$$
El término cinético no es el habitual al aparecer el potencial vector. Por medio del principio de mínima acción obtenemos dos ecuaciones de primer orden que nos dan la ecuaciones de movimiento de la partícula en el espacio de fases: $$\\$$
\begin{equation} \label{Lorentz ecuaciones Hamilton}
\dot{x}_i = \frac{\partial H}{\partial p_i} \qquad \longrightarrow \qquad p_i = m \dot{x}_i + q A_i \qquad \qquad \qquad {}$$\\$$
\dot{p}_i = - \frac{\partial H}{\partial x_i} \qquad \longrightarrow \qquad m \ddot{x}_i = q(E_i + \epsilon _{ijk} \dot{x}_j B_k) \qquad .
\end{equation} $$\\$$
La primera ecuación se corresponde con la nueva definición de momento canónico que ya hemos visto, mientras que la segunda se corresponde con la ecuación dinámica de una partícula sometida a la fuerza de Lorentz, al igual que habíamos obtenido con la ecuación de Euler-Lagrange.
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{\texorpdfstring{Movimiento en el espacio: $\mathbb{R}^3$ }%
{Movimiento en el espacio}}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Como hemos visto, podemos introducir unos potenciales para los campos electromagnéticos, con los cuales obtenemos una ecuación dinámica para describir el movimiento de una partícula que se encuentra en presencia de estos. La expresiones obtenidas tanto para el Lagrangiano definido en (\ref{Lagrangiano electromagnetico}) como por el Hamiltoniano (\ref{Lorentz Hamilton}) se corresponden con la ecuación de Newton en presencia de la fuerza de Lorentz (\ref{Fuerza de Lorentz}). $$\\$$
En nuestro caso vamos a estudiar el movimiento de una partícula cargada cuando se encuentra solamente en presencia de un campo magnético uniforme. Además vamos a particularizar el problema para el caso en el que el campo magnético sea constante en el tiempo y apunte en la dirección $\vec{e}_3$. En estas circunstancias la fuerza que experimenta una partícula cargada es $$\\$$
\begin{equation}
\vec{F} = q \dot{\vec{x}} \wedge B\vec{e}_3 = qB(\dot{x}_2,-\dot{x}_1,0) \qquad .
\end{equation} $$\\$$
Esta ecuación vectorial da lugar a un sistema de tres ecuaciones diferenciales de segundo orden, que son: $$\\$$
\begin{equation*}
\frac{d^2 x_1}{dt^2} = \frac{q B}{m} \frac{d x_2}{dt} \hspace{1.5cm},\hspace{1.5cm} \frac{d^2 x_2}{dt^2}= - \frac{q B}{m} \frac{d x_1}{dt} \hspace{1.5cm},\hspace{1.5cm} \frac{d^2 x_3}{dt^2}=0 \qquad
\end{equation*} $$\\$$
Las dos primeras ecuaciones están acopladas mientras que la tercera es independiente a las otras dos. Podemos desacoplar las dos primeras integrando una vez cada una de estas y sustituyendo en la otra $$\\$$
\begin{equation*}
\frac{d x_1}{dt} = \frac{q B}{m} x_2 + C_2(x_2,x_3) \qquad , $$\\$$
\frac{d x_2}{dt} = - \frac{q B}{m} x_1 + C_1 (x_1,x_3) \qquad ,
\end{equation*} $$\\$$
siendo $C_1$ y $C_2$ funciones arbitrarias independientes de $x_1$ y $x_2$ respectivamente. Sustituyendo $$\\$$
\begin{equation*}
\frac{d^2 x_1}{dt^2} = - \left(\frac{q B}{m}\right)^2 (x_1 + C'_1) \hspace{1cm},\hspace{1cm}
\frac{d^2 x_2}{dt^2} = - \left( \frac{q B}{m}\right)^2 (x_2 + C'_2)\hspace{1cm},\hspace{1cm}
\frac{d^2 x_3}{dt^2}=0 \qquad ,
\end{equation*} $$\\$$
las funciones $C'_1$ y $C'_2$ son proporcionales a $C_1$ y $C_2$ con factor constante. Las dos primeras ecuaciones se corresponden con dos ecuaciones de oscilador armónico en las direcciones $\vec{e}_1$ y $\vec{e}_2$ con centros de oscilación $C'_1$ y $C'_2$ respectivamente. La tercera ecuación es un movimiento uniforme en la dirección $\vec{e}_3$. Por tanto, la trayectoria que describe la partícula tiene la forma $$\\$$
\begin{equation} \label{Solucion Lorentz}
\begin{cases}
x_1=A \;{\rm cos} \left( \frac{q B}{m} t + \theta_0\right) + C'_1 $$\\$$
x_2=A \;{\rm sen} \left( \frac{q B}{m} t + \theta_0\right) + C'_2 $$\\$$
x_3 = v_3 t + x_{3}(t_0)\hspace{4cm} . \end{cases}
\end{equation} $$\\$$
Esto nos dice que en presencia de un campo magnético en la dirección $\vec{e}_3$, una partícula cargada describe un movimiento circular en el plano $X_1X_2$, perpendicular a la dirección del campo, y un movimiento lineal uniforme en la dirección $\vec{e}_3$. $$\\$$
De este resultado podemos obtener tres posibles situaciones dependiendo de la dirección que tenga la velocidad inicial con respecto a la dirección del campo. $$\\$$
i) Movimiento paralelo a la dirección del campo $\vec{B}$: $$\\$$
Esto es equivalente a decir que $\vec{v} = v \vec{e_3}$, por lo que sustituyendo en la ecuación dinámica de la fuerza de Lorentz (\ref{Fuerza de Lorentz}) $$\\$$
\begin{equation*}
\vec{F}=q v\vec{e_3} \wedge B \vec{e_3} = qvB {\rm sen}(0) = 0 \qquad ,
\end{equation*} $$\\$$
obtenemos, $$\\$$
\begin{equation}
\begin{cases} x_1(t)=x_1(t_0)$$\\$$ x_2(t) = x_2 (t_0) $$\\$$ x_3(t)=vt + x_3(t_0) \qquad . \end{cases}
\end{equation} $$\\$$
Esta solución se corresponde con el movimiento rectilíneo uniforme paralelo a la dirección del campo magnético. $$\\$$ $$\\$$
ii) Movimiento rectilíneo uniforme perpendicular a la dirección del campo $\vec{B}$: $$\\$$
En este caso la velocidad no tendría componente $v_3$
\begin{equation}
\vec{v}=v_1 \vec{e}_1 + v_2 \vec{e}_2 \qquad ,
\end{equation} $$\\$$
con lo que la solución (\ref{Solucion Lorentz}) quedaría como $$\\$$
\begin{equation} \label{3D movimiento perpendicular}
\begin{cases}
x_1=A \;{\rm cos} \left( \frac{q B}{m} t + \theta_0\right) + C'_1 $$\\$$
x_2=A \;{\rm sen}\left( \frac{q B}{m} t + \theta_0\right) + C'_2 $$\\$$
x_3 = x_3(t_0) \hspace{4cm} . \end{cases}
\end{equation} $$\\$$
En este caso la partícula permanece estática en la coordenada $x_3$, mientras que rota en un plano perpendicular al campo magnético $\vec{B}$. $$\\$$ $$\\$$
iii) Movimiento con un ángulo $\varphi$ con el campo $\vec{B}$ $$\\$$
Este es el caso más general, que se corresponde con la solución (\ref{Solucion Lorentz}), la velocidad con la que se mueve la partícula en el campo magnético es: $$\\$$
\begin{equation*}
\vec{v}=v_1 \vec{e}_1 + v_2 \vec{e}_2 + v_3 \vec{e}_3 \qquad .
\end{equation*} $$\\$$
El vector, $\vec{v}$, no es, de forma general, ni paralelo ni perpendicular el campo $\vec{B}$, si no que tiene un ángulo $\phi$ con respecto a este. La cantidad de fuerza que experimenta la partícula depende de $\varphi$, mientras que la dirección, depende del ángulo en el plano $X_1X_2$ con respecto al eje $x_1$, $\theta$. En coordenadas cartesianas se escribe como: $$\\$$
\begin{equation*}
\vec{F} = q \vec{v} \wedge B\vec{e}_3 = q (v_1 \vec{e_1} + v_2 \vec{e_2}) \wedge \vec{B} = qvB {\rm sen}(\varphi) ({\rm sen}(\theta)\vec{e}_1-{\rm cos}(\theta)\vec{e}_2) \qquad ,
\end{equation*} $$\\$$
La solución se corresponde con movimiento rectilíneo uniforme en la dirección $\vec{e}_3$ y un movimiento circular en el plano perpendicular al campo magnético (\ref{Solucion Lorentz}). La composición de ambos forman un movimiento helicoidal (Figura \ref{fig:helicoidal}).$$\\$$
\begin{figure}
\centering
\includegraphics[width=0.5\linewidth]{img/figure_1}
\captionof{figure}{\emph{Movimiento helicoidal de un electrón ($q=-e$) en presencia de un campo magnético.}}
\label{fig:helicoidal}
\end{figure}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{\texorpdfstring{Movimiento en el plano: $\mathbb{R}^2$ }%
{Movimiento en el plano}}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Si restringimos el movimiento al plano $X_1X_2$, el campo magnético, es perpendicular a la dirección del movimiento de la partícula en todo el plano, por lo que la solución se corresponde con (\ref{Solucion Lorentz}) eliminando la dimensión $x_3$. Si además estudiamos el movimiento desde dentro de este nuevo espacio, considerando este como un espacio bidimensional embebido en uno de dimensión superior donde $$\\$$
\begin{equation*}
\vec{E}=(E_1,E_2,E_3) \hspace{3cm} \vec{B}=(B_1,B_2,B_3) \qquad ,
\end{equation*} $$\\$$
los campos eléctrico y magnético pasan a tener la forma $$\\$$
\begin{equation}
\vec{E}=(E_1,E_2) \hspace{3cm} B=B_3 \qquad .
\end{equation} $$\\$$
El campo eléctrico pierde simplemente la tercera componente espacial (al igual que le ocurre al potencial vector $\vec{A}=(A_1,A_2)$). El campo magnético, en cambio, no ve reducida una de sus dimensiones, si no que pasa de entenderse, al ser un vector perpendicular al espacio, como un pseudo-escalar. Esto hace que no sea válida la expresión de los potenciales como los vimos en (\ref{potenciales y campos electromagneticos}), ya que no es posible construir un pseudo-escalar como un producto vectorial, no obstante, esto se puede corregir reescribiendo los campos como $$\\$$
\begin{equation}
\vec{E}= - \vec{\triangledown} \phi - \frac{\partial \vec{A}}{\partial t} \hspace{3cm} B = \partial_1 A_2 - \partial_2 A_1 \qquad .
\end{equation} $$\\$$
El operador diferencia $\vec{\triangledown}$ en el plano se define $$\\$$
\begin{equation}
\vec{\triangledown}= \frac{\partial}{\partial x_1} \vec{e}_1 + \frac{\partial}{\partial x_2} \vec{e}_2 \qquad .
\end{equation} $$\\$$
Con esta nueva expresión de los campos se pueden restringir los resultados obtenidos en el espacio tridimensional al plano.
%La estructura formal de los potenciales en un espacio tridimensional es idéntica a la del plano en el problema clásico, por lo que no es necesario hacer un formalismo específico para este problema. $$\\$$
La soluciones en este espacio para el movimiento de la partícula son por tanto $$\\$$
\begin{equation}
\begin{cases}
x_1=A \; {\rm cos} \left( \frac{q B}{m} t + \theta_0\right) + C'_1 \qquad \quad {}$$\\$$
x_2=A \; {\rm sen} \left( \frac{q B}{m} t + \theta_0\right) + C'_2 \qquad ,\end{cases}
\end{equation} $$\\$$
que es la misma que habíamos visto en (\ref{Solucion Lorentz}), sin la tercera componente $x_3(t)=0$. Tanto en el caso tridimensional con movimiento perpendicular a $\vec{B}$, como en el plano, las partículas describen una trayectoria circular centrada en el punto $(C'_1,C'_2)$ con una velocidad de rotación $\omega_c$, $$\\$$
\begin{equation}
\omega_c = \frac{\vert q \vert B}{m} = \frac{eB}{m} \qquad e>0 \qquad ,
\end{equation} $$\\$$
denominada frecuencia de ciclotrón. Una vez fijado el sentido del vector del campo magnético como el sentido positivo en el eje $x_3$, el sentido de rotación de las partículas depende del signo de la carga eléctrica, siendo positivo para partículas con carga $q=-e$ (como los electrones) y negativo para partículas con $q=e$ donde $e>0$. $$\\$$
\begin{figure}
\centering
\begin{minipage}{.5\textwidth}
\centering
\includegraphics[width=1\linewidth]{img/figure_2}
\captionof{figure}{\emph{Sentido de giro para} $q=-e \; , \; e>0$ }
\label{fig:test1}
\end{minipage}%
\begin{minipage}{.5\textwidth}
\centering
\includegraphics[width=1\linewidth]{img/figure_3}
\captionof{figure}{\emph{Sentido de giro para} $q=e \;, \; e<0$}
\label{fig:test2}
\end{minipage}
\end{figure}
\newpage
\leavevmode\thispagestyle{empty}\newpage
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{El problema cuántico de Landau}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
En la sección anterior hemos obtenido la trayectoria clásica de una partícula cargada que se mueve en un campo magnético uniforme. En este apartado estudiaremos el problema cuántico correspondiente. Llevaremos a cabo la cuantización canónica del sistema considerado, de modo que la posición y el momento de la partícula pasan de ser magnitudes clásicas a ser operadores de la teoría siguiendo la representación de Schroedinger [6]. $$\\$$
\begin{equation} \label{estados propios}
{x_i,p_i} \hspace{2cm} \longrightarrow \hspace{2cm} {\hat{x}_i, \hat{p}_i} \qquad , \qquad i =1,2,3. \qquad .
\end{equation} $$\\$$
Se denomina cuantización canónica a considerar las relaciones de conmutación $$\\$$
\begin{equation}
[\hat{x_i},\hat{p_j}] = i \hbar \delta_{ij} \hspace{1.5cm},\hspace{1.5cm} [\hat{x_i},\hat{x_j}]=[\hat{p_i},\hat{p_j}]=0 \qquad .
\end{equation} $$\\$$
de modo que se definen los operadores momento y energía como $$\\$$
\begin{equation}
\hat{p}_i = - i \hbar \frac{\partial}{\partial x_i} \hspace{3cm} \hat{E} = i \hbar \frac{\partial}{\partial t} \qquad,
\end{equation} $$\\$$
%Podemos obtener la función de onda, $\psi$, que describe a la partícula por medio de la función hamiltoniana en términos de operadores cuánticos. Esta función se corresponde con la expresión clásica, sustituyendo las magnitudes clásicas por operadores cuánticos. Para el Hamiltoniano de partícula libre tenemos que
El Hamiltoniano de partícula libre es $$\\$$
\begin{equation}
\hat{H}\psi(\vec{x},t) = \frac{1}{2m} \hat{p}_i \hat{p}_i \psi(\vec{x},t) = \hat{E} \psi(\vec{x},t) \qquad \rightarrow \qquad - \frac{\hbar^2}{2m} \frac{\partial^2 \psi (\vec{x},t)}{\partial x_i \partial x_i} = i \hbar \frac{\partial}{\partial t} \psi (\vec{x},t) \qquad .
\end{equation} $$\\$$
Esta es la ecuación de Schroedinger dependiente del tiempo para la partícula libre. En el caso de que el problema sea independiente del tiempo, esta ecuación se puede reducir a un problema de autovalores para la energía: $$\\$$
\begin{equation}
\hat{H} \psi (\vec{x}) = E \psi(\vec{x}) \qquad \Rightarrow \qquad \psi(\vec{x},t) = \psi(\vec{x})e^{i \frac{Et}{\hbar}}\qquad .
\end{equation} $$\\$$
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{\texorpdfstring{Espectro y funciones de onda en $\mathbb{R}^3$}%
{Espectro y funciones de onda en el espacio}}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Este problema consiste en el cálculo de los estados propios y autovalores del Hamiltoniano que describe una partícula cargada en presencia de un campo magnético uniforme. Se tomará este en la dirección $\vec{e}_3$. El Hamiltoniano de este problema es análogo al que habíamos visto para el problema clásico en (\ref{Lorentz Hamilton}), sustituyendo las variables canónicas por operadores, y eliminando el término de potencial escalar al no tener campo eléctrico, resulta: $$\\$$
\begin{equation} \label{Schroedinger campo magnetico}
\hat{H} = \frac{1}{2m} (\hat{p}_i + \frac{e}{c} A_i) (\hat{p}_i + \frac{e}{c} A_i) \qquad .
\end{equation} $$\\$$
Se ha sustituido el valor de la carga por $q=-e$ para referirnos concretamente a electrones. Además hemos pasado de utilizar las unidades cgs, a las unidades racionalizadas de Lorentz-Heaviside introduciendo el factor $c^{-1}$ en la carga (por conveniencia en apartados posteriores). Con estas condiciones, escogemos el gauge de Landau [4] para el potencial vector $$\\$$
\begin{equation} \label{gauge de landau}
\vec{A} = (-B x_2,0,0) \qquad ,
\end{equation} $$\\$$
de modo que la ecuación de autovalores es $$\\$$
\begin{equation} \label{Hamiltoniano Landau 3D}
\frac{1}{2m} \left[(\hat{p}_1 - \frac{e}{c}B x_2)^2 + \hat{p}_2^2 + \hat{p}_3^2 \right] \psi(\vec{x}) = E \psi(\vec{x}) \qquad .
\end{equation}$$\\$$
Esta ecuación no depende de las coordenadas $x_1$ y $x_3$, por lo que podemos buscar soluciones de la forma $$\\$$
\begin{equation}
\psi(\vec{x}) = exp \left\lbrace \frac{i}{\hbar} (p_1 x_1 + p_3 x_3)\right\rbrace \chi(x_2) \qquad ,
\end{equation} $$\\$$
que es propia de $\hat{p}_1$ y $\hat{p}_3$ con autovalores $p_1$ y $p_3$, respectivamente. De modo que sustituyendo en la ecuación obtenemos $$\\$$
\begin{equation*}
\frac{1}{2m} \left[ (p_1 - \frac{e}{c}B x_2)^2 + \hat{p_2}^2 + p_3^2\right] \chi (x_2) = E \chi(x_2) \qquad.
\end{equation*} $$\\$$
Es importante notar que ahora las magnitudes $p_1$ y $p_3$ ya no son operadores, sino que son los autovalores correspondientes. Esta ecuación se puede reescribir como $$\\$$
\begin{equation*}
\left[ -\frac{\hbar^2}{2m} \frac{\partial}{\partial x_2^2} + \frac{1}{2}\frac{e^2B^2}{mc^2}\left( x_2 - \frac{p_1c}{eB}\right)^2 \right] \chi(x_2) = \left(E - \frac{p_3^2}{2m}\right)\chi(x_2) \qquad .
\end{equation*} $$\\$$
El miembro de la izquierda se corresponde con el Hamiltoniano de un oscilador armónico simple de frecuencia $\omega_c = eB/mc$ y centrado en $+p_1c/eB$. Este es el mismo resultado que obtuvimos para una partícula clásica, lo cual era de esperar, la diferencia está, como vamos a ver, en los posibles valores energéticos. Los autovalores de este Hamiltoniano son: $$\\$$
\begin{equation}
\hat{H}_{osc} \phi_{osc} = E_{n} \phi_{osc} \hspace{4cm} E_{n}= \hbar \omega_c \left( n + \frac{1}{2} \right) \qquad ,
\end{equation} $$\\$$
donde n=0,1,2,3,...$\infty$. Además, sabemos que los estados propios, $\phi$, tienen la forma $$\\$$
\begin{equation} \label{autoestados oscilador}
\chi_n(x_2) = \frac{1}{\pi^{\frac{1}{4}} l_c^{\frac{1}{2}} (2^n n!)^{\frac{1}{2}}} exp \left\lbrace - \frac{(x_2 - C'_2)}{l_c}\right\rbrace H_n \left( \frac{x_2 - C'_2}{l_c} \right) \hspace{1cm} , \hspace{1cm} l_c^2 \equiv \left( \frac{\hbar}{m \omega_c} \right) \qquad.
\end{equation} $$\\$$
El coeficiente, $C'_2=p_1c/qB$, se corresponde, con el centro del oscilador. En la expresión anterior hemos definido la longitud magnética, $l_c$, y además hemos introducido los polinomios de hermite de grado n, $H_n(x)$. De modo que a partir de los niveles energéticos del Hamiltoniano del oscilador podemos obtener la energía de una partícula cuántica cargada en presencia de un campo magnético de la forma $\vec{B}=B \vec{e}_3$: $$\\$$
\begin{equation}
\hat{H}_{osc} \chi(x_2) = \left( E - \frac{p_3^2}{2m} \right) \chi (x_2) \hspace{3cm} \longrightarrow \hspace{3cm} E_{osc} = \left( E - \frac{p_3^2}{2m} \right) $$\\$$
E= \hbar \omega_c \left( n + \frac{1}{2}\right) + \frac{p_3^2}{2m} \qquad .
\end{equation} $$\\$$
La energía, por tanto, depende del momento en la dirección paralela al campo (el cual no se ve afectado por este) y de la energía de oscilación de la partícula en el plano perpendicular al campo. Fijando el valor del momento $p_3$, los niveles de energía son discretos. Por otro lado, los autoestados del Hamiltoniano son $$\\$$
\begin{equation}
\psi_{p_1,p_3,n}=exp \left\lbrace \frac{i}{\hbar} (p_1 x_1 + p_3 x_3) \right\rbrace \frac{1}{\pi^{\frac{1}{4}} l_c^{\frac{1}{2}} (2^n n!)^{\frac{1}{2}}} exp \left\lbrace - \frac{1}{l_2}(x_2 - \frac{p_1c}{eB})\right\rbrace H_n \left( \frac{x_2 - C'_2}{l_c} \right) \qquad.
\end{equation} $$\\$$
Estos estados vienen caracterizados por los números cuánticos ${p_1,p_3,n}$. La elección de esos número cuánticos no es la única elección posible para construir una base de estados propios del sistema para este problema, si no que viene determinada por la elección de gauge que hemos hecho para el potencial vector (gauge de Landau). En el caso de escoger otro gauge podríamos obtener una base de estados propios en función de otros números cuánticos (como por ejemplo en el gauge simétrico, como veremos a continuación), no obstante, el comportamiento físico de las partículas en presencia de un campo magnético es independiente de la elección de gauge, como ya dijimos. $$\\$$
El hecho de que hayamos construido una base de estados propios en función del número cuántico $p_1$ y que la energía no dependa de este, hace que exista una degeneración en $p_1\in (-\infty, \infty)$ de los niveles energéticos, además, al ser posible cualquier valor de $p_1$ en cada nivel energético la degeneración en cada uno de estos es infinita. Esta degeneración infinita se convierte en finita si limitamos el espacio a un volumen finito y establecemos unas condiciones de contorno periódicas. Si, en el plano prependicular a $\vec{B}$, restringimos la oscilación a un cuadrado de dimensiones $L_1$ y $L_2$, resulta $$\\$$
\begin{equation*}
e^{-\frac{i}{\hbar}p_1 L_1} = 1 \hspace{2cm} \longrightarrow \hspace{2cm} p_1 = \frac{2 \pi \hbar m}{L_1} \hspace{ 3cm} m \in \mathbb{Z} \qquad .
\end{equation*} $$\\$$
Por lo tanto los valores de $p_1$ dejan de estar en el continuo. Como vimos, el centro de oscilación, $C'_2$, depende de $p_1$, con lo que el centro también deja de tener cualquier valor posible y pasa a tener valores discretos $$\\$$
\begin{equation*}
\Delta p_1 = \frac{2 \pi \hbar}{L_1} \hspace{1.5cm},\hspace{1.5cm} \Delta C'_1 = \frac{2 \pi \hbar c}{e B L_1} \equiv \frac{h c}{e B L_1} \qquad.
\end{equation*} $$\\$$
De modo que el número de posibles valores para $p_1$ es el mismo que el número de posibles centros de oscilación en la dimensión $x_2$ dentro del volumen que hemos definido. Esto nos da el número de estados por nivel energético, que viene dado por $$\\$$
\begin{equation}
n^{\circ} \quad de \quad estados = \frac{L_2}{\Delta C'_2} = \frac{L_1 L_2}{2 \pi \hbar c} e B \equiv \frac{L_1 L_2}{h c} e B \qquad .
\end{equation} $$\\$$
Del mismo modo podemos ver que las dimensiones del cuadrado a las que tenemos que restringir la oscilación, para que los niveles no estén degenerados, es: $$\\$$
\begin{equation*}
L_1 L_2 = \frac{2 \pi \hbar c}{e B} \equiv \frac{h c}{e B} \qquad .
\end{equation*} $$\\$$
Si además las partículas están restringidas en la dirección $\vec{e}_3$, los posibles valores de $p_3$ dejan de ser continuos y pasan a ser discretos, y con ello también los posibles niveles energéticos. $$\\$$
\begin{equation}
p_3 = \frac{2 \pi \hbar k}{L_3}\hspace{ 3cm} k \in \mathbb{Z} \qquad
\end{equation} $$\\$$
De esta forma caracterizamos todos los estados por medio de los números cuánticos $n$, $k$ y $m$. La energía del sistema viene caracterizada por los númeroscuánticos $n$ y $k$, mientras que $m$ caracteriza la degeneración para cada nivel de energía. $$\\$$
\begin{equation}
E= \hbar \omega_c \left( n + \frac{1}{2}\right) + \frac{h^2 k^2}{2m L_3^2} \qquad .
\end{equation} $$\\$$
En función de estos números cuánticos, la función de onda completa se escribe como $$\\$$
\begin{equation}
\psi_{n,k,m}(\vec{x})=exp \left\lbrace i (\frac{2 \pi m}{L_1} x_1 + \frac{2 \pi k}{L_3} x_3) \right\rbrace \frac{1}{\pi^{\frac{1}{4}} l_c^{\frac{1}{2}} (2^n n!)^{\frac{1}{2}}} exp \left\lbrace - \frac{1}{l_c}\left(x_2 - \frac{cp_1}{eB}\right)\right\rbrace H_n \left( \frac{x_2 - C'_2}{l_c} \right) \qquad.
\end{equation} $$\\$$
\begin{figure}
\centering
\includegraphics[width=0.5\linewidth]{img/figure_4}
\captionof{figure}{\emph{Estados no degenerados de Landau en el gauge de Landau en función de n y k.}}
\label{fig:gauge landau}
\end{figure}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{\texorpdfstring{Espectro y funciones de onda en $\mathbb{R}^2$}%
{Espectro y funciones de onda en el plano}}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
La restricción al plano, como vimos, la hacemos eliminando la tercera componente espacial de modo que ahora la ecuación (\ref{Hamiltoniano Landau 3D}) se escribe como $$\\$$
\begin{equation}
\frac{1}{2m} \left[ (\hat{p}_1 -\frac{e}{c}x_2B)^2 + \hat{p}_2^2\right] \psi = E \psi \qquad.
\end{equation} $$\\$$
Al no depender de $x_1$, proponemos una solución de onda plana para $\psi(\vec{x})$ en esa dirección $$\\$$
\begin{equation}
\psi (\vec{x}) = exp \left\lbrace \frac{i}{\hbar} p_1 x_1\right\rbrace \chi(x_2) \qquad .
\end{equation} $$\\$$
Sustituyendo en la ecuación de Schroedinger nos queda $$\\$$
\begin{equation*}
\left[ - \frac{\hbar^2}{2m} \frac{\partial^2}{\partial_2^2} + \frac{1}{2} \frac{e^2 B^2}{mc^2} \left( x_2 - \frac{cp_1}{eB}\right)^2\right]\chi(x_2)= E \chi (x_2) \qquad .
\end{equation*} $$\\$$
\begin{figure}
\centering
\includegraphics[width=0.5\linewidth]{img/figure_6}
\captionof{figure}{\emph{Abanico de Landau. Representación de los posibles valores de energía de los electrones, en el problema de Landau en el plano, según el valor del campo magnético }[11].} \label{fig:Abanico clasico}
\end{figure}
Como antes, el término de la izquierda se corresponde con el Hamiltoniano de un oscilador armónico simple con los mismos valores de frecuencia y centro de oscilación, por lo tanto, la función $\chi(x_2)$ viene dada, también en este caso, por los autoestados de oscilador (\ref{autoestados oscilador}). La diferencia está en el término de la derecha, en el que ahora no aparece el término cinético asociado a la dirección $\vec{e}_3$, de modo que los niveles energéticos en este caso son $$\\$$
\begin{equation} \label{energia oscilador}
E = E_{osc}=\hbar \omega_c \left( n + \frac{1}{2} \right) \qquad ,
\end{equation} $$\\$$
donde $\omega_c$ sigue siendo la frecuencia ciclotrón: $$\\$$
\begin{equation}
\omega_c = \frac{eB}{mc}
\end{equation} $$\\$$
En el problema en el espacio los niveles energéticos tenían un término en el continuo, debido al término cinético en la dirección del campo, pero que se podía discretizar si nos restringíamos a un espacio de volumen finito. En este caso son directamente discretos al depender solo de la energía de oscilación. Esta energía solo depende de la intensidad del campo magnético, $B$, como vemos en la Figura \ref{fig:Abanico clasico}. $$\\$$
Los autoestados ahora, vienen determinados solo por dos números cuánticos $p_1$ y $n$. Debido a que la energía es independiente de $p_1$, tenemos una degeneración infinita y continua en $p_1$ que, como antes, podemos convertir en infinita pero numerable si limitamos el espacio a un cuadrado de dimensiones $L_1$ y $L_2$, de modo que obtenemos el mismo número de estados por cada nivel de energía que en $\mathbb{R}^3$. $$\\$$
\begin{equation}
p_1 = \frac{2 \pi \hbar m}{L_1} \equiv \frac{h m}{L_1} \hspace{ 3cm} m \in \mathbb{Z} \qquad ,
\end{equation} $$\\$$
y el número de estados por nivel energético es:$$\\$$
\begin{equation*}
n^\circ \quad de \quad estados = \frac{L_1 L_2}{2 \pi \hbar c} e B \equiv \frac{L_1 L_2}{h c} e B \qquad .
\end{equation*} $$\\$$
En función de los números cuánticos $n$ y $m$ la función de onda propia del Hamiltoniano es: $$\\$$
\begin{equation}
\psi_{n,m} (\vec{x}) = exp \left\lbrace \frac{i h m}{L_1} x_1\right\rbrace \frac{1}{\pi^{\frac{1}{4}} l_c^{\frac{1}{2}} (2^n n!)^{\frac{1}{2}}} exp \left\lbrace - \frac{1}{l_c}\left(x_2 - \frac{cp_1}{eB}\right)\right\rbrace H_n \left( \frac{x_2 - C'_2}{l_c} \right) \hspace{1cm} \qquad .
\end{equation} $$\\$$
Concluyendo, vemos que la restricción al plano del problema de Landau supone una reducción de los grados de libertad que nos disminuye el número de números cuánticos necesarios para caracterizar una base de autoestados del problema. Aparte de eso, el problema es completamente análogo al caso tridimensional. $$\\$$
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{\texorpdfstring{Espectro y funciones de onda en $\mathbb{R}^2$ con gauge simétrico}%
{Espectro y funciones de onda en el plano con gauge simétrico}}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
En la sección anterior hemos estudiado el problema de una partícula cargada en presencia de un campo magnético constante usando el gauge de Landau. La invarianza gauge de los potenciales electromagnéticos nos dice que el comportamiento de las partículas debe ser independiente del gauge elegido, pero la solución a la ecuación (\ref{Schroedinger campo magnetico}) puede ser diferente, y de hecho lo es. $$\\$$
De manera análoga a como definimos el gauge simétrico en el espacio (\ref{gauges}), en el plano [29] consideramos: $$\\$$
\begin{equation} \label{gauge simetrico}
A_{s}=(-\frac{B}{2} x_2,\frac{B}{2} x_1) \qquad ,
\end{equation} $$\\$$
con el cual el Hamiltoniano del sistema (\ref{Schroedinger campo magnetico}) es ahora: $$\\$$
\begin{equation} \label{h gauge simetrico}
\hat{H}= \frac{1}{2m}\left[\left( - i \hbar \frac{\partial}{\partial x_1} - \frac{eB}{2c} x_2 \right)^2 + \left( -i \hbar \frac{\partial}{\partial x_2} + \frac{eB}{2c} x_1\right)^2 \right] = $$\\$$
= \frac{1}{2m} \left[ -\hbar^2 \left(\frac{\partial^2}{\partial x_1^2} + \frac{\partial^2}{\partial x_2^2}\right) + \frac{e^2B^2}{4c^2}\left( x_1^2 + x_2^2\right) + i\hbar \frac{eB}{c} \left( x_2 \frac{\partial}{\partial x_1} - x_1 \frac{\partial}{\partial x_2} \right)\right]\qquad .
\end{equation} $$\\$$
El último término de la expresión anterior podemos reescribirlo en función del momento angular: $$\\$$
\begin{equation}
L_k = \epsilon_{ijk}x_i p_j \hspace{1.5cm},\hspace{1.5cm} L_3 = x_1p_2 - x_2p_1 \qquad .
\end{equation} $$\\$$
Entonces, el Hamiltoniano se puede escribir como $$\\$$
\begin{equation} \label{gauge simetrico L3}
\hat{H} = \frac{1}{2m} \left[ -\hbar^2 \left(\frac{\partial^2}{\partial x_1^2} + \frac{\partial^2}{\partial x_2^2}\right) + \frac{e^2B^2}{4c^2}\left( x_1^2 + x_2^2\right) - i\hbar \frac{eB}{c} L_3 \right] \qquad .
\end{equation} $$\\$$
Para resolver esta ecuación introducimos los siguientes operadores: $$\\$$
\begin{equation}
\hat{a} = \frac{1}{\sqrt{2}} \left[ \left( \frac{x_1}{2 l_c} + l_c \frac{\partial}{\partial x_1} \right) - i \left( \frac{x_2}{2 l_c} + l_c \frac{\partial}{\partial x_2}\right) \right] \qquad , \qquad
\hat{a}^\dagger = \frac{1}{\sqrt{2}} \left[ \left( \frac{x_1}{2 l_c} - l_c \frac{\partial}{\partial x_1} \right) + i \left( \frac{x_2}{2 l_c} - l_c \frac{\partial}{\partial x_2}\right) \right] \qquad {} $$\\$$
\hat{b} = \frac{1}{\sqrt{2}} \left[ \left( \frac{x_1}{2 l_c} + l_c \frac{\partial}{\partial x_1} \right) + i \left( \frac{x_2}{2 l_c} + l_c \frac{\partial}{\partial x_2}\right) \right] \qquad,\qquad
\hat{b}^\dagger = \frac{1}{\sqrt{2}} \left[ \left( \frac{x_1}{2 l_c} - l_c \frac{\partial}{\partial x_1} \right) - i \left( \frac{x_2}{2 l_c} - l_c \frac{\partial}{\partial x_2}\right) \right] \qquad ,
\end{equation} $$\\$$
tales que los únicos conmutadores no nulos son $$\\$$
\begin{equation*}
[ \hat{a}, \hat{a}^\dagger]=[ \hat{b},\hat{b}^\dagger]= 1 \qquad .
\end{equation*} $$\\$$
En términos de estos operadores podemos escribir el Hamiltoniano como $$\\$$
\begin{equation}
\hat{H} = \hbar \omega_c \left( \hat{a}^\dagger \hat{a} + \frac{1}{2}\right) = \hbar \omega_c \left( \hat{N} + \frac{1}{2}\right) \qquad \hspace{3cm} n=0,1,2,3,... \qquad ,
\end{equation} $$\\$$
donde se define $\hat{N}=\hat{a}^\dagger\hat{a}$ como el operador número, tal que $$\\$$
\begin{equation*}
\hat{a}^\dagger \hat{a}\psi=\hat{N} \psi = n\psi \qquad.
\end{equation*} $$\\$$
%El término $\hat{a}^\dagger \hat{a}$ constituye la expresión del Hamiltoniano (\ref{h gauge simetrico}), mientras que el término 1/2, lo hemos añadido libremente, dado que la función hamiltoniana está definida salvo constante aditiva. %chapuza
De modo que los niveles energéticos vienen dados por $$\\$$
\begin{equation}
E_n = \hbar \omega_c \left( n + \frac{1}{2}\right) \qquad {}
\end{equation} $$\\$$
Esta expresión es la misma que hemos obtenido en el gauge de Landau (\ref{energia oscilador}). Esto se debe a que la estructura de los niveles energéticos es independiente de la elección de gauge. $$\\$$
Del mismo modo podemos escribir la tercera componente del momento angular en función de los operadores $\hat{a}$, $\hat{a}^\dagger$, $\hat{b}$ y $\hat{b}^\dagger$ $$\\$$
\begin{equation*}
\hat{L}_3 = \hbar(\hat{b}^\dagger \hat{b} - \hat{a}^\dagger \hat{a}) \qquad .
\end{equation*} $$\\$$
Teniendo en cuenta las relaciones de conmutación de $\hat{a}$, $\hat{a}^\dagger$, $\hat{b}$ y $\hat{b}^\dagger$ vemos que $[\hat{H}, \hat{L}_3]=0$, por lo que podemos buscar una base de estados propios comunes a ambos operadores $\hat{H}$ y $\hat{L}_3$ $$\\$$
\begin{equation}
\hat{H}\psi_{n,m} = \hbar \omega_c \left(n + \frac{1}{2} \right) \psi_{n,m} \hspace{3cm} \hat{L_3}\psi_{n,m} = \hbar m \psi_{n,m} \qquad .
\end{equation}$$\\$$
Para obtener el espectro de funciones de onda es conveniente escribir el problema en la notación de Dirac de brakets, donde los autoestados con números cuánticos n y m se escriben como $\ket{n,m}$, de modo que $$\\$$
\begin{equation}\label{operadorN}
\hat{N} = \hat{a}^\dagger \hat{a} \hspace{1.5cm},\hspace{1.5cm} \hat{L} = \hat{b}^\dagger \hat{b} - \hat{a}^\dagger \hat{a} $$\\$$
\hat{N} \ket{n,m}=n \ket {n,m} $$\\$$
\hat{L} \ket{n,m}=m \ket{n,m}
\end{equation} $$\\$$
En esta base, los operadores escalera actúan $$\\$$
\begin{equation} \label{actuacion escalera}
\hat{a}\ket{n,m}=\sqrt{n}\ket{n-1,m+1} \hspace{1.5cm}, \hspace{1.5cm}
\hat{a}^\dagger \ket{n,m} = \sqrt{n+1} \ket{n+1,m-1}\qquad \qquad{} $$\\$$
\hat{b} \ket{n,m} = \sqrt{m+n} \ket{n,m-1} \hspace{1.5cm} , \hspace{1.5cm}
\hat{b}^\dagger \ket{n,m} = \sqrt{m+n+1} \ket{n,m+1} \qquad .
\end{equation} $$\\$$
Teniendo en cuenta la expresión (\ref{gauge simetrico L3}), los dos primeros sumandos constituyen dos Hamiltonianos de oscilador armónico en las direcciones $x_1$ y $x_2$, y por lo tanto, se cumple que la siguiente relación entre n y m $$\\$$
\begin{equation*}
n \geq - m \qquad ,
\end{equation*} $$\\$$
los estados en este problema aunque son autoestados de $L_3$, no lo son de $L^2$, por lo que la única restricción para el conjunto de posibles valores de m viene dada por la expresión anterior, que se puede escribir como $$\\$$
\begin{equation*}
-n \leq m < \infty \hspace{3cm} m \in Z.
\end{equation*} $$\\$$
El estado que tiene n=m=0 es aniquilado por $\hat{a}$, al no poder existir valores negativos para n, y por $\hat{b}$, debido a la condición anterior para m $$\\$$
\begin{equation*}
\hat{a}\ket{0,0}=0 \hspace{3cm} \hat{b}\ket{0,0}=0 \qquad .
\end{equation*} $$\\$$
Para resolver estas ecuaciones es conveniente expresar los operadores en representación de coordenadas y definir: $$\\$$
\begin{equation}
z=x_1+ix_2 \hspace{3cm} \frac{\partial}{\partial z} =\frac{1}{2} \left( \frac{\partial}{\partial x_1} - i \frac{\partial}{\partial x_2} \right) \qquad {}$$\\$$
\bar{z}=x_1 - i x_2 \hspace{3cm} \frac{\partial}{\partial \bar{z}} = \frac{1}{2} \left( \frac{\partial}{\partial x_1} + i \frac{\partial}{\partial x_2} \right) \qquad .
\end{equation} $$\\$$
En esta representación los operadores escalera son: $$\\$$
\begin{equation} \label{operadores escalera}
\hat{a} = \frac{1}{\sqrt{2}}\left(\frac{\bar{z}}{2l_c} + 2l_c \frac{\partial}{\partial z} \right) \hspace{2cm}, \hspace{2cm}
\hat{a}^\dagger = \frac{1}{\sqrt{2}}\left(\frac{z}{2l_c} - 2l_c\frac{\partial}{\partial \bar{z}}\right)$$\\$$ \qquad {}
\hat{b} = \frac{1}{\sqrt{2}}\left(\frac{z}{2l_c} + 2l_c\frac{\partial}{\partial \bar{z}}\right) \hspace{2cm},\hspace{2cm}
\hat{b} ^\dagger = \frac{1}{\sqrt{2}}\left(\frac{\bar{z}}{2l_c} - 2l_c \frac{\partial}{\partial z} \right) \quad ,
\end{equation} $$\\$$
de modo que el estado con $n=0$ y $m=0$ o fundamental viene dado por $$\\$$
\begin{equation*}
\left(\frac{\bar{z}}{2l_c} + 2l_c \frac{\partial}{\partial z} \right) \psi_{0,0}=0 \hspace{2cm} \left(\frac{z}{2l_c} + 2l_c\frac{\partial}{\partial \bar{z}}\right)\psi_{0,0}=0 \qquad .
\end{equation*} $$\\$$
El estado fundamental es, por tanto, $$\\$$
\begin{equation}
\psi_{00}(z,\bar{z})= \frac{1}{l_c \sqrt{2 \pi}} e^{-\frac{z \bar{z}}{4 l_c^2}} \qquad ,
\end{equation} $$\\$$
donde hemos impuesto la condición de normalización $$\\$$
\begin{equation*}
\int^\infty _{-\infty} \int ^\infty _{-\infty} \psi_{0,0}^*(x_1,x_2) \psi_{0,0}(x_1,x_2)dx_1dx_2= 1 \qquad .
\end{equation*} $$\\$$ %\int^\infty _{-\infty} \int ^\infty _{-\infty} \psi_{n,m} \psi_{n',m'}dx_1dx_2=\delta_{n,n'} \delta_{m,m'} \qquad .
Podemos obtener los estado de un nivel superior aplicando de manera sucesivalos operadores $\hat{a}^\dagger$ y $\hat{b}^\dagger$ de la forma: $$\\$$
\begin{equation*}
\ket{n,m}=\frac{(\hat{a}^\dagger)^n}{\sqrt{n!}} \frac{(\hat{b}^\dagger)^{n+m}}{\sqrt{(n+m)!}} \ket{0,0} \qquad .
\end{equation*} $$\\$$
A partir de esta ecuación algebraica, podemos obtener las funciones de onda de forma general $$\\$$
\begin{equation}
\psi_{n,m} (z,\bar{z}) = \bra{z,\bar{z}}\ket{n,m}=\bra{z,\bar{z}}\frac{(\hat{a}^\dagger)^n}{\sqrt{n!}} \frac{(\hat{b}^\dagger)^{n+m}}{\sqrt{(n+m)!}} \ket{0,0} \qquad .
\end{equation} $$\\$$
Empezamos buscando una expresión para los estados $\psi_{0,m}(z,\bar{z})$, para ello empezamos buscando las funciones una a una aplicando de manera sucesiva el operador $\hat{b}^\dagger$ desde el estado fundamental, $\psi_{0,0}(z,\bar{z})$ $$\\$$
\begin{equation*}
\psi_{0,1}(z,\bar{z}) = \frac{1}{\sqrt{2}}\left(\frac{\bar{z}}{2l_c} - 2l_c \frac{\partial}{\partial z} \right) \psi_{0,0} = \frac{1}{\sqrt{2}} \left(\frac{\bar{z}}{l_c}\right)\psi_{0,0}(z,\bar{z}) \qquad {} $$\\$$
\psi_{0,2}(z,\bar{z}) =\frac{1}{\sqrt{2}} \frac{1}{\sqrt{2}}\left(\frac{\bar{z}}{2l_c} - 2l_c \frac{\partial}{\partial z} \right) \frac{1}{\sqrt{2}} \left(\frac{\bar{z}}{l_c}\right)\psi_{0,0} = \frac{1}{\sqrt{2}} \left(\frac{\bar{z}}{\sqrt{2} l_c}\right)^2 \psi_{0,0}(z,\bar{z}) $$\\$$
\psi_{0,3}(z,\bar{z}) =\frac{1}{\sqrt{6}} \frac{1}{\sqrt{2}}\left(\frac{\bar{z}}{2l_c} - 2l_c \frac{\partial}{\partial z} \right) \frac{1}{\sqrt{2}} \left(\frac{\bar{z}}{\sqrt{2} l_c}\right)^2 \psi_{0,0} = \frac{1}{\sqrt{6}} \left(\frac{\bar{z}}{\sqrt{2} l_c}\right)^3 \psi_{0,0}(z,\bar{z}) \qquad {} $$\\$$
.\quad .\quad . \hspace{11cm}
\end{equation*} $$\\$$
En general, para el primer nivel de Landau con $n=0$ tenemos: $$\\$$
\begin{equation*}
\psi_{0,m}(z,\bar{z}) = \frac{1}{\sqrt{m!}} \left(\frac{\bar{z}}{\sqrt{2}l_c} \right)^m \psi_{0,0}(z,\bar{z}) = \frac{1}{\sqrt{m!}} \left(\frac{\bar{z}}{\sqrt{2}l_c} \right)^m \frac{1}{l_c \sqrt{2 \pi}} e^{-\frac{z \bar{z}}{4 l_c^2}}\qquad .
\end{equation*} $$\\$$
Del mismo modo, por medio de la aplicación sucesiva del operador $\hat{a}^\dagger$ podemos obtener los estados de la forma $\psi_{n,-n}$ $$\\$$
\begin{equation*}
\psi_{1,-1}(z,\bar{z}) = \frac{1}{\sqrt{2}}\left(\frac{z}{2l_c} - 2l_c\frac{\partial}{\partial \bar{z}}\right) \psi_{0,0}(z,\bar{z}) = \frac{1}{\sqrt{2}}\frac{z}{l_c} \psi_{0,0}(z,\bar{z}) \qquad {} $$\\$$
\psi_{2,-2}(z,\bar{z}) = \frac{1}{\sqrt{2}}\frac{1}{\sqrt{2}}\left(\frac{z}{2l_c} - 2l_c\frac{\partial}{\partial \bar{z}}\right)\frac{1}{\sqrt{2}}\frac{z}{l_c} \psi_{0,0}(z,\bar{z}) = \frac{1}{\sqrt{2}}\left(\frac{z}{\sqrt{2}l_c}\right)^2 \psi_{0,0}(z,\bar{z}) \qquad {} $$\\$$
\psi_{3,-3}(z,\bar{z}) = \frac{1}{\sqrt{6}}\frac{1}{\sqrt{2}}\left(\frac{z}{2l_c} - 2l_c\frac{\partial}{\partial \bar{z}}\right) \frac{1}{\sqrt{2}}\left(\frac{z}{\sqrt{2}l_c}\right)^2 \psi_{0,0}(z,\bar{z}) = \frac{1}{\sqrt{6}}\left(\frac{z}{\sqrt{2}l_c}\right)^3 \psi_{0,0}(z,\bar{z}) \qquad {} $$\\$$ . \quad . \quad . \hspace{11cm}
\end{equation*} $$\\$$
De forma que: $$\\$$
\begin{equation*}
\psi_{n,-n}(z,\bar{z}) = \frac{1}{\sqrt{n!}} \left(\frac{z}{\sqrt{2}l_c} \right)^n \psi_{0,0}(z,\bar{z}) = \frac{1}{\sqrt{n!}} \left(\frac{z}{\sqrt{2}l_c} \right)^n \frac{1}{l_c \sqrt{2 \pi}} e^{-\frac{z \bar{z}}{4 l_c^2}} \qquad .
\end{equation*} $$\\$$
Finalmente, a partir de las expresiones obtenidas para $\psi_{0,m}(z,\bar{z})$ y $\psi_{n,-n}(z,\bar{z})$, supongamos que $\psi_{n,m}(z,\bar{z})$ es de la forma: $$\\$$
\begin{equation} \label{funcion de onda laguerre generalizado}
\psi_{n,m} = \left(-1\right)^n \quad \frac{\bar{z}^m}{l_c^{m+1}} \quad \sqrt{\frac{n!}{\pi (n+m)!}} \quad f_{nm} \left(\frac{|z|^2}{2 l_c^2}\right) \quad e^{-\frac{|z|^2}{2l_c^2}} \qquad .
\end{equation} $$\\$$
El término $f_{nm}(x)$ es una función desconocida en términos de los números cuánticos n y m. Para los estado de $\psi_{n,-n}(z,\bar{z})$ buscamos la función de onda de los estados de m superior aplicando el operador $\hat{b}^\dagger$ sucesivamente, para obtener las funciones de onda de forma explícita y así intentar obtener por inducción $f_{n,m}(x)$. $$\\$$
Partimos del estado $\psi_{1,-1}(z,\bar{z})$ y buscamos estados $\psi_{1,m}(z,\bar{z})$ aplicándole $\hat{b}^\dagger$ $\lq \lq m+1$" veces $$\\$$
\begin{equation*}
\psi_{1,0}(z,\bar{z}) = \frac{1}{\sqrt{2}} \left(\frac{\bar{z}}{2 l_c} - 2 l_c \frac{\partial}{\partial z}\right)\frac{z}{\sqrt{2}l_c}\psi_{0,0}(z,\bar{z}) = \left( \frac{|z|^2}{2 l_c^2} - 1 \right)\psi_{0,0}(z,\bar{z}) \qquad {}$$\\$$
\psi_{1,1}(z,\bar{z}) = \frac{1}{\sqrt{2}} \frac{1}{\sqrt{2}} \left(\frac{\bar{z}}{2 l_c} - 2 l_c \frac{\partial}{\partial z}\right) \left( \frac{|z|^2}{2 l_c^2} - 1 \right)\psi_{0,0}(z,\bar{z}) = $$\\$$ = \frac{1}{\sqrt{2}} \left[\left(\frac{|z|}{\sqrt{2}l_c}\right)^2 - 2\right] \frac{\bar{z}}{\sqrt{2}l_c}\psi_{0,0}(z,\bar{z}) \qquad {}$$\\$$
\psi_{1,2}(z,\bar{z}) = \frac{1}{\sqrt{6}} \frac{1}{\sqrt{2}} \left(\frac{\bar{z}}{2 l_c} - 2 l_c \frac{\partial}{\partial z}\right)\frac{1}{\sqrt{2}} \left[\left(\frac{|z|}{\sqrt{2}l_c}\right)^2 - 2\right] \frac{\bar{z}}{\sqrt{2}l_c}\psi_{0,0}(z,\bar{z}) = $$\\$$ = \frac{1}{\sqrt{6}} \left[\left(\frac{|z|}{\sqrt{2}l_c} \right)^2 - 3\right] \left(\frac{\bar{z}}{\sqrt{2}l_c}\right)^2 \psi_{0,0}(z,\bar{z}) \qquad {} $$\\$$ . \quad . \quad . \hspace{11cm}
\end{equation*} $$\\$$
Obtenemos el siguiente estado avanzando en $\hat{a}^\dagger$, $\psi_{2,-2}(z,\bar{z})$, y buscamos los estados $\psi_{1,m}(z,\bar{z})$ aplicando $\hat{b}^\dagger$ $\lq \lq m+2 "$ veces $$\\$$
\begin{equation*}
\psi_{2,-1}(z,\bar{z}) = \frac{1}{\sqrt{2}} \left(\frac{\bar{z}}{2 l_c} - 2 l_c \frac{\partial}{\partial z}\right)\left(\frac{z}{\sqrt{2}l_c}\right)^2\psi_{0,0}(z,\bar{z}) = \frac{1}{2}\left[\left( \frac{|z|}{\sqrt{2} l_c} \right)^4 - 2\left(\frac{|z|}{\sqrt{2}l_c}\right)^2\right]\psi_{0,0}(z,\bar{z}) \qquad {}$$\\$$
\psi_{2,0}(z,\bar{z}) = \frac{1}{\sqrt{2}} \frac{1}{\sqrt{2}} \left(\frac{\bar{z}}{2 l_c} - 2 l_c \frac{\partial}{\partial z}\right) \frac{1}{2}\left[\left( \frac{|z|}{\sqrt{2} l_c} \right)^4 - 2\left(\frac{|z|}{\sqrt{2}l_c}\right)^2\right]\psi_{0,0}(z,\bar{z}) = $$\\$$ = \frac{1}{2}\left[\left( \frac{|z|}{\sqrt{2} l_c} \right)^4 - 4\left(\frac{|z|}{\sqrt{2}l_c}\right)^2 + 2\right]\psi_{0,0}(z,\bar{z}) \qquad {}$$\\$$
\psi_{2,1}(z,\bar{z}) = \frac{1}{\sqrt{3}} \frac{1}{\sqrt{2}} \left(\frac{\bar{z}}{2 l_c} - 2 l_c \frac{\partial}{\partial z}\right) \frac{1}{2}\left[\left( \frac{|z|}{\sqrt{2} l_c} \right)^4 - 4\left(\frac{|z|}{\sqrt{2}l_c}\right)^2 + 2\right]\psi_{0,0}(z,\bar{z}) = $$\\$$ = \frac{1}{2\sqrt{3}}\left[\left( \frac{|z|}{\sqrt{2} l_c} \right)^4 - 6\left(\frac{|z|}{\sqrt{2}l_c}\right)^2 + 6\right] \left(\frac{\bar{z}}{\sqrt{2}l_c}\right)\psi_{0,0}(z,\bar{z}) \qquad {} $$\\$$ . \quad . \quad . \hspace{11cm}
\end{equation*} $$\\$$
Comparando las expresiones sucesivas que obtenemos para las funciones de onda con la expresión (\ref{funcion de onda laguerre generalizado}), podemos ver que el término $f_{n,m}(x)$ se corresponde con los polinomios de Laguerre generalizados, ${L_n}^m(x)$, que vienen dados como solución a la ecuación: $$\\$$
\begin{equation}
x \frac{d ^2}{d x^2}{L_n}^m (x) + (m+1-x)\frac{d}{dx}{L_n}^m(x) + n{L_n}^m(x)=0 \qquad ,
\end{equation} $$\\$$
siendo las primeras soluciones $$\\$$
\begin{equation*}
{L_0}^m(x) = 1 \qquad{} $$\\$$
{L_1}^m(x) = -x + m + 1 \qquad{} $$\\$$
{L_2}^m(x) = \frac{1}{2}[x^2 - 2(m+2)x + (m+1)(m+2)] \qquad.
\end{equation*} $$\\$$
La expresión para las autofunciones de la ecuación de Schroedinger para una partícula cargada en un campo magnético uniforme, en el plano, y en el guage simétrico, es: $$\\$$
\begin{equation} \label{autoestados simetricos}
\psi_{n,m}(z,\bar{z}) = \left(-1\right)^n \quad \frac{\bar{z}^m}{l_c^{m+1}} \quad \sqrt{\frac{n!}{\pi (n+m)!}} \quad {L_n}^m \left(\frac{|z|^2}{2 l_c^2}\right) \quad e^{-\frac{|z|^2}{2l_c^2}} \qquad .
\end{equation} $$\\$$
de forma que cumplen la condición de ortonormalidad $$\\$$
\begin{equation}
\int^\infty _{-\infty} \int ^\infty _{-\infty} \psi_{n,m}^* (x_1,x_2) \psi_{n',m'}(x_1,x_2)dx_1dx_2=\delta_{n,n'} \delta_{m,m'} \qquad .
\end{equation} $$\\$$ $$\\$$
Comparando las dos representaciones de manera general vemos que aunque la estructura de los niveles energéticos (así como el hecho de que estén degenerados) es independiente de la elección de gauge que hagamos para el potencial, lo que sí que depende del gauge son los números cuánticos con los que construimos la base de autoestados ($n$ y $p_3$ en el gauge de Landau y $n$ y $m$ en el gauge simétrico), lo cual es debido a las simetrías adicionales que aporta el gauge, más allá de las que ya tenga el problema. En la expresión del gauge de Landau (\ref{gauge de landau}) vemos que es invariante bajo traslaciones en la dirección $\vec{e}_1$, por lo que las funciones de onda que obtenemos a través de este son autoestados de $\hat{p}_1$, del mismo modo, el gauge simétrico (\ref{gauge simetrico}) es invariante bajo rotaciones en el plano $X_1X_2$, por lo que en este caso, las funciones de onda son autoestados del momento angular en la dirección perpendicular al plano, $\hat{L}_3$. $$\\$$
%A pesar de que en una teoría más realista es necesario tener en cuenta la interacción del espín de las partículas con el campo magnético, este estudio
\begin{figure}
\centering
\includegraphics[width=0.5\linewidth]{img/figure_5}
\captionof{figure}{\emph{Estados de Landau en el gauge simétrico en función de los enteros n y m, tales que n $\geq$ -m.}}
\label{fig:gauge simetrico}
\end{figure}
\newpage
\leavevmode\thispagestyle{empty}\newpage
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{El problema cuántico de Dirac-Landau}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
$$\\$$
Para plantear el estudio de la ecuación relativista como es la ecuación de Dirac es necesario empezar introduciendo la notación relativista que vamos a utilizar.
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\textbf{Notación Relativista}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
Los postulados de la relatividad nos dicen que la velocidad de la luz en el vacío es la misma en todos los sistemas de referencia inerciales, así como las leyes de la Física (la teoría debe presentar covariancia bajo transformaciones entre estos sistemas), de modo que el espacio en el que suceden los fenómenos físicos es un espacio de dimensión cuatro con una métrica caracterizada por el intervalo espacio-temporal entre dos sucesos: $$\\$$
\begin{equation} \label{eq:3}
s^2=c^2t^2-\vec{x}^{ 2}
\end{equation} \\ \\
De esta forma se define el cuadrivector posición como $$\\$$
\begin{equation}\label{eq:4}
x^\mu=(x^0,x^i) \equiv (ct,\vec{x})
\end{equation} \\ \\
con $\mu$=0,1,2,3 e i=1,2,3 (en general, usaremos indices griegos para referirnos a cuatrivectores y latinos para vectores) tal que $$\\$$
\begin{equation*} %\label{eq:5}
s^2=x^0x^0 - x^i x^i = g_{\mu \nu} x^\mu x^\nu
\end{equation*} $$\\$$
donde usamos el convenio de Einstein de suma de índices repetidos y la métrica o tensor métrico es: $$\\$$
\begin{equation} \label{eq:6}
g_{\mu \nu} = g_{\nu \mu} = diag(1,-1,-1,-1) \qquad .
\end{equation} $$\\$$
El espacio donde suceden los fenómenos físicos es el espacio de Minkowski, $\mathbf{R}^{1,3}$, con una métrica hiperbólica, $g_{\mu \nu}$, y distinta a la usada en el espacio euclídeo, $\delta_{ij}$, propia de la Física no-relativista $$\\$$
\begin{equation*} %\label{eq:7}
\delta_{ij} = diag(1,1,1) \qquad .
\end{equation*} $$\\$$
Los cuadrivectores, $x^\mu$, se transforman contravariantemente con respecto al cambio de coordenadas, se puede definir un cuadrivector covariante como $$\\$$
\begin{equation*}
x_\nu = g_{\nu \mu}x^\mu \qquad .
\end{equation*} $$\\$$
Las transformaciones de Lorentz son transformaciones lineales en el espacio de Minkowski que mantienen invariante $s^2$, el intervalo entre dos sucesos, es decir $$\\$$
\begin{equation} \label{eq:8}
x^{\mu} \qquad \rightarrow \qquad {x^{'}}^{\mu}={\Lambda^\mu}_\nu x^\nu \qquad,
\end{equation} $$\\$$
con lo cual, se debe cumplir que $$\\$$
\begin{equation*} % \label{eq:9}
g_{\sigma \rho}={\Lambda^\mu}_\sigma {\Lambda^\nu}_\rho g_{\mu \nu} \qquad ,
\end{equation*} $$\\$$
de modo que el conjunto de transformaciones lineales que satisfacen la relación anterior constituyen las transformaciones de Lorentz: Rotaciones espaciales, Boosts, inversión temporal, paridad e inversión total. En (3+1)-dimensiones los generadores de estas transformaciones satisfacen un álgebra de Lie, y pueden ser identificados con el grupo SO(3+1). Además de la expresión anterior se puede demostrar que las transformaciones homogéneas de Lorentz infinitesimales se puede expresar en función de tensores antisimétricos, y por lo tanto, estas transformaciones están caracterizadas por seis parámetros independientes. $$\\$$
Otras transformaciones que también dejan invariante el intervalo espacio-temporal, son las traslaciones: $$\\$$
\begin{equation*} %\label{eq:10}
x^{\mu} \qquad \rightarrow \qquad {x^{'}}^{\mu}=x^\mu + a^\mu \qquad,
\end{equation*} $$\\$$
donde $a^\mu$ es un cuadrivector arbitrario y constante, con lo cual, estas, vienen caracterizadas por 4 parámetros. El grupo de invariancia de la teoría en (3+1)-dimensiones es el grupo de Poincaré, que depende de 10 parámetros: $$\\$$
\begin{equation*} %\label{eq:11}
x^{\mu} \qquad \rightarrow \qquad {x^{'}}^{\mu}={\Lambda^\mu}_\nu x^\nu + a^\mu \qquad .
\end{equation*} $$\\$$
Con todo esto, los operadores diferenciales en (3+1)-dimensiones se escriben como $$\\$$
\begin{equation} \label{eq:12}
\partial_\mu = \frac{\partial}{\partial x^\mu}=(\frac{1}{c}\partial_t,\vec{\nabla} ) \qquad , \qquad \Box = \partial_\mu·\partial^\mu = \frac{1}{c^2}\frac{\partial^2}{\partial t^2} - \nabla^2 \qquad .
\end{equation} $$\\$$
Los operadores cuánticos de momento y energía ahora vienen son descritos por medio del cuatrivector momento $$\\$$
\begin{equation}
\hat{p}_\mu = \left(\frac{\hat{E}}{c}, \hat{p}_1, \hat{p}_2, \hat{p}_3 \right) \equiv i \hbar \partial_\mu \qquad .
\end{equation} $$\\$$
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\subsection{La ecuación de Dirac en el espacio}
$$\\$$%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%