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 existence of multiple solutions of nonhomogeneous elliptic equations involving critical Sobolev exponents

Letp=2N/(N –2),N 3 be the limiting Sobolev exponent and ^N a bounded smooth domain. We show that for H ^–1(),f satisfies some conditions then–u=c ₁ u ^p–1 +f(x,u) + admits at least two positive solutions.     

Semilattices of left reversible semigroups

Let S be a cancellative semigroup which is a semilattice of left reversible semigroups S, . This article studies the relationship between the group of quotients G of S and the groups of quotients G of S, . It is shown that G is the maximum group homomorphic image of an inverse semigroup which is a semilattice of groups G (up to isomorphism).The technique used here which involves the use of Ore's quotients also applies to the study of the maximum group homomorphic image of a semigroup which is a semilattice of inverse semigroups.     

Homogenization and concentrated capacity for the heat equation with non-linear variational data in reticular almost disconnected structures and applications to visual transduction

Out of a right, circular cylinder of height H and cross-section a disc of radius R+ one removes a stack of nH/ parallel, equi-spaced cylinders C_j,j=1,2,...,n, each of radius R and height . Here , are fixed positive numbers and is a positive parameter to be allowed to go to zero. The union of the C_j almost fills in the sense that any two contiguous cylinders C_j are at a mutual distance of the order of and that the outer shell, i.e., the gap S=-_o has thickness of the order of (_o is obtained from by formally setting =0). The cylinder from which the C_j are removed, is an almost disconnected structure, it is denoted by , and it arises in the mathematical theory of phototransduction.For each >0 we consider the heat equation in the almost disconnected structure , for the unknown function u, with variational boundary data on the faces of the removed cylinders C_j. The limit of this family of problems as 0 is computed by concentrating heat capacity and diffusivity on the outer shell, and by homogenizing the u within the limiting cylinder _o.It is shown that the limiting problem consists of an interior diffusion in _o and a boundary diffusion on the lateral boundary S of _o. The interior diffusion is governed by the 2-dimensional heat equation in _o, for an interior limiting function u. The boundary diffusion is governed by the Laplace–Beltrami heat equation on S, for a boundary limiting function u_S. Moreover the exterior flux of the interior limit u provides the source term for the boundary diffusion on S. Finally the interior limit u, computed on S in the sense of the traces, coincides with the boundary limit u_S. As a consequence of the geometry of , local arguments do not suffice to prove convergence in _o, and also we have to take into account the behavior of the solution in S. A key, novel idea consists in extending equi-bounded and equi-Hölder continuous functions in -dependent domains, into equi-bounded and equi-Hölder continuous functions in the whole ^N, by means of the Kirzbraun–Pucci extension technique.The biological origin of this problem is traced, and its application to signal transduction in the retina rod cells of vertebrates is discussed. Mathematics Subject Classification (2000) 35B27, 35K50, 92C37     

Homogenization of a Singularly Perturbed Parabolic Problem in a Thick Periodic Junction of the Type 3:2:1

We prove a convergence theorem and obtain asymptotic (as 0) estimates for a solution of a parabolic initial boundary-value problem in a junction that consists of a domain ₀ and a large number N ² of -periodically located thin cylinders whose thickness is of order = O(N ^–1).     

Constraint decomposition algorithms in global optimization

Many global optimization problems can be formulated in the form min{c(x, y): x X, y Y, (x, y) Z, y G} where X, Y are polytopes in ^p , ⁿ , respectively, Z is a closed convex set in ^p+n, while G is the complement of an open convex set in ⁿ . The function c: ^p+n is assumed to be linear. Using the fact that the nonconvex constraints depend only upon they-variables, we modify and combine basic global optimization techniques such that some new decomposition methods result which involve global optimization procedures only in ⁿ . Computational experiments show that the resulting algorithms work well for problems with smalln.     

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.     

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.     

Spectral parameter asymptotics of the Weyl solutions of Sturm-Liouville equations

In the paper one investigates the dependence of Weyl's solution ,)=c(,)+n()s(,) of the Sturm-Liouville equation y+q()y=²y on the spectral parameter . Under the condition that the potential q is bounded from below and q()exp(c₀+c[in1 ¦¦), it is proved for {ie217-01} for any positive values and A. If q()>1 and {ie217-02} for all >0, then in the semiplane >0 the Weyl solution (, ) is obtained from the Weyl solution (,x) is obtained from the Weyl solution e^ix with zero potential, with the aid of a generalization of B. Ya Levin's transformation operators.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova Akademii Nauk SSSR, Vol. 170, pp. 184–206, 1989.I express my sincere gratitude to L. A. Pastur and I. V. Ostrovskii for valuable advice and discussions.     

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.     

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.     

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.     

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.     

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.     

Singular perturbations as a selection criterion for periodic minimizing sequences

Summary Minimizers of functionals like subject to periodic (or Dirichlet) boundary conditions are investigated. While for =0 the infimum is not attained it is shown that for sufficiently small > 0, all minimizers are periodic with period ^1/3. Connections with solid-solid phase transformations are indicated.     

Linearization of operator functions on arbitrary open sets

In this paper it is shown that after a suitable extension an operator function A, which is holomorphic on an open set in , is equivalent on to a linear pencil S-V. If is bounded, then V turns out to be right invertible, and in that case a further extension is equivalent on to a linear pencil T-I.     

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.     

Extensions and selections in subspaces ofC(K)

LetK be a compact Hausdorff space and letFK be a peak interpolation set for a function algebraAC(K). Let be a map fromK to the family of all convex subsets of such that the set {(z, x)zK, x(z)} is open inK×C and such thatg(z)(z) (zK) for somegA. We prove that everyfC(F) satisfyingf(s)(s) (sF) (f(s)closure (s) (sF)) admits an extensionfAA} satisfyingf(z)(z) (zK) (f(z))}closure (z) (zK), respectively). We prove a more general theorem of this kind and present various applications which generalize known dominated interpolation theorems for subspaces ofC(K).     

Proof of two conjectures of H. Brezis and L.A. Peletier

In this paper, we consider the problem: –u=N(N–2)u ^p– , u>0 on ; u=0 on , where is a smooth and bounded domain inR ^N, N3, p= , and >0. We prove a conjecture of H. Brezis and L.A. Peletier about the asymptotic behaviour of solutions of this problem which are minimizing for the Sobolev inequality as goes to zero. We give similar results concerning the related problem: –u=N(N–2)u^p+u, u>0 on ; u=0 on , for N is larger than 4.     

Singular perturbations of variational problems arising from a two-phase transition model

Given that, are two Lipschitz continuous functions of to ₊ and thatf(x, u, p) is a continuous function of × × ^N to [0, + [ such that, for everyx, f(x,·, 0) reaches its minimum value 0 at exactly two points(x) and(x), we prove the convergence ofF (u) = (1/) f (x, u, Du) dx when the perturbation parameter goes to zero. A formula is given for the limit functional and a general minimal interface criterium is deduced for a wide class of two-phase transition models. Earlier results of [19], [21], and [22] are extended with new proofs.