Critical exponent for a quasilinear parabolic equation with inhomogeneous density in a cone

In this paper, we study the initial-boundary value problem of porous medium equation ρ(x)u _t  = Δu ^m  + V(x)h(t)u ^p in a cone D = (0, ∞) × Ω, where \({V(x)\,{\sim}\, |x|^\sigma, h(t)\,{\sim}\, t^s}\). Let ω ₁ denote the smallest Dirichlet eigenvalue for the Laplace-Beltrami operator on Ω and let l denote the positive root of l ² + (n ? 2)l = ω ₁. We prove that if \({m < p \leq 1+(m-1)(1+s)+\frac{2(s+1)+\sigma}{n+l}}\), then the problem has no global nonnegative solutions for any nonnegative u ₀ unless u ₀ = 0; if \({p >1 +(m-1)(1+s)+\frac{2(s+1)+\sigma}{n+l}}\), then the problem has global solutions for some u ₀ ≥ 0.     

Generalized <Emphasis Type="Italic">n</Emphasis>-Laplacian: boundedness of weak solutions to the Dirichlet problem with nonlinearity in the critical growth range

Let n ≥ 2 and let Ω ? ? ⁿ be an open set. We prove the boundedness of weak solutions to the problem

$$u \in W_0^1 L^\Phi \left( \Omega \right) and - div\left( {\Phi '\left( {\left| {\nabla u} \right|} \right)\frac{{\nabla u}}{{\left| {\nabla u} \right|}}} \right) + V\left( x \right)\Phi '\left( {\left| u \right|} \right)\frac{u}{{\left| u \right|}} = f\left( {x,u} \right) + \mu h\left( x \right) in \Omega ,$$

where ? is a Young function such that the space W ₀ ¹ L ^Φ(Ω) is embedded into an exponential or multiple exponential Orlicz space, the nonlinearity f(x, t) has the corresponding critical growth, V(x) is a continuous potential, h ∈ L ^Φ(Ω) is a non-trivial continuous function and µ ≥ 0 is a small parameter. We consider two classical cases: the case of Ω being an open bounded set and the case of Ω = ? ⁿ .

     

Order,type and cotype of growth for <Emphasis Type="Italic">p</Emphasis>-adic entire functions: A survey with additional properties

Let IK be a complete ultrametric algebraically closed field and let A(IK) be the IK-algebra of entire functions on IK. For an f ∈ A(IK), similarly to complex analysis, one can define the order of growth as \(\rho \left( f \right) = \mathop {\lim }\limits_{r \to + \infty } \sup \frac{{\log \left( {\log |f|\left( r \right)} \right)}}{{\log r}}\). When ρ(f) ≠ 0,+∞, one can define the type of growth as \(\sigma \left( f \right) = \mathop {\lim }\limits_{r \to + \infty } \sup \frac{{\log \left( {|f|\left( r \right)} \right)}}{{{r^\rho }\left( f \right)}}\). But here, we can also define the cotype of growth as \(\psi \left( f \right) = \mathop {\lim }\limits_{r \to + \infty } \sup \frac{{q\left( {f,r} \right)}}{{{r^\rho }\left( f \right)}}\) where q(f, r) is the number of zeros of f in the disk of center 0 and radius r. Many properties described here were first given in the Houston Journal, but new inequalities linking the order, type and cotype are given in this paper: we show that ρ(f)σ(f) ≤ ψ(f) ≤ eρ(f)σ(f). Moreover, if ψ or σ are veritable limits, then ρ(f)σ(f) = ψ(f) and this relation is conjectured in the general case. Several other properties are examined concerning ρ, σ, ψ for f and f’. Particularly,we show that if an entire function f has finite order, then \(\frac{{f'}}{{{f^2}}}\) takes every value infinitely many times.     

Oscillations of cusp form coefficients in exponential sums

Let f(z)=∑ _n=1 ^∞ λ(n)n ^(κ?1)/2 e(nz) be a holomorphic cusp form of weight κ for the full modular group SL ₂(?) and let μ(n) be the Möbius function. In this paper, we are concerned with the sum

$S(\alpha,X)=\sum _{n\leq X}\mu (n)\lambda(n)e(\alpha \sqrt{n}),\quad 0\neq \alpha \in \mathbb{R}.$

It is proved that, unconditionally, \(S(\alpha,X)\ll X^{\frac{5}{6}}(\log X)^{20}\), where the implied constant depends only on α and the cusp form f.

     

Hyperbolic prime number theorem

We count the number S(x) of quadruples \( {\left( {x_{1} ,x_{2} ,x_{3} ,x_{4} } \right)} \in \mathbb{Z}^{4} \) for which

$ p = x^{2}_{1} + x^{2}_{2} + x^{2}_{3} + x^{2}_{4} \leqslant x $

is a prime number and satisfying the determinant condition: x ₁ x ₄???x ₂ x ₃?=?1. By means of the sieve, one shows easily the upper bound S(x)???x/log x. Under a hypothesis about prime numbers, which is stronger than the Bombieri–Vinogradov theorem but is weaker than the Elliott–Halberstam conjecture, we prove that this order is correct, that is S(x)???x/log x.

     

Non-singular Solutions of Normalized Ricci Flow on Noncompact Manifolds of Finite Volume

The main result of this paper shows that if g(t) is a complete non-singular solution of the normalized Ricci flow on a noncompact 4-manifold M of finite volume, then the Euler characteristic number χ(M)≥0. Moreover, if χ(M)≠0, there exists a sequence of times t _k →∞, a double sequence of points \(\{p_{k,l}\}_{l=1}^{N}\) and domains \(\{U_{k,l}\}_{l=1}^{N}\) with p _k,l∈U _k,l satisfying the following:

1. (i)
   \(\mathrm{dist}_{g(t_{k})}(p_{k,l_{1}},p_{k,l_{2}})\rightarrow\infty\) as k→∞, for any fixed l₁≠l₂;
    
2. (ii)
   for each l, (U _k,l,g(t _k ),p _k,l) converges in the \(C_{\mathrm{loc}}^{\infty}\) sense to a complete negative Einstein manifold (M _∞,l ,g _∞,l ,p _∞,l ) when k→∞;
    
3. (iii)
   \(\operatorname {Vol}_{g(t_{k})}(M\backslash\bigcup_{l=1}^{N}U_{k,l})\rightarrow0\) as k→∞.
    

     

On Representation of a Solution to the Cauchy Problem by a Fourier Series in Sobolev-Orthogonal Polynomials Generated by Laguerre Polynomials

We consider the problem of representing a solution to the Cauchy problem for an ordinary differential equation as a Fourier series in polynomials l _r,k ^α (x) (k = 0, 1,...) that are Sobolev-orthonormal with respect to the inner product

$$\left\langle {f,g} \right\rangle = \sum\limits_{v = 0}^{r - 1} {{f^{(v)}}(0){g^{(v)}}} (0) + \int\limits_0^\infty {{f^{(r)}}(t)} {g^{(r)}}(t){t^\alpha }{e^{ - t}}dt$$

, and generated by the classical orthogonal Laguerre polynomials L _k ^α (x) (k = 0, 1,...). The polynomials l _r,k ^α (x) are represented as expressions containing the Laguerre polynomials L _n ^α?r (x). An explicit form of the polynomials l _r,k+r ^α (x) is established as an expansion in the powers x ^r+l , l = 0,..., k. These results can be used to study the asymptotic properties of the polynomials l _r,k ^α (x) as k→∞and the approximation properties of the partial sums of Fourier series in these polynomials.

     

An extended class of stabilizable uncertain systems

The system of equations \(\frac{{dx}}{{dt}} = A\left( \cdot \right)x + B\left( \cdot \right)u\), where A(·) ∈ ?^{n × n}, B(·) ∈ ?^{n × m}, S(·) ∈ R^{n × m}, is considered. The elements of the matrices A(·), B(·), S(·) are uniformly bounded and are functionals of an arbitrary nature. It is assumed that there exist k elements \({\alpha _{{i_i}{j_l}}}\left( \cdot \right)\left( {l \in \overline {1,k} } \right)\) of fixed sign above the main diagonal of the matrix A(·), and each of them is the only significant element in its row and column. The other elements above the main diagonal are sufficiently small. It is assumed that m = n ?k, and the elements β_ij(·) of the matrix B(·) possess the property \(\left| {{\beta _{{i_s}s}}\left( \cdot \right)} \right| = {\beta _0} > 0\;at\;{i_s}\; \in \;\overline {1,n} \backslash \left\{ {{i_1}, \ldots ,{i_k}} \right\}\). The other elements of the matrix B(·) are zero. The positive definite matrix H = {h_ij} of the following form is constructed. The main diagonal is occupied by the positive numbers h_ii = h_i, \({h_{{i_l}}}_{{j_l}}\, = \,{h_{{j_l}{i_l}}}\, = \, - 0.5\sqrt {{h_{{i_l}}}_{{j_l}}} \,\operatorname{sgn} \,{\alpha _{{i_l}}}_{{j_l}}\left( \cdot \right)\). The other elements of the matrix H are zero. The analysis of the derivative of the Lyapunov function V(x) = x*H^–1x yields h_i\(\left( {i \in \overline {1,n} } \right)\) and λ_i ≤ 0 \(\left( {i \in \overline {1,n} } \right)\) such that for S(·) = H^?1ΛB(·), Λ = diag(λ₁, ..., λ_n), the system of the considered equations becomes globally exponentially stable. The control is robust with respect to the elements of the matrix A(·).     

On exponential sums over primes and application in Waring-Goldbach problem

In this paper, we prove the following estimate on exponential sums over primes: Let κ≥1,βκ=1/2 log κ/log2, x≥2 and α=a/q λsubject to (a, q) = 1, 1≤a≤q, and λ∈R. Then As an application, we prove that with at most O(N2/8 ε) exceptions, all positive integers up to N satisfying some necessary congruence conditions are the sum of three squares of primes. This result is as strong as what has previously been established under the generalized Riemann hypothesis.     

On the exceptional sets in Sylvester expansions*

For any x ?? (0, 1], let the series \( {\sum}_{n=1}^{\infty }1/{d}_n(x) \) be the Sylvester expansion of x, where {d _j (x),?j?≥?1} is a sequence of positive integers satisfying d₁(x)?≥?2 and d_j?+?1(x)?≥?d _j (x)(d _j (x)???1)?+?1 for j?≥?1. Suppose ? : ? → ?⁺ is a function satisfying ?(n+1) – ? (n) → ∞ as n → ∞. In this paper, we consider the set

$$ E\left(\phi \right)=\left\{x\kern0.5em \in \left(0,1\right]:\kern0.5em \underset{n\to \infty }{\lim}\frac{\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)}{\phi (n)}=1\right\} $$

and quantify the size of the set in the sense of Hausdorff dimension. As applications, for any β > 1 and γ > 0, we get the Hausdorff dimension of the set \( \left\{x\in \kern1em \left(0,1\right]:\kern0.5em {\lim}_{n\to \infty}\left(\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)\right)/{n}^{\beta }=\upgamma \right\}, \) and for any τ > 1 and η > 0, we get a lower bound of the Hausdorff dimension of the set \( \left\{x\kern0.5em \in \kern0.5em \left(0,1\right]:\kern1em {\lim}_{n\to \infty}\left(\log {d}_n(x)-{\sum}_{j=1}^{n-1}\log {d}_j(x)\right)/{\tau}^n=\eta \right\}. \)     

Multiple recurrence and convergence for hardy sequences of polynomial growth

We study the limiting behavior of multiple ergodic averages involving sequences of integers that satisfy some regularity conditions and have polynomial growth. We show that for “typical” choices of Hardy field functions a(t) with polynomial growth, the averages

${1 \over N}\sum\nolimits_{n = 1}^N {{f_1}({T^{[a(n)]}}x) \cdots {f_\ell }({T^{\ell [a(n)]}}x)} $

converge in mean and we determine their limit. For example, this is the case if a(t) = t ^3/2, t log t, or t ² + (log t)². Furthermore, if {a ₁(t), …, a _? (t)} is a “typical” family of logarithmico-exponential functions of polynomial growth, then for every ergodic system, the averages

${1 \over N}\sum\nolimits_{n = 1}^N {{f_1}({T^{[{a_1}(n)]}}x) \cdots {f_\ell }({T^{[{a_\ell }(n)]}}x)} $

converge in mean to the product of the integrals of the corresponding functions. For example, this is the case if the functions a _i (t) are given by different positive fractional powers of t. We deduce several results in combinatorics. We show that if a(t) is a non-polynomial Hardy field function with polynomial growth, then every set of integers with positive upper density contains arithmetic progressions of the form {m,m + [a(n)], …, m + ?[a(n)]}. Under suitable assumptions, we get a related result concerning patterns of the form {m,m + [a ₁(n)], …,m + [a _? (n)]}.

     

Ideal counting function in cubic fields

For a cubic algebraic extension K of ?, the behavior of the ideal counting function is considered in this paper. More precisely, let a _K (n) be the number of integral ideals of the field K with norm n, we prove an asymptotic formula for the sum \(\sum\nolimits_{n_1^2 + n_2^2 \leqslant x} {a_K \left( {n_1^2 + n_2^2 } \right)} \).     

A positive solution of a nonlinear Schrdinger system with nonconstant potentials

In this paper, we study the existence of positive solutions to the following Schr¨odinger system:{-?u + V_1(x)u = μ_1(x)u~3+ β(x)v~2u, x ∈R~N,-?v + V_2(x)v = μ_2(x)v~3+ β(x)u~2v, x ∈R~N,u, v ∈H~1(R~N),where N = 1, 2, 3; V_1(x) and V_2(x) are positive and continuous, but may not be well-shaped; and μ_1(x), μ_2(x)and β(x) are continuous, but may not be positive or anti-well-shaped. We prove that the system has a positive solution when the coefficients Vi(x), μ_i(x)(i = 1, 2) and β(x) satisfy some additional conditions.     

An Improvement of the General Bound on the Largest Family of Subsets Avoiding a Subposet

Let La(n, P) be the maximum size of a family of subsets of [n] = {1, 2, … , n} not containing P as a (weak) subposet, and let h(P) be the length of a longest chain in P. The best known upper bound for La(n, P) in terms of |P| and h(P) is due to Chen and Li, who showed that \(\text {La}(n,P) \le \frac {1}{m+1} \left (|{P}| + \frac {1}{2}(m^{2} +3m-2)(h(P)-1) -1 \right ) {\left (\begin {array}{c}{n}\\ {\lfloor n/2 \rfloor } \end {array}\right )}\) for any fixed m ≥ 1. In this paper we show that \(\text {La}(n,P) \le \frac {1}{2^{k-1}} \left (|P| + (3k-5)2^{k-2}(h(P)-1) - 1 \right ) {\left (\begin {array}{c}{n}\\ {\lfloor n/2 \rfloor } \end {array}\right )}\) for any fixed k ≥ 2, improving the best known upper bound. By choosing k appropriately, we obtain that \(\text {La}(n,P) = \mathcal {O}\left (h(P) \log _{2}\left (\frac {|{P}|}{h(P)}+2\right ) \right ) {\left (\begin {array}{c}{n}\\ {\lfloor n/2 \rfloor } \end {array}\right )}\) as a corollary, which we show is best possible for general P. We also give a different proof of this corollary by using bounds for generalized diamonds. We also show that the Lubell function of a family of subsets of [n] not containing P as an induced subposet is \(\mathcal {O}(n^{c})\) for every \(c>\frac {1}{2}\).     

Boundary Non-crossings of Brownian Pillow

Let B ₀(s,t) be a Brownian pillow with continuous sample paths, and let h,u:[0,1]²→? be two measurable functions. In this paper we derive upper and lower bounds for the boundary non-crossing probability

$\psi(u;h):=\mathbf{P}\big\{B_{0}(s,t)+h(s,t)\leq u(s,t),\forall s,t\in[0,1]\big\}.$

Further we investigate the asymptotic behaviour of ψ(u;γ h) with γ tending to ∞ and solve a related minimisation problem.

     

Topological entropy of sets of generic points for actions of amenable groups

Let G be a countable discrete infinite amenable group which acts continuously on a compact metric space X and let μ be an ergodic G-invariant Borel probability measure on X. For a fixed tempered F?lner sequence {Fn} in G with limn→+∞|Fn|/log n= ∞, we prove the following result:h_top~B(G_μ, {F_n}) = h_μ(X, G),where G_μ is the set of generic points for μ with respect to {F_n} and h_top~B(G_μ, {F_n}) is the Bowen topological entropy(along {F_n}) on G_μ. This generalizes the classical result of Bowen(1973).     

Lie n-derivatio ns o n $ {\mathcal {}}$-subspace lattice algebras

Let \(\mathcal {L}\) be a \(\mathcal {J}\)-subspace lattice on a Banach space X over the real or complex field \(\mathbb {F}\) with dimX ≥ 3 and let n ≥ 2 be an integer. Suppose that dimK ≠ 2 for every \(K\in \mathcal {J}{(\mathcal L)}\) and \(L: \text {Alg}\, \mathcal {L}\rightarrow \text {Alg}\,\mathcal {L}\) is a linear map. It is shown that L satisfies \({\sum }_{i=1}^{n}p_{n} (A_{1}, \ldots , A_{i-1}, L(A_{i}), A_{i+1}, \ldots , A_{n})=0\) whenever p _n (A ₁,A ₂,…,A _n ) = 0 for \(A_{1},A_{2},\ldots ,A_{n}\in \text {Alg}\,\mathcal {L}\) if and only if for each \(K\in \mathcal {J}(\mathcal {L})\), there exists a bounded linear operator \(T_{K}\in \mathcal {B}(K)\), a scalar λ _K and a linear functional \(h_{K}: \text {Alg}\,\mathcal {L}\rightarrow \mathbb {F}\) such that L(A)x = (T _K A ? A T _K + λ _K A + h _K (A)I)x for all x ∈ K and all \(A\in \text {Alg}\,\mathcal {L}\). Based on this result, a complete characterization of linear n-Lie derivations on \(\text {Alg}\,\mathcal {L}\) is obtained.     

On the nonexistence of solutions of some anisotropic elliptic and backward parabolic inequalities

We study the nonexistence of weak solutions of higher-order elliptic and parabolic inequalities of the following types: \(\sum {_{i = 1}^N\sum\nolimits_{{e_i} \leqslant {\alpha _i} \leqslant {m_i}} {D_{{x_i}}^{{\alpha _i}}\left( {{A_{{\alpha _i}}}\left( {x,u} \right)} \right)} \geqslant f\left( {x,u} \right),} x \in {\mathbb{R}^N}\), and \({u_t} + \sum {_{i = 1}^N\sum\nolimits_{{k_i} \leqslant {\beta _i} \leqslant {n_i}} {D_{{x_i}}^{{\beta _i}}\left( {{B_{{\beta _i}}}\left( {x,t,u} \right)} \right)} > g\left( {x,t,u} \right),\left( {x,t} \right)} \in {\mathbb{R}^N} \times {\mathbb{R}_ + }\), where l _i , m _i , k _i , n _i ∈ N satisfy the condition l _i , k _i > 1 for all i = 1,..., N, and A _αi (x, u), B _βi (x, t, u), f(x, u), and g(x, t, u) are some given Carathéodory functions. Under appropriate conditions on the functions A _αi , B _βi , f, and g, we prove theorems on the nonexistence of solutions of these inequalities.     

On the phase transitions of (<Emphasis Type="Italic">k</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)-SAT

Call a sequence of k Boolean variables or their negations a k-tuple. For a set V of n Boolean variables, let T _k (V) denote the set of all 2 ^k n ^k possible k-tuples on V. Randomly generate a set C of k-tuples by including every k-tuple in T _k (V) independently with probability p, and let Q be a given set of q “bad” tuple assignments. An instance I = (C,Q) is called satisfiable if there exists an assignment that does not set any of the k-tuples in C to a bad tuple assignment in Q. Suppose that θ, q > 0 are fixed and ε = ε(n) > 0 be such that εlnn/lnlnn→∞. Let k ≥ (1 + θ) log₂ n and let \({p_0} = \frac{{\ln 2}}{{q{n^{k - 1}}}}\). We prove that

$$\mathop {\lim }\limits_{n \to \infty } P\left[ {I is satisfiable} \right] = \left\{ {\begin{array}{*{20}c} {1,} & {p \leqslant (1 - \varepsilon )p_0 ,} \\ {0,} & {p \geqslant (1 + \varepsilon )p_0 .} \\ \end{array} } \right.$$

     

<Emphasis Type="Italic">s</Emphasis>-Vertex Pancyclic Index

A graph G is vertex pancyclic if for each vertex \({v \in V(G)}\) , and for each integer k with 3 ≤ k ≤ |V(G)|, G has a k-cycle C _k such that \({v \in V(C_k)}\) . Let s ≥ 0 be an integer. If the removal of at most s vertices in G results in a vertex pancyclic graph, we say G is an s-vertex pancyclic graph. Let G be a simple connected graph that is not a path, cycle or K _1,3. Let l(G) = max{m : G has a divalent path of length m that is not both of length 2 and in a K ₃}, where a divalent path in G is a path whose interval vertices have degree two in G. The s-vertex pancyclic index of G, written vp _s (G), is the least nonnegative integer m such that L ^m (G) is s-vertex pancyclic. We show that for a given integer s ≥ 0,

$vp_s(G)\le \left\{\begin{array}{l@{\quad}l}\qquad\quad\quad\,\,\,\,\,\,\, l(G)+s+1: \quad {\rm if} \,\, 0 \le s \le 4 \\ l(G)+\lceil {\rm log}_2(s-2) \rceil+4: \quad {\rm if} \,\, s \ge 5 \end{array}\right.$

And we improve the bound for essentially 3-edge-connected graphs. The lower bound and whether the upper bound is sharp are also discussed.