Musielak–Orlicz–Hardy Spaces Associated with Operators and Their Applications

Let $\mathcal{X}$ be a metric space with doubling measure and L a nonnegative self-adjoint operator in $L^{2}(\mathcal{X})$ satisfying the Davies–Gaffney estimates. Let $\varphi:\mathcal{X}\times[0,\infty)\to[0,\infty)$ be a function such that φ(x,?) is an Orlicz function, $\varphi(\cdot,t)\in\mathbb{A}_{\infty}(\mathcal{X})$ (the class of uniformly Muckenhoupt weights), its uniformly critical upper type index I(φ)∈(0,1], and it satisfies the uniformly reverse Hölder inequality of order 2/[2?I(φ)]. In this paper, the authors introduce a Musielak–Orlicz–Hardy space $H_{\varphi,L}(\mathcal{X})$ , by the Lusin area function associated with the heat semigroup generated by L, and a Musielak–Orlicz BMO-type space $\mathrm{BMO}_{\varphi,L}(\mathcal{X})$ , which is further proved to be the dual space of $H_{\varphi,L}(\mathcal{X})$ and hence whose φ-Carleson measure characterization is deduced. Characterizations of $H_{\varphi,L}(\mathcal{X})$ , including the atom, the molecule, and the Lusin area function associated with the Poisson semigroup of L, are presented. Using the atomic characterization, the authors characterize $H_{\varphi,L}(\mathcal{X})$ in terms of the Littlewood–Paley $g^{\ast}_{\lambda}$ -function $g^{\ast}_{\lambda,L}$ and establish a Hörmander-type spectral multiplier theorem for L on $H_{\varphi,L}(\mathcal{X})$ . Moreover, for the Musielak–Orlicz–Hardy space H _φ,L (? ⁿ ) associated with the Schrödinger operator L:=?Δ+V, where $0\le V\in L^{1}_{\mathrm{loc}}(\mathbb{R}^{n})$ , the authors obtain its several equivalent characterizations in terms of the non-tangential maximal function, the radial maximal function, the atom, and the molecule; finally, the authors show that the Riesz transform ?L ^?1/2 is bounded from H _φ,L (? ⁿ ) to the Musielak–Orlicz space L ^φ (? ⁿ ) when i(φ)∈(0,1], and from H _φ,L (? ⁿ ) to the Musielak–Orlicz–Hardy space H _φ (? ⁿ ) when $i(\varphi)\in(\frac{n}{n+1},1]$ , where i(φ) denotes the uniformly critical lower type index of φ.     

Porosity and products of Orlicz spaces

Let $(\Omega , \Sigma , \mu )$ be a measure space and let $\varphi _1, \ldots , \varphi _n$ and $\varphi $ be Young functions. In this paper, we, among other things, prove that the set $E=\{(f_1, \ldots ,f_n)\in M^{\varphi _1}\times \cdots \times M^{\varphi _n}:\, N_\varphi (f_1\cdots f_n)<\infty \}$ is a $\sigma $ - $c$ -lower porous set in $M^{\varphi _1}\times \cdots \times M^{\varphi _n}$ , under mild restrictions on the Young functions $\varphi _1, \ldots , \varphi _n$ and $\varphi $ . This generalizes a recent result due to G? a? b and Strobin (J Math Anal Appl 368:382–390, 2010) to more general setting of Orlicz spaces. As an application of our results, we recover a sufficient and necessary condition for Orlicz spaces to be closed under the pointwise multiplication due to Hudzik (Arch Math 44:535–538, 1985) and Arens et al. (J Math Anal Appl 177:386–411, 1993).     

Global Existence and Blow-Up Results for a Classical Semilinear Parabolic Equation

The author studies the boundary value problem of the classical semilinear parabolic equations ut-△u = |u|p-1u inΩ×(0, T), and u = 0 on the boundary × [0, T) and u = φ at t = 0, where Rnis a compact C1domain, 1 < p ≤ p S is a fixed constant, and φ∈ C1 0(Ω) is a given smooth function. Introducing a new idea, it is shown that there are two sets W and Z, such that for φ∈ W, there is a global positive solution u(t) ∈ W with H1omega limit 0 and for φ∈ Z, the solution blows up at finite time.     

On averages of Fourier coefficients of Maass cusp forms

Let φ be a primitive Maass cusp form and t _φ (n) be its nth Fourier coefficient at the cusp infinity. In this short note, we are interested in the estimation of the sums ${\sum_{n \leq x}t_{\varphi}(n)}$ and ${\sum_{n \leq x}t_{\varphi}(n^2)}$ . We are able to improve the previous results by showing that for any ${\varepsilon > 0}$ $$\sum_{n \leq x}t_{\varphi}(n) \ll\, _{\varphi, \varepsilon} x^{\frac{1027}{2827} + \varepsilon} \quad {and}\quad\sum_{n \leq x}t_{\varphi}(n^2) \ll\,_{\varphi, \varepsilon} x^{\frac{489}{861} + \varepsilon}.$$      

Cubic symmetric polynomials yielding variations of the Erdős–Ginzburg–Ziv theorem

Let p be a prime and let $\varphi\in\mathbb{Z}_{p}[x_{1},x_{2},\ldots, x_{p}]$ be a symmetric polynomial, where  $\mathbb {Z}_{p}$ is the field of p elements. A sequence T in  $\mathbb {Z}_{p}$ of length p is called a φ-zero sequence if φ(T)=0; a sequence in $\mathbb {Z}_{p}$ is called a φ-zero free sequence if it does not contain any φ-zero subsequence. Motivated by the EGZ theorem for the prime p, we consider symmetric polynomials $\varphi\in \mathbb {Z}_{p}[x_{1},x_{2},\ldots, x_{p}]$ , which satisfy the following two conditions: (i) every sequence in  $\mathbb {Z}_{p}$ of length 2p?1 contains a φ-zero subsequence, and (ii) the φ-zero free sequences in  $\mathbb {Z}_{p}$ of maximal length are all those containing exactly two distinct elements, where each element appears p?1 times. In this paper, we determine all symmetric polynomials in $\mathbb {Z}_{p}[x_{1},x_{2},\ldots, x_{p}]$ of degree not exceeding 3 satisfying the conditions above.     

The equality problem in the class of conjugate means

Let ${I\subset\mathbb{R}}$ be a nonempty open interval and let ${L:I^2\to I}$ be a fixed strict mean. A function ${M:I^2\to I}$ is said to be an L-conjugate mean on I if there exist ${p,q\in{]}0,1]}$ and a strictly monotone and continuous function φ such that $$M(x,y):=\varphi^{-1}(p\varphi(x)+q\varphi(y)+(1-p-q)\varphi(L(x,y)))=:L_\varphi^{(p,q)}(x,y),$$ for all ${x,y\in I}$ . Here L(x, y) is a fixed quasi-arithmetic mean. We will solve the equality problem in this class of means.     

Maximal, potential and singular operators in vanishing generalized Morrey spaces

We introduce vanishing generalized Morrey spaces ${V\mathcal{L}^{p,\varphi}_\Pi (\Omega), \Omega \subseteq \mathbb{R}^n}$ with a general function ${\varphi(x, r)}$ defining the Morrey-type norm. Here ${\Pi \subseteq \Omega}$ is an arbitrary subset in Ω including the extremal cases ${\Pi = \{x_0\}, x_0 \in \Omega}$ and Π = Ω, which allows to unify vanishing local and global Morrey spaces. In the spaces ${V\mathcal{L}^{p,\varphi}_\Pi (\mathbb{R}^n)}$ we prove the boundedness of a class of sublinear singular operators, which includes Hardy-Littlewood maximal operator and Calderon-Zygmund singular operators with standard kernel. We also prove a Sobolev-Spanne type ${V\mathcal{L}^{p,\varphi}_\Pi (\mathbb{R}^n) \rightarrow V\mathcal{L}^{q,\varphi^\frac{q}{p}}_\Pi (\mathbb{R}^n)}$ -theorem for the potential operator I ^α . The conditions for the boundedness are given in terms of Zygmund-type integral inequalities on ${\varphi(x, r)}$ . No monotonicity type condition is imposed on ${\varphi(x, r)}$ . In case ${\varphi}$ has quasi- monotone properties, as a consequence of the main results, the conditions of the boundedness are also given in terms of the Matuszeska-Orlicz indices of the function ${\varphi}$ . The proofs are based on pointwise estimates of the modulars defining the vanishing spaces     

Weak quadratic overgroups for a class of Lie groups

Let $G$ be a connected and simply connected Lie group with Lie algebra $\mathfrak g $ . We say that a subset $X$ in the set $\mathfrak g ^\star / G$ of coadjoint orbits is convex hull separable when the convex hulls differ for any pair of distinct coadjoint orbits in $X$ . In this paper, we define a class of solvable Lie groups, and we give an explicit construction of an overgroup $G^+$ and a quadratic map $\varphi $ sending each generic orbit in $\mathfrak g ^\star $ to a $G^+$ -orbit in $\mathfrak{g ^+}^\star $ , in such a manner that the set $\varphi (\mathfrak g ^\star _{gen}){/ G^+}$ is convex hull separable. We then call $G^+$ a weak quadratic overgroup for $G$ . Thanks to this construction, we prove that any nilpotent Lie group, with dimension at most 7 admits such a weak quadratic overgroup. Finally, we produce different examples of solvable Lie groups, having weak quadratic overgroups, but which are not in our class of Lie groups and for which usual constructions fail to hold.     

Mass Transport and Uniform Rectifiability

In this paper we characterize the so called uniformly rectifiable sets of David and Semmes in terms of the Wasserstein distance W ₂ from optimal mass transport. To obtain this result, we first prove a localization theorem for the distance W ₂ which asserts that if??? and ?? are probability measures in ${{\mathbb{R}^n}}$ , ${{\varphi}}$ is a radial bump function smooth enough so that ${{\int \varphi d \mu \gtrsim 1}}$ , and??? has a density bounded from above and from below on supp( ${{\varphi}}$ ), then ${{W_2(\varphi \mu, a\varphi \nu) \leq cW_2(\mu, \nu)}}$ , where ${{a = \int \varphi d\mu/ \int \varphi d\nu}}$ .     

Homomorphisms with respect to a function

Let X be a realcompact space and ${H:C(X)\rightarrow\mathbb{R}}$ be an identity and order preserving group homomorphism. It is shown that H is an evaluation at some point of X if and only if there is ${\varphi\in C(\mathbb{R})}$ with ${\varphi(r)>\varphi(0)}$ for all ${r\in\mathbb{R}-\{0\}}$ for which ${H\circ\varphi=\varphi\circ H}$ . This extends (and unifies) classical results by Hewitt and Shirota.     

On the Equality Problem of Conjugate Means

Let ${I\subset\mathbb{R}}$ be a nonvoid open interval and let L : I ²→ I be a fixed strict mean. A function M : I ²→ I is said to be an L-conjugate mean on I if there exist ${p,q\in\,]0,1]}$ and ${\varphi\in CM(I)}$ such that $$M(x,y):=\varphi^{-1}(p\varphi(x)+q\varphi(y)+(1-p-q) \varphi(L(x,y)))=:L_\varphi^{(p,q)}(x,y),$$ for all ${x,y\in I}$ . Here L(x, y) : = A _χ(x, y) ${(x,y\in I)}$ is a fixed quasi-arithmetic mean with the fixed generating function ${\chi\in CM(I)}$ . We examine the following question: which L-conjugate means are weighted quasi-arithmetic means with weight ${r\in\, ]0,1[}$ at the same time? This question is a functional equation problem: Characterize the functions ${\varphi,\psi\in CM(I)}$ and the parameters ${p,q\in\,]0,1]}$ , ${r\in\,]0,1[}$ for which the equation $$L_\varphi^{(p,q)}(x,y)=L_\psi^{(r,1-r)}(x,y)$$ holds for all ${x,y\in I}$ .     

Toeplitz Operators on Fock Spaces {F^{p}(\varphi)}

Given \({\varphi\in \verb"C"^2(\textbf{C}^n)}\) satisfying \({dd^{c}\varphi\simeq \omega_0}\) , 0 < p < ∞, let \({F^p(\varphi)}\) be the generalized Fock space of all holomorphic functions f on \({{\mathbf C}^n}\) for which the Fock norm $$\|f\|_{p, \varphi}=\left(\,\int_{{\mathbf C}^n} \left|f(z)\right|^{p}e^ {-p\varphi(z)}dv(z)\right)^{\frac{1}{p}} < \infty. $$ While \({\varphi(z)=\frac{1}{2}|z|^2}\) , \({F^{p}(\varphi)}\) is the classical Fock space F ^p . In this paper, for all possible 0 < p,q < ∞ we characterize those positive Borel measures μ on \({{\mathbf C}^n}\) for which the induced Toeplitz operators T _μ are bounded (or compact) from one generalized Fock spaces \({F^p(\varphi)}\) to another \({F^q(\varphi)}\) . With symbols \({g\in BMO}\) , we obtain Zorborska’s criterion for boundedness (or compactness) of Toeplitz operators T _g on F ^p , our work extends the known results on F ². Toeplitz operators on p-th Fock space with 0 < p < 1 have not been studied before, even in the simplest case that \({\varphi(z)=\frac{1}{2}|z|^2}\) . Our analysis shows a significant difference between Bergman spaces and Fock spaces.     

On the topology of semi-algebraic functions on closed semi-algebraic sets

We consider a closed semi-algebraic set ${X \subset \mathbb{R}^n}$ and a C ² semi-algebraic function ${f : \mathbb{R}^n \rightarrow\mathbb{R}}$ such that ${f_{\vert X}}$ has a finite number of critical points. We relate the topology of X to the topology of the sets ${X \cap \{ f * \alpha \}}$ , where ${* \in \{\le,=,\ge \}}$ and ${\alpha \in \mathbb{R}}$ , and the indices of the critical points of ${f_{\vert X}}$ and ${-f_{\vert X}}$ . We also relate the topology of X to the topology of the links at infinity of the sets ${X \cap \{ f * \alpha\}}$ and the indices of these critical points. We give applications when ${X=\mathbb{R}^n}$ and when f is a generic linear function.     

On the Schröder equation and iterative sequences of C r diffeomorphisms in {\mathbb{R}^{N}} space

Let ${U \subset \mathbb{R}^{N}}$ be a neighbourhood of the origin and a function ${F:U\rightarrow U}$ be of class C ^r , r ≥ 2, F(0) = 0. Denote by F ⁿ the n-th iterate of F and let ${0<|s_1|\leq \cdots \leq|s_N| <1 }$ , where ${s_1, \ldots , s_N}$ are the eigenvalues of dF(0). Assume that the Schröder equation ${\varphi(F(x))=S\varphi(x)}$ , where S: = dF(0) has a C ² solution φ such that dφ(0) = id. If ${\frac{log|s_1|}{log|s_N|} <2 }$ then the sequence {S ^?n F ⁿ (x)} converges for every point x from the basin of attraction of F to a C ² solution φ of (1). If ${2\leq\frac{log|s_1|}{log|s_N|} }$ then this sequence can be diverging. In this case we give some sufficient conditions for the convergence and divergence of the sequence {S ^?n F ⁿ (x)}. Moreover, we show that if F is of class C ^r and ${r>\big[\frac{log|s_1|}{log|s_N|} \big ]:=p \geq 2}$ then every C ^r solution of the Schröder equation such that dφ(0) = id is given by the formula $$\begin{array}{ll}\varphi (x)={\lim\limits_{n \rightarrow \infty}} (S^{-n}F^n(x) + {\sum\limits _{k=2}^{p}} S^{-n}L_k (F^n(x))),\end{array}$$ where ${L_k:\mathbb{R}^{N} \rightarrow \mathbb{R}^{N}}$ are some homogeneous polynomials of degree k, which are determined by the differentials d ^(j) F(0) for 1 < j ≤  p.     

Generalized Lax-Milgram theorem in Banach spaces and its application to the elliptic system of boundary value problems

We generalize the well-known Lax-Milgram theorem on the Hilbert space to that on the Banach space. Suppose that ${a(\cdot, \cdot)}$ is a continuous bilinear form on the product ${X\times Y}$ of Banach spaces X and Y, where Y is reflexive. If null spaces N _X and N _Y associated with ${a(\cdot, \cdot)}$ have complements in X and in Y, respectively, and if ${a(\cdot, \cdot)}$ satisfies certain variational inequalities both in X and in Y, then for every ${F \in N_Y^{\perp}}$ , i.e., ${F \in Y^{\ast}}$ with ${F(\phi) = 0}$ for all ${\phi \in N_Y}$ , there exists at least one ${u \in X}$ such that ${a(u, \varphi) = F(\varphi)}$ holds for all ${\varphi \in Y}$ with ${\|u\|_X \le C\|F\|_{Y^{\ast}}}$ . We apply our result to several existence theorems of L ^r -solutions to the elliptic system of boundary value problems appearing in the fluid mechanics.     

A sharp lower bound for the log canonical threshold

In this note, we prove a sharp lower bound for the log canonical threshold of a plurisubharmonic function ${\varphi}$ with an isolated singularity at 0 in an open subset of ${\mathbb{C}^n}$ . This threshold is defined as the supremum of constants c > 0 such that ${e^{-2c\varphi}}$ is integrable on a neighborhood of 0. We relate ${c(\varphi)}$ to the intermediate multiplicity numbers ${e_j(\varphi)}$ , defined as the Lelong numbers of ${(dd^c\varphi)^j}$ at 0 (so that in particular ${e_0(\varphi)=1}$ ). Our main result is that ${c(\varphi)\geqslant\sum_{j=0}^{n-1} e_j(\varphi)/e_{j+1}(\varphi)}$ . This inequality is shown to be sharp; it simultaneously improves the classical result ${c(\varphi)\geqslant 1/e_1(\varphi)}$ due to Skoda, as well as the lower estimate ${c(\varphi)\geqslant n/e_n(\varphi)^{1/n}}$ which has received crucial applications to birational geometry in recent years. The proof consists in a reduction to the toric case, i.e. singularities arising from monomial ideals.     

Infinitesimal Carleson Property for Weighted Measures Induced by Analytic Self-Maps of the Unit Disk

We prove that, for every $\alpha > -1$ , the pull-back measure $\varphi ({\mathcal A }_\alpha )$ of the measure $d{\mathcal A }_\alpha (z) = (\alpha + 1) (1 - |z|^2)^\alpha \, d{\mathcal A } (z)$ , where ${\mathcal A }$ is the normalized area measure on the unit disk $\mathbb D $ , by every analytic self-map $\varphi :\mathbb D \rightarrow \mathbb D $ is not only an $(\alpha \,{+}\, 2)$ -Carleson measure, but that the measure of the Carleson windows of size $\varepsilon h$ is controlled by $\varepsilon ^{\alpha + 2}$ times the measure of the corresponding window of size $h$ . This means that the property of being an $(\alpha + 2)$ -Carleson measure is true at all infinitesimal scales. We give an application by characterizing the compactness of composition operators on weighted Bergman–Orlicz spaces.     

Composition Operators on the Lipschitz Space of a Tree

The Lipschitz space ${\mathcal{L}}$ of an infinite tree T rooted at o is defined as the space consisting of the functions ${f : T \rightarrow \mathbb{C}}$ such that $$\beta_f = {\rm sup}\{|f(v) - f(v^-)| : v \in T\backslash\{o\}, \,v^- {\rm parent \, of \,} v\}$$ is finite. Under the norm ${\|f\|_\mathcal{L} = |f(o)|+\beta_f,\mathcal{L}}$ is a Banach space. In this article, the functions φ mapping T into itself whose induced composition operator ${C_{\varphi} : f \mapsto f \circ \varphi}$ on the Lipschitz space is bounded, compact, or an isometry, are characterized. Specifically, it is shown that the symbols of the bounded composition operators are the Lipschitz maps of T into itself viewed as a metric space under the edge-counting distance. The symbols inducing compact operators have finite range while those inducing isometries on ${\mathcal{L}}$ are precisely the onto maps fixing the root and whose images of neighboring vertices coincide or are themselves neighboring vertices. Finally, the spectrum of the operators ${C_\varphi}$ that are isometries is studied in detail.     

Strongly nonlinear multivalued elliptic equations on a bounded domain

In this work we study the existence of nontrivial solution for the following class of multivalued quasilinear problems $$\begin{aligned} \displaystyle -\text{ div } ( \phi (|\nabla u|) \nabla u) - b(u)u \in \lambda \partial F(x,u)\;\text{ in }\;\Omega , \quad u=0\; \text{ on }\;\partial \Omega \end{aligned}$$ where $\Omega \subset \mathbb{R }^N$ is a bounded domain, $N\ge 2$ and $\partial F(x,u)$ is a generalized gradient of $F(x,t)$ with respect to $t$ . The main tools utilized are Variational Methods for Locally Lipschitz Functional and a Concentration Compactness Theorem for Orlicz space.