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

Asymptotic Density and the Asymptotics of Partition Functions

Let A be a set of positive integers with gcd (A) = 1, and let p _A (n) be the partition function of A. Let c ₀ = 2/3. If A has lower asymptotic density and upper asymptotic density , then lim inf log p _A (n)/c ₀ n and lim sup log p _A (n)/c ₀ n . In particular, if A has asymptotic density > 0, then log p _A (n) c₀n. Conversely, if > 0 and log p _A (n) c ₀ n, then the set A has asymptotic density .     

The existence of probability measures with specified projections

Let X and Y be locally compact-compact topological spaces, F X×Y is closed, and P(F) is the set of all Borel probability measures on F. For us to find, for the pair of probability measures (_x, _y P (X)×P(Y), a probability measure P(F) such that _X = _X ^–1 , _Y = _Y ^–1 it is necessary and sufficient that, for any pair of Borel sets A X, B Y for which (A× B) F=Ø, the condition _XA+ _YB 1 holds.Translated from Matematicheskie Zametki, Vol. 14, No. 4, pp. 573–576, October, 1973.     

Orthogonality properties of linear combinations of orthogonal polynomials

Let {P _n } be a sequence of orthogonal polynomials with respect to the measured on the unit circle and letP _n =P _n + _j ^=1l _nj P _n–j fornl, where _n,j . It is shown that the sequence of linear combinations {P _n },n2l, is orthogonal with respect to a positive measured if and only ifd is a Bernstein-Szegö measure andd is the product of a unique trigonometric polynomial and the Bernstein-Szegö measured. Furthermore for a given sequence ofP _n 's an algorithm for the calculation of the _n,j 's is provided.Supported by Dirección General de Investigación Cientifica y Técnica (DGICYT) of Spain and Österreichischer Akademischer Austauschdienst of Austria with grant 4B/1995.Also supported by the Austrian Fonds zur Förderung der wissenschaftlichen Forschung, project-number P9267-PHY.     

Isotropic random walks in a tree

Summary Let T be an infinite homogeneous tree of order a+1. We study Markov chains {X _n} in T whose transition functions p(x, y)=A[d(x,y)] depend only on the shortest distance between x and y in the graph. The graph T can be represented as a symmetric space of a p-adic matrix group; we prove a series of results using essentially the spherical functions of this symmetric space. Theorem 1. d(X _n,x) n a.s., where >0 if A(0) 1, X ₀=x. Assuming {X _n} is strongly aperiodic, Theorem 2. p ₂(x, y)CRⁿ/n^3/2 for fixed x, y where R=(d) A(d)<1, and if E[d(X₁, X₀)²]<, Theorem 3. R(1–u, x, y) = (1–u)ⁿp_n(x, y)=Ca^–d[exp(–du/)+o_d(1)] as d=d(x,y) uniformly for 0u2. Using Theorem 3, we calculate the Martin boundary Dirichlet kernel of p(x, y) on T, which turns out to be independent of {itA(d)}. We also consider a stepping-stone model of a randomly-mating-and-migrating population on the nodes of T. If initially all individuals are distinct, then in generation n approximately half of the individuals of a given type are within n of a typical one and essentially all are within 2n.This work was partially supported by the National Science Foundation under grant number MCS 75-08098-A01For the academic year 1977–78: Department of Mathematics GN-50, University of Washington, Seattle, Washington 98195 USA     

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.     

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

Efficiency of Proximal Bundle Methods

We give efficiency estimates for proximal bundle methods for finding f_*min_Xf, where f and X are convex. We show that, for any accuracy <0, these methods find a point x^kX such that f(x^k)–f^* after at most k=O(1/³) objective and subgradient evaluations.     

The problem of conformal transformations of a circle into nonoverlapping regions

Let a, a0, a, be a fixed point in the z-plane, (a, 0, ), the class of all systemsf _k()_l ³ of functions z=f ^k(), k=1, 2, 3, of which the first two map conformally and in a s ingle-sheeted manner the circle ¦¦<1, and the third maps in a similar manner the region ¦¦>1, into pair-wise nonintersecting regions B_k, k=1, 2, 3, containing the points a, 0, and , respectively, so thatf ₁(0)=a,f ₂(0)=0 andf ₃()=. The region of values (a, 0, ) of the system M(¦f ₁'(0)¦, ¦f ₂'(0)¦, 1/¦f ₃'()¦) in the class (a, 0, ) is determined.Translated from Matematicheskie Zametki, Vol. 6, No. 4, pp. 417–424, October, 1969.     

Universal singular sets for one-dimensional variational problems

Summary A study is made of the regularity properties of minimizers u of the integralI(u)= _a ^b f(x, u, u) dx subject to the boundary conditionsu(a)=, u(b)= as the interval (a, b) and boundary values, are varied. Under natural hypotheses onf it is shown that the set of points in the (x, u)-plane at which a minimizer u can have infinite derivative for some interval and boundary values is small in the sense of category.This article was processed by the author using the LaT_EX style filepljour1 from Springer-Verlag.     

Central orderings in fields of real meromorphic function germs

Let X_oR ⁿ be an irreducible analytic germ and the order space of its field of meromorphicfunetion germs. A formal half-branch in X_o is a kind of C-map germ c[0,)X_o; an ordering is centered at c if it contains the functions which are positive on c. We obtain a partition ¹,...,^d, d=dim X_o, of the set ^* of central (i.e.: centered at some half-branch) orderings, according to the dimension of half-branches. Then we show that all ^e, e= 1,.,d, as well as the set \^* of noncentral orderings, are dense in . Finally, we solve the 17th Hubert Problem for analytic germs.     

Extensions and selections in subspaces ofC(K)

LetK be a compact Hausdorff space and letFK be a peak interpolation set for a function algebraAC(K). Let be a map fromK to the family of all convex subsets of such that the set {(z, x)zK, x(z)} is open inK×C and such thatg(z)(z) (zK) for somegA. We prove that everyfC(F) satisfyingf(s)(s) (sF) (f(s)closure (s) (sF)) admits an extensionfAA} satisfyingf(z)(z) (zK) (f(z))}closure (z) (zK), respectively). We prove a more general theorem of this kind and present various applications which generalize known dominated interpolation theorems for subspaces ofC(K).     

Monotonic subsequences in permutations of n natural numbers

Let S_n be the set of all permutations of the numbers 1, 2,..., n, and letl _n() be the number of terms in the maximal monotonic subsequence contained in S_n. If M[l _n()] is the mean value ofl _n () on S_n, then, for all except a finite number of n, the bound M[l _n()] e n is valid.Translated from Matematicheskie Zametki, Vol. 13, No. 4, pp. 511–514, April, 1973.The author wishes to thank E. M. Nikishin for having posed the problem and for his constant interest in the work.     

Kennzeichnungen von Minimalschraubflächen Mittels Vertikalisophoten und Horizontalschattengrenzen

In Euclidean space E³, let be a (regular C-) minimal surface without planar points having locally (without loss of generality) the spherical representation n(u,v)=(cos v/cosh u, sin v/cosh u, tanh u), (u,v)G². The corresponding (isothermal) parametrization : x(u,v), (u,v)G can be expressed using agenerating Function (u,v) which satisfies _{uu + vv} – 2_utanh u + =0; the v-curves (coordinate curves u=u₀) in , along each of which the angle between the normal n(u,v) of and the x₃-axis is constant, are thevertical- isophotes of , the u-curves (v=v₀) being their orthogonal trajectories (theorems 1, 2). Considering u-curves and/or v-curves of having additional geometric properties (curves of constant/steepest slope, curves of constant Gaussian curvature, asymptotic curves, lines of curvature or geodesies of ) we prove many newgeometric characterizations of theright helicoid, thecatenoid andScherk's second surface (theorems 3–7). All of these surfaces areminimal hélicoidal surfaces.     

A Strong Maximum Principle for some quasilinear elliptic equations

In its simplest form the Strong Maximum Principle says that a nonnegative superharmonic continuous function in a domain ⁿ ,n 1, is in fact positive everywhere. Here we prove that the same conclusion is true for the weak solutions of – u + (u) = f with a nondecreasing function ,(0)=0, andf0 a.e. in if and only if the integral((s)s) ^–1/2 ds diverges ats=0+. We extend the result to more general equations, in particular to – _p u + (u) =f where _p (u) = div(|Du| ^p-2 Du), 1 <p < . Our main result characterizes the nonexistence of a dead core in some reaction-diffusion systems.This work was partly done while the author was visiting the University of Minnesota as a Fulbright Scholar.     

Théorie du potentiel pour des opérateurs elliptiques non linéaires du second ordre à coefficients discontinus

Let a open subset of ⁿ , n3, and an open. Existence and unicity are proved for the Dirichlet problem

Integral averages and oscillation of second order sublinear differential equations

New oscillation criteria are given for the second order sublinear differential equation

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.     

Estimation of the Multivariate Normal Precision Matrix under the Entropy Loss

Let X ₁, , X _n (n > p) be a random sample from multivariate normal distribution N _p (, ), where R ^p and is a positive definite matrix, both and being unknown. We consider the problem of estimating the precision matrix ^–1. In this paper it is shown that for the entropy loss, the best lower-triangular affine equivariant minimax estimator of ^–1 is inadmissible and an improved estimator is explicitly constructed. Note that our improved estimator is obtained from the class of lower-triangular scale equivariant estimators.     

Computation of exponential integrals

Let P ^d be a convex polyhedron and f: ^d a linear function. One studies the computational complexity of the integral _pexp f(xdx. It is shown that these integrals satisfy nontrivial algebraic relations, which makes possible the construction of polynomial algorithms for certain polyhedra. Examples are given of the application of exponential integrals to the calculation of volume and nonlinear programming.Translated from Zapiski Nauchnykh Seminarov Leningradksogo Otdeleniya Matematicheskogo Instituta im. V. A. Skeklova AN SSSR, Vol. 192, pp. 149–162, 1991.