The Besov Space B^{{0,1}}_{1} on Domains

Let Ω be a bounded Lipschitz domain. Define B ^0,1 _{1, r} (Ω) = {f∈L ¹ (Ω): there is an F∈B ^0,1 ₁ (ℝ ⁿ ) such that F|_Ω = f} and B ^0,1 _{1 z} (Ω) = {f∈B ^0,1 ₁ (ℝ ⁿ ) : f = 0 on ℝ ⁿ \}. In this paper, the authors establish the atomic decompositions of these spaces. As by-products, the authors obtained the regularity on these spaces of the solutions to the Dirichlet problem and the Neumann problem of the Laplace equation of ℝ ⁿ ₊. Received June 8, 2000, Accepted October 24, 2000     

The best Lipschitz constants of Bernstein polynomials and Bezier nets over a given triangle

This paper proved the following three facts about the Lipschitz continuous property of Bernstein polynomials and Bezier nets defined on a triangle: suppose f(P) is a real valued function defined on a triangle T, (1) If f(P) satisfies Lipschitz continuous condition, i.e. f(P)∃Lip_Aα, then the corresponding Bernstein Bezier net f_n∃Lip _Asec ^αφα, here φ is the half of the largest angle of triangle T; (2) If Bernstein Bezier net f_n∃Lip _Bα, then its elevation Bezier net Ef_n∃Lip _Bα; and (3) If f(P)∃Lip _Aα, then the corresponding Bernstein polynomials B_n(f;P)∃Lip _Asec ^αφα, and the constant Asec^αφ is best in some sense. Supported by NSF and SF of National Educational Committee     

Lipschitz functions,Schatten ideals,and unbounded derivations

It is proved that, for any Lipschitz function f(t ₁, ..., t _n ) of n variables, the corresponding map f _op: (A ₁, ...,A _n ) → f(A ₁, ..., A _n ) on the set of all commutative n-tuples of Hermitian operators on a Hilbert space is Lipschitz with respect to the norm of each Schatten ideal S ^p , p ∈ (1,∞). This result is applied to the functional calculus of normal operators and contractions. It is shown that Lipschitz functions of one variable preserve domains of closed derivations with values in S ^p . It is also proved that the map f _op is Fréchet differentiable in the norm of S ^p if f is continuously differentiable.     

Univalent mappings associated with the Roper-Suffridge extension operator

The Roper-Suffridge extension operator provides a way of extending a (locally) univalent functionfεH(U) to a (locally) biholomorphic mappingF∈H(B_n). In this paper, we give a simplified proof of the Roper-Suffridge theorem: iff is convex, then so isF. We also show that iff∈S ^*, theF is starlike and that iff is a Bloch function inU, thenF is a Bloch mapping onB _n. Finally, we investigate some open problems. Partially supported by the Natural Sciences and Engineering Research Council of Canada under grant A9221.     

Proper maps which are Lipschitz α up to the boundary

In this paper we shall construct proper holomorphic mappings from strictly pseudoconvex domains in Cⁿ into the unit ball in C^N which satisfy some regularity conditions up to the boundary. If we only require continuity of the map, but not more, then there is a large class of such maps (see [2], [3], and [5]). On the other hand, if F is C^k on the closure, k > N ? n + 1, then there is a very small class of such maps. In fact such F must be holomorphic across the boundary (see [1] and [4]). We are interested in maps F that are less than C^N ? n + 1, but more than continuous on the closure. Namely, we want to find out if this is a very small or a large class. Our main result is as follows. Theorem, (a) Let ga < 1/6; then there exists an N = N(α, n) such that we can find a map F: Bⁿ → B^N that is proper, holomorphic, and Lipschitz α up to the boundary, but F is not holomorphic across the boundary. (b) If D is a general strictly pseudoconvex domain with C^∞ -boundary in Cⁿ, then we can find a map F: D → B^N, N = N(α, n), that is proper, holomorphic, and Lipschitz α up to the boundary of D. To do part (a) of the theorem we only need to show that we can find a proper holomorphic map F = (f₁, …, F_N): Bⁿ → B^N that is Lipschitz α and f_N(z) = c(1 - Z₁)^1/6 for some constant c > 0. With this we can in fact ensure that the map in (a) is at most Lipschitz 1/6 on the closure of Bⁿ.     

Analog of a theorem of forelli for boundary values of holomorphic functions on the unit ball of ?n

Let f ∈ C ^ω (∂B ⁿ ), where B ⁿ is the unit ball of ℂ ⁿ . We prove that if a,b ? [`(B)] ⁿa,b \in {\overline B ^n}, a ≠ b, for every complex line L passing through one of a or b, the restricted function f|_{L ??Bⁿ}f{|_{L \cap \partial {B^n}}} has a holomorphic extention to the cross-section L∩B ⁿ , then f is the boundary value of a holomorphic function in B ⁿ .     

Weighted composition operators on growth spaces

Denote by Hol(B _n ) the space of all holomorphic functions in the unit ball B _n of ℂ ⁿ , n ≥ 1. Given g ∈ Hol(B _m ) and a holomorphic mapping φ: B _m → B _n , put C _φ ^g f = g · (f ∘ φ) for f ∈ Hol(B _n ). We characterize those g and φ for which C _φ ^g is a bounded (or compact) operator from the growth space A ^−log(B _n ) or A ^−β (B _n ), β > 0, to the weighted Bergman space A _α ^p (B _m ), 0 < p < ∞, α > −1. We obtain some generalizations of these results and study related integral operators.     

Roper–Suffridge extension operator and the lower bound for the distortion

Liczberski–Starkov gave a sharp lower bound for DΦ_n(f)(z) near the origin, where Φ_n is the Roper–Suffridge extension operator and f is a normalized convex mapping on the unit disk in C. They gave a conjecture that the sharp lower bound holds on the Euclidean unit ball Bⁿ in Cⁿ. In this paper, we will give a sharp lower bound on Bⁿ for a more general extension operator and for normalized univalent mappings f or normalized convex mappings f. We will give a lower bound for mappings f in a linear invariant family. We will also give a similar sharp lower bound on bounded convex complete Reinhardt domains in Cⁿ.     

An error bound for fixed-point iterations

We derive an error bound for fixed-point iterationsx _n+1=f(x _n ) by using monotonicity in the sense of [2]. The new bound is preferable to the classical one which bounds the error in terms of the Lipschitz constant off.     

Analysis of Symmetric Matrix Valued Functions

For any symmetric function f: ? ⁿ  → ? ⁿ , one can define a corresponding function on the space of n × n real symmetric matrices by applying f to the eigenvalues of the spectral decomposition. We show that this matrix valued function inherits from f the properties of continuity, Lipschitz continuity, strict continuity, directional differentiability, Fréchet differentiability, and continuous differentiability.     

On the Bloch Constant for Κ-Quasiconformal Mappings in Several Complex Variables

We study the Bloch constant for Κ-quasiconformal holomorphic mappings of the unit ball B of C ⁿ . The final result we prove in this paper is: If f is a Κ-quasiconformal holomorphic mappig of B into C ⁿ such that det(f′(0)) = 1, then f(B) contains a schlicht ball of radius at least where C _n > 1 is a constant depending on n only, and as n→∞. Received June 24, 1998, Accepted January 14, 1999     

Increasing and Lipschitz continuous minimizers in one-dimensional linear-convex systems without constraints: The continuous and the discrete case

We consider a stochastic control model with linear transition law and arbitrary convex cost functions, a far-reaching generalization of the familiar linear quadratic model. Firstly conditions are given under which the continuous state version has minimizersf _n at each stagen which are increasing and in addition either right continuous or continuous or Lipschitz continuous with explicitly given Lipschitz constant. For the computationally important discrete version we verify some analogous properties under stronger assumptions.     

Positive Bernstein-Sheffer Operators

Let h(t) = Σ_{n ≥ 1}h_nt_n, h₁ > 0, and exp(xh(t)) = Σ_{n ≥ 0}P_n(x) tⁿ/n!. For f C[0,1], the associated Bernstein-Sheffer operator of degree n is defined by B^h_nf(x) = P_n^{− 1} Σⁿ_{k = 0}f(k/n)(ⁿ_k) P_k(x) P_{n − k}(1 − x) where p_n = p_n(1). We characterize functions h for which B^h_n is a positive operator for all n ≥ 0. Then we give a necessary and sufficient condition insuring the uniform convergence of B^h_nf to f. When h is a polynomial, we give an upper bound for the error f − B^h_nf _∞. We also discuss the behavior of B^h_nf when h is a series with a finite or infinite radius of convergence.     

M-harmonic Besovp-spaces and Hankel operators in the Bergman space on the ball in ℂ n

In this paper, we characterize the Hardy class ofM-harmonic functions on the unit ballB in ℂ ⁿ in terms of the Berezin transform. We define and study the Besovp-spaces ofM-harmonic functions. For anM-harmonic symbolf, we give various criteria for the Hankel operatorsH _f andH _f to be bounded, compact or in the Schatten-von-Neumann classS _p . These criteria establish a close relationship among Besovp-spaces, Berezin transform, the invariant Laplacian, and Hankel operators on the unit ballB.     

Twisted conjugacy classes in symplectic groups,mapping class groups and braid groups (with an appendix written jointly with Francois Dahmani)

We prove that the symplectic group Sp(2n,\mathbbZ){Sp(2n,\mathbb{Z})} and the mapping class group Mod _S of a compact surface S satisfy the R _∞ property. We also show that B _n (S), the full braid group on n-strings of a surface S, satisfies the R _∞ property in the cases where S is either the compact disk D, or the sphere S ². This means that for any automorphism f{\phi} of G, where G is one of the above groups, the number of twisted f{\phi}-conjugacy classes is infinite.     

Some estimates of maximal commutators for Bochner-Riesz operator on Morrey spaces

In this note, the authors show the boundedness of the maximal commutators of Bocher-Riesz operator B ^δ and that of maximal commutator B _δ1* ^b generated by B ^δ and a Lipschitz function b mapping from M _p ^q (R ⁿ ) into BMO space and also maps from M _p ^q (R ⁿ ) into L _(β−n/q).     

Asymptotically spirallike mappings in several complex variables

In this paper, we define the notion of asymptotic spirallikeness (a generalization of asymptotic starlikeness) in the Euclidean space ℂ ⁿ . We consider the connection between this notion and univalent subordination chains. We introduce the notions of A-asymptotic spirallikeness and A-parametric representation, where A ∈ L(ℂ ⁿ , ℂ ⁿ ), and prove that if dt < ∞ (this integral is convergent if k ₊(A) < 2m(A)), then a mapping f ∈ S(B ⁿ ) is A-asymptotically spirallike if and only if f has A-parametric representation, i.e., if and only if there exists a univalent subordination chain f(z, t) such that D f(0, t) = e ^At , {e ^−At f(·, t)} _t≥0 is a normal family on B ⁿ and f = f(·, 0). In particular, a spirallike mapping with respect to A ∈ L(ℂ ⁿ , ℂ ⁿ ) with dt < ∞ has A-parametric representation. We also prove that if f is a spirallike mapping with respect to an operator A such that A + A* = 2I _n , then f has parametric representation (i.e., with respect to the identity). Finally, we obtain some examples of asymptotically spirallike mappings. Partially supported by the Natural Sciences and Engineering Research Council of Canada under Grant A9221. Partially supported by Grant-in-Aid for Scientific Research (C) no. 19540205 from Japan Society for the Promotion of Science, 2007. Partially supported by Romanian Ministry of Education and Research, CEEX Program, Project 2-CEx06-11-10/2006.     

C1, 1 Regularity in semilinear elliptic problems

In this paper we give an astonishingly simple proof of C^{1, 1} regularity in elliptic theory. Our technique yields both new simple proofs of old results as well as new optical results. The setting we'll consider is the following. Let u be a solution to where B, is the unit ball in ?ⁿ, f(x, t) is a bounded Lipschitz function in x, and f_t′ is bounded from below. Then we prove that u ? C^{1, 1} (B_1/2). Our method is a simple corollary to a recent monotonicity argument due to Caffarelli, Jerison, and Kenig. © 2002 Wiley Periodicals, Inc.     

The 2-circle and 2-disk problems on trees

Our purpose here is to consider on a homogeneous tree two Pompeiutype problems which classically have been studied on the plane and on other geometric manifolds. We obtain results which have remarkably the same flavor as classical theorems. Given a homogeneous tree, letd(x, y) be the distance between verticesx andy, and letf be a function on the vertices. For each vertexx and nonnegative integern let Σ _n f(x) be the sum Σ _{d(x, y)=n} f(y) and letB _n f(x)=Σ _{d(x, y)≦n} f(y). The purpose is to study to what extent Σ _n f andB _n f determinef. Since these operators are linear, this is really the study of their kernels. It is easy to find nonzero examples for which Σ _n f orB _n f vanish for one value ofn. What we do here is to study the problem for two values ofn, the 2-circle and the 2-disk problems (in the cases of Σ _n andB _n respectively). We show for which pairs of values there can exist non-zero examples and we classify these examples. We employ the combinatorial techniques useful for studying trees and free groups together with some number theory.     

Factorization for non-nevanlinna classes of analytic functions

A generalization of the Blaschke product is constructed. This product enables one to factor out the zeros of the members of certain non-Nevanlinna classes of functions analytic in the unit disc, so that the remaining (non-vanishing) functions still belong to the same class. This is done for the classesA ⁻ⁿ (0<n<∞) andB ⁻ⁿ (0<n<2) defined as follows:f ∈A ⁻ⁿ iff |f(z)|≦C _f (1−|z|)⁻ⁿ ,f ∈B ⁻ⁿ iff |f(z)|≦exp {C _f (1−|z|)⁻ⁿ }, whereC _f depends onf.