scholarly journals Relative geodesics in bi-invariant Lie groups

2017 ◽  
Vol 473 (2201) ◽  
pp. 20160619
Author(s):  
E. Zhang ◽  
L. Noakes
Keyword(s):  
Order Differential Equation ◽  
Homogeneous Spaces ◽  
Lagrange Equation ◽  
Smooth Curve ◽  
Curve Matching ◽  
Matching Problem ◽  
Smooth Curves ◽  
First Order ◽  
Finite Dimensional ◽  
Special Cases

Motivated by registration problems, this paper deals with a curve matching problem in homogeneous spaces. Let G be a connected finite-dimensional bi-invariant Lie group and K a closed subgroup. A smooth curve g in G is said to be admissible if it can transform two smooth curves f 1 and f 2 in G / K from one to the other. An ( f 1 , f 2 )- relative geodesic (Holm et al. 2013 Proc. R. Soc. A 469 , 20130297. ( doi:10.1098/rspa.2013.0297 )) is defined as a critical point of the total energy E ( g ) as g varies in the set of all ( f 1 , f 2 )-admissible curves. We obtain the Euler–Lagrange equation, a first-order differential equation, satisfied by a relative geodesic. Furthermore, the Euler–Lagrange equation is simplified for the case where G / K is globally symmetric. As a concrete example, relative geodesics are found for special cases where G is SO(3) and K is SO(2). As an application of discrepancy for curves in S 2 , we construct and study a new measure of non-congruency for constant speed curves in Euclidean 3-space. Numerical examples are given to illustrate results.

scholarly journals Extensions in graph normal form

2020 ◽  
Author(s):  
Michał Walicki
Keyword(s):  
Normal Form ◽  
Fixed Points ◽  
Propositional Logic ◽  
Order Logic ◽  
First Order Logic ◽  
First Order ◽  
Special Cases

Abstract Graph normal form, introduced earlier for propositional logic, is shown to be a normal form also for first-order logic. It allows to view syntax of theories as digraphs, while their semantics as kernels of these digraphs. Graphs are particularly well suited for studying circularity, and we provide some general means for verifying that circular or apparently circular extensions are conservative. Traditional syntactic means of ensuring conservativity, like definitional extensions or positive occurrences guaranteeing exsitence of fixed points, emerge as special cases.

scholarly journals An exact expression of positive periodic solution for a first-order singular equation

2020 ◽  
Vol 2020 (1) ◽  
Author(s):  
Yun Xin ◽  
Xiaoxiao Cui ◽  
Jie Liu
Keyword(s):  
Differential Equation ◽  
Periodic Solution ◽  
Lower Bounds ◽  
Topological Degree ◽  
Order Differential Equation ◽  
Positive Periodic Solution ◽  
Exact Expression ◽  
Upper And Lower Bounds ◽  
Singular Equation ◽  
First Order

Abstract The main purpose of this paper is to obtain an exact expression of the positive periodic solution for a first-order differential equation with attractive and repulsive singularities. Moreover, we prove the existence of at least one positive periodic solution for this equation with an indefinite singularity by applications of topological degree theorem, and give the upper and lower bounds of the positive periodic solution.

Asymptotics for third-order nonlinear differential equations: Non-oscillatory and oscillatory cases

2021 ◽  
pp. 1-19
Author(s):  
Calogero Vetro ◽  
Dariusz Wardowski
Keyword(s):  
Differential Equation ◽  
Differential Equations ◽  
Order Differential Equation ◽  
Nonlinear Differential Equations ◽  
Oscillatory Behavior ◽  
Third Order ◽  
First Order ◽  
Third Order Differential Equation ◽  
Comparison Technique ◽  
First Order Differential Equations

We discuss a third-order differential equation, involving a general form of nonlinearity. We obtain results describing how suitable coefficient functions determine the asymptotic and (non-)oscillatory behavior of solutions. We use comparison technique with first-order differential equations together with the Kusano–Naito’s and Philos’ approaches.

scholarly journals WORLD VOLUME SOLITONS OF THE D3-BRANE IN THE BACKGROUND OF (p, q) FIVE-BRANES

2000 ◽  
Vol 15 (28) ◽  
pp. 4477-4498 ◽  
Author(s):  
P. M. LLATAS ◽  
A. V. RAMALLO ◽  
J. M. SÁNCHEZ DE SANTOS
Keyword(s):  
Differential Equation ◽  
Order Differential Equation ◽  
Brane World ◽  
Invariant Solutions ◽  
First Order ◽  
World Volume ◽  
The World ◽  
Energy Bound

We analyze the world volume solitons of a D3-brane probe in the background of parallel (p, q) five-branes. The D3-brane is embedded along the directions transverse to the five-branes of the background. By using the S duality invariance of the D3-brane, we find a first-order differential equation whose solutions saturate an energy bound. The SO(3) invariant solutions of this equation are found analytically. They represent world volume solitons which can be interpreted as formed by parallel (-q, p) strings emanating from the D3-brane world volume. It is shown that these configurations are 1/4 supersymmetric and provide a world volume realization of the Hanany–Witten effect.

Geometric, Spatial Path Tracking Using Non-Redundant Manipulators via Speed-Ratio Control

2010 ◽  
Author(s):  
Satyajit Ambike ◽  
James P. Schmiedeler ◽  
Michael M. Stanisˇic´
Keyword(s):  
Path Tracking ◽  
Speed Ratio ◽  
Redundant Manipulators ◽  
Computationally Efficient ◽  
Third Order ◽  
Practical Advantage ◽  
First Order ◽  
Canonical Frame ◽  
Special Cases ◽  
Six Degree Of Freedom

Path tracking can be accomplished by separating the control of the desired trajectory geometry and the control of the path variable. Existing methods accomplish tracking of up to third-order geometric properties of planar paths and up to second-order properties of spatial paths using non-redundant manipulators, but only in special cases. This paper presents a novel methodology that enables the geometric tracking of a desired planar or spatial path to any order with any non-redundant regional manipulator. The governing first-order coordination equation for a spatial path-tracking problem is developed, the repeated differentiation of which generates the coordination equation of the desired order. In contrast to previous work, the equations are developed in a fixed global frame rather than a configuration-dependent canonical frame, providing a significant practical advantage. The equations are shown to be linear, and therefore, computationally efficient. As an example, the results are applied to a spatial 3-revolute mechanism that tracks a spatial path. Spatial, rigid-body guidance is achieved by applying the technique to three points on the end-effector of a six degree-of-freedom robot. A spatial 6-revolute robot is used as an illustration.

scholarly journals On the integration processes of A. Huťa

1963 ◽  
Vol 3 (2) ◽  
pp. 202-206 ◽  
Author(s):  
J. C. Butcher
Keyword(s):  
Differential Equation ◽  
Order Differential Equation ◽  
Sixth Order ◽  
Order Accuracy ◽  
First Order ◽  
Runge Kutta ◽  
Image Position

Huta [1], [2] has given two processes for solving a first order differential equation to sixth order accuracy. His methods are each eight stage Runge-Kutta processes and differ mainly in that the later process has simpler coefficients occurring in it.

Sign in / Sign up

Export Citation Format

Share Document