Reconstruction and Subgaussian Operators in Asymptotic Geometric Analysis

We present a randomized method to approximate any vector from a set . The data one is given is the set T, vectors of and k scalar products , where are i.i.d. isotropic subgaussian random vectors in , and . We show that with high probability, any for which is close to the data vector will be a good approximation of , and that the degree of approximation is determined by a natural geometric parameter associated with the set T. We also investigate a random method to identify exactly any vector which has a relatively short support using linear subgaussian measurements as above. It turns out that our analysis, when applied to {−1, 1}-valued vectors with i.i.d. symmetric entries, yields new information on the geometry of faces of a random {−1, 1}-polytope; we show that a k- dimensional random {−1, 1}-polytope with n vertices is m-neighborly for The proofs are based on new estimates on the behavior of the empirical process when F is a subset of the L ₂ sphere. The estimates are given in terms of the γ ₂ functional with respect to the ψ ₂ metric on F, and hold both in exponential probability and in expectation. Received: November 2005, Revision: May 2006, Accepted: June 2006     

On the riemann zeta-function and the divisor problem

Let Δ(x) denote the error term in the Dirichlet divisor problem, and E(T) the error term in the asymptotic formula for the mean square of . If with , then we obtain

Multiple Boundary Concentrating Solutions to Dirichlet Problem of Hénon Equation

Abstract  Let Ω be the unit ball centered at the origin in . We study the following problem

The Cauchy Problem for the Generalized Korteweg-de Vries-Benjamin-Ono Equation with Low Regularity Data

The Cauchy problem of the generalized Korteweg-de Vries-Benjamin-Ono equation is considered, and low regularity and limit behavior of the solutions are obtained. For k = 1, local well- posedness is obtained for data in H^s（R）（s 〉 -3/4）. For k = 2, local result for data in H^S（R）（s 〉1/4） is obtained. For k = 3, local result for data in H^S（R）（s 〉 -1/6） is obtained. Moreover, the solutions of generalized Korteweg-de Vries-Benjamin-Ono equation converge to the solutions of KdV equation if the term of Benjamin-Ono equation tends to zero.     

On the weighted elliptic problems involving multi-singular potentials and multi-critical exponents

Suppose Ω belong to R^N（N≥3） is a smooth bounded domain,ξi∈Ω,0〈ai〈√μ,μ：=（（N-1）/2）^2,0≤μi〈（√μ-ai）^2,ai〈bi〈ai＋1 and pi：=2N/N-2（1＋ai-bi）are the weighted critical Hardy-Sobolev exponents, i = 1, 2,..., k, k ≥ 2. We deal with the conditions that ensure the existence of positive solutions to the multi-singular and multi-critical elliptic problem ∑i=1^k（-div（｜x-ξi｜^-2ai△↓u）-μiu/｜x-ξi｜^2（1＋ai）-u^pi-1/｜x-ξi｜^bipi）=0with Dirichlet boundary condition, which involves the weighted Hardy inequality and the weighted Hardy-Sobolev inequality. The results depend crucially on the parameters ai, bi and #i, i -- 1, 2,..., k.     

A footnote to mean square value of DirichletL-series

Following appropriate use of approximate functional equation for Hurwitz Zeta function, we obtain upper bounds for } Here fors = σ + it, L(s,x) denotes DirichletL-series for character x(modq). In particular, we obtain S(1/2 +it) ≪q logqt + t^5/8 q^−1/8, which is an improvement in the range q |t| < q^11/7, on hitherto best known result. This incidentally gives S(1/2+ it)≪ q log3q for |t|q^9/5.     

Isometries and direct decompositions of pseudo MV-algebras

In the paper isometries in pseudo MV-algebras are investigated. It is shown that for every isometry f in a pseudo MV-algebra = (A, ⊕, ⁻, ^∼, 0, 1) there exists an internal direct decomposition of with commutative such that and for each x ∈ A. On the other hand, if is an internal direct decomposition of a pseudo MV-algebra = (A, ⊕, ⁻, ^∼, 0, 1) with commutative, then the mapping g: A → A defined by is an isometry in and .      

Finite p-groups with automorphism of a special form

Research on finite solvable groups with C-closed invariant subgroups has given rise to groups structured as follows. Let p, q₁, q₂, ..., q_m be distinct primes, n_i be the exponent of p modulo q_i, and n be the exponent of p modulo . Then G = Pλ〈x〉, where P is a group and ; Z_i; here, Z_i and P/Z(P) are elementary Abelian groups of respective orders and pⁿ, |x| = r, the element x acts irreducibly on P/Z(P) and on each of the subgroups Z_i, and . We state necessary and sufficient conditions for such groups to exist. __________ Translated from Algebra i Logika, Vol. 45, No. 4, pp. 379–389, July–August, 2006.     

Integration and Lipschitz functions

The aim of the paper is to prove that every f ∈ L ¹([0,1]) is of the form f = , where j _n,k is the characteristic function of the interval [k- 1 / 2 ⁿ , k / 2 ⁿ ) and Σ _n=0^∞Σ _k=1²ⁿ |a _n,k | is arbitrarily close to ||f|| (Theorem 2). It is also shown that if μ is any probabilistic Borel measure on [0,1], then for any ɛ > 0 there exists a sequence (b _n,k ) _n≧0 ^k=1,...,2n of real numbers such that and for each Lipschitz function g: [0,1] → ℝ (Theorem 3).      

Series and product representations for some mathematical constants

We present several series and product representations for γ, π, and other mathematical constants. One of our results states that, for all real numbers μ s>0, we have

An extension of Takahashi theorem for the linearized operators of the higher order mean curvatures

We study hypersurfaces in Euclidean space whose position vector x satisfies the condition L _k x = Ax + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed , is a constant matrix and is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature and open pieces of round hyperspheres and generalized right spherical cylinders of the form , with . This extends a previous classification for hypersurfaces in satisfying , where is the Laplacian operator of the hypersurface, given independently by Hasanis and Vlachos [J. Austral. Math. Soc. Ser. A 53, 377–384 (1991) and Chen and Petrovic [Bull. Austral. Math. Soc. 44, 117–129 (1991)].      

Estimates for spectral projection operators of the sub-laplacian on the heisenberg group

In this paper, we use Laguerre calculus to find theLP spectrum (λ, Μ) of the pair (L, iT). Here md T = ∂/∂t with a basis for the left-invariant vector fields on the Heisenberg group. We find kernels for the spectral projection operators on the ray λ > 0 in the Heisenberg brush and show that they are Calderón-Zygmund-Mikhlin operators. Estimates for these operators in L _k ^p (H_n), H^P(H_n), and S _k ^pv (H_n) spaces can therefore be deduced.     

On Sikkema-Kantorovič polynomials of order K

Let a_n≥0 and F(u)∈C [0,1], Sikkema constructed polynomials: , ifα _n ≡0, then B_n (0, F, x) are Bernstein polynomials. Let , we constructe new polynomials in this paper: Q _n ^(k) (α _n ,f(t))=d ^k /dx ^k B _n+k (α _n ,F _k (u),x), which are called Sikkema-Kantorovic polynomials of order k. Ifα _n ≡0, k=1, then Q_n ⁽¹⁾ (0, f(t), x) are Kantorovič polynomials P_n(f). Ifα _n =0, k=2, then Q_n ⁽²⁾, (0, f(t), x) are Kantorovič polynomials of second order (see Nagel). The main result is: Theorem 2. Let 1≤p≤∞, in order that for every f∈L^P [0, 1], , it is sufficient and necessary that , § 1. Let f(t) de a continuous function on [a, b], i. e., f∈C [a, b], we define^{[1–2],[8–10]}: . As usual, for the space L^p [a,b](1≤p<∞), we have and L[a, b]=l¹[a, b]. Letα _n ⩾0and F(u)∈C[0,1],Sikkema-Bernstein polynomials ^{[3] [4]}. The author expresses his thanks to Professor M. W. Müller of Dortmund University at West Germany for his supports.     

On a class of nonlinear problems involving a p(x)-Laplace type operator

We study the boundary value problem in Ω, u = 0 on ∂Ω, where Ω is a smooth bounded domain in ℝ ^N . Our attention is focused on two cases when , where m(x) = max{p ₁(x), p ₂(x)} for any x ∈ or m(x) < q(x) < N · m(x)/(N − m(x)) for any x ∈ . In the former case we show the existence of infinitely many weak solutions for any λ > 0. In the latter we prove that if λ is large enough then there exists a nontrivial weak solution. Our approach relies on the variable exponent theory of generalized Lebesgue-Sobolev spaces, combined with a ℤ₂-symmetric version for even functionals of the Mountain Pass Theorem and some adequate variational methods.     

The Threshold for the Erdos, Jacobson and Lehel Conjecture to Be True

Let σ（k, n） be the smallest even integer such that each n-term positive graphic sequence with term sum at least σ（k, n） can be realized by a graph containing a clique of k ＋ 1 vertices. Erdos et al. （Graph Theory, 1991, 439-449） conjectured that σ（k, n） = （k - 1）（2n- k） ＋ 2. Li et al. （Science in China, 1998, 510-520） proved that the conjecture is true for k 〉 5 and n ≥ （k2） ＋ 3, and raised the problem of determining the smallest integer N（k） such that the conjecture holds for n ≥ N（k）. They also determined the values of N（k） for 2 ≤ k ≤ 7, and proved that [5k-1/2] ≤ N（k） ≤ （k2） ＋ 3 for k ≥ 8. In this paper, we determine the exact values of σ（k, n） for n ≥ 2k＋3 and k ≥ 6. Therefore, the problem of determining σ（k, n） is completely solved. In addition, we prove as a corollary that N（k） -= [5k-1/2] for k ≥6.     

Automorphic L-Functions in the Weight Aspect

Let S_k(Γ) be the space of holomorphic Γ-cusp forms f(z) of even weight k ≥ 12 for Γ = SL(2, ℤ), and let S_k(Γ)⁺ be the set of all Hecke eigenforms from this space with the first Fourier coefficient a_f(1) = 1. For f ∈ S_k(Γ)⁺, consider the Hecke L-function L(s, f). Let

Solutions to Some Open Problems in Fluid Dynamics

Let u=u（x,t,uo）represent the global solution of the initial value problem for the one-dimensional fluid dynamics equation ut-εuxxt＋δux＋γHuxx＋βuxxx＋f（u）x=αuxx,u（x,0）=uo（x）, whereα〉0,β〉0,γ〉0,δ〉0 andε〉0 are constants.This equation may be viewed as a one-dimensional reduction of n-dimensional incompressible Navier-Stokes equations. The nonlinear function satisfies the conditions f（0）=0,｜f（u）｜→∞as ｜u｜→∞,and f∈C^1（R）,and there exist the following limits Lo=lim sup/u→o f（u）/u^3 and L∞=lim sup/u→∞ f（u）/u^5 Suppose that the initial function u0∈L^I（R）∩H^2（R）.By using energy estimates,Fourier transform,Plancherel＇s identity,upper limit estimate,lower limit estimate and the results of the linear problem vt-εv（xxt）＋δvx＋γHv（xx）＋βv（xxx）=αv（xx）,v（x,0）=vo（x）, the author justifies the following limits（with sharp rates of decay） lim t→∞[（1＋t）^（m＋1/2）∫｜uxm（x,t）｜^2dx]=1/2π（π/2α）^（1/2）m!!/（4α）^m[∫R uo（x）dx]^2, if∫R uo（x）dx≠0, where 0!!=1,1!!=1 and m!!=1·3…（2m-3）…（2m-1）.Moreover lim t→∞[（1＋t）^（m＋3/2）∫R｜uxm（x,t）｜^2dx]=1/2π（x/2α）^（1/2）（m＋1）!!/（4α）^（m＋1）[∫Rρo（x）dx]^2, if the initial function uo（x）=ρo′（x）,for some functionρo∈C^1（R）∩L^1（R）and∫Rρo（x）dx≠0.     

The Cauchy-Dirichlet problem for the heat equation in Besov spaces

The solvability in anisotropic spaces , σ ∈ ℝ₊, p, q ∈ (1, ∞), of the heat equation u_t − Δu = f in Ω^T ≡ (0, T) × Ω is studied under the boundary and initial conditions u = g on S^T, u|_t=0 = u₀ in Ω, where S is the boundary of a bounded domain Ω ⊂ ℝⁿ. The existence of a unique solution of the above problem is proved under the assumptions that and under some additional conditions on the data. The existence is proved by the technique of regularizers. For this purpose the local-in-space solvability near the boundary and near an interior point of Ω is needed. To show the local-in-space existence, the definition of Besov spaces by the dyadic decomposition of a partition of unity is used. This enables us to get an appropriate estimate in a new and promising way without applying either the potential technique or the resolvent estimates or the interpolation. Bibliography: 26 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 348, 2007, pp. 40–97.     

Natural bounded concentrators

We give the first known direct construction for linear families of bounded concentrators. The construction is explicit and the results are simple natural bounded concentrators. Let be the field withq elements,g(x)∈F _q [x] of degree greater than or equal to 2, and . LetI _nputs=H/A,O _utputs=H/B, and draw an edge betweenaA andbB iffaA∩bB≠ϕ. We prove that for everyq≥5 this graph is an concentrator. Part of this research was done while the author was at the department of Computer Science, The University of British Columbia, Vancouver, B.C., Canada.     

Inclusion-exclusion inequalities

Ifμ is a positive measure, andA ₂, ...,A _n are measurable sets, the sequencesS ₀, ...,S _n andP _[0], ...,P _[n] are related by the inclusion-exclusion equalities. Inequalities among theS _i are based on the obviousP _[k]≧0. Letting =the average average measure of the intersection ofk of the setsA _i , it is shown that (−1) ^k Δ ^k M _i ≧0 fori+k≦n. The casek=1 yields Fréchet’s inequalities, andk=2 yields Gumbel’s and K. L. Chung’s inequalities. Generalizations are given involvingk-th order divided differences. Using convexity arguments, it is shown that forS ₀=1, whenS ₁≧N−1, and for 1≦k<N≦n andv=0, 1, .... Asymptotic results asn → ∞ are obtained. In particular it is shown that for fixedN, for all sequencesM ₀, ...,M _n of sufficiently large length if and only if for 0<t<1.