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)¦.     

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.     

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     

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.     

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 .     

Lattice Fully Orderable Groups

Let be a linearly ordered set, A() be the group of all order automorphisms of , and L() be a normal subgroup of A() consisting of all automorphisms whose support is bounded above. We argue to show that, for every linearly ordered set such that: (1) A() is an o-2-transitive group, and (2) contains a countable unbounded sequence of elements, the simple group A()/L() has exactly two maximal and two minimal non-trivial (mutually inverse) partial orders, and that every partial order of A()/L() extends to a lattice one (Thm. 2.1). It is proved that every lattice-orderable group is isomorphically embeddable in a simple lattice fully orderable group (Thm. 2.2). We also state that some quotient groups of Dlab groups of the real line and unit interval are lattice fully orderable (Thms. 3.1 and 3.2).     

Some Geometric Inequalities for a Tangent Point Simplex

The tangent point simplex of a simplex is the pedal simplex of the incenter of . In this paper we obtain some geometric inequalities between and .     

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     

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 .     

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.     

On Some Isomorphism on the Category of b-Spaces

Given a nuclear b-space N, we show that if is a finite or -finite measure space and 1p, then the functors L _loc ^p (,N.) and NL ^p (,.) are isomorphic on the category of b-spaces of L. Waelbroeck.     

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.     

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 .     

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.     

Spatial dynamics of time periodic solutions for the Ginzburg-Landau equation

We consider the dynamics of the Ginzburg-Landau equation in a small neighborhood of a known pulse solution by studying a Poincaré map,P: _{T T} , where _T is a section which is transverse to the pulse. Due to the fact that the Ginzburg-Landau equation possesses both a rotational symmetry and a spatial symmetry, we are able to conduct a detailed analytical study of this map in neighborhoods arbitrarily close to the pulse solution. Thus, we are able to complement the work of Holmes [8], who conducted an analytical study of the Poincaré map in a punctured neighborhood of the pulse. We find that the Poincaré map contains an invariant set _itT, where is not necessarily a Cantor set of points, such thatP: is homeomorphic to a shift map on (at least) two symbols. Furthermore, we find that for eachm 1 the mapP _itm possesses a fixed point. Since is not necessarily a Cantor set, this is not immediately clear. Finally, we find that when the pulse solution is broken, for eachm1 there exist parameter values such that pulses possessingm maxima appear.On leave at the University of Utah during 1993/94. Supported by the DFG, Habilitationsstipendium Ma 1587/1-1.     

Defining relations of semigroups of all directed transformations of an ordered finite set

The semigroup of all transformations X of a finite (partially) ordered set , such that X for all , is considered. All possible generating sets of a are elucidated. Only one of those sets is irreducible. A system of defining relations is found for that generating set.Translated from Matematicheskie Zametki, Vol. 3, No. 6, pp. 657–662, June, 1968.     

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.     

Triangular extension identities

It is shown that if the - -bimodule M generates a category of - -bimodules, then the ideal of identities of the triangular extension of the direct sum of algebras and by means of the bimodule M is equal to the product of ideals of identities of the algebras and .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 132, pp. 5–11, 1983.     

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 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.