scholarly journals Enabling quaternion derivatives: the generalized HR calculus

2015 ◽  
Vol 2 (8) ◽  
pp. 150255 ◽  
Author(s):  
Dongpo Xu ◽  
Cyrus Jahanchahi ◽  
Clive C. Took ◽  
Danilo P. Mandic

Quaternion derivatives exist only for a very restricted class of analytic (regular) functions; however, in many applications, functions of interest are real-valued and hence not analytic, a typical case being the standard real mean square error objective function. The recent HR calculus is a step forward and provides a way to calculate derivatives and gradients of both analytic and non-analytic functions of quaternion variables; however, the HR calculus can become cumbersome in complex optimization problems due to the lack of rigorous product and chain rules, a consequence of the non-commutativity of quaternion algebra. To address this issue, we introduce the generalized HR (GHR) derivatives which employ quaternion rotations in a general orthogonal system and provide the left- and right-hand versions of the quaternion derivative of general functions. The GHR calculus also solves the long-standing problems of product and chain rules, mean-value theorem and Taylor's theorem in the quaternion field. At the core of the proposed GHR calculus is quaternion rotation, which makes it possible to extend the principle to other functional calculi in non-commutative settings. Examples in statistical learning theory and adaptive signal processing support the analysis.

1981 ◽  
Vol 22 (1) ◽  
pp. 19-29 ◽  
Author(s):  
N. J. Kalton

Let X be an F-space (complete metric linear space) and suppose g:[0, 1] → X is a continuous map. Suppose that g has zero derivative on [0, 1], i.e.for 0≤t≤1 (we take the left and right derivatives at the end points). Then, if X is locally convex or even if it merely possesses a separating family of continuous linear functionals, we can conclude that g is constant by using the Mean Value Theorem. If however X* = {0} then it may happen that g is not constant; for example, let X = Lp(0, 1) (0≤p≤1) and g(t) = l[0,t] (0≤t≤1) (the characteristic function of [0, t]). This example is due to Rolewicz [6], [7; p. 116].


2016 ◽  
Vol 3 (9) ◽  
pp. 160211
Author(s):  
Dongpo Xu ◽  
Hua Gao ◽  
Danilo P. Mandic

The recently introduced generalized Hamiltonian–Real (GHR) calculus comprises, for the first time, the product and chain rules that makes it a powerful tool for quaternion-based optimization and adaptive signal processing. In this paper, we introduce novel dual relationships between the GHR calculus and multivariate real calculus, in order to provide a new, simpler proof of the GHR derivative rules. This further reinforces the theoretical foundation of the GHR calculus and provides a convenient methodology for generic extensions of real- and complex-valued learning algorithms to the quaternion domain.


Mathematics ◽  
2021 ◽  
Vol 9 (11) ◽  
pp. 1303
Author(s):  
Pshtiwan Othman Mohammed ◽  
Thabet Abdeljawad ◽  
Faraidun Kadir Hamasalh

Monotonicity analysis of delta fractional sums and differences of order υ∈(0,1] on the time scale hZ are presented in this study. For this analysis, two models of discrete fractional calculus, Riemann–Liouville and Caputo, are considered. There is a relationship between the delta Riemann–Liouville fractional h-difference and delta Caputo fractional h-differences, which we find in this study. Therefore, after we solve one, we can apply the same method to the other one due to their correlation. We show that y(z) is υ-increasing on Ma+υh,h, where the delta Riemann–Liouville fractional h-difference of order υ of a function y(z) starting at a+υh is greater or equal to zero, and then, we can show that y(z) is υ-increasing on Ma+υh,h, where the delta Caputo fractional h-difference of order υ of a function y(z) starting at a+υh is greater or equal to −1Γ(1−υ)(z−(a+υh))h(−υ)y(a+υh) for each z∈Ma+h,h. Conversely, if y(a+υh) is greater or equal to zero and y(z) is increasing on Ma+υh,h, we show that the delta Riemann–Liouville fractional h-difference of order υ of a function y(z) starting at a+υh is greater or equal to zero, and consequently, we can show that the delta Caputo fractional h-difference of order υ of a function y(z) starting at a+υh is greater or equal to −1Γ(1−υ)(z−(a+υh))h(−υ)y(a+υh) on Ma,h. Furthermore, we consider some related results for strictly increasing, decreasing, and strictly decreasing cases. Finally, the fractional forward difference initial value problems and their solutions are investigated to test the mean value theorem on the time scale hZ utilizing the monotonicity results.


Sign in / Sign up

Export Citation Format

Share Document