多行怎样写？

Question

我想写这个

我尝试过这个：

\begin{multline}
  W^{m ,\Phi}(\Omega)= \bigl\{u\in L^{\Phi}(\Omega); ~\text{there exists}~ \{g_{\alpha}\}\in L^{\Phi}(\Omega), \alpha=(\alpha_1,\ldots,\alpha_N), ~\text{such that}\\
\int_{\Omega}u\frac{\partial^{\alpha}\varphi}{\partial ^{\alpha_1}x_1\ldots\partial^{\alpha_N}x_N}dx=(-1)^{||\alpha||_{S}}\int_{\Omega}g_{\alpha}\varphi dx,\\
\text{for any}~ \varphi\in C^{\infty}_0(\Omega)~\text{and}~ ||\alpha||_{S}\leq m  \bigr\}\nonumber
\end{multline}

但我想得到积分下的“任何”。

Answer 1

我猜你想要的align是 而不是multline。但是，应该避免使用如此长的集合描述，因为它们确实很难阅读。

注意一些修复。避免~在数学模式中：在 中添加空格\text通常更好。我\,在 前面添加了dx，这是很好的做法。对于规范，是||不正确的：\lVert应该\rVert像下面这样使用。

\documentclass{article}
\usepackage{amsmath}

\begin{document}

\section{First solution}

Here is a long set description
\begin{align*}
W^{m ,\Phi}(\Omega)=
\Bigl\{
u\in L^{\Phi}(\Omega);
& \text{ there exists } \{g_{\alpha}\}\in L^{\Phi}(\Omega),
  \alpha=(\alpha_1,\dots,\alpha_N), \text{ such that}
\\
&\int_{\Omega}
  u\frac{\partial^{\alpha}\varphi}
        {\partial^{\alpha_1}x_1\dots\partial^{\alpha_N}x_N}\,dx
=(-1)^{\|\alpha\|_{S}}\int_{\Omega}g_{\alpha}\varphi \,dx,
\\
&\text{for any } \varphi\in C^{\infty}_0(\Omega)
\text{ and } \lVert\alpha\rVert_{S}\leq m \Bigr\}
\end{align*}
but, as you see, it is difficult to read.

\section{Second solution}

We denote by $W^{m ,\Phi}(\Omega)$ the set consisting
of all $u\in L^{\Phi}(\Omega)$ for which there exists
$\{g_{\alpha}\}\in L^{\Phi}(\Omega)$, with
$\alpha=(\alpha_1,\dots,\alpha_N)$, such that
\[
\int_{\Omega}
  u\frac{\partial^{\alpha}\varphi}
        {\partial^{\alpha_1}x_1\dots\partial^{\alpha_N}x_N}\,dx
=(-1)^{\lVert\alpha\rVert_{S}}\int_{\Omega}g_{\alpha}\varphi \,dx,
\]
for any $\varphi\in C^{\infty}_0(\Omega)$ and $\|\alpha\|_{S}\leq m$.

\end{document}

Answer 2

好吧，如果你想对齐某些东西，你应该使用允许这样做的环境。它可以是{align}或{split}。由于这个公式代表一个方程式，我建议{split}。另外，我认为最好不要使用多个\text{}s ，而是在一个 内使用普通数学模式\text{}。此外，\Vert比 提供更好的间距||。我擅自删除了不必要的括号，因为没有它们代码更具可读性。最后：有很多拼写错误（\varphi代替\psi、缺失_等）。目前，我有以下内容：

\documentclass{article}
\usepackage{amsmath}
\begin{document}
\begin{equation*}
\begin{split}
W^m L_\Phi(\Omega)
  =\biggl\{u\in L_\Phi(\Omega)\colon\
    &\text{there exists $\{g_{\alpha}\}\in L_\Phi(\Omega)$,
                         $\alpha=(\alpha_1,\dots,\alpha_N)$, such that}\\
    &\int_\Omega u\frac{\partial^\alpha\psi}{\partial^{\alpha_1}x_1\ldots\partial^{\alpha_N}x_N}dx
      =(-1)^{\Vert\alpha\Vert_S}\int_\Omega g_\alpha\psi dx,\\
    &\text{for any $\psi\in C_0^\infty(\Omega)$ and $\Vert\alpha\Vert_S\leq m$}\biggr\}
\end{split}
\end{equation*}
\end{document}

输出：