Abstract
Here we analyze three dimensional analogues of the classic Crofton formula for planar compact convex sets. In this formula a fundamental role is played by the visual angle of the convex set from an exterior point. A generalization of the visual angle to convex sets in the Euclidean space is the visual solid angle. This solid angle, being an spherically convex set in the unit sphere, has perimeter, area and other geometric quantities to be considered. The main goal of this note is to express invariant quantities of the original convex set depending on volume, surface area and mean curvature integral by means of integrals of functions related to the solid angle.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and statement of results
The purpose of this note is to give three-dimensional analogues of the classic Crofton formula for a planar compact convex set K,
Here L is the length of the boundary of K, F the area of K and \(\omega =\omega (P)\) is the visual angle of K as seen from P, and dP is the Lebesgue measure on the Euclidean plane.
A generalization of the visual angle in the plane to compact convex sets in the Euclidean space \({\mathbb {E}}^{3}\) is the visual solid angle. The solid angle \(\Omega (P)\) of a compact convex set K from a point \(P\notin K\) is the set of unit directions u such that the ray \(P+tu,t\ge 0\) meets K. Instead of an arc in the unit circle \(S^1\) and its length \(\omega \) we have a (spherically convex) set in the unit sphere \(S^2\) with a richer geometry, having area, perimeter, and other geometric quantities that might be considered.
In our analysis we will be lead to two set functions \(\alpha (\Omega ), \beta (\Omega )\) defined for spherically convex sets \(\Omega \subset S^2\), both replacing \(\omega -\sin \omega \) in different senses. To introduce them we first recall some classical notions about spherical geometry, the main reference being (Santaló 2004). The radii perpendicular to the support planes of the cone spanned by \(\Omega \) form another cone whose intersection with \(S^2\) is the so-called dual curve of \(\partial \Omega \). The region in \(S^2\) bounded by this curve and its symmetral with respect to the origin, which we denote by \(\tilde{\Omega }\), consists in the unit directions v such that the plane \(v^{\bot }\) meets \(\Omega \). We may identify it with the set of great circles in \(S^2\) meeting \(\Omega \). Its complementary \(\tilde{\Omega }^c\) in \(S^2\) consists of two symmetrical components. Since the scalar product \(\langle v,u\rangle \) does not vanish for \(v\in \tilde{\Omega }^c, u\in \Omega \), this product has constant sign in each component. The one with positive sign is called the dual solid cone and denoted by \(\Omega ^{*}\).
The set functions \(\alpha , \beta \) are respectively defined as
where du, dv and \(dv_{i}\) denote the Lebesgue measure in \(S^2\).
The factors in front of the integrals are explained by the fact that the set \(\tilde{\Omega }\) doubly parametrizes the planes through the origin meeting \(\Omega \), or equivalently the great circles meeting \(\Omega \).
It is immediate to check that both set functions are invariant by rigid motions T of the sphere, that is \( \alpha (T(\Omega ))=\alpha (\Omega ), \beta (T(\Omega ))=\beta (\Omega )\). We point out that a straightforward computation shows that the formal analogues in the plane
where now I is a convex subset of \(S^{1}\), are both equal to \(\omega -\sin \omega \) up to a constant, \(\omega \) being the length of I.
The Crofton type formulas we obtain are then:
Theorem 1.1
For a compact convex set \(K\subset {\mathbb {E}}^{3}\) with mean curvature integral M, volume V and surface area F one has
with the set function \(\alpha \) given by (1.2).
Recall that the mean curvature integral M is given by
where \(k_{1}, k_{2}\) are the principal curvatures of \(\partial K\) and dS is the surface element.
Theorem 1.2
For a compact convex set K in \({\mathbb {E}}^{3}\) with mean curvature integral M and volume V one has
with the set function \(\beta \) given by (1.3).
Theorem 1.3
For a compact convex set K in \({\mathbb {E}}^{3}\) with volume V one has
where dE is the invariant measure for affine planes E in the Euclidean space, L denotes the perimeter and \(\vert \Omega \vert \) the surface measure.Footnote 1
As a consequence of Theorem 1.1 and Minkowski’s inequality \(12 \pi V\le MF\), which follows from the inequalities \(4\pi F\le M^{2}\) and \(3MV\le F^{2}\) (see Minkowski 1901, p. 120 or Schneider 2013, p. 387), one has
with equality only when K is a ball.
Theorem 1.3 has as a consequence:
Theorem 1.4
For a compact convex set K in \({\mathbb {E}}^{3}\) with volume V one has
and equality holds if and only if K is a ball.
Part of our analysis will consist in understanding the set functions \(\alpha , \beta \) in terms of metric properties of \(\Omega \). For the set function \(\alpha \) a satisfactory description is easily obtained, namely
where \(c(\Omega )=\int _{\Omega } u\, du\) and the similarly defined \(c(\Omega ^{*})\) are the (unweighted) centroids of \(\Omega \) and \(\Omega ^{*}\) respectively. Again, the analogue of this expression for an arc I in \(S^1\) (\(I^{*}\) being in this case the concentric arc with length \(\pi -\omega \)) equals \(\omega -\sin \omega \) up to constants. The explicit computation of \(\alpha (\Omega )\) is possible just for spherical caps and other simple cases.
For the set function \(\beta \) the description is not so neat. Nevertheless we show that the difference \(\beta (\Omega )-\frac{\pi ^2}{2}\alpha (\Omega )\) can be expressed in terms of the dihedral visual angles \({{\mathcal {D}}}(\Omega ,u)\) of \(\Omega \) from points \(u\in S^2\) not in \(\Omega \), the analogue in spherical geometry of the visual angle. More precisely \({\mathcal D}(\Omega ,u)\) is the angle between two planes through the origin and through u, tangent to \(\Omega \). From the above linear combination between \(\alpha (\Omega )\) and \(\beta (\Omega )\) and the classical Crofton–Herglotz formula we will deduce that Theorems 1.1 and 1.2 can be seen as equivalent statements (see Sect. 2.3).
Regarding Theorem 1.3, it would be interesting to understand the left-hand side of (1.6) in terms of the geometry of K.
2 Proofs of the theorems
2.1 Proof of Theorems 1.1, 1.2, 1.3 and 1.4
All of them are obtained by mimicking the integral geometry proof of the plane Crofton formula (1.1). We denote by E, G affine planes and lines in the Euclidean space, respectively, and by dE, dG the corresponding canonical invariant measures as used for instance in Santaló (2004).
For a compact convex set K with mean curvature integral M, surface area F and volume V, Crofton’s classic formulas for intrinsic volumes give (see Santaló (2004))
and
We have used the notation \(L(K\cap G)\) for the length of the segment \(K\cap G\) and \(L(K\cap E)\) and \(F(K\cap E)\) for the perimeter and the area, respectively, of the planar convex set \(K\cap E\).
We shall consider pairs and triples of linear varieties provided with the product measure. It will be useful to express these measures using the parametrizations given in the next lemma, whose proof can be deduced from Section 12 of Santaló (2004):
Lemma 2.1
Let dG and dE be the canonical invariant measures of affine lines and planes respectively. Then
-
a)
For pairs of planes E and lines G we have
$$\begin{aligned} dG\ dE=\vert \langle u,v\rangle \vert dG_P\ dE_P \ dP, \end{aligned}$$(2.3)where v is a unit normal direction to the plane E, u is a unit direction of the straight line G, dP is the Lebesgue measure on \({\mathbb {E}}^{3}\), \(dG_P\) is the measure of lines in \({\mathbb {E}}^{3}\) through P and \(dE_P\) the measure of planes in \({\mathbb {E}}^{3}\) through P.
-
b)
For triples of planes \(E^{1}, E^{2}, E^{3}\) we have
$$\begin{aligned} dE^1\ dE^2\ dE^3=\vert \det (v_{1}, v_{2}, v_{3})\vert dE^1_P\ dE^2_P\ dE^3_P \ dP, \end{aligned}$$(2.4)where \(v_{i}\) are the unit normal directions to the planes \(E^{i}\), \(P\in E^{1}\cap E^{2}\cap E^{3}, \) and \(dE^i_P\) is the measure of planes in \({\mathbb {E}}^{3}\) through P.
-
c)
For pairs of straight lines \(G^1, G^2\) intersecting at a point \(P\in {\mathbb {E}}^{3}\) we have
$$\begin{aligned} dG_P^1\, dG_P^2\, dP=dG^1_E\, dG^2_E\, dE \end{aligned}$$(2.5)where \(dG_P^i\) is the measure of lines through P and \(dG^{i}_E\) is the measure of lines within E.
In the above items, the cases in which two linear varieties are parallel have zero measure.
Proof
-
a)
This is a particular case of formula (12.47) in Santaló (2004) when \(n = 3\), \(r = 1\) and \(s = 2\).
-
b)
It is known that \(dE=ds\wedge du\) where s is the distance from the plane E to the origin O and \(u\in S^{2}\) is the normal vector to E. If \(P\in E\) then \( \langle \overrightarrow{OP},u\rangle =s\). Hence the equations of the planes \(E_{i}\) are \( \langle \overrightarrow{OP},u_{i}\rangle =s_{i}\). It follows that
$$\begin{aligned} ds_{1}\wedge ds_{2}\wedge ds_{3}=\vert \det (u_{1},u_{2},u_{3})\vert \,dx\wedge dy \wedge dz \end{aligned}$$with \(P=(x,y,z)\). From this (2.4) follows immediately.
-
c)
We consider orthonormal moving frames \(\{P; e_{1},e_{2},e_{3}\}\) and \(\{P; e^{*}_{1},e^{*}_{2},e^{*}_{3}=e_{3}\}\) such that \(P=E\cap G^{1}\cap G^{2}\), \(e_{3}\) is normal to E, \(e_{1}\) is the unit direction of \(G^{1}\) and \(e^{*}_{1}\) is the unit direction of \(G^{2}.\) Considering the Maurer-Cartan forms of these moving frames, by (12.48) in Santaló (2004) we have
$$\begin{aligned} dG^{1}_{E}\ dG^{2}_{E}\ dE = (\omega _{12}\wedge \omega _{2})\wedge (\omega ^{*}_{12}\wedge \omega ^{*}_{2})\wedge (\omega _{13}\wedge \omega _{23}\wedge \omega _{3}) \end{aligned}$$(2.6)and
$$\begin{aligned} dG^{1}_{P}\ dG^{2}_{P}\ dP = (\omega _{21}\wedge \omega _{31})\wedge (\omega ^{*}_{21}\wedge \omega ^{*}_{31})\wedge (\omega _{1}\wedge \omega _{2}\wedge \omega _{3}), \end{aligned}$$(2.7)where \(\{\omega _{1},\omega _{2},\omega _{3}\}\) is the dual basis of \(\{e_{1},e_{2},e_{3}\}\), the forms \(\omega _{ij}\) are defined by \( de_{i}=\omega _{i1}e_{1}+\omega _{i2}e_{2}+\omega _{i3}e_{3} \) and the forms \(\omega _{i}^{*}\), \(\omega _{ij}^{*}\) are defined analogously. Then we get
$$\begin{aligned} \omega ^{*}_{2}=\langle e_{1},e^{*}_{2} \rangle \omega _{1} + \langle e_{2},e^{*}_{2} \rangle \omega _{2} \end{aligned}$$and
$$\begin{aligned} \omega ^{*}_{31}=\langle de_{3},e^{*}_{1}\rangle =\langle e^{*}_{1},e_{1}\rangle \omega _{31}+\langle e^{*}_{1}, e_{2}\rangle \omega _{32}. \end{aligned}$$Taking into account that \(\langle e_{1},e^{*}_{2} \rangle =-\langle e^{*}_{1}, e_{2}\rangle \) it comes from (2.6) and (2.7) that
$$\begin{aligned} dG^{1}_{P}\, dG^{2}_{P}\, dP=dG^{1}_{E}\, dG^{2}_{E}\, dE \end{aligned}$$as announced (we always consider the absolute value for densities).
\(\square \)
We can now proceed to prove the announced theorems.
Proof of Theorem 1.1
We consider pairs (E, G) of planes and lines both meeting K. From (2.1), (2.2) and (2.3) and denoting by \(G_{P}\) a line through P and \(E_{P}\) a plane through P one has
If \(P\in K\) the integral in the right-hand side is extended to all lines \(G_{P}\) and to all planes \(E_{P}\) and since these lines and planes are doubly parametrized by u, v respectively, it is
Obviously the integral with respect to v does not depend on u and so the above integrals are equal to
Choosing \(u=(0,0,1)\) and computing in spherical coordinates one obtains the value \(2\pi ^2\).
If \(P\notin K\) then the line \(G_P\) is parametrized by \(u\in \Omega (P)\) and the plane \(E_P\) is doubly parametrized by \(v\in \tilde{\Omega }(P)\) whence
thus proving (1.4). \(\square \)
Proof of Theorem 1.2
Here we use triples of planes meeting K and proceed analogously to the above proof. Using (2.2) and (2.4) it follows that
Again, if P is within K, there is no restriction on the planes \(E_P^i\) and one has
The integral in \(v_1,v_2\) is independent of \(v_3\) and so the above integrals are equal to
Choosing \(v_3=(0,0,1)\) and computing in spherical coordinates we get the value \(\pi ^4\).
If \(P\notin K\) then the planes \(E_P^i\) are doubly parametrized by \(v_i\in \tilde{\Omega }(P),\) so that
and (1.5) is proved. \(\square \)
Proof of Theorem 1.3
We use now pairs of intersecting lines, both meeting K. The measure of this set of lines is
On the one hand, the contribution of K in the dP integral is \((2\pi )^2 V\), while that of the complementary of K is \(\int _{P\notin K} \vert \Omega (P)\vert ^2 \, dP\). On the other hand, by (2.5), the above integrals are equal to
Since the Cauchy-Crofton formula in the plane E states that \(\int _{G\subset E, G\cap K\ne \emptyset }\,dG=L(K\cap E)\), we are done. \(\square \)
We point out that another proof of Theorem 1.3 can be obtained integrating the planar Crofton formula (1.1) applied to the convex set \(E\cap K\) over all the planes E.
Proof of Theorem 1.4
Using the isoperimetric inequality in the plane E the left-hand side of (1.6) is bigger than
which by the last equality in (2.2) is equal to \(8\pi ^2V\), thus proving (1.7). If equality holds, then \(L(K\cap E)^2=4\pi F(K\cap E)\) for all E, and all convex sets \(K\cap E\) are discs, and this implies easily that K is a ball (see for instance Corollary 7.1.4 in Gardner (2006)). \(\square \)
2.2 On the set function \(\alpha \)
To prove the relation (1.8) just notice that
The first integral on the right-hand side does not depend on u and equals \(2\pi \), while in the second one \(\langle u, v\rangle \) is positive. Altogether gives
In order to express this function in terms of \(\Omega \) we find a relation between the centroids of \(\Omega \) and \(\Omega ^{*}\) using a parametrization of the boundary of \(\Omega \). We consider the orientation in \(\Omega \) given by the unit outward normal to \(S^2\) and let \(\gamma (t)\), \(0\le t\le \ell \), be the arc-length parametrization of \(\partial \Omega \) with the induced orientation, so that \(\textbf{T}=\gamma '\) is the unit tangent vector.
Proposition 2.2
For a spherically convex subset \(\Omega \) of the sphere \(S^{2}\) with regular boundary arc-parametrized by \(\gamma (t)\) we have the following formulas for the centroids \(c(\Omega )\) and \(c(\Omega ^{*}).\)
-
a)
$$\begin{aligned} c(\Omega )=\frac{1}{2}\int _{0}^{\ell }\gamma (t) \times \gamma '(t) \ dt, \quad c(\Omega ^{*})=\frac{1}{2} \int _{0}^{\ell }k_{g}(t) \gamma (t)\ dt, \end{aligned}$$
where \(k_{g}(t)\) is the geodesic curvature of \(\gamma (t)\) and ‘\(\times \)’ denotes the vector product.
-
b)
$$\begin{aligned} c(\Omega )+c(\Omega ^{*})=\frac{1}{2}\int _{0}^{\ell }\gamma '(t)\times \gamma ''(t)\ dt = \frac{1}{2}\int _{0}^{\ell }k(t)\textbf{B}(t)\ dt. \end{aligned}$$
where k(t) is the curvature of \(\gamma (t)\) and \(\textbf{B}(t)\) its binormal.
Proof
If \(u=(x,y,z)\), the first component of \(c(\Omega )\) is \(\int _{\Omega } x du\), which is the flow through \(\Omega \) of the vector field \(\textbf{X}=(1,0,0)\). Since \(\textbf{X}=\nabla \times \textbf{Y}\) with \(\textbf{Y}= \frac{1}{2} (0,-z,y)\) this component is equal to
Now \(\langle \textbf{T},\textbf{Y}\rangle \) is the first component of \(\gamma (t)\times \gamma '(t)\) and similarly for the other components, so that the first formula in a) is proved. Next, notice that \(\gamma ^{*}(t)=\gamma (t)\times \gamma '(t)\) parametrizes the dual curve, the boundary of \(\Omega ^{*}\), whence one has as well
Now,
and a) is proved.
In order to prove b) we simplify the notation writing \(\sigma = \gamma \times \gamma '+\gamma ^{*}\times {\gamma ^{*}}'.\) Denote by \(\textbf{T},\textbf{N},\textbf{B}\) the Frenet frame of \(\gamma \). It is easy to see that \(\langle \sigma , \textbf{T}\rangle = 0\). Also
because \(\langle \gamma ,\gamma '\rangle =0\) and so \( \langle \gamma , \gamma ''\rangle =-1.\) Now we compute \(\langle \sigma ,\textbf{B}\rangle ,\)
Since the curve \(\gamma \) is on the unit sphere we have that \(k^{2}=1+k_{g}^{2}\); therefore \( \langle \sigma ,\textbf{B}\rangle =k \) and we conclude that
Since \(\gamma '\times \gamma ''=\textbf{T}\times k\textbf{N}=k\textbf{B}\) the proposition is proved. \(\square \)
Using these formulas it is easily checked that if \(\Omega \) is a spherical cap of angle \(\omega \) one has
2.3 On the set function \(\beta \)
Here we wish to obtain an alternative expression for (1.3) which will lead us to the Crofton–Herglotz formula.
For two different vectors \(v_{2}, v_{3}\in S^{2}\) let \(u=v_2\times v_3/\vert v_2\times v_3\vert \). To specify a basis for \(u^{\bot }\) we write u in spherical coordinates, \(u=(\sin \varphi \cos \theta , \sin \varphi \sin \theta , \cos \varphi )\), and define
so that \(\{e_{1}, e_{2}, u\}\) is a positive orthonormal basis. We write \(v_2, v_3\) in this basis as
Then \(v_{2},v_{3}\) are parametrized by \(u, \theta _{2},\theta _{3}\). Kee** in mind that the integral in (1.3) is in fact over the set of all triples of great circles meeting \(\Omega \), we have that \(\pm v_2\) and \(\pm v_3\) count as one and so we consider \(0\le \theta _2,\theta _3\le \pi \) and require that the angles \(\theta _2, \theta _3\) be within the dihedral angle \({{\mathcal {D}}}(\Omega ,u)\) determined by \(\Omega \) and u. Then \((u, \theta _{2},\theta _{3})\) is a double parametrization of the set of pairs of great circles meeting \(\Omega \). In this parametrization, it is immediate to check that (cf. (Rey Pastor and Santaló 1951, (34.1)))
while
for all \(v_{1}\in \tilde{\Omega }\).
Thus
Now the integral with respect to \(\theta _{2}, \theta _{3}\) is easily computed, and denoting as well by \({{\mathcal {D}}}(\Omega ,u)\) the measure of the dihedral angle we get
For \(\pm u\in \Omega \) one has \({{\mathcal {D}}}(\Omega ,u)=\pi \) whence the contribution of this part equals \(\pi ^2\alpha (\Omega )/2\). Thus
with
Thus Theorems 1.1 and 1.2 imply
We now insert the definition of \(\delta (\Omega (P))\) and use (2.3). If u is the unit direction of the line G, then \({{\mathcal {D}}}(\Omega (P),u)\) is the dihedral angle \({\mathcal D}(K,G)\) of K as seen from the line G through P. So the right-hand side above is equal to
Using (2.2) we obtain the classical Crofton–Herglotz formula (see (116) in Blaschke (1955) or (14.33) in Santaló (2004))
Equality (2.8) shows that Theorems 1.1 and Theorem 1.2 are equivalent through the Crofton–Herglotz formula.
3 Some inequalities for convex sets of constant width
In this section we will deal with compact convex sets K of constant width. For each of these sets we have the relation \(R+r=a,\) where a is the width of K, and r, R are respectively the inradius and the circumradius of K. We denote by \(S_{r}\) and \(S_{R}\) the insphere and the circumsphere of K, respectively. Thus, denoting \(c=r/R\), we have
From Jung’s Theorem (Martini et al. 2019, sec. 3.4.2) it follows that \(c\ge \sqrt{8/3}-1=0.63...\)
Theorem 3.1
Let K be a compact convex set of constant width a and let \(c=r/R\) be the quotient between the inradius and the cirumradius of K. Then
where \(L(K\cap E)\) is the perimeter of the planar convex set \(K\cap E\). The equality holds for spheres.
Proof
First we observe that denoting by p(u), \(u\in S^{2}\), the support function of K and \(\eta (u)=p(u)-a/2\) one has
Hence
and so
The set of affine planes in the space is double parametrized by a unit normal vector u and the distance t to the origin. Hence the invariant measure is given by \(dE=\frac{1}{2}dt\,du\). Then
and by (3.2)
\(\square \)
We note that by Jung’s inequality \(c\ge \sqrt{8/3}-1\), the above result implies
Proposition 3.2
Let K be a compact convex set of constant width a with \(c=r/R\) the quotient between the inradius and the cirumradius of K. Then
with equalities for spheres, where the lower bound is non negative for \(c> 0.657...\).
Proof
The right-hand side inequality comes from (3.1) and (1.6) substituting V by \(V_{r}\), where \(V_{r}\) is the volume of the insphere \(S_{r}\) of K. The left-hand side inequality comes subtracting \(4\pi ^{2}V\) in the easily checked relations
and using the inequality \(V\le V_{a/2}\), where \(V_{a/2}\) is the volume of the sphere of radius a/2 (see Martini et al. 2019). \(\square \)
Remark 3.3
We note that in terms of the width only, we have
Remark 3.4
One can ask if equality
that holds for spheres is also true for compact convex sets of constant width. For this case, with the same kind of arguments used above, we are only able to prove
with equalities for spheres.
Notes
Formula (1.6) was previously considered in private conversations with Teufel in 2003.
References
Blaschke, W.: Vorlesungen über Integralgeometrie, 3rd edn. Deutscher Verlag der Wissenschaften, Berlin (1955)
Gardner, R.J.: Geometric Tomography, 2nd edn. Cambridge University Press, New York (2006)
Martini, H., Montejano, L., Oliveros, D.: Bodies of Constant Width. Birkhäuser/Springer, Cham (2019)
Minkowski, H.: Über die Begriffe Länge, Oberfläche und Volumen. Jahresber. Detsch. Math. Ver. 9, 115–121 (1901)
Rey Pastor, J., Santaló, L.A.: Geometría Integral. Espasa-Calpe, Buenos Aires (1951)
Santaló, L.A.: Integral Geometry and Geometric Probability, 2nd edn. Cambridge University Press, Cambridge (2004)
Schneider, R.: Convex Bodies: the Brunn–Minkowski Theory, Second expanded Cambridge University Press, Cambridge (2013)
Acknowledgements
The authors were partially supported by Grants 2021SGR01015, 2021SGR00087 (Generalitat de Catalunya) and PID2021-125625NB-I00, PID2021-123405NB-I00, (Ministerio de Ciencia e Innovación).
Funding
Open Access Funding provided by Universitat Autonoma de Barcelona.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bruna, J., Cufí, J., Gallego, E. et al. On Crofton’s type formulas and the solid angle of convex sets. Beitr Algebra Geom (2024). https://doi.org/10.1007/s13366-023-00730-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13366-023-00730-x