数学模式下的多行具有相同的和符号

Question

因此，我试图提高论文的可读性，并想知道是否有任何方法可以使以下内容看起来更具吸引力。

是否有可能使子堆栈的和符号更大并跨越多个数学行，例如

作为参考，我的代码是

\begin{equation}\label{e.main_bound_Q2}
\begin{split}
\mathbb{II}_1:=\sum_{\substack{|\alpha'|+|\alpha''|\leq|\alpha|\\|\beta'|+|\beta''|\leq|\beta|\\|\sigma'|+|\sigma''|\leq|\sigma|\\|\alpha'|+|\beta'|+|\sigma'|\leq 6}}&\mathds{1}_{\gamma+2s\in \left(0,\frac{1}{2}\right)}\int_0^{T}(1+t)^{1+\delta}\norm{(1+t)^{-\frac{1+\delta}{2}}\jap{x-(t+1)v}^2\jap{v}\derv{''}{''}{''} g}_{L^2_xL^2_v}\\
&\times \norm{\derv{'}{'}{'} g}_{L^\infty_xH^{\frac{1}{2}-\delta}_v}\norm{(1+t)^{-\frac{1+\delta}{2}}\jap{x-(t+1)v}^2\jap{v}\der g}_{L^2_xL^2_v}\d t\\
\quad+\sum_{\substack{|\alpha'|+|\alpha''|\leq|\alpha|\\|\beta'|+|\beta''|\leq|\beta|\\|\sigma'|+|\sigma''|\leq|\sigma|\\|\alpha'|+|\beta'|+|\sigma'|\geq 7}}&\mathds{1}_{\gamma+2s\in \left(0,\frac{1}{2}\right)}\int_0^{T}(1+t)^{1+2\delta}\norm{(1+t)^{-\frac{1+2\delta}{2}}\jap{x-(t+1)v}^2\jap{v}\derv{''}{''}{''} g}_{L^\infty_xL^{\infty}_v}\\
&\qquad\times \norm{\derv{'}{'}{'} g}_{L^2_xL^1_v}^{\frac{2(\gamma+2s-2)}{3}+2}\norm{\derv{'}{'}{'} g}_{L^2_xL^2_v}^{-\frac{2(\gamma+2s-2)}{3}-1}\\
&\qquad\times \norm{(1+t)^{-\frac{1+2\delta}{2}}\jap{x-(t+1)v}^2\jap{v}\der g}_{L^2_xL^2_v}\d t,
\end{split}
\end{equation}

Answer 1

我同意 @Fintan 的评论，定义一个变量来表示不等式是个好主意。但是如果你想使用子堆栈，一个选项就是简单地\smash求和：（我没有费心定义所有缺失的宏来创建 MWE）：

\documentclass{article}
\usepackage{mathtools, amsfonts, dsfont}
\DeclarePairedDelimiter\norm{\lvert}{\rvert}
\let\jap\relax
\let\derv\relax
\let\der\relax


\begin{document}
\begin{equation} \begin{split}
    \label{e.main_bound_Q2}
    \mathbb{II}_1 \coloneqq 
      \smash{\sum_
        {\substack{|\alpha'|+|\alpha''|\leq|\alpha| \\
                   |\beta'|+|\beta''|\leq|\beta|\\|\sigma'|+|\sigma''|\leq|\sigma|\\
                   |\alpha'|+|\beta'|+|\sigma'|\leq 6}}}
      &\mathds{1}_{\gamma+2s\in \left(0,\frac{1}{2}\right)}
      \int_0^{T}(1+t)^{1+\delta}
      \norm{(1+t)^{-\frac{1+\delta}{2}}
      \jap{x-(t+1)v}^2\jap{v}
      \derv{''}{''}{''} g}_{L^2_xL^2_v}
    \\
    &\quad\times 
      \norm{\derv{'}{'}{'} g}_{L^\infty_xH^{\frac{1}{2}-\delta}_v}
      \norm{(1+t)^{-\frac{1+\delta}{2}}
      \jap{x-(t+1)v}^2
      \jap{v}\der g}_{L^2_xL^2_v}\d t
    \\[10pt]
    \quad+
    \smash{\sum_
        {\substack{|\alpha'|+|\alpha''|\leq|\alpha|\\
                   |\beta'|+|\beta''|\leq|\beta|\\|\sigma'|+|\sigma''|\leq|\sigma|\\
                   |\alpha'|+|\beta'|+|\sigma'|\geq 7}}}
    &\mathds{1}_{\gamma+2s\in \left(0,\frac{1}{2}\right)}
     \int_0^{T}(1+t)^{1+2\delta}
     \norm{(1+t)^{-\frac{1+2\delta}{2}}
     \jap{x-(t+1)v}^2\jap{v}
     \derv{''}{''}{''} g}_{L^\infty_xL^{\infty}_v}
    \\
    &\quad\times 
     \norm{\derv{'}{'}{'} g}_{L^2_xL^1_v}^{\frac{2(\gamma+2s-2)}{3}+2}
     \norm{\derv{'}{'}{'} g}_{L^2_xL^2_v}^{-\frac{2(\gamma+2s-2)}{3}-1}
    \\
    &\quad\times
      \norm{(1+t)^{-\frac{1+2\delta}{2}}
      \jap{x-(t+1)v}^2
      \jap{v}\der g}_{L^2_xL^2_v}\d t,
  \end{split}
\end{equation}
\end{document}

这使

Answer 2

\xmathlarger[<larger size>]{<equation>}基于\largerfrom包的的一个糟糕实现relsize。

命令名称\xmathlarger来自\mathlarger包relsize，请参阅这个答案作为的使用示例\mathlarger。

\documentclass{article}
\usepackage{amsmath}
\usepackage{relsize}

\makeatletter
\newcommand\xmathlarger[2][1]{%
  \mbox{\larger[#1]$\displaystyle#2\m@th$}%
}
\makeatother

\begin{document}
Normal size
\[
  \sum a + b
\]

Enlarged size
\[
  \mathop{\xmathlarger[3]{\sum}}_{\substack{i = 1 \\ j = 1}}
  \begin{aligned}
    a &+ b \\
      &+ c + d
  \end{aligned}
\]
\end{document} 

Answer 3

您可以使用嵌套aligned。我会排除扩大求和符号。

\derv我提供了和的模拟定义\der。关于\d，我不鼓励使用\renewcommand它；当你的参考书目包含一些\d需要（下划线重音）的作者时，你会大的麻烦。

\documentclass{article}
\usepackage{amsmath,mathtools,amssymb,dsfont}

\DeclarePairedDelimiter{\norm}{\lVert}{\rVert}
\DeclarePairedDelimiter{\jap}{\langle}{\rangle}

\newcommand{\derv}[3]{DERV}%????
\newcommand{\der}[1]{#1}%   ????
\newcommand{\diff}{\mathop{}\!\mathrm{d}}

\begin{document}

\begin{equation}\label{e.main_bound_Q2}
\begin{split}
\mathbb{II}_1:=
\sum_{\substack{
  |\alpha'|+|\alpha''|\leq|\alpha|\\
  |\beta'|+|\beta''|\leq|\beta|\\
  |\sigma'|+|\sigma''|\leq|\sigma|\\
  |\alpha'|+|\beta'|+|\sigma'|\leq 6
}}&
\begin{aligned}[t]
 &\mathds{1}_{\gamma+2s\in \left(0,\frac{1}{2}\right)}
  \int_0^{T}(1+t)^{1+\delta}\norm{(1+t)^{-\frac{1+\delta}{2}}\jap{x-(t+1)v}^2\jap{v}
  \derv{''}{''}{''} g}_{L^2_xL^2_v}\\
 &\qquad\times \norm{\derv{'}{'}{'} g}_{L^\infty_xH^{\frac{1}{2}-\delta}_v}
         \norm{(1+t)^{-\frac{1+\delta}{2}}\jap{x-(t+1)v}^2\jap{v}\der g}_{L^2_xL^2_v}\diff t
\end{aligned}
\\[2ex]
+\sum_{\substack{
  |\alpha'|+|\alpha''|\leq|\alpha|\\
  |\beta'|+|\beta''|\leq|\beta|\\
  |\sigma'|+|\sigma''|\leq|\sigma|\\
  |\alpha'|+|\beta'|+|\sigma'|\geq 7
}}&
\begin{aligned}[t]
 &\mathds{1}_{\gamma+2s\in \left(0,\frac{1}{2}\right)}
  \int_0^{T}(1+t)^{1+2\delta}\norm{(1+t)^{-\frac{1+2\delta}{2}}\jap{x-(t+1)v}^2
  \jap{v}\derv{''}{''}{''} g}_{L^\infty_xL^{\infty}_v}\\
 &\qquad\times \norm{\derv{'}{'}{'} g}_{L^2_xL^1_v}^{\frac{2(\gamma+2s-2)}{3}+2}
  \norm{\derv{'}{'}{'} g}_{L^2_xL^2_v}^{-\frac{2(\gamma+2s-2)}{3}-1}\\
 &\qquad\times \norm{(1+t)^{-\frac{1+2\delta}{2}}\jap{x-(t+1)v}^2\jap{v}\der g}_{L^2_xL^2_v}\diff t,
\end{aligned}
\end{split}
\end{equation}

\end{document}