CODE 90697 2022/2023 6 cfu anno 1 MATEMATICA 9011 (LM-40) - GENOVA 6 cfu anno 2 MATEMATICA 9011 (LM-40) - GENOVA MAT/07 GENOVA 2° Semester AULAWEB

AIMS AND CONTENT

LEARNING OUTCOMES

In this course will be presented the basic concepts of quantum mechanics, highlighting the mathematical techniques necessary for the strict formalization of this theory. In particular, the algebraic structure of quantum observables will be studied and the theorems necessary for the representation of this algebra will be analyzed. Finally, some instruments of operator theory and analysis of Hilbert spaces will be used to derive the evolution equations of Schrödinger and Heisenberg and to discuss their solutions.

AIMS AND LEARNING OUTCOMES

Starting from few basic concepts from quantum mechanics, which will be recalled in the first lectures, the student will learn the tools that play a crucial role in the formalization of quantum mechanics as a rigorous mathematical theory. In order to pursue this goal, the student will

• analyze the natural algebraic structure carried by the set of quantum observables and
• investigate the foundational theorems about representations of the algebra of quantum observables, which play a crucial role in the analysis of quantum systems.

With these results the student acquires the ability to switch from an abstract algebraic approach to a more concrete one, based on the theory of operators on a Hilbert space, thus clarifying the relation with the traditional description of quantum mechanics. More specifically, the student will learn how to

• model a quantum particle through its Weyl algebra and the associated Schrödinger representation and
• describe the dynamics of a quantum system through the Schrödinger equation.

Towards the end of the course, in order to deal with applications to concrete problems of physical interest, the student will explore some tools from the theory of unbounded self-adjoint operators on Hilbert spaces.

Taught class.

SYLLABUS/CONTENT

Preliminary physical observations

• Crysis of classical physics at the atomic scale.

Algebraic description of a physical system

• Classical hamiltonian systems; states and observables.
• Observables as a C*-algebra.
• Mathematical theory of C*-algebras (both in the commutative case and in general).

Quantum systems and non-commutativity

• Heisenberg principle and non-commutativity.
• Quantum states and the Gelfand-Neimark-Segal (GNS) representation theorem.

Quantum particle

• Weyl algebra and Heisenberg group.
• Von Neumann uniqueness theorem.
• Construction of the Schrödinger representation.
• Gaussian states.

Schrödinger equation

• Time-evolution automorphisms and their representation (Heisenberg).
• Free quantum particle.

Examples and applications

• Superposition principle.
• Quantum harmonic oscillator.
• Quantum particle in a potential well.
• Hydrogen atom.

Lecture notes, as well as additional references, will be made available during the course.

TEACHERS AND EXAM BOARD

Exam Board

MARCO BENINI (President)

PIERRE OLIVIER MARTINETTI

CLAUDIO BARTOCCI (President Substitute)

NICOLA PINAMONTI (President Substitute)

LESSONS

Class schedule

The timetable for this course is available here: Portale EasyAcademy

EXAMS

EXAM DESCRIPTION

The exam consists of an oral test, during which the student is asked to demonstrate familiarity with the concepts and the tools presented during the lectures. The exam aims at testing the student's ability to state the definitions and the theorems exhamined throughout the course and to reproduce their proofs autonomously.

ASSESSMENT METHODS

The exam consists of an oral test. Please get in touch with the lecturer in order to schedule an appointment.

FURTHER INFORMATION

Students with a certified learning disorder, disability or other special educational needs are advised to contact the lecturer at the beginning of the course in order to agree on teaching and examination methods that, in compliance with the teaching objectives, take into account individual learning methods and provide appropriate compensatory tools.