-
Napoleonic Constructions in the Hyperbolic Plane
Authors:
Serena Dipierro,
Lyle Noakes,
Enrico Valdinoci
Abstract:
In the Euclidean setting, Napoleon's Theorem states that if one constructs an equilateral triangle on either the outside or the inside of each side of a given triangle and then connects the barycenters of those three new triangles, the resulting triangle happens to be equilateral. The case of spherical triangles has been recently shown to be different: on the sphere, besides equilateral triangles,…
▽ More
In the Euclidean setting, Napoleon's Theorem states that if one constructs an equilateral triangle on either the outside or the inside of each side of a given triangle and then connects the barycenters of those three new triangles, the resulting triangle happens to be equilateral. The case of spherical triangles has been recently shown to be different: on the sphere, besides equilateral triangles, a necessary and sufficient condition for a given triangle to enjoy the above Napoleonic property is that its congruence class should lie on a suitable surface (namely, an ellipsoid in suitable coordinates). In this article we show that the hyperbolic case is significantly different from both the Euclidean and the spherical setting. Specifically, we establish here that the hyperbolic plane does not admit any Napoleonic triangle, except the equilateral ones. Furthermore, we prove that iterated Napoleonization of any triangle causes it to become smaller and smaller, more and more equilateral and converge to a single point in the limit.
△ Less
Submitted 24 February, 2025;
originally announced February 2025.
-
Curves of Minimax Spirality
Authors:
C. Yalçın Kaya,
Lyle Noakes,
Philip Schrader
Abstract:
We study the problem of finding curves of minimum pointwise-maximum arc-length derivative of curvature, here simply called curves of minimax spirality, among planar curves of fixed length with prescribed endpoints and tangents at the endpoints. We consider the case when simple bounds (constraints) are also imposed on the curvature along the curve. The curvature at the endpoints may or may not be s…
▽ More
We study the problem of finding curves of minimum pointwise-maximum arc-length derivative of curvature, here simply called curves of minimax spirality, among planar curves of fixed length with prescribed endpoints and tangents at the endpoints. We consider the case when simple bounds (constraints) are also imposed on the curvature along the curve. The curvature at the endpoints may or may not be specified. We prove via optimal control theory that the optimal curve is some concatenation of Euler spiral arcs, circular arcs, and straight line segments. When the curvature is not constrained (or when the curvature constraint does not become active), an optimal curve is only made up of a concatenation of Euler spiral arcs, unless the oriented endpoints lie in a line segment or a circular arc of the prescribed length, in which case the whole curve is either a straight line segment or a circular arc segment, respectively. We propose numerical methods and illustrate these methods and the results by means of three example problems of finding such curves.
△ Less
Submitted 13 September, 2024;
originally announced September 2024.
-
Curves of Minimax Curvature
Authors:
C. Yalçın Kaya,
Lyle Noakes,
Philip Schrader
Abstract:
We consider the problem of finding curves of minimum pointwise-maximum curvature, i.e., curves of minimax curvature, among planar curves of fixed length with prescribed endpoints and tangents at the endpoints. We reformulate the problem in terms of optimal control and use the maximum principle, as well as some geometrical arguments, to produce a classification of the types of solutions. Using the…
▽ More
We consider the problem of finding curves of minimum pointwise-maximum curvature, i.e., curves of minimax curvature, among planar curves of fixed length with prescribed endpoints and tangents at the endpoints. We reformulate the problem in terms of optimal control and use the maximum principle, as well as some geometrical arguments, to produce a classification of the types of solutions. Using the classification, we devise a numerical method which reduces the infinite-dimensional optimization problem to a finite-dimensional problem with just six variables. The solution types, together with some further observations on optimality, are illustrated via numerical examples.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Napoleonic triangles on the sphere
Authors:
Serena Dipierro,
Lyle Noakes,
Enrico Valdinoci
Abstract:
As is well-known, numerical experiments show that Napoleon's Theorem for planar triangles does not extend to a similar statement for triangles on the unit sphere $S^2$. Spherical triangles for which an extension of Napoleon's Theorem holds are called ``Napoleonic'', and until now the only known examples have been equilateral. In this paper we determine all Napoleonic spherical triangles, including…
▽ More
As is well-known, numerical experiments show that Napoleon's Theorem for planar triangles does not extend to a similar statement for triangles on the unit sphere $S^2$. Spherical triangles for which an extension of Napoleon's Theorem holds are called ``Napoleonic'', and until now the only known examples have been equilateral. In this paper we determine all Napoleonic spherical triangles, including a class corresponding to points on a 2-dimensional ellipsoid, whose Napoleonisations are all congruent. Other new classes of examples are also found, according to different versions of Napoleon's Theorem for the sphere. The classification follows from successive simplifications of a complicated original algebraic condition, exploiting geometric symmetries and algebraic factorisations.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Rigidity of Travelling Times for Strictly Convex Obstacles in Riemannian Manifolds
Authors:
Tal Gurfinkel,
Lyle Noakes,
Luchezar Stoyanov
Abstract:
Let $K$ and $L$ be two disjoint unions of strictly convex obstacles contained within a Riemannian manifold with boundary $S$ of dimension $m\geq 2$. The sets of travelling times $\mathcal{T}_K$ and $\mathcal{T}_L$ of $K$ and $L$, respectively, are composed of triples $(x,y,t)\in\partial S\times\partial S\times\mathbb{R}^+$ where $t$ is the length of a billiard trajectory with endpoints $x$ and…
▽ More
Let $K$ and $L$ be two disjoint unions of strictly convex obstacles contained within a Riemannian manifold with boundary $S$ of dimension $m\geq 2$. The sets of travelling times $\mathcal{T}_K$ and $\mathcal{T}_L$ of $K$ and $L$, respectively, are composed of triples $(x,y,t)\in\partial S\times\partial S\times\mathbb{R}^+$ where $t$ is the length of a billiard trajectory with endpoints $x$ and $y$ that reflects elastically on $K$ (or $L$ for $(x,y,t)\in\mathcal{T}_L$). It has been shown (arXiv:2309.11141) that (under some natural curvature bounds on $S$) if $\mathcal{T}_K=\mathcal{T}_L$ and $K$ and $L$ were equivalent up to tangency then $K = L$. In this paper we remove this requirement for $K$ and $L$, and show that if $\mathcal{T}_K = \mathcal{T}_L$ then $K = L$ whenever $m\geq 3$.
△ Less
Submitted 13 November, 2023;
originally announced November 2023.
-
Uniqueness of Obstacles in Riemannian Manifolds from Travelling Times
Authors:
Tal Gurfinkel,
Lyle Noakes,
Luchezar Stoyanov
Abstract:
Suppose that $K$ and $L$ are two disjoint unions of strictly convex obstacles with the same set of travelling times, contained in an $n$-dimensional Riemannian manifold $M$ (where $n\geq2$). Under some natural curvature conditions on $M$, and provided that no geodesic intersects more than two components in $K$ or $L$, we show that $K = L$.
Suppose that $K$ and $L$ are two disjoint unions of strictly convex obstacles with the same set of travelling times, contained in an $n$-dimensional Riemannian manifold $M$ (where $n\geq2$). Under some natural curvature conditions on $M$, and provided that no geodesic intersects more than two components in $K$ or $L$, we show that $K = L$.
△ Less
Submitted 20 September, 2023;
originally announced September 2023.
-
Recovering Obstacles from their Travelling Times
Authors:
Tal Gurfinkel,
Lyle Noakes,
Luchezar Stoyanov
Abstract:
Noakes and Stoyanov (2021) introduced a method of recovering strictly convex planar obstacles from their set of travelling times. We provide an extension of this construction for obstacles on Riemannian surfaces under some general curvature conditions. It is required that no smooth geodesic intersect more than two obstacles.
Noakes and Stoyanov (2021) introduced a method of recovering strictly convex planar obstacles from their set of travelling times. We provide an extension of this construction for obstacles on Riemannian surfaces under some general curvature conditions. It is required that no smooth geodesic intersect more than two obstacles.
△ Less
Submitted 8 September, 2023;
originally announced September 2023.
-
Multi-objective variational curves
Authors:
C. Yalçın Kaya,
J. Lyle Noakes,
Erchuan Zhang
Abstract:
Riemannian cubics in tension are critical points of the linear combination of two objective functionals, namely the squared norms of the velocity and acceleration of a curve on a Riemannian manifold. We view this variational problem of finding a curve as a multi-objective optimization problem and construct the Pareto fronts for some given instances where the manifold is a sphere and where the mani…
▽ More
Riemannian cubics in tension are critical points of the linear combination of two objective functionals, namely the squared norms of the velocity and acceleration of a curve on a Riemannian manifold. We view this variational problem of finding a curve as a multi-objective optimization problem and construct the Pareto fronts for some given instances where the manifold is a sphere and where the manifold is a torus. The Pareto front for the curves on the torus turns out to be particularly interesting: the front is disconnected and it reveals two distinct Riemannian cubics with the same boundary data, which is the first known nontrivial instance of this kind. We also discuss some convexity conditions involving the Pareto fronts for curves on general Riemannian manifolds.
△ Less
Submitted 26 June, 2023;
originally announced June 2023.
-
Convex Obstacles from Travelling Times
Authors:
Lyle Noakes,
Luchezar Stoyanov
Abstract:
A construction is given for the recovery of a disjoint union of strictly convex smooth planar obstacles from travelling-time information. The obstacles are required to be such that no Euclidean line meets more than two of them.
A construction is given for the recovery of a disjoint union of strictly convex smooth planar obstacles from travelling-time information. The obstacles are required to be such that no Euclidean line meets more than two of them.
△ Less
Submitted 8 October, 2020;
originally announced October 2020.
-
Travelling Times in Scattering by Obstacles in Curved Space
Authors:
Tal Gurfinkel,
Lyle Noakes,
Luchezar Stoyanov
Abstract:
We consider travelling times of billiard trajectories in the exterior of an obstacle K on a two-dimensional Riemannian manifold M. We prove that given two obstacles with almost the same travelling times, the generalised geodesic flows on the non-trapping parts of their respective phase-spaces will have a time-preserving conjugacy. Moreover, if M has non-positive sectional curvature we prove that i…
▽ More
We consider travelling times of billiard trajectories in the exterior of an obstacle K on a two-dimensional Riemannian manifold M. We prove that given two obstacles with almost the same travelling times, the generalised geodesic flows on the non-trapping parts of their respective phase-spaces will have a time-preserving conjugacy. Moreover, if M has non-positive sectional curvature we prove that if K and L are two obstacles with strictly convex boundaries and almost the same travelling times then K and L are identical.
△ Less
Submitted 27 March, 2020;
originally announced March 2020.
-
Lens Rigidity in Scattering by Unions of Strictly Convex Bodies in $\R^2$
Authors:
Lyle Noakes,
Luchezar Stoyanov
Abstract:
It was proved in \cite{NS1} that obstacles $K$ in $\R^d$ that are finite disjoint unions of strictly convex domains with $C^3$ boundaries are uniquely determined by the travelling times of billiard trajectories in their exteriors and also by their so called scattering length spectra. However the case $d = 2$ is not properly covered in \cite{NS1}. In the present paper we give a separate different p…
▽ More
It was proved in \cite{NS1} that obstacles $K$ in $\R^d$ that are finite disjoint unions of strictly convex domains with $C^3$ boundaries are uniquely determined by the travelling times of billiard trajectories in their exteriors and also by their so called scattering length spectra. However the case $d = 2$ is not properly covered in \cite{NS1}. In the present paper we give a separate different proof of the same result in the case $d = 2$.
△ Less
Submitted 10 October, 2019; v1 submitted 7 March, 2018;
originally announced March 2018.
-
Second Order Spiral Splines
Authors:
Lyle Noakes
Abstract:
Second order spiral splines are $C^2$ unit-speed planar curves that can be used to interpolate a list $Y$ of $n+1$ points in $\R ^2$ at times specified in some list $T$, where $n\geq 2$. Asymptotic methods are used to develop a fast algorithm, based on a pair of tridiagonal linear systems and standard software. The algorithm constructs a second order spiral spline interpolant for data that is conv…
▽ More
Second order spiral splines are $C^2$ unit-speed planar curves that can be used to interpolate a list $Y$ of $n+1$ points in $\R ^2$ at times specified in some list $T$, where $n\geq 2$. Asymptotic methods are used to develop a fast algorithm, based on a pair of tridiagonal linear systems and standard software. The algorithm constructs a second order spiral spline interpolant for data that is convex and sufficiently finely sampled.
△ Less
Submitted 16 May, 2019; v1 submitted 15 January, 2018;
originally announced January 2018.
-
Sub-Riemannian cubics in SU(2)
Authors:
Michael Swaddle,
Lyle Noakes
Abstract:
Sub-Riemannian cubics are a generalisation of Riemannian cubics to a sub-Riemannian manifold. Cubics are curves which minimise the integral of the norm squared of the covariant acceleration. Sub-Riemannian cubics are cubics which are restricted to move in a horizontal subspace of the tangent space. When the sub-Riemannian manifold is also a Lie group, sub-Riemannian cubics correspond to what we ca…
▽ More
Sub-Riemannian cubics are a generalisation of Riemannian cubics to a sub-Riemannian manifold. Cubics are curves which minimise the integral of the norm squared of the covariant acceleration. Sub-Riemannian cubics are cubics which are restricted to move in a horizontal subspace of the tangent space. When the sub-Riemannian manifold is also a Lie group, sub-Riemannian cubics correspond to what we call a sub-Riemannian Lie quadratic in the Lie algebra. The present article studies sub-Riemannian Lie quadratics in the case of $\mathfrak{su}(2)$, focusing on the long term dynamics.
△ Less
Submitted 15 May, 2018; v1 submitted 7 December, 2017;
originally announced December 2017.
-
Low Energy Clamped Planar Elastica
Authors:
Lyle Noakes
Abstract:
A method is given for estimating clamped plane elastica. Arguments are made, and evidence is provided by way of illustrative examples, suggesting that the new method is quicker and more robust than standard discretisation, and more likely to give elastica of low energy. Just as for standard discretisation, no use is made of the known solutions for elastica in terms of elliptic functions.
A method is given for estimating clamped plane elastica. Arguments are made, and evidence is provided by way of illustrative examples, suggesting that the new method is quicker and more robust than standard discretisation, and more likely to give elastica of low energy. Just as for standard discretisation, no use is made of the known solutions for elastica in terms of elliptic functions.
△ Less
Submitted 17 August, 2016;
originally announced August 2016.
-
Travelling times in scattering by obstacles
Authors:
Lyle Noakes,
Luchezar Stoyanov
Abstract:
The paper deals with some problems related to recovering information about an obstacle in an Euclidean space from certain measurements of lengths of generalized geodesics in the exterior of the obstacle. The main result is that if two obstacles satisfy some generic regularity conditions and have (almost) the same traveling times, then the generalized geodesic flows in their exteriors are conjugate…
▽ More
The paper deals with some problems related to recovering information about an obstacle in an Euclidean space from certain measurements of lengths of generalized geodesics in the exterior of the obstacle. The main result is that if two obstacles satisfy some generic regularity conditions and have (almost) the same traveling times, then the generalized geodesic flows in their exteriors are conjugate on the non-trapping part of their phase spaces with a time preserving conjugacy. In the case of a union of two strictly convex domains in the plane, a constructive algorithm is described to recover the obstacle from traveling times.
△ Less
Submitted 29 September, 2014; v1 submitted 16 April, 2014;
originally announced April 2014.
-
Rigidity of Scattering Lengths and Traveling Times for Disjoint Unions of Convex Bodies
Authors:
Lyle Noakes,
Luchezar Stoyanov
Abstract:
Obstacles $K$ and $L$ in $R^d$ ($d\geq 2$) are considered that are finite disjoint unions of strictly convex domains with $C^3$ boundaries. We show that if $K$ and $L$ have (almost) the same scattering length spectrum, or (almost) the same traveling times, then $K = L$.
Obstacles $K$ and $L$ in $R^d$ ($d\geq 2$) are considered that are finite disjoint unions of strictly convex domains with $C^3$ boundaries. We show that if $K$ and $L$ have (almost) the same scattering length spectrum, or (almost) the same traveling times, then $K = L$.
△ Less
Submitted 26 February, 2014;
originally announced February 2014.
-
Relative Geodesics in the Special Euclidean Group
Authors:
Darryl D. Holm,
Lyle Noakes,
Joris Vankerschaver
Abstract:
We propose a notion of distance between two parametrized planar curves, called their discrepancy, and defined intuitively as the minimal amount of deformation needed to deform the source curve into the target curve. A precise definition of discrepancy is given as follows. A curve of transformations in the special Euclidean group SE(2) is said to be admissible if it maps the source curve to the tar…
▽ More
We propose a notion of distance between two parametrized planar curves, called their discrepancy, and defined intuitively as the minimal amount of deformation needed to deform the source curve into the target curve. A precise definition of discrepancy is given as follows. A curve of transformations in the special Euclidean group SE(2) is said to be admissible if it maps the source curve to the target curve under the point-wise action of SE(2) on the plane. After endowing the group SE(2) with a left-invariant metric, we define a relative geodesic in SE(2) to be a critical point of the energy functional associated to the metric, over all admissible curves. The discrepancy is then defined as the value of the energy of the minimizing relative geodesic. In the first part of the paper, we derive a scalar ODE which is a necessary condition for a curve in SE(2) to be a relative geodesic, and we discuss some of the properties of the discrepancy. In the second part of the paper, we consider discrete curves, and by means of a variational principle, we derive a system of discrete equations for the relative geodesics. We finish with several examples.
△ Less
Submitted 15 May, 2013;
originally announced May 2013.
-
Conditional Extremals
Authors:
Lyle Noakes
Abstract:
Imagine that measurements are made at times $t_0$ and $t_1$ of the trajectory of a physical system whose governing laws are given approximately by a class ${\cal A}$ of so-called {\em prior vector fields}. Because the physical laws are not known precisely, it might be that the measurements are not realised by the integral curve of any prior field. We want to estimate the behaviour of the physical…
▽ More
Imagine that measurements are made at times $t_0$ and $t_1$ of the trajectory of a physical system whose governing laws are given approximately by a class ${\cal A}$ of so-called {\em prior vector fields}. Because the physical laws are not known precisely, it might be that the measurements are not realised by the integral curve of any prior field. We want to estimate the behaviour of the physical system between times $t_0$ and $t_1$.
An integral curve of an arbitrary vector field $X$ is said to be {\em feasible} when it interpolates the measurements. When $X$ is critical for $L^2$ distance to ${\cal A}$, the feasible curve is called a {\em conditional extremum}. When the distance to ${\cal A}$ is actually minimal, the conditional extremum is a best estimate for the intermediate behaviour of the system.
The present paper does some of basic groundwork for investigating mathematical properties of conditional extrema, focusing on cases where ${\cal A}$ comprises a single prior field $A$. When $A={\bf 0}$ a conditional extremal is a geodesic arc, but this special case is not very representative. In general, $A$ enters into the Euler-Lagrange equation for conditional extrema, and more can be said when $A$ is conservative or has special symmetry.
We characterise conservative priors on simply-connected Riemannian manifolds in terms of their conditional extrema: when time is reversed, a constant is added to the $L^2$ distance. For some symmetric priors on space forms we obtain conditional extrema in terms of the Weierstrass elliptic function. For left-invariant priors on bi-invariant Lie groups, conditional extrema are shown to be right translations of pointwise-products of 1-parameter subgroups.
△ Less
Submitted 13 April, 2011;
originally announced April 2011.
-
Nearly Geodesic Riemannian Cubics in SO(3)
Authors:
Lyle Noakes
Abstract:
{\em Riemannian cubics} are curves in a manifold $M$ that satisfy a variational condition appropriate for interpolation problems. When $M$ is the rotation group SO(3), Riemannian cubics are track-summands of {\em Riemannian cubic splines}, used for motion planning of rigid bodies. Partial integrability results are known for Riemannian cubics, and the asymptotics of Riemannian cubics in SO(3) are r…
▽ More
{\em Riemannian cubics} are curves in a manifold $M$ that satisfy a variational condition appropriate for interpolation problems. When $M$ is the rotation group SO(3), Riemannian cubics are track-summands of {\em Riemannian cubic splines}, used for motion planning of rigid bodies. Partial integrability results are known for Riemannian cubics, and the asymptotics of Riemannian cubics in SO(3) are reasonably well understood. The mathematical properties and medium-term behaviour of Riemannian cubics in SO(3) are known to be be extremely rich, but there are numerical methods for calculating Riemannian cubic splines in practice. What is missing is an understanding of the short-term behaviour of Riemannian cubics, and it is this that is important for applications. The present paper fills this gap by deriving approximations to nearly geodesic Riemannian cubics in terms of elementary functions. The high quality of these approximations depends on mathematical results that are specific to Riemannian cubics.
△ Less
Submitted 13 April, 2011;
originally announced April 2011.
-
Minimum $L^\infty$ Accelerations in Riemannian Manifolds
Authors:
Lyle Noakes
Abstract:
Riemannian cubics are critical points for the $L^2$ norm of acceleration of curves in Riemannian manifolds $M$. In the present paper the $L^\infty$ norm replaces the $L^2$ norm, and a less direct argument is used to derive necessary conditions analogous to those for Riemannian cubics. The necessary conditions are examined when $M$ is a sphere or a bi-invariant Lie group.
Riemannian cubics are critical points for the $L^2$ norm of acceleration of curves in Riemannian manifolds $M$. In the present paper the $L^\infty$ norm replaces the $L^2$ norm, and a less direct argument is used to derive necessary conditions analogous to those for Riemannian cubics. The necessary conditions are examined when $M$ is a sphere or a bi-invariant Lie group.
△ Less
Submitted 13 April, 2011;
originally announced April 2011.
