Semilinear elliptic equations with Hardy potential and subcritical source term

Let \(\Omega \) be a smooth bounded domain in \({\mathbb {R}}^N\) (\(N>2\)) and \(\delta (x):=\text {dist}\,(x,\partial \Omega )\). Assume \(\mu \in {\mathbb {R}}_+, \nu \) is a nonnegative finite measure on \(\partial \Omega \) and \(g \in C(\Omega \times {\mathbb {R}}_+)\). We study positive solutions of

$$\begin{aligned} -\Delta u - \frac{\mu }{\delta ^2} u = g(x,u) \text { in } \Omega , \qquad \text {tr}^*(u)=\nu . \end{aligned}$$

(P)

Here \(\text {tr}^*(u)\) denotes the normalized boundary trace of u which was recently introduced by Marcus and Nguyen (Ann Inst H Poincaré Anal Non Linéaire, 34, 69–88, 2017). We focus on the case \(0<\mu < C_H(\Omega )\) (the Hardy constant for \(\Omega \)) and provide qualitative properties of positive solutions of (P). When \(g(x,u)=u^q\) with \(q>0\), we prove that there is a critical value \(q^*\) (depending only on \(N, \mu \)) for (P) in the sense that if \(q<q^*\) then (P) possesses a solution under a smallness assumption on \(\nu \), but if \(q \ge q^*\) this problem admits no solution with isolated boundary singularity. Existence result is then extended to a more general setting where g is subcritical [see (1.28)]. We also investigate the case where g is linear or sublinear and give an existence result for (P).

     

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.

     

Three solutions for a perturbed Navier problem

In this paper we prove the existence of at least three distinct solutions to the following perturbed Navier problem:

$$\left\{\begin{array}{ll}\Delta (|{\Delta u}|^{p-2}\Delta u) = f(x,u) + \lambda g(x,u) \quad{\rm in}\,\,\,\Omega \\ u=\Delta u = 0 \qquad\qquad\qquad\qquad\qquad\quad{\rm on}\,\,\, \partial \Omega,\end{array}\right.$$

where \({{\Omega \subset \mathbb {R}^N}}\) is an open bounded set with smooth boundary \({\partial \Omega}\) and \({\lambda \in \mathbb {R}}\) . Under very mild conditions on g and some assumptions on the behaviour of the potential of f at 0 and +∞, our result assures the existence of at least three distinct solutions to the above problem for λ small enough. Moreover such solutions belong to a ball of the space \({W^{2,p}(\Omega)\cap W_0^{1,p}(\Omega)}\) centered in the origin and with radius not dependent on λ.

     

Weak Type (1,1) Behavior for the Maximal Operator with <Emphasis Type="Italic">L</Emphasis><Superscript>1</Superscript>-Dini Kernel

Let M _Ω be the maximal operator with homogeneous kernel Ω. In the present paper, we show that if Ω satisfies the L ¹-Dini condition on ?? ^n?1, then the following weak type (1,1) behaviors

$$\lim\limits _{\lambda \rightarrow 0_{+}}\lambda m(\{x\in \mathbb {R}^{n}:M_{\Omega } f(x)>\lambda \})=\frac {1}{n} \|\Omega \|_{1} \|f\|_{1},$$

$$\sup\limits_{\lambda >0}\lambda m(\{x\in \mathbb {R}^{n}:M_{\Omega } f(x)>\lambda \})\lesssim {\bigg ((\log n)\|\Omega \|_{1}+{\int }_{0}^{1/n}\frac {\tilde {\omega }_{1}(\delta )}{\delta }d\delta \bigg )}\|f\|_{1}$$

hold for the maximal operator M _Ω and \(f\in L^{1}(\mathbb {R}^{n})\), here \(\tilde {\omega }_{1}\) denotes the L ¹ integral modulus of continuity of Ω defined by translation in \(\mathbb {R}^{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.     

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.     

A Faber–Krahn Inequality for Solutions of Schrödinger’s Equation on Riemannian Manifolds

We consider a bounded open set with smooth boundary \(\Omega \subset M\) in a Riemannian manifold (M, g), and suppose that there exists a non-trivial function \(u\in C({\overline{\Omega }})\) solving the problem

$$\begin{aligned} -\Delta u=V(x)u, \,\, \text{ in }\,\,\Omega , \end{aligned}$$

in the distributional sense, with \(V\in L^\infty (\Omega )\), where \(u\equiv 0\) on \(\partial \Omega .\) We prove a sharp inequality involving \(||V||_{L^{\infty }(\Omega )}\) and the first eigenvalue of the Laplacian on geodesic balls in simply connected spaces with constant curvature, which slightly generalises the well-known Faber–Krahn isoperimetric inequality. Moreover, in a Riemannian manifold which is not necessarily simply connected, we obtain a lower bound for \(||V||_{L^{\infty }(\Omega )}\) in terms of its isoperimetric or Cheeger constant. As an application, we show that if \(\Omega \) is a domain on a m-dimensional minimal submanifold of \({\mathbb {R}}^n\) which lies in a ball of radius R, then

$$\begin{aligned} ||V||_{L^{\infty }(\Omega )}\ge \left( \frac{m}{2R}\right) ^{2}. \end{aligned}$$

     

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.

     

Stability of some versions of the Prékopa–Leindler inequality

We study the behavior of positive solutions of the following Dirichlet problem

$$\left \{ \begin{array}{ll} -\Delta_{p}u=\lambda u^{s-1}+u^{q-1} &\quad {\rm in}\enspace \Omega \\ u_{\mid\partial \Omega}=0 \end{array}\right. $$

when s → p ^?. Here \({p >1 , s\,{\in}\,]1,p]}\) and q > p with \({q\leq\frac{Np}{N-p}}\) if N > p.

     

Hölder continuity for continuous solutions of the singular minimal surface equation with arbitrary zero set

In this paper we prove the following theorem: Let \(\Omega \subset \mathbb {R}^{n}\) be a bounded open set, \(\psi \in C_{c}^{2}(\mathbb {R}^{n})\), \(\psi > 0\) on \(\partial \Omega \), be given boundary values and u a nonnegative solution to the problem

$$\begin{aligned}&u \in C^{0}(\overline{\Omega }) \cap C^{2}(\{u> 0\}) \\&u = \psi \quad \text { on } \; \partial \Omega \\&{\text {div}} \left( \frac{Du}{\sqrt{1 + |Du|^{2}}}\right) = \frac{\alpha }{u \sqrt{1 + |Du|^{2}}} \quad \text { in } \; \{u > 0\} \end{aligned}$$

where \(\alpha > 0\) is a given constant. Then \(u \in C^{0, \frac{1}{2}} (\overline{\Omega })\). Furthermore we prove strict mean convexity of the free boundary \(\partial \{u = 0\}\) provided \(\partial \{u = 0\}\) is assumed to be of class \(C^{2}\) and \(\alpha \ge 1\).

     

Fractional Differentiability for Solutions of Nonlinear Elliptic Equations

We study nonlinear elliptic equations in divergence form

$$\text {div }{\mathcal A}(x,Du)=\text {div } G.$$

When \({\mathcal A}\) has linear growth in D u, and assuming that \(x\mapsto {\mathcal A}(x,\xi )\) enjoys \(B^{\alpha }_{\frac {n}\alpha , q}\) smoothness, local well-posedness is found in \(B^{\alpha }_{p,q}\) for certain values of \(p\in [2,\frac {n}{\alpha })\) and \(q\in [1,\infty ]\). In the particular case \({\mathcal A}(x,\xi )=A(x)\xi \), G = 0 and \(A\in B^{\alpha }_{\frac {n}\alpha ,q}\), \(1\leq q\leq \infty \), we obtain \(Du\in B^{\alpha }_{p,q}\) for each \(p<\frac {n}\alpha \). Our main tool in the proof is a more general result, that holds also if \({\mathcal A}\) has growth s?1 in D u, 2 ≤ s ≤ n, and asserts local well-posedness in L ^q for each q > s, provided that \(x\mapsto {\mathcal A}(x,\xi )\) satisfies a locally uniform VMO condition.

     

Nilpotent residual of fixed points

Let q be a prime and A a finite q-group of exponent q acting by automorphisms on a finite \(q'\)-group G. Assume that A has order at least \(q^3\). We show that if \(\gamma _{\infty } (C_{G}(a))\) has order at most m for any \(a \in A^{\#}\), then the order of \(\gamma _{\infty } (G)\) is bounded solely in terms of m and q. If \(\gamma _{\infty } (C_{G}(a))\) has rank at most r for any \(a \in A^{\#}\), then the rank of \(\gamma _{\infty } (G)\) is bounded solely in terms of r and q.     

On the equation $${{\rm det}\,\nabla{u}=f}$$ with no sign hypothesis

We prove existence of \({u\in C^{k}(\overline{\Omega};\mathbb{R}^{n})}\) satisfying

$\left\{\begin{array}{ll} det\nabla u(x) =f(x) \, x\in \Omega\\ u(x) =x \quad\quad\quad\quad x\in\partial\Omega\end{array}\right.$

where k ≥ 1 is an integer, \({\Omega}\) is a bounded smooth domain and \({f\in C^{k}(\overline{\Omega}) }\) satisfies

$\int\limits_{\Omega}f(x) dx={\rm meas} \Omega$

with no sign hypothesis on f.

     

Some results on a special case of a general continued fraction of Ramanujan

We derive a new special case C(q) of a general continued fraction recorded by Ramanujan in his Lost Notebook. We give a representation of the continued fraction C(q) as a quotient of Dedekind eta-function and then use it to prove modular identities connecting C(q) with each of the continued fractions \(C(-q)\), \(C(q^{2})\), \(C(q^{3})\), \(C(q^{5})\), \(C(q^{7})\), \(C(q^{11})\), \(C(q^{13})\) and \(C(q^{17})\). We also prove general theorems for the explicit evaluation of the continued fraction C(q) by using Ramanujan’s class invariants.     

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.

     

Some Berezin Number Inequalities for Operator Matrices

The Berezin symbol à of an operator A acting on the reproducing kernel Hilbert space H = H(Ω) over some (nonempty) set is defined by \(\tilde A(\lambda ) = \left\langle {A\hat k_\lambda ,\hat k_\lambda } \right\rangle \), λ ∈ Ω, where \(\hat k_\lambda = k_\lambda /\left\| {k_\lambda } \right\|\) is the normalized reproducing kernel of H. The Berezin number of the operator A is defined by \(ber(A) = \mathop {\sup }\limits_{\lambda \in \Omega } \left| {\tilde A(\lambda )} \right| = \mathop {\sup }\limits_{\lambda \in \Omega } \left| {\left\langle {A\hat k_\lambda ,\hat k_\lambda } \right\rangle } \right|\). Moreover, ber(A) ? w(A) (numerical radius). We present some Berezin number inequalities. Among other inequalities, it is shown that if \(T = \left[ {\begin{array}{*{20}c} A & B \\ C & D \\ \end{array} } \right] \in \mathbb{B}(\mathcal{H}(\Omega _1 ) \oplus \mathcal{H}(\Omega _2 ))\), then

$$ber(T) \leqslant \frac{1}{2}(ber(A) + ber(D)) + \frac{1}{2}\sqrt {(ber(A) - ber(D))^2 + \left( {\left\| B \right\| + \left\| C \right\|} \right)^2 } .$$

     

Multiple solutions to the pure critical exponent problem in domains with a hole of arbitrary size

We consider the problem \(-\Delta u = \left\vert u\right\vert ^{2^\ast-2} u\,{\rm in}\,\Omega, \quad u = 0\,{\rm on}\,\partial\Omega,\) where Ω is a bounded smooth domain in \(\mathbb{R}^{N}\), N ≥ q3, and \(2^{\ast}=\frac{2N}{N-2}\) is the critical Sobolev exponent. We assume that Ω is annular shaped, i.e. there are constants R ₂ >  R ₁ >  0 such that \(\{x \in \mathbb{R}^{N} : R_{1} < |x| < R_{2}\} \subset \Omega\) and \(0 \not\in \Omega.\) We also assume that Ω is invariant under a group Γ of orthogonal transformations of \(\mathbb{R}^{N}\) without fixed points. We establish the existence of multiple sign changing solutions if, either Γ is arbitrary and R ₁/R ₂ is small enough, or R ₁/R ₂ is arbitrary and the minimal Γ-orbit of Ω is large enough. We believe this is the first existence result for sign changing solutions in domains with holes of arbitrary size. The proof takes advantage of the invariance of this problem under the group of Möbius transformations.     

Univoque bases and Hausdorff dimension

Given a positive integer M and a real number \(q >1\), a q -expansion of a real number x is a sequence \((c_i)=c_1c_2\ldots \) with \((c_i) \in \{0,\ldots ,M\}^\infty \) such that

$$\begin{aligned} x=\sum _{i=1}^{\infty } c_iq^{-i}. \end{aligned}$$

It is well known that if \(q \in (1,M+1]\), then each \(x \in I_q:=\left[ 0,M/(q-1)\right] \) has a q-expansion. Let \(\mathcal {U}=\mathcal {U}(M)\) be the set of univoque bases \(q>1\) for which 1 has a unique q-expansion. The main object of this paper is to provide new characterizations of \(\mathcal {U}\) and to show that the Hausdorff dimension of the set of numbers \(x \in I_q\) with a unique q-expansion changes the most if q “crosses” a univoque base. Denote by \(\mathcal {B}_2=\mathcal {B}_2(M)\) the set of \(q \in (1,M+1]\) such that there exist numbers having precisely two distinct q-expansions. As a by-product of our results, we obtain an answer to a question of Sidorov (J Number Theory 129:741–754, 2009) and prove that

$$\begin{aligned} \dim _H(\mathcal {B}_2\cap (q',q'+\delta ))>0\quad \text {for any}\quad \delta >0, \end{aligned}$$

where \(q'=q'(M)\) is the Komornik–Loreti constant.

     

Finite Gap Jacobi Matrices,III. Beyond the Szegő Class

Let \({\frak {e}}\subset {\mathbb {R}}\) be a finite union of ?+1 disjoint closed intervals, and denote by ω _j the harmonic measure of the j left-most bands. The frequency module for \({\frak {e}}\) is the set of all integral combinations of ω ₁,…,ω _? . Let \(\{\tilde{a}_{n}, \tilde{b}_{n}\}_{n=-\infty}^{\infty}\) be a point in the isospectral torus for \({\frak {e}}\) and \(\tilde{p}_{n}\) its orthogonal polynomials. Let \(\{a_{n},b_{n}\}_{n=1}^{\infty}\) be a half-line Jacobi matrix with \(a_{n} = \tilde{a}_{n} + \delta a_{n}\), \(b_{n} = \tilde{b}_{n} +\delta b_{n}\). Suppose

$\sum_{n=1}^\infty \lvert \delta a_n\rvert ^2 + \lvert \delta b_n\rvert ^2 <\infty $

and \(\sum_{n=1}^{N} e^{2\pi i\omega n} \delta a_{n}\), \(\sum_{n=1}^{N} e^{2\pi i\omega n} \delta b_{n}\) have finite limits as N→∞ for all ω in the frequency module. If, in addition, these partial sums grow at most subexponentially with respect to ω, then for z∈???, \(p_{n}(z)/\tilde{p}_{n}(z)\) has a limit as n→∞. Moreover, we show that there are non-Szeg? class J’s for which this holds.

     

A remark on the values of binary linear forms at prime arguments

Let λ₁, λ₂ be positive real numbers such that \({\frac{{\lambda_1}}{{\lambda_2}}}\) is irrational and algebraic. For any (C, c) well-spaced sequence \({\mathcal {V} = \{{v_i}\}_{i = 1}^\infty}\) and δ > 0 let \({E( {\mathcal {V},X,\delta})}\) denote the number of elements \({v \in \mathcal {V}, v \le X}\) for which the inequality

$| {\lambda_1 p_1 + \lambda_2 p_2 - v} | < X^{- \delta}$

is not solvable in primes p ₁, p ₂. In this paper it is proved that

$E( {\mathcal {V},X,\delta}) \ll X^{\frac{4}{5} + \delta + \varepsilon}$

for any \({\varepsilon > 0}\). This result constitutes an improvement upon that of Brüdern, Cook, and Perelli for the range \({\frac{2}{{15}} < \delta < \frac{1}{5}}\).