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

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

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.     

Spectrality of infinite convolutions with three-element digit sets

Let \(0< \rho <1\) and let \(\{a_n, b_n\}_{n=1}^\infty \) be a sequence of integers with bounded from upper and lower. Associated with them there exists a unique Borel probability measure \(\mu _{\rho , \{0, a_n, b_n\}}\) generated by the following infinite convolution product

$$\begin{aligned} \mu _{\rho , \{0, a_n, b_n\}}=\delta _{\rho \{0, a_1, b_1\}} *\delta _{\rho ^2 \{0, a_2, b_2\}} *\delta _{\rho ^3 \{0, a_3, b_3\}} *\cdots \end{aligned}$$

in the weak convergence, where \(\delta _E=\frac{1}{\# E}\sum _{e \in E} \delta _e\) and \(\hbox {gcd}(a_n, b_n)=1\) for all \(n \in {{\mathbb {N}}}\). In this paper, we show that \(L^2(\mu _{\rho , \{0, a_n, b_n\}})\) admits an exponential orthonormal basis if and only if \(\rho ^{-1} \in 3{{\mathbb {N}}}\) and  \(\{a_n, b_n\} \equiv \{1, 2\} \ (\mathrm {mod} \ 3)\) for all \(n \in {{\mathbb {N}}}\).

     

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.

     

The solution gap of the Brezis–Nirenberg problem on the hyperbolic space

We consider the positive solutions of the nonlinear eigenvalue problem \(-\Delta _{\mathbb {H}^n} u = \lambda u + u^p, \) with \(p=\frac{n+2}{n-2}\) and \(u \in H_0^1(\Omega ),\) where \(\Omega \) is a geodesic ball of radius \(\theta _1\) on \(\mathbb {H}^n.\) For radial solutions, this equation can be written as an ordinary differential equation having n as a parameter. In this setting, the problem can be extended to consider real values of n. We show that if \(2<n<4\) this problem has a unique positive solution if and only if \(\lambda \in \left( n(n-2)/4 +L^*\,,\, \lambda _1\right) .\) Here \(L^*\) is the first positive value of \(L = -\ell (\ell +1)\) for which a suitably defined associated Legendre function \(P_{\ell }^{-\alpha }(\cosh \theta ) >0\) if \(0 < \theta <\theta _1\) and \(P_{\ell }^{-\alpha }(\cosh \theta _1)=0,\) with \(\alpha = (2-n)/2\).     

Littlewood–Paley Theory for Triangle Buildings

For the natural two-parameter filtration \(\left( {\mathcal {F}_\lambda }: {\lambda \in P}\right) \) on the boundary of a triangle building, we define a maximal function and a square function and show their boundedness on \(L^p(\Omega _0)\) for \(p \in (1, \infty )\). At the end, we consider \(L^p(\Omega _0)\) boundedness of martingale transforms. If the building is of \({\text {GL}}(3, \mathbb {Q}_p)\), then \(\Omega _0\) can be identified with p-adic Heisenberg group.     

One-sided invertibility of discrete operators and their applications

For \(p\in [1,\infty ]\), we establish criteria for the one-sided invertibility of binomial discrete difference operators \({{\mathcal {A}}}=aI-bV\) on the space \(l^p=l^p(\mathbb {Z})\), where \(a,b\in l^\infty \), I is the identity operator and the isometric shift operator V is given on functions \(f\in l^p\) by \((Vf)(n)=f(n+1)\) for all \(n\in \mathbb {Z}\). Applying these criteria, we obtain criteria for the one-sided invertibility of binomial functional operators \(A=aI-bU_\alpha \) on the Lebesgue space \(L^p(\mathbb {R}_+)\) for every \(p\in [1,\infty ]\), where \(a,b\in L^\infty (\mathbb {R}_+)\), \(\alpha \) is an orientation-preserving bi-Lipschitz homeomorphism of \([0,+\infty ]\) onto itself with only two fixed points 0 and \(\infty \), and \(U_\alpha \) is the isometric weighted shift operator on \(L^p(\mathbb {R}_+)\) given by \(U_\alpha f= (\alpha ^\prime )^{1/p}(f\circ \alpha )\). Applications of binomial discrete operators to interpolation theory are given.     

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

     

On Summation of Nonharmonic Fourier Series

Let a sequence \(\Lambda \subset {\mathbb {C}}\) be such that the corresponding system of exponential functions \({\mathcal {E}}(\Lambda ):=\left\{ {\text {e}}^{i\lambda t}\right\} _{\lambda \in \Lambda }\) is complete and minimal in \(L^2(-\pi ,\pi )\), and thus each function \(f\in L^2(-\pi ,\pi )\) corresponds to a nonharmonic Fourier series in \({\mathcal {E}}(\Lambda )\). We prove that if the generating function \(G\) of \(\Lambda \) satisfies the Muckenhoupt \((A_2)\) condition on \({\mathbb {R}}\), then this series admits a linear summation method. Recent results show that the \((A_2)\) condition cannot be omitted.     

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.     

Weighted local Hardy spaces associated with operators

Let L be a self-adjoint positive operator on \(L^2(\mathbb {R}^n)\). Assume that the semigroup \(e^{-tL}\) generated by \(-L\) satisfies the Gaussian kernel bounds on \(L^2(\mathbb {R}^n)\). In this article, we study weighted local Hardy space \(h_{L,w}^{1}(\mathbb {R}^n)\) associated with L in terms of the area function characterization, and prove their atomic characters. Then, we introduce the weighted local BMO space \(\mathrm{bmo}_{L,w}(\mathbb {R}^n)\) and prove that the dual of \(h_{L,w}^{1}(\mathbb {R}^n)\) is \(\mathrm{bmo}_{L,w}(\mathbb {R}^n)\). Finally a broad class of applications of these results is described.     

Eigenvalue Counting Function for Robin Laplacians on Conical Domains

We study the discrete spectrum of the Robin Laplacian \(Q^{\Omega }_\alpha \) in \(L^2(\Omega )\), \(u\mapsto -\Delta u, \quad D_n u=\alpha u \text { on }\partial \Omega \), where \(D_n\) is the outer unit normal derivative and \(\Omega \subset {\mathbb {R}}^{3}\) is a conical domain with a regular cross-section \(\Theta \subset {\mathbb {S}}^2\), n is the outer unit normal, and \(\alpha >0\) is a fixed constant. It is known from previous papers that the bottom of the essential spectrum of \(Q^{\Omega }_\alpha \) is \(-\alpha ^2\) and that the finiteness of the discrete spectrum depends on the geometry of the cross-section. We show that the accumulation of the discrete spectrum of \(Q^\Omega _\alpha \) is determined by the discrete spectrum of an effective Hamiltonian defined on the boundary and far from the origin. By studying this model operator, we prove that the number of eigenvalues of \(Q^{\Omega }_\alpha \) in \((-\infty ,-\alpha ^2-\lambda )\), with \(\lambda >0\), behaves for \(\lambda \rightarrow 0\) as

$$\begin{aligned} \dfrac{\alpha ^2}{8\pi \lambda } \int _{\partial \Theta } \kappa _+(s)^2\mathrm {d}s +o\left( \frac{1}{\lambda }\right) , \end{aligned}$$

where \(\kappa _+\) is the positive part of the geodesic curvature of the cross-section boundary.

     

On Riesz Transforms Characterization of <Emphasis Type="Italic">H</Emphasis><Superscript>1</Superscript> Spaces Associated with Some Schrödinger Operators

Let \(\mathcal Lf(x)=-\Delta f (x)+V(x)f(x)\), V?≥?0, \(V\in L^1_{loc}(\mathbb R^d)\), be a non-negative self-adjoint Schrödinger operator on \(\mathbb R^d\). We say that an L ¹-function f is an element of the Hardy space \(H^1_{\mathcal L}\) if the maximal function

$ \mathcal M_{\mathcal L} f(x)=\sup\limits_{t>0}|e^{-t\mathcal L} f(x)| $

belongs to \(L^1(\mathbb R^d)\). We prove that under certain assumptions on V the space \(H^1_{\mathcal L}\) is also characterized by the Riesz transforms \(R_j=\frac{\partial}{\partial x_j}\mathcal L^{-1\slash 2}\), j?=?1,...,d, associated with \(\mathcal L\). As an example of such a potential V one can take any V?≥?0, \(V\in L^1_{loc}\), in one dimension.

     

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.

     

Sampling and Cubature on Sparse Grids Based on a B-spline Quasi-Interpolation

Let \(X_n = \{x^j\}_{j=1}^n\) be a set of n points in the d-cube \({\mathbb {I}}^d:=[0,1]^d\), and \(\Phi _n = \{\varphi _j\}_{j =1}^n\) a family of n functions on \({\mathbb {I}}^d\). We consider the approximate recovery of functions f on \({{\mathbb {I}}}^d\) from the sampled values \(f(x^1), \ldots , f(x^n)\), by the linear sampling algorithm \( L_n(X_n,\Phi _n,f) := \sum _{j=1}^n f(x^j)\varphi _j. \) The error of sampling recovery is measured in the norm of the space \(L_q({\mathbb {I}}^d)\)-norm or the energy quasi-norm of the isotropic Sobolev space \(W^\gamma _q({\mathbb {I}}^d)\) for \(1 < q < \infty \) and \(\gamma > 0\). Functions f to be recovered are from the unit ball in Besov-type spaces of an anisotropic smoothness, in particular, spaces \(B^{\alpha ,\beta }_{p,\theta }\) of a “hybrid” of mixed smoothness \(\alpha > 0\) and isotropic smoothness \(\beta \in {\mathbb {R}}\), and spaces \(B^a_{p,\theta }\) of a nonuniform mixed smoothness \(a \in {\mathbb {R}}^d_+\). We constructed asymptotically optimal linear sampling algorithms \(L_n(X_n^*,\Phi _n^*,\cdot )\) on special sparse grids \(X_n^*\) and a family \(\Phi _n^*\) of linear combinations of integer or half integer translated dilations of tensor products of B-splines. We computed the asymptotic order of the error of the optimal recovery. This construction is based on B-spline quasi-interpolation representations of functions in \(B^{\alpha ,\beta }_{p,\theta }\) and \(B^a_{p,\theta }\). As consequences, we obtained the asymptotic order of optimal cubature formulas for numerical integration of functions from the unit ball of these Besov-type spaces.