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.

     

Estimates for coefficients of certain <Emphasis Type="Italic">L</Emphasis>-functions

Let \(\pi _{\varphi }\) (or \(\pi _{\psi }\)) be an automorphic cuspidal representation of \(\text {GL}_{2} (\mathbb {A}_{\mathbb {Q}})\) associated to a primitive Maass cusp form \(\varphi \) (or \(\psi \)), and \(\mathrm{sym}^j \pi _{\varphi }\) be the jth symmetric power lift of \(\pi _{\varphi }\). Let \(a_{\mathrm{sym}^j \pi _{\varphi }}(n)\) denote the nth Dirichlet series coefficient of the principal L-function associated to \(\mathrm{sym}^j \pi _{\varphi }\). In this paper, we study first moments of Dirichlet series coefficients of automorphic representations \(\mathrm{sym}^3 \pi _{\varphi }\) of \(\text {GL}_{4}(\mathbb {A}_{\mathbb {Q}})\), and \(\pi _{\psi }\otimes \mathrm{sym}^2 \pi _{\varphi }\) of \(\text {GL}_{6}(\mathbb {A}_{\mathbb {Q}})\). For \(3 \le j \le 8\), estimates for \(|a_{\mathrm{sym}^j \pi _{\varphi }}(n)|\) on average over a short interval have also been established.     

Properties of singular integral operators $$\varvec{S}_{\varvec{\alpha ,\beta }}$$

For \(\alpha , \beta \in L^{\infty } (S^1),\) the singular integral operator \(S_{\alpha ,\beta }\) on \(L^2 (S^1)\) is defined by \(S_{\alpha ,\beta }f:= \alpha Pf+\beta Qf\), where P denotes the orthogonal projection of \(L^2(S^1)\) onto the Hardy space \(H^2(S^1),\) and Q denotes the orthogonal projection onto \(H^2(S^1)^{\perp }\). In a recent paper, Nakazi and Yamamoto have studied the normality and self-adjointness of \(S_{\alpha ,\beta }\). This work has shown that \(S_{\alpha ,\beta }\) may have analogous properties to that of the Toeplitz operator. In this paper, we study several other properties of \(S_{\alpha ,\beta }\).     

Regularity for Inhomogeneous Dirichlet Problems of Some Schrödinger Equations on Domains

Let \(n\ge 3, \Omega \) be a bounded, simply connected and semiconvex domain in \({\mathbb {R}}^n\) and \(L_{\Omega }:=-\Delta +V\) a Schrödinger operator on \(L^2 (\Omega )\) with the Dirichlet boundary condition, where \(\Delta \) denotes the Laplace operator and the potential \(0\le V\) belongs to the reverse Hölder class \(RH_{q_0}({\mathbb {R}}^n)\) for some \(q_0\in (\max \{n/2,2\},\infty ]\). Assume that the growth function \(\varphi :\,{\mathbb {R}}^n\times [0,\infty ) \rightarrow [0,\infty )\) satisfies that \(\varphi (x,\cdot )\) is an Orlicz function and \(\varphi (\cdot ,t)\in {\mathbb {A}}_{\infty }({\mathbb {R}}^n)\) (the class of uniformly Muckenhoupt weights). Let \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) be the Musielak–Orlicz–Hardy space whose elements are restrictions of elements of the Musielak–Orlicz–Hardy space, associated with \(L_{{\mathbb {R}}^n}:=-\Delta +V\) on \({\mathbb {R}}^n\), to \(\Omega \). In this article, the authors show that the operators \(VL^{-1}_\Omega \) and \(\nabla ^2L^{-1}_\Omega \) are bounded from \(L^1(\Omega )\) to weak-\(L^1(\Omega )\), from \(L^p(\Omega )\) to itself, with \(p\in (1,2]\), and also from \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) to the Musielak–Orlicz space \(L^\varphi (\Omega )\) or to \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) itself. As applications, the boundedness of \(\nabla ^2{\mathbb {G}}_D\) on \(L^p(\Omega )\), with \(p\in (1,2]\), and from \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) to \(L^\varphi (\Omega )\) or to \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) itself is obtained, where \({\mathbb {G}}_D\) denotes the Dirichlet Green operator associated with \(L_\Omega \). All these results are new even for the Hardy space \(H^1_{L_{{\mathbb {R}}^n},\,r}(\Omega )\), which is just \(H_{\varphi ,\,L_{{\mathbb {R}}^n},\,r}(\Omega )\) with \(\varphi (x,t):=t\) for all \(x\in {\mathbb {R}}^n\) and \(t\in [0,\infty )\).     

On height isotopy classes of embeddings in the plane of a Morse function of a circle

Let \(\mathrm{SM}_{2n}(S^1,\mathbb {R})\) be a set of stable Morse functions of an oriented circle such that the number of singular points is \(2n\in \mathbb {N}\) and the order of singular values satisfies the particular condition. For an orthogonal projection \(\pi :\mathbb {R}^2\rightarrow \mathbb {R}\), let \({\tilde{f}}_0\) and \({\tilde{f}}_1:S^1\rightarrow \mathbb {R}^2\) be embedding lifts of f. If there is an ambient isotopy \(\tilde{\varphi }_t:\mathbb {R}^2\rightarrow \mathbb {R}^2\) \((t\in [0,1])\) such that \({\pi \circ \tilde{\varphi }}_t(y_1,y_2)=y_1\) and \(\tilde{\varphi }_1\circ {\tilde{f}}_0={\tilde{f}}_1\), we say that \({\tilde{f}}_0\) and \({\tilde{f}}_1\) are height isotopic. We define a function \(I:\mathrm{SM}_{2n}(S^1,\mathbb {R})\rightarrow \mathbb {N}\) as follows: I(f) is the number of height isotopy classes of embeddings such that each rotation number is one. In this paper, we determine the maximal value of the function I equals the n-th Baxter number and the minimal value equals \(2^{n-1}\).     

Sequences of Weighted Composition Operators on the Hardy–Hilbert Space

Let \(\varphi \) be an analytic self map of the open unit disc \(\mathbb {D}\). Assume that \(\psi \) is an analytic map of \(\mathbb {D}\). Suppose that f is in the Hardy–Hilbert space of the open unit disc \(H^2\). The operator that takes f into \(\psi \cdot f \circ \varphi \) is a weighted composition operator, and is denoted by \(C_{\psi ,\varphi }\). In this paper we relate the convergence of the sequence \(\{ C_{\psi _n,\varphi _n}\}\) in different operator topologies to the convergence of the two sequences of maps \(\{\varphi _n \}\) and \(\{ \psi _n\}\).     

Unitary Equivalence of Composition C$$^*$$-Algebras on the Hardy and Weighted Bergman Spaces

Let \(\varphi \) be an arbitrary linear-fractional self-map of the unit disk \({\mathbb {D}}\) and consider the composition operator \(C_{-1, \varphi }\) and the Toeplitz operator \(T_{-1,z}\) on the Hardy space \(H^2\) and the corresponding operators \(C_{\alpha , \varphi }\) and \(T_{\alpha , z}\) on the weighted Bergman spaces \(A^2_{\alpha }\) for \(\alpha >-1\). We prove that the unital C\(^*\)-algebra \(C^*(T_{\alpha , z}, C_{\alpha , \varphi })\) generated by \(T_{\alpha , z}\) and \(C_{\alpha , \varphi }\) is unitarily equivalent to \(C^*(T_{-1, z}, C_{-1, \varphi }),\) which extends a known result for automorphism-induced composition operators. For maps \(\varphi \) that are not automorphisms of \({\mathbb {D}}\), we show that \(C^*(C_{\alpha , \varphi }, {\mathcal {K}}_{\alpha })\) is unitarily equivalent to \(C^*(C_{-1, \varphi }, {\mathcal {K}}_{-1})\), where \({\mathcal {K}}_{\alpha }\) and \({\mathcal {K}}_{-1}\) denote the ideals of compact operators on \(A^2_{\alpha }\) and \(H^2\), respectively, and apply existing structure theorems for \(C^*(C_{-1, \varphi }, {\mathcal {K}}_{-1})/{\mathcal {K}}_{-1}\) to describe the structure of \(C^*(C_{\alpha , \varphi }, {\mathcal {K}}_{\alpha })/\mathcal {K_{\alpha }}\), up to isomorphism. We also establish a unitary equivalence between related weighted composition operators induced by maps \(\varphi \) that fix a point on the unit circle.     

Quasinormal and Hyponormal Weighted Composition Operators on $$H^2$$ and $$A^2_{\alpha }$$Aα2 with Linear Fractional Compositional Symbol

In this paper, we study quasinormal and hyponormal composition operators \(W_{\psi ,\varphi }\)  with linear fractional compositional symbol \(\varphi \) on the Hardy and weighted Bergman spaces. We characterize the quasinormal composition operators induced on \(H^{2}\) and \(A_{\alpha }^{2}\) by these maps and many such weighted composition operators, showing that they are necessarily normal in all known cases. We eliminate several possibilities for hyponormal weighted composition operators but also give new examples of hyponormal weighted composition operators on \(H^2\) which are not quasinormal.     

On one-dimensional superlinear indefinite problems involving the $$\phi $$-Laplacian

Let \(\Omega := ( a,b ) \subset \mathbb {R}\), \(m\in L^{1} ( \Omega ) \) and \(\phi :\mathbb {R\rightarrow R}\) be an odd increasing homeomorphism. We consider the existence of positive solutions for problems of the form

$$\begin{aligned} \left\{ \begin{array} [c]{ll} -\phi ( u^{\prime } ) ^{\prime }=m ( x ) f ( u) &{}\quad \text {in } \Omega ,\\ u=0 &{}\quad \text {on } \partial \Omega , \end{array} \right. \end{aligned}$$

where \(f: [ 0,\infty ) \rightarrow [ 0,\infty ) \) is a continuous function which is, roughly speaking, superlinear with respect to \(\phi \). Our approach combines the Guo-Krasnoselski? fixed-point theorem with some estimates on related nonlinear problems. We mention that our results are new even in the case \(m\ge 0\).

     

Small Littlewood–Richardson coefficients

We develop structural insights into the Littlewood–Richardson graph, whose number of vertices equals the Littlewood–Richardson coefficient \(c_{\lambda ,\mu }^{\nu }\) for given partitions \(\lambda \), \(\mu \), and \(\nu \). This graph was first introduced in Bürgisser and Ikenmeyer (SIAM J Discrete Math 27(4):1639–1681, 2013), where its connectedness was proved. Our insights are useful for the design of algorithms for computing the Littlewood–Richardson coefficient: We design an algorithm for the exact computation of \(c_{\lambda ,\mu }^{\nu }\) with running time \(\mathcal {O}\big ((c_{\lambda ,\mu }^{\nu })^2 \cdot {\textsf {poly}}(n)\big )\), where \(\lambda \), \(\mu \), and \(\nu \) are partitions of length at most n. Moreover, we introduce an algorithm for deciding whether \(c_{\lambda ,\mu }^{\nu } \ge t\) whose running time is \(\mathcal {O}\big (t^2 \cdot {\textsf {poly}}(n)\big )\). Even the existence of a polynomial-time algorithm for deciding whether \(c_{\lambda ,\mu }^{\nu } \ge 2\) is a nontrivial new result on its own. Our insights also lead to the proof of a conjecture by King et al. (Symmetry in physics. American Mathematical Society, Providence, 2004), stating that \(c_{\lambda ,\mu }^{\nu }=2\) implies \(c_{M\lambda ,M\mu }^{M\nu } = M+1\) for all \(M \in \mathbb {N}\). Here, the stretching of partitions is defined componentwise.     

Optimal lower exponent for the higher gradient integrability of solutions to two-phase elliptic equations in two dimensions

We study the higher gradient integrability of distributional solutions u to the equation \({{\mathrm{div}}}(\sigma \nabla u) = 0\) in dimension two, in the case when the essential range of \(\sigma \) consists of only two elliptic matrices, i.e., \(\sigma \in \{\sigma _1, \sigma _2\}\) a.e. in \(\Omega \). In Nesi et al. (Ann Inst H Poincaré Anal Non Linéaire 31(3):615–638, 2014), for every pair of elliptic matrices \(\sigma _1\) and \(\sigma _2\), exponents \(p_{\sigma _1,\sigma _2}\in (2,+\infty )\) and \(q_{\sigma _1,\sigma _2}\in (1,2)\) have been found so that if \(u\in W^{1,q_{\sigma _1,\sigma _2}}(\Omega )\) is solution to the elliptic equation then \(\nabla u\in L^{p_{\sigma _1,\sigma _2}}_{\mathrm{weak}}(\Omega )\) and the optimality of the upper exponent \(p_{\sigma _1,\sigma _2}\) has been proved. In this paper we complement the above result by proving the optimality of the lower exponent \(q_{\sigma _1,\sigma _2}\). Precisely, we show that for every arbitrarily small \(\delta \), one can find a particular microgeometry, i.e., an arrangement of the sets \(\sigma ^{-1}(\sigma _1)\) and \(\sigma ^{-1}(\sigma _2)\), for which there exists a solution u to the corresponding elliptic equation such that \(\nabla u \in L^{q_{\sigma _1,\sigma _2}-\delta }\), but \(\nabla u \notin L^{q_{\sigma _1,\sigma _2}}\). The existence of such optimal microgeometries is achieved by convex integration methods, adapting to the present setting the geometric constructions provided in Astala et al. (Ann Scuola Norm Sup Pisa Cl Sci 5(7):1–50, 2008) for the isotropic case.     

Groups with a ternary equivalence relation

We consider in a group \((G,\cdot )\) the ternary relation

$$\begin{aligned} \kappa := \{(\alpha , \beta , \gamma ) \in G^3 \ | \ \alpha \cdot \beta ^{-1} \cdot \gamma = \gamma \cdot \beta ^{-1} \cdot \alpha \} \end{aligned}$$

and show that \(\kappa \) is a ternary equivalence relation if and only if the set \( \mathfrak Z \) of centralizers of the group G forms a fibration of G (cf. Theorems 2, 3). Therefore G can be provided with an incidence structure

$$\begin{aligned} \mathfrak G:= \{\gamma \cdot Z \ | \ \gamma \in G , Z \in \mathfrak Z(G) \}. \end{aligned}$$

We study the automorphism group of \((G,\kappa )\), i.e. all permutations \(\varphi \) of the set G such that \( (\alpha , \beta , \gamma ) \in \kappa \) implies \((\varphi (\alpha ),\varphi (\beta ),\varphi (\gamma ))\in \kappa \). We show \(\mathrm{Aut}(G,\kappa )=\mathrm{Aut}(G,\mathfrak G)\), \(\mathrm{Aut} (G,\cdot ) \subseteq \mathrm{Aut}(G,\kappa )\) and if \( \varphi \in \mathrm{Aut}(G,\kappa )\) with \(\varphi (1)=1\) and \(\varphi (\xi ^{-1})= (\varphi (\xi ))^{-1}\) for all \(\xi \in G\) then \(\varphi \) is an automorphism of \((G,\cdot )\). This allows us to prove a representation theorem of \(\mathrm{Aut}(G,\kappa )\) (cf. Theorem 6) and that for \(\alpha \in G \) the maps

$$\begin{aligned} \tilde{\alpha }\ : \ G \rightarrow G;~ \xi \mapsto \alpha \cdot \xi ^{-1} \cdot \alpha \end{aligned}$$

of the corresponding reflection structure \((G, \widetilde{G})\) (with \( \tilde{G} := \{\tilde{\gamma }\ | \ \gamma \in G \}\)) are point reflections. If \((G ,\cdot )\) is uniquely 2-divisible and if for \(\alpha \in G\), \(\alpha ^{1\over 2}\) denotes the unique solution of \(\xi ^2=\alpha \) then with \(\alpha \odot \beta := \alpha ^{1\over 2} \cdot \beta \cdot \alpha ^{1\over 2}\), the pair \((G,\odot )\) is a K-loop (cf. Theorem 5).

     

Sign-changing solutions to a partially periodic nonlinear Schrödinger equation in domains with unbounded boundary

We consider the problem

$$\begin{aligned} -\Delta u+\left( V_{\infty }+V(x)\right) u=|u|^{p-2}u,\quad u\in H_{0} ^{1}(\Omega ), \end{aligned}$$

where \(\Omega \) is either \(\mathbb {R}^{N}\) or a smooth domain in \(\mathbb {R} ^{N}\) with unbounded boundary, \(N\ge 3,\) \(V_{\infty }>0,\) \(V\in \mathcal {C} ^{0}(\mathbb {R}^{N}),\) \(\inf _{\mathbb {R}^{N}}V>-V_{\infty }\) and \(2<p<\frac{2N}{N-2}\). We assume V is periodic in the first m variables, and decays exponentially to zero in the remaining ones. We also assume that \(\Omega \) is periodic in the first m variables and has bounded complement in the other ones. Then, assuming that \(\Omega \) and V are invariant under some suitable group of symmetries on the last \(N-m\) coordinates of \(\mathbb {R}^{N}\), we establish existence and multiplicity of sign-changing solutions to this problem. We show that, under suitable assumptions, there is a combined effect of the number of periodic variables and the symmetries of the domain on the number of sign-changing solutions to this problem. This number is at least \(m+1\)

     

The convolution algebra

For L a complete lattice L and \(\mathfrak {X}=(X,(R_i)_I)\) a relational structure, we introduce the convolution algebra \(L^{\mathfrak {X}}\). This algebra consists of the lattice \(L^X\) equipped with an additional \(n_i\)-ary operation \(f_i\) for each \(n_i+1\)-ary relation \(R_i\) of \(\mathfrak {X}\). For \(\alpha _1,\ldots ,\alpha _{n_i}\in L^X\) and \(x\in X\) we set \(f_i(\alpha _1,\ldots ,\alpha _{n_i})(x)=\bigvee \{\alpha _1(x_1)\wedge \cdots \wedge \alpha _{n_i}(x_{n_i}):(x_1,\ldots ,x_{n_i},x)\in R_i\}\). For the 2-element lattice 2, \(2^\mathfrak {X}\) is the reduct of the familiar complex algebra \(\mathfrak {X}^+\) obtained by removing Boolean complementation from the signature. It is shown that this construction is bifunctorial and behaves well with respect to one-one and onto maps and with respect to products. When L is the reduct of a complete Heyting algebra, the operations of \(L^\mathfrak {X}\) are completely additive in each coordinate and \(L^\mathfrak {X}\) is in the variety generated by \(2^\mathfrak {X}\). Extensions to the construction are made to allow for completely multiplicative operations defined through meets instead of joins, as well as modifications to allow for convolutions of relational structures with partial orderings. Several examples are given.     

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

     

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

     

Stability of Standing Waves for a Generalized Choquard Equation with Potential

We are going to study the standing waves for the generalized Choquard equation with potential:

$$ -i\partial_{t} u-\Delta u+V(x)u=\bigl(|x|^{-1}\ast |u|^{p}\bigr)|u|^{p-2}u,\quad \hbox{in } \mathbb{R}\times \mathbb{R}^{3}, $$

where \(V(x)\) is a real function, \(p>2\) is close to 2 and ? standards for the convolution in \(\mathbb{R}^{3}\). The stability of the standing waves \(u(x)=e^{i\omega t}\varphi (x)\) is investigated under suitable assumptions on the potential and the frequency \(\omega \).

     

Quasilinear equations with natural growth in the gradients in spaces of Sobolev multipliers

We study the existence problem for a class of nonlinear elliptic equations whose prototype is of the form \(-\Delta _p u = |\nabla u|^p + \sigma \) in a bounded domain \(\Omega \subset \mathbb {R}^n\). Here \(\Delta _p\), \(p>1\), is the standard p-Laplacian operator defined by \(\Delta _p u=\mathrm{div}\, (|\nabla u|^{p-2}\nabla u)\), and the datum \(\sigma \) is a signed distribution in \(\Omega \). The class of solutions that we are interested in consists of functions \(u\in W^{1,p}_0(\Omega )\) such that \(|\nabla u|\in M(W^{1,p}(\Omega )\rightarrow L^p(\Omega ))\), a space pointwise Sobolev multipliers consisting of functions \(f\in L^{p}(\Omega )\) such that

$$\begin{aligned} \int _{\Omega } |f|^{p} |\varphi |^p dx \le C \int _{\Omega } (|\nabla \varphi |^p + |\varphi |^p) dx \quad \forall \varphi \in C^\infty (\Omega ), \end{aligned}$$

for some \(C>0\). This is a natural class of solutions at least when the distribution \(\sigma \) is nonnegative and compactly supported in \(\Omega \). We show essentially that, with only a gap in the smallness constants, the above equation has a solution in this class if and only if one can write \(\sigma =\mathrm{div}\, F\) for a vector field F such that \(|F|^{\frac{1}{p-1}}\in M(W^{1,p}(\Omega )\rightarrow L^p(\Omega ))\). As an important application, via the exponential transformation \(u\mapsto v=e^{\frac{u}{p-1}}\), we obtain an existence result for the quasilinear equation of Schrödinger type \(-\Delta _p v = \sigma \, v^{p-1}\), \(v\ge 0\) in \(\Omega \), and \(v=1\) on \(\partial \Omega \), which is interesting in its own right.

     

Estimates for large solutions of a quasilinear elliptic equation

Let \(\Omega \) be a bounded smooth domain of \(R^{n}\). We study the asymptotic behaviour of the solutions to the equation \(\triangle u-|Du|^{q}=f(u)\) in \(\Omega , 1<q<2,\) which satisfy the boundary condition \(u(x)\rightarrow \infty \) as \(x\rightarrow \partial \Omega \). These solutions are called large or blowup solutions. Near the boundary we give lower and upper bounds for the ratio \(\psi (u)/\delta \), where \(\psi (u) = \int _{u}^{\infty }1/\sqrt{2F}dt\), \(F'=f\), \(\delta =dist(x,\partial \Omega )\) or for the ratio \(u/\delta ^{(2-q)/(1-q)}\). When in particular the ratio \(f/F^{q/2}\)is regular at infinity, we find again known results (Bandle and Giarrusso, in Adv Diff Equ 1, 133–150, 1996; Giarrusso, in Comptes Rendus de l’Acad Sci 331, 777–782 2000).     

The nonlocal Liouville-type equation in $$\mathbb {}$$ and conformal immersions of the disk with boundary singularities

In this paper we perform a blow-up and quantization analysis of the fractional Liouville equation in dimension 1. More precisely, given a sequence \(u_k :\mathbb {R}\rightarrow \mathbb {R}\) of solutions to

$$\begin{aligned} (-\Delta )^\frac{1}{2} u_k =K_ke^{u_k}\quad \text {in} \quad \mathbb {R}, \end{aligned}$$

(1)

with \(K_k\) bounded in \(L^\infty \) and \(e^{u_k}\) bounded in \(L^1\) uniformly with respect to k, we show that up to extracting a subsequence \(u_k\) can blow-up at (at most) finitely many points \(B=\{a_1,\ldots , a_N\}\) and that either (i) \(u_k\rightarrow u_\infty \) in \(W^{1,p}_{{{\mathrm{loc}}}}(\mathbb {R}{\setminus } B)\) and \(K_ke^{u_k} {\mathop {\rightharpoonup }\limits ^{*}}K_\infty e^{u_\infty }+ \sum _{j=1}^N \pi \delta _{a_j}\), or (ii) \(u_k\rightarrow -\infty \) uniformly locally in \(\mathbb {R}{\setminus } B\) and \(K_k e^{u_k} {\mathop {\rightharpoonup }\limits ^{*}}\sum _{j=1}^N \alpha _j \delta _{a_j}\) with \(\alpha _j\ge \pi \) for every j. This result, resting on the geometric interpretation and analysis of (1) provided in a recent collaboration of the authors with T. Rivière and on a classical work of Blank about immersions of the disk into the plane, is a fractional counterpart of the celebrated works of Brézis–Merle and Li–Shafrir on the 2-dimensional Liouville equation, but providing sharp quantization estimates (\(\alpha _j=\pi \) and \(\alpha _j\ge \pi \)) which are not known in dimension 2 under the weak assumption that \((K_k)\) be bounded in \(L^\infty \) and is allowed to change sign.