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 .     

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.     

Total flux estimates for a finite element approximation of the Dirichlet problem using the boundary penalty method

Summary This paper considers a fully practical piecewise linear finite element approximation of the Dirichlet problem for a second order self-adjoint elliptic equation,Au=f, in a smooth region< ⁿ (n=2 or 3) by the boundary penalty method. Using an unfitted mesh; that is ^h , an approximation of with dist (, ^h )Ch ² is not in general a union of elements; and assuminguH ⁴ () we show that one can recover the total flux across a segment of the boundary of with an error ofO(h ²⁾. We use these results to study a fully practical piecewise linear finite element approximation of an elliptic equation by the boundary penalty method when the prescribed data on part of the boundary is the total flux.Supported by a SERC research studentship     

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.     

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.     

Convexity theories III. Classification of certain real convexity theories

In this paper we classify all real convexity theories that contain the standard convexity theory _c. For this purpose we consider three subcases: finitary; infinitary and (_sc\_c)Ø; infinitary and _sc=_c. In each of these subcases one encounters a phenomenon resembling bifurcation.This research was supported by the Deutsche Forschungsgemeinschaft.     

New lower semicontinuity results for polyconvex integrals

Summary We study integral functionals of the formF(u, )= f(u)dx, defined foru C¹(;R ^k), R ⁿ . The functionf is assumed to be polyconvex and to satisfy the inequalityf(A) c₀¦(A)¦ for a suitable constant c₀ > 0, where (A) is then-vector whose components are the determinants of all minors of thek×n matrixA. We prove thatF is lower semicontinuous onC ¹(;R ^k) with respect to the strong topology ofL ¹(;R ^k). Then we consider the relaxed functional , defined as the greatest lower semicontinuous functional onL ¹(;R ^k ) which is less than or equal toF on C¹(;R ^k). For everyu BV(;R ^k) we prove that (u,) f(u)dx+c₀¦D^su¦(), whereDu=u dx+D^su is the Lebesgue decomposition of the Radon measureDu. Moreover, under suitable growth conditions onf, we show that (u,)= f(u)dx for everyu W^1,p(;R ^k), withp min{n,k}. We prove also that the functional (u, ) can not be represented by an inte- gral for an arbitrary functionu BV_loc(R ⁿ;R ^k). In fact, two examples show that, in general, the set function (u, ) is not subadditive whenu BV_loc(R ⁿ;R ^k), even ifu W _loc ^1,p (R ⁿ;R ^k) for everyp < min{n,k}. Finally, we examine in detail the properties of the functionsu BV(;R ^k) such that (u, )= f(u)dx, particularly in the model casef(A)=¦(A)¦.     

On monotone extensions of boundary data

Summary A functionf C (), is called monotone on if for anyx, y the relation x – y ₊ ^s impliesf(x)f(y). Given a domain with a continuous boundary and given any monotone functionf on we are concerned with the existence and regularity ofmonotone extensions i.e., of functionsF which are monotone on all of and agree withf on . In particular, we show that there is no linear mapping that is capable of producing a monotone extension to arbitrarily given monotone boundary data. Three nonlinear methods for constructing monotone extensions are then presented. Two of these constructions, however, have the common drawback that regardless of how smooth the boundary data may be, the resulting extensions will, in general, only be Lipschitz continuous. This leads us to consider a third and more involved monotonicity preserving extension scheme to prove that, when is the unit square [0, 1]² in ², strictly monotone analytic boundary data admit a monotone analytic extension.Research supported by NSF Grant 8922154Research supported by DARPA: AFOSR #90-0323     

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 .     

Relaxation of a Quadratic Functional Defined by a Nonnegative Unbounded Matrix

We study the lower semicontinuous envelope in L^p(), F, of a functional F of the form F(u)=A uudx where A=A(x) is not strictly elliptic and not bounded. We prove that F; may also be written as F;(u)= Buudx with B=AP A for a matrix P which is the matrix of an orthogonal projection. In the one-dimensional case, we characterize the domain of F and we explicit the matrix P.     

Uniqueness of Subelliptic Harmonic Maps

Let R^m be an open set, Nⁿ a Riemannian manifold, X a collection of vector fields on , and f a smooth map from into Nⁿ. We call f a subelliptic harmonic map if it is a critical point of the energy functional with respect to X. In this paper, we calculate the first and the second variations of the energy functional, and use them to prove the partial uniqueness of a subelliptic harmonic map under the condition that Nⁿ has the non-positive curvature. Then, we utilize the maximum principle for subelliptic PDEs to verify the global uniqueness of a subelliptic harmonic map under some other conditions.     

Problemi e convergenze variazionali su domini non limitati

Summary We introduce a class of second order elliptic operators from H ₀ ¹ () to his dual space H^–1(), where is an open set in Rⁿ that we allow to be unbounded. We prove that such operators are continuously invertible and that the constant majoryzing the norm of their inverses depends only on the parameters of the class. We prove moreover that if T H^–1() is given then the set of the L^–1T, where L belongs to the mentioned class is relatively compact in L²(). Next we study the relationships between several kinds of convergence (one of them is the G-convergence) and we study in what cases the spectrum function is semicontinuous or continuous on certain subsets of our class of operators.     

Approximation of a nondifferentiable nonlinear problem related to MHD equilibria

Summary We present a simple method, based on a variant of the implicit function theorem, which leads to the existence of (a part of) a nontrivial solution branch of the nonlinear eigenvalue problem –u=u ⁺ in ,u=–1 on , where is a two-dimensional domain with boundary . The advantage of this method is that we can apply it for analysing the approximation of the above problem by a finite element method; the error analysis of the discrete problem appears immediately. We give also an iteration scheme which allows to solve the approximate problem.     

On the domain dependence of solutions to the two-phase Stefan problem

We prove that solutions to the two-phase Stefan problem defined on a sequence of spatial domains _n ^N converge to a solution of the same problem on a domain where is the limit of _n in the sense of Mosco. The corresponding free boundaries converge in the sense of Lebesgue measure on ^N.     

Galerkin methods for parabolic equations with nonlinear boundary conditions

A variety of Galerkin methods are studied for the parabolic equationu _t =(a(x) u),x ⁿ ,t (O,T], subject to the nonlinear boundary conditionu _v =g(x,t,u),x,t (O,T] and the usual initial condition. Optimal order error estimates are derived both inL ² () andH ¹ () norms for all methods treated, including several that produce linear computational procedures.The authors were partially supported by The National Science Foundation during the preparation of this paper.     

On Compensated Compactness for Nonlinear Elliptic Problems in Perforated Domains

We consider a sequence of Dirichlet problems for a nonlinear divergent operator A: W _m ¹( _s ) [W _m ¹( _s )]^* in a sequence of perforated domains _s . Under a certain condition imposed on the local capacity of the set \ _s , we prove the following principle of compensated compactness: , where r _s(x) and z _s(x) are sequences weakly convergent in W _m ¹() and such that r _s(x) is an analog of a corrector for a homogenization problem and z _s(x) is an arbitrary sequence from whose weak limit is equal to zero.     

Positive Solutions for a Singular Nonlinear Problem on a Bounded Domain in R 2

For a bounded regular Jordan domain in R ², we introduce and study a new class of functions K() related on its Green function G. We exploit the properties of this class to prove the existence and the uniqueness of a positive solution for the singular nonlinear elliptic equation u+(x,u)=0, in D(), with u=0 on and uC(), where is a nonnegative Borel measurable function in ×(0,) that belongs to a convex cone which contains, in particular, all functions (x,t)=q(x)t ^–,>0 with nonnegative functions qK(). Some estimates on the solution are also given.     

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     

Polyhedral polarity defined by a general bilinear inequality

LetX andY be finite dimensional vector spaces over the real numbers. Let be a binary relation betweenX andY given by a bilinear inequality. The-polar of a subsetP ofX is the set of all elements ofY which are related by to all elements ofP. The-polar of a subset ofY is defined similarly. The-polar of the-polar ofP is called the-closure ofP andP is called-closed ifP equals its-closure. We describe the-polar of any finitely generated setP as the solution set of a finite system of linear inequalities and describe the-closure ofP as a finitely generated set. The-closed polyhedra are characterized in terms of defining systems of linear inequalities and also in terms of the relationship of the polyhedronP with its recessional cone and with certain subsets ofX andY determined by the relation. Six classes of bilinear inequalities are distinguished in the characterization of-closed polyhedra.     

On rationalized H- and co-H-spaces with an appendix on decomposable H- and co-H-spaces

Let R be a subring of the rationals with 1/2, 1/3R; let S _R ⁿ denote the R-local n-sphere and define _R ⁿ :=S _R ⁿ for n odd, _R ⁿ :=S _R ⁿ for n>0 even. An H-space (resp. a 1-conn. co-H-space) is decomposable over R, if it is homotopy equivalent to a weak product of spaces _R ⁿ (resp. to a wedge of R-local spheres). We prove that, if E is grouplike decomposable of finite type over R, the functor [-,E] is determined on finite dim. complexes by the Hopf algebra M^*(E;R); here M^* denotes the unstable cohomotopy functor of H.J. Baues. If C is cogrouplike decomposable over R, the functor [C,-] is determined on 1-conn. R-local spaces by _*(C) as a cogroup in the category of M-Lie algebras. For R = the functor [-,E] is also determined by the Lie algebra _*(E) and [C,-] by the Berstein coalgebra associated to the comultiplication of C.