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

On the lower Markov spectrum

C. Hightower found two infinite sequences of gaps in the Markov spectrum, ( _n , _n ) and ( _n , _n ) with _n and _n both Markov elements, converging to . This paper exhibits Markov elements _n ^* and _n ^* such that, for alln 1, ( _n ^* , _n ) and ( _{n n} ^* ) are gaps in the Markov spectrum. Other results include showing that, for alln 1, _n is completely isolated, while the other endpoints of the gaps are limit points in the Markov spectrum.     

Weak solutions of the Stokes problem in weighted Sobolev spaces

For n2 we consider the Stokes problem in ⁿ, -u + p=f, -divu=g, in weighted Soboiev spaces H ₆ ^m,r , where the weights are proportional to (1+|x|). We prove the existence of weak solutions for any K, whereK is a discrete set of critical values. Furthermore, we characterize the solutions of the homogeneous problem.This research was supported by the DFG research group Equations of Hydrodynamics, Universities of Bayreuth and Paderborn.     

An Inequality for Tail Probabilities of Martingales with Bounded Differences

Let M _n =X₁+...+X_n be a martingale with bounded differences X_m=M_m-M_m-1 such that {|X_m| _m}=1 with some nonnegative _m. Write ²= ₁ ² + ... + _n ² . We prove the inequalities {M _nx}c(1-(x/)), {M _n x} 1- c(1- (-x/)) with a constant . The result yields sharp inequalities in some models related to the measure concentration phenomena.     

Distribution of the supremum of sums of independent variables with negative drift

Let {_n} be a sequence of identically distributed independent random variables,M₁=<0,M ₁ ² <;S ₀=0,S _n =₁+₂,+...+ _{n, n}1;¯ S=sup {S _n n=0.} The asymptotic behavior ofP(¯ St) as t is studied. If _t ^P (₁x dx=0((t)), thenP(¯ St)– 1/¦¦ _t P (₁x dx=0((t)) (t) is a positive function, having regular behavior at infinity.Translated from Matematicheskie Zametki, Vol. 22, No. 5, pp. 763–770, November, 1977.The author thanks B. A. Rogozin for the formulation of the problem and valuable remarks.     

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)     

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.     

The Second Lacuna in the Orders of Movement Groups of the Spaces U n

We prove the nonexistence of symmetrically linearly connected spaces of hyperplane elements admitting a movement group G _r with n ² - n + 2 r n² - 1, n 5.     

Compact sets in the spaceL p (O,T; B)

Summary A characterization of compact sets in L^p (0, T; B) is given, where 1P and B is a Banach space. For the existence of solutions in nonlinear boundary value problems by the compactness method, the point is to obtain compactness in a space L^p (0,T; B) from estimates with values in some spaces X, Y or B where XBY with compact imbedding XB. Using the present characterization for this kind of situations, sufficient conditions for compactness are given with optimal parameters. As an example, it is proved that if {f_n} is bounded in L^q(0,T; B) and in L _loc ¹ (0, T; X) and if {f_n/t} is bounded in L _loc ¹ (0, T; Y) then {f_n} is relatively compact in L^p(0,T; B), p相似文献   

Limiting behavior of weighted central paths in linear programming

We study the limiting behavior of the weighted central paths{(x(), s())} > 0 in linear programming at both = 0 and = . We establish the existence of a partition (B ,N ) of the index set { 1, ,n } such thatx _i() ands _j () as fori B , andj N , andx _N (),s _B () converge to weighted analytic centers of certain polytopes. For allk 1, we show that thekth order derivativesx ^(k) () ands ^(k) () converge when 0 and . Consequently, the derivatives of each order are bounded in the interval (0, ). We calculate the limiting derivatives explicitly, and establish the surprising result that all higher order derivatives (k 2) converge to zero when .     

Independence in hypergraphs

Suppose an integral function (|A|)q₁ defined on the subsets of edges of a hypergraph (X,u,) satisfies the following two conditions: 1) any set W u such that |A|(|A|) for any AW is matroidally independent; 2) if W is an independent set, then there exists a unique partitionW=T₁+ T₂+...+T_v such that |T ⁱ |=(|T ⁱ |),i1:v, and for any AW, |A|(|A|) there exists a T_i such that AT_i. The form of such a function is found, in terms of parameters of generalized connected components, hypercycles, and hypertrees.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 114, pp. 196–204, 1982.     

On the diameters of some classes of analytic functions. I

In the spaces of analytic functionsE _q (), q1, introduced by V. I. Smirnov, where is a bounded simply connected domain in the plane with sufficiently smooth boundary , we obtain order estimates of diameters of the classesW ^r E _p () (p1, and r is a natural number 2) for distinct p and q.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 3, pp. 324–333, March, 1992.     

A geometric condition for an l.c.K. manifold to be Kähler

We prove that a necessary and sufficient condition for a locally conformal Kähler manifold(M ⁿ , g), n 2, to be Kähler is thatM admits through every one of its points a minimal Kahler submanifold of complex dimensionp2.     

Unique determination of the convolutions of measures in Rm,m⩾2, by their restriction to a set

Restrictions are indicated on a complex-valued measure in the spaceR ^m ,m 2., under which the n-fold convolution ^n*,n 2, is uniquely determined by its values on any semispacex ₁<r, rR.Translated from Teoriya Funktsii, Funktsional'nyi Analiz i Ikh Prilozheniya, No. 50, pp. 86–90, 1988.     

Surgery on the Novikov complex

Let M be a closed connected smooth manifold with dim M=n6, and : ₁(M) Z be an epimorphism. Denote by the group ring of ₁(M) and let ^– be its Novikov completion. Let D _* be a free-based finitely generated chain complex over ^– . Assume that D _ii=0 for i1 and in–1 and that D _* has the same simple homotopy type as the Novikov-completed simplicial chain complex of the universal covering M. Let N be an integer. We prove that D _* can be realized, up to the terms of ^– of degree N as the Novikov complex of a Morse map : M S ¹, belonging to . Applications to Arnold's conjectures and to the theory of fibering of M over S ¹ are given.     

Extended Classical Asymptotic Expansions in the Case of Gaussian Limit Distribution

Let X, X ₁, X ₂,... be a sequence of independent and identically distributed random variables with common distribution function F. Denote by F _n the distribution function of centered and normed sum S _n . Let F belong to the domain of attraction of the standard normal law , that is, lim F _n (x)= (x), as n , uniformly in x . We obtain extended asymptotic expansions for the particular case where the distribution function F has the density p(x) = cx ^––1 ln(x), x > r, where 2, , c > 0, and r > 1. We write the classical asymptotic expansion (in powers of n ^–1/2) and then add new terms of orders n ^–/2 ln n, n ^–/2 ln^-1 n, etc., where 0.     

Nonexistence of locally flat approximations in codimension two

In this paper we prove that for any n6 there exists a closed, piecewise-linearly imbedded in E ⁿ manifold M _pL ^n–2 , not admitting locally flat approximations. This manifold can be assumed, here, to be homotopically not equivalent to a smooth one ifn10. We also prove that for anyn7 there exists a closed topological manifold M _TOP ^n–2 E ⁿ not admitting locally flat approximation. This manifold can be assumed to be homotopically not equivalent with a piecewise-linear one.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 83, pp. 93–100, 1979.     

Isomorphisms of unitary groups over associative rings

Automorphisms of unitary linear groups u (n,,q) over the ring are found to be standard on an elementary unitary subgroup in the case when the hyperbolic rank of the form q is strictly greater than one and n5 (for a commutative ring, n4).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im V. A. Steklova AN SSSR, Vol. 132, pp. 97–109, 1983.     

On the postulation of a general projection of a curve inP N,N⩾4

Summary Fix a curve X of genus g and L Pic ^d (X). Let _L(X) be the image of X through the complete linear system H⁰(X, L). Here we prove that a general projection of _L(X) intoP ^N has maximal rank if either (a) N4, 0gN–1, dg+N, or (b) dd (g, N) for suitable d(g, N).     

On the homogeneous ideal of projectively normal curves

Summary Fix integers k, d, g with g0, dg+3, k>0, 2k<(d–g), d(g(k+1)/k) + k+1. Here we prove that for a general curve X of genus g and a general L Pic^d(X), L is normally presented.