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 $$L^p$$-Boundedness of Pseudo-Differential Operators of Sjöstrand’s Class

We extended the known result that symbols from modulation spaces \(M^{\infty ,1}(\mathbb {R}^{2n})\), also known as the Sjöstrand’s class, produce bounded operators in \(L^2(\mathbb {R}^n)\), to general \(L^p\) boundedness at the cost of loss of derivatives. Indeed, we showed that pseudo-differential operators acting from \(L^p\)-Sobolev spaces \(L^p_s(\mathbb {R}^n)\) to \(L^p(\mathbb {R}^n)\) spaces with symbols from the modulation space \(M^{\infty ,1}(\mathbb {R}^{2n})\) are bounded, whenever \(s\ge n|1/p-1/2|.\) This estimate is sharp for all \(1< p<\infty \).     

Intrinsic Structures of Certain Musielak–Orlicz Hardy Spaces

For any \(p\in (0,\,1]\), let \(H^{\Phi _p}(\mathbb {R}^n)\) be the Musielak–Orlicz Hardy space associated with the Musielak–Orlicz growth function \(\Phi _p\), defined by setting, for any \(x\in \mathbb {R}^n\) and \(t\in [0,\,\infty )\),

$$\begin{aligned}&\Phi _{p}(x,\,t)\\&\quad := {\left\{ \begin{array}{ll} \displaystyle \frac{t}{\log {(e+t)}+[t(1+|x|)^n]^{1-p}}&{} \quad \text {when}\ n(1/p-1)\notin \mathbb N \cup \{0\},\\ \displaystyle \frac{t}{\log (e+t)+[t(1+|x|)^n]^{1-p}[\log (e+|x|)]^p}&{} \quad \text {when}\ n(1/p-1)\in \mathbb N\cup \{0\}, \end{array}\right. } \end{aligned}$$

which is the sharp target space of the bilinear decomposition of the product of the Hardy space \(H^p(\mathbb {R}^n)\) and its dual. Moreover, \(H^{\Phi _1}(\mathbb {R}^n)\) is the prototype appearing in the real-variable theory of general Musielak–Orlicz Hardy spaces. In this article, the authors find a new structure of the space \(H^{\Phi _p}(\mathbb {R}^n)\) by showing that, for any \(p\in (0,\,1]\), \(H^{\Phi _p}(\mathbb {R}^n)=H^{\phi _0}(\mathbb {R}^n) +H_{W_p}^p({{{\mathbb {R}}}^n})\) and, for any \(p\in (0,\,1)\), \(H^{\Phi _p}(\mathbb {R}^n)=H^{1}(\mathbb {R}^n) +H_{W_p}^p({{{\mathbb {R}}}^n})\), where \(H^1(\mathbb {R}^n)\) denotes the classical real Hardy space, \(H^{\phi _0}({{{\mathbb {R}}}^n})\) the Orlicz–Hardy space associated with the Orlicz function \(\phi _0(t):=t/\log (e+t)\) for any \(t\in [0,\infty )\), and \(H_{W_p}^p(\mathbb {R}^n)\) the weighted Hardy space associated with certain weight function \(W_p(x)\) that is comparable to \(\Phi _p(x,1)\) for any \(x\in \mathbb {R}^n\). As an application, the authors further establish an interpolation theorem of quasilinear operators based on this new structure.

     

Interpolation Between $$H^{p(\cdot )}({\mathbb {R}}^n)$$ and $$L^\infty ({\mathbb {R}}^n)$$L∞(Rn): Real Method

Let \(p(\cdot ):\ {\mathbb {R}}^n\rightarrow (0,\infty )\) be a variable exponent function satisfying the globally log-Hölder continuous condition. In this article, the authors first obtain a decomposition for any distribution of the variable weak Hardy space into “good” and “bad” parts and then prove the following real interpolation theorem between the variable Hardy space \(H^{p(\cdot )}({\mathbb {R}}^n)\) and the space \(L^{\infty }({\mathbb {R}}^n)\): \((H^{p(\cdot )}(\mathbb R^n),L^{\infty }({\mathbb {R}}^n))_{\theta ,\infty }= WH^{p(\cdot )/(1-\theta )}({\mathbb {R}}^n),\quad \mathrm{where}~\theta \in (0,1), \mathrm{and}\) \(WH^{p(\cdot )/(1-\theta )}({\mathbb {R}}^n)\) denotes the variable weak Hardy space. As an application, the variable weak Hardy space \(WH^{p(\cdot )}({\mathbb {R}}^n)\) with \(p_-:=\mathop {\text {ess inf}}\limits _{x\in {{{\mathbb {R}}}^n}}p(x)\in (1,\infty )\) is proved to coincide with the variable Lebesgue space \(WL^{p(\cdot )}({\mathbb {R}}^n)\).     

Gradient Estimates for Commutators of Square Roots of Elliptic Operators with Complex Bounded Measurable Coefficients

Let \(L=-\mathrm{div}(A\nabla )\) be a second order divergence form elliptic operator and A an accretive \(n\times n\) matrix with bounded measurable complex coefficients in \({\mathbb R}^n\). Let \(\nabla b\in L^n({\mathbb R}^n)\,(n>2)\). In this paper, we prove that the commutator generated by b and the square root of L, which is defined by \([b,\sqrt{L}]f(x)=b(x)\sqrt{L}f(x)-\sqrt{L}(bf)(x)\), is bounded from the homogenous Sobolev space \({\dot{L}}_1^2({\mathbb R}^n)\) to \(L^2({\mathbb R}^n)\).     

Decay rates for the magneto-micropolar system in $$\varvec{L^2(}\pmb {\mathbb {R}}^{\varvec{n)}}$$

In this paper, the large time decay of the magneto-micropolar fluid equations on \(\mathbb {R}^n\) (\( n=2,3\)) is studied. We show, for Leray global solutions, that \( \Vert ({\varvec{u}},{\varvec{w}},{\varvec{b}})(\cdot ,t) \Vert _{{L^2(\mathbb {R}^n)}} \rightarrow 0 \) as \(t \rightarrow \infty \) with arbitrary initial data in \( L^2(\mathbb {R}^n)\). When the vortex viscosity is present, we obtain a (faster) decay for the micro-rotational field: \( \Vert {\varvec{w}}(\cdot ,t) \Vert _{{L^2(\mathbb {R}^n)}} = o(t^{-1/2})\). Some related results are also included.     

Fractional Sobolev metrics on spaces of immersed curves

Motivated by applications in the field of shape analysis, we study reparametrization invariant, fractional order Sobolev-type metrics on the space of smooth regular curves \(\mathrm {Imm}(\mathrm {S}^{1},\mathbb {R}^d)\) and on its Sobolev completions \({\mathcal {I}}^{q}(\mathrm {S}^{1},{\mathbb {R}}^{d})\). We prove local well-posedness of the geodesic equations both on the Banach manifold \({\mathcal {I}}^{q}(\mathrm {S}^{1},{\mathbb {R}}^{d})\) and on the Fréchet-manifold \(\mathrm {Imm}(\mathrm {S}^{1},\mathbb {R}^d)\) provided the order of the metric is greater or equal to one. In addition we show that the \(H^s\)-metric induces a strong Riemannian metric on the Banach manifold \({\mathcal {I}}^{s}(\mathrm {S}^{1},{\mathbb {R}}^{d})\) of the same order s, provided \(s>\frac{3}{2}\). These investigations can be also interpreted as a generalization of the analysis for right invariant metrics on the diffeomorphism group.     

Extremal Problems for Mappings with Generalized Parametric Representation in $${{\mathbb {C}}}^{n}$$

In this paper we are concerned with the family \(\widetilde{S}^t_A(\mathbb {B}^n)\) (\(t\ge 0\)) of normalized biholomorphic mappings on the Euclidean unit ball \(\mathbb {B}^n\) in \({\mathbb {C}}^n\) that can be embedded in normal Loewner chains whose normalizations are given by time-dependent operators \(A\in \widetilde{\mathcal {A}}\), where \(\widetilde{\mathcal {A}}\) is a family of measurable mappings from \([0,\infty )\) into \(L({\mathbb {C}}^n)\) which satisfy certain natural assumptions. In particular, we consider extreme points and support points associated with the compact family \(\widetilde{S}^t_A(\mathbb {B}^n)\), where \(A\in \widetilde{\mathcal {A}}\). We prove that if \(f(z,t)=V(t)^{-1}z+\cdots \) is a normal Loewner chain such that \(V(s)f(\cdot ,s)\in \mathrm{ex}\,\widetilde{S}^s_A(\mathbb {B}^n)\) (resp. \(V(s)f(\cdot ,s)\in \mathrm{supp}\,\widetilde{S}^s_A(\mathbb {B}^n)\)), then \(V(t)f(\cdot ,t)\in \mathrm{ex}\, \widetilde{S}^t_A(\mathbb {B}^n)\), for all \(t\ge s\) (resp. \(V(t)f(\cdot ,t)\in \mathrm{supp}\,\widetilde{S}^t_A(\mathbb {B}^n)\), for all \(t\ge s\)), where V(t) is the unique solution on \([0,\infty )\) of the initial value problem: \(\frac{d V}{d t}(t)=-A(t)V(t)\), a.e. \(t\ge 0\), \(V(0)=I_n\). Also, we obtain an example of a bounded support point for the family \(\widetilde{S}_A^t(\mathbb {B}^2)\), where \(A\in \widetilde{\mathcal {A}}\) is a certain time-dependent operator. We also consider the notion of a reachable family with respect to time-dependent linear operators \(A\in \widetilde{\mathcal {A}}\), and obtain characterizations of extreme/support points associated with these families of bounded biholomorphic mappings on \(\mathbb {B}^n\). Useful examples and applications yield that the study of the family \(\widetilde{S}^t_A(\mathbb {B}^n)\) for time-dependent operators \(A\in \widetilde{\mathcal {A}}\) is basically different from that in the case of constant time-dependent linear operators.     

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.

     

Calderón–Zygmund Type Singular Operators in Weighted Generalized Morrey Spaces

We find conditions for the weighted boundedness of a general class of multidimensional singular integral operators in generalized Morrey spaces \(\mathcal {L}^{p,\varphi }(\mathbb {R}^n,w),\) defined by a function \(\varphi (x,r)\) and radial type weight \(w(|x-x_0|), x_0\in {\mathbb {R}}^{n}.\) These conditions are given in terms of inclusion into \(\mathcal {L}^{p,\varphi }(\mathbb {R}^n,w),\) of a certain integral constructions defined by \(\varphi \) and w. In the case of \(\varphi =\varphi (r)\) we also provide easy to check sufficient conditions for that in terms of indices of \(\varphi \) and w.     

Algebras of Convolution-Type Operators with Piecewise Slowly Oscillating Data on Weighted Lebesgue Spaces

Let \({\mathcal B}_{p,w}\) be the Banach algebra of all bounded linear operators acting on the weighted Lebesgue space \(L^p(\mathbb {R},w)\), where \(p\in (1,\infty )\) and w is a Muckenhoupt weight. We study the Banach subalgebra \(\mathfrak {A}_{p,w}\) of \({\mathcal B}_{p,w}\) generated by all multiplication operators aI (\(a\in \mathrm{PSO}^\diamond \)) and all convolution operators \(W^0(b)\) (\(b\in \mathrm{PSO}_{p,w}^\diamond \)), where \(\mathrm{PSO}^\diamond \subset L^\infty (\mathbb {R})\) and \(\mathrm{PSO}_{p,w}^\diamond \subset M_{p,w}\) are algebras of piecewise slowly oscillating functions that admit piecewise slowly oscillating discontinuities at arbitrary points of \(\mathbb {R}\cup \{\infty \}\), and \(M_{p,w}\) is the Banach algebra of Fourier multipliers on \(L^p(\mathbb {R},w)\). For any Muckenhoupt weight w, we study the Fredholmness in the Banach algebra \({\mathcal Z}_{p,w}\subset \mathfrak {A}_{p,w}\) generated by the operators \(aW^0(b)\) with slowly oscillating data \(a\in \mathrm{SO}^\diamond \) and \(b\in \mathrm{SO}^\diamond _{p,w}\). Then, under some condition on the weight w, we complete constructing a Fredholm symbol calculus for the Banach algebra \(\mathfrak {A}_{p,w}\) in comparison with Karlovich and Loreto Hernández (Integr. Equations Oper. Theory 74:377–415, 2012) and Karlovich and Loreto Hernández (Integr. Equations Oper. Theory 75:49–86, 2013) and establish a Fredholm criterion for the operators \(A\in \mathfrak {A}_{p,w}\) in terms of their symbols. A new approach to determine local spectra is found.     

Lower order eigenvalues of a system of equations of the drifting Laplacian on the metric measure spaces

Let \(\Omega \) be a bounded domain with smooth boundary in an n-dimensional metric measure space \((\mathbb {R}^n, \langle ,\rangle , e^{-\phi }dv)\) and let \(\mathbf {u}=(u^1, \ldots , u^n)\) be a vector-valued function from \(\Omega \) to \(\mathbb {R}^n\). In this paper, we investigate the Dirichlet eigenvalue problem of a system of equations of the drifting Laplacian: \(\mathbb {L}_{\phi } \mathbf {u} + \alpha [ \nabla (\mathrm {div}\mathbf { u}) -\nabla \phi \mathrm {div} \mathbf {u}]= - \widetilde{\sigma } \mathbf {u}\), in \( \Omega \), and \(u|_{\partial \Omega }=0,\) where \(\mathbb {L}_{\phi } = \Delta - \nabla \phi \cdot \nabla \) is the drifting Laplacian and \(\alpha \) is a nonnegative constant. We establish some universal inequalities for lower order eigenvalues of this problem on the metric measure space \((\mathbb {R}^n, \langle ,\rangle , e^{-\phi }dv)\) and the Gaussian shrinking soliton \((\mathbb {R}^n, \langle ,\rangle _{\mathrm {can}}, e^{-\frac{|x|^2}{4}}dv, \frac{1}{2})\). Moreover, we give an estimate for the upper bound of the second eigenvalue of this problem in terms of its first eigenvalue on the gradient product Ricci soliton \((\Sigma \times \mathbb {R}, \langle ,\rangle , e^{-\frac{\kappa t^2}{2}}dv, \kappa )\), where \( \Sigma \) is an Einstein manifold with constant Ricci curvature \(\kappa \).     

Nonlinear Evolution Equations with Infinitely Many Derivatives

We study the nonlinear evolutionary euclidean bosonic string equation

$$\begin{aligned} u_t = \Delta e^{-c \Delta }\,u + U(t,u) , \quad c > 0 \; \end{aligned}$$

on the Euclidean space \({\mathbb {R}}^n\). We interpret the nonlocal operator \(\Delta e^{-c\,\Delta }\) using entire vectors of \(\Delta \) in \(L^2({\mathbb {R}}^n)\). We prove that it generates a bounded holomorphic \(C_0\)-semigroup on \(L^2({\mathbb {R}}^n)\) (so that it also satisfies maximal \(L^p\) regularity) and we show the well-posedness of the corresponding nonlinear Cauchy problem.

     

A Characterization of Two-Weight Norm Inequality for Littlewood–Paley $$g_{\lambda }^{*}$$-Function

Let \(n\ge 2\) and \(g_{\lambda }^{*}\) be the well-known high-dimensional Littlewood–Paley function which was defined and studied by E. M. Stein,

$$\begin{aligned} g_{\lambda }^{*}(f)(x) =\bigg (\iint _{\mathbb {R}^{n+1}_{+}} \Big (\frac{t}{t+|x-y|}\Big )^{n\lambda } |\nabla P_tf(y,t)|^2 \frac{\mathrm{d}y \mathrm{d}t}{t^{n-1}}\bigg )^{1/2}, \ \quad \lambda > 1, \end{aligned}$$

where \(P_tf(y,t)=p_t*f(y)\), \(p_t(y)=t^{-n}p(y/t)\), and \(p(x) = (1+|x|^2)^{-(n+1)/2}\), \(\nabla =(\frac{\partial }{\partial y_1},\ldots ,\frac{\partial }{\partial y_n},\frac{\partial }{\partial t})\). In this paper, we give a characterization of two-weight norm inequality for \(g_{\lambda }^{*}\)-function. We show that \(\big \Vert g_{\lambda }^{*}(f \sigma ) \big \Vert _{L^2(w)} \lesssim \big \Vert f \big \Vert _{L^2(\sigma )}\) if and only if the two-weight Muckenhoupt \(A_2\) condition holds, and a testing condition holds:

$$\begin{aligned} \sup _{Q : \text {cubes}~\mathrm{in} \ {\mathbb {R}^n}} \frac{1}{\sigma (Q)} \int _{{\mathbb {R}^n}} \iint _{\widehat{Q}} \Big (\frac{t}{t+|x-y|}\Big )^{n\lambda }|\nabla P_t(\mathbf {1}_Q \sigma )(y,t)|^2 \frac{w \mathrm{d}x \mathrm{d}t}{t^{n-1}} \mathrm{d}y < \infty , \end{aligned}$$

where \(\widehat{Q}\) is the Carleson box over Q and \((w, \sigma )\) is a pair of weights. We actually prove this characterization for \(g_{\lambda }^{*}\)-function associated with more general fractional Poisson kernel \(p^\alpha (x) = (1+|x|^2)^{-{(n+\alpha )}/{2}}\). Moreover, the corresponding results for intrinsic \(g_{\lambda }^*\)-function are also presented.

     

On the Stationary Navier–Stokes Problem in $$\mathbb {R}^3$$: An Approach in Weighted Sobolev Spaces

In this paper, we study the steady-state Navier–Stokes equations in \(\mathbb {R}^3\). First, we establish the existence of very weak solution in \(\varvec{L}^p(\mathbb {R}^3)\) with \(3/2< p < +\infty \) under smallness conditions on the data. A uniqueness result is also given in case the data belong to \(\mathbb {L}^r(\mathbb {R}^3)\cap \mathbb {L}^{3/2}(\mathbb {R}^3)\) with \(3/2<r<3\). We also discuss the case where the data are not necessarily small. In particular, these results enhance those obtained by Bjorland et al. (Commun Partial Differ Equ 26:216–246, 2011), and are in agreement with those obtained by Kim and Kozono (J Math Anal Appl 395(2):486–495, 2012). Second, we prove a result of existence and uniqueness of weak solution in the weighted Sobolev space \(\varvec{W}_0^{1,p}(\mathbb {R}^3)\cap \varvec{W}_0^{1,\,3/2}(\mathbb {R}^3)\) in case of small external forces given by \(\mathrm{div}\mathbb {F}\) with \(\mathbb {F} \in \mathbb {L}^p(\mathbb {R}^3)\cap \mathbb {L}^{3/2}(\mathbb {R}^3)\) and \(1<p<3\).     

Endpoint Properties of Localized Riesz Transforms and Fractional Integrals Associated to Schrödinger Operators

Let \({\mathcal L}\equiv-\Delta+V\) be the Schrödinger operator in \({{\mathbb R}^n}\), where V is a nonnegative function satisfying the reverse Hölder inequality. Let ρ be an admissible function modeled on the known auxiliary function determined by V. In this paper, the authors characterize the localized Hardy spaces \(H^1_\rho({{\mathbb R}^n})\) in terms of localized Riesz transforms and establish the boundedness on the BMO-type space \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) of these operators as well as the boundedness from \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) to \({\mathop\mathrm{BLO_\rho({\mathbb R}^n)}}\) of their corresponding maximal operators, and as a consequence, the authors obtain the Fefferman–Stein decomposition of \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) via localized Riesz transforms. When ρ is the known auxiliary function determined by V, \({\mathop\mathrm{BMO_\rho({\mathbb R}^n)}}\) is just the known space \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\), and \({\mathop\mathrm{BLO_\rho({\mathbb R}^n)}}\) in this case is correspondingly denoted by \(\mathop\mathrm{BLO}_{\mathcal L}({{\mathbb R}^n})\). As applications, when n?≥?3, the authors further obtain the boundedness on \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\) of Riesz transforms \(\nabla{\mathcal L}^{-1/2}\) and their adjoint operators, as well as the boundedness from \(\mathop\mathrm{BMO}_{\mathcal L}({{\mathbb R}^n})\) to \(\mathop\mathrm{BLO}_{\mathcal L}({{\mathbb R}^n})\) of their maximal operators. Also, some endpoint estimates of fractional integrals associated to \({\mathcal L}\) are presented.     

Harmonic Analysis on the Möbius Gyrogroup

In this paper we propose to develop harmonic analysis on the Poincaré ball \({{\mathbb {B}}_{t}^{n}}\), a model of the \(n\)-dimensional real hyperbolic space. The Poincaré ball \({{\mathbb {B}}_{t}^{n}}\) is the open ball of the Euclidean \(n\)-space \(\mathbb {R}^n\) with radius \(t >0\), centered at the origin of \(\mathbb {R}^n\) and equipped with Möbius addition, thus forming a Möbius gyrogroup where Möbius addition in the ball plays the role of vector addition in \(\mathbb {R}^n.\) For any \(t>0\) and an arbitrary parameter \(\sigma \in \mathbb {R}\) we study the \((\sigma ,t)\)-translation, the \((\sigma ,t)\)-convolution, the eigenfunctions of the \((\sigma ,t)\)-Laplace–Beltrami operator, the \((\sigma ,t)\)-Helgason Fourier transform, its inverse transform and the associated Plancherel’s Theorem, which represent counterparts of standard tools, thus, enabling an effective theory of hyperbolic harmonic analysis. Moreover, when \(t \rightarrow +\infty \) the resulting hyperbolic harmonic analysis on \({{\mathbb {B}}_{t}^{n}}\) tends to the standard Euclidean harmonic analysis on \(\mathbb {R}^n,\) thus unifying hyperbolic and Euclidean harmonic analysis. As an application we construct diffusive wavelets on \({{\mathbb {B}}_{t}^{n}}\).     

Weak type (1, 1) of some operators for the Laplacian with drift

Let \(v = (v_1, \ldots , v_n)\) be a vector in \(\mathbb {R}^n {\setminus } \{ 0 \}\). Consider the Laplacian on \(\mathbb {R}^n\) with drift \(\Delta _{v} = \sum _{i = 1}^n \Big ( \frac{\partial ^2}{\partial x_i^2} + 2 v_i \frac{\partial }{\partial x_i} \Big )\) and the measure \(d\mu (x) = e^{2 \langle v, x \rangle } dx\), with respect to which \(\Delta _{v}\) is self-adjoint. Let d and \(\nabla \) denote the Euclidean distance and the gradient operator on \(\mathbb {R}^n\). Consider the space \((\mathbb {R}^n, d, d\mu )\), which has the property of exponential volume growth. We obtain weak type (1, 1) for the Riesz transform \(\nabla (- \Delta _{v} )^{-\frac{1}{2}}\) and for the heat maximal operator, with respect to \(d\mu \). Further, we prove that the uncentered Hardy–Littlewood maximal operator is bounded on \(L^p\) for \(1 < p \le +\infty \) but not of weak type (1, 1) if \(n \ge 2\).     

Characterization of Non-Smooth Pseudodifferential Operators

Smooth pseudodifferential operators on \(\mathbb {R}^{n}\) can be characterized by their mapping properties between \(L^p-\)Sobolev spaces due to Beals and Ueberberg. In applications such a characterization would also be useful in the non-smooth case, for example to show the regularity of solutions of a partial differential equation. Therefore, we will show that every linear operator P, which satisfies some specific continuity assumptions, is a non-smooth pseudodifferential operator of the symbol-class \(C^{\tau } S^m_{1,0}(\mathbb {R}^n \times \mathbb {R}^n)\). The main new difficulties are the limited mapping properties of pseudodifferential operators with non-smooth symbols.     

Mean curvature bounds and eigenvalues of Robin Laplacians

We consider the Laplacian with attractive Robin boundary conditions,

$$\begin{aligned} Q^\Omega _\alpha u=-\Delta u, \quad \dfrac{\partial u}{\partial n}=\alpha u \text { on } \partial \Omega , \end{aligned}$$

in a class of bounded smooth domains \(\Omega \in \mathbb {R}^\nu \); here \(n\) is the outward unit normal and \(\alpha >0\) is a constant. We show that for each \(j\in \mathbb {N}\) and \(\alpha \rightarrow +\infty \), the \(j\)th eigenvalue \(E_j(Q^\Omega _\alpha )\) has the asymptotics

$$\begin{aligned} E_j(Q^\Omega _\alpha )=-\alpha ^2 -(\nu -1)H_\mathrm {max}(\Omega )\,\alpha +{\mathcal O}(\alpha ^{2/3}), \end{aligned}$$

where \(H_\mathrm {max}(\Omega )\) is the maximum mean curvature at \(\partial \Omega \). The discussion of the reverse Faber-Krahn inequality gives rise to a new geometric problem concerning the minimization of \(H_\mathrm {max}\). In particular, we show that the ball is the strict minimizer of \(H_\mathrm {max}\) among the smooth star-shaped domains of a given volume, which leads to the following result: if \(B\) is a ball and \(\Omega \) is any other star-shaped smooth domain of the same volume, then for any fixed \(j\in \mathbb {N}\) we have \(E_j(Q^B_\alpha )>E_j(Q^\Omega _\alpha )\) for large \(\alpha \). An open question concerning a larger class of domains is formulated.