Ciao Enrico, ho provato il tuo codice e trovo che il risultato sia davvero impeccabile! Per completezza, ho ripreso in mano la documentazione di mathtools, e questa volta (sarà l’aumentata esperienza con LaTeX…) ne sono venuto a capo:
`\usepackage{amsmath,mathtools}\DeclarePairedDelimiter{\abs}{\lvert}{\rvert}
\DeclarePairedDelimiter{\norma}{\lVert}{\rVert}
`
danno un risultato che mi sembra identico al tuo codice. Ho fatto qualche prova:
`Come sarà chiaro ai matematici all'inizio dell'Ottocento, la
sostituzione è però lecita solo quando $\abs{x}<1$ (che è quanto…Esempi di tali equazioni sono:
\begin{equation}
\delta(x)=\delta(-x),\quad%
f(x)\delta(x)=f(0)\delta(x),\quad%
\delta(ax)=\frac{1}{\abs{a}\, \delta(x)}.
\end{equation}…compatto che include i supporti di tutte le $v_n$, si ha infatti
\begin{equation}
\abs*{\int_\Omega uv_n-\int_\Omega uv}
\le\int_K\abs{u}\abs{v_n-v}\le\norma{u}_{1,K}\,\norma{v_n-v}_{\infty,K}
\end{equation}
e l'ultimo membro è infinitesimo.…quasi dappertutto per $\abs{x}\ge r_n$.
\begin{equation}
\abs{u(y)v(y/n)}\le\norma{v}_\infty\,\abs{u(y)}.
\end{equation}\begin{equation}
u_n(x)=nu(nx)\quad\text{dove}\quad u(x)=\max(1-\abs{x-1},0)
\end{equation}\begin{equation*} Dv(x)=o(\abs{x}^{-m})\quad\text{per $\abs{x}\to+\infty$}
\end{equation*}`
e ora il risultato mi sembra perfetto. Direi che è il caso di usare sempre \abs per argomenti “normali”, \abs* per algomenti “alti”.
Giuro che non avevo guardato mathtools; si potrebbe scrivere a Morten per proporgli la modifica in modo da poter usare, quando lo si ritenga opportuno in fase di revisione finalissima, la versione *.
Spero che tu non usi davvero ambienti equation uno dopo l’altro separati da righe vuote. 😯
Ciao
Enrico