Fujita type conditions to heat equation with variable source

This paper studies heat equation with variable exponent u _t = Δu + u^p(x) + u ^q in ? ^N × (0, T), where p(x) is a nonnegative continuous, bounded function, 0 < p_? = inf p(x) ≤ p(x) ≤ sup p(x) = p₊. It is easy to understand for the problem that all nontrivial nonnegative solutions must be global if and only if max {p₊, q} ≤ 1. Based on the interaction between the two sources with fixed and variable exponents in the model, some Fujita type conditions are determined that that all nontrivial nonnegative solutions blow up in finite time if 0 < q ≤ 1 with p₊ > 1, or 1 < q < 1 + \(\frac{2}{N}\). In addition, if q > 1 + \(\frac{2}{N}\), then (i) all solutions blow up in finite time with 0 < p_? ≤ p₊ ≤ 1 + \(\frac{2}{N}\); (ii) there are both global and nonglobal solutions for p_? > 1 + \(\frac{2}{N}\); and (iii) there are functions p(x) such that all solutions blow up in finite time, and also functions p(x) such that the problem possesses global solutions when p_? < 1 + \(\frac{2}{N}\) < p₊.     

On idempotent <Emphasis Type="Italic">τ</Emphasis>-measurable operators affiliated to a von Neumann algebra

Let τ be a faithful normal semifinite trace on a von Neumann algebra M, let p, 0 < p < ∞, be a number, and let L_p(M, τ) be the space of operators whose pth power is integrable (with respect to τ). Let P and Q be τ-measurable idempotents, and let A ≡ P ? Q. In this case, 1) if A ≥ 0, then A is a projection and QA = AQ = 0; 2) if P is quasinormal, then P is a projection; 3) if Q ∈ M and A ∈ L_p(M, τ), then A² ∈ L_p(M, τ). Let n be a positive integer, n > 2, and A = Aⁿ ∈ M. In this case, 1) if A ≠ 0, then the values of the nonincreasing rearrangement μ_t(A) belong to the set {0} ∪ [‖A^n?2‖^?1, ‖A‖] for all t > 0; 2) either μ_t(A) ≥ 1 for all t > 0 or there is a t₀ > 0 such that μ_t(A) = 0 for all t > t₀. For every τ-measurable idempotent Q, there is aunique rank projection P ∈ M with QP = P, PQ = Q, and PM = QM. There is a unique decomposition Q = P + Z, where Z² = 0, ZP = 0, and PZ = Z. Here, if Q ∈ L_p(M, τ), then P is integrable, and τ(Q) = τ(P) for p = 1. If A ∈ L₁(M, τ) and if A = A³ and A ? A² ∈ M, then τ(A) ∈ R.     

Global continuum of positive solutions for discrete <Emphasis Type="Italic">p</Emphasis>-Laplacian eigenvalue problems

We discuss the discrete p-Laplacian eigenvalue problem,

$$\left\{ \begin{gathered} \Delta (\phi _p (\Delta u(k - 1))) + \lambda a(k)g(u(k)) = 0,k \in \{ 1,2,...,T\} , \hfill \\ u(0) = u(T + 1) = 0, \hfill \\ \end{gathered} \right.$$

where T > 1 is a given positive integer and φ _p (x):= |x| ^p?2 x, p > 1. First, the existence of an unbounded continuum C of positive solutions emanating from (λ, u) = (0, 0) is shown under suitable conditions on the nonlinearity. Then, under an additional condition, it is shown that the positive solution is unique for any λ > 0 and all solutions are ordered. Thus the continuum C is a monotone continuous curve globally defined for all λ > 0.

     

Positive solutions of <Emphasis Type="Italic">p</Emphasis>-th Yamabe type equations on graphs

Let G = (V,E) be a finite connected weighted graph, and assume 1 ? α ? p ? q. In this paper, we consider the p-th Yamabe type equation ―?_pu+hu^q―1 = λfu^α―1 on G, where ?_p is the p-th discrete graph Laplacian, h < 0 and f > 0 are real functions defined on all vertices of G. Instead of H. Ge’s approach [Proc. Amer. Math. Soc., 2018, 146(5): 2219–2224], we adopt a new approach, and prove that the above equation always has a positive solution u > 0 for some constant λ ∈ ?. In particular, when q = p, our result generalizes Ge’s main theorem from the case of α ? p > 1 to the case of 1 ? α ? p, It is interesting that our new approach can also work in the case of α ? p > 1.     

Boundary singularities of solutions of semilinear elliptic equations in the half-space with a Hardy potential

We study a nonlinear equation in the half-space {x ₁ > 0} with a Hardy potential, specifically

$$ - \Delta u - \frac{\mu }{{x_1^2}}u + {u^p} = 0in\mathbb{R}_ + ^n,$$

where p > 1 and ?∞ < μ < 1/4. The admissible boundary behavior of the positive solutions is either O(x ₁ ^?2/(p?1)) as x ₁ → 0, or is determined by the solutions of the linear problem \( - \Delta h - \frac{\mu }{{x_1^2}}h = 0\). In the first part we study in full detail the separable solutions of the linear equations for the whole range of μ. In the second part, by means of sub and supersolutions we construct separable solutions of the nonlinear problem which behave like O(x ₁ ^?2/(p?1)) near the origin and which, away from the origin, have exactly the same asymptotic behavior as the separable solutions of the linear problem. In the last part we construct solutions that behave like O(x ₁ ^?2/(p?1)) at some prescribed parts of the boundary, while at the rest of the boundary the solutions decay or blowup at a slower rate determined by the linear part of the equation.

     

Asymptotics of cylindrical functions in the complex domain: II

We obtain asymptotic formulas uniform with respect to the index p > 0 for the Hankel functions H _p ^(j) (z) (j = 1, 2) for large |z| in the complex domain. These formulas generalize those known for the real argument.     

Asymptotics of cylindrical functions in the complex domain: I

We obtain asymptotic formulas uniform with respect to the index p > 0 for the Hankel functions H _p ^(j)(z) (j = 1, 2) for large |z| in the complex domain. These formulas generalize those well known for the real argument.     

Boundary blow-up solutions of <Emphasis Type="Italic">p</Emphasis>-Laplacian elliptic equations with lower order terms

We study the existence, uniqueness, and asymptotic behavior of blow-up solutions for a general quasilinear elliptic equation of the type ?Δ _p u = a(x)u ^m ?b(x)f(u) with p >  1 and 0 <  m <  p?1. The main technical tool is a new comparison principle that enables us to extend arguments for semilinear equations to quasilinear ones. Indeed, this paper is an attempt to generalize all available results for the semilinear case with p =  2 to the quasilinear case with p >  1.     

Weighted fractional Bernstein’s inequalities and their applications

This paper studies the weighted, fractional Bernstein inequality for spherical polynomials on S^d-1\(\left( {0.1} \right)\;{\left\| {{{\left( { - {\Delta _0}} \right)}^{{\raise0.7ex\hbox{$r$} \!\mathord{\left/ {\vphantom {r 2}}\right.\kern-\nulldelimiterspace}\!\lower0.7ex\hbox{$2$}}}}f} \right\|_{p,w}} \leqslant {C_w}{n^r}{\left\| f \right\|_{p,w}}\;for\;all\;f \in \Pi _n^d\), where Π_n^d denotes the space of all spherical polynomials of degree at most n on S^d-1 and (-Δ₀)^r/2 is the fractional Laplacian-Beltrami operator on S^d-1. A new class of doubling weights with conditions weaker than the A_p condition is introduced and used to characterize completely those doubling weights w on S^d-1 for which the weighted Bernstein inequality (0.1) holds for some 1 ≤ p ≤ 8 and all r > t. It is shown that in the unweighted case, if 0 < p < 8 and r > 0 is not an even integer, (0.1) with w = 1 holds if and only if r > (d - 1)((1/p) - 1). As applications, we show that every function f ∈ L_p(S^d-1) with 0 < p < 1 can be approximated by the de la Vallée Poussin means of a Fourier-Laplace series and establish a sharp Sobolev type embedding theorem for the weighted Besov spaces with respect to general doubling weights.     

Liouville type results for a <Emphasis Type="Italic">p</Emphasis>-Laplace equation with negative exponent

Positive entire solutions of the equation \(\Delta _p u = u^{ - q} in \mathbb{R}^N (N \geqslant 2)\) where 1 < p ≤ N, q > 0, are classified via their Morse indices. It is seen that there is a critical power q = q _c such that this equation has no positive radial entire solution that has finite Morse index when q > q _c but it admits a family of stable positive radial entire solutions when 0 < q ≤ q _c. Proof of the stability of positive radial entire solutions of the equation when 1 < p < 2 and 0 < q ≤ q _c relies on Caffarelli–Kohn–Nirenberg’s inequality. Similar Liouville type result still holds for general positive entire solutions when 2 < p ≤ N and q > q _c. The case of 1 < p < 2 is still open. Our main results imply that the structure of positive entire solutions of the equation is similar to that of the equation with p = 2 obtained previously. Some new ideas are introduced to overcome the technical difficulties arising from the p-Laplace operator.     

On the Convergence of Solutions of Variational Problems with Implicit Pointwise Constraints in Variable Domains

Results on the convergence of minimizers and minimum values of integral and more general functionals J_s: W^1,p(Ω_s) → ? on the sets U_s(h_s) = {v ∈ W^1,p(Ω_s): h_s(v) ≤ 0 a.e. in Ω_s}, where p > 1, {Ω_s} is a sequence of domains contained in a bounded domain Ω of ?ⁿ (n > 2), and {h_s} is a sequence of functions on ?, are announced.     

Arithmetic progressions in multiplicative groups of finite fields

Let G be a multiplicative subgroup of the prime field F _p of size |G| > p^1?κ and r an arbitrarily fixed positive integer. Assuming κ = κ(r) > 0 and p large enough, it is shown that any proportional subset A ? G contains non-trivial arithmetic progressions of length r. The main ingredient is the Szemerédi–Green–Tao theorem.     

Non-triviality of a product in the Adams <Emphasis Type="Italic">E</Emphasis> <Subscript>2</Subscript>-term

Let p be a prime greater than five and A the mod p Steenrod algebra. In this paper, we prove that \(h_n h_m \tilde \delta _{s + 4} \in Ext_A^{s + 6,t(s,n,m) + s} (Z/p,Z/p)\) is nontrivial in the Adams E₂-term when m ≥ n + 2 ≥ 7 and 0 ≤ s < p ? 4, and trivial in the Adams E₂-term when m ≥ n + 2 = 6 and 0 ≤ s < p ? 4, where \(\tilde \delta _{s + 4} \) stands for the fourth Greek letter element and t(s, n, m) = 2(p ? 1)[(s + 1) + (s + 2)p + (s + 3)p² + (s + 4)p³ + pⁿ + p^m].     

Blow-up of <Emphasis Type="Italic">p</Emphasis>-Laplacian evolution equations with variable source power

We study the blow-up and/or global existence of the following p-Laplacian evolution equation with variable source power

$${s_j} = {\beta _j} + \overline {{\beta _{n - j}}}p$$

where Ω is either a bounded domain or the whole space ? ^N , q(x) is a positive and continuous function defined in Ω with 0 < q _? = inf q(x) ? q(x) ? sup q(x) = q+ < ∞. It is demonstrated that the equation with variable source power has much richer dynamics with interesting phenomena which depends on the interplay of q(x) and the structure of spatial domain Ω, compared with the case of constant source power. For the case that Ω is a bounded domain, the exponent p ? 1 plays a crucial role. If q+ > p ? 1, there exist blow-up solutions, while if q ₊ < p ? 1, all the solutions are global. If q _? > p ? 1, there exist global solutions, while for given q _? < p ? 1 < q ₊, there exist some function q(x) and Ω such that all nontrivial solutions will blow up, which is called the Fujita phenomenon. For the case Ω = ? ^N , the Fujita phenomenon occurs if 1 < q _? ? q ₊ ? p ? 1 + p/N, while if q _? > p ? 1 + p/N, there exist global solutions.

     

Integral averaging technique for oscillation of damped half-linear oscillators

This paper is concerned with the oscillatory behavior of the damped half-linear oscillator (a(t)?_p(x′))′ + b(t)?_p(x′) + c(t)?_p(x) = 0, where ?p(x) = |x|^p?1 sgn x for x ∈ ? and p > 1. A sufficient condition is established for oscillation of all nontrivial solutions of the damped half-linear oscillator under the integral averaging conditions. The main result can be given by using a generalized Young’s inequality and the Riccati type technique. Some examples are included to illustrate the result. Especially, an example which asserts that all nontrivial solutions are oscillatory if and only if p ≠ 2 is presented.     

On the norm property of the Hilbert symbol for polynomial formal modules in a multidimensional local field

In a two-dimensional local field K containing the pth root of unity, a polynomial formal group F _c (X, Y) = X + Y + cXY acting on the maximal ideal M of the ring of integers б _K and a constructive Hilbert pairing {·, ·} _c : K ₂(K) × F _c (M) → <ξ> _c , where <ξ> _c is the module of roots of [p] _c (pth degree isogeny of F _c ) with respect to formal summation are considered. For the extension of two-dimensional local fields L/K, a norm map of Milnor groups Norm: K ₂(L) → K ₂(K) is considered. Its images are called norms in K ₂(L). The main finding of this study is that the norm property of pairing {·, ·}c: {x,β} _c : = 0 ? x is a norm in K ₂(K([p] _c ^-1 (β))), where [p] _c ^-1 (β) are the roots of the equation [p] _c = β, is checked constructively.     

Oscillatory hyper Hilbert transforms along general curves

We consider the oscillatory hyper Hilbert transform H _γ,α,β f(x) = ∫ ₀ ^∞ f(x - Γ(t))e^it-β t^-(1+α)dt; where Γ(t) = (t, γ(t)) in ?² is a general curve. When γ is convex, we give a simple condition on γ such that H _γ,α,β is bounded on L ² when β > 3α, β > 0: As a corollary, under this condition, we obtain the L ^p -boundedness of H _γ,α,β when 2β/(2β - 3α) < p < 2β/(3α). When Γ is a general nonconvex curve, we give some more complicated conditions on γ such that H _γ,α,β is bounded on L ²: As an application, we construct a class of strictly convex curves along which H _γ,α,β is bounded on L ² only if β > 2α > 0.     

Interpolation and duality of generalized grand Morrey spaces on quasi-metric measure spaces

Let θ ∈ (0, 1), λ ∈ [0, 1) and p, p ₀, p ₁ ∈ (1,∞] be such that (1 ? θ)/p ₀ + θ/p ₁ = 1/p, and let φ, φ₀, φ₁ be some admissible functions such that φ, φ₀ ^p/p0 and φ₁ ^p/p1 are equivalent. We first prove that, via the ± interpolation method, the interpolation L _φ0 ^p0),λ (X), L _φ1 ^{p1), λ} (X), θ> of two generalized grand Morrey spaces on a quasi-metric measure space X is the generalized grand Morrey space L _φ ^p),λ (X). Then, by using block functions, we also find a predual space of the generalized grand Morrey space. These results are new even for generalized grand Lebesgue spaces.     

On a Diophantine Inequality with Prime Numbers of a Special Type

We consider the Diophantine inequality |p ₁ ^c + p ₂ ^c + p ₃ ^c ? N| < (logN)^?E, where 1 < c < 15/14, N is a sufficiently large real number and E > 0 is an arbitrarily large constant. We prove that the above inequality has a solution in primes p₁, p₂, p₃ such that each of the numbers p₁ + 2, p₂ + 2 and p₃ + 2 has at most [369/(180 ? 168c)] prime factors, counted with multiplicity.     

Asymptotic behavior of the maximal zero of a polynomial orthogonal on a segment with a nonclassical weight

Let {p _n (t)} _n=0 ^t8 be a system of algebraic polynomials orthonormal on the segment [?1, 1] with a weight p(t); let {x _n,ν ^(p) } _ν=1 ⁿ be zeros of a polynomial p _n (t) (x _x,ν ^(p) = cosθ _n,ν ^(p) ; 0 < θ _n,1 ^(p) < θ _n,2 ^(p) < ... < θ _n,n ^(p) < π). It is known that, for a wide class of weights p(t) containing the Jacobi weight, the quantities θ _n,1 ^(p) and 1 ? x _n,1 ^(p) coincide in order with n ^?1 and n ^?2, respectively. In the present paper, we prove that, if the weight p(t) has the form p(t) = 4(1 ? t ²)^?1{ln²[(1 + t)/(1 ? t)] + π ²}^?1, then the following asymptotic formulas are valid as n → ∞:

$$\theta _{n,1}^{(p)} = \frac{{\sqrt 2 }}{{n\sqrt {\ln (n + 1)} }}\left[ {1 + {\rm O}\left( {\frac{1}{{\ln (n + 1)}}} \right)} \right],x_{n,1}^{(p)} = 1 - \left( {\frac{1}{{n^2 \ln (n + 1)}}} \right) + O\left( {\frac{1}{{n^2 \ln ^2 (n + 1)}}} \right).$$