English
Related papers

Related papers: Positive semidefinite analytic functions on real a…

200 papers

Let $R$ be a real closed field and $K:=R(i)$ its algebraic closure. Let $U\subset K^n$ be an open and definable set in a fixed o-minimal structure. In this note, we study the relationship between definability of a $K$-holomorphic function…

Algebraic Geometry · Mathematics 2026-05-05 Antonio Carbone , Enrico Savi

Hilbert's 17th problem asks that whether every nonnegative polynomial can be a sum of squares of rational functions. It has been answered affirmatively by Artin. However, the question as to whether a given nonnegative polynomial is a sum of…

Differential Geometry · Mathematics 2022-10-13 Jianquan Ge , Zizhou Tang

A bad point of a positive semidefinite real polynomial f is a point at which a pole appears in all expressions of f as a sum of squares of rational functions. We show that quartic polynomials in three variables never have bad points. We…

Algebraic Geometry · Mathematics 2022-05-24 Olivier Benoist

We consider the family of all meromorphic functions $f$ of the form $$ f(z)=\frac{1}{z}+b_0+b_1z+b_2z^2+\cdots $$ analytic and locally univalent in the puncture disk $\mathbb{D}_0:=\{z\in\mathbb{C}:\,0<|z|<1\}$. Our first objective in this…

Complex Variables · Mathematics 2017-09-05 Vibhuti Arora , Swadesh Kumar Sahoo

Based on a recently developed rank Theorem for Eisenstein power series, we provide new proofs of the following two results of W. Pawlucki: I) The non regular locus of a complex or real analytic map is an analytic set. II) The set of…

Algebraic Geometry · Mathematics 2023-03-15 Andre Belotto da Silva , Octave Curmi , Guillaume Rond

Let $K$ be a totally real number field with Galois closure $L$. We prove that if $f \in \mathbb Q[x_1,...,x_n]$ is a sum of $m$ squares in $K[x_1,...,x_n]$, then $f$ is a sum of \[4m \cdot 2^{[L: \mathbb Q]+1} {[L: \mathbb Q] +1 \choose…

Commutative Algebra · Mathematics 2008-08-29 Christopher J. Hillar

Here we give an explicit construction of a globally defined strictly plurisubharmonic function on projectivized strata of strictly meromorphic differentials with prescribed orders of zeros and poles. In particular, this yields a…

Algebraic Geometry · Mathematics 2026-02-18 Dawei Chen , Guillaume Tahar

We study the sums of squares on cylinders of the form $X \times \mathbb{A}_K$ for a (weakly) factorial curve $C$. We prove the equality of the Pythagoras numbers of the ring of regular functions on the cylinder with that of the field of…

Algebraic Geometry · Mathematics 2025-06-30 Tomasz Kowalczyk

We show that $C^0$-fine approximation of convex functions by smooth (or real analytic) convex functions on $\R^d$ is possible in general if and only if $d=1$. Nevertheless, for $d\geq 2$ we give a characterization of the class of convex…

Classical Analysis and ODEs · Mathematics 2012-01-24 Daniel Azagra

We prove that all the zeros of certain meromorphic functions are on the critical line $\text{Re}(s)=1/2$, and are simple (except possibly when $s=1/2$). We prove this by relating the zeros to the discrete spectrum of an unbounded…

Number Theory · Mathematics 2021-08-24 Kim Klinger-Logan

Factorable surfaces, i.e. graphs associated with the product of two functions of one variable, constitute a wide class of surfaces. Such surfaces in the pseudo-Galilean space with zero Gaussian and mean curvature were obtained in [1]. In…

Differential Geometry · Mathematics 2017-03-06 Muhittin Evren Aydin , Mihriban Kulahci , Alper Osman Ogrenmis

Let $U\subseteq\mathbb{R}^{n}$ be open and convex. We show that every (not necessarily Lipschitz or strongly) convex function $f:U\to\mathbb{R}$ can be approximated by real analytic convex functions, uniformly on all of $U$. In doing so we…

Functional Analysis · Mathematics 2012-01-17 D. Azagra

Let $X$ be a real analytic orbifold. Then each stratum of $X$ is a subanalytic subset of $X$. We show that $X$ has a unique subanalytic triangulation compatible with the strata of $X$. We also show that every ${\rm C}^r$-orbifold, $1\leq…

Geometric Topology · Mathematics 2011-06-07 Marja Kankaanrinta

Ranges of the real-valued parameters $\alpha$, $a$, $b$, and $m$ are identified for which the operator $$\mathcal{A}_{\alpha}(a,b)f(x):=x^\alpha\left(f''(x)+\frac{a}{x}f'(x)+\frac{b}{x^2}f(x)\right), \quad x>0,$$ generates an analytic…

Analysis of PDEs · Mathematics 2024-06-25 Patrick Guidotti , Philippe Laurençot , Christoph Walker

We show that the problem of tiling the Euclidean plane with a finite set of polygons (up to translation) boils down to prove the existence of zeros of a non-negative convex function defined on a finite-dimensional simplex. This function is…

Metric Geometry · Mathematics 2014-07-08 J. -R. Chazottes , J. -M. Gambaudo , F. Gautero

Given $d \in \mathbb{N}$, we establish sum-product estimates for finite, non-empty subsets of $\mathbb{R}^d$. This is equivalent to a sum-product result for sets of diagonal matrices. In particular, let $A$ be a finite, non-empty set of $d…

Combinatorics · Mathematics 2021-01-27 Akshat Mudgal

We classify semi-algebraic surfaces in $\mathbb{R}^n$ with isolated singularities up to bi-Lipschitz homeomorphisms with respect to the inner distance. In particular, we obtain complete classifications for the Nash surfaces and the complex…

Differential Geometry · Mathematics 2022-12-14 Alexandre Fernandes , José Edson Sampaio

This paper aims to pursue some classes of normalized analytic functions $f$ with fixed second coefficient defined on open unit disk, such that ${(1+z)^2f(z)}/{z}$ and ${(1+z)f(z)}/{z}$ are functions having positive real part. The radius of…

Complex Variables · Mathematics 2022-03-17 Sushil Kumar , Swati Anand , Naveen Kumar Jain

We introduce a notion of resultant of two meromorphic functions on a compact Riemann surface and demonstrate its usefulness in several respects. For example, we exhibit several integral formulas for the resultant, relate it to potential…

Algebraic Geometry · Mathematics 2009-03-01 B. Gustafsson , V. Tkachev

We prove two theorems. Theorem 1 gives the meromorphic continuation of the multiple zeta function to the whole space. In Theorem 2, we prove asymptotic behavior near the non-positive integers.

Number Theory · Mathematics 2012-05-15 Tomokazu Onozuka