Relationship between tetrahedron shape measures

Tetrahedron shape measures are used for evaluating the quality of tetrahedra in finite element meshes. Three shape measures, theminimum solid angle _min theradius ratio , and themean ratio , are discussed in this paper. A new formula for the computation of a solid angle of tetrahedron is derived. For different shape measures andv (with values 1), we establish a relationship between andv of the form wherec ₀,c ₁,e ₀, ande ₁ are positive constants. This means that if one measure approaches zero for a poorly-shaped tetrahedron, so does the other. Combined with the property that each measure attains a maximum value only for the regular tetrahedron, this means that the shape measures are equivalent.This work was partially supported by a grant from the Natural Sciences and Engineering Research Council of Canada.     

Asymptotic properties of local densities of measures generated by semimartingales

For families of probability measures (P , )) generated by semimartingales, we consider the local density)(y, )= _t (y, )) _t0 of a, measureP _y with respect to the measureP whose logarithm is the difference of a local martingale and a positive predictable increasing locally bounded process. Conditions are obtained under which the relations and hold, wherey _t depends in some way ont, while _t ast . Applications of these relations are exhibited and an example is given when the hypotheses of the theorems proved can be verified.Translated fromTeoriya Sluchaínykh Protsessov, Vol. 14, pp. 48–55, 1986.     

Distribution of the mean value for certain random measures

Let be a probability measure on [0,1]. We consider a generalization of the classic Dirichlet process — the random probability measure , where X={X_i} is a sequence of independent random variables with the common distribution and P={P_i} is independent of X and has the two-parameter Poisson-Dirichlet distribution PD(, ) on the unit simplex. The main result is the formula connecting the distribution of the random mean value xdF(x) with the parameter measure .Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 240, 1997, pp. 268–279.Supported by the Russian Foundation for Basic Research, grant 96-01-00676.     

Disintegration with respect to L p-density functions and singular measures

Summary Let A be a real or complex commutative ordered algebra with identity and involution. Let denote the set of positive multiplicative linear functionals on A. Equip with the topology of simple convergence. For a fixed non-negative probability measure on the set _p of linear functionals f on A which admit an integral representation of the form with FL _p () (1p) is biuniquely identified with L _p () via the map tfF. The norm on _p under which this map becomes an isometry is characterized and a formula for approximating F is derived. The linear functionals which admit representation of the form with are also characterized and appropriately normed. The theory is applied to solve abstract versions of trigonometric and n-dimensional moment problems as well as provide an alternate point of view to the theory of L _p-spaces. New proofs of classical theorems are offered.Research for this paper was sponsored in part by the Danish Natural Science Research Council (Grant No.511-10302) and in part by the National Science Foundation (Grant No. MCS78-03397)The results contained herein include the proofs of theorems announced in [15]     

Transportation cost for Gaussian and other product measures

Consider the canonical Gaussian measure _N on , a probability measure on ^N , absolutely continuous with respect to _N . We prove that the transportation cost of to _N , when the cost of transporting a unit of mass fromx toy is measured by x–y², is at most d. As a consequence we obtain a completely elementary proof of a very sharp form of the concentration of measure phenomenon in Gauss space. We then prove a result of the same nature when _N is replaced by the measure of density 2^–N exp (– _iN |x _i |). This yields a sharp form of concentration of measure in that space.Work partially supported by an NSF Grant.     

Asymptotic behavior of general M-estimates for regression and scale with random carriers

Summary Let (xini, y _i be a sequence of independent identically distributed random variables, where x _i R ^p and y _i R, and let R ^p be an unknown vector such that y _i =x _i +u _i (^*), where u _i is independent of x _i and has distribution function F(u/), where >0 is an unknown parameter. This paper deals with a general class of M-estimates of regression and scale, ( ^*,^*), defined as solutions of the system: , where r= (y _i –x _i ^1*/)^*, with R ^p ×RR and RR. This class contains estimators of (, ) proposed by Huber, Mallows and Krasker and Welsch. The consistency and asymptotic normality of the general M-estimators are proved assuming general regularity conditions on and and assuming the joint distribution of (x _i , y _i ) to fulfill the model (^*) only approximately.     

Type,infratype and the Elton-Pajor theorem

Summary Consider a sequence(x _i ) _in of norm one vectors in a Banach space. For a subsetJ of {1,...,n} consider the equivalence constant (J) between(x _i ) _iJ and the ₁ basis, and consider (k)=min{(J); cardJ=k}. We give a near optimal relationship between the rate of decay of (k) and the averageE of over all choices of signs. In particular, we show that one can choosek such that, for some universal constantK, kE ² /Kn and . This is optimal within the logarithmic term. We also prove, that forp<2, the notions of type and infratype coincide.Oblatum 27-III-1991Work partially supported by an NSF grant     

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.     

Ergodic properties of Poisson processes with almost periodic intensity

Summary We discuss in this paper a non-homogeneous Poisson process A driven by an almost periodic intensity function. We give the stationary version A ^* and the Palm version A ⁰ corresponding to A ^*. Let (T _i ,i) be the inter-point distance sequence in A and (T _i ⁰ ,i) in A ⁰. We prove that forj, the sequence (T _i+j,i) converges in distribution to (T _i ⁰ ,i). If the intensity function is periodic then the convergence is in variation.     

Mathematical expectations of functions of sums of a random number of independent terms

Conditions are found which must be imposed on a function g(x) in order that M g(₁+₂+ + _v < if M g(_i) < and M g(v) < ,, ₁, ₂, , _n, ... being non-negative and independent, being integral, and {_i} being identically distributed. The result is applied to the theory of branching processes.Translated from Matematicheskie Zametki, Vol. 3, No. 4, pp. 387–394, April, 1968.     

Taut Distance-Regular Graphs of Odd Diameter

Let denote a bipartite distance-regular graph with diameter D 4, valency k 3, and distinct eigenvalues ₀ > ₁ > ··· > _D. Let M denote the Bose-Mesner algebra of . For 0 i D, let E _i denote the primitive idempotent of M associated with _i . We refer to E ₀ and E _D as the trivial idempotents of M. Let E, F denote primitive idempotents of M. We say the pair E, F is taut whenever (i) E, F are nontrivial, and (ii) the entry-wise product E F is a linear combination of two distinct primitive idempotents of M. We show the pair E, F is taut if and only if there exist real scalars , such that _{i + 1 i + 1} – _{i – 1 i – 1} = _i ( _{i + 1} – _{i – 1}) + _i ( _{i + 1} – _{i – 1}) + (1 i D – 1)where ₀, ₁, ..., _D and ₀, ₁, ..., _D denote the cosine sequences of E, F, respectively. We define to be taut whenever has at least one taut pair of primitive idempotents but is not 2-homogeneous in the sense of Nomura and Curtin. Assume is taut and D is odd, and assume the pair E, F is taut. We show

On Interpolation Sequences of One Class of Functions, Analytic in the Half-Plane

A new criterion of solvability of the interpolation problem f( _n )=b_n in the class of functions f, analytic in the right half-plane and such that there exists c ₁(0;+) such that |f(z)|c ₁exp((c₁|z|)) for all z , where is a positive increasing continuous differentiable function on [0;+), for which (t)+ as t+ and there exists c ₂(0;+) such that

D-Domains of attraction of stable measures on stratified Lie groupsof attraction of stable measures on stratified Lie groups

LetG be a stratified Lie group and (_t)_{t 0} be a continuous convolution semigroup of probability measures onG. A probability measurev is said to belong to the -domain of attraction of ₁, if there exists a sequence (a _n ) of positive real numbers such that weakly, where ₁ denotes the natural dilation onG. We prove convergence criteria for discrete convolution semigroups. These are used to obtain a simple necessary and sufficient condition for the existence of sucha _n if (_t)_{t 0} has no Gaussian component. For the proof we introduce the notion of regularly varying measures onG and develop the necessary theory of regular variation.     

Couplings of markov chains by randomized stopping times

Summary We consider a Markov chain on (E, ) generated by a Markov kernel P. We study the question, when we can find for two initial distributions and two randomized stopping times T of (X _n ) _nN and S of ( X _n ) _nN , such that the distribution of X _T equals the one of X _S and T, S are both finite.The answer is given in terms of -, h with h bounded harmonic, or in terms of .For stopping times T, S for two chains ( X _n ) _nN ,( X _n ) _nN we consider measures , on (E, ) defined as follows: (A)=expected number of visits of ( X _n ) toA before T, (A)=expected number of visits of ( X _n ) toA before S.We show that we can construct T, S such that and are mutually singular and ( _v X _T )=( X _S . We relate and to the positive and negative part of certain solutions of the Poisson equation (I-P)(·)=-.     

Fermeture en probabilité de certains sous-espaces d'un espace L 2

Summary Let _i , iI be a family of equidistributed, independant random variables, defined on a probability space (, , P). Let {f _m , mN{ be a sequence of functions such that the f _m ( _i ) are, for every i, centered random variables in L ²(, , P) and in an L _p (, , P) (where p is an even integer at least equal to 4).In this paper the closed linear subspaces of L ² (, , P) generated by the variables of the form , where for fixed M, are studied. A uniform bound of the L ^p norm of elements of the unit ball of the above defined subspaces and also the closure in probability of these subspaces is thus obtained. These results are applied to Wiener's chaos of gaussian variables.

---

---

Equipe de Recherche n⁰ 1 « Processus stochastiques et applications » dépendant de la Section n⁰ 2 «Théories Physiques et Probabilités », associée au C.N.R.S.     

Fourier series of additive vector measures and their term-by-term differentiation

On a measurable space (T, , ) we choose an additive measure: Z (Z is a Banach space) with the following property: for alle , we have ; this measure defines an indefinite integral over the measure onL ² (T, ,). We prove that if { _n (t)} _n ^=1/ is an orthonormal basis inL ² and _n (e)=e _n (t) d, then any additive measure: Z whose Radon-Nikodým derivatived/d belongs toL ² is uniquely expandable in a series(e)= _n ^=1/ _n n(e) that converges to(e) uniformly with respect toe can be differentiated term-by-term, and satisfies _n ^=1/ _n ^/2 <. In the caseL ²[0,2],Z=, the Fourier series of a 2-periodic absolutely continuous functionF(t) such thatF'(t) L ²[0, 2] is superuniformly convergent toF(t).Translated fromMatematicheskie Zametki, Vol. 64, No. 2, pp. 180–184, August, 1998.     

On harmonic renewal measures

Summary Let be a probability and the corresponding harmonic renewal measure. Complementing earlier results where is concentrated on a halfline we investigate the behaviour ofv _h ([x, x + 1]) and the harmonic renewal functionG(x) =v _h((–,x])asx ifm ₁=x(dx)>0. We also consider the casem ₁=0.     

An Inequality Involving the Local Eigenvalues of a Distance-Regular Graph

Let denote a distance-regular graph with diameter D 3, valency k, and intersection numbers a _i, b _i, c _i. Let X denote the vertex set of and fix x X. Let denote the vertex-subgraph of induced on the set of vertices in X adjacent X. Observe has k vertices and is regular with valency a ₁. Let _{1 2} ··· _k denote the eigenvalues of and observe ₁ = a ₁. Let denote the set of distinct scalars among ₂, ₃, ..., _k . For let mult denote the number of times appears among ₂, ₃,..., _k . Let denote an indeterminate, and let p ₀, p₁, ...,p _D denote the polynomials in [] satisfying p ₀ = 1 andp _i = c _i+1 p _i+1 + (a _i – c _i+1 + c _i)p _i + b _i p _i–1 (0 i D – 1),where p _–1 = 0. We show where we abbreviate = –1 – b ₁(1+)^–1. Concerning the case of equality we obtain the following result. Let T = T(x) denote the subalgebra of Mat _X ( ) generated by A, E*₀, E*₁, ..., E* _D , where A denotes the adjacency matrix of and E* _i denotes the projection onto the ith subconstituent of with respect to X. T is called the subconstituent algebra or the Terwilliger algebra. An irreducible T-module W is said to be thin whenever dimE* _i W 1 for 0 i D. By the endpoint of W we mean min{i|E* _i W 0}. We show the following are equivalent: (i) Equality holds in the above inequality for 1 i D – 1; (ii) Equality holds in the above inequality for i = D – 1; (iii) Every irreducible T-module with endpoint 1 is thin.     

Small potential corrections for the discrete eigenvalues of the Sturm-Liouville problem

Summary The inverse Sturm-Liouville problem is the problem of finding a good approximation of a potential functionq such that the eigenvalue problem (^*)–y +qy=y holds on (0, ) fory(0)=y()=0 and a set of given eigenvalues . Since this problem has to be solved numerically by discretization and since the higher discrete eigenvalues strongly deviate from the corresponding Sturm-Liouville eigenvalues , asymptotic corrections for the 's serve to get better estimates forq. Let _k (1kn) be the first eigenvalues of (^*), let _k be the corresponding discrete eigenvalues obtained by the finite element method for (^*) and let _{k k} for the special caseq=0. Then, starting from an asymptotic correction technique proposed by Paine, de Hoog and Anderssen, new estimates for the errors of the corrected discrete eigenvalues are obtained and confirm and improve the knownO(kh ²)(h:=/(n+1)) behaviour. The estimates are based on new Sobolev inequalities and on Fourier analysis and it is shown that for 4+c ₂ k(n+1)/2, wherec ₁ andc ₂ are constants depending onq which tend to 0 for vanishingq.     

On the Integrability of Eigenfunctions of the Laplace-Beltrami Operator in the Unit Ball of C n

Let B denote the unit ball in C ⁿ , n1, and let , , and denote the volume measure, gradient, and Laplacian respectively, with respect to the Bergman metric on B. For R and 0<p<, we denote by L ^p the set of real, or complex-valued measurable functions f on B for which _B (1–|z|²)|f(z)| ^p d(z)<, and by D ^p the Dirichlet space of C ¹ functions f on B for which | f|L ^p . Also, for C, we denote by X the set of C ² real, or complex-valued functions f on B for which f=f. The main result of the paper is as follows: Let 0<p< and suppose R with –n ². Then L ^p X ={0}, and for 0, D ^p X ={0}(a) for all n+ when p1, and(b) for all when 0<p<1.By example it is shown that the result is best possible for all values of p with pn/(n+ .