Journal of Applied Mathematics

Volume 2016, Article ID 4873276, 17 pages

http://dx.doi.org/10.1155/2016/4873276

## Bounding Regions to Plane Steepest Descent Curves of Quasiconvex Families

^{1}Dipartimento di Matematica e Informatica Ulisse Dini, Università degli Studi di Firenze, Viale Morgagni 67/a, 50134 Firenze, Italy^{2}Dipartimento GESAAF, Università degli Studi di Firenze, Piazzale delle Cascine 15, 50144 Firenze, Italy

Received 26 February 2016; Accepted 17 April 2016

Academic Editor: Wenyu Sun

Copyright © 2016 Marco Longinetti et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

#### Abstract

Two-dimensional steepest descent curves (SDC) for a quasiconvex family are considered; the problem of their extensions (with constraints) outside of a convex body is studied. It is shown that possible extensions are constrained to lie inside of suitable bounding regions depending on . These regions are bounded by arcs of involutes of and satisfy many inclusions properties. The involutes of the boundary of an arbitrary plane convex body are defined and written by their support function. Extensions SDC of minimal length are constructed. Self-contracting sets (with opposite orientation) are considered: necessary and/or sufficient conditions for them to be subsets of SDC are proved.

#### 1. Introduction

Let be a smooth function defined in a convex body . Let in . A classical steepest descent curve of is a rectifiable curve solution to Classical steepest descent curves are the integral curves of a unit field normal to the sublevel sets of the given smooth function . We are interested in “generalized” steepest descent curves that are integral curves to a unit field normal to a nested family of convex sets (see Definition 5); will be called a quasiconvex family as in [1]. Sharp bounds about the length of the steepest descent curves for a quasi convex family have been proved in [2–4]. The geometry of these curves, equivalent definitions, related questions and generalizations have been studied in [5–9].

In the present work generalized* steepest descent curves for a quasiconvex family* (SDC for short) are defined as bounded oriented rectifiable curves , with a locally Lipschitz continuous parameterization , with ascent parameter, satisfying is the scalar product in . Let ordering be chosen on , according to the orientation; let us denoteIn [8, Theorem 4.10], the SDC are characterized in an equivalent way as* self-distancing curves*, namely, oriented () continuous curves with the property that the distance of to an arbitrarily fixed previous point is not decreasing:Thus* steepest descent curves* are self-distancing curves and both denoted SDC. In [8] self-distancing curves are called self-expanding curves. With the opposite orientation these curves have been also introduced, studied, and called self-approaching curves (see [2]) or self-contracting curves (see [7]).

In our work we are interested in the behaviour and properties of a* plane* SDC beyond its final point . One of the principal goals of the paper is to show that conditions (2) and (4) imply constraints for possible extensions of curve beyond ; these constraints are written as bounding regions for the possible extensions of .

An important property that will be used later is the property of distancing from a set .

*Definition 1. *Given a set , an absolutely continuous curve , has the distancing from property if it satisfies

Let us outline the content of our work. In Section 2 introductory definitions are given and covering maps for the boundary of a plane convex set, needed for later use, are introduced. In Section 3 the involutes of the boundary of a plane convex body are introduced and some of their properties are proved.

In Section 4 plane regions depending on the convex hull of have been defined; these regions fence in or fence out the possible extensions of . The boundary of these sets consists of arcs of involutes of convex bodies, constructed in Section 3. As an application, in Section 4.1 the following problem has been studied: given a convex set , , , is it possible to construct joining to , satisfying the distancing from* K* property? Minimal properties of this construction have been introduced and studied. In Section 5 sets of points more general than SDC are studied. A set (not necessarily a curve) of ordered points satisfying (4) will be called* self-distancing set*; see also Definition 2; with the opposite order, was called in [6] self-contracting set and many properties of these sets, as only subsets of self-contracting curves, were there obtained. Another goal of the paper is the solution to the following question: given a self-distancing set does a steepest descent curve exist? In Section 5 examples, necessary and/or sufficient conditions are given when consists of a finite or countable number of points and/or steepest descent curves .

In the present work the two-dimensional case is studied. Similar results for the -dimensional case are an open problem stated at the end of the work.

#### 2. Preliminaries and Definitions

Let A nonempty, compact convex set of will be called a* convex body*. From now on, will* always be a convex body not reduced to a point*. and denote the interior of and the boundary of , denotes its length, is the closure of , will be the smallest affine space containing , and and are the corresponding subsets in the topology of . For every set , is the convex hull of .

Let ; the* normal cone* at to is the closed convex cone:When , then reduces to zero.

The* tangent cone* or support cone of* K* at a point is given by

In two dimensions cones will be called sectors.

Let be a convex body and let be a point. A simple cap body isCap bodies properties can be found in [10, 11].

##### 2.1. Self-Distancing Sets and Steepest Descent Curves

Let us recall the following definitions.

*Definition 2. *Let us call* self-distancing set* a bounded subset of , linearly ordered (by ), with the property

The self-distancing sets have been introduced in [6] with the opposite order. If a self-distancing set is a closed connected set, not reduced to a point, then it can be proved that is the support of a steepest descent curve (see [8, Theorem 4.10, Theorem 4.8]) and it will also be called a* self-distancing curve *.

The short name SDC will be used both for self-distancing curves and for steepest descent curves in all the paper.

*Definition 3. *Let be a convex body; will be called a* self-distancing curve from * (denoted ) if (i)is a self-distancing curve,(ii),(iii) has the propertyWhen (ii) does not hold, that is , will be called a* deleted self-distancing curve from *.

*Remark 4. *Let be , since has an absolutely continuous parameterization ([8, Theorem 4.10, Theorem 4.8]), thus property (11) for is equivalent to (5).

If is SDC and then is . That is, the tangent vector to is in the normal cone at to the related convex set . This condition is a generalization of the classicals steepest descent curves that are integral curves to a unit field normal to smooth quasiconvex families.

Nested families of convex sets have been introduced and studied by de Finetti [12] and Fenchel [1]. Let us recall some definitions.

*Definition 5. *Let be a real interval. A* convex stratification* (see [12]) is a nonempty family of convex bodies , , linearly strictly ordered by inclusion (, ), with a maximum set () and a minimum set ().

Let be a convex stratification. If for every the property holds, then as in [1], will be called a* quasiconvex family*.

An important quasiconvex family associated with a continuous self-distancing curve from , : is , where The couple is special case of* Expanding Couple*, a class introduced in [8].

*Remark 6. *If , then for all the curve is a self-distancing curve from the convex hull of the set .

This fact is a direct consequence of the following.

Proposition 7 (see [8, Lemma 4.9]). *Let , . Ifthen the same holds for every .*

The statement of the previous proposition holds if large inequalities are replaced by strict inequalities everywhere.

##### 2.2. The Support Function of a Plane Convex Body

Let be a convex body not reduced to a point.

For a convex body , the* support function* is defined aswhere denotes the scalar product in . For , , let and ; it will be denoted if no ambiguity arises.

For every there exists at least one point such thatthis means that the line through orthogonal to supports . For every let be the set of such that (16) holds. Let be the set of all satisfying (16). If is strictly convex at the direction then reduces to one point and it will be denoted by .

*Definition 8. *The set valued map , is the generalized Gauss map; is a vertex on iff is a sector with interior points. The set valued map is the reverse generalized Gauss map; is a closed segment, possibly reduced to a single point, and it will be called 1-face when it has interior points.

Let be the covering map

Let , and let , (, ) be the parametric representations of depending on the arc length counterclockwise (clockwise) with an initial point (not necessarily the same). Let us extend and by defining similarly for .

Let us fix , , , and .

For later use, we need to have ; this can be realized by choosing suitable initial points for the parameterizations and .

Then

The maps are covering maps.

The initial parameters will be ( are the back images of , resp.). Let . Let us define, for :if Similarly, let us define for :if The function is increasing in and right continuous and with left limits (so called* cadlag* function). Similar properties hold for . Let us recall that a cadlag increasing function , , has a right continuous inverse defined as Let be the right continuous inverse of . Let be the opposite of the right continuous inverse of .

Let us introduce for simplicity

Let be the support function of .

It is well known ([13]) that if is (i.e., , with positive curvature), then is and the counterclockwise element arc of is given by is the positive radius of curvature; moreover the reverse Gauss map is a 1-1 map given by

The previous formula also holds for an arbitrary convex body, for every such that is reduced to a point; see [10]. Let us recall that a real valued function is called semiconvex on when there exists a positive constant such that is convex on . From (29) the function is convex on ; thus is semiconvex. In the case that is an arbitrary convex body, by approximation arguments with convex bodies (see [11]) it follows that the support function of is also semiconvex. As consequence is Lipschitz continuous, it has left (right) derivative (resp. ) at each point, which is left (right) continuous. Moreover at each point the right limit of is and the left limit of is ; see [14, pp. 228].

It is not difficult to show (from (30), with a right limit argument) that, for an arbitrary convex body, for , the formulaholds. Similarly the formulaholds.

If is not strictly convex at the direction then is not differentiable at andIf let us define as the set of points of between and according to the counterclockwise orientation of and as the set of points between and , according to the clockwise orientation; denote their length.

*Remark 9. *It is well known that a sequence of convex body converges uniformly to if and only if the corresponding sequence of support functions converges in the uniform norm; see [11, pp. 66]. Moreover as the two sequences of the end points of a closed counterclockwise oriented arc of converge, then the sequence of the corresponding arcs converges to a connected arc of and the sequence of the corresponding lengths converges too.

Proposition 10. *Let be a convex body and its support function; then*

*Proof. *For every convex body not reduced to a point the function is defined everywhere and satisfies the weak form of (29); namely,Using the fact that is Lipschitz continuous, integrating by parts (36), the formulaholds. Thus with constant. Passing to the right limit, the equality holds. Formula (34) follows, by computing , using the previous equality. Similarly (35) is proved.

#### 3. Involutes of a Closed Convex Curve

*Definition 11. *Let be an interval. A plane curve is convex if at every point it has right tangent vector and arg is not decreasing function.

Let be the arc length parameterization of a smooth curve; the classical definition of involute starting at a point of the curve is

Let us notice that is the arc length of the curve, not of the involute; if , then the starting point of the involute coincides with the starting point of the curve. It is easy to construct an involute of a convex polygonal line (even if classical definition (40) does not work) by using arcs of circle centered at its corner points; moreover the involute depends on the orientation of the curve.

In this section, involutes for the boundary of an arbitrary plane convex body , not reduced to a point, will be defined. The assumption that is an arbitrary convex body is needed to work with the involutes of the convex sets, not smooth, studied in Section 4.

Let ; let be a fixed point of ; can be the clockwise parameterization of or the counterclockwise parameterization. Since there exist two orientations, then two different involutes have to be considered. As noted previously one can assume that the parameterizations of have been chosen so that .

*Definition 12. *Let one denote by the left involute of starting at corresponding to the counterclockwise parameterization of and by the right involute corresponding to the clockwise parameterization. When one needs to emphasize the dependence on of involutes, they will be written as , .

*Remark 13. *Let us notice that if is a plane reflection with respect to a fixed axis then This relation allows us to prove our results for the left involutes only and to state without proof the analogous results for the right involutes.

Theorem 14. *Let one fix the initial parameters , , , and . The left and the right involutes of a plane convex curve starting at , boundary of a plane convex body with support function , are parameterized by the value related to the outer normal to , as follows:*

*Proof. *In the present case there is a 1-1 mapping between and ; from (29), it follows that then, changing the variable with in (40), with elementary computation, (42) is obtained (since and (30) holds). Formula (43) follows from (32) and (35).

For an arbitrary convex body in place of (30), formulas (31) and (32) have to be used.

*Definition 15. *Let be a plane convex body; let The left involute of starting at will be defined assimilarly if , , the right involute starting at will be defined as

From (46) and (34) it follows thatsimilarly from (47), (35) it follows that

Let us notice that in (48) and (49) the same parameter is used, but with different range; it turns out that is counterclockwise oriented; instead is clockwise oriented; .

*Remark 16. *The following facts can be derived from the above equations: (i)since is Lipschitz continuous for every convex body , then the involute is a rectifiable curve;(ii) and(iii)if is a vertex of then , for , lies on an arc of circle centered at with radius ;(iv)the involute (42) satisfies

Lemma 17. *Parameterization (48) of the involute is 1-1 in the interval ; moreover, except for at most a finite or countable set of values , (corresponding to the 1-face of ), is differentiable andfurthermore has left and right derivative with common direction at .*

*Proof. *By differentiating (48) and using (34), equality (52) is proved. Similar argument, at , proves that is the common direction of the left and right derivatives.

*Remark 18. *Let , , , be left involutes of . Since then they will be called* parallel* curves. Moreover, by (51), and will also be called parallel.

Theorem 19. *If is the arc element of the involute then is continuous and invertible in with continuous inverse . Moreoverthe involute is a convex curve with positive curvature a.e.: is everywhere, and**Moreover the following properties hold. *(i)*For every the right derivative * *exists everywhere and it is a decreasing cadlag function.*(ii)* has everywhere right derivative given by *

*Theorem 20. Let be a sequence of plane convex bodies which converges uniformly to , , ; then the corresponding sequences of left involutes converge uniformly to in compact subsets of ; moreover the corresponding sequence of their derivatives (with respect to the arc length) converges uniformly to .*

*Proof. *By Remark 9 the sequence of functions converges to . From (54) the arclengths of the left involutes converges uniformly in compact subsets of to the arc length of ; from (56) the same fact holds for their derivatives.

*Let us consider the arc of the involute and the set valued map (Definition 8). Let the union of segments joining the points of with the corresponding points on .*

*Definition 21. *If the tangent sector to has an opening less than or equal to as in Figure 1, then is convex; let one define If is not convex then let us consider . Let us notice that is an open segment with end points , with , . Let us define , with such that (see Figure 2) is orthogonal to , . Let be the smallest satisfying . Clearly .

For the right involutes a value is defined similarly, with , such that the line orthogonal to supporting at is tangent to the right involute at (see Figure 3) where is the point , written as for short.