# Uniqueness properties of the invariator, leading to simple computations.

INTRODUCTIONThe invariator is a new stereological principle to generate a test line on an isotropic plane (called the pivotal plane) through a fixed point (called the pivotal point), which is effectively a test line with a motion invariant density in [R.sup.3]. This construction enjoys practical advantages because individual particle surface area and volume can be estimated from measurements made solely on a pivotal section (CruzOrive, 2005; Cruz-Orive et al., 2010). It can be shown that the volume of a particle in [R.sup.3] is equal to 2[pi] times the mean volume of a three dimensional subset (called the wedge set) which is well defined on a pivotal section (Cruz-Orive, 2011, Eq. 18). If the particle is convex then its surface area is four times the mean flower area of a pivotal section (Cruz-Orive, 2005, Eq. 2.19).

Classical estimators of particle volume and surface area are the nucleator (Gundersen, 1988), and the surfactor (Jensen and Gundersen, 1987, 1989), respectively. For additional information on these estimators see Karlsson and Cruz-Orive (1997). In a recent generalization of the invariator the question has been raised of whether the invariator functional defined on a pivotal section to represent intrinsic particle volumes is unique (Gual-Arnau et al., 2010, Conjecture 4.1). If true, this conjecture would imply that, for any given pivotal plane, a suitable average of whatever estimator of an intrinsic volume would coincide with the corresponding invariator estimator.

The purpose of this paper is to prove the following results.

(i) For a particle in [R.SUP.3] the average of the nucleator formula on a pivotal section yields the mean wedge volume defined on that section (Proposition 1).

(ii) For a convex particle containing the pivotal point the average of the surfactor expression on a pivotal section coincides with the corresponding flower area. This result is proven separately for a convex particle with smooth boundary (Proposition 2), and for a convex polyhedron (Proposition 3).

The result (ii) was fortuitously found to hold for a ball in Cruz-Orive (2008) after Eq. 10.

As a plus, the following new results are also obtained.

(a) Proposition 1 leads to a computational formula for the mean wedge volume of a convex polygon (Corollary 1) which is much simpler than Eq. 61 from Cruz-Orive (2011). Moreover, the new formula is valid indistinctly for an interior or an exterior pivotal point.

(b) Proposition 3 leads to an alternative to Calka's formula (Cruz-Orive, 2011, Eq. 45) for the flower area of a convex polygon with respect to an interior pivotal point (Corollary 2).

Conclusions and open questions are presented in the final section.

EQUIVALENT REPRESENTATIONS OF THE MEAN WEDGE VOLUME

Consider a particle Fc[R.SUP.3], namely an arbitrary compact domain with nonempty interior [Y.sup.*] and piecewise smooth boundary [partial derivative]Y. Thus, Y can be contained in a ball [B.sub.3] := [B.sub.3](R) of finite radius R and centred at a fixed point O, which is adopted as the pivotal point (Fig. 1, left).

THE INVARIATOR CONSTRUCTION

As in Cruz-Orive (2005, 2011, Section 2.1) let [L.sup.3.sub.2](Q, t) represent a pivotal plane, namely an isotropic random plane through O with normal direction t[member of][S.sup.2.sub.+] which is uniform random over the unit hemisphere [S.sup.2.sub.+]. If t is parametrized by its spherical polar coordinates ([phi], [theta]), [phi][member of][0,2[pi]), [theta][member of][0, [pi]/2], then dt = sin[theta]d[phi]d[theta]. With the notation adopted in the latter papers, the corresponding probability element is written,

P([d.sub.t]) = [d.sub.t]/2[pi], t[member of] [S.sup.2.sub.+]. (1)

In the pivotal equatorial disk [B.sub.2,t]:= [B.sub.3][summation][L.sup.3.sub.2](0, t) choose a uniform random (UR) point z, with probability element

P(dz|t) = dz/a, z[member of][B.sub.2,t], (2)

where a denotes the area of [B.sub.2,t]. Within the pivotal plane [L.sup.3.sub.2](0, t) draw a straight line [L.sup.2.sub.1](z;t) through the point z and normal to the axis joining O and z. From Eqs.l and 2, the randomness of [L.sup.2.sub.1](z;t) is specified by the joint probability element

P(dz,df) = [dz/a]x[dt/2[pi]], z[member of][B.sub.2,t], t[member of][S.sup.2.sub.+]. (3)

[FIGURE 1 OMITTED]

The invariator principle states that the straight line [L.sup.2.sub.1](z;t), called a p-line, is effectively isotropic uniform random (IUR) hitting the ball [B.sub.3].

THE MEAN WEDGE VOLUME IS THE AVERAGED NUCLEATOR

For convenience suppose that the particle Y is included in a finite ball centred at O, that is Y[subset] [B.sub.3]. Parametrize the p-line [L.sup.2.sub.1](z;t) by its normal coordinates (r, [omega]), (r > 0,0[less than or equal to][omega] < 2[pi]), namely the polar coordinates of the point z[member of][B.sub.2,t] with respect to a fixed reference half axis O[x.sub.1] in the pivotal plane. The volume of Y can be expressed as follows,

V(Y) = 2[pi][E.sub.t][E.sub.[omega]]V{W([omega];t)}, (4)

where W([omega];t) is the wedge solid defined on the pivotal section Y[intersection][L.sup.3.sub.2](0, t) for each axis [L.sup.2.sub.1](0, [omega];t) in that section, see Fig. 1, (for further details see Cruz-Orive, 2011, Section 2.3). On the other hand, [E.sub.t], [E.sub.[omega]] denote expectations with respect to the probability elements given by Eq. 1 and P(d[omega]) = d[omega]/(2[pi]), [omega][member of][0,2[pi]), respectively.

To simplify the notation suppose for the moment that Y is star shaped with respect to an interior pivotal point O, which means that any ray joining O with the boundary [partial derivative](Y[intersection][L.sup.3.sub.2](0;t)) of the pivotal section is connected. The length [[rho].sub.+]([phi];t) of that ray is the radial function of the pivotal section. The nucleator representation of the volume of Y reads,

V(Y) = 4[pi]/3 [E.sub.t][E.sub.[phi]]{[p.sup.3.sub.+]([phi];t)}, (5)

the inner expectation [E.sub.[phi]] being with respect to P(d[phi]) = d[phi]/(2[pi]),[phi][member of] [0,2[pi]). If Y is not star shaped then it suffices to replace [[rho].sup.3.sub.+]([phi];t) with an alternating sum, see for instance Cruz-Orive (1987), Eq. B.4.

Proposition 1. For any pivotal section of a particle with respect to an interior pivotal point, namely for each orientation t[member of][S.sup.2.sub.+] of the pivotal plane, the following identity holds,

[E.sub.[omega]]V{W(([omega];t)} = 2/3[E.sub.[phi]]{[[rho].sup.3.sub.+]([phi];t)}, (6)

that is, the mean wedge volume coincides with 2/3 times the averaged third power of the nucleator ray length.

Proof. For each t[member of [S.sup.2.sub.+] and each [omega][member of][0,2[pi]) the wedge volume may be expressed as follows,

V{W([omega];t)} = [[integral].sup.h([omega];t).sub.0] l(r,[omega];t)rdr, (7)

where l(r,[omega];t) represents the total intercept length determined by the p-line in the pivotal section, see Fig. 2a. Further, h([omega];t) is the upper bound of the distance r for each m, and it coincides with the support function of the pivotal section when the latter is convex. Consider a point of unsigned abscissa u along the p-line with respect to an arbitrary origin on this line. Then clearly,

l(r,[omega];t) = [[integral].sub.(Y[intersection][L.sup.3.sub.2](0,t))[intersection][L.sup.2.sub. 1](r,[omega];t)]du, (8)

and the length elements du and dr are orthogonal, see Fig. 2b. Therefore dx := dudr represents an area element at a point x in the pivotal plane. Let ([rho], [phi]),([rho] > 0,0[less than or equal to][phi] < 2[pi]) denote the polar coordinates of x with respect to the fixed axis Ox\. Then r = [rho][absolute value of cos([omega] - [phi])] and it follows that,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (9)

[FIGURE 2 OMITTED]

In the first identity the range of integration of co is (0, [pi]) instead of (0,2[pi]) because the inner integral is extended over the whole pivotal section.

ON THE COMPUTATION OF THE MEAN WEDGE VOLUME

COMPUTATION VIA THE INTEGRATED NUCLEATOR

The third equality of Eq. 9 reads,

E[omega]V{W([omega];t)} = 1/[pi][[integral].sub.Y[intersection][L.sup.3.sub.2](0,t)[rho]dx. (10)

The right hand side of the preceding identity is essentially the integrated nucleator of Hansen et al. (2011). It was first presented in Jensen (1991) Eq. 5.5, see also Jensen and Rataj (2008), Section 5.1. Thus, for any pivotal section the mean wedge volume is equivalent to the integrated nucleator. Suppose that a pivotal section can be correctly segmented into N pixels of area a, and let {[d.sub.1], [d.sub.2], ..., [d.sub.N]} denote the corresponding distances of the pixels from O. Then the estimator of the mean wedge volume can be computed as,

[??][omega]V{W([omega];t)} = [alpha]/[pi][N.summation over (i=1)][d.sub.i], (11)

and the corresponding estimator of the particle volume reads,

[??](Y) = 2a[N.summation over (i=1)][d.sub.i], (12)

which is a discretised version of the first integral in Section 2.1.2 of Hansen etal. (2011).

In Cruz-Orive (2011), Section 6.4, an exact computational formula is given for the mean wedge volume when a convex pivotal section is approximated by a convex polygon of n vertexes. The idea is that, if the pivotal section cannot be segmented, then at least a few 'evenly spaced' points may be selected along its boundary, either automatically, or semiautomatically with the aid of a cursor.

COMPUTATION OF THE MEAN WEDGE VOLUME DEFINED ON A CONVEX POLYGON VIA THE AVERAGED NUCLEATOR: A VAST IMPROVEMENT ON CRUZ-ORIVE (2011)

The mean wedge volume formulae for a convex polygon given by Eq. 61 and Eq. 80 in Cruz-Orive (2011) are unnecessarily complicated and do not hold for an exterior pivotal point. By virtue of Eq. 6 it suffices to integrate the third power of the radius vector of the polygon, which is much simpler than the direct computation adopted in the latter paper. The corresponding formula is given in Corollary 1 below. For completeness, the pertinent notation from Section 5.2 of Cruz-Orive (2011) is given next.

[FIGURE 3 OMITTED]

Prerequisites. A pivotal section Y[intersection][L.sup.3.sub.2](0,t) of a convex particle Y is almost surely convex and can be approximated by a convex n-gon K[subset][R.sup.2]. To follow the ensuing development it is convenient to suppose that 0[member of][K.sup.*], but Corollary 1 does not require this. However, if O[not member of][K.sup.*] then the rectangular reference frame Oxy has to be chosen so that K lies in the upper half plane. The following elements are needed, see Fig. 3.

-- The rectangular coordinates of the vertices are given by the counterclockwise cyclic sequence

{([x.sub.1],[y.sub.1]), ([x.sub.2],[y.sub.2]), ..., ([x.sub.n],[y.sub.n])}, with ([x.sub.n+1], [y.sub.n+i]) = (xi,yi). It is assumed that (xi,yi) is the rightmost vertex, namely

[x.sub.1] = sup{[x.sub.1], [x.sub.2], ..., [x.sub.n]}. (13)

-- Polar coordinates of the vertices: {([r.sub.1], [[phi].sub.1]), ([r.sub.2], [[phi].sub.2]), ..., ([r.sub.n], [[phi].sub.n])}, with [[phi].sub.n+1] = [[phi].sub.1] + 2[pi]. Note that the sequence {[[phi].sub.1], [[phi].sub.2], ..., [[phi].sub.n]} is monotonically non decreasing if O[member of][K.sup.*], but not otherwise.

-- Normal coordinates of the straight lines containing the sides: {([p.sub.1], [[theta].sub.1]), ([p.sub.2], [[theta].sub.2]), ..., ([p.sub.n], [[theta].sub.n])}- The 'apothems' {[p.sub.i]} are all positive if O[member of][K.sup.*], but not otherwise. The condition that the first vertex is the rightmost one implies that:

O[less than or equal to][[theta].sub.1][less than or equal to][[theta].sub.2]<...<[[theta].sub.n]<[[theta].sub.1]+2[pi]. (14)

Next the relevant connections are displayed. Define the function

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (15)

Then, for k = 1,2, ..., n,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (16)

Corollary 1. For a convex n-gon K[subset][R.sup.2] the mean volume of the wedge set [W.sub.K]([omega]) defined on K with respect to an arbitrary pivotal point in its plane may be expressed as follows,

2[pi]E[omega]V{[W.sub.K]([omega])} = 1/3[n.summation over (k=1)][P.sup.3.sub.k]*[psi]([[phi].sub.k], [[phi].sub.k+i], [[theta].sub.k]), (17) a k=i

where

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (18)

If O[not member of][K.sup.*], then K must be contained in the upper half plane.

Proof. For k = 1,2, ..., n let [[rho].sub.k]([omega]), [omega][member of][[[phi].sub.k], [[phi].sub.k+1]) denote the radial function of K. Bearing in mind that [[rho].sub.k]([omega]) cos([omega] - [[theta].sub.k]) = [P.sub.k], by virtue of Proposition 1 one has,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (19)

On the other hand,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (20)

whereby Corollary 1 follows.

COMPUTATION OF THE MEAN WEDGE VOLUME WITH THE NEW FORMULA: EXAMPLES

To check Eq. 17 I have resorted to the model used in Section 8.1 of Cruz-Orive (2011) in which the particle Y[subset][R.sup.3] is a finite ball.

Case of an interior pivotal point, O[member of][Y.sup.*]. Here a pivotal section is almost surely a disk containing 0, (Fig. 4). Let r,l denote the section radius and the distance of O from the section centre, respectively. Setting [lambda] := l/r[member of](0,1), the exact invariator estimator of the particle volume is,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (21)

(Cruz-Orive, 2011), where K, E represent the complete elliptic integrals of the first and second kinds, respectively. Retaining 5 exact digits, the numerical values of the preceding expression for [lambda] = 0.1, 0.3, 0.7 0.9 and r = 1 are 4.2201, 4.4699, 5.6788, 6.5935, respectively. Approximating the disk by a regular polygon of n = 1200 vertices, formula 17 returns the 5 exact digits in 2.0 s computing time on a SunBlade 1500 workstation. The corresponding time with the earlier exact formula 61 of Cruz-Orive (2011) is 10.0 s.

[FIGURE 4 OMITTED]

Case of an exterior pivotal point, O[member of][Y.sup.*]. Whenever Y[intersection][L.sup.3.sub.2](0, t)[not equal to]0, the pivotal section is a disk. Let r,l stand as above, and set [lambda] := l/r > 1. Then, conditional on the hitting event, (Fig. 5),

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (22)

The preceding result is derived in the Appendix. Retaining 5 exact digits, the numerical values of the preceding expression for [lambda] = 1.5, 2.0, 2.5, 3.0 and r= 1 are 9.9590, 12.963, 16.024, 19.112, respectively. Approximating the disk by a regular polygon of n = 2000 vertices, formula 17 returns the 5 exact digits in 3.0 s computing time. Eq. 61 and Eq. 80 of Cruz-Orive (2011) are not valid in this case.

THE INTEGRATED SURFACTOR IS THE FLOWER AREA

For a convex particle Y containing the pivotal point, the invariator principle implies that the particle surface area satisfies the identity,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (23)

(Cruz-Orive, 2005) where [H.sub.t] represents the support set or 'flower' of a pivotal section Y[intersection][L.sup.3.sub.2](0,t) with respect to the pivotal point O[member of][Y.sup.*] and h := h([omega]), (0[less than or equal to] [omega] < 2[pi]) denotes the support function of the pivotal section, namely the radial function of the flower. Recall that [partial derivative][H.sub.t] is the locus of the foot P(h, [omega]) of the perpendicular from O to the tangent to [partial derivative](Y[intersection][L.sup.3.sub.2](0,t)) at a point M([rho], [phi]), see Fig. 6a.

[FIGURE 5 OMITTED]

Alternatively, the surfactor representation of the particle surface area is,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (24)

(Jensen and Gundersen, 1987,1989), where [rho] = [rho]([phi]), (0[less than or equal to][phi] < 2[pi]) represents the radial function of the pivotal section. The expectation [E.sub.[phi]] is with respect to the uniform probability element P([d.sub.[phi]]) = d[d.sub.[phi]]/(2[pi]). Further, [alpha][member of][-[pi]/2,[pi]/2] is the angle between the normal to [partial derivative](Y[intersection][L.sup.3.sub.2](0,t)) at a point M([rho], [phi]) and an axis joining this boundary point with O, see Fig. 6a. Note that [alpha] = [phi] - [omega].

The purpose of this section is to show that, for each orientation t[member of][S.sup.2] of the pivotal plane, the expressions in curly brackets in the right hand sides of Eq. 23 and Eq. 24 coincide. This is done first for a strictly convex particle with smooth boundary (Proposition 2) and then for a convex polyhedral particle (Proposition 3).

[FIGURE 6 OMITTED]

CASE OF A CONVEX PARTICLE WITH SMOOTH BOUNDARY

Here the particle Y is assumed to be strict convex with a smooth boundary [partial derivative]Y of class [C.sup.2]. Thus, [partial derivative]Y contains no flat faces and no corners, and has a unique tangent plane at each point. Moreover the pivotal point lies in the interior of the particle, namely O[member of][Y.sup.*].

Proposition 2. For each pivotal section of a strict convex and smooth particle with boundary of class [C.sup.2] containing the pivotal point, the following identity holds,

[[integral].sup.2[pi].sub.0] [[rho].sup.2](l + [alpha] tan [alpha]) d[phi] = [[integral].sup.2[pi].sub.0][h.sup.2]d[omega]. (25)

The result holds trivially when the particle is a ball with the pivotal point at its centre, because in this case [alpha] = 0 whereas p and h are constant and equal to the radius of the ball. In the sequel it is assumed that [alpha][not equal to]0 almost surely in a range of [phi] of positive measure.

To simplify the proof I first establish Lemma 1 below which holds for a planar set K which may be regarded as a pivotal section of Y. The radial functions of K and of the flower Hk of K with respect to a fixed axis O[x.sub.1] are denoted by [rho]([phi]) and h([omega]) respectively. Recall that,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (26)

Remark 1. Given the polar angle [phi][member of][0,2[pi]) of a point of [partial derivative]K, the angles [alpha] and [omega] can be expressed as functions of <p only. Likewise, given the polar angle [omega][member of][0,2[pi]) of a point of [partial derivative][H.sub.K], the angles [alpha] and [phi] can be expressed as functions of co only. Thus, an integral with respect to da, for instance, can be interpreted as an integral with respect to d[alpha]([phi]), or to d[alpha]([omega]), over the interval [0,2[pi]).

Lemma 1. The flower area A([H.sub.K]) of a planar, strict convex and smooth set K with boundary of class [C.sup.2] and containing the origin may be expressed as follows,

A([H.sub.K]) = A(K) + 1/2 [[integral].sup.2[pi].sub.0] [[rho].sup.2][sin.sup.2][alpha]d[omega], (27)

where the angle a is defined as in Eq. 24. Equivalently,

[[integral].sup.2[pi].sub.0] [h.sup.2]d[omega] = [[integral].sup.2[pi].sub.0] [[rho].sup.2]d[phi] + [[integral].sup.2[pi].sub.0] [[rho].sup.2][sin.sup.2][alpha]d[omega]. (28)

Heuristic proof of Lemma 1. If Lemma 1 holds, then the second term in the right hand side of Eq. 27 is the area of the portion of [H.sub.K] comprised between the two boundaries [partial derivative]K and [partial derivative][H.sub.K], namely the area of the proper set difference [D.sub.k]:= [H.sub.k]\K, see Fig. 7. By construction, the region [D.sub.k] is swept by the straight line segment MP, where the endpoint M moves along [partial derivative]K whereas the other endpoint P describes [partial derivative][H.sub.K]. The segment MP is contained in the tangent to [partial derivative]K at M, and P is the foot of the perpendicular from O to that tangent. As the point M moves along an elementary arc of [partial derivative]K into M', the point P moves along a corresponding elementary arc of [partial derivative][H.sub.K] into P'. Thus the segment MP sweeps an elementary triangle of area

1/2[[absolute value of MP].sup.2]d[omega] = 1/2[[rho].sup.2][sin.sup.2][alpha]d[omega], (29)

from which Eq. 27 follows.

[FIGURE 7 OMITTED]

Proof of Lemma 1. The ordinary area element dA in polar coordinates is (l/2)[[rho].sup.2]d[phi]. However, for the present purposes a different representation is needed. The area element may be regarded as an elementary triangle OMM' of height [rho] cos [alpha] and base sin [alpha] d[rho]+ [rho] cos [alpha] d[phi], see Fig. 6b. Therefore,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (30)

where [[rho].sup.'.sub.a] := d[rho]/d[alpha]. Thus,

2A(K) = [[integral].sup.2[pi].sub.0] [rho][rho]'[alpha] sin [alpha] cos [alpha] d[rho] + [[integral].sup.2[pi].sub.0] [[rho].sup.2][cos.sup.2][alpha]d[phi], (31)

where, by virtue of Remark 1, d[alpha] may be interpreted as [[alpha].sup.'.sub.[phi]]d[phi]. Integration by parts with u = sin[alpha] cos[alpha] and dv = [rho] [[rho].sup.'.sub.[alpha]]d[alpha] yields,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (32)

Recalling that [alpha] = [phi] - [omega] and [rho] cos [alpha] = h, simplification of the right hand side of Eq. 31 leads to Eq. 28.

Proof of Proposition 2. From Fig. 6b one obtains the key relation

tan[alpha] = d[rho]/[rho]d[phi] = [[rho].sup.'.sub.[phi]]/[rho] (33)

Therefore,

[[integral].sup.2[pi].sub.0][[rho].sup.2][alpha] tan [alpha]d[phi] = [[integral].sup.2[pi].sub.0] [rho][[rho].sup.'.sub.[phi]] [alpha]d[phi]. (34)

Integration by parts with u = [alpha] and dv = [[rho].sup.'.sub.[phi]]d[phi] yields,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (35)

Bearing in mind that [rho] cos [alpha] = h, substituting the preceding result into the left hand side of Eq. 25 and applying Lemma 1, the right hand side of Eq. 25 is obtained.

CASE OF A CONVEX POLYHEDRAL PARTICLE

Proposition 2 has been proved under the assumption that the particle Y is strict convex and it has a unique tangent plane at every point of its boundary. Because this property is rather restrictive (for instance it excludes polyhedra), here it is assumed that Y is a convex polyhedron. Thus, every pivotal section is almost surely a convex polygon.

Proposition 3. Eq. 25 holds also for any convex n-gon with an interior pivotal point.

Proof. Based on the preliminary results and notation leading to Corollary 1, for a convex n-gon the left hand side of Eq. 25 may be written as follows,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (36)

where [alpha] := [phi] - [[theta].sub.k] in the preceding integrand, hence d[phi] = d[alpha]. On the other hand, by Calka's formula (Cruz-Orive, 2011, Eq. 45), the right hand side of Eq. 25 is,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (37)

Thus, the right hand sides of Eq. 36 and Eq. 37 must coincide. This is readily verified on substituting the following results

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (38)

AN ALTERNATIVE TO CALKA'S FORMULA FOR THE FLOWER AREA OF A CONVEX POLYGON

Corollary 2. The flower area of a convex n-gon K may be expressed as follows,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (39)

Proof. Bearing the first Eq. 38 in mind the result is immediate because by Proposition 3 the right hand side of Eq. 36 is equal to 2A([H.sub.K]).

CONCLUSIONS AND COMMENTS

Propositions 1 and 2 throw some light on the uniqueness conjecture mentioned in the Introduction. However, a full proof of the conjecture for [R.SUP.3] would still require that, apart from the invariator estimators, no other local estimators exist but the nucleator and the surfactor.

Proposition 2 holds for a convex particle with an interior pivotal point. For an exterior pivotal point the right hand side of Eq. 25 is not pertinent because in this case the flower area of a convex set is not the second Eq. 26 but

A([H.sub.K]) = 1/2 [[integral].sup.2[pi].sub.0] h([omega])*[absolute value of h([omega])]d[omega]. (40)

Note also that when O [not member of] [Y.sup.*] the left hand side of Eq. 25 may not exist because the angle a will be equal to [pi]/2 at least for the two tangent axes to the section boundary from O. Likewise, if the pivotal section is a convex polygon then the support line of one or two sides may pass through O, with the same consequence.

Corollary 1, (Eq. 17), constitutes a vast improvement over Eq. 61 of Cruz-Orive (2011). In that paper I completely overlooked the key equivalence (Eq. 6), which was already explicit in Gual-Arnau et al. (2010), Section 4.5. Moreover, due to the fact that the {[p.sub.k]} are signed Eq. 17 holds also for an exterior pivotal point.

Eq. 39 may be an interesting alternative to Calka's formula, but it does not seem to enjoy any particular computational advantage over the latter. Further, for an exterior pivotal point, a formula for the flower area of a convex polygon seems to require a separate treatment (in preparation).

As pointed out by an anonymous referee, Proposition 1 can be obtained as a particular case of Proposition 2 from Auneau and Jensen (2010). Likewise, Propositions 2 and 3 can be condensed into a single proposition valid for convex particles with piecewise smooth boundary; this would require some elaboration of Proposition 4 of the latter paper together with some general results from the book of Jensen (1998). Here I have chosen to concentrate on relevant particular cases in [R.SUP.3] using direct elementary proofs. Moreover Proposition 3 is useful because it leads to Corollary 2 directly; in general, separate results for convex polygons are useful because they constitute the basis of practical approximation formulae for convex particles.

APPENDIX: MEAN WEDGE VOLUME FOR A DISK WITH EXTERIOR PIVOTAL POINT

Our purpose is to derive Eq. 22. With reference to Fig. 8, Eq. 7 yields,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (41)

where [[omega].sub.0] = [pi]/2 - [sin.sup.-1](r/l), [[omega].sub.1] = [pi]/2 + [sin.sup.-1] (r/l), 0 < r < I < [infinity]. The symbol t has been omitted in the left hand side. After some algebra assisted by Mathematica[R], the following result is obtained,

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (42)

where [lambda] := r/l [member of] (0,1), and F([phi],m), E([phi],m) denote the incomplete elliptic integrals of the first and second kind, respectively. A more convenient expression depending on the complete elliptic integrals K, E of the first and second kind, respectively, can be obtained by means of the following identities, valid for [lambda] [member of] (0,1),

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (43)

[MATHEMATICAL EXPRESSION NOT REPRODUCIBLE IN ASCII] (44)

see also Abramowitz and Stegun (1965), Sections 17.4.15-16. Substituting the preceding results into the right hand side of Eq. 42 and redefining [lambda] := l/r [member of] (1,[infinity]), that is, replacing [lambda] with 1/[lambda], Eq. 22 is obtained.

[FIGURE 8 OMITTED]

doi: 10.5566/ias.v31

ACKNOWLEDGMENTS

I wish to thank two anonymous referees for carefully reading the original manuscript and pointing out a number suggestions for improvement. One of them prompted me to add the last paragraph of the Conclusions section, and the appendix. Work supported by the Spanish Ministry of Education and Science I+D Project MTM-2009-14500-C02-01.

REFERENCES

Abramowitz M, Stegun IA (1965). Handbook of Mathematical Functions. New York: Dover.

Auneau J, Jensen EVB (2010). Expressing intrinsic volumes as rotational integrals. Adv Appl Math 45:1-11.

Cruz-Orive LM (1987). Particle number can be estimated using a disector of unknown thickness: the selector. J Microsc 145:121^12..

Cruz-Orive LM (2005). A new stereological principle for test lines in 3D. J Microsc 219:18-28.

Cruz-Orive LM (2008). Comparative precision of the pivotal estimators of particle size. Image Anal Stereol 27:17-22

Cruz-Orive LM (2011). Flowers and wedges for the stereology of particles. J Microsc 243:86-102.

Cruz-Orive LM, Ramos-Herrera ML, Artacho-Perula E (2010). Stereology of isolated objects with the invariator. J Microsc 240:94-110.

Gundersen HJG (1988). The nucleator. J Microsc 151:3-21.

Gual-Arnau X, Cruz-Orive LM, Nuno-Ballesteros JJ (2010). A new rotational integral formula for intrinsic volumes in space forms. Adv Appl Math 44:298-308.

Hansen LV, Nyengaard JR, Andersen JB, Jensen EBV (2011). The semi-automatic nucleator. J Microsc 242:206-15.

Jensen EBV (1991). Recent developments in the stereological analysis of particles. Ann Inst Statist Math 43:455-68.

Jensen EBV (1998). Local Stereology. Singapore: World Scientific.

Jensen EB, Gundersen HJG (1987). Stereological estimation of surface area of arbitrary particles. Acta Stereol 6 (Suppl m):25-30.

Jensen EB, Gundersen HJG (1989). Fundamental stereological formulae based on isotropically orientated probes through fixed points with applications to particle analysis. J Microsc 153:249-67.

Jensen EBV, Rataj J (2008). A rotational integral formula for intrinsic volumes. Adv Appl Math 41:530-60.

Karlsson LM, Cruz-Orive LM (1997). Estimation of mean particle size from single sections. J Microsc 186:121-32.

Luis M. Cruz-Orive ([mail])

Department of Mathematics, Statistics and Computation, Faculty of Sciences, University of Cantabria, Avda. Los Castros s/n, E-39005 Santander, Spain

e-mail: luis.cruz@unican.es

(Received October 26, 2011; revised February 7, 2012; accepted February 16, 2012)

Printer friendly Cite/link Email Feedback | |

Author: | Cruz-Orive, Luis M. |
---|---|

Publication: | Image Analysis and Stereology |

Article Type: | Report |

Geographic Code: | 4EUSP |

Date: | Jun 1, 2012 |

Words: | 5166 |

Previous Article: | Ship classification from multispectral videos. |

Next Article: | Computation of the perimeter of measurable sets via their covariogram. Applications to random sets. |

Topics: |