Essential norms and localization moduli of Sobolev embeddings for general domains

We introduce new measures of non-compactness for the embeddingoperator E_p,q():L_p¹() L_q() and describe their relations withthe essential norm of E_{p, q}(), ‘local’ isoperimetricand isocapacitary constants. An explicit formula for the essentialnorm of E_{p, q}() is obtained for domains with a power cusp onthe boundary and bounded C¹ domains. The Neumann problem fora particular Schrödinger operator is discussed on domainswith a power cusp.     

Eigenvectors of Order-Preserving Linear Operators

Suppose that K is a closed, total cone in a real Banach spaceX, that A:XX is a bounded linear operator which maps K intoitself, and that A' denotes the Banach space adjoint of A. Assumethat r, the spectral radius of A, is positive, and that thereexist x₀0 and m1 with A^m(x₀)=r^mx₀ (or, more generally, thatthere exist x₀(–K) and m1 with A^m(x₀)r^mx₀). If, in addition,A satisfies some hypotheses of a type used in mean ergodic theorems,it is proved that there exist uK–{0} and K'–{0}with A(u)=ru, A'()=r and (u)>0. The support boundary of Kis used to discuss the algebraic simplicity of the eigenvaluer. The relation of the support boundary to H. Schaefer's ideasof quasi-interior elements of K and irreducible operators Ais treated, and it is noted that, if dim(X)>1, then thereexists an xK–{0} which is not a quasi-interior point.The motivation for the results is recent work of Toland, whoconsidered the case in which X is a Hilbert space and A is self-adjoint;the theorems in the paper generalize several of Toland's propositions.     

Generators and defining relations for ring of invariants of commuting locally nilpotent derivations or automorphisms

Let A be an algebra over a field K of characteristic zero andlet ₁, ..., _sDer _K(A) be commuting locally nilpotent K-derivationssuch that _i(x_j) equals _ij, the Kronecker delta, for some elementsx₁, ..., x_sA. A set of generators for the algebra is found explicitly and a set of defining relationsfor the algebra A is described. Similarly, let ₁, ..., _s Aut_K(A)be commuting K-automorphisms of the algebra A is given suchthat the maps _i – id_A are locally nilpotent and _i (x_j)= x_j + _ij, for some elements x₁, ..., x_s A. A set of generatorsfor the algebra A: = {a A | ₁(a) = ... = _s(a) = a} is foundexplicitly and a set of defining relations for the algebra Ais described. In general, even for a finitely generated non-commutativealgebra A the algebras of invariants A and A are not finitelygenerated, not (left or right) Noetherian and a minimal numberof defining relations is infinite. However, for a finitely generatedcommutative algebra A the opposite is always true. The derivations(or automorphisms) just described appear often in many differentsituations (possibly) after localization of the algebra A.     

On hearing the shape of a bounded domain with Robin boundary conditions

The asymptotic expansions of the trace of the heat kernel (t)= [sum ]_j=1 exp(-t_j) for small positive t, where {_j} _j=1 arethe eigenvalues of the negative Laplacian -_n = -[sum ]ⁿ_k=1 (/x^k)²in Rⁿ (n = 2 or 3), are studied for a general multiply connectedbounded domain which is surrounded by simply connected boundeddomains _i with smooth boundaries _i (i = 1,...,m), where smoothfunctions Y_i (i = 1,...,m) are assuming the Robin boundary conditions(n_i + Y_i) = 0 on _i. Here /n_i denote differentiations along theinward-pointing normals to _i (i = 1,...,m). Some applicationsof an ideal gas enclosed in the multiply connected bounded containerwith Neumann or Robin boundary conditions are given.     

Finite Element Approximation of a Rigid Punch Indenting a Membrane

Optimal order H¹ and L error bounds are obtained for a continuouspiecewise linear finite element approximation of an obstacleproblem, where the obstacle's height as well as the contactzone, _c, are a priori unknown. The problem models the indentationof a membrane by a rigid punch. For R², given ,g R⁺ and an obstacle defined over E we consider the minimization of |v|²_1,+gµover (v, µ) H¹₀() x R subject to v+µ on E. In additionwe show under certain nondegeneracy conditions that dist (_c,^h_c)Ch ln 1/h, where ^h_c is the finite element approximation to_c. Finally we show that the resulting algebraic problem canbe solved using a projected SOR algorithm.     

Total Flux Estimates for a Finite-Element Approximation of Elliptic Equations

An elliptic boundary-value problem on a domain with prescribedDirichlet data on _I is approximated using a finite-elementspace of approximation power h^K in the L² norm. It is shownthat the total flux across _I can be approximated with an errorof O(h^K) when is a curved domain in Rⁿ (n = 2 or 3) and isoparametricelements are used. When is a polyhedron, an O(h^2K–2)approximation is given. We use these results to study the finite-elementapproximation of elliptic equations when the prescribed boundarydata on _I is the total flux. Present address: School of Mathematical and Physical Sciences,University of Sussex, Brighton, Sussex BN1 9QH.     

Central L-Values and Toric Periods for GL(2)

Let be a cusp form on GL(2) over a number field F and let Ebe a quadratic extension of F. Denote by _E the base change of to E and by a unitary character of A^x_E/ E^x. We use the relativetrace formula to give an explicit formula for L(1/2, _E ) interms of period integrals of Gross–Prasad test vectors.We give an application of this formula to equidistribution ofgeodesics on a hyperbolic 3-fold.     

Morphisms Between Koszul Complexes II

Let K. denote the graded Koszul complex associated to the regularsequence (x₀, ..., x_n) in the graded polynomial ring A = k[x₀,..., x_n], |x_i| = 1 for all i, over an arbitrary field k. Let denote the Koszul complex associated to another regular sequence of homogeneous elements(p₀, ..., p_n) in A. In [5] we have studied ranks of graded chaincomplex morphisms with the property f₀ = id. Let ^k (respectively, '^k) denote the kernelof the Koszul differential d: K_k K_k–1 (respectively,), and let denote the restriction of f_k. The main result wasthat Rank . 1991 MathematicsSubject Classification 13D25.     

Heat Kernel Estimates and LP Spectral Independence of Elliptic Operators

Let be an open subset of R^d, and let T_p for p[1, ) be consistentC₀-semigroups given by kernels that satisfy an upper heat kernelestimate. Denoting their generators by A_p, we show that thespectrum (A_p) is independent of p[1, ). We also treat the caseof weighted L^p-spaces for weights that satisfy a subexponentialgrowth condition. An example shows that independence of thespectrum may fail for an exponential weight. 1991 MathematicsSubject Classification 47D06, 47A10, 35P05.     

On A Minimization Problem for Vector Fields in L1

This paper treats the problem of minimizing the norm of vectorfields in L¹ with prescribed divergence. The ridge of . playsan important role in the analysis, and in the case where R²is a polygonal domain, the ridge is thoroughly analysed andsome examples are presented. In the case where Rⁿ is a Lipschitzdomain and the divergence is a finite positive Borel measure,the infimum is calculated, and it is shown that if an extremalexists, then it is of the form ₁ = –Fd, where F is a nonnegativefunction and d(x) is the distance from x to the boundary .Finally, if R² is a polygonal domain and the measure is representedby a nonnegative continuous function, then an explicit expressionfor the extremal is given, and it is proven that this extremalis unique.     

On Restrictions and Extensions of the Besov and Triebel-Lizorkin Spaces with Respect to Lipschitz Domains

The restrictions B^s_pq() and F^s_pq() of the Besov and Triebel–Lizorkinspaces of tempered distributions B^s_pq(Rⁿ) and F^s_pq(Rⁿ) to Lipschitzdomains Rⁿ are studied. For general values of parameters (sR,p>0, q>0) a ‘universal’ linear bounded extensionoperator from B^s_pq() and F^s_pq() into the corresponding spaceson Rⁿ is constructed. The construction is based on a new variantof the Calderón reproducing formula with kernels supportedin a fixed cone. Explicit characterizations of the elementsof B^s_pq() and F^s_pq() in terms of their values in are also obtained.     

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 .     

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.     

Real Interpolation and Two Variants of Gehring's Lemma

Let be a fixed open cube in Rⁿ. For r[1, ) and [0, ) we define where Q is a cube in Rⁿ (with sides parallel to the coordinateaxes) and _Q stands for the characteristic function of the cubeQ. A well-known result of Gehring [5] states that if (1.1) for some p(1, ) and c(0, ), then there exist q(p, ) and C=C(p,q, n, c)(0, ) such that for all cubes Q, where |Q| denotes the n-dimensional Lebesguemeasure of Q. In particular, a function fL¹() satisfying (1.1)belongs to L^q(). In [9] it was shown that Gehring's result is a particular caseof a more general principle from the real method of interpolation.Roughly speaking, this principle states that if a certain reversedinequality between K-functionals holds at one point of an interpolationscale, then it holds at other nearby points of this scale. Usingan extension of Holmstedt's reiteration formulae of [4] andresults of [8] on weighted inequalities for monotone functions,we prove here two variants of this principle involving extrapolationspaces of an ordered pair of (quasi-) Banach spaces. As an applicationwe prove the following Gehring-type lemmas.     

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.     

Projection genericity of space curves

If is a smooth space curve, we consider the family of projectionsof from a variable point not on to a fixed plane. For a residualset of curves , this family versally unfolds those singularitiesthat occur in it. To obtain a family of curves which is open as well as densein the space of smooth maps, we must compactify the parameterspace, so we study curves in real projective space, and includeprojections from points of the curve itself. If is smoothlyembedded, the projection C_P of from is a well-defined smooth curve, and for generic the family C_P has generic singularities. However, when the point of projection moves off , the projectionvaries discontinuously. We define a family of plane curves,parametrised by the blow-up X of P³ along , such that for apoint in the exceptional locus lying over , we have the union of the projection C_P of from P and a straight line L through the image of the tangentat P. A key result asserts that this is a flat family. We givean explicit list of restrictions on the family C_P L (the keycondition is that the total contact order of C_P with L neverexceeds 2), and show that these hold for a dense open set ofcurves , and that if they do hold, there is a neighbourhoodU of , such that the family of projections from points of is generic. Combining this list of conditions with those obtained previouslygives a natural definition of a dense set of space curves ,for which the complete family of projections has generic singularities,and we show that this set is also open. Received September 6, 2007.     

Packing, Tiling, Orthogonality and Completeness

Let R^d be an open set of measure 1. An open set DR^d is calleda ‘tight orthogonal packing region’ for if D–Ddoes not intersect the zeros of the Fourier transform of theindicator function of , and D has measure 1. Suppose that isa discrete subset of R^d. The main contribution of this paperis a new way of proving the following result: D tiles R^d whentranslated at the locations if and only if the set of exponentialsE = {exp 2i, x: } is an orthonormal basis for L²(). (This resulthas been proved by different methods by Lagarias, Reeds andWang [9] and, in the case of being the cube, by Iosevich andPedersen [3]. When is the unit cube in R^d, it is a tight orthogonalpacking region of itself.) In our approach, orthogonality ofE is viewed as a statement about ‘packing’ R^d withtranslates of a certain non-negative function and, additionally,we have completeness of E in L²() if and only if the above-mentionedpacking is in fact a tiling. We then formulate the tiling conditionin Fourier analytic language, and use this to prove our result.2000 Mathematics Subject Classification 52C22, 42B99, 11K70.     

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     

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 Full Muntz Theorem in C[0, 1] and L1[0, 1]

The main result of this paper is the establishment of the ‘fullMüntz Theorem’ in C[0, l]. This characterizes thesequences of distinct, positive real numbers for which span{l, x^₁, x^₂, ...} is dense in C[0,1]. The novelty of this result is the treatment of the mostdifficult case when inf_ii = 0 while sup_ii = . The paper settlesthe L and L₁ cases of the following. THEOREM (Full Müntz Theorem in L_p[0,1]). Let p [l, ].Suppose that is a sequence of distinct real numbers greater than –1/p. Then span{x^₀,x^₁, ...} is dense in L_p[0, 1] if and only if