Related papers: Positive semidefinite analytic functions on real a…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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…
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.