User:Zhenlige/RTT notes: Difference between revisions

<math>\begin{bmatrix}\boldsymbol{D}\\ \boldsymbol{F}\end{bmatrix}=\begin{bmatrix}\boldsymbol{B}&\boldsymbol{0}\\ \boldsymbol{0}&\mathbf{E}_{m-n}\end{bmatrix}^{-1}\boldsymbol{O}^{-1}=\begin{bmatrix}\boldsymbol{B}^{-1}&\boldsymbol{0}\\ \boldsymbol{0}&\mathbf{E}_{m-n}\end{bmatrix}\boldsymbol{O}^{-1}</math>，<math>\boldsymbol{D}=\begin{bmatrix}\boldsymbol{B}^{-1}&\boldsymbol{0}_{n,m-n}\end{bmatrix}\boldsymbol{O}^{-1}</math>，<math>g(\vec{b})=\left|\boldsymbol{D}^\mathrm{T}\vec{b}\right|</math>，又<math>\begin{bmatrix}\boldsymbol{D}\\ \boldsymbol{F}\end{bmatrix}\begin{bmatrix}\boldsymbol{A}&\boldsymbol{C}\end{bmatrix}=\mathbf{E}_{m}</math>，<math>\boldsymbol{D}\begin{bmatrix}\boldsymbol{A}&\boldsymbol{C}\end{bmatrix}=\begin{bmatrix}\mathbf{E}_{n}&\boldsymbol{0}_{n,m-n}\end{bmatrix}</math>，<math>\boldsymbol{D}=\boldsymbol{A}^+</math>，得证。

参考：[[Dave Keenan & Douglas Blumeyer's guide to RTT/All-interval tuning schemes]]

目标：最小化损害<math>\frac{|\overleftarrow{r}\vec{\mathrm{i}}|}{f(\vec{\mathrm{i}})}</math>的上界，其中<math>f</math>为范数函数。根据对偶范数定义，即最小化<math>\mathrm{dual}_f\left(\overleftarrow{r}^\mathrm{T}\right)</math>。