オプション引数付きランダウ記法

Question

カンマで区切られた 2 つの要素 (変数と点) で構成されるオプションの引数を持つ、Landau 表記法 (たとえば小文字の o) のコマンドを作成したいと思います。どうすればよいでしょうか?

ここに例があります。

\documentclass[11pt]{article}
\usepackage{amsmath}

\begin{document}

% \petito[x, \infty]{\ln x}. Expected result :
$ \underset{x \rightarrow \infty}{\mathrm{o}} \left( \ln x \right)$ 

% \petito{\ln x}. Expected result :
$ \mathrm{o} \left( \ln x \right)$ 

\end{document}

Answer 1

私にとっては\petito[x,\infty]{...}、構文は読みにくく、解析しにくいので、[x\to\infty]直接使用する方が簡単です。

\documentclass[11pt]{article}
\usepackage{amsmath}
\DeclareMathOperator*{\ooo}{o}
\NewDocumentCommand\petito{o m}{
  \IfNoValueTF{#1}{
    % normal case
    \ooo\left(#2\right)
  }{
    \ooo_{#1}\left(#2\right)
  }
}
\begin{document}

$\petito[x\to\infty]{\ln x}$

\[
  \petito[x\to\infty]{\ln x}
\]

$ \underset{x \rightarrow \infty}{\mathrm{o}} \left( \ln x \right)$ 


$\petito{\ln x}$

$ \mathrm{o} \left( \ln x \right)$ 

\end{document}

$...$注記:一度もない以下に記述すると、行間隔が乱れるため、\DeclareMathOperator*のように動作するマクロを作成するために使用されます\lim。

さらに、私はフェンスの自動スケーリングのファンではありませんが、ここに残しておきます。

Answer 2

提案された構文が、どのように明確で簡単になるのかわかりません。

\petito_{x\to\infty}(\log x)

または、括弧のサイズをより簡単に指定したい場合は、

\petito_{x\to\infty}{\log x}

多分

\petito_{x\to\infty}[big]{\log x}

大きい括弧の場合、または

\petito_{x\to\infty}[*]{\log x}

自動サイズ調整用。

後者の構文はltcmd(以前はxparse) を使用すると簡単に実現できます。

\documentclass{article}
\usepackage{amsmath}

\NewDocumentCommand{\petito}{e{_}O{}m}{%
  \genericlandau{o}{#1}{#2}{#3}%
}
\NewDocumentCommand{\grando}{e{_}O{}m}{%
  \genericlandau{\mathit{O}}{#1}{#2}{#3}%
}

\ExplSyntaxOn

\NewDocumentCommand{\genericlandau}{mmmm}
 {
  \operatorname*{#1}
  \IfValueT{#2}{\sb{#2}}% the subscript
  \jowe_landau_arg:nn { #3 } { #4 }
 }

\cs_new_protected:Nn \jowe_landau_arg:nn
 {
  \str_case:nnF { #1 }
   {
    {*}{\left}
    {}{}
   }
   { \use:c { #1l } } (
  #2
  \str_case:nnF { #1 }
   {
    {*}{\right}
    {}{}
   }
   { \use:c { #1r } } )
 }

\ExplSyntaxOff

\begin{document}

\begin{gather}
\petito{\log x} \\
\petito[big]{\log x} \\
\petito[Big]{\log x} \\
\petito[*]{\frac{\sin x}{x}} \\
\petito_{x\to\infty}{\log x} \\
\petito_{x\to\infty}[big]{\log x} \\
\petito_{x\to\infty}[Big]{\log x} \\
\petito_{x\to\infty}[*]{\frac{\sin x}{x}} \\
\grando{\log x} \\
\grando[big]{\log x} \\
\grando[Big]{\log x} \\
\grando[*]{\frac{\sin x}{x}} \\
\grando_{x\to\infty}{\log x} \\
\grando_{x\to\infty}[big]{\log x} \\
\grando_{x\to\infty}[Big]{\log x} \\
\grando_{x\to\infty}[*]{\frac{\sin x}{x}}
\end{gather}

\end{document}