Relations between different types of spectra and spectral characterizations

In the study of the asymptotic behaviour of solutions of differential-difference equations the -spectrum has been useful, where and implies Fourier transform , with given , φ∈L ^∞(ℝ,X), X a Banach space, (half)line. Here we study and related concepts, give relations between them, especially weak Laplace half-line spectrum of φ, and thus ⊂ classical Beurling spectrum = Carleman spectrum =  ; also  = Beurling spectrum of “φ modulo ” (Chill-Fasangova). If satisfies a Loomis type condition (L _U ), then countable and uniformly continuous ∈U are shown to imply ; here (L _U ) usually means , indefinite integral Pf of f in U imply Pf in (the Bohl-Bohr theorem for = almost periodic functions, U=bounded functions). This spectral characterization and other results are extended to unbounded functions via mean classes , ℳ ^m U ((2.1) below) and even to distributions, generalizing various recent results for uniformly continuous bounded φ. Furthermore for solutions of convolution systems S*φ=b with in some we show . With these above results, one gets generalizations of earlier results on the asymptotic behaviour of solutions of neutral integro-differential-difference systems. Also many examples and special cases are discussed.     

Nilpotent Bicone and Characteristic Submodule of a Reductive Lie Algebra

Let be a finite-dimensional complex reductive Lie algebra and S() its symmetric algebra. The nilpotent bicone of is the subset of elements (x, y) of whose subspace generated by x and y is contained in the nilpotent cone. The nilpotent bicone is naturally endowed with a scheme structure, as nullvariety of the augmentation ideal of the subalgebra of generated by the 2-order polarizations of invariants of . The main result of this paper is that the nilpotent bicone is a complete intersection of dimension , where and are the dimensions of Borel subalgebras and the rank of , respectively. This affirmatively answers a conjecture of Kraft and Wallach concerning the nullcone [KrW2]. In addition, we introduce and study in this paper the characteristic submodule of . The properties of the nilpotent bicone and the characteristic submodule are known to be very important for the understanding of the commuting variety and its ideal of definition. The main difficulty encountered for this work is that the nilpotent bicone is not reduced. To deal with this problem, we introduce an auxiliary reduced variety, the principal bicone. The nilpotent bicone, as well as the principal bicone, are linked to jet schemes. We study their dimensions using arguments from motivic integration. Namely, we follow methods developed by Mustaţǎ in [Mu]. Finally, we give applications of our results to invariant theory.     

Versal deformations and versality in central extensions of Jacobi schemes

Let be the scheme of the laws defined by the Jacobi identities on with a field. A deformation of , parametrized by a local ring A, is a local morphism from the local ring of at ϕ _m to A. The problem of classifying all the deformation equivalence classes of a Lie algebra with given base is solved by “versal” deformations. First, we give an algorithm for computing versal deformations. Second, we prove there is a bijection between the deformation equivalence classes of an algebraic Lie algebra ϕ _m = R ⋉ φ _n in and its nilpotent radical φ _n in the R-invariant scheme with reductive part R, under some conditions. So the versal deformations of ϕ _m in are deduced from those of φ _n in , which is a more simple problem. Third, we study versality in central extensions of Lie algebras. Finally, we calculate versal deformations of some Lie algebras. Supported by the EC project Liegrits MCRTN 505078.     

Orderings and *-Orderings on Cocommutative Hopf Algebras

Our aim is to construct new examples of totally ordered and ∗-ordered noncommutative integral domains. We will discuss the following classes of rings: enveloping algebras U(L), group rings G and smash products U(L) G. All of them are examples of Hopf algebras. Characterizations of orderability for enveloping algebras and group rings and of ∗-orderability for enveloping algebras have been found before and will be recalled in the article. Our main results are: for and L finite–dimensional, we characterize the orderability of U(L) G; for , we give a necessary and a sufficient condition for ∗-orderability of G (G orderable, respectively, G residually ‘torsion-free nilpotent’). Moreover, for and L finite-dimensional, we reduce the problem of characterizing the ∗-orderability of U(L) G to the problem of characterizing the ∗-orderability of G. The latter remains open. The research of the first author was supported by the Ministry of Education, Science and Sport of the Republic of Slovenia under grant P1-0222 (Algebraic methods in operator theory). The research of the second and third author was supported by the Natural Sciences and Engineering Research Council of Canada.     

Bounded universal functions for sequences of holomorphic self-maps of the disk

We give several characterizations of those sequences of holomorphic self-maps {φ _n } _n≥1 of the unit disk for which there exists a function F in the unit ball of H ^∞ such that the orbit {F∘φ _n :n∈ℕ} is locally uniformly dense in . Such a function F is said to be a -universal function. One of our conditions is stated in terms of the hyperbolic derivatives of the functions φ _n . As a consequence we will see that if φ _n is the nth iterate of a map φ of into , then {φ _n } _n≥1 admits a -universal function if and only if φ is a parabolic or hyperbolic automorphism of . We show that whenever there exists a -universal function, then this function can be chosen to be a Blaschke product. Further, if there is a -universal function, we show that there exist uniformly closed subspaces consisting entirely of universal functions.     

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

( m,n)-Equidista nt Sets i n $\ mathbb{R}^{k},\ mathbb{S}^{k}$ , a nd ℙk

We call a metric space X (m,n)-equidistant if, when A⊆X has exactly m points, there are exactly n points in X each of which is equidistant from (the points of) A. We prove that, for k≥2, the Euclidean space ℝ ^k contains an (m,1)-equidistant set if and only if k≥m. Although the sphere is (3,2)-equidistant, and ℝ⁴ contain no (4,2)-equidistant sets. We discuss related results about projective spaces, and state a conjecture about analogous to the Double Midset Conjecture.     

Solutions of elliptic problems with nonlinearities of linear growth

In this paper, we study existence of nontrivial solutions to the elliptic equation

Complete asymptotic expansions associated with Epstein zeta-functions

Let Q(u,v)=|u+vz|² be a positive-definite quadratic form with a complex parameter z=x+iy in the upper-half plane. The Epstein zeta-function attached to Q is initially defined by for Re s>1, where the term with m=n=0 is to be omitted. We deduce complete asymptotic expansions of as y→+∞ (Theorem 1 in Sect. 2), and of its weighted mean value (with respect to y) in the form of a Laplace-Mellin transform of (Theorem 2 in Sect. 2). Prior to the proofs of these asymptotic expansions, the meromorphic continuation of over the whole s-plane is prepared by means of Mellin-Barnes integral transformations (Proposition 1 in Sect. 3). This procedure, differs slightly from other previously known methods of the analytic continuation, gives a new alternative proof of the Fourier expansion of (Proposition 2 in Sect. 3). The use of Mellin-Barnes type of integral formulae is crucial in all aspects of the proofs; several transformation properties of hypergeometric functions are especially applied with manipulation of these integrals. Research supported in part by Grant-in-Aid for Scientific Research (No. 13640041), the Ministry of Education, Culture, Sports, Science and Technology of Japan.     

A note on Green’s relations in the semigroups <Emphasis Type="Italic">T</Emphasis>(<Emphasis Type="Italic">X</Emphasis>,<Emphasis Type="Italic">ρ</Emphasis>)

Let X be a set and the full transformation semigroup on X. Let ρ be an equivalence relation on X and

Boundary Limits for Bounded Quasiregular Mappings

In this paper we establish results on the existence of nontangential limits for weighted -harmonic functions in the weighted Sobolev space , for some q>1 and w in the Muckenhoupt A _q class, where is the unit ball in . These results generalize the ones in Sect. 3 of Koskela et al., Trans. Am. Math. Soc. 348(2), 755–766, 1996, where the weight was identically equal to one. Weighted -harmonic functions are weak solutions of the partial differential equation

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

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:

On Kulikov’s problem

Kulikov has given an étale morphism of degree d > 1 which is surjective modulo codimension two with X simply connected, settling his generalized jacobian problem. His method reduces the problem to finding a hypersurface and a subgroup of index d generated by geometric generators. By contrast we show that if D has simple normal crossings away from a set of codimension three and meets the hyperplane at infinity transversely, then necessarily d = 1. Received: 21 November 2006     

Recursively enumerable sets of polynomials over a finite field are Diophantine

We construct a Diophantine interpretation of over . Using this together with a previous result that every recursively enumerable (r.e.) relation over is Diophantine over , we will prove that every r.e. relation over is Diophantine over . We will also look at recursive infinite base fields , algebraic over . It turns out that the Diophantine relations over are exactly the relations which are r.e. for every recursive presentation.     

Schur–Weyl Reciprocity between the Quantum Superalgebra and the Iwahori–Hecke Algebra

In this paper, we establish Schur–Weyl reciprocity between the quantum general super Lie algebra and the Iwahori–Hecke algebra . We introduce the sign -permutation representation of on the tensor space of dimensional -graded -vector space . This action commutes with that of derived from the vector representation on . Those two subalgebras of satisfy Schur–Weyl reciprocity. As special cases, we obtain the super case (), and the quantum case (). Hence this result includes both the super case and the quantum case, and unifies those two important cases.Presented by A. Verschoren.     

Solutions to nonlinear Neumann problems with an inverse square potential

Let Ω be an open bounded domain in with smooth boundary . We are concerned with the critical Neumann problem

On Convergence and Convolutions of Random Signed Measures

Let μ _n be a sequence of random finite signed measures on the locally compact group G equal to either or ℝ ^d . We give weak conditions on the sequence μ _n and on functions K such that the convolution product μ _n *K, and its derivatives, converge in law, in probability, or almost surely in the Banach spaces or L ^p (G). Examples for sequences μ _n covered are the empirical process (possibly arising from dependent data) and also random signed measures where is some (nonparametric) estimator for the measure ℙ, including the usual kernel and wavelet based density estimators with MISE-optimal bandwidths. As a statistical application, we apply the results to study convolutions of density estimators.      

Periodic automorphisms of takiff algebras, contractions, and θ-groups

Let be an algebraic Lie algebra and a (generalised) Takiff algebra. Any finite-order automorphism θ of induces an automorphism of of the same order, denoted . We study invariant-theoretic properties of representations of the fixed point subalgebra of on other eigenspaces of in . We use the observation that, for special values of m, the fixed point subalgebra, , turns out to be a contraction of a certain Lie algebra associated with and θ. To my teacher Supported in part by R.F.B.R. grant 06-01-72550.     

Discontinuous implicit generalized quasi-variational inequalities in Banach spaces

We consider the following implicit quasi-variational inequality problem: given two topological vector spaces E and F, two nonempty sets X E and C F, two multifunctions Γ : X → 2 ^X and Ф : X → 2 ^C , and a single-valued map ψ : , find a pair such that , Ф and for all . We prove an existence theorem in the setting of Banach spaces where no continuity or monotonicity assumption is required on the multifunction Ф. Our result extends to non-compact and infinite-dimensional setting a previous results of the authors (Theorem 3.2 of Cubbiotti and Yao [15] Math. Methods Oper. Res. 46, 213–228 (1997)). It also extends to the above problem a recent existence result established for the explicit case (C = E ^* and ).