The instationary Stokes equations in weighted Bessel-potential spaces

We investigate the solvability of the instationary Stokes equations with fully inhomogeneous data in , where is a Bessel-potential space with a Muckenhoupt weight w. Depending on the order of this Bessel-potential space we are dealing with strong solutions or with very weak solutions. Whereas in the context of lowest regularity one obtains solvability with respect to inhomogeneous data by dualization, this is more delicate in the case of higher regularity, where one has to introduce some additional time regularity. As a preparation, we introduce a generalization of the Stokes operator that is appropriate to the context of very weak solutions in weighted Bessel-potential spaces.      

On Stokes operators with variable viscosity in bounded and unbounded domains

We consider a generalization of the Stokes resolvent equation, where the constant viscosity is replaced by a general given positive function. Such a system arises in many situations as linearized system, when the viscosity of an incompressible, viscous fluid depends on some other quantities. We prove that an associated Stokes-like operator generates an analytic semi-group and admits a bounded H _∞ -calculus, which implies the maximal L ^q -regularity of the corresponding parabolic evolution equation. The analysis is done for a large class of unbounded domains with -boundary for some r > d with r ≥ q, q′. In particular, the existence of an L ^q -Helmholtz projection is assumed.     

Dynamics of the differentiation operator on weighted spaces of entire functions

The continuity of the differentiation operator on weighted Banach spaces of entire functions with sup-norm has been characterized recently by Harutyunyan and Lusky. We give necessary and sufficient conditions to ensure that the differentiation operator on these weighted Banach spaces of entire functions is hypercyclic or chaotic, when it is continuous. This research was partially supported by MEC and FEDER Project MTM2007-62643.     

The inflation class operator

We consider the inflation class operator, denoted by F, where for any class K of algebras, F(K) is the class of all inflations of algebras in K. We study the interaction of this operator with the usual algebraic operators H, S andP, and describe the partially-ordered monoid generated by H, S, P andF (with the isomorphism operator I as an identity). Received February 3, 2004; accepted in final form January 3, 2006.     

The Leray separating operator in the theory of the Cauchy problem

The paper is devoted to the presentation of Leray’s approach to the Cauchy problem for strictly hyperbolic operators. In the first section we give the main definitions of strictly hyperbolic operators and separating operators corresponding to them. We present the plan of derivation of the a priori estimates necessary for the proof of solvability of the Cauchy problem. In the second section we generalize the Leray approach to some classes of PDO which are not hyperbolic.     

Asymptotics and analytic modes for the wave equation in similarity coordinates

We consider the radial wave equation in similarity coordinates within the semigroup formalism. It is known that the generator of the semigroup exhibits a continuum of eigenvalues and embedded in this continuum there exists a discrete set of eigenvalues with analytic eigenfunctions. Our results show that, for sufficiently regular data, the long-time behaviour of the solution is governed by the analytic eigenfunctions. The same techniques are applied to the linear stability problem for the fundamental self-similar solution χ _T of the wave equation with a focusing power nonlinearity. Analogous to the free wave equation, we show that the long-time behaviour (in similarity coordinates) of linear perturbations around χ _T is governed by analytic mode solutions. In particular, this yields a rigorous proof for the linear stability of χ _T with the sharp decay rate for the perturbations.      

The level sets of the resolvent norm and convexity properties of Banach spaces

We construct a bounded linear operator on a separable, reflexive and strictly convex Banach space with the resolvent norm that is constant in a neighbourhood of zero.      

Density of Lipschitz mappings in the class of Sobolev mappings between metric spaces

We prove that Lipschitz mappings are dense in the Newtonian–Sobolev classes N ^1,p (X, Y) of mappings from spaces X supporting p-Poincaré inequalities into a finite Lipschitz polyhedron Y if and only if Y is [p]-connected, π ₁(Y) = π ₂(Y) = · · · = π _[p](Y) = 0, where [p] is the largest integer less than or equal to p. This work was supported by the NSF grant DMS-0500966.     

Value distribution of the difference operator

We investigate the value distribution of difference operators for entire functions, and establish a difference analogue of the Brück conjecture for entire functions of order less than 1. This work was supported by the NNSF of China (No. 10671109).     

Independent systems of representatives in weighted graphs

The following conjecture may have never been explicitly stated, but seems to have been floating around: if the vertex set of a graph with maximal degree Δ is partitioned into sets V _i of size 2Δ, then there exists a coloring of the graph by 2Δ colors, where each color class meets each V _i at precisely one vertex. We shall name it the strong 2Δ-colorability conjecture. We prove a fractional version of this conjecture. For this purpose, we prove a weighted generalization of a theorem of Haxell, on independent systems of representatives (ISR’s). En route, we give a survey of some recent developments in the theory of ISR’s. The research of the first author was supported by grant no 780/04 from the Israel Science Foundation, and grants from the M. & M. L. Bank Mathematics Research Fund and the fund for the promotion of research at the Technion. The research of the third author was supported by the Sacta-Rashi Foundation.     

Spectra and semigroup smoothing for non-elliptic quadratic operators

We study non-elliptic quadratic differential operators. Quadratic differential operators are non-selfadjoint operators defined in the Weyl quantization by complex-valued quadratic symbols. When the real part of their Weyl symbols is a non-positive quadratic form, we point out the existence of a particular linear subspace in the phase space intrinsically associated to their Weyl symbols, called a singular space, such that when the singular space has a symplectic structure, the associated heat semigroup is smoothing in every direction of its symplectic orthogonal space. When the Weyl symbol of such an operator is elliptic on the singular space, this space is always symplectic and we prove that the spectrum of the operator is discrete and can be described as in the case of global ellipticity. We also describe the large time behavior of contraction semigroups generated by these operators.     

The weakest m-convex topology stronger than an A-convex topology need not exist

It is known that every locally A-convex algebra (E, τ) can be endowed with, at least, one locally m-convex topology stronger thanτ. In this note, we answer several questions concerning such locally m-convex topologies. In particular, we show that, unlike what is asserted in several previous papers, the collection of all such topologies does not have any weakest element in general.     

A note on the uniqueness of mild solutions to the Navier-Stokes equations

In this note, we will give another proof of the uniqueness of mild solutions to the Navier-Stokes equations in the class C([0,∞); by a simple application of Giga-Shor’s L ^p − L ^q (time-space) estimates, i.e., integral norms in the time variable. The proof relies on a method introduced by S. Monniaux [9] to prove the same result. Received: 11 June 2006     

Toeplitz Operators and Herz Spaces on the Half-Space

On the setting of the half-space we introduce the Schatten-Herz classes of Toeplitz operators and obtain characterizations for positive Toeplitz operators to belong to those classes. We also prove results concerning the boundedness and compactness of Toeplitz operators with Herz symbols. Such a study has been recently done on the ball. At a critical step of the proofs we employ a much simplified argument to extend the range of parameters for Herz spaces on which the Berezin transform is bounded. Our results show not only that most of results on the ball continue to hold, but also that there is some pathology caused by the unboundedness of the domain. The first author was in part supported by a Korea University Grant(2007), the second author was in part supported by Hanshin University Research Grant, and both authors were in part supported by KOSEF(R01-2003-000-10243-0).     

An Integration by Parts Formula in Sobolev Spaces

We prove the following formula

On implication in MV-algebras

In [1], the authors introduced the notion of a weak implication algebra, which reflects properties of implication in MV-algebras, and demonstrated that the class of weak implication algebras is definitionally equivalent to the class of upper semilattices whose principal filters are compatible MV-algebras. It is easily seen that weak implication algebras are just duals of commutative BCK-algebras. We show here that most results of [1] are, in fact, immediate consequences of two well-known facts: (i) a bounded commutative BCK-algebra possesses a natural upper semilattice structure, (ii) the class of MV-algebras and that of bounded commutative BCK-algebras are definitionally equivalent. Presented by I. Hodkinson. Received November 11, 2005; accepted in final form November 26, 2005.     

Embedding operators into strongly continuous semigroups

We study linear operators T on Banach spaces for which there exists a C₀-semigroup (T(t))_t≥0 such that T = T(1). We present a necessary condition in terms of the spectral value 0 and give classes of examples for which such a C₀-semigroup does or does not exist. Received: 22 December 2008, Revised: 7 April 2009     

The product of two von Neumann n-frames, its characteristic, and modular fractal lattices

Let L be a bounded lattice. If for each a₁ < b₁ ∈ L and a₂ < b₂ ∈ L there is a lattice embedding ψ: [a₁, b₁] → [a₂, b₂] with ψ(a₁) = a₂ and ψ(b₁) = b₂, then we say that L is a quasifractal. If ψ can always be chosen to be an isomorphism or, equivalently, if L is isomorphic to each of its nontrivial intervals, then L will be called a fractal lattice. For a ring R with 1 let denote the lattice variety generated by the submodule lattices of R-modules. Varieties of this kind are completely described in [16]. The prime field of characteristic p will be denoted by F_p. Let be a lattice variety generated by a nondistributive modular quasifractal. The main theorem says that is neither too small nor too large in the following sense: there is a unique , a prime number or zero, such that and for any n ≥ 3 and any nontrivial (normalized von Neumann) n-frame of any lattice in , is of characteristic p. We do not know if in general; however we point out that, for any ring R with 1, implies . It will not be hard to show that is Arguesian. The main theorem does have a content, for it has been shown in [2] that each of the is generated by a single fractal lattice L_p; moreover we can stipulate either that L_p is a continuous geometry or that L_p is countable. The proof of the main theorem is based on the following result of the present paper: if is a nontrivial m-frame and is an n-frame of a modular lattice L with m, n ≥ 3 such that and , then these two frames have the same characteristic and, in addition, they determine a nontrivial mn-frame of the same characteristic in a canonical way, which we call the product frame. Presented by E. T. Schmidt.