Abstract.In this note we are concerned with the behavior of geodesies in Euclidean «-space with a smooth obstacle. Our principal result is that if the obstacle is locally analytic, that is, locally of the form xn = f(xx, ... , xn_x) for a real analytic function /, then a geodesic can have, in any segment of finite arc length, only a finite number of distinct switch points, points on the boundary that bound a segment not touching the boundary.This result is certainly false that for a C°° boundary. Indeed, even in E , where our result is obvious for analytic boundaries, we can construct a C°°b oundary so that the closure of the set of switch points is of positive measure.We denote by M the closure of the complement of the obstacle in Euclidean space En and by S the boundary of the obstacle. Thus M is an «-dimensional Riemannian manifold-with-boundary embedded in En and S is its boundary surface.A geodesic on a Riemannian manifold-with-boundary, M, is defined to be a locally shortest path in M. In our context the geodesies are easy to visualize; in E the geodesic is the path of a stretched string with the boundary considered as the surface of an obstacle around which the string must bend or into which the string must plunge and end. In [ABB1, ABB2] the properties of these geodesies are explored in the general setting of a Riemannian manifold-with-boundary.We describe briefly the elementary properties of the geodesies in M. A geodesic contacting the boundary in a segment is a geodesic of the boundary; a geodesic segment not touching the boundary is a straight line segment. A segment on the boundary joins a segment in the ambient space in a differentiable join. We call the endpoints on the boundary S of a segment not touching the boundary switch points. Cluster points of switch points, necessarily points at which the geodesic contacts the boundary, we call intermittent points or chatter points. As we will see, even for a C°° surface we can have sets of positive measure of such chatter points, and so it is reassuring to observe that the acceleration of a geodesic at a chatter point is 0. Indeed, acceleration is well defined and bounded everywhere except at the necessarily countable set of switch points; where it is defined, acceleration is normal and outward-pointing
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.
hi@scite.ai
10624 S. Eastern Ave., Ste. A-614
Henderson, NV 89052, USA
Copyright © 2024 scite LLC. All rights reserved.
Made with 💙 for researchers
Part of the Research Solutions Family.