[LaTeX-1]表达式（Expression）

表达式鉴赏

简单函数

$f: \mathbb{R}^{n} \mapsto \mathbb{R}$

与前面不同，这里采用换行写法

\begin{equation}
\min _{\mathbf{x} \in \mathbb{R}^{n}} f(\mathbf{x}), \quad \text { s.t. } \quad\|\mathbf{x}\|_{0} \leq s
\end{equation}

如果和前面一样写就是

$\min _{\mathbf{x} \in \mathbb{R}^{n}} f(\mathbf{x}), \quad$ s.t. $\quad\|\mathbf{x}\|_{0} \leq s$

$\mathrm{x}^{k} \rightarrow \mathrm{x}^{*} \quad$ and $\quad\left\|\mathrm{x}^{k+1}-\mathrm{x}^{*}\right\| \leq c\left\|\mathrm{x}^{k}-\mathrm{x}^{*}\right\|^{2}$ for sufficiently large $k$

A_{i j}=\cos \left(2 \pi(j-1) \psi_{i}\right), \quad i=1, \ldots, m, \quad j=1, \ldots, n

较为复杂的函数

$\min _{\mathbf{x} \in \mathbb{R}^{n}} f(\mathbf{x})=f_{\operatorname{CS}}(\mathbf{x})=\frac{1}{2}\|A \mathbf{x}-\mathbf{b}\|^{2}, \quad$ s.t. $\quad\|\mathbf{x}\|_{0} \leq s$

定义式

$\nabla_{T_{k}} f\left(\mathbf{x}^{k}\right):=\left(\nabla f\left(\mathbf{x}^{k}\right)\right)_{T_{k}}$

$q_{k}(\mathbf{x}):=f\left(\mathbf{x}^{k}\right)+\left\langle\nabla f\left(\mathbf{x}^{k}\right), \mathbf{x}-\mathbf{x}^{k}\right\rangle+\frac{1}{2 \eta}\left\|\mathbf{x}-\mathbf{x}^{k}\right\|^{2}$

$$
M_{2 s}(\mathbf{x}):=\sup _{\mathbf{y} \in \mathbb{R}^{n}}\left\{\left\langle\mathbf{y}, \nabla^{2} f(\mathbf{x}) \mathbf{y}\right\rangle|| \operatorname{supp}(\mathbf{x}) \cup \operatorname{supp}(\mathbf{y}) \mid \leq 2 \mathrm{~s},\|\mathbf{y}\|=1\right\}
$$

关系式

$T_{k} \in \mathcal{T}\left(\mathbf{x}^{k} ; \eta\right)$

不等式

$f\left(\mathbf{x}^{k}\left(\beta^{\ell}\right)\right) \leq f\left(\mathbf{x}^{k}\right)+\sigma \beta^{\ell}\left\langle\nabla f\left(\mathbf{x}^{k}\right), \mathbf{d}^{k}\right\rangle .$

$$
\left\|F_{\eta}\left(\mathbf{x}^{k+1} ; T_{k+1}\right)\right\| \leq \frac{L_{f} \sqrt{M_{2 s}^{2}+1}}{\min \left\{m_{2 s}^{3}, m_{2 s}\right\}}\left\|F_{\eta}\left(\mathbf{x}^{k} ; T_{k}\right)\right\|^{2}
$$

矩阵

$$
\mathbf{d}_{g}^{k}:=\left[\begin{array}{c}
\left(\mathbf{d}_{g}^{k}\right)_{T_{k}} \\
\left(\mathbf{d}_{g}^{k}\right)_{T_{k}^{c}}
\end{array}\right]=\left[\begin{array}{c}
-\nabla_{T_{k}} f\left(\mathbf{x}^{k}\right) \\
-\mathbf{x}_{T_{k}^{c}}
\end{array}\right]
$$

小结

下一期出一些比较细的教学，如下标还有一些符号使用的细节（有些可以换行，有些不可以之类的）