In the case when the weight and its inverse belong to BMO(T), we prove the asymptotics of the monic orthogonal polynomials in L^p, 2<p<p_0. Immediate applications include the estimates on the uniform norm and asymptotics for the polynomial entropy.
Let T be the unite circle on $R^2$. Denote by BMO(T) the classical BMO space and denote by BMO_D(T) the usual dyadic BMO space on T. We prove that, BMO(T) is the intersction of BMO_D(T) and a translate of BMO_D(T).
We provide a version of the transference principle. It says that certain optimization problems for functions on the circle, the interval, and the line have the same answers. In particular, we show that the sharp constants in the John--Nirenberg inequalities for naturally defined $\mathrm{BMO}$-spaces on the circle, the interval, and the line coincide. The same principle holds true for the Reverse Hölder inequality for Muckenhoupt weights.
We prove that for any homogeneous, second order, constant complex coefficient elliptic system $L$, the Dirichlet problem in $\mathbb{R}^{n}_{+}$ with boundary data in BMO is well-posed in the class of functions $u$ with $dμ_u(x',t):=|\nabla u(x',t)|^2\,t\,dx'dt$ being a Carleson measure. We establish a Fatou type theorem guaranteeing the existence of the pointwise nontangential boundary trace for smooth null-solutions $u$ of such systems satisfying the said Carleson measure condition. These imply that BMO can be characterized as the collection of nontangential pointwise traces of smooth null-s…
Let $(X,d,μ)$ be a metric measure space satisfying a $Q$-doubling condition, $Q>1$, and an $L^2$-Poincaré inequality. Let $\mathscr{L}=\mathcal{L}+V$ be a Schrödinger operator on $X$, where $\mathcal{L}$ is a non-negative operator generalized by a Dirichlet form, and $V$ is a non-negative Muckenhoupt weight that satisfies a reverse Hölder condition $RH_q$ for some $q\ge (Q+1)/2$. We show that a solution to $(\mathscr{L}-\partial_t^2)u=0$ on $X\times \mathbb{R}_+$ satisfies the Carleson condition, $$\sup_{B(x_B,r_B)}\frac{1}{μ(B(x_B,r_B))} \int_{0}^{r_B} \int_{B(x_B,r_B)} |t\nabla u(x,t)|^2 \fr…
Let ${\mathcal X}$ be a metric space with doubling measure, $L$ a nonnegative self-adjoint operator in $L^2({\mathcal X})$ satisfying the Davies-Gaffney estimate, $ω$ a concave function on $(0,\infty)$ of strictly lower type $p_ω\in (0, 1]$ and $ρ(t)={t^{-1}}/ω^{-1}(t^{-1})$ for all $t\in (0,\infty).$ The authors introduce the Orlicz-Hardy space $H_{ω,L}({\mathcal X})$ via the Lusin area function associated to the heat semigroup, and the BMO-type space ${\mathop\mathrm{BMO}_{ρ,L}(\mathcal X)}$. The authors then establish the duality between $H_{ω,L}({\mathcal X})$ and $\mathrm{BMO}_{ρ,L}({\mat…
When a nontrivial measure $μ$ on the unit circle satisfies the symmetry $dμ(e^{i(2π-θ)}) = - dμ(e^{iθ})$ then the associated OPUC, say $S_n$, are all real. In this case, Delsarte and Genin, in 1986, have shown that the two sequences of para-orthogonal polynomials $\{zS_{n}(z) + S_{n}^{\ast}(z)\}$ and $\{zS_{n}(z) - S_{n}^{\ast}(z)\}$ satisfy three term recurrence formulas and have also explored some further consequences of these sequences of polynomials such as their connections to sequences of orthogonal polynomials on the interval $[-1,1]$. The same authors, in (1988), have also provided a m…
Utilising some recent ideas from our bilinear bi-parameter theory, we give an efficient proof of a two-weight Bloom type inequality for iterated commutators of linear bi-parameter singular integrals. We prove that if $T$ is a bi-parameter singular integral satisfying the assumptions of the bi-parameter representation theorem, then $$ \| [b_k,\cdots[b_2, [b_1, T]]\cdots]\|_{L^p(μ) \to L^p(λ)} \lesssim_{[μ]_{A_p}, [λ]_{A_p}} \prod_{i=1}^k\|b_i\|_{\operatorname{bmo}(ν^{θ_i})} , $$ where $p \in (1,\infty)$, $θ_i \in [0,1]$, $\sum_{i=1}^kθ_i=1$, $μ, λ\in A_p$, $ν:= μ^{1/p}λ^{-1/p}$. Here $A_p$ stan…
We study the convergence of the Laurent polynomials of Lagrange interpolation on the unit circle for continuous functions satisfying a condition about their modulus of continuity. The novelty of the result is that now the nodal systems are more general than those constituted by the n roots of complex unimodular numbers and the class of functions is different from the usually studied. Moreover, some consequences for the Lagrange interpolation on [-1,1] and the Lagrange trigonometric interpolation are obtained.
We consider divergence form elliptic equations $Lu:=\nabla\cdot(A\nabla u)=0$ in the half space $\mathbb{R}^{n+1}_+ :=\{(x,t)\in \mathbb{R}^n\times(0,\infty)\}$, whose coefficient matrix $A$ is complex elliptic, bounded and measurable. In addition, we suppose that $A$ satisfies some additional regularity in the direction transverse to the boundary, namely that the discrepancy $A(x,t) -A(x,0)$ satisfies a Carleson measure condition of Fefferman-Kenig-Pipher type, with small Carleson norm. Under these conditions, we establish a full range of boundedness results for double and single layer potent…
We consider a sequence of polynomials $\{P_n\}_{n \geq 0}$ satisfying a special $R_{II}$ type recurrence relation where the zeros of $P_n$ are simple and lie on the real line. It turns out that the polynomial $P_n$, for any $n \geq 2$, is the characteristic polynomial of a simple $n \times n$ generalized eigenvalue problem. It is shown that with this $R_{II}$ type recurrence relation one can always associate a positive measure on the unit circle. The orthogonality property satisfied by $P_n$ with respect to this measure is also obtained. Finally, examples are given to justify the results.
Let $(S, d, ρ)$ be the affine group $\mathrm{R}^n \ltimes \mathrm{R}^+$ endowed with the left-invariant Riemannian metric $d$ and the right Haar measure $ρ$, which is of exponential growth at infinity. In this paper, for any linear operator $T$ on $(S, d, ρ)$ associated with a kernel $K$ satisfying certain integral size condition and Hörmander's condition, the authors prove that the following four statements regarding the corresponding maximal singular integral $T^\ast$ are equivalent: $T^\ast$ is bounded from $L_c^\infty$ to $\mathrm{BMO}$, $T^\ast$ is bounded on $L^p$ for all $p\in(1, \infty…
We show that solutions to Krein systems, the continuous frequency analogue of orthogonal polynomials on the unit circle, generated by an $A_2 (\mathbb{R})$ weight $w$ satisfying $w-1 \in L^1 (\mathbb{R}) + L^2 (\mathbb{R})$, are uniformly bounded in $L^p_{\mathrm{loc}} (w, \mathbb{R})$ for $p$ sufficiently close to $2$. This provides a positive answer to the Steklov problem for Krein systems. Furthermore, we define a "remainder" which measures the difference between the solution to a Krein system and a polynomial-like approximant, and we estimate these remainders in $L^p_w (\mathbb{R})$ for $w…
We consider functions $ω$ on the unit circle $\mathbb T$ with a finite number of logarithmic singularities. We study the approximation of $ω$ by rational functions and find an asymptotic formula for the distance in the BMO-norm between $ω$ and the set of rational functions of degree $n$ as $n\to\infty$. Our approach relies on the Adamyan-Arov-Krein theorem and on the study of the asymptotic behaviour of singular values of Hankel operators.
Let $(\mathcal{X},d,μ)$ be a metric measure space satisfying the so-called upper doubling condition and the geometrically doubling condition. Let $T$ be a Calderón-Zygmund operator with kernel satisfying only the size condition and some Hörmander-type condition, and $b\in\rm{\widetilde{RBMO}(μ)}$ (the regularized BMO space with the discrete coefficient). In this paper, the authors establish the boundedness of the commutator $T_b:=bT-Tb$ generated by $T$ and $b$ from the atomic Hardy space $\widetilde{H}^1(μ)$ with the discrete coefficient into the weak Lebesgue space $L^{1,\,\infty}(μ)$. The b…
We study the root distribution of some univariate polynomials satisfying a recurrence of order two with linear and quadratic polynomial coefficients. We show that the set of non-isolated limits of zeros of the polynomials is the closure of an arc, a circle, an interval or its exterior under the real line, the union of at most two different shapes of the above cases expect the union of an arc and a circle, and some degenerate forms.
For a parameter $λ>0$, we investigate greedy $λ$-energy sequences $(a_{n})_{n=0}^{\infty}$ on the unit sphere $S^{d}\subset\mathbb{R}^{d+1}$, $d\geq 1$, satisfying the defining property that each $a_{n}$, $n\geq 1$, is a point where the potential $\sum_{k=0}^{n-1}|x-a_{k}|^λ$ attains its maximum value on $S^{d}$. We show that these sequences satisfy the symmetry property $a_{2k+1}=-a_{2k}$ for every $k\geq 0$. The asymptotic distribution of the sequence undergoes a sharp transition at the value $λ=2$, from uniform distribution ($λ<2$) to concentration on two antipodal points ($λ>2$). We invest…
Let $Ω\subset \mathbb{R}^{n+1}$, $n\ge 2$, be a 1-sided non-tangentially accessible domain (i.e., quantitatively open and path-connected) satisfiying the capacity density condition. Let $L_0 u=-\mathrm{div}(A_0 \nabla u)$, $Lu=-\mathrm{div}(A\nabla u)$ be two real uniformly elliptic operators in $Ω$, with $ω_{L_0}, ω_L$ the associated elliptic measures. We establish the equivalence between the following properties: (i) $ω_L \in A_{\infty}(ω_{L_0})$, (ii) $L$ is $L^p(ω_{L_0})$-solvable for some $p\in (1,\infty)$, (iii) bounded null solutions of $L$ satisfy Carleson measure estimates with respec…