Wiener–Ikehara theorem: Difference between revisions
en>Sodin added Category:Theorems in analysis using HotCat |
en>Yobot m →References: WP:CHECKWIKI error fixes - Replaced endash with hyphen in sortkey per WP:MCSTJR using AWB (9100) |
||
Line 1: | Line 1: | ||
In [[mathematics]], the '''metric derivative''' is a notion of [[derivative]] appropriate to [[Parametric equation|parametrized]] [[path (topology)|paths]] in [[metric space]]s. It generalizes the notion of "speed" or "absolute velocity" to spaces which have a notion of distance (i.e. metric spaces) but not direction (such as [[vector space]]s). | |||
==Definition== | |||
Let <math>(M, d)</math> be a metric space. Let <math>E \subseteq \mathbb{R}</math> have a [[limit point]] at <math>t \in \mathbb{R}</math>. Let <math>\gamma : E \to M</math> be a path. Then the '''metric derivative''' of <math>\gamma</math> at <math>t</math>, denoted <math>| \gamma' | (t)</math>, is defined by | |||
:<math>| \gamma' | (t) := \lim_{s \to 0} \frac{d (\gamma(t + s), \gamma (t))}{| s |},</math> | |||
if this [[Limit (mathematics)|limit]] exists. | |||
==Properties== | |||
Recall that [[absolute continuity|AC<sup>''p''</sup>(''I''; ''X'')]] is the space of curves ''γ'' : ''I'' → ''X'' such that | |||
:<math>d \left( \gamma(s), \gamma(t) \right) \leq \int_{s}^{t} m(\tau) \, \mathrm{d} \tau \mbox{ for all } [s, t] \subseteq I</math> | |||
for some ''m'' in the [[Lp space|''L''<sup>''p''</sup> space]] ''L''<sup>''p''</sup>(''I''; '''R'''). For ''γ'' ∈ AC<sup>''p''</sup>(''I''; ''X''), the metric derivative of ''γ'' exists for [[Lebesgue measure|Lebesgue]]-[[almost all]] times in ''I'', and the metric derivative is the smallest ''m'' ∈ ''L''<sup>''p''</sup>(''I''; '''R''') such that the above inequality holds. | |||
If [[Euclidean space]] <math>\mathbb{R}^{n}</math> is equipped with its usual Euclidean norm <math>\| - \|</math>, and <math>\dot{\gamma} : E \to V^{*}</math> is the usual [[Fréchet derivative]] with respect to time, then | |||
:<math>| \gamma' | (t) = \| \dot{\gamma} (t) \|,</math> | |||
where <math>d(x, y) := \| x - y \|</math> is the Euclidean metric. | |||
==References== | |||
* {{cite book | author=Ambrosio, L., Gigli, N. & Savaré, G. | title=Gradient Flows in Metric Spaces and in the Space of Probability Measures | publisher=ETH Zürich, Birkhäuser Verlag, Basel | year=2005 | isbn=3-7643-2428-7 | page=24}} | |||
[[Category:Differential calculus]] | |||
[[Category:Metric geometry]] |
Revision as of 16:37, 20 April 2013
In mathematics, the metric derivative is a notion of derivative appropriate to parametrized paths in metric spaces. It generalizes the notion of "speed" or "absolute velocity" to spaces which have a notion of distance (i.e. metric spaces) but not direction (such as vector spaces).
Definition
Let be a metric space. Let have a limit point at . Let be a path. Then the metric derivative of at , denoted , is defined by
if this limit exists.
Properties
Recall that ACp(I; X) is the space of curves γ : I → X such that
for some m in the Lp space Lp(I; R). For γ ∈ ACp(I; X), the metric derivative of γ exists for Lebesgue-almost all times in I, and the metric derivative is the smallest m ∈ Lp(I; R) such that the above inequality holds.
If Euclidean space is equipped with its usual Euclidean norm , and is the usual Fréchet derivative with respect to time, then
where is the Euclidean metric.
References
- 20 year-old Real Estate Agent Rusty from Saint-Paul, has hobbies and interests which includes monopoly, property developers in singapore and poker. Will soon undertake a contiki trip that may include going to the Lower Valley of the Omo.
My blog: http://www.primaboinca.com/view_profile.php?userid=5889534