On the complexity of axiomatizations of the class of representable quasi‐polyadic equality algebras

Using games, as introduced by Hirsch and Hodkinson in algebraic logic, we give a recursive axiomatization of the class RQPEA _α of representable quasi‐polyadic equality algebras of any dimension α. Following Sain and Thompson in modifying Andréka’s methods of splitting, to adapt the quasi‐polyadic equality case, we show that if Σ is a set of equations axiomatizing RPEA _n for $2< n <\omegaUsing games, as introduced by Hirsch and Hodkinson in algebraic logic, we give a recursive axiomatization of the class RQPEA _α of representable quasi‐polyadic equality algebras of any dimension α. Following Sain and Thompson in modifying Andréka’s methods of splitting, to adapt the quasi‐polyadic equality case, we show that if Σ is a set of equations axiomatizing RPEA _n for $2< n <\omega$ and $l< n,$ $k < n$, k′ < ω are natural numbers, then Σ contains infinitely equations in which ? occurs, one of + or · occurs, a diagonal or a permutation with index l occurs, more than k cylindrifications and more than k′ variables occur. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim     

Partial Fourier approximation of the Lamé equations in axisymmetric domains

In this paper, we study the partial Fourier method for treating the Lamé equations in three‐dimensional axisymmetric domains subjected to non‐axisymmetric loads. We consider the mixed boundary value problem of the linear theory of elasticity with the displacement û , the body force f̂ ϵ (L₂)³ and homogeneous Dirichlet and Neumann boundary conditions. The partial Fourier decomposition reduces, without any error, the three‐dimensional boundary value problem to an infinite sequence of two‐dimensional boundary value problems, whose solutions û _n (n = 0, 1, 2,…) are the Fourier coefficients of û . This process of dimension reduction is described, and appropriate function spaces are given to characterize the reduced problems in two dimensions. The trace properties of these spaces on the rotational axis and some properties of the Fourier coefficients û _n are proved, which are important for further numerical treatment, e.g. by the finite‐element method. Moreover, generalized completeness relations are described for the variational equation, the stresses and the strains. The properties of the resulting system of two‐dimensional problems are characterized. Particularly, a priori estimates of the Fourier coefficients û _n and of the error of the partial Fourier approximation are given. Copyright © 1999 John Wiley & Sons, Ltd.     

On the complexity of branch‐and‐bound search for random trees

Let T_n be a b‐ary tree of height n, which has independent, non‐negative, identically distributed random variables associated with each of its edges, a model previously considered by Karp, Pearl, McDiarmid, and Provan. The value of a node is the sum of all the edge values on its path to the root. Consider the problem of finding the minimum leaf value of T_n. Assume that the edge random variable X is nondegenerate, has E {X^θ}<∞ for some θ>2, and satisfies bP{X=c}<1 where c is the leftmost point of the support of X. We analyze the performance of the standard branch‐and‐bound algorithm for this problem and prove that the number of nodes visited is in probability (β+o(1))ⁿ, where β∈(1, b) is a constant depending only on the distribution of the edge random variables. Explicit expressions for β are derived. We also show that any search algorithm must visit (β+o(1))ⁿ nodes with probability tending to 1, so branch‐and‐bound is asymptotically optimal where first‐order asymptotics are concerned. ©1999 John Wiley & Sons, Inc. Random Struct. Alg., 14: 309–327, 1999     

The class of infinite dimensional neat reducts of quasi‐polyadic algebras is not axiomatizable

SC, CA, QA and QEA denote the classes of Pinter's substitution algebras, Tarski's cylindric algebras, Halmos' quasi‐polyadic algebras and quasi‐polyadic equality algebras, respectively. Let ω ≤ α < β and let K ∈ {SC,CA,QA,QEA}. We show that the class of α ‐dimensional neat reducts of algebras in K_β is not elementary. This solves a problem in [3]. Also our result generalizes results proved in [2] and [3]. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Nouvelle demonstration d’un theoreme de J. L. Krivine sur la finie representation del p dans un espace de Banach

We prove that if (x _n) is a sequence in a Banach space with infinite dimensional span, thenc _o orl _p for al<=p<∞ is block finitely represented in (x _n).     

Sur les ensembles linéairement connexes

Résumé Sur la droite projective, la notion de connexité est intuitive. Dans un espace projectif E_n, un ensemble est dit:linéairement connexe, si toutes ses traces sur les droites de E_n sont connexes. Deux ensembles complémentaires sont simultanément linéairement connexes ou non. On définit l'index (d'expansion linéaire intérieure) d'un ensemble linéairement connexe, possèdant des points intérieurs, comme le nombre maximum de dimensions des multiplicités linéaires qu'on peut mener à l'intérieur de l'ensemble. C'est uń nombre positif ou nul. Soient dans E_n deux ensembles complémentaires linéairement connexes possèdant chacun des points intérieurs: A_n et B_n. Leurs index respectifs α_n et β_n, satisfont à la relation: α_n + β_n +1 ≤ n. L'essentiel des résultats du Mémoire est le suivant: Si α_n et β_n sont tout deux nuls ou positifs, la frontière commune F_n, à A_n et B_n, estalgébrique et du secoud degré; si un seul est nul, F_n estconvexe, dégénérée ou non, mais pas nécessairement algébrique. Dans tous les cas la connaissance de α_n et β_n permet de préciser la nature de F_n. En particulier, si α_n + β_n +1 = n, F_n est sans singularité, et réciproquement.     

Unsupported Boolean algebras and forcing

If κ is an infinite cardinal, a complete Boolean algebra B is called κ‐supported if for each sequence 〈b_β : β < κ〉 of elements of B the equality _{α<κ β>α} b_β = equation/tex2gif-inf-5.gif _β∈A b_β holds. Combinatorial and forcing equivalents of this property are given and compared with the other forcing related properties of Boolean algebras (distributivity, caliber, etc.). The set of regular cardinals κ for which B is not κ‐supported is investigated. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Sur le problème de Plateau pour un quadrilatère variable qui peut acquérir un point double

Résumé Soit Γ un quadrilatère variable, dont deux c?tés opposés A₂A₃, A₁A₄ sont dans les plans x₃=c, x₃=−c. Quand c tend vers0, Γ tend vers un quadrilatèreΓ ⁰ présentant un point double, A⁰. Le travail étudie la représentation conforme sur le demi-plan R(ix)<0 (ou sur le cercle - unité) de la surface minimale ∑ passant par Γ. Il montre (§ I) que si les affixes x de A₁, A₂, A₄ sont 0, 1, ∞, l'affixe de A₃ sera ɛ⁻², où ɛ tend vers 0 avec c. Il étudie (§ II) l'allure pour ɛ tendant vers 0 des intégrales canoniques de l'équation linéaire du problème. La forme de la relation entre ɛ et c est indiquée au n^o 19; on montre que dans la région de striction ɛ |x| reste borné et que la surface ∑ y est assimilable à une surface minimale simple: la surface de vis à filet carré. La représentation conforme de l'une des deux régions de ∑ qui tendent à se séparer l'une de l'autre tend à envahir tout le demi-plan (ou tout le cercle-unité). Les représentations conformes de ∑ pour c>0 et c<0 ne sont pas analytiquement distinctes (n⁰ 20). A titre d'exemple, on étudie (n⁰ 21) le cas où ∑ possède un axe de symétrie. A M. Enrico Bompiani pour son Jubilé scientifique     

Stochastic differential equations with fractal noise

Stochastic differential equations in ?ⁿ with random coefficients are considered where one continuous driving process admits a generalized quadratic variation process. The latter and the other driving processes are assumed to possess sample paths in the fractional Sobolev space W^β₂ for some β > 1/2. The stochastic integrals are determined as anticipating forward integrals. A pathwise solution procedure is developed which combines the stochastic Itô calculus with fractional calculus via norm estimates of associated integral operators in W^α ₂ for 0 < α < 1. Linear equations are considered as a special case. This approach leads to fast computer algorithms basing on Picard's iteration method. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

On solution of Lamé equations in axisymmetric domains with conical points

Partial Fourier series expansion is applied to the Dirichlet problem for the Lamé equations in axisymmetric domains ??³ with conical points on the rotation axis. This leads to dimension reduction of the three‐dimensional boundary value problem resulting to an infinite sequence of two‐dimensional boundary value problems on the plane meridian domain Ω_a?? of with solutions u _n(n=0,1,2,…) being the Fourier coefficients of the solution û of the 3D BVP. The asymptotic behaviour of the Fourier coefficients u _n (n=0,1,2,…) near the angular points of the meridian domain Ω_a is fully described by singular vector‐functions which are related to the zeros α_n of some transcendental equations involving Legendre functions of the first kind. Equations which determine the values of α_n are given and a numerical algorithm for the computation of α_n is proposed with some plots of values obtained presented. The singular vector functions for the solution of the 3D BVP is obtained by Fourier synthesis. Copyright © 2004 John Wiley & Sons, Ltd     

Entire solutions of the KPP equation

This paper deals with the solutions defined for all time of the KPP equation u_t = u_xx + f(u),   0 < u(x,t) < 1, (x,t) ∈ ℝ², where ƒ is a KPP‐type nonlinearity defined in [0,1]: ƒ(0) = ƒ(1) = 0, ƒ′(0) > 0, ƒ′(1) < 0, ƒ > 0 in (0,1), and ƒ′(s) ≤ ƒ′(0) in [0,1]. This equation admits infinitely many traveling‐wave‐type solutions, increasing or decreasing in x. It also admits solutions that depend only on t. In this paper, we build four other manifolds of solutions: One is 5‐dimensional, one is 4‐dimensional, and two are 3‐dimensional. Some of these new solutions are obtained by considering two traveling waves that come from both sides of the real axis and mix. Furthermore, the traveling‐wave solutions are on the boundary of these four manifolds. © 1999 John Wiley & Sons, Inc.     

Carathéodory balls and norm balls inH n ={z ε ℂ n : ‖z‖1<1}

It is shown that the only balls in the Carathéodory distance onH _n ={z ε ℂ ⁿ :‖z‖₁<1},n≥2, which are balls with respect to the ℓ₁ norm in ℂ ⁿ are those centered at the origin. In memory of Albert Pfluger The research was partially supported by the Fund for the Promotion of Research at the Technion.     

Large Kr‐free subgraphs in Ks‐free graphs and some other Ramsey‐type problems

In this paper we present three Ramsey‐type results, which we derive from a simple and yet powerful lemma, proved using probabilistic arguments. Let 3 ≤ r < s be fixed integers and let G be a graph on n vertices not containing a complete graph K_s on s vertices. More than 40 years ago Erd?s and Rogers posed the problem of estimating the maximum size of a subset of G without a copy of the complete graph K_r. Our first result provides a new lower bound for this problem, which improves previous results of various researchers. It also allows us to solve some special cases of a closely related question posed by Erd?s. For two graphs G and H, the Ramsey number R(G, H) is the minimum integer N such that any red‐blue coloring of the edges of the complete graph K_N, contains either a red copy of G or a blue copy of H. The book with n pages is the graph B_n consisting of n triangles sharing one edge. Here we study the book‐complete graph Ramsey numbers and show that R(B_n, K_n) ≤ O(n³/log^3/2n), improving the bound of Li and Rousseau. Finally, motivated by a question of Erd?s, Hajnal, Simonovits, Sós, and Szemerédi, we obtain for all 0 < δ < 2/3 an estimate on the number of edges in a K₄‐free graph of order n which has no independent set of size n^1‐δ. © 2004 Wiley Periodicals, Inc. Random Struct. Alg., 2005     

Bases and quasi‐reflexivity in Fréchet spaces

A Fréchet space E is quasi‐reflexive if, either dim(E″/E) < ∞, or E″[β(E″,E′)]/E is isomorphic to ω. A Fréchet space E is totally quasi‐reflexive if every separated quotient is quasi‐reflexive. In this paper we show, using Schauder bases, that E is totally quasi‐reflexive if and only if it is isomorphic to a closed subspace of a countable product of quasi‐reflexive Banach spaces. (© 2005 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

ERRATA TO： ＂λ-Statistical Convergence of Order α＂ Acta Mathematica Scientia 2011, 31B（3）： 953–959

The sequences defined in Example 3 and Example 4 do not serve our purpose for any λ = (λn). Because this sequences are just the sequences x = (xk) = (k) and x = (xk) = (1) respectively and any term of these sequences can not be 0. In this short not we give Example 3* and Example 4* to show that the inclusions given in Theorem 2.4 and Theorem 2.9 are strict for some λ = (λn) , α and β such that 0 < α < β≤ 1.     

Homological connectivity of random k‐dimensional complexes

Let Δ_n?1 denote the (n ? 1)‐dimensional simplex. Let Y be a random k‐dimensional subcomplex of Δ_n?1 obtained by starting with the full (k ? 1)‐dimensional skeleton of Δ_n?1 and then adding each k‐simplex independently with probability p. Let H_k?1(Y; R) denote the (k ? 1)‐dimensional reduced homology group of Y with coefficients in a finite abelian group R. It is shown that for any fixed R and k ≥ 1 and for any function ω(n) that tends to infinity © 2008 Wiley Periodicals, Inc. Random Struct. Alg., 2009     

Embedding Subspaces of Lp into 𝓁Np, 0 < p < 1

It is shown that if X is an n – dimensional subspace of L_p, 0 < p < 1, then there exists a subspace Y of 𝓁^N_p such that d(X, Y) ≤ 1 + ε and N ≤ C(ε, p)n(log n)³.     

Type des orbites périodiques des flots associés à des lagrangiens optiques homogènes

Résumé. Soit L : T M → ℝ un lagrangien optique et homogène dans la fibre défini sur le fibré tangent d’une variété orientable de dimension n et γ un lacet régulier 1-périodique qui est un point critique non dégénéré d’indice p de l’action lagrangienne associée à L (il lui correspond alors un point périodique (x, v) du flot d’Euler-Lagrange (φ_t )). Soit T une transversale en (x, v) au champ de vecteurs dans la surface d’énergie et P l’application de premier retour de Poincaré dans cette transversale; on montre alors que le nombre de Lefschetz pour P en (x, v) est (−1)^n−1+p. On en déduit que si 2n_h est le nombre de multiplicateurs de Floquet réels strictement positifs et non nuls, alors: n_h = n − 1 + p (mod 2). On explique comment déduire qu’un lagrangien optique quelconque défini sur le fibré tangent d’une variété orientable compacte de dimension paire de π₁ non trivial a une une orbite périodique qui est soit dégénérée, soit a un exposant de Floquet hyperbolique dans tout niveau d’énergie au dessus du niveau critique de Ma?é.