A generalization of the Pogorelov-Stocker theorem on complete developable surfaces

The well-known Pogorelov theorem stating the cylindricity of any C ¹-smooth, complete, developable surface of bounded exterior curvature in ℝ³ was generalized by Stocker to C ²-smooth surfaces with a more general notion of completeness. We extend Stocker’s result to C ¹-smooth surfaces that are normal developable in the Burago-Shefel’ sense. __________ Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 12, No. 1, pp. 247–252, 2006.     

Geometrical implications of the existence of very smooth bump functions in Banach spaces

We show that ifX is a Banach space and if there is a non-zero real-valuedC ^∞-smooth function onX with bounded support, then eitherX contains an isomorphic copy ofc ₀(N), or there is an integerk greater than or equal to 1 such thatX is of exact cotype 2k and, in this case,X contains an isomorphic copy ofl ^2k(N). We also show that ifX is a Banach space such that there is onX a non-zero real-valuedC ⁴-smooth function with bounded support and ifX is of cotypeq forq<4, thenX is isomorphic to a Hilbert space.     

Local properties of the solution set of the operator equation in Banach spaces in a neighbourhood of a bifurcation point

In this work we study the problem of the existence of bifurcation in the solution set of the equation F(x, λ)=0, where F: X×R ^k →Y is a C ²-smooth operator, X and Y are Banach spaces such that X⊂Y. Moreover, there is given a scalar product 〈·,·〉: Y×Y→R ¹ that is continuous with respect to the norms in X and Y. We show that under some conditions there is bifurcation at a point (0, λ₀)∈X×R ^k and we describe the solution set of the studied equation in a small neighbourhood of this point.     

On the regularity of the distribution of the maximum of one-parameter Gaussian processes

The main result in this paper states that if a one-parameter Gaussian process has C ^2k paths and satisfies a non-degeneracy condition, then the distribution of its maximum on a compact interval is of class C ^k . The methods leading to this theorem permit also to give bounds on the successive derivatives of the distribution of the maximum and to study their asymptotic behaviour as the level tends to infinity. Received: 14 May 1999 / Revised version: 18 October 1999 / Published online: 14 December 2000     

A chart preserving the normal vector and extensions of normal derivatives in weighted function spaces

Given a domain Ω of class C ^k,1, k ∈ ℕ, we construct a chart that maps normals to the boundary of the half space to normals to the boundary of in the sense that (∂/∂x _n )α(x′, 0) = − N(x′) and that still is of class C ^k,1. As an application we prove the existence of a continuous extension operator for all normal derivatives of order 0 to k on domains of class C ^k,1. The construction of this operator is performed in weighted function spaces where the weight function is taken from the class of Muckenhoupt weights.     

Space of <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-smooth skew products of maps of an interval

Using the notions of an Ω-function and of functions suitable for an Ω-function, we show that the space of C ¹ -smooth skew products of maps of an interval such that the quotient map of each is Ω-stable in the space of C ¹ -smooth maps of a closed interval into itself and has a type ≻ 2 ^∞ (i.e., contains a periodic orbit with the period not equal to a power of 2) can be represented as a union of four nonempty pairwise nonintersecting subspaces. We give examples of maps belonging to each of the identified subspaces.     

On Ω-blow-ups in the simplest <Emphasis Type="Italic">C</Emphasis><Superscript>1</Superscript>-smooth skew products of interval mappings

The authors prove a criterion (necessary and sufficient condition) for the emergence of the C ⁰-Ω-blow-up for C ¹-smooth skew products of interval mappings with closed set of periodic points. An example of the mapping with given properties that admits the C ⁰-Ω-blow-up is presented. It is proved that the C ¹-Ω-blow-up is impossible for mappings of such a type (in the space of C ¹-smooth skew products of interval mappings). It is proved that there is no one-parameter family of C ¹-smooth skew products of interval mappings with closed set of periodic points C ¹-smoothly depending on the parameter in which from one fixed point, periodic orbits with periods 2 and 4 simultaneously arise. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 53, Suzdal Conference-2006, Part 1, 2008.     

On the smoothness of conjugation of circle diffeomorphisms with rigid rotations

We prove that any C^3+β-smooth diffeomorphism preserving the orientation of a circle with rotation number from the Diophantine class D_δ, 0 < β < δ < 1, is C^2+β−δ-smoothly conjugate to a rigid rotation of the circle by a certain angle. __________ Translated from Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 2, pp. 268–282, February, 2008.     

Integral kašin splittings

Forx ∈ ℝ ⁿ andp≥1 put ‖x‖ _p :=(n ⁻¹Σ|x _i| ^p )^1/p . An orthogonal direct sum decomposition ℝ^2k =E⊕E ^⊥ where dimE=k and ‖x‖₂/‖x‖₁≤C is called here a (k, C)-splitting. By a theorem of Kašin there existsC>0 such that (k, C)-splittings exist for allk, and by the volume ratio method of Szarek one can takeC=32eπ. All proofs of existence of (k, C)-splittings heretofore given are nonconstructive. Here we investigate the representation of (k, C)-splittings by matrices with integral entries. For everyC>8e _1/2 π _−1/2 and positive integerk we specify a positive integerN(k, C) such that in the set ofk by 2k matrices with integral entries of absolute value not exceedingN(k, C) there exists a matrix with row span a summand in a (k, C)-splitting. We haveN(k, C)≤2^18k fork large enough depending onC. We explain in detail how to test a matrix for the property of representing a (k, C)-splitting. Taken together our results yield an explicit (if impractical) construction of (k, C)-splittings.     

On a method to transform algebraic differential equations into universal equations

The paper introduces an algorithm which transforms homogeneous algebraic differential equations into universal differential equations (in the sense of L. A. Rubel) havingC ⁿ (ℝ)-solutions. By applications of the algorithm to different initial equations some new universal differential equations are found, and all the known equations due to R. J. Duffin are rediscovered with this method. Assuming weak conditions one can find Cⁿ(ℝ)-solutionsy of the differential equation close to any continuous function such that 1, with 0 ≤k ₁ <k ₂ < .... <k _s ≤n are linearly independent over the field of real algebraic numbers at the rational points q1,...,qs.     

Error bounds for asymptotic expansion of the scale mixtures of the normal distribution

Summary LetX be a standard normal random variable and let σ be a positive random variable independent ofX. The distribution of η=σX is expanded around that ofN(0, 1) and its error bounds are obtained. Bounds are given in terms of E(σ ²V−σ ²−1) ^k whereσ ²Vσ ⁻² denotes the maximum of the two quantitiesσ ² andσ ⁻², andk is a positive integer, and of E(σ ²−1) ^k , ifk is even. The Institute of Statistical Mathematics     

The gonality of smooth curves with plane models

LetC be the normalization of an integral plane curve of degreed with δ ordinary nodes or cusps as its singularities. If δ=0, then Namba proved that there is no linear seriesg _d ^−2/1 and that everyg _d ^−1/1 is cut out by a pencil of lines passing through a point onC. The main purpose of this paper is to generalize his result to the case δ>0. A typical one is as follows: Ifd≥2(k+1), and δ<kd−(k+1)²+3 for somek>0, thenC has no linear seriesg _d ^−3/1 . We also show that ifd≥2k+3 and δ<kd−(k+1)²+2, then each linear seriesg _d ^−2/1 onC is cut out by a pencil of lines. We have similar results forg _d ^−1/1 andg _2d ^−9/1 . Furthermore, we also show that all of our theorems are sharp.     

Upper bound for the Lempert function of smooth domains

An upper estimate for the Lempert function of any C ^1+ε -smooth bounded domain in \mathbbCⁿ{\mathbb{C}^n} is found in terms of the boundary distance.     

On the generation of clones containing near-unanimity operations

It is a well-known consequence of the Baker-Pixley-Theorem that any clone containing a near-unanimity operation is finitely generated, leading to the question what arity the generating functions must have. In this paper, we show that, for arbitrary d ≥ 2 and large enough n, (n − 1) ^d − 1 is the smallest integer k such that, for every clone C on an n-element set that contains a (d + 1)-ary near-unanimity operation, C ^(k) generates C.     

Generalized absolutely monotone functions

The concept of absolutely monotone functions is generalized by replacing the conditionsφ ^(k)(t)≧0,k=0, 1, … by an infinite sequence of differential inequalitiesφ(t)≧0,L _kφ(t)≧0,k=1, 2, …, where theL _k are differential operators of a special type. It is shown that these functions have a valid series expansion in terms of basic functions associated with the operatorsL _k.     

On the singularities of solutions of partial differential equations with constant coefficients

LetP be a differential operator with constant coefficients in ℝ ⁿ . Ifu is a distribution, the singular support ofu is the complement of the largest set whereu ∈C ^∞. Necessary and sufficient conditinos are obtained for a closed convex set Γ to be equal to the singular support ofu for someu withPu ∈C ^∞ or, equivalently, for Γ to contain the singular support ofu for someu withPu ∈C ^∞ butu ∉C ^∞. Related local uniqueness theorems analogous to the Holmgren theorem with supports replaced by singular supports are also given, as well as applications concerningP-convexity with respect to singular supports.     

Differential operators associated with zonal polynomials. I

Summary Associated with each zonal polynomial,C _k(S), of a symmetric matrixS, we define a differential operator ∂_k, having the basic property that ∂_kC_λδ_kλ, δ being Kronecker's delta, whenever κ and λ are partitions of the non-negative integerk. Using these operators, we solve the problems of determining the coefficients in the expansion of (i) the product of two zonal polynomials as a series of zonal polynomials, and (ii) the zonal polynomial of the direct sum,S⊕T, of two symmetric matricesS andT, in terms of the zonal polynomials ofS andT. We also consider the problem of expanding an arbitrary homogeneous symmetric polynomial,P(S) in a series of zonal polynomials. Further, these operators are used to derive identities expressing the doubly generalised binomial coefficients ( _P ^λ ),P(S) being a monomial in the power sums of the latent roots ofS, in terms of the coefficients of the zonal polynomials, and from these, various results are obtained.     

Herman’s theory revisited

We prove that a C ^2+α -smooth orientation-preserving circle diffeomorphism with rotation number in Diophantine class D _δ , 0≤δ<α≤1, α−δ≠1, is C ^1+α−δ -smoothly conjugate to a rigid rotation. This is the first sharp result on the smoothness of the conjugacy. We also derive the most precise version of Denjoy’s inequality for such diffeomorphisms.     

On the number of elements of given order in a finitep-group

A. Kulakoff [9] proved that forp>2 the numberN _k =N _k (G) of solutions of the equationx ^{p k} =e in a non-cyclicp-groupG is divisible byp ^k+1. This result is a generalization of the well-known theorem of G. A. Miller asserting that the numberC _k =C _k (G) of cyclic subgroups of orderp ^k >p>2 is divisible byp. In this note we show that, as a rule: (1) ifk>1, thenN _k ≡0(modp ^k+p ); (2) ifk>2, thenC _k ≡0(modp ^p ). These facts are generalizations of many results from [1–5,8,9].     

On Kneser solutions of higher order nonlinear ordinary differential equations

The equationx ⁽ⁿ⁾(t)=(−1) ⁿ │x(t)│ ^k withk>1 is considered. In the casen≦4 it is proved that solutions defined in a neighbourhood of infinity coincide withC(t−t₀)^−n/(k−1), whereC is a constant depending only onn andk. In the general case such solutions are Kneser solutions and can be estimated from above and below by a constant times (t−t ₀)^−n/(k−1). It is shown that they do not necessarily coincide withC(t−t₀)^−n/(k−1). This gives a negative answer to two conjectures posed by Kiguradze that Kneser solutions are determined by their value in a point and that blow-up solutions have prescribed asymptotics. Dedicated to Professor Vladimir Maz'ya on the occasion of his 60th birthday. The author was supported by the Swedish Natural Science Research Council (NFR) grant M-AA/MA 10879-304.