Prime and composite integers close to powers of a number

We prove that, for any real numbers ξ ≠ 0 and ν, the sequence of integer parts [ξ2 ⁿ  + ν], n = 0, 1, 2, . . . , contains infinitely many composite numbers. Moreover, if the number ξ is irrational, then the above sequence contains infinitely many elements divisible by 2 or 3. The same holds for the sequence [ξ( ? 2) ⁿ  + ν _n ], n = 0, 1, 2, . . . , where ν ₀, ν ₁, ν ₂, . . . all lie in a half open real interval of length 1/3. For this, we show that if a sequence of integers x ₁, x ₂, x ₃, . . . satisfies the recurrence relation x _n+d  = cx _n  + F(x _n+1, . . . , x _n+d-1) for each n  ≥  1, where c ≠ 0 is an integer, \({F(z_1,\dots,z_{d-1}) \in \mathbb {Z}[z_1,\dots,z_{d-1}],}\) and lim _{n→ ∞}|x _n | = ∞, then the number |x _n | is composite for infinitely many positive integers n. The proofs involve techniques from number theory, linear algebra, combinatorics on words and some kind of symbolic computation modulo 3.     

Compactness of Riesz transform commutator associated with Bessel operators

Let λ > 0 and

$${\Delta _\lambda }: = - \frac{{{d^2}}}{{d{x^2}}} - \frac{{2\lambda }}{x}\frac{d}{{dx}}$$

be the Bessel operator on R₊:= (0,∞). We first introduce and obtain an equivalent characterization of CMO(R₊, x^2λdx). By this equivalent characterization and by establishing a new version of the Fréchet-Kolmogorov theorem in the Bessel setting, we further prove that a function b ∈ BMO(R⁺, x^2λdx) is in CMO(R⁺, x^2λdx) if and only if the Riesz transform commutator xxxx is compact on L^p(R⁺, x^2λdx) for all p ∈ (1,∞).

     

On the deficiency index of the vector-valued Sturm–Liouville operator

Let R₊:= [0, +∞), and let the matrix functions P, Q, and R of order n, n ∈ N, defined on the semiaxis R₊ be such that P(x) is a nondegenerate matrix, P(x) and Q(x) are Hermitian matrices for x ∈ R₊ and the elements of the matrix functions P^?1, Q, and R are measurable on R₊ and summable on each of its closed finite subintervals. We study the operators generated in the space L_n²(R₊) by formal expressions of the form l[f] = ?(P(f' ? Rf))' ? R*P(f' ? Rf) + Qf and, as a particular case, operators generated by expressions of the form l[f] = ?(P₀f')' + i((Q₀f)' + Q₀f') + P'₁f, where everywhere the derivatives are understood in the sense of distributions and P₀, Q₀, and P₁ are Hermitianmatrix functions of order n with Lebesgue measurable elements such that P₀^?1 exists and ∥P0∥, ∥P₀^?1∥, ∥P₀^?1∥∥P₁∥², ∥P₀^?1∥∥Q₀∥² ∈ L_loc¹(R₊). Themain goal in this paper is to study of the deficiency index of the minimal operator L₀ generated by expression l[f] in L_n²(R₊) in terms of the matrix functions P, Q, and R (P₀, Q₀, and P₁). The obtained results are applied to differential operators generated by expressions of the form \(l[f] = - f'' + \sum\limits_{k = 1}^{ + \infty } {{H_k}} \delta \left( {x - {x_k}} \right)f\), where x_k, k = 1, 2,..., is an increasing sequence of positive numbers, with lim_k→+∞x_k = +∞, H_k is a number Hermitian matrix of order n, and δ(x) is the Dirac δ-function.     

Commuting Krichever–Novikov differential operators with polynomial coefficients

Under study are some commuting rank 2 differential operators with polynomial coefficients. We prove that, for every spectral curve of the form w² = z³+c₂z2+c₁z+c₀ with arbitrary coefficients c_i, there exist commuting nonselfadjoint operators of orders 4 and 6 with polynomial coefficients of arbitrary degree.     

On the summability factors of infinite series

The author has established that if [λ_n] is a convex sequence such that the series Σn ^-1λ_n is convergent and the sequence {K _n} satisfies the condition |K _n|=O[log(n+1)]^k(C, 1),k?0, whereK _n denotes the (R, logn, 1) mean of the sequence {n log (n+1)a _n}, then the series Σlog(n+1)^1-kλ_n a _n is summable |R, logn, 1|. The result obtained for the particular casek=0 generalises a previous result of the author [1].     

Dual submanifolds in rational homology spheres

Let Σ be a simply connected rational homology sphere. A pair of disjoint closed submanifolds M_+, M_-? Σ are called dual to each other if the complement Σ-M_+ strongly homotopy retracts onto M_- or vice-versa. In this paper, we are concerned with the basic problem of which integral triples(n; m_+, m-) ∈ N~3 can appear, where n = dimΣ-1 and m_± = codim M_±-1. The problem is motivated by several fundamental aspects in differential geometry.(i) The theory of isoparametric/Dupin hypersurfaces in the unit sphere S~(n+1) initiated by′Elie Cartan, where M_± are the focal manifolds of the isoparametric/Dupin hypersurface M ? S~(n+1), and m± coincide with the multiplicities of principal curvatures of M.(ii) The Grove-Ziller construction of non-negatively curved Riemannian metrics on the Milnor exotic spheres Σ,i.e., total spaces of smooth S~3-bundles over S~4 homeomorphic but not diffeomorphic to S~7, where M_± =P_±×_(SO(4))S~3, P → S~4 the principal SO(4)-bundle of Σ and P_± the singular orbits of a cohomogeneity one SO(4) × SO(3)-action on P which are both of codimension 2.Based on the important result of Grove-Halperin, we provide a surprisingly simple answer, namely, if and only if one of the following holds true:· m_+ = m_-= n;· m_+ = m_-=1/3n ∈ {1, 2, 4, 8};· m_+ = m_-=1/4n ∈ {1, 2};· m_+ = m_-=1/6n ∈ {1, 2};·n/(m_++m_-)= 1 or 2, and for the latter case, m_+ + m_-is odd if min(m_+, m_-)≥2.In addition, if Σ is a homotopy sphere and the ratio n/(m_++m_-)= 2(for simplicity let us assume 2 m_- m_+),we observe that the work of Stolz on the multiplicities of isoparametric hypersurfaces applies almost identically to conclude that, the pair can be realized if and only if, either(m_+, m_-) =(5, 4) or m_+ + m_-+ 1 is divisible by the integer δ(m_-)(see the table on Page 1551), which is equivalent to the existence of(m_--1) linearly independent vector fields on the sphere S~(m_++m_-)by Adams' celebrated work. In contrast, infinitely many counterexamples are given if Σ is a rational homology sphere.     

Diophantine inequality involving binary forms

Let d ? 3 be an integer, and set r = 2^d?1 + 1 for 3 ? d ? 4, \(\tfrac{{17}}{{32}} \cdot 2^d + 1\) for 5 ? d ? 6, r = d²+d+1 for 7 ? d ? 8, and r = d²+d+2 for d ? 9, respectively. Suppose that Φ _i (x, y) ∈ ?[x, y] (1 ? i ? r) are homogeneous and nondegenerate binary forms of degree d. Suppose further that λ₁, λ₂,..., λ _r are nonzero real numbers with λ₁/λ₂ irrational, and λ₁Φ₁(x₁, y₁) + λ₂Φ₂(x₂, y₂) + · · · + λ _r Φ _r (x _r , y _r ) is indefinite. Then for any given real η and σ with 0 < σ < 2^2?d, it is proved that the inequality

$$\left| {\sum\limits_{i = 1}^r {{\lambda _i}\Phi {}_i\left( {{x_i},{y_i}} \right) + \eta } } \right| < {\left( {\mathop {\max \left\{ {\left| {{x_i}} \right|,\left| {{y_i}} \right|} \right\}}\limits_{1 \leqslant i \leqslant r} } \right)^{ - \sigma }}$$

has infinitely many solutions in integers x₁, x₂,..., x _r , y₁, y₂,..., y _r . This result constitutes an improvement upon that of B. Q. Xue.

     

The Fixed Points of Contractions of <Emphasis Type="Italic">f</Emphasis>-Quasimetric Spaces

The recent articles of Arutyunov and Greshnov extend the Banach and Hadler Fixed-Point Theorems and the Arutyunov Coincidence-Point Theorem to the mappings of (q₁, q₂)-quasimetric spaces. This article addresses similar questions for f-quasimetric spaces.Given a function f: R ₊² → R₊ with f(r₁, r₂) → 0 as (r₁, r₂) → (0, 0), an f-quasimetric space is a nonempty set X with a possibly asymmetric distance function ρ: X² → R+ satisfying the f-triangle inequality: ρ(x, z) ≤ f(ρ(x, y), ρ(y, z)) for x, y, z ∈ X. We extend the Banach Contraction Mapping Principle, as well as Krasnoselskii’s and Browder’s Theorems on generalized contractions, to mappings of f-quasimetric spaces.     

Ramanujan-type congruences modulo powers of 5 and 7

Let b _? (n) denote the number of ?-regular partitions of n. In 2012, using the theory of modular forms, Furcy and Penniston presented several infinite families of congruences modulo 3 for some values of ?. In particular, they showed that for α, n ≥ 0, b ₂₅ (3^2α+3 n+2 · 3^2α+2-1) ≡ 0 (mod 3). Most recently, congruences modulo powers of 5 for c5(n) was proved by Wang, where c _N (n) counts the number of bipartitions (λ₁,λ₂) of n such that each part of λ₂ is divisible by N. In this paper, we prove some interesting Ramanujan-type congruences modulo powers of 5 for b25(n), B25(n), c25(n) and modulo powers of 7 for c49(n). For example, we prove that for j ≥ 1, \({c_{25}}\left( {{5^{2j}}n + \frac{{11 \cdot {5^{2j}} + 13}}{{12}}} \right) \equiv 0\) (mod 5 ^j+1), \({c_{49}}\left( {{7^{2j}}n + \frac{{11 \cdot {7^{_{2j}}} + 25}}{{12}}} \right) \equiv 0\) (mod 7 ^j+1) and b ₂₅ (3^2α+3 · n+2 · 3^2α+2-1) ≡ 0 (mod 3 · 5^2j-1).     

Thom-Sebastiani properties of Kohn-Rossi cohomology of compact connected strongly pseudoconvex CR manifolds

Let X_1 and X_2 be two compact connected strongly pseudoconvex embeddable Cauchy-Riemann(CR) manifolds of dimensions 2m-1 and 2n-1 in C~(m+1)and C~(n+1), respectively. We introduce the ThomSebastiani sum X = X_1 ⊕X_2which is a new compact connected strongly pseudoconvex embeddable CR manifold of dimension 2m+2n+1 in C~(m+n+2). Thus the set of all codimension 3 strongly pseudoconvex compact connected CR manifolds in Cn+1for all n 2 forms a semigroup. X is said to be an irreducible element in this semigroup if X cannot be written in the form X_1 ⊕ X_2. It is a natural question to determine when X is an irreducible CR manifold. We use Kohn-Rossi cohomology groups to give a necessary condition of the above question. Explicitly,we show that if X = X_1 ⊕ X_2, then the Kohn-Rossi cohomology of the X is the product of those Kohn-Rossi cohomology coming from X_1 and X_2 provided that X_2 admits a transversal holomorphic S~1-action.     

Rotational analysis of some bands of C1 Σ u + -X1 Σ g + system of P2 molecule involving lowν′,ν″ values

Ten ultraviolet bands of the C¹ Σ _u ⁺ -X¹ Σ _g ⁺ system of P₂ involving lowv′ andv″ values have been photographed at dispersion of 0·38 and 0·56 Å/mm. and analysed for their rotational structure. While four of these bands were analysed earlier, six of them,viz., 0–10, 1–12, 2–7, 2–14, 4–8 and 6–9 have been analysed for the first time during the present studies. The rotational constants, B _v S with lowv″ quantum numbers are obtained from which value of B _θ ^″ has been derived. The value of B _θ ^″ is found to be in agreement with the value obtained by Douglas and Rao from their study of A¹ Π _g-X¹ Σ _g ⁺ bands of P₂. Earlier findings on the perturbation ofν′=2 level of the C¹ Σ _u ⁺ state have been confirmed from the analysis of the 2–7, 2–14 and 2–15 bands. Theν ₀₀ values of the bands show large deviations from the expected values.     

On the sectionwise connectedness of a contingent

Let X be a real normed space and let f: ? → X be a continuous mapping. Let T _f (t ₀) be the contingent of the graph G(f) at a point (t ₀, f(t ₀)) and let S ⁺ ? (0,∞) × X be the “right” unit hemisphere centered at (0, 0 _X ). We show that

1. 1.
   If dimX < ∞ and the dilation D(f, t ₀) of f at t ₀ is finite then T _f (t ₀) ∩ S ⁺ is compact and connected. The result holds for \(T_f (t_0 ) \cap \overline {S^ + } \) even with infinite dilation in the case f: [0,∞) → X.
    
2. 2.
   If dimX = ∞, then, given any compact set F ? S ⁺, there exists a Lipschitz mapping f: ? → X such that T _f (t ₀) ∩ S ⁺ = F.
    
3. 3.
   But if a closed set F ? S ⁺ has cardinality greater than that of the continuum then the relation T _f (t ₀) ∩ S ⁺ = F does not hold for any Lipschitz f: ? → X.
    

     

Elliptic function of level 4

The article is devoted to the theory of elliptic functions of level n. An elliptic function of level n determines a Hirzebruch genus called an elliptic genus of level n. Elliptic functions of level n are also of interest because they are solutions of the Hirzebruch functional equations. The elliptic function of level 2 is the Jacobi elliptic sine function, which determines the famous Ochanine–Witten genus. It is the exponential of the universal formal group of the form F(u, v) = (u² ? v²)/(uB(v) ? vB(u)), B(0) = 1. The elliptic function of level 3 is the exponential of the universal formal group of the form F(u, v) = (u²A(v) ? v²A(u))/(uA(v)² ? vA(u)²), A(0) = 1, A″(0) = 0. In the present study we show that the elliptic function of level 4 is the exponential of the universal formal group of the form F(u, v) = (u²A(v) ? v²A(u))/(uB(v) ? vB(u)), where A(0) = B(0) = 1 and for B′(0) = A″(0) = 0, A′(0) = A₁, and B″(0) = 2B₂ the following relation holds: (2B(u) + 3A₁u)² = 4A(u)³ ? (3A₁² ? 8B₂)u²A(u)². To prove this result, we express the elliptic function of level 4 in terms of the Weierstrass elliptic functions.     

Exact Laplace-type asymptotic formulas for the Bogoliubov Gaussian measure: The set of minimum points of the action functional

We prove a theorem on the exact asymptotic relations of large deviations of the Bogoliubov measure in the L ^p norm for p = 4, 6, 8, 10 with p > p ₀, where p ₀ = 2+4π ²/β ² ω ² is a threshold value, β > 0 is the inverse temperature, and ω > 0 is the natural frequency of the harmonic oscillator. For the study, we use the Laplace method in function spaces for Gaussian measures.     

Connecting orbits of Lagrangian systems in a nonstationary force field

We study connecting orbits of a natural Lagrangian system defined on a complete Riemannian manifold subjected to the action of a nonstationary force field with potential U(q, t) = f(t)V(q). It is assumed that the factor f(t) tends to ∞ as t→±∞ and vanishes at a unique point t ₀ ∈ ?. Let X ₊, X _? denote the sets of isolated critical points of V (x) at which U(x, t) as a function of x distinguishes its maximum for any fixed t > t ₀ and t < t ₀, respectively. Under nondegeneracy conditions on points of X _± we prove the existence of infinitely many doubly asymptotic trajectories connecting X _? and X ₊.     

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₊.     

Divergent solutions to the <Emphasis Type="Italic">L</Emphasis><Superscript>2</Superscript>-supercritical NLS equations

We investigate the nonlinear Schrödinger equation iu _t +Δu+|u| ^p?1 u = 0with 1+ 4/N < p < 1+ 4/N?2 (when N = 1, 2, 1 + 4/N < p < ∞) in energy space H ¹ and study the divergent property of infinite-variance and nonradial solutions. If \(M{\left( u \right)^{\frac{{1 - {s_C}}}{{{s_C}}}}}E\left( u \right) \prec M{\left( Q \right)^{\frac{{1 - {s_C}}}{{{s_C}}}}}E\left( Q \right)\) and \(\left\| {{u_0}} \right\|_2^{\frac{{1 - {s_c}}}{{{s_c}}}}\left\| {\nabla {u_0}} \right\|_2^{\frac{{1 - {s_c}}}{{{s_c}}}}{\left\| {\nabla Q} \right\|_2}\), then either u(t) blows up in finite forward time or u(t) exists globally for positive time and there exists a time sequence t _n → +∞ such that \({\left\| {\nabla u\left( {{t_n}} \right)} \right\|_2} \to + \infty \). Here Q is the ground state solution of ?(1?s _c )Q+ΔQ+Q ^p?1 Q = 0. A similar result holds for negative time. This extend the result of the 3D cubic Schrödinger equation obtained by Holmer to the general mass-supercritical and energy-subcritical case.     

Criterion for the Solvability of the Weighted Cauchy Problem for an Abstract Euler–Poisson–Darboux Equation

In a Banach space E, we consider the abstract Euler–Poisson–Darboux equation u″(t) + kt^?1u′(t) = Au(t) on the half-line. (Here k ∈ ? is a parameter, and A is a closed linear operator with dense domain on E.) We obtain a necessary and sufficient condition for the solvability of the Cauchy problem u(0) = 0, lim _t→0+t ^k u′(t) = u₁, k < 0, for this equation. The condition is stated in terms of an estimate for the norms of the fractional power of the resolvent of A and its derivatives. We introduce the operator Bessel function with negative index and study its properties.     

Distribution of the spectrum of a singular positive Sturm–Liouville operator perturbed by the Dirac delta function

We consider the Sturm–Liouville operator generated in the space L ²[0,+∞) by the expression l _a,b:= ?d ²/dx ² +x+aδ(x?b) and the boundary condition y(0) = 0. We prove that the eigenvalues λ _n of this operator satisfy the inequalities λ₁ ⁰ < λ₁ < λ₂ ⁰ and λ_n ⁰ ≤ λ_n < λ_n+1 ⁰, n = 2, 3,..., where {?λ_n ⁰} is the sequence of zeros of the Airy function Ai (λ). We find the asymptotics of λ_n as n → +∞ depending on the parameters a and b.     

Weak convergence of the past and future of Brownian motion given the present

In this paper, we show that for t > 0, the joint distribution of the past {W _t?s : 0 ≤ s ≤ t} and the future {W _{t + s} :s ≥ 0} of a d-dimensional standard Brownian motion (W _s ), conditioned on {W _t ∈ U}, where U is a bounded open set in ? ^d , converges weakly in C[0,∞)×C[0,∞) as t→∞. The limiting distribution is that of a pair of coupled processes Y + B ¹,Y + B ² where Y,B ¹,B ² are independent, Y is uniformly distributed on U and B ¹,B ² are standard d-dimensional Brownian motions. Let σ _t ,d _t be respectively, the last entrance time before time t into the set U and the first exit time after t from U. When the boundary of U is regular, we use the continuous mapping theorem to show that the limiting distribution as t → ∞ of the four dimensional vector with components \((W_{\sigma _{t}},t-\sigma _{t},W_{d_{t}},d_{t}-t)\), conditioned on {W _t ∈U}, is the same as that of the four dimensional vector whose components are the place and time of first exit from U of the processes Y + B ¹ and Y + B ² respectively.