$$L^{p}$$-Norms a nd Mahler’s Measure of Poly nomials o n the n-Dime nsio nal Torus

We prove Nikol’skii type inequalities that, for polynomials on the n-dimensional torus \(\mathbb {T}^n\), relate the \(L^p\)-norm with the \(L^q\)-norm (with respect to the normalized Lebesgue measure and \(0 <p <q < \infty \)). Among other things, we show that \(C=\sqrt{q/p}\) is the best constant such that \(\Vert P\Vert _{L^q}\le C^{\text {deg}(P)} \Vert P\Vert _{L^p}\) for all homogeneous polynomials P on \(\mathbb {T}^n\). We also prove an exact inequality between the \(L^p\)-norm of a polynomial P on \(\mathbb {T}^n\) and its Mahler measure M(P), which is the geometric mean of |P| with respect to the normalized Lebesgue measure on \(\mathbb {T}^n\). Using extrapolation, we transfer this estimate into a Khintchine–Kahane type inequality, which, for polynomials on \(\mathbb {T}^n\), relates a certain exponential Orlicz norm and Mahler’s measure. Applications are given, including some interpolation estimates.     

Construction of sign-changing solutions for a harmonic equation with subcritical exponent

In this paper, we study the harmonic equation involving subcritical exponent \((P_{\varepsilon })\): \( \Delta u = 0 \), in \(\mathbb {B}^n\) and \(\displaystyle \frac{\partial u}{\partial \nu } + \displaystyle \frac{n-2}{2}u = \displaystyle \frac{n-2}{2} K u^{\frac{n}{n-2}-\varepsilon }\) on \( \mathbb {S}^{n-1}\) where \(\mathbb {B}^n \) is the unit ball in \(\mathbb {R}^n\), \(n\ge 5\) with Euclidean metric \(g_0\), \(\partial \mathbb {B}^n = \mathbb {S}^{n-1}\) is its boundary, K is a function on \(\mathbb {S}^{n-1}\) and \(\varepsilon \) is a small positive parameter. We construct solutions of the subcritical equation \((P_{\varepsilon })\) which blow up at two different critical points of K. Furthermore, we construct solutions of \((P_{\varepsilon })\) which have two bubbles and blow up at the same critical point of K.     

Dimensions of fibers of generic continuous maps

In an earlier paper Buczolich, Elekes, and the author described the Hausdorff dimension of the level sets of a generic real-valued continuous function (in the sense of Baire category) defined on a compact metric space K by introducing the notion of topological Hausdorff dimension. Later on, the author extended the theory for maps from K to \({\mathbb {R}}^n\). The main goal of this paper is to generalize the relevant results for topological and packing dimensions and to obtain new results for sufficiently homogeneous spaces K even in the case case of Hausdorff dimension. Let K be a compact metric space and let us denote by \(C(K,{\mathbb {R}}^n)\) the set of continuous maps from K to \({\mathbb {R}}^n\) endowed with the maximum norm. Let \(\dim _{*}\) be one of the topological dimension \(\dim _T\), the Hausdorff dimension \(\dim _H\), or the packing dimension \(\dim _P\). Define

$$\begin{aligned} d_{*}^n(K)=\inf \left\{ \dim _{*}(K{\setminus } F): F\subset K \text { is } \sigma \text {-compact with } \dim _T F<n\right\} . \end{aligned}$$

We prove that \(d^n_{*}(K)\) is the right notion to describe the dimensions of the fibers of a generic continuous map \(f\in C(K,{\mathbb {R}}^n)\). In particular, we show that \(\sup \{\dim _{*}f^{-1}(y): y\in {\mathbb {R}}^n\} =d^n_{*}(K)\) provided that \(\dim _T K\ge n\), otherwise every fiber is finite. Proving the above theorem for packing dimension requires entirely new ideas. Moreover, we show that the supremum is attained on the left hand side of the above equation. Assume \(\dim _T K\ge n\). If K is sufficiently homogeneous, then we can say much more. For example, we prove that \(\dim _{*}f^{-1}(y)=d^n_{*}(K)\) for a generic \(f\in C(K,{\mathbb {R}}^n)\) for all \(y\in {{\mathrm{int}}}f(K)\) if and only if \(d^n_{*}(U)=d^n_{*}(K)\) or \(\dim _T U<n\) for all open sets \(U\subset K\). This is new even if \(n=1\) and \(\dim _{*}=\dim _H\). It is known that for a generic \(f\in C(K,{\mathbb {R}}^n)\) the interior of f(K) is not empty. We augment the above characterization by showing that \(\dim _T \partial f(K)=\dim _H \partial f(K)=n-1\) for a generic \(f\in C(K,{\mathbb {R}}^n)\). In particular, almost every point of f(K) is an interior point. In order to obtain more precise results, we use the concept of generalized Hausdorff and packing measures, too.

     

Real-variable characterizations of anisotropic product Musielak-Orlicz Hardy spaces

Let A :=(A_1, A_2) be a pair of expansive dilations and φ : R~n×R~m×[0, ∞) → [0, ∞) an anisotropic product Musielak-Orlicz function. In this article, we introduce the anisotropic product Musielak-Orlicz Hardy space H~φ_A(R~n× R~m) via the anisotropic Lusin-area function and establish its atomic characterization, the g-function characterization, the g_λ~*-function characterization and the discrete wavelet characterization via first giving out an anisotropic product Peetre inequality of Musielak-Orlicz type. Moreover, we prove that finite atomic decomposition norm on a dense subspace of H~φ_A(R~n× R~m) is equivalent to the standard infinite atomic decomposition norm. As an application, we show that, for a given admissible triplet(φ, q, s), if T is a sublinear operator and maps all(φ, q, s)-atoms into uniformly bounded elements of some quasi-Banach spaces B, then T uniquely extends to a bounded sublinear operator from H~φ_A(R~n× R~m) to B. Another application is that we obtain the boundedness of anisotropic product singular integral operators from H~φ_A(R~n× R~m) to L~φ(R~n× R~m)and from H~φ_A(R~n×R~m) to itself, whose kernels are adapted to the action of A. The results of this article essentially extend the existing results for weighted product Hardy spaces on R~n× R~m and are new even for classical product Orlicz-Hardy spaces.     

Eldan’s Stochastic Localization and Tubular Neighborhoods of Complex-Analytic Sets

Let \(f: \mathbb {C}^n \rightarrow \mathbb {C}^k\) be a holomorphic function and set \(Z = f^{-1}(0)\). Assume that Z is non-empty. We prove that for any \(r > 0\),

$$\begin{aligned} \gamma _n(Z + r) \ge \gamma _n(E + r), \end{aligned}$$

where \(Z + r\) is the Euclidean r-neighborhood of Z; \(\gamma _n\) is the standard Gaussian measure in \(\mathbb {C}^n\), and \(E \subseteq \mathbb {C}^n\) is an \((n-k)\)-dimensional, affine, complex subspace whose distance from the origin is the same as the distance of Z from the origin.

     

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

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.

     

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

Simultaneous diophantine approximation in the real and <Emphasis Type="BoldItalic">p</Emphasis>-adic fields with nonmonotonic error function<Superscript>*</Superscript>

In this paper, we show that if the volume sum \( \sum\nolimits_{h = 1}^\infty {{h^{n - 1}}{\Psi^t}(h)} \) converges for a function ψ (not necessarily monotonic), then the set of points \( \left( {x,{w_1}, \ldots, {w_{t - 1}}} \right) \in {\mathbb R} \times {{\mathbb Q}_{{p_1}}} \times \ldots \times {{\mathbb Q}_{{p_{t - 1}}}} \) that simultaneously satisfy the inequalities \( \left| {P(x)} \right| < \Psi (H) {\text{and}} {\left| {P\left( {{w_i}} \right)} \right|_{{p_i}}} < \Phi (H), 1 \leqslant i \leqslant t - 1 \), for infinitely many integer polynomials P has measure zero.     

On regular Stein neighborhoods of a union of two maximally totally real subspaces in $$\mathbb {C}^n$$

We construct regular Stein neighborhoods of a union of two maximally totally real subspaces \(M=(A+iI)\mathbb {R}^n\) and \(N=\mathbb {R}^n\) in \(\mathbb {C}^n\), provided that the eigenvalues of the real \(n \times n\) matrix A are sufficiently small. This result is applied to provide regular Stein neighborhoods of an immersed totally real n-manifold in a complex n-manifold, with only finitely many double points, and such that the union of the tangent spaces at each double point in some local coordinates coincides with \(M\cup N\), described above.     

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

Fourier Spectrum Characterizations of $$H^{p}$$ Spaces on Tubes Over Cones for $$1\le p \le \infty $$1≤p≤∞

We give Fourier spectrum characterizations of functions in the Hardy \(H^p\) spaces on tubes for \(1\le p \le \infty .\) For \(F\in L^p(\mathbb {R}^n), \) we show that F is the non-tangential boundary limit of a function in a Hardy space, \(H^{p}(T_\Gamma ),\) where \(\Gamma \) is an open cone of \(\mathbb {R}^n\) and \(T_\Gamma \) is the related tube in \(\mathbb {C}^n,\) if and only if the classical or the distributional Fourier transform of F is supported in \(\Gamma ^*,\) where \(\Gamma ^*\) is the dual cone of \(\Gamma .\) This generalizes the results of Stein and Weiss for \(p=2\) in the same context, as well as those of Qian et al. in one complex variable for \(1\le p\le \infty .\) Furthermore, we extend the Poisson and Cauchy integral representation formulas to the \(H^p\) spaces on tubes for \(p\in [1, \infty ]\) and \(p\in [1,\infty ),\) with, respectively, the two types of representations.     

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.     

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

Quasiconformality of the injective mappings transforming spheres to quasispheres

We prove that every injective mapping of a domain \(D \subset \overline {{\mathbb{R}^n}} \) transforming spheres Σ ? D to K-quasispheres (the images of spheres under K-quasiconformal automorphisms of \(\overline {{\mathbb{R}^n}} \)) is K′-quasiconformal with K′ depending only on K and tending to 1 as K → 1. This is a quasiconformal analog of the classical Carathéodory Theorem on the Möbius property of an injective mapping of a domain D ? Rⁿ which sends spheres to spheres.     

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.     

Characterization of the Gamma semigroup

The Gamma semigroup with parameter \(b>0\) on \(L^p(\mathbb R^+)\) is defined by

$$\begin{aligned} W_b(t)f(x)=\frac{1}{\Gamma (t)}\int _0^x(x-y)^{t-1}e^{-b(x-y)}f(y)\,dy. \end{aligned}$$

Let S denote the multiplication operator \(f(x)\rightarrow xf(x)\) with maximal domain D(S) in \(L^p(\mathbb R^+)\). The bounded operator V on \(L^p(\mathbb R^+)\) is S-Volterra if D(S) is V-invariant and \([S,V]=V^2\) on D(S). For \(1<p<\infty \), we characterize the Gamma semigroup as the unique regular semigroup \(V(\cdot )\) on \(L^p(\mathbb R^+)\) with imaginary type less than \(\pi \), such that V(1) is S-Volterra and \(V(1)u^b=Su^b\), where \(u^b(x):=e^{-bx}\).

     

On the cardinality of positively linearly independent sets

Positive bases, which play a key role in understanding derivative free optimization methods that use a direct search framework, are positive spanning sets that are positively linearly independent. The cardinality of a positive basis in \(\mathbb {R}^n\) has been established to be between \(n+1\) and 2n (with both extremes existing). The lower bound is immediate from being a positive spanning set, while the upper bound uses both positive spanning and positively linearly independent. In this note, we provide details proving that a positively linearly independent set in \(\mathbb {R}^n\) for \(n \in \{1, 2\}\) has at most 2n elements, but a positively linearly independent set in \(\mathbb {R}^n\) for \(n\ge 3\) can have an arbitrary number of elements.     

Analytic sets and extension of holomorphic maps of positive codimension

Let D, \(D'\) be arbitrary domains in \({\mathbb C}^n\) and \({\mathbb C}^N\) respectively, \(1<n\le N\), both possibly unbounded and \(M \subseteq \partial D\), \(M'\subseteq \partial D'\) be open pieces of the boundaries. Suppose that \(\partial D\) is smooth real-analytic and minimal in an open neighborhood of \({\bar{M}}\) and \(\partial D'\) is smooth real-algebraic and minimal in an open neighborhood of \({\bar{M}'}\). Let \(f: D\rightarrow D'\) be a holomorphic mapping such that the cluster set \(\mathrm{cl}_{f}(M)\) does not intersect \(D'\). It is proved that if the cluster set \(\mathrm{cl}_{f}(p)\) of some point \(p\in M\) contains some point \(q\in M'\) and the graph of f extends as an analytic set to a neighborhood of \((p, q)\in {\mathbb {C}}^n \times {\mathbb C}^N\), then f extends as a holomorphic map to a dense subset of some neighborhood of p. If in addition, \(M =\partial D\), \(M'=\partial D'\) and \(M'\) is compact, then f extends holomorphically across an open dense subset of \(\partial D\).     

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.