On universal graphs without instances of CH

We first prove the consistency of: there is a universal graph of power ?₁<2^?₀ = 2^?₁=?₂. The consistency of the non-existence of a universal graph of power ?₁ is trivial. Add ?₂ Cohen generic reals. We then show that we can have 2^?₀=?₂<2^?₁, and get similar results for other cardinals.     

Existence of multiple positive solutions for m-point fractional boundary value problems with p-Laplacian operator on infinite interval

In this paper we consider the following m-point fractional boundary value problem with p-Laplacian operator on infinite interval where 0<????1, 2<????3, $D_{0+}^{\alpha}$ is the standard Riemann-Liouville fractional derivative, ?? _p (s)=|s| ^p?2 s,p>1, (?? _p )^?1=?? _q , $\frac{1}{p}+\frac{1}{q}=1$ . 0<?? ₁<?? ₂<?<?? _m?2<+??, ?? _i ??0, i=1,2,??,m?2 satisfies $0 <\sum_{i=1}^{m-2}\beta_{i}\xi_{i}^{\alpha-1} < \Gamma(\alpha)$ . We establish solvability of the above fractional boundary value problems by means of the properties of the Green function and some fixed-point theorems.     

Dunford-Pettis like properties on tensor products

In this paper we study equivalent formulations of the DP^? P_p (1 < p < ∞). We show that X has the DP^? P_p if and only if every weakly-p-Cauchy sequence in X is a limited subset of X. We give su?cient conditions on Banach spaces X and Y so that the projective tensor product X ?_π Y, the dual (X ?_? Y)^? of their injective tensor product, and the bidual (X ?_π Y)^?? of their projective tensor product, do not have the DP P_p, 1 < p < ∞. We also show that in some cases, the projective and the injective tensor products of two spaces do not have the DP^? P_p, 1 < p < ∞.     

Convexity of the bounds induced by Markov's inequality

X is a nonnegative random variable such that EX^t < ∞ for 0≤ t < λ ≤ ∞. The (l??) quantile of the distribution of X is bounded above by [?^?1 EX^t]^1?t. We show that there exist positive ?₁ ≥ ?₂ such that for all 0 <?≤?₁ the function g(t) = [?^-1EX^t]^1?t is log-convex in [0, c] and such that for all 0 < ? ≤ ?₂ the function log g(t) is nonincreasing in [0, c].     

Lower Bounds on the Blow-Up Rate of the Axisymmetric Navier–Stokes Equations II

Consider axisymmetric strong solutions of the incompressible Navier–Stokes equations in ?³ with non-trivial swirl. Let z denote the axis of symmetry and r measure the distance to the z-axis. Suppose the solution satisfies, for some 0 ≤ ε ≤ 1, |v (x, t)| ≤ C _? r ^?1+ε |t|^?ε/2 for ? T ₀ ≤ t < 0 and 0 < C _? < ∞ allowed to be large. We prove that v is regular at time zero.     

Nonnegative functions in weighted hardy spaces

Let W be a nonnegative summable function whose logarithm is also summable with respect to the Lebesgue measure on the unit circle. For 0?<?p?<?∞ , H^p (W) denotes a weighted Hardy space on the unit circle. When W?≡?1, H ^p(W) is the usual Hardy space H^p . We are interested in H^p ( W)₊ the set of all nonnegative functions in H^p ( W). If p?≥?1/2, H^p ₊ consists of constant functions. However H^p ( W)₊ contains a nonconstant nonnegative function for some weight W. In this paper, if p?≥?1/2 we determine W and describe H^p ( W)₊ when the linear span of H^p ( W)₊ is of finite dimension. Moreover we show that the linear span of H^p (W)₊ is of infinite dimension for arbitrary weight W when 0?<?p?<?1/2.     

On the consistency of some partition theorems for continuous colorings,and the structure of ℵ1-dense real order types

We present some techniques in c.c.c. forcing, and apply them to prove consistency results concerning the isomorphism and embeddability relations on the family of ?₁-dense sets of real numbers. In this direction we continue the work of Baumgartner [2] who proved the axiom BA stating that every two ?₁-dense subsets of $\text{R}$ are isomorphic, is consistent. We e.g. prove Con(BA+(2^?₀>?₂)). Let <K^H,<> be the set of order types of ?₁-dense homogeneous subsets of $\text{R}$ with the relation of embeddability. We prove that for every finite model <L, <->: Con(MA+ <K^H, <-> ? <L, <->) iff L is a distributive lattice. We prove that it is consistent that the Magidor-Malitz language is not countably compact. We deal with the consistency of certain topological partition theorems. E.g. We prove that MA is consistent with the axiom OCA which says: “If X is a second countable space of power ?₁, and {U₀,\h.;,U_n?1} is a cover of D(X)

XxX-}<x,x>¦x?X} consisting of symmetric open sets, then X can be partitioned into {X_i \brvbar; i ? ω} such that for every i ? ω there is l<n such that D(X_i)?U_l”. We also prove that MA+OCA [xrArr] 2 ?₀ = ?₂.     

Existence of multiple positive solutions for one-dimensional p-Laplacian operator

In this paper, we consider the multipoint boundary value problem for one-dimensional p-Laplacian $$(\phi_{p}(u'))'+f(t,u,u')=0,\quad t\in [0,1],$$ subject to the boundary value conditions: $$u'(0)=\sum_{i=1}^{n-2}\alpha_{i}u'(\xi_{i}),\qquad u(1)=\sum_{i=1}^{n-2}\beta_{i}u(\xi_{i}),$$ where φ _p (s)=|s| ^p?2?s,p>1;ξ _i ∈(0,1) with 0<ξ ₁<ξ ₂<???<ξ _n?2<1 and α _i ,β _i satisfy α _i ,β _i ∈[0,∞),0≤∑ _i=1 ^n?2 α _i <1 and 0≤∑ _i=1 ^n?2 β _i <1. Using a fixed point theorem for operators in a cone, we provide sufficient conditions for the existence of multiple positive solutions to the above boundary value problem.     

Estimating the parameters of a truncated normal distribution

Let ø(x) be a truncated normal pdf over the interval [a,b], that is, assume ø(x)=exp[-(x–μ)²/2σ²]/∝^b_aexp[-(x–μ)²/2σ²]dx for - ∞<a?x?b?< + ∞ and zero elsewhere. Suppose that X₁,X₂,…,X_n is a random sample of size n from this truncated distribution. Using known properties of exponential families of distributions and the system of Legendre polynomials over the interval [-1,1], we examine the maximum likelihood estimation of the parameters μ and σ².     

On the noise sensitivity of monotone functions

It is known that for all monotone functions f : {0, 1}ⁿ → {0, 1}, if x ∈ {0, 1}ⁿ is chosen uniformly at random and y is obtained from x by flipping each of the bits of x independently with probability ? = n^?α, then P[f(x) ≠ f(y)] < cn^?α+1/2, for some c > 0. Previously, the best construction of monotone functions satisfying P[f_n(x) ≠ f_n(y)] ≥ δ, where 0 < δ < 1/2, required ? ≥ c(δ)n^?α, where α = 1 ? ln 2/ln 3 = 0.36907 …, and c(δ) > 0. We improve this result by achieving for every 0 < δ < 1/2, P[f_n(x) ≠ f_n(y)] ≥ δ, with:

• ? = c(δ)n^?α for any α < 1/2, using the recursive majority function with arity k = k(α);
• ? = c(δ)n^?1/2log^tn for t = log₂ = .3257 …, using an explicit recursive majority function with increasing arities; and
• ? = c(δ)n^?1/2, nonconstructively, following a probabilistic CNF construction due to Talagrand.

We also study the problem of achieving the best dependence on δ in the case that the noise rate ? is at least a small constant; the results we obtain are tight to within logarithmic factors. © 2003 Wiley Periodicals, Inc. Random Struct. Alg., 23: 333–350, 2003     

Existence and Concentration of Bound States of a Class of Nonlinear SchrSdinger Equations in R2 with Potential Tending to Zero at Infinity

In this paper, we establish the existence and concentration of solutions of a class of nonlinear Schr?dinger equation $$- \varepsilon ^2 \Delta u_\varepsilon + V\left( x \right)u_\varepsilon = K\left( x \right)\left| {u_\varepsilon } \right|^{p - 2} u_\varepsilon e^{\alpha _0 \left| {u_\varepsilon } \right|^\gamma } , u_\varepsilon > 0, u_\varepsilon \in H^1 \left( {\mathbb{R}^2 } \right),$$ where 2 < p < ∞, α ₀ > 0, 0 < γ < 2. When the potential function V (x) decays at infinity like (1 + |x|)^?α with 0 < α ≤ 2 and K(x) > 0 are permitted to be unbounded under some necessary restrictions, we will show that a positive H ¹(?²)-solution u _? exists if it is assumed that the corresponding ground energy function G(ξ) of nonlinear Schr?dinger equation $- \Delta u + V\left( \xi \right)u = K\left( \xi \right)\left| u \right|^{p - 2} ue^{\alpha _0 \left| u \right|^\gamma }$ has local minimum points. Furthermore, the concentration property of u _? is also established as ? tends to zero.     

Positive solution for fourth-order m-point nonhomogeneous boundary value problems

This paper is concerned with the following fourth-order m-point nonhomogeneous boundary value problem $$\begin{array}{l}u^{(4)}(t)=f(t,u(t),u^{\prime \prime }(t)),\quad 0<t<1,\\[3pt]u(0)=u(1)=u^{\prime \prime }(0)=0,\\[3pt]u^{\prime \prime }(1)-\displaystyle\sum_{i=1}^{m-2}a_{i}u^{\prime\prime }(\xi _{i})=-\lambda ,\end{array}$$ where a _i ≥0 (i=1,2,…,m?2), 0<ξ₁<ξ₂<???<ξ _m?2<1 and ∑ _i=1 ^m?2 a _i ξ _i <1, and λ>0 is a parameter. The existence and nonexistence of positive solution are discussed for suitable λ>0 when f is superlinear or sublinear. The main tool used is the well-known Guo-Krasnoselskii fixed point theorem.     

Blowup stability of solutions of the nonlinear heat equation with a large life span

We study the Cauchy problem for the nonlinear heat equation u_t-?u=|u|^p-1u in R^N. The initial data is of the form u₀=λ?, where ?∈C₀(R^N) is fixed and λ>0. We first take 1<p<p_f, where p_f is the Fujita critical exponent, and ?∈C₀(R^N)∩L¹(R^N) with nonzero mean. We show that u(t) blows up for λ small, extending the H. Fujita blowup result for sign-changing solutions. Next, we consider 1<p<p_s, where p_s is the Sobolev critical exponent, and ?(x) decaying as |x|^-σ at infinity, where p<1+2/σ. We also prove that u(t) blows up when λ is small, extending a result of T. Lee and W. Ni. For both cases, the solution enjoys some stable blowup properties. For example, there is single point blowup even if ? is not radial.     

A limit theorem for expectations conditional on a sum

Let ξ₁, ξ₂, ξ₃,... be a sequence of independent random variables, such that μ _j ?E[ξ _j ], 0<α?Var[ξ _j ] andE[|ξ _j ?μ _j |^2+δ] for some δ, 0<δ?1, and everyj?1. IfU and ξ₀ are two random variables such thatE[ξ ₀ ² ]<∞ andE[|U|ξ ₀ ² ]<∞, and the vector 〈U,ξ〉 is independent of the sequence {ξ _j :j?1}, then under appropriate regularity conditions $$E\left[ {U\left| {\xi _0 + S_n } \right. = \sum\limits_{j = 1}^n {\mu _j + c_n } } \right] = E[U] + O\left( {\frac{1}{{s_n^{1 + \delta } }}} \right) + O\left( {\frac{{|c_n |}}{{s_n^2 }}} \right)$$ whereS _n ?ξ₁+ξ₂+?+ξ _n ,μ _j ?E[ξ _j ],s _n ² ?Var[S _n ], andc _n =O(s _n ).     

Moser's theorem for lower dimensional tori

Moser's C^?-version of Kolmogorov's theorem on the persistence of maximal quasi-periodic solutions for nearly-integrable Hamiltonian system is extended to the persistence of non-maximal quasi-periodic solutions corresponding to lower-dimensional elliptic tori of any dimension n between one and the number of degrees of freedom. The theorem is proved for Hamiltonian functions of class C^? for any ?>6n+5 and the quasi-periodic solutions are proved to be of class C^p for any p with 2<p<p_* for a suitable p_*=p_*(n,?)>2 (which tends to infinity when ?→∞).     

Equiconvergence of spectral decompositions of Hill operators

We study in various functional spaces the equiconvergence of spectral decompositions of the Hill operator L = ?d ²/dx ² + v(x), x ∈ L ¹([0, π], with H _per ^?1 -potential and the free operator L ⁰ = ?d ²/dx ², subject to periodic, antiperiodic or Dirichlet boundary conditions. In particular, we prove that $\left\| {S_N - S_N^0 :L^a \to L^b } \right\| \to 0if1 < a \leqslant b < \infty ,1/a - 1/b < 1/2,$ , where S _N and S _N ⁰ are the N-th partial sums of the spectral decompositions of L and L ⁰. Moreover, if v ∈ H ^?α with 1/2 < α < 1 and $\frac{1} {a} = \frac{3} {2} - \alpha $ , then we obtain the uniform equiconvergence ‖S _N ?S _N ⁰ : L ^a → L ^∞‖ → 0 as N → ∞.     

Sharp bounds for integral means

We introduce a bound M of f, ‖f‖_∞?M?2‖f‖_∞, which allows us to give for 0?p<∞ sharp upper bounds, and for −∞<p<0 sharp lower bounds for the average of |f|^p over E if the average of f over E is zero. As an application we give a new proof of Grüss's inequality estimating the covariance of two random variables. We also give a new estimate for the error term in the trapezoidal rule.     

Sparsity and non-Euclidean embeddings

We present a relation between sparsity and non-Euclidean isomorphic embeddings. We introduce a general restricted isomorphism property and show how it enables one to construct embeddings of ? _p ⁿ , p > 0, into various types of Banach or quasi-Banach spaces. In particular, for 0 < r < p < 2 with r ≤ 1, we construct a family of operators that embed ? _p ⁿ into $\ell _r^{(1 + \eta )n}$ , with sharp polynomial bounds in η > 0.     

Generalized Christoffel functions for Jacobi-exponential weights

Assume that W=e ^?Q where I:=(a,b), ?∞≦a<0<b≦∞, and Q:?I→[0,∞) is continuous and increasing. Let 0<p<∞, a<t _r <t _r?1<?<t ₁<b, p _i >?1/p, i=1,2,…,r, and $U(x)=\prod_{i=1}^{r} {|x-t_{i}|}^{p_{i}}$ . We give the L _p Christoffel functions for the Jacobi-exponential weight WU. In addition, we obtain restricted range inequalities.