El objetivo de la tesis es el estudio de fenomenos disipativos en el ambito de la Mecanica Cuantica mediante modelos basados en Ecuaciones en Derivadas Parciales. Nos centramos en la formulacion de onda adaptada a este tipo de mecanismos, estudiando que terminos no lineales pueden tener cabida en una ecuacion de Schrodinger disipativa y analizando el buen planteamiento del problema de Cauchy asociado a algunas ecuaciones de Schrodinger que contienen dichos terminos. Prestamos especial atencion a los efectos de friccion y difusion, estudiando generalizaciones cuanticas de la ecuacion de Langevin para el movimiento browniano clasico. Este analisis esta estrechamente relacionado con el problema de la existencia de un argumento suficientemente regular para una funcion de onda dada, al que prestamos atencion especifica.
El modelado de este tipo de procesos es un campo de gran interes en Fisica y en Ingenieria. A escalas en las que los efectos cuanticos son esenciales, el analisis de fenomenos disipativos constituye una cuestion de interes creciente por su gran aplicabilidad en multiples ramas como dinamica browniana, dispersion de iones pesados, optica cuantica, estudio del efecto tunel cuantico o diseno de dispositivos semiconductores.
El objetivo de la tesis es el estudio de fenomenos disipativos en el ambito de la Mecanica Cuantica mediante modelos basados en Ecuaciones en Derivadas Parciales. Nos centramos en la formulacion de onda adaptada a este tipo de mecanismos, estudiando que terminos no lineales pueden tener cabida en una ecuacion de Schrodinger disipativa y analizando el buen planteamiento del problema de Cauchy asociado a algunas ecuaciones de Schrodinger que contienen dichos terminos. Prestamos especial atencion a los efectos de friccion y difusion, estudiando generalizaciones cuanticas de la ecuacion de Langevin para el movimiento browniano clasico. Este analisis esta estrechamente relacionado con el problema de la existencia de un argumento suficientemente regular para una funcion de onda dada, al que prestamos atencion especifica.
El modelado de este tipo de procesos es un campo de gran interes en Fisica y en Ingenieria. A escalas en las que los efectos cuanticos son esenciales, el analisis de fenomenos disipativos constituye una cuestion de interes creciente por su gran aplicabilidad en multiples ramas como dinamica browniana, dispersion de iones pesados, optica cuantica, estudio del efecto tunel cuantico o diseno de dispositivos semiconductores.
En esta tesis discutimos el problema de la disipación y la evolución al equilibrio enel movimiento Browniano cuántico en el marco del formalismo de la segunda cuantización. Consideramos un modelo cuyo Hamiltoniano es bilineal en los operadores decreación y aniquilación, que puede reinterpretarse como el correspondiente a un conjuntode osciladores acoplados. Derivamos una ecuación exacta, completamente equivalente alas ecuaciones de Heisenberg, para los valores medios de los operadores número de ocupación,que tiene el aspecto de una ecuación maestra. En general, los coeficientes de dichaecuación no son simétricos y dependen del tiempo, pero pueden ser interpretados como lasprobabilidades de transición por unidad de tiempo en la aproximación de segundo ordenen la constante de acoplamiento. Los gráficos correspondientes a una solución numéricaexacta permiten visualizar el rango de validez de dicha aproximación. Identificando unode los osciladores como la partícula Browniana, lo que luego cobrará sentido medianteuna elección adecuada de los parámetros del modelo, obtenemos una ecuación exacta,completamente equivalente a la ecuación de Heisenberg, para el operador posición. Dichaecuación tiene la forma de la ecuación de Langevin pero nuevamente sus coeficientes dependenexplícitamente del tiempo. Sin embargo, los mismos pueden identificarse con lafrecuencia renormalizada y el factor de amortiguamiento luego de efectuada la aproximaciónde segundo orden. Para el caso particular en el que los osciladores que componenel reservorio no interactúan entre sí, resolvemos exactamente el modelo para un tipo deacoplamiento conocido como aproximación de onda rotante, diagonalizando el Hamiltonianoen el sector de un cuanto. Estudiamos primero el caso de un baño finito, que luegollevamos a un conjunto denso efecutando el límite continuo del modelo discreto. Parael modelo finito obtenemos un comportamiento “prácticamente” irreversible como consecuenciade las escalas temporales involucradas, en las cuales se manifiestan la presenciade fluctuaciones, el proceso de relajación y los períodos de recurrencia. En el caso continuoestablecemos una relación entre el comportamiento termodinámico del conjunto deosciladores y la teoría del estado cuántico inestable. Relacionamos los efectos de bajastemperaturas para la población media del oscilador Browniano con el apartamiento de laley de decaimiento puramente exponencial para largos tiempos (efecto Khalfin). Finalmentemostramos como un comportamiento de tipo estocástico puede ser asociado con laevolución asintótica del sistema, analizando las funciones de autocorrelación y obteniendola relación de fluctuación-disipación.
El estudio del relajamiento térmico de sistemas 'que interaccionan con un baño de calor, h a sido un tema de g r a n interés en l a mecánica estadística en los últimos anos (!-go) P a r a la descripci6n matemática de l a evolución de dichos sistemas, se utilizan en ocasiones ecuaciones diferenciales estocdsticas ,donde l o s términos propiamente estocdsticos representan, junto con un término de friccidn, el efecto del baEo sobre el sistema.En la mayoria de \ o s c a s o s estas ecuaciones se h a n establecido de manera fenomenológica.y en algunos casos d e sistemas sencillos, se h a n hecho derivaciones a partir de modelos microscópicos, Las primeras ecuaciones fenomenologicas propuestas son las llamadas ecuaciones de Lanqevin q u e describen el movimiento browniano de u n a partícula pesada en u n fluido.P a r a el-caso de u n a partícula browniana en u n a dimensión se plantea como ecuaci6n estoc5stica donde m es la masa de la particula, u su velocidad y Y u n coeficiente de fricción.E l primer termin9 del l a d o derecho representa l a fuerza de fricci6n que experimenta l a particula y f(t) es u n a fuerza Ford.Kac y lciazur ( 5 ) derlvan l a ecuación de Langevin para un oscilador armónico que interacclona bilinealmente con u n bazo de osciladores armónicos.En este trabajo obtienen l a s condiciones sobre los parimetros del baño y coeficientes de acoplamiento.b a j o 13s cuales se obtiene p a r a la evoluclon del sistema un comportamiento narkoviano Recientemente hanos derivado la ecuación de Langevin en el límite de acoplamiento d é b i l para un oscilador armónico en un baño de osciladores armónicos.en e1 caso en el que la interacci6n es lineal en la coordenada del sistema y cujdr/atica en I a s coordenadas del baño (24).En el rggrmen cuántico nos encontramos con varios trabajos en los que,se derivan ecuaciones estocdsticas a partir de modelos microscópicos (25-28,b).Sin embargo aún f a l t a mucho por e n t e n d e r s o b r e l o s p r o c e s o s d e r e l a j a c i d n d e s i s t e m a s c u á n t i c o s e n b a ñ o s t é r m i c o s , l o s q u e e n rigor, t a m b i é n d e b e n s e r d e s c r i t o s e n f o r m a c u b n t i c a .El g r a n intere's e n l o s s i s t e m a s c u á n t i c o s , a d e m á s d e l a s p e c t o f o r m a l que e n c i e r r a n , esta' e n l o g r a r i n t e r p r e t a r e x p e r i m e n t o s e n d i v e r s a s a'reas c o m o s o n l a r e l a j a c i 6 n v i b r a c i o n a l d e m o l é c u l a s pol i a t j m l c a s (17-20) y t r a n s p o r t e d e e x c i t o n e s a t e m p e r a t u r a s b a j a s ( 2 9 ) .OBJETIVOS Nuestro propbsito en e t presente trabajo es el tratar de derivar ecuaciones d e Langevin generalizadas, a partir de hamiltonianos microscÓpicos, para distintos modelos de interacción entre slsterna y baiio térmico Para el caso de interacción billneal se han hecho este tipo de derivaciones.en los regímenes cla'sico y cua'ntico, y se han obtenido las ecuaciones estocdsticas, así como 13 reiacidn de fluctuación disipación en forma exacta Con la idea de cxplorsr 13 posible generalización de este resultado a Ordenes mas altos en la interacción, derivaremos ecuaciones estocásticas p a r a un sistema que interacciona con u n bañc a distintos Órd?nas Sn las variables del b a ñ o .Estas derivaciones las haremos dentro de los regímenes Cl6siCo.ycuántico.Aunque en e !c a s o mas general de I n t e r a c c i Ó n que a n a !i z a m o s las ecuaciones se d e r l v a n en forma aproximada m e d i a n t e des3rroiIos perturbativos, en el caso clislco podrerncls i d e n t i f i c a r dentro de la expresion aproximdda.una relación de fluctuaclórl dis1paciÓn de forma idgntica a la del caso b i l i n e a !(exacto).En eI c a s o cua'ntico en cambio I?O se encuentra e s t e tipo de r-esu!tado general: en general se encuentran dificultades a u e obscurecen la interpretaciijn de ecuaclones de Lanqevin cuárrt icas.Aunaue este anilisis s o b r e 13 derivaci6n de ecuaciones estocásticas deba r e s t r ~n g ~r s e a slsternas s i m p l e s , es separado.
El tema central de la tesis doctoral es el análisis de los sistemas cuánticos abiertos. Estos sistemas se caracterizan por estar sometidos a la interacción con el entorno, lo que provoca que su evolución deje de ser unitaria. Es por tanto necesario considerar modelos más allá de la ecuación de Schrödinger. Los sistemas cuánticos abiertos aparecen en numerosos campos, como la Física del Estado Sólido y la Dinámica Molecular. Por este motivo, un análisis detallado de sus propiedades y su dinámica es un tema digno de estudio con un gran abanico de aplicaciones. El enfoque elegido en esta tesis es el desarrollo de un formalismo geométrico que describa de forma adecuada las características de los sistemas cuánticos abiertos. La geometría diferencial ha demostrado ser una herramienta muy útil en el análisis de sistemas físicos. Desde mediados del siglo XX, se ha desarrollado con gran éxito una descripción geométrica de la Mecánica Clásica, principalmente en torno a las mecánicas lagrangiana y hamiltoniana. Por este motivo, resulta natural describir también los sistemas cuánticos en términos geométricos. Las ventajas de un formalismo geométrico resultan claras. Cuando tanto los sistemas clásicos como los cuánticos se describen en los mismos términos, es sencillo describir situaciones en las que existan interacciones clásico-cuánticas. Éste es el caso, por ejemplo, de muchos modelos de Dinámica Molecular, en los que los núcleos y los electrones son considerados respectivamente como partículas clásicas y cuánticas. Por otra parte, un formalismo geométrico de la Mecánica Cuántica posibilita un mejor entendimiento de las diferencias intrínsecas entre las teorías clásicas y las cuánticas. Dada su relevancia a lo largo de la tesis, el Capítulo 1 está enfocado al resumen y el análisis de la descripción geométrica de la imagen de Schrödinger de la Mecánica Cuántica. En formulación usual (algebraica), esta imagen se basa en la representación de los estados de los sistemas cuánticos mediante vectores en un espacio de Hilbert complejo. La transición a una formulación basada en geometría diferencial es inmediata para sistemas finito-dimensionales, dado que los espacios lineales de dimensión finita son casos triviales de variedades diferenciables. Las estructuras adicionales, en concreto el producto hermítico propio de los espacios de Hilbert y los escalares complejos, se describen mediante campos tensoriales en dichas variedades diferenciables, formando lo que se conoce como una estructura Kähler. Todos los ingredientes necesarios para el análisis de sistemas cuánticos pueden describirse en estas variedades de Kähler. Los observables se representan mediante funciones diferenciables, mientras que la dinámica se describe mediante curvas integrales de campos vectoriales hamiltonianos respecto a la forma simpléctica de la estructura Kähler. Esta caracterización puede llevarse a cabo en el espacio de Hilbert asociado a cualquier sistema cuántico finito-dimensional. Además, es posible analizar las propiedades geométricas del espacio proyectivo de Hilbert, el cual constituye el conjunto de estados puros del sistema. Su estructura Kähler puede ser deducida mediante un proceso de reducción de la estructura previamente obtenida en el espacio de Hilbert. Como aspecto novedoso, la tesis presenta en detalle este proceso de reducción, dotándolo de una descripción matemática adecuada. Todas las características de la imagen de Schrödinger pueden describirse de forma geométrica, lo que permite utilizar nuevas herramientas en el análisis de los sistemas cuánticos. Éste es precisamente el tema principal del Capítulo 2, en el cual se utilizan los sistemas de Lie-Kähler para resolver la ecuación de Schrödinger dependiente del tiempo. En geometría diferencial, un sistema de Lie es un sistema no homogéneo de ecuaciones diferenciales que admite una regla de superposición. En general, la obtención de esta regla de superposición es una ardua tarea, la cual puede aligerarse en presencia de estructuras adicionales que sean preservadas por la acción del sistema de Lie. De esta forma, según la estructura preservada, es posible hablar de sistemas de Lie-Hamilton, Lie-Dirac, etc. En el caso de la Mecánica Cuántica, una ecuación de Schrödinger dependiente del tiempo es un sistema de Lie que preserva la estructura de Kähler previamente descrita. Es por tanto un nuevo tipo de sistema de Lie, al que resulta natural denominar de Lie-Kähler. El Capítulo 2 presenta las propiedades de estos nuevos sistemas y describe un método riguroso para la obtención de sus reglas de superposición. El formalismo geométrico puede extenderse más allá de la imagen de Schrödinger, lo que resulta necesario en el contexto de los sistemas cuánticos abiertos, dado que tanto estados puros como estados mezcla son necesarios para su descripción. Por este motivo, el Capítulo 3 resume la imagen de Heisenberg de la Mecánica Cuántica y su representación de los estados puros y mezcla como funcionales lineales en el álgebra de Lie-Jordan de observables. Se explica también como las estructuras algebraicas de los observables pueden representarse geométricamente en el espacio dual de funcionales lineales en el álgebra. Este es el punto de partida de una de las principales contribuciones de la tesis. Un proceso de reducción, similar al realizado en el análisis de la imagen de Schrödinger, permite describir las propiedades geométricas de la variedad de estados puros y mezcla del sistema. De esta forma, se obtienen dos campos tensoriales en la variedad de estados, los cuales representan correctamente las estructuras algebraicas de los observables. Puede por tanto concluirse que el formalismo geométrico presentado en la tesis es completamente equivalente a la descripción algebraica tradicional, ya que se logra describir adecuadamente todas las propiedades de los sistemas cuánticos. Además, el formalismo geométrico ofrece una visión más clara de las propiedades intrínsecas de la Mecánica Cuántica, lo que facilita una mejor comprensión de la teoría. Por otra parte, un análisis geométrico de la variedad de estados permite estudiar su estratificación y sus propiedades. La tesis demuestra que se trata de una variedad con borde, cuyos puntos extremales son precisamente los estados puros del sistema. La estratificación de esta variedad resulta importante a la hora de considerar la dinámica inducida por campos gradiente y hamiltonianos. Con el objetivo de ilustrar todas estas propiedades, se analizan unos casos sencillos pero con relevancia física. A lo largo de la tesis, se muestran diversas aplicaciones del formalismo geométrico al análisis de sistemas cuánticos abiertos. El Capítulo 4 presenta la descripción de la evolución markoviana de sistemas cuánticos abiertos. Se dice que una evolución es markoviana si depende únicamente en el estado actual del sistema y no de los estados en instantes anteriores, es decir, si el sistema "no tiene memoria". En Mecánica Cuántica, la evolución markoviana se obtiene a partir de la ecuación de Kossakowski-Lindblad, una ecuación diferencial de primer orden en la variedad de estados puros y mezcla de un sistema cuántico abierto. El formalismo geométrico describe esta ecuación como un campo tensorial en esta variedad, lo que permite analizar las propiedades de sus curvas integrales. De esta manera, es posible considerar diversos aspectos de la evolución markoviana desde un punto de vista geométrico. Cualquier evolución no-unitaria determina un cambio en las propiedades algebraicas de los observables cuánticos, lo que puede resultar en una contracción del álgebra. En términos geométricos, esta contracción puede entenderse mediante el límite de una familia de campos tensoriales definida por el flujo del campo tensorial de Kossakowski-Lindblad. Otra característica importante de esta evolución es la existencia de variedades límite. Sus propiedades pueden determinarse gracias a la estructura afín existente, lo que a su vez permite investigar su relación con las contracciones de álgebras de observables. Por último, se ofrece una descripción geométrica de los problemas de control de sistemas cuánticos abiertos. Un análisis geométrico de la Mecánica Cuántica permite aplicar a estos problemas los resultados de la teoría de control de grupos de Lie. Como consecuencia, es posible realizar una clasificación de los sistemas cuánticos abiertos según sus propiedades de controlabilidad. Otro ejemplo de sistemas cuánticos abiertos aparece en el contexto de la Dinámica Molecular. En el estudio de sistemas moleculares, debido al gran número de partículas presentes, la ecuación de Schrödinger no puede ser resuelta ni siquiera por métodos numéricos. Por tanto, resulta útil considerar aproximaciones a la ecuación de Schrödinger. En particular, existen muchos modelos que consideran un comportamiento clásico de algunas de las partículas, normalmente los núcleos. El Capítulo 5 resume las propiedades estos modelos moleculares, y en particular del conocido como modelo de Ehrenfest. Es posible llevar a cabo una descripción geométrica de este modelo, basándose en las descripciones de los subsistemas clásico y cuántico. Como resultado, las ecuaciones del modelo pueden escribirse como ecuaciones hamiltonianas en una variedad de Poisson. A partir de estas propiedades, la tesis presenta una generalización del modelo de Ehrenfest a distribuciones estadísticas. Este es un paso importante, ya que se demuestra que esta descripción estadística predice la aparición de efectos relacionados con el fenómeno de decoherencia, algo que no ocurre en el modelo de Ehrenfest estándar. Se han realizado simulaciones numéricas, cuyos resultados respaldan la descripción de sistemas moleculares mediante el modelo estadístico de Ehrenfest. Por último, en este contexto resulta posible considerar distribuciones estadísticas con temperatura. La tesis presenta estas dist
Este trabajo esta relacionado con una linea fundamental de la Fisica-Quimica moderna: la evolucion de sistemas moleculares disipativos. La utilizacion de modelos conservativos ha procurado que el hombre amplie su conocimiento e informacion acerca de una gran diversidad de fenomenos y procesos que acontecen en la naturaleza. Estos modelos constituyen la aproximacion de orden cero en la descripcion de cualquier fenomeno, sin embargo, estos ultimos raras veces son conservativos. La disipacion de energia en la naturaleza ha permitido desarrollar un gran numero de aplicaciones tecnologicas que van desde el aprovechamiento del calor de Joule en la conduccion de la corriente electrica hasta el diseno y construccion de los autos modernos con materiales que se deforman ante los impactos y absorben gran cantidad de la energia durante esos eventos. La descripcion teorica de la dinamica disipativa de la difusion de adsorbatos sobre diferentes superficies se ha logrado en los ultimos anos [1]. La presencia de los picos Q y T en la funcion de dispersion ha sido recientemente investigada usando simulaciones de dinamica de Langevin (disipativa) [1]. En este trabajo hemos realizado una dinamica cuantica de propagacion de paquetes de ondas centrados en los adsorbatos que se difunden, hemos propuesto una expresion para la funcion cuantica de dispersion intermedia y hemos analizado diferentes situaciones en funcion de la temperatura. Igualmente en el trabajo se recoge una discusion exhaustiva sobre las manifestaciones de los efectos Zeno y anti Zeno. El ensanchamiento del pico Q de la funcion cuantica de dispersion implica un decaimiento muy rapido de la funcion de dispersion intermedia, que podria estar provocado por la manifestacion del efecto anti Zeno [2]. Los medios viscosos clasicos son bastantes comunes en nuestras vidas. Sin embargo, inusualmente utilizamos estos medios en la mecanica cuantica, y mucho menos estudiamos sus efectos en la dinamica de los sistemas cuanticos. Desde este punto de vista, el Hamiltoniano de Caldirola–Kanai, dependiente del tiempo, constituye un modelo atractivo para considerar la friccion sin incluir las fluctuaciones del medio (puro disipativo). Con nuestro trabajo hemos realizado un analisis, utilizando las trayectorias Bohmianas, de la dinamica de paquetes de ondas en presencia de friccion, para entender como un medio cuantico viscoso hipotetico actuaria sobre el paquete desde un punto de vista cuantico. Con este objetivo se seleccionaron una serie de sistemas modelos como la particula libre, la particula que se mueve en un potencial lineal, la particula que se mueve en un potencial armonico amortiguado y la superposicion de dos paquetes de ondas coherentes. Estos modelos ilustran comportamientos emergentes como la localizacion por ‘‘quantum freezing’’ [3]. Los sistemas quirales pueden ser descritos fenomenologicamente a traves de un potencial de doble pozo. Asociado a cada pozo esta un estado del sistema L-left o R-right por sus nombres en ingles. Estos sistemas se relacionan con las sustancias opticamente activas y los estados antes mencionados se asocian a las sustancias levogiras (L) o dextrogiras (R). Un sistema racemico esta formado por la misma cantidad de moleculas en los estados L y R. Estos sistemas no son opticamente activos y se describen con un potencial de doble pozo simetrico. Sin embargo, la deduccion teorica de la presencia de interacciones electrodebiles entre los nucleos y electrones de las moleculas, nos indica que una mejor descripcion del sistema se realizaria considerando el doble pozo asimetrico. Es decir, para esta situacion predominaria un tipo de enantiomero sobre el otro. Hoy en dia uno de los grandes retos de la comunidad cientifica es la medicion de la diferencia de energia de los dos enantiomeros (diferencia de energia entre los dos pozos). En el conjunto de trabajos que presentamos utilizamos una formulacion canonica para la descripcion de los sistemas quirales, considerando inicialmente una disipacion pura, y posteriormente incluyendo las fluctuaciones de un medio (bano termico). Esta formulacion se obtiene de aplicar el modelo de sistema de dos estados. Presentamos una direccion de trabajo para la determinacion de la diferencia de energia entre los enantiomeros midiendo la fase geometrica [4]. Realizamos un estudio de diferentes funciones de acoplamientos entre el sistema quiral y el bano termico para el caso disipativo puro, asi como un analisis de la estabilidad de las soluciones en funcion de los parametros que rigen la dinamica de las poblaciones de los enantiomeros, para los casos aislados y disipativos puros. Incluimos un ruido blanco gaussiano y realizamos la dinamica estocastica del sistema [5,6]. En la evolucion del sistema encontramos los dos regimenes descritos en la literatura en funcion de la temperatura, coherente e incoherente [7]. En todos los casos el sistema tiende al equilibrio termodinamico descrito analiticamente por medio de integrales de camino [7,8].
Desde los comienzos de la mecanica cuantica se planteo el problema de la medida del que tarda una particula en atravesar una region dada del espacio. Este problema es especialmente importante en regiones donde la propagacion es evanescente. En regiones no-evanescentes, donde la onda asociada a una particula tiene una fase proporcional al tiempo, la fisica ondulatoria nos ensena que el de transito viene dado por la derivada de la fase con respecto a la frecuencia. Por el contrario, en regiones evanescentes no existe esta fase, con lo cual, no disponemos de una expresion para el de transito (llamado comunmente en la literatura cientifica tiempo tunel). El principal objetivo de esta memoria consiste en evaluar la dependencia del tunel y su indeterminacion con la anchura de un paquete de ondas que atraviesa una region evanescente. Para ello calculamos el tunel y su indeterminacion mediante un metodo numerico basado en la evolucion de los paquetes de ondas. Este procedimiento nos va a permitir confirmar el metodo del de presencia, el cual resulta muy apropiado para evaluar los efectos de tamano finito del paquete de ondas en el tunel. Dado que las expresiones para el tunel son relativamente complejas de manejar en la practica, efectuamos aproximaciones de las mismas para obtener ecuaciones mucho mas practicas con un buen limite de validez. Ademas, aplicamos estos resultados a estructuras fisicas que forman parte de dispositivos electronicos con interes tecnologico, como una superred o una doble barrera de potencial asimetrica.
Resumen.En estas notas se exponen con detalle y de manera autocontenida las herramientas básicas de la teoría de los espacios de Hilbert complejos de dimensión infinita, que son necesarias para un primer estudio, matemáticamente riguroso, de la mecánica cuántica.En la última parte incluimos una introducción axiomática a la mecánica cuántica y una breve exposición del modelo del oscilador armónico y de la teoría de estados cuánticos Gaussianos. IntroducciónLa mecánica cuántica es la rama de la física que estudia los fenómenos físicos que ocurren en escalas de longitudes muy pequeñas.El calificativo "cuántico" surge de, en contraste con la mecánica clásica, considerar algunas cantidades que toman solamente valores discretos i.e., en "paquetes" o quantum-quanta en latín.Aún cuando hay muchas nociones de la mecánica cuántica que aún suscitan controversia, esta teoría se aplica exitosamente para describir el comportamiento de sistema físicos y sus predicciones son consistentes con los experimentos.Los sistemas físicos que estudia la mecánica cuántica, exhiben propiedades ondulatorias que se pueden describir mediante una ecuación de onda, por ejemplo, la bien conocida "ecuación de Schrödinger", que describe la evolución temporal de una partícula subatómica con masa, en el contexto no relativista.En estas notas trabajamos con el formalismo de matrices de densidad, que permite describir estados que son mezclas de estados puros.En consecuencia, este enfoque resulta ser una herramienta poderosa para describir sistemas cuánticos más generales, por ejemplo, acoplamientos (ensambles) de muchos sistemas cuánticos idénticos.El material que se presenta en este trabajo está dividido en cuatro secciones compuestas de la siguiente manera: la sección 1 contiene una selección de resultados de índole geométrico y analítico de la teoría de espacios de Hilbert: ortogonalidad y descomposición ortogonal, convexidad, operadores lineales, norma de operadores y funcionales lineales.La sección 2 se concentra en la clase de los operadores compactos, particularmente en los operadores de la clase de traza y de manera especial, en los operadores de Hilbert-Schmidt.Es relevante mencionar que los estados cuánticos se representan mediante operadores positivos de traza uno.La sección 3 se dedica al estudio de operadores no acotados que pueden no estar densamente definidos en un espacio de Hilbert.Abordamos también el estudio de operadores cerrados y cerrables, el adjunto de un operador y una introducción a la teoría espectral de operadores.Una parte esencial de esta sección son los operadores simétricos e isométricos, los cuales exhiben similitudes en sus propiedades geométricas y espectrales.Cabe señalar que las observables físicas se representan por operadores simétricos típicamente no acotados.Por último, en la sección 4 se discuten brevemente postulados de la mecánica cuántica en el marco del formalismo de matrices de densidad, se revisa el modelo del oscilador armónico cuántico y se ofrece una introducción a los estados cuánticos Gaussianos.Al final de cada sección incluimos una selección de problemas que sirven para complementar estas notas.El lector interesado puede profundizar en el estudio de resultados aquí expuestos, desde los más básicos hasta los más avanzados, en la literatura clásica de operadores lineales, por ejemplo en [1,2,3,4,13,20].