criteria for existence of antidervatives
Let be a normed space, a Banach space, a connected open set, a continuous function, where is the space of continuous linear operators. In this article a path is a curve that has bounded variation. The following theorems give necessary and sufficient conditions for to have an antiderivatives.
Theorem 1.
The following conditions are equivalent:
-
1.
has an antiderivative on ,
-
2.
for any closed path in ,
-
3.
for any , paths in that have the same starting and endpoints .
The next theorem states criteria for the existence of local antiderivatives.
Theorem 2.
The following conditions are equivalent:
-
1.
has an antiderivative locally,
-
2.
for , homotopic closed paths in ,
-
3.
if is a triangular path such that its convex hull is in , then .
With the stronger assumption that is differenciable we can obtain a more easily applicable condition. We introduce the canonical isometric isomorphism
where is the space of bilinear operators from to . If is an antiderivative of , then and by Clairaut’s theorem the second derivative is symmetric. The following theorems assert that the reverse is also true.
Theorem 3.
If is differentiable, then it has an antiderivative locally if and only if is symmetric for all .
Combining these three theorems immediately gives the following.
Corollary 1.
If is simply connected and is differentiable, then it has an antiderivative on if and only if is symmetric for all .
Title | criteria for existence of antidervatives |
---|---|
Canonical name | CriteriaForExistenceOfAntidervatives |
Date of creation | 2013-03-22 19:14:00 |
Last modified on | 2013-03-22 19:14:00 |
Owner | scineram (4030) |
Last modified by | scineram (4030) |
Numerical id | 9 |
Author | scineram (4030) |
Entry type | Theorem |
Classification | msc 46G05 |