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.     

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.     

A second-order variational problem with a lack of coercivity

For ⁿ and 2n/(n – 2) < p (2n – 4)/(n –4), we study the functional In an appropriate nonlinear space, the minimization problemcan be solved using the direct method. We also construct solutionsof the gradient flow.     

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.     

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.     

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

The Approximation Numbers of Hardy-Type Operators on Trees

The Hardy operator T_a on a tree is defined by Properties of T_a as a map from L^p() into itselfare established for 1 p . The main result is that, with appropriateassumptions on u and v, the approximation numbers a_n(T_a) ofT_a satisfy for a specified constant _p and 1 p < . This extends results of Naimark, Newmanand Solomyak for p = 2. Hitherto, for p 2, (*) was unknowneven when is an interval. Also, upper and lower estimates forthe l^q and weak-l^q norms of a_n(T_a) are determined. 2000 MathematicalSubject Classification: 47G10, 47B10.     

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.     

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 Pair Correlation of Zeros of the Riemann Zeta-Function

To study the distribution of pairs of zeros of the Riemann zeta-function,Montgomery introduced the function where is real and T 2, and ' denote the imaginary parts ofzeros of the Riemann zeta-function, and w(u) = 4/(4 + u²). Assumingthe Riemann Hypothesis, Montgomery proved an asymptotic formulafor F() when || 1, and made the conjecture that F() = 1 + o(1)as T for any bounded with || 1. In this paper we use anapproximation for the prime indicator function together witha new mean value theorem for long Dirichlet polynomials andtails of Dirichlet series to prove that, assuming the GeneralizedRiemann Hypothesis for all Dirichlet L-functions, then for any > 0 we have uniformlyfor and all T T₀(). 1991Mathematics Subject Classification: primary 11M26; secondary11P32.     

Fock Space and the Poisson Process

Using the Wiener–Poisson isomorphism, we show that if(F_t)_{0 t 1} is a real, bounded, predictable process adaptedto the filtration of a compensated Poisson process (X_t)_{0 t 1}, and if is the operator corresponding to multiplication by , then for any regular self-adjoint quantum semimartingale , the essentially self-adjoint quantumsemimartingale satisfies the quantum Ito formula. We also introduce a generalisation of the Poisson process toa measure space (M, M, µ) as an isometry I: L² (M, M,µ) L²(, F, P) and give a new construction of the generalisedWiener–Poisson isomorphism W_I: F₊ (L²(M)) L² (, F, P)using exponential vectors. Using C^*-algebra theory, given anymeasure space we construct a canonical generalised Poisson process.Unlike other constructions, we make no a priori use of Poissonmeasures. 2000 Mathematics Subject Classification 60G20, 60G35,46L53, 81S25.     

On the existence and profile of nodal solutions for a two-dimensional elliptic problem with large exponent in nonlinearity

We study the existence of nodal solutions to the boundary valueproblem – u = |u|^{p – 1}u in a bounded, smooth domain in ², with homogeneous Dirichlet boundary condition, when pis a large exponent. We prove that, for p large enough, thereexist at least two pairs of solutions which change sign exactlyonce and whose nodal lines intersect the boundary of .     

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

Variation of the Milnor Fibration in Pencils of Hypersurface Singularities

Let = (f, g):(Cⁿ_{+ 1},0) (C₂, 0) be a pair of holomorphic germswith no blowing up in codimension 0. (Two examples are the following: defines an isolated complete intersection singularity; g =l^N where is a generic linear form with respect to f and N>0.) We study how the Milnor fibrations of the germs _(:ß)= g-ß f are related to each other when (:ß)varies in P¹. More precisely, we construct isotopic subfibrationsor subfibres of the Milnor fibrations of any two such germs.The proofs are based on the precise study of the subdiscs ofcomplex lines meeting a fixed complex plane curve germ transversally,generalizing Lê's work on the Cerf diagram. 2000 MathematicalSubject Classification: 32S55, 32S15, 32S30.     

Weighted Modular Inequalities for Hardy Type Operators

Given weight functions , w, and v, the weighted modular inequality is characterized. Here Qis a strictly increasing function with Q(0) = 0, Q() = and2Q(x) Q(C x), P is a Young's function, and T is the Hardy operatoror a Hardy type operator. In particular, a characterizing conditionfor the Hardy type operator to map L^p(w) to L^q(v) when 0 <q < 1 p < is deduced. In addition, a new proof for theMaz'ja-Sinnamon theorem is given, and weighted Lorentz norminequalities for Hardy type operators are established. 1991Mathematics Subject Classification: primary 26D15, 42B25; secondary26A33, 46E30.     

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 Finite and InfiniteCk-A-Determinacy

Let f: (Rⁿ,0) (R^p,0) be a C map-germ. We define f to be finitely,or -, A-determined, if there exists an integer m such that allgerms g with j^mg(0) = j^mf(0), or if all germs g with the sameinfinite Taylor series as f, respectively, are A-equivalentto f. For any integer k, 0 k < , we can consider A' sC^kcounterpart (consisting of C^k diffeomorphisms) A^(k), and wecan define the notion of finite, or -,A^(k)-determinacy in asimilar manner. Consider the following conditions for a C germf: (a_k) f is -A^(k)-determined, (b_k) f is finitely A^(k)-determined,(t) , (g) there exists a representative f : U R^p defined on some neighbourhood U of 0 in Rⁿ such thatthe multigerm of f is stable at every finite set , and (g') every f' with j f'(0)=j f(0) satisfiescondition (g). We also define a technical condition which willimply condition (g) above. This condition is a collection ofp+1 Lojasiewicz inequalities which express that the multigermof f is stable at any finite set of points outside 0 and onlybecomes unstable at a finite rate when we approach 0. We willdenote this condition by (e). With this notation we prove thefollowing. For any C map germ f:(Rⁿ,0) (R^p,0) the conditions(e), (t), (g') and (a) are equivalent conditions. Moreover,each of these conditions is equivalent to any of (a_k) (p+1 k < , (b_k) (p+1 k < ). 1991 Mathematics Subject Classification:58C27.     

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.     

Moduli of McKay quiver representations I: the coherent component

For a finite abelian group G GL (n, ), we describe the coherent component Y of the moduli space of-stable McKay quiver representations. This is a not-necessarily-normaltoric variety that admits a projective birational morphism obtained by variation of GeometricInvariant Theory quotient. As a special case, this gives a newconstruction of Nakamura's G-Hilbert scheme Hilb^G that avoidsthe (typically highly singular) Hilbert scheme of |G|-pointsin . To conclude, we describe the toric fan of Y and hence calculate the quiver representationcorresponding to any point of Y.