Regularity lifting of weak solutions for nonlinear sub-Laplace equations on homogeneous groups

Let G be a homogeneous group, and let X ₁, X ₂, … , X _m be left invariant real vector fields being homogeneous of degree one on G. We consider the following Dirichlet boundary value problem of the sub-Laplace equation involving the critical exponent and singular term: $$\left\{\begin{array}{ll}-\sum_{j=1}^{m}X_j^2u(x)-\frac{a}{\|x\|^\nu}u(x)=u^{\frac{Q+2}{Q-2}}(x), x\in\Omega,\\ u(x)=0, \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\quad\,\,\,\, x\in \partial\Omega,\end{array}\right.$$ where ${\Omega\subset G}$ is a bounded domain with smooth boundary and ${\mathbf{0}\in\Omega}$ , Q is the homogeneous dimension of G, ${a\in \mathbb{R},\ \nu <2 }$ . We boost u to ${L^p(\Omega)}$ for any ${1\leq p < \infty}$ if ${u\in S^{1,2}_0(\Omega)}$ is a weak solution of the problem above.     

On averages of Fourier coefficients of Maass cusp forms

Let φ be a primitive Maass cusp form and t _φ (n) be its nth Fourier coefficient at the cusp infinity. In this short note, we are interested in the estimation of the sums ${\sum_{n \leq x}t_{\varphi}(n)}$ and ${\sum_{n \leq x}t_{\varphi}(n^2)}$ . We are able to improve the previous results by showing that for any ${\varepsilon > 0}$ $$\sum_{n \leq x}t_{\varphi}(n) \ll\, _{\varphi, \varepsilon} x^{\frac{1027}{2827} + \varepsilon} \quad {and}\quad\sum_{n \leq x}t_{\varphi}(n^2) \ll\,_{\varphi, \varepsilon} x^{\frac{489}{861} + \varepsilon}.$$      

A decomposition of the universal embedding space for the near polygon {{\mathbb H}_n}

Let ${{\mathbb H}_n, n \geq 1}$ , be the near 2n-gon defined on the 1-factors of the complete graph on 2n?+?2 vertices, and let e denote the absolutely universal embedding of ${{\mathbb H}_n}$ into PG(W), where W is a ${\frac{1}{n+2} \left(\begin{array}{c}2n+2 \\ n+1\end{array}\right)}$ -dimensional vector space over the field ${{\mathbb F}_2}$ with two elements. For every point z of ${{\mathbb H}_n}$ and every ${i \in {\mathbb N}}$ , let Δ _i (z) denote the set of points of ${{\mathbb H}_n}$ at distance i from z. We show that for every pair {x, y} of mutually opposite points of ${{\mathbb H}_n, W}$ can be written as a direct sum ${W_0 \oplus W_1 \oplus \cdots \oplus W_n}$ such that the following four properties hold for every ${i \in \{0,\ldots,n \}}$ : (1) ${\langle e(\Delta_i(x) \cap \Delta_{n-i}(y)) \rangle = {\rm PG}(W_i)}$ ; (2) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(x) \right) \right\rangle = {\rm PG}(W_0 \oplus W_1 \oplus \cdots \oplus W_i)}$ ; (3) ${\left\langle e \left( \bigcup_{j \leq i} \Delta_j(y) \right) \right\rangle = {\rm PG}(W_{n-i}\oplus W_{n-i+1} \oplus \cdots \oplus W_n)}$ ; (4) ${\dim(W_i) = |\Delta_i(x) \cap \Delta_{n-i}(y)| = \left(\begin{array}{c}n \\ i\end{array}\right)^2 - \left(\begin{array}{c}n \\ i-1\end{array}\right) \cdot \left(\begin{array}{c}n \\ i+1\end{array}\right)}$ .     

Quasilinear elliptic equations in \mathbb{R }^{N} via variational methods and Orlicz-Sobolev embeddings

In this paper we prove the existence of a nontrivial non-negative radial solution for the quasilinear elliptic problem $$\begin{aligned} \left\{ \begin{array}{l@{\quad }l} -\nabla \cdot \left[\phi ^{\prime }(|\nabla u|^2)\nabla u \right] +|u|^{\alpha -2}u =|u|^{s-2} u,&x\in \mathbb{R }^{N},\\ u(x) \rightarrow 0, \quad \text{ as} |x|\rightarrow \infty , \end{array} \right. \end{aligned}$$ where $N\ge 2, \phi (t)$ behaves like $t^{q/2}$ for small $t$ and $t^{p/2}$ for large $t, 1< p<q<N, 1<\alpha \le p^* q^{\prime }/p^{\prime }$ and $\max \{q,\alpha \}< s<p^*,$ being $p^*=\frac{pN}{N-p}$ and $p^{\prime }$ and $q^{\prime }$ the conjugate exponents, respectively, of $p$ and $q$ . Our aim is to approach the problem variationally by using the tools of critical points theory in an Orlicz-Sobolev space. A multiplicity result is also given.     

{W^{1,1}_0} -solutions for elliptic problems having gradient quadratic lower order terms

In this paper we deal with solutions of problems of the type $$\left\{\begin{array}{ll}-{\rm div} \Big(\frac{a(x)Du}{(1+|u|)^2} \Big)+u = \frac{b(x)|Du|^2}{(1+|u|)^3} +f \quad &{\rm in} \, \Omega,\\ u=0 &{\rm on} \partial \, \Omega, \end{array} \right.$$ where ${0 < \alpha \leq a(x) \leq \beta, |b(x)| \leq \gamma, \gamma > 0, f \in L^2 (\Omega)}$ and Ω is a bounded subset of ${\mathbb{R}^N}$ with N ≥ 3. We prove the existence of at least one solution for such a problem in the space ${W_{0}^{1, 1}(\Omega) \cap L^{2}(\Omega)}$ if the size of the lower order term satisfies a smallness condition when compared with the principal part of the operator. This kind of problems naturally appears when one looks for positive minima of a functional whose model is: $$J (v) = \frac{\alpha}{2} \int_{\Omega}\frac{|D v|^2}{(1 + |v|)^{2}} + \frac{12}{\int_{\Omega}|v|^2} - \int_{\Omega}f\,v , \quad f \in L^2(\Omega),$$ where in this case a(x) ≡ b(x) = α > 0.     

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.     

Existence and multiplicity results for Pucci’s operators involving nonlinearities with zeros

We study the problem $$ \left\{\begin{array}{ll} {-\varepsilon^{2}\mathcal{M}^+_{\lambda,\Lambda}(D^{2}u) = f (x, u)} \quad\; {\rm in} \; \Omega,\\ {u = 0} \quad\quad\quad\quad\quad\quad\quad\quad\quad\quad {\rm on} \; \partial{\Omega}, \end{array} \right.$$ where Ω is a smooth bounded domain in ${\mathbb{R}^{N},N > 2,}$ and show it possesses nontrivial solutions for small values of ε provided f is a nonnegative continuous function which has a positive zero. The multiplicity result is based on degree theory together with a new Liouville type theorem for ${-{M}^+_{\lambda,\Lambda}(D^{2}u) = f(u)}$ in ${\mathbb{R}^{N}}$ for nonnegative nonlinearities with zeros.     

Existence of semiclassical states for a quasilinear Schrödinger equation with critical exponent in {\mathbb{R}^N}

We consider the following perturbed version of quasilinear Schrödinger equation $$\begin{array}{lll}-\varepsilon^2\Delta u +V(x)u-\varepsilon^2\Delta (u^2)u=h(x,u)u+K(x)|u|^{22^*-2}u\end{array}$$ in ${\mathbb{R}^N}$ , where N ≥ 3, 22* = 4N/(N ? 2), V(x) is a nonnegative potential, and K(x) is a bounded positive function. Using minimax methods, we show that this equation 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}$ , 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}$ .     

Infinitely many solutions for an elliptic problem involving critical Sobolev growth and Hardy potential

In this paper, we will prove the existence of infinitely many solutions for the following elliptic problem with critical Sobolev growth and a Hardy potential: $$-\Delta u-\frac{\mu}{|x|^2}u = |u|^{2^{\ast}-2}u+a u\quad {\rm in}\;\Omega,\quad u=0 \quad {\rm on}\; \partial\Omega,\qquad (*)$$ under the assumptions that N ≥ 7, ${\mu\in \left[0,\frac{(N-2)^2}4-4\right)}$ and a > 0, where ${2^{\ast}=\frac{2N}{N-2}}$ , and Ω is an open bounded domain in ${\mathbb{R}^N}$ which contains the origin. To achieve this goal, we consider the following perturbed problem of (*), which is of subcritical growth, $$-\Delta u-\frac{\mu}{|x|^2}u = |u|^{2^{\ast}-2-\varepsilon_n}u+au \quad {\rm in}\,\Omega, \quad u=0 \quad {\rm on}\;\partial\Omega,\qquad(\ast\ast)_n$$ where ${\varepsilon_{n} > 0}$ is small and ${\varepsilon_n \to 0}$ as n → + ∞. By the critical point theory for the even functionals, for each fixed ${\varepsilon_{n} > 0}$ small, (**) _n has a sequence of solutions ${u_{k,\varepsilon_{n}} \in H^{1}_{0}(\Omega)}$ . We obtain the existence of infinitely many solutions for (*) by showing that as n → ∞, ${u_{k,\varepsilon_{n}}}$ converges strongly in ${H^{1}_{0}(\Omega)}$ to u _k , which must be a solution of (*). Such a convergence is obtained by applying a local Pohozaev identity to exclude the possibility of the concentration of ${\{u_{k,\varepsilon_n}\}}$ .     

Infinitely many solutions for the prescribed curvature problem of polyharmonic operator

We consider the following prescribed curvature problem for polyharmonic operator: $$\left\{\begin{array}{llll} D_{m} u = \tilde{K}(y)|u|^{m^*-2}u\; {\rm in}\; \mathbb{S}^N\\ u \quad\; >0\qquad\quad\quad\quad\quad{\rm on}\; \mathbb{S}^N\\ u \quad\; \in H^{m}(\mathbb{S}^N), \end{array} \right.$$ where ${m^*=\frac{2N}{N-2m}, N\geq 2m+1,m \in \mathbb{N}_{+}, \tilde{K}}$ is positive and rationally symmetric, ${\mathbb{S}^N}$ is the unit sphere with the induced Riemannian metric ${g=g_{\mathbb{S}^N},}$ and D _m is the elliptic differential operator of 2m order given by $$\begin{array}{lll}D_m={\prod\limits_{k=1}^m}{\left(-\Delta_g+\frac{1}{4}(N-2k)(N+2k-2)\right)}\end{array}$$ where Δ _g is the Laplace-Beltrami operator on ${\mathbb{S}^N}$ . We will show that problem (P) has infinitely many non-radial positive solutions, whose energy can be arbitrary large.     

Stationary solutions of the nonlinear Schrödinger equation with fast-decay potentials concentrating around local maxima

We study positive bound states for the equation ${- \varepsilon^2 \Delta u + Vu = u^p, \quad {\rm in} \quad \mathbb{R}^N}$ , where ${\varepsilon > 0}$ is a real parameter, ${\frac{N}{N-2} < p < \frac{N+2}{N-2}}$ and V is a nonnegative potential. Using purely variational techniques, we find solutions which concentrate at local maxima of the potential V without any restriction on the potential.     

Local estimates for parabolic equations with nonlinear gradient terms

In this paper we deal with local estimates for parabolic problems in ${\mathbb{R}^N}$ with absorbing first order terms, whose model is $$\left\{\begin{array}{l@{\quad}l}u_t- \Delta u +u |\nabla u|^q = f(t,x) \quad &{\rm in}\, (0,T) \times \mathbb{R}^N\,,\\u(0,x)= u_0 (x) &{\rm in}\, \mathbb{R}^N \,,\quad\end{array}\right.$$ where ${T >0 , \, N\geq 2,\, 1 < q \leq 2,\, f(t,x)\in L^1\left( 0,T; L^1_{\rm loc} \left(\mathbb{R}^N\right)\right)}$ and ${u_0\in L^1_{\rm loc}\left(\mathbb{R}^{N}\right)}$ .     

A perturbation result for semi-linear stochastic differential equations in UMD Banach spaces

We consider the effect of perturbations of A on the solution to the following semi-linear parabolic stochastic partial differential equation: $$\left\{\begin{array}{ll}{\rm d}U(t) & = AU(t)\,{\rm d}t + F(t,U(t))\,{\rm d}t + G(t,U(t))\,{\rm d}W_H(t), \quad t > 0;\\U(0)& = x_0. \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad \quad({\rm SDE})\end{array} \right.$$ Here, A is the generator of an analytic C ₀-semigroup on a UMD Banach space X, H is a Hilbert space, W _H is an H-cylindrical Brownian motion, ${G:[0,T]\times X\rightarrow \mathcal{L}(H, X_{\theta_G}^{A})}$ , and ${F : [0, T]\times X \rightarrow X_{\theta_F}^{A}}$ for some ${\theta_G > -\frac{1}{2}, \theta_F > -\frac{3}{2}+\frac{1}{\tau}}$ , where ${\tau\in [1, 2]}$ denotes the type of the Banach space and ${X_{\theta_F}^{A}}$ denotes the fractional domain space or extrapolation space corresponding to A. We assume F and G to satisfy certain global Lipschitz and linear growth conditions. Let A ₀ denote the perturbed operator and U ₀ the solution to (SDE) with A substituted by A ₀. We provide estimates for ${\|U - U_0\|_{L^p(\Omega;C([0,T];X))}}$ in terms of ${D_{\delta}(A, A_0) := \|R(\lambda : A) - R(\lambda : A_0)\|_{\mathcal{L}(X^{A}_{\delta-1},X)}}$ . Here, ${\delta\in [0, 1]}$ is assumed to satisfy ${0\leq \delta < {\rm min}\{\frac{3}{2} - \frac{1}{\tau} + \theta_F,\, \frac{1}{2} - \frac{1}{p} + \theta_G \}}$ . The work is inspired by the desire to prove convergence of space approximations of (SDE). In this article, we prove convergence rates for the case that A is approximated by its Yosida approximation.     

{\mathcal{C}^{\alpha}}-regularity for a class of non-diagonal elliptic systems with p-growth

We consider weak solutions to nonlinear elliptic systems in a W ^1,p -setting which arise as Euler equations to certain variational problems. The solutions are assumed to be stationary in the sense that the differential of the variational integral vanishes with respect to variations of the dependent and independent variables. We impose new structure conditions on the coefficients which yield everywhere ${\mathcal{C}^{\alpha}}$ -regularity and global ${\mathcal{C}^{\alpha}}$ -estimates for the solutions. These structure conditions cover variational integrals like ${\int F(\nabla u)\; dx}$ with potential ${F(\nabla u):=\tilde F (Q_1(\nabla u),\ldots, Q_N(\nabla u))}$ and positively definite quadratic forms in ${\nabla u}$ defined as ${Q_i(\nabla u)=\sum_{\alpha \beta} a_i^{\alpha \beta} \nabla u^\alpha \cdot \nabla u^\beta}$ . A simple example consists in ${\tilde F(\xi_1,\xi_2):= |\xi_1|^{\frac{p}{2}} + |\xi_2|^{\frac{p}{2}}}$ or ${\tilde F(\xi_1,\xi_2):= |\xi_1|^{\frac{p}{4}}|\xi_2|^{\frac{p}{4}}}$ . Since the Q _i need not to be linearly dependent our result covers a class of nondiagonal, possibly nonmonotone elliptic systems. The proof uses a new weighted norm technique with singular weights in an L ^p -setting.     

Isolated boundary singularities of semilinear elliptic equations

Given a smooth domain ${\Omega\subset\mathbb{R}^N}$ such that ${0 \in \partial\Omega}$ and given a nonnegative smooth function ?? on ???, we study the behavior near 0 of positive solutions of ???u?=?u ^q in ?? such that u =? ?? on ???\{0}. We prove that if ${\frac{N+1}{N-1} < q < \frac{N+2}{N-2}}$ , then ${u(x)\leq C |x|^{-\frac{2}{q-1}}}$ and we compute the limit of ${|x|^{\frac{2}{q-1}} u(x)}$ as x ?? 0. We also investigate the case ${q= \frac{N+1}{N-1}}$ . The proofs rely on the existence and uniqueness of solutions of related equations on spherical domains.     

Large viscosity solutions for some fully nonlinear equations

We study existence, uniqueness and asymptotic behavior near the boundary of solutions of the problem $$\left\{\begin{array}{ll}-F(D^{2} u) + \beta (u) = f \quad {\rm in} \, \Omega, \\ u = + \infty \quad \quad \quad \quad \quad \quad \,\,\,\, {\rm on}\, \partial \Omega, \end{array} \right.\quad \quad \quad \quad \quad {\rm (P)}$$ where Ω is a bounded smooth domain in ${{\mathbb R}^N, N >1 , F}$ is a fully nonlinear elliptic operator and β is a nondecreasing continuous function. Assuming that β satisfies the Keller–Osserman condition, we obtain existence results which apply to ${f \in L^\infty_{loc}(\Omega)}$ or f having only local integrability properties where viscosity solutions are well defined, i.e. ${f \in L^N_{loc}(\Omega)}$ . Besides, we find the asymptotic behavior near the boundary of solutions of (P) for a wide class of functions ${f \in \mathcal{C}(\Omega)}$ . Based in this behavior, we also prove uniqueness.     

Radial and non radial solutions for Hardy–Hénon type elliptic systems

We discuss existence and non-existence of positive solutions for the following system of Hardy and Hénon type: $$\left\{\begin{array}{ll} {-\Delta v=|x|^{\alpha}u^{p},\,-\Delta u=|x|^{\beta}v^{q} \,\,{\rm in}\, \Omega,}\\ {u=v=0 \quad\quad\quad\quad\quad\quad\quad\quad\quad{\rm on}\, \partial \Omega}, \end{array}\right.$$ where ${\Omega\ni 0}$ is a bounded domain in ${\mathbb{R}^{N}}$ , N ≥ 3, p, q > 1, and α, β > ?N. We also study symmetry breaking for ground states when Ω is the unit ball in ${\mathbb{R}^{N}}$ .     

Parabolic power concavity and parabolic boundary value problems

This paper is concerned with power concavity properties of the solution to the parabolic boundary value problem $$\begin{aligned} (P)\quad \left\{ \begin{array}{l@{\quad }l} \partial _t u=\varDelta u +f(x,t,u,\nabla u) &{} \text{ in }\quad \varOmega \times (0,\infty ),\\ u(x,t)=0 &{} \text{ on }\quad \partial \varOmega \times (0,\infty ),\\ u(x,0)=0 &{} \text{ in }\quad \varOmega , \end{array} \right. \end{aligned}$$ where $\varOmega $ is a bounded convex domain in $\mathbf{R}^n$ and $f$ is a nonnegative continuous function in $\varOmega \times (0,\infty )\times \mathbf{R}\times \mathbf{R}^n$ . We give a sufficient condition for the solution of $(P)$ to be parabolically power concave in $\overline{\varOmega }\times [0,\infty )$ .     

On uniformly bounded spherical functions in Hilbert space

Let G be a commutative group, written additively, with a neutral element 0, and let K be a finite group. Suppose that K acts on G via group automorphisms ${G \ni a \mapsto ka \in G}$ , ${k \in K}$ . Let ${{\mathfrak{H}}}$ be a complex Hilbert space and let ${{\mathcal L}({\mathfrak{H}})}$ be the algebra of all bounded linear operators on ${{\mathfrak{H}}}$ . A mapping ${u \colon G \to {\mathcal L}({\mathfrak{H}})}$ is termed a K-spherical function if it satisfies (1) ${|K|^{-1} \sum_{k\in K} u (a+kb)=u (a) u (b)}$ for any ${a,b\in G}$ , where |K| denotes the cardinality of K, and (2) ${u (0) = {\rm id}_{\mathfrak {H}},}$ where ${{\rm id}_{\mathfrak {H}}}$ designates the identity operator on ${{\mathfrak{H}}}$ . The main result of the paper is that for each K-spherical function ${u \colon G \to {\mathcal {L}}({\mathfrak {H}})}$ such that ${\| u \|_{\infty} = \sup_{a\in G} \| u (a)\|_{{\mathcal L}({\mathfrak{H}})} < \infty,}$ there is an invertible operator S in ${{\mathcal L}({\mathfrak{H}})}$ with ${\| S \| \, \| S^{-1}\| \leq |K| \, \| u \|_{\infty}^2}$ such that the K-spherical function ${{\tilde{u}} \colon G \to {\mathcal L}({\mathfrak{H}})}$ defined by ${{\tilde{u}}(a) = S u (a) S^{-1},\,a \in G,}$ satisfies ${{\tilde{u}}(-a) = {\tilde{u}}(a)^*}$ for each ${a \in G}$ . It is shown that this last condition is equivalent to insisting that ${{\tilde{u}}(a)}$ be normal for each ${a \in G}$ .