A New Approach to the Dore —Venni Theorem

The present paper works out the link between the Dore‐Venni theorem and the theory of analytic generators developped by I. Ciornescu and L. Zsid. The main result is an inverse theorem: on an UMD‐Banach space, analytic generators of C₀‐groups and operators with bounded imaginary powers are the same. The maximal regularity theorem of G. Dore and A. Venni appears as a corollary of this fact.     

Local existence of the solution to the initial‐boundary value problem in nonlinear thermomicroelasticity theory

We prove a theorem about local existence (in time) of the solution to the first initial‐boundary value problem for a nonlinear system of equation of the thermomicroelasticity theory. At first, we prove existence, uniqueness and regularity of the solution to this problem for the associated linearized system by using the method of semi‐group theory. Next, basing on this theorem, we prove an energy estimate for the solution to the linearized system by applying the method of Sobolev space. At the end, using the Banach fixed point theorem, we prove that the solution of our nonlinear problem exists and is unique. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

A New Class of Graphs That Satisfies the Chen‐Chvátal Conjecture

A well‐known combinatorial theorem says that a set of n non‐collinear points in the plane determines at least n distinct lines. Chen and Chvátal conjectured that this theorem extends to metric spaces, with an appropriated definition of line. In this work, we prove a slightly stronger version of Chen and Chvátal conjecture for a family of graphs containing chordal graphs and distance‐hereditary graphs.     

A probabilistic approach to the maximal diameter theorem

Under a positive curvature and a finite dimension in terms of the Bakry‐Émery tensor on a Riemannian manifold, the Bonnet‐Myers type diameter bound and the rigidity theorem are extended. The corresponding second order generator need not be symmetrizable. The proof is based on the Laplacian comparison theorem and stochastic analysis of radial processes.     

Electromagnetic scattering by a homogeneous chiral obstacle: scattering relations and the far‐field operator

Time‐harmonic electromagnetic waves are scattered by a homogeneous chiral obstacle. The reciprocity principle, the basic scattering theorem and an optical theorem are proved. These results are used to prove that if the chirality measure of the obstacle is real, then the far‐field operator is normal. Moreover, it is shown that the eigenvalues of the far‐field operator are the same as the eigenvalues of Waterman's T‐matrix. Copyright © 1999 John Wiley & Sons, Ltd.     

Multiple homoclinic orbits for a class of the discrete p‐Laplacian with unbounded potentials

This paper is devoted to study the existence results of a sequence of infinitely many homoclinic orbits for the discrete p‐Laplacian with unbounded potentials without the Ambrosetti and Rabinowitz condition. The strategy of the proof for these results is to approach the problem using the mountain pass theorem, the fountain theorem, and dual fountain theorem.     

Quantifier elimination for the theory of algebraically closed valued fields with analytic structure

The theory of algebraically closed non‐Archimedean valued fields is proved to eliminate quantifiers in an analytic language similar to the one used by Cluckers, Lipshitz, and Robinson. The proof makes use of a uniform parameterized normalization theorem which is also proved in this paper. This theorem also has other consequences in the geometry of definable sets. The method of proving quantifier elimination in this paper for an analytic language does not require the algebraic quantifier elimination theorem of Weispfenning, unlike the customary method of proof used in similar earlier analytic quantifier elimination theorems. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On the impulsive boundary value problems for nonlinear Hamiltonian systems

In this work, we deal with two‐point boundary value problems for nonlinear impulsive Hamiltonian systems with sub‐linear or linear growth. A theorem based on the Schauder fixed point theorem is established, which gives a result that yields existence of solutions without implications that solutions must be unique. An upper bound for the solution is also established. Examples are given to illustrate the main result. Copyright © 2016 John Wiley & Sons, Ltd.     

Even‐hole‐free graphs part I: Decomposition theorem

We prove a decomposition theorem for even‐hole‐free graphs. The decompositions used are 2‐joins and star, double‐star and triple‐star cutsets. This theorem is used in the second part of this paper to obtain a polytime recognition algorithm for even‐hole‐free graphs. © 2002 John Wiley & Sons, Inc. J Graph Theory 39: 6–49, 2002     

On Definitions in an Infinitary Language

We provide the syntactic equivalent for the theorem stating that all epimorphisms of finite projective planes (or of generalized n‐gons) are isomorphisms. The definition of the inequality relation that we provide adds little to our understanding of the theorem, since its very validity can be discerned only from the validity of the model‐theoretic theorem regarding epimorphisms.     

Stancu‐type generalization of Dunkl analogue of Szász–Kantorovich operators

The purpose of the paper is to introduce Stancu‐type linear positive operators generated by Dunkl generalization of exponential function. We present approximation properties with the help of well‐known Korovkin‐type theorem and weighted Korovkin‐type theorem and also acquire the rate of convergence in terms of classical modulus of continuity, the class of Lipschitz functions, Peetre's K‐functional, and second‐order modulus of continuity by Dunkl analogue of Szász operators. Copyright © 2015 John Wiley & Sons, Ltd.     

The Arc‐Weighted Version of the Second Neighborhood Conjecture

Seymour conjectured that every oriented simple graph contains a vertex whose second neighborhood is at least as large as its first. Seymour's conjecture has been verified in several special cases, most notably for tournaments by Fisher  6 . One extension of the conjecture that has been used by several researchers is to consider vertex‐weighted digraphs. In this article we introduce a version of the conjecture for arc‐weighted digraphs. We prove the conjecture in the special case of arc‐weighted tournaments, strengthening Fisher's theorem. Our proof does not rely on Fisher's result, and thus can be seen as an alternate proof of said theorem.     

A constructive proof of the Peter‐Weyl theorem

We present a new and constructive proof of the Peter‐Weyl theorem on the representations of compact groups. We use the Gelfand representation theorem for commutative C*‐algebras to give a proof which may be seen as a direct generalization of Burnside's algorithm [3]. This algorithm computes the characters of a finite group. We use this proof as a basis for a constructive proof in the style of Bishop. In fact, the present theory of compact groups may be seen as a natural continuation in the line of Bishop's work on locally compact, but Abelian, groups [2]. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

New reals: Can live with them,can live without them

We give a self‐contained proof of the preservation theorem for proper countable support iterations known as “tools‐preservation”, “Case A” or “first preservation theorem” in the literature. We do not assume that the forcings add reals. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Errata and addendum to “On the prime geodesic theorem for hyperbolic ‐manifolds” Math. Nachr. 291 (2018), no. 14–15, 2160–2167

We correct the exponent in the error term of the prime geodesic theorem for hyperbolic 3‐manifolds 1 and in Park's theorem for higher dimensions [ 3 , 2 ].     

Nielsen‐Schreier and the Axiom of Choice

The Nielsen‐Schreier theorem asserts that subgroups of free groups are free. In the first section we show that this theorem does not follow from the Linear Ordering Principle, thus strengthening the fact that it implies the Axiom of Choice for families of finite sets. In the second section, we show that a stronger variant of the Nielsen‐Schreier theorem implies the Axiom of Choice.     

Notes on Craig interpolation for LJ with strong negation

The Craig interpolation theorem is shown for an extended LJ with strong negation. A new simple proof of this theorem is obtained. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

On positive solutions to fractional sum boundary value problems for nonlinear fractional difference equations

In this paper, we study a new class of 3‐point boundary value problems of nonlinear fractional difference equations. Our problems contain difference and fractional sum boundary conditions. Existence and uniqueness of solutions are proved by using the Banach fixed‐point theorem, and existence of the positive solutions is proved by using the Krasnoselskii's fixed‐point theorem. Copyright © 2015 John Wiley & Sons, Ltd.     

A critical Kirchhoff‐type problem involving the ‐Laplacian

In this paper we provide an existence result for a nonlocal problem of Kirchhoff‐type which involves both the p‐ and the q‐Laplacian and contains a critical term. Our approach is variational: we derive the existence of one non‐trivial solution via the multidimensional mountain pass theorem.     

On many‐sorted algebraic closure operators

A theorem of Birkhoff‐Frink asserts that every algebraic closure operator on an ordinary set arises, from some algebraic structure on the set, as the corresponding generated subalgebra operator. However, for many‐sorted sets, i.e., indexed families of sets, such a theorem is not longer true without qualification. We characterize the corresponding many‐sorted closure operators as precisely the uniform algebraic operators. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)