Triple Integrals in Cylindrical Coordinates

Total Page:16

File Type:pdf, Size:1020Kb

Triple Integrals in Cylindrical Coordinates Triple Integrals in Cylindrical Coordinates Many applications involve densities for solids that are best expressed in non- Cartesian coordinate systems. In particular, there are many applications in which the use of triple integrals is more natural in either cylindrical or spherical coordinates. For example, suppose that f (r; ) g (r; ) in polar coordinates and that U (x; y; z) is a continuous function. If S is the solid between z = f (x; y) and z = g (x; y) over a region R in the xy-plane, then f(x;y) U (x; y; z) dV = U (x; y; z) dz dA ZZZS ZZR "Zg(x;y) # Let’s suppose now that in polar coordinates, R is bounded by = ; = ; r = p () ; and r = q () : Since dA = rdrd in polar coordinates, a change of variables into cylindrical coordinates is given by q() g(r;) U (x; y; z) dV = U (r cos ; r sin () ; z) r dzdrd (1) ZZZS Z Zp() Zf(r;) In practice, however, it is often more straightforward to simply evaluate the …rst integral in z and then transform the resulting double integral into polar coordinates. EXAMPLE 1 Evaluate the following 1 p1 x2 2xy x2 + y2 dzdydx Z0 Z0 Z0 Solution: Rather than employ (1) directly, let’s …rst evaluate the integral in z. That is, 1 p1 x2 2xy 1 p1 x2 2 2 2 2 2xy x + y dzdydx = zx + zy 0 dydx Z0 Z0 Z0 Z0 Z0 1 p1 x2 = 2xy x2 + y2 dydx Z0 Z0 = 2xy x2 + y2 dA ZZR 1 where R is the quarter of the unit circle in the 1st quadrant. In polar coordinates, R is bounded by = 0, = =2; r = 0; and r = 1: Thus, 1 p1 x2 2xy =2 1 x2 + y2 dzdydx = 2r cos () r sin () r2 rdrd Z0 Z0 Z0 Z0 Z0 =2 1 = sin (2) r5 drd Z0 Z0 =2 r6 1 = sin (2) d 6 Z0 0 =2 1 = sin (2) d 6 Z0 1 = 6 Check your Reading: Where did the r come from in (1)? Triple Integrals in Spherical Coordinates If U (r; ; z) is given in cylindrical coordinates, then the spherical transformation z = cos () ; r = sin () transforms U (r; ; z) into U ( sin () ; ; cos ()) : Similar to polar coordinates, we have @ (z; r) = dd @ (; ) so that a triple integral in cylindrical coordinates becomes q() g(r;) q() g( sin();) U (r; ; z) r dzdrd = U ( sin () ; ; cos ()) r dd d Z Zp() Zf(r;) Z Zp() Zf( sin();) However, r = sin () ; which leads to the following: 2 Triple Integrals in Spherical Coordinates: If S is a solid bounded in spherical coordinates by = , = ; = p () ; = q () ; = f (; ) ; and = g (; ) ; and if U (; ; ) is contin- uous on S; then q() g(;) U (; ; ) dV = U (; ; ) 2 sin () ddd ZZZS Z Zp() Zf(;) (2) In particular, it is important to notice that dV = 2 sin () ddd and it is acceptable to use dV = rddd since r = sin () : It is also important to remember the relationships given by the two right triangles relating (x; y; z) to (; ; ) : In particular, x2 + y2 = r2 implies x2 + y2 = 2 sin2 () and r2 + z2 = 2 implies that x2 + y2 + z2 = 2 (3) 3 Also remember that ranges over [0; 2] ; while ranges over [0; ]. EXAMPLE 2 Use spherical coordinates to evaluate the triple in- tegral 1 p1 x2 p1 x2 y2 x2 + y2 + z2 dzdydx 1 p1 x2 p1 x2 y2 Z Z Z p Solution: To begin with, we notice that this iterated integral re- duces to x2 + y2 + z2dV unit sphere ZZZ p As a result, in spherical coordinates it becomes 2 1 2 2 sin () ddd 0 0 0 Z Z Z p since x2 + y2 + z2 = 2: Thus, we have 2 1 2 1 3 sin () ddd = 3 sin () ddd Z0 Z0 Z0 Z0 Z0 Z0 2 4 1 = sin () dd 4 Z0 Z0 0 2 1 = sin () dd 4 0 0 Z 2 Z 1 = cos () 0 d 4 0 j = Z 4 EXAMPLE 3 Find the volume of the solid above the cone z2 = x2 + y2 and below the plane z = 1: Solution: The cone z2 = x2 + y2 corresponds to = =4 in spher- ical. Moreover, z = 1 corresponds to cos () = 1; or = sec () : Thus, 2 =4 sec() V = dV = 2 sin () ddd ZZZS Z0 Z0 Z0 2 =4 3 sec() = sin () dd 3 Z0 Z0 0 2 =4 1 = sec 3 () sin () dd 3 Z0 Z0 However, sec () sin () = tan () ; so that 1 2 =4 V = tan () sec2 () dd 3 Z0 Z0 Thus, u = tan () ; du = sec2 () d, u (0) = tan (0) = 0 and u (=4) = tan (=4) = 1 yields 1 2 1 V = udud = 3 Z0 Z0 1 2 1 = d 3 0 2 Z = 3 5 Check your Reading: Why does the cone z2 = x2+y2 correspond to = =4? Applications in Spherical and Cylindrical Coordinates Triple integrals in spherical and cylindrical coordinates occur frequently in ap- plications. For example, it is not common for charge densities and other real- world distributions to have spherical symmetry, which means that the density is a function only of the distance . ( Note: Scientists and engineers use both to denote charge density and also to denote distance in spherical coordinates. The context in which appears will indicate how it is being used). EXAMPLE 4 The charge density for a certain charge cloud con- tained in a sphere of radius 10 cm centered at the origin is given by C (x; y; z) = 100 x2 + y2 + z2 cm3 What is the total charge containedp within a sphere? ( C = micro- coulombs ) Solution: If denotes the solid sphere of radius 10 cm centered at the origin, then the total charge is Q = 100 x2 + y2 + z2 dV ZZZ p However, x2 + y2 + z2 = 2 leads to 2 10 Q = 100 2 sin () ddd Z0 Z0 Z0 6 : 2500 sin (i.e., charge density is proportional to ). Evaluation of the integral leads to 2 4 10 Q = 100 sin () ddd 4 Z0 Z0 0 2 = 100 2500 sin () dd 0 0 Z 2 Z = 100 5000d Z0 = 1; 000; 000 C which is Q = coulombs. Triple integrals in spherical and cylindrical coordinates are common in the study of electricity and magnetism. In fact, quantities in the …elds of electricity and magnetism are often de…ned in spherical coordinates to begin with. EXAMPLE 5 The power emitted by a certain antenna has a power density per unit volume of P p (; ; ) = 0 sin4 () cos2 () 2 where P0 is a constant with units in Watts. What is the total power within a sphere of radius 10 m? Solution: The total power P will satisfy P0 4 2 P = 2 sin () cos () dV ZZZ2 10 P0 4 2 2 = 2 sin () cos () sin () ddd 0 0 0 Z Z2 Z 10 4 2 = P0 sin () sin () cos () ddd 0 0 0 Z 2Z Z 2 2 2 = 10P0 1 cos () sin () cos () dd Z0 Z0 Let us now let u = cos () ; du = cos () d; u (0) = 1; and u () = 1: Then 2 1 2 2 2 P = 10P0 1 u cos () dud Z0 Z1 2 16 = 10P cos2 d 0 15 Z0 7 However, 2 cos2 () = cos (2) + 1; so that 80 2 32 P = P (cos (2) + 1) d = P W atts 25 0 5 0 Z0 Check your Reading: Why does the cone z2 = x2+y2 correspond to = =4? The Inverse Square Law Suppose two point masses with masses m and M respectively are located a dis- tance r apart. Sir Isaac Newton’s inverse square law states that the magnitude F of the gravitational force between the two point masses is j j Mm F = G (4) j j r2 where G is the universal gravitational constant. However, as Newton realized and struggled with for some time, objects in the real world are not point-masses and instead, the law (4) might need to be modi…ed. In particular, let’ssuppose that one of the bodies is not a ”point-mass,”but instead is a sphere of radius R with uniform mass density : For r > R constant, let’ssuppose that the sphere is centered at (0; 0; r) : If the other body is a point- mass ”satellite”of mass m located at the origin, then the gravitational force is directed along the z-axis. Suppose now that a small ”piece” of the sphere is located at a point (; ; ) (in spherical coordinates), and suppose that it has a small mass dM: Then the 8 distance between the small piece and the origin is : so that by (4) the ”small”magnitude d F of the gravitational force between the small ”piece”and the satellite is j j Gm dM d F = (5) j j 2 The amount of d F in the vertical direction is then given by cos () d F (see above). j j j j Thus, the total gravitational force in the vertical direction is Gm cos () F = cos () d F = dM j j j j 2 ZZZS ZZZS where S is the sphere corresponding to the ”planet”. If dV denotes the volume of a small ”piece”of the sphere, then dM = dV; which leads to cos () F = Gm dV (6) j j 2 ZZZS In Cartesian coordinates, the sphere S is given by x2 + y2 + (z r)2 = R2 or x2 + y2 + z2 2rz + r2 = R2 In spherical coordinates this becomes 2 2r cos () + r2 R2 = 0 which by the quadratic formula leads to = r cos () R2 r2 (1 cos2 ()) = r cos () pR2 r2 sin2 () q 9 Thus, the sphere is contained between = r cos R2 r2 sin2 () and = r cos + R2 r2 sin2 () 1 2 q q 1 Let us also note that ranges from 0 to sin (R=r) while ranges over [0; 2] : Evaluating (6) in spherical coordinates leads to 1 2 sin (R=r) 2 cos () F = Gm 2 sin () ddd j j 2 Z0 Z0 Z1 1 2 sin (R=r) 2 = Gm cos () sin () ddd Z0 Z0 Z1 1 2 sin (R=r) = Gm ( ) cos () sin () ddd 2 1 Z0 Z0 1=2 Since = 2 R2 r2 sin2 () ; this in turn leads to 2 1 1 2 sin (R=r) 1=2 F = 2Gm R2 r2 sin2 () sin () cos () dd j j Z0 Z0 If we let u () = R2 r2 sin2 () ; then the limits of integration become 2 2 1 R 2 2 R u (0) = R and u sin = R r = 0 r r2 10 Moreover, du = 2r22 sin () cos () d; so that 1 2 sin (R=r) Gm 1=2 F = R2 r2 sin2 () 2r2 sin () cos () dd j j r2 Z0 Z0 2 0 Gm 1=2 = 2 u du d r 0 R2 Z Z 0 Gm 2 u3=2 = d r2 3=2 Z0 R2 2 3 Gm 2R = d r2 3 Z0 Gm 4R3 = r2 3 However, the volume of the sphere is V = 4R3=3; so that the mass of the sphere is M = V = 4R3=3: Thus, we have shown that GMm F = j j r2 That is, a uniformly-dense spherical ”planet” of mass M and a point-mass of mass M at the center of the sphere have the same gravitational attraction on a ”satellite”point mass outside the sphere.
Recommended publications
  • Intrinsic Volumes and Polar Sets in Spherical Space
    1 INTRINSIC VOLUMES AND POLAR SETS IN SPHERICAL SPACE FUCHANG GAO, DANIEL HUG, ROLF SCHNEIDER Abstract. For a convex body of given volume in spherical space, the total invariant measure of hitting great subspheres becomes minimal, equivalently the volume of the polar body becomes maximal, if and only if the body is a spherical cap. This result can be considered as a spherical counterpart of two Euclidean inequalities, the Urysohn inequality connecting mean width and volume, and the Blaschke-Santal´oinequality for the volumes of polar convex bodies. Two proofs are given; the first one can be adapted to hyperbolic space. MSC 2000: 52A40 (primary); 52A55, 52A22 (secondary) Keywords: spherical convexity, Urysohn inequality, Blaschke- Santal´oinequality, intrinsic volume, quermassintegral, polar convex bodies, two-point symmetrization In the classical geometry of convex bodies in Euclidean space, the intrinsic volumes (or quermassintegrals) play a central role. These functionals have counterparts in spherical and hyperbolic geometry, and it is a challenge for a geometer to find analogues in these spaces for the known results about Euclidean intrinsic volumes. In the present paper, we prove one such result, an inequality of isoperimetric type in spherical (or hyperbolic) space, which can be considered as a counterpart to the Urysohn inequality and is, in the spherical case, also related to the Blaschke-Santal´oinequality. Before stating the result (at the beginning of Section 2), we want to recall and collect the basic facts about intrinsic volumes in Euclidean space, describe their noneuclidean counterparts, and state those open problems about the latter which we consider to be of particular interest.
    [Show full text]
  • 17 Measure Concentration for the Sphere
    17 Measure Concentration for the Sphere In today’s lecture, we will prove the measure concentration theorem for the sphere. Recall that this was one of the vital steps in the analysis of the Arora-Rao-Vazirani approximation algorithm for sparsest cut. Most of the material in today’s lecture is adapted from Matousek’s book [Mat02, chapter 14] and Keith Ball’s lecture notes on convex geometry [Bal97]. n n−1 Notation: We will use the notation Bn to denote the ball of unit radius in R and S n to denote the sphere of unit radius in R . Let µ denote the normalized measure on the unit sphere (i.e., for any measurable set S ⊆ Sn−1, µ(A) denotes the ratio of the surface area of µ to the entire surface area of the sphere Sn−1). Recall that the n-dimensional volume of a ball n n n of radius r in R is given by the formula Vol(Bn) · r = vn · r where πn/2 vn = n Γ 2 + 1 Z ∞ where Γ(x) = tx−1e−tdt 0 n−1 The surface area of the unit sphere S is nvn. Theorem 17.1 (Measure Concentration for the Sphere Sn−1) Let A ⊆ Sn−1 be a mea- n−1 surable subset of the unit sphere S such that µ(A) = 1/2. Let Aδ denote the δ-neighborhood n−1 n−1 of A in S . i.e., Aδ = {x ∈ S |∃z ∈ A, ||x − z||2 ≤ δ}. Then, −nδ2/2 µ(Aδ) ≥ 1 − 2e . Thus, the above theorem states that if A is any set of measure 0.5, taking a step of even √ O (1/ n) around A covers almost 99% of the entire sphere.
    [Show full text]
  • Spherical Cap Packing Asymptotics and Rank-Extreme Detection Kai Zhang
    IEEE TRANSACTIONS ON INFORMATION THEORY 1 Spherical Cap Packing Asymptotics and Rank-Extreme Detection Kai Zhang Abstract—We study the spherical cap packing problem with a observations can be written as probabilistic approach. Such probabilistic considerations result Pn ¯ ¯ in an asymptotic sharp universal uniform bound on the maximal i=1(Xi − X)(Yi − Y ) Cb(X; Y ) = q q inner product between any set of unit vectors and a stochastically Pn (X − X¯)2 Pn (Y − Y¯ )2 independent uniformly distributed unit vector. When the set of i=1 i i=1 i unit vectors are themselves independently uniformly distributed, (I.1) we further develop the extreme value distribution limit of where Xi’s and Yi’s are the n independent and identically the maximal inner product, which characterizes its uncertainty distributed (i.i.d.) observations of X and Y respectively, around the bound. and X¯ and Y¯ are the sample means of X and Y As applications of the above asymptotic results, we derive (1) respectively. The sample correlation coefficient possesses an asymptotic sharp universal uniform bound on the maximal spurious correlation, as well as its uniform convergence in important statistical properties and was carefully studied distribution when the explanatory variables are independently in the classical case when the number of variables is Gaussian distributed; and (2) an asymptotic sharp universal small compared to the number of observations. How- bound on the maximum norm of a low-rank elliptically dis- ever, the situation has dramatically changed in the new tributed vector, as well as related limiting distributions. With high-dimensional paradigm [1, 2] as the large number these results, we develop a fast detection method for a low-rank structure in high-dimensional Gaussian data without using the of variables in the data leads to the failure of many spectrum information.
    [Show full text]
  • 14-Geometry.Pdf
    14. Geometry Po-Shen Loh CMU Putnam Seminar, Fall 2020 1 Classical results Archimedes' Principle. Let a sphere of radius 1 be inscribed inside a cylinder of radius 1 and height 2. Then for any two planes parallel to the base of the cylinder, the cylindrical strip that they cut out of the cylinder has surface area equal to that of the strip that they cut out of the sphere. 2 Problems 1. Two circles C1 and C2 intersect at A and B. C1 has radius 1. L denotes the arc AB of C2 which lies inside C1. L divides C1 into two parts of equal area. Show L has length greater than 2. p 2. Show that if X is a square of side 1 and X = A [ B, thenp A or B has diameter at least 5=2. Show that we can find A and B both having diameter at most 5=2. The diameter of a set is the maximum (strictly speaking, the supremum) of all distances between pairs of points in the set. 3. Let S be a spherical cap with distance taken along great circles. Show that we cannot find a distance preserving map from S to the plane. 4. Let k be a positive real and let P1;P2;:::;Pn be points in the plane. What is the locus of P such that P 2 PPi = k? State in geometric terms the conditions on k for such points P to exist. 5. Let S be a set of n points in the plane such that the greatest distance between two points of S is 1.
    [Show full text]
  • 1 Appendices 1 A1. Calculation of the Height of a Spherical Cap 2 A2. Surface Area of a Spherical Rectangle 3 A3. Calculation Of
    1 Appendices 2 A1. Calculation of the height of a spherical cap 3 A2. Surface area of a spherical rectangle 4 A3. Calculation of fields of vision and lateral surface angles of cropped detectors (cameras) 5 A4. Non-uniformly distributed approach directions: derivation of equations 10 and 11 6 A5. Step-by-step guide to using the density estimation formula 7 1 8 A1. Calculation of the height of a spherical cap 9 The top section of an acoustic – i.e. conical – detection zone is a spherical cap. The surface area 10 of this cap is determined by the radius of the corresponding sphere (here, given by the cone’s slant 11 height s) and the cap’s height h. The following trigonometric calculations yield the formula for h that is 12 used in equation 5 of the main text (cf. Figure S1 for notation): 휙 14 퐴퐶 = 푠 cos and 퐴퐵 = 퐴퐷 = 푠 2 13 As such, 휙 15 ℎ = 퐷퐶 = 퐴퐷 − 퐴퐶 = 푠 (1 − cos ) (푆1.1) 2 16 17 Figure S1. Cross section of an acoustic detection zone, showing the measurements needed to calculate 18 the height h of the spherical cap (shaded region). The detector is located at the vertex A, which is also the center 19 of the sphere of radius s that the spherical cap is a part of. The angle 흓 is the opening angle of the detector. See 20 text for calculations. 21 2 22 A2. Surface area of a spherical rectangle 23 The top section of a camera-trap’s detection zone is a spherical rectangle whose surface area 24 can be calculated by considering the proportion of the surface area of the sphere of radius s that it 25 covers.
    [Show full text]
  • Lie Sphere Geometry in Lattice Cosmology
    Classical and Quantum Gravity PAPER • OPEN ACCESS Lie sphere geometry in lattice cosmology To cite this article: Michael Fennen and Domenico Giulini 2020 Class. Quantum Grav. 37 065007 View the article online for updates and enhancements. This content was downloaded from IP address 131.169.5.251 on 26/02/2020 at 00:24 IOP Classical and Quantum Gravity Class. Quantum Grav. Classical and Quantum Gravity Class. Quantum Grav. 37 (2020) 065007 (30pp) https://doi.org/10.1088/1361-6382/ab6a20 37 2020 © 2020 IOP Publishing Ltd Lie sphere geometry in lattice cosmology CQGRDG Michael Fennen1 and Domenico Giulini1,2 1 Center for Applied Space Technology and Microgravity, University of Bremen, 065007 Bremen, Germany 2 Institute for Theoretical Physics, Leibniz University of Hannover, Hannover, Germany M Fennen and D Giulini E-mail: [email protected] Received 23 September 2019, revised 18 December 2019 Lie sphere geometry in lattice cosmology Accepted for publication 10 January 2020 Published 18 February 2020 Printed in the UK Abstract In this paper we propose to use Lie sphere geometry as a new tool to CQG systematically construct time-symmetric initial data for a wide variety of generalised black-hole configurations in lattice cosmology. These configurations are iteratively constructed analytically and may have any 10.1088/1361-6382/ab6a20 degree of geometric irregularity. We show that for negligible amounts of dust these solutions are similar to the swiss-cheese models at the moment Paper of maximal expansion. As Lie sphere geometry has so far not received much attention in cosmology, we will devote a large part of this paper to explain its geometric background in a language familiar to general relativists.
    [Show full text]
  • Chapter 4 Surfaces
    Chapter 4 Surfaces In this chapter we turn to surfaces in general. We discuss the following topics. Describing surfaces with equations and parametric descriptions. ² Some constructions of surfaces: surfaces of revolution and ruled surfaces. ² Tangent planes to surfaces. ² Surface area of surfaces. ² Curvature of surfaces. ² Figure 4.1: In this design for the 1972 Olympic Games in Munich, Germany, Frei Otto illustrates the role of surfaces in modern architecture. (Photo: Wim Huisman) 91 92 Surfaces 4.1 Describing general surfaces 4.1.1 After degree 2 surfaces, we could proceed to degree 3, but instead we turn to surfaces in general. We highlight some important aspects of these surfaces and ways to construct them. 4.1.2 Surfaces given as graphs of functions Suppose f : R2 R is a di®erentiable function, then the graph of f consisting of all points of the form!(x; y; f(x; y)) is a surface in 3{space with a smooth appearance due to the di®erentiability of f. Since we are not tied to degree 1 or 2 expressions for f, the resulting surfaces may have all sorts of fascinating shapes. The description as a graph can 1 1 0.5 0.5 0 0 2 2 -0.5 -0.5 -1 -1 0 -6 0 -2 -4 -2 0 -2 0 -2 2 2 Figure 4.2: Two `sinusoidal' graphs: the graphs of sin(xy) and sin(x). be seen as a special case of a parametric description: x = u y = v z = f(u; v); where u and v are the parameters.
    [Show full text]
  • Polydisperse Spherical Cap Packings
    Mathematisches Forschungsinstitut Oberwolfach Report No. 40/2012 DOI: 10.4171/OWR/2012/40 Optimal and Near Optimal Configurations on Lattices and Manifolds Organised by Christine Bachoc, Bordeaux Peter Grabner, Graz Edward B. Saff, Nashville Achill Sch¨urmann, Rostock 19th August – 25th August 2012 Abstract. Optimal configurations of points arise in many contexts, for ex- ample classical ground states for interacting particle systems, Euclidean pack- ings of convex bodies, as well as minimal discrete and continuous energy problems for general kernels. Relevant questions in this area include the understanding of asymptotic optimal configurations, of lattice and periodic configurations, the development of algorithmic constructions of near optimal configurations, and the application of methods in convex optimization such as linear and semidefinite programming. Mathematics Subject Classification (2000): 11K41, 52C17, 11H31. Introduction by the Organisers The workshop Optimal and Near Optimal Configurations on Lattices and Mani- folds, organised by Christine Bachoc (Bordeaux), Peter Grabner (Graz), Ed Saff (Nashville) and Achill Sch¨urmann (Rostock), was held 19 August –25 August 2012. This meeting has gathered 27 participants from various areas of mathemat- ics, mostly Approximation Theory, Optimization, Number Theory and Discrete Geometry. Bringing together mathematicians with a variety of expertise on opti- mal configurations on lattices and manifolds was one of the aims of this workshop and was indeed fully achieved. A broad range of topics have been covered during the talks, especially minimal energy configurations, best packings in Euclidean 2430 Oberwolfach Report 40/2012 space or on other spaces, spherical designs, Euclidean lattices and linear and semi- definite programming methods. Theoretical as well as computational issues have been addressed.
    [Show full text]
  • Volume and Area Ratios with Geogebra Libuse Samkova
    10 North American GeoGebra Journal (ISSN: 2162-3856) Vol. 2, No. 1, 2013 Volume and area ratios with GeoGebra Libuse Samkova Abstract: This article was motivated by student work in a biological laboratory where a question 1 was asked regarding the liquid level corresponding to 5 of the volume of a laboratory flask. In this article, we use GeoGebra to explore such questions, analyzing volume and area ratios for containers of various shapes. We present various dynamic GeoGebra models including one of the experiment which initiated the article. Keywords: GeoGebra, modeling, algebraic proof, physics 1. INTRODUCTION moment, the volume of the liquid in the cylindrical por- 1 tion of the flask). Note that 5 of the ball volume does not 1 This article was motivated by student work in a biological correspond to 5 of the ball height. laboratory during the demonstration of a candle experi- The volume of a ball with radius r is given by a formula ment similar to that suggested illustrated in Fig. 1. 4 3 3 pr . The liquid in the ball reaches an unknown height h, and its volume equals the volume of the shaded re- gion shown in Fig. 2 (which we refer to as a spherical cap). Fig 1: An illustration of a candle experiment (Gallástegui 2011). The student experimenter ended the presentation by stat- Fig 2: Front views of the liquid in the ball (left), and of ing that “the liquid in the flask occupies 20% of the flask the spherical cap (right). volume,” and the audience nodded in agreement. Is it re- 1 A basic volume formula for a spherical cap with height h ally so easy to determine 5 of the flask volume? Con- sider the following steps required to complete the calcula- and base radius a is given by tion.
    [Show full text]
  • Exact Calculation of the Overlap Volume of Spheres and Mesh Elements
    Exact calculation of the overlap volume of spheres and mesh elements Severin Strobla,∗, Arno Formellab, Thorsten Poschel¨ a aInstitute for Multiscale Simulation, Friedrich-Alexander-Universit¨atErlangen-N¨urnberg, N¨agelsbachstr. 49 b, 91052 Erlangen, Germany bDepartment of Computer Science, Universidade de Vigo, Ourense, Spain Abstract An algorithm for the exact calculation of the overlap volume of a sphere and a tetrahedron, wedge, or hexahedron is described. The method can be used to determine the exact local solid fractions for a system of spherical, non- overlapping particles contained in a complex mesh, a question of significant relevance for the numerical solution of many fluid-solid interaction problems. While challenging due to the limited machine precision, a numerically robust version of the calculation maintaining high computational efficiency is devised. The method is evaluated with respect to the numerical precision and computational cost. It is shown that the exact calculation is only limited by the machine precision and can be applied to a wide range of size ratios, contrary to previously published methods. Eliminating this constraint enables the usage of meshes with higher resolution near the system boundaries for coupled CFD–DEM simulations. The numerical robustness is further illustrated by applying the method to highly deformed mesh elements. The full source code of the reference implementation is made available under an open-source license. Keywords: overlap volume, local solid fraction, numerical robustness, sphere-mesh overlap 1. Introduction Spherical objects are still the most commonly used primitives in a wide range of numerical simulations. Despite their alleged simplicity, particle methods often rely on spherical particles benefiting from an efficient contact detection and the availability of physically realistic force models with a relatively low numerical cost.
    [Show full text]
  • Analytical Calculation of the Solid Angle Subtended by an Arbitrarily Positioned Ellipsoid Eric Heitz
    Analytical calculation of the solid angle subtended by an arbitrarily positioned ellipsoid Eric Heitz To cite this version: Eric Heitz. Analytical calculation of the solid angle subtended by an arbitrarily positioned ellip- soid. Nuclear Instruments and Methods in Physics Research Section A: Accelerators, Spectrometers, Detectors and Associated Equipment, Elsevier, 2017. hal-01402302v3 HAL Id: hal-01402302 https://hal.archives-ouvertes.fr/hal-01402302v3 Submitted on 5 Feb 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Analytical calculation of the solid angle subtended by an arbitrarily positioned ellipsoid Eric Heitz Unity Technologies Abstract We present a geometric method for computing an ellipse that subtends the same solid-angle domain as an arbitrarily positioned ellipsoid. With this method we can extend existing analytical solid-angle calculations of ellipses to ellipsoids. Our idea consists of applying a linear transformation on the ellipsoid such that it is transformed into a sphere from which a disk that covers the same solid-angle domain can be computed. We demonstrate that by applying the inverse linear transformation on this disk we obtain an ellipse that subtends the same solid-angle domain as the ellipsoid.
    [Show full text]
  • Math.PR] 9 Aug 2016 Rprisascae Ihaconfiguration a with Associated Properties Upr Fteewnsh¨Dne Nttt Nven,Weepart Where B Vienna, E
    RANDOM POINT SETS ON THE SPHERE — HOLE RADII, COVERING, AND SEPARATION J. S. BRAUCHART, A. B. REZNIKOV, E. B. SAFF, I. H. SLOAN, Y. G. WANG AND R. S. WOMERSLEY Abstract. Geometric properties of N random points distributed independently and uni- formly on the unit sphere Sd Rd+1 with respect to surface area measure are obtained and several related conjectures are⊂ posed. In particular, we derive asymptotics (as N ) for the expected moments of the radii of spherical caps associated with the facets→ of the∞ convex hull of N random points on Sd. We provide conjectures for the asymptotic distri- bution of the scaled radii of these spherical caps and the expected value of the largest of these radii (the covering radius). Numerical evidence is included to support these conjec- tures. Furthermore, utilizing the extreme law for pairwise angles of Cai et al., we derive precise asymptotics for the expected separation of random points on Sd. 1. Introduction This paper is concerned with geometric properties of random points distributed inde- pendently and uniformly on the unit sphere Sd Rd+1. The two most common geometric ⊂ d properties associated with a configuration XN = x1,..., xN of distinct points on S are the covering radius (also known as fill radius or mesh{ norm),} d α(XN ) := α(XN ; S ) := max min arccos(y, xj), y Sd 1 j N ∈ ≤ ≤ d which is the largest geodesic distance from a point in S to the nearest point in XN (or the geodesic radius of the largest spherical cap that contains no points from XN ), and the separation distance ϑ(XN ) := min arccos(xj, xk), arXiv:1512.07470v2 [math.PR] 9 Aug 2016 1 j,k N ≤j=k≤ 6 Date: August 10, 2016.
    [Show full text]