Bounded imaginary powers and <Emphasis Type="Italic">H</Emphasis><Subscript>∞</Subscript>-calculus of the Stokes operator in two-dimensional exterior domains

The present contribution deals with the Stokes operator A_q on L^q_σ(Ω), 1<q<∞, where Ω is an exterior domain in ℝ² of class C². It is proved that A_q admits a bounded H_∞-calculus. This implies the existence of bounded imaginary powers of A_q, which has several important applications. – So far this property was only known for exterior domains in ℝⁿ, n≥3. – In particular, this shows that A_q has maximal regularity on L^q_σ(Ω). For the proof the resolvent (λ+A_q)⁻¹ has to be analyzed for |λ|→∞ and λ→0. For large λ this is done using an approximate resolvent based on the results of [3], which were obtained by applying the calculus of pseudodifferential boundary value problems. For small λ we analyze the representation of the resolvent developed in [11] by a potential theoretical method.     

{0, 1/2}-Chvátal-Gomory cuts

Given the integer polyhedronP _t := conv{x ∈ℤ ⁿ :Ax⩽b}, whereA ∈ℤ ^{m × n} andb ∈ℤ ^m , aChvátal-Gomory (CG)cut is a valid inequality forP ₁ of the type λτAx⩽⌊λτb⌋ for some λ∈ℝ ₊ ^m such that λτA∈ℤ ⁿ . In this paper we study {0, 1/2}-CG cuts, arising for λ∈{0, 1/2} ^m . We show that the associated separation problem, {0, 1/2}-SEP, is equivalent to finding a minimum-weight member of a binary clutter. This implies that {0, 1/2}-SEP is NP-complete in the general case, but polynomially solvable whenA is related to the edge-path incidence matrix of a tree. We show that {0, 1/2}-SEP can be solved in polynomial time for a convenient relaxation of the systemAx<-b. This leads to an efficient separation algorithm for a subclass of {0, 1/2}-CG cuts, which often contains wide families of strong inequalities forP ₁. Applications to the clique partitioning, asymmetric traveling salesman, plant location, acyclic subgraph and linear ordering polytopes are briefly discussed.     

Invariant sets for a class of perturbed differential equations of retarded type

LetX be a Banach space and leta, b, q be real numbers such thata<b,q>0. Denote byD a locally closed subset ofX. A necessary and sufficient condition for the existence of a mild solutionu∈C([a−q, b ₁],X),a<b ₁<b, to the differential equationdu(t)/dt=Au(t)+f(t, u _t), such thatu:[a,b ₁]→D, u _a=ϕ is given. The linear operatorA is the generator of aC ₀ semigroupT(t), t≧0, withT(t) compact fort>0,f: [a, b)×C([−q,0],D _λ)→X is continuous and ϕ∈C([−q,0],D _λ) with ϕ(0)∈D. D _λ is a neighbourhood ofD. Applications to parabolic partial differential equations with retarded argument are given.     

Strongly almost (<Emphasis Type="Italic">ω, λ, q</Emphasis>)-summable sequences

The purpose of this paper is to introduce the spaces of sequences that are strongly almost (ω, λ, q)-summable with respect to a modulus function. We give some relations related to these sequence spaces. It is also shown that if a sequence is strongly (ω, λ, q)-summable with respect to a modulus function, then it is S(λ _q )-statistically convergent.     

Produits infinis de resolvantes

This paper is concerned with the convergence of the sequence χ _n =(I+λ _n A)⁻¹χ _n−1 whereA is maximal monotone and λ _n >0. Various assumptions onA and λ _n are considered.      

Lp-Lq DECAY ESTIMATES FOR HYPERBOLIC EQUATIONS WITH OSCILLATIONS IN COEFFICIENTS

This work is concerned with the proof of Lp -Lq decay estimates for solutions of the Cauchy problem for utt -λ2(t)b2(t)/Δu =0. The coefficient consists of an increasing smooth function λ and an oscillating smooth and bounded function b which are uniformly separated from zero. The authors‘ main interest is devoted to the critical case where one has an interesting interplay between the growing and the oscillating part.     

Existence results for semilinear elliptic variational inequalities with changing sign nonlinearities

In this paper we present some existence results for a class of semilinear elliptic variational inequalities, depending on a real parameter λ, with changing sign nonlinearities. The fundamental tool to prove the existence result is a penalization method combined with the Mountain Pass Theorem and the Linking Theorem, respectively in the case λ < λ ₁ and λ ≥ λ ₁, where λ₁ is the first eigenvalue of the uniformly elliptic operator A involved in the variational inequality.     

Sous-Potentiels D’un Operateur Nonlineaire

LetA be a (nonlinear) operator in an ordered linear spaceX with resolvantJ _λ=(I+λA)^-1 well-defined onX and non-decreasing for any smallλ>0, andν ∈X. We define sub-potential ofν with respect toA, as anyu ∈X satisfyingu≧J _λ(u+λv) for smallλ>0, and show that this coincides with the notion of sub-solution of the equationAu∋ν in some abstract cases where such notion is defined in a natural way. At last, we give some general properties of sub-potentials, in particular an extension of the Kato inequality whenX is a lattice, and, for good set of constraintsU, existence of a largest solution for the control problem:u ∈U andu is a sub-potential ofν with respect toA.      

The total reducibility order of a polynomial in two variables

LetK be an algebraically closed field of characteristic zero. ForA ∈K[x, y] let σ(A) = {λ ∈K:A − λ is reducible}. For λ ∈ σ(A) letA − λ = ∏ _i=1 ^n(λ) A _iλ ^k _μ whereA _iλ are distinct primes. Let ϱ_λ(A) =n(λ) − 1 and let ρ(A) = Σ_λɛσ(A)ϱ_λ(A). The main result is the following: Theorem.If A ∈ K[x, y] is not a composite polynomial, then ρ(A) < degA.     

Principal congruence subgroups of the Hecke groups and related results

In this paper, first, we determine the quotient groups of the Hecke groups H(λ _q ), where q ≥ 7 is prime, by their principal congruence subgroups H _p (λ _q ) oflevel p, where p is also prime. We deal with the case of q = 7 separately, because of its close relation with the Hurwitz groups. Then, using the obtained results, we find the principal congruence subgroups of the extended Hecke groups $ \overline H $ \overline H (λ _q ) for q ≥ 5 prime. Finally, we show that some of the quotient groups of the Hecke group H(λ _q ) and the extended Hecke group $ \overline H $ \overline H (λ _q ), q ≥ 5 prime, by their principal congruence subgroups H _p (λ _q ) are M*-groups.     

An identity for normal-like operators

Forλεσ(A) (A a bounded linear operator on a Hilbert space) withλ a boundary point of the numerical range, the ‘spectral theory’ forλ is ‘just as ifA were normal’. IfA isnormal-like (the smallest disk containingσ(A) has radiusr=inf _z ‖A − z‖), then also sup {‖Ax‖² − |〈x.Ax〉|²:‖x‖=1}=r ². This research was partially supported by Air Force Contract AF-AFOSR-62-414.     

On eigenvalues of symmetric (+1, −1) matrices

To every symmetric matrixA with entries ±1, we associate a graph G(A), and ask (for two different definitions of distance) for the distance ofG(A) to the nearest complete bipartite graph (cbg). Letλ ₁(A),λ ¹ (A) be respectively the algebraically largest and least eigenvalues ofA. The Frobenius distance (see Section 4) to the nearest cbg is bounded above and below by functions ofn −λ ₁ (A), wheren=ord A. The ordinary distance (see Section 1) to the nearest cbg is shown to be bounded above and below by functions ofλ ¹ (A). A curious corollary is: there exists a functionf (independent ofn, and given by (1.1)), such that |λ _i (A) | ≦f(λ ¹(A), whereλ _i (A) is any eigenvalue ofA other thanλ _i (A). This work was supported (in part) by the U.S. Army under contract #DAHC04-C-0023.     

Cyclotomic units in z p -extensions

LetK ₀ be the maximal real subfield of the field generated by thep-th root of 1 over ℚ, andK∞ be the basic Z_p-extension ofK ₀ for a fixed odd primep. LetK _n be itsn-th layer of this tower. For eachn, we denote the Sylowp-subgroup of the ideal class group ofK _n byA _n , and that ofE _n C _n byB _n , whereE _n (resp.C _n ) is the group of units (resp. cyclotomic units ofK _n . In section 2 of this paper, we describe structures of the direct and inverse limits ofB _n . The direct limit, in particular, is shown to be a direct sum of λ copies ofp-divisible groups and a finite group M, where λ is the Iwasawa λ-invariant for K∞ overK ₀. In section 3, we prove that the capitulation ofA _n inA _m is isomorphic to M form ≫n ≫ 0 by using cohomological arguments. Hence if we assume Greenberg’s conjecture (λ = 0), thenA _n is isomorphic toB _n forn ≫ 0. This paper was supported in part by a research fund for junior scholars, Korea Research Foundation The present studies were supported in part by the Basic Science Research Institute program, Ministry of Education, 1989.     

On simple modules of Hecke algebras of type Dn

This is a continuation of our previous work. We classify all the simple ℋ_q(D _n )-modules via an automorphismh defined on the set { λ | D^λ ≠ 0}. Whenf _n(q) ≠ 0, this yields a classification of all the simple ℋ ^q (D _n)- modules for arbitrary n. In general ( i. e., q arbitrary), if λ⁽¹⁾ = λ⁽²⁾,wegivea necessary and sufficient condition ( in terms of some polynomials ) to ensure that the irreducible ℋ_q,1(B _n )- module D^λ remains irreducible on restriction to ℋ_q(D _n ).     

A coefficient inequality for Bloch functions with applications to uniformly locally univalent functions

We give a Fekete-Szeg? type inequality for an analytic function on the unit disk with Bloch seminorm ≤1. As an application of it, we derive a sharp inequality for the third coefficient of a uniformly locally univalent function f(z) = z + a ₂ z ² + a ₃ z ³ + ⋯ on the unit disk with pre-Schwarzian norm ≤λ for a given λ > 0.     

A family of counterexamples in ergodic theory

LetT _α be the translationx↦x+α (mod 1) of [0, 1), α irrational. LetT be the Lebesgue measure-preserving automorphism ofX=[0, 3/2) defined byTx = x + 1 forx∈[0, 1/2),Tx=T _α(x−1) forx∈[1,3/2) andTx = T _α x forx∈[1/2, 1), i.e.T isT _α with a tower of height one built over [0, 1/2). If α is poorly approximable by rationals (there does not exist {p _n /q _n } with |α−p _n /q _n |=o(q _n ⁻²)) and λ is a measure onX ^k all of whose one-dimensional marginals are Lebesgue and which is ⊗ _{i − 1} ^k T ¹ invariant and ergodic (l>0) then λ is a product of off-diagonal measures. This property suffices for many purposes of counterexample construction. A connection is established with the POD (proximal orbit dense) condition in topological dynamics. Research supported in part by NSF contract MCS-8003038.     

The quotient field as a torsion-free covering module

R will denote a commutative integral domain with quotient fieldQ. A torsion-free cover of a moduleM is a torsion-free moduleF and anR-epimorphism σ:F→M such that given any torsion-free moduleG and λ∈Hom _R (G, M) there exists μ∈Hom _R (G,F) such that σμ=λ. It is known that ifM is a maximal ideal ofR, R→R/M is a torsion-free cover if and only ifR is a maximal valuation ring. LetE denote the injective hull ofR/M thenR→R/M extends to a homomorphismQ→E. We give necessary and sufficient conditions forQ→E to be a torsion-free cover.     

The asymptotic number of acyclic digraphs. I

We obtain an asymptotic formula forA _n,q , the number of digraphs withn labeled vertices,q edges and no cycles. The derivation consists of two separate parts. In the first we analyze the generating function forA _n,q so as to obtain a central limit theorem for an associated probability distribution. In the second part we show combinatorially thatA _n,q is a smooth function ofq. By combining these results, we obtain the desired asymptotic formula. Research supported by NSF under grant MCS-8300414. Research supported by NSERC under grant A4067. Research supported by NSF under grant MCS-8302282. Research supported by the Australian Department of Science and Technology under the Queen Elizabeth II Fellowship Scheme, while this author was at the University of Newcastle, Australia.     

Life span of solutions of a weakly coupled parabolic system

We consider the Cauchy problem for the weakly coupled parabolic system ∂ _t w _λ−Δ w _λ = F(w _λ) in R ^N , where λ > 0, w _λ = (u _λ, v _λ), F(w _λ) = (v _λ ^p , u _λ ^q ) for some p, q ≥ 1, pq > 1, and w_l(0) = (lj₁, l^\fracq+1p+1j₂)w_{\lambda}(0) = ({\lambda}{\varphi}_1, {\lambda}^{\frac{q+1}{p+1}}{\varphi}_2), for some nonnegative functions φ₁, φ₂ ?\in C ₀(R ^N ). If (p, q) is sub-critical or either φ₁ or φ₂ has slow decay at ∞, w _λ blows up for all λ > 0. Under these conditions, we study the blowup of w _λ for λ small.     

Representation of Contractive Solutions of a Class of Algebraic Riccati Equations as Characteristic Functions of Maximal Dissipative Operators

Let