A Mergelyan Theorem for mappings to ℂ2∖ℝ2

We investigate the question whether a Mergelyan Theorem holds for mappings to ℂⁿ ∖ A. The main result is the prove of such a theorem for mappings to ℂ²∖ℝ².     

A regularity theorem for deformations of a compact complex surface

Let ƒ:M →D ⊑C ⁿ be a holomorphic family of compact, complex surfaces, which is locally trivial onD∖Z, for an analytic subsetZ. Conditions are found under which ƒ extends trivially toD, if the fibers of ƒ|_D∖Z are either Hirzebruch surfaces (projective bundles overP ₁), Hopf surfaces (elliptic bundles overP ₁), hyperelliptic bundles, or any compact complex surface having one of these as minimal model under blowing-down. The results of this paper are motivated by the existence of non-Hausdorff moduli spaces in the deformation of complex structure for certain complex manifolds.     

One-parameter families of operators in ℂ

We introduce classes of one-parameter families (OPF) of operators on C _c ^t8 (ℂ) which characterize the behavior of operators associated to the problem in the weighted space L² (ℂ, e^−2p) where p is a subharmonic, nonharmonic polynomial. We prove that an order 0 OPF operator extends to a bounded operator from L^q (ℂ) to itself, 1 < q < ∞, with a bound that depends on q and the degree of p but not on the parameter τ or the coefficients of p. Last, we show that there is a one-to-one correspondence given by the partial Fourier transform in τ between OPF operators of order m ≤ 2 and nonisotropic smoothing (NIS) operators of order m ≤ 2 on polynomial models in ℂ².     

A Schur test for weighted mixed-norm spaces

Summary We prove a Schur test for mixed-norm spaces L^p,q, 1 < p,q < ∞. Also we prove another version of the Schur test for discrete weighted mixed-norm spaces l^p,q _w, 1 < p,q < ∞, and wis a weight. We show that if w ₁, and w ₂are two weight functions on the index sets Jx Iand K x Lrespectively, and A =(a _{ji, kl} ) _{j∈J, i∈I, k∈K, l∈L} is an infinite matrix, then under certain conditions, Ais a bounded operator from l^p,q _w1, 1 < p,q < ∞ to l^p,q _w2. This will be a key result in proving boundedness of important operators in our work in time-frequency analysis.</o:p>     

PRODUCTS OF CIRCULANT GRAPHS

ABSTRACT

Graph products of circulants are studied. It is shown that if G and H are circulants and gcd(v(G), v(H)) = 1, then every B-product of G and H is again a circulant. We prove that if m ≠ 2, then the generalised prism K₂ ^mxC_n is a circulant iff n is odd. A similar result is deduced for the conjunction. We also prove that C_p x C_q is a circulant iff p and q are relatively prime. We close by showing that the composition of two circulants is again a circulant and explicitly describe the resultant circulant's jump sequence in terms of the constituent circulants' jump sequences.     

On the number of nowhere zero points in linear mappings

LetA be a nonsingularn byn matrix over the finite fieldGF _q ,k=n/2,q=p ^a ,a1, wherep is prime. LetP(A,q) denote the number of vectorsx in (GF _q ) ⁿ such that bothx andAx have no zero component. We prove that forn2, and ,P(A,q)[(q–1)(q–3)] ^k (q–2) ^n–2k and describe all matricesA for which the equality holds. We also prove that the result conjectured in [1], namely thatP(A,q)1, is true for allqn+23 orqn+14.     

Analytic sets extending the graphs of holomorphic mappings

Let D, D′ ⊂ ℂⁿ be bounded domains with smooth real analytic boundaries and ƒ: D → D′ be a proper holomorphic map. Our main result implies that if the graph of ƒ extends as an analytic set to a neighborhood of a poìnt (a, a′) ∈ ∂D × 3D′ with a′ ∈ cl_ƒ(a), then ƒ extends holomorphically to a neighborhood of a.     

On the degree growth of birational mappings in higher dimension

Let ƒ be a birational map of C ^d ,and consider the degree complexity or asymptotic degree growth rate δ(ƒ) = lim_n → ∞ (deg(ƒⁿ))^1/n.We introduce a family of elementary maps, which have the form ƒ = L o J, where L is (invertible) linear, and J(x ₁ ⁻¹ ,..., x_d) = (x ₁ ⁻¹ ,...,x _d ⁻¹ .We develop a method of regularization and show how it can be used to compute δ for an elementary map.     

Lipschitz selections of set-valued mappings and Helly’s theorem

We prove a Helly-type theorem for the family of all m-dimensional convex compact subsets of a Banach space X. The result is formulated in terms of Lipschitz selections of set-valued mappings from a metric space (M, ρ) into this family. Let M be finite and let F be such a mapping satisfying the following condition: for every subset M′ ⊂ M consisting of at most 2^m+1 points, the restriction F|_M′ of F to M′ has a selection f_M′ (i. e., f_M′(x) ∈ F(x) for all x ∈ M′) satisfying the Lipschitz condition ‖ƒ_M′(x) − ƒ_M′(y)‖_X ≤ ρ(x, y), x, y ∈ M′. Then F has a Lipschitz selection ƒ: M → X such that ‖ƒ(x) − ƒ(y)‖_X ≤ γρ(x,y), x, y ∈ M where γ is a constant depending only on m and the cardinality of M. We prove that in general, the upper bound of the number of points in M′, 2^m+1, is sharp. If dim X = 2, then the result is true for arbitrary (not necessarily finite) metric space. We apply this result to Whitney’s extension problem for spaces of smooth functions. In particular, we obtain a constructive necessary and sufficient condition for a function defined on a closed subset of R ² to be the restriction of a function from the Sobolev space W _∞ ² (R ²).A similar result is proved for the space of functions on R ² satisfying the Zygmund condition.     

Factorization of Hardy spaces and Hankel operators on convex domains in ℂ n

In this article we study the (small) Hankel operator h_b on the Hardy and Bergman spaces on a smoothly bounded convex domain of finite type in ℂⁿ. We completely characterize the Hankel operators h_b that are bounded, compact, and belong to the Schatten ideal S_p, for 0 < p < ∞. In particular, if h_b denotes the Hankel operator on the Hardy space H² (Ω), we prove that h_b is bounded if and only if b ∈ BMOA, compact if and only if b ∈ VMOA, and in the Schatten class if and only if b ∈e B_p, 0 < p < ∞. This last result extends the analog theorem in the case of the unit disc of Peller [19] and Semmes [21]. In order to characterize the bounded Hankel operators, we prove a factorization theorem for functions in H¹ (Ω), a result that is of independent interest.     

Cycles for Rational Maps of Good Reduction Outside a Prescribed Set

Let K be a number field and S a fixed finite set of places of K containing all the archimedean ones. Let R _S be the ring of S-integers of K. In the present paper we study the cycles in for rational maps of degree ≥2 with good reduction outside S. We say that two ordered n-tuples (P ₀, P ₁,… ,P _n−1) and (Q ₀, Q ₁,… ,Q _n−1) of points of are equivalent if there exists an automorphism A ∈ PGL₂(R _S ) such that P _i = A(Q _i ) for every index i∈{0,1,… ,n−1}. We prove that if we fix two points , then the number of inequivalent cycles for rational maps of degree ≥2 with good reduction outside S which admit P ₀, P ₁ as consecutive points is finite and depends only on S and K. We also prove that this result is in a sense best possible.     

Attracting basins in ℙ2

We prove the existence of infinitely many attracting basins for some holomorphic mappings in ℙ². We also show that if a family of mappings has a complex generic homoclinic tangency, then some of the mappings in the family have an attractive periodic fixed point.     

The norm ratio of the polynomials with coefficients as binary sequence

Given a positive integerq, the ratio of the 2q-norm of a polynomial which its coefficients form a binary sequence and its 2-norm arose from telecommunication engineering consists of finding any type of such polynomials having the ratio “small”. In this paper we consider some special types of these polynomials, discuss the sharpest possible upper bound, and prove a result for the ratio. MAIN FACTS: A conjecture over a Rudin-Shapiro polynomialP _n which has degree 2 ⁿ ?1 is that for any integerq, the ratio of its 2 _q norm and its 2 norm is asymptotic to the 2qth root of 2 ^q (q+1)^?1. In other words $||P_n ||_{2q} \sim ||P_n ||_2 \sqrt[{2q}]{{\frac{{2q}}{{q + 1}}}}$ . So far only up toq= 2 has been verified. However if the asymptotic behavior is valid for an evenq, then it is also valid for its next consecutive odd integer.     

A local extension theorem for proper holomorphic mappings in ℂ<Superscript>2</Superscript>

Let ƒ: D → D′ be a proper holomorphic mapping between bounded domains D, D′ in ℂ².Let M, M′ be open pieces on δD, δD′, respectively that are smooth, real analytic and of finite type. Suppose that the cluster set of M under ƒ is contained in M′. It is shown that ƒ extends holomorphically across M. This can be viewed as a local version of the Diederich-Pinchuk extension result for proper mappings in ℂ².     

On the degree of iterates of automorphisms¶of the affine plane

For a polynomial automorphism f of ?² _ℂ, we set τ = deg f ²)/(deg f). We prove that τ≤ 1 if and only if f is triangularizable. In this situation, we show (by using a deep result from number theory known as the theorem of Skolem–Mahler–Lech) that the sequence (deg f ⁿ ) _{n ∈ℕ} is periodic for large n. In the opposite case, we prove that τ is an integer (τ≥ 2) and that the sequence (deg f ⁿ ) _{n ∈ℕ} is a geometric progression of ratio τ. In particular, if f is any automorphism, we obtain the rationality of the formal series . Received: 1 December 1997     

Best N Term Approximation Spaces for Tensor Product Wavelet Bases

We consider best N term approximation using anisotropic tensor product wavelet bases ("sparse grids"). We introduce a tensor product structure ⊗_q on certain quasi-Banach spaces. We prove that the approximation spaces A^α_q(L₂) and A^α_q(H¹) equal tensor products of Besov spaces B^α_q(L_q), e.g., A^α_q(L₂([0,1]^d)) = B^α_q(L_q([0,1])) ⊗_q · ⊗_q B^α_{q · ·}(L_q([0,1])). Solutions to elliptic partial differential equations on polygonal/polyhedral domains belong to these new scales of Besov spaces.     

Invariant currents and dynamical Lelong numbers

Let ƒ be a polynomial automorphism of ℂ^k of degree λ, whose rational extension to ℙ^k maps the hyperplane at infinity to a single point. Given any positive closed current S on ℙ^k of bidegree (1,1), we show that the sequence λ⁻ⁿ(ƒⁿ)*S converges in the sense of currents on ℙ^k to a linear combination of the Green current T₊ of ƒ and the current of integration along the hyperplane at infinity. We give an interpretation of the coefficients in terms of generalized Lelong numbers with respect to an invariant dynamical current for ƒ⁻¹.     

Center conditions II: Parametric and model center problems

We consider an Abel equation (*)y’=p(x)y ² +q(x)y ³ withp(x), q(x) polynomials inx. A center condition for (*) (closely related to the classical center condition for polynomial vector fields on the plane) is thaty ₀=y(0)≡y(1) for any solutiony(x) of (*). We introduce a parametric version of this condition: an equation (**)y’=p(x)y ² +εq(x)y ³ p, q as above, ℂ, is said to have a parametric center, if for any ε and for any solutiony(ε,x) of (**),y(ε,0)≡y(ε,1). We show that the parametric center condition implies vanishing of all the momentsm _k (1), wherem _k (x)=∫ ₀ ^{x pk} (t)q(t)(dt),P(x)=∫ ₀ ^x p(t)dt. We investigate the structure of zeroes ofm _k (x) and on this base prove in some special cases a composition conjecture, stated in [10], for a parametric center problem. The research of the first and the third author was supported by the Israel Science Foundation, Grant No. 101/95-1 and by the Minerva Foundation.     

Constrained energy problems with applications to orthogonal polynomials of a discrete variable

Given a positive measure Σ with gs > 1, we write Με ℳ^Σ if Μ is a probability measure and Σ—Μ is a positive measure. Under some general assumptions on the constraining measure Σ and a weight functionw, we prove existence and uniqueness of a measure λ^Σ _w that minimizes the weighted logarithmic energy over the class ℳ^Σ. We also obtain a characterization theorem, a saturation result and a balayage representation for the measure λ^Σ _w As applications of our results, we determine the (normalized) limiting zero distribution for ray sequences of a class of orthogonal polynomials of a discrete variable. Explicit results are given for the class of Krawtchouk polynomials. The research done by this author is in partial fulfillment of the Ph.D. requirements at the University of South Florida. The research done by this author was supported, in part, by U.S. National Science Foundation under grant DMS-9501130.     

On simple modules of Hecke algebras of type Dn

This is a continuation of our previous work. We classify all the simple ℋ_q(D _n )-modules via an automorphismh defined on the set { λ | D^λ ≠ 0}. Whenf _n(q) ≠ 0, this yields a classification of all the simple ℋ ^q (D _n)- modules for arbitrary n. In general ( i. e., q arbitrary), if λ⁽¹⁾ = λ⁽²⁾,wegivea necessary and sufficient condition ( in terms of some polynomials ) to ensure that the irreducible ℋ_q,1(B _n )- module D^λ remains irreducible on restriction to ℋ_q(D _n ).