My question is: it is possible to proof the bounded real lemma for $H_\infty$ performance with the following procedure?(adsbygoogle = window.adsbygoogle || []).push({});

The $H_\infty$ performance is defined as:

\begin{align}

\parallel G_{ru}\parallel_{\infty} & <\gamma

\end{align}

where $G_{ru}$ represent the transfer from the input $u$ to the output $y$. It is commonly mentioned that this performance is achieved with the following criteria performance

\begin{align}

J_{ru}=\int_{0}^{\infty}y^{T}(t)y(t)d\tau & \leq & \gamma^{2}\int_{0}^{\infty}u^{T}(t)u(t)d\tau\

\end{align}

Then, I suppose that the proof of the lemma can done by deriving a Lyapunov equation through $J_{ru}$

\begin{align}

V(x)=X^TPX

\end{align}

such that

\begin{align}

J_{ru}=\int_{0}^{\infty}\left(y^{T}(t)y(t)- \gamma^{2}u^{T}(t)u(t)+\frac{d\dot{V}(x(t))}{dt}\right)d\tau-V(x)<0

\end{align}

Then by deriving the Lyapunov equation the typical representation of bounded real-lemma can be achieved. My question is about if this proof is correct?. Before hands thanks for your answer.

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Question about the Proof of bounded Real Lemma

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads - Question Proof bounded | Date |
---|---|

I Simple Proof Question | Jun 1, 2016 |

Divergence Theorem Question (Gauss' Law?) | May 4, 2015 |

Fundamental theorem of calculus - question & proof verifying | Mar 4, 2015 |

Question about Bolzano-Weierstrass Theorem Proof | Jan 30, 2015 |

Question in proof of Helmholtz Theorem | Aug 9, 2013 |

**Physics Forums - The Fusion of Science and Community**