Verschachtelte Optidef-Gleichungen

Question

Wie können wir ein zweistufiges Optimierungsproblem mit optidef spezifizieren? Ich würde gerne eines spezifizieren (sehenGleichungen 6 und 7 unten und oben auf den Seiten 4 und 5). Bisher mache ich es so

\documentclass{article}
\usepackage{amsmath,amssymb,amsthm,optidef,amsfonts}
\begin{document}
\begin{mini}
{L,V}{L_V\left(V,W \right) ||\mathbf{X}_{1}-\mathbf{X}_{0} ||^{2}_{\mathbf{V}} \quad \forall \: t \in T_0 \label{eq:scbi}}{}{}
\addConstraint {W\left(V \right) \in \Psi \left(V \right) \coloneqq \underset{W \in \mathcal{W}}{\text{argmin }} L_W\left(V,W \right) ||\mathbf{X}_{1}-\mathbf{X}_{0}W ||^{2}_{\mathbf{V}}, V \in \mathcal{V}}
\end{mini}
\end{document}

Ich definiere das zweite Optimierungsproblem manuell mit Underset, aber ich war neugierig, ob es eine Möglichkeit gibt, ein Problem auf niedrigerer Ebene und ein Problem auf höherer Ebene zu definieren, vielleicht mit zwei Instanzen von Optidef. Wie könnte ich das machen?

Answer 1

Entfernen Sie das Nutzlose \leftund \right; zum Öffnen und Schließen ||sollte auch \|oder noch besser sein.\lVert\rVert

Es ist nicht leicht zu verstehen, warum optidefdie Breite scheinbar ignoriert wird, das Hinzufügen \mbox{}des letzten Teils aber funktioniert.

Definieren Sie einen geeigneten mathematischen Operator für „argmin“.

\documentclass{article}
\usepackage{amsmath,amssymb,amsthm}
\usepackage{optidef}
\usepackage{showframe}

\DeclareMathOperator*{\argmin}{argmin}

\begin{document}

\begin{mini}[constraintFormat=3]
{L,V}{
  L_V(V,W) \|\mathbf{X}_{1}-\mathbf{X}_{0} \|^{2}_{\mathbf{V}} \quad \forall \: t \in T_0 
  \label{eq:scbi}
}{}{}
\addConstraint{W(V) \in \Psi(V)}{\coloneqq 
  \argmin_{W \in \mathcal{W}} L_W(V,W) \|\mathbf{X}_{1}-\mathbf{X}_{0}W \|^{2}_{\mathbf{V}},
  V \in \mathcal{V}}{\mbox{}}
\end{mini}
\end{document}

Die strengen Regeln zeigen die Ränder mit freundlicher Genehmigung von showframe. Entfernen Sie den Aufruf des Pakets in der Produktionsversion.