Entire solutions of Fermat type differential-difference equations

We mainly discuss entire solutions with finite order of the following Fermat type differential-difference equations

$$\begin{array}{ll}(f)^{n}+f(z+c)^{m}=1;\\f^{\prime}(z)^{n}+f(z+c)^{m}=1;\\ f^{\prime}(z)^{n}+[f(z+c)-f(z)]^{m}=1,\end{array}$$

where m, n are positive integers.

     

Regularization of a three-element functional equation

In this paper we study the three-element functional equation

$(V\Phi )(z) \equiv \Phi (iz) + \Phi ( - iz) + G(z)\Phi \left( {\frac{1}{z}} \right) = g(z), z \in R,$

, subject to

$R: = \{ z:\left| z \right| < 1, \left| {\arg z} \right| < \frac{\pi }{4}\} .$

We assume that the coefficients G(z) and g(z) are holomorphic in R and their boundary values G ⁺(t) and g ⁺(t) belong to H(Γ), G(t)G(t ^?1) = 1. We seek for solutions Φ(z) in the class of functions holomorphic outside of \(\bar R\) such that they vanish at infinity and their boundary values Φ^?(t) also belong to H(Γ). Using the method of equivalent regularization, we reduce the problem to the 2nd kind integral Fredholm equation.

     

On the generalized associativity equation

The so-called generalized associativity functional equation

$$\begin{aligned} G(J(x,y),z) = H(x,K(y,z)) \end{aligned}$$

has been investigated under various assumptions, for instance when the unknown functions G, H, J, and K are real, continuous, and strictly monotonic in each variable. In this note we investigate the following related problem: given the functions J and K, find every function F that can be written in the form

$$\begin{aligned} F(x,y,z) = G(J(x,y),z) = H(x,K(y,z)) \end{aligned}$$

for some functions G and H. We show how this problem can be solved when any of the inner functions J and K has the same range as one of its sections.

     

On the functional equation $${\varvec{f}}({\varvec{x}})+{\varvec{f}}({\varvec{y}})=\mathbf{max} \{{\varvec{f}}({\varvec{xy}}),{\varvec{f}}({\varvec{xy}}^{-{\varvec{1}}})\}$$ on groups

We analyse the functional equation

$$\begin{aligned} f(x)+f(y)=\max \{f(xy),f(xy^{-1})\} \end{aligned}$$

for a function \(f:G\rightarrow \mathbb R\) where G is a group. Without further assumption it characterises the absolute value of additive functions. In addition \(\{z\in G\mid f(z)=0\}\) is a normal subgroup of G with abelian factor group.

     

On the Darboux Integrability of the Hindmarsh–Rose Burster

We study the Hindmarsh–Rose burster which can be described by the differential system = y-x~3+ bx~2+ I-z,  = 1-5 x2~-y, z = μ(s(x-x_0)-z),where b, I, μ, s, x_0 are parameters. We characterize all its invariant algebraic surfaces and all its exponential factors for all values of the parameters. We also characterize its Darboux integrability in function of the parameters. These characterizations allow to study the global dynamics of the system when such invariant algebraic surfaces exist.     

Positive almost periodic solutions of some convolution equations

Consider a Hausdorff σ-compact, locally compact abelian group G. We are looking for positive almost periodic solutions of the following functional equation:

${\displaystyle f(x)=M_y\left[(A\circ f)(xy^{-1})\mu(y)\right], \quad x\in G.}$

In this context μ is a positive almost periodic measure on G, A is a uniformly continuous function on \({{\mathbb R}}\) and M _y [μ(y)] is the mean of μ. A more general equation which we investigate is the following

${\displaystyle f(x)=g(x)+\nu*f(x)+M_y\left[(A\circ f)(xy^{-1})\mu(y)\right], \quad x\in G,}$

where g is a positive almost periodic function on G, μ a positive almost periodic measure, ν a positive bounded measure and A a Lipschitz function.

     

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).$

     

Adaptive Fourier series—a variation of greedy algorithm

We study decomposition of functions in the Hardy space \(H^2(\mathbb{D} )\) into linear combinations of the basic functions (modified Blaschke products) in the system

$\label{Walsh like} {B}_n(z)= \frac{\sqrt{1-|a_n|^2}}{1-\overline{a}_{n}z}\prod\limits_{k=1}^{n-1}\frac{z-a_k}{1-\overline{a}_{k}z}, \quad n=1,2,..., $

(1)

where the points a _n ’s in the unit disc \(\mathbb{D}\) are adaptively chosen in relation to the function to be decomposed. The chosen points a _n ’s do not necessarily satisfy the usually assumed hyperbolic non-separability condition

$\label{condition} \sum\limits_{k=1}^\infty (1-|a_k|)=\infty $

(2)

in the traditional studies of the system. Under the proposed procedure functions are decomposed into their intrinsic components of successively increasing non-negative analytic instantaneous frequencies, whilst fast convergence is resumed. The algorithm is considered as a variation and realization of greedy algorithm.

     

The coexistence of quasi-periodic and blow-up solutions in a superlinear Duffing equation

In this paper, we construct a continuous positive periodic function p(t) such that the corresponding superlinear Duffing equation x′′+ a(x)~(x2n+1)+p(t)x~(2m+1)= 0, n + 2≤2 m+12n+1 possesses a solution which escapes to infinity in some finite time, and also has infinitely many subharmonic and quasi-periodic solutions, where the coefficient a(x) is an arbitrary positive smooth periodic function defined in the whole real axis.     

An explicit formula for the fourth moment of certain exponential sums

For integers m, n, q, k, with q,k≧1 and Dirichlet characters \(\chi, \chi' \text {\rm \;(mod}\,q)\) we define a generalized Kloosterman sum

$S(m,n,\chi, \chi', q)= \sideset{}{'} \sum_{a=1}^q \chi (a)G(a,\chi')e \left(\frac{ma^k+na}{q}\right)$

with a Dirichlet character and a Gauss sum G(a,χ′) as coefficient, where e(z)=e ^2πiz . The aim of this paper is to study the fourth power mean

$M_k(q)=\sum_m\ \sum_{\chi}\ \sum_{\chi'} \bigl|S(m,n,\chi,\chi', q)\bigr|^4$

obtaining explicit formulas for M _k (q).

     

The hole probability for Gaussian entire functions

Consider the random entire function

$f(z) = \sum\limits_{n = 0}^\infty {{\phi _n}{a_n}{z^n}} $

, where the ? _n are independent standard complex Gaussian coefficients, and the a _n are positive constants, which satisfy

$\mathop {\lim }\limits_{x \to \infty } {{\log {a_n}} \over n} = - \infty $

.

We study the probability P _H (r) that f has no zeroes in the disk{|z| < r} (hole probability). Assuming that the sequence a _n is logarithmically concave, we prove that

$\log {P_H}(r) = - S(r) + o(S(r))$

, where

$S(r) = 2 \cdot \sum\limits_{n:{a_n}{r^n} \ge 1} {\log ({a_n}{r^n})} $

, and r tends to ∞ outside a (deterministic) exceptional set of finite logarithmic measure.

     

Existence results for nonlinear fractional differential equations in <Emphasis Type="Italic">C</Emphasis>[0, <Emphasis Type="Italic">T</Emphasis>)

In this paper, we investigate the existence results for fractional differential equations of the form

$$\begin{aligned} {\left\{ \begin{array}{ll} D_{c}^{q}x(t)=f(t,x(t)) \quad t\in [0, T)\left( 0<T\le \infty \right) , \quad q \in (1,2),\\ x(0)=a_{0},\quad x^{'}(0)=a_{1}, \end{array}\right. } \end{aligned}$$

(0.1)

and

$$\begin{aligned} {\left\{ \begin{array}{ll} D_{c}^{q}x(t)=f(t,x(t)) \quad t\in [0, T), \quad q \in (0,1),\\ x(0)=a_{0}, \end{array}\right. } \end{aligned}$$

(0.2)

where \(D_{c}^{q}\) is the Caputo fractional derivative. We prove the above equations have solutions in C[0, T). Particularly, we present the existence and uniqueness results for the above equations on \([0,+\infty )\).

     

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.

     

Building Graphs Whose Independence Polynomials Have Only Real Roots

A stable set in a graph G is a set of pairwise non-adjacent vertices, and the stability number α(G) is the maximum size of a stable set in G. The independence polynomial of G is

$I(G; x) = s_{0}+s_{1}x+s_{2}x^{2}+\cdots+s_{\alpha}x^{\alpha},\alpha=\alpha(G),$

where s _k equals the number of stable sets of cardinality k in G (Gutman and Harary [11]).

Unlike the matching polynomial, the independence polynomial of a graph can have non-real roots. It is known that the polynomial I(G; x) has only real roots whenever (a) α(G) = 2 (Brown et al. [4]), (b) G is claw-free (Chudnowsky and Symour [6]). Brown et al. [3] proved that given a well-covered graph G, one can define a well-covered graph H such that G is a subgraph of H, α(G) = α(H), and I(H; x) has all its roots simple and real.In this paper, we show that starting from a graph G whose I(G; x) has only real roots, one can build an infinite family of graphs, some being well-covered, whose independence polynomials have only real roots (and, sometimes, are also palindromic).     

Inelastic interaction of nearly equal solitons for the quartic gKdV equation

This paper describes the interaction of two solitons with nearly equal speeds for the quartic (gKdV) equation

$\partial_tu+\partial_x(\partial_x^2u+u^4)=0,\quad t,x\in \mathbb{R}.$

(0.1)

We call soliton a solution of (0.1) of the form u(t,x)=Q _c (x?ct?y ₀), where c>0, y ₀∈? and \(Q_{c}''+Q_{c}^{4}=cQ_{c}\). Since (0.1) is not an integrable model, the general question of the collision of two given solitons \(Q_{c_{1}}(x-c_{1}t)\), \(Q_{c_{2}}(x-c_{2}t)\) with c ₁≠c ₂ is an open problem.

We focus on the special case where the two solitons have nearly equal speeds: let U(t) be the solution of (0.1) satisfying

$\lim_{t\to-\infty}\|{U}(t)-Q_{c_1^-}(.-c_1^-t)-Q_{c_2^-}(.-c_2^-t)\|_{H^1}=0,$

for \(\mu_{0}=(c_{2}^{-}-c_{1}^{-})/(c_{1}^{-}+c_{2}^{-})>0\) small. By constructing an approximate solution of (0.1), we prove that, for all time t∈?,

$\begin{array}{l}\displaystyle{U}(t)={Q}_{c_1(t)}(x-y_1(t))+{Q}_{c_2(t)}(x-y_2(t))+{w}(t)\\[6pt]\displaystyle\quad\mbox{where }\|w(t)\|_{H^1}\leq|\ln\mu_0|\mu_0^2,\end{array}$

with y ₁(t)?y ₂(t)>2|ln?μ ₀|+C, for some C∈?. These estimates mean that the two solitons are preserved by the interaction and that for all time they are separated by a large distance, as in the case of the integrable KdV equation in this regime.

However, unlike in the integrable case, we prove that the collision is not perfectly elastic, in the following sense, for some C>0,

$\lim_{t\to+\infty}c_1(t)>c_2^-\biggl(1+\frac{\mu_0^5}{C}\biggr),\quad \lim_{t\to+\infty}c_2(t)

and \({w}(t)\not\to0\) in H ¹ as t→+∞.

     

A new approximate proximal point algorithm for maximal monotone operator

The problem concerned in this paper is the set-valued equation 0 ∈T(z) where T is a maximal monotone operator. For given xk and βk > 0, some existing approximate proximal point algorithms take x~(k+1) = xk such thatwhere {ηk} is a non-negative summable sequence. Instead of xk+1 = xk , the new iterate of the proposing method is given bywhere Ω is the domain of T and PΩ(·) denotes the projection on Ω. The convergence is proved under a significantly relaxed restriction supk>0 ηk<1.     

Endpoint asymptotics for Müntz–Legendre polynomials

Müntz–Legendre polynomials L _n (Λ;x) associated with a sequence Λ={λ _k } are obtained by orthogonalizing the system \((x^{\lambda_{0}},x^{\lambda_{1}},x^{\lambda_{2}},\dots)\) in L ₂[0,1] with respect to the Legendre weight. Under very mild conditions on Λ, we establish the endpoint asymptotics close to x=1. The main result is

$\lim_{n\to\infty}L_n\left(1-\frac{y^2}{4S_n}\right)=J_0\big(|y|\big)$

where \(S_{n}=\sum_{k=0}^{n-1}(2\lambda_{k}+1)+\frac{2\lambda_{n}+1}{2}\) and J ₀ is the Bessel function of order 0.

     

The Cauchy–Kowalewski Theorem in the Space of Pseudo Q-holomorphic Functions

In this work, we prove the Cauchy–Kowalewski theorem for the initial-value problem

$$\begin{aligned} \frac{\partial w}{\partial t}= & {} Lw \\ w(0,z)= & {} w_{0}(z) \end{aligned}$$

where

$$\begin{aligned} Lw:= & {} E_{0}(t,z)\frac{\partial }{\partial \overline{\phi }}\left( \frac{ d_{E}w}{dz}\right) +F_{0}(t,z)\overline{\left( \frac{\partial }{\partial \overline{\phi }}\left( \frac{d_{E}w}{dz}\right) \right) }+C_{0}(t,z)\frac{ d_{E}w}{dz} \\&+G_{0}(t,z)\overline{\left( \frac{d_{E}w}{dz}\right) } +A_{0}(t,z)w+B_{0}(t,z)\overline{w}+D_{0}(t,z) \end{aligned}$$

in the space \(P_{D}\left( E\right) \) of Pseudo Q-holomorphic functions.

     

Fixed points of meromorphic functions and of their differences,divided differences and shifts

Let f(z) be a finite order meromorphic function and let c∈C\{0} be a constant.If f(z)has a Borel exceptional value a∈C,it is proved that max{τ(f(z)),τ(△_cf(z))}=max{τ(f(z)),τ(f(z+c))}=max{τ(△_cf(z)),τ(f(z+c))}=σ(f(z)).If f(z) has a Borel exceptional value b∈(C\{0})∪{∞},it is proved that max{τ(f(z)),τ(△cf(z)/f(z))}=max{τ(△cf(z)/f(z)),τ(f(z+c))}=σ(f(z)) unless f(z) takes a special form.Here τ(g(z)) denotes the exponent of convergence of fixed points of the meromorphic function g(z),and σ(g(z)) denotes the order of growth of g(z).     

On semistable principal bundles over a complex projective manifold,II

Let (X, ω) be a compact connected Kähler manifold of complex dimension d and \({E_G\,\longrightarrow\,X}\) a holomorphic principal G–bundle, where G is a connected reductive linear algebraic group defined over \({\mathbb{C}}\). Let Z(G) denote the center of G. We prove that the following three statements are equivalent:

1. (1)
   There is a parabolic subgroup \({P\,\subset\,G}\) and a holomorphic reduction of structure group \({E_P\,\subset\,E_G}\) to P, such that the corresponding L(P)/Z(G)–bundle

   $E_{L(P)/Z(G)}\,:=\,E_P(L(P)/Z(G))\,\longrightarrow\,X$

   admits a unitary flat connection, where L(P) is the Levi quotient of P.
    
2. (2)
   The adjoint vector bundle ad(E _G ) is numerically flat.
    
3. (3)
   The principal G–bundle E _G is pseudostable, and

   $\int\limits_X c_2({\rm ad}(E_G))\omega^{d-2}\,=\,0.$
    

If X is a complex projective manifold, and ω represents a rational cohomology class, then the third statement is equivalent to the statement that E _G is semistable with c ₂(ad(E _G )) = 0.