On Weak Invariance Principles for Partial Sums

Given a sequence of random functionals \(\bigl \{X_k(u)\bigr \}_{k \in \mathbb {Z}}\), \(u \in \mathbf{I}^d\), \(d \ge 1\), the normalized partial sums \(\check{S}_{nt}(u) = n^{-1/2}\bigl (X_1(u) + \cdots + X_{\lfloor n t \rfloor }(u)\bigr )\), \(t \in [0,1]\) and its polygonal version \({S}_{nt}(u)\) are considered under a weak dependence assumption and \(p > 2\) moments. Weak invariance principles in the space of continuous functions and càdlàg functions are established. A particular emphasis is put on the process \(\check{S}_{nt}(\widehat{\theta })\), where \(\widehat{\theta } \xrightarrow {\mathbb {P}} \theta \), and weaker moment conditions (\(p = 2\) if \(d = 1\)) are assumed.     

Idempotent and <Emphasis Type="Italic">p</Emphasis>-potent quadratic functions: distribution of nonlinearity and co-dimension

The Walsh transform \(\widehat{Q}\) of a quadratic function \(Q:{\mathbb F}_{p^n}\rightarrow {\mathbb F}_p\) satisfies \(|\widehat{Q}(b)| \in \{0,p^{\frac{n+s}{2}}\}\) for all \(b\in {\mathbb F}_{p^n}\), where \(0\le s\le n-1\) is an integer depending on Q. In this article, we study the following three classes of quadratic functions of wide interest. The class \(\mathcal {C}_1\) is defined for arbitrary n as \(\mathcal {C}_1 = \{Q(x) = \mathrm{Tr_n}(\sum _{i=1}^{\lfloor (n-1)/2\rfloor }a_ix^{2^i+1})\;:\; a_i \in {\mathbb F}_2\}\), and the larger class \(\mathcal {C}_2\) is defined for even n as \(\mathcal {C}_2 = \{Q(x) = \mathrm{Tr_n}(\sum _{i=1}^{(n/2)-1}a_ix^{2^i+1}) + \mathrm{Tr_{n/2}}(a_{n/2}x^{2^{n/2}+1}) \;:\; a_i \in {\mathbb F}_2\}\). For an odd prime p, the subclass \(\mathcal {D}\) of all p-ary quadratic functions is defined as \(\mathcal {D} = \{Q(x) = \mathrm{Tr_n}(\sum _{i=0}^{\lfloor n/2\rfloor }a_ix^{p^i+1})\;:\; a_i \in {\mathbb F}_p\}\). We determine the generating function for the distribution of the parameter s for \(\mathcal {C}_1, \mathcal {C}_2\) and \(\mathcal {D}\). As a consequence we completely describe the distribution of the nonlinearity for the rotation symmetric quadratic Boolean functions, and in the case \(p > 2\), the distribution of the co-dimension for the rotation symmetric quadratic p-ary functions, which have been attracting considerable attention recently. Our results also facilitate obtaining closed formulas for the number of such quadratic functions with prescribed s for small values of s, and hence extend earlier results on this topic. We also present the complete weight distribution of the subcodes of the second order Reed–Muller codes corresponding to \(\mathcal {C}_1\) and \(\mathcal {C}_2\) in terms of a generating function.     

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.     

Partial permutation decoding for binary linear and $$Z_4$$-linear Hadamard codes

In this paper, s-\({\text {PD}}\)-sets of minimum size \(s+1\) for partial permutation decoding for the binary linear Hadamard code \(H_m\) of length \(2^m\), for all \(m\ge 4\) and \(2 \le s \le \lfloor {\frac{2^m}{1+m}}\rfloor -1\), are constructed. Moreover, recursive constructions to obtain s-\({\text {PD}}\)-sets of size \(l\ge s+1\) for \(H_{m+1}\) of length \(2^{m+1}\), from an s-\({\text {PD}}\)-set of the same size for \(H_m\), are also described. These results are generalized to find s-\({\text {PD}}\)-sets for the \({\mathbb {Z}}_4\)-linear Hadamard codes \(H_{\gamma , \delta }\) of length \(2^m\), \(m=\gamma +2\delta -1\), which are binary Hadamard codes (not necessarily linear) obtained as the Gray map image of quaternary linear codes of type \(2^\gamma 4^\delta \). Specifically, s-PD-sets of minimum size \(s+1\) for \(H_{\gamma , \delta }\), for all \(\delta \ge 3\) and \(2\le s \le \lfloor {\frac{2^{2\delta -2}}{\delta }}\rfloor -1\), are constructed and recursive constructions are described.     

On the Dual Form of ‘Low <Emphasis Type="Italic">M</Emphasis><Superscript>*</Superscript> Estimate’ in the Quasi-convex Case

Let\(B_{2}^{n}\) denote the Euclidean ball in\({\mathbb R}^n\), and, given closed star-shaped body\(K \subset {\mathbb R}^{n}, M_{K}\) denote the average of the gauge of K on the Euclidean sphere. Let\(p \in (0,1)\) and let\(K \subset {\mathbb R}^{n}\) be a p-convex body. In [17] we proved that for every\(\lambda \in (0,1)\) there exists an orthogonal projection P of rank\((1 - \lambda)n\) such that

$\frac{f(\lambda)}{M_K} PB^{n}_{2} \subset PK,$

where\(f(\lambda)=c_p\lambda^{1+1/p}\) for some positive constant c _p depending on p only. In this note we prove that\(f(\lambda)\) can be taken equal to\(C_p\lambda^{1/p-1/2}\). In terms of Kolmogorov numbers it means that for every\(k \leq n\)

$d_k (\hbox{Id}:\ell^{n}_{2} \to ({\mathbb R}^{n},\|\cdot\|_{K})) \leq C_p \frac{n^{1/p-1}}{k^{1/p-1/2}} \ell(\hbox{ID}: \ell^{n}_{2} \to ({\mathbb R}^{n}, \|\cdot\|_{K})),$

where\(\ell(\hbox{Id})={\bf E}\|\sum\limits^{n}_{i=1}g_i e_i\|_K\) for the independent standard Gaussian random variables\(\{g_i\}\) and the canonical basis\(\{e_i\}\) of\({\mathbb R}^n\). All results do not require the symmetry of K.

     

Uniform Bounds on the Relative Error in the Approximation of Upper Quantiles for Sums of Arbitrary Independent Random Variables

Fix any \(n\ge 1\). Let \(\tilde{X}_1,\ldots ,\tilde{X}_n\) be independent random variables. For each \(1\le j \le n\), \(\tilde{X}_j\) is transformed in a canonical manner into a random variable \(X_j\). The \(X_j\) inherit independence from the \(\tilde{X}_j\). Let \(s_y\) and \(s_y^*\) denote the upper \(\frac{1}{y}{\underline{\text{ th }}}\) quantile of \(S_n=\sum _{j=1}^nX_j\) and \(S^*_n=\sup _{1\le k\le n}S_k\), respectively. We construct a computable quantity \(\underline{Q}_y\) based on the marginal distributions of \(X_1,\ldots ,X_n\) to produce upper and lower bounds for \(s_y\) and \(s_y^*\). We prove that for \(y\ge 8\)

$$\begin{aligned} 6^{-1} \gamma _{3y/16}\underline{Q}_{3y/16}\le s^*_{y}\le \underline{Q}_y \end{aligned}$$

where

$$\begin{aligned} \gamma _y=\frac{1}{2w_y+1} \end{aligned}$$

and \(w_y\) is the unique solution of

$$\begin{aligned} \Big (\frac{w_y}{e\ln (\frac{y}{y-2})}\Big )^{w_y}=2y-4 \end{aligned}$$

for \(w_y>\ln (\frac{y}{y-2})\), and for \(y\ge 37\)

$$\begin{aligned} \frac{1}{9}\gamma _{u(y)}\underline{Q}_{u(y)}<s_y \le \underline{Q}_y \end{aligned}$$

where

$$\begin{aligned} u(y)=\frac{3y}{32} \left( 1+\sqrt{1-\frac{64}{3y}}\right) . \end{aligned}$$

The distribution of \(S_n\) is approximately centered around zero in that \(P(S_n\ge 0) \ge \frac{1}{18}\) and \(P(S_n\le 0)\ge \frac{1}{65}\). The results extend to \(n=\infty \) if and only if for some (hence all) \(a>0\)

$$\begin{aligned} \sum _{j=1}^{\infty }E\{(\tilde{X}_j-m_j)^2\wedge a^2\}<\infty . \end{aligned}$$

(1)

     

Limit Theorems for Orthogonal Polynomials Related to Circular Ensembles

For a natural extension of the circular unitary ensemble of order n, we study as \(n\rightarrow \infty \) the asymptotic behavior of the sequence of monic orthogonal polynomials \((\varPhi _{k,n}, k=0, \ldots , n)\) with respect to the spectral measure associated with a fixed vector, the last term being the characteristic polynomial. We show that, as \(n\rightarrow \infty \), the sequence of processes \((\log \varPhi _{\lfloor nt\rfloor ,n}(1), t \in [0,1])\) converges to a deterministic limit, and we describe the fluctuations and the large deviations.     

Algebras of Convolution-Type Operators with Piecewise Slowly Oscillating Data on Weighted Lebesgue Spaces

Let \({\mathcal B}_{p,w}\) be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space \(L^p(\mathbb {R},w)\), where \(p\in (1,\infty )\) and w is a Muckenhoupt weight. We study the Banach subalgebra \(\mathfrak {A}_{p,w}\) of \({\mathcal B}_{p,w}\) generated by all multiplication operators aI (\(a\in \mathrm{PSO}^\diamond \)) and all convolution operators \(W^0(b)\) (\(b\in \mathrm{PSO}_{p,w}^\diamond \)), where \(\mathrm{PSO}^\diamond \subset L^\infty (\mathbb {R})\) and \(\mathrm{PSO}_{p,w}^\diamond \subset M_{p,w}\) are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of \(\mathbb {R}\cup \{\infty \}\), and \(M_{p,w}\) is the Banach algebra of Fourier multipliers on \(L^p(\mathbb {R},w)\). For any Muckenhoupt weight w, we study the Fredholmness in the Banach algebra \({\mathcal Z}_{p,w}\subset \mathfrak {A}_{p,w}\) generated by the operators \(aW^0(b)\) with slowly oscillating data \(a\in \mathrm{SO}^\diamond \) and \(b\in \mathrm{SO}^\diamond _{p,w}\). Then, under some condition on the weight w, we complete constructing a Fredholm symbol calculus for the Banach algebra \(\mathfrak {A}_{p,w}\) in comparison with Karlovich and Loreto Hernández (Integr. Equations Oper. Theory 74:377–415, 2012) and Karlovich and Loreto Hernández (Integr. Equations Oper. Theory 75:49–86, 2013) and establish a Fredholm criterion for the operators \(A\in \mathfrak {A}_{p,w}\) in terms of their symbols. A new approach to determine local spectra is found.     

On kernels and nuclei of rank metric codes

For each rank metric code \(\mathcal {C}\subseteq \mathbb {K}^{m\times n}\), we associate a translation structure, the kernel of which is shown to be invariant with respect to the equivalence on rank metric codes. When \(\mathcal {C}\) is \(\mathbb {K}\)-linear, we also propose and investigate other two invariants called its middle nucleus and right nucleus. When \(\mathbb {K}\) is a finite field \(\mathbb {F}_q\) and \(\mathcal {C}\) is a maximum rank distance code with minimum distance \(d<\min \{m,n\}\) or \(\gcd (m,n)=1\), the kernel of the associated translation structure is proved to be \(\mathbb {F}_q\). Furthermore, we also show that the middle nucleus of a linear maximum rank distance code over \(\mathbb {F}_q\) must be a finite field; its right nucleus also has to be a finite field under the condition \(\max \{d,m-d+2\} \geqslant \left\lfloor \frac{n}{2} \right\rfloor +1\). Let \(\mathcal {D}\) be the DHO-set associated with a bilinear dimensional dual hyperoval over \(\mathbb {F}_2\). The set \(\mathcal {D}\) gives rise to a linear rank metric code, and we show that its kernel and right nucleus are isomorphic to \(\mathbb {F}_2\). Also, its middle nucleus must be a finite field containing \(\mathbb {F}_q\). Moreover, we also consider the kernel and the nuclei of \(\mathcal {D}^k\) where k is a Knuth operation.     

Complete mappings and Carlitz rank

The well-known Chowla and Zassenhaus conjecture, proven by Cohen in 1990, states that for any \(d\ge 2\) and any prime \(p>(d^2-3d+4)^2\) there is no complete mapping polynomial in \(\mathbb {F}_p[x]\) of degree d. For arbitrary finite fields \(\mathbb {F}_q\), we give a similar result in terms of the Carlitz rank of a permutation polynomial rather than its degree. We prove that if \(n<\lfloor q/2\rfloor \), then there is no complete mapping in \(\mathbb {F}_q[x]\) of Carlitz rank n of small linearity. We also determine how far permutation polynomials f of Carlitz rank \(n<\lfloor q/2\rfloor \) are from being complete, by studying value sets of \(f+x.\) We provide examples of complete mappings if \(n=\lfloor q/2\rfloor \), which shows that the above bound cannot be improved in general.     

On height isotopy classes of embeddings in the plane of a Morse function of a circle

Let \(\mathrm{SM}_{2n}(S^1,\mathbb {R})\) be a set of stable Morse functions of an oriented circle such that the number of singular points is \(2n\in \mathbb {N}\) and the order of singular values satisfies the particular condition. For an orthogonal projection \(\pi :\mathbb {R}^2\rightarrow \mathbb {R}\), let \({\tilde{f}}_0\) and \({\tilde{f}}_1:S^1\rightarrow \mathbb {R}^2\) be embedding lifts of f. If there is an ambient isotopy \(\tilde{\varphi }_t:\mathbb {R}^2\rightarrow \mathbb {R}^2\) \((t\in [0,1])\) such that \({\pi \circ \tilde{\varphi }}_t(y_1,y_2)=y_1\) and \(\tilde{\varphi }_1\circ {\tilde{f}}_0={\tilde{f}}_1\), we say that \({\tilde{f}}_0\) and \({\tilde{f}}_1\) are height isotopic. We define a function \(I:\mathrm{SM}_{2n}(S^1,\mathbb {R})\rightarrow \mathbb {N}\) as follows: I(f) is the number of height isotopy classes of embeddings such that each rotation number is one. In this paper, we determine the maximal value of the function I equals the n-th Baxter number and the minimal value equals \(2^{n-1}\).     

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.     

Estimates for coefficients of certain <Emphasis Type="Italic">L</Emphasis>-functions

Let \(\pi _{\varphi }\) (or \(\pi _{\psi }\)) be an automorphic cuspidal representation of \(\text {GL}_{2} (\mathbb {A}_{\mathbb {Q}})\) associated to a primitive Maass cusp form \(\varphi \) (or \(\psi \)), and \(\mathrm{sym}^j \pi _{\varphi }\) be the jth symmetric power lift of \(\pi _{\varphi }\). Let \(a_{\mathrm{sym}^j \pi _{\varphi }}(n)\) denote the nth Dirichlet series coefficient of the principal L-function associated to \(\mathrm{sym}^j \pi _{\varphi }\). In this paper, we study first moments of Dirichlet series coefficients of automorphic representations \(\mathrm{sym}^3 \pi _{\varphi }\) of \(\text {GL}_{4}(\mathbb {A}_{\mathbb {Q}})\), and \(\pi _{\psi }\otimes \mathrm{sym}^2 \pi _{\varphi }\) of \(\text {GL}_{6}(\mathbb {A}_{\mathbb {Q}})\). For \(3 \le j \le 8\), estimates for \(|a_{\mathrm{sym}^j \pi _{\varphi }}(n)|\) on average over a short interval have also been established.     

Poletskiĭ Type Inequality for Mappings from the Orlicz-Sobolev Classes

We study the distortion of \(p\)-module under non-homeomorphic mappings \(f\) from Orlicz-Sobolev classes \(W^{1,\varphi }_\mathrm{loc}\) and established a strengthened form of Poletskii’s inequality. This inequality was known for quasiregular mappings and conformal moduli. In addition, our estimates involve the \(p\)-outer dilatation (instead of the classical inner dilatation) and the multiplicity function. In the case of the planar domains, the condition \(f\in W^{1,\varphi }_\mathrm{loc}\) can be replaced by \(f\in W^{1,1}_\mathrm{loc}\).     

On complete sequences

A sequence A of nonnegative integers is called complete if all sufficiently large integers can be represented as the sum of distinct terms taken form A. For a sequence \({S=\{s_{1}, s_{2}, \dots\}}\) of positive integers and a positive real number α, let S _α denote the sequence \({\{\lfloor\alpha s_{1}\rfloor, \lfloor\alpha s_{2}\rfloor, \dots\}}\), where \({\lfloor x \rfloor}\) denotes the greatest integer not greater than x. Let \({{U_S = \{\alpha \mid S_\alpha} \, is complete\}}\). Hegyvári [6] proved that if \({\lim_{n\to\infty} (s_{n+1}-s_{n})=+ \infty}\), \({s_{n+1} < \gamma s_{n}}\) for all integers \({n \geqq n_{0}}\), where \({1 < \gamma < 2}\), and \({U_{S}\ne\emptyset}\), then \({\mu(U_{S}) > 0}\), where \({\mu(U_{S})}\) is the Lebesgue measure of U _S . Yong-Gao Chen and the first author [4] proved that, if \({s_{n+1} < \gamma s_{n}}\) for all integers \({n \geqq n_{0}}\), where \({1 < \gamma \leqq 7/4=1.75}\), then \({\mu(U_{S}) > 0}\). In this paper, we prove that the conclusion holds for \({1 < \gamma \leqq \sqrt[4]{13}=1.898\dots\;}\).     

Zeta functions and asymptotic additive bases with some unusual sets of primes

Fix \(\delta \in (0,1]\), \(\sigma _0\in [0,1)\) and a real-valued function \(\varepsilon (x)\) for which \(\varlimsup _{x\rightarrow \infty }\varepsilon (x)\leqslant 0\). For every set of primes \(\mathcal {P}\) whose counting function \(\pi _\mathcal {P}(x)\) satisfies an estimate of the form

$$\begin{aligned} \pi _\mathcal {P}(x)=\delta \,\pi (x)+O\bigl (x^{\sigma _0+\varepsilon (x)}\bigr ), \end{aligned}$$

we define a zeta function \(\zeta _\mathcal {P}(s)\) that is closely related to the Riemann zeta function \(\zeta (s)\). For \(\sigma _0\leqslant \frac{1}{2}\), we show that the Riemann hypothesis is equivalent to the non-vanishing of \(\zeta _\mathcal {P}(s)\) in the region \(\{\sigma >\frac{1}{2}\}\).

For every set of primes \(\mathcal {P}\) that contains the prime 2 and whose counting function satisfies an estimate of the form

$$\begin{aligned} \pi _\mathcal {P}(x)=\delta \,\pi (x)+O\bigl ((\log \log x)^{\varepsilon (x)}\bigr ), \end{aligned}$$

we show that \(\mathcal {P}\) is an exact asymptotic additive basis for \(\mathbb {N}\), i.e. for some integer \(h=h(\mathcal {P})>0\) the sumset \(h\mathcal {P}\) contains all but finitely many natural numbers. For example, an exact asymptotic additive basis for \(\mathbb {N}\) is provided by the set

$$\begin{aligned} \{2,547,1229,1993,2749,3581,4421,5281\ldots \}, \end{aligned}$$

which consists of 2 and every hundredth prime thereafter.

     

The identification problem for complex-valued Ornstein–Uhlenbeck operators in $$L^p(\mathbb {R}^d,\mathbb {C}^N)$$

In this paper we study perturbed Ornstein–Uhlenbeck operators

$$\begin{aligned} \left[ \mathcal {L}_{\infty } v\right] (x)=A\triangle v(x) + \left\langle Sx,\nabla v(x)\right\rangle -B v(x),\,x\in \mathbb {R}^d,\,d\geqslant 2, \end{aligned}$$

for simultaneously diagonalizable matrices \(A,B\in \mathbb {C}^{N,N}\). The unbounded drift term is defined by a skew-symmetric matrix \(S\in \mathbb {R}^{d,d}\). Differential operators of this form appear when investigating rotating waves in time-dependent reaction diffusion systems. We prove under certain conditions that the maximal domain \(\mathcal {D}(A_p)\) of the generator \(A_p\) belonging to the Ornstein–Uhlenbeck semigroup coincides with the domain of \(\mathcal {L}_{\infty }\) in \(L^p(\mathbb {R}^d,\mathbb {C}^N)\) given by

$$\begin{aligned} \mathcal {D}^p_{\mathrm {loc}}(\mathcal {L}_0)=\left\{ v\in W^{2,p}_{\mathrm {loc}}\cap L^p\mid A\triangle v + \left\langle S\cdot ,\nabla v\right\rangle \in L^p\right\} ,\,1<p<\infty . \end{aligned}$$

One key assumption is a new \(L^p\)-dissipativity condition

$$\begin{aligned} |z|^2\mathrm {Re}\,\left\langle w,Aw\right\rangle + (p-2)\mathrm {Re}\,\left\langle w,z\right\rangle \mathrm {Re}\,\left\langle z,Aw\right\rangle \geqslant \gamma _A |z|^2|w|^2\;\forall \,z,w\in \mathbb {C}^N \end{aligned}$$

for some \(\gamma _A>0\). The proof utilizes the following ingredients. First we show the closedness of \(\mathcal {L}_{\infty }\) in \(L^p\) and derive \(L^p\)-resolvent estimates for \(\mathcal {L}_{\infty }\). Then we prove that the Schwartz space is a core of \(A_p\) and apply an \(L^p\)-solvability result of the resolvent equation for \(A_p\). In addition, we derive \(W^{1,p}\)-resolvent estimates. Our results may be considered as extensions of earlier works by Metafune, Pallara and Vespri to the vector-valued complex case.

     

On Lipschitz continuity of solutions of hyperbolic Poisson’s equation

In this paper, we investigate solutions of the hyperbolic Poisson equation \(\Delta _{h}u(x)=\psi (x)\), where \(\psi \in L^{\infty }(\mathbb {B}^{n}, {\mathbb R}^n)\) and

$$\begin{aligned} \Delta _{h}u(x)= (1-|x|^2)^2\Delta u(x)+2(n-2)\left( 1-|x|^2\right) \sum _{i=1}^{n} x_{i} \frac{\partial u}{\partial x_{i}}(x) \end{aligned}$$

is the hyperbolic Laplace operator in the n-dimensional space \(\mathbb {R}^n\) for \(n\ge 2\). We show that if \(n\ge 3\) and \(u\in C^{2}(\mathbb {B}^{n},{\mathbb R}^n) \cap C(\overline{\mathbb {B}^{n}},{\mathbb R}^n )\) is a solution to the hyperbolic Poisson equation, then it has the representation \(u=P_{h}[\phi ]-G_{ h}[\psi ]\) provided that \(u\mid _{\mathbb {S}^{n-1}}=\phi \) and \(\int _{\mathbb {B}^{n}}(1-|x|^{2})^{n-1} |\psi (x)|\,d\tau (x)<\infty \). Here \(P_{h}\) and \(G_{h}\) denote Poisson and Green integrals with respect to \(\Delta _{h}\), respectively. Furthermore, we prove that functions of the form \(u=P_{h}[\phi ]-G_{h}[\psi ]\) are Lipschitz continuous.

     

Existence and uniqueness for a class of multi-term fractional differential equations

In this paper, we consider the initial value problem for the nonlinear fractional differential equations

$$\begin{aligned} \left\{ \begin{array}{l@{\quad }l} D^\alpha u(t)=f(t,u(t),D^{\beta _1}u(t),\ldots ,D^{\beta _N}u(t)), \quad &{}t\in (0,1],\\ D^{\alpha -k}u(0)=0, \quad &{}k=1,2,\ldots ,n, \end{array} \right. \end{aligned}$$

where \(\alpha >\beta _1>\beta _2>\cdots \beta _N>0\), \(n=[\alpha ]+1\) for \(\alpha \notin \mathbb {N}\) and \(\alpha =n\) for \(\alpha \in \mathbb {N}\), \(\beta _j<1\) for any \(j\in \{1,2,\ldots ,N\}\), D is the standard Riemann–Liouville derivative and \(f:[0,1]\times \mathbb {R}^{N+1}\rightarrow \mathbb {R}\) is a given function. By means of Schauder fixed point theorem and Banach contraction principle, an existence result and a unique result for the solution are obtained,respectively. As an application, some examples are presented to illustrate the main results.

     

Sharp Moser–Trudinger Inequalities on Hyperbolic Spaces with Exact Growth Condition

Let \(\Phi _{n}(x)=e^x-\sum _{j=0}^{n-2}\frac{x^j}{j!}\) and \(\alpha _{n} =n\omega _{n-1}^{\frac{1}{n-1}}\) be the sharp constant in Moser’s inequality (where \(\omega _{n-1}\) is the area of the surface of the unit \(n\)-ball in \(\mathbb {R}^n\)), and \(dV\) be the volume element on the \(n\)-dimensional hyperbolic space \((\mathbb {H}^n, g)\) (\(n\ge {2}\)). In this paper, we establish the following sharp Moser–Trudinger type inequalities with the exact growth condition on \(\mathbb {H}^n\):

For any \(u\in {W^{1,n}(\mathbb {H}^n)}\) satisfying \(\Vert \nabla _{g}u\Vert _{n}\le {1}\), there exists a constant \(C(n)>0\) such that

$$\begin{aligned} \int _{\mathbb {H}^n}\frac{\Phi _{n}(\alpha _{n}|u|^{\frac{n}{n-1}})}{(1+|u|)^{\frac{n}{n-1}}}dV \le {C(n)\Vert u\Vert _{L^n}^{n}}. \end{aligned}$$

The power \(\frac{n}{n-1}\) and the constant \(\alpha _{n}\) are optimal in the following senses:

1. (i)
   If the power \(\frac{n}{n-1}\) in the denominator is replaced by any \(p<\frac{n}{n-1}\), then there exists a sequence of functions \(\{u_{k}\}\) such that \(\Vert \nabla _{g}u_{k}\Vert _{n}\le {1}\), but

   $$\begin{aligned} \frac{1}{\Vert u_{k}\Vert _{L^n}^{n}}\int _{\mathbb {H}^n} \frac{\Phi _{n}(\alpha _{n}(|u_{k}|)^{\frac{n}{n-1}})}{(1+|u_{k}|)^{p}}dV \rightarrow {\infty }. \end{aligned}$$
    
2. (ii)
   If \(\alpha >\alpha _{n}\), then there exists a sequence of function \(\{u_{k}\}\) such that \(\Vert \nabla _{g}u_{k}\Vert _{n}\le {1}\), but

   $$\begin{aligned} \frac{1}{\Vert u_{k}\Vert _{L^n}^{n}}\int _{\mathbb {H}^n} \frac{\Phi _{n}(\alpha (|u_{k}|)^{\frac{n}{n-1}})}{(1+|u_{k}|)^{p}}dV\rightarrow {\infty }, \end{aligned}$$

   for any \(p\ge {0}\).
    

This result sharpens the earlier work of the authors Lu and Tang (Adv Nonlinear Stud 13(4):1035–1052, 2013) on best constants for the Moser–Trudinger inequalities on hyperbolic spaces.