Semiconcavity estimates for viscous Hamilton–Jacobi equations

We present sharp Hessian estimates of the form D² S^e(t,x) ￡ g(t)I{D^2 S^\varepsilon(t,x)\leq g(t)I} for the solution of the viscous Hamilton–Jacobi equation

Gaussian upper bounds for fundamental solutions of a family of parabolic equations

We study the family of divergence-type second-order parabolic equations w_e(x)\frac?u?t=div(a(x)w_e(x) ?u), x ? \mathbbRⁿ{\omega_\varepsilon(x)\frac{\partial u}{\partial t}={\rm div}(a(x)\omega_\varepsilon(x) \nabla u), x \in \mathbb{R}^n} , with parameter ${\varepsilon >0 }${\varepsilon >0 } , where a(x) is uniformly elliptic matrix and w_e=1{\omega_\varepsilon=1} for x _n  < 0 and w_e=e{\omega_\varepsilon=\varepsilon} for x _n  > 0. We show that the fundamental solution obeys the Gaussian upper bound uniformly with respect to e{\varepsilon} .     

Gaussian mean curvature flow

In the Euclidean Space \mathbb Rⁿ⁺¹{\mathbb {R}^{n+1}} with a density e^{e\frac12 n m2 |x|2}, (e = ±1){e^{\varepsilon \frac12 n \mu^2 |x|^2},} {(\varepsilon =\pm1}), we consider the flow of a hypersurface driven by its mean curvature associated to this density. We give a detailed account of the evolution of a convex hypersurface under this flow. In particular, when e = -1{ \varepsilon=-1} (Gaussian density), the hypersurface can expand to infinity or contract to a convex hypersurface (not necessarily a sphere) depending on the relation between the bound of its principal curvatures and μ.     

The irreducibility in ordered Banach algebras

Let A be an ordered Banach algebra. Put

On Sums of Two Coprime k-th Powers(II)

For fixed k ≥ 3, let E_k(x) denote the error term of the sum ?_{n ￡ x}r_k(n)\sum_{n\le x}\rho_k(n) , where r_k(n) = ?_{n=|m|^k+|l|^k, g.c.d.(m,l)=1}\rho_k(n) = \sum_{n=|m|^k+|l|^k, g.c.d.(m,l)=1} 1. It is proved that if the Riemann hypothesis is true, then E₃(x) << x^331/1254+eE_3(x)\ll x^{331/1254+\varepsilon} , E₄(x) << x^37/184+eE_4(x)\ll x^{37/184+\varepsilon} . A short interval result is also obtained.     

On the distribution of square-full integers

Let A(x) A(x) be the number of square-full integers \leqq x \leqq x and let D(x) \Delta(x) be the error term in the asymptotic formula for A(x) A(x) . Under the Riemann hypothesis, we show that D(x) << x^[12/85]+e \Delta(x)\ll x^{{12\over 85}+\varepsilon} . This improves the earlier results of Zhu and Yu [17], Cao [4, II], Liu [9] and Wu [16], which requires [ 1/7 ] 1\over 7 in place of [ 12/85 ] 12\over 85 .     

Bound states to critical quasilinear Schr?dinger equations

In this paper, we consider the critical quasilinear Schr?dinger equations of the form

On exponential sums over primes in short intervals

Let Λ(n) be the von Mangoldt function, x real and y small compared with x. This paper gives a non-trivial estimate on the exponential sum over primes in short intervals S₂(x,y;a)=?_{x < n ￡ x+y}L(n)e(n² a)S_2(x,y;{\alpha})=\sum_{x < n \le x+y}\Lambda(n)e(n^2 {\alpha}) for all α ∈ [0,1] whenever x^\frac23+e ￡ y ￡ xx^{\frac{2}{3}+{\varepsilon}}\le y \le x . This result is as good as what was previously derived from the Generalized Riemann Hypothesis.     

Packing dimension and Ahlfors regularity of porous sets in metric spaces

Let X be a metric measure space with an s-regular measure μ. We prove that if A ì X{A\subset X} is r{\varrho} -porous, then dim_p(A) ￡ s-cr^s{{\rm {dim}_p}(A)\le s-c\varrho^s} where dim_p is the packing dimension and c is a positive constant which depends on s and the structure constants of μ. This is an analogue of a well known asymptotically sharp result in Euclidean spaces. We illustrate by an example that the corresponding result is not valid if μ is a doubling measure. However, in the doubling case we find a fixed N ì X{N\subset X} with μ(N) = 0 such that dim_p(A) ￡ dim_p(X)-c(log\tfrac1r)^-1r^t{{\rm {dim}_p}(A)\le{\rm {dim}_p}(X)-c(\log \tfrac1\varrho)^{-1}\varrho^t} for all r{\varrho} -porous sets A ì X\ N{A \subset X{\setminus} N} . Here c and t are constants which depend on the structure constant of μ. Finally, we characterize uniformly porous sets in complete s-regular metric spaces in terms of regular sets by verifying that A is uniformly porous if and only if there is t < s and a t-regular set F such that A ì F{A\subset F} .     

On the existence and stability of periodic orbits in non ideal problems: General results

In this work, motivated by non-ideal mechanical systems, we investigate the following O.D.E. [(x)\dot] = f (x) + eg (x, t) + e²[^(g)] (x, t, e){\dot{x} = f (x) + \varepsilon g (x, t) + \varepsilon^{2}\widehat{g} (x, t, \varepsilon)} , where x ? W ì \mathbbRⁿ{x \in \Omega \subset \mathbb{R}^n} , g,[^(g)]{g,\widehat{g}} are T periodic functions of t and there is a ₀ ∈ Ω such that f ( a ₀) = 0 and f ′( a ₀) is a nilpotent matrix. When n = 3 and f (x) = (0, q (x ₃) , 0) we get results on existence and stability of periodic orbits. We apply these results in a non ideal mechanical system: the Centrifugal Vibrator. We make a stability analysis of this dynamical system and get a characterization of the Sommerfeld Effect as a bifurcation of periodic orbits.     

An algorithm for semi-infinite polynomial optimization

We consider the semi-infinite optimization problem:

Multiple recurrence and nilsequences

Aiming at a simultaneous extension of Khintchine(X,X,m,T)(X,\mathcal{X},\mu,T) and a set A ? XA\in\mathcal{X} of positive measure, the set of integers n such that A T^2nA T^knA)(A)^k+1-\mu(A{\cap} T^{n}A{\cap} T^{2n}A{\cap} \ldots{\cap} T^{kn}A)>\mu(A)^{k+1}-\epsilon is syndetic. The size of this set, surprisingly enough, depends on the length (k+1) of the arithmetic progression under consideration. In an ergodic system, for k=2 and k=3, this set is syndetic, while for kòf(x)f(Tⁿx)f(T²ⁿx)? f(T^knx)  dm(x)\int{f(x)f(T^{n}x)f(T^{2n}x){\ldots} f(T^{kn}x) \,d\mu(x)} , where k and n are positive integers and f is a bounded measurable function. We also derive combinatorial consequences of these results, for example showing that for a set of integers E with upper Banach density d^*(E)>0 and for all {n ? \mathbbZ\colon d^*(E?(E+n)?(E+2n)?(E+3n)) > d^*(E)⁴-e}\big\{n\in\mathbb{Z}{\colon} d^*\big(E\cap(E+n)\cap(E+2n)\cap(E+3n)\big) > d^*(E)^4-\epsilon\big\}     

C k -solvability near the characteristic set for a class of planar complex vector fields of infinite type

This paper deals with semi-global C ^k -solvability of complex vector fields of the form ${\mathsf{L}=\partial/\partial t+x^r(a(x)+ib(x))\partial/\partial x,}This paper deals with semi-global C ^k -solvability of complex vector fields of the form L=?/?t+x^r(a(x)+ib(x))?/?x,{\mathsf{L}=\partial/\partial t+x^r(a(x)+ib(x))\partial/\partial x,}, r ≥ 1, defined on W_e=(-e,e)×S¹{\Omega_\epsilon=(-\epsilon,\epsilon)\times S^1}, ${\epsilon >0 }${\epsilon >0 }, where a and b are C ^∞ real-valued functions in (-e,e){(-\epsilon,\epsilon)}. It is shown that the interplay between the order of vanishing of the functions a and b at x = 0 influences the C ^k -solvability at Σ = {0} × S ¹. When r = 1, it is permitted that the functions a and b of L{\mathsf L}depend on the x and t variables, that is, L=?/?t+x(a(x,t)+ib(x,t))?/?x,{\mathsf{L}=\partial/\partial t+x(a(x,t)+ib(x,t))\partial/\partial x,}where (x, t) ? W_e{(x, t)\in\Omega_\epsilon}.     

On some Dirichlet series related to the Riemann zeta function,I

On the assumption of the truth of the Riemann hypothesis for the Riemann zeta function we construct a class of modified von-Mangoldt functions with slightly better mean value properties than the well known function L\Lambda . For every e ? (0,1/2)\varepsilon \in (0,1/2) there is a [(L)\tilde] : \Bbb N ? \Bbb C\tilde {\Lambda} : \Bbb N \to \Bbb C such that¶ i) [(L)\tilde] (n) = L (n) (1 + O(n^-1/4  logn))\tilde {\Lambda} (n) = \Lambda (n) (1 + O(n^{-1/4\,} \log n)) and¶ii) ?_{n \leqq x} [(L)\tilde] (n) (1- [(n)/(x)]) = [(x)/2] + O(x^1/4+e) (x \geqq 2).\sum \limits_{n \leqq x} \tilde {\Lambda} (n) \left(1- {{n}\over{x}}\right) = {{x}\over{2}} + O(x^{1/4+\varepsilon }) (x \geqq 2).¶Unfortunately, this does not lead to an improved error term estimation for the unweighted sum ?_{n \leqq x} [(L)\tilde] (n)\sum \limits_{n \leqq x} \tilde {\Lambda} (n), which would be of importance for the distance between consecutive primes.     

Homogenization for strongly anisotropic nonlinear elliptic equations

In this paper we present homogenization results for elliptic degenerate differential equations describing strongly anisotropic media. More precisely, we study the limit as e? 0 \epsilon \to 0 of the following Dirichlet problems with rapidly oscillating periodic coefficients:¶¶ . \cases {{ -div(\alpha(\frac{x}{\epsilon}}, \nabla u) A(\frac{x}{\epsilon}) \nabla u) = f(x) \in L^{\infty}(\Omega) \atop u = 0 su \eth\Omega\ } ¶¶where, p > 1,     a: \Bbb Rⁿ ×\Bbb Rⁿ ? \Bbb R,     a(y,x) ? áA(y)x,x?^p/2-1, A ? M^{n ×n}(\Bbb R) p>1, \quad \alpha : \Bbb R^n \times \Bbb R^n \to \Bbb R, \quad \alpha(y,\xi) \approx \langle A(y)\xi,\xi \rangle ^{p/2-1}, A \in M^{n \times n}(\Bbb R) , A being a measurable periodic matrix such that A^t(x) = A(x) 3 0A^t(x) = A(x) \ge 0 almost everywhere.¶¶The anisotropy of the medium is described by the following structure hypothesis on the matrix A:¶¶l^2/p(x) |x|² ￡ áA(x)x,x? ￡ L ^2/p(x) |x|², \lambda^{2/p}(x) |\xi|^2 \leq \langle A(x)\xi,\xi \rangle \leq \Lambda ^{2/p}(x) |\xi|^2, ¶¶where the weight functions l \lambda and L \Lambda (satisfying suitable summability assumptions) can vanish or blow up, and can also be "moderately" different. The convergence to the homogenized problem is obtained by a classical compensated compactness argument, that had to be extended to two-weight Sobolev spaces.     

Localization and Locality for Resistance Forms

For a resistance form ${(X, \mathcal{D}(\varepsilon),\varepsilon)}For a resistance form (X, D(e),e){(X, \mathcal{D}(\varepsilon),\varepsilon)} and a point x₀ ? X{x_0 \in X} as boundary, on the space X₀:=X \{x₀}{X_0:=X {\setminus}\{x_0\}} we consider the Dirichlet space D_x0:={f ? D(e) | f(x₀)=0}{\mathcal{D}_{x_0}:=\{f\in\mathcal{D}(\varepsilon)\, |\, f(x_0)=0\}} and we develop a good potential theory. For any finely open subset D of X ₀ we consider a localized resistance form (D_{X0 \ D},e_D{\mathcal{D}_{X_0 {\setminus} D},\varepsilon_{D}}) where D_{X0 \ D}:={f ? D_x0 | f=0{\mathcal{D}_{X_0 {\setminus} D}:=\{f\in\mathcal{D}_{x_0}\, |\, f=0} on X₀ \ D}, e_D(f,g):=e(f,g){X_0 {\setminus} D\},\, \varepsilon_D(f,g):=\varepsilon(f,g)} for all f,g ? D_{X0 \ D}{f,g\in\mathcal{D}_{X_0 {\setminus} D}}. The main result is the equivalence between the local property of the resistance form and the sheaf property for the excessive elements on finely open sets.     

Diagnostic tests for local coalescences of variables in Boolean functions

The article studies diagnostic tests for local k -fold coalescences of variables in Boolean functions f( [(x)\tilde]ⁿ )( 1 ￡ k ￡ n,  1 ￡ t ￡ 2^2k ) f\left( {{{\tilde{x}}^n}} \right)\left( {1 \leq k \leq n,\;1 \leq t \leq {2^{{2^k}}}} \right) . Upper and lower bounds are proved for the Shannon function of the length of the diagnostic test for local k -fold coalescences generated by the system of functions F_t^k \Phi_t^k . The Shannon function of the length of a complete diagnostic test for local k -fold coalescences behaves asymptotically as 2 ^k (n − k + 1) for n → ∞, k → ∞.     

Stability of a conditional Cauchy equation

Let \mathbb R{\mathbb R} be the set of real numbers, f : \mathbb R ? \mathbb R{f : \mathbb {R} \to \mathbb {R}},  e 3 0{\epsilon \ge 0} and d > 0. We denote by {(x ₁, y ₁), (x ₂, y ₂), (x ₃, y ₃), . . .} a countable dense subset of \mathbb R²{\mathbb {R}^2} and let

On the iterates of Euler's function

Asymptotic representations are given for the three sums ?_{n ￡ x} j(n)/j(j(n))\textstyle\sum\limits \limits _{n\le x} \varphi (n)/\varphi \bigl (\varphi (n)\bigr ), ?_{n ￡ x} j(n)/j(j(n))\textstyle\sum\limits \limits _{n\le x} \varphi (n)/\varphi \bigl (\varphi (n)\bigr ), ?_{n ￡ x} log j(n)/j(j(n)) ;  j\textstyle\sum\limits \limits _{n\le x}\ \log \, \varphi (n)/\varphi \bigl (\varphi (n)\bigr )\ ; \ \varphi is Euler's function.     

Embedding Theorem on Spaces of Homogeneous Type

In [5] the embedding theorem for the Besov spaces Bdot^\A,q_pBdot^{\A,q}_p with $\minus \varepsilon < \alpha \varepsilon $\minus \varepsilon < \alpha \varepsilon and 1 ￡ p1 \le p, q ￡ ￥q \le \infty, and Triebel-Lizorkin spaces \Fdot^\A,q_p\Fdot^{\A,q}_p with $\minus \varepsilon < \alpha \varepsilon $\minus \varepsilon < \alpha \varepsilon and 1 ￡ p1 \le p, q ￡ ￥q \le \infty, on spaces of homogeneous type was obtained. In this article the embedding theorem is generalized to the Besov spaces Bdot^\A,q_pBdot^{\A,q}_p with $p_0 < p \le \infty $p_0 < p \le \infty and 0 < q \le \infty for for p_0 < 1, and the Triebel-Lizorkin spaces, and the Triebel-Lizorkin spaces \Fdot^{\A,q}_pwith with p_1 < p < \inftyand and p_1 < q < \infty for for p_1< 1. The proofs are new even for. The proofs are new even for \mathbb{R}^n$.