|
|
| Line 1: |
Line 1: |
| In [[mathematics]], the '''reduced derivative''' is a generalization of the notion of [[derivative]] that is well-suited to the study of functions of [[bounded variation]]. Although functions of bounded variation have derivatives in the sense of [[Radon measure]]s, it is desirable to have a derivative that takes values in the same space as the functions themselves. Although the precise definition of the reduced derivative is quite involved, its key properties are quite easy to remember:
| | Supply and Distribution Manager Judson Maddalena from Osoyoos, usually spends time with passions such as caving, ganhando dinheiro na internet and fitness. Gets plenty of motivation from life by going to destinations for example Pont du Gard (Roman Aqueduct).<br><br>my web page [http://ganhandodinheironainternet.comoganhardinheiro101.com/ como ficar rico] |
| | |
| * it is a multiple of the usual derivative wherever it exists;
| |
| * at jump points, it is a multiple of the jump vector.
| |
| | |
| The notion of reduced derivative appears to have been introduced by Alexander Mielke and Florian Theil in 2004.
| |
| | |
| ==Definition==
| |
| | |
| Let ''X'' be a [[separable space|separable]], [[reflexive space|reflexive]] [[Banach space]] with [[norm (mathematics)|norm]] || || and fix ''T'' > 0. Let BV<sub>−</sub>([0, ''T'']; ''X'') denote the space of all [[continuous function|left-continuous]] functions ''z'' : [0, ''T''] → ''X'' with bounded variation on [0, ''T''].
| |
| | |
| For any function of time ''f'', use subscripts +/− to denote the right/left continuous versions of ''f'', i.e.
| |
| | |
| :<math>f_{+} (t) = \lim_{s \downarrow t} f(s);</math>
| |
| :<math>f_{-} (t) = \lim_{s \uparrow t} f(s).</math>
| |
| | |
| For any sub-interval [''a'', ''b''] of [0, ''T''], let Var(''z'', [''a'', ''b'']) denote the variation of ''z'' over [''a'', ''b''], i.e., the [[supremum]]
| |
| | |
| :<math>\mathrm{Var}(z, [a, b]) = \sup \left\{ \left. \sum_{i = 1}^{k} \| z(t_{i}) - z(t_{i - 1}) \| \right| a = t_{0} < t_{1} < \cdots < t_{k} = b, k \in \mathbb{N} \right\}.</math>
| |
| | |
| The first step in the construction of the reduced derivative is the “stretch” time so that ''z'' can be linearly interpolated at its jump points. To this end, define
| |
| | |
| :<math>\hat{\tau} \colon [0, T] \to [0, + \infty);</math>
| |
| :<math>\hat{\tau}(t) = t + \int_{[0, t]} \| \mathrm{d} z \| = t + \mathrm{Var}(z, [0, t]).</math>
| |
| | |
| The “stretched time” function ''τ̂'' is left-continuous (i.e. ''τ̂'' = ''τ̂''<sub>−</sub>); moreover, ''τ̂''<sub>−</sub> and ''τ̂''<sub>+</sub> are [[strictly increasing]] and agree except at the (at most countable) jump points of ''z''. Setting ''T̂'' = ''τ̂''(''T''), this “stretch” can be inverted by
| |
| | |
| :<math>\hat{t} \colon [0, \hat{T}] \to [0, T];</math>
| |
| :<math>\hat{t}(\tau) = \max \{ t \in [0, T] | \hat{\tau}(t) \leq \tau \}.</math>
| |
| | |
| Using this, the stretched version of ''z'' is defined by
| |
| | |
| :<math>\hat{z} \in C^{0} ([0, \hat{T}]; X);</math>
| |
| :<math>\hat{z}(\tau) = (1 - \theta) z_{-}(t) + \theta z_{+}(t)</math>
| |
| | |
| where ''θ'' ∈ [0, 1] and
| |
| | |
| :<math>\tau = (1 - \theta) \hat{\tau}_{-} (t) + \theta \hat{\tau}_{+} (t).</math>
| |
| | |
| The effect of this definition is to create a new function ''ẑ'' which “stretches out” the jumps of ''z'' by linear interpolation. A quick calculation shows that ''ẑ'' is not just continuous, but also lies in a [[Sobolev space]]:
| |
| | |
| :<math>\hat{z} \in W^{1, \infty} ([0, \hat{T}]; X);</math>
| |
| :<math>\left\| \frac{\mathrm{d} \hat{z}}{\mathrm{d} \tau} \right\|_{L^{\infty} ([0, \hat{T}]; X)} \leq 1.</math>
| |
| | |
| The derivative of ''ẑ''(''τ'') with respect to ''τ'' is defined [[almost everywhere]] with respect to [[Lebesgue measure]]. The '''reduced derivative''' of ''z'' is the [[pull-back]] of this derivative by the stretching function ''τ̂'' : [0, ''T''] → [0, ''T̂'']. In other words,
| |
| | |
| :<math>\mathrm{rd}(z) \colon [0, T] \to \{ x \in X | \| x \| \leq 1 \};</math>
| |
| :<math>\mathrm{rd}(z)(t) = \frac{\mathrm{d} \hat{z}}{\mathrm{d} \tau} \left( \frac{\hat{\tau}_{-} (t) + \hat{\tau}_{+}(t)}{2} \right).</math> | |
| | |
| Associated with this pull-back of the derivative is the pull-back of Lebesgue measure on [0, ''T̂''], which defines the '''differential measure''' ''μ''<sub>''z''</sub>:
| |
| | |
| :<math>\mu_{z} ([t_{1}, t_{2})) = \lambda ([\hat{\tau}(t_{1}), \hat{\tau}(t_{2})) = \hat{\tau} (t_{2}) - \hat{\tau}(t_{1}) = t_{2} - t_{1} + \int_{[t_{1}, t_{2}]} \| \mathrm{d} z \|.</math>
| |
| | |
| ==Properties==
| |
| | |
| * The reduced derivative rd(''z'') is defined only ''μ''<sub>''z''</sub>-almost everywhere on [0, ''T''].
| |
| * If ''t'' is a jump point of ''z'', then
| |
| | |
| ::<math>\mu_{z} (\{ t \}) = \| z_{+}(t) - z_{-}(t) \| \mbox{ and } \mathrm{rd}(z)(t) = \frac{z_{+}(t) - z_{-}(t)}{\| z_{+}(t) - z_{-}(t) \|}.</math>
| |
| | |
| * If ''z'' is differentiable on (''t''<sub>1</sub>, ''t''<sub>2</sub>), then
| |
| | |
| ::<math>\mu_{z} ((t_{1}, t_{2})) = \int_{t_{1}}^{t_{2}} 1 + \| \dot{z}(t) \| \, \mathrm{d} t</math>
| |
| | |
| :and, for ''t'' ∈ (''t''<sub>1</sub>, ''t''<sub>2</sub>),
| |
| | |
| ::<math>\mathrm{rd}(z)(t) = \frac{\dot{z}(t)}{1 + \| \dot{z}(t) \|}</math>,
| |
| | |
| * For 0 ≤ ''s'' < ''t'' ≤ ''T'',
| |
| | |
| ::<math>\int_{[s, t)} \mathrm{rd}(z)(r) \, \mathrm{d} \mu_{z} (r) = \int_{[s, t)} \mathrm{d} z = z(t) - z(s).</math>
| |
| | |
| ==References==
| |
| | |
| * {{cite journal
| |
| | last = Mielke
| |
| | first = Alexander
| |
| | coauthors = Theil, Florian
| |
| | title = On rate-independent hysteresis models
| |
| | journal = NoDEA Nonlinear Differential Equations Appl.
| |
| | volume = 11
| |
| | year = 2004
| |
| | issue = 2
| |
| | pages = 151–189
| |
| | issn = 1021-9722
| |
| }} {{MathSciNet|id=2210284}}
| |
| | |
| [[Category:Differential calculus]]
| |
| [[Category:Mathematical analysis]]
| |
Supply and Distribution Manager Judson Maddalena from Osoyoos, usually spends time with passions such as caving, ganhando dinheiro na internet and fitness. Gets plenty of motivation from life by going to destinations for example Pont du Gard (Roman Aqueduct).
my web page como ficar rico