On the Fučik spectrum of non-local elliptic operators

In this article, we study the Fu?ik spectrum of the fractional Laplace operator which is defined as the set of all \({(\alpha, \beta)\in \mathbb{R}^2}\) such that $$\quad \left.\begin{array}{ll}\quad (-\Delta)^s u = \alpha u^{+} - \beta u^{-} \quad {\rm in}\;\Omega \\ \quad \quad \quad u = 0 \quad \quad \quad \qquad {\rm in}\; \mathbb{R}^n{\setminus}\Omega.\end{array}\right\}$$ has a non-trivial solution u, where \({\Omega}\) is a bounded domain in \({\mathbb{R}^n}\) with Lipschitz boundary, n > 2s, \({s \in (0, 1)}\) . The existence of a first nontrivial curve \({\mathcal{C}}\) of this spectrum, some properties of this curve \({\mathcal{C}}\) , e.g. Lipschitz continuous, strictly decreasing and asymptotic behavior are studied in this article. A variational characterization of second eigenvalue of the fractional eigenvalue problem is also obtained. At the end, we study a nonresonance problem with respect to the Fu?ik spectrum.     

On Some Quasilinear Elliptic Systems with Singular and Sign-Changing Potentials

Using variational methods, we study the existence and nonexistence of nontrivial weak solutions for the quasilinear elliptic system $$\left\{\begin{array}{ll}- {\rm div}(h_1(|\nabla u|^2)\nabla u) = \frac{\mu}{|x|^2}u + \lambda F_u(x, u, \upsilon)\quad {\rm in}\,\Omega,\\- {\rm div}(h_2(|\nabla \upsilon|^2)\nabla \upsilon) = \frac{\mu}{|x|^2}\upsilon + \lambda F_\upsilon(x,u,\upsilon)\quad {\rm in}\,\Omega,\\u = \upsilon = 0 \qquad \qquad \qquad \qquad \qquad \qquad {\rm in}\, \partial\Omega, \end{array}\right.$$ where \({\Omega \subset \mathbb{R}^N,N \geq 3}\) , is a bounded domain containing the origin with smooth boundary \({\partial \Omega ; h_i, i = 1, 2}\) , are nonhomogeneous potentials; \({(F_u, F_v) = \nabla F}\) stands for the gradient of a sign-changing C ¹-function \({F : \Omega \times \mathbb{R}^2 \to \mathbb{R}}\) in the variable \({{w = (u, v) \in \mathbb{R}^2}}\) ; and λ and μ are parameters.     

Principal Eigenvalue of p-Laplacian Operator in Exterior Domain

We consider an eigenvalue problem of the form $$\left.\begin{array}{cl}-\Delta_{p} u = \lambda\, K(x)|u|^{p-2}u \quad \mbox{in}\quad \Omega^e\\ u(x) =0 \quad \mbox{for}\quad \partial \Omega\\ u(x) \to 0 \quad \mbox{as}\quad |x| \to \infty,\end{array} \right \}$$ where \({\Omega \subset \mathrm{I\!R\!}^N}\) is a simply connected bounded domain, containing the origin, with C ² boundary \({\partial \Omega}\) and \({\Omega^e:=\mathrm{I\!R\!^N} \setminus \overline{\Omega}}\) is the exterior domain, \({1 < p < N, \Delta_{p}u:={\rm div}(|\nabla u|^{p-2} \nabla u)}\) is the p-Laplacian operator and \({K \in L^{\infty}(\Omega^e) \cap L^{N/p}(\Omega^e)}\) is a positive function. Existence and properties of principal eigenvalue λ ₁ and its corresponding eigenfunction are established which are generally known in bounded domain or in \({\mathrm{I\!R\!}^N}\) . We also establish the decay rate of positive eigenfunction as \({|x| \to \infty}\) as well as near ?Ω.     

Sign-definiteness of q-eigenfunctions for a super-linear p-Laplacian eigenvalue problem

We consider the following q-eigenvalue problem for the p-Laplacian $$\left\{\begin{array}{ll}-{\rm div}\big( |\nabla u|^{p-2}\nabla u\big) = \lambda \|u\|_{L^{q}(\Omega)}^{p-q}|u|^{q-2}u \quad \quad\, {\rm in} \,\,\,\, \Omega\\ \quad\quad\quad \quad \quad \quad u = 0 \quad\qquad\qquad \quad\quad \,\,{\rm on } \,\,\,\, \partial\Omega,\end{array}\right.$$ where \({\lambda\in\mathbb{R},}\) p > 1, Ω is a bounded and smooth domain of \({\mathbb{R}^{N},}\) N > 1, \({1\leq q < p^{\star}}\) , \({p^{\star}=\frac{Np}{N-p}}\) if p < N and \({p^{\star}=\infty}\) if \({p\geq N.}\) Let λ _q denote the first q-eigenvalue. We prove that in the super-linear case, \({p < q < p^{\star},}\) there exists \({\epsilon_{q}>0}\) such that if \({\lambda\in(\lambda_{q},\lambda _{q}+\epsilon_{q})}\) is a q-eigenvalue, then any corresponding q-eigenfunction does not change sign in Ω. As a consequence of this result we obtain, in the super-linear case, the isolatedness of λ _q for those Ω such that the Lane–Emden problem $$\left\{\begin{array}{ll}-{\rm div}\big(|\nabla u|^{p-2}\nabla u\big) = |u|^{q-2}u \qquad\quad\quad\quad \,\,{\rm in}\,\,\,\Omega\\ \quad\quad\quad \quad \quad \quad u = 0 \quad\qquad\qquad \quad\quad \,{\rm on } \,\,\, \partial\Omega,\end{array}\right.$$ has exactly one positive solution.     

Multiplicity of solutions to a nonlinear elliptic problem with nonlinear boundary conditions

We study the problem $$\left\{\begin{array}{ll}\Delta_p u = |u|^{q-2}u, & \quad x \in \Omega ,\\ |\nabla u|^{p-2} \frac{\partial u}{\partial \nu}= \lambda |u|^{p-2}u, &\quad x \in \partial \Omega, \end{array}\right.$$ where \({\Omega \subset \mathbb{R}^N}\) is a bounded smooth domain, \({\nu}\) is the outward unit normal at \({\partial \Omega}\) and \({\lambda > 0}\) is regarded as a bifurcation parameter. When p = 2 and in the superlinear regime q > 2, we show existence of n nontrivial solutions for all \({\lambda > \lambda_n}\) , \({\lambda_n}\) being the n-th Steklov eigenvalue. It is proved in addition that bifurcation from the trivial solution takes place at all \({\lambda_n}\) ’s. Similar results are obtained in the sublinear case 1 < q < 2. In this case, bifurcation from infinity takes place in those \({\lambda_n}\) with odd multiplicity. Partial extensions of these features are shown in the nonlinear diffusion case \({p \neq 2}\) and related problems under spatially heterogeneous reactions are also addressed.     

Existence and Multiplicity Results for Some Elliptic Systems in Unbounded Cylinders

We study the following nonlinear elliptic system of Lane–Emden type $$\left\{\begin{array}{ll} -\Delta u = {\rm sgn}(v) |v| ^{p-1} \qquad \qquad \qquad \; {\rm in} \; \Omega , \\ -\Delta v = - \lambda {\rm sgn} (u)|u| \frac{1}{p-1} + f(x, u)\; \; {\rm in}\; \Omega , \\ u = v = 0 \qquad \qquad \qquad \quad \quad \;\;\;\;\; {\rm on}\; \partial \Omega , \end{array}\right.$$ where ${\lambda \in \mathbb{R}}$ . If ${\lambda \geq 0}$ and ${\Omega}$ is an unbounded cylinder, i.e., ${\Omega = \tilde \Omega \times \mathbb{R}^{N-m} \subset \mathbb{R}^{N}}$ , ${N - m \geq 2, m \geq 1}$ , existence and multiplicity results are proved by means of the Principle of Symmetric Criticality and some compact imbeddings in partially spherically symmetric spaces. We are able to state existence and multiplicity results also if ${\lambda \in \mathbb{R}}$ and ${\Omega}$ is a bounded domain in ${\mathbb{R}^{N}, N \geq 3}$ . In particular, a good finite dimensional decomposition of the Banach space in which we work is given.     

On the solutions of a singular elliptic equation concentrating on two orthogonal spheres

Let \({A=\{x\in \mathbb{R}^{2m}: 0 < a < |x| < b\}}\) be an annulus. We consider the following singularly perturbed elliptic problem on A $$\left\{\begin{array}{lll}-\varepsilon ^2{\Delta u} + |x|^{\eta}u =|x|^{\eta}u^p, \quad {\rm in} A,\\ u > 0, \quad \quad \quad \quad \quad \quad \quad {\rm in} A, \\ u=0, \quad \quad \quad \quad \quad \quad \quad {\rm on}\partial A,\end{array}\right. $$ where \({1 < p < \frac{m+3}{m-1}}\) . We shall prove the existence of a positive solution \({u_\epsilon }\) which concentrates on two different orthogonal spheres of dimension (m?1) as \({\varepsilon \to 0}\) . We achieve this by studying a reduced problem on an annular domain in \({\mathbb{R}^{m+1}}\) and analysing the profile of a two point concentrating solution in this domain.     

The Cubic Complex Moment Problem

Let \({s = \{s_{jk}\}_{0 \leq j+k \leq 3}}\) be a given complex-valued sequence. The cubic complex moment problem involves determining necessary and sufficient conditions for the existence of a positive Borel measure \({\sigma}\) on \({\mathbb{C}}\) (called a representing measure for s) such that \({s_{jk} = \int_{\mathbb{C}}\bar{z}^j z^k d\sigma(z)}\) for \({0 \leq j + k \leq 3}\) . Put $$\Phi = \left(\begin{array}{lll} s_{00} & s_{01} & s_{10} \\s_{10} & s_{11} & s_{20} \\s_{01} & s_{02} & s_{11}\end{array}\right), \quad \Phi_z = \left(\begin{array}{lll}s_{01} & s_{02} & s_{11} \\s_{10} & s_{12} & s_{21} \\s_{02} & s_{03} & s_{12}\end{array} \right)\quad {\rm and}\quad\Phi_{\bar{z}} = (\Phi_z)^*.$$ If \({\Phi \succ 0}\) , then the commutativity of \({\Phi^{-1} \Phi_z}\) and \({\Phi^{-1} \Phi_{\bar{z}}}\) is necessary and sufficient for the existence a 3-atomic representing measure for s. If \({\Phi^{-1} \Phi_z}\) and \({\Phi^{-1} \Phi_{\bar{z}}}\) do not commute, then we show that s has a 4-atomic representing measure. The proof is constructive in nature and yields a concrete parametrization of all 4-atomic representing measures of s. Consequently, given a set \({K \subseteq \mathbb{C}}\) necessary and sufficient conditions are obtained for s to have a 4-atomic representing measure \({\sigma}\) which satisfies \({{\rm supp} \sigma \cap K \neq \emptyset}\) or \({{\rm supp} \sigma \subseteq K}\) . The cases when \({K = \overline{\mathbb{D}}}\) and \({K = \mathbb{T}}\) are considered in detail.     

Conical stochastic maximal L^p-regularity for 1\leqslant p<\infty

Let \(A = -\mathrm{div} \,a(\cdot ) \nabla \) be a second order divergence form elliptic operator on \({\mathbb R}^n\) with bounded measurable real-valued coefficients and let \(W\) be a cylindrical Brownian motion in a Hilbert space \(H\) . Our main result implies that the stochastic convolution process $$\begin{aligned} u(t) = \int _0^t e^{-(t-s)A}g(s)\,dW(s), \quad t\geqslant 0, \end{aligned}$$ satisfies, for all \(1\leqslant p<\infty \) , a conical maximal \(L^p\) -regularity estimate $$\begin{aligned} {\mathbb E}\Vert \nabla u \Vert _{ T_2^{p,2}({\mathbb R}_+\times {\mathbb R}^n)}^p \leqslant C_p^p {\mathbb E}\Vert g \Vert _{ T_2^{p,2}({\mathbb R}_+\times {\mathbb R}^n;H)}^p. \end{aligned}$$ Here, \(T_2^{p,2}({\mathbb R}_+\times {\mathbb R}^n)\) and \(T_2^{p,2}({\mathbb R}_+\times {\mathbb R}^n;H)\) are the parabolic tent spaces of real-valued and \(H\) -valued functions, respectively. This contrasts with Krylov’s maximal \(L^p\) -regularity estimate $$\begin{aligned} {\mathbb E}\Vert \nabla u \Vert _{L^p({\mathbb R}_+;L^2({\mathbb R}^n;{\mathbb R}^n))}^p \leqslant C^p {\mathbb E}\Vert g \Vert _{L^p({\mathbb R}_+;L^2({\mathbb R}^n;H))}^p \end{aligned}$$ which is known to hold only for \(2\leqslant p<\infty \) , even when \(A = -\Delta \) and \(H = {\mathbb R}\) . The proof is based on an \(L^2\) -estimate and extrapolation arguments which use the fact that \(A\) satisfies suitable off-diagonal bounds. Our results are applied to obtain conical stochastic maximal \(L^p\) -regularity for a class of nonlinear SPDEs with rough initial data.     

The geometric Neumann problem for the Liouville equation

Let Ω denote the upper half-plane ${\mathbb{R}_+^2}$ or the upper half-disk ${D_{\varepsilon}^+\subset \mathbb{R}_+^2}$ of center 0 and radius ${\varepsilon}$ . In this paper we classify the solutions ${v\in\;C^2(\overline{\Omega}\setminus\{0\})}$ to the Neumann problem $$\left\{\begin{array}{lll}{\Delta v+2 Ke^v=0\quad {\rm in}\,\Omega\subseteq \mathbb{R}^2_+=\{(s, t)\in \mathbb{R}^2: t >0 \},}\\ {\frac{\partial v}{\partial t}=c_1e^{v/2}\quad\quad\quad{\rm on}\,\partial\Omega\cap\{s >0 \},}\\ {\frac{\partial v}{\partial t}=c_2e^{v/2}\quad\quad\quad{\rm on}\,\partial\Omega\cap\{s <0 \},}\end{array}\right.$$ where ${K, c_1, c_2 \in \mathbb{R}}$ , with the finite energy condition ${\int_{\Omega} e^v < \infty}$ As a result, we classify the conformal Riemannian metrics of constant curvature and finite area on a half-plane that have a finite number of boundary singularities, not assumed a priori to be conical, and constant geodesic curvature along each boundary arc.     

Wandering Subspaces of the Bergman Space and the Dirichlet Space Over {{\mathbb{D}^{n}}}

Doubly commuting invariant subspaces of the Bergman space and the Dirichlet space over the unit polydisc \({\mathbb{D}^n}\) (with \({n \geq 2}\) ) are investigated. We show that for any non-empty subset \({\alpha=\{\alpha_1,\ldots,\alpha_k\}}\) of \({\{1,\ldots,n\}}\) and doubly commuting invariant subspace \({\mathcal{S}}\) of the Bergman space or the Dirichlet space over \({\mathbb{D}^n}\) , restriction of the multiplication operator tuple on \({\mathcal{S}, M_{\alpha}|_\mathcal{S}:=(M_{z_{\alpha_1}}|_\mathcal{S},\ldots, M_{z_{\alpha_k}}|_\mathcal{S})}\) , always possesses generating wandering subspace of the form $$\bigcap_{i=1}^k(\mathcal{S}\ominus z_{\alpha_i}\mathcal{S})$$ .     

A Geometric Uncertainty Principle with an Application to Pleijel’s Estimate

Let \({\Omega \subset \mathbb{R}^2}\) be an open, bounded domain and \({\Omega = \bigcup_{i = 1}^{N} \Omega_{i}}\) be a partition. Denote the Fraenkel asymmetry by \({0 \leq \mathcal{A}(\Omega_i) \leq 2}\) and write $$D(\Omega_i) := \frac{|\Omega_{i}| - {\rm min}_{1 \leq j \leq N}{|\Omega_{j}|}}{|\Omega_{i}|}$$ with \({0 \leq D(\Omega_{i}) \leq 1}\) . For N sufficiently large depending only on \({\Omega}\) , there is an uncertainty principle $$\left(\sum_{i=1}^{N}{\frac{|\Omega_{i}|}{|\Omega|}{\mathcal{A}}(\Omega_i)}\right) + \left(\sum_{i=1}^{N}{\frac{|\Omega_i|}{|\Omega|}D(\Omega_i)}\right) \geq \frac{1}{60000}.$$ The statement remains true in dimensions \({n \geq 3}\) for some constant \({c_{n} > 0}\) . As an application, we give an (unspecified) improvement of Pleijel’s estimate on the number of nodal domains of a Laplacian eigenfunction and an improved inequality for a spectral partition problem.     

Full regularity of a free boundary problem with two phases

Let ?? be a bounded domain in ${\mathbb{R}^{n}, n\geq2}$ . We use ${\mathcal{M}_{\Omega}}$ to denote the collection of all pairs of (A, u) such that ${A\subset\Omega}$ is a set of finite perimeter and ${u\in H^{1}\left( \Omega\right)}$ satisfies $$u\left( x\right) =0\quad\text{a.e.}x\in A.$$ We consider the energy functional $$E_{\Omega}\left( A,u\right) =\int\limits_{\Omega}\left\vert\triangledown u\right\vert ^{2}+P_{\Omega}\left( A\right)$$ defined on ${\mathcal{M}_{\Omega}}$ , where P _??(A) denotes the perimeter of A inside ??. Let ${\left( A,u\right)\in\mathcal{M}_{\Omega}}$ be a minimizer with volume constraint. Our main result is that when n????7, u is locally Lipschitz and the free boundary ?A is analytic in ??.     

Multiple Solutions for a Semilinear Elliptic Equation with Critical Growth and Magnetic Field

In this paper, we are concerned with the multiplicity of nontrivial solutions for the following class of complex problems $$(-i\nabla - A(x))^2{u} = \mu|u|^{q-2}u + |u|^{2^*-2}u\, {\rm in}\, \Omega,\quad u=0\, {\rm on}\, \partial\, \Omega$$ where \({\Omega \subset \mathbb{R}^N(N \geq 4)}\) is a bounded domain with smooth boundary, \({A: \overline{\Omega} \rightarrow \mathbb{R}^N}\) is a continuous magnetic potential and \({2 \leq q < 2^* = \frac{2N}{N-2}}\) . Using the Lusternik-Schnirelman theory, we relate the number of solutions with the topology of Ω.     

Gamma-convergence of nonlocal perimeter functionals

Given ${\Omega\subset\mathbb{R}^{n}}$ open, connected and with Lipschitz boundary, and ${s\in (0, 1)}$ , we consider the functional $$\mathcal{J}_s(E,\Omega)\,=\, \int_{E\cap \Omega}\int_{E^c\cap\Omega}\frac{dxdy}{|x-y|^{n+s}}+\int_{E\cap \Omega}\int_{E^c\cap \Omega^c}\frac{dxdy}{|x-y|^{n+s}}\,+ \int_{E\cap \Omega^c}\int_{E^c\cap \Omega}\frac{dxdy}{|x-y|^{n+s}},$$ where ${E\subset\mathbb{R}^{n}}$ is an arbitrary measurable set. We prove that the functionals ${(1-s)\mathcal{J}_s(\cdot, \Omega)}$ are equi-coercive in ${L^1_{\rm loc}(\Omega)}$ as ${s\uparrow 1}$ and that $$\Gamma-\lim_{s\uparrow 1}(1-s)\mathcal{J}_s(E,\Omega)=\omega_{n-1}P(E,\Omega),\quad \text{for every }E\subset\mathbb{R}^{n}\,{\rm measurable}$$ where P(E, ??) denotes the perimeter of E in ?? in the sense of De Giorgi. We also prove that as ${s\uparrow 1}$ limit points of local minimizers of ${(1-s)\mathcal{J}_s(\cdot,\Omega)}$ are local minimizers of P(·, ??).     

Relaxation of signed integral functionals in BV

For integral functionals initially defined for ${u \in {\rm W}^{1,1}(\Omega; \mathbb{R}^m)}$ by $$\int_{\Omega} f(\nabla u) \, {\rm d}x$$ we establish strict continuity and relaxation results in ${{\rm BV}(\Omega; \mathbb{R}^m)}$ . The results cover the case of signed continuous integrands ${f : \mathbb{R}^{m \times d} \to \mathbb{R}}$ of linear growth at infinity. In particular, it is not excluded that the integrands are unbounded below.     

Approximate dual Gabor atoms via the adjoint lattice method

Regular Gabor frames for \({\boldsymbol {L}{^{2}}(\mathbb {R}^d)}\) are obtained by applying time-frequency shifts from a lattice in \(\boldsymbol {\Lambda } \vartriangleleft {\mathbb {R}^{d} \times \mathbb {\widehat {R}}}\) to some decent so-called Gabor atom g, which typically is something like a summability kernel in classical analysis, or a Schwartz function, or more generally some \(g \in {\boldsymbol {S}_{0}(\mathbb {R}^{d})}\) . There is always a canonical dual frame, generated by the dual Gabor atom \({\widetilde g}\) . The paper promotes a numerical approach for the efficient calculation of good approximations to the dual Gabor atom for general lattices, including the non-separable ones (different from \({a\mathbb {Z}^{d}\,{\times }\,b\mathbb {Z}^{d}}\) ). The theoretical foundation for the approach is the well-known Wexler-Raz biorthogonality relation and the more recent theory of localized frames. The combination of these principles guarantees that the dual Gabor atom can be approximated by a linear combination of a few time-frequency shifted atoms from the adjoint lattice \(\boldsymbol {\Lambda }\circ\) . The effectiveness of this approach is justified by a new theoretical argument and demonstrated by numerical examples.     

Young measures generated by sequences in Morrey spaces

Let ${\Omega\subset\mathbb{R}^n}$ be open and bounded. For 1 ≤ p < ∞ and 0 ≤ λ < n, we give a characterization of Young measures generated by sequences of functions ${\{{\bf f}_j\}_{j=1}^\infty}$ uniformly bounded in the Morrey space ${L^{p,\lambda}(\Omega;\mathbb{R}^N)}$ with ${\{\left|{{\bf f}_j}\right|^p\}_{j=1}^\infty}$ equiintegrable. We then treat the case that each f _j = ? u _j for some ${{\bf u}_j\in W^{1,p}(\Omega;\mathbb{R}^N)}$ . As an application of our results, we consider the functional $${\bf u} \mapsto \int\limits_{\Omega}f({\bf x}, {\bf u}({\bf x}), {\bf {\nabla}}{\bf u}({\bf x})){\rm d}{\bf x},$$ and provide conditions that guarantee the existence of a minimizing sequence with gradients uniformly bounded in ${L^{p,\lambda}(\Omega;\mathbb{R}^{N\times n})}$ .     

Rellich inequalities with weights

Let Ω be a cone in ${\mathbb {R}^{n}}$ with n ≥? 2. For every fixed ${\alpha \in \mathbb {R}}$ we find the best constant in the Rellich inequality ${\int\nolimits_{\Omega}|x|^{\alpha}|\Delta u|^{2}dx \ge C\int\nolimits_{\Omega}|x|^{\alpha-4}|u|^{2}dx}$ for ${u \in C^{2}_{c}(\overline\Omega\setminus\{0\})}$ . We also estimate the best constant for the same inequality on ${C^{2}_{c}(\Omega)}$ . Moreover we show improved Rellich inequalities with remainder terms involving logarithmic weights on cone-like domains.