Showing 1–8 of 8 results for author: Schrader, P

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.

Comments: 23 pages

MSC Class: Primary: 49J15; 49K15; Secondary: 65K10; 90C30

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.

MSC Class: 49J15; 49K15; 65K10; 90C30

A Sobolev gradient flow for the area-normalised Dirichlet energy of $H^1$ maps

Authors: Shinya Okabe, Philip Schrader, Valentina Wheeler, Glen Wheeler

Abstract: In this article we study the $H^1(du)$-gradient flow for the energy $E[X] = Q[X]/A[X]$ where $Q[X]$ is the Dirichlet energy of $X$, $A[X]$ is the signedenclosed area of $X$, and $X:\mathbb{S}\rightarrow\mathbb{R}^2$ is a $H^1(du)$ map. We prove that solutions with initially positive signed enclosed area exist eternally, and converge as $t\rightarrow\infty$ to a (possibly multiply-covered) circle.… ▽ More In this article we study the $H^1(du)$-gradient flow for the energy $E[X] = Q[X]/A[X]$ where $Q[X]$ is the Dirichlet energy of $X$, $A[X]$ is the signedenclosed area of $X$, and $X:\mathbb{S}\rightarrow\mathbb{R}^2$ is a $H^1(du)$ map. We prove that solutions with initially positive signed enclosed area exist eternally, and converge as $t\rightarrow\infty$ to a (possibly multiply-covered) circle. In this way we recover a parametrised isoperimetric inequality for $H^1(du)$ maps. △ Less

Submitted 9 October, 2023; originally announced October 2023.

Comments: 23 pages

MSC Class: 53C42; 53E99

Algorithms for Skein Manipulation in a Genus-2 Handlebody

Authors: Rachel Kinard, Razvan Gelca, Paul T. Schrader

Abstract: We present a series of algorithms for skein manipulation in a genus-2 handlebody, implementing a novel strand sorting method to reduce any skein to a skein in a 2-punctured disk. This reduction guarantees resolution as a linear combination of basis elements of the Kauffman Bracket Skein Module. Manually, these skein manipulations prove to be computationally intensive due to the inherent exponentia… ▽ More We present a series of algorithms for skein manipulation in a genus-2 handlebody, implementing a novel strand sorting method to reduce any skein to a skein in a 2-punctured disk. This reduction guarantees resolution as a linear combination of basis elements of the Kauffman Bracket Skein Module. Manually, these skein manipulations prove to be computationally intensive due to the inherent exponential nature of skein relations (i.e., a skein diagram with $n$ crossings yields $2^n$ new skein diagrams, each in $\mathbb{C}[t,t^{-1}]$, the Laurent polynomials with complex coefficients). Thus, as the number of crossings in a skein diagram increases, manual computations become intractable and automation desirable. We enable the automation of all skein computations in the genus-2 handlebody by first converting the skein diagram into an equivalent array, reducing the task of performing skein computations to that of implementing array operators, and then proving that we can always recover the resulting complex Laurent polynomial. △ Less

Submitted 29 May, 2023; originally announced May 2023.

Comments: Presented at the American Mathematical Society (AMS) Spring Southeastern Sectional Meeting, April 2023, Atlanta GA

Convergence of Sobolev gradient trajectories to elastica

Authors: Shinya Okabe, Philip Schrader

Abstract: In this paper we study the $H^2(ds)$-gradient flow for the modified elastic energy defined on closed curves in $\mathbb{R}^n$. We prove the existence of a unique global-in-time solution to the flow and establish full convergence to elastica by way of a Łojasiewicz--Simon gradient inequality. In this paper we study the $H^2(ds)$-gradient flow for the modified elastic energy defined on closed curves in $\mathbb{R}^n$. We prove the existence of a unique global-in-time solution to the flow and establish full convergence to elastica by way of a Łojasiewicz--Simon gradient inequality. △ Less

Submitted 27 January, 2023; v1 submitted 14 July, 2021; originally announced July 2021.

MSC Class: 53E99 (Primary) 58E99; 58B20 (Secondary)

On the $H^1(ds)$-gradient flow for the length functional

Authors: Philip Schrader, Glen Wheeler, Valentina-Mira Wheeler

Abstract: In this article we consider the length functional defined on the space of immersed planar curves. The $L^2(ds)$ Riemannian metric gives rise to the curve shortening flow as the gradient flow of the length functional. Motivated by the triviality of the metric topology in this space, we consider the gradient flow of the length functional with respect to the $H^1(ds)$-metric. Circles with radius… ▽ More In this article we consider the length functional defined on the space of immersed planar curves. The $L^2(ds)$ Riemannian metric gives rise to the curve shortening flow as the gradient flow of the length functional. Motivated by the triviality of the metric topology in this space, we consider the gradient flow of the length functional with respect to the $H^1(ds)$-metric. Circles with radius $r_0$ shrink with $r(t) = \sqrt{W(e^{c-2t})}$ under the flow, where $W$ is the Lambert $W$ function and $c = r_0^2 + \log r_0^2$. We conduct a thorough study of this flow, giving existence of eternal solutions and convergence for general initial data, preservation of regularity in various spaces, qualitative properties of the flow after an appropriate rescaling, and numerical simulations. △ Less

Submitted 3 March, 2021; v1 submitted 14 February, 2021; originally announced February 2021.

Comments: 37 pages; corrected and added some remarks, notation, typos

MSC Class: 53E99; 34C40

Hom-Tensor Categories and the Hom-Yang-Baxter Equation

Authors: Florin Panaite, Paul Schrader, Mihai D. Staic

Abstract: We introduce a new type of categorical object called a \emph{hom-tensor category} and show that it provides the appropriate setting for modules over an arbitrary hom-bialgebra. Next we introduce the notion of \emph{hom-braided category} and show that this is the right setting for modules over quasitriangular hom-bialgebras. We also show how the hom-Yang-Baxter equation fits into this framework and… ▽ More We introduce a new type of categorical object called a \emph{hom-tensor category} and show that it provides the appropriate setting for modules over an arbitrary hom-bialgebra. Next we introduce the notion of \emph{hom-braided category} and show that this is the right setting for modules over quasitriangular hom-bialgebras. We also show how the hom-Yang-Baxter equation fits into this framework and how the category of Yetter-Drinfeld modules over a hom-bialgebra with bijective structure map can be organized as a hom-braided category. Finally we prove that, under certain conditions, one can obtain a tensor category (respectively a braided tensor category) from a hom-tensor category (respectively a hom-braided category). △ Less

Submitted 27 February, 2017; originally announced February 2017.

Comments: 36 pages, many diagrams

MSC Class: 18D10 (Primary) 16T05; 17A99 (Secondary)

Existence of variationally defined curves in complete Riemannian manifolds

Authors: Philip Schrader

Abstract: We present a method for proving the existence of solutions to a class of one dimensional variational problems. The method is demonstrated by two examples of optimal interpolation problems which are motivated by engineering applications. In each case we prove that the variational problem satisfies the Palais-Smale condition and the existence of a minimal solution and lower bounds for the number of… ▽ More We present a method for proving the existence of solutions to a class of one dimensional variational problems. The method is demonstrated by two examples of optimal interpolation problems which are motivated by engineering applications. In each case we prove that the variational problem satisfies the Palais-Smale condition and the existence of a minimal solution and lower bounds for the number of stationary curves then follow. △ Less

Submitted 23 February, 2014; v1 submitted 19 December, 2013; originally announced December 2013.

Comments: 22 pages, no figures

MSC Class: 58E25; 49J05