Multilinear Marcinkiewicz-Zygmund Inequalities

We extend to the multilinear setting classical inequalities of Marcinkiewicz and Zygmund on \(\ell ^r\)-valued extensions of linear operators. We show that for certain \(1 \le p, q_1, \dots , q_m, r \le \infty \), there is a constant \(C\ge 0\) such that for every bounded multilinear operator \(T:L^{q_1}(\mu _1) \times \cdots \times L^{q_m}(\mu _m) \rightarrow L^p(\nu )\) and functions \(\{f_{k_1}^1\}_{k_1=1}^{n_1} \subset L^{q_1}(\mu _1), \dots , \{f_{k_m}^m\}_{k_m=1}^{n_m} \subset L^{q_m}(\mu _m)\), the following inequality holds

$$\begin{aligned} \left\| \left( \sum _{k_1, \dots , k_m} |T(f_{k_1}^1, \dots , f_{k_m}^m)|^r\right) ^{1/r} \right\| _{L^p(\nu )} \le C \Vert T\Vert \prod _{i=1}^m \left\| \left( \sum _{k_i=1}^{n_i} |f_{k_i}^i|^r\right) ^{1/r} \right\| _{L^{q_i}(\mu _i)}. \end{aligned}$$ (1)

In some cases we also calculate the best constant \(C\ge 0\) satisfying the previous inequality. We apply these results to obtain weighted vector-valued inequalities for multilinear Calderón-Zygmund operators.

     

Non-separable Lattices,Gabor Orthonormal Bases and Tilings

Let \(K\subset {\mathbb {R}}^d\) be a bounded set with positive Lebesgue measure. Let \(\Lambda =M({\mathbb {Z}}^{2d})\) be a lattice in \({\mathbb {R}}^{2d}\) with density dens\((\Lambda )=1\). It is well-known that if M is a diagonal block matrix with diagonal matrices A and B, then \({\mathcal {G}}(|K|^{-1/2}\chi _K, \Lambda )\) is an orthonormal basis for \(L^2({\mathbb {R}}^d)\) if and only if K tiles both by \(A({\mathbb {Z}}^d)\) and \(B^{-t}({\mathbb {Z}}^d)\). However, there has not been any intensive study when M is not a diagonal matrix. We investigate this problem for a large class of important cases of M. In particular, if M is any lower block triangular matrix with diagonal matrices A and B, we prove that if \({\mathcal {G}}(|K|^{-1/2}\chi _K, \Lambda )\) is an orthonormal basis, then K can be written as a finite union of fundamental domains of \(A({{\mathbb {Z}}}^d)\) and at the same time, as a finite union of fundamental domains of \(B^{-t}({{\mathbb {Z}}}^d)\). If \(A^tB\) is an integer matrix, then there is only one common fundamental domain, which means K tiles by a lattice and is spectral. However, surprisingly, we will also illustrate by an example that a union of more than one fundamental domain is also possible. We also provide a constructive way for forming a Gabor window function for a given upper triangular lattice. Our study is related to a Fuglede’s type problem in Gabor setting and we give a partial answer to this problem in the case of lattices.

     

The Berry–Esseen bounds of the weighted estimator in a nonparametric regression model

Consider the following nonparametric model: \(Y_{ni}=g(x_{ni})+ \varepsilon _{ni},1\le i\le n,\) where \(x_{ni}\in {\mathbb {A}}\) are the nonrandom design points and \({\mathbb {A}}\) is a compact set of \({\mathbb {R}}^{m}\) for some \(m\ge 1\), \(g(\cdot )\) is a real valued function defined on \({\mathbb {A}}\), and \(\varepsilon _{n1},\ldots ,\varepsilon _{nn}\) are \(\rho ^{-}\)-mixing random errors with zero mean and finite variance. We obtain the Berry–Esseen bounds of the weighted estimator of \(g(\cdot )\). The rate can achieve nearly \(O(n^{-1/4})\) when the moment condition is appropriate. Moreover, we carry out some simulations to verify the validity of our results.

     

Littlewood–Paley and Finite Atomic Characterizations of Anisotropic Variable Hardy–Lorentz Spaces and Their Applications

Let \(p(\cdot ):\ {{\mathbb {R}}}^n\rightarrow (0,\infty ]\) be a variable exponent function satisfying the globally log-Hölder continuous condition, \(q\in (0,\infty ]\) and A be a general expansive matrix on \({\mathbb {R}}^n\). Let \(H_A^{p(\cdot ),q}({{\mathbb {R}}}^n)\) be the anisotropic variable Hardy–Lorentz space associated with A defined via the radial grand maximal function. In this article, the authors characterize \(H_A^{p(\cdot ),q}({{\mathbb {R}}}^n)\) by means of the Littlewood–Paley g-function or the Littlewood–Paley \(g_\lambda ^*\)-function via first establishing an anisotropic Fefferman–Stein vector-valued inequality on the variable Lorentz space \(L^{p(\cdot ),q}({\mathbb {R}}^n)\). Moreover, the finite atomic characterization of \(H_A^{p(\cdot ),q}({{\mathbb {R}}}^n)\) is also obtained. As applications, the authors then establish a criterion on the boundedness of sublinear operators from \(H^{p(\cdot ),q}_A({\mathbb {R}}^n)\) into a quasi-Banach space. Applying this criterion, the authors show that the maximal operators of the Bochner–Riesz and the Weierstrass means are bounded from \(H^{p(\cdot ),q}_A({\mathbb {R}}^n)\) to \(L^{p(\cdot ),q}({\mathbb {R}}^n)\) and, as consequences, some almost everywhere and norm convergences of these Bochner–Riesz and Weierstrass means are also obtained. These results on the Bochner–Riesz and the Weierstrass means are new even in the isotropic case.

     

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

VMO Spaces Associated with Operators with Gaussian Upper Bounds on Product Domains

In this paper, we extend the well-known result “the predual of Hardy space \(H^1\) is VMO” to the product setting, associated with differential operators. Let \(L_i\), \(i = 1, 2\), be the infinitesimal generators of the analytic semigroups \(\{e^{-tL_i}\}\) on \(L^2({\mathbb {R}})\). Assume that the kernels of the semigroups \(\{e^{-tL_i}\}\) satisfy the Gaussian upper bounds. We introduce the VMO spaces VMO\(_{L_1, L_2}(\mathbb {R}\times \mathbb {R})\) associated with operators \(L_1\) and \(L_2\) on the product domain \(\mathbb {R}\times \mathbb {R}\), then show that the dual space of VMO\(_{L_1, L_2}(\mathbb {R}\times \mathbb {R})\) is the Hardy space \(H^1_{L_1^*, L_2^*}(\mathbb {R}\times \mathbb {R})\) associated with the adjoint operators \(L^*_1\) and \(L^*_2\).     

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

Uniform local well-posedness and inviscid limit for the Benjamin-Ono-Burgers equation

In this paper, we study the Cauchy problem for the Benjamin-Ono-Burgers equation \({\partial _t}u - \epsilon \partial _x^2u + {\cal H}\partial _x^2u + u{u_x} = 0\), where \({\cal H}\) denotes the Hilbert transform operator. We obtain that it is uniformly locally well-posed for small data in the refined Sobolev space \({\tilde H^\sigma }(\mathbb{R})\,\,(\sigma \geqslant 0)\), which is a subspace of L²(ℝ). It is worth noting that the low-frequency part of \({\tilde H^\sigma }(\mathbb{R})\) is scaling critical, and thus the small data is necessary. The high-frequency part of \({\tilde H^\sigma }(\mathbb{R})\) is equal to the Sobolev space H^σ (ℝ) (σ ⩾ 0) and reduces to L²(ℝ). Furthermore, we also obtain its inviscid limit behavior in \({\tilde H^\sigma }(\mathbb{R})\) (σ ⩾ 0).

     

Topological Properties of the Set of Functions Generated by Neural Networks of Fixed Size

We analyze the topological properties of the set of functions that can be implemented by neural networks of a fixed size. Surprisingly, this set has many undesirable properties. It is highly non-convex, except possibly for a few exotic activation functions. Moreover, the set is not closed with respect to \(L^p\)-norms, \(0< p < \infty \), for all practically used activation functions, and also not closed with respect to the \(L^\infty \)-norm for all practically used activation functions except for the ReLU and the parametric ReLU. Finally, the function that maps a family of weights to the function computed by the associated network is not inverse stable for every practically used activation function. In other words, if \(f_1, f_2\) are two functions realized by neural networks and if \(f_1, f_2\) are close in the sense that \(\Vert f_1 - f_2\Vert _{L^\infty } \le \varepsilon \) for \(\varepsilon > 0\), it is, regardless of the size of \(\varepsilon \), usually not possible to find weights \(w_1, w_2\) close together such that each \(f_i\) is realized by a neural network with weights \(w_i\). Overall, our findings identify potential causes for issues in the training procedure of deep learning such as no guaranteed convergence, explosion of parameters, and slow convergence.

     

On the Failure of Multilinear Multiplier Theorem with Endpoint Smoothness Conditions

We study a multilinear version of the Hörmander multiplier theorem, namely

$$ \Vert T_{\sigma}(f_{1},\dots,f_{n})\Vert_{L^{p}}\lesssim \sup_{k\in\mathbb{Z}}{\Vert \sigma(2^{k}\cdot,\dots,2^{k}\cdot)\widehat{\phi^{(n)}}\Vert_{L^{2}_{(s_{1},\dots,s_{n})}}}\Vert f_{1}\Vert_{H^{p_{1}}}\cdots\Vert f_{n}\Vert_{H^{p_{n}}}. $$

We show that the estimate does not hold in the limiting case \(\min \limits {(s_{1},\dots ,s_{n})}=d/2\) or \({\sum}_{k\in J}{({s_{k}}/{d}-{1}/{p_{k}})}=-{1}/{2}\) for some \(J \subset \{1,\dots ,n\}\). This provides the necessary and sufficient condition on \((s_{1},\dots ,s_{n})\) for the boundedness of T_σ.

     

Regularity of Weak Solutions to the 3D Magneto-Micropolar Equations in Besov Spaces

This paper deals with the regularity of weak solutions to the 3D magneto-micropolar fluid equations in Besov spaces. It is shown that for \(0\le\alpha\le1\) if \(u\in L^{\frac{2}{1+\alpha}}(0,T; \dot{B}_{\infty,\infty}^{\alpha})\), then the weak solution \((u,\omega ,b)\) is regular on \((0,T]\).

     

Ground state solutions for a class of fractional Hamiltonian systems

In this paper we study the following fractional Hamiltonian systems

$$\begin{aligned} \left\{ \begin{array}{lllll} -_{t}D^{\alpha }_{\infty }(_{-\infty }D^{\alpha }_{t}x(t))- L(t).x(t)+\nabla W(t,x(t))=0, \\ x\in H^{\alpha }(\mathbb {R}, \mathbb {R}^{N}), \end{array} \right. \end{aligned}$$

where \(\alpha \in \left( {1\over {2}}, 1\right] ,\ t\in \mathbb {R}, x\in \mathbb {R}^N,\ _{-\infty }D^{\alpha }_{t}\) and \(_{t}D^{\alpha }_{\infty }\) are the left and right Liouville–Weyl fractional derivatives of order \(\alpha \) on the whole axis \(\mathbb {R}\) respectively, \(L:\mathbb {R}\longrightarrow \mathbb {R}^{2N}\) and \(W: \mathbb {R}\times \mathbb {R}^{N}\longrightarrow \mathbb {R}\) are suitable functions. One ground state solution is obtained by applying the monotonicity trick of Jeanjean and the concentration-compactness principle in the case where the matrix L(t) is positive definite and \(W \in C^{1}(\mathbb {R}\times \mathbb {R}^{N},\mathbb {R})\) is superquadratic but does not satisfy the usual Ambrosetti–Rabinowitz condition.

     

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.

     

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.     

Orlicz spaces with a o–O type structure

We study non reflexive Orlicz spaces \(L^\varPsi \) and their Morse subspace \(M^\varPsi \), i.e. the closure of \(L^\infty \) in \(M^\varPsi \) to determine when \((M^\varPsi ,L^\varPsi )\) can be described as having an o–O type structure with respect to an equivalent norm on \(L^\varPsi \). Examples of classes of Young functions for which the answer is affirmative are provided, but also examples are given to show that this is not possible for all non-reflexive Orlicz spaces. An equivalent expression of the distance in \(L^\varPsi \) to \(M^\varPsi \), induced by the new norm, is also provided.

     

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.     

Analysis of a Free Boundary Problem Modeling the Growth of Spherically Symmetric Tumors with Angiogenesis

This paper is concerned with a free boundary problem modeling the growth of a spherically symmetric tumor with angiogenesis. The unknown nutrient concentration \(\sigma =\sigma (r,t)\) occupies the unknown tumor region \(r< R(t)\) and satisfies a nonlinear reaction diffusion equation, and the unknown tumor radius \(R=R(t)\) satisfies a nonlinear integro-differential equation. Unlike existing literatures on this topic where Dirichlet boundary condition for \(\sigma \) is imposed, in this paper the model uses the Robin boundary condition for \(\sigma \). We prove existence and uniqueness of a global in-time classical solution (\(\sigma (r,t),R(t)\)) for arbitrary \(c>0\) and establish asymptotic stability of the unique stationary solution (\(\sigma _{s}(r),R_{s}\)) for sufficiently small \(c\), where \(c\) is a positive constant reflecting the ratio between nutrient diffusion scale and the tumor cell-doubling scale.

     

On the Fourier coefficients of certain Hilbert modular forms

We prove that given any \(\epsilon >0\), a non-zero adelic Hilbert cusp form \({\mathbf {f}}\) of weight \(k=(k_1,k_2,\ldots ,k_n)\in ({\mathbb {Z}}_+)^n\) and square-free level \(\mathfrak {n}\) with Fourier coefficients \(C_{{\mathbf {f}}}(\mathfrak {m})\), there exists a square-free integral ideal \(\mathfrak {m}\) with \(N(\mathfrak {m})\ll k_0^{3n+\epsilon }N(\mathfrak {n})^{\frac{6n^2+1}{2}+\epsilon }\) such that \(C_{{\mathbf {f}}}(\mathfrak {m})\ne 0\). The implied constant depends on \(\epsilon , F\).

     

Composition operators acting on Besov spaces on the real line

We study the composition operator \(T_f(g):= f\circ g\) on Besov spaces \(B_{{p},{q}}^{s}(\mathbb{R })\) . In case \(1 < p< +\infty ,\, 0< q \le +\infty \) and \(s>1+ (1/p)\) , we will prove that the operator \(T_f\) maps \(B_{{p},{q}}^{s}(\mathbb{R })\) to itself if, and only if, \(f(0)=0\) and \(f\) belongs locally to \(B_{{p},{q}}^{s}(\mathbb{R })\) . For the case \(p=q\) , i.e., in case of Slobodeckij spaces, we can extend our results from the real line to \(\mathbb{R }^n\) .     

On the $${ L}^{ p}$$Lp norm of the torsion function

Bounds are obtained for the \(L^p\) norm of the torsion function \(v_{\varOmega }\), i.e. the solution of \(-\varDelta v=1,\, v\in H_0^1(\varOmega ),\) in terms of the Lebesgue measure of \(\varOmega \) and the principal eigenvalue \(\lambda _1(\varOmega )\) of the Dirichlet Laplacian acting in \(L^2(\varOmega )\). We show that these bounds are sharp for \(1\le p\le 2\).