On Embeddings of the Flag Geometries of Projective Planes in Finite Projective Spaces

The flag geometry =( ) of a finite projective plane of order s is the generalized hexagon of order (s, 1) obtained from by putting equal to the set of all flags of , by putting equal to the set of all points and lines of and where I is the natural incidence relation (inverse containment), i.e., is the dual of the double of in the sense of Van Maldeghem Mal:98. Then we say that is fully and weakly embedded in the finite projective space PG(d, q) if is a subgeometry of the natural point-line geometry associated with PG(d, q), if s = q, if the set of points of generates PG(d, q), and if the set of points of not opposite any given point of does not generate PG(d, q). Preparing the classification of all such embeddings, we construct in this paper the classical examples, prove some generalities and show that the dimension d of the projective space belongs to {6,7,8}.     

Largek-arcs in inversive planes of odd order

An infinite family of largek-arcs in the inversive plane over a finite field GF(q), withq 1 (mod 3),q71 orq {17,23, 27,29,41,47,49,53,59} is constructed.Research supported by G.N.S.A.G.A. of C.N.R., project Applicazioni della matematica per la tecnologia e la società, subproject Calcolo simbolico.     

Range of the posterior probability of an interval for priors with unimodality preserving contaminations

Range of the posterior probability of an interval over the -contamination class ={=(1–)₀+q:qQ} is derived. Here, ₀ is the elicited prior which is assumed unimodal, is the amount of uncertainty in ₀, andQ is the set of all probability densitiesq for which =(1–)₀+q is unimodal with the same mode as that of ₀. We show that the sup (resp. inf) of the posterior probability of an interval is attained by a prior which is equal to (1–)₀ except in one interval (resp. two disjoint intervals) where it is constant.     

Derivatives of the Spectral Function and Sobolev Norms of Eigenfunctions on a Closed Riemannian Manifold

Let e(x, y, ) be the spectral function and the unit spectral projection operator, with respect to the Laplace–Beltrami operator on a closed Riemannian manifold M. We generalize the one-term asymptotic expansion of e(x, x, ) by Hörmander (Acta Math. 88 (1968), 341–370) to that of _{x y} e(x,y,)| _x=y for any multiindices , in a sufficiently small geodesic normal coordinate chart of M. Moreover, we extend the sharp (L ²,L ^p) (2 p) estimates of by Sogge (J. Funct. Anal. 77 (1988), 123–134; London Math. Soc. Lecture Note Ser. 137, Cambridge University Press, Cambridge, 1989; Vol. 1, pp. 416–422) to the sharp (L ², Sobolev L ^p) estimates of .     

A generalization of the results of Pillai

In a recent article Pillai (1990,Ann. Inst. Statist. Math.,42, 157–161) showed that the distribution 1–E (–x ), 0<1; 0x, whereE (x) is the Mittag-Leffler function, is infinitely divisible and geometrically infinitely divisible. He also clarified the relation between this distribution and a stable distribution. In the present paper, we generalize his results by using Bernstein functions. In statistics, this generalization is important, because it gives a new characterization of geometrically infinitely divisible distributions with support in (0, ).     

On blocking sets in affine planes

Denote by _q an affine plane of order q. In the desarguesian case _q=AG(2,q), q 5(q= p^h, p prime), we prove that the smallest cardinality of a blocking set is 2q–1. In any arbitrary affine plane _q (desarguesian or not) with q5, for any integer k with 2q–1 k(q–1)², we construct a blocking set S with ¦S¦=k. For an irreducible blocking set S of _q we determine the upper bound S [qq]+1. We prove that if _q contains a blocking set S which is irreducible with its complementary blocking set, then necessarily _q=AG(2, 4) and S is uniquely determined. Finally we introduce techniques to obtain blocking sets in AG(2, q) and in PG(2, q).Research partially supported by G.N.S.A.G.A. (CNR)     

Canonical Semigroups of States and Cocycles for the Group of Automorphisms of a Homogeneous Tree

Let G=A ut(T) be the group of automorphisms of a homogeneous tree and let d(v,gv) denote the natural tree distance. Fix a base vertex e in T. The function (g)=exp(–d(e,ge)), being positive definte on G, gives rise to a semigroup of states on G whose infinitesimal generator d/d|₌₀=log() is conditionally positive definite but not positive definite. Hence, log() corresponds to a nontrivial cocycle (g): GH in some representation space H . In contrast with the case of PGL(2,), the representation is not irreducible.Let _o (g) be the derivative of the spherical function corresponding to the complementary series of A ut(T). We show that –d(e,ge) and _o (g) come from cohomologous cocycles. Moreover, _o is associated to one of the two (irreducible) special representations of A ut(T).     

Two-parameter Vilenkin multipliers and a square function

Two-parameter Vilenkin systems will be investigated. First we give a general sufficient condition for multipliers to be bounded between two-dimensional Hardy spaces H ^q(0<q1). By means of interpolation and duality argument, this theorem can be extended to other spaces. As a consequence, we can prove the (H ^q , L ^q)-boundedness of the Sunouchi operator U with respect to two-parameter Vilenkin systems for all 0 <q 1. Moreover, the equivalence f{H_q} ~ Uf_q (f H^q)follows for 1/2<q 1.     

Linear operators generated by stochastic processes

Let X_t(0 t < ) be a homogeneous stochastically continuous stochastic process with independent increments; (, A, P) be the corresponding probability space; p, q1 be fixed numbers. Necessary and sufficient conditions are found for a stochastic integral defined on finite-valued functions to be extendable to a bounded operator from L_p (0, ) to L_q() (p q).Translated from Teoriya Sluchainykh Protsessov, No. 16, pp. 7–13, 1988.     

φ-Factors for Function Seminorms

Let (, A, ) be a measure space, a function seminorm on M, the space of measurable functions on , and M the space {f M : (f) < }. Every Borel measurable function : [0, ) [0, ) induces a function : M M by (f)(x) = (|f(x)|). We introduce the concepts of -factor and -invariant space. If is a -subadditive seminorm function, we give, under suitable conditions over , necessary and sufficient conditions in order that M be invariant and prove the existence of -factors for . We also give a characterization of the best -factor for a -subadditive function seminorm when is -finite. All these results generalize those about multiplicativity factors for function seminorms proved earlier.     

Annihilating properties of convolution operators on complex spheres

Summary This paper studies annihilating properties of operators generated by spherical convolution over the unit sphere _2q of C^q. Its specific aim is to answer the following question: given a complex number , ||1, to determine what functions of L²(_2q) have zero average over every section _w^{,q :=}{ z _2q: <z,w> = } of _2q . Here, <.,.>stands for the usual inner product of C^q.     

A covering problem for plane lattices

Let be a plane lattice and {v ₁, v ₂} a Minkowski reduced base of . In this note we prove that if a convex body K has minimal width w(K) |v ₂| sin +|v ₁|( ), where is the acute angle between v ₁ and v ₂, then K is a covering set for .This work was partially supported by MURST (40–60%).     

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.     

A functional inequality for real-analytic functions

Summary Forf ( C ⁿ() and 0 t x letJ _n (f, t, x) = (–1)ⁿ f(–x)f ⁽ⁿ⁾(t) +f(x)f ⁽ⁿ⁾ (–t). We prove that the only real-analytic functions satisfyingJ _n (f, t, x) 0 for alln = 0, 1, 2, are the exponential functionsf(x) = c e ^x,c, . Further we present a nontrivial class of real-analytic functions satisfying the inequalitiesJ ₀ (f, x, x) 0 and ₀ ^x (x – t)^{n – 1}J_n(f, t, x)dt 0 (n 1).     

Sugli insiemi di permutazioni strettamente k-transitivi (k ≥ 3)

Summary Let G be a sharply 3-transitive permutation set on a finite set E of even cardinality and let 1 be in G. The following theorems are proved. G is one of the known examples if and only if there exists a non-identity normal subgroup N of G and an element of E such that NG G.G is a group if and only if G for every G and for every G and for every G .By using the classification of finite single groups a result concerning sharply k-transitive permutation sets k>3 is also proved.

---

---

Dedicato a Guido Zappa in occasione del suo 70° compleanno

---

Lavoro eseguito nell'ambito dei progetti finanziati dal Ministero della Pubblica Istruzione.     

An embedding theorem for a limiting exponent

We consider the function space B _p ^l () of functionsf(x), defined on the domain of a certain class and characterized by specific differential-difference properties in L_p(). We prove a theorem on the embedding B _p,q ^l () L_q in the case whenl=n/p –n/q >0 and its generalization for vectorl, p, q.Translated from Matematicheski Zametki, Vol. 6, No. 2, pp. 129–138, August, 1969.     

Modular Transformations of Ramanujan's Fifth and Seventh Order Mock Theta Functions

In his last letter to Hardy, Ramanujan defined 17 functions F(q), where |q| < 1. He called them mock theta functions, because as q radially approaches any point e ^2ir (r rational), there is a theta function F _r(q) with F(q) – F _r(q) = O(1). In this paper we obtain the transformations of Ramanujan's fifth and seventh order mock theta functions under the modular group generators + 1 and –1/, where q = e ⁱ. The transformation formulas are more complex than those of ordinary theta functions. A definition of the order of a mock theta function is also given.     

Converse theorems for multidimensional Kantorovich operators

L _p [0, l]. . . - .

---

---

Supported by National Science Foundation, Zhejiang Provincial Science Foundation of China, and Alexander von Humboldt Foundation of Germany.     

On the behavior of solutions of quasilinear elliptic equations of second order in unbounded domains

Analogues of the well known in the theory of analytic functions Phragmén-Lindelöff theorem are formulated for the solutions of a wide class of quasilinear equations of elliptic type. Examples are given which illustrate the sharpness of the obtained results for solutions of equations of the form div(|u|^–2u)=f(x, u), where the function f(x, u) is locally bounded in IRⁿ⁺¹,f(x, 0)=0,uf(x, u)a¦u¦^1+q,a>0,>1,-1>q0, n>/2.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 2, pp. 279–283, February, 1992.     

A Note on the Oscillation of Second Order Differential Equations

We give a sufficient condition for the oscillation of linear homogeneous second order differential equation y + p(x)y + q(x)y = 0, where and is positive real number.