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

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.     

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 .     

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.     

An estimate of the derivatives of the solutions of variational inequalities on the boundary of the domain

For the equation Au=f(x) in the domain Rⁿ, where A is a linear second-order elliptic operator, under conditions of Signorini type on the boundary of the domain , one proves the boundedness of the Hölder continuity of the first derivatives of the solution under the assumption that f L_q(), q>n. The results are applied to the investigation of the regularity of the solutions of variational inequalities in the case of quasilinear operators.Translated from Problemy Matematicheskogo Analiza, No. 10, pp. 92–105, 1986.     

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.     

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 .     

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.

     

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     

Central orderings in fields of real meromorphic function germs

Let X_oR ⁿ be an irreducible analytic germ and the order space of its field of meromorphicfunetion germs. A formal half-branch in X_o is a kind of C-map germ c[0,)X_o; an ordering is centered at c if it contains the functions which are positive on c. We obtain a partition ¹,...,^d, d=dim X_o, of the set ^* of central (i.e.: centered at some half-branch) orderings, according to the dimension of half-branches. Then we show that all ^e, e= 1,.,d, as well as the set \^* of noncentral orderings, are dense in . Finally, we solve the 17th Hubert Problem for analytic germs.     

Nonbranching weak and starshaped strong solutions for Hele-Shaw dynamics

We consider multidimensional weak and strong Hele-Shaw dynamics (t) of an advancing/receding viscous fluid injected/removed through a single finite point into/from a bounded domain (0). A class of weak solutions is shown to preserve local uniqueness in both directions. Then we also consider strong solutions (t), and show that if (0) is starshaped with respect to a small ball centered on the point of injection, then the evolution (t) exists for all time.Received: 5 March 2004     

Segmentation under geometrical conditions using geodesic active contours and interpolation using level set methods

Let I: be a given bounded image function, where is an open and bounded domain which belongs to ⁿ. Let us consider n=2 for the purpose of illustration. Also, let S={x_i}_i be a finite set of given points. We would like to find a contour , such that is an object boundary interpolating the points from S. We combine the ideas of the geodesic active contour (cf. Caselles et al. [7,8]) and of interpolation of points (cf. Zhao et al. [40]) in a level set approach developed by Osher and Sethian [33]. We present modelling of the proposed method, both theoretical results (viscosity solution) and numerical results are given. AMS subject classification 49L25, 74G65, 68U10     

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.     

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 Central Endomorphisms of a Group with Operators

Let G be a group with a set of operators such that Z(G) is -admissible. Central -automorphisms occur in the Krull-Remak-Schmidt Theorem. We discuss the existence of a central -endomorphism of G that is not an automorphism.2000 Mathematics Subject Classification: 20E36     

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 Locally Repeated Values of Certain Arithmetic Functions,IV

Let (n) denote the number of prime divisors of n and let (n) denote the number of prime power divisors of n. We obtain upper bounds for the lengths of the longest intervals below x where (n), respectively (n), remains constant. Similarly we consider the corresponding problems where the numbers (n), respectively (n), are required to be all different on an interval. We show that the number of solutions g(n) to the equation m+(m)=n is an unbounded function of n, thus answering a question posed in an earlier paper in this series. A principal tool is a Turán-Kubilius type inequality for additive functions on arithmetic progressions with a large modulus.     

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.     

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.