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.

     

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.

     

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.

     

Functional Matrix Multipliers for Parseval Gabor Multi-frame Generators

We consider the problem of characterizing the bounded linear operator multipliers on \(L^{2}(\mathbb{R})\) that map Gabor frame generators to Gabor frame generators. We prove that a functional matrix \(M(t)=[f_{ij}(t)]_{m \times m}\) (where \(f_{ij}\in L^{\infty}(\mathbb{R})\)) is a multiplier for Parseval Gabor multi-frame generators with parameters \(a, b >0\) if and only if \(M(t)\) is unitary and \(M^{*}(t)M(t+\frac{1}{b})= \lambda(t)I\) for some unimodular \(a\)-periodic function \(\lambda(t)\). As a special case (\(m =1\)) this recovers the characterization of functional multipliers for Parseval Gabor frames with single function generators.

     

Undersampled Windowed Exponentials and Their Applications

We characterize the completeness and frame/basis property of a union of under-sampled windowed exponentials of the form

$$ {\mathcal{F}}(g): =\bigl\{ e^{2\pi i n x}: n\ge 0\bigr\} \cup \bigl\{ g(x)e^{2\pi i nx}: n< 0\bigr\} $$

for \(L^{2}[-1/2,1/2]\) by the spectra of the Toeplitz operators with the symbol \(g\). Using this characterization, we classify all real-valued functions \(g\) such that \({\mathcal{F}}(g)\) is complete or forms a frame/basis. Conversely, we use the classical non-harmonic Fourier series theory to determine all \(\xi \) such that the Toeplitz operators with the symbol \(e^{2\pi i \xi x}\) is injective or invertible. These results demonstrate an elegant interaction between frame theory of windowed exponentials and Toeplitz operators. Finally, we use our results to answer some open questions in dynamical sampling, and derivative samplings on Paley-Wiener spaces of bandlimited functions.

     

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

     

Proportionally modular numerical semigroups generated by arithmetic progressions

A numerical semigroup is a submonoid of \({{\mathbb {Z}}}_{\ge 0}\) whose complement in \({{\mathbb {Z}}}_{\ge 0}\) is finite. For any set of positive integers a, b, c, the numerical semigroup S(a, b, c) formed by the set of solutions of the inequality \(ax \bmod {b} \le cx\) is said to be proportionally modular. For any interval \([\alpha ,\beta ]\), \(S\big ([\alpha ,\beta ]\big )\) is the submonoid of \({{\mathbb {Z}}}_{\ge 0}\) obtained by intersecting the submonoid of \({{\mathbb {Q}}}_{\ge 0}\) generated by \([\alpha ,\beta ]\) with \({{\mathbb {Z}}}_{\ge 0}\). For the numerical semigroup S generated by a given arithmetic progression, we characterize a, b, c and \(\alpha ,\beta \) such that both S(a, b, c) and \(S\big ([\alpha ,\beta ]\big )\) equal S.

     

$$L^2_f$$ L f 2 -harmonic 1-forms on smooth metric measure spaces with positive $$\lambda _1(\Delta _f)$$ λ 1 ( Δ f )

In this paper, we study vanishing and splitting results on a complete smooth metric measure space \((M^n,g,\mathrm {e}^{-f}\mathrm {d}v)\) with various negative m-Bakry-Émery Ricci curvature lower bounds in terms of the first eigenvalue \(\lambda _1(\Delta _f)\) of the weighted Laplacian \(\Delta _f\), i.e., \(\mathrm {Ric}_{m,n}\ge -a\lambda _1(\Delta _f)-b\) for \(0<a\le \dfrac{m}{m-1}, b\ge 0\). In particular, we consider three main cases for different a and b with or without conditions on \(\lambda _1(\Delta _f)\). These results are extensions of Dung and Vieira, and weighted generalizations of Li-Wang, Dung-Sung, and Vieira.

     

Superlinear Elliptic Equations with Variable Exponent via Perturbation Method

We are concerned with the following \(p(x)\)-Laplacian equations in \(\mathbb{R}^{N}\)

$$ -\triangle _{p(x)} u+|u|^{p(x)-2}u= f(x,u)\quad \mbox{in } \mathbb{R} ^{N}. $$

The nonlinearity is superlinear but does not satisfy the Ambrosetti-Rabinowitz type condition. Our main difficulty is that the weak limit of (PS) sequence is not always the weak solution of this problem. To overcome this difficulty, by adding potential term and using mountain pass theorem, we get the weak solution \(u_{\lambda }\) of perturbation equations. First, we prove that \(u_{\lambda }\rightharpoonup u\) as \(\lambda \rightarrow 0\). Second, by using vanishing lemma, we get that \(u\) is a nontrivial solution of the original problem.

     

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

     

Extended Relativistic Toda Lattice,L-Orthogonal Polynomials and Associated Lax Pair

When a measure \(\varPsi(x)\) on the real line is subjected to the modification \(d\varPsi^{(t)}(x) = e^{-tx} d \varPsi(x)\), then the coefficients of the recurrence relation of the orthogonal polynomials in \(x\) with respect to the measure \(\varPsi^{(t)}(x)\) are known to satisfy the so-called Toda lattice formulas as functions of \(t\). In this paper we consider a modification of the form \(e^{-t(\mathfrak{p}x+ \mathfrak{q}/x)}\) of measures or, more generally, of moment functionals, associated with orthogonal L-polynomials and show that the coefficients of the recurrence relation of these L-orthogonal polynomials satisfy what we call an extended relativistic Toda lattice. Most importantly, we also establish the so called Lax pair representation associated with this extended relativistic Toda lattice. These results also cover the (ordinary) relativistic Toda lattice formulations considered in the literature by assuming either \(\mathfrak{p}=0\) or \(\mathfrak{q}=0\). However, as far as Lax pair representation is concern, no complete Lax pair representations were established before for the respective relativistic Toda lattice formulations. Some explicit examples of extended relativistic Toda lattice and Langmuir lattice are also presented. As further results, the lattice formulas that follow from the three term recurrence relations associated with kernel polynomials on the unit circle are also established.

     

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.

     

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

Space-Time Regularity for the Three Dimensional Navier–Stokes and MHD Equations

In this paper, we investigate the space-time regularity of solutions to (1) the three dimensional incompressible Navier–Stokes equations for initial data \(u_{0}=(u_{0}^{h},u_{0}^{3}) \in \dot{B}_{p,r}^{ \frac{3}{p}-1} (\mathbb{R}^{3})\) with large initial vertical velocity component; and (2) the three dimensional incompressible magneto-hydrodynamic equations for initial datum \(u_{0}=(u_{0}^{h},u _{0}^{3})\in \dot{B}_{p,r}^{\frac{3}{p}-1} (\mathbb{R}^{3})\) with large initial vertical velocity component and \(b_{0}=(b_{0}^{h},b_{0}^{3}) \in \dot{B}_{p,r}^{\frac{3}{p}-1} (\mathbb{R}^{3})\) with large initial vertical magnetic field component.

     

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.

     

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.     

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

     

On the difference spaces of almost convergent and strongly almost convergent double sequences

In this paper, we study the difference spaces \({\mathcal {F}}(\varDelta )\), \({\mathcal {F}}_0(\varDelta )\), \({\mathcal {[F]}}(\varDelta )\) and \({\mathcal {[F]}}_0(\varDelta )\) of double sequences obtained as the domain of four-dimensional backward difference matrix \(\varDelta \) in the spaces \({\mathcal {F}}\), \({\mathcal {F}}_{0}\), \({\mathcal {[F]}}\) and \({\mathcal {[F]}}_{0}\) of almost convergent, almost null, strongly almost convergent and strongly almost null double sequences; respectively. We examine general topological properties of those spaces and give some inclusion theorems. Furthermore, we deal with their dual spaces.

     

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

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.