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.     

On the discrepancy principle for some Newton type methods for solving nonlinear inverse problems

We consider the computation of stable approximations to the exact solution of nonlinear ill-posed inverse problems F(x) = y with nonlinear operators F : X → Y between two Hilbert spaces X and Y by the Newton type methods

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

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.     

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 .      

The norm of products of free random variables

Let X _i denote free identically-distributed random variables. This paper investigates how the norm of products behaves as n approaches infinity. In addition, for positive X _i it studies the asymptotic behavior of the norm of where denotes the symmetric product of two positive operators: . It is proved that if EX _i = 1, then is between and c ₂ n for certain constant c ₁ and c ₂. For it is proved that the limit of exists and equals Finally, if π is a cyclic representation of the algebra generated by X _i , and if ξ is a cyclic vector, then for all n. These results are significantly different from analogous results for commuting random variables.     

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 .      

Optimal initial value conditions for the existence of local strong solutions of the Navier–Stokes equations

Consider the instationary Navier–Stokes system in a smooth bounded domain with vanishing force and initial value . Since the work of Kiselev and Ladyzhenskaya (Am. Math. Soc. Transl. Ser. 2 24:79–106, 1963) there have been found several conditions on u ₀ to prove the existence of a unique strong solution with u(0) = u ₀ in some time interval [0, T), 0 < T ≤ ∞, where the exponents 2 < s < ∞, 3 < q < ∞ satisfy . Indeed, such conditions could be weakened step by step, thus enlarging the corresponding solution classes. Our aim is to prove the following optimal result with the weakest possible initial value condition and the largest possible solution class: Given u ₀, q, s as above and the Stokes operator A ₂, we prove that the condition is necessary and sufficient for the existence of such a local strong solution u. The proof rests on arguments from the recently developed theory of very weak solutions.     

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.     

The Extremal Truncated Moment Problem

For a degree 2n real d-dimensional multisequence to have a representing measure μ, it is necessary for the associated moment matrix to be positive semidefinite and for the algebraic variety associated to β, , to satisfy rank card as well as the following consistency condition: if a polynomial vanishes on , then . We prove that for the extremal case , positivity of and consistency are sufficient for the existence of a (unique, rank -atomic) representing measure. We also show that in the preceding result, consistency cannot always be replaced by recursiveness of . The first-named author’s research was partially supported by NSF Research Grants DMS-0099357 and DMS-0400741. The second-named author’s research was partially supported by NSF Research Grant DMS-0201430 and DMS-0457138.     

A new family of maximal curves over a finite field

It has been known for a long time that the Deligne–Lusztig curves associated to the algebraic groups of type and defined over the finite field all have the maximum number of -rational points allowed by the Weil “explicit formulas”, and that these curves are -maximal curves over infinitely many algebraic extensions of . Serre showed that an -rational curve which is -covered by an -maximal curve is also -maximal. This has posed the problem of the existence of -maximal curves other than the Deligne–Lusztig curves and their -subcovers, see for instance Garcia (On curves with many rational points over finite fields. In: Finite Fields with Applications to Coding Theory, Cryptography and Related Areas, pp. 152–163. Springer, Berlin, 2002) and Garcia and Stichtenoth (A maximal curve which is not a Galois subcover of the Hermitan curve. Bull. Braz. Math. Soc. (N.S.) 37, 139–152, 2006). In this paper, a positive answer to this problem is obtained. For every q = n ³ with n = p ^r  > 2, p ≥ 2 prime, we give a simple, explicit construction of an -maximal curve that is not -covered by any -maximal Deligne–Lusztig curve. Furthermore, the -automorphism group Aut has size n ³(n ³ + 1)(n ² − 1)(n ² − n + 1). Interestingly, has a very large -automorphism group with respect to its genus . Research supported by the Italian Ministry MURST, Strutture geometriche, combinatoria e loro applicazioni, PRIN 2006–2007.     

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 ≤ ∞.      

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

We consider the problem

Finite lattices as relative congruence lattices of finite algebras

Let A be a finite algebra and a quasivariety. By A is meant the lattice of congruences θ on A with . For any positive integer n, we give conditions on a finite algebra A under which for any n-element lattice L there is a quasivariety such that . The author was supported by INTAS grant 03-51-4110.     

Analytic properties in the spectrum of certain Banach algebras

We show a sufficient condition for a domain in to be a H ^∞-domain of holomorphy. Furthermore if a domain has the Gleason property at a point and the projection of the n − 1th order generalized Shilov boundary does not coincide with Ω then is schlicht. We also give two examples of pseudoconvex domains in which the spectrum is non-schlicht and satisfy several other interesting properties.      

On formulas for the index of the circular distributions

A circular distribution is a Galois equivariant map ψ from the roots of unity μ _∞ to an algebraic closure of such that ψ satisfies product conditions, for ϵ ∈ μ _∞ and , and congruence conditions for each prime number l and with (l, s) = 1, modulo primes over l for all , where μ _l and μ _s denote respectively the sets of lth and sth roots of unity. For such ψ, let be the group generated over by and let be , where U _s denotes the global units of . We give formulas for the indices and of and inside the circular numbers P _s and units C _s of Sinnott over . This work was supported by the SRC Program of Korea Science and Engineering Foundation (KOSEF) grant funded by the Korea government (MOST) (No. R11-2007-035-01001-0). This work was supported by the Korea Research Foundation Grant funded by the Korean Government (MOEHRD, Basic Research Promotion Fund) (KRF-2006-312-C00455).     

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

A spinorial analogue of Aubin’s inequality

Let (M, g, σ) be a compact Riemannian spin manifold of dimension ≥ 2. For any metric conformal to g, we denote by the first positive eigenvalue of the Dirac operator on . We show that

An asymptotic theorem for minimal surfaces and existence results for minimal graphs in $${\mathbb H^2 \times \mathbb R}$$

In this paper we prove a general and sharp Asymptotic Theorem for minimal surfaces in . As a consequence, we prove that there is no properly immersed minimal surface whose asymptotic boundary Γ_∞ is a Jordan curve homologous to zero in such that Γ_∞ is contained in a slab between two horizontal circles of with width equal to π. We construct vertical minimal graphs in over certain unbounded admissible domains taking certain prescribed finite boundary data and certain prescribed asymptotic boundary data. Our admissible unbounded domains Ω in are non necessarily convex and non necessarily bounded by convex arcs; each component of its boundary is properly embedded with zero, one or two points on its asymptotic boundary, satisfying a further geometric condition. The first author wish to thank Laboratoire Géométrie et Dynamique de l’Institut de Mathématiques de Jussieu for the kind hospitality and support. The authors would like to thank CNPq, PRONEX of Brazil and Accord Brasil-France, for partial financial support.     

Schatten-von Neumann Hankel Operators on the Bergman Space of Planar Domains

In this paper we study the problem of the joint membership of Hφ and in the Schatten-von Neumann p-class when φ ∈ L∞(Ω) and Ω is a planar domain. We use a result of K. Zhu and the localization near the boundary to solve the problem. Finally, we recover a result of Arazy, Fisher and Peetre on the case with φ holomorphic.