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 λ.

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...

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.

Let $\alpha \&gt;1$ be irrational. Several authors studied the numbers $${\ell }^m\left(\alpha \right)=inf\left\{\right|y|:y\in {\Lambda }_m,y\ne 0\},$$ where $m$ is a positive integer and ${\Lambda }_m$ denotes the set of all real numbers of the form $y={ϵ}_0{\alpha }^n+{ϵ}_1{\alpha }^{n-1}+\cdots +{ϵ}_{n-1}\alpha +{ϵ}_n$ with restricted integer coefficients $|{ϵ}_i|\le m$. The value of ${\ell }^1\left(\alpha \right)$ was determined for many particular Pisot numbers and ${\ell }^m\left(\alpha \right)$ for the golden number. In this paper the value of ${\ell }^m\left(\alpha \right)$ is determined for irrational numbers $\alpha$, satisfying ${\alpha }^2=a\alpha \pm 1$ with a positive integer $a$.

Let $X$ denote either ${\mathrm{ℂ\mathbb{P}}}^m$ or ${ℂ}^m$. We study certain analytic properties of the space ${ℰ}^n(X,gp)$ of ordered geometrically generic $n$-point configurations in $X$. This space consists of all $q=(q_1,\cdots ,q_n)\in X^n$ such that no $m+1$ of the points $q_1,\cdots ,q_n$ belong to a hyperplane in $X$. In particular, we show that for a big enough $n$ any holomorphic map $f:{ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)\to {ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)$ commuting with the natural action of the symmetric group $𝐒\left(n\right)$ in ${ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)$ is of the form $f\left(q\right)=\tau \left(q\right)q=(\tau \left(q\right)q_1,\cdots ,\tau \left(q\right)q_n)$, $q\in {ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)$, where $\tau :{ℰ}^n({\mathrm{ℂ\mathbb{P}}}^m,gp)\to \mathrm{𝐏𝐒𝐋}(m+1,ℂ)$ is an $𝐒\left(n\right)$-invariant holomorphic map. A similar result holds true for mappings of the configuration...

We investigate the exponent of convergence of the zero-sequence of solutions of the differential equation $f^{\left(k\right)}+a_{k-1}\left(z\right)f^{(k-1)}+\cdots +a₁\left(z\right)f^{\text{'}}+D\left(z\right)f=0$, (1) where $D\left(z\right)=Q₁\left(z\right)e^{P₁\left(z\right)}+Q₂\left(z\right)e^{P₂\left(z\right)}+Q₃\left(z\right)e^{P₃\left(z\right)}$, P₁(z),P₂(z),P₃(z) are polynomials of degree n ≥ 1, Q₁(z),Q₂(z),Q₃(z),$a_j\left(z\right)$ (j=1,..., k-1) are entire functions of order less than n, and k ≥ 2.

Let $W(m,n;\underline{\psi })$ denote the set of ${\psi }_1,...,{\psi }_n$–approximable points in ${ℝ}^{mn}$. The classical Khintchine–Groshev theorem assumes a monotonicity condition on the approximating functions $\underline{\psi }$. Removing monotonicity from the Khintchine–Groshev theorem is attributed to different authors for different cases of $m$ and $n$. It can not be removed for $m=n=1$ as Duffin–Schaeffer provided the counter example. We deal with the only remaining case $m=2$ and thereby remove all unnecessary conditions from the Khintchine–Groshev theorem. ...