Envelopes created by circle families in the plane

In this paper, on envelopes created by circle families in the plane, all four basic problems (existence problem, representation problem, problem on the number of envelopes, problem on relationships of de?nitions) are solved.


Introduction
Throughout this paper, I is an open interval and all functions, mappings are of class C ∞ unless otherwise stated.
Envelopes of planar regular curve families have fascinated many pioneers since the dawn of differential analysis (for instance, see [3]).In most typical cases, straight line families have been studied.However, even for envelopes created by straight line falimies, there were several unsolved problems until very recently.For instance, as the following Example 1 shows, the well-known method to represent the envelope for a given straight line family creating an envelope is useless in some cases.and the representation problem was open until very recently.
Example 1.Consider the elementary plane curve f : R → R 2 defined by f (t) = t, t 3 .The regular curve f gives a parametrization of the non-singular cubic curve The affine tangent line L t to C at a point t, t 3 may be defined by X − t, Y − t 3 • −3t 2 , 1 = 0, where the dot in the center stands for the standard scalar product of two vectors X − t, Y − t 3 and −3t 2 , 1 .Since the straight line family {L t } t∈R is the affine tangent line family to C, the non-singular cubic curve C must be an envelope of {L t } t∈R .Set We have the following.
Therefore, unfortunately, the well-known method to represent the envelope does not work well in this case and it must be applied under appropriate assumptions.
In [6], by solving four basic problems on envelopes created by straight line families in the plane (existence problem, representation problem, uniqueness problem and equivalence problem of definitions), the second author constructs a general theory for envelopes created by straight line families in the plane.On the other hand, circle families in the plane are non-negligible families because the envelopes of them have already had an important application, namely, an application to Seismic Survey.Following 7.14(9) of [1], a brief explanation of Seismic Survey is given as follows.In the Euclidean plane R 2 , consider the "ground level curve" C parametrized by γ : I → R 2 .Suppose that there is a stratum of granite below the top layer of sandstone and that the dividing curve, denoted by M , is parametrized by Seismic Survey is the following method to obtain an approximation of f as precisely as possible.Take one fixed point A of C and consider an explosion at A. Assume that the sound waves travel in straight lines and are reflected from M , arriving back at points γ(t) of C where their times of arrival are exactly recorded by sensors located along C (see Figure 1).It is known that there exists a curve W parametrized can be easily obtained by using the anti-orthotomic technique developed in [5].Therefore, in order to investigate the parametrization of W as precisely as possible, it is very important to construct a general theory on envelopes created by circle families in the plane, which is the main purpose of this paper.
For a point P of R 2 and a positive number λ, the circle C (P,λ) centered at P with radius λ is naturally defined as follows, where the dot in the center stands for the standard scalar product.
For a curve γ : I → R 2 and a positive function λ : I → R + , the circle family C (γ,λ) is naturally defined as follows.Here, R + stands for the set consisting of positive real numbers.
It is reasonable to assume that at each point γ(t) the normal vector to the curve γ is well-defined.Thus, we easily reach the following definition.Definition 1.A curve γ : I → R 2 is called a frontal if there exists a mapping ν : I → S 1 such that the following identity holds for each t ∈ I, where S 1 is the unit circle in R 2 .
For a frontal γ, the mapping ν : I → S 1 given above is called the Gauss mapping of γ.
By definition, a frontal is a mapping giving a solution of the first order linear differential equation defined by Gauss mapping ν.Thus, for a fixed mapping ν : I → S 1 the set consisting of frontals with a given Gauss mapping ν : I → S 1 is a linear space.For frontals, [4] is recommended as an excellent reference.
Hereafter in this paper, the curve γ : I → R 2 for a circle family C (γ,λ) is assumed to be a frontal.In this paper, the following is adopted as the definition of an envelope created by a circle family.
Definition 2. Let C (γ,λ) be a circle family.A mapping f : I → R 2 is called an envelope created by C (γ,λ) if the following two hold for any t ∈ I. ( By definition, as same as an envelope created by a hyperplane family (see [6]), an envelope created by a circle family is a mapping giving a solution of a first order differential equation with one constraint condition.Moreover, again by definition, an envelope f created by a circle family C (γ,λ) is a frontal with Gauss mapping Problem 1.Let γ : I → R 2 be a frontal with Gauss mapping ν : I → S 1 and let λ : I → R + be a positve function.
(1) Find a necessary and sufficient condition for the circle family C (γ,λ) to create an envelope in terms of γ, ν and λ. (2) Suppose that the circle family C (γ,λ) creates an envelope.Then, find a parametrization of the envelope created by C (γ,λ) in terms of γ, ν and λ.
(3) Suppose that the circle family C (γ,λ) creates an envelope.Then, find a criterion for the number of distinct envelopes created by C (γ,λ) in terms of γ, ν and λ.
(1) (1) of Problem 1 is a problem to seek the integrability conditions.There are various cases, for instance the concentric circle family {{(x, y) ∈ R 2 | x 2 + y 2 = t 2 }} t∈R+ does not create an envelope while the parallel-translated circle family {{(x, y) ∈ R 2 | (x − t) 2 + y 2 = 1}} t∈R does create two envelopes.Thus, (1) of Problem 1 is significant.(2) The following Example 2 shows that the well-known method to represent the envelope is useless in this case.Thus, (2) of Problem 1 is important and the positive answer to it is much desired.(3) The following Example 3 shows that there are at least three cases: the case having a unique envelope, the case having exactly two envelopes and the case having uncountably many envelopes.Thus, (3) of Problem 1 is meaningful and interesting.
In Example 4 of Section 3, it turns out that the set D calculated here is actually larger than the set of envelopes created by C (γ,λ) , namely the unit circle (x, y) ∈ R 2 x 2 + y 2 = 1 is redundant.Therefore, the well-known method to represent the envelopes does not work well in general and it must be applied under appropriate assumptions even for circle families.The circle family C (γ,λ) and the candidates of its envelope are depicted in Figure 3. (1) Let γ : R + → R 2 be the mapping defined by γ(t) = (0, 1 + t).Then, it is clear that γ is a frontal.Let λ : R + → R + be the positive function defined by λ(t) = 1 + t.Then, it is easily seen that the origin (0, 0) of the plane R 2 itself is a created envelope by the circle family C (γ,λ) and that there are no other envelopes created by C (γ,λ) .Hence, the number of created envelopes is one in this case.
(3) Let γ : R → R 2 be the constant mapping defined by γ(t) = (0, 0).Then, it is clear that γ is a frontal.Let λ : R → R + be the constant function defined by λ(t) = 1.Then, for any function θ : R → R, the mapping f : R → R 2 defined by f (t) = (cos θ(t), sin θ(t)) is an envelope created by the circle family C (γ,λ) .Hence, there are uncountably many created envelopes in this case.
In order to solve Problem 1, we prepare several terminologies which can be derived from a frontal γ : I → R 2 with Gauss mapping ν : I → S 1 and a positive function λ : with Gauss mapping ν : I → S 1 , following [2], we set µ(t) = J(ν(t)), where J is the anti-clockwise rotation by π/2.Then we have a moving frame {µ(t), ν(t)} t∈I along the frontal γ.
The pair of functions ( , β) is called the curvature of the frontal γ with Gauss mapping ν.We want to focus the ratio of dλ dt (t) and β(t).The following definition is the key of this paper.Definition 3. Let γ : I → R 2 , λ : I → R + be a frontal with Gauss mapping ν : I → S 1 and a positive function respectively.Then, the circle family C (γ,λ) is said to be creative if there exists a mapping ν : I → S 1 such that the following identity holds for any t ∈ I.
Then, the creative condition is equivalent to say that there exists a function θ : I → R satisfying the following identity for any t ∈ I.
By definition, any family of concentric circles with smoothly expanding radii is not creative, and it is clear that such the circle family does not create an envelope.Under the above preparation, Problem 1 is solved as follows.
Theorem 1.Let γ : I → R 2 be a frontal with Gauss mapping ν : I → S 1 and let λ : I → R + be a positive function.Then, the following three hold.
(2) Suppose that the circle family C (γ,λ) creates an envelope f : I → R 2 .Then, the created envelope f is represented as follows.
where ν : I → S 1 is the mapping defined in Definition 3.
(3) Suppose that the circle family C (γ,λ) creates an envelope.Then, the number of envelopes created by C (γ,λ) is characterized as follows.
( By the assertion (2) of Theorem 1, it is reasonable to call ν the creator for an envelope f created by This paper is organized as follows.Theorem 1 is proved in Section 2. In Section 3, several examples to which Theorem 1 is effectively applicable are given.Finally, in Section 4, relations of several definitions of an envelope created by a circle family are investigated.
we have the following.
Hence, f is an envelope created by the circle family C (γ,λ) .Conversely, suppose that the circle family C (γ,λ) creates an envelope f : implies that there exists a mapping ν : I → S 1 such that the following equality holds for any t ∈ I.
we have the following.
Since λ(t) is positive for any t ∈ I, it follows Therefore, the circle family C (γ,λ) is creative.

Proof of (3-i).
Suppose that the circle family C (γ,λ) creates a unique envelope.Then, for any t ∈ I the unit vector ν(t) satisfying dλ dt must be uniquely determined.Hence, under considering continuity of two functions dλ dt and β, it follows that the set consisting of t ∈ I satisfying dλ dt (t) = ±β(t) = 0 must be dense in I. Conversely, suppose that the set consisting of t ∈ I satisfying dλ dt (t) = ±β(t) = 0 is dense in I.Then, under considering continuity of the function t → ν(t) • µ(t), it follows that ν(t) • µ(t) = ±1 for any t ∈ I. Thus, the created envelope f (t) = γ(t) + λ(t) ν(t) must be unique.2 2.3.2.Proof of (3-ii).Suppose that there are exactly two distinct envelopes created by C (γ,λ) .Then, by the equality dλ dt (t) = −β(t) ( ν(t) • µ(t)) , the set consisting of t ∈ I satisfying β(t) = 0 must be dense in I. Suppose moreover that the equality dλ dt (t) = ±β(t) holds for any t ∈ I.Then, it follows that the set consisting of t ∈ I satisfying dλ dt (t) = ±β(t) = 0 is dense in I.Then, by the assertion (3-i), the given circle family must create a unique envelope.This contradicts the assumption that there are exactly two distinct envelopes.Hence, there must exist at least one t 0 ∈ I such that the strict inequality Conversely, suppose that the set of t ∈ I satisfying β(t) = 0 is dense in I and there exists at least one t 0 ∈ I such that the strict inequality | dλ dt (t 0 )| < |β(t 0 )| holds.Then, it follows that there must exist an open interval I in I such that the absolute value | ν(t) • µ(t)| = | cos θ(t)| is less than 1 for any t ∈ I. Thus, it follows θ(t) = −θ(t) for any t ∈ I. Hence, for any t ∈ I, there exist exactly two distinct unit vectors ν Therefore, by the assertion (2) of Theorem 1, the circle family must create exactly two distinct envelopes.2 2.3.3.Proof of (3-∞).Suppose that there are uncountably many distinct envelopes created by C (γ,λ) .Suppose moreover that the set of t ∈ I such that β(t) = 0 is dense in I.Then, from (3-i) and (3-ii), it follows that the circle family C (γ,λ) must create a unique envelope or two distinct envelopes.This contradicts the assumption that there are uncountably many distinct envelopes created by C (γ,λ) .Hence, the set of t ∈ I such that β(t) = 0 is never dense in I.
Conversely, suppose that the set of t ∈ I such that β(t) = 0 is not dense in I.This assumption implies that there exists an open interval I in I such that β(t) = 0 for any t ∈ I. On the other hand, since C (γ,λ) creates an envelope f 0 , the equality dλ dt holds for any t ∈ I. Thus, there are no restrictions for the value ν(t) • µ(t) for any t ∈ I. Take one point t 0 of I and denote the ν for the envelope f 0 by ν 0 .Then, by using the standard technique on bump functions, we may construct uncountably many distinct creators ν a : I → S 1 (a ∈ A) such that the following (a), (b), (c) and (d) hold, where A is a set consisting uncountably many elements such that 0 ∈ A.
By calculation, we have Therefore, the unit vector ν(t) ∈ S 1 satisfying dλ dt exists and it must have the form Hence, by the assertion (1) of Theorem 1, the circle family C (γ,λ) creates an envelope f : R → R 2 .By the assertion (2) of Theorem 1, f is parametrized as follows.
Finally, by the assertion (3-ii) of Theorem 1, the number of distinct envelopes created by the circle family C (γ,λ) is exactly two.Therefore, Theorem 1 reveals that the set D calculated in Example 2 is certainly the union of the unit circle and the set of two envelopes of C (γ,λ) .
Example 7. Theorem 1 can be applied even to (3) of Example 3 as follows.In this example, γ(t) = (0, 0) and λ(t) = 1.Thus, every mapping ν : R → S 1 can be taken as Gauss mapping of γ.In particular, γ is a frontal.We have simply becomes 0 = 0 in this case.Thus, for any ν : R → S 1 , the creative condition is satisfied.Hence, by the assertion (1) of Theorem 1, the circle family C (γ,λ) creates an envelope.By the assertion (2) of Theorem 1, the parametrization of the created envelope is Example 8. Let γ : R + → R 2 be the mapping defined by γ(t) = (t, 0) and let λ : R + → R + be the positive function defined by λ(t) = t 2 .The circle family C (γ,λ) and the candidate of its envelope is depicted in Figure 4. Defining the mapping ν : R + → S 1 by ν(t) = (0, −1) clarifies that the mapping γ Since ν(t) ∈ S 1 , from the above expression, it follows that such ν(t) does not exist if 1 2 < t.Thus, the circle family C (γ,λ) is not creative and it creates no envelopes by the assertion (1) of Theorem 1. Example 9.This example is almost the same as Example 8.The difference from Example 8 is only the parameter space.In Example 9, the parameter space I is 0, 1  2 .That is to say, in this example, R + in Example 8 is replaced by 0, 1  2 and all other settings in Example 8 remain without change.Then, from calculations in Example 8, it follows that the given circle family C (γ,λ) is creative.Thus, by the assertion (1) of Theorem 1, C (γ,λ) creates an envelope.It is easily seen that the expression of ν(t) must be as follows.
Therefore, by the assertion (2) of Theorem 1, an envelope f created by C (γ,λ) is parametrized as follows.
Finally, by the assertion (3-ii) of Theorem 1, it follows that the number of distinct envelopes created by the circle family C (γ,λ) is exactly two.
is not the empty set and denote the set by I(t 0 ).Take one point e 1 (t 0 ) = (x(t 0 ), y(t 0 )) of I(t 0 ).Then, the set consisting of the images of smooth mappings e 1 : I → R 2 , if exists, is called an E 1 envelope created by the circle family C (γ,λ) and is denoted by E 1 .
Definition 5 (D envelope [1]).Let γ : I → R 2 , λ : I → R + be a frontal and a positive function respectively.Set Then, the following set is called the D envelope created by the circle family C (γ,λ) and is denoted by D.
Concerning the relationships among E 1 , E 2 and D for a given circle family C (γ,λ) , the following is known.
In this section, we study more precise relationships among E 1 , E 2 and D.
4.1.The relationship between E 1 and E 2 .We first establish the relationship between E 1 and E 2 as follows.
Then, we have the following.
Conversely, suppose that the circle family C (γ,λ) creates an E 2 envelope f : I → R 2 .By the assertion (2) of Theorem 1, f has the following representation.
For a point P ∈ R 2 and a unit vector v ∈ S 1 , the straight line L(P, v) is naturally defined as follows.
f is an E 2 envelope created by the straight line family Take one parameter t 0 ∈ I and let {t i } i=1,2,... ⊂ I be a sequence converging to t 0 .Since for the straight line family L (f, ν) the image of E 2 envelope is the same as E 1 envelope (see the assertion (c) of Theorem 1 in [6]), for any sufficiently large i ∈ N there exists a point such that lim i→∞ (x(t i ), y(t i )) = f (t 0 ).Hence for any sufficiently large i ∈ N there must exist a point such that lim i→∞ ( x(t i ), y(t i )) = f (t 0 ) (see Figure 6).Therefore, the point f (t 0 ) ∈ R 2 belongs to E 1 .The condition (a) implies that there exists a unit vector ν 1 (t 0 ) ∈ S 1 such that (x 0 , y 0 ) = γ(t 0 ) − λ(t 0 )ν 1 (t 0 ).

Figure 1 .Figure 2 .
Figure 1.Reflection of sound waves.by f : I → R 2 with well-defined normals such that each broken line of a reflected ray starting at A and finishing on C can be replaced by a straight line which is normal to W and of the same total length.The curve W is called the orthotomic of M relative to A and conversely the curve M is called the anti-orthotomic of W relative to A. Then, an envelope created by the circle family (x, y) ∈ R 2 ||(x, y) − γ(t)|| = ||f (t) − γ(t)|| t∈I recovers W (see Figure 2).After obtaining the parametrization f of W , the parametrization f of M

Figure 3 .
Figure 3.The circle family C (γ,λ) and the candidates of its envelope.

2 .2. 1 .
Proof of Theorem 1 Proof of the assertion (1) of Theorem 1. Suppose that C (γ,λ) is creative.By definition, there exists a mapping ν : I → S 1 such that the equality dλ dt

Figure 4 .
Figure 4.The circle family C (γ,λ) and the candidate of its envelope.