Trace Inequalities of Sobolev Type in the Upper Triangle Case

We give a new non-capacitary characterization of positive Borelmeasures µ on Rⁿ such that the potential space I*L^p isimbedded in L^q(dµ) for $1qp+, that is, the trace inequality holds, for Riesz potentials I = (- )². A weak-type trace inequality is also characterized. A non-isotropic version on the unit sphere Sⁿ is studied,as well as the holomorphic case for Hardy–Sobolev spaces in the ball. 1991 MathematicsSubject Classification: primary 31C15, 42B20; secondary 32A35.     

Decomposition of weighted Triebel-Lizorkin and Besov spaces on the ball

Weighted Triebel–Lizorkin and Besov spaces on the unitball B^d in ^d with weights w_µ(x)=(1–|x|²)^µ–1/2,µ0, are introduced and explored. A decomposition schemeis developed in terms of almost exponentially localized polynomialelements (needlets) {}, {} and it is shown that the membershipof a distribution to the weighted Triebel–Lizorkin orBesov spaces can be determined by the size of the needlet coefficients{f, } in appropriate sequence spaces.     

General Uniqueness Results and Variation Speed for Blow-Up Solutions of Elliptic Equations

Let be a smooth bounded domain in R^N. We prove general uniquenessresults for equations of the form – u = au – b(x)f(u) in , subject to u = on . Our uniqueness theorem is establishedin a setting involving Karamata's theory on regularly varyingfunctions, which is used to relate the blow-up behavior of u(x)with f(u) and b(x), where b 0 on and a certain ratio involvingb is bounded near . A key step in our proof of uniqueness usesa modification of an iteration technique due to Safonov. 2000Mathematics Subject Classification 35J25 (primary), 35B40, 35J60(secondary).     

A bifurcation problem governed by the boundary condition II

In this work we consider the problem u = a(x)u^p in on , where is a smooth bounded domain, isthe outward unit normal to , is regarded as a parameter and0 < p < 1. We consider both cases where a(x) > 0 in or a(x) is allowed to vanish in a whole subdomain ₀ of . Ourmain results include existence of non-negative non-trivial solutionsin the range 0 < < ₁, where ₁ is characterized by meansof an eigenvalue problem, uniqueness and bifurcation from infinityof such solutions for small , and the appearance of dead coresfor large enough .     

On the Asphericity of Length Five Relative Group Presentations

We investigate asphericity of the relative group presentation G,t |atbtctdtet=1 and prove it aspherical provided thesubgroupof G generated by ab^–1, bc^–1, cd^–1, de^–1is neither finite cyclic nor a finite triangle group. We alsoprove a similar result for the closely related relative grouppresentation G,s,t | sßst=1=tts^–1. 2000 MathematicsSubject Classification: 20F05, 57M05.     

Multivariate R-O Varying Measures Part I: Uniform Bounds

A finite Borel measure µ on R^d is called R-O varying withindex F if there exist a GL(R^d)-valued function f varying regularlywith index (–F), an increasing function k: (0, ) (0,) with k(t) and k(t + 1)/k(t) c 1 as t , and a -finitemeasure on R^d\0 such that R-O varying measures generalize regularly varying measures introducedby Meerschaert (see M. M. Meerschaert, ‘Regular variationin R^k’, Proc. Amer. Math. Soc. 102 (1988) 341–348)and have numerous applications in limit theorems for probabilitymeasures. For an R-O varying measure µ and – < let denote the tail- andtruncated moment functions of µ in the direction || =1. The purpose of this paper is to show that R-O variation ofa measure implies sharp bounds on the growth rate of the tail-and truncated moment functions depending on the real parts ofthe eigenvalues of the index F along a compact set of directions.Furthermore, bounds on the ratio of these functions for certainvalues of a and b are obtained. 1991 Mathematics Subject Classification:60B10, 28C15.     

On Lp boundedness of wave operators for 4-dimensional Schrodinger operators with threshold singularities

Let H=–+V(x) be a Schrödinger operator on L²(R⁴),H₀=–. Assume that |V(x)|+| V(x)|C x ^– for some>8. Let be the wave operators. It is known that W_± extend to bounded operators in L^p(R⁴)for all 1p, if 0 is neither an eigenvalue nor a resonance ofH. We show that if 0 is an eigenvalue, but not a resonance ofH, then the W_± are still bounded in L^p(R⁴) for all psuch that 4/3<p<4.     

Global Branch of Solutions for Non-Linear Schrodinger Equations with Deepening Potential Well

We consider the stationary non-linear Schrödinger equation where > 0 and the functionsf and g are such that and for some bounded open set R^N. We use topological methods to establish the existenceof two connected sets D^± of positive/negative solutionsin R x W², ^p R^N where that cover the interval (, ()) in the sense that and furthermore, The number () is characterized as the unique value of in theinterval (, ) for which the asymptotic linearization has a positiveeigenfunction. Our work uses a degree for Fredholm maps of indexzero. 2000 Mathematics Subject Classification 35J60, 35B32,58J55.     

Hilbert Transforms Along Curves in the Heisenberg Group

We consider Hilbert transforms along curves on the Heisenberggroup. In particular, necessary and sufficient conditions forthe L²-boundedness are given for (t)=(t,(t),0) when is evenor odd and convex on R⁺. 1991 Mathematics Subject Classification:42B20, 42B25.     

Dynamics of projective morphisms having identical canonical heights

Let , :^{N N} be morphisms of degree at least 2 whose canonicalheights and are identical. We draw various conclusions aboutthe Green functions, Julia sets, and canonical local heightsof and . We use this information to completely characterize and in the following cases: (i) and are polynomial mapsin one variable; (ii) is the dth-power map; (iii) is a Lattèsmap.     

Unicity of Types for Supercuspidal Representations of GLN

Let F be a non-Archimedean local field, with the ring of integerso_F. Let G = GL_N(F), K = GL_N (o_F), and be a supercuspidal representationof G. We show that there exists a unique irreducible smoothrepresentation of K, such that the restriction to K of a smoothirreducible representation ' of G contains if and only if 'is isomorphic to ° det, where is an unramified quasicharacterof F^x. Moreover, we show that contains with the multiplicity1. As a corollary we obtain a kind of inertial local Langlandscorrespondence. 2000 Mathematics Subject Classification 22E50.     

Skeletons and Central Sets

Let be an open proper subset of Rⁿ. Its skeleton is the setof points with more than one nearest neighbour in the complementof its central set is the set of centres in maximal open ballsincluded in . Intuitively, if we think of as a land mass inwhich height is proportional to distance from the sea, its skeletonand central set can be thought of as corresponding to ridgesin the mountains of . In this note I discuss the metric andtopological properties of such sets. I show that any skeletonin Rⁿ is F, and has dimension at most n – 1, by any ofthe usual measures of dimension; that if is bounded and connected,its skeleton and central set are connected; and that separatesRⁿ iff its skeleton does iff its central set does. Any centralset in Rⁿ is a G set of topological dimension at most n –1. In the plane, I show that both skeletons and central setsare locally path-connected, and indeed include many paths offinite length. For any , its central set includes its skeleton;I give examples to show that the central set can be significantlylarger than the skeleton. 1991 Mathematics Subject Classification:54F99.     

On the laplace equation with non-linear dynamical boundary conditions

The main part of the paper deals with local existence and globalexistence versus blow-up for solutions of the Laplace equationin bounded domains with a non-linear dynamical boundary condition.More precisely, we study the problem consisting in: (1) theLaplace equation in (0, ) x ; (2) a homogeneous Dirichlet condition(0, ) x ₀; (3) the dynamical boundary condition ; (4) the initial condition u(0, x) = u₀ (x) on . Here is a regular and bounded domain in Rⁿ, with n 1, and₀ and ₁ endow a measurable partition of . Moreover, m>1,2 p < r, where r = 2 (n – 1) / (n – 2) whenn 3, r = when n = 1,2, and u₀ H^1/2 , u₀ = 0 on ₀. The final part of the paper deals with a refinement of a globalnon-existence result by Levine, Park and Serrin, which is appliedto the previous problem. 2000 Mathematics Subject Classification35K55 (primary), 35K90, 35K77 (secondary).     

Bounding the number of stable homotopy types of a parametrized family of semi-algebraic sets defined by quadratic inequalities

We prove a nearly optimal bound on the number of stable homotopytypes occurring in a k-parameter semi-algebraic family of setsin R, each defined in terms of m quadratic inequalities. Ourbound is exponential in k and m, but polynomial in . More precisely,we prove the following. Let R be a real closed field and let = {P₁, ... , P_m} R[Y₁, ... ,Y,X₁, ... ,X_k], with deg_Y(P_i) 2, deg_X(P_i) d, 1 i m. Let S R^+k be a semi-algebraic set,defined by a Boolean formula without negations, with atoms ofthe form P 0, P 0, P . Let : R^+k R^k be the projection onthe last k coordinates. Then the number of stable homotopy typesamongst the fibers S_x = ^–1(x) S is bounded by (2^mkd)^O(mk).     

Spectra of graph neighborhoods and scattering

Let (G)_>0 be a family of ‘-thin’ Riemannian manifoldsmodeled on a finite metric graph G, for example, the -neighborhoodof an embedding of G in some Euclidean space with straight edges.We study the asymptotic behavior of the spectrum of the Laplace–Beltramioperator on G, as 0, for various boundary conditions. We obtaincomplete asymptotic expansions for the kth eigenvalue and theeigenfunctions, uniformly for kC^–1, in terms of scatteringdata on a non-compact limit space. We then use this to determinethe quantum graph which is to be regarded as the limit object,in a spectral sense, of the family (G). Our method is a directconstruction of approximate eigenfunctions from the scatteringand graph data, and the use of a priori estimates to show thatall eigenfunctions are obtained in this way.     

On Decomposition Numbers and Branching Coefficients for Symmetric and Special Linear Groups

In this paper we find the multiplicities dim L()_– where is an arbitrary root and L() is an irreducible SL_n-module withhighest weight . We provide different bases of the correspondingweight spaces and outline some applications to the symmetricgroups. In particular we describe certain composition multiplicitiesin the modular branching rule. 1991 Mathematics Subject Classification:20C05, 20G05.     

Projection Methods for Discrete Schrodinger Operators

Let H be the discrete Schrödinger operator acting on l² Z⁺, where the potential v is real-valued and v(n) 0 as n . Let P be the orthogonal projection onto a closedlinear subspace l² Z⁺). In a recent paper E. B. Davies definesthe second order spectrum Spec₂(H, ) of H relative to as theset of z C such that the restriction to of the operator P(H- z)²P is not invertible within the space . The purpose of thisarticle is to investigate properties of Spec₂(H, ) when islarge but finite dimensional. We explore in particular the connectionbetween this set and the spectrum of H. Our main result providessharp bounds in terms of the potential v for the asymptoticbehaviour of Spec₂(H, ) as increases towards l² Z⁺). 2000 MathematicsSubject Classification 47B36 (primary), 47B39, 81-08 (secondary).     

Partial Difference Sets with Paley Parameters

Partial difference sets with parameters (,k,,µ) = (,(– 1)/2, ( – 5)/4,( – 1)/4) are called Paleypartial difference sets. By using finite local rings, we constructa family of Paley PDSs for abelian p-groups with any given exponent.Furthermore, we prove some non-existence results on Paley PDSs.Using these results, we prove that Paley PDSs exist in a rank2 abelian group if and only if the group is isomorphic to Z_p^r x Z_{p ^r} where p is an odd prime.