Anti-periodic solutions for a class of nonlinear th-order differential equations with delays

In this paper, we use the Leray–Schauder degree theory to establish new results on the existence and uniqueness of anti-periodic solutions for a class of nonlinear nth-order differential equations with delays of the form

x⁽ⁿ⁾(t)+f(t,x⁽ⁿ⁻¹⁾(t))+g(t,x(t−τ(t)))=e(t).

     

The Leray–Schauder approach to the degree theory for -perturbations of maximal monotone operators in separable reflexive Banach spaces

The purpose of this paper is to demonstrate the fact that the topological degree theory of Leray and Schauder may be used for the development of the topological degree theory for bounded demicontinuous (S₊)-perturbations f of strongly quasibounded maximal monotone operators T in separable reflexive Banach spaces. Certain basic homotopy properties and the extension of this degree theory to (possibly unbounded) strongly quasibounded perturbations f are shown to hold. This work uses the well known embedding of Browder and Ton, and extends the work of Berkovits who developed this theory for the case T=0. Besides being an interesting mathematical problem, the existence of such a degree theory may, conceivably, become useful in situations where the use of the Leray–Schauder degree (via infinite dimensional compactness) is necessary.     

On scatteredly continuous maps between topological spaces

A map f:X→Y between topological spaces is defined to be scatteredly continuous if for each subspace AX the restriction f|A has a point of continuity. We show that for a function f:X→Y from a perfectly paracompact hereditarily Baire Preiss–Simon space X into a regular space Y the scattered continuity of f is equivalent to (i) the weak discontinuity (for each subset AX the set D(f|A) of discontinuity points of f|A is nowhere dense in A), (ii) the piecewise continuity (X can be written as a countable union of closed subsets on which f is continuous), (iii) the G_δ-measurability (the preimage of each open set is of type G_δ). Also under Martin Axiom, we construct a G_δ-measurable map f:X→Y between metrizable separable spaces, which is not piecewise continuous. This answers an old question of V. Vinokurov.     

Topological group criterion for in compact-open-like topologies, II

We continue from “part I” our address of the following situation. For a Tychonoff space Y, the “second epi-topology” σ is a certain topology on C(Y), which has arisen from the theory of categorical epimorphisms in a category of lattice-ordered groups. The topology σ is always Hausdorff, and σ interacts with the point-wise addition + on C(Y) as: inversion is a homeomorphism and + is separately continuous. When is + jointly continuous, i.e. σ is a group topology? This is so if Y is Lindelöf and Čech-complete, and the converse generally fails. We show in the present paper: under the Continuum Hypothesis, for Y separable metrizable, if σ is a group topology, then Y is (Lindelöf and) Čech-complete, i.e. Polish. The proof consists in showing that if Y is not Čech-complete, then there is a family of compact sets in βY which is maximal in a certain sense.     

Kernel estimates and -spectral independence of generators of -semigroups

After the appearance of W. Arendt's result that “Gaussian estimate of a semigroup implies the L^p-spectral independence of the generator,” various generalizations have been obtained. This paper shows that a certain kernel estimate of a semigroup implies the L^p-spectral independence of the generator, generalizing the case of upper Gaussian estimate and “Gaussian estimate of order α(0,1] [S. Miyajima, H. Shindoh, Gaussian estimates of order α and L^p-spectral independence of generators of C₀-semigroups, Positivity 11 (1) (2007) 15–39], Definition 3.1.” The proof uses S. Karrmann's result about the L^p-spectral independence and B.A. Barnes' theorem about the spectrum of integral operators. As an application, the L^p-spectral independence of −[(−Δ)^α+V] (α(0,1]) for a suitable V is proved with the help of a recent result by V. Liskevich, H. Vogt and J. Voigt [V. Liskevich, H. Vogt, J. Voigt, Gaussian bounds for propagators perturbed by potentials, J. Funct. Anal. 238 (2006) 245–277].     

Dynamical analysis of the transmission of seasonal diseases using the differential transformation method

The aim of this paper is to apply the differential transformation method (DTM) to solve systems of nonautonomous nonlinear differential equations that describe several epidemic models where the solutions exhibit periodic behavior due to the seasonal transmission rate. These models describe the dynamics of the different classes of the populations. Here the concept of DTM is introduced and then it is employed to derive a set of difference equations for this kind of epidemic models. The DTM is used here as an algorithm for approximating the solutions of the epidemic models in a sequence of time intervals. In order to show the efficiency of the method, the obtained numerical results are compared with the fourth-order Runge–Kutta method solutions. Numerical comparisons show that the DTM is accurate, easy to apply and the calculated solutions preserve the properties of the continuous models, such as the periodic behavior. Furthermore, it is showed that the DTM avoids large computational work and symbolic computation.     

On hazard rate ordering of the sums of heterogeneous geometric random variables

In this paper, we treat convolutions of heterogeneous geometric random variables with respect to the p-larger order and the hazard rate order. It is shown that the p-larger order between two parameter vectors implies the hazard rate order between convolutions of two heterogeneous geometric sequences. Specially in the two-dimensional case, we present an equivalent characterization. The case when one convolution involves identically distributed variables is discussed, and we reveal the link between the hazard rate order of convolutions and the geometric mean of parameters. Finally, we drive the “best negative binomial bounds” for the hazard rate function of any convolution of geometric sequence under this setup.     

Shape preserving approximation on the real line with exponential weights

The well-known “Bernstein’s weighted problem” deals with the possibility of weighted approximation on the whole real line. In this paper, we show the possibility of k-monotone approximation on the real line with Freud’s weight .     

Stability for parametric implicit vector equilibrium problems

In this paper, we consider a class of parametric implicit vector equilibrium problems in Hausdorff topological vector spaces where a mapping f and a set K are perturbed by parameters and λ, respectively. We establish sufficient conditions for the upper semicontinuity and lower semicontinuity of the solution set mapping S:Λ₁×Λ₂→2^X for such parametric implicit vector equilibrium problems.     

Asymptotic structure and the existence of noncompact operators between Banach spaces

We investigate the problem of the existence of a noncompact operator T:X₀X→Y in terms of the asymptotic structure of separable Banach spaces X and Y. More precisely, for and , let T_ξ,η be the linear map which sends each x_i to y_i. We prove that if for some then every T:X₀X→Y is compact. If for n=2 all such maps have norm 1 we show the existence of a noncompact T:X₀X→Y.     

Partitioning a graph of bounded tree-width to connected subgraphs of almost uniform size

Assume that each vertex of a graph G is assigned a nonnegative integer weight and that l and u are nonnegative integers. One wishes to partition G into connected components by deleting edges from G so that the total weight of each component is at least l and at most u. Such an “almost uniform” partition is called an (l,u)-partition. We deal with three problems to find an (l,u)-partition of a given graph; the minimum partition problem is to find an (l,u)-partition with the minimum number of components; the maximum partition problem is defined analogously; and the p-partition problem is to find an (l,u)-partition with a fixed number p of components. All these problems are NP-complete or NP-hard, respectively, even for series-parallel graphs. In this paper we show that both the minimum partition problem and the maximum partition problem can be solved in time O(u⁴n) and the p-partition problem can be solved in time O(p²u⁴n) for any series-parallel graph with n vertices. The algorithms can be extended for partial k-trees, that is, graphs with bounded tree-width.     

Finitely additive representation of spaces

Let be any atomless and countably additive probability measure on the product space with the usual σ-algebra. Then there is a purely finitely additive probability measure λ on the power set of a countable subset such that can be isometrically isomorphically embedded as a closed subspace of L^p(λ). The embedding is strict. It is also ‘canonical,’ in the sense that it maps simple and continuous functions on to their restrictions to T.     

L-fuzzy quantifiers of type determined by fuzzy measures

The aim of this paper is, first, to introduce two new types of fuzzy integrals, namely, -fuzzy integral and →-fuzzy integral. The first integral is based on a fuzzy measure of L-fuzzy sets and the second one on a complementary fuzzy measure of L-fuzzy sets, where L is a complete residuated lattice. Some of their properties and a relation to the fuzzy (Sugeno) integral are investigated. Second, using these integrals, two classes of monadic L-fuzzy quantifiers of type 1 are defined. These L-fuzzy quantifiers can be used for modeling the semantics of natural language quantifiers like “all”, “some”, “many”, “none”, “at most half”, etc. Several semantic properties of these L-fuzzy quantifiers are studied.     

An algorithmic sign-reversing involution for special rim-hook tableaux

Eğecioğlu and Remmel [Linear Multilinear Algebra 26 (1990) 59–84] gave an interpretation for the entries of the inverse Kostka matrix K⁻¹ in terms of special rim-hook tableaux. They were able to use this interpretation to give a combinatorial proof that KK⁻¹=I but were unable to do the same for the equation K⁻¹K=I. We define an algorithmic sign-reversing involution on rooted special rim-hook tableaux which can be used to prove that the last column of this second product is correct. In addition, following a suggestion of Chow [preprint, math.CO/9712230, 1997] we combine our involution with a result of Gasharov [Discrete Math. 157 (1996) 193–197] to give a combinatorial proof of a special case of the (3+1)-free Conjecture of Stanley and Stembridge [J. Combin. Theory Ser. A 62 (1993) 261–279].     

Positive solutions for one-dimensional -Laplacian boundary value problems with sign changing nonlinearity

This paper deals with the existence of positive solutions for the one-dimensional p-Laplacian

subject to the boundary value conditions:

where _p(s)=|s|^p−2s,p>1. We show that it has at least one or two positive solutions under some assumptions by applying the fixed point theorem. The interesting points are that the nonlinear term f is involved with the first-order derivative explicitly and f may change sign.     

Numerical comparison of nonlinear subgridscale models via adaptive mesh refinement

In this paper, we provide a method of evaluating the efficacy of nonlinear subgridscale models for use in the large eddy simulation of incompressible viscous flow problems. We compare subgridscale “artificial” viscosity models using a posteriori error estimation and adaptive mesh refinement. Specifically, we compare α-Laplacian based subgridscale models and discuss the benefits and limitations of different values of α for some standard benchmark problems for the Navier–Stokes equations.     

A projected subgradient method for solving generalized mixed variational inequalities

We consider the projected subgradient method for solving generalized mixed variational inequalities. In each step, we choose an ε_k-subgradient u^k of the function f and w^k in a set-valued mapping T, followed by an orthogonal projection onto the feasible set. We prove that the sequence is weakly convergent.     

Strong convergence theorems by hybrid method for asymptotically -strict pseudo-contractive mapping in Hilbert space

In this paper, we introduce the hybrid method of modified Mann’s iteration for an asymptotically k-strict pseudo-contractive mapping. Then we prove that such a sequence converges strongly to P_F(T)x₀. This main theorem improves the result of Issara Inchan [I. Inchan, Strong convergence theorems of modified Mann iteration methods for asymptotically nonexpansive mappings in Hilbert spaces, Int. J. Math. Anal. 2 (23) (2008) 1135–1145] and concerns the result of Takahashi et al. [W. Takahashi, Y. Takeuchi, R. Kubota, Strong convergence theorems by hybrid methods for families of nonexpansive mappings in Hilbert space, J. Math. Anal. Appl. 341 (2008) 276–286], and many others.     

Completions of -algebras

A μ-algebra is a model of a first-order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms (f,μ_x.f) where μ_x.f is axiomatized as the least prefixed point of f, whose axioms are equations or equational implications.Standard μ-algebras are complete meaning that their lattice reduct is a complete lattice. We prove that any nontrivial quasivariety of μ-algebras contains a μ-algebra that has no embedding into a complete μ-algebra.We then focus on modal μ-algebras, i.e. algebraic models of the propositional modal μ-calculus. We prove that free modal μ-algebras satisfy a condition–reminiscent of Whitman’s condition for free lattices–which allows us to prove that (i) modal operators are adjoints on free modal μ-algebras, (ii) least prefixed points of Σ₁-operations satisfy the constructive relation μ_x.f=_n≥0fⁿ(). These properties imply the following statement: the MacNeille–Dedekind completion of a free modal μ-algebra is a complete modal μ-algebra and moreover the canonical embedding preserves all the operations in the class of the fixed point alternation hierarchy.     

Existence of periodic solutions for a fourth-order -Laplacian equation with a deviating argument

In this paper, we study the existence of periodic solutions for a fourth-order p-Laplacian differential equation with a deviating argument as follows:

[φ_p(u^″(t))]^″+f(u^″(t))+g(u(t−τ(t)))=e(t).