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 = /.     

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.     

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

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 .     

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.     

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.     

The Moduli Spaces of Bielliptic Curves of Genus 4 with more Bielliptic Structures

Let C be an irreducible, smooth, projective curve of genus g 3 over the complex field C. The curve C is called biellipticif it admits a degree-two morphism : C E onto an ellipticcurve E such a morphism is called a bielliptic structure onC. If C is bielliptic and g6, then the bielliptic structureon C is unique, but if g=3,4,5, then this holds true only genericallyand there are curves carrying n>>1 bielliptic structures.The sharp bounds n 21,10,5 exist for g=3,4,5 respectively.Let M_g be the coarse moduli space of irreducible, smooth, projectivecurves of genus g=3,4,5. Denote by the locus of points in M_g $ representing curves carrying atleast n bielliptic structures. It is then natural to ask thefollowing questions. Clearly does hold? What are the irreducible components of ? Are the irreducible components of rational? How do the irreducible components of intersect each other? Let how many non-isomorphic elliptic quotients can it have? Completeanswers are given to the above questions in the case g=4.     

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.     

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      

Positive Eigenfunctions of a Schrodinger Operator

The paper considers the eigenvalue problem where , and for some bounded open set R^N. Given >0, does there exist a value of >0 for which theproblem has a positive solution? It is shown that this occursif and only if lies in a certain interval (,₁) and that inthis case the value of is unique, =(). The properties of thefunction () are also discussed.     

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.     

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.     

Infinitely many turning points for an elliptic problem with a singular non-linearity

We consider the problem – u = |x|/(1 – u)^p inB, u = 0 on B, 0 < u < 1 in B, where 0, p 1 and Bis the unit ball in ^N (N 2). We show that there exists a _*> 0 such that for < _*, the minimizer is the only positiveradial solution. Furthermore, if , then the branch of positive radial solutions must undergoinfinitely many turning points as the maximums of the radialsolutions on the branch converge to 1. This solves ConjectureB in [N. Ghoussoub and Y. Gun, SIAM J. Math. Anal. 38 (2007)1423–1449]. The key ingredient is the use of monotonicityformula.     

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.     

Multipliers on Banach spaces of functions on a locally compact Abelian group

Let E be a Banach space of functions on a locally compact Abeliangroup G satisfying certain conditions. It has been proved thatfor every bounded operator M on E commuting with translationsthere exists such that , where is a suitable subset of the group of the continuous morphismsfrom G into * and is a generalized Fourier transform of g defined on .     

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.     

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.     

Regularity Conditions and Bernoulli Properties of Equilibrium States and g-Measures

When T : X X is a one-sided topologically mixing subshift offinite type and : X R is a continuous function, one can definethe Ruelle operator L : C(X) C(X) on the space C(X) of real-valuedcontinuous functions on X. The dual operator always has a probability measure as an eigenvectorcorresponding to a positive eigenvalue ( = with > 0). Necessary and sufficient conditionson such an eigenmeasure are obtained for to belong to twoimportant spaces of functions, W(X, T) and Bow (X, T). For example, Bow(X, T) if and only if is a measure with a certain approximateproduct structure. This is used to apply results of Bradleyto show that the natural extension of the unique equilibriumstate µ of Bow(X, T) has the weak Bernoulli propertyand hence is measure-theoretically isomorphic to a Bernoullishift. It is also shown that the unique equilibrium state ofa two-sided Bowen function has the weak Bernoulli property.The characterizations mentioned above are used in the case ofg-measures to obtain results on the ‘reverse’ ofa g-measure.