Related papers: Certain functional identities on division rings

Two natural extensions of Jensen's functional equation on the real line are the equations $f(xy)+f(xy^{-1}) = 2f(x)$ and $f(xy)+f(y^{-1}x) = 2f(x)$, where $f$ is a map from a multiplicative group $G$ into an abelian additive group $H$. In a…

Siegel defined in 1929 two classes of power series, the E-functions and G-functions, which generalize the Diophantine properties of the exponential and logarithmic functions respectively. In 1949, he asked whether any E-function can be…

We prove that the characteristic foliation $F$ on a non-singular divisor $D$ in an irreducible projective hyperkaehler manifold $X$ cannot be algebraic, unless the leaves of $F$ are rational curves or $X$ is a surface. More generally, we…

Let X = S \oplus G, where S is a countable abelian semigroup and G is a countably infinite abelian group such that {2g : g in G} is infinite. Let pi: X \to G be the projection map defined by pi(s,g) = g for all x =(s,g) in X. Let f:X \to…

Assume that B(X) is the algebra of all bounded linear operators on a complex Banach space X, and let W in B(X) is such that cl(W(X)) is not equal to X or W=zI, where z is a complex number and I is the identity operator. We show that if f:…

Let $Y$ be an algebraic manifold of dimension 3 with $H^i(Y, \Omega^j_Y)=0$ for all $j\geq 0$, $i>0$ and $h^0(Y, {\mathcal{O}}_Y) > 1$. Let $X$ be a smooth completion of $Y$ such that the boundary $X-Y$ is the support of an effective…

Let $D$ be the differentiation operator $Df=f'$ acting on the Fr\'echet space $\H$ of all entire functions in one variable with the standard (compact-open) topology. It is known since 1950's that the set $H(D)$ of hypercyclic vectors for…

The functional equation f(p(z))=g(q(z)) is studied, where p,q are polynomials and f,g are trancendental meromorphic functions in C. We find all the pairs p,q for which there exist nonconstant f,g satisfying our equation and there exist no…

Given a non-positive DG-ring $A$, associated to it are the reduction and coreduction functors $F(-) = \mathrm{H}^0(A)\otimes^{\mathrm{L}}_A -$ and $G(-) = \mathrm{R}\operatorname{Hom}_A(\mathrm{H}^0(A),-)$, considered as functors…

We study discontinuous solutions of the monomial equation $\frac{1}{n!}\Delta_h^nf(x)=f(h)$. In particular, we characterize the closure of their graph, $\bar{G(f)}^{\mathbb{R}^2}$, and we use the properties of these functions to present a…

We prove the existence of HK density function for a pair $(R, I)$, where $R$ is a ${\mathbb N}$-graded domain of finite type over a perfect field and $I\subset R$ is a graded ideal of finite colength. This generalizes our earlier result…

In this paper we study meromorphic functions solutions of linear shift difference equations in coefficients in $\mathbb{C}(x)$ involving the operator $\rho: y(x)\mapsto y(x+h)$, for some $h\in \mathbb{C}^*$. We prove that if $f$ is solution…

Let $f$ and $g$ be analytic on the unit disc $\mathbb{D}$. The integral operator $T_g$ is defined by $ T_g f(z) = \int_0^z f(t)g'(t)\,dt$, $z \in \mathbb{D}$. The problem considered is characterizing those symbols $g$ for which $T_g$ acting…

Given a semigroup $S$ equipped with an involutive automorphism $\sigma$, we determine the complex-valued solutions $f,g,h$ of the functional equation \begin{equation*}f(x\sigma(y))=f(x)g(y)+g(x)f(y)+h(x)h(y),\,\,x,y\in S,\end{equation*} in…

Let $k$ be an arbitrary field. We construct examples of regular local $k$-algebras $R$ (of positive dimension) for which the ring of differential operators $D_k(R)$ is trivial in the sense that it contains {\it no} operators of positive…

Semi-free ideal rings, or semifirs, were introduced by Paul M. Cohn to study universal localizations in the non-commutative setting. We provide new examples of semifirs consisting of analytic functions in several non-commuting variables.…

Let $K$ be a one-variable function field over a field of constants of characteristic 0. Let $R$ be a holomorphy subring of $K$, not equal to $K$. We prove the following undecidability results for $R$: If $K$ is recursive, then Hilbert's…

We prove model completeness for the theory of addition and the Frobenius map for certain subrings of rational functions in positive characteristic. More precisely: Let $p$ be a prime number, $\mathbb{F}_{p}$ the prime field with $p$…

Given a nonzero germ h of holomorphic function on (C^n,0), we study the condition: ``the ideal Ann\_D 1/h is generated by operators of order 1''. When h defines a generic arrangement of hypersurfaces with an isolated singularity, we show…

Motivated by some algorithmic problems, we give lower bounds on the size of the multiplicative groups containing rational function images of low-dimensional affine subspaces of a finite field~$\mathbb{F}_{q^n}$ considered as a linear space…