The Reynolds analogy for the mixed convection over a vertical surface with prescribed heat flux

The steady mixed convection boundary layer flow over a vertical surface with prescribed heat flux is revisited in this Note. The subset of solutions which can be obtained with the aid of the Reynolds analogy is discussed in a close relationship with the dual solutions reported by Merkin and Mahmood [1] for impermeable, and more recently by Ishak et al. [2], for permeable surfaces.      

The Reynolds analogy for the mixed convection over a vertical surface with prescribed heat flux

The steady mixed convection boundary layer flow over a vertical surface with prescribed heat flux is revisited in this Note. The subset of solutions which can be obtained with the aid of the Reynolds analogy is discussed in a close relationship with the dual solutions reported by Merkin and Mahmood [1] for impermeable, and more recently by Ishak et al. [2], for permeable surfaces.     

Nonsimilar aiding mixed convection along a moving cylinder

The work of Mahmood and Merkin (ZAMP 39:186–203, 1988) concerns the mixed convection flow along a stationary cylinder in a constant free stream. In the present note, we extend the above work to general situations involving a moving cylinder.     

Nonsimilar aiding mixed convection along a moving cylinder

The work of Mahmood and Merkin (ZAMP 39:186–203, 1988) concerns the mixed convection flow along a stationary cylinder in a constant free stream. In the present note, we extend the above work to general situations involving a moving cylinder.     

The Inclusion Ideal Graph of Rings

Let R be a ring with unity. The inclusion ideal graph of a ring R, denoted by In(R), is a graph whose vertices are all nontrivial left ideals of R and two distinct left ideals I and J are adjacent if and only if I ? J or J ? I. In this paper, we show that In(R) is not connected if and only if R ? M ₂(D) or D ₁ × D ₂, for some division rings, D, D ₁ and D ₂. Moreover, we prove that if In(R) is connected, then diam(In(R)) ≤3. It is shown that if In(R) is a tree, then In(R) is a caterpillar with diam(In(R)) ≤3. Also, we prove that the girth of In(R) belongs to the set {3, 6, ∞}. Finally, we determine the clique number and the chromatic number of the inclusion ideal graph for some classes of rings.     

On K1 and K2 of Algebraic Surfaces

In this paper we study higher Chow groups of smooth, projective surfaces over a field k of characteristic zero, using some new Hodge theoretic methods which we develop for this purpose. In particular we investigate the subgroup of CH ^r+1 (X,r) with r = 1,2 consisting of cycles that are supported over a normal crossing divisor Z on X. In this case, the Hodge theory of the complement forms an interesting variation of mixed Hodge structures in any geometric deformation of the situation. Our main result is a structure theorem in the case where X is a very general hypersurface of degree d in projective 3-space for d sufficiently large and Z is a union of very general hypersurface sections of X. In this case we show that the subgroup of CH ^r+1 (X,r) we consider is generated by obvious cycles only arising from rational functions on X with poles along Z. This can be seen as a generalization of the Noether–Lefschetz theorem for r = 0. In the case r = 1 there is a similar generalization by Müller-Stach, but our result is more precise than it, since it is geometric and not only cohomological. The case r = 2 is entirely new and original in this paper. For small d, we construct some explicit examples for r = 1 and 2 where the corresponding higher Chow groups are indecomposable, i.e. not the image of certain products of lower order groups. In an appendix Alberto Collino constructs even more indecomposable examples in CH ³ (X,2) which move in a one-dimensional family on the surface X.Contribution to appendix.     

Meromorphic solutions of equations over non-Archimedean fields

In this paper, we give some conditions to assure that the equation P(X)=Q(Y) has no meromorphic solutions in all K, where P and Q are polynomials over an algebraically closed field K of characteristic zero, complete with respect to a non-Archimedean valuation. In particular, if P and Q satisfy the hypothesis (F) introduced by H. Fujimoto, a necessary and sufficient condition is obtained when deg P=deg Q. The results are presented in terms of parametrization of a projective curve by three entire functions. In this way we also obtain similar results for unbounded analytic functions inside an open disk.      

Two operators on the lattice of completely regular semigroup varieties

In this paper, varieties of completely regular semigroups are studied. This paper is divided into six sections. Section 1 contains an introduction to varieties of completely regular semigroups and preliminaries. Most of the notation needed in this paper is given. In Section 2, the operators \La ( ) and \Ra ( ) on the lattice of subvarieties of varieties of completely regular semigroups are investigated. In Section 3, some further properties of the operators \La ( ) and \Ra ( ) are given. In Section 4, the semigroups generated by various subset of some operators are considered. In Section 5, the operators \La ( ) and \Ra ( ) are used in finding the join of two given varieties. The word problem for free objects in the variety OLBG is considered in Section 6 using the operator \La ( ) . June 1, 1999     

Skewness of generalized Petersen graphs and related graphs

The skewness of a graph G is the minimum number of edges in G whose removal results in a planar graph. In this paper, we determine the skewness of the generalized Petersen graph P(4k, k) and hence a lower bound for the crossing number of P(4k, k). In addition, an upper bound for the crossing number of P(4k, k) is also given.     

Two Remarks on Independent Sets

In the first part we generalize the notion of strongly independent sets, introduced in [10] for polynomial ideals, to submodules of free modules and explain their computational relevance. We discuss also two algorithms to compute strongly independent sets that rest on the primary decomposition of squarefree monomial ideals.Usually the initial ideal in(I) of a polynomial ideal I is worse than I. In [9] the authors observed that nevertheless in(I) is not as bad as one should expect, showing that in(I) is connected in codimension one if I is prime.In the second part of the paper we add more evidence to that observation. We show that in(I) inherits (radically) unmixedness, connectedness in codimension one and connectedness outside a finite set of points from I and prove the same results also for initial submodules of free modules. The proofs use a deformation from I to in(I ).     

Decomposition and removability properties of John domains

In this paper we characterize John domains in terms of John domain decomposition property. In addition, we also show that a domain D in ℔ ⁿ is a John domain if and only if D\P is a John domain, where P is a subset of D containing finitely many points of D. The best possibility and an application of the second result are also discussed.     

Trace and spectrum preserving linear mappings in Jordan-Banach algebras

In the first section we define the trace on the socle of a Jordan-Banach algebra in a purely spectral way and we prove that it satisfies several identities. In particular this trace defines the Faulkner bilinear form. In the second section, using analytic tools and the properties of the trace, we prove that a spectrum preserving linear mapping fromJ ontoJ ¹, whereJ andJ ¹ are semisimple Jordan-Banach algebras, is not far from being a Jordan isomorphism. It is in particular a Jordan isomorphism ifJ ¹ is primitive with non-zero socle.     

Counting partitions on the abacus

In 2003, Maróti showed that one could use the machinery of ℓ-cores and ℓ-quotients of partitions to establish lower bounds for p(n), the number of partitions of n. In this paper we explore these ideas in the case ℓ=2, using them to give a largely combinatorial proof of an effective upper bound on p(n), and to prove asymptotic formulae for the number of self-conjugate partitions, and the number of partitions with distinct parts. In a further application we give a combinatorial proof of an identity originally due to Gauss. Dedicated to the memory of Dr. Manfred Schocker (1970–2006)     

Prime ideals in crossed products of finite groups

LetR * G be a crossed product of the finite groupG over the ringR. In this paper we discuss the relationship between the prime ideals ofR*G and theG-prime ideals ofR. In particular, we show that Incomparability and Going Down hold in this situation. In the course of the proof, we actually completely describe all the prime idealsP ofR*G such thatP∩R is a fixedG-prime ideal ofR. As an application, we prove that ifG is a finite group of automorphisms ofR, then the prime (primitive) ranks ofR and of the fixed ringR ^G are equal provided •G•⁻∈R. In an appendix, we extend some of these 3 results to crossed products of the infinite cyclic group.     

A bound on the maximum strong order of stochastic Runge-Kutta methods for stochastic ordinary differential equations

In Burrage and Burrage [1] it was shown that by introducing a very general formulation for stochastic Runge-Kutta methods, the previous strong order barrier of order one could be broken without having to use higher derivative terms. In particular, methods of strong order 1.5 were developed in which a Stratonovich integral of order one and one of order two were present in the formulation. In this present paper, general order results are proven about the maximum attainable strong order of these stochastic Runge-Kutta methods (SRKs) in terms of the order of the Stratonovich integrals appearing in the Runge-Kutta formulation. In particular, it will be shown that if ans-stage SRK contains Stratonovich integrals up to orderp then the strong order of the SRK cannot exceed min{(p+1)/2, (s−1)/2},p≥2,s≥3 or 1 ifp=1.     

Optimality and invexity in optimization problems in Banach algebras (spaces)

In this paper we introduce into nonsmooth optimization theory in Banach algebras a new class of mathematical programming problems, which generalizes the notion of smooth KT-(p,r)-invexity. In fact, this paper focuses on the optimality conditions for optimization problems in Banach algebras, regarding the generalized KT-(p,r)-invexity notion and Kuhn–Tucker points.     

A note on <Emphasis Type="Italic">f</Emphasis><Subscript><Emphasis Type="Italic">I</Emphasis></Subscript>-sets and <Emphasis Type="Italic">f</Emphasis><Subscript><Emphasis Type="Italic">I</Emphasis></Subscript> -continuous functions

Summary In [6] we introduced and investigated the notions of f_I -sets and f_I -continuous functions in ideal topological spaces. In this paper, we investigate their further important properties.     

Diagonal F-Thresholds on Binomial Hypersurfaces

In this article, we study the diagonal F-threshold, that is, the F-threshold of the maximal ideal with respect to the maximal ideal itself. In particular, we give a formula of the diagonal F-thresholds for binomial hypersurfaces, and compare the diagonal F-thresholds with F-pure thresholds for strongly F-regular binomial hypersurfaces.

As a result, we prove that those diagonal F-thresholds always exist and they are rational numbers in that case.     

A Technique for the Search for Vertices of the Components of a k G-Permutation Module

In this paper we present a necessary condition for a p-group V ≤ G to be a vertex of some indecomposable direct summand of the permutation module k _H  ↑ ^G , where H ≤ G, and G is a finite group. We call this condition H-suitability and present a method how to check for it. In an example, we determine all H-suitable groups. In fact, in this example every H-suitable group is the vertex of some indecomposable direct summand of k _H  ↑ ^G .     

<Emphasis Type="Italic">K</Emphasis>th Roots of <Emphasis Type="Italic">p</Emphasis>-Hyponormal Operators are Subscalar Operators of Order 4<Emphasis Type="Italic">k</Emphasis>

In this paper, we consider the special case of the question raised by Halmos (see below). In particular, we show that if T^k is p-hyponormal, then T is a subscalar operator of order 4k. As a corollary, we obtain that if T^k is p-hyponormal and σ(T) has nonempty interior in the plane, then T has a nontrivial invariant subspace.