Subsets with Restricted Movement

Let G be a finite permutation group on a set with no fixed points in and let m and k be integers with 0 < m < k. For a finite subset of the movement of is defined as move() = max_gG| ^g \ |. Suppose further that G is not a 2-group and that p is the least odd prime dividing |G| and move() m for all k-element subsets of . Then either || k + m or k (7m – 5) / 2, || (9m – 3)/2. Moreover when || > k + m, then move() m for every subset of .     

On the removable singularities of CR functions given on a generic manifold

Summary In this paper we consider the problem of holomorphic continuation and removal of singularities of the CR functions given on K, where is a generic manifold with nondegenerate Levi form and K is a meromorphically p-convex compactum. We get some conditions on , relative to p-convexity and q-concavity, under which every integrable CR function given on K extends holomorphically in some domain \K, where is a wedge domain with edge . Our Results are local.Authors had a support of Russian Fund of Fundamental Investigations (grant 93-011-258).     

Covering the Hecke Triangle Surfaces

In the mid-1980s an equivalence was established between the simple closed geodesics on the Riemann surfaces obtained as quotients of the upper half plane H by any of the following subgroups of the modular group (1) : , (3), and ³. An axis of a hyperbolic element of (1) projects to a simple closed geodesic on one of these surfaces if and only if it does so on the other two.This equivalence was used to obtain a variety of Diophantine and geometric results. In subsequent related investigations, the role of (1) was assumed by the Hecke triangle group G_q for q 3. (For q = 3, we have (1) = G₃.) These works employed the analog of ³, denoted _q.In the context of the G_q, the present paper gives the analog of , which we denote _q. As in the case q = 3, we have [_q:_q] = 2. A rather full discussion of geometry of _q\ H is given. In particular, we demonstrate that the equivalence of simple closed geodesics on _q\ H and _q\ H does not hold for q 7.As of this writing, we have not been able to obtain an appropriate analog of (3).     

Canonical contact forms on spherical CR manifolds

We construct the CR invariant canonical contact form can(J) on scalar positive spherical CR manifold (M,J), which is the CR analogue of canonical metric on locally conformally flat manifold constructed by Habermann and Jost. We also construct another canonical contact form on the Kleinian manifold ()/, where is a convex cocompact subgroup of Aut_CRS²ⁿ⁺¹=PU(n+1,1) and () is the discontinuity domain of . This contact form can be used to prove that ()/ is scalar positive (respectively, scalar negative, or scalar vanishing) if and only if the critical exponent ()<n (respectively, ()>n, or ()=n). This generalizes Nayatanis result for convex cocompact subgroups of SO(n+1,1). We also discuss the connected sum of spherical CR manifolds.     

Exact boundary controllability onL 2(Ω) ×H −1(Ω) of the wave equation with dirichlet boundary control acting on a portion of the boundary∂Ω, and related problems

Consider the wave equation defined on a smooth bounded domain R ⁿ with boundary = _{0 1}. The control action is exercised in the Dirichlet boundary conditions only on ₁ and is of classL ₂(0,T: L ₂(₁)); instead, homogeneous boundary conditions of Dirichlet (or Neumann) type are imposed on the complementary part ₀. The main result of the paper is a theorem which, under general conditions on the triplet {, ₀, ₁} with ₀ , guarantees exact controllability on the spaceL ₂() ×H ^–1() of maximal regularity forT greater than a computable timeT ₀>0, which depends on the triplet. This theorem generalizes prior results by Lasiecka and the author [L-T.3] (obtained via uniform stabilization) and by Lions [L.5], [L.6] (obtained by a direct approach, different from the one followed here). The key technical issue is a lower bound on theL ₂(₁)-norm of the normal derivative of the solution to the corresponding homogeneous problem, which extends to a larger class of triplets {, ₀, ₁} prior results by Lasiecka and the author [L-T.3] and by Ho [H.1].This research was partially supported by the National Science Foundation under Grant NSF-DMS-8301668 and by the Air Force Office of Scientific Research under Grant AFOSR-84-0365. This paper was presented at the IFIP WG7.2 Conference on Boundary Control and Boundary Variations held at the Départment de Mathématiques, Universite de Nice, 10–13 June 1986; at the International Conference on Control of Distributed Parameter Systems held at Vorau (Austria), 6–12 July 1986; and at the Second Workshop on Control of Systems Governed by Partial Differential Equations held at Val David, Quebec, 5–9 October 1986.     

Bounding the diameter of a distance regular graph by a function ofk d

Let be a distance regular graph with diameterd, and _d () the set of vertices at distanced from. is said to be thin if the induced subgraph on _d () is a union of cliques for every vertex. We show that the diameterd is bounded above by a function depending only onk _d, which is the cardinality of _d (), if is not thin. We also investigate thin distance regular graphs witha _d 0.     

Nonlocal problems in the theory of the motion equations of Kelvin-Voight fluids

For the motion equations of Kelvin-Voight fluids one proves: 1) a global theorem for the existence and uniqueness of a solution (v;{u_e}) of the initial-boundary value problem on the semiaxis t R⁺ from the class W ¹ (R⁺); W ₂ ² () H()) with initial condition v_o(x) W ₂ ² () H() when the right-hand side f(x, t) L(R ⁺; L₂()); 2) a global theorem for the existence and uniqueness of a solution (v; {u_l}) on the entire axisR from the classW ¹ (R; W ₂ ² () H()) when the right-hand side f(x, t) L(R; L₂()); 3) a global theorem for the existence of at least one solution (v; {u_l}), periodic with respect to t with period , from the class W ¹ (R ⁺; W ₂ ² () H()) when the right-hand side f(x, t) L(R ⁺; L₂()) is periodic with respect to t with period , and a local uniqueness theorem for such a solution; 4) a theorem for the existence and uniqueness in the small of a solution (v; {u_l}), almost periodic with respect to t R, from V. V. Stepanov's class S ¹ (R; W ₂ ² ()H()) when the right-hand side f(x, t) S(R; L₂()) is almost periodic with respect to t; 5) the linearization principle (Lyapunov's first method) is justified in the theory of the exponential stability of the solutions of an initial-boundary value problem in the space H() and conditions are given for the exponential stability of a stationary and periodic solution, with respect to t R, of the system (1).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 181, pp. 146–185, 1990.     

Reinforcement problems for elliptic equations and variational inequalities

Summary Consider the Dirichlet problem for an elliptic equation in a domain , with coefficients having discontinuity on a surface . Suppose divides into _{1 2}(₂ the inner core), the thickness of ₁ is of order of magnitude , and the modulus of ellipticity in ₁ is of order magnitude ₁. The asymptotic behavior of the solution is studied as 0, ₁ 0, provided lim (/₁) exists. Other questions of this type are studied both for elliptic equations and for elliptic variational inequalities.The second author is partially supported by National Science Foundation Grant 7406375 A01. The third author is partially supported by National Science Foundation Grant MC575-21416 A01.     

On the spectra of finite-dimensional perturbations of matrix multiplication operators

Let be a closed rectifiable curve and a region in the complex plane. Suppose for each , R() represents multiplication by an nxn-matrix of rational functions and F() is a finite rank operator, both acting on the Hilbert space L ₂ ⁿ (). Sufficient conditions are given for the integer valued function dim ker (R()+F()) to be continuous at all but finitely many points in . This result is applied to singular integral operators.This work was partially supported by the National Science Foundation.     

Coupling of viscous and inviscid Stokes equations via a domain decomposition method for finite elements

Summary A generalized Stokes problem is addressed in the framework of a domain decomposition method, in which the physical computational domain is partitioned into two subdomains ₁ and ₂.Three different situations are covered. In the former, the viscous terms are kept in both subdomains. Then we consider the case in which viscosity is dropped out everywhere in . Finally, a hybrid situation in which viscosity is dropped out only in ₁ is addressed. The latter is motivated by physical applications.In all cases, correct transmission conditions across the interface between ₁ and ₂ are devised, and an iterative procedure involving the successive resolution of two subproblems is proposed.The numerical discretization is based upon appropriate finite elements, and stability and convergence analysis is carried out.We also prove that the iteration-by-subdomain algorithms which are associated with the various domain decomposition approaches converge with a rate independent of the finite element mesh size.This work was partially supported by CIRA S.p.A. under the contract Coupling of Euler and Navier-Stokes equations in hypersonic flowsDeceased     

On the Movement of Transitive Permutation p-Groups

Let G be a transitive permutation group on a set and m a positive integer. If | – | m for every subset of and all g G, then || 2mp/(p – 1) where p is the least odd prime dividing |G|. It was shown by Mann and Praeger [13] that, for p = 3, the 3-groups G which attain this bound have exponent p. In this paper we will show a generalization of this result for any odd primes.AMS Subject Classification (2000), 20BXX     

The conditions of selfadjointness of the operator of singular integration

It is proved that the operator of singular integration along a bounded rectifiable curve is self-adjoint in the weighted spaceL ₂(, ) if and only if is a circle and (t)=const.     

Homogenization of Some Elasticity Problems with Rapidly Oscillating Convex Constraints on Displacements

The problem of homogenization is considered for an elastic body occupying a perforated domain = obtained from a fixed domain and an -contraction of a 1-periodic domain .     

Finitely Valued f-Modules, An Addendum

In an -group M with an appropriate operator set it is shown that the -value set (M) can be embedded in the value set (M). This embedding is an isomorphism if and only if each convex -subgroup is an -subgroup. If (M) has a.c.c. and M is either representable or finitely valued, then the two value sets are identical. More generally, these results hold for two related operator sets ₁ and ₂ and the corresponding -value sets and . If R is a unital -ring, then each unital -module over R is an f-module and has exactly when R is an f-ring in which 1 is a strong order unit.     

Harmonic analysis on tori

We consider measurable subsets {ofR}ⁿ with 0<m()<, and we assume that has a spectral set . (In the special case when is also assumed open, may be obtained as the joint spectrum of a family of commuting self-adjoint operators {H _k: 1kn} in L ² () such that each H _k is an extension of i(/x _k) on C _c (), k=1, ..., n.)It is known that is a fundamental domain for a lattice if is itself a lattice. In this paper, we consider a class of examples where is not assumed to be a lattice. Instead is assumed to have a certain inhomogeneous form, and we prove a necessary and sufficient condition for to be a fundamental domain for some lattice in {ofR}ⁿ. We are thus able to decide the question, fundamental domain or not, by considering only properties of the spectrum . Our criterion is obtained as a corollary to a theorem concerning partitions of sets which have a spectrum of inhomogeneous form.Work supported in part by the NSF.Work supported in part by the NSRC, Denmark.     

Convergence of the highest derivatives in projection methods

Assume that for the approximate solution of an elliptic differential equation in a bounded domain , under a natural boundary condition, one applies the Galerkin method with polynomial coordinate functions. One gives sufficient conditions, imposed on the exact solutionu ^*, which ensure the convergence of the derivatives of order k of the approximate solutions, uniformly or in the mean in or in any interior subdomain. For example, ifu ^*W^k ₂, then the derivatives of order k converge in L₂(), where is an interior subdomain of . Somewhat weaker statements are obtained in the case of the Dirchlet problem.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 70, pp. 11–18, 1977.The author expresses his gratitude to Yu. K. Dem'yanovich for drawing his attention to [10].     

Functions with a finite dirichlet integral in a domain with cusp points on the boundary

Let be a domain in ⁿ, n >2, the boundary of which has a cusp point, pointing inside or outside the domain. The purpose of the paper is to characterize the traces on of the elements of the space H¹() of functions with a finite Dirichlet integral. As a consequence one establishes the existence of a linear continuous extension operator H¹ () H¹(ⁿ) under the presence of an interior cusp point on . Theorems on domains with cusps are proved with the aid of results on cylindrical domains. In the space of functions with a finite Dirichlet integral in the exterior or the interior of the cylinder one introduces the norm, depending on a small parameter and generating a norm of the trace on as an element of the quotient space. The latter is placed in correspondence with an explicitly described norm of functions on the boundary, uniformly equivalent relative to . One constructs an operator of extension of functions from the exterior of the cylinder to Rⁿ, preserving H¹, whose norm is uniformly bounded relative to . For the optimal operator of extension from the inside of the cylinder one finds the asymptotic behavior of the norm as 0. From these results there follow similar theorems on functions with a finite Dirichlet integral inside and outside a thin closed tube (of width ).Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 126, pp. 117–137, 1983.     

On the boundedness of Cauchy singular operator from the spaceL p toL q,p>q>-1

It is proved that for a Cauchy type singular operator, given by equality (1), to be bounded from the Lebesgue spaceL _p () tol _q (), as = _n=1 ^Ȟ _n , _n ={z:|z|=r _n }, it is necessary and sufficient that either condition (4) or (5) be fulfilled.     

Schwarz-Pick Inequalities for Hyperbolic Domains in the Extended Plane

Let and be two hyperbolic simply connected domains in the extended complex plane C¯ = C¯ {}. We derive sharp upper bounds for the modulus of the nth derivative of a holomorphic, resp. meromorphic function f: at a point z ₀ . The bounds depend on the densities (z ₀) and (f(z ₀)) of the Poincaré metrics and on the hyperbolic distances of the points z ₀ and f(z ₀) to the point .     

Amalgams of Weyl algebras and theA (V, δ, Γ) conjecture

Summary We prove a long standing conjecture ([5, Conjecture 5.6]) concerning the algebrasA (V, , ). Namely, two such algebrasA (V, , ),A (W, , ) are isomorphic if and only if there is an isomorphism between the triples (V, , ), (W, , ) from which they are constructed. As a consequence, to each primitive ideal in the enveloping algebra of a solvable Lie algebra there is associated a unique (V, , ).