Refinements of the generalised trapezoid and Ostrowski inequalities for functions of bounded variation

Refinements of the generalised trapezoid and Ostrowski inequalities for functions of bounded variation are given. Applications for the trapezoid and mid-point inequalities are also provided. Received: 19 May 2008     

Scattering of an incident acoustic wave by an elastic sphere in a shallow water

The scattering of acoustic waves by an elastic sphere in a shallow ocean wave guide is investigated taking into account the shear waves which can exist in addition to compressional waves in scatterers of solid material. Expressions for the scattered waves are given. Numerical values for a quantity called the farfield form function for various depth are presented in graphical forms.      

Trifactorized locally finite groups with min-p for every prime p

A group G is trifactorized if G = AB = AC = BC with three subgroups A, B and C of G. Some structural theorems about trifactorized locally finite groups with minimum condition on p-subgroups for every prime p are proved. For instance, it is shown that G is locally supersoluble (locally nilpotent) if A and B are locally nilpotent and C is locally supersoluble (locally nilpotent). The second and the third author wish to thank the Institute of Mathematics of the University of Mainz for their excellent hospitality during the preparation of this paper. The second author is grateful to the University of Stellenbosch, South Africa, and the third author to the Deutsche Forschungsgemeinschaft (DFG) for financial assistance.     

Minimal Order Semihypergroups of Type U on the Right

We study existence and possible uniqueness of special semihypergroups of type U on the right. In particular, we prove that there exists a unique proper semihypergroup of this kind having order 6, apart of isomorphisms; the least order for a hypergroup of type U on the right to have a stable part which is not a subhypergroup is 9; and the minimal cardinality of a proper semihypergroup of that kind whose heart and derived semihypergroup are proper and nontrivial is 12. Contextually, we analyze properties of the kernel of homomorphisms g : H ↦ G, where H is a finite semihypergroup of type U on the right and G is a group. In this way, we obtain results that are immediately applicable both to the heart and to the derived of such semihypergroups.      

Smoluchowski-Kramers approximation for a general class of SPDEs

We prove that the so-called Smoluchowski-Kramers approximation holds for a class of partial differential equations perturbed by a non-Gaussian noisy term. Namely, we show that the solution of the one-dimensional semi-linear stochastic damped wave equations , u(0) = u₀, u_t (0) = v₀, endowed with Dirichlet boundary conditions, converges as the parameter μ goes to zero to the solution of the semi-linear stochastic heat equation , u(0) = u₀, endowed with Dirichlet boundary conditions. Dedicated to Giuseppe Da Prato on the occasion of his 70th birthday     

A global solution curve for a class of periodic problems, including the pendulum equation

Using continuation methods and bifurcation theory, we study the exact multiplicity of periodic solutions, and the global solution structure, for a class of periodically forced pendulum-like equations. Our results apply also to the first order equations. We also show that by choosing a forcing term, one can produce periodic solutions with any number of Fourier coefficients arbitrarily prescribed.     

Irreducible <Emphasis Type="Italic">p</Emphasis>-Brauer characters of <Emphasis Type="Italic">p</Emphasis>-power degree for the symmetric and alternating groups

Starting from the question when all irreducible p-Brauer characters for a symmetric or an alternating group are of p-power degree, we classify the p-modular irreducible representations of p-power dimension in some families of representations for these groups. In particular, this then allows to confirm a conjecture by W. Willems for the alternating groups. Received: 14 June 2006     

On the stability of <Emphasis Type="Italic">t</Emphasis>-convex functions

Summary.  A real-valued function f defined on an open convex set is called (d, t)-convex if it satisfies

Champs affines

The purpose of this work is to introduce a notion of affine stacks, which is a homotopy version of the notion of affine schemes, and to give several applications in the context of algebraic topology and algebraic geometry. As a first application we show how affine stacks can be used in order to give a new point of view (and new proofs) on rational and p-adic homotopy theory. This gives a first solution to A. Grothendieck’s schematization problem described in [18]. We also use affine stacks in order to introduce a notion of schematic homotopy types. We show that schematic homotopy types give a second solution to the schematization problem, which also allows us to go beyond rational and p-adic homotopy theory for spaces with arbitrary fundamental groups. The notion of schematic homotopy types is also used in order to construct various homotopy types of algebraic varieties corresponding to various co-homology theories (Betti, de Rham, l-adic, ...), extending the well known constructions of the various fundamental groups. Finally, just as algebraic stacks are obtained by gluing affine schemes we define $$ \infty $$-geometric stacks as a certain gluing of affine stacks. Examples of $$ \infty $$-geometric stacks in the context of algebraic topology (moduli spaces of dga structures up to quasi-isomorphisms) and Hodge theory (non-abelian periods) are given.     

On orbits of automorphism groups II

Let G be a finite group, let A be a group of automorphisms of G and let C_G(A) denote the subgroup of fixed points of A in G. If the order of C_G(A) is coprime to the number of orbits of A in G, then C_G(A) is contained in the autocommutator subgroup [G, A]. The notion of class-avoiding automorphism is used to extend theorems of J. Thompson and P. Rowley. Received: 3 November 2008, Revised: 1 December 2008     

A rigorous construction of maximum recoverable work

A simple and rigorous derivation of the maximum recoverable work is presented. In contrast to previous derivations it is based on simple and rigorous projectional methods. The principle holds if the stress has a non-trivial Newtonian component.      

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.     

Optimization for products of concave functions

Ifh denotes the product of finitely many concave non-negative functions on a compact interval [a, b], then it is shown that there exist pointsα andβ witha≤α≤β≤b such thath is strictly increasing on [α, α), constant on (α, β), and strictly decreasing on (β, b]. This structure theorem leads to an extension of several classical optimization results for concave functions on convex sets to the case of products of concave functions.     

Abelian groups as autocommutator groups

In this article, we establish that every finite abelian group is isomorphic to the autocommutator subgroup of some finite abelian group. Received: 21 September 2007     

Lyapunov-type Inequalities for Differential Equations

Let us consider the linear boundary value problem

Transfer and Tate’s theorem

Let H be a subgroup of a finite group G, and assume that p is a prime that does not divide |G : H|. In favorable circumstances, one can use transfer theory to deduce that the largest abelian p-groups that occur as factor groups of G and of H are isomorphic. When this happens, Tate’s theorem guarantees that the largest not-necessarily-abelian p-groups that occur as factor groups of G and H are isomorphic. Known proofs of Tate’s theorem involve cohomology or character theory, but in this paper, a new elementary proof is given. It is also shown that the largest abelian p-factor group of G is always isomorphic to a direct factor of the largest abelian p-factor group of H. Received: 17 June 2008     

Inequalities for the Volume of the Unit Ball in \mathbb {R}^{n}, II

We present several sharp inequalities for the volume of the unit ball in ,

A Math Query Language with an Expanded Set of Wildcards

Math search is a new area of research with many enabling technologies but also many challenges. Some of the enabling technologies include XML, XPath, XQuery, and MathML. Some of the challenges involve enabling search systems to recognize mathematical symbols and structures. Several math search projects have made considerable progress in meeting those challenges. One of the remaining challenges is the creation and implementation of a math query language that enables the general users to express their information needs intuitively yet precisely. This paper will present such a language and detail its features. The new math query language offers an alternative way to describe mathematical expressions that is more consistent and less ambiguous than conventional mathematical notation. In addition, the language goes beyond the Boolean and proximity query syntax found in standard text search systems. It defines a powerful set of wildcards that are deemed important for math search. These wildcards provide for more precise structural search and multi-levels of abstractions. Three new sets of wildcards and their implementation details will also be discussed.      

Blow-up and critical exponents for parabolic equations with non-divergent operators: dual porous medium and thin film operators

Our first basic model is the fully nonlinear dual porous medium equation with source