The fractional Hankel transformation of certain tempered distributions and pseudo-differential operators
|
|
- Jeffery Todd
- 5 years ago
- Views:
Transcription
1 Chapter 5 The fractional Hankel transformation of certain tempered distributions and pseudo-differential operators 5.1 Introduction The fractional Hankel transformation is a generalization of the conventional Hankel transformation in the fractional order and is effectively used in the design of lens, analysis of laser cavity study of wave propagation in quadratic refractive index medium when the system is axially symmetric. The earliest work on the fractional Hankel transformation was published by Namias 16 in 198. Recently it is becoming of importance in various applications in optics 34, 39. Kerr 13 has developed a theory of fractional powers of Hankel transformations in the Zemanian spaces. The purpose of the present chapter is to derive certain important properties of the fractional Hankel transformation. Fractional Hankel transformation is studied on Zemanian space H µ I and tempered distributions space H µi. A pseudo-differential operator involving fractional Hankel transformation is introduced and some of its properties including boundedness are investigated in G s µ, I. 57
2 5. Properties of fractional Hankel transformation Proposition 5..1 Let Kµ α x,y be the kernel of fractional Hankel transformation defined in , then r µ,x Kα µ x,y ycscα r Kµ α x,y, r N, where µ,x d + ixcotα d dx dx + 1 4µ + icotα x cot α. 4x Proof: Since Kµ α x,y C α,µ x +y cotα xycscα 1 Jµ xycscα, d dx Kα µ x,y C d α,µ x +y cotα xycscα 1 Jµ xycscα dx C α,µ x +y cotα d dx {xycscα 1 Jµ xycscα} + x +y cotα xycscα 1 Jµ xycscα ixcotα C α,µ x +y cotα ycscα{xycscα µ J µ xycscα µ + 1/xycscα µ 1/ xycsc α µ+1/ xycscα µ J µ+1 xycscα}+ x +y cotα xycscα 1 J µ xycscα ixcotα C α,µ x +y cotα ycscαµ + 1/xycscα 1/ J µ xycscα C α,µ x +y cotα ycscαxycscα 1/ J µ+1 xycscα + C α,µ x +y cotα xycscα 1 Jµ xycscα ixcotα So d dx Kα µ x,y µ + 1/x 1 K α µ x,y ixcotαkα µ x,y C α,µ x +y cotα ycscαxycscα 1/ J µ+1 xycscα, 5.. then from 5.., we have J µ+1 xycscα dx d Kα µ x,y+ixcotαkµ α x,y µ + 1/x 1 Kµ α x,y C α,µ x +y cotα ycscαxycscα 1 58
3 Now again differentiation of 5..1, we get d dx K α µ x,y C α,µ ycscαµ + 1/ d dx J µ xycscα Using 5..3, we have C α,µ ycscα d dx + C α,µ icotα d dx x +y cotα xycscα 1/ x +y cotα xycscα 1/ J µ+1 xycscα x C α,µ ycscαµ + 1/ x +y cotα xycscα 1 Jµ xycscα x +y cotα d dx {xycscα 1/ J µ xycscα}+xycscα 1/ J µ xycscα x +y cotα ix cot α C α,µ ycscα x +y cotα d dx {xycscα1/ J µ+1 xycscα} + xycscα 1/ J µ+1 xycscα x +y cotα ixcotα C α,µ icotα x x +y cotα d dx {xycscα1/ J µ xycscα} + xycscα 1/ J µ xycscα{x x +y cotα ixcotα + x +y cotα } µ 1/4x Kµ α x,y µ + icotαkα µ x,y ycscα K α µ x,y x cot αk α µ x,y+c α,µ ycscαixcotα x +y cotα xycscα 1/ J µ+1 xycscα. d dx Kα µ x,y 1 4µ 4x K α µ x,y icotαk α µ x,y+x cot αk α µ x,y ixcotα d dx Kα µ x,y ycscα K α µ x,y. Now, we have d dx + ixcotα d 1 4µ dx + 4x + icotα x cot α Kµ α x,y 59
4 ycscα K α µ x,y. Therefore µ,x Kµ,x α x,y ycscα Kµ α x,y, 5..4 where d µ,x dx + ixcotα d 1 4µ dx + 4x + icotα x cot α Similarly by using 5..4 Continuing in this way, we get µ,x Kα µ x,y µ,x µ,x K α µ x,y µ,x ycscα K α µ x,y ycscα µ,x K α µ x,y ycscα K α µ x,y. r µ,xk α µ x,y ycscα r K α µ x,y, r N Lemma 5..1 For any ϕ H µ I and all non-negative integer k, we have µ,x k k l k k ϕx x l x x n la 1 d n ϕx, dx where µ,x is as 5..5 and a l are constants depending on µ and α only. Proof. At first for k 1, d µ,x ϕx dx + ixcotα d 1 4µ dx + 4x x x d dx + ix3 cotα d 1 4µ dx + 4 x n la l x l x 1 d dx n ϕx. + icotα x cot α ϕx + ix cotα x 4 cot α ϕx 6
5 Similarly, for k, µ,x ϕx µ,x µ,x ϕx d dx + ixcotα d 1 4µ dx + 4x d dx + ixcotα d 1 4µ dx 4x d4 ϕ dx 4 + 4ixcotα d3 ϕ 1 4µ dx 3 + 4x 1 4µ + icotα x+4ixcotα 4x 1 4µ 1 4µ + 6 4x 4 1 4µ + 4x 4ixcotα + icotα x cot α + icotα x cot α + icotα x cot α 4x 3 x 4 n 4 4 l x la l x 1 d n ϕx. dx ϕx d + icotα x cot α +ixcotα ϕ dx dϕ + icotα x cot α dx cot α 4ix cot 3 α ϕx Continuing in this way, we have µ,x k k l k k ϕx x l x x n la 1 d n ϕx. dx We now introduce a new function space H µ,α I. Definition 5..1 Test function space H µ,α I. The space H µ,α I, is defined as follows: ϕ is member of H µ,α I if and only if it is complex valued C function on I and for every choice of m and k of non-negative integers, it satisfies where ϒ α m,k ϕ sup x I x m k µ,xϕx <, 5..7 d µ,x dx + ixcotα d 1 4µ dx + 4x + icotα x cot α, 5..8 and k µ,x is same as the Lemma The topology over H µ,αi is generated by the family {ϒ α m,k }α π m,k N of seminorms. 61
6 Clearly for α π, H µ,αi H µ I, this shown by Pathak. But if α π, the two spaces H µ,α I and H µ I are independent as shown below: It can be easily seen that x m+k k µ,xϕx If x µ+1/ ϕx H µ I, then x m+k k µ,xϕx sup x I k r k l a l sup x I k k l x r la m+l x 1 d r x µ 1/ x ϕx µ+1/. dx x dx xm+l 1 d r x µ 1/ x ϕx µ+1/ <, m, l, r N. So the right-hand side is in H µ I. Therefore x m+k k µ,xϕx <, m, k N, sup x I this implies that ϕx H µ,α I. Proposition 5.. For all ϕ H µ I, we have < r µ,xkµ α x,y,ϕx> <Kµ α x,y, µ,x r ϕx>, where µ,x d ixcotα d dx dx + 1 4µ icotα x cot α. We call 4x µ,x and µ,x as fractional Bessel operator with parameter α. We see that the Bessel operator µ,x µ,x x, for α π. Proof: At first we prove < µ,x K α µ x,y,ϕx> <K α µ x,y, µ,xϕx> Using 5..5, we have < µ,x Kµ α x,y,ϕx> µ,x Kµ α x,y ϕxdx d dx + ixcotα d 1 4µ dx + 4x + icotα x cot α K αµ x,y ϕxdx + d dx Kα µ x,yϕxdx+ ixcotα d dx Kα µ x,yϕxdx 1 4µ 4x Kµ α x,yϕxdx+ icotα x cot αkµ α x,yϕxdx. 6
7 Using integration by parts, we have + Therefore d dx ϕx d dx Kα µ x,ydx d dx ixcotαϕxkα µ x,ydx 1 4µ 4x Kµ α x,yϕxdx+ icotα x cot αkµ α x,yϕxdx Kµ α x,y ixcotα d dx dx ϕx+icotαϕx Kµ α d x,y 1 4µ dx ϕxdx + 4x Kµ α x,yϕxdx+ icotα x cot αkµ α x,yϕxdx d Kµ α x,y dx ixcotα d 1 4µ dx + 4x icotα x cot α ϕxdx <Kµ α x,y, µ,xϕx>. In general, we have < µ,x K α µ x,y,ϕx> <Kα µ x,y, µ,xϕx>. < r µ,x Kα µ x,y,ϕx> <Kα µ x,y, µ,x r ϕx>. Lemma 5.. For any ϕ H µ I and all non-negative integer k, we have r r µ,x r r ϕx x l x n lb l x 1 d n ϕx, dx where µ,x is as Proposition 5.. and b l constants depending on µ and α only. Proof. At first for r1, d µ,xϕx dx ixcotα d 1 4µ dx + 4x x x d dx ix3 cotα d 1 4µ dx + 4 x n lb l x l x 1 d dx n ϕx. icotα x cot α ϕx ix cotα x 4 cot α ϕx 63
8 Similarly, for r, µ,x ϕx µ,x µ,xϕx d dx ixcotα d 1 4µ dx + 4x d dx ixcotα d 1 4µ dx 4x d4 ϕ dx 4 4ixcotα d3 ϕ 1 4µ dx 3 + 4x 1 4µ + icotα x 4ixcotα 4x 1 4µ 1 4µ ixcotα 4x 4 1 4µ + 4x icotα x cot α icotα x cot α icotα x cot α 4x 3 x 4 n 4 4 l x lb l x 1 d n ϕx. dx ϕx d icotα x cot α +ixcotα ϕ dx dϕ icotα x cot α dx cot α + 4ix cot 3 α ϕx Continuing in this way, we have µ,x r r r r ϕx x l x n lb l x 1 d n ϕx. dx Proposition 5..3 Let ϕ H µ I, then i h α µ µ,x r ϕy ycscα r hµϕyfor α every index r, ii r µ,y h α µ ϕ y h α µ xcscα r ϕ yfor every index r, iii h α µ : H µi H µ,α I, is linear and continuous. Proof: i Using Proposition 5.. and 5..1, we have h α µ µ,x r ϕy K α µ x,y µ,x r ϕxdx r µ,xk α µ x,yϕxdx ycscα r Kµ α x,yϕxdx ycscα r h α µϕy. 64
9 ii If ϕ H µ I and for every index r, we have h α µϕ y r µ,ykµ α x,yϕxdx r µ,y xcscα r K α µ x,yϕxdx Kµ α x,y xcscα r ϕxdx h α µ xcscα r ϕ y. iii Linearity of h α µ is obvious. Let m and k be two non- negative integers indices. Then by Proposition 5..3ii, for {ϕ j } j N H µ,α I, we have y m k µ,y hα µϕ j y supy m h α µ xcscα k ϕ j y. sup y I Since ϕ j H µ I, xcscα k ϕ j H µ I. This implies that y I h α µ xcscα k ϕ j y Hµ I, hence ϒm,k α ϕ j supy m k µ,y hα µϕ j y, y I if ϕ j in H µ,α I as j. This implies continuity of h α µ. Proposition 5..4 Parseval s identity for fractional Hankel transformation. If ϕ, ψ H µ I, we have the equalities ϕxψxdx sinα and ϕx dx sinα h α µϕyh α µψydy, hµϕy α dy. Proof: By using and 1.11., we have ϕxψxdx ϕx Kµ α x,yhµψydy α dx. Apply change of order of integration and Fubini s theorem in the above, we have ϕxψxdx sin α hµψy α Kµ α x,yϕxdx dy sinα h α µϕyh α µψydy. 65
10 If ψ ϕ H µ I, then ϕx dx sinα Proposition 5..5 Let ϕ H µ I, then h α µ ϕy dy. i hµϕcxy α C ycscα α,µ c y cotα h µ z c cotα ϕ,c >, c ii hµx α 1 ϕxy C α,µ µ ycscα 1 hµ 1 α C ϕy+ 1 hµ+1 α α,µ 1 C ϕy, α,µ+1 d iii h α µ dx ϕx y C α,µ 4µ ycscα 1 µ 1hµ+1 α C ϕy α,µ+1 1 µ + 1hµ 1 α C ϕy + icotαhµxϕy, α α,µ 1 iv h α µ x µ+1/ x cotα Hc x where Hc x Heaviside s unit step function, v h α µ δx cy Kα µ c,y,c >. Proof: i Using , we have h α µϕcxy C α,µ C α,µ c ii Using , we have C α,µ c y cotα y C α,µ y cotα ycscα 1/ c µ+1 J µ+1 cycscα, x +y cotα xycscα 1 Jµ xycscαϕcxdx, z c +y cotα z z ycscα c C α,µ c y cotα h µ z c cotα ϕ h α µ x 1 ϕxy C α,µ C α,µ 1 c ycscα z J µ ϕzdz c ycscα 1 J µ z ycscα z c c cotα ϕzdz ycscα. c x +y cotα xycscα 1 Jµ xycscαx 1 ϕxdx x +y cotα x 1 ycscα 1 Jµ xycscαϕxdx. 66
11 Using the recurrence relation J µ x µ x Jµ 1 x+j µ+1 x, we have h α µx 1 ϕxy C α,µ ycscαc α,µ x +y cotα x 1 1 xycscα ycscα µ x +y cotα Jµ 1 xycscα+j µ+1 xycscα ϕxdx xycscα 1 Jµ 1 xycscα+j µ+1 xycscα ϕxdx, µ so h α µ x 1 ϕxy C α,µ µ ycscα 1 hµ 1 α C ϕy+ 1 hµ+1 α α,µ 1 C ϕy. α,µ+1 iii Using , we have d h α µ dx ϕx y C α,µ d C α,µ dx C α,µ x +y cotα xycscα 1 Jµ xycscα d dx ϕxdx. x +y cotα xycscα 1 Jµ xycscα ϕxdx x +y cotα xycscα 1 ycscαj µ xycscα+j µ xycscα x +y cotα ycscα 1 Using the recurrence relation J µ x 1 Jµ 1 x J µ+1 x, we have d h α µ dx ϕx y C α,µ x +y cotα xycscα 1 1 ycscα + J µ xycscα ycscα x +y cotα ycscα 1 1 x 1 1 x 1 Cα,µ C α,µ+1 h α µ+1 ϕy C α,µ C α,µ 1 h α µ 1 ϕy + x +y cotα xycscα 1 ixcotα ϕxdx. Jµ 1 xycscα J µ+1 xycscα + x +y cotα xycscα 1 ixcotα ϕxdx 1 hα µ x 1 ϕy+icotαh α µ xϕy. Now using Proposition 5..5ii, we have d h α µ dx ϕx y C α,µ 4µ ycscα 1 µ 1hµ+1 α C ϕy 1 µ + 1hµ 1 α α,µ+1 C ϕy α,µ 1 + icotαh α µ xϕy. 67
12 iv Using , we have h α µ x µ+1/ x cotα Hc x y C α,µ Using and 5..1, we have h α µ x µ+1/ x cotα Hc x v Using , we have h α µ δx cy C α,µ x +y cotα xycscα 1 Jµ xycscα xµ+1/ C α,µ y cotα ycscα 1 c c y C α,µ y cotα ycscα 1 x cotα Hc xdx x µ+1 J µ xycscαdx ycscα D x µ+1 J µ+1 xycscα dx C α,µ y cotα ycscα 1/ c µ+1 J µ+1 cycscα. x +y cotα xycscα 1 Jµ xycscαδx cdx C α,µ c +y cotα cycscα 1 Jµ cycscα K α µ c,y,c >. 5.3 The fractional Hankel transformation of tempered distributions Theorem The fractional Hankel transformation is a continuous linear map of H µ I onto itself. Proof: Let ϕx H µ I L 1 I; then using Zemanian s technique 38 and 1.1.1, we have y 1 D β y µ 1/ ϕ α µ y y 1 D β y µ 1/ C α,µ y cotα Φ α µ y C α,µ β β C α,µ β β β y 1 β D β y cotα y 1 D β β y µ 1/ Φ α µ y β β icotα β y cotα y 1 D β β y µ 1/ Φ α µ y. 68
13 Therefore, as per Koh 14, we have sup y I y m y 1 D β y µ 1/ ϕ µ α y Cα,µ β β β β cotα β supy m y 1 D β β y µ 1/ Φ α µ y y I < Hence Φ α µy H µ I. Thus ϕ α µ y h α µϕy H µ I. Also from and 1.11., we see that for all ϕ H µ I, h α µ 1 h α µϕ ϕ h α µ hα µ 1 ϕ. It follows that h α µ is a one-one function of H µi onto itself. h α µ is clearly a linear map of H µ I onto itself. To show that it is continuous, assume that the sequence {ϕ j } j N converges in H µ I to zero, then from the continuity of the fractional Hankel transformation follows. Definition : The generalized fractional Hankel transformation h α µ f of f H µ I is defined by where ϕ H µ I. <h α µ f,ϕ> < f,hα µ ϕ>, 5.3. Theorem 5.3. The generalized fractional Hankel transformation h α µ is a continuous linear map of H µ I onto itself. Proof: Since by Theorem 5.3.1, h α µϕ H µ I whenever ϕ H µ I, the right-hand side of 5.3. is well defined. Also, if {ϕ j } j N converges in H µ I to zero, then by continuity of the fractional Hankel transformation {h α µϕ j }, and so the right-hand side of 5.3. converges to zero, which in turn implies that{<h α µ f,ϕ j>} as j. Thus h α µ f is continuous on H µ I. Clearly hα µ f is linear on H µ I. Similarly the inverse fractional Hankel transformation h α µ 1 f of f H µ I is defined by <h α µ 1 f,ϕ> < f,h α µ 1 ϕ>, ϕ H µ I
14 It can be shown, as in the above, that h α µ 1 f H µi. Thus from 5.3. and it follows that for f H µ I and ϕ H µi, So that Similarly < f,ϕ> <h α µ f,h α µ 1 ϕ> < f,h α µh α µ 1 ϕ>. h α µ 1 h α µ f f h α µh α µ 1 f f. Thus h α µ and hα µ 1 are one-one map of H µ I onto itself. 5.4 Pseudo-differential operator involving fractional Hankel transformation A linear partial differential operator Ax, µ,x on I is given by Ax, µ,x m a r x µ,x r, r where the cofficient a r x are functions defined on I and µ,x is the same as in Proposition 5... If we replace µ,x r in by monomial ycscα r in I, then we obtain the so called symbol Ax,y m a r x ycscα r r In order to get another representation of the operator Ax, µ,x, let us take any function ϕ H µ I, then by using and Proposition 5..3i, we have Ax, µ,x ϕ x m r m r a r x µ,x r ϕx a r xh α µ 1 h α µ µ,x r ϕx m a r xh α µ 1 ycscα r hµϕ α x r 7
15 K α µ x,y m ra r x ycscα r K α µ x,yax,y ϕ α µ ydy, ϕ α µ ydy where K α µ x,y is the same as in If we replace the symbol Ax,y by more general symbol ax, y which is no longer polynomial in y, we get the pseudo-differential operator h α µ,a defined below. For pseudo-differential operator involving Fourier transformation and fractional Fourier transformation we may refer to 8, 36 and 31 respectively. Definition Let ax,y be a symbol. Then the pseudo-differential operator A µ,a associated to ax,y is defined by where ϕ µ α y as Aµ,a ϕ x Kµ α x,yax,y ϕ µ α ydy, Definition 5.4. Let l R. Then we define H l 1 to the set of all functions ax,y C I I such that for any two non-negative integers ν and β, there exists a positive constant C l,ν,β such that where x,y I. x 1 d ν y 1 d β ax,y dx dy C l,ν,β1+y l β, Zemanian 38, p.141 and Pathak, p.95, have given the following result 1 m+n x m x 1 d dx n x µ 1/ h µ ϕx y µ+m+n+1 y dy 1 d m y µ 1/ ϕy xy µ+n J µ+m+n xydy, m,n N Theorem The pseudo-differential operator A µ,a is a continuous linear mapping of H µ I into itself. 71
16 Proof: Let ϕ H µ I. Then for any two non-negative integers m and k, we need only prove that sup x I x m x 1 D k x µ 1/ A µ,a ϕx <. Following the technique of proof of Theorem and we have x m x 1 D k x µ 1/ A µ,a ϕx Now x m x 1 D k x µ 1/ Kµ α x,yax,y ϕ µ α ydy x m x 1 D k x µ 1/ Cα,µe i x cotα h µ e i y cotα ax,y ϕ µ α y xcscα x m C k k α,µ x 1 D k ν e i x cotα ν ν x 1 D ν x µ 1/ h µ e i y cotα ax,y ϕ µ α y xcscα. x m x 1 D k x µ 1/ A µ,a ϕx 1 m+ν C α,µ k ν k icotα k ν e i x cotα 1 m+ν x m ν x 1 D ν x µ 1/ h µ e i y cotα ax,y ϕ α µ y xcscα. Applying the Zemanian s result from 5.4.5, we have C k k α,µ icotα k ν e i x cotα sinα m ν µ 1/ ν ν y µ+m+ν+1 y 1 D m y µ 1/ e i y cotα ax,y ϕ µ α y xycscα µ+ν J µ+m+ν xycscαdy C k k α,µ icotα k ν e i x cotα sinα m ν µ 1/ ν ν y µ+m+ν+1 m m s m m s s t s t y 1 D m s t e i y cotα y 1 D t ax,yy 1 D s y µ 1/ ϕ α µ y xycscα µ+ν J µ+m+ν xycscαdy. 7
17 Suppose N is an integer no less than µ + m+ν + 1 and using 5.4.4, then we have x sup m x I x 1 D k x µ 1/ A µ,a ϕx k ν k cotα k ν sinα m ν µ 1/ m ν m s s t xycscα sup µ+ν x,y I J µ+m+ν xycscα m s m s t cotα m s t sup y I 1+y N+ y 1 D s y µ 1/ ϕ µ α y y 1 D t dy ax,y 1+y k k cotα k ν sinα m ν µ 1/ m m s m m s ν ν cotα m s t s t s t 1+y A µ,α C l,t sup N++l t y I y 1 D s y µ 1/ ϕ µ α, y xycscα where < sup µ+ν x,y I J µ+m+ν xycscα B µ,α. Using binomial formula and Theorem 5.3.1, we have x m x 1 D k x µ 1/ A µ,a ϕx <. sup x I 5.5 Boundedness of pseudo-differential operator In this section we assume that the symbol bx,y ax,yxycscα 1/ J µ xycscα satisfies the following condition instead of For given l R, assume that 1+x q x 1 d ν y 1 d β bx,y dx dy D l,ν,β,q,α1+y l β, where x,y I,D l,ν,β,q,α > and q,ν,β N. The class of all such symbols is denoted by H l. Definition A tempered distributions ϕ belongs to the Sobolev- type space G s µ,, s, µ R, if its fractional Hankel transformation h α µϕ corresponds to a locally integrable function on I, and 1+y s/ h α µϕy L I. A norm in this space is defined by ϕ G s µ, I 1+y s/ hµϕy α dy
18 Lemma For any symbol bx,y H l,l R and k N, there exists a positive constant C l such that Proof: Since so that, b α µy,ξ C l 1+ξ l 1+y csc α k/ b α µy,ξ 1+y csc α k bα µ y,ξ y,ξ I,k N. Then we have 1 µ,x k bx,ξ k r k r k r K α µ x,ybx,ξdx, K α µ x,y1 µ,x k bx,ξdx, r µ,x r bx,ξ k r k 1 r x r k 1 r x r r r n n r r r n bx,ξ k k x x km 1 d dx r m k x D k l,n,q,α 1+ξ l 1+x q. k So 1 µ,x k bx,ξ k r k r r r m k D l,n,q,α 1+ξ l n k 1+x k r q Hence by and 5.5.5, we get 1+y csc α k b α µy,ξ C α,µ k r k r r r m k D l,n,q,α 1+ξ l n k 1+x k r q dx. Since x- integral is convergent for sufficient large value of q, there exists a constant C l > such that b α µy,ξ C l 1+ξ l 1+y csc α k/. 74
19 Proposition For any symbol bx,y ax,yxycscα 1 J µ xycscα H l,l R, the associated operator A µ,a ϕ admits the representation A µ,a ϕ e i x cotα Cα,µ 1 Kµ α x,y e i ξ cotα bα µ y,ξ ϕ µ α ξdξ dy, where ϕ H µ I and all involved integrals are convergent. Proof: We first note that and so that, from and 5.5.8, we have where D l max1, l/. Hence from ξ l l/ 1+ξ l/ if l, ξ l 1+ξ l/ if l <, ξ l D l 1+ξ l/,ξ I, b α µy,ξ C l D l 1+ξ l/ 1+y csc α k/ Let g α y e i ξ cotα bα µ y,ξ ϕ α µ ξdξ, is in L 1 I. We now compute its inverse fractional Hankel transformation Kµ α x,yg α ydy Kµ α x,y e i ξ cotα bα µ y,ξ ϕ µ α ξdξ dy C α,µ e i x +y cotα xycscα 1 Jµ xycscα e i ξ cotα bα µ y,ξ ϕ µ α ξdξ dy x cotα {C α,µ C α,µ C α,µ e i x +y cotα xycscα 1 Jµ xycscα e i x +ξ cotα bα µ y,ξ ϕ µ α ξdξ }dy 75
20 x cotα {C α,µ C α,µ x cotα C α,µ x cotα C α,µ C α,µ e i x +ξ cotα ϕα µ ξ e i x +y cotα xycscα 1 Jµ xycscα b α µy,ξdy}dξ C α,µ e i x +ξ cotα bx,ξ ϕ µ α ξdξ C α,µ e i x +ξ cotα xξ cscα 1 Jµ xξ cscα bx,ξ ϕ xξ cscα 1 µ α ξdξ J µ xξ cscα x cotα C α,µ e i x +ξ cotα xξ cscα 1 Jµ xξ cscαax,ξ ϕ µ α ξdξ C α,µ x cotα C α,µ A µ,a ϕx Kµ α x,ξax,ξ ϕ µ α ξdξ x cotα C α,µ Theorem Let ax, y. bx,y xycscα 1 J µ xycsc α H l and A µ,a ϕ be associated operator. Then the following estimate holds true: A µ,a ϕ G µ, I Cα ϕ G l µ, I, where ϕ H µ I, for a certain constant C Cα Proof: We have seen the tempered distributions x cotα A µ,a ϕ has fractional Hankel transformation equal to Let us set C µ,α 1 h α i µ e x cotα A µ,a ϕ g α y e i ξ cotα bα µ y,ξ ϕ µ α ξdξ. U α y U α y e i ξ cotα bα µ y,ξ ϕ α µ ξdξ b α µy,ξ ϕ α µ ξ dξ. 76
21 Using 5.5.1, we have U α y C l D l 1+ξ l/ 1+y csc α k/ ϕ µ α ξ dξ C l D l 1+y csc α k/ 1+ξ l/ ϕ µ α ξ dξ. Let f α y 1+y csc α k/ and θ α ξ 1+ξ l/ ϕ µ α ξ. If k is sufficient large, f α L 1 I as ϕ µ α H µ I,θ α L I. Then Therefore, using 5.5.6, we have U α y L I Cα ϕ G l µ, I. C µ,α 1 x cotα A µ,a ϕ G µ, I C µ,α 1 h α i µ e x cotα A µ,a ϕ L I Hence this implies that U α y L I Cα ϕ G l µ, I. This completes the proof theorem. A µ,a ϕ G µ, I Cα ϕ G l µ, I. ***** 77
The Bessel Wavelet Transform
Int. Journal of Math. Analysis, Vol. 5, 211, no. 2, 87-97 The Bessel Wavelet Transform Akhilesh Prasad* and Ashutosh Mahato Department of Applied Mathematics Indian School of Mines Dhanbad-8264, Jharkhand,
More informationInternational Journal of Pure and Applied Mathematics Volume 55 No ,
International Journal of Pure and Applied Mathematics Volume 55 No. 9, 47-56 THE HANKEL CONVOLUTION OF ARBITRARY ORDER C.K. Li Department of Mathematics and Computer Science Brandon University Brandon,
More informationThe Calderon-Vaillancourt Theorem
The Calderon-Vaillancourt Theorem What follows is a completely self contained proof of the Calderon-Vaillancourt Theorem on the L 2 boundedness of pseudo-differential operators. 1 The result Definition
More informationPseudo-Differential Operators associated with Bessel Type Operators - I
Thai Journal of Mathematics Volume 8 (21 Number 1 : 51 62 www.math.science.cmu.ac.th/thaijournal Online ISSN 1686-29 Pseudo-Differential Operators associated with Bessel Type Operators - I B. B. Waphare
More informationHADAMARD OPERATORS ON D (R d )
HADAMARD OPERATORS ON D (R d DIETMAR VOGT BERGISCHE UNIVERSITÄT WUPPERTAL FB MATH.-NAT., GAUSS-STR. 20, D-42119 WUPPERTAL, GERMANY E-MAIL: DVOGT@MATH.UNI-WUPPERTAL.DE Dedicated to the memory of Paweª Doma«ski
More informationTHE PSEUDO DIFFERENTIAL-TYPE OPERATOR ( x 1 D) (α β) ASSOCIATED WITH THE FOURIER-BESSEL TYPE SERIES REPRESENTATION
Palestine Journal of Mathematics Vol. 5(2) (216), 175 182 Palestine Polytechnic University-PPU 216 THE PSEUDO DIFFERENTIAL-TYPE OPERATOR ( x 1 D) (α β) ASSOCIATED WITH THE FOURIER-BESSEL TYPE SERIES REPRESENTATION
More informationLECTURE 5: THE METHOD OF STATIONARY PHASE
LECTURE 5: THE METHOD OF STATIONARY PHASE Some notions.. A crash course on Fourier transform For j =,, n, j = x j. D j = i j. For any multi-index α = (α,, α n ) N n. α = α + + α n. α! = α! α n!. x α =
More informationHERMITE MULTIPLIERS AND PSEUDO-MULTIPLIERS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 7, July 1996 HERMITE MULTIPLIERS AND PSEUDO-MULTIPLIERS JAY EPPERSON Communicated by J. Marshall Ash) Abstract. We prove a multiplier
More information1 Fourier Integrals of finite measures.
18.103 Fall 2013 1 Fourier Integrals of finite measures. Denote the space of finite, positive, measures on by M + () = {µ : µ is a positive measure on ; µ() < } Proposition 1 For µ M + (), we define the
More informationOrthonormal series expansion and finite spherical Hankel transform of generalized functions
Malaya Journal of Matematik 2(1)(2013) 77 82 Orthonormal series expansion and finite spherical Hankel transform of generalized functions S.K. Panchal a, a Department of Mathematics, Dr. Babasaheb Ambedkar
More informationA Walking Tour of Microlocal Analysis
A Walking Tour of Microlocal Analysis Jeff Schonert August 10, 2006 Abstract We summarize some of the basic principles of microlocal analysis and their applications. After reviewing distributions, we then
More informationMicro-local analysis in Fourier Lebesgue and modulation spaces.
Micro-local analysis in Fourier Lebesgue and modulation spaces. Stevan Pilipović University of Novi Sad Nagoya, September 30, 2009 (Novi Sad) Nagoya, September 30, 2009 1 / 52 Introduction We introduce
More informationSobolev spaces, Trace theorems and Green s functions.
Sobolev spaces, Trace theorems and Green s functions. Boundary Element Methods for Waves Scattering Numerical Analysis Seminar. Orane Jecker October 21, 2010 Plan Introduction 1 Useful definitions 2 Distributions
More informationFourier Series. ,..., e ixn ). Conversely, each 2π-periodic function φ : R n C induces a unique φ : T n C for which φ(e ix 1
Fourier Series Let {e j : 1 j n} be the standard basis in R n. We say f : R n C is π-periodic in each variable if f(x + πe j ) = f(x) x R n, 1 j n. We can identify π-periodic functions with functions on
More informationResearch Article On Diffraction Fresnel Transforms for Boehmians
Abstract and Applied Analysis Volume 20, Article ID 72746, pages doi:0.55/20/72746 esearch Article On Diffraction Fresnel Transforms for Boehmians S. K. Q. Al-Omari and A. Kılıçman 2 Department of Applied
More informationLectures on Elliptic Partial Differential Equations. Programme
Lectures on Elliptic Partial Differential Equations (Method of Pseudodifferential Operators) Wien, October-December 2006 A.I.Komech 1 Faculty of Mathematics, Vienna University Nordbergstrasse 15, Vienna
More informationElectromagnetism HW 1 math review
Electromagnetism HW math review Problems -5 due Mon 7th Sep, 6- due Mon 4th Sep Exercise. The Levi-Civita symbol, ɛ ijk, also known as the completely antisymmetric rank-3 tensor, has the following properties:
More informationPSEUDODIFFERENTIAL OPERATORS WITH GENERALIZED SYMBOLS AND REGULARITY THEORY
Electronic Journal of Differential Equations, Vol. 2005(2005), No. 116, pp. 1 43. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu (login: ftp) PSEUDODIFFERENTIAL
More information4 Sobolev spaces, trace theorem and normal derivative
4 Sobolev spaces, trace theorem and normal derivative Throughout, n will be a sufficiently smooth, bounded domain. We use the standard Sobolev spaces H 0 ( n ) := L 2 ( n ), H 0 () := L 2 (), H k ( n ),
More informationOutline of Fourier Series: Math 201B
Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C
More informationLESSON 7.2 FACTORING POLYNOMIALS II
LESSON 7.2 FACTORING POLYNOMIALS II LESSON 7.2 FACTORING POLYNOMIALS II 305 OVERVIEW Here s what you ll learn in this lesson: Trinomials I a. Factoring trinomials of the form x 2 + bx + c; x 2 + bxy +
More informationA new class of pseudodifferential operators with mixed homogenities
A new class of pseudodifferential operators with mixed homogenities Po-Lam Yung University of Oxford Jan 20, 2014 Introduction Given a smooth distribution of hyperplanes on R N (or more generally on a
More informationCHARACTERIZATIONS OF PSEUDODIFFERENTIAL OPERATORS ON THE CIRCLE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 5, May 1997, Pages 1407 1412 S 0002-9939(97)04016-1 CHARACTERIZATIONS OF PSEUDODIFFERENTIAL OPERATORS ON THE CIRCLE SEVERINO T. MELO
More information4 Riesz Kernels. Since the functions k i (ξ) = ξ i. are bounded functions it is clear that R
4 Riesz Kernels. A natural generalization of the Hilbert transform to higher dimension is mutiplication of the Fourier Transform by homogeneous functions of degree 0, the simplest ones being R i f(ξ) =
More informationIntroduction to Pseudodifferential Operators
Introduction to Pseudodifferential Operators Mengxuan Yang Directed by Prof. Dean Baskin May, 206. Introductions and Motivations Classical Mechanics & Quantum Mechanics In classical mechanics, the status
More informationFRAMES AND TIME-FREQUENCY ANALYSIS
FRAMES AND TIME-FREQUENCY ANALYSIS LECTURE 5: MODULATION SPACES AND APPLICATIONS Christopher Heil Georgia Tech heil@math.gatech.edu http://www.math.gatech.edu/ heil READING For background on Banach spaces,
More informationFractional Hankel and Bessel wavelet transforms of almost periodic signals
ÜnalmışUzunJournal of Inequalities and Applications 15) 15:388 DOI 1.1186/s1366-15-99-8 R E S E A R C H Open Access Fractional Hankel and Bessel wavelet transforms of almost periodic signals Banu ÜnalmışUzun
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More informationRiemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,
Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction....................... 9 9b Positive integrands................... 9c Special functions gamma and beta......... 4 9d Change of
More informationTOPICS IN FOURIER ANALYSIS-III. Contents
TOPICS IN FOUIE ANALYSIS-III M.T. NAI Contents 1. Fourier transform: Basic properties 2 2. On surjectivity 7 3. Inversion theorem 9 4. Proof of inversion theorem 10 5. The Banach algebra L 1 ( 12 6. Fourier-Plancheral
More informationStarting from Heat Equation
Department of Applied Mathematics National Chiao Tung University Hsin-Chu 30010, TAIWAN 20th August 2009 Analytical Theory of Heat The differential equations of the propagation of heat express the most
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationVelocity averaging a general framework
Outline Velocity averaging a general framework Martin Lazar BCAM ERC-NUMERIWAVES Seminar May 15, 2013 Joint work with D. Mitrović, University of Montenegro, Montenegro Outline Outline 1 2 L p, p >= 2 setting
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationFirst-Order ODE: Separable Equations, Exact Equations and Integrating Factor
First-Order ODE: Separable Equations, Exact Equations and Integrating Factor Department of Mathematics IIT Guwahati REMARK: In the last theorem of the previous lecture, you can change the open interval
More informationMicrolocal Analysis : a short introduction
Microlocal Analysis : a short introduction Plamen Stefanov Purdue University Mini Course, Fields Institute, 2012 Plamen Stefanov (Purdue University ) Microlocal Analysis : a short introduction 1 / 25 Introduction
More informationTOPICS IN FOURIER ANALYSIS-IV. Contents
TOPICS IN FOURIER ANALYSIS-IV M.T. NAIR Contents 1. Test functions and distributions 2 2. Convolution revisited 8 3. Proof of uniqueness theorem 13 4. A characterization of distributions 14 5. Distributions
More informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More informationSingularities of affine fibrations in the regularity theory of Fourier integral operators
Russian Math. Surveys, 55 (2000), 93-161. Singularities of affine fibrations in the regularity theory of Fourier integral operators Michael Ruzhansky In the paper the regularity properties of Fourier integral
More informationPARTIAL DIFFERENTIAL EQUATIONS. Lecturer: D.M.A. Stuart MT 2007
PARTIAL DIFFERENTIAL EQUATIONS Lecturer: D.M.A. Stuart MT 2007 In addition to the sets of lecture notes written by previous lecturers ([1, 2]) the books [4, 7] are very good for the PDE topics in the course.
More informationIntegration on Measure Spaces
Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of
More informationNONDEGENERACY OF NONRADIAL NODAL SOLUTIONS TO YAMABE PROBLEM
NONDEGENERACY OF NONRADIAL NODAL SOLUTIONS TO YAMABE PROBLEM MONICA MUSSO AND JUNCHENG WEI Abstract: We prove the existence of a sequence of nondegenerate, in the sense of Duyckaerts-Kenig-Merle [9], nodal
More informationWavelets and regularization of the Cauchy problem for the Laplace equation
J. Math. Anal. Appl. 338 008440 1447 www.elsevier.com/locate/jmaa Wavelets and regularization of the Cauchy problem for the Laplace equation Chun-Yu Qiu, Chu-Li Fu School of Mathematics and Statistics,
More informationAngular momentum. Quantum mechanics. Orbital angular momentum
Angular momentum 1 Orbital angular momentum Consider a particle described by the Cartesian coordinates (x, y, z r and their conjugate momenta (p x, p y, p z p. The classical definition of the orbital angular
More information13. Fourier transforms
(December 16, 2017) 13. Fourier transforms Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/13 Fourier transforms.pdf]
More informationSpherical Waves. Daniel S. Weile. Department of Electrical and Computer Engineering University of Delaware. ELEG 648 Spherical Coordinates
Spherical Waves Daniel S. Weile Department of Electrical and Computer Engineering University of Delaware ELEG 648 Spherical Coordinates Outline Wave Functions 1 Wave Functions Outline Wave Functions 1
More informationL. Levaggi A. Tabacco WAVELETS ON THE INTERVAL AND RELATED TOPICS
Rend. Sem. Mat. Univ. Pol. Torino Vol. 57, 1999) L. Levaggi A. Tabacco WAVELETS ON THE INTERVAL AND RELATED TOPICS Abstract. We use an abstract framework to obtain a multilevel decomposition of a variety
More informationMathematics 324 Riemann Zeta Function August 5, 2005
Mathematics 324 Riemann Zeta Function August 5, 25 In this note we give an introduction to the Riemann zeta function, which connects the ideas of real analysis with the arithmetic of the integers. Define
More informationMICROLOCAL ANALYSIS METHODS
MICROLOCAL ANALYSIS METHODS PLAMEN STEFANOV One of the fundamental ideas of classical analysis is a thorough study of functions near a point, i.e., locally. Microlocal analysis, loosely speaking, is analysis
More informationFourier-Bessel Transform for Tempered Boehmians
Int. Journal of Math. Analysis, Vol. 4, 1, no. 45, 199-1 Fourier-Bessel Transform for Tempered Boehmians Abhishek Singh, Deshna Loonker P. K. Banerji Department of Mathematics Faculty of Science, J. N.
More informationOrthonormal Series Expansion and Laguerre-Finite Hankel Transform of Generalized Functions
IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728, p-issn: 2319-765X. Volume 10, Issue 4 Ver. IV (Jul-Aug. 2014), PP 96-101 Orthonormal Series Expansion and Laguerre-Finite Hankel Transform of Generalized
More informationInvariant measures for iterated function systems
ANNALES POLONICI MATHEMATICI LXXV.1(2000) Invariant measures for iterated function systems by Tomasz Szarek (Katowice and Rzeszów) Abstract. A new criterion for the existence of an invariant distribution
More informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More information3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationGAUSSIAN MEASURES ON 1.1 BOREL MEASURES ON HILBERT SPACES CHAPTER 1
CAPTE GAUSSIAN MEASUES ON ILBET SPACES The aim of this chapter is to show the Minlos-Sazanov theorem and deduce a characterization of Gaussian measures on separable ilbert spaces by its Fourier transform.
More informationFFTs in Graphics and Vision. Homogenous Polynomials and Irreducible Representations
FFTs in Graphics and Vision Homogenous Polynomials and Irreducible Representations 1 Outline The 2π Term in Assignment 1 Homogenous Polynomials Representations of Functions on the Unit-Circle Sub-Representations
More informationOn a class of pseudodifferential operators with mixed homogeneities
On a class of pseudodifferential operators with mixed homogeneities Po-Lam Yung University of Oxford July 25, 2014 Introduction Joint work with E. Stein (and an outgrowth of work of Nagel-Ricci-Stein-Wainger,
More informationand finally, any second order divergence form elliptic operator
Supporting Information: Mathematical proofs Preliminaries Let be an arbitrary bounded open set in R n and let L be any elliptic differential operator associated to a symmetric positive bilinear form B
More informationThe Poisson summation formula, the sampling theorem, and Dirac combs
The Poisson summation ormula, the sampling theorem, and Dirac combs Jordan Bell jordanbell@gmailcom Department o Mathematics, University o Toronto April 3, 24 Poisson summation ormula et S be the set o
More informationCONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence
1 CONVERGENCE THEOR G. ALLAIRE CMAP, Ecole Polytechnique 1. Maximum principle 2. Oscillating test function 3. Two-scale convergence 4. Application to homogenization 5. General theory H-convergence) 6.
More informations P = f(ξ n )(x i x i 1 ). i=1
Compactness and total boundedness via nets The aim of this chapter is to define the notion of a net (generalized sequence) and to characterize compactness and total boundedness by this important topological
More informationChapter 4 Euclid Space
Chapter 4 Euclid Space Inner Product Spaces Definition.. Let V be a real vector space over IR. A real inner product on V is a real valued function on V V, denoted by (, ), which satisfies () (x, y) = (y,
More information18.175: Lecture 15 Characteristic functions and central limit theorem
18.175: Lecture 15 Characteristic functions and central limit theorem Scott Sheffield MIT Outline Characteristic functions Outline Characteristic functions Characteristic functions Let X be a random variable.
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationRiesz Bases of Wavelets and Applications to Numerical Solutions of Elliptic Equations
Riesz Bases of Wavelets and Applications to Numerical Solutions of Elliptic Equations Rong-Qing Jia and Wei Zhao Department of Mathematical and Statistical Sciences University of Alberta Edmonton, Canada
More informationx λ ϕ(x)dx x λ ϕ(x)dx = xλ+1 λ + 1 ϕ(x) u = xλ+1 λ + 1 dv = ϕ (x)dx (x))dx = ϕ(x)
1. Distributions A distribution is a linear functional L : D R (or C) where D = C c (R n ) which is linear and continuous. 1.1. Topology on D. Let K R n be a compact set. Define D K := {f D : f outside
More informationThis ODE arises in many physical systems that we shall investigate. + ( + 1)u = 0. (λ + s)x λ + s + ( + 1) a λ. (s + 1)(s + 2) a 0
Legendre equation This ODE arises in many physical systems that we shall investigate We choose We then have Substitution gives ( x 2 ) d 2 u du 2x 2 dx dx + ( + )u u x s a λ x λ a du dx λ a λ (λ + s)x
More informationIntroduction to Microlocal Analysis
Introduction to Microlocal Analysis First lecture: Basics Dorothea Bahns (Göttingen) Third Summer School on Dynamical Approaches in Spectral Geometry Microlocal Methods in Global Analysis University of
More informationSingular Integrals. 1 Calderon-Zygmund decomposition
Singular Integrals Analysis III Calderon-Zygmund decomposition Let f be an integrable function f dx 0, f = g + b with g Cα almost everywhere, with b
More informationMATH 307: Problem Set #3 Solutions
: Problem Set #3 Solutions Due on: May 3, 2015 Problem 1 Autonomous Equations Recall that an equilibrium solution of an autonomous equation is called stable if solutions lying on both sides of it tend
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationIntroduction to Harmonic Analysis
LECTURES ON Introduction to Harmonic Analysis Chengchun Hao S n x n+ O θ cos θ sin θ S n x LECTURES ON INTRODUCTION TO HARMONIC ANALYSIS Chengchun Hao AMSS, Chinese Academy of Sciences Email: hcc@amss.ac.cn
More informationRKHS, Mercer s theorem, Unbounded domains, Frames and Wavelets Class 22, 2004 Tomaso Poggio and Sayan Mukherjee
RKHS, Mercer s theorem, Unbounded domains, Frames and Wavelets 9.520 Class 22, 2004 Tomaso Poggio and Sayan Mukherjee About this class Goal To introduce an alternate perspective of RKHS via integral operators
More informationErrata for Robot Vision
Errata for Robot Vision This is a list of known nontrivial bugs in Robot Vision 1986 by B.K.P. Horn, MIT Press, Cambridge, MA ISBN 0-262-08159-8 and McGraw-Hill, New York, NY ISBN 0-07-030349-5. If you
More informationON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP
Dedicated to Professor Gheorghe Bucur on the occasion of his 7th birthday ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP EMIL POPESCU Starting from the usual Cauchy problem, we give
More information2 Infinite products and existence of compactly supported φ
415 Wavelets 1 Infinite products and existence of compactly supported φ Infinite products.1 Infinite products a n need to be defined via limits. But we do not simply say that a n = lim a n N whenever the
More informationTopics in Harmonic Analysis Lecture 1: The Fourier transform
Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise
More informationPattern generation, topology, and non-holonomic systems
Systems & Control Letters ( www.elsevier.com/locate/sysconle Pattern generation, topology, and non-holonomic systems Abdol-Reza Mansouri Division of Engineering and Applied Sciences, Harvard University,
More informationLecture Notes Math 632, PDE Spring Semester Sigmund Selberg Visiting Assistant Professor Johns Hopkins University
Lecture Notes Math 63, PDE Spring Semester 1 Sigmund Selberg Visiting Assistant Professor Johns Hopkins University CHAPTER 1 The basics We consider the equation 1.1. The wave equation on R 1+n u =, where
More informationOscillatory integrals
Chapter Oscillatory integrals. Fourier transform on S The Fourier transform is a fundamental tool in microlocal analysis and its application to the theory of PDEs and inverse problems. In this first section
More information9 Radon-Nikodym theorem and conditioning
Tel Aviv University, 2015 Functions of real variables 93 9 Radon-Nikodym theorem and conditioning 9a Borel-Kolmogorov paradox............. 93 9b Radon-Nikodym theorem.............. 94 9c Conditioning.....................
More informationErrata for Robot Vision
Errata for Robot Vision This is a list of known nontrivial bugs in Robot Vision 1986) by B.K.P. Horn, MIT Press, Cambridge, MA ISBN 0-6-08159-8 and McGraw-Hill, New York, NY ISBN 0-07-030349-5. If you
More informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
More informationSub-Riemannian geometry in groups of diffeomorphisms and shape spaces
Sub-Riemannian geometry in groups of diffeomorphisms and shape spaces Sylvain Arguillère, Emmanuel Trélat (Paris 6), Alain Trouvé (ENS Cachan), Laurent May 2013 Plan 1 Sub-Riemannian geometry 2 Right-invariant
More informationIntroduction to Harmonic Analysis
} Introduction to Harmonic Analysis LECTURE NOTES } Chengchun Hao Institute of Mathematics, AMSS, CAS Updated: April 8, 26 Contents The Fourier Transform and Tempered Distributions............ The L theory
More informationQUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 2010 (Day 1)
QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 21 (Day 1) 1. (CA) Evaluate sin 2 x x 2 dx Solution. Let C be the curve on the complex plane from to +, which is along
More informationA CLASS OF DIRICHLET FORMS GENERATED BY PSEUDO DIFFERENTIAL OPERATORS
An. Şt. Univ. Ovidius Constanţa Vol. 112, 23, 119 126 A CLASS OF DIRICHLET FORMS GENERATED BY PSEUDO DIFFERENTIAL OPERATORS Emil Popescu Abstract We prove that under suitable assumptions it is possible
More informationFACTORIZATION OF SECOND-ORDER STRICTLY HYPERBOLIC OPERATORS WITH LOGARITHMIC SLOW SCALE COEFFICIENTS AND GENERALIZED MICROLOCAL APPROXIMATIONS
Electronic Journal of Differential Equations, Vol. 28 28, No. 42, pp. 49. ISSN: 72-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu FACTORIZATION OF SECOND-ORDER STRICTLY HYPERBOLIC OPERATORS
More informationLegendre s Equation. PHYS Southern Illinois University. October 18, 2016
Legendre s Equation PHYS 500 - Southern Illinois University October 18, 2016 PHYS 500 - Southern Illinois University Legendre s Equation October 18, 2016 1 / 11 Legendre s Equation Recall We are trying
More informationDavid Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent
Chapter 5 ddddd dddddd dddddddd ddddddd dddddddd ddddddd Hilbert Space The Euclidean norm is special among all norms defined in R n for being induced by the Euclidean inner product (the dot product). A
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More informationSobolev Spaces 27 PART II. Review of Sobolev Spaces
Sobolev Spaces 27 PART II Review of Sobolev Spaces Sobolev Spaces 28 SOBOLEV SPACES WEAK DERIVATIVES I Given R d, define a multi index α as an ordered collection of integers α = (α 1,...,α d ), such that
More informationProblem 1 (Equations with the dependent variable missing) By means of the substitutions. v = dy dt, dv
V Problem 1 (Equations with the dependent variable missing) By means of the substitutions v = dy dt, dv dt = d2 y dt 2 solve the following second-order differential equations 1. t 2 d2 y dt + 2tdy 1 =
More informationThe heat equation for the Hermite operator on the Heisenberg group
Hokkaido Mathematical Journal Vol. 34 (2005) p. 393 404 The heat equation for the Hermite operator on the Heisenberg group M. W. Wong (Received August 5, 2003) Abstract. We give a formula for the one-parameter
More information1.5 Approximate Identities
38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these
More information4. Ergodicity and mixing
4. Ergodicity and mixing 4. Introduction In the previous lecture we defined what is meant by an invariant measure. In this lecture, we define what is meant by an ergodic measure. The primary motivation
More informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More information