我选择了符号
\hat{\widetilde{S_{\hat{n}}}}^{(1)}
表示多部分系统n
粒子上沿轴的自旋算子(物理学)。1
我复制并粘贴了该代码。虽然在第一个实例中它看起来不错,但n
在第二个实例中却出现了错误(第二个非下标)。我怀疑这是因为\left(
附近。
第一个例子是:
\begin{equation}
\label{SingleSpinMeasCompState}
\hat{S}_{\hat{n}} \rightarrow \hat{\widetilde{S_{\hat{n}}}}^{(1)}
= \hat{S}_{\hat{n}}^{(1)} \otimes \hat{\mathbb{I}}^{(2)}
\end{equation}
(工作正常)
第二个(不好的)是:
\begin{equation}
\label{SingletMeasProbabilities}
P \left( \hat{\widetilde{S_{\hat{n}}}}^{(1)}
\equalhat \pm \frac{\hbar}{2} \right)
= \bra{s} \left( \ket{\pm}_{\hat{n}} \bra{\pm}_{\hat{n}} \right) \ket{s}
= \mid \braket{s \mid \pm} \mid^2
= \frac{1}{2}.
\end{equation}
我怎样才能解决这个问题?
编辑:
我忘记提供我使用的软件包,它们是:
\usepackage{a4wide}
\usepackage{fancyhdr}
\usepackage{graphicx}
\usepackage[english]{babel}
\usepackage[utf8]{inputenc}
\usepackage[T1]{fontenc}
\usepackage{lmodern}
\usepackage[bookmarks]{hyperref}
\usepackage{braket}
\usepackage{mathrsfs}
\usepackage{mathtools}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsmath}
\usepackage[numbers]{natbib}
\usepackage{scalerel}
\usepackage{stackengine}
\usepackage{enumitem}
\usepackage{hyperref}
\usepackage{alltt}
\usepackage[multiple]{footmisc}
的定义\equalhat
是:
\newcommand\equalhat{\mathrel{\stackon[1.5pt]{=}{\stretchto{%
\scalerel*[\widthof{=}]{\wedge}{\rule{1ex}{3ex}}}{0.5ex}}}}
答案1
一些评论和意见:
鉴于
\hat{n}
第一个方程中的三个项中的一个明显(并且也是不合理的,对吧?)大于其他两个项,我不会声称第一个方程“运行良好”。结合
\widetilde
\hat
可能非常棘手,正如您的屏幕截图充分证明的那样。无论如何,我不是在这里使用,并且我将用\widetilde
替换所有实例。\hat{\widetilde{S_{\hat{n}}}}
\hat{\tilde{S}}_{\hat{n}}
你还没有解释如何
\equalhat
定义。是\newcommand\equalhat{\mathrel{\widehat{=}}}
可以接受吗?
表达方式
\mid \braket{s \mid \pm} \mid^2
是错误的。请将其写成
\lvert \braket{s \vert \pm} \rvert^2
根据软件包用户指南中提供的模板
mathtools
,我提供了该命令的三个参数版本\braket
。这迫使我将您现有的\braket
命令(参见前面的要点)替换为\innerp
下面定义的宏。
\documentclass{article}
\usepackage{mathtools,amssymb}
% Define the following macros: \abs, \bra, \ket, and \braket
% (See the user guide of the 'mathtools' package for the
% definition of the 3-argument '\braket' macro)
\DeclarePairedDelimiter\abs\lvert\rvert
\DeclarePairedDelimiter\bra\langle\rvert
\DeclarePairedDelimiter\ket\lvert\rangle
\DeclarePairedDelimiter\innerp\langle\rangle
\DeclarePairedDelimiterX\braket[3]{\langle}{\rangle}%
{#1\,\delimsize\vert\,\mathopen{}#2\,\delimsize\vert\,\mathopen{}#3}
% Define \equalhat -- Did I guess correctly??
\newcommand\equalhat{\mathrel{\widehat{=}}}
\begin{document}
\begin{equation}\label{SingleSpinMeasCompState}
\hat{S}_{\hat{n}} \rightarrow \hat{\tilde{S}}_{\hat{n}}^{(1)}
= \hat{S}_{\hat{n}}^{(1)} \otimes \hat{\mathbb{I}}^{(2)}
\end{equation}
\begin{equation}\label{SingletMeasProbabilities}
\Pr \Bigl( \hat{\tilde{S}}_{\hat{n}}^{(1)} \equalhat \pm\frac{\hbar}{2} \Bigr)
= \braket[\big]{s}{(\ket{\pm}_{\hat{n}}\bra{\pm}_{\hat{n}})}{s}
= \abs[\big]{ \innerp{s\vert\pm} }^2
= \frac{1}{2}
\end{equation}
\end{document}