Cylindricity of tangent bundles of strongly parabolic metrics and strongly parabolic surfaces

It is proved that if the intrinsic zero-index of the Sasaki metric of a tangent bundleTM ⁿ isk, thenk is even andM ⁿ is the metric product of a Riemannian manifoldM ^n–k/2 by a Euclidean spaceE ^k/2, whileTM ⁿ is the metric product ofTM ^n–k/2 byE ^k . An expression is obtained for the second fundamental forms of the imbeddingTF ^l TM ⁿ in terms of the second fundamental forms of the imbeddingF ^l M ⁿ and the curvature tensor ofM ⁿ . It is proved thatTF ^l is totally geodesic inTM ⁿ if and only ifF ^l is totally geodesic inM ⁿ .Translated from Ukrainskií Geometricheskií Sbornik, Issue 28, 1985, pp. 12–32.     

On the error of quadrature formulae for Cauchy principal value integrals based on piecewise interpolation

We consider the computation of the Cauchy principal value integral by quadrature formulae Q _n ^F [f] of compound type, which are obtained by replacing f by a piecewise defined function F_n[f]. The behaviour of the constants k_{i, n} in the estimates [R _n ^F [f]] |⩽K _i,n ‖f ⁽ⁱ⁾‖_∞ (where R _n ^F [f] is the quadrature error) is determined for fixed i and n→∞, which means that not only the order, but also the coefficient of the main term of k_{i, n} is determined. The behaviour of these error constants k_{i, n} is compared with the corresponding ones obtained for the method of subtraction of the singularity. As it turns out, these error constants have, in general, the same asymptotic behaviour.     

Integration and Lipschitz functions

The aim of the paper is to prove that every f ∈ L ¹([0,1]) is of the form f = , where j _n,k is the characteristic function of the interval [k- 1 / 2 ⁿ , k / 2 ⁿ ) and Σ _n=0^∞Σ _k=1²ⁿ |a _n,k | is arbitrarily close to ||f|| (Theorem 2). It is also shown that if μ is any probabilistic Borel measure on [0,1], then for any ɛ > 0 there exists a sequence (b _n,k ) _n≧0 ^k=1,...,2n of real numbers such that and for each Lipschitz function g: [0,1] → ℝ (Theorem 3).      

On the VC-dimension of uniform hypergraphs

Let be a k-uniform hypergraph on [n] where k−1 is a power of some prime p and n≥ n ₀(k). Our main result says that if , then there exists E ₀∊ such that {E∩ E ₀: E∊ } contains all subsets of E ₀. This improves a longstanding bound of due to Frankl and Pach [7].Research supported in part by NSF grants DMS-0400812 and an Alfred P. Sloan Research Fellowship.Research supported in part by NSA grant H98230-05-1-0079. Part of this research was done while working at University of Illinois at Chicago.     

On uniqueness of Neumann-Tricomi problem in R2

We consider the equation of mixed type (k(y) ? 0 whenever y ? 0) in a region G which is bounded by the curves: A piecewise smooth curve Γ lying in the half-plane y > 0 which intersects the line y = 0 at the points A(-1, 0) and B(0, 0). For y < 0 by a piecewise smooth curve Γ through A which meets the characteristic of (1) issued from B at the point P and the curve Γ which consists of the portion PB of the characteristic through B. We obtain sufficient conditions for the uniqueness of the solution of the problem L[u] = f, d_nu: = k(y)u_xdy – u_ydx|γ0 = = Ψ(s) for a “general” function k(y), when r(x, y) is not necessarily zero and Γ₁ is of a more general form then in the papers of V. P. Egorov [6], [7].     

On Sikkema-Kantorovič polynomials of order K

Let a_n≥0 and F(u)∈C [0,1], Sikkema constructed polynomials: , ifα _n ≡0, then B_n (0, F, x) are Bernstein polynomials. Let , we constructe new polynomials in this paper: Q _n ^(k) (α _n ,f(t))=d ^k /dx ^k B _n+k (α _n ,F _k (u),x), which are called Sikkema-Kantorovic polynomials of order k. Ifα _n ≡0, k=1, then Q_n ⁽¹⁾ (0, f(t), x) are Kantorovič polynomials P_n(f). Ifα _n =0, k=2, then Q_n ⁽²⁾, (0, f(t), x) are Kantorovič polynomials of second order (see Nagel). The main result is: Theorem 2. Let 1≤p≤∞, in order that for every f∈L^P [0, 1], , it is sufficient and necessary that , § 1. Let f(t) de a continuous function on [a, b], i. e., f∈C [a, b], we define^{[1–2],[8–10]}: . As usual, for the space L^p [a,b](1≤p<∞), we have and L[a, b]=l¹[a, b]. Letα _n ⩾0and F(u)∈C[0,1],Sikkema-Bernstein polynomials ^{[3] [4]}. The author expresses his thanks to Professor M. W. Müller of Dortmund University at West Germany for his supports.     

Problèmes de Sturm-Liouville: bornes pour les valeurs propres et les zéros des fonctions propres

Résumé Pour évaluer ₂, on partage l'intervalleI=[a,b] en deux:I=[a,y] etI=[y,b]. A l'aide de l'inégalité de Barta et du processus d'itération de Schwarz, on détermine, en partant d'une fonction particulière, des bornes inférieuresv _n ^– (y) et _n ^– (y) pour la première valeur propre des nouveaux problèmes définis dansI etI. Auk-ième pas de l'itération, la meilleure borne possible pour ₂ est donnée parv _k ^– (y _k ), oùy _k est la racine de l'équationv _k ^– – _k ^– . De plus,v _k ^– (y _k ) ₂ ety _k tend vers le zéro de la deuxième fonction propre.

---

Summary In order to evaluate ₂, we cut the intervalI=[a,b] into two parts:I=[a,y] andI=[y,b]. Using Barta's inequality and Schwarz's iteration procedure and starting from a particular function, we determine lower boundsv _k ^– (y) and _k ^– (y) for the first eigenvalue of the new problems defined inI andI. Afterk iterations, the best possible bound for ₂ isv _k ^– (y _k ), wherey _k is the root of the equationv _k ^– – _k ^– . Moreoverv _k ^– (y _k ) ₂ andy _k tends to the zero of the second eigenfunction.

     

A new continuation method for complementarity problems with uniformP-functions

The complementarity problem with a nonlinear continuous mappingf from the nonnegative orthantR ₊ ⁿ ofR ⁿ intoR ⁿ can be written as the system of equationsF(x, y) = 0 and(x, y) R ₊ ²ⁿ , whereF denotes the mapping from the nonnegative orthantR ₊ ²ⁿ ofR ²ⁿ intoR ₊ ⁿ × Rⁿ defined byF(x, y) = (x ₁y₁,,x_ny_n, f₁(x) – y₁,, f_n(x) – y_n) for every(x, y) R ₊ ²ⁿ . Under the assumption thatf is a uniformP-function, this paper establishes that the mappingF is a homeomorphism ofR ₊ ²ⁿ ontoR ₊ ⁿ × Rⁿ. This result provides a theoretical basis for a new continuation method of tracing the solution curve of the one parameter family of systems of equationsF(x, y) = tF(x ⁰, y⁰) and(x, y) R ₊ ²ⁿ from an arbitrary initial point(x ⁰, y⁰) R ₊ ²ⁿ witht = 1 until the parametert attains 0. This approach is an extension of the one used in the polynomially bounded algorithm recently given by Kojima, Mizuno and Yoshise for solving linear complementarity problems with positive semi-definite matrices.     

On the Boundary Behaviour of Poisson Integrals of Finite Measures in (n + 1)-dimensional Half Space

It is well known that the harmonic functions u on the Euclidean upper (n + 1)-dimensional half-space E⁺ _n+1 = {(x, y) = (x ₁,…,x_n,y) ? E _n+1: y > 0} satisfying sup _y>0 ||u(·,y)||₁ < ∞ are precisely the Poisson-integrals u(x,y) = ∫ _En P(x - t,y)dμ(t) with respect to a measure μ of finite variation on E_n , and that (Fatou's theorem in E⁺ _n+1) in almost every point x ? E_n the non-tangential boundary limit of u exists and coincides with du/dλ. While this is a special case of a general assertion in potential theory, it is shown that the proof of Fatou's theorem for harmonic functions on a ball may readily be transferred to the given setup and that the influence of a singular component of μ on the boundary behaviour of u may also be established without recourse to the existence of the derivative dμ/dλ. Finally the C ₀-property of u is characterized by suitable conditions on μ.     

On Cesáro summability of fourier series with respect to double complete orthonormal systems

Let {ϕn(x), n = 1, 2,...} be an arbitrary complete orthonormal system on the interval I:= [0, 1]which consists of a.e. bounded functions. Suppose that E ₀ ⊂ I ² is any Lebesgue measurable set such that μ₂ E ₀ > 0, and φ, φ(0) = 0, is an increasing continuous function on [0, ∞) with φ(u) = o(u ln u) as u → ∞. Then there exist a function f ∈ L¹(I ²) and a set E ₀ ^′ , ⊂ E ₀, μ₂ E ₀ ^′ > 0, such that

Edge-isoperimetric inequalities in the grid

The grid graph is the graph on [k] ⁿ ={0,...,k–1} ⁿ in whichx=(x _i ) ₁ ⁿ is joined toy=(y _i ) ₁ ⁿ if for somei we have |x _i –y _i |=1 andx _j =y _j for allji. In this paper we give a lower bound for the number of edges between a subset of [k] ⁿ of given cardinality and its complement. The bound we obtain is essentially best possible. In particular, we show that ifA[k] ⁿ satisfiesk ⁿ /4|A|3k ⁿ /4 then there are at leastk ^n–1 edges betweenA and its complement.Our result is apparently the first example of an isoperimetric inequality for which the extremal sets do not form a nested family.We also give a best possible upper bound for the number of edges spanned by a subset of [k] ⁿ of given cardinality. In particular, forr=1,...,k we show that ifA[k] ⁿ satisfies |A|r ⁿ then the subgraph of [k] ⁿ induced byA has average degree at most 2n(1–1/r).Research partially supported by NSF Grant DMS-8806097     

Asymptotic behaviour of oscillatory solutions of n-th order differential equations with quasiderivatives

Sufficient conditions are given under which the sequence of the absolute values of all local extremes of y[i], i {0,1,..., n – 2} of solutions of a differential equation with quasiderivatives y ^[n] = f(t, y ^[0],..., y ^[n–1]) is increasing and tends to . The existence of proper, oscillatory and unbounded solutions is proved.     

An implicit function theorem: Comment

In Ref. 1, Jittorntrum proposed an implicit function theorem for a continuous mappingF:R ⁿ ×R ^m R ⁿ, withF(x ⁰,y ⁰)=0, that requires neither differentiability ofF nor nonsingularity of _x F(x ⁰,y ⁰). In the proof, the local one-to-one condition forF(·,y):A R ⁿ R ⁿ for ally B is consciously or unconsciously treated as implying thatF(·,y) mapsA one-to-one ontoF(A, y) for ally B, and the proof is not perfect. A proof can be given directly, and the theorem is shown to be the strongest, in the sense that the condition is truly if and only if.     

Homomorphisms between Poisson JC*-Algebras

It is shown that every almost linear mapping of a unital Poisson JC*-algebra to a unital Poisson JC*-algebra is a Poisson JC*-algebra homomorphism when h(2 ⁿ uy) = h(2 ⁿ u) h(y), h(3 ⁿ u y) = h(3 ⁿ u) h(y) or h(q ⁿ u y) = h(q ⁿ u) h(y) for all , all unitary elements and n = 0, 1, 2, · · · , and that every almost linear almost multiplicative mapping is a Poisson JC*-algebra homomorphism when h(2x) = 2h(x), h(3x) = 3h(x) or h(qx) = qh(x) for all . Here the numbers 2, 3, q depend on the functional equations given in the almost linear mappings or in the almost linear almost multiplicative mappings.Moreover, we prove the Cauchy–Rassias stability of Poisson JC*-algebra homomorphisms in Poisson JC*-algebras.*This work was supported by grant No. R05-2003-000-10006-0 from the Basic Research Program of the Korea Science & Engineering Foundation.     

Regularity properties of functional equations and inequalities

Summary By a well-known theorem of Lebesgue and Fréchet every measurable additive real function is continuous. This result was improved by Ostrowski who showed that a (Jensen-) convex real function must be continuous if it is bounded above on a set of positive Lebesgue measure. Recently, R. Trautner provided a short and elegant proof of the Lebesgue—Fréchet theorem based on a representation theorem for sequences on the real line.We consider here a locally compact topological groupX with some Haar measure. Then the following generalizes Trautner's theorem: Theorem.Let M be a measurable subset of X of positive finite Haar measure. Then there is a neighbourhood W of the identity e such that for each sequence (z _n )in W there is a subsequence (z _nk )and points y and x _k in M with z _nk =x _k ·y ^–1 for k . Using this theorem we obtain the following extensions of the theorems of Lebesgue and Fréchet and of Ostrowski. Theorem.Let R and T be topological spaces. Suppose that R has a countable base and that X is metrizable. If g: X R and H: R × X T are mappings where g is measurable on a set M of positive finite Haar measure and H is continuous in its first variable, then any solution f: X T of f(x · y) = H(g)(x), y) for x, yX is continuous. Theorem.Let G: X × X be a mapping. If there is a subset M of X of positive finite Haar measure such that for each yX the mapping x G(x, y) is bounded above on M, then any solution f: x of f(x · y) G(x, y) for x, yX is locally bounded above. We also prove category analogues of the above results and obtain similar results for general binary mappings in place of the group operation in the argument off.     

Existence of global solutions with prescribed asymptotic behavior for nonlinear ordinary differential equations

Summary Conditions are given for the nonlinear differential equation (1)L _n y+f(t, y, ..., ...,y ^(n–1)=0to have solutions which exist on a given interval [t₀, )and behave in some sense like specified solutions of the linear equation (2)L _n z=0as t.The global nature of these results is unusual as compared to most theorems of this kind, which guarantee the existence of solutions of (1)only for sufficiently large t. The main theorem requires no assumptions regarding oscillation or nonoscillation of solutions of (2).A second theorem is specifically applicable to the situation where (2)is disconjugate on [t ₀, ),and a corollary of the latter applies to the case where Lz=z ⁿ.     

The minimum area of a surface with prescribed boundary contour in a pseudoeuclidean space

LetE ^{n, k} be a pseudoeuclidean space with linear elementdx ₁ ² ++dx _n–k ² –dx _n–k ^+1/2 ––dx _n ² . The area of a smooth two-dimensional surface inE ^{n, k} is defined by , whereE, F, andG are the coefficients of the first fundamental form of the surface andD is the region of variation of the parametersu andv. The following theorem is proved: LetL be a piecewise smooth closed curve inE ^{n, k} (1kn–1). Then there exists a two-dimensional piecewise smooth surface of arbitrarily small area bounded by the curveL. 3 figures.Translated from Ukrainskií Geometricheskií Sbornik, No. 30, 1987, pp. 18–22.     

Some questions in the theory of inverse problems for differential operators

For the two operatorsLy=y ⁿ +σ _k=0 ⁿ⁻² p _k (x)y( ^k ) and Ry=yⁿ+σ _k=0 ⁿ⁻² p_k(x)y(^k) with a common set of boundary conditions we establish a connection between p_k(x) and P_k(x) in the case where the weight numbers coincide and a finite number of the eigenvalues do not coincide, in terms of the eigenfunctions of these operators corresponding to the noncoincident eigenvalues and the derivatives of these functions. This enables us to recover the operator L from the operator R by solving a system of nonlinear ordinary differential equations. For Sturm-Liouville operators an analogous relation is proved for the case where infinitely many eigenvalues do not coincide. Translated from Matematicheskie Zametki, Vol. 21, No. 2, pp. 151–160, February, 1977. I wish to express my thanks to my scientific adviser V. A. Sadovnich.     

What can we do with only a pair of rusty compasses?

Compasses are called rusty, if one can draw only the unit circle with them. We prove that from two points A and B, with only rusty compasses, one can draw the points of k-section of AB, and all the vertices of a regular n-gon which has a side AB, where k is any integer greater than 1, and n=3, 4, 5, 6, 8, 12, 17, 257, ..., etc. Generally, let A be (0, 0) and let B be (, 0), then one can draw all the points (x, y) where x and y are any elements in some regular 2 ^m -extension of the rational field, for m=1, 2, 3, ...     

Commutativity of One Sided S- Unital Rings

In the present paper we extend some commutativity theorems for rings as follows: Let m > 1, n and k be fixed non- negative integers, and let R be a left or right s- unital ring satisfying the polynomial identity [xⁿ]y ? y^mx^k,x] = 0. Then R is commutative. Under appropriate conditions the commutativity of R has also been proved for the case m = 1.