Dirichlet-to-Neumann semigroup with respect to a general second order eigenvalue problem

In this paper we study a Dirichlet-to-Neumann operator with respect to a second order elliptic operator with measurable coefficients, including first order terms, namely, the operator on \(L^2(\partial \Omega )\) given by \(\varphi \mapsto \partial _{\nu }u\) where u is a weak solution of

$$\begin{aligned} \left\{ \begin{aligned}&-\mathrm{div}\, (a\nabla u) +b\cdot \nabla u -\mathrm{div}\, (cu)+du =\lambda u \ \ \text {on}\ \Omega ,\\&u|_{\partial \Omega } =\varphi . \end{aligned} \right. \end{aligned}$$

Under suitable assumptions on the matrix-valued function a, on the vector fields b and c, and on the function d, we investigate positivity, sub-Markovianity, irreducibility and domination properties of the associated Dirichlet-to-Neumann semigroups.

     

Positive solutions with single and multi-peak for semilinear elliptic equations with nonlinear boundary condition in the half-space

We consider the existence of single and multi-peak solutions of the following nonlinear elliptic Neumann problem

$$\begin{aligned} \left\{ \begin{aligned} -\Delta u+\lambda ^{2} u&=Q(x)|u|^{p-2}u \qquad&\text {in} ~~~~\mathbb {R}^{N}_{+}, \\ \frac{\partial u }{\partial n}&=f(x,u) \qquad&\text {on}~~\partial \mathbb {R}^{N}_{+}, \end{aligned}\right. \end{aligned}$$

where \(\lambda \) is a large number, \(p\in (2,\frac{2N}{N-2})\) for \(N\ge 3\), f(x, u) is subcritical about u and Q is positive and has some non-degenerate critical points in \(\mathbb {R}^{N}_{+}\). For \(\lambda \) large, we can get solutions which have peaks near the non-degenerate critical points of Q.

     

Higher integrability for nonlinear parabolic equations of <Emphasis Type="Italic">p</Emphasis>-Laplacian type

In this paper we give a new alternative proof of the local higher integrability in Orlicz spaces of the gradient for weak solutions of quasilinear parabolic equations of p-Laplacian type

$$\begin{array}{ll} u_t-\text{div} \left( \left | \nabla u\right|^{ p-2 } \nablau\right)=\text{div} \left(| \mathrm{ \bf f}|^{p-2} \mathrm{ \bf f}\right)\quad {\rm in}~\Omega\times (0,T] \end{array}$$

for any p > 0. Moreover, we point out that our results are homogeneousregularity estimates in Orlicz spaces and improve the known results for such equations by using some new techniques. Actually, our results can be extended to the global estimates and cover a more general class of degenerate/singular parabolic problems of p-Laplacian type.

     

Global Lorentz estimates for nonlinear parabolic equations on nonsmooth domains

Consider the nonlinear parabolic equation in the form

$$\begin{aligned} u_t-\mathrm{div}{\mathbf {a}}(D u,x,t)=\mathrm{div}\,(|F|^{p-2}F) \quad \text {in} \quad \Omega \times (0,T), \end{aligned}$$

where \(T>0\) and \(\Omega \) is a Reifenberg domain. We suppose that the nonlinearity \({\mathbf {a}}(\xi ,x,t)\) has a small BMO norm with respect to x and is merely measurable and bounded with respect to the time variable t. In this paper, we prove the global Calderón-Zygmund estimates for the weak solution to this parabolic problem in the setting of Lorentz spaces which includes the estimates in Lebesgue spaces. Our global Calderón-Zygmund estimates extend certain previous results to equations with less regularity assumptions on the nonlinearity \({\mathbf {a}}(\xi ,x,t)\) and to more general setting of Lorentz spaces.

     

A family of polylog-trigonometric integrals

In this paper, we study the sequences

$$\begin{aligned} I_n=\int _0^1\mathrm {Li}_n(\sin \pi x)\mathrm {d}x\quad \text{ and }\quad J_n=\int _0^1\mathrm {Li}_n(\cos \pi x)\mathrm {d}x, \end{aligned}$$

where \(\mathrm {Li}_n\) is the nth polylogarithm function. Among others, we determine their generating functions, asymptotic behaviour and their connection to the well-known log-sine integrals

$$\begin{aligned} S_n=(-1)^n\int _0^1\log ^n(\sin \pi x)\mathrm {d}x. \end{aligned}$$

With the help of the explicit forms of \(I_n\) and \(J_n\), we deduce closed-form evaluations for a number of polylog-trigonometric definite integrals.

     

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

     

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.

     

Congruences for 5-regular partitions modulo powers of 5

Let \(b_{5}(n)\) denote the number of 5-regular partitions of n. We find the generating functions of \(b_{5}(An+B)\) for some special pairs of integers (A, B). Moreover, we obtain infinite families of congruences for \(b_{5}(n)\) modulo powers of 5. For example, for any integers \(k\ge 1\) and \(n\ge 0\), we prove that

$$\begin{aligned} b_{5}\left( 5^{2k-1}n+\frac{5^{2k}-1}{6}\right) \equiv 0 \quad (\mathrm{mod}\, 5^{k}) \end{aligned}$$

and

$$\begin{aligned} b_{5}\left( 5^{2k}n+\frac{5^{2k}-1}{6}\right) \equiv 0 \quad (\mathrm{mod}\, 5^{k}). \end{aligned}$$

     

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.

     

Infinitely many solutions for a nonlinear Schrödinger equation with general nonlinearity

We prove the existence of infinitely many solutions for

$$\begin{aligned} - \Delta u + V(x) u = f(u) \quad \text { in } \mathbb {R}^N, \quad u \in H^1(\mathbb {R}^N), \end{aligned}$$

where V(x) satisfies \(\lim _{|x| \rightarrow \infty } V(x) = V_\infty >0\) and some conditions. We require conditions on f(u) only around 0 and at \(\infty \).

     

Construction algorithms for a class of monotone variational inequalities

This paper is devoted to solve the following monotone variational inequality of finding \(x^*\in \mathrm{Fix}(T)\) such that

$$\begin{aligned} \langle Ax^*,x-x^*\rangle \ge 0,\quad \forall x\in \mathrm{Fix}(T), \end{aligned}$$

where A is a monotone operator and \(\mathrm{Fix}(T)\) is the set of fixed points of nonexpansive operator T. For this purpose, we construct an implicit algorithm and prove its convergence hierarchical to the solution of above monotone variational inequality.

     

A functional identity involving elliptic integrals

We show that the following double integral

$$\begin{aligned} \int _{0}^\pi \mathrm {d}\, x\int _0^x\mathrm {d}\, y\frac{1}{\sqrt{1-\smash [b]{p}\cos x}\sqrt{1+\smash [b]{q\cos y}}} \end{aligned}$$

remains invariant as one trades the parameters p and q for \(p'=\sqrt{1-p^2}\) and \(q'=\sqrt{1-q^2}\), respectively. This invariance property is suggested from symmetry considerations in the operating characteristics of a semiconductor Hall effect device.

     

On the Hölder regularity of the weak solution to a drift–diffusion system with pressure

In this paper we address the regularity issue of weak solution for the following linear drift–diffusion system with pressure

$$\begin{aligned} \partial _t u + b\cdot \nabla u -\Delta u + \nabla p = 0,\quad \mathrm {div}\,u=0,\quad u|_{t=0}(x)=u_0(x), \end{aligned}$$

where \(x\in \mathbb {R}^n\) and b is a given divergence-free vector field. Under some assumptions of the drift field b in the critical sense, and for the initial data \(u_0\in (L^2(\mathbb {R}^n))^n\), we prove that there exists a weak solution u(t) to this system such that u(t) for any time \(t>0\) is \(\alpha \)-Hölder continuous with \(\alpha \in (0,1)\). The proof of the Hölder regularity result utilizes a maximum-principle type method to improve the regularity of weak solution step by step.

     

On local Gevrey regularity for Gevrey vectors of subelliptic sums of squares: an elementary proof of a sharp Gevrey Kotake–Narasimhan theorem

We study the regularity of Gevrey vectors for Hörmander operators

$$\begin{aligned} P = \sum _{j=1}^m X_j^2 + X_0 + c \end{aligned}$$

where the \(X_j\) are real vector fields and c(x) is a smooth function, all in Gevrey class \(G^{s}.\) The principal hypothesis is that P satisfies the subelliptic estimate: for some \(\varepsilon >0, \; \exists \,C\) such that

$$\begin{aligned} \Vert v\Vert _{\varepsilon }^2 \le C\left( |(Pv, v)| + \Vert v\Vert _0^2\right) \qquad \forall v\in C_0^\infty . \end{aligned}$$

We prove directly (without the now familiar use of adding a variable t and proving suitable hypoellipticity for \(Q=-D_t^2-P\) and then, using the hypothesis on the iterates of P on u,  constructing a homogeneous solution U for Q whose trace on \(t=0\) is just u) that for \(s\ge 1,\) \(G^s(P,\Omega _0) \subset G^{s/\varepsilon }(\Omega _0);\) that is,

$$\begin{aligned}&\forall K\Subset \Omega _0, \;\exists C_K: \Vert P^j u\Vert _{L^2(K)}\le C_K^{j+1} (2j)!^s, \;\forall j\\&\quad \implies \forall K'\Subset \Omega _0, \;\exists \tilde{C}_{K'}:\,\Vert D^\ell u\Vert _{L^2(K')} \le \tilde{C}_{K'}^{\ell +1} \ell !^{s/\varepsilon }, \;\forall \ell . \end{aligned}$$

In other words, Gevrey growth of derivatives of u as measured by iterates of P yields Gevrey regularity for u in a larger Gevrey class. When \(\varepsilon =1,\) P is elliptic and so we recover the original Kotake–Narasimhan theorem (Kotake and Narasimhan in Bull Soc Math Fr 90(12):449–471, 1962), which has been studied in many other classes, including ultradifferentiable functions (Boiti and Journet in J Pseudo-Differ Oper Appl 8(2):297–317, 2017). We are indebted to M. Derridj for multiple conversations over the years.

     

Entropy solution for a nonlinear elliptic problem with lower order term in Musielak–Orlicz spaces

In this paper, we shall be concerned with the existence result of the following problem,

$$\begin{aligned} \left\{ \begin{array}{l} -\text {div}\left( a(x,u,\nabla u)\right) -\text {div}(\Phi (x,u))= f \ \ \mathrm{in}\ \Omega ,\\ u=0 \text { on } \partial \Omega , \end{array} \right. \end{aligned}$$

(0.1)

with the second term f belongs to \(L^1(\Omega )\). The growth and the coercivity conditions on the monotone vector field a are prescribed by a generalized N-function M. We assume any restriction on M, therefore we work with Musielak–Orlicz spaces which are not necessarily reflexive. The lower order term \(\Phi \) is a Carathéodory function satisfying only a growth condition.

     

Blow-up solutions for Hardy–Sobolev equations on compact Riemannian manifolds

Let (M, g) be a smooth compact Riemannian manifold of dimension \(n\ge 6\), \(\xi _0\in M\), and we are concerned with the following Hardy–Sobolev elliptic equations:

$$\begin{aligned} -\Delta _gu+h(x)u=\frac{u^{2^{*}(s)-1-\epsilon }}{d_{g}(x,\xi _0)^s},\ \ \ \ u>0\ \ \mathrm{in} \ \ M, \end{aligned}$$

(0.1)

where \(\Delta _g\,=\,\mathrm{div}_g(\nabla )\) is the Laplace–Beltrami operator on M, h(x) is a \(C^1\) function on M, \(\epsilon \) is a sufficiently small real parameter, \(2^{*}(s):=\frac{2(n-s)}{n-2}\) is the critical Hardy–Sobolev exponent with \(s\in (0,2)\), and \(d_{g}\) is the Riemannian distance on M. Performing the Lyapunov–Schmidt reduction procedure, we obtain the existence of blow-up families of positive solutions of problem (0.1).

     

Regularity for free interface variational problems in a general class of gradients

We present a way to study a wide class of optimal design problems with a perimeter penalization. More precisely, we address existence and regularity properties of saddle points of energies of the form

$$\begin{aligned} (u,A) \quad \mapsto \quad \int _\Omega 2fu \,\mathrm {d}x \; - \int _{\Omega \cap A} \sigma _1\mathscr {A}u\cdot \mathscr {A}u \, \,\mathrm {d}x \; - \int _{\Omega {\setminus } A} \sigma _2\mathscr {A}u\cdot \mathscr {A}u \, \,\mathrm {d}x \; + \; \text {Per }(A;\overline{\Omega }), \end{aligned}$$

where \(\Omega \) is a bounded Lipschitz domain, \(A\subset \mathbb {R}^N\) is a Borel set, \(u:\Omega \subset \mathbb {R}^N \rightarrow \mathbb {R}^d\), \(\mathscr {A}\) is an operator of gradient form, and \(\sigma _1, \sigma _2\) are two not necessarily well-ordered symmetric tensors. The class of operators of gradient form includes scalar- and vector-valued gradients, symmetrized gradients, and higher order gradients. Therefore, our results may be applied to a wide range of problems in elasticity, conductivity or plasticity models. In this context and under mild assumptions on f, we show for a solution (w, A), that the topological boundary of \(A \cap \Omega \) is locally a \(\mathrm {C}^1\)-hypersurface up to a closed set of zero \(\mathscr {H}^{N-1}\)-measure.

     

Multiple complex-valued solutions for nonlinear magnetic Schrödinger equations

We study, in the semiclassical limit, the singularly perturbed nonlinear Schrödinger equations

$$\begin{aligned} L^{\hbar }_{A,V} u = f(|u|^2)u \quad \hbox {in}\quad \mathbb {R}^N \end{aligned}$$

(0.1)

where \(N \ge 3\), \(L^{\hbar }_{A,V}\) is the Schrödinger operator with a magnetic field having source in a \(C^1\) vector potential A and a scalar continuous (electric) potential V defined by

$$\begin{aligned} L^{\hbar }_{A,V}= -\hbar ^2 \Delta -\frac{2\hbar }{i} A \cdot \nabla + |A|^2- \frac{\hbar }{i}\mathrm{div}A + V(x). \end{aligned}$$

(0.2)

Here, f is a nonlinear term which satisfies the so-called Berestycki-Lions conditions. We assume that there exists a bounded domain \(\Omega \subset \mathbb {R}^N\) such that

$$\begin{aligned} m_0 \equiv \inf _{x \in \Omega } V(x) < \inf _{x \in \partial \Omega } V(x) \end{aligned}$$

and we set \(K = \{ x \in \Omega \ | \ V(x) = m_0\}\). For \(\hbar >0\) small we prove the existence of at least \({\mathrm{cupl}}(K) + 1\) geometrically distinct, complex-valued solutions to (0.1) whose moduli concentrate around K as \(\hbar \rightarrow 0\).

     

Universal inequalities for eigenvalues of a system of elliptic equations of the drifting Laplacian

Let \(\Omega \) be a bounded domain in a n-dimensional Euclidean space \(\mathbb {R}^{n}\). We study eigenvalues of an eigenvalue problem of a system of elliptic equations of the drifting Laplacian

$$\begin{aligned} \left\{ \begin{array}{ll} \mathbb {L_{\phi }}\mathbf{{u}} + \alpha (\nabla (\mathrm {div}{} \mathbf{{u}}) - \nabla \phi \mathrm {div}{} \mathbf{{u}})= -\bar{\sigma }\mathbf{{u}}, &{} \hbox {in} \,\Omega ; \\ \mathbf{{u}}|_{\,\partial \Omega }=0. \end{array} \right. \end{aligned}$$

Estimates for eigenvalues of the above eigenvalue problem are obtained. Furthermore, a universal inequality for lower order eigenvalues of the problem is also derived. Finally, we prove an universal inequality type Ashbaugh and Benguria for the drifting Laplacian on Riemannian manifold immersed in an unit sphere or a projective space.

     

Strange expectations and simultaneous cores

Let \(\gcd (a,b)=1\). J. Olsson and D. Stanton proved that the maximum number of boxes in a simultaneous (a, b)-core is

$$\begin{aligned} \max _{\lambda \in {\mathrm {core}}(a,b)} (\mathsf{size}(\lambda )) = \frac{(a^2-1)(b^2-1)}{24} \end{aligned}$$

and that this maximum is achieved by a unique core. P. Johnson combined Ehrhart theory with the polynomial method to prove D. Armstrong’s conjecture that the expected number of boxes in a simultaneous (a, b)-core is

$$\begin{aligned} \mathop {\mathbb {E}}\limits _{\lambda \in {\mathrm {core}}(a,b)}\left( \mathsf{size}(\lambda )\right) = \frac{(a-1)(b-1)(a+b+1)}{24}. \end{aligned}$$

We extend Johnson’s method to compute the variance to be

$$\begin{aligned} \mathop {\mathbb {V}}\limits _{\lambda \in {\mathrm {core}}(a,b)}\left( \mathsf{size}(\lambda )\right) = \frac{ab(a-1)(b-1)(a+b)(a+b+1)}{1440}, \end{aligned}$$

and also prove polynomiality of all moments. By extending the definitions of “simultaneous cores” and “number of boxes” to affine Weyl groups, we give uniform generalizations of all three formulae above to simply laced affine types. We further explain the appearance of the number 24 using the “strange formula” of H. Freudenthal and H. de Vries.