Sharp Results Concerning the Expression of Functions as Sums of Finite Differences

Let * denote convolution and let _x denote the Dirac measureat a point x. A function in L²(R)) is called a difference oforder 1 if it is of the form g-_x * g for some x R and g L²(R)).Also, a difference of order 2 is a function of the form for some x R and g L²(R)). In fact,the concept of a ‘difference of order s’ may bedefined in a similar manner for each s 0. If f denotes the Fouriertransform of f, it is known that a function f in L²(R)) is afinite sum of differences of order s if and only if , and the vector space of all suchfunctions is denoted by D_s (L²(R)). Every function in D_s (L²(R))is a sum of int(2s) + 1 differences of order s, where int(t)denotes the integer part of t. Thus, every function in D₁ (L²(R))is a sum of three first order differences, but it was provedin 1994 that there is a function in D₁ (L(R)) which is neverthe sum of two first order differences. This complemented, forthe group R, the corresponding result for first order differencesobtained by Meisters and Schmidt in 1972 for the circle group.The results show that there is a function in L₂ R such that,for each s 1/2, this function is a sum of int (2s) + 1 differencesof order s but it is never the sum of int (2s) differences oforder s. The proof depends upon extending to higher dimensionsthe following result in two dimensions obtained by Schmidt in1972 in connection with Heilbronn's problem: if x₁, x__n arepoints in the unit square, Following on from the work of Meisters and Schmidt, this workfurther develops a connection between certain estimates in combinatorialgeometry and some questions of sharpness in harmonic analysis.2000 Mathematics Subject Classification 42A38 (primary), 52A40(secondary).     

The gradient iteration for approximation in reproducing kernel Hilbert spaces

Consider the bounded linear operator, L: F Z, where Z R^N andF are Hilbert spaces defined on a common field X. L is madeup of a series of N bounded linear evaluation functionals, L_i:F R. By the Riesz representation theorem, there exist functionsk(x_i, ^·) F : L_if = f, k(x_i, ^·)_F. The functions,k(x_i, ^·), are known as reproducing kernels and F is areproducing kernel Hilbert space (RKHS). This is a natural frameworkfor approximating functions given a discrete set of observations.In this paper the computational aspects of characterizing suchapproximations are described and a gradient method presentedfor iterative solution. Such iterative solutions are desirablewhen N is large and the matrix computations involved in thebasic solution become infeasible. This is also exactly the casewhere the problem becomes ill-conditioned. An iterative approachto Tikhonov regularization is therefore also introduced. Unlikeiterative solutions for the more general Hilbert space setting,the proofs presented make use of the spectral representationof the kernel.     

The Marica-Schonheim Inequality in Lattices

The Marica-Schönheim Inequality says that if A is a finitefamily of sets, then |A–||A| where A–A=[A₁\A₂:A₁,A₂A]. For a finite lattice L and AL, we define a–b=(J_a\J_b)where J_a=[jL:ja and j is join-irreducible], and if AL then welet A–A=[a₁–a₂: a₁, a₂A]. Then the analogue of theMarica-Schöonheim Inequality is |A–A|A| for all AL.We prove that this is true if L is distributive or complementedand modular or L is a partition lattice.     

Link Cobordism and the Intersection of Slice Discs

We work in the smooth category. An (oriented) (ordered) m-component n-(dimensional) link isa smooth oriented submanifold L = {K₁, ..., K_m} of Sⁿ⁺² whichis the ordered disjoint union of m manifolds, each PL-homeomorphicto the standard n-sphere. If m = 1, then L is called a knot. We say that m-component n-dimensional links L₀ and L₁ are (link-)concordantor (link-)cobordant if there is a smooth oriented submanifoldC = {C₁, ..., C_m} of Sⁿ⁺² x [0, 1] which meets the boundarytransversely in C, is PL-homeomorphic to L₀ x [0, 1], and meetsSⁿ⁺² x {l} in L_l (l = 0, 1). If m = 1, then we say that n-knotsL₀ and L_l are (knot-)concordant or (knot-)cobordant. Then wecall C a concordance-cylinder of the two n-knots L₀ and L_l. If an n-link L is concordant to the trivial link, then we callL a slice link. If an n-link L = {K₁, ..., K_m} Sⁿ⁺² = Bⁿ⁺³ Bⁿ⁺³ is slice,then there is a disjoint union of (n + 1)-discs in Bⁿ⁺³ such that is called a set of slice discs for L. If m = 1, then is called a slice disc for the knotL. 1991 Mathematics Subject Classification 57M25, 57Q45.     

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.     

On the L-Function of the Curves y2 = x5 + A

Let C_A/Q be the curve y² = x⁵ + A, and let L(s, J_A) denote theL-series of its Jacobian. Under the assumption that the signin the functional equation for L(s, J_A) is +1, the criticalvalue L(1, J_A) is evaluated in terms of the value of a thetaseries for depending on Aat a complex multiplication point coming from Q(₅).     

Symmetric Polynomials on Rearrangement-Invariant Function Spaces

The exact representation of symmetric polynomials on Banachspaces with symmetric basis and also on separable rearrangement-invariantfunction spaces over [0, 1] and [0, ) is given. As a consequenceof this representation it is obtained that, among these spaces,l_2n, L_2n[0, 1], L_2n[0, ) and L_2n[0, )L_2m[0, ) where n, m areboth integers are the only spaces that admit separating polynomials.     

Lie Powers of Modules for Groups of Prime Order

Let L(V) be the free Lie algebra on a finite-dimensional vectorspace V over a field K, with homogeneous components Lⁿ(V) forn 1. If G is a group and V is a KG-module, the action of Gextends naturally to L(V), and the Lⁿ(V) become finite-dimensionalKG-modules, called the Lie powers of V. In the decompositionproblem, the aim is to identify the isomorphism types of indecomposableKG-modules, with their multiplicities, in unrefinable directdecompositions of the Lie powers. This paper is concerned withthe case where G has prime order p, and K has characteristicp. As is well known, there are p indecomposables, denoted hereby J₁,...,J_p, where J_r has dimension r. A theory is developedwhich provides information about the overall module structureof LV) and gives a recursive method for finding the multiplicitiesof J₁,...,J_p in the Lie powers Lⁿ(V). For example, the theoryyields decompositions of L(V) as a direct sum of modules isomorphiceither to J₁ or to an infinite sum of the form J_r J_{p-1} J_{p-1} ... with r 2. Closed formulae are obtained for the multiplicitiesof J₁,..., J_p in Lⁿ(J_p and Lⁿ(J_{p-1). For r < p-1, the indecomposableswhich occur with non-zero multiplicity in Lⁿ(J_r) are identifiedfor all sufficiently large n. 2000 Mathematical Subject Classification:17B01, 20C20.     

UNEXPECTED SUBSPACES OF TENSOR PRODUCTS

We describe complemented copies of ₂ both in C(K₁) C(K₂) when at least one of the compact spaces K_iis not scattered and in L₁(µ₁)L₁(µ₂) when at least one of the measures is not atomic.The corresponding local construction gives uniformly complementedcopies of the in c₀ c₀. We continue the study of c₀ c₀ showing that it contains a complementedcopy of Stegall's space and proving that (c₀ c₀)' is isomorphicto , together with other results. In the last section we use Hardy spaces to find an isomorphiccopy of L_p in the space of compact operators from L_q to L_r,where 1 < p, q, r < and 1/r = 1/p + 1/q.     

An unfitted finite-element method for elliptic and parabolic interface problems

Bhupen Deka Department of Mathematics, Assam University, Silchar-788011, India ^{A finite-element discretization, independent of the locationof the interface, is proposed and analysed for linear ellipticand parabolic interface problems. We establish error estimatesof optimal order in the H1-norm and almost optimal order inthe L2-norm for elliptic interface problems. An extension toparabolic interface problems is also discussed and an optimalerror estimate in the L2(0, T;H1())-norm and an almost optimalorder estimate in the L2(0, T;L2())-norm are derived for thespatially discrete scheme. A fully discrete scheme based onthe backward Euler method is analysed and an optimal order errorestimate in the L2(0, T;H1())-norm is derived. The interfacesare assumed to be of arbitrary shape and smooth for our purpose.}     

Oscillation theory and numerical solution of fourth-order Sturm--Liouville problems

A shooting method is developed to approximate the eigenvaluesand eigenfunc-tions of a fourth-order Sturm-Liouville problem.The main tool is a miss-distance function M(), which countsthe number of eigenvalues less than A. The method approximatesthe coefficients of the differential equation by piecewise-constantfunctions, which enables an exact solution to be found on eachmesh interval. In order to calculate N() for the approximateproblem, certain oscillation numbers N_L and N_R must be computed.These consist of sums of nullities (or rank deficiencies) of2 x 2 matrices obtained from the solutions of the approximatedifferential equation. Although these solutions can be foundexplicitly, the calculation of N_L and N_R is non-trivial, andis obtained by using certain properties of M().     

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      

Riesz Transforms on a Discrete Group of Polynomial Growth

Let G be a finitely generated, discrete group of polynomialgrowth. This paper provides a proof of the boundedness in L_p(G),1 < p < , of some higher-order Riesz transform operatorsassociated with a probability density on G. 2000 MathematicsSubject Classification 60B15, 43A15.     

A remark on the representation of Zolotarev polynomials

Zolotarev polynomials are the polynomials that have minimaldeviation from zero on [–1, 1] with respect to the norm||xⁿ – x^n–1 + a_n–2 x^n–2 + ... + a₁x+ a_n|| for given and for all a_k . This note complements the paper of F. Pehersforfer [J. LondonMath. Soc. (1) 74 (2006) 143–153] with exact (not asymptotic)construction of the Zolotarev polynomials with respect to thenorm L₁ for || < 1 and with respect to the norm L₂ for || 1 in the form of Bernstein–Szegö orthogonal polynomials.For all in L₁ and L₂ norms, the Zolotarev polynomials satisfyexactly (not asymptotically) the triple recurrence relationof the Chebyshev polynomials.     

Isomorphisms of Group Algebras

Let G₁ and G₂ be locally compact groups. If T is an algebraisomorphism of L¹(G₁) onto L¹(G₂) with ||T|| (1+3), then G₁and G₂ are isomorphic. This improves on earlier results, and,in a certain sense, is best possible. However, the main conjecturethat the groups are isomorphic if ||T|| < 2 remains unsolvedexcept for abelian groups and for connected groups. Similarresults are given for the measure algebra M(G) and for the algebraC(G) of continuous functions when the group G is compact.     

How To Make Davies' Theorem Visible

We prove that for an arbitrary measurable set A R² and a -finiteBorel measure µ on the plane, there is a Borel set oflines L such that for each point in A, the set of directionsof those lines from L containing the point is a residual set,and, moreover, We show how this result may be used to characterise the sets of the planefrom which an invisible set is visible. We also characterisethe rectifiable sets C₁, C₂ for which there is a set which isvisible from C₁ and invisible from C₂.     

Primitive Representations by Spinor Genera of Ternary Quadratic Forms

Let a be primitively represented by the genus of a ternary quadraticlattice L defined over the ring of integers of an algebraicnumber field F. Criteria to determine whether a is primitivelyrepresented by every spinor genus in the genus of L involvecertain subgroups *(L_p, a) of the multiplicative groups of thelocalizations F_p of F with respect to the various nonarchimedeanprime spots p on F. In this paper these groups *(L_p, a) aredetermined explicitly for nondyadic and 2-adic prime spots.Examples are given which show how this information can, in someinstances, be used in combination with known results, to determineall integers primitively represented by a particular positivedefinite ternary quadratic form.     

Optimal Approximation of the Electrostatic Capacity Matrix of Two Conducting Spheres by a Short-Distance Asymptotic Expansion

An integral representation for the electrostatic capacity matrixC=[c_ij]_i,j=1,2 of two conducting spheres of radii R₁, and R₂is obtained. A short-distance asymptotic expansion is then derivedand its approximation properties for fixed (surface) distancer between the spheres are investigated. An error function is defined for c_ij(r) and its nthorder asymptotic approximant it has the property following from the divergence of the expansion, and thereby shows thatthe optimal approximation of c_ij(r) is achieved by an approximantof finite order n = n_ij(r) depending possibly on r and the indicesi,j. The value gives the quality of approximation of c_ij by the asymptotic expansion for a givendistance r between the spheres. The point sets and are introduced in order to describe the distance ranges where c_ij can be approximatedwithin a given error >0 by an asymptotic approximant of given order n, or at least by theoptimal approximant, respectively. The optimal order n_ij(r)and the -approximation sets and D() are investigated numerically.     

Linear Automorphisms that are Symplectomorphisms

Let K be the field of real or complex numbers. Let (X K²ⁿ,) be a symplectic vector space and take 0 < k < n,N =. Let L₁,...,L_N X be 2k-dimensionallinear subspaces which are in a sufficiently general position.It is shown that if F : X X is a linear automorphism whichpreserves the form ^k on all subspaces L₁,...,L_N, then F is an_k-symplectomorphism (that is, F^* = _k, where ). In particular, if K = R and k is odd then F mustbe a symplectomorphism. The unitary version of this theoremis proved as well. It is also observed that the set A_l,2r ofall l-dimensional linear subspaces on which the form has rank 2r is linear in the Grassmannian G(l,2n), that is, there isa linear subspace L such that A_l,2r = L G(l, 2n). In particular,the set A_l,2r can be computed effectively. Finally, the notionof symplectic volume is introduced and it is proved that itis another strong invariant.     

Torsion Modules, Lattices and P-Points

Answering a long-standing question in the theory of torsionmodules, we show that weakly productively bounded domains arenecessarily productively bounded. (See the Introduction fordefinitions.) Moreover, we prove a twin result for the ideallattice L of a domain equating weak and strong global intersectionconditions for families (X_i)_iI of subsets of L with the propertythat _iI A_i 0 whenever A_iX_i. Finally, we show that for domainswith Krull dimension (and countably generated extensions thereof),these lattice-theoretic conditions are equivalent to productiveboundedness. 1991 Mathematics Subject Classification 03E05,06A23, 13C12, 16U20, 16P60.