scispace - formally typeset
Search or ask a question

Showing papers in "Israel Journal of Mathematics in 1975"


Journal ArticleDOI
TL;DR: In this article, conditions under which weak solutions of the initial-boundary value problem for the nonlinear wave equation will blow up in a finite time were investigated and sharp results were derived for certain classes of nonlinearities.
Abstract: A number of authors have investigated conditions under which weak solutions of the initial-boundary value problem for the nonlinear wave equation will blow up in a finite time. For certain classes of nonlinearities sharp results are derived in this paper. Extensions to parabolic and to abstract operator equations are also given.

700 citations


Journal ArticleDOI
TL;DR: In this paper, the authors used the techniques of martingale inequalities in the case of Banach space valued martingales, and proved that every super-reflexive space admits an equivalent uniformly convex norm.
Abstract: Using the techniques of martingale inequalities in the case of Banach space valued martingales, we give a new proof of a theorem of Enflo: every super-reflexive space admits an equivalent uniformly convex norm. Letr be a number in ]2, ∞[; we prove moreover that if a Banach spaceX is uniformly convex (resp. ifδ x(ɛ)/ɛ r whenɛ → 0) thenX admits for someq<∞ (resp. for someq

524 citations


Journal ArticleDOI
TL;DR: In this paper, a contractionT defined on a bounded closed convex subset of Hilbert space for which ((I+T)/2) n does not converge is given, where n is the number of nodes in the Hilbert space.
Abstract: An example is given of a contractionT defined on a bounded closed convex subset of Hilbert space for which ((I+T)/2) n does not converge.

327 citations


Journal ArticleDOI
TL;DR: In this article, it was shown that for singular λ, every λ-free algebra is free, including transversals, colouring numbers, and singular cardinals.
Abstract: We prove, in an axiomatic way, a compactness theorem for singular cardinals. We apply it to prove that, for singular λ, every λ-free algebra is free; and similar compactness results for transversals and colouring numbers. For the general result on free algebras, we develop some filters onSk(A). As an application we conclude thatV=L implies that every Whitehead group is free.

174 citations


Journal ArticleDOI
TL;DR: In this paper, it was shown that a separable Banach space B contains a subspace isomorphic to the double-dual of B if and only if there exists an element inB**, which is not a weak* limit of a sequence of elements in B. Consequently, B contains an isomorph of B** if (and only if) the cardinality ofB** is greater than that of the continuum.
Abstract: It is proved that a separable Banach spaceB contains a subspace isomorphic tol 1 if (and only if) there exists an element inB**, the double-dual ofB, which is not a weak* limit of a sequence of elements inB. ConsequentlyB contains an isomorph ofl 1 if (and only if) the cardinality ofB** is greater than that of the continuum.

171 citations


Journal ArticleDOI
TL;DR: In this article, a relative version of the main results of D. S. Ornstein's theory of Bernoulli shifts is developed for dynamical systems that split into the product of two systems.
Abstract: The purpose of this paper is to investigate some properties of dynamical systems that split into the product of two systems, one of them being a Bernoulli shift. With this view in mind, a relative version of the main results of D. S. Ornstein’s theory of Bernoulli shifts is developed here.

101 citations


Journal ArticleDOI
TL;DR: In this article, the authors studied the asymptotic behavior of mild solutions of a class of semi-linear equations of evolution which are characterized by the fact that the associated homogeneous linear problem "generates" a strongly continuous semi-group of compact operators.
Abstract: In this paper we prove existence, and study the asymptotic behavior of mild solutions of a class of semi-linear equations of evolution which are characterized by the fact that the associated homogeneous linear problem “generates” a strongly continuous semi-group of compact operators. We also prove a regularity result for which the associated homogeneous linear problem generates a holomorphic semi-group.

91 citations


Journal ArticleDOI
TL;DR: In this article, the authors studied the initial value problems for nonlinear parabolic variational inequalities involving time-dependent subdifferentials of convex functions on a Hilbert space and showed the existence of a solution by a semi-discretisation method with respect to the time.
Abstract: In this paper we study initial value problems for nonlinear parabolic variational inequalities involving time-dependent subdifferentials of convex functions on a Hilbert space. We shall show the existence of a solution by a semi-discretisation method with respect to the time.

85 citations


Journal ArticleDOI
TL;DR: In this article, the convergence of the solution of the equation d/dt+Au=f(t) to exact solutions of the Banach space equation is proved as special cases of estimates relating solutions of difference schemes for ∂/∂s+∂/ ∂τ to exact solution.
Abstract: Existence theorems for the equationdu/dt+Au=f(t), whereA is an accretive operator in a general Banach spaceX, are typically proved by showing that limits of solutions of discrete approximations to the equation exist. Here the estimates required to show this convergence are exhibited as special cases of estimates relating solutions of difference schemes for ∂/∂s+∂/∂τ to exact solutions.

78 citations


Journal ArticleDOI
H. P. McKean1
TL;DR: In this article, the authors discuss the analogy between the law of large numbers and the central limit theorem of classical probability theory on the one hand and hydrodynamical approximations in the statistical mechanics of gases on the other.
Abstract: The purpose of this paper is to discuss the analogy between the law of large numbers and the central limit theorem of classical probability theory on the one hand and the hydrodynamical approximations in the statistical mechanics of gases on the other. The chief illustration is provided by Carleman's model [2] for which the central limit approximation is a kind of non-linear Brownian motion regulated by ∂n/∂t=(n'/n)′.

77 citations


Journal ArticleDOI
TL;DR: In this paper, the authors generalize Furstenberg's result to the case of variable negative curvature, in the more general context of flows whose orbits are the unstable manifolds of certain Anosov flows.
Abstract: H. Furstenberg showed that horocycle flows on compact manifolds of constant negative curvature are uniquely ergodic. This paper generalizes his result to the case of variable negative curvature, in the more general context of flows whose orbits are the unstable manifolds of certain Anosov flows.

Journal ArticleDOI
TL;DR: In this paper, an infinite dimensional Banach space and its dual space is considered, and a set of Banach sequences are constructed, which are then constructed to converge to 0.
Abstract: LetX be an infinite dimensional Banach space, andX* its dual space. Sequences {χ n * } n=1 ∞ ⊆X* which arew* converging to 0 while inf n ‖x* n ‖>0, are constructed.

Journal ArticleDOI
TL;DR: In this article, necessary and sufficient conditions for Lorentz sequence spacesd(a,p) (1
Abstract: Necessary and sufficient conditions for Lorentz sequence spacesd(a,p) (1

Journal ArticleDOI
TL;DR: In this article, it was shown that if all the faces of a 3-polytope are either quadrilaterals or hexagons, then it does have a Hamiltonian circuit.
Abstract: It has been conjectured that ifP is a simple 3-polytope all of whose faces have an even number of sides, thenP has a Hamiltonian circuit. In this paper it is shown that, if all the faces ofP are either quadrilaterals or hexagons, thenP does have a Hamiltonian circuit.

Journal ArticleDOI
TL;DR: In this article, it was shown that the dual space of a compact linear operator from E to F is either reflexive or nonconjugate, and applications of these results are also given.
Abstract: LetE andF be reflexive Banach spaces andC the space of all compact linear operators fromE toF. A representation of the dual space ofC is given and it is proved thatC is either reflexive or nonconjugate. Applications of these results are also given.

Journal ArticleDOI
TL;DR: In this article, the categoricity and number of non-isomorphic models in ℵ1 of sentences in a given sentence in a sentence set was investigated and it was shown that no sentence in this sentence has exactly one uncountable model.
Abstract: We investigate the categoricity and number of non-isomorphic models in ℵ1 of sentences in\(L_{\omega _1 ,\omega } (Q)\). AssumingV=L we prove that no sentence in\(L_{\omega _1 ,\omega } (Q)\) has exactly one uncountable model. Thus partially answering problem 24 of a problem list by Friedman.

Journal ArticleDOI
TL;DR: In this paper, a necessary and sufficient condition for bounded closed convex sets with farthest points in a weakly compact subset of a Banach space has been given, where all points in the set which have farthest point in the subset contain a dense convex hull of the set.
Abstract: LetS be a weakly compact subset of a Banach spaceB. We show that of all points inB which have farthest points inS contains a denseG 5 ofB. Also, we give a necessary and sufficient condition for bounded closed convex sets to be the closed convex hull of their farthest points in reflexive Banach spaces.

Journal ArticleDOI
TL;DR: In this article, it is shown that V acts on Cp in one of the following forms: (i) Vx = u \cdot x \CDot w; (ii) V x = u ǫ t x^T \cdots w; where xT is the transpose of x.
Abstract: Theorem.Let 1≦p≦∞,p ≠ 2, and let V be an isometry of Cp onto itself. Then there exist two unitary operators u and w on l2 so that V acts on Cp in one of the following forms:\((i) Vx = u \cdot x \cdot w; (ii) Vx = u \cdot x^T \cdot w\) (where xT is the transpose of x).

Journal ArticleDOI
TL;DR: For every ergodic transformation T with a finite generator α, there is another finite generator β, which refines α and is bilaterally deterministic, i.e. V|i|>nτεβ is the full σ-algebra for every n as mentioned in this paper.
Abstract: Every ergodic transformationT with a finite generator α, has another finite generator β, which refines α, and is bilaterally deterministic, i.e. V|i|>n T iβ is the full σ-algebra for everyn.

Journal ArticleDOI
TL;DR: In this article, it was shown that for any normal number x = 0,x 1 x 2 ··· to base 2 and a selection rule S ⊂{0, 1}*=∪ n=0 /t8 { 0, 1] n, a subsequencex,=0,\(\chi_{t_1 } \chi _{t-2 } \)·· where {t 1
Abstract: Given anormal number x=0,x 1 x 2 ··· to base 2 and aselection rule S ⊂{0, 1}*=∪ n=0 /t8 {0, 1} n , we define a subsequencex,=0,\(\chi _{t_1 } \chi _{t_2 } \)·· where {t 1

Journal ArticleDOI
TL;DR: In this paper, a class of measurable transformations which serve as a model for severalfexpansions is discussed and sufficient conditions for ergodicity and the existence of a σ-finite invariant measure are given.
Abstract: A class of measurable transformations which serves as a model for severalf-expansions is discussed. Sufficient conditions for ergodicity and the existence of a σ-finite invariant measure are given.

Journal ArticleDOI
TL;DR: In this paper, it was proved that any factor of a dynamical system which is isomorphic to the direct product of a Bernoulli shift by a zero entropy system splits in the same way.
Abstract: In this paper it is proved that any factor of a dynamical system which is isomorphic to the direct product of a Bernoulli shift by a zero entropy system splits in the same way.

Journal ArticleDOI
TL;DR: In this article, it was shown that every complemented subspace of C with a non-separable dual is isomorphic (linearly homeomorphic) to C. An immediate consequence of this and a result of A. Pelczynski, is that any subspaceY of C, isometric to C, such that T|Y is an isomorphism.
Abstract: LetC denote the Banach space of scalar-valued continuous functions defined on the closed unit interval. It is proved that ifX is a Banach space andT:C→X is a bounded linear operator withT * X * non-separable, then there is a subspaceY ofC, isometric toC, such thatT|Y is an isomorphism. An immediate consequence of this and a result of A. Pelczynski, is that every complemented subspace ofC with non-separable dual is isomorphic (linearly homeomorphic) toC.

Journal ArticleDOI
TL;DR: In this paper, the connection between nonstandard hulls and Banach space ultrapower structures has been investigated in terms of the elementary properties of Banach spaces regarded as structures for a certain first-order language.
Abstract: The answer to the title question is given in terms of the elementary properties of Banach spaces regarded as structures for a certain first-order language. The same question for Banach space ultrapowers is also considered. The connection between nonstandard hulls and Banach space ultrapowers derives in part from the following fact, of independent interest in nonstandard analysis: for each cardinal number κ there exist ultrapower enlargements which are κ-saturated and which have the κ-isomorphism property.

Journal ArticleDOI
TL;DR: This work investigates homomorphic images of the semiring of recursive functions as models of the Π2 fragment of Arithmetic, and some relations between this fragment, its models and recursion theory.
Abstract: We investigate homomorphic images of the semiring of recursive functions as models of the Π2 fragment of Arithmetic, and some relations between this fragment, its models and recursion theory.

Journal ArticleDOI
William A. Veech1
TL;DR: In this article, the ergodicity of certain skew products of irrational rotations of the circle with finite groups is established with application to the construction of well-distributed sequence generators for finite groups.
Abstract: The ergodicity of certain skew products of irrational rotations of the circle with finite groups is established with application to the construction of “well-distributed sequence generators” for finite groups.

Journal ArticleDOI
TL;DR: In this paper, the Artin-Rees property for a finitely generated nilpotent group was used to prove that the completion of a given group with respect to the augmentation ideal of the group can be approximated by H(H_ * (G, M) \approx H(G, \hat M).
Abstract: The Artin-Rees property for a finitely generated nilpotent groupG is used to prove that\(H_ * (G, M) \approx H_ * (G, \hat M)\) for any finitely generatedG-moduleM, where\(\hat M\) is the completion ofM with respect to the augmentation ideal ofZ[G]. Applications to topology are given.

Journal ArticleDOI
TL;DR: For a class of potentialsq which may become as singular asr−2 at the origin, the virial theorem has been proved in this article for the Friedrichs extension of TF of (−Δ+q)↾C0∞(Rn/{0) ).
Abstract: For a class of potentialsq which may become as singular asr−2 at the origin we show that the eigenfunctionsu of the Friedrichs extensionTFof (−Δ+q)↾C0∞(Rn/{0}) satisfy the virial theorem 2(−Δu,u)=(u,rq,u) Two proofs of this relation are given One extends the Fock-Weidmann method of scale transformations, the other makes an argument by Finkelstein rigorous and can be viewed of as a substitute of the “commutator proof” of (*) employed in the physical literature The virial theorem provides a convenient tool for proving the nonexistence of eigenvalues embedded in the continuum or the total absence of eigenvalues ofTF

Journal ArticleDOI
TL;DR: In this article, a short proof is given to a theorem of Pelczynski concerning universal bases, and a proof of the theorem is given for the universal base theorem in general.
Abstract: A short proof is given to a theorem of Pelczynski concerning universal bases.

Journal ArticleDOI
TL;DR: In this article, two Bernoulli shifts are given, (X, T) and (X′, T′), with independent generatorsR=P √ Q andR′=P′ √Q′ respectively.
Abstract: Two Bernoulli shifts are given, (X, T) and (X′, T′), with independent generatorsR=P ∨Q andR′=P′ ∨Q′ respectively. (R andR′ are finite). One can chooseR such that if (X′, T′) can be made a factor of (X, T) in such a way that (P′) T′ and (Q′) T′ are full entropy factors of (P) T and (Q) T respectively thend (P ∨Q)=d(P′ ∨Q′). In addition it is proved that if (X, T) is a Bernoulli shift and ifS is a measure preserving transformation ofX that has the same factor algebras asT thenS=T orS=T −1. A tool for this proof, which may be of independent interest is a relative version for very weak Bernoullicity.