On some results of Hua in short intervals

In this note, we prove some results of Hua in short intervals. For example, each sufficiently large integer N satisfying some congruence conditions can be written as

$ \left\{ {\begin{array}{*{20}{c}} {N = p_1^2 + p_2^2 + p_3^2 + p_4^2 + {p^k}}, \hfill \\ {\left| {{p_j} - \sqrt {N/5} } \right| \leqslant U,\left| {p - {{\left( {N/5} \right)}^{\tfrac{1}{k}}}} \right|\leqslant UN - \tfrac{1}{2} + \tfrac{1}{k},j = 1,2,3,4,} \hfill \\ \end{array} } \right. $

where \( U = N\tfrac{1}{2} - \eta + \varepsilon \) with \( \eta = \frac{2}{{\kappa \left( {K + 1} \right)\left( {{K^2} + 2} \right)}} \) and \( K = {2^{k - 1}},k\geqslant 3. \)

     

The limit case of a domination property

The domination number γ(G) of a connected graph G of order n is bounded below by(n+2-e(G))/ 3 , where (G) denotes the maximum number of leaves in any spanning tree of G. We show that (n+2-e(G))/ 3 = γ(G) if and only if there exists a tree T ∈ T ( G) ∩ R such that n1(T ) = e(G), where n1(T ) denotes the number of leaves of T1, R denotes the family of all trees in which the distance between any two distinct leaves is congruent to 2 modulo 3, and T (G) denotes the set composed by the spanning trees of G. As a consequence of the study, we show that if (n+2-e(G))/ 3 = γ(G), then there exists a minimum dominating set in G whose induced subgraph is an independent set. Finally, we characterize all unicyclic graphs G for which equality (n+2-e(G))/ 3= γ(G) holds and we show that the length of the unique cycle of any unicyclic graph G with (n+2-e(G))/ 3= γ(G) belongs to {4} ∪ {3 , 6, 9, . . . }.     

Some Estimates of Higher Order Riesz Transform Related to Schrödinger Type Operators

In this paper we consider the Schrödinger type operators \(H_2=(-\Delta)^2 +V^2\), where the nonnegative potential V belongs to the reverse Hölder class \(B_{q_{_1}}\) for \(q_{_1}\geq \frac{n}{2}, n\geq 5\). The L ^p and weak type (1, 1) estimates of higher order Riesz transform \(\nabla^2H^{-\frac{1}{2}}_2 \) related to Schrödinger type operators H ₂ are obtained. In particular, \(\nabla^2H^{-\frac{1}{2}}_2 \) is a Calderón-Zygmund operator if V?∈?B _2n or \(V\in B_\frac{n}{2}\) and there exists a constant C such that V(x)?≤?Cm(x,V)².     

A Neighborhood Union Condition for Fractional ID-[<Emphasis Type="Italic">a</Emphasis>, <Emphasis Type="Italic">b</Emphasis>]-factor-critical Graphs

Let a, b, r be nonnegative integers with \(1\leq{a}\leq{b}\) and \(r\geq2\). Let G be a graph of order n with \(n >\frac{(a+2b)(r(a+b)-2)}{b}\). In this paper, we prove that G is fractional ID-[a, b]-factor-critical if \(\delta(G)\geq\frac{bn}{a+2b}+a(r-1)\) and \(\mid N_{G}(x_{1}) \cup N_{G}(x_{2}) \cup \cdotp \cdotp \cdotp \cup N_{G}(x_{r})\mid\geq\frac{(a+b)n}{a+2b}\) for any independent subset {x₁, x₂, · · ·, x_r} in G. It is a generalization of Zhou et al.’s previous result [Discussiones Mathematicae Graph Theory, 36: 409–418 (2016)] in which r = 2 is discussed. Furthermore, we show that this result is best possible in some sense.     

Turán-type bounds for distance graphs

A lower bound is obtained for the number of edges in a distance graph G in an infinitesimal plane layer ?² × [0, ε] ^d , which relates the number of edges e(G), the number of vertices ν(G), and the independence number α(G). It is proved that \(e\left( G \right) \geqslant \frac{{19\nu \left( G \right) - 50\alpha \left( G \right)}}{3}\). This result generalizes a previous bound for distance graphs in the plane. It substantially improves Turán’s bound in the case where \(\frac{1}{5} \leqslant \frac{{\alpha \left( G \right)}}{{\nu \left( G \right)}} \leqslant \frac{2}{7}\).     

Induced Cycles in Graphs

The maximum number vertices of a graph G inducing a 2-regular subgraph of G is denoted by \(c_\mathrm{ind}(G)\). We prove that if G is an r-regular graph of order n, then \(c_\mathrm{ind}(G) \ge \frac{n}{2(r-1)} + \frac{1}{(r-1)(r-2)}\) and we prove that if G is a cubic, claw-free graph on order n, then \(c_\mathrm{ind}(G) > \frac{13}{20}n\) and this bound is asymptotically best possible.     

A logarithmically improved regularity criterion for the supercritical quasi-geostrophic equations in Besov space

In this paper, we consider the logarithmically improved regularity criterion for the supercritical quasi-geostrophic equation in Besov space \(\dot B_{\infty ,\infty }^{ - r}\left( {{\mathbb{R}^2}} \right)\). The result shows that if θ is a weak solutions satisfies

$$\int_0^T {\frac{{\left\| {\nabla \theta ( \cdot ,s)} \right\|_{\dot B_{\infty ,\infty }^{ - r} }^{\tfrac{\alpha }{{\alpha - r}}} }}{{1 + \ln \left( {e + \left\| {\nabla ^ \bot \theta ( \cdot ,s)} \right\|_{L^{\tfrac{2}{r}} } } \right)!}}ds < \infty for some 0 < r < \alpha and 0 < \alpha < 1,}$$

then θ is regular at t = T. In view of the embedding \({L^{\frac{2}{r}}} \subset M_{\frac{2}{r}}^p \subset \dot B_{\infty ,\infty }^{ - r}\) with \(2 \leqslant p < \frac{2}{r}\) and 0 ≤ r < 1, we see that our result extends the results due to [20] and [31].

     

Nordhaus–Gaddum Results for the Induced Path Number of a Graph When Neither the Graph Nor Its Complement Contains Isolates

The induced path number \(\rho (G)\) of a graph G is defined as the minimum number of subsets into which the vertex set of G can be partitioned so that each subset induces a path. A product Nordhaus–Gaddum-type result is a bound on the product of a parameter of a graph and its complement. Hattingh et al. (Util Math 94:275–285, 2014) showed that if G is a graph of order n, then \(\lceil \frac{n}{4} \rceil \le \rho (G) \rho (\overline{G}) \le n \lceil \frac{n}{2} \rceil \), where these bounds are best possible. It was also noted that the upper bound is achieved when either G or \(\overline{G}\) is a graph consisting of n isolated vertices. In this paper, we determine best possible upper and lower bounds for \(\rho (G) \rho (\overline{G})\) when either both G and \(\overline{G}\) are connected or neither G nor \(\overline{G}\) has isolated vertices.     

On Frankl and Füredi’s conjecture for 3-uniform hypergraphs

Frankl and Füredi in [1] conjectured that the r-graph with m edges formed by taking the first m sets in the colex ordering of N^(r) has the largest Lagrangian of all r-graphs with m edges. Denote this r-graph by C _r,m and the Lagrangian of a hypergraph by λ(G). In this paper, we first show that if \(\leqslant m \leqslant \left( {\begin{array}{*{20}{c}}t \\ 3 \end{array}} \right)\), G is a left-compressed 3-graph with m edges and on vertex set [t], the triple with minimum colex ordering in G ^c is (t ? 2 ? i)(t ? 2)t, then λ(G) ≤ λ(C _3,m ). As an implication, the conjecture of Frankl and Füredi is true for \(\left( {\begin{array}{*{20}{c}}t \\ 3\end{array}} \right) - 6 \leqslant m \leqslant \left( {\begin{array}{*{20}{c}}t \\ 3\end{array}} \right)\).     

Couplings of Brownian Motions of Deterministic Distance in Model Spaces of Constant Curvature

We consider the model space \(\mathbb {M}^{n}_{K}\) of constant curvature K and dimension \(n\ge 1\) (Euclidean space for \(K=0\), sphere for \(K>0\) and hyperbolic space for \(K<0\)), and we show that given a function \(\rho :[0,\infty )\rightarrow [0, \infty )\) with \(\rho (0)=\mathrm {dist}(x,y)\) there exists a coadapted coupling (X(t), Y(t)) of Brownian motions on \(\mathbb {M}^{n}_{K}\) starting at (x, y) such that \(\rho (t)=\mathrm {dist}(X(t),Y(t))\) for every \(t\ge 0\) if and only if \(\rho \) is continuous and satisfies for almost every \(t\ge 0\) the differential inequality

$$\begin{aligned} -(n-1)\sqrt{K}\tan \left( \tfrac{\sqrt{K}\rho (t)}{2}\right) \le \rho '(t)\le -(n-1)\sqrt{K}\tan \left( \tfrac{\sqrt{K}\rho (t)}{2}\right) +\tfrac{2(n-1)\sqrt{K}}{\sin (\sqrt{K}\rho (t))}. \end{aligned}$$

In other words, we characterize all coadapted couplings of Brownian motions on the model space \(\mathbb {M}^{n}_{K}\) for which the distance between the processes is deterministic. In addition, the construction of the coupling is explicit for every choice of \(\rho \) satisfying the above hypotheses.

     

On multiplicative functions on consecutive integers

Let f and g be multiplicative functions of modulus 1. Assume that \( {\lim_{x \to \infty }}\frac{1}{x}\left| {\sum\nolimits_{n \leqslant x} {f(n)} } \right| = A > 0 \) and \( {\lim_{x \to \infty }}\frac{1}{x}\left| {\sum\nolimits_{n \leqslant x} {g(n)} } \right| = 0 \). We prove that, under these conditions,

$ \mathop {\lim }\limits_{x \to \infty } \frac{1}{x}\sum\limits_{n \leqslant x} {f(n)g(n + 1) = 0.}$

Concerning the Liouville function λ, we find an upper estimate for \( \frac{1}{x}\left| {\sum\limits_{n \leqslant x} {\lambda (n)\lambda (n + 1)} } \right| \) under the unproved hypothesis that L(s, χ) have Siegel zeros for an infinite sequence of L-functions.

     

On the application of linear positive operators for approximation of functions

For the linear positive Korovkin operator \(f\left( x \right) \to {t_n}\left( {f;x} \right) = \frac{1}{\pi }\int_{ - \pi }^\pi {f\left( {x + t} \right)E\left( t \right)dt} \), where E(x) is the Egervary–Szász polynomial and the corresponding interpolation mean \({t_{n,N}}\left( {f;x} \right) = \frac{1}{N}\sum\limits_{k = - N}^{N - 1} {{E_n}\left( {x - \frac{{\pi k}}{N}} \right)f\left( {\frac{{\pi k}}{N}} \right)} \), the Jackson-type inequalities \(\left\| {{t_{n,N}}\left( {f;x} \right) - f\left( x \right)} \right\| \leqslant \left( {1 + \pi } \right){\omega _f}\left( {\frac{1}{n}} \right),\left\| {{t_{n,N}}\left( {f;x} \right) - f\left( x \right)} \right\| \leqslant 2{\omega _f}\left( {\frac{\pi }{{n + 1}}} \right)\), where ωf (x) denotes the modulus of continuity, are proved for N > n/2. For ωf (x) ≤ Mx, the inequality \(\left\| {{t_{n,N}}\left( {f;x} \right) - f\left( x \right)} \right\| \leqslant \frac{{\pi M}}{{n + 1}}\). is established. As a consequence, an elementary derivation of an asymptotically sharp estimate of the Kolmogorov width of a compact set of functions satisfying the Lipschitz condition is obtained.     

The Representation of a C0-Semigroup of Linear Operators in a Banach Space on the Set of Entire Vectors of its Generator

For a C₀-semigroup \({\{U(t)\}_{t \geq 0}}\) of linear operators in a Banach space \({{\mathfrak{B}}}\) with generator A, we describe the set of elements \({x \in {\mathfrak{B}}}\) whose orbits U(t)x can be extended to entire \({{\mathfrak{B}}}\)-valued functions of a finite order and a finite type, and establish the conditions under which this set is dense in \({{\mathfrak{B}}}\). The Hille problem of finding vectors \({x \in {\mathfrak{B}}}\) such that there exists the limit \({\lim\limits_{n \to \infty}\left(I + \frac{tA}{n}\right)^{n}x}\) is also solved in the paper. We prove that this limit exists if and only if x is an entire vector of the operator A, and if this is the case, then it coincides with U(t)x.     

Fourier Multiplier Theorems Involving Type and Cotype

In this paper we develop the theory of Fourier multiplier operators \(T_{m}:L^{p}({\mathbb R}^{d};X)\rightarrow L^{q}({\mathbb R}^{d};Y)\), for Banach spaces X and Y, \(1\le p\le q\le \infty \) and \(m:{\mathbb R}^d\rightarrow \mathcal {L}(X,Y)\) an operator-valued symbol. The case \(p=q\) has been studied extensively since the 1980s, but far less is known for \(p<q\). In the scalar setting one can deduce results for \(p<q\) from the case \(p=q\). However, in the vector-valued setting this leads to restrictions both on the smoothness of the multiplier and on the class of Banach spaces. For example, one often needs that X and Y are UMD spaces and that m satisfies a smoothness condition. We show that for \(p<q\) other geometric conditions on X and Y, such as the notions of type and cotype, can be used to study Fourier multipliers. Moreover, we obtain boundedness results for \(T_m\) without any smoothness properties of m. Under smoothness conditions the boundedness results can be extrapolated to other values of p and q as long as \(\tfrac{1}{p}-\tfrac{1}{q}\) remains constant.     

Edge Roman Domination on Graphs

An edge Roman dominating function of a graph G is a function \(f:E(G) \rightarrow \{0,1,2\}\) satisfying the condition that every edge e with \(f(e)=0\) is adjacent to some edge \(e'\) with \(f(e')=2\). The edge Roman domination number of G, denoted by \(\gamma '_R(G)\), is the minimum weight \(w(f) = \sum _{e\in E(G)} f(e)\) of an edge Roman dominating function f of G. This paper disproves a conjecture of Akbari, Ehsani, Ghajar, Jalaly Khalilabadi and Sadeghian Sadeghabad stating that if G is a graph of maximum degree \(\Delta \) on n vertices, then \(\gamma _R'(G) \le \lceil \frac{\Delta }{\Delta +1} n \rceil \). While the counterexamples having the edge Roman domination numbers \(\frac{2\Delta -2}{2\Delta -1} n\), we prove that \(\frac{2\Delta -2}{2\Delta -1} n + \frac{2}{2\Delta -1}\) is an upper bound for connected graphs. Furthermore, we provide an upper bound for the edge Roman domination number of k-degenerate graphs, which generalizes results of Akbari, Ehsani, Ghajar, Jalaly Khalilabadi and Sadeghian Sadeghabad. We also prove a sharp upper bound for subcubic graphs. In addition, we prove that the edge Roman domination numbers of planar graphs on n vertices is at most \(\frac{6}{7}n\), which confirms a conjecture of Akbari and Qajar. We also show an upper bound for graphs of girth at least five that is 2-cell embeddable in surfaces of small genus. Finally, we prove an upper bound for graphs that do not contain \(K_{2,3}\) as a subdivision, which generalizes a result of Akbari and Qajar on outerplanar graphs.     

On a hybrid bound for twisted <Emphasis Type="Italic">L</Emphasis>-values

Let f ∈S _k (M, ψ) be a newform, and let χ be a primitive character of conductor q. We express \({L(\frac{1}{2}+it,f\otimes\chi)}\) as a short combination of bilinear forms involving Kloosterman fractions. Using this we establish the convexity breaking bound \({L\left(\tfrac{1}{2}+it,f\otimes\chi\right)\ll_{f,\varepsilon} [q(1+|t|)]^{\frac{1}{2}-\frac{1}{118}+\varepsilon}}\) for any ε > 0.     

On Filtered Polynomial Approximation on the Sphere

This paper considers filtered polynomial approximations on the unit sphere \(\mathbb {S}^d\subset \mathbb {R}^{d+1}\), obtained by truncating smoothly the Fourier series of an integrable function f with the help of a “filter” h, which is a real-valued continuous function on \([0,\infty )\) such that \(h(t)=1\) for \(t\in [0,1]\) and \(h(t)=0\) for \(t\ge 2\). The resulting “filtered polynomial approximation” (a spherical polynomial of degree \(2L-1\)) is then made fully discrete by approximating the inner product integrals by an N-point cubature rule of suitably high polynomial degree of precision, giving an approximation called “filtered hyperinterpolation”. In this paper we require that the filter h and all its derivatives up to \(\lfloor \tfrac{d-1}{2}\rfloor \) are absolutely continuous, while its right and left derivatives of order \(\lfloor \tfrac{d+1}{2}\rfloor \) exist everywhere and are of bounded variation. Under this assumption we show that for a function f in the Sobolev space \(W^s_p(\mathbb {S}^d),\ 1\le p\le \infty \), both approximations are of the optimal order \( L^{-s}\), in the first case for \(s>0\) and in the second fully discrete case for \(s>d/p\), conditions which in both cases cannot be weakened.     

Solutions of perturbed Schrödinger equations with critical nonlinearity

We consider the perturbed Schrödinger equation

$\left\{\begin{array}{ll}{- \varepsilon ^2 \Delta u + V(x)u = P(x)|u|^{p - 2} u + k(x)|u|^{2* - 2} u} &; {\text{for}}\, x \in {\mathbb{R}}^N\\ \qquad \qquad \quad {u(x) \rightarrow 0} &; \text{as}\, {|x| \rightarrow \infty} \end{array} \right.$

where \(N\geq 3, \ 2^*=2N/(N-2)\) is the Sobolev critical exponent, \(p\in (2, 2^*)\) , P(x) and K(x) are bounded positive functions. Under proper conditions on V we show that it has at least one positive solution provided that \(\varepsilon\leq{\mathcal{E}}\) ; for any \(m\in{\mathbb{N}}\) , it has m pairs of solutions if \(\varepsilon\leq{\mathcal{E}}_{m}\) ; and suppose there exists an orthogonal involution \(\tau:{\mathbb{R}}^{N}\to{\mathbb{R}}^{N}\) such that V(x), P(x) and K(x) are τ -invariant, then it has at least one pair of solutions which change sign exactly once provided that \(\varepsilon\leq{\mathcal{E}}\) , where \({\mathcal{E}}\) and \({\mathcal{E}}_{m}\) are sufficiently small positive numbers. Moreover, these solutions \(u_\varepsilon\to 0\) in \(H^1({\mathbb{R}}^N)\) as \(\varepsilon\to 0\) .

     

A Munn type representation of abundant semigroups with a multiplicative ample transversal

In this note, we consider the Erd?s–Straus Diophantine equation

$$\begin{aligned} \frac{c}{n}=\frac{1}{x} + \frac{1}{y} + \frac{1}{z}, \end{aligned}$$

where n and c are positive integers with \(\gcd (n, c) = 1\). We provide a formula for the number f(n, c) of all positive integral solutions (x, y, z) of the equation. In 1948, Erd?s and Straus conjectured that \(f(n,4) \ge 1,\) for all integers \(n \ge 2\). Here, we solve the conjecture for a special case of n.

     

Reconstruction of the potential of the Sturm–Liouville operator from a finite set of eigenvalues and normalizing constants

It is well known that the potential q of the Sturm–Liouville operator L_y = ?y? + q(x)y on the finite interval [0, π] can be uniquely reconstructed from the spectrum \(\left\{ {{\lambda _k}} \right\}_1^\infty \) and the normalizing numbers \(\left\{ {{\alpha _k}} \right\}_1^\infty \) of the operator L_D with the Dirichlet conditions. For an arbitrary real-valued potential q lying in the Sobolev space \(W_2^\theta \left[ {0,\pi } \right],\theta > - 1\), we construct a function q_N providing a 2N-approximation to the potential on the basis of the finite spectral data set \(\left\{ {{\lambda _k}} \right\}_1^N \cup \left\{ {{\alpha _k}} \right\}_1^N\). The main result is that, for arbitrary τ in the interval ?1 ≤ τ < θ, the estimate \({\left\| {q - \left. {{q_N}} \right\|} \right._\tau } \leqslant C{N^{\tau - \theta }}\) is true, where \({\left\| {\left. \cdot \right\|} \right._\tau }\) is the norm on the Sobolev space \(W_2^\tau \). The constant C depends solely on \({\left\| {\left. q \right\|} \right._\theta }\).