PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very low Entry average rating: No information on entry rating
[parent] proof of Barbalat's lemma (Proof)

We suppose that $y(t) \not\rightarrow 0$ as $t \rightarrow \infty$ There exists a sequence $(t_{n})$ in $\mathbb{R}_{+}$ such that $t_{n} \rightarrow \infty$ as $n \rightarrow \infty$ and $|y(t_{n})| \geq \varepsilon$ for all $n \in \mathbb{N}$ By the uniform continuity of $y$ there exists a $\delta > 0$ such that, for all $n \in \mathbb{N}$ and all $t \in \mathbb{R}$ $$ |t_{n} - t| \leq \delta \; \Rightarrow \; |y(t_{n}) - y(t)| \leq \frac{\varepsilon}{2}. $$ So, for all $t \in [t_{n}, t_{n}+\delta]$ and for all $n \in \mathbb{N}$ we have \begin{eqnarray*} |y(t)| & = & |y(t_{n}) - (y(t_{n})- y(t))| \geq |y(t_{n})| - |y(t_{n})- y(t)| \geq \\ & \geq & \varepsilon - \frac{\varepsilon}{2} = \frac{\varepsilon}{2}. \end{eqnarray*}Therefore, $$ \left| \int_{0}^{t_{n}+\delta} y(t) dt - \int_{0}^{t_{n}} y(t) dt \right| = \left| \int_{t_{n}}^{t_{n}+\delta} y(t) dt \right| = \int_{t_{n}}^{t_{n}+\delta} |y(t)| dt \geq \frac{\varepsilon \delta}{2} > 0 $$ for each $n \in \mathbb{N}$ By the hypothesis, the improprer Riemann integral $\int_{0}^{\infty} y(t) dt$ exists, and thus the left hand side of the inequality converges to 0 as $n \rightarrow \infty$ yielding a contradiction.




"proof of Barbalat's lemma" is owned by ncrom.
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: contradiction, converges, inequality, left hand side, Riemann integral, hypothesis, uniform continuity, sequence

This is version 4 of proof of Barbalat's lemma, born on 2005-04-06, modified 2005-04-14.
Object id is 6933, canonical name is ProofofBarbualatsLemma.
Accessed 4442 times total.

Classification:
AMS MSC26A06 (Real functions :: Functions of one variable :: One-variable calculus)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)