We prove the existence of an effectively computable integer polynomial P(x,t₀,...,t₅) having the following property. Every continuous function $f:{ℝ}^s\to ℝ$ can be approximated with arbitrary accuracy by an infinite sum ${\sum }_{r=1}^{\infty }{H}_r(x₁,...,x_s)\in C^{\infty }\left({ℝ}^s\right)$ of analytic functions $H_r$, each solving the same system of universal partial differential equations, namely $P(x_{\sigma };H_r,\partial H_r/\partial x_{\sigma },...,\partial ⁵H_r/\partial x{⁵}_{\sigma }⁵)=0$ (σ = 1,..., s).

It is well known that the Taylor series of every function in the Fock space $F_{\alpha }^p$ converges in norm when 1 < p < ∞. It is also known that this is no longer true when p = 1. In this note we consider the case 0 < p < 1 and show that the Taylor series of functions in $F_{\alpha }^p$ do not necessarily converge “in norm”.

Let X be an analytic set defined by polynomials whose coefficients $a₁,...,a_s$ are holomorphic functions. We formulate conditions on sequences $a_{1,\nu },...,a_{s,\nu }$ of holomorphic functions converging locally uniformly to $a₁,...,a_s$, respectively, such that the sequence $X_{\nu }$ of sets obtained by replacing $a_j$’s by $a_{j,\nu }$’s in the polynomials converges to X.

The main result is as follows. Let X be a Banach space and let Y be a closed subspace of X. Assume that the pair $(X*,Y^{\perp })$ has the λ-bounded approximation property. Then there exists a net $\left(S_{\alpha }\right)$ of finite-rank operators on X such that $S_{\alpha }\left(Y\right)\subset Y$ and $\left|\right|S_{\alpha }\left|\right|\le \lambda$ for all α, and $\left(S_{\alpha }\right)$ and $\left(S{*}_{\alpha }\right)$ converge pointwise to the identity operators on X and X*, respectively. This means that the pair (X,Y) has the λ-bounded duality approximation property.

Let f and g be entire functions, n, k and m be positive integers, and λ, μ be complex numbers with |λ| + |μ| ≠ 0. We prove that ${\left(fⁿ\left(z\right)(\lambda f^m\left(z\right)+\mu )\right)}^{(}k)$ must have infinitely many fixed points if n ≥ k + 2; furthermore, if ${\left(fⁿ\left(z\right)(\lambda f^m\left(z\right)+\mu )\right)}^{(}k)$ and ${\left(gⁿ\left(z\right)(\lambda g^m\left(z\right)+\mu )\right)}^{(}k)$ have the same fixed points with the same multiplicities, then either f ≡ cg for a constant c, or f and g assume certain forms provided that n > 2k + m* + 4, where m* is an integer that depends only on λ.

Let $\varphi$ be an entire self-map of ${ℂ}^N$, $u_0$ be an entire function on ${ℂ}^N$ and $𝐮=(u_1,\cdots ,u_N)$ be a vector-valued entire function on ${ℂ}^N$. We extend the Stević-Sharma type operator to the classcial Fock spaces, by defining an operator $T_{u_0,𝐮,\varphi }$ as follows: $$-.4pt{T}_{u_0,𝐮,\varphi }f=u_0·f\circ \varphi +\sum _{i=1}^N{u}_i·\frac{\partial f}{\partial z_i}\circ \varphi .$$ We investigate the boundedness and compactness of $T_{u_0,𝐮,\varphi }$ on Fock spaces. The complex symmetry and self-adjointness of $T_{u_0,𝐮,\varphi }$ are also characterized.

In this article, we study germs of holomorphic vector fields which are “higher order” perturbations of a quasihomogeneous vector field in a neighborhood of the origin of ${ℂ}^n$, fixed point of the vector fields. We define a “Diophantine condition” on the quasihomogeneous initial part $S$ which ensures that if such a perturbation of $S$ is formally conjugate to $S$ then it is also holomorphically conjugate to it. We study the normal form problem relatively to $S$. We give a condition on $S$ that ensures...

A point $({\xi }_1,{\xi }_2)$ with coordinates in a subfield of $ℝ$ of transcendence degree one over $\mathbb{Q}$, with $1,{\xi }_1,{\xi }_2$ linearly independent over $\mathbb{Q}$, may have a uniform exponent of approximation by elements of ${\mathbb{Q}}^2$ that is strictly larger than the lower bound $1/2$ given by Dirichlet’s box principle. This appeared as a surprise, in connection to work of Davenport and Schmidt, for points of the parabola $\{(\xi ,{\xi }^2);\xi \in ℝ\}$. The goal of this paper is to show that this phenomenon extends to all real conics defined over $\mathbb{Q}$, and that the largest...

In this note, we prove that there is no transcendental entire function $f\left(z\right)\in \mathbb{Q}\left[\right[z\left]\right]$ such that $f\left(\mathbb{Q}\right)\subseteq \mathbb{Q}$ and $\mathrm{den}f(p/q)=F\left(q\right)$, for all sufficiently large $q$, where $F\left(z\right)\in \mathbb{Z}\left[z\right]$.

It is shown that there is a subspace $Z_q$ of ${\ell }_q$ for $1<q<2$ which is isomorphic to ${\ell }_q$ such that ${\ell }_q/Z_q$ does not have the approximation property. On the other hand, for $2<p<\infty$ there is a subspace $Y_p$ of ${\ell }_p$ such that $Y_p$ does not have the approximation property (AP) but the quotient space ${\ell }_p/Y_p$ is isomorphic to ${\ell }_p$. The result is obtained by defining random “Enflo-Davie spaces” $Y_p$ which with full probability fail AP for all $2<p\le \infty$ and have AP for all $1\le p\le 2$. For $1<p\le 2$, $Y_p$ are isomorphic to ${\ell }_p$.

Let d be a positive integer and α a real algebraic number of degree d + 1. Set $\alpha ̲:=(\alpha ,\alpha ²,...,{\alpha }^d)$. It is well-known that $c\left(\alpha ̲\right):=limin{f}_{q\to \infty }{q}^{1/d}·\left|\right|q\alpha ̲\left|\right|>0$, where ||·|| denotes the distance to the nearest integer. Furthermore, $c\left(\alpha ̲\right)n^{-1/d}\le c\left(n\alpha ̲\right)\le nc\left(\alpha ̲\right)$ for any integer n ≥ 1. Our main result asserts that there exists a real number C, depending only on α, such that $c\left(n\alpha ̲\right)\le C{n}^{-1/d}$ for any integer n ≥ 1.

Let β ∈ (1,2) and x ∈ [0,1/(β-1)]. We call a sequence ${\left({ϵ}_i\right)}_{i=1}^{\infty }\in {0,1}^{\mathbb{N}}$ a β-expansion for x if $x={\sum }_{i=1}^{\infty }{ϵ}_i{\beta }^{-i}$. We call a finite sequence ${\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n$ an n-prefix for x if it can be extended to form a β-expansion of x. In this paper we study how good an approximation is provided by the set of n-prefixes. Given $\Psi :\mathbb{N}\to {ℝ}_{\ge 0}$, we introduce the following subset of ℝ: $W_{\beta }\left(\Psi \right):={\bigcap }_{m=1}^{\infty }{\bigcup }_{n=m}^{\infty }{\bigcup }_{{\left({ϵ}_i\right)}_{i=1}^n\in {0,1}^n}[{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right),{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)+\Psi \left(n\right)]$In other words, $W_{\beta }\left(\Psi \right)$ is the set of x ∈ ℝ for which there exist infinitely many solutions to the inequalities $0\le x-{\sum }_{i=1}^n\left({ϵ}_i\right)/\left({\beta }^i\right)\le \Psi \left(n\right)$. When ${\sum }_{n=1}^{\infty }{2}^n\Psi \left(n\right)<\infty$, the Borel-Cantelli lemma tells us that the Lebesgue measure...

Let $P\left(z\right)$ be a polynomial of degree $n$ having no zeros in $\left|z\right|<k$, $k\le 1$, and let $Q\left(z\right):=z^n\overline{P(1/\overline{z})}$. It was shown by Govil that if ${max}_{\left|z\right|=1}\left|P^{\text{'}}\left(z\right)\right|$ and ${max}_{\left|z\right|=1}\left|Q^{\text{'}}\left(z\right)\right|$ are attained at the same point of the unit circle $\left|z\right|=1$, then $$\underset{\left|z\right|=1}{max}|P^{\text{'}}\left(z\right)|\le \frac{n}{1+k^n}\underset{\left|z\right|=1}{max}\left|P\left(z\right)\right|.$$ The main result of the present article is a generalization of Govil’s polynomial inequality to a class of entire functions of exponential type.

We give in ${ℝ}^6$ a real analytic almost complex structure $J$, a real analytic hypersurface $M$ and a vector $v$ in the Levi null set at $0$ of $M$, such that there is no germ of $J$-holomorphic disc $\gamma$ included in $M$ with $\gamma \left(0\right)=0$ and $\frac{\partial \gamma }{\partial x}\left(0\right)=v$, although the Levi form of $M$ has constant rank. Then for any hypersurface $M$ and any complex structure $J$, we give sufficient conditions under which there exists such a germ of disc.

The Littlewood conjecture in Diophantine approximation claims that $$\underset{q\ge 1}{inf}q·\parallel q\alpha \parallel ·\parallel q\beta \parallel =0$$ holds for all real numbers $\alpha$ and $\beta$, where $\parallel ·\parallel$ denotes the distance to the nearest integer. Its $p$-adic analogue, formulated by de Mathan and Teulié in 2004, asserts that $$\underset{q\ge 1}{inf}q·\parallel q\alpha \parallel ·{\left|q\right|}_p=0$$ holds for every real number $\alpha$ and every prime number $p$, where ${|·|}_p$ denotes the $p$-adic absolute value normalized by ${\left|p\right|}_p=p^{-1}$. We survey the known results on these conjectures and highlight recent developments. ...

Let F be the Cartesian product of N closed sets in ℂ. We prove that there exists a function g which is continuous on F and holomorphic on the interior of F such that ${\Gamma }_g\left(F\right):=(z,g(z\left)\right):z\in F$ is complete pluripolar in ${ℂ}^{N+1}$. Using this result, we show that if D is an analytic polyhedron then there exists a bounded holomorphic function g such that ${\Gamma }_g\left(D\right)$ is complete pluripolar in ${ℂ}^{N+1}$. These results are high-dimensional analogs of the previous ones due to Edlund [Complete pluripolar curves and graphs, Ann. Polon. Math....

Let $\Omega \subset {ℂ}^n$ be a bounded, simply connected $ℂ$-convex domain. Let $\alpha \in {\mathbb{Z}}_{+}^n$ and let $f$ be a function on $\Omega$ which is separately $C^{2{\alpha }_j-1}$-smooth with respect to $z_j$ (by which we mean jointly $C^{2{\alpha }_j-1}$-smooth with respect to $\mathrm{Re}{z}_j$, $\mathrm{Im}{z}_j$). If $f$ is $\alpha$-analytic on $\Omega \setminus f^{-1}\left(0\right)$, then $f$ is $\alpha$-analytic on $\Omega$. The result is well-known for the case ${\alpha }_i=1$, $1\le i\le n$, even when $f$ a priori is only known to be continuous.