A sharp equivalence between H ∞ functional calculus and square function estimates

Let (T _t ) _{t?≥ 0} be a bounded analytic semigroup on L ^p (Ω), with 1?<?p?<?∞. Let ?A denote its infinitesimal generator. It is known that if A and A ^* both satisfy square function estimates ${\bigl\|\bigl(\int_{0}^{\infty} \vert A^{\frac{1}{2}} T_t(x)\vert^2 {\rm d}t \bigr)^{\frac{1}{2}}\bigr\|_{L^p} \lesssim \|x\|_{L^p}}$ and ${\bigl\|\bigl(\int_{0}^{\infty} \vert A^{*\frac{1}{2}} T_t^*(y) \vert^2 {\rm d}t \bigr)^{\frac{1}{2}}\bigr\|_{L^{p^\prime}} \lesssim \|y\|_{L^{p^\prime}}}$ for ${x\in L^p(\Omega)}$ and ${y\in L^{p^\prime}(\Omega)}$ , then A admits a bounded ${H^{\infty}(\Sigma_\theta)}$ functional calculus for any ${\theta>\frac{\pi}{2}}$ . We show that this actually holds true for some ${\theta<\frac{\pi}{2}}$ .     

On the dependency for asymptotically independent estimates

Suppose ${\widehat{\theta}_1}$ and ${\widehat{\theta}_2}$ are asymptotically independent non-lattice with a joint second order Edgeworth expansion in n ^?1/2. Then the ?? dependency coefficient is $$\alpha \left(\widehat{\theta}_1, \widehat{\theta}_2 \right) = n^{-1/2} C + O \left(n^{-1} \right),$$ where ${C = (4 \pi)^{-1}\exp (-1/2) (\tau^2_1 + \tau^2_2) ^{1/2}}$ for ${\tau_1, \tau_2}$ their joint skewness coefficients.     

Howe correspondence and Springer correspondence for real reductive dual pairs

We consider a real reductive dual pair (G′, G) of type I, with rank ${({\rm G}^{\prime}) \leq {\rm rank(G)}}$ . Given a nilpotent coadjoint orbit ${\mathcal{O}^{\prime} \subseteq \mathfrak{g}^{{\prime}{*}}}$ , let ${\mathcal{O}^{\prime}_\mathbb{C} \subseteq \mathfrak{g}^{{\prime}{*}}_\mathbb{C}}$ denote the complex orbit containing ${\mathcal{O}^{\prime}}$ . Under some condition on the partition λ′ parametrizing ${\mathcal{O}^{\prime}}$ , we prove that, if λ is the partition obtained from λ by adding a column on the very left, and ${\mathcal{O}}$ is the nilpotent coadjoint orbit parametrized by λ, then ${\mathcal{O}_\mathbb{C}= \tau (\tau^{\prime -1}(\mathcal{O}_\mathbb{C}^{\prime}))}$ , where ${\tau, \tau^{\prime}}$ are the moment maps. Moreover, if ${chc(\hat\mu_{\mathcal{O}^{\prime}}) \neq 0}$ , where chc is the infinitesimal version of the Cauchy-Harish-Chandra integral, then the Weyl group representation attached by Wallach to ${\mu_{\mathcal{O}^{\prime}}}$ with corresponds to ${\mathcal{O}_\mathbb{C}}$ via the Springer correspondence.     

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.     

Weak solutions of the stationary Navier–Stokes equations for a viscous incompressible fluid past an obstacle

Consider the stationary Navier–Stokes equations in an exterior domain $\varOmega \subset \mathbb{R }^3 $ with smooth boundary. For every prescribed constant vector $u_{\infty } \ne 0$ and every external force $f \in \dot{H}_2^{-1} (\varOmega )$ , Leray (J. Math. Pures. Appl., 9:1–82, 1933) constructed a weak solution $u $ with $\nabla u \in L_2 (\varOmega )$ and $u - u_{\infty } \in L_6(\varOmega )$ . Here $\dot{H}^{-1}_2 (\varOmega )$ denotes the dual space of the homogeneous Sobolev space $\dot{H}^1_{2}(\varOmega ) $ . We prove that the weak solution $u$ fulfills the additional regularity property $u- u_{\infty } \in L_4(\varOmega )$ and $u_\infty \cdot \nabla u \in \dot{H}_2^{-1} (\varOmega )$ without any restriction on $f$ except for $f \in \dot{H}_2^{-1} (\varOmega )$ . As a consequence, it turns out that every weak solution necessarily satisfies the generalized energy equality. Moreover, we obtain a sharp a priori estimate and uniqueness result for weak solutions assuming only that $\Vert f\Vert _{\dot{H}^{-1}_2(\varOmega )}$ and $|u_{\infty }|$ are suitably small. Our results give final affirmative answers to open questions left by Leray (J. Math. Pures. Appl., 9:1–82, 1933) about energy equality and uniqueness of weak solutions. Finally we investigate the convergence of weak solutions as $u_{\infty } \rightarrow 0$ in the strong norm topology, while the limiting weak solution exhibits a completely different behavior from that in the case $u_{\infty } \ne 0$ .     

Averaged Pointwise Bounds for Deformations of Schrödinger Eigenfunctions

Let (M,g) be an n-dimensional, compact Riemannian manifold and ${P_0(\hbar) = -\hbar{^2} \Delta_g + V(x)}$ be a semiclassical Schrödinger operator with ${\hbar \in (0,\hbar_0]}$ . Let ${E(\hbar) \in [E-o(1),E+o(1)]}$ and ${(\phi_{\hbar})_{\hbar \in (0,\hbar_0]}}$ be a family of L ²-normalized eigenfunctions of ${P_0(\hbar)}$ with ${P_0(\hbar) \phi_{\hbar} = E(\hbar) \phi_{\hbar}}$ . We consider magnetic deformations of ${P_0(\hbar)}$ of the form ${P_u(\hbar) = - \Delta_{\omega_u}(\hbar) + V(x)}$ , where ${\Delta_{\omega_u}(\hbar) = (\hbar d + i \omega_u(x))^*({\hbar}d + i \omega_u(x))}$ . Here, u is a k-dimensional parameter running over ${B^k(\epsilon)}$ (the ball of radius ${\epsilon}$ ), and the family of the magnetic potentials ${(w_u)_{u\in B^k(\epsilon)}}$ satisfies the admissibility condition given in Definition 1.1. This condition implies that k ≥ n and is generic under this assumption. Consider the corresponding family of deformations of ${(\phi_{\hbar})_{\hbar \in (0, \hbar_0]}}$ , given by ${(\phi^u_{\hbar})_{\hbar \in(0, \hbar_0]}}$ , where $$\phi_{\hbar}^{(u)}:= {\rm e}^{-it_0 P_u(\hbar)/\hbar}\phi_{\hbar}$$ for ${|t_0|\in (0,\epsilon)}$ ; the latter functions are themselves eigenfunctions of the ${\hbar}$ -elliptic operators ${Q_u(\hbar): ={\rm e}^{-it_0P_u(\hbar)/\hbar} P_0(\hbar) {\rm e}^{it_0 P_u(\hbar)/\hbar}}$ with eigenvalue ${E(\hbar)}$ and ${Q_0(\hbar) = P_{0}(\hbar)}$ . Our main result, Theorem1.2, states that for ${\epsilon >0 }$ small, there are constants ${C_j=C_j(M,V,\omega,\epsilon) > 0}$ with j = 1,2 such that $$C_{1}\leq \int\limits_{\mathcal{B}^k(\epsilon)} |\phi_{\hbar}^{(u)}(x)|^2 \, {\rm d}u \leq C_{2}$$ , uniformly for ${x \in M}$ and ${\hbar \in (0,h_0]}$ . We also give an application to eigenfunction restriction bounds in Theorem 1.3.     

Boundary Values of Harmonic Functions in Spaces of Triebel–Lizorkin Type

Triebel (J Approx Theory 35:275–297, 1982; 52:162–203, 1988) investigated the boundary values of the harmonic functions in spaces of the Triebel–Lizorkin type ${\mathcal F^{\alpha,q}_{p}}$ on ${\mathbb{R}^{n+1}_+}$ by finding an characterization of the homogeneous Triebel–Lizorkin space ${{\bf \dot{F}}^{\alpha,q}_p}$ via its harmonic extension, where ${0 < p < \infty, 0 < q \leq \infty}$ , and ${\alpha < {\rm min}\{-n/p, -n/q\}}$ . In this article, we extend Triebel’s result to α < 0 and ${0 < p, q \leq \infty}$ by using a discrete version of reproducing formula and discretizing the norms in both ${\mathcal{F}^{\alpha,q}_{p}}$ and ${{\bf{\dot{F}}}^{\alpha,q}_p}$ . Furthermore, for α < 0 and ${1 < p,q \leq \infty}$ , the mapping from harmonic functions in ${\mathcal{F}^{\alpha,q}_{p}}$ to their boundary values forms a topological isomorphism between ${\mathcal{F}^{\alpha,q}_{p}}$ and ${{\bf \dot{F}}^{\alpha,q}_p}$ .     

The geometric Neumann problem for the Liouville equation

Let Ω denote the upper half-plane ${\mathbb{R}_+^2}$ or the upper half-disk ${D_{\varepsilon}^+\subset \mathbb{R}_+^2}$ of center 0 and radius ${\varepsilon}$ . In this paper we classify the solutions ${v\in\;C^2(\overline{\Omega}\setminus\{0\})}$ to the Neumann problem $$\left\{\begin{array}{lll}{\Delta v+2 Ke^v=0\quad {\rm in}\,\Omega\subseteq \mathbb{R}^2_+=\{(s, t)\in \mathbb{R}^2: t >0 \},}\\ {\frac{\partial v}{\partial t}=c_1e^{v/2}\quad\quad\quad{\rm on}\,\partial\Omega\cap\{s >0 \},}\\ {\frac{\partial v}{\partial t}=c_2e^{v/2}\quad\quad\quad{\rm on}\,\partial\Omega\cap\{s <0 \},}\end{array}\right.$$ where ${K, c_1, c_2 \in \mathbb{R}}$ , with the finite energy condition ${\int_{\Omega} e^v < \infty}$ As a result, we classify the conformal Riemannian metrics of constant curvature and finite area on a half-plane that have a finite number of boundary singularities, not assumed a priori to be conical, and constant geodesic curvature along each boundary arc.     

Rellich inequalities with weights

Let Ω be a cone in ${\mathbb {R}^{n}}$ with n ≥? 2. For every fixed ${\alpha \in \mathbb {R}}$ we find the best constant in the Rellich inequality ${\int\nolimits_{\Omega}|x|^{\alpha}|\Delta u|^{2}dx \ge C\int\nolimits_{\Omega}|x|^{\alpha-4}|u|^{2}dx}$ for ${u \in C^{2}_{c}(\overline\Omega\setminus\{0\})}$ . We also estimate the best constant for the same inequality on ${C^{2}_{c}(\Omega)}$ . Moreover we show improved Rellich inequalities with remainder terms involving logarithmic weights on cone-like domains.     

Homotopy and nonlinear boundary value problems involving singular {\phi}-Laplacians

Homotopy methods are used to find sufficient conditions for the solvability of nonlinear boundary value problems of the form $$(\phi(u^\prime))^\prime = f(t, u, u^\prime), \quad g(u(\alpha), \phi(u^\prime(\beta))) = 0,$$ where (α, β) = (0, 1), (1, 0), (0, 0) or (1, 1), ${\phi}$ is a homeomorphism from the open ball ${B(a) \subset \mathbb{R}^n}$ onto ${\mathbb{R}^n}$ , f is a Carathéodory function, ${g : \mathbb{R}^n \times \, \mathbb{R}^n \rightarrow \mathbb{R}^m}$ is continuous and m ≤ 2n.     

True Poly-Bergman and Poly-Bergman Kernels for the Complement of a Closed Disk

Let $k$ and $j$ be positive integers. We prove that the action of the two-dimensional singular integral operators $(S_\Omega )^{j-1}$ and $(S_\Omega ^*)^{j-1}$ on a Hilbert base for the Bergman space $\mathcal{A }^2(\Omega )$ and anti-Bergman space $\mathcal{A }^2_{-1}(\Omega ),$ respectively, gives Hilbert bases $\{ \psi _{\pm j , k } \}_{ k }$ for the true poly-Bergman spaces $\mathcal{A }_{(\pm j)}^2(\Omega ),$ where $S_\Omega $ denotes the compression of the Beurling transform to the Lebesgue space $L^2(\Omega , dA).$ The functions $\psi _{\pm j,k}$ will be explicitly represented in terms of the $(2,1)$ -hypergeometric polynomials as well as by formulas of Rodrigues type. We prove explicit representations for the true poly-Bergman kernels and more transparent representations for the poly-Bergman kernels of $\Omega $ . We establish Rodrigues type formulas for the poly-Bergman kernels of $\mathbb{D }$ .     

Multiple positive solutions of singular and critical elliptic problem in {\mathbb{R}^2} with discontinuous nonlinearities

Let Ω be a bounded domain in ${\mathbb{R}^2}$ with smooth boundary. We consider the following singular and critical elliptic problem with discontinuous nonlinearity: $$(P_\lambda)\left \{\begin{array}{ll} - \Delta u = \lambda \left(\frac{m(x, u) e^{\alpha{u}^2}}{|x|^{\beta}} + u^{q}g(u - a)\right),\quad{u} > 0 \quad {\rm in} \quad \Omega\\u \quad \quad = 0\quad {\rm on} \quad \partial \Omega \end{array}\right.$$ where ${0\leq q < 1 ,0< \alpha\leq4\pi}$ and ${\beta \in [0, 2)}$ such that ${\frac{\beta}{2} + \frac{\alpha}{4\pi} \leq 1}$ and ${{g(t - a) = \left\{\begin{array}{ll}1, t \leq a\\ 0, t > a.\end{array}\right.}}$ Under the suitable assumptions on m(x, t) we show the existence and multiplicity of solutions for maximal interval for λ.     

Height of a Superposition

We observe that, given a poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ and a finite covering ${\user1{\mathcal{R}}} = {\user1{\mathcal{R}}}_{1} \cup \cdots \cup {\user1{\mathcal{R}}}_{n} $ of its ordering, the height of the poset does not exceed the natural product of the heights of the corresponding sub-relations: $$\mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}} \right)} \leqslant \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{1} } \right)} \otimes \cdots \otimes \mathfrak{h}{\left( {E,{\user1{\mathcal{R}}}_{n} } \right)}.$$ Conversely for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, every poset ${\left( {E,{\user1{\mathcal{R}}}} \right)}$ of height at most $\xi_1\otimes\cdots\otimes\xi_n$ admits a partition ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ such that each ${\left( {E,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at most $\xi_k$ . In particular for every finite sequence $(\xi_1,\cdots,\xi_n)$ of ordinals, the ordinal $$\xi _{1} \underline{ \otimes } \cdots \underline{ \otimes } \xi _{n} : = \sup {\left\{ {{\left( {\xi ^{\prime }_{1} \otimes \cdots \otimes \xi ^{\prime }_{n} } \right)} + 1:\xi ^{\prime }_{1} < \xi _{1} , \cdots ,\xi ^{\prime }_{n} < \xi _{n} } \right\}}$$ is the least $\xi$ for which the following partition relation holds $$\mathfrak{H}_{\xi } \to {\left( {\mathfrak{H}_{{\xi _{1} }} , \cdots ,\mathfrak{H}_{{\xi _{n} }} } \right)}^{2} $$ meaning: for every poset ${\left( {A,{\user1{\mathcal{R}}}} \right)}$ of height at least $\xi$ and every finite covering ${\left( {{\user1{\mathcal{R}}}_{1} , \cdots ,{\user1{\mathcal{R}}}_{n} } \right)}$ of its ordering ${\user1{\mathcal{R}}}$ , there is a $k$ for which the relation ${\left( {A,{\user1{\mathcal{R}}}_{k} } \right)}$ has height at least $\xi_k$ . The proof will rely on analogue properties of vertex coverings w.r.t. the natural sum.     

Local estimates for parabolic equations with nonlinear gradient terms

In this paper we deal with local estimates for parabolic problems in ${\mathbb{R}^N}$ with absorbing first order terms, whose model is $$\left\{\begin{array}{l@{\quad}l}u_t- \Delta u +u |\nabla u|^q = f(t,x) \quad &{\rm in}\, (0,T) \times \mathbb{R}^N\,,\\u(0,x)= u_0 (x) &{\rm in}\, \mathbb{R}^N \,,\quad\end{array}\right.$$ where ${T >0 , \, N\geq 2,\, 1 < q \leq 2,\, f(t,x)\in L^1\left( 0,T; L^1_{\rm loc} \left(\mathbb{R}^N\right)\right)}$ and ${u_0\in L^1_{\rm loc}\left(\mathbb{R}^{N}\right)}$ .     

Bochner–Riesz Means with Respect to a Generalized Cylinder

We study the L ^p boundedness of the generalized Bochner–Riesz means S ^λ which are defined as $$S^{\lambda}f(x) = \mathcal{F}^{-1} \left[\left(1 - \rho \right)_{+}^{\lambda} \widehat{f} \right](x)$$ where ${\rho(\xi) = {\rm max}\{|\xi_{1}|, \ldots, |\xi_{\ell}|\}}$ for ${\xi = (\xi_{1},\ldots, \xi_{\ell}) \in \mathbb{R}^{{d}_{1}} \times \cdots \times \mathbb{R}^{{d}_{\ell}}}$ and ${\mathcal{F}^{-1}}$ is the inverse Fourier transform.     

Irregular and Singular Loci of Commuting Varieties

Let $ {\user1{\mathcal{C}}} $ be the commuting variety of the Lie algebra $ \mathfrak{g} $ of a connected noncommutative reductive algebraic group G over an algebraically closed field of characteristic zero. Let $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ be the singular locus of $ {\user1{\mathcal{C}}} $ and let $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ be the locus of points whose G-stabilizers have dimension > rk G. We prove that: (a) $ {\user1{\mathcal{C}}}^{{{\text{sing}}}} $ is a nonempty subset of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ ; (b) $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{irr}}}} = 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ where the maximum is taken over all simple ideals $ \mathfrak{a} $ of $ \mathfrak{g} $ and $ l{\left( \mathfrak{a} \right)} $ is the “lacety” of $ \mathfrak{a} $ ; and (c) if $ \mathfrak{t} $ is a Cartan subalgebra of $ \mathfrak{g} $ and $ \alpha \in \mathfrak{t}^{*} $ root of $ \mathfrak{g} $ with respect to $ \mathfrak{t} $ , then $ \overline{{G{\left( {{\text{Ker}}\,\alpha \times {\text{Ker }}\alpha } \right)}}} $ is an irreducible component of $ {\user1{\mathcal{C}}}^{{{\text{irr}}}} $ of codimension 4 in $ {\user1{\mathcal{C}}} $ . This yields the bound $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 5 - {\text{max}}\,l{\left( \mathfrak{a} \right)} $ and, in particular, $ {\text{codim}}_{{\user1{\mathcal{C}}}} \,{\user1{\mathcal{C}}}^{{{\text{sing}}}} \geqslant 2 $ . The latter may be regarded as an evidence in favor of the known longstanding conjecture that $ {\user1{\mathcal{C}}} $ is always normal. We also prove that the algebraic variety $ {\user1{\mathcal{C}}} $ is rational.     

Comparison and oscillatory behavior for certain second order nonlinear dynamic equations

We present some new necessary and sufficient conditions for the oscillation of second order nonlinear dynamic equation $$\bigl(a\bigl(x^{\Delta }\bigr)^{\alpha }\bigr)^{\Delta }(t)+q(t)x^{\beta }(t)=0$$ on an arbitrary time scale $\mathbb{T}$ , where α and β are ratios of positive odd integers, a and q are positive rd-continuous functions on $\mathbb{T}$ . Comparison results with the inequality $$\bigl(a\bigl(x^{\Delta }\bigr)^{\alpha }\bigr)^{\Delta }(t)+q(t)x^{\beta }(t)\leqslant 0\quad (\geqslant 0)$$ are established and application to neutral equations of the form $$\bigl(a(t)\bigl(\bigl[x(t)+p(t)x[\tau (t)]\bigr]^{\Delta }\bigr)^{\alpha }\bigr)^{\Delta }+q(t)x^{\beta }\bigl[g(t)\bigr]=0$$ are investigated.     

On the pullback of an arithmetic theta function

In this paper, we describe a relationship between the simplest examples of arithmetic theta series. The first of these are the weight 1 theta series ${\widehat{\phi}_{\mathcal C}(\tau)}$ defined using arithmetic 0-cycles on the moduli space ${\mathcal C}$ of elliptic curves with CM by the ring of integers ${O_{\kappa}}$ of an imaginary quadratic field. The second such series ${\widehat{\phi}_{\mathcal M}(\tau)}$ has weight 3/2 and takes values in the arithmetic Chow group ${\widehat{{\rm CH}}^1(\mathcal{M})}$ of the arithmetic surface associated to an indefinite quaternion algebra ${B/\mathbb{Q}}$ . For an embedding ${O_\kappa \rightarrow O_B}$ , a maximal order in B, and a two sided O _B -ideal Λ, there is a morphism ${j_\Lambda:{\mathcal C} \rightarrow {\mathcal M}}$ and a pullback ${j_\Lambda^*: \widehat{{\rm CH}}^1(\mathcal{M}) \rightarrow \widehat{{\rm CH}}^1(\mathcal C)}$ . Our main result is an expression for the pullback ${j^*_\Lambda \widehat{\phi}_{\mathcal M}(\tau)}$ as a linear combination of products of ${\widehat{\phi}_{\mathcal C}(\tau)}$ ’s and classical weight ${\frac{1}{2}}$ theta series.     

A functional equation and its application to the characterization of gamma distributions

The functional equation $$ f\left(x\right)g\left(y\right)=p\left(x+y\right)q\left(\frac{x}{y} \right) $$ is investigated for almost all ${\left(x,\,y\right)\in\mathbb{R}^{2}_{+}}$ and for the measurable functions ${f,\,g,\,p,\,q:\mathbb{R}_{+}\rightarrow\mathbb{R}_{+}}$ . This equation is related to the Lukács characterization of gamma distribution.