we show that any nonnegative solution of the quasilinear equation over the entire must be a constant. Our results improve or complement some recently obtained Liouville type theorems. In particular, we completely answer a question left open by Du and Guo.
In this article we outline a computer assisted classification of the ovoids in an orthogonal space of the type .
The aim of this article is twofold. First we consider the wave equation in the hyperbolic space and obtain the counterparts of the Strichartz type estimates in this context. Next we examine the relationship between semilinear hyperbolic equations in the Minkowski space and in the hyperbolic space. This leads to a simple proof of the recent result of Georgiev, Lindblad and Sogge on global existence for solutions to semilinear hyperbolic problems with small data. Shifting the space-time Strichartz estimates from the hyperbolic space to the Minkowski space yields weighted Strichartz estimates in which extend the ones of Georgiev, Lindblad, and Sogge.
Theorem 1. The following are equiconsistent:
(i) a Jónsson cardinal;
(ii) a sufficiently elementary submodel of the universe of sets with not homeomorphic to
The reverse direction is a corollary to:
Theorem 2. is Jónsson hereditarily separable, hereditarily Lindelöf, with .
We further consider the large cardinal consequences of the existence of a topological space with a proper substructure homeomorphic to Baire space.
In this paper, with the conditioning function , we derive a simple formula for conditional expectations of functions defined on which is a probability space and a generalization of Wiener space. As applications of the formula, we evaluate the conditional expectation of functions of the form
A theorem of M. F. Driscoll says that, under certain restrictions, the probability that a given Gaussian process has its sample paths almost surely in a given reproducing kernel Hilbert space (RKHS) is either or . Driscoll also found a necessary and sufficient condition for that probability to be .
Doing away with Driscoll's restrictions, R. Fortet generalized his condition and named it nuclear dominance. He stated a theorem claiming nuclear dominance to be necessary and sufficient for the existence of a process (not necessarily Gaussian) having its sample paths in a given RKHS. This theorem - specifically the necessity of the condition - turns out to be incorrect, as we will show via counterexamples. On the other hand, a weaker sufficient condition is available.
Using Fortet's tools along with some new ones, we correct Fortet's theorem and then find the generalization of Driscoll's result. The key idea is that of a random element in a RKHS whose values are sample paths of a stochastic process. As in Fortet's work, we make almost no assumptions about the reproducing kernels we use, and we demonstrate the extent to which one may dispense with the Gaussian assumption.
We construct an example of a normal countably compact not absolutely countably compact space. We also prove that every hereditarily normal countably compact space is absolutely countably compact and suggest a method for construction of hereditarily normal spaces without property .
Next we prove a nerve theorem for a class of spaces with uniformly bounded extension dimension. In particular we prove that the canonical map from a separable metric -dimensional space into the nerve of its weakly regular open cover induces isomorphisms on homotopy groups of dimensions less than .
In this paper we first define pseudoprimes and strong pseudoprimes to quadratic bases with one parameter: , and define the base-counting functions:
and
Then we give explicit formulas to compute B and SB, and prove that, for odd composites ,
and point out that these are best possible. Finally, based on one-parameter quadratic-base pseudoprimes, we provide a probable prime test, called the One-Parameter Quadratic-Base Test (OPQBT), which passed by all primes and passed by an odd composite odd primes) with probability of error . We give explicit formulas to compute , and prove that
The running time of the OPQBT is asymptotically 4 times that of a Rabin-Miller test for worst cases, but twice that of a Rabin-Miller test for most composites. We point out that the OPQBT has clear finite group (field) structure and nice symmetry, and is indeed a more general and strict version of the Baillie-PSW test. Comparisons with Gantham's RQFT are given.