Extensions To Nonlinear Maps
For nonlinear operators the operator norm and logarithmic norm are defined in terms of the inequalities
where is the least upper bound Lipschitz constant of, and is the greatest lower bound Lipschitz constant; and
where and are in the domain of . Here is the least upper bound logarithmic Lipschitz constant of, and is the greatest lower bound logarithmic Lipschitz constant. It holds that (compare above) and, analogously, where is defined on the image of .
For nonlinear operators that are Lipschitz continuous, it further holds that
If is differentiable and its domain is convex, then
- and
Here is the Jacobian matrix of, linking the nonlinear extension to the matrix norm and logarithmic norm.
An operator having either or is called uniformly monotone. An operator satisfying is called contractive. This extension offers many connections to fixed point theory, and critical point theory.
The theory becomes analogous to that of the logarithmic norm for matrices, but is more complicated as the domains of the operators need to be given close attention, as in the case with unbounded operators. Property 8 of the logarithmic norm above carries over, independently of the choice of vector norm, and it holds that
which quantifies the Uniform Monotonicity Theorem due to Browder & Minty (1963).
Read more about this topic: Logarithmic Norm
Famous quotes containing the words extensions and/or maps:
“The psychological umbilical cord is more difficult to cut than the real one. We experience our children as extensions of ourselves, and we feel as though their behavior is an expression of something within us...instead of an expression of something in them. We see in our children our own reflection, and when we don’t like what we see, we feel angry at the reflection.”
—Elaine Heffner (20th century)
“And now good morrow to our waking souls,
Which watch not one another out of fear;
For love all love of other sights controls,
And makes one little room an everywhere.
Let sea-discoverers to new worlds have gone,
Let maps to other, worlds on worlds have shown,
Let us possess one world; each hath one, and is one.”
—John Donne (1572–1631)