Dual Split Quaternions and Chasles’ Theorem in 3-Dimensional Minkowski Space {\mathbb{E}^{3}_{1}}

In 1831, Michel Chasles proved the existence of a fixed line under a general displacement in ${\mathbb{R}^3}$ . The fixed line called the screw axis of displacement was obtained by McCharthy in [10]. The purpose of this paper is to develop the method which is given for the pure rotation in [14], and thus to obtain the screw axis of spatial displacement in 3-dimensional Minkowski space. Firstly, we give a relation between dual vectors and lines in ${\mathbb{E}^{3}_{1}}$ , characterize the screw axis. Also, we discuss the dual split quaternion representation of a spatial displacement.     

Relaxed Hyperelastic Curves on a Non-Degenerate Surface

We study the variational problem belonging to a relaxed hyperelastic curve for non-null curve on a non-degenerate surface in Minkowski three-space \({E_{1}^{3}}\) . Firstly, we derive the intrinsic equations for a relaxed hyperelastic curve and we give the necessary condition for being relaxed hyperelastic curve of any non-null geodesic on the surface in \({E_{1}^{3}}\) . Then, we examine this formulation on non-null geodesics of pseudo-plane, pseudo-sphere \({S_{1}^{2}(r) }\) , hyperbolic space \({H_{0}^{2}(r)}\) and pseudo-cylinder \({C_{1}^{2}(r)}\) .     

On a Solution of the Quaternion Matrix Equation {A \tilde{X} -X B = C} and Its Applications

This paper studies the problem of solution of the quaternion matrix equation ${A \tilde{X} -X B = C}$ by means of real representation of a quaternion matrix, derives a similarity version of Roth’s theorem for the existence of solution to the quaternion matrix equation, and obtains closed-form solutions of the quaternion matrix equation in explicit forms. As a special case, this paper also gives some applications of the solutions of complex matrix equation ${A \bar{X} -X B = C}$ and of the consimilarity of complex matrices.     

Determinantal representations of the generalized inverses A_{T,S}^{(2)} over the quaternion skew field with applications

We first present some determinantal representations of one {1,5}-inverse of a quaternion matrix within the framework of a theory of the row and column determinants. As applications, we show some new explicit expressions of generalized inverses $A_{r_{T_{1}, S_{1}}}^{( 2)}$ , $A_{l_{T_{2},S_{2}}}^{(2)}$ and $A_{_{( T_{1},T_{2}) , ( S_{1},S_{2}) }}^{( 2) }$ over the quaternion skew field. Finally, we give the representations of the unique solution to some restricted left and right systems of quaternionic linear equations. The findings of this paper extend some known results in the literature.     

Multiple criteria problems over Minkowski balls

Under study are some vector optimization problems over the space of Minkowski balls, i.e., symmetric convex compact subsets in Euclidean space. A typical problem requires to achieve the best result in the presence of conflicting goals; e.g., given the surface area of a symmetric convex body $\mathfrak{x}$ , we try to maximize the volume of $\mathfrak{x}$ and minimize the width of $\mathfrak{x}$ simultaneously.     

On Rotation About Lightlike Axis in Three-Dimensional Minkowski Space

We obtain matrix of the rotation about arbitrary lightlike axis in three-dimensional Minkowski space by deriving the Rodrigues’ rotation formula and using the corresponding Cayley map. We prove that a unit timelike split quaternion q with a lightlike vector part determines rotation R _q about lightlike axis and show that a split quaternion product of two unit timelike split quaternions with null vector parts determines the rotation about a spacelike, a timelike or a lightlike axis. Finally, we give some examples.     

Surfaces of Rotation with Constant Extrinsic Curvature in a Conformally Flat 3-Space

In this work, we relate the extrinsic curvature of surfaces with respect to the Euclidean metric and any metrics that are conformal to the Euclidean metric. We introduce the space ${\mathbb{E}_3}$ ??the 3-dimensional real vector space equipped with a conformally flat metric that is a solution of the Einstein equation. We characterize the surfaces of rotation with constant extrinsic curvature in the space ${\mathbb{E}_3}$ . We obtain a one-parameter family of two-sheeted hyperboloids that are complete surfaces with zero extrinsic curvature in ${\mathbb{E}_3}$ . Moreover, we obtain a one-parameter family of cones and show that there exists another one-parameter family of complete surfaces of rotation with zero extrinsic curvature in ${\mathbb{E}_3}$ . Moreover, we show that there exist complete surfaces with constant negative extrinsic curvature in ${\mathbb{E}_3}$ . As an application we prove that there exist complete surfaces with Gaussian curvature K ?? ? ?? < 0, in contrast with Efimov??s Theorem for the Euclidean space, and Schlenker??s Theorem for the hyperbolic space.     

Decomposition of Minkowski–Rådström–Hörmander Space to the Direct Sum of Symmetric and Asymmetric Subspaces

Any abstract convex cone S with a uniformity satisfying the law of cancellation can be embedded in a topological vector space $\widetilde{S}$ (Urbański, Bull Acad Pol Sci, Sér Sci Math Astron Phys 24:709–715, 1976). We introduce a notion of a cone symmetry and decompose in Theorem 2.12 a quotient vector space $\widetilde{S}$ into a topological direct sum of its symmetric subspace $\widetilde{S}_s$ and asymmetric subspace $\widetilde{S}_a$ . In Theorem 2.19 we prove a similar decomposition for a normed space $\widetilde{S}$ . In section 3 we apply decomposition to Minkowski–Rådström–Hörmander (MRH) space with three best known norms and four symmetries. In section 4 we obtain a continuous selection from a MRH space over ?² to the family of pairs of nonempty compact convex subsets of ?².     

The \mathcal{VU} -decomposition to the proper convex function

Based on the $\mathcal{VU}$ -theory of the finite-value convex function, this paper gives the $\mathcal{VU}$ -theory of the proper convex function. We give three equivalent definitions of the space decomposition. Also, we get the $\mathcal{U}$ -Lagrangian function and its corresponding properties. Furthermore, we apply this method to the nonlinear programming. And we obtain its algorithm and convergence theorem.     

The space decomposition theory for a class of eigenvalue optimizations

In this paper we study optimization problems involving eigenvalues of symmetric matrices. One of the difficulties with numerical analysis of such problems is that the eigenvalues, considered as functions of a symmetric matrix, are not differentiable at those points where they coalesce. Here we apply the $\mathcal{U}$ -Lagrangian theory to a class of D.C. functions (the difference of two convex functions): the arbitrary eigenvalue function λ _i , with affine matrix-valued mappings, where λ _i is a D.C. function. We give the first-and second-order derivatives of ${\mathcal{U}}$ -Lagrangian in the space of decision variables R ^m when transversality condition holds. Moreover, an algorithm framework with quadratic convergence is presented. Finally, we present an application: low rank matrix optimization; meanwhile, list its $\mathcal{VU}$ decomposition results.     

Constant Angle Property and Canonical Principal Directions for Surfaces in {\mathbb{M}^{2}(c) \times {\mathbb{R}_{1}}}

In this paper, we study surfaces in Lorentzian product spaces ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ . We classify constant angle spacelike and timelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ . Moreover, complete classifications of spacelike surfaces in ${{\mathbb{S}^{2} \times \mathbb{R}_1}}$ and ${{\mathbb{H}^{2} \times \mathbb{R}_1}}$ and timelike surfaces in ${{\mathbb{M}^{2}(c) \times \mathbb{R}_1}}$ with a canonical principal direction are obtained. Finally, a new characterization of the catenoid of the 3rd kind is established, as the only minimal timelike surface with a canonical principal direction in Minkowski 3–space.     

A unified approach to scattered data approximation on \mathbb{S}^{\bf 3} and SO(3)

In this paper we use the connection between the rotation group SO(3) and the three-dimensional Euclidean sphere $\mathbb{S}^{3}$ in order to carry over results on the sphere $\mathbb{S}^{3}$ directly to the rotation group SO(3) and vice versa. More precisely, these results connect properties of sampling sets and quadrature formulae on SO(3) and $\mathbb{S}^{3}$ respectively. Furthermore we relate Marcinkiewicz–Zygmund inequalities and conditions for the existence of positive quadrature formulae on the rotation group SO(3) to those on the sphere $\mathbb{S}^{3}$ , respectively.     

Bott-Duffin inverse over the quaternion skew field with applications

In this paper, we show some properties of the Bott-Duffin inverses $A_{r_{ ( L_{1} ) }}^{ ( -1 ) }$ and $A_{l_{ ( L_{2} ) }}^{ ( -1 ) }$ over the quaternion skew field. In particular, we establish the determinantal representations of these generalized inverses by the theory of the column and row determinants. Moreover, we derive some Cramer rules for the unique solution to some restricted linear quaternion equations. The findings of this paper extend some known results in the literature.     

The distribution of the maximum of a first order moving average: the continuous case

We give the cumulative distribution function of $M_n$ , the maximum of a sequence of n observations from a first order moving average. Solutions are first given in terms of repeated integrals and then for the case, where the underlying independent random variables have an absolutely continuous probability density function. When the correlation is positive, $P( M_n \leq x ) \ =\ \sum\limits _{j=1}^{\infty } \beta _{j, x} \ \nu _{j, x}^{n},$ where $\{\nu _{j, x}\}$ are the eigenvalues (singular values) of a Fredholm kernel and $\beta _{j, x}$ are some coefficients determined later. A similar result is given when the correlation is negative. The result is analogous to large deviations expansions for estimates, since the maximum need not be standardized to have a limit. For the continuous case the integral equations for the left and right eigenfunctions are converted to first order linear differential equations. The eigenvalues satisfy an equation of the form $\sum\limits _{i=1}^{\infty } w_i ( \lambda -\theta _i )^{-1}=\lambda -\theta _0$ for certain known weights $\{ w_i\}$ and eigenvalues $\{ \theta _i\}$ of a given matrix. This can be solved by truncating the sum to an increasing number of terms.     

Generalized Rotation Surfaces in {\mathbb E^4}

In the present study we consider generalized rotation surfaces imbedded in an Euclidean space of four dimensions. We also give some special examples of these surfaces in ${\mathbb E^4}$ . Further, the curvature properties of these surfaces are investigated. We give necessary and sufficient conditions for generalized rotation surfaces to become pseudo-umbilical. We also show that every general rotation surface is Chen surface in ${\mathbb E^4}$ . Finally we give some examples of generalized rotation surfaces in ${\mathbb E^4}$ .     

Besov and Hardy Spaces Associated with the Schrödinger Operator on the Heisenberg Group

We introduce the Besov space $\dot{B}^{0,L}_{1,1}$ associated with the Schrödinger operator L with a nonnegative potential satisfying a reverse Hölder inequality on the Heisenberg group, and obtain the molecular decomposition. We also develop the Hardy space $H_{L}^{1}$ associated with the Schrödinger operator via the Littlewood–Paley area function and give equivalent characterizations via atoms, molecules, and the maximal function. Moreover, using the molecular decomposition, we prove that $\dot{B}^{0,L}_{1,1}$ is a subspace of $H_{L}^{1}$ .     

Torified varieties and their geometries over {\mathbb{F}_1}

This paper invents the notion of torified varieties: A torification of a scheme is a decomposition of the scheme into split tori. A torified variety is a reduced scheme of finite type over ${\mathbb Z}$ that admits a torification. Toric varieties, split Chevalley schemes and flag varieties are examples of this type of scheme. Given a torified variety whose torification is compatible with an affine open covering, we construct a gadget in the sense of Connes?CConsani and an object in the sense of Soulé and show that both are varieties over ${\mathbb{F}_1}$ in the corresponding notion. Since toric varieties and split Chevalley schemes satisfy the compatibility condition, we shed new light on all examples of varieties over ${\mathbb{F}_1}$ in the literature so far. Furthermore, we compare Connes?CConsani??s geometry, Soulé??s geometry and Deitmar??s geometry, and we discuss to what extent Chevalley groups can be realized as group objects over ${\mathbb{F}_1}$ in the given categories.     

Gauss Rigidity and Volume Preservation Under Preserving Curvature Deformations for Hedgehogs

We consider Gauss rigidity and Gauss infinitesimal rigidity for hedgehogs of ${\mathbb{R}^{3}}$ (regarded as Minkowski differences of closed convex surfaces of ${\mathbb{R}^{3}}$ with positive Gaussian curvature). Besides, we prove under an appropriate differentiability condition that whenever we perform a deformation of a hedgehog so that its curvature function remains constant, its algebraic volume also remains constant.     

Fuchsian convex bodies: basics of Brunn–Minkowski theory

The hyperbolic space ${\mathbb{H}^d}$ can be defined as a pseudo-sphere in the (d + 1) Minkowski space-time. In this paper, a Fuchsian group Γ is a group of linear isometries of the Minkowski space such that ${\mathbb{H}^d/\Gamma}$ is a compact manifold. We introduce Fuchsian convex bodies, which are closed convex sets in Minkowski space, globally invariant for the action of a Fuchsian group. A volume can be associated to each Fuchsian convex body, and, if the group is fixed, Minkowski addition behaves well. Then Fuchsian convex bodies can be studied in the same manner as convex bodies of Euclidean space in the classical Brunn–Minkowski theory. For example, support functions can be defined, as functions on a compact hyperbolic manifold instead of the sphere. The main result is the convexity of the associated volume (it is log concave in the classical setting). This implies analogs of Alexandrov–Fenchel and Brunn–Minkowski inequalities. Here the inequalities are reversed.     

A Characterization of Some Mixed Volumes via the Brunn–Minkowski Inequality

We consider a functional $\mathcal{F}$ on the space of convex bodies in ? ⁿ of the form $$ {\mathcal{F}}(K)=\int_{\mathbb{S}^{n-1}} f(u) \mathrm{S}_{n-1}(K,du), $$ where $f\in C(\mathbb{S}^{n-1})$ is a given continuous function on the unit sphere of ? ⁿ , K is a convex body in ? ⁿ , n≥3, and S _n?1(K,?) is the area measure of K. We prove that $\mathcal{F}$ satisfies an inequality of Brunn–Minkowski type if and only if f is the support function of a convex body, i.e., $\mathcal{F}$ is a mixed volume. As a consequence, we obtain a characterization of translation invariant, continuous valuations which are homogeneous of degree n?1 and satisfy a Brunn–Minkowski type inequality.