Calculus of variations and optimal control; optimization Definition
Limiting subdifferential
Builds on Extended real number lineLimit inferiorSequenceSubderivative
Definition
Let be a function with values in the extended real line, and let with finite.
- A vector is a regular subgradient of at a point with finite if where is the limit inferior. The set of these vectors is the regular subdifferential .
- The limiting subdifferential is the set of vectors for which there are sequences and with and for all .
Remarks
Taking and shows that . If is differentiable near with continuous gradient, then . If is convex, both sets equal the subdifferential of convex analysis. If is a local minimum of , then . Other names are the Mordukhovich subdifferential and the basic subdifferential.
Example: on and . For the function is differentiable with derivative , so ; for , . Hence , and in fact .
Non-example: the vector for the same function. It is not a regular subgradient at , since for all . It is not a limit of regular subgradients at nearby points either, since these are all . So , although lies in the Clarke generalized gradient .
Reading path
To understand this page from the ground up, read these 5 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Extended real number line object
- Limit inferior concept
- Sequence concept
- Subderivative concept
- Limiting subdifferential definition
Further reading
About this page
| Tag | YXJDQM9VVD |
|---|---|
| URI | m2://YXJDQM9VVD |
| Kind | definition |
| Writing | W0 stub |
| MSC | 49J52, 49J53 |
| Defines | Limiting subdifferential |
| Uses | Extended real number line, Limit inferior, Sequence, Subderivative |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.