No Arabic abstract
In this contribution we consider sequences of monic polynomials orthogonal with respect to the standard Freud-like inner product involving a quartic potential $leftlangle p,qrightrangle_{M}=int_{mathbb{R}}p(x)q(x)e^{-x^{4}+2tx^{2}}dx+Mp(0)q(0).$ We analyze some properties of these polynomials, such as the ladder operators and the holonomic equation that they satisfy and, as an application, we give an electrostatic interpretation of their zero distribution in terms of a logarithmic potential interaction under the action of an external field. It is also shown that the coefficients of their three term recurrence relation satisfy a nonlinear difference string equation. Finally, an equation of motion for their zeros in terms of their dependence on $t$ is given.
In this contribution we deal with sequences of monic polynomials orthogonal with respect to the Freud Sobolev-type inner product begin{equation*} leftlangle p,qrightrangle _{s}=int_{mathbb{R}}p(x)q(x)e^{-x^{4}}dx+M_{0}p(0)q(0)+M_{1}p^{prime }(0)q^{prime }(0), end{equation*}% where $p,q$ are polynomials, $M_{0}$ and $M_{1}$ are nonnegative real numbers. Connection formulas between these polynomials and Freud polynomials are deduced and, as a consequence, a five term recurrence relation for such polynomials is obtained. The location of their zeros as well as their asymptotic behavior is studied. Finally, an electrostatic interpretation of them in terms of a logarithmic interaction in the presence of an external field is given.
Let ${bf P}_k^{(alpha, beta)} (x)$ be an orthonormal Jacobi polynomial of degree $k.$ We will establish the following inequality begin{equation*} max_{x in [delta_{-1},delta_1]}sqrt{(x- delta_{-1})(delta_1-x)} (1-x)^{alpha}(1+x)^{beta} ({bf P}_{k}^{(alpha, beta)} (x))^2 < frac{3 sqrt{5}}{5}, end{equation*} where $delta_{-1}<delta_1$ are appropriate approximations to the extreme zeros of ${bf P}_k^{(alpha, beta)} (x) .$ As a corollary we confirm, even in a stronger form, T. Erd{e}lyi, A.P. Magnus and P. Nevai conjecture [Erd{e}lyi et al., Generalized Jacobi weights, Christoffel functions, and Jacobi polynomials, SIAM J. Math. Anal. 25 (1994), 602-614], by proving that begin{equation*} max_{x in [-1,1]}(1-x)^{alpha+{1/2}}(1+x)^{beta+{1/2}}({bf P}_k^{(alpha, beta)} (x))^2 < 3 alpha^{1/3} (1+ frac{alpha}{k})^{1/6}, end{equation*} in the region $k ge 6, alpha, beta ge frac{1+ sqrt{2}}{4}.$
The velocity potential in the Kelvin ship-wave source can be partly expressed in terms of space derivatives of the single integral [F(x,rho,alpha)=int_{-infty}^infty exp,[-frac{1}{2}rho cosh (2u-ialpha)] cos (xcosh u),du,] where $(x, rho, alpha)$ are cylindrical polar coordinates with origin based at the source and $-pi/2leqalphaleqpi/2$. An asymptotic expansion of $F(x,rho,alpha)$ when $x$ and $rho$ are small, but such that $Mequiv x^2/(4rho)$ is large, was given using a non-rigorous approach by Bessho in 1964 as a sum involving products of Bessel functions. This expansion, together with an additional integral term, was subsequently proved by Ursell in 1988. Our aim here is to present an alternative asymptotic procedure for the case of large $M$. The resulting expansion consists of three distinct parts: a convergent sum involving the Struve functions, an asymptotic series and an exponentially small saddle-point contribution. Numerical computations are carried out to verify the accuracy of our expansion.
We study the bilinear Hilbert transform and bilinear maximal functions associated to polynomial curves and obtain uniform $L^r$ estimates for $r>frac{d-1}{d}$ and this index is sharp up to the end point.
Let $M = mathbb R^m sharp mathcal R^n$ be a non-doubling manifold with two ends $mathbb R^m sharp mathcal R^n$, $m > n ge 3$. Let $Delta$ be the Laplace--Beltrami operator which is non-negative self-adjoint on $L^2(M)$. Then $Delta$ and its square root $sqrt{Delta}$ generate the semigroups $e^{-tDelta}$ and $e^{-tsqrt{Delta}}$ on $L^2(M)$, respectively. We give testing conditions for the two weight inequality for the Poisson semigroup $e^{-tsqrt{Delta}}$ to hold in this setting. In particular, we prove that for a measure $mu$ on $M_{+}:=Mtimes (0,infty)$ and $sigma$ on $M$: $$ |mathsf{P}_sigma(f)|_{L^2(M_{+};mu)} lesssim |f|_{L^2(M;sigma)}, $$ with $mathsf{P}_sigma(f)(x,t):= int_M mathsf{P}_t(x,y)f(y) ,dsigma(y)$ if and only if testing conditions hold for the Poisson semigroup and its adjoint. Further, the norm of the operator is shown to be equivalent to the best constant in these testing conditions.