An elementary proof of Strauss conjecture

In this paper, we consider the Cauchy problem for semilinear wave equation in high dimensions. First we use a Morawetz energy estimate which is obtained by integrating on the light cone to get a weighted L²−L²$L^2-L^2$ estimate of the solution, and then give an elementary proof of the weighted Strichartz estimate in Georgiev et al. [3], hence the Strauss conjecture. We also obtain a variant of the weighted Strichartz estimates and give the sharp estimate of the lifespan for the semilinear wave equation with subcritical nonlinearity.     

Classifying simple closed curve pairs in the 2-sphere and a generalization of the Schoenflies theorem

A classification theory is developed for pairs of simple closed curves (A,B) in the sphere S², assuming that A∩B has finitely many components. Such a pair of simple closed curves is called an SCC-pair, and two SCC-pairs (A,B) and (A^′,B^′) are equivalent if there is a homeomorphism from S² to itself sending A to A^′ and B to B^′. The simple cases where A and B coincide or A and B are disjoint are easily handled. The component code is defined to provide a classification of all of the other possibilities. The component code is not uniquely determined for a given SCC-pair, but it is straightforward that it is an invariant; i.e., that if (A,B) and (A^′,B^′) are equivalent and C is a component code for (A,B), then C is a component code for (A^′,B^′) as well. It is proved that the component code is a classifying invariant in the sense that if two SCC-pairs have a component code in common, then the SCC-pairs are equivalent. Furthermore code transformations on component codes are defined so that if one component code is known for a particular SCC-pair, then all other component codes for the SCC-pair can be determined via code transformations. This provides a notion of equivalence for component codes; specifically, two component codes are equivalent if there is a code transformation mapping one to the other. The main result of the paper asserts that if C and C^′ are component codes for SCC-pairs (A,B) and (A^′,B^′), respectively, then (A,B) and (A^′,B^′) are equivalent if and only if C and C^′ are equivalent. Finally, a generalization of the Schoenflies theorem to SCC-pairs is presented.     

Splitting theorem, Poincaré-Hopf theorem and jumping nonlinear problems

In this paper, we establish a Gromoll-Meyer splitting theorem and a shifting theorem for J∈C^2-0(E,R) and by using the finite-dimensional approximation, mollifiers and Morse theory we generalize the Poincaré-Hopf theorem to J∈C¹(E,R) case. By combining the Poincaré-Hopf theorem and the splitting theorem, we study the existence of multiple solutions for jumping nonlinear elliptic equations.     

Detecting Hilbert manifolds among isometrically homogeneous metric spaces

We detect Hilbert manifolds among isometrically homogeneous metric spaces and apply the obtained results to recognizing Hilbert manifolds among homogeneous spaces of the form G/H, where G is a metrizable topological group and H is a closed balanced subgroup of G.     

On elementary equivalence and isomorphism of clone segments

The principal application of a general theorem proved here shows that for any choice 1mnp of integers there exist metric spacesX andY such that the initialk-segments of their clones of continuous maps coincide exactly whenkm, are isomorphic exactly whenkn, and are elementarily equivalent exactly whenkp.Dedicated to Prof. László Fuchs on the occasion of his 70th birthday     

Compactifications of the homeomorphism group of a graph

Let Γ be a countable locally finite graph and let H(Γ) and H₊(Γ) denote the homeomorphism group of Γ with the compact-open topology and its identity component. These groups can be embedded into the space of all closed sets of Γ×Γ with the Fell topology, which is compact. Taking closure, we have natural compactifications and . In this paper, we completely determine the topological type of the pair and give a necessary and sufficient condition for this pair to be a (Q,s)-manifold. The pair is also considered for simple examples, and in particular, we find that has homotopy type of RP³. In this investigation we point out a certain inaccuracy in Sakai-Uehara's preceding results on for finite graphs Γ.     

On the homotopy groups of separable metric spaces

The aim of this paper is to discuss the homotopy properties of locally well-behaved spaces. First, we state a nerve theorem. It gives sufficient conditions under which there is a weak n-equivalence between the nerve of a good cover and its underlying space. Then we conclude that for any (n−1)-connected, locally (n−1)-connected compact metric space X which is also n-semilocally simply connected, the nth homotopy group of X, πn(X), is finitely presented. This result allows us to provide a new proof for a generalization of Shelah?s theorem (Shelah, 1988 [18]) to higher homotopy groups (Ghane and Hamed, 2009 [8]). Also, we clarify the relationship between two homotopy properties of a topological space X, the property of being n-homotopically Hausdorff and the property of being n-semilocally simply connected. Further, we give a way to recognize a nullhomotopic 2-loop in 2-dimensional spaces. This result will involve the concept of generalized dendrite which introduce here. Finally, we prove that each 2-loop is homotopic to a reduced 2-loop.     

A nondifferentiable extension of a theorem of Pucci and Serrin and applications

We study the multiplicity of critical points for functionals which are only differentiable along some directions. We extend to this class of functionals the three critical point theorem of Pucci and Serrin and we apply it to a one-parameter family of functionals Jλ, λ∈I⊂R. Under suitable assumptions, we locate an open subinterval of values λ in I for which Jλ possesses at least three critical points. Applications to quasilinear boundary value problems are also given.     

A further three critical points theorem

If X is a real Banach space, we denote by W_X the class of all functionals possessing the following property: if {u_n} is a sequence in X converging weakly to u∈X and lim inf_n→∞Φ(u_n)≤Φ(u), then {u_n} has a subsequence converging strongly to u.In this paper, we prove the following result:Let X be a separable and reflexive real Banach space; an interval; a sequentially weakly lower semicontinuous C¹ functional, belonging to W_X, bounded on each bounded subset of X and whose derivative admits a continuous inverse on X^∗; a C¹ functional with compact derivative. Assume that, for each λ∈I, the functional Φ−λJ is coercive and has a strict local, not global minimum, say .Then, for each compact interval [a,b]⊆I for which , there exists r>0 with the following property: for every λ∈[a,b] and every C¹ functional with compact derivative, there exists δ>0 such that, for each μ∈[0,δ], the equation

Φ^′(x)=λJ^′(x)+μΨ^′(x)     

An α-approximation theorem for Q∞-manifolds

Given a Q^∞-manifold M and an open cover α of M, there is an open cover β of M such that every β-equivalence from a Q^∞-manifold N to M is α-close to a homeomorphism. Consequently, every Q^∞-deficient subset in a C^∞-manifold M is strongly negligible in M.     

An asymmetric Ellis theorem

In 1957 Robert Ellis proved that a group with a locally compact Hausdorff topology T making all translations continuous also has jointly continuous multiplication and continuous inversion, and is thus a topological group. The theorem does not apply to locally compact asymmetric spaces such as the reals with addition and the topology of upper open rays. We first show a bitopological Ellis theorem, and then introduce a generalization of locally compact Hausdorff, called locally skew compact, and a topological dual, Tk, to obtain the following asymmetric Ellis theorem which applies to the example above:Whenever (X,⋅,T) is a group with a locally skew compact topology making all translations continuous, then multiplication is jointly continuous in both (X,⋅,T) and (X,⋅,Tk), and inversion is a homeomorphism between (X,T) and (X,Tk).This generalizes the classical Ellis theorem, because T=Tk when (X,T) is locally compact Hausdorff.     

On the semi-uniformity of bornological convergence

Abstract

When in the construction of the ρ-Hausdorff distance the balls with finite radius are replaced with an arbitrary ideal of bounded sets we no longer obtain a uniformity, but a semi-uniformity. In this paper we study the uniform reflection of this structure and its properties.     

A categorical approach to the maximum theorem

Berge's maximum theorem gives conditions ensuring the continuity of an optimised function as a parameter changes. In this paper we state and prove the maximum theorem in terms of the theory of monoidal topology and the theory of double categories.This approach allows us to generalise (the main assertion of) the maximum theorem, which is classically stated for topological spaces, to pseudotopological spaces and pretopological spaces, as well as to closure spaces, approach spaces and probabilistic approach spaces, amongst others. As a part of this we prove a generalisation of the extreme value theorem.     

An alternate proof of Cohn's four squares theorem

While various techniques have been used to demonstrate the classical four squares theorem for the rational integers, the method of modular forms of two variables has been the standard way of dealing with sums of squares problems for integers in quadratic fields. The case of representations by sums of four squares in was resolved by Götzky, while those of and were resolved by Cohn. These efforts utilized modular forms. In previous work, the author was able to demonstrate Götzky's theorem by means of the geometry of numbers. Here Cohn's theorem on representation by the sum of four squares for is proven by a combination of geometry of numbers and quaternionic techniques.     

Folding a surface to a polygon

A concept of folding for compact connected surfaces, involving the partition of the surface into combinatorially identical n-sided topological polygons, is defined. The existence of such foldings for given n and given surfaces is explored, with definitive results for the sphere and the torus. We obtain necessary conditions for the existence of such foldings in all other cases.Supported by Kuwait University Grant SM 043.