Runge–Kutta Methods for Monotone Differential and Delay Equations

Classes of Runge–Kutta methods preserving the monotonicity of ordinary and delay differential equations are identified. Essentially, the vector b and the matrix A from the Butcher tableau should be such that all components of b are positive and all components of the matrix B(r)A, where B(r) is the inverse of the matrix I+rA, are nonnegative for sufficiently small positive r. The latter is satisfied by all explicit, diagonally-implicit and fully implicit Runge–Kutta methods for which all of the components of the matrix A, except those that are zero by definition, are positive.     

Semi-integer derivatives of the Airy functions and related properties of the Korteweg-de Vries-type equations

Fractional integrals and derivatives of Airy functions (Riesz potentials) are considered. For half integrals D ^−1/2 Ai(x) and D ^−1/2 Gi(x) explicit representations are found in terms of the products of Airy functions. Here Ai(x) and Gi(x) are the Airy function of the first kind and the Scorer function, respectively. Based on that representations are obtained for all semi-integer derivatives of Ai(x) and Gi(x). Applications to Korteweg–de Vries type equations are provided.      

S-continuous functions and certain weak forms of regularity and complete regularity

A topological space is called s-regular if each closed connected set and a point outside it are separated by disjoint open sets. Similarly notion of complete s-regularity is introduced; basic properties of s-regular spaces and completely s-regular spaces are studied and interrelations between them and the standard separation axioms are observed. It is shown that in the class of semilocally connected spaces s-regularity coincides with regularity and complete s-regularity coincides with complete regularity. Moreover, properties of s-continuous functions are studied and it is shown that s-regularity and completely s-regularity are preserved under certain s-continuous mappings.     

Cardinality and nilpotency of localizations of groups andG-modules

We consider the effect of a coagumented idempotent functorJ in the the category of groups orG-modules whereG is a fixed group. We are interested in the ‘extent’ to which such functors change the structure of the objects to which they are applied. Some positive results are obtained and examples are given concerning the cardinality and structure ofJ(A) in terms of the cardinality and structure ofA, where the latter is a torsion abelian group. For non-abelian groups some partial results and examples are given connecting the nilpotency classes and the varieties of a groupG andJ(G). Similar but stronger results are obtained in the category ofG-modules.     

Characterization of mean transformations

The mean transformations M(A,?B) are linear mappings and they are analogues of the matrix means of A,?B?≥?0. They are defined by operator monotone functions. In this article several properties are described and a part of them characterize the concept.     

On a signless Laplacian spectral characterization of -shape trees

Let M be an associated matrix of a graph G (the adjacency, Laplacian and signless Laplacian matrix). Two graphs are said to be cospectral with respect to M if they have the same M spectrum. A graph is said to be determined by M spectrum if there is no other non-isomorphic graph with the same spectrum with respect to M. It is shown that T-shape trees are determined by their Laplacian spectra. Moreover among them those are determined by their adjacency spectra are characterized. In this paper, we identify graphs which are cospectral to a given T-shape tree with respect to the signless Laplacian matrix. Subsequently, T-shape trees which are determined by their signless Laplacian spectra are identified.     

Monadic <Emphasis Type="Italic">GMV</Emphasis>-algebras

Monadic MV-algebras are an algebraic model of the predicate calculus of the Łukasiewicz infinite valued logic in which only a single individual variable occurs. GMV-algebras are a non-commutative generalization of MV-algebras and are an algebraic counterpart of the non-commutative Łukasiewicz infinite valued logic. We introduce monadic GMV-algebras and describe their connections to certain couples of GMV-algebras and to left adjoint mappings of canonical embeddings of GMV-algebras. Furthermore, functional MGMV-algebras are studied and polyadic GMV-algebras are introduced and discussed. The first author was supported by the Council of Czech Government, MSM 6198959214.     

Identification of temperature‐dependent thermophysical properties in a partial differential equation subject to extra final measurement data

We consider an inverse problem for estimating the two coefficient functions c and k in a parabolic type partial differential equation c(u)u_t = ?[k(u)u_x]/?x with the aid of the measurements of u at two different times. The first‐ and second‐order one‐step group preserving schemes are developed. Solving the resultant algebraic equations with a closed‐form, we can estimate the unknown temperature‐dependent thermal conductivity and heat capacity. The new methods possess threefold advantages: they do not require any a priori information on the functional forms of thermal conductivity and heat capacity; no initial guesses are required; and no iterations are required. Numerical examples are examined to show that the new approaches have high accuracy and efficiency, even there are rare measured data. When the measured temperatures are polluted by uniform or normal random noise, the estimated results are also good. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2007     

On the Exceptional Zeros of Rankin–Selberg L-Functions

The main objects of study in this article are two classes of Rankin–Selberg L-functions, namely L(s,f×g) and L(s, sym²(g)× sym²(g)), where f,g are newforms, holomorphic or of Maass type, on the upper half plane, and sym²(g) denotes the symmetric square lift of g to GL(3). We prove that in general, i.e., when these L-functions are not divisible by L-functions of quadratic characters (such divisibility happening rarely), they do not admit any LandauSiegel zeros. Such zeros, which are real and close to s=1, are highly mysterious and are not expected to occur. There are corollaries of our result, one of them being a strong lower bound for special value at s=1, which is of interest both geometrically and analytically. One also gets this way a good bound onthe norm of sym²(g).     

Comparison of Some Purities,Flatnesses and Injectivities

In this article, we compare (n, m)-purities for different pairs of positive integers (n, m). When R is a commutative ring, these purities are not equivalent if R does not satisfy the following property: there exists a positive integer p such that, for each maximal ideal P, every finitely generated ideal of R _P is p-generated. When this property holds, then the (n, m)-purity and the (n, m′)-purity are equivalent if m and m′ are integers ≥np. These results are obtained by a generalization of Warfield's methods. There are also some interesting results when R is a semiperfect strongly π-regular ring. We also compare (n, m)-flatnesses and (n, m)-injectivities for different pairs of positive integers (n, m). In particular, if R is right perfect and right self (?₀, 1)-injective, then each (1, 1)-flat right R-module is projective. In several cases, for each positive integer p, all (n, p)-flatnesses are equivalent. But there are some examples where the (1, p)-flatness is not equivalent to the (1, p + 1)-flatness.     

Runge–Kutta Methods for Systems of Differential Equation with Piecewise Continuous Arguments: Convergence and Stability

This work deals with the convergence and stability of Runge–Kutta methods for systems of differential equation with piecewise continuous arguments x^′(t) = Px(t)+Qx([t+1∕2]) under two cases for coe?cient matrix. First, when P and Q are complex matrices, the su?cient condition under which the analytic solution is asymptotically stable is given. It is proven that the Runge–Kutta methods are convergent with order p. Moreover, the su?cient condition under which the analytical stability region is contained in the numerical stability region is obtained. Second, when P and Q are commutable Hermitian matrices, using the theory of characteristic, the necessary and su?cient conditions under which the analytic solution and the numerical solution are asymptotically stable are presented, respectively. Furthermore, whether the Runge–Kutta methods preserve the stability of analytic solution are investigated by the theory of Padé approximation and order star. To demonstrate the theoretical results, some numerical experiments are adopted.     

On the longest run of coincidences

Summary Consider the rectangles of the first k(n) lines of length n in the right-upper integer-lattice, and suppose that its points are labelled randomly by the numbers 1, 2,..., m. The time i is called coincidence if the points (i, 1), (i, 2),..., (i, k(n)) are labelled identically. Asymptotic properties of the longest run of coincidences are discussed under different conditions on k(n).The results are related to a problem of P. Révész: If the points of an n ×n integer-lattice are coloured red and white randomly, what is the largest area of rectangles with red points only.A conjecture is formulated, indicating some peculiar number-theoretic characteristics of some limit-relations in this area.     

Another Approach to Topological Descent Theory

In the category T op of topological spaces and continuous functions, we prove that surjective maps which are descent morphisms with respect to the class E of continuous bijections are exactly the descent morphisms, providing a new characterization of the latter in terms of subfibrations E(X) of the basic fibration given by T op/X which are, essentially, complete lattices. Also effective descent morphisms are characterized in terms of effective morphisms with respect to continuous bijections. For classes E satisfying suitable conditions, we show that the class of effective descent morphisms coincides with the one of effective E-descent morphisms.     

S-Regular and S-Normal Spaces

In this paper s-regular and s-normal spaces are characterized using semi-T₀-identification spaces, topological sums of s-regular and s-normal spaces are examined, and the relationships between s-regular, s-normal, and other separation axioms are further examined.     

On the Minimization of Difference Functions

Simple necessary optimality conditions are formulated for a function f of the form f _ g–h, where g and h are nonsmooth functions. Related sufficient conditions are given for local minimization and global minimization.     

Prime Orders All of Whose Prime Suborders Are Selfdual

Let P be an order on a set V. A subset A of V is autonomous in P if every element of V not in A is either less than or greater than or incomparable to all elements of A. The empty set, the singletons from V and the set V are autonomous sets and are called trivial. Call an order prime if all its autonomous sets are trivial. We give the complete list of all finite prime orders all of whose prime suborders are selfdual.     

Graphs without four-cycles

We investigate the values of t(n), the maximum number of edges in a graph with n vertices and not containing a four-cycle. Techniques for finding these are developed and the values of t(n) for all n up to 21 are obtained. All the corresponding extremal graphs are found.     

Semi-integer derivatives of the Airy functions and related properties of the Korteweg-de Vries-type equations

Fractional integrals and derivatives of Airy functions (Riesz potentials) are considered. For half integrals D ^−1/2 Ai(x) and D ^−1/2 Gi(x) explicit representations are found in terms of the products of Airy functions. Here Ai(x) and Gi(x) are the Airy function of the first kind and the Scorer function, respectively. Based on that representations are obtained for all semi-integer derivatives of Ai(x) and Gi(x). Applications to Korteweg–de Vries type equations are provided.     

The point and line space of a compact projective plane are homeomorphic

The local Hopf bundles at the points and lines of a compact projective plane with manifold lines are all weakly equivalent. In particular, the point space and the line space of such a projective plane are homeomorphic. This is a consequence of the following topological result. Theorem. Let $\xi,\xi'$ be orientable topological $\mathbb{R}^n$ -bundles over an n-dimensional CW-complex. If $\xi$ and $\xi'$ are fibre homotopy equivalent and stably equivalent, then $\xi$ and $\xi'$ are equivalent. Received: 10 December 1998 / Accepted: 18 May 1999