An automatic integration procedure for infinite range integrals involving oscillatory kernels

Let the real functionsK(x) andL(x) be such thatM(x)=K(x)+iL(x)=e^ix g(x), whereg(x) is infinitely differentiable for all largex and is non-oscillatory at infinity. We develop an efficient automatic quadrature procedure for numerically computing the integrals _a K(t)f(t) and _a L(t)f(t)dt, where the functionf(t) is smooth and nonoscillatory at infinity. One such example for which we also provide numerical results is that for whichK(x)=J (x) andL(x)=Y (x), whereJ (x) andY (x) are the Bessel functions of order . The procedure involves the use of an automatic scheme for Fourier integrals and the modified W-transformation which is used for computing oscillatory infinite integrals.     

Some Properties of Isologism of Groups and Baer-Invariants

Let be a variety of groups defined by the set of laws V. In this paper we study the concept of -isologism of groups in terms of -extensions and their connections with the Baer-invariant of groups are also discussed.AMS Subject Classification (2000): primary 20F14, 20F19, secondary 20E10     

Formule d'Itô pour des Diffusions Uniformément Elliptiques,et Processus de Dirichlet

Soit X une diffusion uniformément elliptique sur R ^d ,F une fonction dans H _loc ¹(R ^d ) et la loi initiale de la diffusion. On montre que si l'intégrale |F|²(x)U(x)dx est finie, oùU désigne le potentiel de la mesure , alors F(X) est un processus de Dirichlet. Si de plus, F appartient àH ² _loc(R ^d ) et si les intégrales |F|²(x)U(x)dx et |f _k |²(x)U(x)dx sont finies, pour les dérivées faibles f _k de F, alors on peut écrire une formule d'Itô. En particulier, on définit l'intégrale progressive F(X)dX et on prouve l'existence des covariations quadratiques [f _k (X),X ^k ].     

On the strongly spherical Sasakian metric of a spherical tangent bundle

Let Mⁿ denote an n-dimensional Riemannian manifold. Its metric is called -strongly spherical if at every point Q Mⁿ there exists a -dimensional subspace _Q T_QMⁿ such that the curvature operator of the metric of Mⁿ satisfies R(X, Y) Z = k(< Y, Z > X < X, Z > Y), where k = const > 0, Y _Q , X, Z #x2208; T_QMⁿ. The number is called the index of sphericity and k the exponent of sphericity. The following theorems are proved in the paper.THEOREM 1. Let the Sasakian metric of T₁Mⁿ be -strongly spherical with exponent of sphericity k. The following assertions hold: a) = 1 if and only if M² has constant Gaussian curvature K 1 and k = K²/4; b) = 3 if and only if M² has constant curvature K = 1 and k = 1/4; c) = 0, otherwise.THEOREM 2. Let the Sasakian metric of T₁Mⁿ (n Mⁿ) be -strongly spherical with exponent of sphericity k. If k > 1/3 and k 1, then = 0. Let us denote by (Mⁿ, K) a space of constant curvatureK. THEOREM 3. Let the Sasakian metric of T₁(Mⁿ, K) (n 3) be -strongly spherical with exponent of sphericity k. The following assertions hold: a) = 1 if and only if K = 1/4; b) = 0, otherwise. In dimension n = 3 Theorem 2 is true for k {1/4, 1}.Translated from Ukrainskii Geometricheskii Sbornik, No. 35, pp. 150–159, 1992.     

On the E- and MV-optimality of block designs having k≥v

In this paper we consider the problem of determining and constructing E- and MV-optimal block designs to use in experimental settings where treatments are applied to experimental units occurring in b blocks of size k, k. It is shown that some of the well-known methods for constructing E- and MV-optimal unequally replicated designs having k fail to yield optimal designs in the case where . Some sufficient conditions are derived for the E- and MV-optimality of block designs having and methods for constructing designs satisfying these sufficient conditions are given.     

A Stability Estimate for a Solution to the Problem of Determination of Two Coefficients of a Hyperbolic Equation

We consider the problem of determination of two coefficients (x) and q(x) in a hyperbolic equation. Here (x) is the coefficient of the first derivative with respect to t and q(x) is the coefficient of the solution itself. We suppose that these coefficients are small in some norm and supported in a disk D. Oscillations are excited by the impulse function (t)(x·) supported on the straight line t=0, x·=0. Here is a unit vector playing the role of a parameter of the problem. The acoustic field generated by this source lying outside D is measured at the points of the boundary of D together with the normal derivative on some time interval of a fixed length T for two different values of the parameter . We prove that, for a sufficiently large T, the given information determines the sought coefficients uniquely. We obtain a stability estimate for a solution to the problem.     

Aperture-Angle Optimization Problems in Three Dimensions

Let [a,b] be a line segment with end points a, b and a point at which a viewer is located, all in R ³. The aperture angle of [a,b] from point , denoted by (), is the interior angle at of the triangle (a,b,). Given a convex polyhedron P not intersecting a given segment [a,b] we consider the problem of computing _max() and _min(), the maximum and minimum values of () as varies over all points in P. We obtain two characterizations of _max(). Along the way we solve several interesting special cases of the above problems and establish linear upper and lower bounds on their complexity under several models of computation.     

The Product of Independent Random Variables with Regularly Varying Tails

A distribution is said to have regularly varying tail with index – (0) if lim _x(kx,)/(x,)=k ^– for each k>0. Let X and Y be independent positive random variables with distributions and , respecitvely. The distribution of product XY is called Mellin–Stieltjes convolution (MS convolution) of and . It is known that D() (the class of distributions on (0,) that have regularly varying tails with index –) is closed under MS convolution. This paper deals with decomposition problem of distributions in D() related to MS convolution. A representation of a regularly varying function F of the following form is investigated: F(x)= _k=0 ^n–1 b _k f(a ^k x), where f is a measurable function and a and b _k (k=1,...,n–1) are real constants. A criterion is given for these constants in order that f be regularly varying. This criterion is applicable to show that there exist two distributions and such that neither nor belongs to D() (>0) and their MS convolution belongs to D().     

Limits of balayage measures

LetA be a subset of a balayage space (X,W) and a measure onX. It is shown that for every sequence _n of measures such that lim_nn and lim_{n n} ^A = the limit measure is of the formf+[(1-f)]^A for some (unique) Borel function 0f1_Cb(A). Furthermore, conditions are given such that any such functionf occurs.     

On High-Level Exceedances of Gaussian Fields and the Spectrum of Random Hamiltonians

We study the almost sure asymptotic structure of high-level exceedances by Gaussian random field (x), xV with correlated values, where {V} is a family of -dimensional cubes increasing to Z . The results are applied to the study of the asymptotic behaviour of extreme eigenvalues of random Schrödinger operator in V.     

Integral points on strictly convex closed curves

A negative answer is given to Swinnerton-Dyer's question: Is it true that for any > 0 there exists a positive integer n such that for any planar closed strictly convex n-times differentiable curve , when it is blown up a sufficiently large number of times, the number of integral points on the resultant curve will be less than . An example has been constructed when this number for an infinite number is not less than ^1/2, while is infinitely differentiable.Translated from Matematicheskie Zametki, Vol. 21, No. 6, pp. 799–805, June, 1977.The author thanks S. B. Stechkin for attention to the work.     

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.     

On the immersion of metrics close to immersible metrics

For a C^r,-immersion z:X E, r 2, 0 < < 1, of an n-dimensional (n 1) simply-connected C^r+2,-manifold X into Euclidean space E, the metric I(z) induced by z has a neighborhood in C^r,-topology in which every metric from a given subbundle of metrics is C^r,-immersible into E. In particular, it is proved that metric ds ₀ ² of the Riemannian product of p spheres of dimensions ₁, , _p 2 has a neighborhood in C^2,-topology from which any conformally equivalent metric to ds ₀ ² , is immersible into E with dimE = ₁ + + _p + p. The proofs are based on the investigation of a varied system of Gauss—Codazzi—Ricci equations for an infinitely small deformation of surface z(X) in E with a prescribed variation of the metric.Translated from Ukrainskii Geometricheskii Sbornik, No. 35, pp. 49–67, 1992.     

Mengenwertige Masse und Fortsetzungen

Let (, _i) be a probability space for i=1,2 with and : ^m a correspondence, i.e. () is a non-void subset of ^m for all . We give necessary and sufficient conditions under which it holds, that ₂ extends ₁. iff _A d₂ is equal to _A d₁ for all A, where _A d_i is the set of all integrals _A f d_i of functions f: ^m with f()() _i.-a.e.     

Nonnegative Hall Polynomials

The number of subgroups of type and cotype in a finite abelian p-group of type is a polynomialg with integral coefficients. We prove g has nonnegative coefficients for all partitions and if and only if no two parts of differ by more than one. Necessity follows from a few simple facts about Hall-Littlewood symmetric functions; sufficiency relies on properties of certain order-preserving surjections that associate to each subgroup a vector dominated componentwise by . The nonzero components of (H) are the parts of , the type of H; if no two parts of differ by more than one, the nonzero components of – (H) are the parts of , the cotype of H. In fact, we provide an order-theoretic characterization of those isomorphism types of finite abelian p-groups all of whose Hall polynomials have nonnegative coefficients.     

Central Limit Theorem for a Class of Nonhomogeneous Random Walks

A spatially nonhomogeneous random walk _t on the grid =^m X ⁿ is considered. Let _t ⁰ be a random walk homogeneous in time and space, and let _t be obtained from it by changing transition probabilities on the set A= X ⁿ, || < , so that the walk remains homogeneous only with respect to the subgroup ⁿ of the group . It is shown that if >m 2 or the drift is distinct from zero, then the central limit theorem holds for _t.     

Directed packings with block size 5 and even ν

Let andk be positive integers. A transitively orderedk-tuple (a ₁,a ₂,...,a _k) is defined to be the set {(a _i, a_j) 1i<jk} consisting ofk(k–1)/2 ordered pairs. A directed packing with parameters ,k and index =1, denoted byDP(k, 1; ), is a pair (X, A) whereX is a -set (of points) andA is a collection of transitively orderedk-tuples ofX (called blocks) such that every ordered pair of distinct points ofX occurs in at most one block ofA. The greatest number of blocks required in aDP(k, 1; ) is called packing number and denoted byDD(k, 1; ). It is shown in this paper that for all even integers , where [x] is the floor ofx.     

A Stability Estimate for a Solution to a Two-Dimensional Inverse Problem of Electrodynamics

We consider the problem of finding the three coefficients c(x), (x), and q(x) in a hyperbolic equation. Here c(x) is the coefficient at the Laplace operator, (x) is the coefficient of the first time derivative, and q(x) is the coefficient of the lower-order term. The problem results from the inverse electrodynamic problem of finding the electrodynamic parameters of an isotropic medium under the assumption that the properties of the medium and the exterior current are independent of one coordinate. We suppose that the coefficients c(x)-1, (x), and q(x) are small in some norm and their supports are contained in some disk B. This is equivalent to the assumption that the electrodynamic parameters of the medium are close to constants. We suppose that the source initiating oscillations has the form of the impulse function (t)(x·) localized on the set t=0, x·=0. Here is a unit vector playing the role of a parameter of the problem. The electromagnetic field excited by this source applied outside B is measured at points of the boundary of the domain B on some time interval of a fixed length T counted from the moment of arrival of the signal from the source for three different values of the parameter . It is proven that, for a sufficiently large T, these data determine the sought coefficients uniquely. We obtain a conditional stability estimate for a solution to the problem.     

Sources in posets and comparability graphs

A vertex in a poset is a source if its indegree is zero. Further, a vertex in a comparability graph G is a source if there is a transitive orientation of G in which is a source. We characterize sources in comparability graphs in terms of forbidden subgraphs. Certain results follow, including a brief proof of a theorem by Olariu.