-
New Revival Phenomena for Bidirectional Dispersive Hyperbolic Equations
Authors:
George Farmakis,
**g Kang,
Peter J. Olver,
Changzheng Qu,
Zihan Yin
Abstract:
In this paper, the dispersive revival and fractalization phenomena for bidirectional dispersive equations on a bounded interval subject to periodic boundary conditions and discontinuous initial profiles are investigated. Firstly, we study the periodic initial-boundary value problem of the linear beam equation with step function initial data, and analyze the manifestation of the revival phenomenon…
▽ More
In this paper, the dispersive revival and fractalization phenomena for bidirectional dispersive equations on a bounded interval subject to periodic boundary conditions and discontinuous initial profiles are investigated. Firstly, we study the periodic initial-boundary value problem of the linear beam equation with step function initial data, and analyze the manifestation of the revival phenomenon for the corresponding solution at rational times. Next, we extend the investigation to periodic initial-boundary value problems of more general bidirectional dispersive equations. We prove that, if the initial functions are of bounded variation, the dynamical evolution of such periodic problems depend essentially upon the large wave number asymptotics of the associated dispersion relations. Integral polynomial or asymptotically integral polynomial dispersion relations produce dispersive revival/fractalization rational/irrational dichotomies, whereas those with non-polynomial growth result in fractal profiles at all times. Finally, numerical experiments, in the concrete case of the nonlinear beam equation, are used to demonstrate how such effects persist into the nonlinear regime.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Normal forms, moving frames, and differential invariants for nondegenerate hypersurfaces in C^2
Authors:
Peter J. Olver,
Masoud Sabzevari,
Francis Valiquette
Abstract:
We use the method of equivariant moving frames to revisit the problem of normal forms and equivalence of nondegenerate real hypersurfaces M \subset C^2 under the pseudo-group action of holomorphic transformations. The moving frame recurrence formulae allow us to systematically and algorithmically recover the results of Chern and Moser for hypersurfaces that are either non-umbilic at a point p \in…
▽ More
We use the method of equivariant moving frames to revisit the problem of normal forms and equivalence of nondegenerate real hypersurfaces M \subset C^2 under the pseudo-group action of holomorphic transformations. The moving frame recurrence formulae allow us to systematically and algorithmically recover the results of Chern and Moser for hypersurfaces that are either non-umbilic at a point p \in M or umbilic in an open neighborhood of it. In the former case, the coefficients of the normal form expansion, when expressed as functions of the jet of the hypersurface at the point, provide a complete system of functionally independent differential invariants that can be used to solve the equivalence problem. We prove that under a suitable genericity condition, the entire algebra of differential invariants for such hypersurfaces can be generated, through the operators of invariant differentiation, by a single real differential invariant of order 7. We then apply moving frames to construct new convergent normal forms for nondegenerate real hypersurfaces at singularly umbilic points, namely those umbilic points where the hypersurface is not identically umbilic around them.
△ Less
Submitted 25 February, 2022;
originally announced February 2022.
-
The Virtual Goniometer: A new method for measuring angles on 3D models of fragmentary bone and lithics
Authors:
Katrina Yezzi-Woodley,
Jeff Calder,
Peter J. Olver,
Annie Melton,
Paige Cody,
Thomas Huffstutler,
Alexander Terwilliger,
Martha Tappen,
Reed Coil,
Gilbert Tostevin
Abstract:
The contact goniometer is a commonly used tool in lithic and zooarchaeological analysis, despite suffering from a number of shortcomings due to the physical interaction between the measuring implement, the object being measured, and the individual taking the measurements. However, lacking a simple and efficient alternative, researchers in a variety of fields continue to use the contact goniometer…
▽ More
The contact goniometer is a commonly used tool in lithic and zooarchaeological analysis, despite suffering from a number of shortcomings due to the physical interaction between the measuring implement, the object being measured, and the individual taking the measurements. However, lacking a simple and efficient alternative, researchers in a variety of fields continue to use the contact goniometer to this day. In this paper, we present a new goniometric method that we call the virtual goniometer, which takes angle measurements virtually on a 3D model of an object. The virtual goniometer allows for rapid data collection, and for the measurement of many angles that cannot be physically accessed by a manual goniometer. We compare the intra-observer variability of the manual and virtual goniometers, and find that the virtual goniometer is far more consistent and reliable. Furthermore, the virtual goniometer allows for precise replication of angle measurements, even among multiple users, which is important for reproducibility of goniometric-based research. The virtual goniometer is available as a plug-in in the open source mesh processing packages Meshlab and Blender, making it easily accessible to researchers exploring the potential for goniometry to improve archaeological methods and address anthropological questions.
△ Less
Submitted 25 November, 2020; v1 submitted 10 November, 2020;
originally announced November 2020.
-
New Revival Phenomena for Linear Integro-Differential Equations
Authors:
Lyonell Boulton,
Peter J. Olver,
Beatrice Pelloni,
David A. Smith
Abstract:
We present and analyse a novel manifestation of the revival phenomenon for linear spatially periodic evolution equations, in the concrete case of three nonlocal equations that arise in water wave theory and are defined by convolution kernels. Revival in these cases is manifested in the form of dispersively quantised cusped solutions at rational times. We give an analytic description of this phenom…
▽ More
We present and analyse a novel manifestation of the revival phenomenon for linear spatially periodic evolution equations, in the concrete case of three nonlocal equations that arise in water wave theory and are defined by convolution kernels. Revival in these cases is manifested in the form of dispersively quantised cusped solutions at rational times. We give an analytic description of this phenomenon, and present illustrative numerical simulations.
△ Less
Submitted 3 October, 2020;
originally announced October 2020.
-
Continuous Maps from Spheres Converging to Boundaries of Convex Hulls
Authors:
Joseph Malkoun,
Peter J. Olver
Abstract:
Given $n$ distinct points $\mathbf{x}_1, \ldots, \mathbf{x}_n$ in $\mathbb{R}^d$, let $K$ denote their convex hull, which we assume to be $d$-dimensional, and $B = \partial K $ its $(d-1)$-dimensional boundary. We construct an explicit one-parameter family of continuous maps $\mathbf{f}_{\varepsilon} \colon \mathbb{S}^{d-1} \to K$ which, for $\varepsilon > 0$, are defined on the $(d-1)$-dimensiona…
▽ More
Given $n$ distinct points $\mathbf{x}_1, \ldots, \mathbf{x}_n$ in $\mathbb{R}^d$, let $K$ denote their convex hull, which we assume to be $d$-dimensional, and $B = \partial K $ its $(d-1)$-dimensional boundary. We construct an explicit one-parameter family of continuous maps $\mathbf{f}_{\varepsilon} \colon \mathbb{S}^{d-1} \to K$ which, for $\varepsilon > 0$, are defined on the $(d-1)$-dimensional sphere and have the property that the images $\mathbf{f}_{\varepsilon}(\mathbb{S}^{d-1})$ are codimension $1$ submanifolds contained in the interior of $K$. Moreover, as the parameter $\varepsilon$ goes to $0^+$, the images $\mathbf{f}_{\varepsilon}(\mathbb{S}^{d-1})$ converge, as sets, to the boundary $B$ of the convex hull. We prove this theorem using techniques from convex geometry of (spherical) polytopes and set-valued homology. We further establish an interesting relationship with the Gauss map of the polytope $B$, appropriately defined. Several computer plots illustrating our results will be presented.
△ Less
Submitted 30 June, 2020;
originally announced July 2020.
-
Dispersive Fractalization in Linear and Nonlinear Fermi-Pasta-Ulam-Tsingou Lattices
Authors:
Peter J. Olver,
Ari Stern
Abstract:
We investigate, both analytically and numerically, dispersive fractalization and quantization of solutions to periodic linear and nonlinear Fermi-Pasta-Ulam-Tsingou systems. When subject to periodic boundary conditions and discontinuous initial conditions, e.g., a step function, both the linearized and nonlinear continuum models for FPUT exhibit fractal solution profiles at irrational times (as de…
▽ More
We investigate, both analytically and numerically, dispersive fractalization and quantization of solutions to periodic linear and nonlinear Fermi-Pasta-Ulam-Tsingou systems. When subject to periodic boundary conditions and discontinuous initial conditions, e.g., a step function, both the linearized and nonlinear continuum models for FPUT exhibit fractal solution profiles at irrational times (as determined by the coefficients and the length of the interval) and quantized profiles (piecewise constant or perturbations thereof) at rational times. We observe a similar effect in the linearized FPUT chain at times $t$ where these models have validity, namely $t = \mathrm{O}(h^{-2})$, where $h$ is proportional to the intermass spacing or, equivalently, the reciprocal of the number of masses. For nonlinear periodic FPUT systems, our numerical results suggest a somewhat similar behavior in the presence of small nonlinearities, which disappears as the nonlinear force increases in magnitude. However, these phenomena are manifested on very long time intervals, posing a severe challenge for numerical integration as the number of masses increases. Even with the high-order splitting methods used here, our numerical investigations are limited to nonlinear FPUT chains with a smaller number of masses than would be needed to resolve this question unambiguously.
△ Less
Submitted 2 December, 2020; v1 submitted 25 May, 2020;
originally announced May 2020.
-
Feature Matching and Heat Flow in Centro-Affine Geometry
Authors:
Peter J. Olver,
Changzheng Qu,
Yun Yang
Abstract:
In this paper, we study the differential invariants and the invariant heat flow in centro-affine geometry, proving that the latter is equivalent to the inviscid Burgers' equation. Furthermore, we apply the centro-affine invariants to develop an invariant algorithm to match features of objects appearing in images. We show that the resulting algorithm compares favorably with the widely applied scale…
▽ More
In this paper, we study the differential invariants and the invariant heat flow in centro-affine geometry, proving that the latter is equivalent to the inviscid Burgers' equation. Furthermore, we apply the centro-affine invariants to develop an invariant algorithm to match features of objects appearing in images. We show that the resulting algorithm compares favorably with the widely applied scale-invariant feature transform (SIFT), speeded up robust features (SURF), and affine-SIFT (ASIFT) methods.
△ Less
Submitted 29 September, 2020; v1 submitted 30 March, 2020;
originally announced March 2020.
-
Computation of Circular Area and Spherical Volume Invariants via Boundary Integrals
Authors:
Riley O'Neill,
Pedro Angulo-Umana,
Jeff Calder,
Bo Hessburg,
Peter J. Olver,
Chehrzad Shakiban,
Katrina Yezzi-Woodley
Abstract:
We show how to compute the circular area invariant of planar curves, and the spherical volume invariant of surfaces, in terms of line and surface integrals, respectively. We use the Divergence Theorem to express the area and volume integrals as line and surface integrals, respectively, against particular kernels; our results also extend to higher dimensional hypersurfaces. The resulting surface in…
▽ More
We show how to compute the circular area invariant of planar curves, and the spherical volume invariant of surfaces, in terms of line and surface integrals, respectively. We use the Divergence Theorem to express the area and volume integrals as line and surface integrals, respectively, against particular kernels; our results also extend to higher dimensional hypersurfaces. The resulting surface integrals are computable analytically on a triangulated mesh. This gives a simple computational algorithm for computing the spherical volume invariant for triangulated surfaces that does not involve discretizing the ambient space. We discuss potential applications to feature detection on broken bone fragments of interest in anthropology.
△ Less
Submitted 6 May, 2019;
originally announced May 2019.
-
Affine Differential Invariants for Invariant Feature Point Detection
Authors:
Stanley L. Tuznik,
Peter J. Olver,
Allen Tannenbaum
Abstract:
Image feature points are detected as pixels which locally maximize a detector function, two commonly used examples of which are the (Euclidean) image gradient and the Harris-Stephens corner detector. A major limitation of these feature detectors are that they are only Euclidean-invariant. In this work we demonstrate the application of a 2D affine-invariant image feature point detector based on dif…
▽ More
Image feature points are detected as pixels which locally maximize a detector function, two commonly used examples of which are the (Euclidean) image gradient and the Harris-Stephens corner detector. A major limitation of these feature detectors are that they are only Euclidean-invariant. In this work we demonstrate the application of a 2D affine-invariant image feature point detector based on differential invariants as derived through the equivariant method of moving frames. The fundamental equi-affine differential invariants for 3D image volumes are also computed.
△ Less
Submitted 12 March, 2018; v1 submitted 5 March, 2018;
originally announced March 2018.
-
Points of constancy of the periodic linearized Korteweg--deVries equation
Authors:
Peter J. Olver,
Efstratios Tsatis
Abstract:
We investigate the points of constancy in the piecewise constant solution profiles of the periodic linearized Korteweg--deVries equation with step function initial data at rational times. The solution formulas are given by certain Weyl sums, and we employ number theoretic techniques, including Kummer sums, in our analysis. These results constitute an initial attempt to understand the phenomenon of…
▽ More
We investigate the points of constancy in the piecewise constant solution profiles of the periodic linearized Korteweg--deVries equation with step function initial data at rational times. The solution formulas are given by certain Weyl sums, and we employ number theoretic techniques, including Kummer sums, in our analysis. These results constitute an initial attempt to understand the phenomenon of "fractalization" observed at irrational times.
△ Less
Submitted 1 September, 2018; v1 submitted 4 February, 2018;
originally announced February 2018.
-
Invariants of objects and their images under surjective maps
Authors:
Irina A. Kogan,
Peter J. Olver
Abstract:
We examine the relationships between the differential invariants of objects and of their images under a surjective map. We analyze both the case when the underlying transformation group is projectable and hence induces an action on the image, and the case when only a proper subgroup of the entire group acts projectably. In the former case, we establish a constructible isomorphism between the algeb…
▽ More
We examine the relationships between the differential invariants of objects and of their images under a surjective map. We analyze both the case when the underlying transformation group is projectable and hence induces an action on the image, and the case when only a proper subgroup of the entire group acts projectably. In the former case, we establish a constructible isomorphism between the algebra of differential invariants of the images and the algebra of fiber-wise constant (gauge) differential invariants of the objects. In the latter case, we describe residual effects of the full transformation group on the image invariants. Our motivation comes from the problem of reconstruction of an object from multiple-view images, with central and parallel projections of curves from three-dimensional space to the two-dimensional plane serving as our main examples.
△ Less
Submitted 22 September, 2015;
originally announced September 2015.
-
Pohozhaev and Morawetz Identities in Elastostatics and Elastodynamics
Authors:
Yuri Bozhkov,
Peter J. Olver
Abstract:
We construct identities of Pohozhaev type, in the context of elastostatics and elastodynamics, by using the Noetherian approach. As an application, a non-existence result for forced semi-linear isotropic and anisotropic elastic systems is established.
We construct identities of Pohozhaev type, in the context of elastostatics and elastodynamics, by using the Noetherian approach. As an application, a non-existence result for forced semi-linear isotropic and anisotropic elastic systems is established.
△ Less
Submitted 8 June, 2011;
originally announced June 2011.
-
On the Structure of Lie Pseudo-Groups
Authors:
Peter J. Olver,
Juha Pohjanpelto,
Francis Valiquette
Abstract:
We compare and contrast two approaches to the structure theory for Lie pseudo-groups, the first due to Cartan, and the second due to the first two authors. We argue that the latter approach offers certain advantages from both a theoretical and practical standpoint.
We compare and contrast two approaches to the structure theory for Lie pseudo-groups, the first due to Cartan, and the second due to the first two authors. We argue that the latter approach offers certain advantages from both a theoretical and practical standpoint.
△ Less
Submitted 23 July, 2009;
originally announced July 2009.
-
Differential Invariants of Conformal and Projective Surfaces
Authors:
Evelyne Hubert,
Peter J. Olver
Abstract:
We show that, for both the conformal and projective groups, all the differential invariants of a generic surface in three-dimensional space can be written as combinations of the invariant derivatives of a single differential invariant. The proof is based on the equivariant method of moving frames.
We show that, for both the conformal and projective groups, all the differential invariants of a generic surface in three-dimensional space can be written as combinations of the invariant derivatives of a single differential invariant. The proof is based on the equivariant method of moving frames.
△ Less
Submitted 2 October, 2007;
originally announced October 2007.
-
Geodesic Flow and Two (Super) Component Analog of the Camassa-Holm Equation
Authors:
Partha Guha,
Peter J. Olver
Abstract:
We derive the 2-component Camassa-Holm equation and corresponding N=1 super generalization as geodesic flows with respect to the $H^1$ metric on the extended Bott-Virasoro and superconformal groups, respectively.
We derive the 2-component Camassa-Holm equation and corresponding N=1 super generalization as geodesic flows with respect to the $H^1$ metric on the extended Bott-Virasoro and superconformal groups, respectively.
△ Less
Submitted 23 May, 2006;
originally announced May 2006.