Couette and Poiseuille flows of an Oldroyd 6-constant fluid with magnetic field

In this paper, we develop a set of differential equations describing the steady flow of an Oldroyd 6-constant magnetohydrodynamic fluid. The fluid is electrically conducting in the presence of a uniform transverse magnetic field. The developed non-linear differential equation takes into account the effect of the material constants and the applied magnetic field. We presented the solution for three types of steady flows, namely,

(i)

Couette flow

(ii)

Poiseuille flow and

(iii)

generalized Couette flow.

Homotopy analysis method (HAM) is used to solve the non-linear differential equation analytically. It is found from the present analysis that for steady flow the obtained solutions are strongly dependent on the material constants (non-Newtonian parameters) which is different from the model of Oldroyd 3-constant fluid. Numerical solutions are also given and compared with the solutions by HAM.     

On some contributions of John Horváth to the theory of distributions

Our main task is a presentation of J. Horváth's results concerning

•

singular and hypersingular integral operators,

•

the analytic continuation of distribution-valued meromorphic functions, and

•

a general definition of the convolution of distributions.

At some instances minor supplements to his results are given.     

Continuity of posets via Scott topology and sobrification

In this paper, posets which may not be dcpos are considered. The concept of embedded bases for posets is introduced. Characterizations of continuity of posets in terms of embedded bases and Scott topology are given. The main results are:

(1)

A poset is continuous iff it is an embedded basis for a dcpo up to an isomorphism;

(2)

A poset is continuous iff its Scott topology is completely distributive;

(3)

A topological T₀ space is a continuous poset equipped with the Scott topology in the specialization order iff its topology is completely distributive and coarser than or equal to the Scott topology;

(4)

A topological T₁ space is a discrete space iff its topology is completely distributive.

These results generalize the relevant results obtained by J.D. Lawson for dcpos.     

Optimum quantization and its applications

Minimum sums of moments or, equivalently, distortion of optimum quantizers play an important role in several branches of mathematics. Fejes Tóth's inequality for sums of moments in the plane and Zador's asymptotic formula for minimum distortion in Euclidean d-space are the first precise pertinent results in dimension d?2. In this article these results are generalized in the form of asymptotic formulae for minimum sums of moments, resp. distortion of optimum quantizers on Riemannian d-manifolds and normed d-spaces. In addition, we provide geometric and analytic information on the structure of optimum configurations. Our results are then used to obtain information on

(i)

the minimum distortion of high-resolution vector quantization and optimum quantizers,

(ii)

the error of best approximation of probability measures by discrete measures and support sets of best approximating discrete measures,

(iii)

the minimum error of numerical integration formulae for classes of Hölder continuous functions and optimum sets of nodes,

(iv)

best volume approximation of convex bodies by circumscribed convex polytopes and the form of best approximating polytopes, and

(v)

the minimum isoperimetric quotient of convex polytopes in Minkowski spaces and the form of the minimizing polytopes.

     

Exponential stability and inequalities of solutions of abstract functional differential equations

With the Lyapunov second method, we study the abstract functional differential equation, . We obtain inequalities of solutions and exponential stability with conditions like:

(i)

,

(ii)

.

Applications in ordinary and partial functional differential equations are given.     

The Fréchet-Urysohn property of Pixley-Roy hyperspaces

Let F[X] be the Pixley-Roy hyperspace of a regular space X. In this paper, we prove the following theorem.

Theorem. For a space X, the following are equivalent:

(1)

F[X]is a k-space;

(2)

F[X]is sequential;

(3)

F[X]is Fréchet-Urysohn;

(4)

Every finite power of X is Fréchet-Urysohn for finite sets;

(5)

Every finite power ofF[X]is Fréchet-Urysohn for finite sets.

As an application, we improve a metrization theorem onF[X].     

The Mukai pairing—II: the Hochschild-Kostant-Rosenberg isomorphism

We continue the study of the Hochschild structure of a smooth space that we began in our previous paper, examining implications of the Hochschild-Kostant-Rosenberg theorem. The main contributions of the present paper are:

•

we introduce a generalization of the usual notions of Mukai vector and Mukai pairing on differential forms that applies to arbitrary manifolds;

•

we give a proof of the fact that the natural Chern character map K₀(X)→HH₀(X) becomes, after the HKR isomorphism, the usual one ; and

•

we present a conjecture that relates the Hochschild and harmonic structures of a smooth space, similar in spirit to the Tsygan formality conjecture.

     

On the minimal members of convex expectations

In this paper, we show that for a convex expectation E[⋅] defined on L¹(Ω,F,P), the following statements are equivalent:

(i)

E is a minimal member of the set of all convex expectations defined on L¹(Ω,F,P);

(ii)

E is linear;

(iii)

two-dimensional Jensen inequality for E holds.

In addition, we prove a sandwich theorem for convex expectation and concave expectation.     

From a Floyd-Auslander minimal system to an odd triangular map

In 1989 A.N. Sharkovsky asked the question which of the properties characterizing continuous maps of the interval with zero topological entropy remain equivalent for triangular maps of the square. The problem is difficult and only partial results are known. However, in the case of triangular maps with nondecreasing fibres there are only few gaps in a classification (given by Z. Ko?an) of a set of 24 of these conditions. In the present paper we remove these gaps by giving an example of a triangular map in the square with the following properties:

(1)

all fibre maps are nondecreasing,

(2)

all recurrent points of the map are uniformly recurrent, and

(3)

the restriction of the map to the set of recurrent points has an uncountable scrambled set (and so is Li-Yorke chaotic).

The example is obtained by taking an appropriate Floyd-Auslander minimal system and then taking its appropriate continuous extension to a triangular map of the square.     

Canonical matrices of bilinear and sesquilinear forms

Canonical matrices are given for

(i)

bilinear forms over an algebraically closed or real closed field;

(ii)

sesquilinear forms over an algebraically closed field and over real quaternions with any nonidentity involution; and

(iii)

sesquilinear forms over a field F of characteristic different from 2 with involution (possibly, the identity) up to classification of Hermitian forms over finite extensions of F; the canonical matrices are based on any given set of canonical matrices for similarity over F.

A method for reducing the problem of classifying systems of forms and linear mappings to the problem of classifying systems of linear mappings is used to construct the canonical matrices. This method has its origins in representation theory and was devised in [V.V. Sergeichuk, Classification problems for systems of forms and linear mappings, Math. USSR-Izv. 31 (1988) 481-501].     

Orbits of unbounded energy in quasi-periodic perturbations of geodesic flows

We show that certain mechanical systems, including a geodesic flow in any dimension plus a quasi-periodic perturbation by a potential, have orbits of unbounded energy.The assumptions we make in the case of geodesic flows are:

(a)

The metric and the external perturbation are smooth enough.

(b)

The geodesic flow has a hyperbolic periodic orbit such that its stable and unstable manifolds have a tranverse homoclinic intersection.

(c)

The frequency of the external perturbation is Diophantine.

(d)

The external potential satisfies a generic condition depending on the periodic orbit considered in (b).

The assumptions on the metric are C² open and are known to be dense on many manifolds. The assumptions on the potential fail only in infinite codimension spaces of potentials.The proof is based on geometric considerations of invariant manifolds and their intersections. The main tools include the scattering map of normally hyperbolic invariant manifolds, as well as standard perturbation theories (averaging, KAM and Melnikov techniques).We do not need to assume that the metric is Riemannian and we obtain results for Finsler or Lorentz metrics. Indeed, there is a formulation for Hamiltonian systems satisfying scaling hypotheses. We do not need to make assumptions on the global topology of the manifold nor on its dimension.     

A thin-tall Boolean algebra which is isomorphic to each of its uncountable subalgebras

Theorem A ℵ_1?. There is a Boolean algebra B with the following properties:

(1)

B is thin-tall, and

(2)

B is downward-categorical.

That is, every uncountable subalgebra of B is isomorphic to B.     

Inversion arrangements and Bruhat intervals

Let W be a finite Coxeter group. For a given w∈W, the following assertion may or may not be satisfied:

(?)

The principal Bruhat order ideal of w contains as many elements as there are regions in the inversion hyperplane arrangement of w.

We present a type independent combinatorial criterion which characterises the elements w∈W that satisfy (?). A couple of immediate consequences are derived:

(1)

The criterion only involves the order ideal of w as an abstract poset. In this sense, (?) is a poset-theoretic property.

(2)

For W of type A, another characterisation of (?), in terms of pattern avoidance, was previously given in collaboration with Linusson, Shareshian and Sjöstrand. We obtain a short and simple proof of that result.

(3)

If W is a Weyl group and the Schubert variety indexed by w∈W is rationally smooth, then w satisfies (?).

     

Collapsed 5-manifolds with pinched positive sectional curvature

Let M be a closed 5-manifold of pinched curvature 0<δ?secM?1. We prove that M is homeomorphic to a spherical space form if one of the following conditions holds:

(i)

The center of the fundamental group has index ?w(δ), a constant depending on δ;

(ii)

and the fundamental group is a non-cyclic group of order ?C, a constant;

(iii)

The volume is less than ?(δ) and the fundamental group is either isomorphic to a spherical 5-space group or has an odd order, and it has a center of index ?w, a constant.

     

Rothberger bounded groups and Ramsey theory

We show that:

(1)

Rothberger bounded subgroups of σ-compact groups are characterized by Ramseyan partition relations (Corollary 4).

(2)

For each uncountable cardinal κ there is a T₀ topological group of cardinality κ such that ONE has a winning strategy in the point-open game on the group and the group is not a closed subspace of any σ-compact space (Theorem 8).

(3)

For each uncountable cardinal κ there is a T₀ topological group of cardinality κ such that ONE has a winning strategy in the point-open game on the group and the group is σ-compact (Corollary 17).

     

The topology of continua that are approximated by disjoint subcontinua

Suppose that is a collection of disjoint subcontinua of continuum X such that limi→∞dH(Yi,X)=0 where dH is the Hausdorff metric. Then the following are true:

(1)

X is non-Suslinean.

(2)

If each Yi is chainable and X is finitely cyclic, then X is indecomposable or the union of 2 indecomposable subcontinua.

(3)

If X is G-like, then X is indecomposable.

(4)

If all lie in the same ray and X is finitely cyclic, then X is indecomposable.

     

Strong zero-dimensionality of hyperspaces

For a space X, X² denotes the collection of all non-empty closed sets of X with the Vietoris topology, and K(X) denotes the collection of all non-empty compact sets of X with the subspace topology of X². The following are known:

•

ω² is not normal, where ω denotes the discrete space of countably infinite cardinality.

•

For every non-zero ordinal γ with the usual order topology, K(γ) is normal iff whenever cf γ is uncountable.

In this paper, we will prove:

(1)

ω² is strongly zero-dimensional.

(2)

K(γ) is strongly zero-dimensional, for every non-zero ordinal γ.

In (2), we use the technique of elementary submodels.     

Banach spaces with the Daugavet property, and the centralizer

We introduce representable Banach spaces, and prove that the class R of such spaces satisfies the following properties:

(1)

Every member of R has the Daugavet property.

(2)

It Y is a member of R, then, for every Banach space X, both the space L(X,Y) (of all bounded linear operators from X to Y) and the complete injective tensor product lie in R.

(3)

If K is a perfect compact Hausdorff topological space, then, for every Banach space Y, and for most vector space topologies τ on Y, the space C(K,(Y,τ)) (of all Y-valued τ-continuous functions on K) is a member of R.

(4)

If K is a perfect compact Hausdorff topological space, then, for every Banach space Y, most C(K,Y)-superspaces (in the sense of [V. Kadets, N. Kalton, D. Werner, Remarks on rich subspaces of Banach spaces, Studia Math. 159 (2003) 195-206]) are members of R.

(5)

All dual Banach spaces without minimal M-summands are members of R.