Lévy–Khintchine Formula and Dual Convolution Semigroups Associated with Laguerre and Bessel Functions

In this work we consider a system of partial differential operators D ₁,D ₂ on K=[0,+[×R, whose eigenfunctions are the functions (x,t), (x,t)K, =((R0)×N)(0×[0,+[), which are related to the Laguerre functions for ((R 0)×N)(0,0) and which are the Bessel functions for (0×[0,+[). We provide K and with a convolution structure. We prove a Lévy–Khintchine formula on K, which permits us to characterize dual convolution semigroups on .     

Packing circuits in eulerian digraphs

LetG be an eulerian digraph; let (G) be the maximum number of pairwise edge-disjoint directed circuits ofG, and (G) the smallest size of a set of edges that meets all directed circuits ofG. Borobia, Nutov and Penn showed that (G) need not be equal to (G). We show that (G)=(G) provided thatG has a linkless embedding in 3-space, or equivalently, if no minor ofG can be converted toK ₆ by –Y andY– operations.     

Reconstructing dimensions of intersections of convex sets

Denoting by dimA the dimension of the affine hull of the setA, we prove that if {K _i:i T} and {K _i ^j :i T} are two finite families of convex sets inR ⁿ and if dim {K _i :i S} = dim {K _i ^j :i S}for eachS T such that|S| n + 1 then dim {K _i :i T} = dim {K _i : {i T}}.     

On the positive definiteness of n ↦ epnα for α close to 2

For >2, let Q ⁺() be the infimum of those q>0 for which the function n e^pn is positive definite on N ₀ for every pq. We shall prove that Q ⁺()0 as 2.     

Differential geometry of tensor product immersions II

In the first part of this series, we prove that the tensor product immersionf ₁ f _2k of2k isometric spherical immersions of a Riemannian manifoldM in Euclidean space is of-type with k and classify tensor product immersionsf ₁ f _2k which are ofk-type. In this article we investigate the tensor product immersionsf ₁ f _2k which are of (k+1)-type. Several classification theorems are obtained.     

Approximation under an arc length constraint

Let f C[a, b]. LetP be a subset ofC[a, b], L b – a be a given real number. We say thatp P is a best approximation tof fromP, with arc length constraintL, ifA[p] _b ^a [1 + (p(x)) ²]dx L andp – f q – f for allq P withA[q] L. represents an arbitrary norm onC[a, b]. The constraintA[p] L might be interpreted physically as a materials constraint.In this paper we consider the questions of existence, uniqueness and characterization of constrained best approximations. In addition a bound, independent of degree, is found for the arc length of a best unconstrained Chebyshev polynomial approximation.The work of L. L. Keener is supported by the National Research Council of Canada Grant A8755.     

Linearity properties of Shimura varieties, II

Let A=A_{g, 1, n} denote the moduli scheme over Z[1/N] of p.p. g-dimensional abelian varieties with a level n structure; its generic fibre can be described as a Shimura variety. We study its Shimura subvarieties. If x A is an ordinary moduli point in characteristic p, then we formulate a local linearity property in terms of the Serre–Tate group structure on the formal deformation space (= formal completion of A at x). We prove that an irreducible algebraic subvariety of A is a Shimura subvariety if, locally at an ordinary point x, it is formally linear. We show that there is a close connection to a differential-geometrical linearity property in characteristic 0.We apply our results to the study of Oort's conjecture on subvarieties Z A with a dense collection of CM-points. We give a reformulation of this conjecture, and we prove it in a special case.     

Almost Covers Of 2-Arc Transitive Graphs

Let be a G-symmetric graph whose vertex set admits a nontrivial G-invariant partition with block size v. Let be the quotient graph of relative to and [B,C] the bipartite subgraph of induced by adjacent blocks B,C of . In this paper we study such graphs for which is connected, (G, 2)-arc transitive and is almost covered by in the sense that [B,C] is a matching of v-1 2 edges. Such graphs arose as a natural extremal case in a previous study by the author with Li and Praeger. The case K _v+1 is covered by results of Gardiner and Praeger. We consider here the general case where K _v+1, and prove that, for some even integer n 4, is a near n-gonal graph with respect to a certain G-orbit on n-cycles of . Moreover, we prove that every (G, 2)-arc transitive near n-gonal graph with respect to a G-orbit on n-cycles arises as a quotient of a graph with these properties. (A near n-gonal graph is a connected graph of girth at least 4 together with a set of n-cycles of such that each 2-arc of is contained in a unique member of .)     

Smoothness of Brownian local times and related functionals

In this paper we show that the local time of the Brownian motion belongs to the Sobolev space for any p2 and 0<<1/p. In order to prove this result we first discuss the smoothness and integrability properties of the composition of the Dirac function with a Wiener integral W(h), and we show that this composition belongs to , for any >0 and p>1 such that +1/p>1.     

On the Approximation of Functions on Locally Compact Abelian Groups

Questions of approximative nature are considered for a space of functions L ^p(G, ), 1 p , defined on a locally compact abelian Hausdorff group G with Haar measure . The approximating subspaces which are analogs of the space of exponential type entire functions are introduced.     

Weyl's theorem for operator matrices

Weyl's theorem holds for an operator when the complement in the spectrum of the Weyl spectrum coincides with the isolated points of the spectrum which are eigenvalues of finite multiplicity. By comparison Browder's theorem holds for an operator when the complement in the spectrum of the Weyl spectrum coincides with Riesz points. Weyl's theorem and Browder's theorem are liable to fail for 2×2 operator matrices. In this paper we explore how Weyl's theorem and Browder's theorem survive for 2×2 operator matrices on the Hilbert space.Supported in part by BSRI-97-1420 and KOSEF 94-0701-02-01-3.     

An eigenvalue problem for the numerical range of a bounded linear operator

LetX be a complex Lebesgue space with a unique duality mapJ fromX toX ^*, the conjugate space ofX. LetA be a bounded linear operator onX. In this paper we obtain a non-linear eigenvalue problem for (A)=sup{Re: W(A} whereW(A)={J(x)A(x)) : x=1}, under the assumption that (A) and the convex hull ofW(A) for some linear operatorsA onl _p , 2<p<.     

Schrödinger equation. The theorem concerning the ansatz representation of a solution concentrated in a neighborhood of a minimum of the potential

The one-dimensional Schrödinger equation is considered on the segment [–l,l] It is assumed that the potential v(x) of this equation has one minimum v(0)=v(0)=0, v(0)>0 v(x)>0 for x0; v(x)h>0 outside some neighborhood of zero. It is proved that there exists a solution of the form where is a parabolic cylinder function, and is a smooth function which is bounded on [–l,l] together with derivatives through third order by a constant not depending on . The function and the real number E admit a known asymptotic expansion as 0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 140, pp. 137–150, 1984.     

On the Measure of a Nonreciprocal Algebraic Number

Let M() be the Mahler measure of an algebraic number and let G() be the modulus of the product of logarithms of absolute values of its conjugates. We prove that if is a nonreciprocal algebraic number of degree d 2 then M()² G()^1/d 1/2d. This estimate is sharp up to a constant. As a main tool for the proof we develop an idea of Cassels on an estimate for the resultant of and 1/. We give a number of immediate corollaries, e.g., some versions of Smyth's inequality for the Mahler measure of a nonreciprocal algebraic integer from below.     

Short Interval Results for a Class of Integers

For any subset , we introduce the definition of -numbers, which contains the well-known k-free numbers, k-full numbers, k-full and l-free numbers (k<l–1) as special cases. In this paper we study the distribution of -numbers in short intervals. We establish the connection of this problem with the gap problem of k-free numbers and multi-dimensional divisor problems. As applications, we study the short interval distribution of k-full and l-free numbers for k=2, 3, 4, 5, 6, 7.Received June 4, 2002; in revised form January 22, 2003 Published online June 30, 2003     

On the Complex of Sobolev Spaces Associated with an Abstract Hilbert Complex

We consider the complexes of Hilbert spaces whose differentials are closed densely-defined operators. A peculiarity of these complexes is that from their differentials we can construct Laplace operators in every dimension. The Laplace operator together with a sufficiently nice measurable function enables us to define a generalized Sobolev space. There exist pairs of measurable functions allowing us to construct some canonical mappings of the corresponding Sobolev spaces. We find necessary and sufficient conditions for those mappings to be compact. In some cases for a given Hilbert complex we can construct an associated Sobolev complex. We show that the differentials of the original complex are normally solvable simultaneously with the differentials of the associated complex and that the reduced cohomologies of these complexes coincide.     

Covering a Finite Abelian Group by Subset Sums

Let G be an abelian group of order n. The critical number c(G) of G is the smallest s such that the subset sums set (S) covers all G for eachs ubset SG\{0} of cardinality |S|s. It has been recently proved that, if p is the smallest prime dividing n and n/p is composite, then c(G)=|G|/p+p–2, thus establishing a conjecture of Diderrich.We characterize the critical sets with |S|=|G|/p+p–3 and (S)=G, where p3 is the smallest prime dividing n, n/p is composite and n7p²+3p.We also extend a result of Diderrichan d Mann by proving that, for n67, |S|n/3+2 and S=G imply (S)=G. Sets of cardinality for which (S) =G are also characterized when n183, the smallest prime p dividing n is odd and n/p is composite. Finally we obtain a necessary and sufficient condition for the equality (G)=G to hold when |S|n/(p+2)+p, where p5, n/p is composite and n15p².* Work partially supported by the Spanish Research Council under grant TIC2000-1017 Work partially supported by the Catalan Research Council under grant 2000SGR00079     

Graphs of Constant Mean Curvature in Hyperbolic Space

We study the problem of finding constant mean curvature graphsover a domain of a totally geodesic hyperplane andan equidistant hypersurface Q of hyperbolic space. We findthe existence of graphs of constant mean curvature H overmean convex domains Q and with boundary for –H < H |h|, where H > 0 is the mean curvature of the boundary . Here h is the mean curvature respectively of the geodesic hyperplane (h= 0) and of the equidistant hypersurface (0 < |h|< 1). The lower bound on H is optimal.     

Resonance scattering on a negative potential

One considers the dependence of the complete quantum scattering cross section (g) of a finite potential gv(x). on the coupling constant g>0. It is shown that for a spherical symmetric potential with a nontrivial negative part, the quantity (g) increases unboundedly relative to some sequence g_t and one has the lower estimate 6(g_ecg _e ^1/2 , c>0. For a positive repelling potential (without the condition of spherical symmetry) one establishes the boundedness of the complete scattering cross section, uniform with respect to g.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 138, pp. 184–193, 1984.     

Über das Gewicht und den Überdeckungstyp von uniformen Räumen und einige Formen des Satzes von Banach-Steinhaus

In the first part of this paper we prove the following theorem: Let X be a set, let Y be a separable metrizable uniform space, and let H be any precompact subset of Y^X; endow X with the coarsest uniformity u_H making H uniformly equicontinuous. Then the covering type of (X,u_H) equals the weight of H. As a corollary we get: If A is any precompact subset of a locally convex space, then the closed absolutely convex hull has the same weight as A. In the second part we consider some forms of the closed graph and Banach-Steinhaus theorem depending on some cardinal . Taking =₀ will show that the class () of locally convex spaces E introduced by Kalt on [10] can be characterized by the following Banach-Steinhaus condition: If f_n, n, and f are linear mappings of E into a separable locally convex space such that each f_n is continuous and f_n(x)f(x) for every xE, then f is continuous.