A SURFACE AREA FORMULA FOR COMPACT HYPERSURFACES IN R n

. The classical result of Cauchy’s surface area formula states that the surface area of the boundary ∂K = Σ of any n -dimensional convex body in the n -dimensional Euclidean space R n can be obtained by the average of the projected areas of Σ along all directions in S n − 1 . In this notes, we generalize the formula to the boundary of arbitrary n -dimensional submanifolds in R n by deﬁning a natural notion of projected areas along any direction in S n − 1 . This surface area formula derived from the new concept coincides with not only the result of the Crofton’s formula but that of De Jong [4] by using tubular neighborhood. We also deﬁne the projected r -volumes of Σ onto any r -dimensional subspaces, and obtain a recursive formula for mean projected r -volumes of Σ.


Introduction and main results
Finding the volume of k-dimensional embedded submanifolds K with boundary = ∂K in the Euclidean space R n is an interesting research topic in differential geometry.There have been abundant results to measure the volumes and surface areas of K .For instance, the surface area of K can be measured by restricting the Euclidean metrics to and integrating the (k -1)-volumes of the infinitesimal parallelotopes in the tangent space of K [1, Sect.2.2]; it can also be obtained by limiting the ratio for the volume of an (nk)-ball and the n-dimensional Lebesgue measure of the tubular neighborhood of derived by De Jong [4].
In this note, we restrict our attention to the method developed in integral geometry [11] and convex geometry [12].The efficiency of the method has been validated on the applications of geometric tomography and other scientific fields (for more detail, see [6]).The basic assumption in this approach is that K must be convex, since the original proof was established by a limiting process of convex polyhedrons inscribed in K .When k = n, we observe that the convexity assumption for K may be relaxed by introducing a natural notion of projected surface areas of onto any r-dimensional subspaces, r ≤ n -1 (see Definition 1).The new notion also gives an alternative proof for Crofton's formula, which states that the surface area of can be obtained by "counting" the number of intersec-tions of all lines with (Lemma 2 and Theorem 2), and it results in the generalization of the Cauchy surface area formula for arbitrary K (Theorem 3).We also generalize the projected surface area to higher-codimensional subspaces, namely, the projected r-volume (1 ≤ r ≤ n -1) of onto r-subspaces (Definition 2), and derive a recursive formula of mean projected area of (Theorem 4).
It seems that there are only a few results in the literature concerning the relation between projected areas and surface areas for nonconvex boundaries.Two closer notions probably are the integral geometric measure defined by Favard [5] and more recently by Bouafia and Pauw [2]; both are based on the approach of geometric measure theory.The kinematic formula has similar results without introducing the notion of projections; see, for instance, [14,15].As mentioned before, De Jong [4] gave a geometric definition of the volume of an r-dimensional submanifold in R n (1 ≤ r ≤ n -1) and derived an r-volume formula by considering the ratio of r-volume of the tubular neighborhood to the volume of the unit ball in the normal bundle.He claimed that the formula holds when the submanifold is of dimension n with C 1 -boundary.However, we will take parallel transformations of Lie groups and the method of moving frames to construct the r-volume forms on the rsubspaces to represent the r-projected volumes of (see the discussion in Case 1 and Case 2 of Sect.2).In Proposition 1, we will also prove that the surface area we derived (see Theorem 3) coincides with that in his work [4].
The Cauchy surface area formula in R n states that the surface area of a convex hypersurface in R n can be represented by the average of the projected areas of along all normal directions of the (n -1)-dimensional unit sphere S n-1 : Theorem 1 ([9], Theorem 5.5.2) Let K ⊂ R n be an n-dimensional convex body (i.e., a convex set with nonempty interior) with rectifiable boundary ∂K = .The surface area (or the (n -1)-dimensional volume) of K , denoted by V n-1 ( ), is given by Here dS ν is the surface area element at ν ∈ S n-1 , ω n-1 is the (n -1)-dimensional volume of the unit ball in R n-1 , and V n-1 ( |ν ⊥ ) is the (n -1)-dimensional volume of the orthogonal projection of onto the (n -1)-dimensional subspace ν ⊥ perpendicular to the unit outward normal ν.
The orthogonal projected area V n-1 ( |ν ⊥ ) of can be explicitly represented by the integral formula where dS ν is the surface area element at ν ∈ S n-1 .Identities (1) and (2) both can be proved by inscribing a convex m-polyhedron in and calculating the limit of the surface area of the polyhedron as m goes to infinity.The convexity of the polyhedron ensures that at any point in ν ⊥ , the counting multiplicity of the projected areas of is almost everywhere two (we may assume that the polyhedron contains the origin and each point in ν ⊥ is projected for twice: from the "front" and the "back" of ν ⊥ respectively).See the proof of Theorem 5.5.2 in [9] or [11, p. 217] for details.However, such a method does not work for nonconvex K since it may not necessarily have the inscribed convex polyhedron.
Although, in general, Theorem 1 does not work for arbitrary hypersurface , formula (1) still holds in the particular nonconvex case where = ∂K is such that its complement K c = R n \ K is convex.Indeed, let K be a nonconvex set with convex complement K c .By Lemma 3 (see below) we will show that the closure K c of K c is convex.Since shares the same boundary with K and K c , the surface area of = ∂K can be obtained by applying formula (1) to the convex part ∂K c .
As a result, if the hypersurface obtained from a nonconvex subset K such that the complement K c is also nonconvex, then the argument in the previous paragraph fails.A simple example is that when is the boundary of a star domain S, its complement R n \ S is again nonconvex.The main aim of the present paper is to generalize the notion of projected areas for nonconvex boundary and derive the Cauchy surface area formula (1) for arbitrary boundary.
Let us make some remarks about Theorem 1. First, when K = S n-1 , the following lemma shows that the surface area of the orthogonal projection of the unit sphere is independent of the choice of the projected direction.
This natural property for S n-1 plays the key role for the proof of Theorem 1 (see [9] or the proof of Theorem 3).We also notice that the converse of Lemma 1 is not true in general.There exist compact hypersurfaces in R n that are not the standard spheres but have constant projected areas.For instance, Reuleaux triangles in R 2 and bodies of constant width in R n (see [3]) both are not round spheres but have constant projected areas.
Secondly, it is known that the Gauss map ν : = ∂K → S n-1 is bijective if and only if K is convex.Moreover, if K is strictly convex, then the Gauss map is a diffeomorphism.Since the surfaces considered in Theorem 1 and Lemma 1 are convex, the domains over which both integrations are performed are S n-1 , which can be identified (via the diffeomorphism ν) with .In consequence, a natural generalization of Theorem 1 to nonconvex hypersurfaces can be considered as an integral over itself.
We recall some fundamental background for the n-dimensional Euclidean space R n .The space R n can be regarded as an n-dimensional Lie group with natural left translation L q defined by L q p = q + p for all q, p ∈ R n .Its inverse translation and compositions are as be (L q ) -1 r = L q -1 r and (L q •L p -1 )r = L qp -1 r = q -p+r, respectively, for all r ∈ R n .For each point p ∈ R n , we may identify the whole space R n with the tangent space T p R n .In this paper, we will abuse the notations for any point q ∈ R n and the vector Oq starting from the origin O and ending at q if the content is clear.Thus, for any point p ∈ R n and any tangent vector q ∈ T 0 R n , the push-forward of the left translation L p * q is the vector obtained by moving the vector Oq to the vector starting from p and parallel to Oq.Similarly, (L * p )(ω(q)) denotes the pull-back of the r-form ω at q.We insist using the Lie group notations in R n (for instance, using L p q instead of p + q for vector addition) because we believe that all contents in the paper can be applied to any smooth Lie group without change.In particular, recently, the author also proved the Cauchy surface area formula for domains in the Heisenberg groups, which is regarded as a strictly pseudoconvex CR manifold with Tanaka-Webster curvature vanished (see [7]).We also denote by n(p) ∈ S n-1 the outward unit normal at p ∈ S n-1 and by n(p) ⊥ the subspace perpendicular to n(p).
Let K be an n-dimensional compact submanifold embedded in R n (n ≥ 1) with rectifiable boundary = ∂K in the usual topology of R n .Next, we give the definition of projected areas of compact hypersurfaces (not necessarily convex).

Definition 1
The (orthogonal) weighted projected area of a compact hypersurface in R n along the direction n(p) ∈ S n-1 onto the subspace n(p) ⊥ is given by where L qp -1 * n(p) is the push-forward of the outward unit normal n(p) at p ∈ S n-1 , ñ(q) is the outward unit normal at q ∈ , and d q is the area element of at q ∈ .
Remark 1 We give a geometric interpretation of (4) as follows.At each point q ∈ , the integrand with area element at q, |L qp -1 * n(p) • ñ(q)|d q , is the projected infinitesimal area element of d q onto the projected point of q on the plane n(p) ⊥ , and the integral becomes the projected area of onto n(p) ⊥ counted with multiplicity.In other words, suppose is a line parallel to n(p) such that ∩ = ∅ and ∩ n(p) ⊥ = ∅.Then all points at ∩ are projected along onto one point at ∩ n(p) ⊥ with multiple times depending on the number of ∩ .This is the reason we call the integral the weighted projected area.When is convex, the number of the points on ∩ is almost everywhere two, but in general the number depends on the projected direction and .
According to Remark 1, a geometric definition equivalent to Definition 1 is given in the following lemma, which states that the value V n-1 ( |n(p) ⊥ ) is equal to the integral of the number of intersections over all lines parallel to n. Lemma 2 Let be a compact hypersurface in R n , and let n(p) ∈ S n-1 ve a unit vector.Suppose is any line parallel to n(p) and intersects with the orthogonal complement n ⊥ (p) at the point u.Then the projected area of onto the subspace n(p) ⊥ in Definition 1 can be obtained by where #( ∩ ) is the number of intersections of and , and dn ⊥ u is the area element of n(p) ⊥ at u ∈ n(p) ⊥ ∩ .
Proof For simplicity, we fix any point p ∈ S n-1 and write n = n(p) and n ⊥ = n(p) ⊥ .Suppose the line parallel to n intersects at the point q.Then must intersect the subspace n ⊥ at the unique point u.We may choose two orthonormal frames {q, e i } and {u, ēj }, 1 ≤ i, j ≤ n, at q and u, respectively, satisfying the conditions According to the construction of the frames, the transition matrix [a i j ] is given by ēj = n i=1 e i a i j , where and θ is the angle between the planes T q and n ⊥ .Suppose {ω 1 , ω 2 , ω α } and { ω1 , ω2 , ωα } are the dual forms of {e i } and {ē i }, respectively.It can be shown that ωi = n j=1 b i j ω j , where the matrix [b Therefore by identifying the point q ∈ and u ∈ n ⊥ the relation between the area elements d q and dn ⊥ u at q and u, respectively, can be obtained as follows: When restricted on , by (7) we have the projected formula (here we have put the absolute value on the cosine to get the positive surface area).By integrating over all lines parallel to n we have which completes the proof.
Recall that the Crofton formula in R 2 states that the perimeter of a rectifiable plane curve γ is equal to the integral of the number #( ∩ γ ) of intersections of γ and any line .It has been generalized to higher dimensions with a variety of versions (see [11,Chap. 14] or [13]).Notice that, in contrast to the Cauchy surface formula, the Crofton formula does not need the convexity assumption for curves and hypersurfaces, and hence V n-1 ( |n ⊥ (p)) in Lemma 2 seems a reasonable definition connecting both Cauchy's and Crofton's formulas.
The previous result, Lemma 2, will give a simpler proof for the Crofton formula in R n for n ≥ 1.Before that, let us introduce some basic settings.Let L be the set of oriented lines in R n .Suppose ∈ L and ⊥ is its orthogonal complement through the origin.The line can be uniquely determined by the following process: first, choose a line parallel to through the origin and use the unit vector n(p) ∈ S n-1 to represent the direction of for some p ∈ S n-1 .Second, parallelly move to at the point u = ∩ ⊥ .By identifying ⊥ with R n-1 , there is a natural one-to-one correspondence between the set L and Thus we may take the (2n -2)-form d := dS p ∧ d ⊥ u as an invariant measure on L, where dS p is the area element at p ∈ S n-1 , and d ⊥ u is the area element of ⊥ at u = ∩ ⊥ .Notice that dS p ∧ d ⊥ u is invariant under the rigid motions (rotations and translations) in R n .
Theorem 2 (The Crofton formula in R n ) Let K be an n-dimensional compact submanifold with rectifiable boundary ∂K = .Let L be the set of all oriented lines in R n and denote by #( ∩ ) the number of intersections of ∈ L and .Then the surface area V n-1 ( ) of K is given by where d = dS p ∧ d ⊥ u is the invariant measure in L consisting of the area elements dS p at p ∈ S n-1 and d ⊥ u at u = ∩ ⊥ , with the orthogonal complement ⊥ of through the origin.
Proof For any line = p ∈ L with direction n(p) ∈ S n-1 and ∩ = q = ∅, let φ p,q be the angle between p and the normal vector at q ∈ .Notice that d ⊥ u = dn ⊥ u in Lemma 2. Using Lemma 1, Definition 1, and Lemma 2, a straight-forward derivation implies that The following lemma is one of the motivations for the paper.
Lemma 3 If a compact subset K and its complement K c in R n both are convex, then the boundary = ∂K is a hyperplane.
Proof Since K and the closure K c of its complement K c both are closed and convex, they can be written as the intersections of families F and G of closed halfspaces, namely, K = f ∈F f and K c = g∈G g.We claim that all elements f ∈ F and g ∈ G are parallel.By parallel we mean that the hyperplanes of two halfplanes are parallel.Indeed, let us fix an element f ∈ F and assume that there exists g ∈ G such that g is not parallel to f .On the one hand, we have ∅, and we get a contradiction.Thus, for fixed f , all elements in G are parallel to f .Since f can be arbitrarily chosen, we conclude that all elements in F are parallel to those of G, and is a hyperplane.
Next, we prove the main theorem, which states that the surface area of arbitrary compact hypersurface in R n is the average of the integrals of weighted projected areas over the unit sphere.
Theorem 3 Let K be a compact n-dimensional subset in R n with boundary = ∂K .Then its surface area is given by V n-1 |n(q) ⊥ dS q .
Proof By using (2) and Definition 1 we immediately have and the result follows.
An immediate application of Theorem 3 is that a hypersurface with the smaller projected areas onto all hyperplanes has the smaller surface area; particularly, we obtain a comparison theorem of projected surface areas between two compact hypersurfaces.Notice that by the Alexandrov projection theorem [6, p. 115, Theorem 3.3.6],even if two convex bodies in R n have the same projected areas in all directions, they may be completely different.In fact, there exist noncongruent convex polytopes i , i = 1, 2, with [6, p. 121, Theorem 3.3.17]).Thus the following corollary gives a necessary condition to determine the consistency of surface areas for two hypersurfaces, but not their congruence.

Corollary 1 Given two compact hypersurfaces
Finally, we will prove that the surface area formula in Theorem 3 is equivalent to that derived by De Jong [4].More precisely, given a k-dimensional submanifold M ⊂ R n and a compact subset A ⊂ M, De Jong gave a simpler method to prove that the limit exits and can be used to define the k-dimensional volume of A.Here Tub A = {p + a; p ∈ A, a ∈ N p M, |a| < }, N p M denotes the orthogonal complement of the tangent space T p M at p, μ n is the n-dimensional Lebesgue measure, and β n-k is the (n-k)-dimensional volume of the unit ball in R n-k (for instance, β 1 = 2, β 2 = π , β 3 = 4π 3 ).In particular, when A = M := = ∂K for some smooth n-dimensional compact submanifold K in R n (namely, k = n -1 in (10)), the surface area of K can be obtained by Proposition 1 The surface area obtained in (11) for an n-dimensional submanifold K with smooth boundary ∂K = is equal to that obtained in Theorem 3.
Proof Since locally can be represented by a smooth defining function, we may assume that for any open subset W ⊂ , there exists a smooth function φ = (φ 1 , . . ., x n-1 ) = 0; any point (x 1 , . . ., x n-1 ) ∈ U}.Let B = ( ∂φ i ∂x j ) for 1 ≤ i ≤ n and 1 ≤ j ≤ n -1 be the n × (n -1)-matrix.Then the surface area element d q at q ∈ W satisfies where B T is the matrix transpose.Thus by Definition 1 where θ is the angle between the unit normal vector ñ(q) of W and n(p).Therefore by ( 12) Here we have used the fact in the last identity derived in [4, p. 83].Finally, the smoothness of implies that can be covered by such summable open subsets W .By the standard argument of partitions of unity we conclude that which completes the proof.

Generalization to higher codimensions
In this section, we will project the compact hypersurface in R n to the lower-dimensional subspaces and consider their projected volumes.To be precise, we plan to define the pro-jected r-dimensional volume (projected r-volume, in short) of , 1 ≤ r ≤ n -1, onto any r-dimensional subspace in R n and find the recursive formula (see ( 24)) for the average projected r-volume.Using the same notation as Santaló [11], for any point q ∈ R n , we denote by L r[q] the r-dimensional plane (shortly, r-plane) in R n through q and by L ⊥ r[q] its orthogonal complement.Notice that for any point q ∈ L r[0] , there exists a unique affine (nr)-plane L ⊥ n-r[q] through q and perpendicular to L r [0] .Indeed, the uniqueness and existence of the affine orthogonal complement can be obtained by parallel shifting be an r-plane, and let q ∈ be a fixed point.Denote u by the orthogonal projection of q onto L r [0] .Then there exists the unique (nr)-plane containing p and q and perpendicular to L r [0] .Let us denote the (nr)-plane by . Now we discuss the dimension of the intersection T p ∩ L ⊥ n-r [q] .Since the following discussion also holds for any vector subspaces, we may simplify the notations by setting Thus there are two cases concerning the dimension dim(M ∩ V ⊥ ), nr -1 and nr.We will construct the projected r-volume forms of M onto V for the first case and show that the all r-forms vanish in the second case, that is, they are of measure zero when considering the integral over such points.Case 1.When dim(M ∩ V ⊥ ) = nr -1, let ν be the unit normal to M. We may choose the orthonormal basis {e α , e, e β } in the space M ⊕ span{ν} = R n and orthonormal basis {e α , u δ } in M satisfying the following conditions: the unit vector e is uniquely determined (up to a sign), independent of the choice of the vectors e α , e β , and u δ .Since for the point p ∈ M, the infinitesimal change dp is still contained in M, so we have the vector-valued one-form for some connection 1-forms A α and B δ .In addition, dp is a vector in R n , so it can be written in terms of the linear combination of the basis {e α , e, e β }, namely, ω β e β for some 1-forms ω α , ω, and ω β .Thus, for any β = nr + 1, . . ., n, we have and so where = det(u δ • e β ) is the determinant of the (r × r)-matrix with entries u δ • e β .Notice that the value satisfies -1 ≤ ≤ 1, and it measures the cosine of the angle between M \ V ⊥ and V , equivalently, the angle between ν and e.Indeed, recall that the Hodge star operator * satisfies the property for any exterior r-forms η, ζ , where •, • is the inner product for r-forms.Substituting η = δ u δ and ζ = β e β into the identity and using the orthogonal decomposition as desired.For our purpose (see ( 18)), we will take the absolute value | | of in ( 14) such that the r-volume form β ω β is a positive measure.For more detail about the angles between two subspaces of arbitrary dimensions, we refer the reader to [8, Theorem 1] and [10].
The geometric meaning of ( 14) can be interpreted as follows: by identifying the origin O ∈ V (and so q) and p via the parallel transport in R n , β ω β (resp., δ B δ ) is the rdimensional volume element in V at q (resp., in M \ V ⊥ at p, the subspace in M that is not perpendicular to V ).Formula (14) describes that the projected r-form β ω β is the orthogonal projection of δ B δ onto the plane V , and the projection is independent of the choice of the vectors e α , e, e β , and u δ .As a consequence, we have constructed a natural projected r-volume element of M onto V and finish the discussion for the first case.
Before advancing to the second case, let us implement the previous construction to the compact hypersurface in R n .
Proposition 2 For any r-plane L r[0] through the origin and any point q ∈ L r[0] , there exists a unique (nr)-plane L ⊥ n-r[q] through q satisfying (1) the orthogonal decomposition T p , there exists the unique (up to a sign) unit vector e p,q in L ⊥ n-r[q] \ T p .

Proof
(1) It is clear by the assumption. ( , we may choose the unique vector starting from the point p with length one (up to a sign) in the one-dimensional affine subspace U, and the result follows.
We point out that in (2) of Proposition 2, in general, the cross-section L ⊥ n-r[q] ∩ may be comprised of infinitely or finitely many connected components.For our purpose, we only consider the hypersurface with finitely many cross-sections for all (nr)-planes through any point on .

Proposition 3 For any p ∈ and any (nr)-plane U T p through p, there exist a unique r-plane L r[0] through the origin and a unique point q
as shown in Proposition 2), and (2) dim(U \ T p ) = 1.Moreover, by (2) there exists the unique unit vector e ∈ U \ T p coinciding with the vector e p,q constructed in (2) of Proposition 2.

Proof
(1) The r-plane L r[0] can be uniquely obtained by the orthogonal affine subspace to U, namely, L r[0] = {x ∈ R n , x • y = 0 for all y ∈ U}, and so the point q is given by the unique point at L r[0] ∩ U. (2) The transversal assumption U T p immediately implies the result.Finally, by (2) we may have a unique (up to a sign) unit vector e ∈ U \ T p .Since the vector e is uniquely determined by U, L r[0] , p, and q, by setting U = L ⊥ n-r[q] in Proposition 2 the unique vector e p,q coincides with the vector e.Remark 2 For any fixed point p ∈ R n , the natural orthogonal decomposition for R n implies that there exists a one-to-one correspondence that assigns the r-plane L r[0] an (nr)plane L ⊥ n-r[q] through p, where q is the orthogonal projection of p onto L r [0] .Let G n,r be the Grassmannian, the set of all r-subspaces in R n .According to Proposition 3, if p ∈ , then the map is a bijection except for the r-planes L r[0] perpendicular to T p (namely, L ⊥ n-r[q] ⊆ T p for some point q ∈ L r[0] in Proposition 2 (2)).
Next, let us continue to discuss the second case of dim(M ∩ V ⊥ ).Case 2. When dim(M ∩ V ⊥ ) = nr, V ⊥ is contained in M. We claim that, by a similar construction in Case 1, the r-form β ω β vanishes.We may choose the orthonormal bases Similarly to Case 1, on one hand, since p = M ∩ V ⊥ , dp = n i=1 ω i e i for some connection 1-forms ω i .On the other hand, by writing and taking the inner product with e β , nr + 1 ≤ β ≤ n, we have We deduce The last equality holds since the wedge product makes an r-form from (r -1) one-forms B δ , and there must be some B δ s repeated.This finishes the discussion for Case 2.
In contrast to Case 1, Case 2 shows that if V ⊥ ⊂ M (equivalently, V is perpendicular to M), then the orthogonal contribution of any r-volume element in M onto V is zero.As a consequence of both cases, when considering the integral over all projected r-volumes n β=n-r+1 ω β , ( 14) and ( 17) suggest that we may ignore Case 2 and only consider Case 1, According to the previous discussion, we give a definition of the weighted projected area of any compact hypersurface onto any subspace L r[0] of lower dimension.Definition 2 Let be a compact hypersurfacein R n , and let L r[0] be an r-plane through the origin, 1 ≤ r ≤ n -1.The (orthogonal) weighted projected r-volume where L * pq -1 is the pullback of the left translation L pq -1 , q is the orthogonal projection of p ∈ onto L r[0] , (p) is the angle between the unit normal ν to T p and the unique vector e in L ⊥ n-r[q] defined in (16), and r δ=1 B δ (p) is the r-volume in T p \ L ⊥ n-r [q] .Also, the mean value of the projected r-volumes V r ( |L r[0] ) is defined by where G n,r is the Grassmannian consisting of all r-dimensional subspaces in R n , dL r[0] is the invariant density defined below in (20), and m(G n,r ) is the volume of the Grassmannian G n,r .
We point out that when r = n -1, T p M ∩ L ⊥ 1[q] = {p}, and so n-1 δ=1 B δ is the surface area element of at p. Thus (18) coincides with (4).When r = 1, we have the mean width (19) for arbitrary .
The rest of this paper is devoted to the derivation of a recursive formula for the integral of projected r-volumes.Recall that [11, p, 216, (13.2)] the integral of the projected (nr)volume of a convex body K (shortly, the mean (nr)-volume) is defined by where K n-r is the convex set of all intersection points of L n-r[0] with the r-planes perpendicular to L n-r[0] through each point of K , and V (K n-r ) is the (nr)-volume of K n-r .Using our notation, this means that ). Definition (22) of I r (K) can be generalized to arbitrary compact submanifold K with smooth boundary = ∂K if the (nr)-volume V (K n-r ) is replaced by that of (18), namely, the mean (nr)-volume of is defined by which is exactly same as shown in (19) (up to a constant m(G n,r ).
Theorem 4 Let K be an n-dimensional compact submanifold in R n with boundary = ∂K .Denote by I r (K) the mean (nr)-volume as defined in (23).Then we have the recursive formula where O r-1 is the surface area of the unit ball in R r , and [11, p. 217] the author derived the same recursive formula (see identity (13.7) there) under the assumption that K is a convex body in R n .We observe that a similar argument can be applied even for nonconvex domains K when the new notion for projected r-volumes (i.e., ( 4) and ( 18)) is introduced.The main idea of the proof of Theorem 4 is based on identities (25) and (26), which are irrelevant to the convexity for K .
Proof Let L r , 1 ≤ r ≤ n -1, be an r-plane in R n .Denote by L (r)  i+1 the (i + 1)-plane contained in L r for i + 1 ≤ r ≤ n -1.In [11, p. 207, (12.53)] the author considered the density for the sets of pairs of linear subspaces (L r , L (r)  i+1 ) and the identity where dL * r is the density of the oriented r-plane L r , and dL r[i+1] is the density for r-planes about a fixed (i + 1)-plane.If we consider the linear spaces through the fixed origin O in R n , (25) still holds and may be written as In particular, when L r is a hyperplane and L (r) i+1[0] is of maximal dimension in L r , namely, r = n -1, i + 1 = r, (26) becomes Similarly, when restricting to the hyperplane L n-1[0] (namely, substitute n by n -1, and i + 1 by r -1) in (26), we have where the superscripts (n -1) emphasize that the sub-lanes considered here are contained in the plane L n-1 [0] .For instance, dL * (n-1) is the density of the oriented r-plane through the origin O contained in L n-1 [0] .Multiplying (27) by dL r r-1[0] and (28) by dL n-1[0] and using the fact that an oriented plane is equivalent to two unoriented planes such that dL