Norm convergence of normalized iterates and the growth of Kœnigs maps

Let ? be an analytic function defined on the unit diskD, with ?(D)?D, ?(0)=0, and ?′(0)=λ≠0. Then by a classical result of G. K?nigs, the sequence of normalized iterates Φ _n /λ ⁿ converges uniformly on compact subsets ofD to a function σ analytic inD which satisfiesσ°φ=λσ. It is of interest in the study of composition operators to know if, whenever σ belongs to a Hardy spaceH _p , the sequence Φ _n /λ ⁿ converges to σ in the norm ofH _p . We show that this is indeed the case, generalizing a result of P. Bourdon obtained under the assumption that ? is univalent. When ? is inner, P. Bourdon and J. Shapiro have shown that σ does not belong to the Nevanlinna class, in particular it does not belong to anyH _p . It is natural to ask, how bad can the growth of σ be in this case? As a partial answer we show that σ always belongs to some Bergman spaceL _a ^p .     

Near Best Tree Approximation

Tree approximation is a form of nonlinear wavelet approximation that appears naturally in applications such as image compression and entropy encoding. The distinction between tree approximation and the more familiar n-term wavelet approximation is that the wavelets appearing in the approximant are required to align themselves in a certain connected tree structure. This makes their positions easy to encode. Previous work [4,6] has established upper bounds for the error of tree approximation for certain (Besov) classes of functions. This paper, in contrast, studies tree approximation of individual functions with the aim of characterizing those functions with a prescribed approximation error. We accomplish this in the case that the approximation error is measured in L ₂, or in the case p2, in the Besov spaces B _p ⁰(L _p ), which are close to (but not the same as) L _p . Our characterization of functions with a prescribed approximation order in these cases is given in terms of a certain maximal function applied to the wavelet coefficients.     

A mapping method in inverse Sturm-Liouville problems with singular potentials

In the space L ₂[0, π], the Sturm-Liouville operator L _D(y) = ?y″ + q(x)y with the Dirichlet boundary conditions y(0) = y(π) = 0 is analyzed. The potential q is assumed to be singular; namely, q = σ′, where σ ∈ L ₂[0, π], i.e., q ∈ W ₂ ^?1 [0, π]. The inverse problem of reconstructing the function σ from the spectrum of the operator L _D is solved in the subspace of odd real functions σ(π/2 ? x) = ?σ(π/2 + x). The existence and uniqueness of a solution to this inverse problem is proved. A method is proposed that allows one to solve this problem numerically.     

The annihilator of Bergman space

LetD be a bounded plane domain (with some smoothness requirements on its boundary). LetB _p(D), 1≤p<∞, be the Bergmanp-space ofD. In a previous paper we showed that the “natural projection”P, involving the Bergman kernel forD, is a bounded projection fromL _p(D) ontoB _p(D), 1<p<∞. With this we have the decompositionL _p(D)=B _p(D)⊕B _q ^⊥ (D,p ^–1+q ^–=1, 1<p< ∞. Here, we show that the annihilatorB _q ^⊥ (D) is the space of allL _p-complex derivatives of functions belonging to Sobolev space and which vanish on the boundary ofD. This extends a result of Schiffer for the casep=2. We also study certain operators onL _p(D). Especially, we show that , whereI is the identity operator and ? is an operator involving the adjoint of the Bergman kernel. Other relationships relevant toB _q ^⊥ (D) are studied.     

Chaos and null systems

A dynamical system is called a null system, if the topological sequence entropy along any strictly increasing sequence of non-negative integers is 0. Let 0≦p≦q≦1. A dynamical system is Dqp chaotic, if there is an uncountable subset in which any two different points have trajectory approaching time set with lower density p and upper density q. In this paper, we show that there is a null system which is also D3/41/4 chaotic.     

Fourier multipliers of Lipschitz spaces

Let G denote an infinite, compact, metrizable, 0-dimensional, Abelian group. The following are characterized: (i) the multipliers from one Lipschitz space Lip(α, p; G) to another Lipschitz space Lip(β, q; G) for 0 < α < β < ∞ and 1 ? p, q ? ∞; and (ii) the multipliers from Lip(α, p; G) to Lip(β, q; G) for 0 < β ? α < ∞ and 1 < q ? 2 ? p < ∞. Two special cases of (i), namely the case q = ∞ and the case p = 1, were obtained by the authors in an earlier publication (1981). A. Zygmund (J. Math. Mech.8 (1959), 889–895) and T. Mizuhara (Tôhoku Math. J.24 (1972), 263–268) have characterized the multipliers of certain Lipschitz spaces defined on the circle group.     

Lipschitz continuity and Gateaux differentiability of the best approximation operator in vector-valued Chebyshev approximation

When G is a finite-dimensional Haar subspace of C(X,R^k), the vector-valued functions (including complex-valued functions when k is 2) from a finite set X to Euclidean k-dimensional space, it is well-known that at any function f in C(X,R^k) the best approximation operator satisfies the strong unicity condition of order 2 and a Lipschitz (Hőlder) condition of order . This note shows that in fact the best approximation operator satisfies the usual Lipschitz condition of order 1 and has a Gateaux derivative on a dense set of functions in C(X,R^k).     

Lipschitz continuity of the best approximation operator in vector-valued Chebyshev approximation

When G is a finite dimensional Haar subspace of C(X,R^k), the vector-valued continuous functions (including complex-valued functions when k is 2) from a finite set X to Euclidean k-dimensional space, it is well-known that at any function f in C(X,R^k) the best approximation operator satisfies the strong unicity condition of order 2 and a Lipschitz (Hőlder) condition of order . This note shows that in fact the best approximation operator satisfies the usual Lipschitz condition of order 1.     

Arrangements in unitary and orthogonal geometry over finite fields

Let V be an n-dimensional vector space over F_q. Let Φ be a Hermitian form with respect to an automorphism σ with σ² = 1. If σ = 1 assume that q is odd. Let $\text{A}$ be the arrangement of hyperplanes of V which are non-isotropic with respect to Φ, and let L be the intersection lattice of $\text{A}$. We prove that the characteristic polynomial of L has n ? v roots 1, q,…, q^{n ? v? 1} where v is the Witt index of Φ.     

Fujita type conditions to heat equation with variable source

This paper studies heat equation with variable exponent u _t = Δu + u^p(x) + u ^q in ? ^N × (0, T), where p(x) is a nonnegative continuous, bounded function, 0 < p_? = inf p(x) ≤ p(x) ≤ sup p(x) = p₊. It is easy to understand for the problem that all nontrivial nonnegative solutions must be global if and only if max {p₊, q} ≤ 1. Based on the interaction between the two sources with fixed and variable exponents in the model, some Fujita type conditions are determined that that all nontrivial nonnegative solutions blow up in finite time if 0 < q ≤ 1 with p₊ > 1, or 1 < q < 1 + \(\frac{2}{N}\). In addition, if q > 1 + \(\frac{2}{N}\), then (i) all solutions blow up in finite time with 0 < p_? ≤ p₊ ≤ 1 + \(\frac{2}{N}\); (ii) there are both global and nonglobal solutions for p_? > 1 + \(\frac{2}{N}\); and (iii) there are functions p(x) such that all solutions blow up in finite time, and also functions p(x) such that the problem possesses global solutions when p_? < 1 + \(\frac{2}{N}\) < p₊.     

Simultaneous Polynomial Approximation in the Weighted Chebyshev Norm

Simultaneous approximation means that a given sufficiently smooth function g:[-1, 1] and its derivatives up to order q are approximated by a single polynomial p and its derivatives. This paper deals with new error estimates (in a weighted norm with explicit constants) and corresponding algorithms in the most interesting cases q = 1 and q = 2. The described method is based on the close relationship between algebraic and trigonometric polynomial approximation.     

Maximum modulus sets in pseudoconvex boundaries

LedD be a strictly pseudoconvex domain in ? ⁿ withC ^∞ boundary. We denote byA ^∞(D) the set of holomorphic functions inD that have aC ^∞ extension to \(\bar D\) . A closed subsetE of ?D is locally a maximum modulus set forA ^∞(D) if for everyp∈E there exists a neighborhoodU ofp andf∈A ^∞(D∩U) such that |f|=1 onE∩U and |f|<1 on \(\bar D \cap U\backslash E\) . A submanifoldM of ?D is an interpolation manifold ifT _p (M)?T _p ^c (?D) for everyp∈M, whereT _p ^c (?D) is the maximal complex subspace of the tangent spaceT _p (?D). We prove that a local maximum modulus set forA ^∞ (D) is locally contained in totally realn-dimensional submanifolds of ?D that admit a unique foliation by (n?1)-dimensional interpolation submanifolds. LetD =D ₁ x ... xD _r ? ? ⁿ whereD _i is a strictly pseudoconvex domain withC ^∞ boundary in ? ⁿ _i ,i=1,…,r. A submanifoldM of ?D ₁×…×?D _r verifies the cone condition if \(II_p (T_p (M)) \cap \bar C[Jn_1 (p),...,Jn_r (p)] = \{ 0\} \) for everyp∈M, wheren _i (p) is the outer normal toD _i atp, J is the complex structure of ? ⁿ , \(\bar C[Jn_1 (p),...,Jn_r (p)]\) is the closed positive cone of the real spaceV _p generated byJ _{n 1}(p),…,J _{n r}(p), and II _p is the orthogonal projection ofT _p (?D) onV _p . We prove that a closed subsetE of ?D ₁×…×?D _r which is locally a maximum modulus set forA ^∞(D) is locally contained inn-dimensional totally real submanifolds of ?D ₁×…×?D _r that admit a foliation by (n?1)-dimensional submanifolds such that each leaf verifies the cone condition at every point ofE. A characterization of the local peak subsets of ?D ₁×…×?D _r is also given.     

Hilbertian and complemented finite-dimensional subspaces of Banach lattices and unitary ideals

Let 1 < p ? 2 ? q < ∞ and X be either a Banach lattice which is p-convex and q-concave or a unitary ideal of operators on l₂ which is modeled on a symmetric space which is p-convex and q-concave. If E ?X is any n-dimensional subspace, then both the distance from E to $\text{l}{}_2{}^{\mathrm{n}}$ and the relative projection constant of E in X are dominated by $\text{cn}{}^{\mathrm{<mtext>1</mtext><mtext>p</mtext><mtext>\; ?\; </mtext><mtext>1</mtext><mtext>q</mtext>}}$.     

Mixed methods of nonlinear second-order elliptic problems in three variables

Mixed finite element methods for treating the Dirichlet problem for fully nonlinear second-order elliptic operators in divergence form are extended to cover the three-dimensional case. Existence and uniqueness of the approximation are proved, and optimal error estimates in L² are demonstrated for both the scalar and vector functions approximated by the method. Error estimates for the pressure variable are also derived in L^q; the result is optimal in order for 2 ≤ q ≤ 6 and less than optimal for 6 < q ≤ + ∞. Newton's method can be used to solve the nonlinear algebraic equations. © 1996 John Wiley & Sons, Inc.     

Distortion Properties of Holomorphic Functions of Several Complex Variables

Let Q(D) be a class of functions q, q(0) = 0, |q(z)| < 1 holomorphic in the Reinhardt domain D ? C ⁿ, a and b — arbitrary fixed numbers satisfying the condition — 1 ≤ b < a ≤ 1. ??(a, b; D) — the class of functions p such that p ? ??(a, b; D) iff for some q ? Q(D) and every z ? D. S*(a, b; D) — the class of functions f such that f ? S*(a, g; D) iff S^c(a, b; D) — the class of functions q such that q ? S^c(a, b; D) iff , where p ε ??(a, b; D) and K is an operator of the form for z=z₁,z₂,…z_n. The author obtains sharp bounds on |p(z)|, f(z)| g(z)| as well as sharp coefficient inequalities for functions in ??(a, b; D), S*(a, b; D) and S^c(a, b; D).     

Approximation by Nörlund means of quadratical partial sums of double Walsh-Fourier series

In this article we discuss the Nörlund means of cubical partial sums of Walsh-Fourier series of a function in L ^p (1 ≤ p ≤ ∞). We investigate the rate of the approximation by this means, in particular, in Lip(α, p), where α > 0 and 1 ≤ p ≤ ∞. In case p = ∞ by L ^p we mean C _W , the collection of the uniformly W-continuous functions. Our main theorems state that the approximation behavior of the two-dimensional Walsh- Nörlund means is so good as the approximation behavior of the one-dimensional Walsh- Nörlund means. As special cases, we get the Nörlund logarithmic means of cubical partial sums of Walsh-Fourier series discussed recently by Gát and Goginava [5] in 2004 and the (C, β)-means of Marcinkiewicz type with respect to double Walsh-Fourier series discussed by Goginava [10]. Earlier results on one-dimensional Nörlund means of the Walsh-Fourier series was given by Móricz and Siddiqi [14].     

The average errors for Hermite-Fejr interpolation on the Wiener space

For 1≤ p ∞, firstly we prove that for an arbitrary set of distinct nodes in [-1, 1], it is impossible that the errors of the Hermite-Fejr interpolation approximation in L p -norm are weakly equivalent to the corresponding errors of the best polynomial approximation for all continuous functions on [-1, 1]. Secondly, on the ground of probability theory, we discuss the p-average errors of Hermite-Fejr interpolation sequence based on the extended Chebyshev nodes of the second kind on the Wiener space. By our results we know that for 1≤ p ∞ and 2≤ q ∞, the p-average errors of Hermite-Fejr interpolation approximation sequence based on the extended Chebyshev nodes of the second kind are weakly equivalent to the p-average errors of the corresponding best polynomial approximation sequence for L q -norm approximation. In comparison with these results, we discuss the p-average errors of Hermite-Fejr interpolation approximation sequence based on the Chebyshev nodes of the second kind and the p-average errors of the well-known Bernstein polynomial approximation sequence on the Wiener space.     

Restricted Nonlinear Approximation

We introduce a new form of nonlinear approximation called restricted approximation . It is a generalization of n -term wavelet approximation in which a weight function is used to control the terms in the wavelet expansion of the approximant. This form of approximation occurs in statistical estimation and in the characterization of interpolation spaces for certain pairs of L _p and Besov spaces. We characterize, both in terms of their wavelet coefficients and also in terms of their smoothness, the functions which are approximated with a specified rate by restricted approximation. We also show the relation of this form of approximation with certain types of thresholding of wavelet coefficients. March 31, 1998. Date accepted: January 28, 1999.     

Non-linear Approximations Using Sets of Finite Cardinality or Finite Pseudo-dimension

We investigate optimal non-linear approximations of multivariate periodic functions with mixed smoothness. In particular, we study optimal approximation using sets of finite cardinality (as measured by the classical entropy number), as well as sets of finite pseudo-dimension (as measured by the non-linear widths introduced by Ratsaby and Maiorov). Approximation error is measured in the L_q(T^d)-sense, where T^d is the d-dimensional torus. The functions to be approximated are in the unit ball SB^r_p, θ of the mixed smoothness Besov space or in the unit ball SW^r_p of the mixed smoothness Sobolev space. For 1<p, q<∞, 0<θ⩽∞ and r>0 satisfying some restrictions, we establish asymptotic orders of these quantities, as well as construct asymptotically optimal approximation algorithms. We particularly prove that for either r>1/p and θ⩾p or r>(1/p−1/q)₊ and θ⩾min{q, 2}, the asymptotic orders of these quantities for the Besov class SB^r_p, θ are both n^−r(log n)^{(d−1)(r+1/2−1/θ)}.