Definition
Let X be a separable, reflexive Banach space with norm || || and fix T > 0. Let BV−(; X) denote the space of all left-continuous functions z : → X with bounded variation on .
For any function of time f, use subscripts +/− to denote the right/left continuous versions of f, i.e.
For any sub-interval of, let Var(z, ) denote the variation of z over, i.e., the supremum
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
The “stretched time” function τ̂ is left-continuous (i.e. τ̂ = τ̂−); moreover, τ̂− and τ̂+ are strictly increasing and agree except at the (at most countable) jump points of z. Setting T̂ = τ̂(T), this “stretch” can be inverted by
Using this, the stretched version of z is defined by
where θ ∈ and
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:
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 τ̂ : → . In other words,
Associated with this pull-back of the derivative is the pull-back of Lebesgue measure on, which defines the differential measure μz:
Read more about this topic: Reduced Derivative
Famous quotes containing the word definition:
“Although there is no universal agreement as to a definition of life, its biological manifestations are generally considered to be organization, metabolism, growth, irritability, adaptation, and reproduction.”
—The Columbia Encyclopedia, Fifth Edition, the first sentence of the article on “life” (based on wording in the First Edition, 1935)
“Beauty, like all other qualities presented to human experience, is relative; and the definition of it becomes unmeaning and useless in proportion to its abstractness. To define beauty not in the most abstract, but in the most concrete terms possible, not to find a universal formula for it, but the formula which expresses most adequately this or that special manifestation of it, is the aim of the true student of aesthetics.”
—Walter Pater (1839–1894)
“The very definition of the real becomes: that of which it is possible to give an equivalent reproduction.... The real is not only what can be reproduced, but that which is always already reproduced. The hyperreal.”
—Jean Baudrillard (b. 1929)