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.     

Normal Transversality and Uniform Bounds

Let A be a commutative ring. A graded A-algebra U = _n0 U_n isa standard A-algebra if U₀ = A and U = A[U₁] is generated asan A-algebra by the elements of U₁. A graded U-module F = _n0F_nis a standard U-module if F is generated as a U-module by theelements of F₀, that is, F_n = U_nF₀ for all n 0. In particular,F_n = U₁F_n–1 for all n 1. Given I, J, two ideals of A,we consider the following standard algebras: the Rees algebraof I, R(I) = _n0Iⁿtⁿ = A[It] A[t], and the multi-Rees algebraof I and J, R(I, J) = _n0(_p+q=nI^pJ^qu^pv^q) = A[Iu, Jv] A[u, v].Consider the associated graded ring of I, G(I) = R(I) A/I =_n0Iⁿ/Iⁿ⁺¹, and the multi-associated graded ring of I and J,G(I, J) = R(I, J) A/(I+J) = _n0(_p+q=nI^pJ^q/(I+J)I^pJ^q). We canalways consider the tensor product of two standard A-algebrasU = _p0U_p and V = _q0V_q as a standard A-algebra with the naturalgrading U V = _n0(_p+q=nU_p V_q). If M is an A-module, we havethe standard modules: the Rees module of I with respect to M,R(I; M) = _n0IⁿMtⁿ = M[It] M[t] (a standard R(I)-module), andthe multi-Rees module of I and J with respect to M, R(I, J;M) = _n0(_p+q=nI^pJ^qMu^pv^q) = M[Iu, Jv] M[u, v] (a standard R(I,J)-module). Consider the associated graded module of M withrespect to I, G(I; M) = R(I; M) A/I = _n0IⁿM/Iⁿ⁺¹M (a standardG(I)-module), and the multi-associated graded module of M withrespect to I and J, G(I, J; M) = R(I, J; M) A/(I+J) = _n0(_p+q=nI^pJ^qM/(I+J)I^pJ^qM)(a standard G(I, J)-module). If U, V are two standard A-algebras,F is a standard U-module and G is a standard V-module, thenF G = _n0(_p+q=nF_p G_q) is a standard U V-module. Denote by :R(I) R(J; M) R(I, J; M) and :R(I, J; M) R(I+J;M) the natural surjective graded morphisms of standard RI) R(J)-modules. Let :R(I) R(J; M) R(I+J; M) be . Denote by :G(I) G(J; M) G(I, J; M) and :G(I, J; M) G(I+J; M) the tensor productof and by A/(I+J); these are two natural surjective gradedmorphisms of standard G(I) G(J)-modules. Let :G(I) G(J; M) G(I+J; M) be . The first purpose of this paper is to prove the following theorem.     

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.     

Bifurcations of Periodic Points of Holomorphic Maps From C2 into C2

Let F:Cⁿ Cⁿ be a holomorphic map, F^k be the kth iterate ofF, and p Cⁿ be a periodic point of F of period k. That is,F^k(p) = p, but for any positive integer j with j < k, F^j(p) p. If p is hyperbolic, namely if DF^k(p) has no eigenvalue ofmodulus 1, then it is well known that the dynamical behaviourof F is stable near the periodic orbit = {p, F(p),..., F^k–1(p)}.But if is not hyperbolic, the dynamical behaviour of F near may be very complicated and unstable. In this case, a veryinteresting bifurcational phenomenon may occur even though may be the only periodic orbit in some neighbourhood of : forgiven M N\{1}, there may exist a C^r-arc {F_t: t [0,1]} (wherer N or r = ) in the space H(Cⁿ) of holomorphic maps from Cⁿinto Cⁿ, such that F₀ = F and, for t (0,1], F_t has an Mk-periodicorbit _t with as t 0. Theperiod thus increases by a factor M under a C^r-small perturbation!If such an F_t does exist, then , as well as p, is said to beM-tupling bifurcational. This definition is independent of r. For the above F, there may exist a C^r-arc in H(Cⁿ), with t [0,1], such that and, for t (0,1], has two distinct k-periodic orbits _t,1 and _t,2 with d(_t,i, ) 0 as t 0 for i = 1,2. If such an does exist, then , as well as p, is said to be 1-tupling bifurcational. In recent decades, there have been many papers and remarkableresults which deal with period doubling bifurcations of periodicorbits of parametrized maps. L. Block and D. Hart pointed outthat period M-tupling bifurcations cannot occur for M >2 in the 1-dimensional case. There are examples showing thatfor any M N, period M-tupling bifurcations can occur in higher-dimensionalcases. An M-tupling bifurcational periodic orbit as defined here actsas a critical orbit which leads to period M-tupling bifurcationsin some parametrized maps. The main result of this paper isthe following. Theorem. Let k N and M N, and let F: C² C² be a holomorphicmap with k-periodic point p. Then p is M-tupling bifurcationalif and only if DF^k(p) has a non-zero periodic point of periodM. 1991 Mathematics Subject Classification: 32H50, 58F14.     

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.     

On the Fredholm Alternative for the p-Laplacian in One Dimension

We investigate the existence of a weak solution u to the quasilineartwo-point boundary value problem We assume that 1 < p < p ¬ = 2, 0 < a < , andthat f L¹(0,a) is a given function. The number _k stands forthe k-th eigenvalue of the one-dimensional p-Laplacian. Let_{p p} x/a) denote the eigenfunction associated with ₁; then _p(k_p x/a) is the eigenfunction associated with _k. We show the existenceof solutions to (P) in the following cases. (i) When k=1 and f satisfies the orthogonality condition the set of solutions is bounded. (ii) If k=1 and f_t L¹(0,a) is a continuous family parametrizedby t [0,1], with then there exists some t^* [0,1] such that (P) has a solutionfor f = f_t^*. Moreover, an appropriate choice of t_* yields asolution u with an arbitrarily large L¹(0,a)-norm which meansthat such f cannot be orthogonal to _pp x/a. (iii) When k 2 and f satisfies a set of orthogonality conditionsto _p(k p x/a) on the subintervals , again, the set of solutions is bounded. is a continuous family satisfying either or another related condition, then there exists some t^* [0,1]such that (P) has a solution for f = f_t*. Prüfer's transformation plays the key role in our proofs.2000 Mathematical Subject Classification: primary 34B16, 47J10;secondary 34L40, 47H30.     

Rado Partition Theorem for Random Subsets of Integers

For an l x k matrix A = (a_ij) of integers, denote by L(A) thesystem of homogenous linear equations a_i1x₁ + ... + a_ikx_k =0, 1 i l. We say that A is density regular if every subsetof N with positive density, contains a solution to L(A). Fora density regular l x k matrix A, an integer r and a set ofintegers F, we write if for any partition F = F₁ ... F_r there exists i {1, 2,..., r} and a column vector x such that Ax = 0 and all entriesof x belong to F_i. Let [n]_N be a random N-element subset of{1, 2, ..., n} chosen uniformly from among all such subsets.In this paper we determine for every density regular matrixA a parameter = (A) such that lim_n P([n]_N (A)_r)=0 if N =O(n) and 1 if N = (n). 1991 Mathematics Subject Classification:05D10, 11B25, 60C05     

Almost Everywhere Convergence of Bochner-Riesz Means On The Heisenberg Group and Fractional Integration On The Dual

Let L denote the sub-Laplacian on the Heisenberg group H_n and the corresponding Bochner-Riesz operator. Let Q denote the homogeneous dimension and D the Euclideandimension of H_n. We prove convergence a.e. of the Bochner-Rieszmeans as r 0 for > 0and for all f L^p(H_n), provided that . Our proof is based on explicit formulas for the operators with a C, defined on the dual ofH_n by , which may be of independent interest. Here is given by for all (z,u) H_n. 2000 Mathematical Subject Classification: 22E30, 43A80.     

An Algebra of Pseudodifferential Operators with Slowly Oscillating Symbols

Let VR denote the Banach algebra of absolutely continuous functionsof bounded total variation on R, and let B_p be the Banach algebraof bounded linear operators acting on the Lebesgue space L^pRfor 1 < p < . We study the Banach algebra A B_p generatedby the pseudodifferential operators of zero order with slowlyoscillating VR-valued symbols on R. Boundedness and compactnessconditions for pseudodifferential operators with symbols inL R, VR are obtained. A symbol calculus for the non-closed algebraof pseudodifferential operators with slowly oscillating VR-valuedsymbols is constructed on the basis of an appropriate approximationof symbols by infinitely differentiable ones and by use of thetechniques of oscillatory integrals. As a result, the quotientBanach algebra A = A K, where K is the ideal of compact operatorsin B_p, is commutative and involutive. An isomorphism betweenthe quotient Banach algebra A of pseudodifferential operatorsand the Banach algebra of their Fredholm symbols is established. A Fredholm criterionand an index formula for the pseudodifferential operators A A are obtained in terms of their Fredholm symbols. 2000 MathematicsSubject Classification 47G30, 47L15 (primary), 47A53, 47G10(secondary).     

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

On Translation Functors for General Linear and Symmetric Groups

In this paper we study the rational representation theory ofthe general linear group G = GL_n(F) over an algebraically closedfield F of characteristic p. Given Z/pZ, we define functorsTr and Tr, which, roughly speaking, are given by tensoring withthe natural G-module V and its dual V* respectively, and thenprojecting onto certain blocks determined by the residue . Infact, these functors can be viewed as special cases of Jantzen'stranslation functors. We prove a number of fundamental propertiesabout these functors and also certain closely related functorsthat arise in the modular representation theory of the symmetricgroup. 1991 Mathematics Subject Classification: 20G05, 20C05.     

The Decomposition of Lie Powers

Let G be a group, F a field of prime characteristic p and Va finite-dimensional FG-module. Let L(V) denote the free Liealgebra on V regarded as an FG-submodule of the free associativealgebra (or tensor algebra) T(V). For each positive integerr, let L^r (V) and T^r (V) be the rth homogeneous components ofL(V) and T(V), respectively. Here L^r (V) is called the rth Liepower of V. Our main result is that there are submodules B₁,B₂, ... of L(V) such that, for all r, B_r is a direct summandof T^r(V) and, whenever m 0 and k is not divisible by p, themodule is the direct sum of , . Thus every Lie power is a direct sum of Lie powers of p-powerdegree. The approach builds on an analysis of T^r (V) as a bimodulefor G and the Solomon descent algebra. 2000 Mathematics SubjectClassification 17B01 (primary), 20C07, 20C20 (secondary).     

Sums of Connectivity Functions on Rn

A function f: Rⁿ R is a connectivity function if the graphof its restriction f|C to any connected C Rⁿ is connected inRⁿ x R. The main goal of this paper is to prove that every functionf: Rⁿ R is a sum of n + 1 connectivity functions (Corollary2.2). We will also show that if n > 1, then every functiong: Rⁿ R which is a sum of n connectivity functions is continuouson some perfect set (see Theorem 2.5) which implies that thenumber n + 1 in our theorem is best possible (Corollary 2.6). Toprove the above results, we establish and then apply the followingtheorems which are of interest on their own. For every dense G-subset G of Rⁿ there are homeomorphisms h₁,..., h_n of Rⁿ such that Rⁿ = G h₁(G) ... h_n(G) (Proposition2.4). For every n > 1 and any connectivity function f: Rⁿ R, ifx Rⁿ and > 0 then there exists an open set U Rⁿ such thatx U Bⁿ(x, ), f|bd(U) is continuous, and |(x) – f(y)|< for every y bd(U) (Proposition 2.7). 1991 MathematicsSubject Classification: 26B40, 54C30, 54F45.     

Second-order operators with degenerate coefficients

We consider properties of second-order operators on ^d with bounded real symmetric measurable coefficients.We assume that C = (c_ij) 0 almost everywhere, but allow forthe possibility that C is degenerate. We associate with H acanonical self-adjoint viscosity operator H₀ and examine propertiesof the viscosity semigroup S⁽⁰⁾ generated by H₀. The semigroupextends to a positive contraction semigroup on the L_p-spaceswith p [1, ]. We establish that it conserves probability andsatisfies L₂ off-diagonal bounds, and that the wave equationassociated with H₀ has finite speed of propagation. Nevertheless,S⁽⁰⁾ is not always strictly positive because separation of thesystem can occur even for subelliptic operators. This demonstratesthat subelliptic semigroups are not ergodic in general and theirkernels are neither strictly positive nor Hölder continuous.In particular, one can construct examples for which both upperand lower Gaussian bounds fail even with coefficients in C^2–(^d)with > 0.     

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.     

A Class of Infinite Dimensional Simple Lie Algebras

Let A be an abelian group, F be a field of characteristic 0,and , ß be linearly independent additive maps fromA to F, and let ker()\{0}. Then there is a Lie algebra L = L(A,, ß, ) = _xA Fe_x under the product [e_x, e_y]]=(x–y)e_x+y+(ß) (x, y) e_x+y–. If, further, ß() = 1, and ß(A) = Z, thereis a subalgebra L⁺:=L(A⁺, , ß, ) = _xA⁺ Fe_x, whereA⁺ = {xA|ß(x)0}. The necessary and sufficient conditionsare given for L' = [L, L] and L⁺ to be simple, and all semi-simpleelements in L' and L⁺ are determined. It is shown that L' andL⁺ cannot be isomorphic to any other known Lie algebras andL' is not isomorphic to any L⁺, and all isomorphisms betweentwo L' and all isomorphisms between two L⁺ are explicitly described.     

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

The l{infty} direct sum of Lp (1 < p < {infty}) is primary

Using Szemeredi's theorem on arithmetic progressions, it isshown that, for 1 < p < , the infinite l direct sum (L^p L^p · · · )_l is a primary Banach space.     

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

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.