Energy Scattering of a Generalized Davey–Stewartson System in Three Dimension

In this paper, we study the global scattering result of the solution for the generalized Davey–Stewartson system(i?_tu + Δu = |u|~2u + uv_(x1),(t, x) ∈ R × R~3,-Δv =(|u|~2)_(x1).)The main difficulties are the failure of the interaction Morawetz estimate and the asymmetrical structure of nonlinearity(in particular, the nonlinearity is non-local). To compensate, we utilize the strategy derived from concentration-compactness idea, which was first introduced by Kenig and Merle [Invent.Math., 166, 645–675(2006)].     

The existence and multiplicity of solutions of a fractional Schrdinger-Poisson system with critical growth

In this paper, we study the existence and multiplicity of solutions for the following fractional Schr¨odinger-Poisson system:ε~(2s)(-?)~su + V(x)u + ?u = |u|~2_s~*-2 u + f(u) in R~3,ε~(2s)(-?)~s? = u~2 in R~3,(0.1)where 3/4 s 1, 2_s~*:=6/(3-2s)is the fractional critical exponent for 3-dimension, the potential V : R~3→ R is continuous and has global minima, and f is continuous and supercubic but subcritical at infinity. We prove the existence and multiplicity of solutions for System(0.1) via variational methods.     

Existence of Infinitely Many Solutions for Δ<Subscript>γ</Subscript>-Laplace Problems

In this article, we study the existence of infinitelymany solutions for the boundary–value problem

$$ - {\Delta _\gamma }u + a\left( x \right)u = f\left( {x,u} \right)in\Omega ,u = 0on\partial \Omega $$

, where Ω is a bounded domain with smooth boundary in ? ^N (N ≥ 2) and Δ_γ is a subelliptic operator of the form

$${\Delta _\gamma }: = \sum\limits_{j = 1}^N {{\partial _{{x_j}}}\left( {\gamma _j^2{\partial _{{x_j}}}} \right)} ,{\partial _{{x_j}}}: = \frac{\partial }{{\partial {x_j}}},\gamma = \left( {{\gamma _1},{\gamma _2}, \cdots ,\gamma N} \right)$$

. Our main tools are the local linking and the symmetric mountain pass theorem in critical point theory.

     

Two nontrivial solutions of boundary-value problems for semilinear Δ<Subscript><Emphasis Type="Italic">γ</Emphasis></Subscript>-differential equations

In this paper, we study the existence of multiple solutions for the boundary-value problem

$${\Delta _\gamma }u + f\left( {x,u} \right) = 0in\Omega ,u = 0on\partial \Omega ,$$

where Ω is a bounded domain with smooth boundary in R ^N (N ≥ 2) and Δ _γ is the subelliptic operator of the type

$${\Delta _\gamma }u = \sum\limits_{j = 1}^N {{\partial _{{x_j}}}\left( {\gamma _j^2{\partial _{{x_j}}}u} \right)} ,{\partial _{{x_j}}}u = \frac{{\partial u}}{{\partial {x_j}}},\gamma = \left( {{\gamma _1},{\gamma _2}, \ldots ,{\gamma _N}} \right).$$

We use the three critical point theorem.

     

Nontrivial solutions and least energy nodal solutions for a class of fourth-order elliptic equations

This paper is concerned with the following fourth-order elliptic equation

$$\begin{aligned} \left\{ \begin{array}{ll} \displaystyle \Delta ^{2}u-\Delta u+V(x)u=|u|^{p-1}u,\,\mathrm{in}\,\mathbb {R}^{N},\\ u\in H^{2}\left( \mathbb {R}^{N}\right) , \end{array} \right. \end{aligned}$$

where \(p\in (2,\,2_{*}-1),\,u{\text {:}}\,\mathbb {R}^{N}\rightarrow \mathbb R.\) Under some appropriate assumptions on potential V(x),  the existence of nontrivial solutions and the least energy nodal solution are obtained by using variational methods.

     

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.

     

Weighted polyharmonic equation with Navier boundary conditions in a half space

We study positive solutions of the following polyharmonic equation with Hardy weights associated to Navier boundary conditions on a half space:?????(-?)~mu(x)=u~p(x)/|x|~s,in R_+~n,u(x)=-?u(x)=…=(-?)~(m-1)u(x)=0,on ?R_+~n,(0.1)where m is any positive integer satisfying 02mn.We first prove that the positive solutions of(0.1)are super polyharmonic,i.e.,(-?)~iu0,i=0,1,...,m-1.(0.2) For α=2m,applying this important property,we establish the equivalence between (0.1) and the integral equation u(x)=c_n∫R_+~n(1/|x-y|~(n-α)-1/|x~*-y|~(n-α))u~p(y)/|y|~sdy,(0.3) where x~*=(x1,...,x_(n-1),-x_n) is the reflection of the point x about the plane R~(n-1).Then,we use the method of moving planes in integral forms to derive rotational symmetry and monotonicity for the positive solution of(0.3),in whichαcan be any real number between 0 and n.By some Pohozaev type identities in integral forms,we prove a Liouville type theorem—the non-existence of positive solutions for(0.1).     

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.

     

Infinitely many sign-changing solutions of an elliptic problem involving critical Sobolev and Hardy–Sobolev exponent

We study the existence and multiplicity of sign-changing solutions of the following equation

$$\begin{array}{@{}rcl@{}} \left\{\begin{array}{lllllllll} -{\Delta} u = \mu |u|^{2^{\star}-2}u+\frac{|u|^{2^{*}(t)-2}u}{|x|^{t}}+a(x)u \quad\text{in}\, {\Omega}, \\ u=0 \quad\text{on}\quad\partial{\Omega}, \end{array}\right. \end{array} $$

where Ω is a bounded domain in \(\mathbb {R}^{N}\), 0∈?Ω, all the principal curvatures of ?Ω at 0 are negative and μ≥0, a>0, N≥7, 0<t<2, \(2^{\star }=\frac {2N}{N-2}\) and \(2^{\star }(t)=\frac {2(N-t)}{N-2}\).

     

Blow Up Criteria for the Incompressible Nematic Liquid Crystal Flows

In this paper, we investigate blow up criteria for the local smooth solutions to the 3D incompressible nematic liquid crystal flows via the components of the gradient velocity field \(\nabla u\) and the gradient orientation field \(\nabla d\). More precisely, we show that \(0< T_{ \ast}<+\infty\) is the maximal time interval if and only if

$$\begin{aligned} & \int_{0}^{T_{\ast}} \bigl\Vert \Vert \partial_{i}u\Vert _{L_{x_{i}} ^{\gamma}} \bigr\Vert _{L_{x_{j}x_{k}}^{\alpha}}^{\beta}+ \|\nabla d\| _{L^{\infty}}^{\frac{8}{3}}\mathrm{d}t=\infty, \\ &\quad\text{ with } \frac{2}{\alpha}+\frac{2}{\beta}\leq\frac{3\alpha +2}{4\alpha}, \text{ and } 1\leq\gamma\leq\alpha,2< \alpha\leq+\infty, \end{aligned}$$

or

$$\begin{aligned} \int_{0}^{T_{\ast}}\|\partial_{3}u_{3} \|^{\beta}_{L^{\alpha}}+\| \nabla d\|^{\frac{8}{3}}_{L^{\infty}} \mathrm{d}t=\infty,\quad\text{with } \frac{3}{\alpha}+\frac{2}{\beta}\leq \frac{3(\alpha+2)}{4 \alpha}, \text{ and } 2< \alpha\leq\infty, \end{aligned}$$

where \(i,j,k\in\{1,2,3\}\), \(i\neq j\), \(i\neq k\), and \(j\neq k\).

     

Least energy sign-changing solutions for a class of fourth order Kirchhoff-type equations in $$\mathbb {R}^{N}$$

In this article we study the problem

$$\begin{aligned} \Delta ^{2}u-\left( a+b\int _{\mathbb {R}^{N}}\left| \nabla u\right| ^{2}dx\right) \Delta u+V(x)u=\left| u\right| ^{p-2}u\ \text { in }\mathbb {R}^{N}, \end{aligned}$$

where \(\Delta ^{2}:=\Delta (\Delta )\) is the biharmonic operator, \(a,b>0\) are constants, \(N\le 7,\) \(p\in (4,2_{*})\) for \(2_{*}\) defined below, and \(V(x)\in C(\mathbb {R}^{N},\mathbb {R})\). Under appropriate assumptions on V(x), the existence of least energy sign-changing solution is obtained by combining the variational methods and the Nehari method.

     

Multiple soliton solutions for a quasilinear Schrödinger equation

Using Morse theory, truncation arguments and an abstract critical point theorem, we obtain the existence of at least three or infinitely many nontrivial solutions for the following quasilinear Schrödinger equation in a bounded smooth domain

$$\left\{ {\begin{array}{*{20}{c}} { - {\Delta _p}u - \frac{p}{{{2^{p - 1}}}}u{\Delta _p}\left( {{u^2}} \right) = f\left( {x,u} \right)\;in\;\Omega } \\ {u = 0\;on\;\partial \Omega .} \end{array}} \right.$$

(0.1)

Our main results can be viewed as a partial extension of the results of Zhang et al. in [28] and Zhou and Wu in [29] concerning the the existence of solutions to (0.1) in the case of p = 2 and a recent result of Liu and Zhao in [21] two solutions are obtained for problem 0.1.

     

A note on skew characters of symmetric groups

In this paper we establish the following estimate:

$$\omega \left( {\left\{ {x \in {\mathbb{R}^n}:\left| {\left[ {b,T} \right]f\left( x \right)} \right| > \lambda } \right\}} \right) \leqslant \frac{{{c_T}}}{{{\varepsilon ^2}}}\int_{{\mathbb{R}^n}} {\Phi \left( {{{\left\| b \right\|}_{BMO}}\frac{{\left| {f\left( x \right)} \right|}}{\lambda }} \right){M_{L{{\left( {\log L} \right)}^{1 + \varepsilon }}}}} \omega \left( x \right)dx$$

where ω ≥ 0, 0 < ε < 1 and Φ(t) = t(1 + log⁺(t)). This inequality relies upon the following sharp L ^p estimate:

$${\left\| {\left[ {b,T} \right]f} \right\|_{{L^p}\left( \omega \right)}} \leqslant {c_T}{\left( {p'} \right)^2}{p^2}{\left( {\frac{{p - 1}}{\delta }} \right)^{\frac{1}{{p'}}}}{\left\| b \right\|_{BMO}}{\left\| f \right\|_{{L^p}\left( {{M_{L{{\left( {{{\log }_L}} \right)}^{2p - 1 + {\delta ^\omega }}}}}} \right)}}$$

where 1 < p < ∞, ω ≥ 0 and 0 < δ < 1. As a consequence we recover the following estimate essentially contained in [18]:

$$\omega \left( {\left\{ {x \in {\mathbb{R}^n}:\left| {\left[ {b,T} \right]f\left( x \right)} \right| > \lambda } \right\}} \right) \leqslant {c_T}{\left[ \omega \right]_{{A_\infty }}}{\left( {1 + {{\log }^ + }{{\left[ \omega \right]}_{{A_\infty }}}} \right)^2}\int_{{\mathbb{R}^n}} {\Phi \left( {{{\left\| b \right\|}_{BMO}}\frac{{\left| {f\left( x \right)} \right|}}{\lambda }} \right)M} \omega \left( x \right)dx.$$

We also obtain the analogue estimates for symbol-multilinear commutators for a wider class of symbols.

     

Sharp Affine and Improved Moser–Trudinger–Adams Type Inequalities on Unbounded Domains in the Spirit of Lions

The purpose of this paper is threefold. First, we prove sharp singular affine Moser–Trudinger inequalities on both bounded and unbounded domains in \({\mathbb {R}}^{n}\). In particular, we will prove the following much sharper affine Moser–Trudinger inequality in the spirit of Lions (Rev Mat Iberoamericana 1(2):45–121, 1985) (see our Theorem 1.4): Let \(\alpha _{n}=n\left( \frac{n\pi ^{\frac{n}{2}}}{\Gamma (\frac{n}{2}+1)}\right) ^{\frac{1}{n-1}}\), \(0\le \beta <n\) and \(\tau >0\). Then there exists a constant \(C=C\left( n,\beta \right) >0\) such that for all \(0\le \alpha \le \left( 1-\frac{\beta }{n}\right) \alpha _{n}\) and \(u\in C_{0}^{\infty }\left( {\mathbb {R}}^{n}\right) \setminus \left\{ 0\right\} \) with the affine energy \(~{\mathcal {E}}_{n}\left( u\right) <1\), we have

$$\begin{aligned} {\displaystyle \int \nolimits _{{\mathbb {R}}^{n}}} \frac{\phi _{n,1}\left( \frac{2^{\frac{1}{n-1}}\alpha }{\left( 1+{\mathcal {E}}_{n}\left( u\right) ^{n}\right) ^{\frac{1}{n-1}}}\left| u\right| ^{\frac{n}{n-1}}\right) }{\left| x\right| ^{\beta }}dx\le C\left( n,\beta \right) \frac{\left\| u\right\| _{n}^{n-\beta }}{\left| 1-{\mathcal {E}}_{n}\left( u\right) ^{n}\right| ^{1-\frac{\beta }{n}}}. \end{aligned}$$

Moreover, the constant \(\left( 1-\frac{\beta }{n}\right) \alpha _{n}\) is the best possible in the sense that there is no uniform constant \(C(n, \beta )\) independent of u in the above inequality when \(\alpha >\left( 1-\frac{\beta }{n}\right) \alpha _{n}\). Second, we establish the following improved Adams type inequality in the spirit of Lions (Theorem 1.8): Let \(0\le \beta <2m\) and \(\tau >0\). Then there exists a constant \(C=C\left( m,\beta ,\tau \right) >0\) such that

$$\begin{aligned} \underset{u\in W^{2,m}\left( {\mathbb {R}}^{2m}\right) , \int _{ {\mathbb {R}}^{2m}}\left| \Delta u\right| ^{m}+\tau \left| u\right| ^{m} \le 1}{\sup } {\displaystyle \int \nolimits _{{\mathbb {R}}^{2m}}} \frac{\phi _{2m,2}\left( \frac{2^{\frac{1}{m-1}}\alpha }{\left( 1+\left\| \Delta u\right\| _{m}^{m}\right) ^{\frac{1}{m-1}}}\left| u\right| ^{\frac{m}{m-1}}\right) }{\left| x\right| ^{\beta }}dx\le C\left( m,\beta ,\tau \right) , \end{aligned}$$

for all \(0\le \alpha \le \left( 1-\frac{\beta }{2m}\right) \beta (2m,2)\). When \(\alpha >\left( 1-\frac{\beta }{2m}\right) \beta (2m,2)\), the supremum is infinite. In the above, we use

$$\begin{aligned} \phi _{p,q}(t)=e^{t}- {\displaystyle \sum \limits _{j=0}^{j_{\frac{p}{q}}-2}} \frac{t^{j}}{j!},\,\,\,j_{\frac{p}{q}}=\min \left\{ j\in {\mathbb {N}} :j\ge \frac{p}{q}\right\} \ge \frac{p}{q}. \end{aligned}$$

The main difficulties of proving the above results are that the symmetrization method does not work. Therefore, our main ideas are to develop a rearrangement-free argument in the spirit of Lam and Lu (J Differ Equ 255(3):298–325, 2013; Adv Math 231(6): 3259–3287, 2012), Lam et al. (Nonlinear Anal 95: 77–92, 2014) to establish such theorems. Third, as an application, we will study the existence of weak solutions to the biharmonic equation

$$\begin{aligned} \left\{ \begin{array}{l} \Delta ^{2}u+V(x)u=f(x,u)\text { in }{\mathbb {R}}^{4}\\ u\in H^{2}\left( {\mathbb {R}}^{4}\right) ,~u\ge 0 \end{array} \right. , \end{aligned}$$

where the nonlinearity f has the critical exponential growth.

     

Liouville Type Theorems for PDE and IE Systems Involving Fractional Laplacian on a Half Space

In this paper, let α be any real number between 0 and 2, we study the Dirichlet problem for semi-linear elliptic system involving the fractional Laplacian:

$$\left \{\begin {array}{l} (-{\Delta })^{\alpha /2}u(x)=v^{q}(x),\ \ \ x\in \mathbb {R}^{n}_{+},\\ (-{\Delta })^{\alpha /2}v(x)=u^{p}(x),\ \ \ x\in \mathbb {R}^{n}_{+},\\ u(x)=v(x)=0,\ \ \ \ \ \ \ \ \ \ x\notin \mathbb {R}^{n}_{+}. \end {array}\right .\label {elliptic} $$

(1)

We will first establish the equivalence between PDE problem (1) and the corresponding integral equation (IE) system (Lemma 2). Then we use the moving planes method in integral forms to establish our main theorem, a Liouville type theorem for the integral system (Theorem 3). Then we conclude the Liouville type theorem for the above differential system involving the fractional Laplacian (Corollary 4).

     

Thick clusters for the radially symmetric nonlinear Schrödinger equation

This article is devoted to the study of radially symmetric solutions to the nonlinear Schrödinger equation

$\varepsilon^2 \Delta u - V(r)u + |u|^{p-1}u = 0\, {\rm in} B,\quad \frac{\partial u}{\partial n} = 0\, {\rm on}\,{\partial}B,$

where B is a ball in \({\mathbb{R}}^N\) , 1 <  p <  (N +  2)/(N ? 2), N ≥ 3 and the potential V is radially symmetric. We construct positive clustering solutions in an annulus having O(1/?) critical points, as well as sign changing solutions with O(1/?) zeroes concentrating near zero.

     

Infinitely many solutions for Kirchhoff equations with sign-changing potential and Hartree nonlinearity

This paper is concerned with the following Kirchhoff-type equations:

$$\begin{aligned} \left\{ \begin{array}{ll} \displaystyle -\big (a+b\int _{\mathbb {R}^{3}}|\nabla u|^{2}\mathrm {d}x\big )\Delta u+ V(x)u+\mu \phi |u|^{p-2}u=f(x, u)+g(x,u), &{} \text{ in } \mathbb {R}^{3},\\ (-\Delta )^{\frac{\alpha }{2}} \phi = \mu |u|^{p}, &{} \text{ in } \mathbb {R}^{3},\\ \end{array} \right. \end{aligned}$$

where \(a>0,~b,~\mu \ge 0\) are constants, \(\alpha \in (0,3)\), \(p\in [2,3+2\alpha )\), the potential V(x) may be unbounded from below and \(\phi |u|^{p-2}u\) is a Hartree-type nonlinearity. Under some mild conditions on V(x), f(x, u) and g(x, u), we prove that the above system has infinitely many nontrivial solutions. Specially, our results cover the general Schrödinger equations, the Kirchhoff equations and the Schrödinger–Poisson system.

     

Infinitesimal form boundedness and Trudinger’s subordination for the Schrödinger operator

We give explicit analytic criteria for two problems associated with the Schrödinger operator H=-Δ+Q on L²(? ⁿ ) where Q∈D’(? ⁿ ) is an arbitrary real- or complex-valued potential.

First, we obtain necessary and sufficient conditions on Q so that the quadratic form \(\langle{Q}\cdot,\ \cdot\rangle\) has zero relative bound with respect to the Laplacian. For Q∈L¹_loc(? ⁿ ), this property can be expressed in the form of the integral inequality:

$\left\vert\int_{\mathbb{R}^n} |u(x)|^2 Q(x) dx \right\vert\leq\epsilon\| \nabla u \|^2_{L^2(\mathbb{R}^n)} + C(\epsilon) \|u \|^2_{L^2(\mathbb{R}^n)}, \quad\forall u \in C^{\infty}_0(\mathbb{R}^n),$

for an arbitrarily small ε>0 and some C(ε)>0. One of the major steps here is the reduction to a similar inequality with nonnegative function \(|\nabla(1-\Delta)^{-1} Q|^2 + |(1-\Delta)^{-1} Q|\) in place of Q. This provides a complete solution to the infinitesimal form boundedness problem for the Schrödinger operator, and leads to new broad classes of admissible distributional potentials Q, which extend the usual L ^p and Kato classes, as well as those based on the well-known conditions of Fefferman–Phong and Chang–Wilson–Wolff.

Secondly, we characterize Trudinger’s subordination property where C(ε) in the above inequality is subject to the condition C(ε)≤cε^-β(β>0) as ε→+0. Such quadratic form inequalities can be understood entirely in the framework of Morrey–Campanato spaces, using mean oscillations of \(\nabla(1-\Delta)^{-1}Q\) and \((1-\Delta)^{-1}Q\) on balls or cubes. A version of this condition where ε∈(0,+∞) is equivalent to the multiplicative inequality:

$\left\vert\int_{\mathbb{R}^n} |u(x)|^2Q(x)dx\right\vert\leq{C}\|\nabla{u}\|^{2p}_{L^2(\mathbb{R}^n)}\|u\|^{2(1-p)}_{L^2(\mathbb{R}^n)},\quad\forall{u}\in{C}^\infty_0(\mathbb{R}^n),$

with \(p=\frac\beta{1 + \beta}\in(0,1)\). We show that this inequality holds if and only if \(\nabla\Delta^{-1} Q \in{BMO}(\mathbb{R}^n)\) if \(p=\frac{1}{2}\). For \(0 < p < \frac{1}{2}\), it is valid whenever \(\nabla\Delta^{-1}Q\) is Hölder-continuous of order 1-2p, or respectively lies in the Morrey space \(\mathcal{L}^{2,\lambda}\) with λ=n+2-4p if \(\frac{1}{2} < p < 1\). As a consequence, we characterize completely the class of those Q which satisfy an analogous multiplicative inequality of Nash’s type, with \(\|u\|_{L^1(\mathbb{R}^n)}\) in placeof \(\|u\|_{L^2(\mathbb{R}^n)}\).

These results are intimately connected with spectral theory and dynamics of the Schrödinger operator, and elliptic PDE theory.     

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].

     

Impulsive fractional boundary value problem with <Emphasis Type="Italic">p</Emphasis>-Laplace operator

In the present paper, we deal with the existence and multiplicity of solutions for the following impulsive fractional boundary value problem

$$\begin{aligned} {_{t}}D_{T}^{\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t)\right) + a(t)|u(t)|^{p-2}u(t)= & {} f(t,u(t)),\;\;t\ne t_j,\;\;\hbox {a.e.}\;\;t\in [0,T],\\ \Delta \left( {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t_j)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t_j)\right) \right)= & {} I_j(u(t_j))\;\;j=1,2,\ldots ,n,\\ u(0)= & {} u(T) = 0. \end{aligned}$$

where \(\alpha \in (1/p, 1]\), \(1<p<\infty \), \(0 = t_0<t_1< t_2< \cdots< t_n < t_{n+1} = T\), \(f:[0,T]\times \mathbb {R} \rightarrow \mathbb {R}\) and \(I_j : \mathbb {R} \rightarrow \mathbb {R}\), \(j = 1, \ldots , n\), are continuous functions, \(a\in C[0,T]\) and

$$\begin{aligned} \Delta \left( {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t_j)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t_j)\right) \right)= & {} {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u\left( t_j^+\right) \right| ^{p-2}{_{0}}D_{t}^{\alpha }u\left( t_j^+\right) \right) \\&- {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t_j^-)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u\left( t_j^-\right) \right) ,\\ {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u\left( t_j^+\right) \right| ^{p-2}{_{0}}D_{t}^{\alpha }u\left( t_j^+\right) \right)= & {} \lim _{t \rightarrow t_j^+} {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t)\right) ,\\ {_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t_j^-)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t_j^-)\right)= & {} \lim _{t\rightarrow t_j^-}{_{t}}I_{T}^{1-\alpha }\left( \left| {_{0}}D_{t}^{\alpha }u(t)\right| ^{p-2}{_{0}}D_{t}^{\alpha }u(t)\right) . \end{aligned}$$

By using variational methods and critical point theory, we give some criteria to guarantee that the above-mentioned impulsive problems have at least one weak solution and a sequences of weak solutions.