Some necessary and sufficient conditions for existence of positive solutions for third order singular super-linear multi-point boundary value problems

We mainly study the existence of positive solutions for the following third order singular super-linear multi-point boundary value problem $$ \left \{ \begin{array}{l} x^{(3)}(t)+ f(t, x(t), x'(t))=0,\quad0 where \(0\leq\alpha_{i}\leq\sum_{i=1}^{m_{1}}\alpha_{i}<1\) , i=1,2,…,m ₁, \(0<\xi_{1}< \xi_{2}< \cdots<\xi_{m_{1}}<1\) , \(0\leq\beta_{j}\leq\sum_{i=1}^{m_{2}}\beta_{i}<1\) , j=1,2,…,m ₂, \(0<\eta_{1}< \eta_{2}< \cdots<\eta_{m_{2}}<1\) . And we obtain some necessary and sufficient conditions for the existence of C ¹[0,1] and C ²[0,1] positive solutions by means of the fixed point theorems on a special cone. Our nonlinearity f(t,x,y) may be singular at t=0 and t=1.     

Sobolev spaces and approximation by affine spanning systems

We develop conditions on a Sobolev function \(\psi \in W^{m,p}({\mathbb{R}}^d)\) such that if \(\widehat{\psi}(0) = 1\) and ψ satisfies the Strang–Fix conditions to order m ? 1, then a scale averaged approximation formula holds for all \(f \in W^{m,p}({\mathbb{R}}^d)\) :

$ f(x) = \lim_{J \to \infty} \frac{1}{J} \sum_{j=1}^{J} \sum_{k \in {{\mathbb{Z}}}^d} c_{j,k}\psi(a_j x - k) \quad {\rm in} W^{m, p}({{\mathbb{R}}}^d).$

The dilations { a _j } are lacunary, for example a _j =  2 ^j , and the coefficients c _j,k are explicit local averages of f, or even pointwise sampled values, when f has some smoothness. For convergence just in \({W^{m - 1,p}({\mathbb{R}}^d)}\) the scale averaging is unnecessary and one has the simpler formula \(f(x) = \lim_{j \to \infty} \sum_{k \in {\mathbb{Z}}^d} c_{j,k}\psi(a_j x - k)\) . The Strang–Fix rates of approximation are recovered. As a corollary of the scale averaged formula, we deduce new density or “spanning” criteria for the small scale affine system \(\{\psi(a_j x - k) : j > 0, k \in {\mathbb{Z}}^d \}\) in \(W^{m,p}({\mathbb{R}}^d)\) . We also span Sobolev space by derivatives and differences of affine systems, and we raise an open problem: does the Gaussian affine system span Sobolev space?

     

Identities for Bernoulli polynomials and Bernoulli numbers

We prove that if m and \({\nu}\) are integers with \({0 \leq \nu \leq m}\) and x is a real number, then

1. $$\sum_{k=0 \atop k+m \, \, odd}^{m-1} {m \choose k}{k+m \choose \nu} B_{k+m-\nu}(x) = \frac{1}{2} \sum_{j=0}^m (-1)^{j+m} {m \choose j}{j+m-1 \choose \nu} (j+m) x^{j+m-\nu-1},$$ where B _n (x) denotes the Bernoulli polynomial of degree n. An application of (1) leads to new identities for Bernoulli numbers B _n . Among others, we obtain
2. $$\sum_{k=0 \atop k+m \, \, odd}^{m -1} {m \choose k}{k+m \choose \nu} {k+m-\nu \choose j}B_{k+m-\nu-j} =0 \quad{(0 \leq j \leq m-2-\nu)}. $$ This formula extends two results obtained by Kaneko and Chen-Sun, who proved (2) for the special cases j = 1, \({\nu=0}\) and j = 3, \({\nu=0}\) , respectively.

     

The Joint Distribution of Running Maximum of a Slepian Process

Consider the Slepian process S defined by S(t) = B(t +?1) ? B(t),t ∈ [0, 1] with B(t), t ∈ ? a standard Brownian motion. In this contribution we analyze the properties between the maximum \(m_{s}=\max \limits _{0\leq u\leq s}S(u)\) and the maximum \(m_{t}=\max \limits _{0\leq u\leq t}S(u)\) for 0 ≤ s < t ≤?1 fixed. Explicit integral expressions are obtained for the joint distribution function between m _s and m _t and the distribution function of the partial maximum m _s . Further, we apply our results for the determination of the moments of m _s .     

On Generalized Markoff-Hurwitz-type Equations over Finite Fields

Let N _q denote the number of solutions of the generalized Markoff-Hurwitz-type equation

$a_1x_1^{m_1}+a_2x_2^{m_2}+\cdots+a_nx_n^{m_n}=b\,x_1^{k_1}x_2^{k_2}\cdots x_n^{k_n}$

over the finite field \(\mathbb{F}_{q}\), where m _i ,k _i are positive integers\(,a_{i},b\in \mathbb{F}_{q}^{*}\) for i=1,…,n and n≥2. By introducing and applying augmented degree matrix, we show that if \(\gcd(\sum_{i=1}^{n}k_{i}m/m_{i}-m,q-1)=1\) where m=m ₁ ??? m _n then N _q =q ^n?1+(?1)^n?1. This partially solves one of Carlitz’s problems and generalizes as well as simplifies some results of Baoulina about these type equations.

     

Some irreducibility and indecomposability results for truncated binomial polynomials of small degree

In this paper, we show that the truncated binomial polynomials defined by \(P_{n,k}(x)={\sum }_{j=0}^{k} {n \choose j} x^{j}\) are irreducible for each k≤6 and every n≥k+2. Under the same assumption n≥k+2, we also show that the polynomial P _n,k cannot be expressed as a composition P _n,k (x) = g(h(x)) with \(g \in \mathbb {Q}[x]\) of degree at least 2 and a quadratic polynomial \(h \in \mathbb {Q}[x]\). Finally, we show that for k≥2 and m,n≥k+1 the roots of the polynomial P _m,k cannot be obtained from the roots of P _n,k , where m≠n, by a linear map.     

Hrmander Type Theorem for Fourier Multipliers with Optimal Smoothness on Hardy Spaces of Arbitrary Number of Parameters

The main purpose of this paper is to establish the Hormander-Mihlin type theorem for Fourier multipliers with optimal smoothness on k-parameter Hardy spaces for k≥ 3 using the multiparameter Littlewood-Paley theory. For the sake of convenience and simplicity, we only consider the case k = 3, and the method works for all the cases k≥ 3:■where x =(x_1,x_2,x_3)∈R~(n_1)×R~(n_2)×R~(n_3) and ξ =(ξ_1,ξ_2,ξ_3)∈R~(n_1)×R~(n_2)×R~(n_3). One of our main results is the following:Assume that m(ξ) is a function on R~(n_1+n_2+n_3) satisfying ■ with s_i n_i(1/p-1/2) for 1≤i≤3. Then T_m is bounded from H~p(R~(n_1)×R~(n_2)×R~(n_3) to H~p(R~(n_1)×R~(n_2)×R~(n_3)for all 0 p≤1 and ■ Moreover, the smoothness assumption on s_i for 1≤i≤3 is optimal. Here we have used the notations m_(j,k,l)(ξ)=m(2~jξ_1,2~kξ_2,2~lξ_3)Ψ(ξ_1)Ψ(ξ_2)Ψ(ξ_3) and Ψ(ξ_i) is a suitable cut-off function on R~(n_i) for1≤i≤3, and W~(s_1,s_2,s_3) is a three-parameter Sobolev space on R~(n_1)×R~(n_2)× R~(n_3).Because the Fefferman criterion breaks down in three parameters or more, we consider the L~p boundedness of the Littlewood-Paley square function of T_mf to establish its boundedness on the multi-parameter Hardy spaces.     

A characterization of affinely regular polygons

In 1970, Coxeter gave a short and elegant geometric proof showing that if \(p_1, p_2, \ldots , p_n\) are vertices of an n-gon P in cyclic order, then P is affinely regular if, and only if there is some \(\lambda \ge 0\) such that \(p_{j+2}-p_{j-1} = \lambda (p_{j+1}-p_j)\) for \(j=1,2,\ldots , n\). The aim of this paper is to examine the properties of polygons whose vertices \(p_1,p_2,\ldots ,p_n \in \mathbb {C}\) satisfy the property that \(p_{j+m_1}-p_{j+m_2} = w (p_{j+k}-p_j)\) for some \(w \in \mathbb {C}\) and \(m_1,m_2,k \in \mathbb Z\). In particular, we show that in ‘most’ cases this implies that the polygon is affinely regular, but in some special cases there are polygons which satisfy this property but are not affinely regular. The proofs are based on the use of linear algebraic and number theoretic tools. In addition, we apply our method to characterize polytopes with certain symmetry groups.     

Schatten-Herz Operators,Berezin Transform and Mixed Norm Spaces

For p, q > 0 we study operators T on the Bergman space \({A_{2}(\mathbb{D)}}\) in the disk such that \({\left(\sum_{j}\Vert T\Delta_{j}\Vert_{p}^{q}\right)^{1/q}<\infty,}\) where the norms \({\Vert\cdot\Vert_{p}}\) are in the Schatten class S _p (A ₂), the projection \({\Delta_{j}f=\sum_{n\in I_{j}}a_{n}z^{n}}\) for \({f(z)=\sum_{n=0}^{\infty}a_{n}z^{n}}\) and \({I_{j}=[2^{j}-1,2^{j+1} )\cap(\mathbb{N}\cup\{0\})}\) for \({j\in\mathbb{N}\cup\{0\}.}\) We consider the relation of this property with mixed norms of the Berezin transform of T and of the related function \({f_{T}(z)={\Vert}T(k_{z})\Vert}\) where k _z is the normalized Bergman kernel. These classes of operators denoted by S(p, q) are closely related when assumed to be positive with other sets of operators, like the class of positive operators on A ₂ for which \({\left(\sum_{j\geq0}(\sum_{n\in I_{j}}|\left\langle T^pe_{n},e_{n}\right\rangle |)^{q/p}\right)^{1/q}<\infty}\) , where \({\{e_{n}\}_{n\geq0}}\) is the canonical basis of A ₂; also we study the relation of Toeplitz operators in S(p, q) with the Schatten-Herz classes, where the decomposition is through dyadic annuli of the domain \({\mathbb{D}}\) .     

Maximal Marcinkiewicz multipliers

Let \(\mathcal{M} =\{m_{j}\}_{j=1}^{\infty}\) be a family of Marcinkiewicz multipliers of sufficient uniform smoothness in \(\mathbb{R}^{n}\). We show that the L ^p norm, 1<p<∞, of the related maximal operator

$$M_Nf(x)= \sup_{1\leq j \leq N} |\mathcal{F}^{-1} ( m_j \mathcal{F} f)|(x) $$

is at most C(log(N+2)) ^n/2. We show that this bound is sharp.

     

Two remarks on iterates of Euler’s totient function

Let φ _k denote the kth iterate of Euler’s φ-function. We study two questions connected with these iterates. First, we determine the average order of φ _k and 1/φ _k ; e.g., we show that for each k ≥ 0,

$\sum_{n \leq x} \varphi_{k+1}(n) \sim \frac{3}{k! {\rm e}^{k\gamma}\pi^2}\frac{x^2}{(\log_3{x})^k}\qquad (x\to\infty),$

where γ is the Euler–Mascheroni constant. Second, for prime values of p, we study the number of distinct primes dividing \({\prod_{k=1}^{\infty}\varphi_k(p)}\). These prime divisors are precisely the primes appearing in the Pratt tree for p, which has been the subject of recent work by Ford, Konyagin, and Luca. We show that for each \({\epsilon > 0}\), the number of distinct primes appearing in the Pratt tree for p is \({ > ({\rm log}{p})^{1/2-\epsilon}}\) for all but x ^o(1) primes p ≤ x.

     

Acceleration of convergence of general linear sequences by the Shanks transformation

The Shanks transformation is a powerful nonlinear extrapolation method that is used to accelerate the convergence of slowly converging, and even diverging, sequences {A _n }. It generates a two-dimensional array of approximations \({A^{(j)}_n}\) to the limit or anti-limit of {A _n } defined as solutions of the linear systems

$A_l=A^{(j)}_n +\sum^{n}_{k=1}\bar{\beta}_k(\Delta A_{l+k-1}),\ \ j\leq l\leq j+n,$

where \({\bar{\beta}_{k}}\) are additional unknowns. In this work, we study the convergence and stability properties of \({A^{(j)}_n}\) , as j → ∞ with n fixed, derived from general linear sequences {A _n }, where \({{A_n \sim A+\sum^{m}_{k=1}\zeta_k^n\sum^\infty_{i=0} \beta_{ki}n^{\gamma_k-i}}}\) as n → ∞, where ζ _k  ≠ 1 are distinct and |ζ ₁| = ... = |ζ _m | = θ, and γ _k  ≠ 0, 1, 2, . . .. Here A is the limit or the anti-limit of {A _n }. Such sequences arise, for example, as partial sums of Fourier series of functions that have finite jump discontinuities and/or algebraic branch singularities. We show that definitive results are obtained with those values of n for which the integer programming problems

$\begin{array}{ll}{\quad\quad\quad\quad\max\limits_{s_1,\ldots,s_m}\sum\limits_{k=1}^{m}\left[(\Re\gamma_k)s_k-s_k(s_k-1)\right],}\\ {{\rm subject\,to}\,\, s_1\geq0,\ldots,s_m\geq0\quad{\rm and}\quad \sum\limits_{k=1}^{m} s_k = n,}\end{array}$

have unique (integer) solutions for s ₁, . . . , s _m . A special case of our convergence result concerns the situation in which \({{\Re\gamma_1=\cdots=\Re\gamma_m=\alpha}}\) and n = mν with ν = 1, 2, . . . , for which the integer programming problems above have unique solutions, and it reads \({A^{(j)}_n-A=O(\theta^j\,j^{\alpha-2\nu})}\) as j → ∞. When compared with A _j ? A = O(θ ^j j ^α ) as j → ∞, this result shows that the Shanks transformation is a true convergence acceleration method for the sequences considered. In addition, we show that it is stable for the case being studied, and we also quantify its stability properties. The results of this work are the first ones pertaining to the Shanks transformation on general linear sequences with m > 1.

     

Stability of functional equations of <Emphasis Type="Italic">n</Emphasis>-Apollonius type in fuzzy ternary Banach algebras

Using the fixed point method, we investigate the generalized Hyers–Ulam stability of the ternary homomorphisms and ternary derivations between fuzzy ternary Banach algebras for the additive functional equation of n-Apollonius type, namely

$${\sum_{i=1}^{n} f(z-x_{i}) = -\frac{1}{n} \sum_{1 \leq i < j \leq n} f(x_{i}+x_{j}) + n f (z-\frac{1}{n^{2}} \sum_{i=1}^{n}x_{i}),}$$

where \({n \geq 2}\) is a fixed positive integer.

     

Mean Square Estimates for Coefficients of Symmetric Power <Emphasis Type="Italic">L</Emphasis>-Functions

Let L(sym ^j f,s) be the jth symmetric power L-function attached to a holomorphic Hecke eigencuspform f(z) for the full modular group, and \(\lambda_{\mathrm{sym}^{j}f}(n)\) denote its nth coefficient. In this paper we are able to prove that

$\int_{1}^{x}\bigg|\sum_{n\leq y}\lambda_{\mathrm{sym}^{3}f}(n)\bigg|^{2}dy=O\bigl(x^{2}\bigr),$

and

$\int_{1}^{x}\bigg|\sum_{n\leq y}\lambda_{\mathrm{sym}^{4}f}(n)\bigg|^{2}dy=O\bigl(x^{\frac{11}{5}}\log x\bigr).$

     

On Functional Versions of the Arc-Sine Law

Let X ₁,X ₂,… be a sequence of random variables. Let S _k =X ₁+???+X _k and assume that S _k /b _k converges in distribution for some numerical sequence (b _k ). We study the weak convergence of the random processes {Λ _n (z), z∈?}, where

$\Lambda_{n}(z)=\frac{1}{n}\sum_{k=1}^{n}I\left\{\frac{S_{k}}{b_{k}}\leq z\right\}.$

We consider the same problem when the normalized partial sums S _k /b _k are replaced by other functionals of the sequence (X _n ). In particular, we investigate the case of sample extremes in detail.

     

Facets of the <Emphasis Type="Italic">r</Emphasis>-Stable (<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">k</Emphasis>)-Hypersimplex

Let k, n, and r be positive integers with k < n and \({r \leq \lfloor \frac{n}{k} \rfloor}\). We determine the facets of the r-stable n, k-hypersimplex. As a result, it turns out that the r-stable n, k-hypersimplex has exactly 2n facets for every \({r < \lfloor \frac{n}{k} \rfloor}\). We then utilize the equations of the facets to study when the r-stable hypersimplex is Gorenstein. For every k > 0 we identify an infinite collection of Gorenstein r-stable hypersimplices, consequently expanding the collection of r-stable hypersimplices known to have unimodal Ehrhart \({\delta}\)-vectors.     

Quantization of the Kadomtsev–Petviashvili equation

We propose a quantization of the Kadomtsev–Petviashvili equation on a cylinder equivalent to an infinite system of nonrelativistic one-dimensional bosons with the masses m = 1, 2,.... The Hamiltonian is Galilei-invariant and includes the split and merge terms \(\Psi _{{m_1}}^\dag \Psi _{{m_2}}^\dag {\Psi _{{m_1} + {m_2}}}\) and \(\Psi _{{m_1} + {m_2}}^\dag {\Psi _{{m_1}}}{\Psi _{{m_2}}}\) for all combinations of particles with masses m ₁, m ₂, and m ₁ + m ₂ for a special choice of coupling constants. We construct the Bethe eigenfunctions for the model and verify the consistency of the coordinate Bethe ansatz and hence the quantum integrability of the model up to the mass M=8 sector.     

A Formula for the Partition Function That “Counts”

We derive a combinatorial multisum expression for the number D(n, k) of partitions of n with Durfee square of order k. An immediate corollary is therefore a combinatorial formula for p(n), the number of partitions of n. We then study D(n, k) as a quasipolynomial. We consider the natural polynomial approximation \({\tilde{D}(n, k)}\) to the quasipolynomial representation of D(n, k). Numerically, the sum \({\sum_{1\leq k \leq \sqrt{n}} \tilde{D}(n, k)}\) appears to be extremely close to the initial term of the Hardy-Ramanujan-Rademacher convergent series for p(n).     

Polynomiality of some hook-length statistics

We prove a conjecture of Okada giving an exact formula for a certain statistic for hook-lengths of partitions:

$\frac{1}{n!} \sum_{\lambda \vdash n} f_{\lambda}^2 \sum_{u \in \lambda} \prod_{i=1}^{r}\bigl(h_u^2 - i^2\bigr) = \frac{1}{2(r+1)^2} \binom{2r}{r}\binom{2r+2}{ r+1} \prod_{j=0}^{r} (n-j),$

where f _λ is the number of standard Young tableaux of shape λ and h _u is the hook length of the square u of the Young diagram of λ. We also obtain other similar formulas.

     

Goldbach’s conjecture in arithmetic progressions: number and size of exceptional prime moduli

Set \({T=N^{\frac{1}{3}-\epsilon}}\). It is proved that for all but \({\ll TL^{-H},\,H > 0}\), exceptional prime numbers \({k\leq T}\) and almost all integers b ₁, b ₂ co-prime to k, almost all integers \({n\sim N}\) satisfying \({n\equiv b_{1}+b_{2}(mod\,k)}\) can be written as the sum of two primes p ₁ and p ₂ satisfying \({p_{i}\equiv b_{i}(mod\,k),\,i=1,2}\). For prime numbers \({k\leq N^{\frac{5}{24}-\epsilon}}\), this result is even true for all but \({\ll (\log\,N)^{D}}\) primes k and all integers b ₁, b ₂ co-prime to k.