Operators related to the Jacobi setting, for all admissible parameter values

Similar documents
Chapter 2. First Order Scalar Equations

SMT 2014 Calculus Test Solutions February 15, 2014 = 3 5 = 15.

MATH 4330/5330, Fourier Analysis Section 6, Proof of Fourier s Theorem for Pointwise Convergence

1 1 + x 2 dx. tan 1 (2) = ] ] x 3. Solution: Recall that the given integral is improper because. x 3. 1 x 3. dx = lim dx.

Challenge Problems. DIS 203 and 210. March 6, (e 2) k. k(k + 2). k=1. f(x) = k(k + 2) = 1 x k

23.2. Representing Periodic Functions by Fourier Series. Introduction. Prerequisites. Learning Outcomes

MATH 31B: MIDTERM 2 REVIEW. x 2 e x2 2x dx = 1. ue u du 2. x 2 e x2 e x2] + C 2. dx = x ln(x) 2 2. ln x dx = x ln x x + C. 2, or dx = 2u du.

Lecture 10: The Poincaré Inequality in Euclidean space

23.5. Half-Range Series. Introduction. Prerequisites. Learning Outcomes

!!"#"$%&#'()!"#&'(*%)+,&',-)./0)1-*23)

An Introduction to Malliavin calculus and its applications

6. Stochastic calculus with jump processes

15. Vector Valued Functions

Two Coupled Oscillators / Normal Modes

Math 221: Mathematical Notation

10. State Space Methods

t is a basis for the solution space to this system, then the matrix having these solutions as columns, t x 1 t, x 2 t,... x n t x 2 t...

Math 2142 Exam 1 Review Problems. x 2 + f (0) 3! for the 3rd Taylor polynomial at x = 0. To calculate the various quantities:

Properties Of Solutions To A Generalized Liénard Equation With Forcing Term

CHAPTER 2 Signals And Spectra

KEY. Math 334 Midterm I Fall 2008 sections 001 and 003 Instructor: Scott Glasgow

dt = C exp (3 ln t 4 ). t 4 W = C exp ( ln(4 t) 3) = C(4 t) 3.

Differential Equations

Solutions to Assignment 1

t 2 B F x,t n dsdt t u x,t dxdt

dy dx = xey (a) y(0) = 2 (b) y(1) = 2.5 SOLUTION: See next page

Example on p. 157

-e x ( 0!x+1! ) -e x 0!x 2 +1!x+2! e t dt, the following expressions hold. t

Guest Lectures for Dr. MacFarlane s EE3350 Part Deux

Endpoint Strichartz estimates

CHARACTERIZATION OF REARRANGEMENT INVARIANT SPACES WITH FIXED POINTS FOR THE HARDY LITTLEWOOD MAXIMAL OPERATOR

Heat kernel and Harnack inequality on Riemannian manifolds

Average Number of Lattice Points in a Disk

Final Spring 2007

On Gronwall s Type Integral Inequalities with Singular Kernels

Chapter 6. Systems of First Order Linear Differential Equations

A Bayesian Approach to Spectral Analysis

SOLUTIONS TO ECE 3084

Math Week 14 April 16-20: sections first order systems of linear differential equations; 7.4 mass-spring systems.

Distance Between Two Ellipses in 3D

Variational Iteration Method for Solving System of Fractional Order Ordinary Differential Equations

Weyl sequences: Asymptotic distributions of the partition lengths

Let us start with a two dimensional case. We consider a vector ( x,

Solutions of Sample Problems for Third In-Class Exam Math 246, Spring 2011, Professor David Levermore

THE SINE INTEGRAL. x dt t

Math Final Exam Solutions

arxiv:math/ v1 [math.nt] 3 Nov 2005

( ) 2. Review Exercise 2. cos θ 2 3 = = 2 tan. cos. 2 x = = x a. Since π π, = 2. sin = = 2+ = = cotx. 2 sin θ 2+

THE BERNOULLI NUMBERS. t k. = lim. = lim = 1, d t B 1 = lim. 1+e t te t = lim t 0 (e t 1) 2. = lim = 1 2.

Section 3.5 Nonhomogeneous Equations; Method of Undetermined Coefficients

A Note on the Equivalence of Fractional Relaxation Equations to Differential Equations with Varying Coefficients

Week #13 - Integration by Parts & Numerical Integration Section 7.2

Homework sheet Exercises done during the lecture of March 12, 2014

Online Appendix to Solution Methods for Models with Rare Disasters

The expectation value of the field operator.

Predator - Prey Model Trajectories and the nonlinear conservation law

PENALIZED LEAST SQUARES AND PENALIZED LIKELIHOOD

arxiv: v2 [math.ap] 16 Oct 2017

Wavelet Methods for Time Series Analysis. What is a Wavelet? Part I: Introduction to Wavelets and Wavelet Transforms. sines & cosines are big waves

d 1 = c 1 b 2 - b 1 c 2 d 2 = c 1 b 3 - b 1 c 3

Laplace Transforms. Examples. Is this equation differential? y 2 2y + 1 = 0, y 2 2y + 1 = 0, (y ) 2 2y + 1 = cos x,

Bernoulli numbers. Francesco Chiatti, Matteo Pintonello. December 5, 2016

1 Solutions to selected problems

System of Linear Differential Equations

Model Reduction for Dynamical Systems Lecture 6

Monotonic Solutions of a Class of Quadratic Singular Integral Equations of Volterra type

Finish reading Chapter 2 of Spivak, rereading earlier sections as necessary. handout and fill in some missing details!

arxiv: v1 [math.fa] 9 Dec 2018

Physics 127b: Statistical Mechanics. Fokker-Planck Equation. Time Evolution

A NOTE ON S(t) AND THE ZEROS OF THE RIEMANN ZETA-FUNCTION

6.2 Transforms of Derivatives and Integrals.

A FAMILY OF MARTINGALES GENERATED BY A PROCESS WITH INDEPENDENT INCREMENTS

Class Meeting # 10: Introduction to the Wave Equation

Math 10B: Mock Mid II. April 13, 2016

4. The multiple use forestry maximum principle. This principle will be derived as in Heaps (1984) by considering perturbations

Ann. Funct. Anal. 2 (2011), no. 2, A nnals of F unctional A nalysis ISSN: (electronic) URL:

2 int T. is the Fourier transform of f(t) which is the inverse Fourier transform of f. i t e

THE WAVE EQUATION. part hand-in for week 9 b. Any dilation v(x, t) = u(λx, λt) of u(x, t) is also a solution (where λ is constant).

Fourier Series & The Fourier Transform. Joseph Fourier, our hero. Lord Kelvin on Fourier s theorem. What do we want from the Fourier Transform?

EECE 301 Signals & Systems Prof. Mark Fowler

4 Sequences of measurable functions

556: MATHEMATICAL STATISTICS I

Robotics I. April 11, The kinematics of a 3R spatial robot is specified by the Denavit-Hartenberg parameters in Tab. 1.

MA 214 Calculus IV (Spring 2016) Section 2. Homework Assignment 1 Solutions

Double system parts optimization: static and dynamic model

a. Show that these lines intersect by finding the point of intersection. b. Find an equation for the plane containing these lines.

KEY. Math 334 Midterm III Winter 2008 section 002 Instructor: Scott Glasgow

BOUNDEDNESS OF MAXIMAL FUNCTIONS ON NON-DOUBLING MANIFOLDS WITH ENDS

Chapter 8 The Complete Response of RL and RC Circuits

Notes 04 largely plagiarized by %khc

Lecture 3: Fourier transforms and Poisson summation

LAPLACE TRANSFORM AND TRANSFER FUNCTION

Representation of Stochastic Process by Means of Stochastic Integrals

4.6 One Dimensional Kinematics and Integration

THE 2-BODY PROBLEM. FIGURE 1. A pair of ellipses sharing a common focus. (c,b) c+a ROBERT J. VANDERBEI

Comparison between the Discrete and Continuous Time Models

The L p -Version of the Generalized Bohl Perron Principle for Vector Equations with Infinite Delay

Undetermined coefficients for local fractional differential equations

Notes for Lecture 17-18

BEng (Hons) Telecommunications. Examinations for / Semester 2

Transcription:

Operaors relaed o he Jacobi seing, for all admissible parameer values Peer Sjögren Universiy of Gohenburg Join work wih A. Nowak and T. Szarek Alba, June 2013 () 1 / 18

Le Pn α,β be he classical Jacobi polynomials, seen via he ransformaion x = cos θ as funcions of θ [0, π]. Here α,β > 1. () 2 / 18

Le Pn α,β be he classical Jacobi polynomials, seen via he ransformaion x = cos θ as funcions of θ [0, π]. Here α,β > 1. The P α,β n are orhogonal wih respec o he measure dµ α,β (θ) = ( sin θ ) 2α+1 ( cos θ 2β+1 dθ in [0,π], 2 2) and we ake hem o be normalized in L 2 (dµ α,β ). () 2 / 18

Le Pn α,β be he classical Jacobi polynomials, seen via he ransformaion x = cos θ as funcions of θ [0, π]. Here α,β > 1. The P α,β n are orhogonal wih respec o he measure dµ α,β (θ) = ( sin θ ) 2α+1 ( cos θ 2β+1 dθ in [0,π], 2 2) and we ake hem o be normalized in L 2 (dµ α,β ). They are eigenfuncions of he Jacobi operaor J α,β = d 2 wih eigenvalues α β + (α + β + 1) cos θ dθ2 sin θ ( ) 2. n + α+β+1 2 d ( α + β + 1 ) 2, dθ + 2 () 2 / 18

The corresponding Poisson operaor exp( J α,β ), > 0, can be defined specrally and has he inegral kernel H α,β (θ,ϕ) = n=0 called he Jacobi-Poisson kernel. α+β+1 n+ e 2 P α,β n (θ)pn α,β (ϕ), () 3 / 18

The corresponding Poisson operaor exp( J α,β ), > 0, can be defined specrally and has he inegral kernel H α,β (θ,ϕ) = n=0 called he Jacobi-Poisson kernel. α+β+1 n+ e 2 P α,β n (θ)pn α,β (ϕ), By means of H α,β, one can express he kernels of many operaors associaed wih he Jacobi seing. () 3 / 18

The corresponding Poisson operaor exp( J α,β ), > 0, can be defined specrally and has he inegral kernel H α,β (θ,ϕ) = n=0 called he Jacobi-Poisson kernel. α+β+1 n+ e 2 P α,β n (θ)pn α,β (ϕ), By means of H α,β, one can express he kernels of many operaors associaed wih he Jacobi seing. We lis some of hese operaors and heir kernels. () 3 / 18

Riesz ransforms D N (J α,β ) N/2 c N 0 of order N 1, wih kernels θ N Hα,β (θ,ϕ) N 1 d. () 4 / 18

Riesz ransforms D N (J α,β ) N/2 c N 0 of order N 1, wih kernels θ N Hα,β (θ,ϕ) N 1 d. ( J ) Laplace ransform ype mulipliers m α,β wih m given by m(z) = zlφ(z), where L denoes he Laplace ransform and φ L (R + ). () 4 / 18

Riesz ransforms D N (J α,β ) N/2 c N 0 of order N 1, wih kernels θ N Hα,β (θ,ϕ) N 1 d. ( J ) Laplace ransform ype mulipliers m α,β wih m given by m(z) = zlφ(z), where L denoes he Laplace ransform and φ L (R + ). The kernel is 0 φ() H α,β (θ,ϕ) d. () 4 / 18

Riesz ransforms D N (J α,β ) N/2 c N 0 of order N 1, wih kernels θ N Hα,β (θ,ϕ) N 1 d. ( J ) Laplace ransform ype mulipliers m α,β wih m given by m(z) = zlφ(z), where L denoes he Laplace ransform and φ L (R + ). The kernel is 0 φ() H α,β (θ,ϕ) d. Wih φ() = cons. 2iγ, γ 0, his gives he imaginary power (J α,β ) iγ of he Jacobi operaor. () 4 / 18

Riesz ransforms D N (J α,β ) N/2 c N 0 of order N 1, wih kernels θ N Hα,β (θ,ϕ) N 1 d. ( J ) Laplace ransform ype mulipliers m α,β wih m given by m(z) = zlφ(z), where L denoes he Laplace ransform and φ L (R + ). The kernel is 0 φ() H α,β (θ,ϕ) d. Wih φ() = cons. 2iγ, γ 0, his gives he imaginary power (J α,β ) iγ of he Jacobi operaor. ( J ) Laplace-Sieljes ransform ype mulipliers m α,β, where m = Lν and ν is a signed or complex Borel measure on (0, ) saisfying e α+β+1 /2 d ν () <. The kernel is now H α,β (θ,ϕ) dν(). (0, ) () 4 / 18

These kernels are scalar-valued. Bu allowing kernels aking values in a Banach space B, one can wrie more operaor kernels. () 5 / 18

These kernels are scalar-valued. Bu allowing kernels aking values in a Banach space B, one can wrie more operaor kernels. Examples: The Poisson maximal operaor, wih kernel { H α,β (θ,ϕ) } >0 and B = L (R + ; d). () 5 / 18

These kernels are scalar-valued. Bu allowing kernels aking values in a Banach space B, one can wrie more operaor kernels. Examples: The Poisson maximal operaor, wih kernel { H α,β (θ,ϕ) } >0 and B = L (R + ; d). The mixed square funcions, wih kernels { N θ M H α,β (θ,ϕ) } >0 and B = L 2 (R + ; 2M+2N 1 d). Here M + N > 0. () 5 / 18

Old resul: Theorem (Nowak and Sjögren, J.F.A.A. 2012) For α, β 1/2, he following among he operaors lised above are bounded on L p (dµ α,β ), 1 < p <, and of weak ype (1,1) for µ α,β : () 6 / 18

Old resul: Theorem (Nowak and Sjögren, J.F.A.A. 2012) For α, β 1/2, he following among he operaors lised above are bounded on L p (dµ α,β ), 1 < p <, and of weak ype (1,1) for µ α,β : The Riesz ransforms, he imaginary powers of he Jacobi operaor, he maximal operaor and he mixed square funcions. () 6 / 18

Old resul: Theorem (Nowak and Sjögren, J.F.A.A. 2012) For α, β 1/2, he following among he operaors lised above are bounded on L p (dµ α,β ), 1 < p <, and of weak ype (1,1) for µ α,β : The Riesz ransforms, he imaginary powers of he Jacobi operaor, he maximal operaor and he mixed square funcions. These operaors are also bounded beween he corresponding weighed spaces wih a weigh in he Muckenhoup class A α,β defined wih respec o he measure µ α,β. p, () 6 / 18

Old resul: Theorem (Nowak and Sjögren, J.F.A.A. 2012) For α, β 1/2, he following among he operaors lised above are bounded on L p (dµ α,β ), 1 < p <, and of weak ype (1,1) for µ α,β : The Riesz ransforms, he imaginary powers of he Jacobi operaor, he maximal operaor and he mixed square funcions. These operaors are also bounded beween he corresponding weighed spaces wih a weigh in he Muckenhoup class A α,β defined wih respec o he measure µ α,β. New resul: Theorem (Nowak, Sjögren and Szarek, 2013) The preceding heorem holds for all α, β > 1 and all he operaors lised above. p, () 6 / 18

To prove boh heorems, one shows ha he operaors are well-behaved Calderón-Zygmund operaors () 7 / 18

To prove boh heorems, one shows ha he operaors are well-behaved Calderón-Zygmund operaors on he space of homogeneous ype defined by he inerval [0, π] wih he measure µ α,β and he ordinary disance. () 7 / 18

To prove boh heorems, one shows ha he operaors are well-behaved Calderón-Zygmund operaors on he space of homogeneous ype defined by he inerval [0, π] wih he measure µ α,β and he ordinary disance. The operaors can be seen o be bounded on L 2 (dµ α,β ) (or L (dµ α,β ) in he case of he maximal operaor). () 7 / 18

To prove boh heorems, one shows ha he operaors are well-behaved Calderón-Zygmund operaors on he space of homogeneous ype defined by he inerval [0, π] wih he measure µ α,β and he ordinary disance. The operaors can be seen o be bounded on L 2 (dµ α,β ) (or L (dµ α,β ) in he case of he maximal operaor). So he main crux is o verify ha heir off-diagonal kernels saisfy he sandard esimaes in his space. () 7 / 18

To prove boh heorems, one shows ha he operaors are well-behaved Calderón-Zygmund operaors on he space of homogeneous ype defined by he inerval [0, π] wih he measure µ α,β and he ordinary disance. The operaors can be seen o be bounded on L 2 (dµ α,β ) (or L (dµ α,β ) in he case of he maximal operaor). So he main crux is o verify ha heir off-diagonal kernels saisfy he sandard esimaes in his space. I also requires some effor o prove ha he kernels are really as described above. () 7 / 18

The argumen for he old heorem is based on he following inegral formula for he Poisson kernel H α,β (θ,ϕ) = Ψ α,β (,θ,ϕ, u, v) dπ α (u) dπ β (v), valid for α, β > 1/2, () 8 / 18

The argumen for he old heorem is based on he following inegral formula for he Poisson kernel H α,β (θ,ϕ) = Ψ α,β (,θ,ϕ, u, v) dπ α (u) dπ β (v), valid for α, β > 1/2, where Ψ α,β (,θ,ϕ, u, v) = c α,β sinh 2 (cosh, 2 1 + q(θ,ϕ, u, v))α+β+2 () 8 / 18

The argumen for he old heorem is based on he following inegral formula for he Poisson kernel H α,β (θ,ϕ) = Ψ α,β (,θ,ϕ, u, v) dπ α (u) dπ β (v), valid for α, β > 1/2, where Ψ α,β (,θ,ϕ, u, v) = c α,β sinh 2 (cosh, 2 1 + q(θ,ϕ, u, v))α+β+2 and q(θ,ϕ, u, v) = 1 u sin θ 2 sin ϕ 2 v cos θ 2 cos ϕ 2 0, () 8 / 18

The argumen for he old heorem is based on he following inegral formula for he Poisson kernel H α,β (θ,ϕ) = Ψ α,β (,θ,ϕ, u, v) dπ α (u) dπ β (v), valid for α, β > 1/2, where Ψ α,β (,θ,ϕ, u, v) = c α,β sinh 2 (cosh, 2 1 + q(θ,ϕ, u, v))α+β+2 and q(θ,ϕ, u, v) = 1 u sin θ 2 sin ϕ 2 v cos θ 2 cos ϕ 2 0, and he probabiliy measures Π α and Π β are defined by dπ α (u) = Γ(α + 1) π Γ(α + 1/2) (1 u 2 ) α 1/2 du, 1 < u < 1. () 8 / 18

We wan o exend he inegral formula from α, β > 1/2 o α, β > 1, by analyic coninuaion. () 9 / 18

We wan o exend he inegral formula from α, β > 1/2 o α, β > 1, by analyic coninuaion. The defining expression for he measure dπ α makes sense for all α wih Rα > 1 excep α = 1/2 and produces a local, complex measure in ( 1, 1) wih infinie mass near ±1. () 9 / 18

We wan o exend he inegral formula from α, β > 1/2 o α, β > 1, by analyic coninuaion. The defining expression for he measure dπ α makes sense for all α wih Rα > 1 excep α = 1/2 and produces a local, complex measure in ( 1, 1) wih infinie mass near ±1. A he poin α = 1/2, here is a weak limi dπ 1/2 = 1 2 (δ 1 + δ 1 ). () 9 / 18

We wan o exend he inegral formula from α, β > 1/2 o α, β > 1, by analyic coninuaion. The defining expression for he measure dπ α makes sense for all α wih Rα > 1 excep α = 1/2 and produces a local, complex measure in ( 1, 1) wih infinie mass near ±1. A he poin α = 1/2, here is a weak limi dπ 1/2 = 1 2 (δ 1 + δ 1 ). Bu he inegral agains Ψ α,β (,θ,ϕ, u, v) will diverge a he endpoins if α or β, or heir real pars, go below -1/2. () 9 / 18

We wan o exend he inegral formula from α, β > 1/2 o α, β > 1, by analyic coninuaion. The defining expression for he measure dπ α makes sense for all α wih Rα > 1 excep α = 1/2 and produces a local, complex measure in ( 1, 1) wih infinie mass near ±1. A he poin α = 1/2, here is a weak limi dπ 1/2 = 1 2 (δ 1 + δ 1 ). Bu he inegral agains Ψ α,β (,θ,ϕ, u, v) will diverge a he endpoins if α or β, or heir real pars, go below -1/2. In order o ge convergence, we firs resric he inegral o u, v > 0, using he even par of he inegrand. Ψ α,β E (,θ,ϕ, u, v) = 1 4 Ψ α,β (,θ,ϕ, ±u, ±v) ± ± () 9 / 18

Since he measures dπ α are even, he formula can be wrien H α,β (θ,ϕ) = 4 (,θ,ϕ, u, v) dπ α(u) dπ β (v). Ψ α,β (0,1] 2 E () 10 / 18

Since he measures dπ α are even, he formula can be wrien H α,β (θ,ϕ) = 4 (,θ,ϕ, u, v) dπ α(u) dπ β (v). Ψ α,β (0,1] 2 E By subracing an adding he values of Ψ α,β E (,θ,ϕ, u, v) a he endpoins u, v = 1, we can rewrie his as () 10 / 18

Since he measures dπ α are even, he formula can be wrien H α,β (θ,ϕ) = 4 (,θ,ϕ, u, v) dπ α(u) dπ β (v). Ψ α,β (0,1] 2 E By subracing an adding he values of Ψ α,β E (,θ,ϕ, u, v) a he endpoins u, v = 1, we can rewrie his as ( H α,β (θ, ϕ) = 4 (,θ,ϕ, u, v) Ψα,β (,θ,ϕ, u, 1) + 2 + 2 (0,1] 2 Ψ α,β E (0,1] (0,1] Ψ α,β E E ) (,θ,ϕ, 1, v) + Ψα,β E (,θ,ϕ, 1, 1) dπ α (u) dπ β (v) ( ) Ψ α,β E (,θ,ϕ, u, 1) Ψα,β E (,θ,ϕ, 1, 1) dπ α (u) ( ) (,θ,ϕ, 1, v) Ψα,β E (,θ,ϕ, 1, 1) dπ β (v) Ψ α,β E + Ψ α,β E (,θ,ϕ, 1, 1). () 10 / 18

The righ-hand side here can be coninued analyically from α,β > 1/2 o Rα, Rβ > 1. () 11 / 18

The righ-hand side here can be coninued analyically from α,β > 1/2 o Rα, Rβ > 1. This will produce an analyic coninuaion of he lef-hand side H α,β (θ,ϕ) = n=0 α+β+1 n+ e 2 P α,β n (θ)pn α,β (ϕ). () 11 / 18

The righ-hand side here can be coninued analyically from α,β > 1/2 o Rα, Rβ > 1. This will produce an analyic coninuaion of he lef-hand side H α,β (θ,ϕ) = n=0 α+β+1 n+ e 2 P α,β n (θ)pn α,β (ϕ). When α, β > 1/2, one can delee all he absolue value symbols here, and he analyic exension of H α,β will be H α,β (θ,ϕ) = n=0 α+β+1 (n+ e 2 ) P α,β n (θ)p α,β n (ϕ), Rα, Rβ > 1. () 11 / 18

The righ-hand side here can be coninued analyically from α,β > 1/2 o Rα, Rβ > 1. This will produce an analyic coninuaion of he lef-hand side H α,β (θ,ϕ) = n=0 α+β+1 n+ e 2 P α,β n (θ)pn α,β (ϕ). When α, β > 1/2, one can delee all he absolue value symbols here, and he analyic exension of H α,β will be H α,β (θ,ϕ) = n=0 α+β+1 (n+ e 2 ) P α,β n (θ)p α,β n (ϕ), Rα, Rβ > 1. For real values of α,β > 1, he erm wih n = 0 will be differen in hese wo sums when α + β < 1. () 11 / 18

The righ-hand side here can be coninued analyically from α,β > 1/2 o Rα, Rβ > 1. This will produce an analyic coninuaion of he lef-hand side H α,β (θ,ϕ) = n=0 α+β+1 n+ e 2 P α,β n (θ)pn α,β (ϕ). When α, β > 1/2, one can delee all he absolue value symbols here, and he analyic exension of H α,β will be H α,β (θ,ϕ) = n=0 α+β+1 (n+ e 2 ) P α,β n (θ)p α,β n (ϕ), Rα, Rβ > 1. For real values of α,β > 1, he erm wih n = 0 will be differen in hese wo sums when α + β < 1. Evaluaing hose erms, one finds H α,β (θ,ϕ) = H α,β (θ,ϕ) + χ {α+β< 1} c α,β sinh (α + β + 1). 2 () 11 / 18

Nex we rewrie he inegral formula for H α,β (θ, ϕ), inegraing by pars and going back from Ψ α,β E o Ψ α,β. () 12 / 18

Nex we rewrie he inegral formula for H α,β (θ, ϕ), inegraing by pars and going back from Ψ α,β E o Ψ α,β. In he case when 1 < α,β < 1/2, he resul is 1 1 H α,β (θ,ϕ) = 1 1 1 2 1 2 ± ± 1 1 1 1 u v Ψ α,β (,θ,ϕ, u, v) Π α (u)π β (v) dudv u Ψ α,β (,θ,ϕ, u, ±1)Π α (u) du v Ψ α,β (,θ,ϕ, ±1, v)π β (v) dv + 1 Ψ α,β (,θ,ϕ, ±1, ±1). 4 ± ± () 12 / 18

Nex we rewrie he inegral formula for H α,β (θ, ϕ), inegraing by pars and going back from Ψ α,β E o Ψ α,β. In he case when 1 < α,β < 1/2, he resul is 1 1 H α,β (θ,ϕ) = 1 1 1 2 1 2 ± ± 1 1 1 1 u v Ψ α,β (,θ,ϕ, u, v) Π α (u)π β (v) dudv u Ψ α,β (,θ,ϕ, u, ±1)Π α (u) du v Ψ α,β (,θ,ϕ, ±1, v)π β (v) dv + 1 Ψ α,β (,θ,ϕ, ±1, ±1). 4 ± Here Π α (u) = u 0 dπ α(u ), he (odd) primiive. ± () 12 / 18

Nex we rewrie he inegral formula for H α,β (θ, ϕ), inegraing by pars and going back from Ψ α,β E o Ψ α,β. In he case when 1 < α,β < 1/2, he resul is 1 1 H α,β (θ,ϕ) = 1 1 1 2 1 2 ± ± 1 1 1 1 u v Ψ α,β (,θ,ϕ, u, v) Π α (u)π β (v) dudv u Ψ α,β (,θ,ϕ, u, ±1)Π α (u) du v Ψ α,β (,θ,ϕ, ±1, v)π β (v) dv + 1 Ψ α,β (,θ,ϕ, ±1, ±1). 4 ± Here Π α (u) = u 0 dπ α(u ), he (odd) primiive. This will allow esimaes of derivaives of H α,β ± (θ,ϕ) and H α,β (θ,ϕ). () 12 / 18

We mus verify he sandard esimaes for he (B-valued) kernels K(θ,ϕ) of he singular operaors of he heorem, in he space of homogeneous ype. () 13 / 18

We mus verify he sandard esimaes for he (B-valued) kernels K(θ,ϕ) of he singular operaors of he heorem, in he space of homogeneous ype. This means K(θ,ϕ) B 1 µ α,β (B(θ, θ ϕ )), where B(θ, r) is he inerval of cener θ and half-lengh r, () 13 / 18

We mus verify he sandard esimaes for he (B-valued) kernels K(θ,ϕ) of he singular operaors of he heorem, in he space of homogeneous ype. This means K(θ,ϕ) B 1 µ α,β (B(θ, θ ϕ )), where B(θ, r) is he inerval of cener θ and half-lengh r, and θ K(θ,ϕ) B + ϕ K(θ,ϕ) B 1 θ ϕ 1 µ α,β (B(θ, θ ϕ )). () 13 / 18

We mus verify he sandard esimaes for he (B-valued) kernels K(θ,ϕ) of he singular operaors of he heorem, in he space of homogeneous ype. This means K(θ,ϕ) B 1 µ α,β (B(θ, θ ϕ )), where B(θ, r) is he inerval of cener θ and half-lengh r, and θ K(θ,ϕ) B + ϕ K(θ,ϕ) B 1 θ ϕ 1 µ α,β (B(θ, θ ϕ )). In he vecor-valued case B C, hese derivaives of K he weak sense. are aken in () 13 / 18

Depending on he operaor, he kernel K(θ, ϕ) will be an expression conaining H α,β (θ,ϕ) or some of is derivaives. () 14 / 18

Depending on he operaor, he kernel K(θ, ϕ) will be an expression conaining H α,β (θ,ϕ) or some of is derivaives. The sraegy is now o use he link beween H α,β (θ,ϕ) and H α,β (θ,ϕ) and he inegral formula for H α,β (θ, ϕ), o esimae he kernel and is derivaives. () 14 / 18

Depending on he operaor, he kernel K(θ, ϕ) will be an expression conaining H α,β (θ,ϕ) or some of is derivaives. The sraegy is now o use he link beween H α,β (θ,ϕ) and H α,β (θ,ϕ) and he inegral formula for H α,β (θ, ϕ), o esimae he kernel and is derivaives. Examples: () 14 / 18

Depending on he operaor, he kernel K(θ, ϕ) will be an expression conaining H α,β (θ,ϕ) or some of is derivaives. The sraegy is now o use he link beween H α,β (θ,ϕ) and H α,β (θ,ϕ) and he inegral formula for H α,β (θ, ϕ), o esimae he kernel and is derivaives. Examples: The Riesz ransforms have kernels and B = C. K(θ,ϕ) = c 0 θ N Hα,β (θ,ϕ) N 1 d, () 14 / 18

Depending on he operaor, he kernel K(θ, ϕ) will be an expression conaining H α,β (θ,ϕ) or some of is derivaives. The sraegy is now o use he link beween H α,β (θ,ϕ) and H α,β (θ,ϕ) and he inegral formula for H α,β (θ, ϕ), o esimae he kernel and is derivaives. Examples: The Riesz ransforms have kernels and B = C. K(θ,ϕ) = c For he square funcions, 0 θ N Hα,β (θ,ϕ) N 1 d, K(θ,ϕ) = { N θ M H α,β (θ,ϕ) } >0, and B = L 2 (R + ; 2M+2N 1 d). () 14 / 18

Thus we will have o esimae many inegrals of various derivaives of he funcion Ψ α,β (,θ,ϕ, u, v) = c α,β sinh 2 (cosh 2 1 + q)α+β+2, agains Π α (u) du or Π β (v) dv or boh. () 15 / 18

Thus we will have o esimae many inegrals of various derivaives of he funcion Ψ α,β (,θ,ϕ, u, v) = c α,β sinh 2 (cosh 2 1 + q)α+β+2, agains Π α (u) du or Π β (v) dv Here or boh. q = q(θ,ϕ, u, v) = 1 u sin θ 2 sin ϕ 2 v cos θ 2 cos ϕ 2. () 15 / 18

Thus we will have o esimae many inegrals of various derivaives of he funcion Ψ α,β (,θ,ϕ, u, v) = c α,β sinh 2 (cosh 2 1 + q)α+β+2, agains Π α (u) du or Π β (v) dv Here or boh. q = q(θ,ϕ, u, v) = 1 u sin θ 2 sin ϕ 2 v cos θ 2 cos ϕ 2. These esimaes are raher echnical, and we give only a few samples. () 15 / 18

We assume ha 1 < α,β < 1/2. () 16 / 18

We assume ha 1 < α,β < 1/2. Firs example: Uniformly in (0, 1] and θ,ϕ [0,π], one has L ϕ θ N M H α,β (θ,ϕ) 1 + K,R=0,1 k,r=0,1,2 ( sin θ 2 + sin ϕ ) Kk ( cos θ 2 2 + cos ϕ ) Rr 2 dπ α,k dπ β,r ( 2 + q) α+β+3/2+(l+n+m+kk+rr)/2. () 16 / 18

We assume ha 1 < α,β < 1/2. Firs example: Uniformly in (0, 1] and θ,ϕ [0,π], one has L ϕ θ N M H α,β (θ,ϕ) 1 + K,R=0,1 k,r=0,1,2 ( sin θ 2 + sin ϕ ) Kk ( cos θ 2 2 + cos ϕ ) Rr 2 dπ α,k dπ β,r ( 2 + q) α+β+3/2+(l+n+m+kk+rr)/2. Here dπ α,k is dπ 1/2 when K = 0 and dπ α+1 when K = 1, and similarly for dπ β,r. () 16 / 18

Second example: For each θ,ϕ [0,π] and s {0, 1}, he norm of ( sin θ 2 + sin ϕ ) Kk ( cos θ 2 2 + cos ϕ 2 in he space L p ((0, 1), W 1 d) ) Rr dπ α,k dπ β,r ( 2 + q) α+β+3/2+w/(2p)+kk/2+rr/2+s/2 () 17 / 18

Second example: For each θ,ϕ [0,π] and s {0, 1}, he norm of ( sin θ 2 + sin ϕ ) Kk ( cos θ 2 2 + cos ϕ 2 ) Rr dπ α,k dπ β,r ( 2 + q) α+β+3/2+w/(2p)+kk/2+rr/2+s/2 in he space L p ((0, 1), W 1 d) is conrolled by 1 1 cons. θ ϕ s µ α,β (B(θ, θ ϕ )). () 17 / 18

Second example: For each θ,ϕ [0,π] and s {0, 1}, he norm of ( sin θ 2 + sin ϕ ) Kk ( cos θ 2 2 + cos ϕ 2 ) Rr dπ α,k dπ β,r ( 2 + q) α+β+3/2+w/(2p)+kk/2+rr/2+s/2 in he space L p ((0, 1), W 1 d) is conrolled by 1 1 cons. θ ϕ s µ α,β (B(θ, θ ϕ )). Here 1 p and W 1. () 17 / 18

Third example: For 1 < <, one has insead sup L ϕ θ N M H α,β (θ,ϕ) <, θ,ϕ [0,π] L p ((1, ), W 1 d) () 18 / 18

Third example: For 1 < <, one has insead sup L ϕ θ N M H α,β (θ,ϕ) <, θ,ϕ [0,π] L p ((1, ), W 1 d) which is proved from he oscillaing series for H α,β, no he inegral formula. () 18 / 18

Third example: For 1 < <, one has insead sup L ϕ θ N M H α,β (θ,ϕ) <, θ,ϕ [0,π] L p ((1, ), W 1 d) which is proved from he oscillaing series for H α,β, no he inegral formula. This leads o he sandard esimaes for his par. () 18 / 18

Third example: For 1 < <, one has insead sup L ϕ θ N M H α,β (θ,ϕ) <, θ,ϕ [0,π] L p ((1, ), W 1 d) which is proved from he oscillaing series for H α,β, no he inegral formula. This leads o he sandard esimaes for his par. THE END () 18 / 18