Related papers: Positive definite functions on a regular domain
Let $X\subset{\mathbb R}^n$ be a (global) real analytic surface. Then every positive semidefinite meromorphic function on $X$ is a sum of $10$ squares of meromorphic functions on $X$. As a consequence, we provide a real Nullstellensatz for…
This paper lays down a foundation for a systematic treatment of three main (elliptic, parabolic and hyperbolic) types of analytic function theory based on the representation theory of SL(2,R) group. We describe here geometries of…
Harmonic functions are natural generalizations of conformal mappings. In recent years, a lot of work have been done by some researchers who focus on harmonic starlike functions. In this paper, we aim to introduce two classes of harmonic…
Results on the upper and lower semicontinuity of functionals defined on spaces of convex and more general functions are established. In particular, the following result is obtained. Let $\phi(v; \cdot)$ be the density of the absolutely…
We introduce floating bodies for convex, not necessarily bounded subsets of $\mathbb{R}^n$. This allows us to define floating functions for convex and log concave functions and log concave measures. We establish the asymptotic behavior of…
We define a very general class of rational functions f:CP^1 --> CP^1 such that for every function f of this class, there exists a countable family of smooth curves \gamma_i and a critically finite hyperbolic function R such that the…
Let $S$ be a subset of a amenable group $G$ such that $e\in S$ and $S^{-1}=S$. The main result of the paper states that if the Cayley graph of $G$ with respect to $S$ has a certain combinatorial property, then every positive definite…
Given a smooth foliation by complex curves (locally around a point $x\in\mathbb{C}^2\setminus\{0\}$) which is "compatible" with the foliation by spheres centered at the origin, we construct a smooth real-valued function $g$ in a…
The first part of the paper provides new characterizations of the normal cone to the effective domain of the supremum of an arbitrary family of convex functions. These results are applied in the second part to give new formulas for the…
For functions of two quaternionic variables that are regular in the sense of Fueter, we establish a result similar in spirit to the Hanges and Tr\`eves theorem. Namely, we show that a ball contained in the boundary of a domain is a…
We study metrics with positive scalar curvatures in domains with corners and suggest possible extensions of the concept of positive scalar curvature to singular spaces.
In this paper some concepts of convex analysis on hyperbolic space are studied. We first study properties of the intrinsic distance, for instance, we present the spectral decomposition of its Hessian. Next, we study the concept of convex…
In this paper, we describe the structure of shape derivatives around sets which are only assumed to be of finite perimeter in $\R^N$. This structure allows us to define a useful notion of positivity of the shape derivative and we show it…
We establish the existence of Nevanlinna domains with large boundaries. In particular, these domains can have boundaries of positive planar measure. The sets of accessible points can be of any Hausdorff dimension between $1$ and $2$. As a…
Implicit functions provide a fundamental basis to model 3D objects, no matter they are rigid or deformable, in computer graphics and geometric modeling. This paper introduces a new constructive scheme of implicitly-defined 3D objects based…
In this paper, we study matrix valued positive definite functions on a unimodular group. We generalize two important results of Godement on square integrable positive definite functions to matrix valued square integrable positive definite…
The paper shows that normally hyperbolic one-dimensional compact attractors of smooth dynamical systems are characterized by differential positivity, that is, the pointwise infinitesimal contraction of a smooth cone field. The result is…
We extend the definitions of $\nabla-$convex and completely monotonic functions for two variables. Some general identities of Popoviciu type for sum $\sum \sum p_{ij} f(y_i, z_j)$ and integrals $\int P(y)f(y) dy$, $\int \int P(y,z) f(y,z)…
Similarity metric which is not positive definite, and present a general theorem which provides a large family of similarity metrics which are positive definite.
The notion of a real-valued function is central to mathematics, computer science, and many other scientific fields. Despite this importance, there are hardly any positive results on decision procedures for predicate logical theories that…