Spherical 7-Designs in 2 n -Dimensional Euclidean Space

We derive new representations for the generalised Jacobian of a locally Lipschitz map between finite dimensional real Euclidean spaces as the lower limit (i.e., limit inferior) of the classical derivative of the map where it exists. The new representations lead to significantly shorter proofs for the basic properties of the subgradient and the generalised Jacobian including the chain rule. We establish that a sequence of locally Lipschitz maps between finite dimensional Euclidean spaces converges to a given locally Lipschitz map in the L-topology—that is, the weakest refinement of the sup norm topology on the space of locally Lipschitz maps that makes the generalised Jacobian a continuous functional—if and only if the limit superior of the sequence of directional derivatives of the maps in a given vector direction coincides with the generalised directional derivative of the given map in that direction, with the convergence to the limit superior being uniform for all unit vectors. We then prove our main result that the subspace of Lipschitz C ∞ maps between finite dimensional Euclidean spaces is dense in the space of Lipschitz maps equipped with the L-topology, and, for a given Lipschitz map, we explicitly construct a sequence of Lipschitz C ∞ maps converging to it in the L-topology, allowing global smooth approximation of a Lipschitz map and its differential properties. As an application, we obtain a short proof of the extension of Green’s theorem to interval-valued vector fields. For infinite dimensions, we show that the subgradient of a Lipschitz map on a Banach space is upper continuous, and, for a given real-valued Lipschitz map on a separable Banach space, we construct a sequence of Gateaux differentiable functions that converges to the map in the sup norm topology such that the limit superior of the directional derivatives in any direction coincides with the generalised directional derivative of the Lipschitz map in that direction.

The main task of classical multidimensional differential geometry is to study the properties of various n-surfaces. Often these studies use torsion coefficients that are defined for any n-surface with codimension k > 1 in (n + k)-dimensional Euclidean space. For hypersurfaces, the torsion coefficients are not defined.Another important concept used to study the properties of n-surfaces is the spherical Gaussian mapping. The Gaussian mapping defined on submanifolds of Euclidean and pseudo-Euclidean spaces allows one to study the external properties of a submanifold immersed in a Euclidean or pseudo-Euclidean space. In a number of papers, the properties of the Gaussian mapping are studied, as well as the geometric characteristics of the images of submanifolds under a spherical mapping, which are submanifolds of a hypersphere or a Grassmannian.In this article, we study the local properties of the spherical image of a regular n-surface of arbitrary codimension. The spherical mapping is defined for n-surfaces with codimension greater than one in Euclidean space by means of a regular vector field. Each vector of this field at a point of the submanifold is orthogonal to the tangent space of the submanifold at the chosen point.The article uses the methods of differential and Riemannian geometry, as well as tensor analysis to study n-surfaces with a codimension greater than one. Under some additional conditions, a connection is established between the curvature tensor of a given surface and the curvature tensor of its spherical image. Under the same additional conditions, some geometric characteristics of the points of the spherical image of the original n-surface are studied.

In this article we present a comparison of the performance between a metaheuristic optimization method, Game of Patterns (GofP), so-called by the author, and the well-known genetic algorithms (GAs), through two implementations, namely: the GA of Scilab (SGA); and the GA of the R Project for Statistical Computing (RGA). For this purpose, we have selected a set of multimodal objective functions in the n-dimensional Euclidean space \(\mathbb {R}^{n}\) with a unique global minimum. For comparing both metaheuristic optimization approaches, a performance indicator of quality, denoted Q(p, n, s), was defined, which allows us to measure the quality of the obtained global optimal solution for each pth problem, in the n-dimensional space, when it is solved by each metaheuristic optimization method \(s\in \{\texttt {GofP},\texttt {SGA},\texttt {RGA}\}\). The indicator Q(p, n, s) then depends on: the number of evaluations of the pth optimization problem in the Euclidean space \(\mathbb {R}^{n}\), which has required the s metaheuristic optimization method for identifying the global minimum; and the distance between the location of its respective unique global minimum and the location of the minimum that has been identified by the s metaheuristic optimization method. The paper also offers a brief explanation of the GofP method, which has been developed for solving unconstrained mixed integer problems in the \(n\times m\)-dimensional Euclidean space \(\mathbb {R}^{n}\times \mathbb {Z}^{m}\).

The solution of many applied problems is to find a solution of nonlinear equations systems in finite- dimensional Euclidean spaces. The problem of finding the solution of a nonlinear system is divided into two problems: 1. The existence of a solution of a nonlinear equations system; in the case of nonunique of the solution, it is necessary to find the number of these solutions and their surroundings. 2. Finding the solution of a system of nonlinear equations with a given accuracy. Many publications are devoted to solving problem 2, namely the construction of iterative methods, their convergence and estimates of the solution accuracy. In contrast to problem 2, for problem 1 there is no general algorithm for solving this task, there are no constructive conditions for the existence of a solution of a nonlinear equations system in Euclidean spaces. In this article, in finite-dimensional Euclidean spaces, the constructive conditions for the existence of a solution of nonlinear systems of polynomial form are found. The connection of these conditions with the linear polynomial interpolant of the minimum norm, generated by a scalar product with Gaussian measure and the conditions of its existence, is given.

In metric Diophantine approximation, one frequently encounters the problem of showing that a limsup set has positive or full measure. Often it is a set of points in m m -dimensional Euclidean space, or a set of n n -by- m m systems of linear forms, satisfying some approximation condition infinitely often. The main results of this paper are bootstraps: if one can establish positive measure for such a limsup set in m m -dimensional Euclidean space, then one can establish positive or full measure for an associated limsup set in the setting of n n -by- m m systems of linear forms. Consequently, a class of m m -dimensional results in Diophantine approximation can be bootstrapped to corresponding n n -by- m m -dimensional results. This leads to short proofs of existing, new, and hypothetical theorems for limsup sets that arise in the theory of systems of linear forms. We present several of these.

Consider an n-point metric space M = (V,δ), and a transmission range assignment r: V → ℝ + that maps each point v ∈ V to the disk of radius r(v) around it. The symmetric disk graph (henceforth, SDG) that corresponds to M and r is the undirected graph over V whose edge set includes an edge (u,v) if both r(u) and r(v) are no smaller than δ(u,v). SDGs are often used to model wireless communication networks.Abu-Affash, Aschner, Carmi and Katz (SWAT 2010, [1]) showed that for any n-point 2-dimensional Euclidean space M, the weight of the MST of every connected SDG for M is O(logn) ·w(MST(M)), and that this bound is tight. However, the upper bound proof of [1] relies heavily on basic geometric properties of constant-dimensional Euclidean spaces, and does not extend to Euclidean spaces of super-constant dimension. A natural question that arises is whether this surprising upper bound of [1] can be generalized for wider families of metric spaces, such as high-dimensional Euclidean spaces.In this paper we generalize the upper bound of Abu-Affash et al. [1] for Euclidean spaces of any dimension. Furthermore, our upper bound extends to arbitrary metric spaces and, in particular, it applies to any of the normed spaces ℓ p . Specifically, we demonstrate that for any n-point metric space M, the weight of the MST of every connected SDG for M is O(logn) ·w(MST(M)).KeywordsSpan TreeTransmission RangeMinimum Span TreeHamiltonian PathUnit Disk GraphThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Abstract. In this paper, we consider and study a new class of general-ized vector quasi-variational type inequalities and obtain some existencetheorems for both under compact and noncompact assumptions in topo-logical vector spaces without using monotonicity. For the noncompactcase, we use the concept of escaping sequences. 1. IntroductionThe vector variational inequality problem was initiated by Giannessi [11] in nite dimensional Euclidean spaces with applications. Later on many authors[6, 7, 12, 15, 24] generalized vector variational inequalities in abstract spacesin several ways. The vector variational-like inequality is one of the generalizedforms of vector variational inequalities [11]. In 1989, Parida et al [19] stud-ied the existence of solutions for variational-like inequalities in R n space andhave shown a relationship between variational like inequalities problems andconvex programming as well as with complementarity problems. The vectorvariational like inequality and generalized vector variational like inequality arepowerful tools to study non-convex vector optimization problems and convexand nondi erentiable vector optimization problems respectively, see [10, 18, 21].In 1973, Bensoussan and Lions [3] introduced the quasi-variational inequalityproblem (QVIP). Since then, many generalizations of the QVIP have beenappeared in the literature (see, for example, [1, 2]). In the last decade, becauseof applications in the optimization problems, mathematical programming andequilibrium problems, the QVIP has been intensively studied by many authors[5, 8, 16, 20, 22, 23, 25].In this paper, we consider the generalized vector quasivariational type in-equality problem (GVQVTIP) and obtain some existence theorems for solutions

Helices and constant procession curves are special examples of slant curves. However, there is no example of a $k$-slant curve for a positive integer $k\geq 2$ in three dimensional Euclidean spaces. Furthermore, the position vector of a $k$-slant curve for a positive integer $k\geq 2$ has not been known thus far. In this paper, we propose a method for constructing $k$-slant curves in three dimensional Euclidean spaces. We then show that spherical $k$-slant curves and $N_{k}$-constant procession curves can be derived from circles, for $k \in \mathbb{N}$, the set of all nonnegative integers. In addition, we provide a new proof of the spherical curve characterization and define a curve in the sphere called a spherical prime curve. Afterward, we apply $k$-slant curves to magnetic curves. Finally, we discuss the need for further research.

We study the basic properties of the $d$-plane transform on the Euclidean space as a Fourier integral operator and its application to the microlocal analysis of streaking artifacts in its filtered back-projection. The $d$-plane transform is defined by integrals of functions on the $n$-dimensional Euclidean space over all the $d$-dimensional planes, where $0<d<n$. This maps functions on the Euclidean space to those on the affine Grassmannian $G(d,n)$. This is said to be X-ray transform if $d=1$ and Radon transform if $d=n-1$. When $n=2$ the X-ray transform is thought to be measurements of computed tomography (CT) scanners. In this paper we obtain a concrete expression of the canonical relation between the $d$-plane transform and the quantitative properties of the filtered back-projection of the product of the images of the $d$-plane transform. The FBP of the product is related to the metal streaking artifacts of CT images. Our result is a generalization of recent results of Park, Choi, and Seo [Comm. Pure Appl. Math., 70 (2017), pp. 2191--2217] and Palacios, Uhlmann, and Wang [SIAM J. Math. Anal., 50 (2018), pp. 4914--4936] for the X-ray transform on the plane.

The purpose of this paper is to provide necessary and sufficient conditions on a continuous and matrix valued radial kernel on a Euclidean space in order that it be conditionally positive definite of a fixed order. Except for the one dimensional Euclidean space, the strict conditional positive definiteness of the kernel is fully characterized.

In this paper we study strictly positive definite functions on the unit sphere of the m m -dimensional Euclidean space. Such functions can be used for solving a scattered data interpolation problem on spheres. Since positive definite functions on the sphere were already characterized by Schoenberg some fifty years ago, the issue here is to determine what kind of positive definite functions are actually strictly positive definite. The study of this problem was initiated recently by Xu and Cheney (Proc. Amer. Math. Soc. 116 (1992), 977–981), where certain sufficient conditions were derived. A new approach, which is based on a critical connection between this problem and that of multivariate polynomial interpolation on spheres, is presented here. The relevant interpolation problem is subsequently analyzed by three different complementary methods. The first is based on the de Boor-Ron general “least solution for the multivariate polynomial interpolation problem”. The second, which is suitable only for m = 2 m=2 , is based on the connection between bivariate harmonic polynomials and univariate analytic polynomials, and reduces the problem to the structure of the integer zeros of bounded univariate exponentials. Finally, the last method invokes the realization of harmonic polynomials as the polynomial kernel of the Laplacian, thereby exploiting some basic relations between homogeneous ideals and their polynomial kernels.

We show that an isometric immersion of an n−dimensional compact Riemannian manifold of non-negative Ricci curvature with scalar curvature always less than n(n−1)λ−2 into a Euclidean space of dimension n + 1 can never be contained in a ball of radius λ.

This work develops the notion of a kernel function for the heat equation in certain regions of n +1 -dimensional Euclidean space and applies that notion to the study of the boundary behavior of nonnegative temperatures.The regions in question are bounded between spacelike hyperplanes and satisfy a parabolic Lipschitz condition at points on the lateral boundary.Kernel functions (normalized, nonnegative temperatures which vanish on the parabolic boundary except at a single point) are shown to exist uniquely.A representation theorem for nonnegative temperatures is obtained and used to establish the existence of finite parabolic limits at the boundary (except for a set of heat-related measure zero).0. Introduction.The notion of a kernel function has been developed in the case of the Laplace operator by Hunt and Wheeden [4], who prove existence and uniqueness for such functions in Lipschitz domains of -dimensional Euclidean space Rn and use these functions to study the nontangential boundary behavior of harmonic functions which have a one-sided bound in the domain.In [7] we reported analogous results for the heat equation in certain regions of the plane.These results had been obtained in [6].There, difficulties in the application of the techniques of [4] to the heat equation were overcome and some simplification of those techniques was achieved, notably in the proof of uniqueness of kernel functions.However, technical problems prevented treatment of the heat equation in more than one space dimension.The present work extends those results to the case of several space variables.In 1 existence and uniqueness of kernel functions is established and a representation theorem is obtained for temperatures with a one-sided bound in a region satisfying a certain mixed-Lipschitz condition (conditions LI and L2 below).The main result of 2 is the existence almost everywhere (with respect to caloric measure) on the parabolic boundary of finite parabolic limits for temperatures with a one-sided bound in the region.This generalizes the work of Jones and Tu [5] and Hattemer [2], who considered regions less general than those dealt with here.

The aim of this study is to give spinor representation of successive curves in three-dimensional Euclidean space. In three dimensional Euclidean Space, the spinor representations of a curve with unit speed and a successor curve with the same arc length parameter as this curve has been studied. For this, first of all, the curve with unit speed and its successor curve have been corresponded to two different spinors. Then, using the relationships between these curves, the relationships between the spinors corresponding to these curves have been given. Therefore, geometric interpretations of these curves and corresponding spinors have been made. In addition, different spinor equations of the mates and derivatives of spinors have been examined and geometric interpretations of these spinor equations have been given. Then, spinor equations have been obtained in case the successive curves are helices. Consequently, two examples have been given.

Based upon an intuition from electrostatics one might suspect that there is no topological ball in Euclidean space of dimension d≥2 which carries a nonconstant Dirichlet finite harmonic measure. This guess is certainly true for d=2. However, contrary to the above intuition, it is shown in this paper that there does exist a topological ball in Euclidean space of every dimension d≥3 on which there exists a nonconstant Dirichlet finite harmonic measure.