Reducing Subspaces for a Class of Multiplication Operators

Let D be the open unit disk in the complex plane C. The Bergmanspace is the Hilbert space of analytic functions f in D such that where dA is the normalized area measure on D. If are two functions in , then the inner product of f and g is given by We study multiplication operators on induced by analytic functions. Thus for H (D), the space ofbounded analytic functions in D, we define by It is easy to check that M is a bounded linear operator on with ||M||=||||=sup{|(z)|:zD}.     

On Artin's Braid Group And Polyconvexity In The Calculus Of Variations

Let R² be a bounded Lipschitz domain and let be a Carathèodory integrand such that F(x,·) is polyconvex for L²-a.e. x . Moreover assume thatF is bounded from below and satisfies the condition as det for L²-a.e. x . The paper describes the effect of domain topologyon the existence and multiplicity of strong local minimizersof the functional wherethe map u lies in the Sobolev space W_id^1,p (, R²) with p 2and satisfies the pointwise condition u(x) >0 for L²-a.e.x . The question is settled by establishing that F[·]admits a set of strong local minimizers on that can be indexed by the group P_n Zⁿ, the directsum of Artin's pure braid group on n strings and n copies ofthe infinite cyclic group. The dependence on the domain topologyis through the number of holes n in and the different mechanismsthat give rise to such local minimizers are fully exploitedby this particular representation.     

Periodic Solutions of Lienard Equations with Asymmetric Nonlinearities at Resonance

The existence of 2-periodic solutions of the second-order differentialequation where a, b satisfy and p(t)=p(t+2),t R, is examined. Assume that limits lim_x±F(x)=F(±)(F(x)=) and lim_x±g(x)=g(±)exist and are finite. It is proved that the equation has atleast one 2-periodic solution provided that the zeros of thefunction ₁ are simple and the zeros of the functions ₁, ₂ aredifferent and the signs of ₂ at the zeros of ₁ in [0,2/n) donot change or change more than two times, where ₁ and ₂ aredefined as follows: Moreover, it is also proved that the given equation has at leastone 2-periodic solution provided that the following conditionshold: with 1 p < q 2.     

Immanant Inequalities, Induced Characters, and Rank Two Partitions

If = {₁, ₂, ..., _s}, where _{1 2} ... _s > 0, is a partitionof n then denotes the associated irreducible character of S_n,the symmetric group on {1, 2, ..., n}, and, if cCS_n, the groupalgebra generated by C and S_n, then d_c(·) denotes thegeneralized matrix function associated with c. If c₁, c₂ CS_nthen we write c₁ c₂ in case (A) (A) for each n x n positivesemi-definite Hermitian matrix A. If cCS_n and c(e) 0, wheree denotes the identity in S_n, then or denotes (c(e))^–1 c. The main result, an estimate for the norms of tensors of a certainanti-symmetry type, implies that if = {₁, ₂, ..., _s, 1^t} isa partition of n such that s > 1 and _s = 2, and ' denotes{₁, ₂, ..., _s-1, 1^t} then (, _{2}) where denotes characterinduction from S_n–2 x S₂ to S_n. This in turn implies thatif = {₁, ₂, ..., _s, 1^t} with s > 1, _s = 2, and ßdenotes {₁ + 2, ₂, ..., _s-1, 1^t} then _ß which,in conjunction with other known results, provides many new inequalitiesamong immanants. In particular it implies that the permanentfunction dominates all normalized immanants whose associatedpartitions are of rank 2, a result which has proved elusivefor some years. We also consider the non-relationship problem for immanants– that is the problem of identifying pairs, (,ß)such that _ß and _ß are both false.     

The Full Muntz Theorem in C[0, 1] and L1[0, 1]

The main result of this paper is the establishment of the ‘fullMüntz Theorem’ in C[0, l]. This characterizes thesequences of distinct, positive real numbers for which span{l, x^₁, x^₂, ...} is dense in C[0,1]. The novelty of this result is the treatment of the mostdifficult case when inf_ii = 0 while sup_ii = . The paper settlesthe L and L₁ cases of the following. THEOREM (Full Müntz Theorem in L_p[0,1]). Let p [l, ].Suppose that is a sequence of distinct real numbers greater than –1/p. Then span{x^₀,x^₁, ...} is dense in L_p[0, 1] if and only if      

Asymptotics for Fractional Nonlinear Heat Equations

The Cauchy problem is studied for the nonlinear equations withfractional power of the negative Laplacian where (0,2), with critical = /n and sub-critical (0,/n)powers of the nonlinearity. Let u₀ L^1,a L C, u₀(x) 0 in Rⁿ, = . The case of not small initial data is of interest. It is proved that the Cauchy problemhas a unique global solution u C([0,); L L^1,a C) and the largetime asymptotics are obtained.     

Weighted Integral Inequalities for the Hardy Type Operator and the FractionalMaximal Operator

Let w(x), u(x) and (x) be weight functions. In this paper, underappropriate conditions on Young's functions ₁, ₂ we characterizethe inequality for the Hardy-typeoperator T defined in [1] and the inequality for the fractional maximal operator M_{, ;} definedin [8], as well as the corresponding weak-type inequalities.     

5-Torsion Points on Curves of Genus 2

Let C be a smooth proper curve of genus 2 over an algebraicallyclosed field k. Fix a Weierstrass point in C(k) and identifyC with its image in its Jacobian J under the Albanese embeddingthat uses as base point. For any integer N1, we write J_N forthe group of points in J(k) of order dividing N and for the subset of J_N of points oforder N. It follows from the Riemann–Roch theorem thatC(k)J₂ consists of the Weierstrass points of C and that C(k) and C(k) are empty (see [3]). The purpose of this paper is to study curvesC with C(k) non-empty.     

Ergodicity of a Class of Cocycles Over Irrational Rotations

It is proved that if is irrational and L²(S¹) with o(l/n)then for each mZ\{0} the corresponding skew product is ergodic. The rigidity of specialflows over irrational rotations with roof functions whose Fouriercoefficients are in o(l/n) is also shown.     

On a Theorem of Childs on Normal Bases of Rings of Integers

Let p be a prime number, F a number field, and the set of all unramified cyclic extensions overF of degree p having a relative normal integral basis. When_p F^x, Childs determined the set in terms of Kummer generators. When p=3 and F is an imaginaryquadratic field, Brinkhuis determined this set in a form whichis, in a sense, analogous to Childs's result. The paper determinesthis set for all p 3 and F with _p F^x (and satisfying an additionalcondition), using the result of Childs and a technique developedby Brinkhuis. Two applications are also given.     

A Strong Notion of Universal Taylor Series

For a holomorphic function f in the open unit disc D, the Nthpartial sum of its Taylor series with center D is denotedby S_N(f,)(z)= . Generically, all functions f in H(D) satisfy the following. For every compactset K C with KD=Ø and K^c connected and every polynomialh, there exists a sequence of positive integers such that, for every 1 {0,1,2,...},      

Some Compactness Results in Real Interpolation for Families of Banach Spaces

The paper shows that, if the operator T:A()B() is compact foralmost every , then is compact when or is the interpolation functor constructed for infinitefamilies of Banach spaces and S satisfies certain conditions.     

Asymptotic Expansions of Multiple Zeta Functions and Power Mean Values of Hurwitz Zeta Functions

Let (s, ) be the Hurwitz zeta function with parameter . Powermean values of the form are studied, where q and h are positive integers. These mean valuescan be written as linear combinations of , where _r(s₁,...,s_r;) is a generalization of Euler–Zagiermultiple zeta sums. The Mellin–Barnes integral formulais used to prove an asymptotic expansion of , with respect to q. Hence a general way of deducingasymptotic expansion formulas for is obtained. In particular, the asymptotic expansion of with respect to q is written down.     

Inverse Spectral Problems for Sturm-Liouville Equations with Eigenparameter Dependent Boundary Conditions

Inverse Sturm–Liouville problems with eigenparameter-dependentboundary conditions are considered. Theorems analogous to thoseof both Hochstadt and Gelfand and Levitan are proved. In particular, let ly = (1/r)(–(py')'+qy), , where det = > 0, c 0, det > 0, t 0 and (cs + dr –au – tb)² < 4(cr – ta)(ds – ub). Denoteby (l; ; ) the eigenvalue problem ly = y with boundary conditionsy(0)cos+y'(0)sin = 0 and (a+b)y(1) = (c+d)(py')(1). Define (; ; ) as above but with l replacedby . Let w_n denote the eigenfunctionof (l; ; ) having eigenvalue n and initial conditions w_n(0)= sin and pw'_n(0) = –cos and let _n = –aw_n(1)+cpw'_n(1).Define _n and _n similarly. As sample results, it is proved that if (l; ; ) and (; ; ) have the same spectrum, and (l;; ) and (; ; ) have the samespectrum or for all n, thenq/r = /.     

Tangential Boundary Behaviour of Harmonic and Holomorphic Functions

Let K be a kernel on Rⁿ, that is, K is a non-negative, unboundedL¹ function that is radially symmetric and decreasing. We definethe convolution K * F by and note from L^p-capacity theory [11, Theorem 3] that, if F L^p, p > 1, then K * F exists as a finite Lebesgue integraloutside a set A Rⁿ with C_K,p(A) = 0. For a Borel set A, where We define the Poisson kernel for = {(x, y) : x Rⁿ, y > 0} by and set Thus u is the Poisson integral of the potential f = K * F, andwe write u=P_y*(K*F)=P_y*f=P[f]. We are concerned here with the limiting behaviour of such harmonicfunctions at boundary points of , and in particular with the tangential boundary behaviour ofthese functions, outside exceptional sets of capacity zero orHausdorff content zero.     

Generators and defining relations for ring of invariants of commuting locally nilpotent derivations or automorphisms

Let A be an algebra over a field K of characteristic zero andlet ₁, ..., _sDer _K(A) be commuting locally nilpotent K-derivationssuch that _i(x_j) equals _ij, the Kronecker delta, for some elementsx₁, ..., x_sA. A set of generators for the algebra is found explicitly and a set of defining relationsfor the algebra A is described. Similarly, let ₁, ..., _s Aut_K(A)be commuting K-automorphisms of the algebra A is given suchthat the maps _i – id_A are locally nilpotent and _i (x_j)= x_j + _ij, for some elements x₁, ..., x_s A. A set of generatorsfor the algebra A: = {a A | ₁(a) = ... = _s(a) = a} is foundexplicitly and a set of defining relations for the algebra Ais described. In general, even for a finitely generated non-commutativealgebra A the algebras of invariants A and A are not finitelygenerated, not (left or right) Noetherian and a minimal numberof defining relations is infinite. However, for a finitely generatedcommutative algebra A the opposite is always true. The derivations(or automorphisms) just described appear often in many differentsituations (possibly) after localization of the algebra A.     

The Convergence of a Class of Quasimonotone Reaction-Diffusion Systems

It is proved that every solution of the Neumann initial-boundaryproblem converges to some equilibrium, if the system satisfies (i) F_i/u_j 0 for all 1 i j n, (ii) F(u * g(s)) h(s) * F(u) wheneveru and 0 s 1, where x *y = (x₁y₁, ..., x_ny_n) and g, h : [0, 1] [0, 1]ⁿ are continuousfunctions satisfying g_i(0) = h_i(0) = 0, g_i(1) = h_i(1) = 1, 0< g_i(s); h_i(s) < 1 for all s (0, 1) and i = 1, 2, ...,n, and (iii) the solution of the corresponding ordinary differentialequation system is bounded in . We also study the convergence of the solution of the Lotka–Volterrasystem where r_i > 0, 0, and a_ij 0 for i j.     

Planar Harmonic Maps with Inner and Blaschke Dilatations

A univalent harmonic map of the unit disk :={zC:|z|<1} isa complex-valued function f(z) on that satisfies Laplace'sequation and is injective. The Jacobian of a univalent harmonic map can never vanish [18], and so we might as wellassume that J>0 throughout . Then |f_z|>0 and a short computationverifies that the analytic dilatation is indeed an analytic function, with ||<1 sinceJ>0. Clearly 0 when f is a conformal map, and in generalthe dilatation measures how far f is from being conformal.Also, if happens to be the square of an analytic function,then f ‘lifts’ to give an isothermal coordinatemap for a minimal surface, and in that case i/ equals the stereographicprojection of the Gauss map of the surface.     

Identity Theorems for Functions of Bounded Characteristic

Suppose that f(z) is a meromorphic function of bounded characteristicin the unit disk :|z|<1. Then we shall say that f(z)N. Itfollows (for example from [3, Lemma 6.7, p. 174 and the following])that where h₁(z), h₂(z) are holomorphic in and have positive realpart there, while ₁(z), ₂(z) are Blaschke products, that is, where p is a positive integer or zero, 0<|a_j|<1, c isa constant and (1–|a_j|)<. We note in particular that, if c0, so that f(z)0, (1.1) so that f(z)=0 only at the points a_j. Suppose now that z_j isa sequence of distinct points in such that |z_j|1 as j and (1–|z_j|)=. (1.2) If f(z_j)=0 for each j and fN, then f(z)0. N. Danikas [1] has shown that the same conclusion obtains iff(z_j)0 sufficiently rapidly as j. Let _j, _j be sequences of positivenumbers such that _j< and _j as j. Danikas then defines and proves Theorem A.     

UNEXPECTED SUBSPACES OF TENSOR PRODUCTS

We describe complemented copies of ₂ both in C(K₁) C(K₂) when at least one of the compact spaces K_iis not scattered and in L₁(µ₁)L₁(µ₂) when at least one of the measures is not atomic.The corresponding local construction gives uniformly complementedcopies of the in c₀ c₀. We continue the study of c₀ c₀ showing that it contains a complementedcopy of Stegall's space and proving that (c₀ c₀)' is isomorphicto , together with other results. In the last section we use Hardy spaces to find an isomorphiccopy of L_p in the space of compact operators from L_q to L_r,where 1 < p, q, r < and 1/r = 1/p + 1/q.