Lecture

Quantum Mechanics: Spectral Basis and Schrödinger Equation

Graph Chat

Chat with Graph Search

Ask any question about EPFL courses, lectures, exercises, research, news, etc. or try the example questions below.

DISCLAIMER: The Graph Chatbot is not programmed to provide explicit or categorical answers to your questions. Rather, it transforms your questions into API requests that are distributed across the various IT services officially administered by EPFL. Its purpose is solely to collect and recommend relevant references to content that you can explore to help you answer your questions.

In course

MATH-495: Mathematical quantum mechanics

Quantum mechanics is one of the most successful physical theories. This course presents the mathematical formalism (functional analysis and spectral theory) that underlies quantum mechanics. It is simultaneously an introduction to mathematical physics and ...

Description

This lecture covers the proof of the existence of a spectral basis and the solution to the Schrödinger equation. It delves into the concept of unitary equivalence and the generation of self-adjoint operators. The instructor demonstrates the process of constructing a spectral basis iteratively and the properties of unitary one-parameter groups. The lecture concludes with the unique solution to the Schrödinger equation and the strong continuity of unitary groups. Various mathematical proofs and definitions are provided to support the theoretical concepts discussed.

Official source

Ontological neighbourhood

Mathematics

Analysis: Functional analysis

Related concepts (32)

Self-adjoint operator

In mathematics, a self-adjoint operator on an infinite-dimensional complex vector space V with inner product (equivalently, a Hermitian operator in the finite-dimensional case) is a linear map A (from V to itself) that is its own adjoint. If V is finite-dimensional with a given orthonormal basis, this is equivalent to the condition that the matrix of A is a Hermitian matrix, i.e., equal to its conjugate transpose A^∗. By the finite-dimensional spectral theorem, V has an orthonormal basis such that the matrix of A relative to this basis is a diagonal matrix with entries in the real numbers.

Unbounded operator

In mathematics, more specifically functional analysis and operator theory, the notion of unbounded operator provides an abstract framework for dealing with differential operators, unbounded observables in quantum mechanics, and other cases. The term "unbounded operator" can be misleading, since "unbounded" should sometimes be understood as "not necessarily bounded"; "operator" should be understood as "linear operator" (as in the case of "bounded operator"); the domain of the operator is a linear subspace, not necessarily the whole space; this linear subspace is not necessarily closed; often (but not always) it is assumed to be dense; in the special case of a bounded operator, still, the domain is usually assumed to be the whole space.

Self-adjoint

In mathematics, and more specifically in abstract algebra, an element x of a *-algebra is self-adjoint if . A self-adjoint element is also Hermitian, though the reverse doesn't necessarily hold. A collection C of elements of a star-algebra is self-adjoint if it is closed under the involution operation. For example, if then since in a star-algebra, the set {x,y} is a self-adjoint set even though x and y need not be self-adjoint elements. In functional analysis, a linear operator on a Hilbert space is called self-adjoint if it is equal to its own adjoint A^∗.

Hermitian adjoint

In mathematics, specifically in operator theory, each linear operator on an inner product space defines a Hermitian adjoint (or adjoint) operator on that space according to the rule where is the inner product on the vector space. The adjoint may also be called the Hermitian conjugate or simply the Hermitian after Charles Hermite. It is often denoted by A† in fields like physics, especially when used in conjunction with bra–ket notation in quantum mechanics.

Mathematical proof

A mathematical proof is a deductive argument for a mathematical statement, showing that the stated assumptions logically guarantee the conclusion. The argument may use other previously established statements, such as theorems; but every proof can, in principle, be constructed using only certain basic or original assumptions known as axioms, along with the accepted rules of inference. Proofs are examples of exhaustive deductive reasoning which establish logical certainty, to be distinguished from empirical arguments or non-exhaustive inductive reasoning which establish "reasonable expectation".

Related lectures (64)

Quantum Mechanics: Postulates and Observables

Explains the postulates of quantum mechanics and the representation of observables by operators.

Herglotz Representation Theorem

Covers the Herglotz representation theorem and the construction of projection-valued measure.

Postulates of Quantum Mechanics

Explains the postulates of Quantum Mechanics, focusing on self-adjoint operators and mathematical notation.

Quantum Measurement Postulate

Explores the verification of PVM properties and the spectral theorem for unbounded operators in quantum mechanics.

Unitary Group and Spectral Types