Sums of almost equal prime cubes

We prove that almost all integers N satisfying some necessary congruence conditions are the sum of j almost equal prime cubes with j = 5; 6; 7; 8, i.e., N = p ₁³ + ... + p _j ³ with |p _i − (N/j)^1/3| ≦ $ N^{1/3 - \delta _j + \varepsilon } $ N^{1/3 - \delta _j + \varepsilon } (1 ≦ i ≦ j), for δ _j = 1/45; 1/30; 1/25; 2/45, respectively.     

Diophantine approximation with one prime and three squares of primes

We show that if λ ₁,λ ₂,λ ₃,λ ₄ are nonzero real numbers, not all of the same sign, η is real, and at least one of the ratios λ ₁/λ _j (j=2,3,4) is irrational, then given any real number ω>0, there are infinitely many ordered quadruples of primes (p ₁,p ₂,p ₃,p ₄) for which

Systems of equations driven by stable processes

Let Z^j_t, j = 1, . . . , d, be independent one-dimensional symmetric stable processes of index α ∈ (0,2). We consider the system of stochastic differential equations where the matrix A(x)=(A_ij(x))1≤ i, j ≤ d is continuous and bounded in x and nondegenerate for each x. We prove existence and uniqueness of a weak solution to this system. The approach of this paper uses the martingale problem method. For this, we establish some estimates for pseudodifferential operators with singular state-dependent symbols. Let λ₂ > λ₁ > 0. We show that for any two vectors a, b∈ ℝ_d with |a|, |b| ∈ (λ₁, λ₂) and p sufficiently large, the L^p-norm of the operator whose Fourier multiplier is (|u · a|^α - |u · b|^α) / ∑_j=1^d |u_i|^α is bounded by a constant multiple of |a−b|^θ for some θ > 0, where u=(u₁ , . . . , u_d) ∈ ℝ^d. We deduce from this the L^p-boundedness of pseudodifferential operators with symbols of the form ψ(x,u)=|u · a(x)|^α / ∑_j=1^d |u_i|^α, where u=(u₁,...,u_d) and a is a continuous function on ℝ^d with |a(x)|∈ (λ₁, λ₂) for all x∈ ℝ^d. Research partially supported by NSF grant DMS-0244737. Research partially supported by NSF grant DMS-0303310.     

Small prime solutions to cubic equations

Let a_1,..., a_9 be nonzero integers not of the same sign, and let b be an integer. Suppose that a_1,..., a_9 are pairwise coprime and a_1 + + a_9 ≡ b(mod 2). We apply the p-adic method of Davenport to find an explicit P = P(a_1,..., a_9, n) such that the cubic equation a_1p_1~3+ + a9p_9~3= b is solvable with p_j 《 P for all 1 ≤ j ≤ 9. It is proved that one can take P = max{|a_1|,..., |a_9|}~c+ |b|~(1/3) with c = 2. This improves upon the earlier result with c = 14 due to Liu(2013).     

On the difference between the number of prime divisors at consecutive integers

Suppose thatg(n) is equal to the number of divisors ofn, counting multiplicity, or the number of divisors ofn, a≠0 is an integer, andN(x,b)=|{n∶n≤x, g(n+a)−g(n)=b orb+1}|. In the paper we prove that sup _b N(x,b)≤C(a)x)(log log 10 _x )^−1/2 and that there exists a constantC(a,μ)>0 such that, given an integerb |b|≤μ(log logx)^1/2,x≥x _o, the inequalityN(x,b)≥C(a,μ)x(log logx(^−1/2) is valid. Translated fromMatematicheskie Zametki, Vol. 66, No. 4, pp. 579–595, October, 1999.     

Tame Sets in the Complement of Algebraic Variety

Let A?? ^N be an algebraic variety with dim?A≤N?2. Given discrete sequences {a _j },{b _j }?? ^N \ A with slow growth ( $\sum_{j}{1\over|a_{j}|^{2}}<\infty,\sum_{j}{1\over |b_{j}|^{2}}<\inftyLet A⊂ℂ ^N be an algebraic variety with dim A≤N−2. Given discrete sequences {a _j },{b _j }⊂ℂ ^N \ A with slow growth ( ?_j[1/(|a_j|²)] < ￥,?_j[1/(|b_j|²)] < ￥\sum_{j}{1\over|a_{j}|^{2}}<\infty,\sum_{j}{1\over |b_{j}|^{2}}<\infty ) we construct a holomorphic automorphism F with F(z)=z for all z∈A and F(a _j )=b _j for all j∈ℕ. Additional approximation of a given automorphism on a compact polynomially convex set, fixing A, is also possible. Given unbounded analytic variety A there is a tame set E such that F(E)≠{(j,0 ^N−1):j∈ℕ} for all automorphisms F with F| _A =id. As an application we obtain an embedding of a Stein manifold into the complement of an algebraic variety in ℂ ^N with interpolation on a given discrete set.     

Additive Latin transversals and group rings

LetA={a ₁, …,a _k} and {b ₁, …,b _k} be two subsets of an abelian groupG, k≤|G|. Snevily conjectured that, when |G| is odd, there is a numbering of the elements ofB such thata _i+b _i,1≤i≤k are pairwise distinct. By using a polynomial method, Alon affirmed this conjecture for |G| prime, even whenA is a sequence ofk<|G| elements. With a new application of the polynomial method, Dasgupta, Károlyi, Serra and Szegedy extended Alon’s result to the groupsZ _p ^r andZ _p ^rin the casek<p and verified Snevily’s conjecture for every cyclic group. In this paper, by employing group rings as a tool, we prove that Alon’s result is true for any finite abelianp-group withk<√2p, and verify Snevily’s conjecture for every abelian group of odd order in the casek<√p, wherep is the smallest prime divisor of |G|. This work has been supported partly by NSFC grant number 19971058 and 10271080.     

Eventually areally meanp-valent functions

Theorems concerning areally meanp-valent functions are extended to eventually areally meanp-valent functions. In particular, suppose is eventually areally meanp-valent in the unit disc,b, c are positive integers,a≧max {p−1, 0}. If |a _n|≦Cn ^α for alln=bm+c,m=1, 2, …, then |a _n|≦C′n ^α for alln. This is a marked extension of results due to Goluzin and to Hayman.     

Conditional bounds for small prime solutions of linear equations

Leta ₁,a ₂,a ₃ be non-zero integers with gcd(a ₁ a ₂,a ₃)=1 and letb be an arbitrary integer satisfying gcd (b, a _i,a _j) =1 fori≠j andb≡a ₁+a ₂+a ₃ (mod 2). In a previous paper [3] which completely settled a problem of A. Baker, the 2nd and 3rd authors proved that ifa ₁,a ₂,a ₃ are not all of the same sign, then the equationa ₁ p ₁+a ₂ p ₂+a ₃ p ₃=b has a solution in primesp _j satisfying $$\mathop {\max }\limits_{1 \leqslant j \leqslant 3} p_j \leqslant 3\left| b \right| + (3\mathop {\max }\limits_{1 \leqslant j \leqslant 3} \left| {a_j } \right|)^A $$ whereA>0 is an absolute constant. In this paper, under the Generalized Riemann Hypothesis, the authors obtain a more precise bound for the solutionsp _j . In particular they obtainA<4+∈ for some ∈>0. An immediate consquence of the main result is that the Linnik's courtant is less than or equal to 2.     

On the blow-up of solutions to anisotropic parabolic equations with variable nonlinearity

The aim of this paper is to establish sufficient conditions of the finite time blow-up in solutions of the homogeneous Dirichlet problem for the anisotropic parabolic equations with variable nonlinearity $ u_t = \sum\nolimits_{i = 1}^n {D_i (a_i (x,t)|D_i u|^{p^i (x) - 2} D_i u) + \sum\nolimits_{i = 1}^K {b_i (x,t)|u|^{\sigma _i (x,t) - 2} u} } $ u_t = \sum\nolimits_{i = 1}^n {D_i (a_i (x,t)|D_i u|^{p^i (x) - 2} D_i u) + \sum\nolimits_{i = 1}^K {b_i (x,t)|u|^{\sigma _i (x,t) - 2} u} } . Two different cases are studied. In the first case a _i ≡ a _i (x), p _i ≡ 2, σ _i ≡ σ _i (x, t), and b _i (x, t) ≥ 0. We show that in this case every solution corresponding to a “large” initial function blows up in finite time if there exists at least one j for which min σ _j (x, t) > 2 and either b _j > 0, or b _j (x, t) ≥ 0 and Σ_π b _j ^−ρ(t)(x, t) dx < ∞ with some σ(t) > 0 depending on σ _j . In the case of the quasilinear equation with the exponents p _i and σ _i depending only on x, we show that the solutions may blow up if min σ _i ≥ max p _i , b _i ≥ 0, and there exists at least one j for which min σ _j > max p _j and b _j > 0. We extend these results to a semilinear equation with nonlocal forcing terms and quasilinear equations which combine the absorption (b _i ≤ 0) and reaction terms.     

On sums of a prime and four prime squares in short intervals

In this paper, we prove that each sufficiently large integer N ≠1（mod 3） can be written as N=p＋p1^2＋p2^2＋p3^2＋p4^2, with
｜p-N/5｜≤U,｜pj-√N/5｜≤U,j=1,2,3,4,
where U=N^2/20＋c and p,pj are primes.     

Remainder estimates for the approximation numbers of weighted Hardy operators acting onL 2

We consider the weighted Hardy integral operatorT:L ²(a, b) →L ²(a, b), −∞≤a<b≤∞, defined by . In [EEH1] and [EEH2], under certain conditions onu andv, upper and lower estimates and asymptotic results were obtained for the approximation numbersa _n(T) ofT. In this paper, we show that under suitable conditions onu andv, where ∥w∥_p=(∫ _a ^b |w(t)|^p dt)^1/p. Research supported by NSERC, grant A4021. Research supported by grant No. 201/98/P017 of the Grant Agency of the Czech Republic.     

Asymptotic behaviour of the phase in non-smooth obstacle scattering

In this paper, we study the asymptotic behaviour of the scattering phases(λ) of the Dirichlet Laplacian associated with obstacle , where Ω is a bounded open subset of ℝ ⁿ (n≥2) with non-smooth boundary ∂Ω and connected complement Ω _e =ℝ ⁿ . We can prove that if Ω satisfies a certain geometrical condition, then

Decay rate of the range component of solutions to some semilinear evolution equations

We examine the rate of decay to 0, as t → +∞., of the projection on the range of A of the solutions of an equation of the form u′ + Au + |u| ^p−1 u = 0 or u′′ + u′ + Au + |u| ^p−1 u = 0 in a bounded domain of ^N , where A = −Δ with Neumann boundary conditions or A = −Δ − λ₁ I with Dirichlet boundary conditions. In general this decay is much faster than the decay of the projection on the kernel; it is often exponential, but apparently not always.     

Commutators of BMO functions and degenerate Schr?dinger operators with certain nonnegative potentials

Let Lf(x)=-\frac1w?_i,j ?_i(a_i,j(·)?_jf)(x)+V(x)f(x){\mathcal{L}f(x)=-\frac{1}{\omega}\sum_{i,j} \partial_i(a_{i,j}(\cdot)\partial_jf)(x)+V(x)f(x)} with the non-negative potential V belonging to reverse H?lder class with respect to the measure ω(x)dx, where ω(x) satisfies the A ₂ condition of Muckenhoupt and a _i,j (x) is a real symmetric matrix satisfying l^-1w(x)|x|² ￡ ?ⁿ_i,j=1a_i,j(x)x_ix_j ￡ lw(x)|x|².{\lambda^{-1}\omega(x)|\xi|^2\le \sum^n_{i,j=1}a_{i,j}(x)\xi_i\xi_j\le\lambda\omega(x)|\xi|^2. } We obtain some estimates for V^aL^-a{V^{\alpha}\mathcal{L}^{-\alpha}} on the weighted L ^p spaces and we study the weighted L ^p boundedness of the commutator [b, V^a L^-a]{[b, V^{\alpha} \mathcal{L}^{-\alpha}]} when b ? BMO_w{b\in BMO_\omega} and 0 < α ≤ 1.     

Inequalities of Hlawka type for matrices

A generalized Hlawka's inequality says that for any n (\geqq 2) (\geqq 2) complex numbers¶ x₁, x₂, ..., x_n,¶¶ ?_i=1ⁿ|x_i - ?_j=1ⁿx_j| \leqq ?_i=1ⁿ|x_i| + (n - 2)|?_j=1ⁿx_j|. \sum_{i=1}^n\Bigg|x_i - \sum_{j=1}^{n}x_j\Bigg| \leqq \sum_{i=1}^{n}|x_i| + (n - 2)\Bigg|\sum_{j=1}^{n}x_j\Bigg|. ¶¶ We generalize this inequality to the trace norm and the trace of an n x n matrix A as¶¶ ||A - Tr A ||₁ \leqq ||A||₁ + (n - 2)| Tr A|. ||A - {\rm Tr} A ||_1\ \leqq ||A||_1 + (n - 2)| {\rm Tr} A|. ¶¶ We consider also the related inequalities for p-norms (1 \leqq p \leqq ￥) (1 \leqq p \leqq \infty) on matrices.     

Score sets in oriented 3-partite graphs

Let D(U, V, W) be an oriented 3-partite graph with |U|=p, |V|=q and |W|= r. For any vertex x in D(U, V, W), let d x and d-x be the outdegree and indegree of x respectively. Define aui (or simply ai) = q r d ui - d-ui, bvj(or simply bj) = p r d vj - d-vj and Cwk (or simply ck) = p q d wk - d-wk as the scores of ui in U, vj in V and wk in Wrespectively. The set A of distinct scores of the vertices of D(U, V, W) is called its score set. In this paper, we prove that if a1 is a non-negative integer, ai(2≤i≤n - 1) are even positive integers and an is any positive integer, then for n≥3, there exists an oriented 3-partite graph with the score set A = {a1,2∑i=1 ai,…,n∑i=1 ai}, except when A = {0,2,3}. Some more results for score sets in oriented 3-partite graphs are obtained.     

On the global well-posedness of a class of Boussinesq�CNavier�CStokes systems

In this paper we consider the following 2D Boussinesq–Navier–Stokes systems

Inequalities for a Polynomial and Its Derivative II

A well-known result of Rivlin states that if p(z) is a polynomial of degree n, such that p(z) ≠ 0 in |z| < 1, then max_{|z|=r < 1} |p(z)| ≤ ((r + 1)/2)ⁿ max_{|z| = 1} |p(z)|. In this paper, we consider the polynomial p(z) = a₀ + Σⁿ_{v = μ}a_υz^υ having all its zeros in |z| ≤ k > 1 and obtain a generalization of this result. Our result improves upon a result recently proved by Bidkham and Dewan (J. Math. Anal. Appl.166 (1992), 19-324).     

Characterization of polyanalytic functions by meromorphic extensions from chains of circles

Let C _t = {z ∈ ℂ: |z − c(t)| = r(t), t ∈ (0, 1)} be a C ¹-family of circles in the plane such that lim _t→0+ C _t = {a}, lim _t→1− C _t = {b}, a ≠ b, and |c′(t)|² + |r′(t)|² ≠ 0. The discriminant set S of the family is defined as the closure of the set {c(t) + r(t)w(t), t ∈ [0, 1]}, where w = w(t) is the root of the quadratic equation ̅c′(t)w ² + 2r′(t)w + c′(t) = 0 with |w| < 1, if such a root exists.