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.     

Operatori lineariT-invarianti rispetto ad un gruppo di congruenze

Summary Let be an open subset of ⁿ, W_m() the linear space of m-vector valued functions defined on , G{} a group of orthogonal matrices mapping onto itself and T{T()} a linear representation of order m of G. A suitable groupC(G,T) of linear operators of W_m(), which leads to a general definition of T-invariant linear operator with respect to G, is here introduced. Characterization theorems concerning the linear differential and integral T-invariant operators are also given. When G is a finite group, projection operators are explicitly obtained; they define a «maximal» decomposition of W_m() into a direct sum of subspaces each of them invariant with respect to any T-invariant linear operator of W_m(). Some examples are givenc.

---

---

Lavoro eseguito nell'ambito del progetto nazionale di ricerca «Analisi numerica e matematica computazionale» nell'anno 1985–86.     

Extremal feedback perturbations for families of closed operators

Let T- S, be a family of not necessarily bounded semi-Fredholm operators, where T and S are operators acting between Banach spaces X and Y, and where S is bounded with D(S) D(T). For compact sets , as well as for certain open sets , we investigate existence and minimal rank of bounded feedback perturbations of the form F=BE such that min.ind (T-S+F)=0 for all . Here B is a given operator from a linear space Z to Y and E is some operator from X to Z.We give a simple characterization of that situation, when such regularizing feedback perturbations exist and show that for compact sets the minimal rank never exceeds max { min.ind (T-S) }+1. Moreover, an example shows that the minimal rank, in fact, may increase from max {...} to max {...}+1, if the given B enforces a certain structure of the feedbachk perturbation F.However, the minimal rank is equal to max { min.ind (T-S) }, if is an open set such that min.ind (T-S) already vanishes for all but finitely many points . We illustrate this result by applying it to the stabilization of certain infinite-dimensional dynamical systems in Hilbert space.     

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.     

A variable dimension algorithm with the Dantzig-Wolfe decomposition for structured stationary point problems

Given a set ofR ⁿ and a functionf from intoR ⁿ we consider a problem of finding a pointx ^* in such that(x–x ^*) ^t f(x ^*)0 holds for every pointx in. This problem is called the stationary point problem and the pointx ^* is called a stationary point. We present a variable dimension algorithm for solving the stationary point problem with an affine functionf on a polytope defined by constraints of linear equations and inequalities. We propose a system of equations whose solution set contains a piecewise linear path connecting a trivial starting point in with a stationary point. The path can be followed by solving a series of linear programs which inherit the structure of constraints of. The linear programs are solved efficiently with the Dantzig-Wolfe decomposition method by exploiting fully the structure.Part of this research was carried out when the first author was supported by the Center for Economic Research, Tilburg University, The Netherlands and the third author was supported by the Alexander von Humboldt-Foundation, Federal Republic of Germany.     

Compact Toeplitz operators via the Berezin transform on bounded symmetric domains

Let be an irreducible bounded symmetric domain of genusp, h(x, y) its Jordan triple determinant, andA ² () the standard weighted Bergman space of holomorphic functions on square-integrable with respect to the measureh(z, z) ^–p dz. Extending the recent result of Axler and Zheng for =D, =p=2 (the unweighted Bergman space on the unit disc), we show that ifS is a finite sum of finite products of Toeplitz operators onA ² () and is sufficiently large, thenS is compact if and only if the Berezin transform ofS tends to zero asz approaches . An analogous assertion for the Fock space is also obtained.The author's research was supported by GA AV R grant A1019701 and GA R grant 201/96/0411.     

Runge property and multiplicity of solutions for elliptic equations in ℝN with a monotone nonlinearity

In this paper, we describe a method for extending (in some approximated sense) solutions of a nonlinear P.D.E. on a domain , to solutions in a domain containing . Such an extension property, the Runge property, is well known for a large class of linear problems including elliptic equations. We prove here the Runge property for semilinear problems of the kind -u+g(u)=f, with f L _loc ¹ (^N). (As a consequence, we get infinitely many solutions for these problems). The proof is based on a homotopy method, and requires a refinement of the linear results: We prove that the Runge extension v on of a solution u in for a linear elliptic equation Lu=f can be choosen in order to depend continuously on u and the coefficients of L.     

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.     

Bounce problem with weak hypotheses of regularity

Summary In this paper the elastic bounce problem is formulated in very general hypotheses. More precisely we consider the motion of a material point constrained to move in a domain R ⁿ, bouncing against its boundary, and we suppose that is neither regular nor convex. Assuming that is in the class of p-convex sets introduced in [4] and C^0,1, an existence theorem is stated.     

Partially ordered permutation groups

In this note we discuss permutation groups (G, ) in which the set admits aG-invariant order. By aG-invariant partial order (G-partial order) we mean a partial order < of such that < implies g<g, for all and in andg inG. If the set admits aG-partial order which is a total order, then (G, ) is an O-permutation group (orderable permutation group).The main concern of this paper is the development of a foundation for partially ordered permutation groups analogous to the existing one for partially ordered groups, as found in Fuchs [2].     

Equivalence between the dilation and lifting properties of an ordered group through multiplicative families of isometries. A version of the commutant lifting theorem on some lexicographic groups

Let be a locally compact abelian ordered group. has the dilation property if a special extension of the Naimark dilation theorem holds for and it has the commutant lifting property if a natural extension of the Sz.-Nagy — Foias commutant lifting theorem holds for .We prove that these two conditions are equivalent and we give another necessary and sufficient condition in terms of unitary extensions of multiplicative families of partial isometries.A version of the commutant lifting theorem is given for the groups ⁿ and × ⁿ with the lexicographic order and the natural topologies.Both authors were partially supported by the CDCH of the Universidad Central de Venezuela, and by CONICIT grant G-97000668.     

Graphs of Constant Mean Curvature in Hyperbolic Space

We study the problem of finding constant mean curvature graphsover a domain of a totally geodesic hyperplane andan equidistant hypersurface Q of hyperbolic space. We findthe existence of graphs of constant mean curvature H overmean convex domains Q and with boundary for –H < H |h|, where H > 0 is the mean curvature of the boundary . Here h is the mean curvature respectively of the geodesic hyperplane (h= 0) and of the equidistant hypersurface (0 < |h|< 1). The lower bound on H is optimal.     

A practical finite element approximation of a semi-definite Neumann problem on a curved domain

Summary This paper considers the finite element approximation of the semi-definite Neumann problem: –·(u)=f in a curved domain ⁿ (n=2 or 3), on and , a given constant, for dataf andg satisfying the compatibility condition . Due to perturbation of domain errors ( ^h ) the standard Galerkin approximation to the above problem may not have a solution. A remedy is to perturb the right hand side so that a discrete form of the compatibility condition holds. Using this approach we show that for a finite element space defined overD ^h , a union of elements, with approximation powerh ^k in theL ² norm and with dist (, ^h )Ch ^k , one obtains optimal rates of convergence in theH ¹ andL ² norms whether ^h is fitted ( ^h D ^h ) or unfitted ( ^h D ^h ) provided the numerical integration scheme has sufficient accuracy.Partially supported by the National Science Foundation, Grant #DMS-8501397, the Air Force Office of Scientific Research and the Office of Naval Research     

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

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.     

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.     

Spectrum of multidimensional periodic operators

Let be a lattice in the n-dimensional Euclidean space Rⁿ and let F be the fundamental domain of the lattice . We denote by H the Schrödinger operator generated in L₂(Rⁿ) by the expression –u + q(x)u(1), and by H^t the operator generated in L₂(F) by the expression (1) and by quasiperiodic boundary conditions, where q(x) is a periodic (with respect to the lattice ) function. Asymptotic formulas for the eigenvalues of the operator H_t are obtained and with the aid of these formulas it is proved that there exists a number (q) such that the interval [(q), ] belongs to the spectrum of the operator H [for n3 in the case of sufficiently smooth potentials q(x), while for n=2 for any potential q(x) from L₂(F)], i.e., the Bethe-Sommerfeld conjecture is proved for arbitrary lattices.Translated from Teoriya Funktsii, Funktsionali'nyi Analiz i Ikh Prilozheniya, No. 49, pp. 17–34, 1988.     

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.     

The Laplacian with Robin Boundary Conditions on Arbitrary Domains

Using a capacity approach, we prove in this article that it is always possible to define a realization of the Laplacian on L ²() with generalized Robin boundary conditions where is an arbitrary open subset of R ⁿ and is a Borel measure on the boundary of . This operator generates a sub-Markovian C ₀-semigroup on L ²(). If d=d where is a strictly positive bounded Borel measurable function defined on the boundary and the (n–1)-dimensional Hausdorff measure on , we show that the semigroup generated by the Laplacian with Robin boundary conditions has always Gaussian estimates with modified exponents. We also obtain that the spectrum of the Laplacian with Robin boundary conditions in L ^p () is independent of p[1,). Our approach constitutes an alternative way to Daners who considers the (n–1)-dimensional Hausdorff measure on the boundary. In particular, it allows us to construct a conterexample disproving Daners' closability conjecture.     

A General Algorithm for the MacMahon Omega Operator

In his famous book Combinatory Analysis MacMahon introduced Partition Analysis (Omega Calculus) as a computational method for solving problems in connection with linear diophantine inequalities and equations. The technique has recently been given a new life by G.E. Andrews and his coauthors, who had the idea of marrying it with the tools of to-days Computer Algebra.The theory consists of evaluating a certain type of rational function of the form A()^-1 B(1/)^-1 by the MacMahon operator. So far, the case where the two polynomials A and B are factorized as products of polynomials with two terms has been studied in details. In this paper we study the case of arbitrary polynomials A and B. We obtain an algorithm for evaluating the operator using the coefficients of those polynomials without knowing their roots. Since the program efficiency is a persisting problem in several-variable polynomial Calculus, we did our best to make the algorithm as fast as possible. As an application, we derive new combinatorial identities.AMS Subject Classification: 05A17, 05A19, 05E05, 15A15, 68W30.