Combinatorial congruences and -operators

The ψ-operator for (,Γ)-modules plays an important role in the study of Iwasawa theory via Fontaine's big rings. In this note, we prove several sharp estimates for the ψ-operator in the cyclotomic case. These estimates immediately imply a number of sharp p-adic combinatorial congruences, one of which extends the classical congruences of Fleck (1913) and Weisman [Some congruences for binomial coefficients, Michigan Math. J. 24 (1977) 141–151].     

On Banach spaces whose norm-open sets are -sets in the weak topology

We investigate non-separable Banach spaces whose norm-open sets are countable unions of sets closed in the weak topology and a narrower class of Banach spaces with a network for the norm topology which is σ-discrete in the weak topology. In particular, we answer a question of Arhangel'skii exhibiting various examples of non-separable function spaces C(K) with a σ-discrete network for the pointwise topology and (consistently) we answer some questions of Edgar and Oncina concerning Borel structures and Kadec renormings in Banach spaces.     

Coincidence and common fixed points for hybrid strict contractions without the weakly commuting condition

In this work, we establish new coincidence and common fixed point theorems for hybrid strict contraction maps by dropping the assumption “f is T-weakly commuting” for a hybrid pair (f,T) of multivalued maps in Theorem 3.10 of T. Kamran (2004) [8]. As an application, an invariant approximation result is derived.     

The fixed point property in -triples and preduals of -triples

We prove that for every member X in the class of real or complex JB^*-triples or preduals of JBW^*-triples, the following assertions are equivalent:

(1) X has the fixed point property.

(2) X has the super fixed point property.

(3) X has normal structure.

(4) X has uniform normal structure.

(5) The Banach space of X is reflexive.

As a consequence, a real or complex C^*-algebra or the predual of a real or complex W^*-algebra having the fixed point property must be finite-dimensional.

A completeness result for the simply typed -calculus

In this paper, we define a realizability semantics for the simply typed λμ-calculus. We show that, if a term is typable, then it inhabits the interpretation of its type. This result serves to give characterizations of the computational behavior of some closed typed terms. We also prove a completeness result of our realizability semantics using a particular term model.     

Strongly indexable graphs and applications

In 1990, Acharya and Hegde introduced the concept of strongly k-indexable graphs: A (p,q)-graph G=(V,E) is said to be strongly k-indexable if its vertices can be assigned distinct numbers 0,1,2,…,p−1 so that the values of the edges, obtained as the sums of the numbers assigned to their end vertices form an arithmetic progression k,k+1,k+2,…,k+(q−1). When k=1, a strongly k-indexable graph is simply called a strongly indexable graph. In this paper, we report some results on strongly k-indexable graphs and give an application of strongly k-indexable graphs to plane geometry, viz; construction of polygons of same internal angles and sides of distinct lengths.     

On the complexity of some subgraph problems

We study the complexity of the problem of deciding the existence of a spanning subgraph of a given graph, and of that of finding a maximum (weight) such subgraph. We establish some general relations between these problems, and we use these relations to obtain new NP-completeness results for maximum (weight) spanning subgraph problems from analogous results for existence problems and from results in extremal graph theory. On the positive side, we provide a decomposition method for the maximum (weight) spanning chordal subgraph problem that can be used, e.g., to obtain a linear (or O(nlogn)) time algorithm for such problems in graphs with vertex degree bounded by 3.     

Delay-dependent robust control for uncertain discrete-time singular systems with time-delays

The robust memoryless state feedback H_∞ control problem for uncertain time-delay discrete-time singular systems is discussed. Under a series of equivalent transformation, the equivalence of this problem and the robust state feedback H_∞ control problem for standard state-space uncertain time-delay discrete-time systems is presented. In terms of matrix inequality, the delay-dependent sufficient condition for the solution of this problem is given, the design method of the memoryless state feedback controller and the controller are also given.     

Stability and asymptotic stability of -methods for nonlinear stiff Volterra functional differential equations in Banach spaces

This paper is concerned with the stability and asymptotic stability of θ-methods for the initial value problems of nonlinear stiff Volterra functional differential equations in Banach spaces. A series of new stability and asymptotic stability results of θ-methods are obtained.     

On -convergence of Fourier series

In this paper we consider the trigonometric Fourier series with the β-general monotone coefficients. Necessary and sufficient conditions of L₁-convergence for such a series, that is f−S_n=o(1), are obtained in terms of coefficients.     

The behavior of best -approximations as . A counterexample of convergence

In the space of summable sequences we give an example of a one-dimensional affine subspace C such that the best L_p-approximations of 0 from C fail to converge as p↓1. We thus give an answer to this problem of convergence in infinite measure spaces.     

On the modulus of -convexity

In this paper, we prove that the moduli of W^*-convexity, introduced by Ji Gao [J. Gao, The W^*-convexity and normal structure in Banach spaces, Appl. Math. Lett. 17 (2004) 1381–1386], of a Banach space X and of the ultrapower of X itself coincide whenever X is super-reflexive. Moreover, we improve a sufficient condition for uniform normal structure of the space and its dual. This generalizes and strengthens the main results of [J. Gao, The W^*-convexity and normal structure in Banach spaces, Appl. Math. Lett. 17 (2004) 1381–1386].     

Absolutely convergent Fourier series and function classes. II

We study the smoothness property of a function f with absolutely convergent Fourier series, and give best possible sufficient conditions in terms of its Fourier coefficients to ensure that f belongs to one of the Zygmund classes Λ_∗(α) and λ_∗(α) for some 0<α?2. This paper is a natural supplement to our earlier one [F. Móricz, Absolutely convergent Fourier series and function classes, J. Math. Anal. Appl. 324 (2) (2006) 1168-1177] under the same title, and we keep its notations.     

-functionals and multivariate Bernstein polynomials

This paper estimates upper and lower bounds for the approximation rates of iterated Boolean sums of multivariate Bernstein polynomials. Both direct and inverse inequalities for the approximation rate are established in terms of a certain K-functional. From these estimates, one can also determine the class of functions yielding optimal approximations to the iterated Boolean sums.     

Infinitely many non-negative solutions for a Dirichlet problem involving -Laplacian

In this paper, we consider a Dirichlet problem involving the p(x)-Laplacian of the type

We prove the existence of infinitely many non-negative solutions of the problem by applying a general variational principle due to B. Ricceri and the theory of the variable exponent Sobolev spaces.     

On Bernstein–Markov-type inequalities for multivariate polynomials in -norm

Bernstein–Markov-type inequalities provide estimates for the norms of derivatives of algebraic and trigonometric polynomials. They play an important role in Approximation Theory since they are widely used for verifying inverse theorems of approximation. In the past decades these inequalities were extended to the multivariate setting, but the main emphasis so far was on the uniform norm. It is considerably harder to derive Bernstein–Markov-type inequalities in the L_q-norm, and it requires introduction of new methods. In this paper we verify certain Bernstein–Markov-type inequalities in L_q-norm on convex and star-like domains. Special attention is given to the question of how the geometry of the domain affects the corresponding estimates.     

CFD study of section characteristics of Formula Mazda race car wings

A great deal of research has been done on the aerodynamic characteristics of race cars competing in major racing series through out the world. Because of the competitive nature of motor sport, this research is usually not published until after it is obsolete. The teams operating at the minor league levels of the sport do not have the funding resources of the major series to perform aerodynamic research. In an effort to provide some information for teams competing in the minor league Formula Mazda racecar class, this study was conducted using the Star-CD CFD code to perform a turbulent simulation (using a k–ε model) of the airflow on the front and rear wings of a Formula Mazda car with different angles of attack and the effect of the ground on the front wing. Results are presented graphically, showing pressure and velocity distributions and lift (C_l) and drag coefficients (C_d) for the different cases. It was shown that the ground effect has a marked effect on the C_l and that the angle of attack has a significant effect on the lift and drag coefficients, and it was shown that an angle of 12 below the horizontal seems to indicate stalling conditions. It is suggested that this information, along with experimental validation, can be valuable for improving the optimum handling of these Formula Mazda race cars.     

Absolutely convergent Fourier series and function classes

We study the smoothness property of a function f with absolutely convergent Fourier series, and give best possible sufficient conditions in terms of its Fourier coefficients to ensure that f belongs either to one of the Lipschitz classes Lip(α) and lip(α) for some 0<α?1, or to one of the Zygmund classes Λ_∗(1) and λ_∗(1). Our theorems generalize some of those by Boas [R.P. Boas Jr., Fourier series with positive coefficients, J. Math. Anal. Appl. 17 (1967) 463-483] and one by Németh [J. Németh, Fourier series with positive coefficients and generalized Lipschitz classes, Acta Sci. Math. (Szeged) 54 (1990) 291-304]. We also prove a localized version of a theorem by Paley [R.E.A.C. Paley, On Fourier series with positive coefficients, J. London Math. Soc. 7 (1932) 205-208] on the existence and continuity of the derivative of f.     

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).