Return to Question

Let $G(z)$ be an $n\times m$ rational matrix-valued function of full column rank on the unit circle. Further, let $P(z)$ be an $m\times m$ rational matrix-valued function positive definite on the unit circle and let $A$, $B$ be $m\times n$ complex (constant) matrices. Consider the following inner-product condition (on $\mathcal{L}_2^{m\times m}[-\pi,\pi]$) $$\tag{1}\label{eq:cond} \langle G^*XG,G^* \Delta G \rangle_2 = \mathrm{tr}\int_{-\pi}^{\pi} G(e^{i\theta})^* X G(e^{i\theta}) G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta}) \frac{\mathrm{d}\theta}{2\pi}=0,\ \, \forall X\in\mathcal{H}_n, $$ where $(\cdot)^*$ denotes Hermitian transposition, $\mathcal{H}_n$ denotes the space of Hermitian $n\times n$ matrices, and $$ \Delta(e^{i\theta}) := A^* P(e^{i\theta}) B + B^* P(e^{i\theta}) A. $$

My question. Does condition \eqref{eq:cond} necessarily imply $G(e^{i\theta})^*\Delta(e^{i\theta})G(e^{i\theta})\equiv 0$?

Some comments.

1. A simple observation is that the answer is in the affirmative if $P(e^{i\theta})=p(e^{i\theta})M$ where $p(e^{i\theta})$ is scalar and $M$ is a constant $m\times m$ positive definite matrix. Indeed, in this case, the thesis readily follows from the fact that, picking $X=A^* M B + B^* M A$ in \eqref{eq:cond}, yields $$ \left\|p^{1/2} G^*(A^* M B + B^* M A)G\right\|_2=0. $$
2. Condition \eqref{eq:cond} can be equivalently rewritten as $$\tag{2}\label{eq:cond2} \int_{-\pi}^{\pi} G(e^{i\theta}) G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta}) G(e^{i\theta})^* \frac{\mathrm{d}\theta}{2\pi}=0, $$ since $\mathrm{tr}(XY)=0$, $\forall X \in\mathcal{H}_n$ and a fixed $Y\in\mathcal{H}_n$, is equivalent to $Y=0$. Condition \eqref{eq:cond2} asserts that $G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta})$ is in the kernel of the linear operator $\Sigma\colon T \mapsto \int_{-\pi}^{\pi}G T G^*\frac{\mathrm{d}\theta}{2\pi}$, mapping rational Hermitian $m\times m$ matrix-valued functions to Hermitian (constant) $n\times n$ matrices.

Based on my previous comments, a question that I didn't manage to answer (and could be useful to provide an answer to my question above) is the following one.

A (perhaps) simpler question. In the special case $P(e^{i\theta})=p(e^{i\theta})M$ where $p(e^{i\theta})$ is scalar and $M$ is a constant $m\times m$ positive definite matrix, how to prove directly (i.e., without exploiting \eqref{eq:cond}) that condition \eqref{eq:cond2} necessarily implies $G(e^{i\theta})^*\Delta(e^{i\theta})G(e^{i\theta})\equiv 0$?

Any (even partial) comment and/or suggestion is very welcome. Thanks in advance.

Let $G(z)$ be an $n\times m$ rational matrix-valued function of full column rank on the unit circle. Further, let $P(z)$ be an $m\times m$ rational matrix-valued function positive definite on the unit circle and let $A$, $B$ be $m\times n$ complex (constant) matrices. Consider the following inner-product condition (on $\mathcal{L}_2^{m\times m}[-\pi,\pi]$) $$\tag{1}\label{eq:cond} \langle G^*XG,G^* \Delta G \rangle_2 = \mathrm{tr}\int_{-\pi}^{\pi} G(e^{i\theta})^* X G(e^{i\theta}) G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta}) \frac{\mathrm{d}\theta}{2\pi}=0,\ \, \forall X\in\mathcal{H}_n, $$ where $(\cdot)^*$ denotes Hermitian transposition, $\mathcal{H}_n$ denotes the space of Hermitian $n\times n$ matrices, and $$ \Delta(e^{i\theta}) := A^* P(e^{i\theta}) B + B^* P(e^{i\theta}) A. $$

My question. Does condition \eqref{eq:cond} necessarily imply $G(e^{i\theta})^*\Delta(e^{i\theta})G(e^{i\theta})\equiv 0$?

Some comments.

1. A simple observation is that the answer is in the affirmative if $P(e^{i\theta})=p(e^{i\theta})M$ where $p(e^{i\theta})$ is scalar and $M$ is a constant $m\times m$ positive definite matrix. Indeed, in this case, the thesis readily follows from the fact that, picking $X=A^* M B + B^* M A$ in \eqref{eq:cond}, yields $$ \left\|p^{1/2} G^*(A^* M B + B^* M A)G\right\|_2=0. $$
2. Condition \eqref{eq:cond} can be equivalently rewritten as $$\tag{2}\label{eq:cond2} \int_{-\pi}^{\pi} G(e^{i\theta}) G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta}) G(e^{i\theta})^* \frac{\mathrm{d}\theta}{2\pi}=0, $$ since $\mathrm{tr}(XY)=0$, $\forall X \in\mathcal{H}_n$ and a fixed $Y\in\mathcal{H}_n$, is equivalent to $Y=0$. Condition \eqref{eq:cond2} asserts that $G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta})$ is in the kernel of the linear operator $\Sigma\colon T \mapsto \int_{-\pi}^{\pi}G T G^*\frac{\mathrm{d}\theta}{2\pi}$, mapping rational Hermitian $m\times m$ matrix-valued functions to Hermitian (constant) $n\times n$ matrices.

Based on my previous comments, a point that I didn't manage to properly understand (and might be useful to provide an answer to my question above) is the following one.

A (perhaps) simpler question. In the special case $P(e^{i\theta})=p(e^{i\theta})M$ where $p(e^{i\theta})$ is scalar and $M$ is a constant $m\times m$ positive definite matrix, how to prove directly (i.e., without exploiting \eqref{eq:cond}) that condition \eqref{eq:cond2} necessarily implies $G(e^{i\theta})^*\Delta(e^{i\theta})G(e^{i\theta})\equiv 0$?

Any (even partial) comment and/or suggestion is very welcome. Thanks in advance.

Let $G(z)$ be an $n\times m$ rational matrix-valued function of full column rank on the unit circle. Further, let $P(z)$ be an $m\times m$ rational matrix-valued function positive definite on the unit circle and let $A$, $B$ be $m\times n$ complex (constant) matrices. Consider the following inner-product condition (on $\mathcal{L}_2^{m\times m}[-\pi,\pi]$) $$\tag{1}\label{eq:cond} \langle G^*XG,G^* \Delta G \rangle_2 = \mathrm{tr}\int_{-\pi}^{\pi} G(e^{i\theta})^* X G(e^{i\theta}) G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta}) \frac{\mathrm{d}\theta}{2\pi}=0,\ \, \forall X\in\mathcal{H}_n, $$ where $(\cdot)^*$ denotes Hermitian transposition, $\mathcal{H}_n$ denotes the space of Hermitian $n\times n$ matrices, and $$ \Delta(e^{i\theta}) := A^* P(e^{i\theta}) B + B^* P(e^{i\theta}) A. $$

My question. Does condition \eqref{eq:cond} necessarily imply $G(e^{i\theta})^*\Delta(e^{i\theta})G(e^{i\theta})\equiv 0$?

Some comments.

1. A simple observation is that the answer is in the affirmative if $P(e^{i\theta})=p(e^{i\theta})M$ where $p(e^{i\theta})$ is scalar and $M$ is a constant $m\times m$ positive definite matrix. Indeed, in this case, the thesis readily follows from the fact that, picking $X=A^* M B + B^* M A$ in \eqref{eq:cond}, yields $$ \left\|p^{1/2} G^*(A^* M B + B^* M A)G\right\|_2=0. $$
2. Condition \eqref{eq:cond} can be equivalently rewritten as $$\tag{2}\label{eq:cond2} \int_{-\pi}^{\pi} G(e^{i\theta}) G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta}) G(e^{i\theta})^* \frac{\mathrm{d}\theta}{2\pi}=0, $$ since $\mathrm{tr}(XY)=0$, $\forall X \in\mathcal{H}_n$ and a fixed $Y\in\mathcal{H}_n$, is equivalent to $Y=0$. Condition \eqref{eq:cond2} asserts that $G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta})$ is in the kernel of the linear operator $\Sigma\colon T \mapsto \int_{-\pi}^{\pi}G T G^*\frac{\mathrm{d}\theta}{2\pi}$.

Based on my previous comments, a question that I didn't manage to answer (and could be useful to provide an answer to my question above) is the following one.

A (perhaps) simpler question. In the special case $P(e^{i\theta})=p(e^{i\theta})M$ where $p(e^{i\theta})$ is scalar and $M$ is a constant $m\times m$ positive definite matrix, how to prove directly (i.e., without using \eqref{eq:cond}) that condition \eqref{eq:cond2} necessarily implies $G(e^{i\theta})^*\Delta(e^{i\theta})G(e^{i\theta})\equiv 0$?

Any (even partial) comment and/or suggestion is very welcome. Thanks in advance.

Let $G(z)$ be an $n\times m$ rational matrix-valued function of full column rank on the unit circle. Further, let $P(z)$ be an $m\times m$ rational matrix-valued function positive definite on the unit circle and let $A$, $B$ be $m\times n$ complex (constant) matrices. Consider the following inner-product condition (on $\mathcal{L}_2^{m\times m}[-\pi,\pi]$) $$\tag{1}\label{eq:cond} \langle G^*XG,G^* \Delta G \rangle_2 = \mathrm{tr}\int_{-\pi}^{\pi} G(e^{i\theta})^* X G(e^{i\theta}) G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta}) \frac{\mathrm{d}\theta}{2\pi}=0,\ \, \forall X\in\mathcal{H}_n, $$ where $(\cdot)^*$ denotes Hermitian transposition, $\mathcal{H}_n$ denotes the space of Hermitian $n\times n$ matrices, and $$ \Delta(e^{i\theta}) := A^* P(e^{i\theta}) B + B^* P(e^{i\theta}) A. $$

My question. Does condition \eqref{eq:cond} necessarily imply $G(e^{i\theta})^*\Delta(e^{i\theta})G(e^{i\theta})\equiv 0$?

Some comments.

1. A simple observation is that the answer is in the affirmative if $P(e^{i\theta})=p(e^{i\theta})M$ where $p(e^{i\theta})$ is scalar and $M$ is a constant $m\times m$ positive definite matrix. Indeed, in this case, the thesis readily follows from the fact that, picking $X=A^* M B + B^* M A$ in \eqref{eq:cond}, yields $$ \left\|p^{1/2} G^*(A^* M B + B^* M A)G\right\|_2=0. $$
2. Condition \eqref{eq:cond} can be equivalently rewritten as $$\tag{2}\label{eq:cond2} \int_{-\pi}^{\pi} G(e^{i\theta}) G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta}) G(e^{i\theta})^* \frac{\mathrm{d}\theta}{2\pi}=0, $$ since $\mathrm{tr}(XY)=0$, $\forall X \in\mathcal{H}_n$ and a fixed $Y\in\mathcal{H}_n$, is equivalent to $Y=0$. Condition \eqref{eq:cond2} asserts that $G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta})$ is in the kernel of the linear operator $\Sigma\colon T \mapsto \int_{-\pi}^{\pi}G T G^*\frac{\mathrm{d}\theta}{2\pi}$, mapping rational Hermitian $m\times m$ matrix-valued functions to Hermitian (constant) $n\times n$ matrices.

Based on my previous comments, a question that I didn't manage to answer (and could be useful to provide an answer to my question above) is the following one.

A (perhaps) simpler question. In the special case $P(e^{i\theta})=p(e^{i\theta})M$ where $p(e^{i\theta})$ is scalar and $M$ is a constant $m\times m$ positive definite matrix, how to prove directly (i.e., without exploiting \eqref{eq:cond}) that condition \eqref{eq:cond2} necessarily implies $G(e^{i\theta})^*\Delta(e^{i\theta})G(e^{i\theta})\equiv 0$?

Any (even partial) comment and/or suggestion is very welcome. Thanks in advance.

Let $G(z)$ be an $n\times m$ rational matrix-valued function of full column rank on the unit circle. Further, let $P(z)$ be an $m\times m$ rational matrix-valued function positive definite on the unit circle and let $A$, $B$ be $m\times n$ complex (constant) matrices. Consider the following inner-product condition (on $\mathcal{L}_2^{m\times m}[-\pi,\pi]$) $$\tag{1}\label{eq:cond} \langle G^*XG,G^* \Delta G \rangle_2 = \mathrm{tr}\int_{-\pi}^{\pi} G(e^{i\theta})^* X G(e^{i\theta}) G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta}) \frac{\mathrm{d}\theta}{2\pi}=0,\ \, \forall X\in\mathcal{H}_n, $$ where $(\cdot)^*$ denotes Hermitian transposition, $\mathcal{H}_n$ denotes the space of Hermitian $n\times n$ matrices, and $$ \Delta(e^{i\theta}) := A^* P(e^{i\theta}) B + B^* P(e^{i\theta}) A. $$

My question. Does condition \eqref{eq:cond} necessarily imply $G(e^{i\theta})^*\Delta(e^{i\theta})G(e^{i\theta})\equiv 0$?

Some comments.

1. A simple observation is that the answer is in the affirmative if $P(e^{i\theta})=p(e^{i\theta})M$ where $p(e^{i\theta})$ is scalar and $M$ is a constant $m\times m$ positive definite matrix. Indeed, in this case, the thesis readily follows from the fact that, picking $X=A^* M B + B^* M A$ in \eqref{eq:cond}, yields $$ \left\|p^{1/2} G^*(A^* M B + B^* M A)G\right\|_2=0. $$
2. Condition \eqref{eq:cond} can be equivalently rewritten as $$\tag{2}\label{eq:cond2} \int_{-\pi}^{\pi} G(e^{i\theta}) G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta}) G(e^{i\theta})^* \frac{\mathrm{d}\theta}{2\pi}=0, $$ since $\mathrm{tr}(XY)=0$, $\forall X \in\mathcal{H}_n$ and a fixed $Y\in\mathcal{H}_n$, is equivalent to $Y=0$. Condition \eqref{eq:cond2} asserts that $G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta})$ is in the kernel of the linear operator $\Sigma\colon T \mapsto \int_{-\pi}^{\pi}G T G^*\frac{\mathrm{d}\theta}{2\pi}$.

Let $G(z)$ be an $n\times m$ rational matrix-valued function of full column rank on the unit circle. Further, let $P(z)$ be an $m\times m$ rational matrix-valued function positive definite on the unit circle and let $A$, $B$ be $m\times n$ complex (constant) matrices. Consider the following inner-product condition (on $\mathcal{L}_2^{m\times m}[-\pi,\pi]$) $$\tag{1}\label{eq:cond} \langle G^*XG,G^* \Delta G \rangle_2 = \mathrm{tr}\int_{-\pi}^{\pi} G(e^{i\theta})^* X G(e^{i\theta}) G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta}) \frac{\mathrm{d}\theta}{2\pi}=0,\ \, \forall X\in\mathcal{H}_n, $$ where $(\cdot)^*$ denotes Hermitian transposition, $\mathcal{H}_n$ denotes the space of Hermitian $n\times n$ matrices, and $$ \Delta(e^{i\theta}) := A^* P(e^{i\theta}) B + B^* P(e^{i\theta}) A. $$

My question. Does condition \eqref{eq:cond} necessarily imply $G(e^{i\theta})^*\Delta(e^{i\theta})G(e^{i\theta})\equiv 0$?

Some comments.

1. A simple observation is that the answer is in the affirmative if $P(e^{i\theta})=p(e^{i\theta})M$ where $p(e^{i\theta})$ is scalar and $M$ is a constant $m\times m$ positive definite matrix. Indeed, in this case, the thesis readily follows from the fact that, picking $X=A^* M B + B^* M A$ in \eqref{eq:cond}, yields $$ \left\|p^{1/2} G^*(A^* M B + B^* M A)G\right\|_2=0. $$
2. Condition \eqref{eq:cond} can be equivalently rewritten as $$\tag{2}\label{eq:cond2} \int_{-\pi}^{\pi} G(e^{i\theta}) G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta}) G(e^{i\theta})^* \frac{\mathrm{d}\theta}{2\pi}=0, $$ since $\mathrm{tr}(XY)=0$, $\forall X \in\mathcal{H}_n$ and a fixed $Y\in\mathcal{H}_n$, is equivalent to $Y=0$. Condition \eqref{eq:cond2} asserts that $G(e^{i\theta})^* \Delta(e^{i\theta}) G(e^{i\theta})$ is in the kernel of the linear operator $\Sigma\colon T \mapsto \int_{-\pi}^{\pi}G T G^*\frac{\mathrm{d}\theta}{2\pi}$.

Based on my previous comments, a question that I didn't manage to answer (and could be useful to provide an answer to my question above) is the following one.

A (perhaps) simpler question. In the special case $P(e^{i\theta})=p(e^{i\theta})M$ where $p(e^{i\theta})$ is scalar and $M$ is a constant $m\times m$ positive definite matrix, how to prove directly (i.e., without using \eqref{eq:cond}) that condition \eqref{eq:cond2} necessarily implies $G(e^{i\theta})^*\Delta(e^{i\theta})G(e^{i\theta})\equiv 0$?

Any (even partial) comment and/or suggestion is very welcome. Thanks in advance.