Difference between revisions of "Delta Gronwall inequality"

From timescalewiki
Jump to: navigation, search
(Created page with "<div class="toccolours mw-collapsible mw-collapsed" style="width:800px"> <strong>Theorem:</strong> Let $y$ and $f$ be rd-continuous and $p$ be regressive_function | positive...")
 
Line 1: Line 1:
 
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
 
<div class="toccolours mw-collapsible mw-collapsed" style="width:800px">
<strong>Theorem:</strong> Let $y$ and $f$ be rd-continuous and $p$ be [[regressive_function | positively regressive]] and $p \geq 0$. If for all $t \in \mathbb{T}$
+
<strong>Theorem:</strong> Let $y$ and $f$ be [[continuity | rd-continuous]] and $p$ be [[regressive_function | positively regressive]] and $p \geq 0$. If for all $t \in \mathbb{T}$
 
$$y(t) \leq f(t) + \displaystyle\int_a^t y(\tau) p(\tau) \Delta \tau,$$
 
$$y(t) \leq f(t) + \displaystyle\int_a^t y(\tau) p(\tau) \Delta \tau,$$
 
then
 
then

Revision as of 04:37, 6 September 2014

Theorem: Let $y$ and $f$ be rd-continuous and $p$ be positively regressive and $p \geq 0$. If for all $t \in \mathbb{T}$ $$y(t) \leq f(t) + \displaystyle\int_a^t y(\tau) p(\tau) \Delta \tau,$$ then $$y(t) \leq f(t) + \displaystyle\int_a^t e_p(t,\sigma(\tau))f(\tau)p(\tau)\Delta \tau$$ for all $t \in \mathbb{T}$.

Proof:

References

R. Agarwal, M. Bohner, A. Peterson - Inequalities on Time Scales: A Survey