在对齐环境中写入多线方程->积分变小？

Question

我的目标是重现以下数学片段。问题不在于符号太多，而在于当我使用环境时align，积分符号变小，导致“视觉享受”减少。

我尝试过的：

\documentclass{article}

\usepackage{mathtools}
\usepackage{amsfonts}
\newcommand*{\R}{\mathbb{R}}
\DeclareMathOperator{\Div}{div} 
\begin{document}

Then,

\begin{align}
\sup_{v \in L^2}\dfrac{\int_{\Omega}uv \,\mathrm{d}x}{\Psi(u)}  &\ge  \sup_{v \in D}\dfrac{\int_{\Omega}uv \,\mathrm{d}x}{\Psi(u)} \ge  \sup_{v \in D, \Psi(v) < \infty}\dfrac{\int_{\Omega}uv \,\mathrm{d}x}{\Psi(u)} \\
 &\ge \sup_{z \in C_c^{\infty}(\Omega, \R^n)}\dfrac{-\int_{\Omega}u\Div(z) \,\mathrm{d}x}{\|z \|_{\infty}} \ge J(u).
\end{align}

\end{document}

结果是

请忽略两个字母上的细微差别。

基本上，我猜我正在寻找的是类似\dfrac积分的东西？

Answer 1

您正在寻找\displaystyle。因此，可以定义

\newcommand\dint{\displaystyle\int} 

来实现你想要的\dint。

正如 David 在评论中指出的那样，\dint将使一切都遵循积分的显示风格，而不仅仅是积分。

\documentclass{article}

\usepackage{mathtools}
\usepackage{amsfonts}
\newcommand*{\R}{\mathbb{R}}
\DeclareMathOperator{\Div}{div} 
\newcommand\dint{\displaystyle\int}
\begin{document}
Then,
\begin{align}
\sup_{v \in L^2}\dfrac{\dint_{\Omega}uv \,\mathrm{d}x}{\Psi(u)}  &\ge  \sup_{v \in D}\dfrac{\dint_{\Omega}uv \,\mathrm{d}x}{\Psi(u)} \ge  \sup_{v \in D, \Psi(v) < \infty}\dfrac{\dint_{\Omega}uv \,\mathrm{d}x}{\Psi(u)} \\
 &\ge \sup_{z \in C_c^{\infty}(\Omega, \R^n)}\dfrac{-\dint_{\Omega}u\Div(z) \,\mathrm{d}x}{\|z \|_{\infty}} \ge J(u).
\end{align}
\end{document}

Answer 2

不必在各个分数的分母中的语句\displaystyle前插入许多指令，而是可以定义一种变体形式，比如说——我想是“double displaystyle frac”的缩写。这样，您就可以进行更多的语义标记和更少的视觉格式化。\int\frac\ddfrac

\documentclass{article}

\usepackage{mathtools,amssymb}
\newcommand{\R}{\mathbb{R}}
\DeclareMathOperator{\Div}{div} 
\DeclarePairedDelimiter\norm\lVert\rVert
\newcommand\ddfrac[2]{\dfrac{\displaystyle #1}{\displaystyle #2}}

\begin{document}

Then, % <-- don't leave a blank line before '\begin{align}'
\begin{align}
 \sup_{v \in L^2}  \ddfrac{\int_{\Omega}uv \,\mathrm{d}x}{\Psi(u)}  
 &\ge \sup_{v\in D}\ddfrac{\int_{\Omega}uv \,\mathrm{d}x}{\Psi(u)} 
  \ge \sup_{v\in D,\Psi(v)<\infty}\ddfrac{\int_{\Omega}uv \,\mathrm{d}x}{\Psi(u)} \\
 &\ge \sup_{z\in C_c^{\infty}(\Omega, \R^n)}
  \ddfrac{-\int_{\Omega}u\Div(z) \,\mathrm{d}x}{\norm{z}_{\infty}} \ge J(u).
\end{align}

\end{document}