A Generalized Solution to the Point-to-Target Problem Using the Minimum Curvature Method

2021 ◽  
pp. 1-15
Author(s):  
Steven J. Sawaryn

Summary An explicit solution to the general 3D point-to-target problem based on the minimum curvature method has been sought for more than four decades. The general case involves the trajectory's start and target points connected by two circular arcs joined by a straight line with the position and direction defined at both ends. It is known that the solutions are multivalued, and efficient iterative schemes to find the principal root have been established. This construction is an essential component of all major trajectory construction packages. However, convergence issues have been reported in cases where the intermediate tangent section is either small or vanishes and rigorous mathematical conditions under which solutions are both possible and are guaranteed to converge have not been published. An implicit expression has now been determined that enables all the roots to be identified and permits either exact or polynomial-type solution methods to be used. Most historical attempts at solving the problem have been purely algebraic, but a geometric interpretation of related problems has been attempted, showing that a single circular arc and a tangent section can be encapsulated in the surface of a horn torus. These ideas have now been extended, revealing that the solution to the general 3D point-to-target problem can be represented as a 10th-orderself-intersecting geometric surface, characterized by the trajectory's start and end points, the radii of the two arcs, and the length of the tangent section. An outline of the solution's derivation is provided in the paper together with complete details of the general expression and its various degenerate forms so that readers can implement the algorithms for practical application. Most of the degenerate conditions reduce the order of the governing equation. Full details of the critical and degenerate conditions are also provided, and together these indicate the most convenient solution method for each case. In the presence of a tangent section, the principal root is still most easily obtained using an iterative scheme, but the mathematical constraints are now known. It is also shown that all other cases degenerate to quadratic forms that can be solved using conventional methods. It is shown how the general expression for the general point-to-target problem can be modified to give the known solutions to the 3D landing problem and how the example in the published works on this subject is much simplified by the geometric, rather than algebraic treatment.

2021 ◽  
Author(s):  
Steven J. Sawaryn

Abstract An explicit solution to the general 3D point to target problem based on the minimum curvature method has been sought for more than four decades. The general case involves the trajectory's start and target points connected by two circular arcs joined by a straight line with the position and direction defined at both ends. It is known that the solutions are multi-valued and efficient iterative schemes to find the principal root have been established. This construction is an essential component of all major trajectory construction packages. However, convergence issues have been reported in cases where the intermediate tangent section is either small or vanishes and rigorous mathematical conditions under which solutions are both possible and are guaranteed to converge have not been published. An implicit expression has now been determined that enables all the roots to be identified and permits either exact, or polynomial type solution methods to be employed. Most historical attempts at solving the problem have been purely algebraic, but a geometric interpretation of related problems has been attempted, showing that a single circular arc and a tangent section can be encapsulated in the surface of a horn torus. These ideas have now been extended, revealing that the solution to the general 3D point to target problem can be represented as a 10th order self-intersecting geometric surface, characterised by the trajectory's start and end points, the radii of the two arcs and the length of the tangent section. An outline of the solution's derivation is provided in the paper together with complete details of the general expression and its various degenerate forms so that readers can implement the algorithms for practical application. Most of the degenerate conditions reduce the order of the governing equation. Full details of the critical and degenerate conditions are also provided and together these indicate the most convenient solution method for each case. In the presence of a tangent section the principal root is still most easily obtained using an iterative scheme, but the mathematical constraints are now known. It is also shown that all other cases degenerate to quadratic forms that can be solved using conventional methods. It is shown how the general expression for the general point to target problem can be modified to give the known solutions to the 3D landing problem and how the example in the published works on this subject is much simplified by the geometric, rather than algebraic treatment.


2014 ◽  
Vol 10 (07) ◽  
pp. 1595-1635
Author(s):  
Ariel Pacetti ◽  
Gonzalo Tornaría

Given a Hecke eigenform f of weight 2 and square-free level N, by the work of Kohnen, there is a unique weight 3/2 modular form of level 4N mapping to f under the Shimura correspondence. Furthermore, by the work of Waldspurger the Fourier coefficients of such a form are related to the quadratic twists of the form f. Gross gave a construction of the half integral weight form when N is prime, and such construction was later generalized to square-free levels. However, in the non-square free case, the situation is more complicated since the natural construction is vacuous. The problem being that there are too many special points so that there is cancellation while trying to encode the information as a linear combination of theta series. In this paper, we concentrate in the case of level p2, for p > 2 a prime number, and show how the set of special points can be split into subsets (indexed by bilateral ideals for an order of reduced discriminant p2) which gives two weight 3/2 modular forms mapping to f under the Shimura correspondence. Moreover, the splitting has a geometric interpretation which allows to prove that the forms are indeed a linear combination of theta series associated to ternary quadratic forms. Once such interpretation is given, we extend the method of Gross–Zagier to the case where the level and the discriminant are not prime to each other to prove a Gross-type formula in this situation.


Filomat ◽  
2021 ◽  
Vol 35 (4) ◽  
pp. 1155-1178
Author(s):  
Xiang Liu ◽  
Baoguo Jia ◽  
Lynn Erbe ◽  
Allan Peterson

This paper presents some new propositions related to the fractional order h-difference operators, for the case of general quadratic forms and for the polynomial type, which allow proving the stability of fractional order h-difference systems, by means of the discrete fractional Lyapunov direct method, using general quadratic Lyapunov functions, and polynomial Lyapunov functions of any positive integer order, respectively. Some examples are given to illustrate these results.


Metrologiya ◽  
2020 ◽  
pp. 3-15
Author(s):  
Rustam Z. Khayrullin ◽  
Alexey S. Kornev ◽  
Andrew A. Kostoglotov ◽  
Sergey V. Lazarenko

Analytical and computer models of false failure and undetected failure (error functions) were developed with tolerance control of the parameters of the components of the measuring technique. A geometric interpretation of the error functions as two-dimensional surfaces is given, which depend on the tolerance on the controlled parameter and the measurement error. The developed models are applicable both to theoretical laws of distribution, and to arbitrary laws of distribution of the measured quantity and measurement error. The results can be used in the development of metrological support of measuring equipment, the verification of measuring instruments, the metrological examination of technical documentation and the certification of measurement methods.


2016 ◽  
Vol E99.B (11) ◽  
pp. 2271-2279
Author(s):  
Ryo HAMAMOTO ◽  
Chisa TAKANO ◽  
Hiroyasu OBATA ◽  
Masaki AIDA ◽  
Kenji ISHIDA

Author(s):  
Bernhard M¨uhlherr ◽  
Holger P. Petersson ◽  
Richard M. Weiss

This chapter proves that Bruhat-Tits buildings exist. It begins with a few definitions and simple observations about quadratic forms, including a 1-fold Pfister form, followed by a discussion of the existence part of the Structure Theorem for complete discretely valued fields due to H. Hasse and F. K. Schmidt. It then considers the generic unramified cases; the generic semi-ramified cases, the generic ramified cases, the wild unramified cases, the wild semi-ramified cases, and the wild ramified cases. These cases range from a unique unramified quadratic space to an unramified separable quadratic extension, a tamely ramified division algebra, a ramified separable quadratic extension, and a unique unramified quaternion division algebra. The chapter also describes ramified quaternion division algebras D₁, D₂, and D₃ over K containing a common subfield E such that E/K is a ramified separable extension.


Sign in / Sign up

Export Citation Format

Share Document