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     

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.     

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 .     

Holomorphe Funktionen auf Gebieten über Banach-Räumen zu vorgegebenen Konvergenzradien

Given a function: ₊ on a domain spread over an infinite dimensional complex Banach space E with a Schauder basis such that -log is plurisubharmonic and d (d denotes the boundary distance on ) one can find a holomorphic function f: with _f, where _f is the radius of convergence of f. If, in addition, is locally Lipschitz continuous with constant 1, f can be chosen so that (3M)^–1 _f, where M is the basis constant of E. In the particular case of E= ₁ there are holomorphic functions f on with= _f.     

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.     

An inverse problem in potential theory

Summary We consider the classical problem of finding the density of a material body embedded into a region S, when the potential generated by (possibly coinciding with S) is known outside (or on the surface of) S. In the set of such solutions we look for the density which has the smallestL ²-norm and we prove that belongs toL _H ²⁼ (), the space of square summable functions harmonic in . However is unstable, i.e. itsL ²-norm does not depend continuously upon the L₂-norm of the potential. We show how a continuous dependence may be restored by introducing mild restrictions on the set of admissible solutions.     

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.     

Complete Subobjects of Fuzzy Sets Over MV-Algebras

A subobjects structure of the category -FSet of -fuzzy sets over a complete MV-algebra is investigated, where an -fuzzy set is a pair A = (A, ) such that A is a set and : A × A is a special map. Special subobjects (called complete) of an -fuzzy set A which can be identified with some characteristic morphisms A ^* = (L × L, ) are then investigated. It is proved that some truth-valued morphisms are characteristic morphisms of complete subobjects.     

On polynomial variance functions

Summary Let be a natural exponential family on and (V, ) be its variance function. Here, is the mean domain of andV, defined on , is the variance of . A problem of increasing interest in the literature is the following: Given an open interval and a functionV defined on , is the pair (V, ) a variance function of some natural exponential family? Here, we consider the case whereV is a polynomial. We develop a complex-analytic approach to this problem and provide necessary conditions for (V, ) to be such a variance function. These conditions are also sufficient for the class of third degree polynomials and certain subclasses of polynomials of higher degree.     

Weighted Composition Operators on Bergman and Dirichlet Spaces

Let H() denote a functional Hilbert space of analytic functions on a domain . Let w : C and : be such that w f is in H() for every f in H(). The operator wC given by f w f is called a weighted composition operator on H(). In this paper we characterize such operators and those for which (wC )* is a composition operator. Compact weighted composition operators on some functional Hilbert spaces are also characterized. We give sufficient conditions for the compactness of such operators on weighted Dirichlet spaces.     

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.     

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     

Spectral pairs in cartesian coordinates

Let ^d have finite positive Lebesgue measure, and let () be the corresponding Hilbert space of -functions on . We shall consider the exponential functionse on given bye (x)=e ^i2·x . If these functions form an orthogonal basis for (), when ranges over some subset in ^d , then we say that (, ) is a spectral pair, and that is a spectrum. We conjecture that (, ) is a spectral pair if and only if the translates of some set by the vectors of tile ^d. In the special case of =I^d, the d-dimensional unit cube, we prove this conjecture, with =I^d, for d3, describing all the tilings by I^d, and for all d when is a discrete periodic set. In an appendix we generalize the notion of spectral pair to measures on a locally compact abelian group and its dual.Acknowledgements and Notes, Work supported by the National Science Foundation.Dedicated to the memory of Irving E. Segal     

Rappresentazione con integrali multipli di funzionali dipendenti da funzioni a valori in uno spazio di Banach

Summary We consider a functional J: W _10c ^1,p (, X) ×B() [0, ], where X is a Banach space andB() the class of the Borel subsets of the open R_n, and we assume that J has a suitable semicontinuity property respect its first variable, and depends like a measure from the elements ofB(). We show that under certain conditions such a functional can be represented like a multiple integral of a Caratheodory integrand. The first paragraph is devoted to improve some classical results about Sobolev spaces W^1,p(, R) in the case of W^1,p(, X).     

Geodesic Graphs with Constant Mean Curvature in Spheres

We study the existence and unicity of graphs with constant mean curvature in the Euclidean sphere of radius a. Given a compact domain , with some conditions, contained in a totally geodesic sphere S of and a real differentiable function on , we define the graph of in considering the height (x) on the minimizing geodesic joining the point x of to a fixed pole of . For a real number H such that |H| is bounded for a constant depending on the mean curvature of the boundary of and on a fixed number in (0,1), we prove that there exists a unique graph with constant mean curvature H and with boundary , whenever the diameter of is smaller than a constant depending on . If we have conditions on , that is, let be a graph over of a function, if |H| is bounded for a constant depending only on the mean curvature of and if the diameter of is smaller than a constant depending on H and , then we prove that there exists a unique graphs with mean curvature H and boundary . The existence of such a graphs is equivalent to assure the existence of the solution of a Dirichlet problem envolving a nonlinear elliptic operator.     

Isoperimetric inequalities in a boundary value problem on a Riemannian manifold

In this paper the problem u+1=0 in ,u=0 on is considered. Here is a finite domain on a Riemannian manifold and the associated Laplace-Beltrami operator. By means of maximum principles isoperimetric bounds for the maximum ofu and the maximum of the absolute value of the gradient ofu, as well as some related bounds are derived.

---

Zusammenfassung Diese Arbeit behandelt das Problem u+1=0 in ,u=0 auf , wobei ein Gebiet auf einer zweidimensionalen Riemann'schen Mannigfaltigkeit ist, und der zugehörige Laplace-Beltrami Operator. Es werden isoperimetrische Schranken für das Maximum vonu und |u| aus gewissen Maximumsprinzipien hergeleitet, sowie einige verwandte Resultate.

     

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 .     

On the behaviour ast→∞ of solutions of the second mixed problem for a second-order parabolic equation

In this paper is distinguished a geometric characteristic of the unbounded domain , that determines the rate of stabilization fort of the solution in (t>0)× of the second boundary value problem for a second-order parabolic equation, in which the initial function decreases sufficiently rapidly as |x|.     

Proper holomorphic mappings between some nonsmooth domains

Sunto In questo lavoro si studia il problema dell'existenza o meno di mappe olomorfe proprie, F: (p,q) (pq) dove (,) Cⁿ sono domini limitati, pseudoconvessi, non lisci, di Reinhardt con centro di simmetria sulla frontiera (per la definizione v. (2), introduzione). In caso affermativo si fornisee esplicitamente l'espressione di tali mappe (v, teoremi I e II nell'introduzione).

---

---

The author, during the redaction of this paper, was supported by MPI (40% and 60%) funds.     

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