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 .     

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

Sobolev spaces on an arbitrary metric space

We define Sobolev space W ^1,p for 1<p on an arbitrary metric space with finite diameter and equipped with finite, positive Borel measure. In the Euclidean case it coincides with standard Sobolev space. Several classical imbedding theorems are special cases of general results which hold in the metric case. We apply our results to weighted Sobolev space with Muckenhoupt weight.This work is supported by KBN grant no. 2 1057 91 01     

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.     

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

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.     

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.     

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.     

Stream vectors in three dimensional aerodynamics

Summary This work deals with the decomposition of a vector fieldu intou=×+. Non homogeneous boundary conditions on or are investigated; applications to the computation of inviscid flows are given; finally a conforming finite element implementation is studied and tested.     

Error estimates for the finite element solution of variational inequalities

Summary We study the mixed finite element approximation of variational inequalities, taking as model problems the so called obstacle problem and unilateral problem. Optimal error bounds are obtained in both cases.Supported in part by National Science Foundation grant MCS 75-09457, and by Office of Naval Research grant N00014-76-C-0369     

A unifying theory of a posteriori finite element error control

Summary Residual-based a posteriori error estimates are derived within a unified setting for lowest-order conforming, nonconforming, and mixed finite element schemes. The various residuals are identified for all techniques and problems as the operator norm |||| of a linear functional of the formin the variable of a Sobolev space V. The main assumption is that the first-order finite element space is included in the kernel Ker of . As a consequence, any residual estimator that is a computable bound of |||| can be used within the proposed frame without further analysis for nonconforming or mixed FE schemes. Applications are given for the Laplace, Stokes, and Navier-Lamè equations.Supported by the DFG Research Center Matheon Mathematics for key technologies in Berlin.     

An asymptotic finite element method for improvement of solutions of boundary layer problems

Summary A scheme that uses singular perturbation theory to improve the performance of existing finite element methods is presented. The proposed scheme improves the error bounds of the standard Galerkin finite element scheme by a factor of O(ⁿ⁺¹) (where is the small parameter andn is the order of the asymptotic approximation). Numerical results for linear second order O.D.E.'s are given and are compared with several other schemes.     

Erweiterte Spiegelungsgruppen metrischer Vektorräume

The extended reflection groups of a metric vector space (V,f) are introduced and defined by a system of generators and a set of defining relations. It can be proved that they are isomorphic to certain subgroups of the orthogonal groups. The main result of the underlying paper is that these groups can be characterized by a few properties among which we mention the validity of the transitivity theorem and the property of — intersecting . Finally, we obtain a characterization of the (full) groups O^*(V,f) in the case dim V1.

---

---

Herrn Professor Dr. Reinhold Baer zum 75. Geburtstag gewidmet     

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.     

A generalized integral with applications to trigonometric series

, . . .

---

---

The authors wish to thank the referee whose comments improved the presentation of the paper. In fact, the present form of Lemma 2, which was originally very long, is due to the referee.     

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

Approximation of a nondifferentiable nonlinear problem related to MHD equilibria

Summary We present a simple method, based on a variant of the implicit function theorem, which leads to the existence of (a part of) a nontrivial solution branch of the nonlinear eigenvalue problem –u=u ⁺ in ,u=–1 on , where is a two-dimensional domain with boundary . The advantage of this method is that we can apply it for analysing the approximation of the above problem by a finite element method; the error analysis of the discrete problem appears immediately. We give also an iteration scheme which allows to solve the approximate problem.     

Higher order methods for a singularly perturbed problem

Summary A finite element method using piecewise polynomials of degree k is used to approximate the problem u+u=f, >0 a small parameter. A very irregular mesh is used. On this mesh error estimates of order0(h ^k+1) are obtained uniformly in ,h the maximum stepsize, fork2. The condition number of the system of linear equations one has to solve in order to get the approximation is estimated. Extension of the results to more complicated problems is briefly indicated. Finally, a numerical example is given.Work performed while visiting the IBM Thomas J. Watson Research Center, Yorktown Heights, N.Y.     

Some functional inequalities and their Baire category properties

Summary In the paper we consider, from a topological point of view, the set of all continuous functionsf:I I for which the unique continuous solution:I – [0, ) of(f(x)) (x, (x)) and(x, (x)) (f(x)) (x, (x)), respectively, is the zero function. We obtain also some corollaries on the qualitative theory of the functional equation(f(x)) = g(x, (x)). No assumption on the iterative behaviour off is imposed.