Subsections

As desigualdades de Heisenberg

Nesta seção vamos apresentar um tratamento formal do princípio da incerteza, e deduzir as famosas desigualdades de Heisenberg. A mais famosa delas é:
\begin{displaymath}
\Delta p_i \Delta q_j \geq \hbar \delta_{ij}
\end{displaymath} (456)

Em todo espaço dotado de um produto escalar, vale a desigualdade de Cauchy-Schwartz, que diz que
\begin{displaymath}
\vert(\psi,\phi)\vert^2 \leq \vert\psi\vert^2\vert\phi\vert^2
\end{displaymath} (457)

ou, mais explicitamente,
\begin{displaymath}
\left(\int dq \psi^*(q)\phi(q)\right)^2 \leq \int dq
\psi^*(q)\psi(q) \int dq^{\prime} \phi^*(q^{\prime})\phi(q^{\prime})
\end{displaymath} (458)

Seja $\hat{O}$ um operador hermiteano, e $\psi$ um estado do sistema. Considere o operador

\begin{displaymath}
\hat{O}-\langle \hat{O}\rangle \hat{1}
\end{displaymath}

onde

\begin{displaymath}
\langle \hat{O} \rangle = (\psi, \hat{O}\psi)=\int dq
\psi^*(q)\hat{O}\psi(q)
\end{displaymath}

Chama-se desvio padrão de $\hat{O}$ no estado $\psi$ o número
\begin{displaymath}
(\Delta O)^2 = \langle (\hat{O}-\langle \hat{O}\rangle)^2\rangle
\end{displaymath} (459)

Entre os físicos, $\Delta O$ é denominada incerteza de $\hat{O}$ no estado $\psi$. Sejam $\hat{A}$ e $\hat{B}$ operadores hermiteanos, e
$\displaystyle \psi_{A}$ $\textstyle =$ $\displaystyle (\hat{A}-\langle \hat{A}\rangle)\psi$ (460)
$\displaystyle \psi_{B}$ $\textstyle =$ $\displaystyle (\hat{B}-\langle \hat{B}\rangle)\psi$ (461)

dois estados.

É imediato verificar que

$\displaystyle (\Delta A)^2$ $\textstyle =$ $\displaystyle (\psi_{A},\psi_{A})$ (462)
$\displaystyle (\Delta B)^2$ $\textstyle =$ $\displaystyle (\psi_{B}, \psi_{B})$ (463)

Pela desigualdade de Cauchy-Schwartz, temos

\begin{displaymath}
\Vert\psi_{A}\Vert^2 \Vert\psi_{B}\Vert^2 \geq \vert(\psi_{A},\psi_{B})\vert^2
\end{displaymath} (464)

Por outro lado, para qualquer complexo $z$, temos

\begin{displaymath}
\vert z\vert^2 = \left(\Im(z)\right)^2+\left(\Re(z)\right)^...
...q
\left(\Im(z)\right)^2 = \left(\frac{1}{2i}(z-z^*)\right)^2
\end{displaymath}

Logo,

\begin{displaymath}
\vert(\psi_{A},\psi_{B})\vert^2 \geq
\left(\frac{1}{2i}\left[(\psi_{A},\psi_{B})-(\psi_{B},\psi_{A})\right]\right)^2
\end{displaymath}

Ora,

\begin{displaymath}
(\psi_{A}, \psi_{B}) = \left((\hat{A}-\langle \hat{A}\rangle)\psi,
(\hat{B}-\langle \hat{B} \rangle)\psi\right)
\end{displaymath}


\begin{displaymath}
=(\psi,\hat{A}\hat{B}\psi)-\langle
\hat{B}\rangle(\psi,\ha...
...i,\hat{B}\psi)+\langle \hat{A}\rangle \langle
\hat{B}\rangle
\end{displaymath}

Segue imediatamente que
\begin{displaymath}
(\psi_{A},\psi_{B})-(\psi_{B},\psi_{A})=\left(\psi,[\hat{A},\hat{B}]\psi\right)
\end{displaymath} (465)

e, da Eq.(465), que
\begin{displaymath}
\Vert\psi_{A}\Vert^2 \Vert\psi_{B}\Vert^2 \geq
\left(\frac{1}{2i}\langle[\hat{A},\hat{B}]\rangle \right)^2
\end{displaymath} (466)

ou, em notação mais familiar,
\begin{displaymath}
(\Delta A)^2(\Delta B)^2 \geq \left(\frac{1}{2i}\langle
[\hat{A},\hat{B}]\rangle\right)^2
\end{displaymath} (467)

que são as relações de incerteza de Heisenberg.
Exemplo: seja $\hat{A}=\hat{p}_x$, e $\hat{B} = \hat{x}$. Então,

\begin{displaymath}
(\Delta p_x)^2(\Delta x)^2 \geq \left(\frac{1}{2i}\langle
-i\hbar\rangle\right)^2
\end{displaymath}


\begin{displaymath}
(\Delta p_x)^2 (\Delta x)^2 \geq \frac{\hbar ^2}{4}
\end{displaymath}

e, finalmente,

\begin{displaymath}
\Delta p_x \Delta x \geq \frac{\hbar}{2}
\end{displaymath}

Exercício: determine $\Delta p_x$ e $\Delta x$ para o estado fundamental do átomo de hidrogênio. Mostre que:
(a) $\Delta p_x = \frac{\hbar}{\sqrt{3} a_0}$.
(b) $\Delta x = \sqrt{2} a_0$.
(c) $\Delta p_x \Delta x = \frac{2}{3}\hbar$
(d) Conclua que o movimento do elétron é $\approx$ o mínimo possível compatível com as relações de incerteza.


A relação de incerteza energia x tempo

A relação de incerteza energia -tempo é de natureza fundamentalmente diferente daquela da relação de incerteza posição-momento . Enquanto esta última é conseqüência do fato de que os operadores $\hat{\vec{p}}_x$ e $\hat{x}$ não comutam, isto não acontece no caso da energia -tempo: nem mesmo existe um operador ``tempo'' na mecânica quântica. O tempo que aparece na equação de Schroedinger é o tempo marcado por qualquer relógio, e pode ser determinado, em qualquer caso, com precisão arbitrária. O fato básico na obtenção da desigualdade

\begin{displaymath}
\Delta E \Delta t \geq \hbar
\end{displaymath} (468)

é o seguinte: devido à relação de Planck, $E=h\nu$, onde $\nu$ é uma freqüência, temos, na mecânica quântica, que uma medida da energia é sempre uma medida de freqüência(Bohr).

A relação de incerteza 469 deve ser interpretada assim: uma medida perfeita da energia de um sistema ($\Delta E=0$) leva um tempo infinito ( $\Delta t \geq \frac{\hbar}{\Delta E}$). A expressão 469 ensina quanto deve durar, no mínimo, o processo de medida (a duração é $\Delta t$) para que a precisão obtida seja $\Delta E$.

Para obter 469, consideremos o processo de determinar a freqüência de uma onda. Matematicamente se sabe que a transformada de Fourier de uma onda nos dá a informação sobre quais freqüências participaram da construção da onda, por meio de superposição de ondas monocromáticas (isto é, de freqüências bem definidas).

Uma onda plana monocromática tem sua dependência temporal dada por $e^{i\omega_0 t}$, se sua freqüência for $\omega_0$.23 Sua transformada de Fourier é

\begin{displaymath}
f(\omega)=\int_{-\infty}^{\infty}e^{-i\omega_0 t}e^{i\omega...
...dt
=\int_{-\infty}^{\infty}e^{i(\omega - \omega_0)t} dt \; ,
\end{displaymath} (469)

logo,
\begin{displaymath}
f(\omega) = 2\pi \delta(\omega-\omega_0) \;,
\end{displaymath} (470)

mostrando, como era de se esperar, que $f(\omega)$ é zero exceto para $\omega = \omega_0$.

Na prática, porém, a medida da freqüência da onda $e^{i\omega_0 t}$ é feita observando-se essa onda durante um intervalo de tempo finito, por exemplo, do instante $\frac{-\Delta t}{2}$ até o instante $\frac{\Delta t}{2}$. Mas então a onda que realmente observamos é indistinguível da seguinte onda $u$:

$\displaystyle u$ $\textstyle =$ $\displaystyle 0 \; : \; t<-\frac{\Delta t}{2}$  
  $\textstyle =$ $\displaystyle e^{-i\omega_0t} \; : \; t \in [-\frac{\Delta t}{2},
\frac{\Delta t}{2}]$  
  $\textstyle =$ $\displaystyle 0 \; : \; t > \frac{\Delta t}{2} \; .$ (471)

A transformada de Fourier da onda (472) é:
\begin{displaymath}
f'(\omega)= \int _{\frac{-\Delta t}{2}}^{\frac{\Delta t}{2}}
e^{i(\omega - \omega_0)t} dt
\end{displaymath} (472)

ou seja,
\begin{displaymath}
f'(\omega) = \frac{1}{i(\omega-\omega_0)}(e^{i(\omega-\omeg...
...frac{\Delta t}{2}}-e^{-i(\omega-\omega_0)\frac{\Delta t}{2}})
\end{displaymath} (473)

ou

\begin{displaymath}
f'(\omega) = \frac{2}{\omega-\omega_0}\sin[(\omega-\omega_0)\frac{\Delta t}
{2}]
\end{displaymath}

e, ainda,
\begin{displaymath}
f'(\omega)=\Delta t \frac{\sin[(\omega-\omega_0)\frac{\Delta t}{2}]}
{(\omega-\omega_0)\frac{\Delta t}{2}}
\end{displaymath} (474)

Esta função tem um gráfico que apresenta um pico pronunciado para $\omega = \omega_0$, onde tem o valor 1, e corta o eixo $\omega$, ou seja, atinge o valor zero, pela primeira vez num ponto $P$ tal que, nele, $(\omega-\omega_0)\frac{\Delta
t}{2}=\pi$, ou seja,
\begin{displaymath}
\omega-\omega_0 = \frac{2\pi}{\Delta t} \; .
\end{displaymath} (475)

Este valor de $\omega-\omega_0$ pode ser definido como a metade da ``largura'' de $f'(\omega)$. Logo, esta largura é
\begin{displaymath}
\Delta \omega = \frac{4\pi}{\Delta t} \; ,
\end{displaymath} (476)

onde $\Delta t$ é a duração do processo de medida de $\omega$. $\Delta \omega$ representa a incerteza na freqüência, ou seja, informa que as freqüências presentes na onda $u$ estão entre $\omega_0
-\frac{\Delta \omega}{2}$ e $\omega_0+\frac{\Delta \omega}{2}$. Temos, então,
\begin{displaymath}
\Delta \omega \Delta t = 4\pi
\end{displaymath} (477)

e, multiplicando por $\hbar$,
\begin{displaymath}
\Delta E \Delta t = 4\pi\hbar \; .
\end{displaymath} (478)

É claro que podemos, neste mesmo intervalo de tempo, ser mais descuidados e cometer erros $\Delta E$ maiores. Logo, o resultado geral é
\begin{displaymath}
\Delta E\Delta t \geq 4\pi\hbar
\end{displaymath} (479)

Henrique Fleming 2003