Geometry of distributions of flags on Grassmann manifolds of a projective space. I

We consider intrinsic normalizations of distributions of flags of type (m, m+1) on the Grassmann manifold ofm-planes of a (2m+2)-dimensional projective space. Translated from Lietuvos Matematikos Rinkinys, Vol. 40, No. 2, pp. 214–227, April–June, 2000. Translated by V. Mackevičius     

Reconstruction of 3-submanifolds of large codimension in euclidean spaces from their gauss image

We present necessary and sufficient conditions for a regular three-dimensional manifold in the Grassmannian manifoldG(m, m+3) to be the Gauss image of a regular 3-submanifold in (m+3)-dimensional Euclidean space form>4. Translated fromMatemalicheskie Zametki, Vol. 62, No. 5, pp. 694–699, November, 1997. Translated by S. K. Lando     

A note on trinomial identities in associative algebras

In the paper, trinomial identities of associative algebras over an infinite field are considered (in general, the algebras may have no unit), i.e., identities of the formα m ₁+β m ₂+γ m ₃=0, where α, β, and γ are scalars andm ₁,m ₂, andm ₃ are different monomials. It is shown that any nontrivial identity if this kind implies a semigroup identity. The algebras with trinomial identities are characterized in the language of varieties. Translated fromMatematicheskie Zametki, Vol. 65, No. 2, pp. 254–260, February, 1999.     

<Emphasis Type="Italic">k</Emphasis>-Free-like groups

The following results are proved. In Theorem 1, it is stated that there exist both finitely presented and not finitely presented 2-generated nonfree groups which are k-free-like for any k ⩾ 2. In Theorem 2, it is claimed that every nonvirtually cyclic (resp., noncyclic and torsion-free) hyperbolic m-generated group is k-free-like for every k ⩾ m + 1 (resp., k ⩾ m). Finally, Theorem 3 asserts that there exists a 2-generated periodic group G which is k-free-like for every k ⩾ 3. Supported by NSF (grant Nos. DMS 0455881 and DMS-0700811). (A. Yu. Olshanskii, M. V. Sapir) Supported by RFBR project No. 08-01-00573. (A. Yu. Olshanskii) Supported by BSF grant (USA–Israel). (M. V. Sapir) Translated from Algebra i Logika, Vol. 48, No. 2, pp. 245–257, March–April, 2009.     

A sturm-liouville problem with physical and spectral parameters in boundary conditions

We study the spectral probleml(u)=−u″+q(x)u(x)=λu(x),u′(0)=0, u′(π)=mλu(π), where λ andm are a spectral and a physical parameter. Form<0, we associate with the problem a self-adjoint operator in Pontryagin space II₁. Using this fact and developing analytic methods of the theory of Sturm-Liouville operators, we study the dynamics of eigenvalues and eigenfunctions of the problems asm→−0. Translated fromMatematicheskie Zametki, Vol. 66, No. 2, pp. 163–172, August, 1999.     

The number of components of complements to level surfaces of partially harmonic polynomials

In this paperk-harmonic polynomials in ℝ ⁿ , i.e. polynomials satisfying the Laplace equation with respect tok variables: ∂²/∂x ₁ ² +...+∂²/∂x _k ² F=0 are considered; here 1≤k≤n andn≥2. For a polynomialF (of degreem) of this type, it is proved that the number of components of the complements of its level sets does not exceed 2m ⁿ⁻¹+O(m ⁿ⁻²). Under the assumptions that the singular set of the level surface is compact or that the leading homogeneous part of thek-harmonic polynomialF is nondegenerate, sharper estimates are also established. Translated fromMatematicheskie Zametki, Vol. 62, No. 6, pp. 831–835, December, 1997 Translated by S. S. Anisov     

The sum of coefficients of bounded univalent functions

We solve the maximal value problem for the functional in the class of functionsf(z)=z+a ₂z²+… that are holomorphic and univalent in the unit disk and satisfy the inequality |f(z)|<M. We prove that the Pick functions are extremal for this problem for sufficiently largeM whenever the set of indicesk ₁,…,k_m contains an even number. Translated fromMatematicheskie Zametki, Vol. 61, No. 5, pp. 728–733, May, 1997. Translated by S. S. Anisov     

Estimates of the number of singular points of a complex hypersurface and related questions

It is well known that the number of isolated singular points of a hypersurface of degree d in ℂP^m does not exceed the Arnol’d number A_m(d), which is defined in combinatorial terms. In the paper it is proved that if b _m−1 ^± (d) are the inertia indices of the intersection form of a nonsingular hypersurface of degree d in ℂP^m, then the inequality A_m(d)<min{b _m−1 ⁺ (d), b _m−1 ⁻ (d)} holds if and only if (m−5)(d−2)≥18 and (m,d)≠(7,12). The table of the Arnol’d numbers for 3≤m≤14, 3≤d≤17 and for 3≤m≤14, d=18, 19 is given. Bibliography: 6 titles. Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 231, 1995, pp. 180–190. Translated by O. A. Ivanov and N. Yu. Netsvetev.     

On the robustness of balanced fractional 2m factorial designs of resolution 2l+1 in the presence of outliers

Summary By use of the algebraic structure, we obtain a simplified expression for the outlier-insensitivity factor for balanced fractional 2^m factorial (2^m-BFF) designs of resolution 2l+1 derived from simple arrays (S-arrays), whose measure has been introduced by Ghosh and Kipnegeno (1985,J. Statist. Plann. Inference,11, 119–129). It is defined by use of the measure suggested by Box and Draper (1975,Biometrika, 62 (2), 347–352). As examples, we study the sensitivity ofA-optimal 2^m-BFF designs of resolution VII (i.e.,l=3) given by Shirakura (1976,Ann. Statist.,4, 515–531; 1977,Hiroshima Math. J.,7, 217–285). We observe that these designs are robust in the sense that they have low sensitivities. Research supported in part by Grant 59530012 (C) and 60530014 (C), Japan.     

Summation rational operators of the Jackson type

Summation rational positive operatorsD _4n−n(x; f) of the Jackson type are constructed on the real axis. The corresponding approximations of continuous functionsf onℝwith coinciding finite limits lim_x→−∞ f(x) and lim_x→+∞ f(x) are estimated. Translated fromMatematischeskie Zametki, Vol. 61, No. 2, pp. 270–277, February, 1997. Translated by N. K. Kulman     

Optimal partially balanced fractional 2 m 1+m 2 factorial designs of resolution IV

Summary This paper investigates some partially balanced fractional 2 ^m ₁+m ₂ factorial designs of resolution IV derived from partially balanced arrays, which permit estimation of the general mean, all main effects, all two-factor interactions within each set of them _k factors (k=1, 2) and some linear combinations of the two-factor interactions between the sets of them _k ones. In addition, optimal designs with respect to the generalized trace criterion defined by Shirakura (1976,Ann. Statist.,4, 723–735) are presented for each pair (m ₁,m ₂) with 2≦m ₁≦m ₂ andm ₁+m ₂≦6, and for values ofN (the number of observations) in a reasonable range. Partially supported in part by Grants 56530009 (C) and 57530010 (C).     

Modified Lagrange–Galerkin methods of first and second order in time for convection–diffusion problems

We introduce modified Lagrange–Galerkin (MLG) methods of order one and two with respect to time to integrate convection–diffusion equations. As numerical tests show, the new methods are more efficient, but maintaining the same order of convergence, than the conventional Lagrange–Galerkin (LG) methods when they are used with either P ₁ or P ₂ finite elements. The error analysis reveals that: (1) when the problem is diffusion dominated the convergence of the modified LG methods is of the form O(h ^m+1 + h ² + Δt ^q ), q = 1 or 2 and m being the degree of the polynomials of the finite elements; (2) when the problem is convection dominated and the time step Δt is large enough the convergence is of the form O(\frach^m+1Dt+h²+Dt^q){O(\frac{h^{m+1}}{\Delta t}+h^{2}+\Delta t^{q})} ; (3) as in case (2) but with Δt small, then the order of convergence is now O(h ^m  + h ² + Δt ^q ); (4) when the problem is convection dominated the convergence is uniform with respect to the diffusion parameter ν (x, t), so that when ν → 0 and the forcing term is also equal to zero the error tends to that of the pure convection problem. Our error analysis shows that the conventional LG methods exhibit the same error behavior as the MLG methods but without the term h ². Numerical experiments support these theoretical results.     

Computation of Legendre functions

The computation of the Legendre functions P_v(x) for −1 < x ≤ 1, v ∈ ℂ and of the adjoint Legendre functions P _v ^−m (x) for −1 < x ≤ 1, v ∈ ℂ, and m ∈ ℤ₊ is the subject of the paper. Bibliography: 5 titles. __________ Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 342, 2007, pp. 14–30.     

Lorentzian similarity manifolds

An (m+2)-dimensional Lorentzian similarity manifold M is an affine flat manifold locally modeled on (G,ℝ ^m+2), where G = ℝ ^m+2 ⋊ (O(m+1, 1)×ℝ⁺). M is also a conformally flat Lorentzian manifold because G is isomorphic to the stabilizer of the Lorentzian group PO(m+2, 2) of the Lorentz model S ^m+1,1. We discuss the properties of compact Lorentzian similarity manifolds using developing maps and holonomy representations.     

Degrees of irreducible characters of the suzuki 2-groups

The degrees of the irreducible characters of the Suzuki 2-groupsA(m,ϕ) are described. Assume that the order of an automorphism ϕ of the fieldGF (2 ^m ) isk>1,G=A(m,ϕ), and cd (G) is the set of degrees of the irreducible characters ofG. Ifk is odd, then cd(G)={1, 2( ^m−m/k)/2 }, and ifk=2, then cd(G)={1, 2 ^m/2 }. Ifk is even andk≠2 then cd(G)={1,2 ^m/2 , 2 ^m/2−m/k }, and the groupG has (2 ^m −1)2 ^m/k /(2 ^m/k +1) characters of degree2 ^m/2 and (2^m−1)2^2m/k/(2^m/k+1) characters of degree 2^m/2−m/k. Translated fromMatematicheskie Zametki, Vol. 66, No. 2, pp. 258–263, August, 1999.     

Symmetric designs with bruck subdesigns

IfP is a finite projective plane of ordern with a proper subplaneQ of orderm which is not a Baer subplane, then a theorem of Bruck [Trans. AMS 78(1955), 464–481] asserts thatn≧m ²+m. If the equalityn=m ²+m were to occur thenP would be of composite order andQ should be called a Bruck subplane. It can be shown that if a projective planeP contains a Bruck subplaneQ, then in factP contains a designQ′ which has the parameters of the lines in a three dimensional projective geometry of orderm. A well known scheme of Bruck suggests using such aQ′ to constructP. Bruck’s theorem readily extends to symmetric designs [Kantor, Trans. AMS 146 (1969), 1–28], hence the concept of a Bruck subdesign. This paper develops the analoque ofQ′ and shows (by example) that the analogous construction scheme can be used to find symmetric designs.     

Solvability of nonlocal elliptic problems in weight spaces

In this paper we consider elliptic equations of order 2m in a bounded domainQ є R ⁿ with boundaryδQ and nonlocal conditions relating the traces of the solution and its derivatives on (n − 1)-dimensional smooth manifolds Γ _i (∪ _i =∂δQ) to their values on some compact setF ⊂Q, whereF ∩δQ ≠ Φ. The Fredholm solvability of these problems in the weight spacesV _{p, a} ^/l+2m (Q) is proved for arbitrary 1<p <∞. Translated fromMatematicheskie Zametki, Vol. 67, No. 6, pp. 882–898, June, 2000. This research was supported by the Russian Foundation for Basic Research under grant No. 99-01-00028.     

Approximation of discrete functions and Chebyshev polynomials orthogonal on the uniform grid

Let _N+2m ={−m, −m+1, …, −1, 0, 1, …,N−1,N, …,N−1+m}. The present paper is devoted to the approximation of discrete functions of the formf : _N+2m → ℝ by algebraic polynomials on the grid Ω _N ={0, 1, …,N−1}. On the basis of two systems of Chebyshev polynomials orthogonal on the sets Ω _N+m and Ω _N , respectively, we construct a linear operatorY _{n+2m, N} =Y _{n+2m, N} (f), acting in the space of discrete functions as an algebraic polynomial of degree at mostn+2m for which the following estimate holds (x ε Ω _N ):

The initial boundary-value problem with a free surface condition for the penalized equations of aqueous solutions of polymers

In this paper, we study some nonlocal problems for the Kelvin-Voight equations (1) and the penalized Kelvin-Voight equations (2): the first and second initial boundary-value problems and the first and second time periodic boundary problems. We prove that these problems have global smooth solutions of the classW _∞ ¹ (ℝ⁺;W ₂ ^2+k (Ω)),k=1,2,...;Ω⊂ℝ³. Bibliography: 25 titles. Dedicated to N. N. Uraltseva on her jubilee Translated fromZapiski Nauchnykh Seminarov POMI, Vol. 221, 1995, pp. 185–207. Translated by N. A. Karazeeva.     

Approximation by harmonic functions in theC m -Norm and harmonicC m -capacity of compact sets in ℝ n

We study the function Λ ^m (X), 0<m<1, of compact setsX in ℝ ⁿ , n≥2, defined as the distance in the spaceC ^m (X)≡lip ^m(X) from the function |x|² to the subspaceH ^m (X) which is the closure inC ^m (X) of the class of functions harmonic in the neighborhood ofX (each function in its own neighborhood). We prove the equivalence of the conditions Λ ^m (X)=0 andC ^m (X)=H ^m (X). We derive an estimate from above that depends only on the geometrical properties of the setX (on its volume). Translated fromMatematicheskie Zametki, Vol. 62, No. 3, pp. 372–382, September, 1997. Translated by I. P. Zvyagin