Construction of sign-changing solutions for a harmonic equation with subcritical exponent

In this paper, we study the harmonic equation involving subcritical exponent \((P_{\varepsilon })\): \( \Delta u = 0 \), in \(\mathbb {B}^n\) and \(\displaystyle \frac{\partial u}{\partial \nu } + \displaystyle \frac{n-2}{2}u = \displaystyle \frac{n-2}{2} K u^{\frac{n}{n-2}-\varepsilon }\) on \( \mathbb {S}^{n-1}\) where \(\mathbb {B}^n \) is the unit ball in \(\mathbb {R}^n\), \(n\ge 5\) with Euclidean metric \(g_0\), \(\partial \mathbb {B}^n = \mathbb {S}^{n-1}\) is its boundary, K is a function on \(\mathbb {S}^{n-1}\) and \(\varepsilon \) is a small positive parameter. We construct solutions of the subcritical equation \((P_{\varepsilon })\) which blow up at two different critical points of K. Furthermore, we construct solutions of \((P_{\varepsilon })\) which have two bubbles and blow up at the same critical point of K.     

The concentration behavior of ground state solutions for a fractional Schrödinger–Poisson system

In this paper, we study the following fractional Schrödinger–Poisson system

$$\begin{aligned} \left\{ \begin{array}{ll} \varepsilon ^{2s}(-\Delta )^s u +V(x)u+\phi u=K(x)|u|^{p-2}u,\,\,\text {in}~\mathbb {R}^3,\\ \\ \varepsilon ^{2s}(-\Delta )^s \phi =u^2,\,\,\text {in}~\mathbb {R}^3, \end{array} \right. \end{aligned}$$

(0.1)

where \(\varepsilon >0\) is a small parameter, \(\frac{3}{4}<s<1\), \(4<p<2_s^*:=\frac{6}{3-2s}\), \(V(x)\in C(\mathbb {R}^3)\cap L^\infty (\mathbb {R}^3)\) has positive global minimum, and \(K(x)\in C(\mathbb {R}^3)\cap L^\infty (\mathbb {R}^3)\) is positive and has global maximum. We prove the existence of a positive ground state solution by using variational methods for each \(\varepsilon >0\) sufficiently small, and we determine a concrete set related to the potentials V and K as the concentration position of these ground state solutions as \(\varepsilon \rightarrow 0\). Moreover, we considered some properties of these ground state solutions, such as convergence and decay estimate.

     

Congruences for $$\ell $$-regular overpartitions and Andrews’ singular overpartitions

Let \(\overline{A}_{\ell }(n)\) be the number of overpartitions of n into parts not divisible by \(\ell \). In a recent paper, Shen calls the overpartitions enumerated by the function \(\overline{A}_{\ell }(n)\) as \(\ell \)-regular overpartitions. In this paper, we find certain congruences for \(\overline{A}_{\ell }(n)\), when \(\ell =4, 8\), and 9. Recently, Andrews introduced the partition function \(\overline{C}_{k, i}(n)\), called singular overpartition, which counts the number of overpartitions of n in which no part is divisible by k and only parts \(\equiv \pm i\pmod {k}\) may be over-lined. He also proved that \(\overline{C}_{3, 1}(9n+3)\) and \(\overline{C}_{3, 1}(9n+6)\) are divisible by 3. In this paper, we prove that \(\overline{C}_{3, 1}(12n+11)\) is divisible by 144 which was conjectured to be true by Naika and Gireesh.     

Eichler’s commutation relation and some other invariant subspaces of Hecke operators

Let k be an odd positive integer, L a lattice on a regular positive definite k-dimensional quadratic space over \(\mathbb {Q}\), \(N_L\) the level of L, and \(\mathscr {M}(L)\)  be the linear space of \(\theta \)-series attached to the distinct classes in the genus of L. We prove that, for an odd prime \(p|N_L\), if \(L_p=L_{p,1}\,\bot \, L_{p,2}\), where \(L_{p,1}\) is unimodular, \(L_{p,2}\) is (p)-modular, and \(\mathbb {Q}_pL_{p,2}\) is anisotropic, then \(\mathscr {M}(L;p):=\) \(\mathscr {M}(L)\) \(+T_{p^2}.\) \(\mathscr {M}(L)\)  is stable under the Hecke operator \(T_{p^2}\). If \(L_2\) is isometric to \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}\frac{1}{2}\\ \frac{1}{2}&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle 2\varepsilon \rangle \) or \(\left( \begin{array}{ll}0&{}1\\ 1&{}0\end{array}\right) ^{\kappa }\,\bot \, \langle \varepsilon \rangle \) with \(\varepsilon \in \mathbb {Z}_2^{\times }\) and \(\kappa :=\frac{k-1}{2}\), then \(\mathscr {M}(L;2):=T_{2^2}.\mathscr {M}(L)+T_{2^2}^2.\,\mathscr {M}(L)\) is stable under the Hecke operator \(T_{2^2}\). Furthermore, we determine some invariant subspaces of the cusp forms for the Hecke operators.     

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

     

Overpartition function modulo powers of 2

Let \(\overline{p}(n)\) denote the number of overpartitions of n. Recently, congruences modulo powers of 2 for \(\overline{p}(n)\) were widely studied. In this paper, we prove several new infinite families of congruences modulo powers of 2 for \(\overline{p}(n)\). For example, for \(\alpha \ge 1\) and \(n\ge 0\),

$$\begin{aligned} \overline{p}(8\cdot 3^{4\alpha +4}n+5\cdot 3^{4\alpha +3})\equiv 0 \quad (\mathrm{mod}\,\,{2^8}). \end{aligned}$$

     

Congruences for Andrews’ (<Emphasis Type="Italic">k</Emphasis>, <Emphasis Type="Italic">i</Emphasis>)-singular overpartitions

Andrews recently defined new combinatorial objects which he called (k, i)-singular overpartitions and proved that they are enumerated by \(\overline{C}_{k,i}(n)\) which is the number of overpartitions of n in which no part is divisible by k and only the parts \(\equiv \pm i \pmod {k}\) may be overlined. Andrews further showed that \(\overline{C}_{3,1}(n)\) satisfies some Ramanujan-type congruences modulo 3. In this paper, we show that for any pair (k, i), \(\overline{C}_{k,i}(n)\) satisfies infinitely many Ramanujan-type congruences modulo any power of prime coprime to 6k. We also show that for an infinite family of k, the value \(\overline{C}_{3k,k}(n)\) is almost always even. Finally, we investigate the parity of \(\overline{C}_{4k,k}\).     

Global well-posedness of 3-D density-dependent Navier-Stokes system with variable viscosity

Given initial data(ρ0, u0) satisfying 0 m ρ0≤ M, ρ0- 1 ∈ L2∩˙W1,r(R3) and u0 ∈˙H-2δ∩ H1(R3) for δ∈ ]1/4, 1/2[ and r ∈ ]6, 3/1- 2δ[, we prove that: there exists a small positive constant ε1,which depends on the norm of the initial data, so that the 3-D incompressible inhomogeneous Navier-Stokes system with variable viscosity has a unique global strong solution(ρ, u) whenever‖ u0‖ L2 ‖▽u0 ‖L2 ≤ε1 and ‖μ(ρ0)- 1‖ L∞≤ε0 for some uniform small constant ε0. Furthermore, with smoother initial data and viscosity coefficient, we can prove the propagation of the regularities for such strong solution.     

Incompressible limit of all-time solutions to 3-D full Navier–Stokes equations for perfect gas with well-prepared initial condition

In this paper, we prove the incompressible limit of all-time strong solutions to the three-dimensional full compressible Navier–Stokes equations. Here the velocity field and temperature satisfy the Dirichlet boundary condition and convective boundary condition, respectively. The uniform estimates in both the Mach number \({\epsilon\in(0,\overline{\epsilon}]}\) and time \({t\in[0,\infty)}\) are established by deriving a differential inequality with decay property, where \({\overline{\epsilon}\in(0,1]}\) is a constant. Based on these uniform estimates, the global solution of full compressible Navier–Stokes equations with “well-prepared” initial conditions converges to the one of isentropic incompressible Navier–Stokes equations as the Mach number goes to zero.     

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.     

Efficient construction of 2-chains representing a basis of $H_{2}(\overline {\Omega }, \partial {\Omega }; \mathbb {Z})$

We present an efficient algorithm for the construction of a basis of \(H_{2}(\overline {\Omega },\partial {\Omega };\mathbb {Z})\) via the Poincaré-Lefschetz duality theorem. Denoting by g the first Betti number of \(\overline {\Omega }\) the idea is to find, first g different 1-boundaries of \(\overline {\Omega }\) with supports contained in ?Ω whose homology classes in \(\mathbb {R}^{3} \setminus {\Omega }\) form a basis of \(H_{1}(\mathbb {R}^{3} \setminus {\Omega };\mathbb {Z})\), and then to construct a set of 2-chains in \(\overline {\Omega }\) having these 1-boundaries as their boundaries. The Poincaré-Lefschetz duality theorem ensures that the relative homology classes of these 2-chains in \(\overline {\Omega }\) modulo ?Ω form a basis of \(H_{2}(\overline {\Omega },\partial {\Omega };\mathbb {Z})\). We devise a simple procedure for the construction of the required set of 1-boundaries of \(\overline {\Omega }\) that, combined with a fast algorithm for the construction of 2-chains with prescribed boundary, allows the efficient computation of a basis of \(H_{2}(\overline {\Omega },\partial {\Omega };\mathbb {Z})\) via this very natural approach. Some numerical experiments show the efficiency of the method and its performance comparing with other algorithms.     

Multi-bump solitons to linearly coupled systems of nonlinear Schrödinger equations

This paper is devoted to study a class of systems of nonlinear Schrödinger equations: \(\left\{\begin{array}{rcl} -\Delta u+u-u^{3}=\epsilon v, \\ -\Delta v+v-v^{3}=\epsilon u, \end{array}\right.\) in \(\mathbb{R}^{n}\) with dimension n = 1,2,3. Our main result states that if \(\mathcal{P}\) denotes a regular polytope centered at the origin of \(\mathbb{R}^{n}\) such that its side is greater than the radius, then there exists a solution with one multi-bump component having bumps located near the vertices of \(\xi\mathcal{P}\), where \({\xi\sim \log(1/\varepsilon)}\), while the other component has one negative peak.     

Book reviews

We consider the following singularly perturbed nonlocal elliptic problem

$$\begin{aligned} -\left( \varepsilon ^{2}a+\varepsilon b\displaystyle \int _{\mathbb {R}^{3}}|\nabla u|^{2}dx\right) \Delta u+V(x)u=\displaystyle \varepsilon ^{\alpha -3}(W_{\alpha }(x)*|u|^{p})|u|^{p-2}u, \quad x\in \mathbb {R}^{3}, \end{aligned}$$

where \(\varepsilon >0\) is a parameter, \(a>0,b\ge 0\) are constants, \(\alpha \in (0,3)\), \(p\in [2, 6-\alpha )\), \(W_{\alpha }(x)\) is a convolution kernel and V(x) is an external potential satisfying some conditions. By using variational methods, we establish the existence and concentration of positive ground state solutions for the above equation.

     

Subconvexity for sup-norms of cusp forms on $$\mathrm{PGL}(n)$$

Let F be an \(L^2\)-normalized Hecke Maaß cusp form for \(\Gamma _0(N) \subseteq {\mathrm{SL}}_{n}({\mathbb {Z}})\) with Laplace eigenvalue \(\lambda _F\). If \(\Omega \) is a compact subset of \(\Gamma _0(N)\backslash {\mathrm{PGL}}_n/\mathrm{PO}_{n}\), we show the bound \(\Vert F|_{\Omega }\Vert _{\infty } \ll _{ \Omega } N^{\varepsilon } \lambda _F^{n(n-1)/8 - \delta }\) for some constant \(\delta = \delta _n> 0\) depending only on n.     

Anderson Polymer in a Fractional Brownian Environment: Asymptotic Behavior of the Partition Function

We consider the Anderson polymer partition function

$$\begin{aligned} u(t):=\mathbb {E}^X\left[ e^{\int _0^t \mathrm {d}B^{X(s)}_s}\right] \,, \end{aligned}$$

where \(\{B^{x}_t\,;\, t\ge 0\}_{x\in \mathbb {Z}^d}\) is a family of independent fractional Brownian motions all with Hurst parameter \(H\in (0,1)\), and \(\{X(t)\}_{t\in \mathbb {R}^{\ge 0}}\) is a continuous-time simple symmetric random walk on \(\mathbb {Z}^d\) with jump rate \(\kappa \) and started from the origin. \(\mathbb {E}^X\) is the expectation with respect to this random walk. We prove that when \(H\le 1/2\), the function u(t) almost surely grows asymptotically like \(e^{\lambda t}\), where \(\lambda >0\) is a deterministic number. More precisely, we show that as t approaches \(+\infty \), the expression \(\{\frac{1}{t}\log u(t)\}_{t\in \mathbb {R}^{>0}}\) converges both almost surely and in the \(\hbox {L}^1\) sense to some positive deterministic number \(\lambda \). For \(H>1/2\), we first show that \(\lim _{t\rightarrow \infty } \frac{1}{t}\log u(t)\) exists both almost surely and in the \(\hbox {L}^1\) sense and equals a strictly positive deterministic number (possibly \(+\infty \)); hence, almost surely u(t) grows asymptotically at least like \(e^{\alpha t}\) for some deterministic constant \(\alpha >0\). On the other hand, we also show that almost surely and in the \(\hbox {L}^1\) sense, \(\limsup _{t\rightarrow \infty } \frac{1}{t\sqrt{\log t}}\log u(t)\) is a deterministic finite real number (possibly zero), hence proving that almost surely u(t) grows asymptotically at most like \(e^{\beta t\sqrt{\log t}}\) for some deterministic positive constant \(\beta \). Finally, for \(H>1/2\) when \(\mathbb {Z}^d\) is replaced by a circle endowed with a Hölder continuous covariance function, we show that \(\limsup _{t\rightarrow \infty } \frac{1}{t}\log u(t)\) is a deterministic finite positive real number, hence proving that almost surely u(t) grows asymptotically at most like \(e^{c t}\) for some deterministic positive constant c.

     

Closed range and nonclosed range adjointable operators on Hilbert $$C^*$$-modules

In this paper, we show that for a positive operator A on a Hilbert \(C^*\)-module \( \mathscr {E} \), the range \( \mathscr {R}(A) \) of A is closed if and only if \( \mathscr {R}(A^\alpha ) \) is closed for all \(\alpha \in (0,1)\cup (1,+\,\infty )\), and this occurs if and only if \( \mathscr {R}(A)=\mathscr {R}(A^\alpha ) \) for all \(\alpha \in (0,1)\cup (1,+\,\infty )\). As an application, we prove that for an adjontable operator A if \(\mathscr {R}(A)\) is nonclosed, then \(\dim \left( \overline{\mathscr {R}(A)}/\mathscr {R}(A)\right) =+\,\infty \). Finally, we show that for an adjointable operator A if \( \overline{\mathscr {R}(A^*) } \) is orthogonally complemented in \( \mathscr {E} \), then under certain coditions there exists an idempotent C and a unique operator X such that \( XAX=X, AXA=CA, AX=C \) and \( XA=P_{A^*} \), where \( P_{A^*} \) is the orthogonal projection of \( \mathscr {E} \) onto \( \overline{\mathscr {R}(A^*)}\).     

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, . . . }.     

Congruences modulo 16, 32, and 64 for Andrews’s singular overpartitions

In a recent work, Andrews gave a definition of combinatorial objects which he called singular overpartitions and proved that these singular overpartitions, which depend on two parameters k and i, can be enumerated by the function \(\overline{C}_{k,i}(n) \) which denotes the number of overpartitions of n in which no part is divisible by k and only parts \(\equiv \pm i \ (\mathrm{mod}\ k)\) may be overlined. Andrews, Chen, Hirschhorn and Sellers, and Ahmed and Baruah discovered numerous congruences modulo 2, 3, 4, 8, and 9 for \(\overline{C}_{3,1}(n)\). In this paper, we prove a number of congruences modulo 16, 32, and 64 for \(\overline{C}_{3,1}(n)\).     

Around <Emphasis Type="Italic">q</Emphasis>-Appell polynomial sequences

First we show that the quadratic decomposition of the Appell polynomials with respect to the q-divided difference operator is supplied by two other Appell sequences with respect to a new operator \(\mathcal{M}_{q;q^{-\varepsilon}}\), where ε represents a complex parameter different from any negative even integer number. While seeking all the orthogonal polynomial sequences invariant under the action of \(\mathcal{M}_{\sqrt{q};q^{-\varepsilon/2}}\) (the \(\mathcal{M}_{\sqrt{q};q^{-\varepsilon/2}}\)-Appell), only the Wall q-polynomials with parameter q ^ε/2+1 are achieved, up to a linear transformation. This brings a new characterization of these polynomial sequences.     

Overpartitions and ternary quadratic forms

Let \(\overline{p}(n)\) denote the number of overpartitions of n. Recently, Mahlburg showed that \(\overline{p}(n) \equiv 0 \pmod {64}\) and Kim showed that \(\overline{p}(n) \equiv 0 \pmod {128}\) for almost all integers n. In this paper, with the help of some ternary quadratic forms, we prove that \(\overline{p}(n) \equiv 0 \pmod {256}\) for almost all integers n, which was conjectured by Mahlburg.