An embedding theorem for a limiting exponent

We consider the function space B _p ^l () of functionsf(x), defined on the domain of a certain class and characterized by specific differential-difference properties in L_p(). We prove a theorem on the embedding B _p,q ^l () L_q in the case whenl=n/p –n/q >0 and its generalization for vectorl, p, q.Translated from Matematicheski Zametki, Vol. 6, No. 2, pp. 129–138, August, 1969.     

A characterization ofL n(K) as a permutation group

In 1972 M. O'Nan proved thatL _n (q),h 3; can be characterized as a doubly-transitive groupG on a finite set , whereG _a has an Abelian normal subgroup acting not semi-regularly on -a. In the Main Theorem we show that a similar statement holds if is infinite. Our result implies O'Nan's theorem.This paper is part of the author's Ph.D. thesis written under supervision of Prof. F. G. Timmesfeld.     

Remarks on ergodicity of stationary irreducible transient Markov chains

Summary Consider a stationary process {X _n(), – < n < . If the measure of the process is finite (the measure of the whole sample space finite), it is well known that ergodicity of the process {X _n(), - < n < and of each of the subprocesses {X _n(), 0 n < , {X _n(), – < n 0 are equivalent (see [3]). We shall show that this is generally not true for stationary processes with a sigma-finite measure, specifically for stationary irreducible transient Markov chains. An example of a stationary irreducible transient Markov chain {X _n(), - < n <} with {itX_n(), 0 n < < ergodic but {X _n(), < n 0 nonergodic is given. That this can be the case has already been implicitly indicated in the literature [4]. Another example of a stationary irreducible transient Markov chain with both {X _n(), 0 n < and {itX _n(),-< < n 0} ergodic but {X _n(), - < n < nonergodic is presented. In fact, it is shown that all stationary irreducible transient Markov chains {X _n(), - < n < < are nonergodic.This research was supported in part by the Office of Naval Research.John Simon Guggenheim Memorial Fellow.     

Biased graphs whose matroids are special binary matroids

Abiased graph is a graph together with a class of polygons such that no theta subgraph contains exactly two members of the class. To a biased graph are naturally associated three edge matroids:G(), L(), L ₀ (). We determine all biased graphs for which any of these matroids is isomorphic to the Fano plane, the polygon matroid ofK ₄,K ₅ orK _3,3, any of their duals, Bixby's regular matroidR ₁₀, or the polygon matroid ofK _m form > 5. In each case the bias is derived from edge signs. We conclude by finding the biased graphs for whichL ₀ () is not a graphic [or, regular matroid but every proper contraction is.Research supported by National Science Foundation grant DMS-8407102 and SGPNR grant 85Z0701Visiting Research Fellow, 1984–1985     

Approximation of differentiable functions by polynomial splines in domains with external peaks

For unbounded domains with external power-type peaks, we propose a method for the approximation of functionsf(x) w _p ^r () by polynomial splines in the metricw _p ^r (), 1pq, and present the corresponding estimates.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 46, No. 9, pp. 1224–1233, September, 1994.     

Cofibrations of algebras

Summary The chain complex of a twisted free product A_*t, FK, is chain homotopy equivalent to a differential graded algebra, which is identified to be a confibration of algebras as defined by Quillen. Under certain connectivity conditions we obtain a long exact sequence connecting the homologies of A, K, and A_*t FK. In particular we derive a long exact sequence connecting the homologies of Y, X and (Y U_g CX) (, C, are the loop, the cone and the suspension constructions respectively). A chain complex equivalent to the chain complex of the Milnor free group FX is recognized, from which results a theorem of Bott and Samelson that H(X) is freely generated as a graded algebra by H(X).     

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.     

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

Projections on Lp-spaces of polyanalytic functions

The fundamental result: for an arbitrary bounded, simply connected domain in , the subspace L_n,m ^p() of the space L^p(, ) ( is the plane Lebesgue measure, p 1), consisting of the (m, n)-analytic functions in , is complemented in LP(, ) (a function f is said to be (m, n)-analytic if (^m+n/¯Z^mZⁿ)f=0 in ). Consequently, by virtue of a theorem of J. Lindenstrauss and A. Pelczyski, the space L_n,m ^P() is linearly homeomorphic to lP. In particular, for m=n=1 we obtain that the space of all harmonic L^P-functions in is complemented in L^P(, ). This result has been known earlier only for smooth domains.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 190, pp. 15–33, 1991.     

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.     

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.     

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 Ω-closed sets and Ωs-closed sets in topological spaces

Summary New classes of sets called -closed sets and s-closed sets are introduced and studied. Also, we introduce and study -continuous functions and s-continuous functions and prove pasting lemma for these functions. Moreover, we introduce classes of topological spaces -T_1/2 and -T_s.     

Error estimates for the numerical solution of a time-periodic linear parabolic problem

In this paper we consider the numerical solution of a time-periodic linear parabolic problem. We derive optimal order error estimates inL ₂() for approximate solutions obtained by discretizing in space by a Galerkin finite-element method and in time by single-step finite difference methods, using known estimates for the associated initial value problem. We generalize this approach and obtain error estimates for more general discretization methods in the norm of a Banach spaceB L ₂(), e.g.,B=H ₀ ¹ () orL (). Finally, we consider some computational aspects and give a numerical example.     

Extensions from the Sobolev Spaces H 1 Satisfying Prescribed Dirichlet Boundary Conditions

Extensions from H ¹(_P) into H ¹() (where _P ) are constructed in such a way that extended functions satisfy prescribed boundary conditions on the boundary of . The corresponding extension operator is linear and bounded.     

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.     

Fully discrete Galerkin approximations of parabolic boundary-value problems with nonsmooth boundary data

Summary In this paper we study the convergence properties of a fully discrete Galerkin approximation with a backwark Euler time discretization scheme. An approach based on semigroup theory is used to deal with the nonsmooth Dirichlet boundary data which cannot be handled by standard techniques. This approach gives rise to optimal rates of convergence inL _p[O,T;L ₂()] norms for boundary conditions inL _p[O,T;L ₂()], 1p.     

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 .     

Strong solution for an elastic-plastic plate

Given a regular bounded open set R ²,, >0 andg L ^q () withq>2, we prove, under compatibility and safe load conditions ong, the existence of a minimizing pair for the functional, over closed setsK ² and functionsu C⁰( ) C²(/K); here ¦[Du]¦ denotes the jump ofDu acrossK and ¹ is the 1-dimensional Hausdorff measure.Dedicated to Enrico Magenes for his 70th birthday     

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.