Link Polynomials of Higher Order

In this paper, we study certain polynomial invariants of links(singular or non-singular) that are related to the Homfly polynomialand Vassiliev's invariants. The Homfly polynomial H_L [3] (alsoknown as the Flypmoth polynomial) satisfies the well-known skeinrelation The Vassiliev invariants [1, 2] (of order 1) satisfy the relations and The invariants that we study satisfy the skein relations      

On the Zeros of the Riemann Zeta-Function

It is well known that the multiplicity of a complex zero =ß+iof the zeta-function is O(log||). This may be proved by meansof Jensen's formula, as in Titchmarsh [7, Chapter 9]. It mayalso be seen from the formula for the number N(T) of zeros suchthat 0<<T, (1) due to Backlund [1], in which E(T) is a continuous functionsatisfying E(T)=O(1/T) and (2) We assume here that T is not the ordinate of a zero; with appropriatedefinitions of N(T) and S(T) the formula is valid for all T.We have S(T)=O(logT). On the Lindelöf Hypothesis S(T)=o(logT),(Cramér [2]), and on the Riemann Hypothesis (Littlewood [5]). These results are over 70 years old. Because the multiplicity problem is hard, it seems worthwhileto see what can be said about the number of distinct zeros ina short T-interval. We obtain the following result, which isindependent of any unproved hypothesis.     

On Irregularities of Distribution II

Let a=(a₁, a₂, a₃, ...) be an arbitrary infinite sequence inU=[0, 1). Let Van der Corput [5] conjectured that d(a, n) (n=1, 2, ...) isunbounded, and this was proved in 1945 by van Aardenne-Ehrenfest[1]. Later she refined this [2], obtaining for infinitely many n. Here and later c₁, c₂, ... denote positiveabsolute constants. In 1954, Roth [8] showed that the quantity is closely related to the discrepancy of a suitable point setin U².     

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

Turan's Inequalities for Trigonometric Polynomials

We present here a technique for establishing inequalities ofthe form in the set of alltrigonometric polynomials of order n which have only real zeros.The function is assumed to be convex and increasing on [0,). As a corollary of the main result we get Turan's inequalities with the exact constantc(n, k, q) for each 1 q , n and k.     

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.     

On the Compactness and Approximation Numbers of Hardy-Type Integral Operators in Lorentz Spaces

We characterize the mapping properties such as the boundedness,compactness and measure of noncompactness for those real weightfunctions , , u0, v0, for which the Hardy-type integral operatorof the form acts from to , when the parameters are restricted to the range 1 < max (r,s) min (p, q) < and the kernel k(x, y) 0 satisfies theOinarov condition (see (2) below). For the case k(x, y) = 1,we obtain lower and upper estimates of the approximation numbers,extending the result of [5].     

One-Sided BMO Spaces

In this paper we introduce the one-sided sharp functions dennedby and where z⁺ = max(z, 0). We study the BMO spaces associatedto and and their relation with the good weights for theone-sided Hardy-Littlewood maximal functions. Finally, as anapplication of our results, we characterize the weights forone-sided fractional integrals and one-sided fractional maximaloperators.     

Weighted Hardy-Type Inequalities for Differences and the Extension Problem for Spaces with Generalized Smoothness

It is well known that there are bounded domains Rⁿ whose boundaries are not smooth enough for there to exist a bounded linear extensionfor the Sobolev space into , but the embedding is nevertheless compact. For the Lipboundaries (0<<1) studied in [3, 4], there does not existin general an extension operator of into but there is a bounded linear extension of into and the smoothness retained by thisextension is enough to ensure that the embedding is compact. It is natural to ask if this is typicalfor bounded domains which are such that is compact, that is, that there exists a boundedextension into a space of functions in Rⁿ which enjoy adequatesmoothness. This is the question which originally motivatedthis paper. Specifically we study the ‘extension by zero’operator on a space of functions with given ‘generalized’smoothness defined on a domain with an irregular boundary, anddetermine the target space with respect to which it is bounded.     

On Ramanujan's Inequalities for exp(k)

Ramanujan claimed in his first letter to Hardy (16 January 1913)that where (k) lies between 2/21 and 8/45. This conjecture was provedin 1995 by Flajolet et al. The paper establishes the followingrefinement. where Both bounds for ^*(k) are sharp.     

The Weiss Conjecture for Bounded Analytic Semigroups

New results concerning the so-called Weiss conjecture on admissibleoperators for bounded analytic semigroups are given. Let be a bounded analytic semigroup withgenerator –A on some Banach space X. It is proved thatif A^1/2 is admissible for A, that is, if there is an estimate then any continuous mappingC : D(A) Y valued in a Banach space Y is admissible for A providedthat there is an estimate .for , Re()<0. This holds in particular if is a contractive (analytic) semigroup on Hilbertspace. In the converse direction, it is shown that this mayhappen for a bounded analytic semigroup on Hilbert space thatis not similar to a contractive one. Applications in non-HilbertianBanach spaces are also given.     

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.     

Quasilinear Elliptic Equations and Inequalities with Rapidly Growing Coefficients

Let us consider the boundary value problem where R^N is a bounded domain with smooth boundary (for example,such that certain Sobolev imbedding theorems hold). Let :RR, (s)=A(s²)s Then, if (s) = |s|^p–1s, p > 1, problem (1) is fairlywell understood and a great variety of existence results areavailable. These results are usually obtained using variationalmethods, monotone operator methods or fixed point and degreetheory arguments in the Sobolev space . If, on the other hand, we assume that is an oddnondecreasing function such that (0)=0, (t)>0, t>0, and is right continuous, then a Sobolev space setting for the problem is not appropriateand very general results are rather sparse. The first generalexistence results using the theory of monotone operators inOrlicz–Sobolev spaces were obtained in [5] and in [9,10]. Other recent work that puts the problem into this frameworkis contained in [2] and [8]. It is in the spirit of these latter papers that we pursue thestudy of problem (1) and we assume that F:xRR is a Carathéodoryfunction that satisfies certain growth conditions to be specifiedlater. We note here that the problems to be studied, when formulatedas operator equations, lead to the use of the topological degreefor multivalued maps (cf. [4, 16]). We shall see that a natural way of formulating the boundaryvalue problem will be a variational inequality formulation ofthe problem in a suitable Orlicz–Sobolev space. In orderto do this we shall have need of some facts about Orlicz–Sobolevspaces which we shall give now.     

The Singular Homology of the Hawaiian Earring

The singular homology groups of compact CW-complexes are finitelygenerated, but the groups of compact metric spaces in generalare very easy to generate infinitely and our understanding ofthese groups is far from complete even for the following compactsubset of the plane, called the Hawaiian earring: Griffiths [11] gave a presentation of the fundamental groupof H and the proof was completed by Morgan and Morrison [15].The same group is presented as the free -product of integers Z in [4, Appendix]. Hence the firstintegral singular homology group H₁(H) is the abelianizationof the group . These results have been generalized to non-metrizable counterparts H_I of H(see Section 3). In Section 2 we prove that H₁(X) is torsion-free and H_i(X) =0 for each one-dimensional normal space X and for each i 2.The result for i 2 is a slight generalization of [2, Theorem5]. In Section 3 we provide an explicit presentation of H₁(H)and also H₁(H_I) by using results of [4]. Throughout this paper, a continuum means a compact connectedmetric space and all maps are assumed to be continuous. Allhomology groups have the integers Z as the coefficients. Thebouquet with n circles is denoted by B_n. The base point (0, 0) of B_n is denoted by o forsimplicity.     

Strong Weighted Mean Summability and Kuttner's Theorem

In this paper we study sequence spaces that arise from the conceptof strong weighted mean summability. Let q = (q_n) be a sequenceof positive terms and set Q_n = ⁿ_k=1q_k. Then the weighted meanmatrix M_q = (a_nk) is defined by if kn, a_nk=0 if k>n. It is well known that M_q defines a regular summability methodif and only if Q_n. Passing to strong summability, we let 0<p<.Then , are the spaces of all sequences that are strongly M_q-summablewith index p to 0, strongly M_q-summable with index p and stronglyM_q-bounded with index p, respectively. The most important specialcase is obtained by taking M_q = C₁, the Cesàro matrix,which leads to the familiar sequence spaces w₀(p), w(p) and w(p), respectively, see [4, 21]. We remark that strong summabilitywas first studied by Hardy and Littlewood [8] in 1913 when theyapplied strong Cesàro summability of index 1 and 2 toFourier series; orthogonal series have remained the main areaof application for strong summability. See [32, 6] for furtherreferences. When we abstract from the needs of summability theory certainfeatures of the above sequence spaces become irrelevant; forinstance, the q_k simply constitute a diagonal transform. Hence,from a sequence space theoretic point of view we are led tostudy the spaces     

On the Index of Vector Fields Tangent to Hypersurfaces with Non-Isolated Singularities

Let F be a germ of a holomorphic function at 0 in Cⁿ⁺¹, having0 as a critical point not necessarily isolated, and let be a germ of a holomorphic vectorfield at 0 in Cⁿ⁺¹ with an isolated zero at 0, and tangent toV := F^–1(0). Consider the O_V,0-complex obtained by contractingthe germs of Kähler differential forms of V at 0 (0.1) with the vector field X:=|_Von V: (0.2)     

Total Chromatic Number of Graphs of Order 2n + l having Maximum Degree 2n 1

Let G be a graph of order 2n + l having maximum degree 2n –1. We prove that the total chromatic number of G is 2n if andonly if e + ' n, where w is a vertex of minimum degree in G, is the complement of G —w, e is the size of , and ' is the edge independence number of .     

Real Interpolation and Two Variants of Gehring's Lemma

Let be a fixed open cube in Rⁿ. For r[1, ) and [0, ) we define where Q is a cube in Rⁿ (with sides parallel to the coordinateaxes) and _Q stands for the characteristic function of the cubeQ. A well-known result of Gehring [5] states that if (1.1) for some p(1, ) and c(0, ), then there exist q(p, ) and C=C(p,q, n, c)(0, ) such that for all cubes Q, where |Q| denotes the n-dimensional Lebesguemeasure of Q. In particular, a function fL¹() satisfying (1.1)belongs to L^q(). In [9] it was shown that Gehring's result is a particular caseof a more general principle from the real method of interpolation.Roughly speaking, this principle states that if a certain reversedinequality between K-functionals holds at one point of an interpolationscale, then it holds at other nearby points of this scale. Usingan extension of Holmstedt's reiteration formulae of [4] andresults of [8] on weighted inequalities for monotone functions,we prove here two variants of this principle involving extrapolationspaces of an ordered pair of (quasi-) Banach spaces. As an applicationwe prove the following Gehring-type lemmas.     

The Cauchy-Schwarz Norm Inequality for Elementary Operators in Schatten Ideals

For bounded Hilbert space operators X, A_n and B_n, n = 1, 2,..., for all p < and These inequalities involve some estimates for the norm of elementaryoperators with the range contained in the Schatten p-ideals.