Asymptotic behavior of the p-torsion functions as p goes to 1

Let \({\Omega}\) be a Lipschitz bounded domain of \({\mathbb{R}^N}\), \({N\geq2}\), and let \({u_p\in W_0^{1,p}(\Omega)}\) denote the p-torsion function of \({\Omega}\), p > 1. It is observed that the value 1 for the Cheeger constant \({h(\Omega)}\) is threshold with respect to the asymptotic behavior of u_p, as \({p\rightarrow 1^+}\), in the following sense: when \({h(\Omega) > 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_{p}\right\| _{L^\infty(\Omega)}=0}\), and when \({h(\Omega) < 1}\), one has \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega)}=\infty}\). In the case \({h(\Omega)=1}\), it is proved that \({\limsup_{p\rightarrow1^+}\left\|u_p\right\|_{L^\infty(\Omega)}<\infty}\). For a radial annulus \({\Omega_{a,b}}\), with inner radius a and outer radius b, it is proved that \({\lim_{p\rightarrow 1^+}\left\|u_p\right\| _{L^\infty(\Omega_{a,b})}=0}\) when \({h(\Omega_{a,b})=1}\).     

A spectral method for nonlinear elliptic equations

Let Ω be an open, simply connected, and bounded region in \(\mathbb {R}^{d}\), d ≥ 2, and assume its boundary ?Ω is smooth and homeomorphic to \(\mathbb {S}^{d-1}\). Consider solving an elliptic partial differential equation L u = f(?, u) over Ω with zero Dirichlet boundary value. The function f is a nonlinear function of the solution u. The problem is converted to an equivalent elliptic problem over the open unit ball \(\mathbb {B}^{d}\) in \(\mathbb {R}^{d}\), say \(\widetilde {L}\widetilde {u} =\widetilde {f}(\cdot ,\widetilde {u})\). Then a spectral Galerkin method is used to create a convergent sequence of multivariate polynomials \(\widetilde {u} _{n}\) of degree ≤ n that is convergent to \(\widetilde {u}\). The transformation from Ω to \(\mathbb {B}^{d}\) requires a special analytical calculation for its implementation. With sufficiently smooth problem parameters, the method is shown to be rapidly convergent. For \(u\in C^{\infty } \left (\overline {\Omega }\right ) \) and assuming ?Ω is a C ^∞ boundary, the convergence of \(\left \Vert \widetilde {u} -\widetilde {u}_{n}\right \Vert _{H^{1}}\) to zero is faster than any power of 1/n. The error analysis uses a reformulation of the boundary value problem as an integral equation, and then it uses tools from nonlinear integral equations to analyze the numerical method. Numerical examples illustrate experimentally an exponential rate of convergence. A generalization to ?Δu + γ u = f(u) with a zero Neumann boundary condition is also presented.     

The fractional Neumann and Robin type boundary conditions for the regional fractional <Emphasis Type="Italic">p</Emphasis>-Laplacian

Let \({p \in (1,\infty)}\), \({s \in (0,1)}\) and \({\Omega \subset {\mathbb{R}^{N}}}\) a bounded open set with boundary \({\partial\Omega}\) of class C ^1,1. In the first part of the article we prove an integration by parts formula for the fractional p-Laplace operator \({(-\Delta)_{p}^{s}}\) defined on \({\Omega \subset {\mathbb{R}^{N}}}\) and acting on functions that do not necessarily vanish at the boundary \({\partial\Omega}\). In the second part of the article we use the above mentioned integration by parts formula to clarify the fractional Neumann and Robin boundary conditions associated with the fractional p-Laplacian on open sets.     

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

     

Maximum Principle for H-Surfaces in the Unit Cone and Dirichlet’s Problem for their Equation in Central Projection

In the unit cone\({\mathcal{C} := \{(x, y, z)} \in {\mathbb R}^{3} : {x}^{2} + {y}^{2} < {z}^{2}, {z} > {0}\}\) we establish a geometric maximum principle for H-surfaces, where its mean curvature \({H = H(x, y, z)}\) is optimally bounded. Consequently, these surfaces cannot touch the conical boundary \({\partial \mathcal{C}}\) at interior points and have to approach \({\partial \mathcal{C}}\) transversally. By a nonlinear continuity method, we then solve the Dirichlet problem of the H-surface equation in central projection for Jordan-domains \({\Omega}\) which are strictly convex in the following sense: On its whole boundary \({\partial \mathcal{C}(\Omega)}\) their associate cone \({\mathcal{C}(\Omega) := \{(rx, ry, r) \in {\mathbb R}^{3} : (x, y) \in \Omega, r \in (0,+\infty)}\}\) admits rotated unit cones \({O \circ \mathcal{C}}\) as solids of support, where \({O \in {\mathbb R}^{3\times3}}\) represents a rotation in the Euclidean space. Thus we construct the unique H-surface with one-to-one central projection onto these domains \({\Omega}\) bounding a given Jordan-contour \({\Gamma \subset \mathcal{C} \backslash \{0\}}\) with one-toone central projection.     

Spectral multiplier theorems and averaged <Emphasis Type="Italic">R</Emphasis>-boundedness

Let A be a 0-sectorial operator with a bounded \(H^\infty (\Sigma _\sigma )\)-calculus for some \(\sigma \in (0,\pi ),\) e.g. a Laplace type operator on \(L^p(\Omega ),\, 1< p < \infty ,\) where \(\Omega \) is a manifold or a graph. We show that A has a \(\mathcal {H}^\alpha _2(\mathbb {R}_+)\) Hörmander functional calculus if and only if certain operator families derived from the resolvent \((\lambda - A)^{-1},\) the semigroup \(e^{-zA},\) the wave operators \(e^{itA}\) or the imaginary powers \(A^{it}\) of A are R-bounded in an \(L^2\)-averaged sense. If X is an \(L^p(\Omega )\) space with \(1 \le p < \infty \), R-boundedness reduces to well-known estimates of square sums.     

Compactness and existence results in weighted Sobolev spaces of radial functions. Part II: existence

We apply the compactness results obtained in the first part of this work, to prove existence and multiplicity results for finite energy solutions to the nonlinear elliptic equation

$$-\triangle u + V \left(\left|x\right|\right) u = g \left(\left|x\right|, u\right) \quad {\rm in} \Omega \subseteq \mathbb{R}^{N},\,N \geq 3,$$

where \({\Omega}\) is a radial domain (bounded or unbounded) and u satisfies u =  0 on \({\partial\Omega}\) if \({\Omega \neq\mathbb{R}^{N}}\) and \({u \rightarrow 0}\) as \({\left|x\right| \rightarrow \infty}\) if \({\Omega}\) is unbounded. The potential V may be vanishing or unbounded at zero or at infinity and the nonlinearity g may be superlinear or sublinear. If g is sublinear, the case with a forcing term \({g\left(\left|\cdot\right|, 0\right) \neq 0}\) is also considered. Our results allow to deal with V and g exhibiting behaviours at zero or at infinity which are new in the literature and, when \({\Omega = \mathbb{R}^{N}}\), do not need to be compatible with each other.

     

Infinitely many sign-changing solutions of an elliptic problem involving critical Sobolev and Hardy–Sobolev exponent

We study the existence and multiplicity of sign-changing solutions of the following equation

$$\begin{array}{@{}rcl@{}} \left\{\begin{array}{lllllllll} -{\Delta} u = \mu |u|^{2^{\star}-2}u+\frac{|u|^{2^{*}(t)-2}u}{|x|^{t}}+a(x)u \quad\text{in}\, {\Omega}, \\ u=0 \quad\text{on}\quad\partial{\Omega}, \end{array}\right. \end{array} $$

where Ω is a bounded domain in \(\mathbb {R}^{N}\), 0∈?Ω, all the principal curvatures of ?Ω at 0 are negative and μ≥0, a>0, N≥7, 0<t<2, \(2^{\star }=\frac {2N}{N-2}\) and \(2^{\star }(t)=\frac {2(N-t)}{N-2}\).

     

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.

     

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

Efficient construction of 2-chains representing a basis of $H_{2}(\overline {\Omega }, \partial {\Omega }; \mathbb {Z})$

We present an efficient algorithm for the construction of a basis of \(H_{2}(\overline {\Omega },\partial {\Omega };\mathbb {Z})\) via the Poincaré-Lefschetz duality theorem. Denoting by g the first Betti number of \(\overline {\Omega }\) the idea is to find, first g different 1-boundaries of \(\overline {\Omega }\) with supports contained in ?Ω whose homology classes in \(\mathbb {R}^{3} \setminus {\Omega }\) form a basis of \(H_{1}(\mathbb {R}^{3} \setminus {\Omega };\mathbb {Z})\), and then to construct a set of 2-chains in \(\overline {\Omega }\) having these 1-boundaries as their boundaries. The Poincaré-Lefschetz duality theorem ensures that the relative homology classes of these 2-chains in \(\overline {\Omega }\) modulo ?Ω form a basis of \(H_{2}(\overline {\Omega },\partial {\Omega };\mathbb {Z})\). We devise a simple procedure for the construction of the required set of 1-boundaries of \(\overline {\Omega }\) that, combined with a fast algorithm for the construction of 2-chains with prescribed boundary, allows the efficient computation of a basis of \(H_{2}(\overline {\Omega },\partial {\Omega };\mathbb {Z})\) via this very natural approach. Some numerical experiments show the efficiency of the method and its performance comparing with other algorithms.     

Integral means of weighted Hardy–Bloch functions

Let \({\mathcal{B}^\omega(p, q, B_d)}\) denote the \({\omega}\)-weighted Hardy–Bloch space on the unit ball B _d of \({\mathbb{C}^d}\), \({d\ge 1}\). For \({2< p,q < \infty}\) and \({f\in \mathcal{B}^\omega(p, q, B_d)}\), we obtain sharp estimates on the growth of the p-integral means M _p (f, r) as \({r\to 1-}\).     

An inequality between Willmore functional and Weyl functional for submanifolds in space forms

Let \({\phi : M \to R^{n+p}(c)}\) be an n-dimensional submanifold in an (n + p)-dimensional space form R ^n+p(c) with the induced metric g. Willmore functional of \({\phi}\) is \({W(\phi) = \int_{M}(S - nH^{2})^{n/2}dv}\) , where \({S = \sum_{\alpha,i, j}(h^{\alpha}_{ij} )^2}\) is the square of the length of the second fundamental form, H is the mean curvature of M. The Weyl functional of (M, g) is \({\nu(g) = \int_{M}|W_{g}|^{n/2}dv}\) , where \({|W_{g}|^{2} = \sum_{i, j,k,l} W^{2}_{ijkl}}\) and W _ijkl are the components of the Weyl curvature tensor W _g of (M, g). In this paper, we discover an inequality relation between Willmore functional \({W(\phi)}\) and Weyl funtional ν(g).     

Stability of volume comparison for complex convex bodies

We prove the stability of the affirmative part of the solution to the complex Busemann–Petty problem. Namely, if K and L are origin-symmetric convex bodies in \({{\mathbb C}^n}\), n = 2 or n = 3, \({\varepsilon >0 }\) and \({{\rm Vol}_{2n-2}(K\cap H) \le {\rm Vol}_{2n-2}(L \cap H) + \varepsilon}\) for any complex hyperplane H in \({{\mathbb C}^n}\) , then \({({\rm Vol}_{2n}(K))^{\frac{n-1}n}\le({\rm Vol}_{2n}(L))^{\frac{n-1}n} + \varepsilon}\) , where Vol_2n is the volume in \({{\mathbb C}^n}\) , which is identified with \({{\mathbb R}^{2n}}\) in the natural way.     

Sign-changing solutions for supercritical elliptic problems in domains with small holes

Let \(\mathcal {D}\) be a bounded, smooth domain in \(\mathbb {R}^N\) , N ≥ 3, \(P\in \mathcal {D}\) . We consider the boundary value problem in \(\Omega = \mathcal {D} \setminus B_\delta(P)\) ,

$\begin{aligned}\Delta u + |u|^{p-1} u = 0\, \quad in\, \Omega,\\u = 0\quad on\, \partial\Omega,\end{aligned}$

with p supercritical, namely \(p > \frac{N+2}{N-2}\) . Given any positive integer m, we find a sequence \(p_1 < p_2 < p_3 < \cdots , \quad with \lim_{k\to+\infty} p_k = +\infty \), such that if p is given, with p ≠ p _j for all j, then for all δ > 0 sufficiently small, this problem has a sign-changing solution which has exactly m + 1 nodal domains.

     

Geometry of Coadjoint Orbits and Multiplicity-one Branching Laws for Symmetric Pairs

Consider the restriction of an irreducible unitary representation π of a Lie group G to its subgroup H. Kirillov’s revolutionary idea on the orbit method suggests that the multiplicity of an irreducible H-module ν occurring in the restriction π|_H could be read from the coadjoint action of H on \(\mathcal {O}^{G} \cap \text {pr}^{-1}({\mathcal {O}}^{H})\), provided π and ν are ‘geometric quantizations’ of a G-coadjoint orbit \(\mathcal {O}^{G}\) and an H-coadjoint orbit \(\mathcal {O}^{H}\), respectively, where \(\text {pr} \colon \sqrt {-1}\mathfrak {g}^{\ast } \to \sqrt {-1}\mathfrak {h}^{\ast }\) is the projection dual to the inclusion \(\mathfrak {h} \subset \mathfrak {g}\) of Lie algebras. Such results were previously established by Kirillov, Corwin and Greenleaf for nilpotent Lie groups. In this article, we highlight specific elliptic orbits \(\mathcal {O}^{G}\) of a semisimple Lie group G corresponding to highest weight modules of scalar type. We prove that the Corwin–Greenleaf number \(\sharp (\mathcal {O}^{G} \cap \text {pr}^{-1}({\mathcal {O}}^{H}))/H\) is either zero or one for any H-coadjoint orbit \(\mathcal {O}^{H}\), whenever (G,H) is a symmetric pair of holomorphic type. Furthermore, we determine the coadjoint orbits \(\mathcal {O}^{H}\) with nonzero Corwin–Greenleaf number. Our results coincide with the prediction of the orbit philosophy, and can be seen as ‘classical limits’ of the multiplicity-free branching laws of holomorphic discrete series representations (Kobayashi [Progr. Math. 2007]).     

On the Dual Form of ‘Low <Emphasis Type="Italic">M</Emphasis><Superscript>*</Superscript> Estimate’ in the Quasi-convex Case

Let\(B_{2}^{n}\) denote the Euclidean ball in\({\mathbb R}^n\), and, given closed star-shaped body\(K \subset {\mathbb R}^{n}, M_{K}\) denote the average of the gauge of K on the Euclidean sphere. Let\(p \in (0,1)\) and let\(K \subset {\mathbb R}^{n}\) be a p-convex body. In [17] we proved that for every\(\lambda \in (0,1)\) there exists an orthogonal projection P of rank\((1 - \lambda)n\) such that

$\frac{f(\lambda)}{M_K} PB^{n}_{2} \subset PK,$

where\(f(\lambda)=c_p\lambda^{1+1/p}\) for some positive constant c _p depending on p only. In this note we prove that\(f(\lambda)\) can be taken equal to\(C_p\lambda^{1/p-1/2}\). In terms of Kolmogorov numbers it means that for every\(k \leq n\)

$d_k (\hbox{Id}:\ell^{n}_{2} \to ({\mathbb R}^{n},\|\cdot\|_{K})) \leq C_p \frac{n^{1/p-1}}{k^{1/p-1/2}} \ell(\hbox{ID}: \ell^{n}_{2} \to ({\mathbb R}^{n}, \|\cdot\|_{K})),$

where\(\ell(\hbox{Id})={\bf E}\|\sum\limits^{n}_{i=1}g_i e_i\|_K\) for the independent standard Gaussian random variables\(\{g_i\}\) and the canonical basis\(\{e_i\}\) of\({\mathbb R}^n\). All results do not require the symmetry of K.

     

Global gradient estimates for parabolic systems from composite materials

We obtain global gradient estimates for the weak solutions to parabolic systems from composite materials in Orlicz spaces, which is a new result even for \(L^{p}\)-spaces. We assume that the domain is composed of a finite number of disjoint subdomains with Reifenberg flat boundaries, while the coefficients have small BMO semi-norms in each subdomain and allowed to have big jumps on the boundaries of subdomains. Our proof is based on a new geometric result that for disjoint Reifenberg flat domains \(\Omega ^{k}\) and \(\Omega ^{l}\), the normal vectors at \(P \in \partial \Omega ^{k}\) and \(Q \in \partial \Omega ^{l}\) are almost opposite if P and Q are close enough.     

Interpolation of sum and intersection spaces of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>-type and applications to the Stokes problem in general unbounded domains

In a general unbounded uniform C ²-domain \({\Omega \subset \mathbb{R}^n, n \geq 3}\) , and \({1\leq q\leq \infty}\) consider the spaces \({\tilde{L}^q(\Omega)}\) defined by \({\tilde{L^q}(\Omega) := \left\{\begin{array}{ll}L^q(\Omega)+L^2(\Omega),\quad q < 2, \\ L^q(\Omega)\cap L^2(\Omega),\quad q\geq 2, \end{array}\right.}\) and corresponding subspaces of solenoidal vector fields, \({\tilde{L}^q_\sigma(\Omega)}\) . By studying the complex and real interpolation spaces of these we derive embedding properties for fractional order spaces related to the Stokes problem and L ^p ? L ^q -type estimates for the corresponding semigroup.     

Null controllability in large time of a parabolic equation involving the Grushin operator with an inverse-square potential

We prove the null controllability in large time of the following linear parabolic equation involving the Grushin operator with an inverse-square potential

$$u_t-\Delta_{x} u-|x|^{2}\Delta_{y}u-\frac{\mu}{|x|^2}u=v1_\omega$$

in a bounded domain \({\Omega=\Omega_1\times \Omega_2\subset \mathbb{R}^{N_1}\times \mathbb{R}^{N_2} (N_1\geq 3, N_2\geq 1}\)) intersecting the surface {x = 0} under an additive control supported in an open subset \({\omega=\omega_1\times \Omega_2}\) of \({\Omega}\).