uncertainty relations in QM

download uncertainty relations in QM

of 16

Transcript of uncertainty relations in QM

  • 7/24/2019 uncertainty relations in QM

    1/16

    1 Wstp

    Relacje nieoznaczonoci s jednymi z najwaniejszych i najbardziej charakterystycznychwasnoci ukadw kwantowych. Relacje nieoznaczonoci s matematycznymi konsekwen-cjami braku statystycznej niezalenoci pary obserwabli, ktre dziaaj nieprzemiennie

    w przestrzeni Hilberta opisujcej ukad kwantowy. Maj one posta nierwnoci ograni-czajcych dopuszczalne wartoci parametrw rozkadw (tj. wartoci rednie, odchyleniastandardowe itp.) badanych obserwabli. Szczeglnie interesujce fizycznie s takie relacje,kiedy parametry tych rozkadw s ograniczone przez niezerow sta niezalen od stanuw jakim znajduje si ukad. Relacja nieoznaczonoci zostaa sformuowana po raz pierw-szy w 1927 przez Heisenberga [1], a uoglniona w jzyku operatorw samosprzonychw 1929 przez Robertsona [2]. Od tego czasu powstao wiele innych uoglnie i alterna-tywnych sformuowa zasad nieoznaczonoci, np. entropowe relacje nieoznaczonoci [3].Warto zaznaczy, e relacje nieoznaczonoci s blisko zwizane z nierwnociami Bella,ktre s nierwnociami midzy korelacjami obserwabli [4], [5]. Zainteresowanie relacjami

    nieoznaczonoci ponownie odyo w ostatnich latach, o czym wiadczy obszerna lista pu-blikacji pojawiajcych si po roku 2000. W szczeglnoci mona zwrci uwag na prace[6], [7].W swojej pracy przedstawiam now propozycj uoglnienia relacji nieoznaczonoci za-proponowan przez promotora niniejszej pracy, profesora Andrzeja Herdegena. Z racjimatematycznego charakteru pracy konsekwentnie stosuj ukad jednostek, gdzie = 1.

    2 Operatory normalne

    Niech bdzie dana zespolona, orodkowa przestrze HilbertaH. Iloczyn skalarny w tejprzestrzeni, oznaczmy symbolem (, ) dla dowolnych , H. Norm indukowanprzez iloczyn skalarny oznaczamy jako =

    (, ). Stan czysty ukadu kwantowe-

    go okrelamy przez promie wektora jednostkowego H ( = 1), to jest zbir[] ={: C,||= 1}. W niniejszej pracy rozwaam tylko stany czyste, ktre bddalej oznacza tym samym symbolem co wektor stanu.

    Rozwamy pewien operator liniowy A :D(A) H okrelony na podprzestrzeniD(A) H, ktra jest dziedzin operatora A, tzn.D(A) :={ H : A H}. Niech

    D(A) bdzie zbiorem gstym w

    H, wtedy istnieje operator sprzony A do operatoraA,

    ktry jest okrelony na dziedzinie

    D(A) =

    H: supD(A)

    |(,A)|

  • 7/24/2019 uncertainty relations in QM

    2/16

    2. jest domknity (tzn. zbir par kartezjaskich{,N: D(N)}jest domknitywH H),

    3. zachodzi [N, N] = 0.

    W szczeglnoci operatorami normalnymi s operatory samosprzone (opisujce obser-wable ukadw kwantowych) oraz operatory unitarne (opisujce dynamik stanw kwan-towych).

    Twierdzenie 1 (Wasnoci operatorw normalnych). JeliN jest operatorem normal-nym wH, to:

    1.D(N) =D(N),2.N=N dla kadego D(N),

    3. jeli ponadtoN jest samosprzony (czyliN = N), wtedy dla dowolnej funkcjifmierzalnej na(N) operatorf(N) jest normalny.

    Dowd. [8]

    Niech C, M() bdzie -algebr zbiorw borelowskich nad , a B(H) oznaczaalgebr operatorw ograniczonych dziaajcych na przestrzeni HilbertaH. Miar spek-traln na M() nazywamy odwzorowanie

    E : M() B(H)speniajce nastpujce wasnoci:

    1. E() = 0, E() =1,2. dla kadego M() operatorE() jest operatorem rzutowym,3. E(1)E(2) =E(1 2) dla dowolnych 1, 2M(),

    4. jeli =i=1

    i i ij = dla i= j, to limn

    ni=1

    E(i) E() = 0 dla

    kadego H.

    Twierdzenie 2 (Twierdzenie spektralne). Kady operator normalnyNwH, ma dokad-nie jedn miar spektralnEnaM((N)), gdzie(N) C, ktra spenia

    N=(N)

    zdE(z).

    Jeli ponadto funkcjaf jest mierzalna na(N), to

    f(N) =(N)

    f(z) dE(z).

    Dowd. [8]

    2

  • 7/24/2019 uncertainty relations in QM

    3/16

    Dla dowolnego D(N) i M((N)) funkcja () := (, E()) jest miarprawdopodobiestwa na M((N)) (tzn.((N)) = 1). Zatem dla operatora normalnegoNmona zdefiniowa warto redni

    N

    := (, N) =

    (N)

    zd(z)

    oraz wariancj

    2(N) :=(N N)2 =(N)

    |z N|2 d(z) =NN |N|2.

    Indeks bd pomija, jeli nie bdzie to powodowa niejasnoci. W przypadku opera-tora samosprzonego A widmo jest rzeczywiste (tzn. (A) R) i dostajemy 2(A) =A2 A2. Dla operatora unitarnego U, ktrego widmo zawiera si w jednostkowymokrgu na C(tzn. (U) {z C:|z|= 1}), otrzymujemy 2(U) = 1 |U|2. Zwizekten pokazuje, e w przypadku operatora unitarnego Uodchylenie standardowe (U) jestokrelone tylko przez warto redni, a ponadto (U)[0, 1].

    Rodzin operatorw unitarnychUt :H Hdla t R, speniajc wasnoci:1. Ut1Ut2 =Ut1+t2, UtUt = UtUt=U0=1,

    2. Ut=U1t =Ut,

    3. limt0 (Ut 1)= 0 dla kadego H.nazywamy silnie cig jednoparametrow grup operatorw unitarnych.

    Twierdzenie 3 (Twierdzenie Stona). Dla silnie cigej jednoparametrowej grupy opera-torw unitarnych{Ut}tR wH, istnieje dokadnie jeden samosprzony operatorA taki,eUt=e

    itA.

    Dowd. [9]

    3 Uoglnienie relacji nieoznaczonoci

    W tej czci przejd do gwnego zagadnienia pracy, czyli do wyprowadzenia metody,ktra pozwoli otrzymywa oglniejsze relacje nieoznaczonoci dla klasy operatorw nor-malnych. Metoda ta zostaa zaproponowana przez promotora niniejszej pracy prof. An-drzeja Herdegena.

    Rozwamy operatory normalne A, B dla ktrych istnieje gsta podprzestrzeD D(A) D(B), na ktrej jest okrelony komutator [A, B] (tzn.D=D([A, B]) =D(AB) D(BA)). Wemy pewne dwa wektory, H(dookrelone zostan na kocu poniszegorozumowania) i oszacujmy dla nich warto|(, [A, B])|:

    |(, [A, B])

    |=

    |(,AB) + (,BA)

    |,

    3

  • 7/24/2019 uncertainty relations in QM

    4/16

    z nierwnoci trjkta

    |(,AB) + (,BA)| |(,AB)| + |(,BA)|=|(A,B)| + |(B,A)|,

    z nierwnoci Schwartza i wasnoci operatw normalnych

    |(A,B)| + |(B,A)| AB + BA=AB + BA,

    a zatem

    |(, [A, B])| AB + BA.

    Dokonajmy podstawieniaAAa1, BBb1, gdziea, b C s dowolnymi liczbami.Transformacja ta zachowuje normalno operatorw oraz komutator, a std otrzymujemynierwno

    |(, [A, B])| (A a)(B b) + (B b)(A a), (3.1)

    ktra jest okrelona dla dowodnych D(A) D(B), D(AB) D(BA).

    Nierwno (3.1) stanowi punkt wyjcia dla dalszych rozwaa. Gwnym pomysemmetody szukania uoglnie relacji nieoznaczonoci jest rozwaenie dwch, w oglnocirnych, stanw i. Dla zadanych operatorw A, B i ustalonego stanu mamy swo-bod wyboru stanu tak by lewa strona (3.1) uzyskaa szczeglnie wygodn posta.

    Drug wan cech otrzymanej nierwnoci, dziki wasnoci komutatora, jest zalenotylko prawej strony od parametrw liczbowych a i b, dziki czemu mona je dobiera takby przy zadanych operatorach A, B i wektorach , zminimalizowa warto prawejstrony nierwnoci (3.1). W dalszych rozdziaach zaprezentuj przykady zastosowaniatej metody dla rnych ukadw fizycznych oraz poka, e daje interesujce wyniki.

    Jako pierwszy przykad poka, kiedy nierwno (3.1) daje standardow zasad nie-oznaczonoci Heisenberga-Robertsona. Niech A, B bd operatorami samosprzonymi,oraz = . Wtedy (3.1) przyjmuje posta

    |(, [A, B])

    | 2

    (A

    a)

    (B

    b)

    .

    Prawa strona przyjmuje minimaln warto dlaa =A ib =B, zatem otrzymujemystandardow relacj

    1

    2

    [A, B](A)(B), (3.2)

    dla D([A, B]). A wic nierwno Heisenberga-Robertsona dostalimy jako szczegl-ny przypadek nierwnoci (3.1).

    4

  • 7/24/2019 uncertainty relations in QM

    5/16

    4 Relacje nieoznaczonoci dla algebraicznych relacji

    Weyla

    Zastosujmy wynik poprzedniego punktu do wyprowadzenia relacji nieoznaczonoci dla

    operatorw speniajcych relacj Weyla. Relacje Weyla s szczeglnie wygodne przy ba-daniu relacji nieprzemiennoci, poniewa operuj operatorami unitarnymi, ktre s ogra-niczone i okrelone na caej przestrzeni Hilberta, co redukuje problemy zwizane z dzie-dzinami operatorw nieograniczonych.

    Niech bd dane pewne dwa (w oglnoci rne) podzbiory 1, 2 R. Mwimy, eoperatoryU iV, dla 1, 2, speniaj relacje Weyla, jeli:

    1. U=U=U1 , V=V

    =V

    1 , U0=V0=1,

    2. U1U2 =U1+2 , V1V2 =V1+2, UV=eiVU.

    Rozwamy zatem dowolne dwa operatoryU, Vspeniajce relacj Weyla i zastosuj-my do nich nierwno (3.1). Z relacji Weyla otrzymujemy posta komutatora

    [U, V] = ( 1) VU,

    gdzie := ei. Lewa strona nierwnoci (3.1) przybiera szczeglnie prost posta jelidobierzemy stany na dwa nastpujce sposoby:

    1. = VU dla ustalonego ,

    2. = V, =Udla ustalonego .

    W pierwszym przypadku dostajemy

    | 1| (U u)VU(V v) + (V v)VU(U u)=(U u)V(V v) + (V v)U(U u)=(U u)(V v) + (V v)(U u),

    a w drugim

    |

    1|

    (U

    u)V

    (V

    v)U

    +

    (V

    v)V

    (U

    u)U

    =(U u)(V v) + (V v)(U u)=(U u)(Vv) + (V v)(U u),

    dla dowolnych u, v C. Kadc v := v atwo wida, e oba przypadki s rwnowane.Wystarczy zatem zminimalizowa praw stron nierwnoci

    | 1| (U u)(V v) + (V v)(U u) (4.1)

    wzgldem parametrwui v.

    5

  • 7/24/2019 uncertainty relations in QM

    6/16

    Przepiszmy w jawnej postaci praw stron nierwnoci (4.1) i oznaczmy jako

    f(u, v; u, v) :=

    |u U|2 + 2(U)

    |v V|2 + 2(V)+|u U|

    2 + 2(U)|v V|2 + 2(V).

    Wyraenie to moemy rozumie jako funkcj f : C2 u, v f(u, v; u, v) R, ktrajest R-rniczkowalna i w szczeglnoci prawdziwe s dla niej rwnoci

    f

    u=

    f

    u=

    f

    u,

    f

    v =

    f

    v =

    f

    v.

    Pochodne funkcjifpo zmiennych sprzonych wynosz

    f

    u=

    |v V|2 + 2(V)

    2|u U|2 + 2(U)

    (u U) +

    |v V|2 + 2(V)2|u U|

    2 + 2(U)(u U) ,

    f

    v =

    |u U|2 + 2(U)2

    |v V|2 + 2(V)(v V) +

    |u U|2 + 2(U)2

    |v V|2 + 2(V)(v V) .

    Warunek konieczny istnienia ekstremum funkcjifprzyjmuje wtedy posta ukadu rwna

    f

    u(u, v) = 0

    f

    v(u, v) = 0

    .

    Zapiszmy ten ukad w postaci 1(u U) + 2(u U) = 01(v V) + 2(v V) = 0 , (4.2)

    gdzie

    1 :=

    |v V|2 + 2(V)|u U|2 + 2(U) , 2:=

    |v V|2 + 2(V)|u U|2 + 2(U).

    Traktujc 1, 2 jak parametry, rozwizujemy rwnania (4.2) ze wzgldu na u, v:

    u= (1+ 2)U, v= (1+ 2)V,gdzie

    i := i

    1+ 2[0, 1] dla i= 1, 2.

    Parametry 1 i 2 nie s niezalene, poniewa speniaj 1+ 2 = 1. Traktujc 1, 2jako nowe zmienne sprowadzamy ukad rwna (4.2) do jednego rwnania rzeczywistego

    12=21.

    Czynniki 1, 2 oczywicie zale od 1 i 2 w sposb uwikany. W celu rozwikaniatego rwnania, podnosimy je obustronnie do kwadratu, a nastpnie wstawiamy jawne

    6

  • 7/24/2019 uncertainty relations in QM

    7/16

    wyraenia na 1 i 2. Po serii prostych przeksztace algebraicznych i pogrupowaniuwyrazw wzgldem kolejnych potg 1, 2, otrzymujemy rwnanie wielomianowe postaci

    | 1|4|U|2|V|2

    2241 2142

    + 2(U)

    2(V)

    22 21

    = 0,

    ktre ostatecznie redukuje si do| 1|4|U|2|V|22122 2(U)2(V)

    (1 2) = 0. (4.3)

    Rozwizaniami tego rwnania s

    1 = 2, 12 = (U)(V)

    | 1|2|U||V| .

    Z pierwszego rozwizania rwnania (4.3), przy warunku 1+2 = 1, dostajemy 1 =2=

    12

    , a std

    u=1

    2(+ 1)U, v=1

    2(+ 1)V.Wstawiajc otrzymane uiv do nierwnoci wyjciowej (4.1) dostajemy

    (2 1)|U|2 + 1

    (2 1)|V|2 + 1,

    gdzie:= 12|1|. Po podniesieniu nierwnoci obustronnie do kwadratu i pogrupowaniu

    wyrazw wzgldem kolejnych potg wyraenia 2 1, dostajemy nierwno postaci0(2 1)2|U|2|V|2 + (2 1)

    |U|2 + |V|2 1

    = (

    2

    1) (2

    1)|U|2

    |V|2

    +|U|

    2

    + |V|2

    1 .Poniewa

    (1

    |U

    |2) (1

    |V

    |2)

    |U|2|V|2 .Z drugiej strony 2 > 4 dla < 1, wic otrzymana nierwno jest sprzeczna z nierw-noci (4.4). Na tej podstawie odrzucamy drugie rozwizanie rwnania (4.3).

    Obliczmy jawn posta parametru :

    2 =1

    4| 1|2 =1

    4( 1)( 1) =1

    4

    ei 1

    ei 1

    =1

    4 ei2

    ei

    2 e

    i2

    ei

    2 = sin

    2

    2

    7

  • 7/24/2019 uncertainty relations in QM

    8/16

    i wprowadmy oznaczenia:

    D(U) :=(U)

    |U| =

    1 |U|2|U| , D(V) :=

    (U)

    |U| =

    1 |V|2|V| .

    Szukan nierwnoci optymaln w stosunku do (4.1) jest ostatecznie nierwno (4.4),ktr mona zapisa w postaci sin2

    D(U)D(V), (4.5)dla kadego H.

    4.1 Nieoznaczono pdpooenie

    W przestrzeniH= L2(R, dx) rozwamy operatory(U)(x) :=(x ), (V)(x) :=eix(x),

    dla dowolnych H oraz , R. Operatory te speniaj relacje Weyla. Ponadtooba tworz silnie cige jednoparametrowe grupy operatorw unitarnych, a wic na mocytwierdzenia Stona istniej samosprzone operatory P, X takie, e U = e

    iP i V =eiX, okrelone na dziedzinach

    D(P) =

    L2(R, dx) : jest absolutnie ciga,

    |(x)|2 dx

  • 7/24/2019 uncertainty relations in QM

    9/16

    ktra jest okrelona na caej przestrzeniH. Poka, e ta nierwno daje w granicz-nym przypadku relacj (4.6), oraz zaprezentuj przykad zastosowania tej nierwnoci doprzypadku gdy nie istniej dla pary kanonicznej odchylenia standardowe (X) lub (P).

    Niech

    D(X). Dla operatoraVzastosujmy twierdzenie spektralne i obliczmy jego

    wariancj:

    2(V) = 1 |V|2

    = 1 (X)

    eix d(x)(X)

    eiy d(y)

    =(X)(X)

    1 ei(xy)

    d(x, y)

    =(X)(X)

    ei1

    2(xy) ei 12(xy) ei 12(xy) d(x, y)

    = 2i (X)(X)cos

    (x y)2

    i sin(x y)

    2 sin

    (x y)2

    d(x, y).

    Z faktu, e miara (x, y) =(x)(y) jest symetryczna na (X) (X) wynika znikaniewyrazu z iloczynem sin (xy)

    2 cos (xy)

    2 , a wic dostajemy

    2(V) = 2(X)(X)

    sin2(x y)

    2 d(x, y).

    Podzielmy nierwno (4.5) przez|| i obliczmy granic przy 0:

    lim0

    1

    sin

    2

    lim

    0D(V)

    || D(U).

    Korzystajc faktu, e lim0 sin = 1, z lewej strony dostajemy ||2 , a z prawej

    lim0

    D(V)

    || = lim0(V)

    |||V| .

    Poniewa

    V=(X)

    eix d(x)1 dla 0,

    wic pozostaje obliczy

    lim

    0

    2(V)

    2

    = lim

    0

    2

    2

    (X)(X)sin2

    (x y)

    2

    d(x, y)

    = 2(X)(X)

    lim0

    1

    sin

    (x y)2

    2d(x, y)

    =1

    2

    (X)(X)

    (x y)2 d(x, y)

    =1

    2

    (X)(X)

    (x2 + y2 2xy) d(x, y)

    =1

    2

    (X)

    x2 d(x) +1

    2

    (X)

    y2 d(y) (X)

    x d(x)(X)

    y d(y)

    =

    X2

    X

    2 = 2(X),

    9

  • 7/24/2019 uncertainty relations in QM

    10/16

    czyli w granicy0 otrzymalimy zwyk wariancj dla operatora samosprzonegoX.Ostatecznie moemy zapisa graniczn posta nierwnoci (4.5) jako

    ||2 (X)D(U) (4.7)

    dla D(X). Jeli ponadto D(P), to stosujc twierdzenie spektralne dla operatoraUmoemy powtrzy powysze rozumowanie dla nierwnoci (4.7). W tym celu dzielimyje obustronnie przez|| i obliczamy granic przy 0. Std dostajemy nierwno

    1

    2(X)(P),

    dla D(X) D(P). Otrzymalimy zatem standardow relacj Heisenberga dla parykanonicznej (4.6), z t rnic, e okrelon na zbiorzeD(X) D(P), ktry jest szerszyniD([X, P]).

    Wemy stan (x) = 1 (1 +x2)1/2 L2(R, dx). Dla funkcji rozkadu prawdopo-dobiestwa||2 nie istniej momenty w adnym rzdzie, a wic nie istnieje odchyleniestandardowe (X), istnieje jednak (P). Moemy jednak zastosowa nierwno (4.5).Dla operatora Votrzymujemy

    V = 1

    eix

    1 + x2dx= e||,

    co atwo pokaza metod residuw. Std dostajemy nierwno

    sin

    2

    1

    e2||

    e|| D(U) =

    e2

    |

    | 11

    2

    D(U),

    czyli

    D(U)

    e2|| 1 1

    2

    sin2 .

    Dzielc nierwno obustronnie przez||i biorc granic 0, otrzymamy

    (P)||2

    e2|| 1

    12 .

    W celu znalezienia wartoci maksymalnej funkcji po prawej stronie nierwnoci, rozwamy

    funkcj

    f() := 2

    4 (e2 1)dla >0. Funkcja fjest ciga i ma pochodn

    f() =(e2(1 ) 1)

    2 (e2 1)2 .

    Z warunku f() = 0 otrzymujemy rwnanie

    = 1

    e2.

    10

  • 7/24/2019 uncertainty relations in QM

    11/16

    Rwnanie to posiada jedno rozwizanie 0(0, 1), poniewa styczna do funkcji g() :=1e2 ma w punkcie = 0 kierunek g(0) = 2, a wic < 1e2 w pewnymprawostronnym ssiedztwie = 0, z kolej dla = 1 zachodzi nierwno 1 > 1 e2.Ponadto, z tego rozumowania wynika, e w punkcie 0 jest maksimum funkcji f(), awic nierwno

    (P) 02

    e20 1

    12dla 0(0, 1) jest optymalna.

    4.2 Problem kt-krt

    Rozwamy przestrzeH= L2([0, 2], d). Zdefiniujmy operator

    (U)() :=( )

    dla R

    /mod 2. Operator naley do silnie cigej jednoparametrowej grupy operatorwunitarnych, a wic na mocy twierdzenia Stona istnieje samosprzony operatory L taki,e U=e

    iL, na dziedzinie

    D(L) =

    L2([0, 2], d) : jest absolutnie ciga, (2) =(0), 20

    |()|2 d

  • 7/24/2019 uncertainty relations in QM

    12/16

    dla dowolnych H, R/mod 2, n Z. Poniewa tylko jest cigym parame-trem, wic moemy powtrzy rozumowanie z podpunktu 4.1, gdy 0. Ostatecznieotrzymujemy nierwno (4.7) w postaci

    |n|2

    D(Wn)(L) (4.8)

    dla D(L), n Z. Dlan= 1 nierwno (4.8) jest identyczna z relacj nieoznaczonocikt-krt otrzyman w pracy [11]. Podobny wynik mona otrzyma rwnie dla relacjifaza-liczba bozonw [4].

    5 Relacja nieoznaczonoci energia-czas

    Ewolucja czasowa ukadu kwantowego w przestrzeniHopisana jest silnie cig jednopa-rametrow grup operatorw unitarnych Ut, gdzie t R. Z twierdzenia Stonea wynikaistnienie samosprzonego operatoraHokrelonego na gstej dziedzinie

    D(H) i takiego,

    e Ut = eitH. Operator H jest operatorem energii (hamiltonianem). Czas peni wyr-

    nion rol w mechanice kwantowej i w szczeglnoci nie da si okreli operatora czasuTtak by by samosprzony [12]. W zwizku z tym nie mona zastosowa nierwno(3.2), nawet gdyby istnia dobrze okrelony komutator [T, H]. Zamiast rozwaa operatorczasu T mona wzi pewien operator samosprzony A i stan t := Ut ( zostaniedookrelony w dalszej czci tego punktu). Zachodzi wtedy rwno

    d

    dt(t, At) =i(t, [H, A]t),

    ktr mona zestawi z nierwnoci (3.2), skd dostajemy

    1

    2

    ddtAt (H)t(A). (5.1)

    Wyprowadzenie to pochodzi od Mandelstama i Tamma [13]. Stosujc ponownie metodprzedstawion w punkcie 3, zaprezentuje inne rozwizanie tego problemu.

    Rozwamy pewien operator normalny A i oznaczmy At := UtAUt. Zastosujmy nie-

    rwno (3.1) do operatorw Ut iA, ktrych komutator wynosi

    [Ut, A] =Ut(A At).Dla ustalonego stanu D(A) D(At) wemy = Ut. Otrzymujemy wic

    |A At| (A a)Ut(Ut u) + (Ut u)Ut(A a)=(Ut u) ((At a) + (A a)) , (5.2)

    gdzie u, aC. Podobnie jak wczeniej, szukamy minimalnej wartoci wyraenia po pra-wej stronie nierwnoci (5.2) wzgldem parametrw u i a. Praw stron tej nierwnocimoemy traktowa jako funkcj dwch zmiennych zespolonych u, ao wartociach rzeczy-wistych, ktra ma posta

    f(u, a; u, a) := |u

    Ut

    |2 + 2(Ut)|

    a

    At

    |2 + 2(At) + |

    a

    A

    |2 + 2(A) .

    12

  • 7/24/2019 uncertainty relations in QM

    13/16

    Poniewa funkcja f jest R-rniczkowalna, to jej minimum znajdziemy analogicznie jakw punkcie 4. Warunek konieczny na istnienie ekstremum funkcji fma wic posta

    f

    u(u, a) = 0

    f

    a(u, a) = 0

    .

    Z pierwszego rwnania dostajemy natychmiast, e u =Ut. Drugie rwnie zapiszmy wpostaci

    t(a At) + (a A) = 0, (5.3)gdzie

    t := 1

    |a At|2 + 2(At), :=

    1|a A|2 + 2(A)

    .

    Traktujc t, jako parametry, rozwizujemy rwnanie (5.3) wzgldem a:

    a= tAt + A,

    gdzie

    t := tt+

    , :=

    t+ .

    Czynnikit, [0, 1] i speniaj rwno t + = 1. Traktujc t i jako nowe zmienneprzeksztacamy rwnanie (5.3) do postaci

    t= t.

    Po podniesieniu obustronnie rwnia do kwadratu i serii elementarnych przeksztace al-gebraicznych, otrzymujemy do rozwizania prosty ukad rwna linowych

    (A)= (At)tt+ = 1

    .

    Rozwizanie tego ukadu jest postaci

    t= (A)

    (At) + (A), =

    (At)

    (At) + (A),

    a std otrzymujemy

    a=(At)A + (A)At

    (At) + (A) .

    Wstawiajc otrzyman wartoci parametru a i u=Ut do nierwnoci (5.2) dostajemynierwno postaci

    |A At| (Ut)((A) + (At)) |A At|2

    ((A) + (At))2 1.

    13

  • 7/24/2019 uncertainty relations in QM

    14/16

    Po podniesieniu obustronnie do kwadratu i pogrupowaniu wyrazw tak by tylko po jednejstronie byo wyraanie|A At| otrzymujemy

    |A At| (Ut)1

    2(Ut)((A) + (At)) =

    (Ut)

    |Ut

    |

    ((A) + (At)) .

    Ostatecznie, otrzyman nierwno moemy zapisa postaci

    |A At| D(Ut) ((A) + (At)) , (5.4)

    gdzie D(A) D(At).

    Niech A a bdzie operatorem samosprzonym, dla ktregoAt ronie monoto-nicznie z czasem t. Zamy, e

    t(,)D(At) D(H) dla pewnego > 0, funkcja

    (

    , )

    t

    At

    H jest silnie ciga, oraz

    At

    ma pochodn w t = 0. Podzielmy

    obustronnie nierwno (5.4) przez|t| i obliczmy granic przy t0:

    limt0

    |A At||t| limt0

    D(Ut)

    |t| ((A) + (At)) .

    Lewa strona jest moduem pochodnej ddt

    At w punkcie t = 0. Po prawej stronie ma-my limt0(At) = (A), a wic zostaje do obliczenia granica limt0

    D(Ut)

    |t| . Stosujctwierdzenie spektralne dla operatora Ut i postpujc analogicznie jak w podpunkcie 4.1,

    przy wyprowadzeniu nierwnoci (4.7), dostajemy limt0D(Ut)

    |t| = (H). Std otrzy-mujemy nierwno

    12

    ddtAtt=0

    (H)(A)

    dla t(,)

    D(At) D(H). Wynik jest zgodny z relacj (5.1).

    Przyjrzyjmy si dokadniej nierwnoci (5.4). Przepiszmy j w nieco bardziej jawnejpostaci

    |A At| (Ut)|(, t)| ((A) + (At)) ,

    gdziet = Ut. Zamy, e operatorA jest obserwabl mierzc, w jakim sensie, upyw

    czasu, a wicAt monotonicznie ronie z czasem oraz (A) + (At) jest ograniczoneprzez sta. Poniewa czynnik (Ut) jest zawsze ograniczony, to|(, t)| musi maleco najmniej tak szybko jak ronieAt. JeliAt t, to|(, t)| 1/t, innymi sowystan t coraz mocniej rni si od stanu . Nierwno (5.4) stanowi wic kryteriumwykluczajce istnienie obsewabli mierzcej czas w pewnych ukadach kwantowych, jeli|(, t)| nie znika dostatecznie szybko. Zilustrujmy to na poniszym przykadzie ukadudwu stanowego.

    14

  • 7/24/2019 uncertainty relations in QM

    15/16

    Niech t = c1eit11+ c2eit22, gdzie c21+ c

    22 = 1 oraz Hk = kk dla k = 1, 2.

    Mona przyj, eck = 1

    2eik/2 dla pewnych liczbk R. Biorc = t=0 otrzymamy

    |(, t)|=|c1|2eit1 + |c2|2eit2

    =12ei(t1+1) + ei(t2+2)

    =

    cost(1 2) + 1 22 .

    Funkcja |(, t)|jest okresowa w czasie, a wic na mocy nierwnoci (5.4) dla rozwaanegoprzykadu nie istnieje obserwabla mierzca upyw czasu.

    6 Podsumowanie

    Metoda wyprowadzania relacji nieoznaczonoci przedstawiona w punkcie 3 daje wynikizgodne z relacj Heisenberga-Robertsona, tam gdzie jest okrelona, oraz pozwala uzyskanietrywialne relacje w przypadkach gdzie nierwno Heisenberga-Robertsona si zaa-muje, jak w przypadku relacji kt-krt. Ponadto pozwala otrzyma cakiem nowe i ogl-niejsze relacje, niosce bogatsz tre fizyczn, co zostao pokazane na przykadzie relacjienergia-czas. Wedug mojej aktualnej wiedzy pomys z zastosowaniem dwch rnychstanw do wyprowadzenia relacji nieoznaczonoci nie pojawi si jeszcze w literaturze.Interesujce wydaj si by dalsze zastosowania nierwnoci (3.1) do innych ukadwfizycznych, w szczeglnoci do reprezentacji rzutowej oglnej grupy obrotw. Generato-rami tej reprezentacji s operatory krtu J1, J2, J3 speniajce relacje [Ji, Jj] = iijkJk,

    gdzie i ,j, k = 1, 2, 3. Z nierwnoci Heisenberga-Robertsona (3.2) otrzymuje si relacj(J1)(J2) 12 |J3|. Operatory Ji nie s dodatnie, przez co prawa strona nierwnocimoe si zerowa dla pewnych stanw, co ogranicza uyteczno tej relacji. Otwartym pro-blemem pozostaje wic pytanie, czy zastosowanie omwionej w tej pracy metody pozwoliotrzyma now relacj nie obarczon t wad.

    15

  • 7/24/2019 uncertainty relations in QM

    16/16

    Literatura

    [1] Heisenberg W.:Uber den anschaulichen Inhalt der quantentheoretischen Kinematikund Mechanik, Zeitschrift fur Physik 43, pp. 172198 (1927)

    [2] Robertson H. P.: The Uncertainty Principle, Phys. Rev. 34, pp. 16364 (1929)

    [3] Biaynicki-Birula I., Mycielski J.: Uncertainty relations for information entropy inwave mechanics, Communications in Mathematical Physics, pp. 129-132 (1975)

    [4] Busch P., Grabowski M., Lahti P. J.:Operational Quantum Physics, Springer, Berlin,1995

    [5] Jurkowski J.:Korelacje nieklasyczne, Wydawnictwo Naukowe UMK, Toru, 2014

    [6] Wehner S., Winter A.: Entropic uncertainty relations-a survey, New Journal of Phy-sics 12 (2010)

    [7] Bialynicki-Birula I., Bialynicka-Birula Z.: Uncertainty relation for photons, Phys.Rev. Lett. 108 (2012)

    [8] Rudin W.:Analiza funkcjonalna, PWN, Warszawa, 2001

    [9] Reed M., Simon B.:Methods of Modern Mathematical Physicsvol.I., Academic Press,San Diego, 1979

    [10] Kraus K.: Remark on the uncertainty between angle and angular momentum, Z.Physik 188, pp. 374377 (1965)

    [11] Hradil Z., Rehacek J., Bouchal Z., Celechovsky R., Sanchez-Soto L. L.: Minimumuncertainty measurements of angle and angular momentum, Phys. Rev. Lett. 97(2006)

    [12] Grabowski M., Ingarden R. S.:Mechanika kwantowa, PWN, Warszawa, 1989

    [13] Mandelstam L. I., Tamm I. E.: The uncertainty relation between energy and time innonrelativistic quantum mechanics, Izv. Akad. Nauk SSSR (ser. fiz.) 9, pp. 122-128(1945)

    16