• Nie Znaleziono Wyników

Show that a) |hx, yi ≤ ||x|| ||y

N/A
N/A
Protected

Academic year: 2021

Share "Show that a) |hx, yi ≤ ||x|| ||y"

Copied!
3
0
0

Pełen tekst

(1)

Zielona G´ora, 17 October 2015

Quantum Mechanics CLASS

Section 2 Problem 1)

Let hx, yi denote the scalar product in a linear space X , przy czym ||x||2 = hx, xi. Show that

a) |hx, yi ≤ ||x|| ||y||, (the Schwartz inequality);

b) ||x + y||2 + ||x − y||2 = 2(||x||2 + ||y||2), (the rectangular equivalence);

c) hx, yi = 0 ⇔ ||x + y||2 = ||x||2+ ||y||2, (the Pitagoras theorem).

Problem 2)

Show that eigenvalues of the operator ˆF = ( ˆL+)n( ˆL)n s¸a are not negative.

Problem 3)

Show that if ˆU is a unitary operator then

a) the eigenvalues of ˆU are complex numbers with the modulus 1;

b) operators ˆA and ˆAU = ˆU ˆA ˆU+ have the same eigenvalues;

c) if operator ˆA is self-adjoint then ˆAU = ˆU ˆA ˆU+ is self-adjoint as well.

Problem 4)

The commutator of the operators ˆx, ˆp is equal [ˆp, ˆx] = −i¯h , Find

a) [ˆp, ˆx2];

b) [ˆp, ˆxn];

c) [ˆp, f (ˆx)]; assume that f (x) can be expanded in the Taylor series;

d)assuming

ˆ

x ψ(x) = x ψ(x), find

ˆ p ψ(x) . Problem 5)

Suppose ˆK and ˆF do not commutate, [ ˆK, ˆF ] = i ˆM 6= 0; ˆK, ˆF , ˆM are self- adjoint. Prove the uncertainty principle for ˆK and ˆF .

1

(2)

Hint. Define a mean value (expectation value) for the above operators in a given state ψ as well as standard deviations ∆ ˆF , ∆ ˆK. Prove

∆ ˆF ∆ ˆK ≥ 1

2|h ˆM i| ,

where h ˆM i is the mean value of ˆM . To prove the above inequality consider the operator ˆF +iλ ˆK, where λ ∈ R and use the fact (ψ, ( ˆF −iλ ˆK)( ˆF +iλ ˆK)ψ) ≥ 0.

2

(3)

3

Cytaty

Powiązane dokumenty

[r]

We present the full proofs of Theorems 4.1 and 4.2 for two reasons: firstly, since given functions are constant on the boundary and their complex Monge-Amp`ere measure is also

First, that this expression is not less than 0 (otherwise we would need to reverse the inequality sign).. Second, that it is not 0 (if it is, then the inequality may not be strict,

[r]

Show that any maximal ideal of A is

[r]

Suppose that X is such that whenever it is contained in a family of open balls, then we can find a finite subfamily of this family that still covers X (that means that X is

Construction of optimal spanning trees - Kruskal Algorithm (with proof of correctness).. For each task maximally 12 points can