Let ${A_k}_{k=0}^{+\infty }$ be a sequence of arbitrary complex numbers, let α,β > -1, let Pₙα,βn=0+∞$betheJacobipolynomialsanddefinethefunctions$ $Hₙ(\alpha ,z)={\sum }_{m=n}^{+\infty }\left(A_m{z}^m\right)/(\Gamma (\alpha +n+m+1)(m-n)!)$, $G(\alpha ,\beta ,x,y)={\sum }_{r,s=0}^{+\infty }\left(A_{r+s}{x}^r{y}^s\right)/(\Gamma (\alpha +r+1)\Gamma (\beta +s+1)r!s!)$. Then, for any non-negative integer n, ${\int }_0^{\pi /2}G(\alpha ,\beta ,x²sin²\varphi ,y²cos²\varphi )P{ₙ}^{\alpha ,\beta }\left(cos²\varphi \right)si{n}^{2\alpha +1}\varphi co{s}^{2\beta +1}\varphi d=1/2Hₙ(\alpha +\beta +1,x²+y²)P{ₙ}^{\alpha ,\beta }((y²-x²)/(y²+x²))$. When $A_k={(-1/4)}^k$, this formula reduces to Bateman’s expansion for Bessel functions. For particular values of y and n one obtains generalizations of several formulas already known for Bessel functions, like Sonine’s first and second finite integrals and certain Neumann series expansions. Particular choices of ${A_k}_{k=0}^{+\infty }$ allow one to write all these type of formulas...

The maximal operator S⁎ for the spherical summation operator (or disc multiplier) $S_R$ associated with the Jacobi transform through the defining relation $\widehat{S_{R}f}\left(\lambda \right)=1_{\left|\lambda \right|\le R}f̂\left(t\right)$ for a function f on ℝ is shown to be bounded from $L^p(ℝ₊,d\mu )$ into $L^p(ℝ,d\mu )+L²(ℝ,d\mu )$ for (4α + 4)/(2α + 3) < p ≤ 2. Moreover S⁎ is bounded from $L^{p₀,1}(ℝ₊,d\mu )$ into $L^{p₀,\infty }(ℝ,d\mu )+L²(ℝ,d\mu )$. In particular ${S_{R}f\left(t\right)}_{R>0}$ converges almost everywhere towards f, for $f\in L^p(ℝ₊,d\mu )$, whenever (4α + 4)/(2α + 3) < p ≤ 2.

The Littlewood-Paley theory is extended to weighted spaces of distributions on [-1,1] with Jacobi weights $w\left(t\right)={(1-t)}^{\alpha }{(1+t)}^{\beta }$. Almost exponentially localized polynomial elements (needlets) ${\phi }_{\xi }$, ${\psi }_{\xi }$ are constructed and, in complete analogy with the classical case on ℝⁿ, it is shown that weighted Triebel-Lizorkin and Besov spaces can be characterized by the size of the needlet coefficients $⟨f,{\phi }_{\xi }⟩$ in respective sequence spaces.

We provide a comparative study of the Subspace Projected Approximate Matrix method, abbreviated SPAM, which is a fairly recent iterative method of computing a few eigenvalues of a Hermitian matrix $A$. It falls in the category of inner-outer iteration methods and aims to reduce the costs of matrix-vector products with $A$ within its inner iteration. This is done by choosing an approximation $A_0$ of $A$, and then, based on both $A$ and $A_0$, to define a sequence ${\left(A_k\right)}_{k=0}^n$ of matrices that increasingly better...

Let $X$ be a submanifold of a manifold $Z$. We address the question: When do viscosity subsolutions of a fully nonlinear PDE on $Z$, restrict to be viscosity subsolutions of the restricted subequation on $X$? This is not always true, and conditions are required. We first prove a basic result which, in theory, can be applied to any subequation. Then two definitive results are obtained. The first applies to any “geometrically defined” subequation, and the second to any subequation which can be...

Let Mⁿ be a hypersurface in $R^{n+1}$. We prove that two classical Jacobi curvature operators $J_x$ and $J_y$ commute on Mⁿ, n > 2, for all orthonormal pairs (x,y) and for all points p ∈ M if and only if Mⁿ is a space of constant sectional curvature. Also we consider all hypersurfaces with n ≥ 4 satisfying the commutation relation $\left(K_{x,y}\circ K_{z,u}\right)\left(u\right)=\left(K_{z,u}\circ K_{x,y}\right)\left(u\right)$, where $K_{x,y}\left(u\right)=R(x,y,u)$, for all orthonormal tangent vectors x,y,z,w and for all points p ∈ M.

We construct travelling wave graphs of the form $z=-ct+\phi \left(x\right)$, $\phi :x\in {ℝ}^{N-1}\mapsto \phi \left(x\right)\in ℝ$, $N\ge 2$, solutions to the $N$-dimensional forced mean curvature motion $V_n=-c_0+\kappa$ ($c\ge c_0$) with prescribed asymptotics. For any $1$-homogeneous function ${\phi }_{\infty }$, viscosity solution to the eikonal equation $|D{\phi }_{\infty }|=\sqrt{{(c/c_0)}^2-1}$, we exhibit a smooth concave solution to the forced mean curvature motion whose asymptotics is driven by ${\phi }_{\infty }$. We also describe ${\phi }_{\infty }$ in terms of a probability measure on ${\S }^{N-2}$.

Let ${\left(U_t\right)}_{t\ge 0}$ be a Brownian motion valued in the complex projective space $ℂP^{N-1}$. Using unitary spherical harmonics of homogeneous degree zero, we derive the densities of $|U_t^1{|}^2$ and of $\left(\right|U_t^1{|}^2,\left|U_t^2{|}^2\right)$, and express them through Jacobi polynomials in the simplices of $ℝ$ and ${ℝ}^2$ respectively. More generally, the distribution of $\left(\right|U_t^1{|}^2,\cdots ,\left|U_t^k{|}^2\right),2\le k\le N-1$ may be derived using the decomposition of the unitary spherical harmonics under the action of the unitary group $𝒰(N-k+1)$ yet computations become tedious. We also revisit the approach initiated in [] and...

Let $\Omega \subset {ℝ}^n,n\ge 3$, and let $p,1<p<\infty ,p\ne 2$, be given. In this paper we study the dimension of $p$-harmonic measures that arise from non-negative solutions to the $p$-Laplace equation, vanishing on a portion of $\partial \Omega$, in the setting of $\delta$-Reifenberg flat domains. We prove, for $p\ge n$, that there exists $\tilde{\delta }=\tilde{\delta }(p,n)>0$ small such that if $\Omega$ is a $\delta$-Reifenberg flat domain with $\delta <\tilde{\delta }$, then $p$-harmonic measure is concentrated on a set of $\sigma$-finite $H^{n-1}$-measure. We prove, for $p\ge n$, that for sufficiently flat Wolff snowflakes the Hausdorff dimension of $p$-harmonic...

We introduce a new model of irreversible quasistatic crack growth in which the evolution of cracks is the limit of a suitably modified $ϵ$-gradient flow of the energy functional, as the "viscosity" parameter $ϵ$ tends to zero.

The harmonic Cesàro operator is defined for a function f in $L^p\left(ℝ\right)$ for some 1 ≤ p < ∞ by setting $\left(f\right)\left(x\right):={\int }_x^{\infty }(f\left(u\right)/u)du$ for x > 0 and $\left(f\right)\left(x\right):=-{\int }_{-\infty }^x(f\left(u\right)/u)du$ for x < 0; the harmonic Copson operator ℂ* is defined for a function f in $L{¹}_{loc}\left(ℝ\right)$ by setting $*\left(f\right)\left(x\right):=(1/x){\int }^{x₀}f\left(u\right)du$ for x ≠ 0. The notation indicates that ℂ and ℂ* are adjoint operators in a certain sense. We present rigorous proofs of the following two commuting relations: (i) If $f\in L^p\left(ℝ\right)$ for some 1 ≤ p ≤ 2, then ${\left(\left(f\right)\right)}^{\wedge }\left(t\right)=*\left(f̂\right)\left(t\right)$ a.e., where f̂ denotes the Fourier transform of f. (ii) If $f\in L^p\left(ℝ\right)$ for some 1 < p ≤ 2, then...

We consider the class ${\mathscr{H}}_0$ of sense-preserving harmonic functions $f=h+\overline{g}$ defined in the unit disk $\left|z\right|<1$ and normalized so that $h\left(0\right)=0=h^{\text{'}}\left(0\right)-1$ and $g\left(0\right)=0=g^{\text{'}}\left(0\right)$, where $h$ and $g$ are analytic in the unit disk. In the first part of the article we present two classes ${𝒫}_H^0\left(\alpha \right)$ and ${𝒢}_H^0\left(\beta \right)$ of functions from ${\mathscr{H}}_0$ and show that if $f\in {𝒫}_H^0\left(\alpha \right)$ and $F\in {𝒢}_H^0\left(\beta \right)$, then the harmonic convolution is a univalent and close-to-convex harmonic function in the unit disk provided certain conditions for parameters $\alpha$ and $\beta$ are satisfied. In the second part we study the harmonic sections...

Let $(M,\theta )$ be a compact CR manifold of dimension $2n+1$ with a contact form $\theta$, and $L=(2+2/n){\Delta }_b+R$ its associated CR conformal laplacien. The CR Yamabe conjecture states that there is a contact form $\tilde{\theta }$ on $M$ conformal to $\theta$ which has a constant Webster curvature. This problem is equivalent to the existence of a function $u$ such that $Lu=u^{1+2/n}$, $u>0$ on $M$. D. Jerison and J. M. Lee solved the CR Yamabe problem in the case where $n\ge 2$ and $(M,\theta )$ is not locally CR equivalent to the sphere $S^{2n+1}$ of ${𝐂}^n$. In a join work with R. Yacoub, the CR Yamabe...

Let us consider two closed surfaces $ℳ$, $𝒩$ of class $C^1$ and two functions $\varphi :ℳ\to ℝ$, $\psi :𝒩\to ℝ$ of class $C^1$, called measuring functions. The natural pseudodistance $d$ between the pairs $(ℳ,)$, $(𝒩,\psi )$ is defined as the infimum of $\Theta \left(f\right):={max}_{P\in ℳ}\left|\varphi \left(P\right)-\psi \left(f\left(P\right)\right)\right|$ as $f$ varies in the set of all homeomorphisms from $ℳ$ onto $𝒩$. In this paper we prove that the natural pseudodistance equals either $|c_1-c_2|$, $\frac{1}{2}\left|c_1-c_2\right|$, or $\frac{1}{3}\left|c_1-c_2\right|$, where $c_1$ and $c_2$ are two suitable critical values of the measuring functions. This shows that a previous relation between the natural pseudodistance and...

We prove that Bloch’s conjecture is true for surfaces with $p_g=0$ obtained as $0$-sets $X_{\sigma }$ of a section $\sigma$ of a very ample vector bundle on a variety $X$ with “trivial” Chow groups. We get a similar result in presence of a finite group action, showing that if a projector of the group acts as $0$ on holomorphic $2$-forms of $X_{\sigma }$, then it acts as $0$ on $0$-cycles of degree $0$ of $X_{\sigma }$. In higher dimension, we also prove a similar but conditional result showing that the generalized Hodge conjecture for general $X_{\sigma }$...

Let $M$ be a smooth connected complete manifold of dimension $n$, and $\Delta$ be a smooth nonholonomic distribution of rank $m\le n$ on $M$. We prove that if there exists a smooth Riemannian metric on1for which no nontrivial singular path is minimizing, then there exists a smooth repulsive stabilizing section of $\Delta$ on $M$. Moreover, in dimension three, the assumption of the absence of singular minimizing horizontal paths can be dropped in the Martinet case. The proofs are based on the study, using specific...

In this paper we study some potential theoretical properties of solutions and super-solutions of some PDE systems (S) of type $L_{1}u=-{\mu }_{1}v$, $L_{2}v=-{\mu }_{2}u$, on a domain $D$ of ${ℝ}^d$, where ${\mu }_1$ and ${\mu }_2$ are suitable measures on $D$, and $L_1$, $L_2$ are two second order linear differential elliptic operators on $D$ with coefficients of class ${𝒞}^{\infty }$. We also obtain the integral representation of the nonnegative solutions and supersolutions of the system (S) by means of the Green kernels and Martin boundaries associated with $L_1$ and $L_2$, and...

Let $q\ge 2$ and denote by $s_q$ the sum-of-digits function in base $q$. For $j=0,1,\cdots ,q-1$ consider $$\#\{0\le n\&lt;N:s_q\left(2n\right)\equiv j(modq)\}.$$ In 1983, F. M. Dekking conjectured that this quantity is greater than $N/q$ and, respectively, less than $N/q$ for infinitely many $N$, thereby claiming an absence of a drift (or Newman) phenomenon. In this paper we prove his conjecture.

We prove that for every ε > 0 and every nonnegative integer w there exist primes $p_1,...,p_w$ such that for $n=p_1...p_w$ the height of the cyclotomic polynomial ${\Phi }_n$ is at least $(1-\epsilon )c_w{M}_n$, where $M_n={\prod }_{i=1}^{w-2}{p}_i^{2^{w-1-i}-1}$ and $c_w$ is a constant depending only on w; furthermore $li{m}_{w\to \infty }{c}_w^{2^{-w}}\approx 0.71$. In our construction we can have $p_i>h(p_1...p_{i-1})$ for all i = 1,...,w and any function h: ℝ₊ → ℝ₊.