Fine Properties of the Integrated Density of States and a Quantitative Separation Property of the Dirichlet Eigenvalues

We consider one-dimensional difference Schr?dinger equations with real analytic function V(x). Suppose V(x) is a small perturbation of a trigonometric polynomial V ₀(x) of degree k ₀, and assume positive Lyapunov exponents and Diophantine ω. We prove that the integrated density of states is H?lder continuous for any k > 0. Moreover, we show that is absolutely continuous for a.e. ω. Our approach is via finite volume bounds. I.e., we study the eigenvalues of the problem on a finite interval [1, N] with Dirichlet boundary conditions. Then the averaged number of these Dirichlet eigenvalues which fall into an interval , does not exceed , k > 0. Moreover, for , this averaged number does not exceed exp , for any . For the integrated density of states of the problem this implies that for any . To investigate the distribution of the Dirichlet eigenvalues of on a finite interval [1, N] we study the distribution of the zeros of the characteristic determinants with complexified phase x, and frozen ω, E. We prove equidistribution of these zeros in some annulus and show also that no more than 2k ₀ of them fall into any disk of radius exp. In addition, we obtain the lower bound (with δ > 0 arbitrary) for the separation of the eigenvalues of the Dirichlet eigenvalues over the interval [0, N]. This necessarily requires the removal of a small set of energies. Received: February 2006, Accepted: December 2007     

Upper Triangular Operator Matrices, SVEP and Browder, Weyl Theorems

A Banach space operator T ∈ B(χ) is polaroid if points λ ∈ iso σ(T) are poles of the resolvent of T. Let denote, respectively, the approximate point, the Weyl, the Weyl essential approximate, the upper semi–Fredholm and lower semi–Fredholm spectrum of T. For A, B and C ∈ B(χ), let M _C denote the operator matrix . If A is polaroid on , M ₀ satisfies Weyl’s theorem, and A and B satisfy either of the hypotheses (i) A has SVEP at points and B has SVEP at points , or, (ii) both A and A* have SVEP at points , or, (iii) A^* has SVEP at points and B ^* has SVEP at points , then . Here the hypothesis that λ ∈ π₀(M _C ) are poles of the resolvent of A can not be replaced by the hypothesis are poles of the resolvent of A. For an operator , let . We prove that if A* and B* have SVEP, A is polaroid on π ^a ₀(M _C) and B is polaroid on π ^a ₀(B), then .      

Normal subgroups of nonstandard symmetric and alternating groups

Let be a nonstandard model of Peano Arithmetic with domain M and let be nonstandard. We study the symmetric and alternating groups S _n and A _n of permutations of the set internal to , and classify all their normal subgroups, identifying many externally defined such normal subgroups in the process. We provide evidence that A _n and S _n are not split extensions by these normal subgroups, by showing that any such complement if it exists, cannot be a limit of definable sets. We conclude by identifying an -valued metric on and (where B _S , B _A are the maximal normal subgroups of S _n and A _n identified earlier) making these groups into topological groups, and by showing that if is -saturated then and are complete with respect to this metric.      

Endomorphisms of Jacobians of modular curves

Let be the modular curve associated to a congruence subgroup Γ of level N with , and let be its canonical model over . The main aim of this paper is to show that the endomorphism algebra of its Jacobian is generated by the Hecke operators T _p , with , together with the “degeneracy operators” D _M,d , D ^t _M,d , for . This uses the fundamental results of Ribet on the structure of together with a basic result on the classification of the irreducible modules of the algebra generated by these operators. Received: 18 December 2007     

Weights of twisted exponential sums

Let k be a finite field of characteristic p, l a prime number different from p, a nontrivial additive character, and a character on . Then ψ defines an Artin-Schreier sheaf on the affine line , and χ defines a Kummer sheaf on the n-dimensional torus . Let be a Laurent polynomial. It defines a k-morphism . In this paper, we calculate the weights of under some non-degeneracy conditions on f. Our results can be used to estimate sums of the form

Orbits of the hyperoctahedral group as Euclidean designs

The hyperoctahedral group H in n dimensions (the Weyl group of Lie type B _n ) is the subgroup of the orthogonal group generated by all transpositions of coordinates and reflections with respect to coordinate hyperplanes.With e ₁ , ..., e _n denoting the standard basis vectors of ⁿ and letting x _k = e ₁ + ··· + e _k (k = 1, 2, ..., n), the set

Numerically satisfactory solutions of Kummer recurrence relations

Pairs of numerically satisfactory solutions as for the three-term recurrence relations satisfied by the families of functions , , are given. It is proved that minimal solutions always exist, except when and z is in the positive or negative real axis, and that is minimal as whenever . The minimal solution is identified for any recurrence direction, that is, for any integer values of and . When the confluent limit , with fixed, is the main tool for identifying minimal solutions together with a connection formula; for , is the main tool to be considered.     

Rate of Type II blowup for a semilinear heat equation

A solution u of a Cauchy problem for a semilinear heat equation

Beurling-type Representation of Invariant Subspaces in Reproducing Kernel Hilbert Spaces

By Beurling’s theorem, the orthogonal projection onto an invariant subspace M of the Hardy space on the unit disk can be represented as where Φ is an inner multiplier of . This concept can be carried over to arbitrary Nevanlinna-Pick spaces but fails in more general settings. This paper introduces the notion of Beurling decomposable subspaces. An invariant subspace M of a reproducing kernel Hilbert space will be called Beurling decomposable if there exist (operator-valued) multipliers such that and . We characterize the finite-codimensional and the finite-rank Beurling decomposable subspaces by means of their core function and core operator. As an application, we show that in many analytic Hilbert modules , every finite-codimensional submodule M can be written as with suitable polynomials p _i .      

On the Multiplicity of Nodal Solutions to a Singularly Perturbed Neumann Problem

We consider the problem

Degrees of difficulty of generalized r.e. separating classes

Important examples of classes of functions are the classes of sets (elements of ^ω 2) which separate a given pair of disjoint r.e. sets: . A wider class consists of the classes of functions f ∈ ^ω k which in a generalized sense separate a k-tuple of r.e. sets (not necessarily pairwise disjoint) for each k ∈ ω: . We study the structure of the Medvedev degrees of such classes and show that the set of degrees realized depends strongly on both k and the extent to which the r.e. sets intersect. Let denote the Medvedev degrees of those such that no m + 1 sets among A ₀,...,A _k-1 have a nonempty intersection. It is shown that each is an upper semi-lattice but not a lattice. The degree of the set of k-ary diagonally nonrecursive functions is the greatest element of . If 2 ≤ l < k, then 0 _M is the only degree in which is below a member of . Each is densely ordered and has the splitting property and the same holds for the lattice it generates. The elements of are exactly the joins of elements of for . Supported by National Science Foundation grants DMS 0554841, 0532644 and 0652732.     

Ranks of abelian varieties over infinite extensions of the rationals

Let S be an infinite set of rational primes and, for some p ∈ S, let be the compositum of all extensions unramified outside S of the form , for . If , let be the intersection of the fixed fields by , for i = 1, . . , n. We provide a wide family of elliptic curves such that the rank of is infinite for all n ≥ 0 and all , subject to the parity conjecture. Similarly, let be a polarized abelian variety, let K be a quadratic number field fixed by , let S be an infinite set of primes of and let be the maximal abelian p-elementary extension of K unramified outside primes of K lying over S and dihedral over . We show that, under certain hypotheses, the -corank of sel _p ∞(A/F) is unbounded over finite extensions F/K contained in . As a consequence, we prove a strengthened version of a conjecture of M. Larsen in a large number of cases.     

Stabilization of the damped wave equation with Cauchy–Ventcel boundary conditions

This paper is devoted to the study of uniform energy decay rates of solutions to the wave equation with Cauchy–Ventcel boundary conditions:

Compact and Finite Rank Perturbations of Closed Linear Operators and Relations in Hilbert Spaces

For closed linear operators or relations A and B acting between Hilbert spaces and the concepts of compact and finite rank perturbations are defined with the help of the orthogonal projections P _A and P _B in onto the graphs of A and B. Various equivalent characterizations for such perturbations are proved and it is shown that these notions are a natural generalization of the usual concepts of compact and finite rank perturbations. Sadly, our colleague and friend Peter Jonas passed away on July, 18th 2007.     

Partitions of large Rado graphs

Let κ be a cardinal which is measurable after generically adding many Cohen subsets to κ and let be the κ-Rado graph. We prove, for 2 ≤ m < ω, that there is a finite value such that the set [κ] ^m can be partitioned into classes such that for any coloring of any of the classes C _i in fewer than κ colors, there is a copy of in such that is monochromatic. It follows that , that is, for any coloring of with fewer than κ colors there is a copy of such that has at most colors. On the other hand, we show that there are colorings of such that if is any copy of then for all , and hence . We characterize as the cardinality of a certain finite set of types and obtain an upper and a lower bound on its value. In particular, and for m > 2 we have where r _m is the corresponding number of types for the countable Rado graph. Research of M. Džamonja and J. A. Larson were partially supported by Engineering and Physical Sciences Research Council and research of W. J. Mitchell was partly supported by grant number DMS 0400954 from the United States National Science Foundation.     

On the Structure of Solutions of the Moisil-Théodoresco System in Euclidean Space

Let be open, let be the Dirac operator in and let be the Clifford algebra constructed over the quadratic space . If for fixed, denotes the space of r-vectors in , then an -valued smooth function W = W ^r  + W ^r+2 in Ω is said to satisfy the Moisil-Théodoresco system if . In terms of differential forms, this means that the corresponding - valued smooth form w = w ^r  + w ^r+2 satisfies in Ω the system d ^* w ^r = 0, dw ^r  + d ^* w ^r+2 = 0; dw ^r+2 = 0. Based on techniques and results concerning conjugate harmonic functions in the framework of Clifford analysis, a structure theorem is proved for the solutions of the Moisil-Théodoresco system.      

Another hybrid conjugate gradient algorithm for unconstrained optimization

Another hybrid conjugate gradient algorithm is subject to analysis. The parameter β _k is computed as a convex combination of (Hestenes-Stiefel) and (Dai-Yuan) algorithms, i.e. . The parameter θ _k in the convex combination is computed in such a way so that the direction corresponding to the conjugate gradient algorithm to be the Newton direction and the pair (s _k , y _k ) to satisfy the quasi-Newton equation , where and . The algorithm uses the standard Wolfe line search conditions. Numerical comparisons with conjugate gradient algorithms show that this hybrid computational scheme outperforms the Hestenes-Stiefel and the Dai-Yuan conjugate gradient algorithms as well as the hybrid conjugate gradient algorithms of Dai and Yuan. A set of 750 unconstrained optimization problems are used, some of them from the CUTE library.      

Convergence of the Iterated Aluthge Transform Sequence for Diagonalizable Matrices II: λ-Aluthge Transform

Let λ ∈ (0, 1) and let T be a r × r complex matrix with polar decomposition T = U|T|. Then the λ-Aluthge transform is defined by

On optimal initial value conditions for local strong solutions of the Navier–Stokes equations

Consider a smooth bounded domain , and the Navier–Stokes system in with initial value and external force f =  div F, where , are so-called Serrin exponents. It is an important question what is the optimal (weakest possible) initial value condition in order to obtain a unique strong solution in some initial interval [0, T), . Up to now several sufficient conditions on u ₀ are known which need not be necessary. Our main result, see Theorem 1.1, shows that the condition , A denotes the Stokes operator, is sufficient and necessary for the existence of such a strong solution u. In particular, if , , then any weak solution u in the usual sense does not satisfy Serrin’s condition for each 0 < T ≤ ∞.      

Bifurcations of Positive and Negative Continua in Quasilinear Elliptic Eigenvalue Problems

The main result of this work is a Dancer-type bifurcation result for the quasilinear elliptic problem