Related papers: $C^r$-right equivalence of analytic functions

The classical Bohr inequality states that if $ f $ is an analytic function with the power series representation $ f(z)=\sum_{n=0}^{\infty}a_nz^n $ in the unit disk $ \mathbb{D}:=\{z\in\mathbb{C} : |z|<1\} $ such that $ |f(z)|\leq 1 $ for…

For $1<p\leq 2$, any $n\geq 1$ and any $f:\{-1,1\}^{n} \to \mathbb{R}$, we obtain $(\mathbb{E} |\nabla f|^{p})^{1/p} \geq C(p)(\mathbb{E}|f|^{p} - |\mathbb{E}f|^{p})^{1/p}$ where $C(p)$ is the smallest positive zero of the confluent…

We work with quasianalytic classes of functions. Consider a real-valued function y = f(x) on an open subset U of Euclidean space, which satisfies a quasianalytic equation G(x, y) = 0. We prove that f is arc-quasianalytic (i.e., its…

Let $f$ be a multiplicative function which satisfies \[ f(a^2+b^2+c^2+d^2) = f(a^2+b^2)+f(c^2+d^2) \] for positive integers $a$, $b$, $c$, and $d$. We show that $f$ is the identity function provided that $f(3)\,f(11) \ne 0$. Otherwise,…

We study the class ${\mathcal C}(\Omega)$ of univalent analytic functions $f$ in the unit disk $\mathbb{D} = \{z \in \mathbb{C} :\,|z|<1 \}$ of the form $f(z)=z+\sum_{n=2}^{\infty}a_n z^n$ satisfying \[ 1+\frac{zf"(z)}{f'(z)} \in \Omega,…

Louveau and Rosendal [5] have shown that the relation of bi-embeddability for countable graphs as well as for many other natural classes of countable structures is complete under Borel reducibility for analytic equivalence relations. This…

For a field $\mathbb{F}$, what are all functions $f \colon \mathbb{F} \rightarrow \mathbb{F}$ that satisfy the functional equation $f \left( (x+y)/(x-y) \right) = (f(x) + f(y))/(f(x) - f(y))$ for all $ x \neq y$ in $\mathbb{F}$? We solve…

Let $\mathcal{E}_n$ be the ring of the germs of $\mathcal{C}^\infty$-functions at the origin in $\R^n$. It is well known that if $I$ is an ideal of $\mathcal{E}_n$, generated by a finite number of germs of analytic functions, then $I$ is…

We present a useful technique of proving strong $\mathfrak{c}$-algebrability. As an outcome we obtain the strong $\mathfrak{c}$-algebrability of the following sets of functions: strong Sierpi\'nski-Zygmund, nowhere H\"older, Bruckner-Garg,…

Let $\mathbb N$ be the set of positive integers, and denote by $\lambda(A)=\inf\{t>0:\sum_{a\in A} a^{-t}<\infty\}$ the convergence exponent of $A\subset\mathbb N$. For $0<q\le 1$, $0\le q\le 1$, respectively, the admissible ideals…

It is a well-known result by Saks \cite{Saks1934} that there exists a function $f \in L^1(\mathbb{R}^2)$ so that for almost every $(x,y)\in \mathbb{R}^2$ \[ \lim_{\substack{\mathrm{diam} R\rightarrow 0, \\ (x,y) \in R \in…

We say that a plane set $A$ is {\it graph-null,} if there is a function $g\colon [0,1] \to \mathbb{R}$ such that $\lambda_2 (A+{\rm graph}\, g)=0$. A plane set $A$ has the {\it translational Kakeya property} if, for every translated copy…

In this note, we characterize all functions $f : \mathbb{N} \rightarrow \mathbb{C}$ such that $f(x_1^2+ \cdots + x_k^2)=f(x_1)^2+ \cdots + f(x_k)^2$, where $k \geq 3$ and $x_1, \cdots, x_k$ are positive integers.

Two rational functions $f,g\in\Bbb F_q(X)$ are said to be {\em equivalent} if there exist $\phi,\psi\in\Bbb F_q(X)$ of degree one such that $g=\phi\circ f\circ\psi$. We give an explicit formula for the number of equivalence classes of…

It is known that the function $f(e^x)/g(e^x)$ is positive definite for some functions $f,g$ implies the operator norm inequality related to $f,g$. We treat functions which have the following form: $f(t) = t^{(1-\sum_{i=1}^n…

Let $(\mathbf X, \mathbf Y)$ denote $n$ independent, identically distributed copies of two arbitrarily correlated Rademacher random variables $(X, Y)$. We prove that the inequality $I(f(\mathbf X); g(\mathbf Y)) \le I(X; Y)$ holds for any…

For $\alpha\in [1,2)$ we consider operators of the form $$L f(x)=\int_{R^d} [f(x+h)-f(x)-1_{(|h|\leq 1)} \nabla f(x)\cdot h] \frac{A(x,h)}{|h|^{d+\alpha}}$$ and for $\alpha\in (0,1)$ we consider the same operator but where the $\nabla f$…

Using essentially only algebra, we give a proof that a cubic rational function over $\mathbb{C}$ with real critical points is equivalent to a real rational function. We also show that the natural generalization to $\mathbb{Q}_p$ fails for…

Arakeljan's Theorem provides conditions on a relatively closed subset $F$ of a domain $G\subset\mathbb{C}$, such that any continuous function $f:F\rightarrow\mathbb{C}$ that is analytic in $F^\circ$, can be approximated by analytic…

In this article it is proved that for every special AJW-algebra $A$ there exist central projections $e$, $f$, $g\in A$, $e+f+g=1$ such that (1) $eA$ is reversible and there exists a norm-closed two sided ideal $I$ of $C^*(eA)$ such that…