Lectures on Topics in Mean Periodic Functions And The Two-Radius Theorem
|
|
- Λουκιανός Ρόκας
- 6 χρόνια πριν
- Προβολές:
Transcript
1 Lectures n Tpics in Mean Peridic Functins And The Tw-Radius Therem By J. Delsarte Tata Institute f Fundamental Research, Bmbay 96
2
3 Intrductin Three different subjects are treated in these lectures.. In the first part, an expsitin f certain recent wrk f J.L. Lins n the transmutatins f singular differential peratrs f the secnd rder in the real case, is given. (J.L. Lins- Bulletin sc. Math. de France, 84(956)pp. 9 95). The secnd part cntains the first expsitin f several new results n the thery f mean peridic functins F, f tw real variables, that are slutins f tw cnvlutin equatins: T F= T F= 0, in the case f cuntable and simple spectrum. These functins can be, at least frmally, expanded in a series f mean-peridic expnentials, crrespnding t different pints f the spectrum. Having determined the cefficients f this develpment, we prve its uniqueness and cnvergence when T and T are sufficiently simple. The result is btained by using an interplatin frmula, in C, which is analgus t the Mittag-Leffler expansin, in C. The expsitin and the prfs given here can prbably later, be simplified, imprved, and perhaps generalized. They shuld therefre be cnsidered as a preliminary accunt nly. 3. Finally, in the third part, I state and prve the tw-radius therem, which is the cnverse f Gauss s classical therem n the spherical mean fr harmnic functins. The prf is the same as that recently published, (Cmm. Math. Helvetici, 959) in cllabratin with J.L. Lins; it uses the thery f transmutatins f singular differential iii
4 iv Intrductin peratrs f the secnd rder, and the fundamental therem f meanperidic functins in R. J. Delsarte
5 Cntents Intrductin iii I Transmutatin f Differential Operatrs Riemann s Methd 3 Riemann s Methd fr the Cauchy prblem Prf fr the Riemann s methd Transmutatin f Differential Operatrs 3 Transmutatin in the Irregular Case 7 The peratr B p fr Rep> Cntinuatin f the peratr B p Cntinuatin f B p Transmutatin in the Irregular Case Cntinuatin f T p II Tpics In Mean-Peridic Functins 5 Expansin f a Mean-peridic Functin in Series 53 Determinatin f the cefficients in the frmal series.. 55 v
6 vi Cntents Examples Mean Peridic Functin in R 6 3 The Heuristic Methd The general frmula in R by the heuristic prcess The frmula (F ) fr a plynmial The fundamental therem f Mean III The Tw-Radius Therem Study f certain Cauchy-Prblems The generalized tw-radius therem Discussin f the hypthesis H
7 Part I Transmutatin f Differential Operatrs
8
9 Chapter Riemann s Methd Riemann s Methd fr the Cauchy prblem Definitin. A functin is said t be (C, r) n a subset f A f R n if all its 3 partial derivatives upt the rder r exists and are cntinuus in A. Let D be a regin (pen cnnected set) in R, the (x, y) plane. Let a, b, c be three functins which are (C, ) in D and u a functin (C, ) in D and let L dente the differential peratr Lu= u x y + a u x + b u y + cu. Let v be a functin which is (C, ) in D and L be a differential peratr f the same type as L: then L v= v x y x (av) y (bv)+cv vl(u) ul (v)= M x + N y where M and N are (C, ) in D and are certain cmbinatins f u, v and 4 their partial derivatives. vl(u)=v v x y + av u x + bv u y + cuv 3 ()
10 4. Riemann s Methd = cuv+ x (auv)+ y (buv)+ ( v u ) x y u x (av) u y (bv) v u x y [ ] v = u x y x (av) y (bv)+cv + [ auv+v u ] x y y [ u v ] x buv 5 vl(u) ul (v)= M x + N y where M= auv+v u, N= buv u v y x. The right hand member f () des nt change if we replace M by auv+ (v u y u v y ) and N by buv+ (v u x u v ). We prefer t have x where M= y (uv) up(v) N= x (uv) uq(v) P(v)= v av, Q(v)= v y x bv. Let C be a clsed curve lying entirely in the regin D. By Green s frmula, ( ) M (λm+µn)ds= x + N dxdy y C whereλ,µdente the directin csines f the interir nrmal t C and A dentes the regin enclsed by C. In view f equatin (), (λm+µn)ds= (vl(u) ul (v))dxdy () C A A (i) (ii)
11 . Riemann s Methd fr the Cauchy prblem 5 We shall cnsider this equatin in the case when C cnsists f tw straight lines AX, AY parallel t the axes f crdinates and a curveγ, mntnic in the sense f AX and AY, jining X and Y. Suppse that L(u)=0 and L (v)=0 then C (λm+µn)ds=0 i.e. X A Ndx A Y Mdy= (λm+µn)ds substituting fr M and N frm (i) and (ii) respectively, X Y and X A A Ndx= X [(uv) X (uv) A ] Y Mdy= [(uv) Y (uv) A ]+ A uq(v)dx A Y up(v)dy. If the functins u, v satisfy 6 Lu=0, L v=0, P(v)=0n AY and Q(v)=0 n AX (3) then we btain the Riemann s Reslutin frmula: (uv) A = [(uv) X+ (uv) Y ]+ X Y (λm+µn)ds. Let A be (x 0, y 0 ). Then v=g(x, y; x 0, y 0 ) satisfying the cnditins (3) is the Riemann s functin fr the equatin L(u) = 0. In the situatin L(u)= f (x, y), L v=0, P(v)=0 n AY, Q(v)=0n AX,
12 6. Riemann s Methd exactly similar cmputatin gives the frmula: (uv) A = X [(uv) X+ (uv) Y ]+ (λm+µn)ds+ v f (x, y)dxdy. Y A An imprtant prperty f the Riemann s functin. Let nw Γ cnsider f tw straight lines XB, Y B parallel t the axes f crdinates. Then X X B (λm+µn)ds= Mdy Ndx Y B Y 7 We can write M= y (uv)+vp (u) N= x (uv)+vq (u) where P (u)= u y + au, Q (u)= u x + bu. X B Mdy= X [(uv) X (uv) B ]+ B vp (u)dx B Ndx= Y [(uv) B (uv) Y ] B Thus in this case Riemann s reslutin frmula becmes (uv) A = [(uv) X+ (uv) Y ] [(uv) X (uv) B ] X + vp (u)dx+ B [(uv) B (uv) Y ] B X i.e., (uv) A = (uv) B vq (u)dx+ vp (u)dx B Y Y B If u=h(x, y; x, y ), (x, y ) being the pint B, is such that Lu=0, P (u)=0 n BX, Q (u)=0 n BY, Y vq (u)dx vq (u)dx
13 . Prf fr the Riemann s methd 7 we get (uv) A = (uv) B. 8 Chsing cnstant multipliers fr u = h(x, y; x, y ) and v = g (x, y; x 0, y 0 ) in such a way that u= at B and v=at A, we have h(x 0, y 0 ; x, y )=g(x, y ; x 0, y 0 ) (4) This shws that the Riemann s functin g, cnsidered as a functin f (x 0, y 0 ) satisfies the differential equatin Lu=0. Prf fr the Riemann s methd We have btained (4) under the hypthesis that there exists functins u=h(x, y; x, y ) and v=g(x, y; x 0, y 0 ) which are (C, ) in D and which satisfy Lu= u x y + a u x + b u y + cu=0 P (u)= u + au=0 n BX y Q (u)= u + bu=0 n BY and x L v= v x y + a v x + b v y + c v=0 where a = a, b = b, c = a x b y + c P(v)= v y + a (v)=0 n AY Q(v)= v x + b (v)=0 n AX. By change f ntatin and translatin f the rigin, the prblem fr 9 the existence f the Riemann s functin v=g(x, y) in D fr the pint
14 8. Riemann s Methd (x 0, y 0 ) D fr the differential equatin Lu=0 reduces t the slutin f the prblem : with the cnditins u x y + a u x + b u y + cu=0 u(0, y)=α(y) u(x, 0)=β(x) I α(0)=β(0)= 0 where a, b, c are (C, ) in D andα,β are (C, ) functins f ne real variable. The slutin f the mre general prblem : [ u x y =λ a u ] x + b u y + cu with the cnditins I will give frλ= the slutin f the prblem (). We shall nw prve the existence f the unique slutin fr the prblem by using Piccard s methd f successive apprximatins. Cnsider the series u 0 (x, y)+λu (x, y)+ +λ n u n (x, y)+ (5) where u i (x, y) are defined by the fllwing recurrence frmula: u 0 x y = 0 u 0(0, y)=α(y), u 0 (x, 0)=β(x) u n x y = a u n + b u n + cu n, u n (x, 0)=u n (0, y)=0 fr n. x y It suffices t take u 0 (x, y)=α(y)+β(x) and u n (x, y)= x 0 φ n (ξ,η)dξdη where φ n = a u n x + b u n y + cu n We shall nw prve the cnvergence f the series (5) by the prcess f majrisatin which is classical. Suppse that a, b, c are (C, 0) in D y 0
15 . Prf fr the Riemann s methd 9 andα,β are (c, ) f ne real variable. Let K be a cmpact subset D cntaining the rectangle with sides parallel t the axes and (0, 0) and (x, y) as ppsite crners. Then there exists an M, A such that α(ξ)+ β(η) M, (α(ξ)+β(η) ) M, ξ and (α(ξ)+β(η) ) M, η fr (ξ,η) in K, and a, b, c, A in K. Then φ 0 (x, y) 3 A M. By the recurrence frmula fr n =, u (x, y) x y 0 0 φ 0 (ξ,η)dξdη 3AM x y u 3AM y and, u x y 3AM x. Hence u (x, y), u x, u y are each 3AM(+ x )(+ y ). Cmputingφ (x, y), we have immediately, ( ) ( ) + x + y u (x, y) 9A M!! ( ) u (x, y) + y x 9A M(+ x ) ( ) u (x, y) + x y 9A M (+ y ) In general u n (x, y), u n x, u n M[3A(+ x )(+ y )]n y, n! Cmparing with the expnential series, this majrizatin prves that the series (3) as als the series btained frm (3) by differentiating each term nce and twice are all cnvergent unifrmly n each cmpact subset f D and abslutely in D, s that (3) cnverges t a functin (C, ) in D. This functin u(x, y) is evidently the slutin f prblem and the prf fr the existence f Riemann s functins is cmplete.
16 0. Riemann s Methd Remark. Frm the recurrence frmula it is clear that the functin u(x, y) satisfies x y [ u(x, y)=α(y)+β(x) +λ a u ] x + b u y + cu dξ dη 0 0 x=ξ y=η This integral equatin is equivalent t the differential equatin f prblem with cnditins I. When a, b, c are (C, 0) andα,β are (C, ), the slutin u(x, y) f the integral equatin may nt be (C, ). But then it is a slutin f prblem in the sense f distributins.
17 Chapter Transmutatin f Differential Operatrs Let L and L dente tw differential peratrs n the real line R and 3 E m (x a) dente the space f functins m times cntinuusly differentiable in [a, ) furnished with the usual tplgy f unifrm cnvergence f functins tgether with their derivatives upt the rder m n each cmpact subset f [a, ). Let E be a subspace f the tplgical vectr space E m (x a). Definitin. A transmutatin f the differential peratr L int the differential peratr L in E is a tplgical ismrphism X f the tplgical vectr space E nt itself (i.e. a linear, cntinuus, ne-t-ne, nt map), such that XL = L X X is said t transmute the peratr L int the peratr L in E and L = XL X n E. Transmutatin in the regular case. Let L = D x q(x), L = D x where q satisfies certain cnditins f regularity. The cnstructin f the transmutatin peratr in this case depends n the cnsideratin f certain partial differential equatin. Prblem. T determineφ(x, y) in x a, y a satisfyingφ xx Φ yy
18 . Transmutatin f Differential Operatrs q(x)φ=0 with the bundary cnditins Φ(x, a)=0=φ(a, y);φ y (x, a)= f (x) 4 This mixed prblem is equivalent t the Cauchy prblem if we set u(x, y)=φ(x, y) fr x a = Φ(a x, y) fr x a We set withut prf the fllwing prpsitin. Prpsitin. (a) If q E (R), f E (x a) with f (a)=0, then prblem pssesses a unique slutin which is (C, ) in x a, y a and satisfies the differential equatin in the sense f distributins. (b) If q E (R) and if f E (x a) with f (a)=0, the slutin f prblem is (C, ) in x a, y a. In the regin y x(r x y), the slutin is (C, 3). (c) If q E (R) with q (a)=0 and f E 3 (x a) with f (a)= f (a)= 0, then the slutin u f the prblem is (C, 4) in y a. [Refer t E. Picard, Lecns sur quelques types simples d equatin aux derivces partielles, Paris, Gauthier-VIllars, 97.] With the help f this prpsitin we prve Prpsitin. If q E (R) with q (a)=0 and f E 4 (x a) with f (a)= f (a)=0 then D A f= AL f where L=D = q and A is defined by A f (y)= [Φ(a, y)], x 5 Φ(x, y) being the slutin f prblem. Letψ(x, y)=l x [Φ(x, y)]= Φ q(x)φ and g(x)=l x x f (x). AsΦ is (C, 4) by Prpsitin (c), and f E 4 (x a),ψ(x, y) is (C, ) and g E (x a) with g(a)=0. Replacing f by g in prpsitin (b), prblem pssesses a unique slutin. We verify belw that this unique slutin is Ψ(x, y). L x Ψ D yψ=l x L x Φ D yl x Φ=L x [L x Φ D yφ]=0;
19 3 Ψ(x, a)=l x [Φ(x, a)]=l x [0]=0; y Ψ(x, y)=d yl x Φ(x, y)=l x D y Φ(x, y) Ψ y (x, a)=l x D y Φ(x, a)=l x f (x)=g(x); Ψ(a, y)=d y[φ(a, y)]=0. s that Nw by definitin f A, AL[ f (y)]=a.g= Ψ(a, y) x Ψ x (x, y)=d x L x Φ= D y[φ x (x, y)] gives Ψ x (a, y) = D y [Φ x(x, y)]=d ya f (y). Hence we have prved that AL=D y A. Cmputatin f the slutin u(x, y), y a f prblem by using 6 Riemann s functin. Let K(x, y; x 0, y 0 ) be the Riemann s functin defined in the shaded part f the satisfying the cnditins K K x y q (x)k= 0 with q (x)=q(x) if x a = q(a x) if x<a
20 4. Transmutatin f Differential Operatrs and K n Mm = K n Mm =. In this case Riemann s methd gives u(x 0, y 0 )= x0 +y 0 a a y 0 +x 0 f (x)k(x, a; x 0, y 0 )dx where f (x)= f (x) if x a = f (a x) if x a 7 Hence A[ f (y 0 )]= u(a, y 0 ) x 0 = f (y 0 ) y0 a f (x) x 0 K(x, a; a, y 0 )dx. Prblem. T determine the functinφ(x, y) in x a, y a satisfying the cnditinsφ xx Φ yy q(x)φ=0;φ(a, y)=0;φ x (a, y)=g where g E (y a) with g(a) = 0, andφ(x, a) = 0. Prblem, is the same as Prblem if in the bundary cnditins the lines x=a, y=a are interchanged. IfΦis the slutin f Prblem, we define a g(x)= Φ(x, a). y Prpsitin 3. If q E (R) and f E (x a) with f (a)=0, then aa f= Aa f=f. LetΦbe the slutin f Prblem and let g(y)=a f (y)= Φ(a, y). x By Prpsitin (b), g is (c, ) in y a and g(a)=0. HenceΦis the slutin f Prblem and a g(x)= y Φ(x, a)= f (x). This shws that aa f=f. Similarly Aa f=f. Prpsitin 3 tgether with Prpsitin shws that if q E (R) with q (a)=0 the map A, which is bviusly linear is ne-t-ne f the space E= { f/f E 4 (x a), f (a)= f (a)=0 } nt itself and verifies AL f = D A f. Further in view f the frmula fr A f n page 3 in items f Riemann s functins, A is cntinuus n E with the tplgy induced by E 4 (x a). As E is a clsed subspace f the Frechet space
21 5 E 4 (x a), A is a tplgical ismrphism. Thus we have prved the existence f the transmutatin peratr A in E transmuting D q(x) int D when q is sufficiently regular. We nw cnsider the prblem f transmuting mre general differen- 8 tial peratrs L i = D + r i (x)d+ s i (x) (i=, ) int each ther when r i and s i are regular (e. g. r i, s E (R)). Prpsitin 4. There exists an ismrphism A L L f E which satisfies A L L L = L A L L. The prpsitin will be prved if we prve the existence f transmutatin X f the peratr L int the peratr D q. Fr then the same methd will give a transmutatin f L int L = D q and each f the peratrs D q i (i=, ) can be transmutated int the peratr D s that finally we btain the required transmutatins A L L by cmpsing several transmutatins. Let R (x)= x a r (ξ)dξ then the verificatin f the fllwing equatins is straight frward: ] L [e R(x) f (x) = e R(x) L [ f ]. Hence we have X f (x)=e R (x) f (x).l = D q where q (x)= 4 r (x)+ r (x) s (x) E. Applicatin f transmutatin t the Mixed Prblems f differential equatins. IfΛis an elliptic peratr inr n ( independent f the variable t which 9 crrespnds t time) we cnsider the prblem f finding a functin u(x, t) (x R n, t time) which satisfies the differential equatin ( ) Λ x (x, t)+ t + r(t) t + s(t) u(x, t)=0
22 6. Transmutatin f Differential Operatrs with the Cauchy data in a bunded dmainω R n fr t=0 and als n the hemicylinderω [t 0] whereω dentes the frntier fω. In this prblem the variable x which crrespnds t space and the variable t which crrespnds t time are strictly separated. Suppse that A t is a transmutatin in the variable t which transmutes t + r(t) t + s(t) int t and let V(x, t)=a tu(x, t) when u(x, t) is the slutin f the differential equatin. Then applying A t t the left hand member f the equatin we have A t Λ x u(x, t)+a t ( t + r(t) + s(t))u(x, t)=0 t i.e., Λ x v(x, t)+ v(x, t) t = 0 and v(x, t) satisfies Cauchy s data i.e., by means f the transmutatin, cnsideratin f the gives equatin is reduced t the cnsideratin f the wave equatin.
23 Chapter 3 Transmutatin in the Irregular Case Intrductin. Our aim in this chapter is t btain a transmutatin p- 0 eratr fr a differential peratr with regular cefficients. In rder t reduce the mixed prblem relative t the peratr Λ+ p+ t+ t, p real r cmplex, t whereλ= ( being the Laplacian in the variables x,..., x n ) t the mixed prblem relative t the peratr Λ+ t we shall cnstruct an peratr will transmute the peratr L p = D + p+ D x int the peratr D. The difficulty in this case arises due t the presence f the cefficient which has a singularity at x=0. If we seek the x slutin f the prblem in x a, where a>0, the methd f the preceding chapter is perfectly valid withut any change. But the imprtant case is precisely the ne in which a=0. 7
24 8 3. Transmutatin in the Irregular Case We shall determine ismrphisms B p, B p (f certain space which will be precisely specifies in the sequel ) which satisfy D B p = B p L p ; B p D = L p B p. The peratr B p fr <Rep< and the peratr B p fr Rep> are classical. B p is the Pissn s peratr and B p is the derivative f the Snine peratr. The peratr B p fr Rep> It can be frseen that the peratr B p is defined in terms f the slutin fr y>0 f the partial differential equatin Φ xx Φ yy + p+ Φ x = 0 x with the cnditinsφ(0, y)=g (y) being an even functin g (y)=g(y) fr y>0 and g (y)=g( y) fr y<0, andφ x (0, y)=0 Nw we define B p [g(x)]=φ(x, 0). Changing the variables (x, y) t the variables (s, t) be means f the frmulae s =y+ x and t ( =y x, we see by simple cmputatin that u(s, t)=φ s t, s+t ) is a slutin f the partial differential equatin u st p+ s t u s+ p+ s t u t= 0 with the cnditins u(s, s)=g (s ) (u s u t ) s=t = 0
25 . The peratr B p fr Rep> / 9 Frα= p+, Pissn s slutin has the frm u(s, t)= Γ(α) [Γ(α)] valid fr Reα>0 (r Rep> ). Then B[g(x)]=Φ(x, 0)=u( x, x ) 0 g { [s+(t s)ρ] } ( ρ) α ρ α dρ setting ρ=r, = Γ(α) [Γ(α)] 0 g [x( ρ)]( ρ) α ρ α dρ B p [g(x)]= Γ(α) [Γ(α)] α 0 = Γ(p+) πγ(p+ ) ( UsingΓ(α)= Γ(α)Γ(α+ )α π. Nte that B p [g(0)]=. 0 ( r ) α g (rx)dr ( t ) p g(tx)dt. Prpsitin. The mapping f B p f is a linear cntinuus map f 3 F = { f/f E (x 0), f (0)=0 } int itself and satisfies B p D f= L p B p f fr any f F. As fr Rep>, differentiatin { under sign } f integratin is permissible, d B p f E (x 0). Further dx B p[ f ] = f (0) k (k being sme x=0 cnstant), = 0. Hence B p f F. Evidently B p is linear. In rder t prve cntinuity, since F has a metrizable tplgy induced by that f E (x 0), it is
26 0 3. Transmutatin in the Irregular Case 4 5 sufficient t shw that if a sequence{ f n }, n=,,..., f n F. cnverges t 0 in F, then B p f n cnverges t zer in F. But f n 0 in F implies f n 0 unifrmly n each cmpact set, in particular n the cmpact set [0, ] frm which it fllws that B p f n 0. It remains t verify that B p satisfies the given cnditin. Writingβ p = Γ(p+) πγ(p+/) { Lp B p f B p D f } = β p β p + (p+)t x = p+ x = p+ x = { t ( t ) p f (tx) ( t ) p f (tx) ( t ) p f (tx) } dt 0 t( t ) p f (tx)dt ( t ) p+ f (tx)dt. 0 ( t ) p+ p+ f (tx) + ( t ) p+ f (tx)dt 0 x ( t ) p+ f (tx)dt (integrating the first integral by parts). Remark. Let J p (x) dente the classical Bessel functin and let j p (x)= p Γ(p+)x p J p (x) j p (x) is in F and is the unique slutin f the differential equatin d y ( ) dx + p+ dy dy x dx + s y=0 with the cnditins (y) x=0 = and = 0. dx x=0 Nw cs sx F. Let B p (cs sx)=g(x). Using L p B p = B p D, we get i.e., L p B p [cs sx]=l p [g(x)]=b p D (cs sx) L p g+ s g=0. = s B p [cs sx]= s g(x). Further g(0)=cs 0= and g (0)=0 since g F. This shws that B p (cs sx)=g(x) j p (sx).
27 . The peratr B p fr Rep> / Hence we btain the classical frmula, j p (sx)= Γ(p+) πγ(p+ ) 0 ( t ) p cs(stx)dt. The peratr B p was cnsidered by Pissn in this particular questin f the transfrmatin f the cnsine int the functin j p. The peratr B p fr <Rep< Fr f E 0 (x 0), the definitin f B p is B p [ f (x)]=b p x x 0 (x y ) p 3 y p+ f (y)dy = b p t p+ ( t ) p 3/ f (tx)dt 0 where /b p = ( π Γ(p+)Γ p ) Prpsitin. Fr <Rep< and f F, f B p f is a linear 6 cntinuus map f F int itself satisfying D B p f= B p L p f. The prf f the fact that B p is a linear cntinuus map f F int itself is analgus t the ne we have given in Prpsitin. We verify that B p satisfies the given cnditin, again as in Prpsitin, by integratin by parts { } Bp L p D B p f (x)= t p+ ( t ) p 3/ b p 0 { f (tx)+ p+ } f (tx) t f (tx) dt tx = = t p+ ( t ) p ) f (tx)+ p+ 0 x [ ] t p+ ( t ) p f (tx) 0 0 f (tx) x 0 d dt t p ( t ) p 3/ ) f (tx)dt
28 3. Transmutatin in the Irregular Case t p+ dt+ p+ ( t ) p+ x t p 0 f (tx) ( t ) p+3/ dt=0. 7 The Snine peratr B p fr <Rep<. B p is defined fr every f E 0 (x 0)by B p f= x b p 0 t p+ ( t ) p+ f (tx)dt x = b p y p+ (x y ) p f (y)dy 0 π where b p = Γ(p+)Γ( p+ ). The integral cnverges if <Rep< and we can differentiate under the sign f integratin d dx B p [( f (x))]=b p [ f (x)] fr every f E 0 (x 0) Relatin between B p and B p When < Rep<, bth B and B p are defined and it is easy t prve by direct cmputatin Abel s functinal equatin B p B p [ f (x)]= In fact x 0 f (y)dy. x y B p B p [ f (x)]= b p y p+ (x y ) p βp y p f (z)(y z ) p dz 0 y = b p β p dy 0 y x = b p β p [ f (z) 0 0 x y(x y ) p f (z)dz z (x y ) p (y z ) p ydy]dz 0
29 . Cntinuatin f the peratr B p 3 8 Setting x sin θ+z cs θ=y, we have x y = (x z ) cs θ, y z = (x z ) sin θ ydy=(x z ) sinθcsθdθ x z (x y ) p (y z ) p ydy π = cs p θ sin p θdθ= ( 0 B p+, p+ ) = Γ ( ( ) p+ ) Γ p+ Γ() Hence B p B p [ f (x)]= x 0 f (z)dz s that D B p B p [ f (x)]= f (x). Cntinuatin f the peratr B p Fr any f E (x 0)=E (x 0), we define In general T [ f (t, x)]=d t [t f (tx)], T [ f (t, x)]=d t [t 3 T { f (t, x)}]. T n [ f (t, x)]=d t {t 3 T n [ f (t, x)]}. Lemma. T n [ f (t, x)] = t n g n (t, x) where g n (t, x) is an indefinitely 9 differentiable functin in [0, ] [0, ). The prf f the lemma is trivial and is based n indicatin n n. Fr n=, we have nly t set g (t, x)=d t [t f (tx)]. Assume that the lemma is true fr n s that Define T n [ f (t, x)]=t n 4 g n (t, x). g n (t, x)=3g n (t, x)+(n 4)g (n ) (t, x)+td t g n (t, x).
30 4 3. Transmutatin in the Irregular Case By definitin T n [ f (t, x)]=3t T n [ f (t, x)]+t 3 D t T n [ f (t, x)] = 3t t n 4 g n (t, x)+t 3{ (n 4)t n 5 g n (t, x)+t n 4 D t g n (t, x) }. = t n g n (t, x). n 3 Tn f (x, t)dt cn- Crllary. The integral 0 tp (n 3) ( t ) verges fr <Rep<n. p+ 30 The crllary is immediate since the integral can be written as 0 tp+ ( t ) p+n 3 g n (t, x). Prpsitin. Fr <Rep<, and fr f E (x 0), B p [ f (x)]= ( ) n b p (p+)(p ) (p n 3) 0 t p (n 3) ( t n 3 ) p T n f (t, x)dt The prf is based n inductin n n and the fllwing frmula which is bvius: d t p λ = (p λ)tp λ dt ( t ) p λ ( t ) p λ/+ () fr any λb p [ f (x)]=b p t p+ ( t ) p 3/ f (tx)dt Let n=. If p+ 3 = p λ +, i.e., λ= t p d t ( t ) p+3/= p+ (p+) dt ( t ) p+ 0
31 . Cntinuatin f the peratr B p 5 s that B p [ f (x)]= b p p+ = b p p+ 0 0 d t p+ dt ( t ) p+ t p+ t f (tx)dt [ ] T ( t ) p+ f (t, x) dt (integrating by parts, the integrated part being zer since Rep+ < 0 3 and Rep+ >0). Thus the frmula t be prved hlds fr n=. Assuming it fr n, we establish it fr n B p [ f (x) ] = ( ) n b p (p+)(p )...(p n+5) 0 t p (n 5) ( t n 5 ) p T n [ f (t, x)]dt Using () with p n 5 = p λ + i.e., λ=n 3, the integral n the right hand side equals p n+3 0 = = d dt t p n+3 ( t n 3 ) p p n+3 p n+3 0 t 3 T n [ f (t, x)]dt t p+ ( t n 3 ) p 0 g n (t, x) t p n+3 ( t n 3 ) p t p n+3 ( t n 3 ) p 0 T n [ f (t, x) ] dt T n [ f (t, x) ] dt, the integrated part being zer since <Rep<. We write 3 B n p [ f (x) ] = b (n) p 0 t p (n 3) [ ] T ( t n 3 n f (t, x) dt () ) p
32 6 3. Transmutatin in the Irregular Case where b (n) p = ( ) n b p (p+)(p )(p 3) (p n+3) (3) The integral is cnvergent fr < Rep < n s that under this cnditin, we can differentiate under the sign f integratin and B n p f E. We btain fr each n a functin which assigns t each p in <Rep<n, a map Bn p f E int itself which cincides with B p if 33 <Rep<. It is easy t see that Bn p is a linear map f E int itself. In rder t shw that it is cntinuus, as E is metrizable, it is enugh t prve that if a sequence { } f j j=,,... tends t zer in E, then Bn p f j tends t 0 in E. We have where D r xb n [ p f j (x) ] b (n) t p (n 3) p M(r, x, j) dt 0 ( t n 3 ) p M(r, x, j)= sup D r x T [ n f j (t, x) ] t [ Nw T n f f (t, x) ] is a plynmial in t, x with cefficients which are derivatives f rder n f f j and f j tgether with all its derivatives cnverge t zer n each cmpact subset. Hence M(r, x, j) 0 as j unifrmly fr x n each cmpact subset i.e. B n p f j 0 in E. Thus we btain a functin p B n p n <Rep< with values in L (E,E ), the space f linear cntinuus maps f E int itself. We intend t prve that this functin is analytic and can be cntinued in the whle cmplex plane int a functin which ia analytic in the half plane Rep > and mermrphic in Rep < with a sequence f ples lying n the real axis. Befre prving this cntinuatin therem we give first the definitin f a vectr valued analytic functin and sme f its prperties which fllw immediately frm the definitin. Definitin. Let 0 be an pen subset f the cmplex plane and E a lcally cnvex vectr space. A functin f : 0 E is called analytic if fr every e in the tplgical dual E f E (i.e. the space f linear cntinuus frms n E) the functin z < f (z), e > is analytic in 0 where<,> dentes the scalar prduct between E and E.
33 . Cntinuatin f the peratr B p 7 Lemma. If E is lcally cnvex vectr space in which clsed cnvex envelpe f a cmpact set is cmpact, a functin f : 0 E is analytic if f is cntinuus and fr every e in a ttal set M f E, z < f (z), e > is analytic in 0. Let C be any simple clsed curve lying entirely in 0, enclsing re- 34 gin ( pen cnnected set ) cntained in 0. Fr e M, the functin z < f (z), e > is analytic in 0, s that c < f (z), e > dz=0 i. e. < c f (z)dz, e >= 0. f (z)dz is the integral f the cntinuus E-valued c functin f ver the cmpact set C and is an element f E since E has the prperty that the clsed cnvex envelpe f any cmpact subset is cmpact. ( Fr integratin f a vectr valued functin, refer t N. Burbaki, Elements de Mathematique, Integratin, Chapter III). Hence c f (z)dz= 0 since M is ttal, s that< c f (z)dz, e >= c < f (z), e > dz=0 fr every e E. Als as f is cntinuus it fllws that z < f (z), e > is cntinuus. This prves that z < f (z), e > is analytic fr every e E since the chice f C was arbitrary. Prpsitin. Suppse that <Rep<n. Then a) B n p f E (x 0) fr every f E (x 0) b) The mapping f B n p f is linear cntinuus f E int itself. c) The functin p B n p n the strip < Rep < n with values in L s (E,E ) is analytic where L s (E,E ) is the space f linear cntinuus maps f E int E endwed with the tplgy f simple cnvergence. We have t prve nly (c). We first bserve that any linear cntinuus frm n L s (E, F) is given by finite linear cmbinatin f frms 35 f the type u < ue, f > with e E and f F. The therem will be prved if we shw that the map p < B n p f, T> is analytic in <Rep<n where f is any element f E and T any element f E ; i.e. fr fixed f we have t shw that the map p B n p f is analytic with values in E. Nw E ia a Hausdrff cmplete lcally cnvex vectr
34 8 3. Transmutatin in the Irregular Case space and therefre clsed cnvex envelpe f each cmpact subset f E is cmpact ( refer t N. Burbaki, Espaces Vectriels Tplgiques, Ch.II, 4, Prp.). Further it is easy t see that p B n p f is cntinuus and that the set { δ x }x 0, whereδ x is the Dirac measure with supprt at x, is ttal in E. Applying the lemma, we see that in rder t prve analyticity f the functin p B n p f we have nly t prve that the functin p < B n p f,δ x> i.e. the functin p B n p f (x) (fr f and x fixed ) is analytic in <Rep<n. Observing that b p = π Γ(p+)Γ( p ) is an entire functin with zers at p=,, 3,... and p=,, 3,... we see that bn p in (3) is an entire functin. The integral in () n the ther hand cnverges fr <Rep<n and therefre is analytic in the same regin, Hence p B n p f (x) is analytic in the strip <Rep<n. 36 Crllary. The functins B m p and Bn p where m and n are tw distinct psitive integers are identical in the intersectin f their dmains f definitin. We have in fact tw analytic functins B m p and B n p which cincide with B p in < Rep < which is cmmn t their dmains f definitins and therefre the tw functins cincide everywhere in the dmain which is the intersectin f their dmains f definitin due t analyticity. It fllws frm the crllary that we have a unique analytic functin B p defined fr Rep>. Remark. We have B / = identity. Fr n=, B p ( f )= b p p+ 0 t p+ ( t ) p+ d[ ] t f (tx) dt dt
35 . Cntinuatin f the peratr B p 9 and if p=, b p p+ = and B [ f (x) ] = 0 d[ ] t f (tx) dt= f (x). dt Cntinuatin f B p fr Rep<. We define U [ f (t, x) ] = Dt [ ( t ) f (tx) ]. U [ f (t, x) ] = Dt [ ( t ) 3/ f (tx) ]. In general U n [ f (t, x) ] = Dt [ ( t ) 3/ U n f (tx) ]. 37 Lemma 3. Fr every f ine(x 0)=E we have U n [ f (t, x) ] = ( t ) 3/ D t U n f (t, x) 3t( t ) Un [ f (t, x) ] and U n [ f (t, x) ] = ( t ) n hn (t, x) (5) where h n (t, x) is indefinitely differentiable in [ 0, ] [ 0, ). Relatin (4) is evident. (5) can be prved by inductin n n. It is true fr n= if we set h (t, x)= t f (tx)+ x( t ) f (t, x). Assuming it fr n, it is easy t verify that (5) hlds fr n if h n (t, x)= nth n (t, x)+( t )D t h n (t, x) (4) Crllary. The integral 0 n < Rep<. t p+n+ ( t p+ n+ ) U n [ f (x, t) ] dt cnverges fr Prpsitin 3. If <Rep<,
36 30 3. Transmutatin in the Irregular Case B p [ f (x) ] = ( ) n b p (p+)(p+3) (p+n+) 0 t p+n+ ( t n+ ) p+ U n [ f (t, x) ] dt The prf f this prpsitin is analgus t that f Prpsitin. 38 We prve it by inductin n n and by using frmula (). Fr <Rep<, 39 [ ] B p f (x) = bp t p+ ( t ) p 3 f (tx)dt Using () with p+=p λ i. e.λ=, we have, s that t p+ ( t ) p+= p+ [ ] b p B p f (x) = p+ = b p (p+) d dt ( t p+ ( t ) p+ ) d dt ( t p+ ( t ) p+ )( t ) f (tx)dt t p+ ( t ) p+ U [ ] f (t, x) dt, the integrated part being zer since <Rep<. The frmula is prved fr n=. We assume it fr n B p [ f (x) ] = ( ) n b p (p+)(p+3) (p+n) t p+n ( t ) p+n/ U n [ f (t, x)]dt Using () with p+n=p λ i. e.λ= (n+), we get d t p+n+ t =(p+n+) p+n+, dt ( t n+ ) p+ ( t n+3 ) p+ 0
37 . Cntinuatin f the peratr B p 3 s that B p [ f (x) ] = ( ) n b p (p+) (p+n+) we shall nw set t p+n+ 0 t p+n+ ( t n+ ) p+ } D t {( t ) 3 Un f (t, x) dt [ ] [ ] n Bp f (x) = (n)bp U ( t n+ n f (t, x) dt ) p+ (6) ( ) n b p (n) bp = (p+)(p+3) (p+n+) (7) (n) bp is a mermrphic functin f p, with ples at the pints p= 3, 5,... Prpsitin 4. Suppse that p satisfies n < Rep< (8) and des nt assume any f the values 3, 5,... (9) Then 40 a) n B p f E fr each f E b) The mapping f n B p f is linear cntinuus frm E int E. c) The functin p n B p is mermrphic in the strip defined by (8) with ples situated at the pints given by (9). We mit the prf f a) and b) since it is exactly similar t that f Prpsitin. The prf f c) reduces as in Prpsitin, t shwing that the functin p (n) b p 0 t p+n+ [ ] U ( t n+ n f (t, x) dt ) p+
38 3 3. Transmutatin in the Irregular Case is mermrphic in the strip (8) with ples at the pints (9), which is bvius since the integral cnverges in (8) and is therefre analytic in (8) and n bp is mermrphic in (8) with ples given by (9). 4 Crllary. If m, n are tw distinct psitive integers, the tw functins m Bp, n Bp cincide in the cmmn part f their dmains f definitin. This crllary is immediate like the crllary f Prpsitin. Cnsequently we have a unique functin B p defined fr Rep<. Prpsitins () and (4) give finally the cntinuatin therem fr the peratr B p. Therem. The functin p B p defined initially in < Rep< with values in L (E,E ) endwed with the tplgy f simple cnvergence can be cntinued in the whle plane int a mermrphic functin. The ples f this functin are situated at the pints 3, 5, 7,... Remark. The ntin f an analytic functin with values in a lcally cnvex vectr space E depends nly n the system f bunded subsets f E. E being cmplete it is easy t see (in view f Therem, page, Ch.III, Espaces vectrieles Tplgiques by N. Burbaki) that the space L (E,E ) when furnished with the tplgy f simple cnvergence has the same system f bunded sets as when furnished with the tplgy f unifrm cnvergence n the system f bunded sets f E. Hence in the therem we can replace the tplgy f simple cnvergence by the tplgy f unifrm cnvergence n bunded subsets f E r by any ther lcally cnvex tplgy which lies between these tw tplgies. Let E and D be subspaces f E (x 0) defined by E = { f f E (x 0), f n+ (0)=0 fr n 0 } D = { f f (x 0), f n (0)=0 fr n 0 } 4 When <Rep<, we have D r [ ] B p f (x) = bp t p++r ( t ) p 3 f r (tx)dt 0
39 . Cntinuatin f the peratr B p 33 s that where D r B p [ f (0) ] = bp,r f r (0) (0) b q,r = ( πγ p+ r ) + Γ ( ) r+ Γ(p+) This shws that when r is even, p b p,r is an entire functin f p and when r is dd it is a mermrphic functin with ples at 3, 5,... (0) is therefre true fr all p nt equal t the exceptinal values 3, 5,... Then B p[ f ] is in E r in D accrding as f is in E r D. Therefre fr p 3, 5,..., B p L (ε,ε )( r L (D, D )) and p B p is mermrphic with ples at p= 3,... Actually the fllwing strnger result hlds. Therem. The functin p B p is an entire analytic functin with values in L (ε,ε ) (als in (D, D )). We have seen mre than nce, that in rder t investigate the analyticity f the functin p B p, it is sufficient t d the same fr the functin p B p [ f (x)], where f E and x 0 are arbitrarily chsen and are fixed. In this case we study the behaviur f the functin 43 p B p [ f (x)] where f E and x 0, in the neighburhd f the pint p = m+, (a suppsed singularity f the functin). By Taylr s frmula, f (tx)= N 0 x n t n t n! f n (0)+ xn+ f (tξ) f N+ (ξx)dξ, N N being an arbitrary integer. Suppse first that <Rep<. Then B p [ f (x)]= π Γ(p+) N Γ ( p+ n + ) Γ ( n + ) x n f n (0) n!
40 34 3. Transmutatin in the Irregular Case + b p x N+ N! t p+ ( t ) p 3 dt (t ξ) N f N+ (ξx)dξ. The right hand side f this frmula is well defined when N+ 3 < Rep< and depends analytically n p and therefre cincides with the cntinuatin f B already btained. Chsing N such that N+ 3 < p, the integral n the right is analytic at the pint p. Hence we have nly t cnsider the finite sum at p. The functinγ(p+ n +) has ples at the pints p such that p+ n + = µ,µ a psitive integer. It has a ple at p 0 if n = µ p 0= m µ 44 i.e. n=(m µ). But when n is dd, f n (0)=0 since f E. The finite sum is therefre analytic at p 0 and B p [ f (x)] has false singularity at m+ and the prf f the therem is cmplete. Therem. The frmula D B p f= B p L p f hlds fr every f E and fr every cmplex number p. L p f is in E if f E s that L p L (E, E ) and it is easy t verify that p L p is an entire functin with value is L (E, E ). The tw entire functins p B p L p and p D B p cincide by Prpsitin, in <Rep < and are therefre identical in the whle plane. Remark. It is necessary t suppse that f E. If f is nly in E,L p f is nt in E (always). 3 Cntinuatin f B p We nw cnsider the extensin f the peratr B p initially defined fr Rep> by B p [ f (x)]=β p ( t ) p f (tx)dt. (I)
41 3. Cntinuatin f B p 35 where β p = Γ(p+) Γ(p+ ) Changing the variable t = sin Θ, 45 B p [ f (x)]=β p f (x sinθ) cs p θdθ. and and Let M p[ f (x,θ)]= f (x sinθ) d + {sinθ ddθ } (p+)(p+) dθ [sinθf (x sinθ)] N p [ f (x,θ)]= d {sinθf (x sinθ)} p+ dθ We determine by inductin, the functins M n p d [ f (x,θ)]= Mn p [ f (x,θ)]+ p+n dθ { sinθ d } d dθ sinθnn p [ f (x,θ] + (p+n )(p+n) dθ { sinθ d } dθ [sinθmn p ( f (x,θ)) N n p[ f (x,θ)]=n n p [ f (x,θ)]+ d p+n dθ { sinθm n p [ f (x,θ)] } Prpsitin. Fr Rep>, f E (x 0) and fr any n, B p [ f (x)]=β p π cs p+n θm n p[ f (x,θ)]dθ π +β p cs p+n+ θn n p f (x,θ)dθ () 0
42 36 3. Transmutatin in the Irregular Case The prf f this prpsitin is elementary and is based n inductin 46 n n and the prcess f integratin by parts. B p f (x)=β p π 0 f (x sinθ) cs p+ θdθ +β p π f (x sinθ) sin θ cs p θdθ. But as sinθcs p θ= d dθ ( csp+ θ ) integrating by parts the secnd (p+) integral, we get, B p f (x)=β p π f (x sinθ) cs p+ θdθ +β p π 0 d p+ dθ (sinθf (x sinθ)) csp+ θdθ Nw the secnd integral in this equatin equals 47 π 0 s that d p+ dθ (sinθf (x sinθ)) csp+3 θdθ π π 0 π = d p+ dθ (sinθf (x sinθ)) csp+ θ sin θdθ 0 B p f (x)=β p π d p+ dθ (sinθf (x sinθ)) csp+3 θdθ (p+)(p+) csp+ θ d dθ 0 { cs p+ θ f (x sinθ) { sinθ d dθ (sinθf (x sinθ)) } dθ d + (p+)(p+) dθ (sinθ d } dθ (sinθf (x sinθ))) dθ π +β p cs p+3 d θ (sinθf (x sinθ))dθ p+ dθ 0
43 3. Cntinuatin f B p 37 Hence frmula () hlds fr n=. Assuming it fr n, it can be verified fr n by integratin by parts. We define fr every integer n>0, π B n p f (x)=β p cs p+n θm n p f (x,θ)dθ+ 0 π β p cs p+n+ θn n p f (x,θ)dθ The tw integrals cnverge fr Rep> n. Prpsitin. If p satisfies 48 Rep> n () and p,, 3,... (3) Then a) Fr f E (x 0)=E,B n p f E. b) The mapping f B n p f is linear cntinuus f E int itself. c) The functin p B n p is mermrphic in the half plane defined by () with values in L (E,E ) the ples being situated at the pints (3). We shall give nly the utline f the prf since it is analgus t that f Prpsitin (),. The functinβ p = Γ(p+) πγ(p+ ) is a mermrphic functin f p which vanishes at, 3,..., and ples at,, 3,... and fr x,θ fixed, M n p f (x,θ), and Nn p f (x,θ) are mermrphic functin with ples at,, 3,,... Hence fr p fixed and,,..., the functin (x,θ) β p M n p (x,θ) and (x,θ) β p N n p f (x,θ) are indefinitely differentiable in [0, ) (0,π )
44 38 3. Transmutatin in the Irregular Case s that (a) is true. The prf fr (b) is similar t that f (b) f prpsitin,. Fr f, x andθfixed, M n p f (x,θ) and N n p f (x,θ) are mermrphic functins with ples at,,... s that p B p f (x) is 49 mermrphic Rep> n with ples at (3). Further since p B p is cntinuus in the regin given by () and (3), (c) fllws. Crllary. If m, n are tw distinct psitive integers, the functins B m p and B m p cincide in the intersectin f their dmains f definitins. In fact the tw mermrphic functins cincide with B p in the half plane Rep> which is cmmn t their dmains f definitins and hence they cincide everywhere in the intersectin f their dmains f definitin. We have prved the fllwing Therem. The functin p B p defined in Rep> by (I) with values in L (E, E ) can be cntinued analytically int a functin mermrphic in the whle plane with ples at,, 3,... Remark. B = identity. Remark. Fr Rep>, we have D r B p f (x)=β p t r ( t ) p f r (tx)dt and [D r B p f (x)] x=0 =β p,r f r (0) (4) ( ) r+ Γ(p+)Γ whereβ p,r = ( r ) is a mermrphic functin f p with πγ + p+ 50 ples at,,... By analytic cntinuatin, the equatin (I) hlds fr p,,... Then if f E (resp. D ), B p f E (resp. D ) and p B p is mermrphic with values in L (E, E )(resp. L (D, D )).
45 3. Cntinuatin f B p 39 Therem. Fr any p,,... we have B p D f= D B p f, f E. By Prpsitin,, the given equatin hlds fr Rep> and hence fr all p,,... by analytic cntinuatin. Therem. Fr any cmplex p,,... the peratrs B p and B p are ismrphisms f E (resp D ) nt itself which are inverses f each ther. We have seen that D B p B p = I(identity) fr < Rep<. Als fr p in the same regin D B p = B p s that B p B p = I fr < Rep< and the same hlds fr all p,, 3, by analytic cntinuatin. Similarly B p B p = I fr p,,...
46
47 Chapter 4 Transmutatin in the Irregular Case [ Case f the general peratr : D + ( p+3 x ) ] + M(x)D+N(x) Let M and N be tw indefinitely differentiable functins, M dd (i.e., 5 M (n) (0)=0 fr every n 0) and N even (i.e., N n+ (0)=0 fr every n 0i.e., N E ). We cnsider the tw fllwing prblems. Prblem. T find u(x, y), indefinitely differentiable even in x and y which is a slutin f ( ) u p+ u x + + M(x) x x + u N(x)u y= 0 () with u(0, y)=g(y), g E () Prblem. T find v(x, y) indefinitely differentiable, even in x and y, slutin f the same equatin () with 4
48 4 4. Transmutatin in the Irregular Case We intend t prve the fllwing v(x, 0)= f (x), f E (3) Therem. Fr p,,..., each f the tw prblems stated abve admits a unique slutin, which depends cntinuusly n g (r f ). 5 Once we prve this therem, we can define Operatrs X p andx p. Definitin. Fr g E, and p,,... X p [g(x)]=u(x, 0), where u is the slutin f the Prblem. Definitin. Fr f E, and p,,... X p [ f (y)]=v(0, y) where v is the slutin f the secnd prblem. Assuming Therem, definitins () and () give immediately Therem. Fr p,,..., X p andx p are in L(E, E ). We nw prve Therem 3. Fr p,,..., we have D X p = X p Λ p (4) X p D =Λ p X p (5) where Λ p = D + p+ D+ M(x)D+ N(x) x (6) Applying the peratr t the tw sides f y ( ) v p+ v x + + M(x) x x + v N(x)v y = 0
49 and setting v y= V, we have (Λ p ) x V V y = 0, and V(x, 0)= v y (x, 0)=(Λ p) x (v(x, 0))=Λ p [ f (x)]; and by the definitin f X p, V(0, y)=x p Λ p [ f (x)]. But we have als V y (0, y)=d y[x p f (y)]. Thus (4) is prved. Similarly (5) can be prved. But (5) fllws frm (4) and the Therem 4. Fr p,,..., the peratrs X p,x p are ismrphisms f E nt itself and X p X p =X p X p = the identity. Let g E and u be the slutin f Prblem. Then u(x, 0) = X p [g(x)]. In rder t find X p X p [g(x)] it is sufficient t determine the slutin v(x, y) f v y+ (p++ M(x)) v x x + v N(x)v y = 0 with v(x, 0)=X p [g(x)]=u(x, 0). Then, in view f Therem, u(x, y)=v(x, y). Hence X p X p [g(y)]= u(0, y)=g(y) similarlyx p X p = the identity. 54 The Therem. We nw prceed t slve Prblem. Let (B p ) x [u(x, y)]=w(x, y) where (B p ) x dentes the peratr B p relative t the variable x. Applying (B p ) x t the tw sides f equatin (), i. e., f (L p ) x [u(x, y)]+ M(x) u x + N(x)u u y = 0 and using D B p = B p L p, we btain w x w y + (B p) x [M(x) u x + N(x)u]=0 and we have als w(0, y)=g(y)=u(0, y) since B p f (0)= f (0). We intend t put this equatin which is equivalent t equatin () in a prper frm, We first prve
50 44 4. Transmutatin in the Irregular Case Prpsitin. B p AB p f (x)=a(x) f (x)+ x x T p[a](x, y) f (y)dy where A(x) and f (x) E and T p is a map defined in E with values in the space f even indefinitely differentiable functins f the variables x and y. Fr <Rep<, x B p f (x)= b p (x y ) p y p+ f (y)dy π where b p = Γ(p+)Γ( p+, B p f (0)=0, D B p = B p ) 55 and fr Rep>, x B p g(x)=β p x p (x y ) p f (y)dy where β p = Γ(p+). πγ(p+ ) Hence fr < Rep<, we cmpute B p AB p f (x)= b p β p x (x z ) p z p+ A(z) z ] [z p (z y ) p f (y)dy dz x [ x = b p β p f (y) (x z ) p (z y ) p A(z)zdz ]dy. Setting z = x sin θ+y cs θ, we get B p AB p f (x)= b p β p φ p (x, y) f (y)dy where, φ p (x, y)= π y [ ] sin p θ cs p θa x sin θ+y cs θ dθ
51 . 45 which cnverges fr < Rep<. It fllws that D B p AB p f (x)= b p β p φ p (x, x) f (x)+ b p β p x 0 x φ p(x, y) f (y)dy But we have 56 φ p (x, x)=a(x) Γ(p+ ( )Γ p+ ) s that b p β p φ p (x, x)=a(x). Hence B p AB p f (x)=a(x) f (x)+γ p x 0 γ p = Γ(p+ )Γ( p+ ). x φ p(x, y) f (y)dy where Nw x φ p(x, y)= π 0 sin p+ θ cs p θ A (z) xdθ s that if we give z Definitin 3. Fr f E π T p [ f ](x, y)=γ p sin p+ θ cs p θ f (z)d 0 where f (z)= f (z), z= [ x sin θ+y cs θ ],γ p = b p β p, then we z can write B p AB f (x)=a(x) f (x)+ x (7) is valid fr Rep < and f E. x T p [A](x, y) f (y)dy (7) Remark. We haveγ p = 0 fr p=±,±3,... s that T = 0. Again 57 fr p =, B p = B p = the identity. Hence (7) is valid fr p =. Nw w(x, y) = (B p) x u(x, y) s that u(x, y) = (B p ) x w(x, y) and
52 46 4. Transmutatin in the Irregular Case (B p ) x M(x) u x = (B p) x M(x)D x (B) x w(x, y). We shall dente byφ(x), the functin w(x, y) cnsidered as a functin f x; let (B p ) x w(x, y)=b p φ= ψ. Then B p ψ=φ, B p MDB p φ=b p MDψ= B p (D(Mψ))B p (M ψ)= B p [D(xM ψ)] B p (M ψ) where M (x)= M(x) E and B p [MDψ]= x B p [xdm ψ]+ B p [(M M )ψ]. But fr <Rep<, B p [xdf]=b p x t p+ ( t ) p 3/ F (tx)dt= xd(b p [F]) Hence B p (MDψ)= xdb p M ψ+ B p [(M M)ψ] Nw by (7), { B p [MDψ]= xd M φ+ x x + (M M )φ+ x = x T p [M ](x, x)φ(x)+ x } T p [M ](x, y)φ(y)dy x x T p [M M](x, y)φ(y)dy. S p [M](x, y)φ(y)dy+ M(x)φ (x) 58 where S p [M](x, y)=t p [M M](x, y)+ x x T p[m ](x, y) As T p [M ](x, x)=γ p M (x) x B p MDB p [φ]= M(x)φ (x)+ + x x π sin p+ θ cs p θdθ ( = p+ ) M (x), x ( p+ S p [M](x, y)φ(y)dy ) [M (x) M (x)]φ(x) Als B p [N(x)ψ]=B p NB p φ=n(x)φ(x)+ x x T p[n](x, y)φ(y)dy
53 3. Cntinuatin f T p 47 Hence the differential equatin in w has the frm ( w w x y+ M(x) w x + P+ ) [M (x) M (x)]w x { + N(x)w+ x S p [M](x,ξ)+T p [N](x,ξ) } w(ξ, y)dξ= 0 ( Let Q p (x)=n(x)+ p+ )( M (x) M(x) ) ξ and R p (x,ξ)= x S p [M](x,ξ)+T p [N](x,ξ). We see that Prblem is equivalent t the determinatin f the indefinitely differentiable slutin even in x and y the integr differentiable equatin w w x y M(x) w x + Q p(x)w+ x x R p (x,ξ, )w(ξ, y)dξ= 0 with the cnditin w(0, y) = g(y). It is easy and classical t transfrm this prblem t a purely integral 59 equatin f Valterra type and the slutin is btained by the methd f successive apprximatin. It can be verified that all the cnditins f w are verified. A prcess cmpletely analgus gives the slutin f Prblem. 3 Cntinuatin f T p Fr f E fixed we define by inductin the functins g n (x, y,θ) as fllws g (x, y,θ)= f (z)= f (z) z In general where z= sin p θ csθg (x, y,θ)= θ x sin θ+y cs θ [ sin p+ θg (x, y,θ) ] sin p n+ θ csθ g n (x, y,θ)= θ[ sin p n+3 θg n (x, y,θ)
54 48 4. Transmutatin in the Irregular Case i.e., where g (x, y,θ)=(p+) f (z)+(x y ) sin θ f (z) f (z)= f (z) E. z In fact we can prve immediately by inductin n n the fllwing 60 Lemma. g n (x, y,θ) is a linear cmbinatin f f, f,..., f n+ with cefficients which are plynmials in x, y and sin θ where f n (z) = z f n (z) E. Crllary. The functins g n (x, y,θ) are indefinitely differentiable in x, y, θ and even in x and y fr (x, y) R andθ [0, π ]. Definitin. T p (n) [ f ](x, y)= ( ) n π γ p (p )(p 3) (p n+) 0 cs p+n θ sin p n+ θg n (x, y,θ)dθ The integral cnverges fr n 3 < Rep < n+ and T p (n) L (E, E) where E is the space f indefinitely differentiable functins f tw variables x, y which are als even in x and y with the usual tplgy f unifrm cnvergence n every cmpact subset f R f functins tgether with their derivatives. It can be verified that p T p (n) is an analytic functin fr p in the strip in view f the fact that γ p p is an entire functin. (p ) (p n+) Lemma. In each strip n 3 = T p (n ) T (n) p T p (n ) [ f ](x, y)= ( ) n γ p (p )(p 3) (p n+3) π 0 < Rep < n, we have cs p+n θ sin p n+4 θg n (x, y,θ)dθ
55 3. Cntinuatin f T p 49 6 The integral can be written as π = 0 cs p+n θ sinθsin p n+3 θg n (x, y,θ)dθ (p n+) π 0 cs p+n θ θ { sin +p n+3 θg n (x, y,θ) } dθ (integrating by parts, the integrated part being zer fr n 3 < Rep< n ). The lemma is nw evident by the recurrence frmula fr g n. Thus we have Prpsitin. The functin p T p defined fr 3 < Rep< admits an analytic cntinuatin in the half plane Rep> 3, with values in L (ε, E). The explicit definitin f T p is given by the frmula fr T (n) P fr suitable n. Analytic cntinuatin f T p in the half plane Rep< 3 is btained by exactly similar prcess. We intrduce functins and by inductin, h (x, y,θ)= f (z), z=(x sin θ+y cs θ), cs p θ sinθh (x, y,θ)= [ ] cs p θh (x, y,θ), θ cs p n θ sinθh n (x, y,θ)= θ [ ] cs p n+ θh n (x, y,θ), It is easy t see by inductin n n that h n (x, y,θ) is a linear cm- 6 binatin f f, f,..., f n+, with cefficients which are plynmials in x, y, cs θ s that the functins h n (x, y,θ) are indefinitely differentiable in x, y,θ and are even in x and y. If we set (n)t p f (x, y)= ( ) n γ p (p+3)(p+5) (p+n+)
56 50 4. Transmutatin in the Irregular Case π 0 sin p+n+ θ cs p n θh n (x, y,θ)dθ fr n, then (n) T p L (ε, E) fr n 3 < Rep< n+ and p (n) T p is analytic in this strip with values in L (ε, E) and that fr n < Rep< n+, (n ) T p = (n) T p. Finally we have the Therem. The functin p T p initially defined fr 3 < Rep<, admits an analytic cntinuatin int an entire functin with values in L (ε, E) and we have the explicit frmula fr this cntinuatin. In particular, we have, by analytic cntinuatin, T p [ f ](x, x)=(p+ ) f (x) fr any p. Crllary. Fr p,,..., the frmula is valid. B p AB p f (x)=a(x) f (x)+ x x T p [A](x, y) f (y)dy 63 The first member B p AB p f (x) is defined and is analytic except fr p=,,... The secnd member is an entire functin f p, and the tw members are equal fr Rep < s that the crllary fllws. Remark. If A(x) is a cnstant, we have T p [A](x, y)=0 and the frmula f the crllary is equivalent t B p B p = the identity.
57 Part II Tpics In Mean-Peridic Functins 5
58
59 Chapter Expansin f a Mean-peridic Functin in Series Intrductin. There is n cnnectin between Part I and Part II f this lecture 64 curse. But bth these parts are essential fr the tw-radius therem which will be prved in the last part. The thery f Mean peridic functins was funded in 935 (refer t Functins Myenne-peridiques by J. Delsarte in Jurnal de Mathematique pures et appliques, Vl. 4, 935). A mean peridic functin was then defined as the slutin f f the integral equatin b a K(ξ) f (x+ξ)dξ= 0 () where K is density given by a cntinuus functin K(x), given n a bunded interval [a, b]. It was bvius that the study f an rdinary differential equatin with cnstant cefficients r f peridic functins with perid b a was a prblem exactly f the same type as the study f equatin (). It was prved in the paper mentined abve that if K satisfied certain cnditins and if f were a slutin f () i.e. f were mean peridic with respect t K then f is develpable in a series f expnential functins which cnverges twards f unifrmly n each interval n 65 53
60 54. Expansin f a Mean-peridic Functin in Series which f is cntinuus. Equatin () in mdern ntatin is essentially a cnvlutin equatin K f= 0 if we replace f by f ( f (x)= f ( x)). L.Schwartz in 947 applied the thery f distributins t the thery f Mean peridic functins. He calls a mean peridic functin a cntinuus functin f which is a slutin f µ f= 0 whereµis measure with cmpact supprt. Mre generally a cntinuus functin f is mean peridic with respect t the distributin T with cmpact supprt if T f = 0. He has als given a new definitin f mean peridic functin which is imprtant frm the tplgical pint f view and the thery develped in his paper (Annals f Mathematics, 947) is cmplete in the case f ne variable. J.P. Kahane has given a special and delicate develpment f the thery which gives cnnectin between Mean peridicity and almst peridicity. The extensin t the case f several variables is certainly difficult and the first knwn result in R n is due t B. Malgrange. Fr x R,λ C we have, T (e λx )=e λx M(λ) 66 where M(λ)= T, e λξ is the Furier - Laplace transfrm f the distributin T. When T is a density K r a measure, µ, M(λ)= b a K(ξ)e λξ dξ r M(λ)= b a e λξ dµ(ξ) respectively and fr peridic functin f perid a, we have M(λ) = e aλ. In the case f the differential peratr with cnstant cefficients, M(λ) is the characteristic plynmial f the peratr. In all these cases M(λ) is an entire functin fλ, f expnential type and behaves like a plynmial if Reλis bunded and the (simple) zers f this functin give the expnential functins (r the expnential plynmials in
61 . Determinatin f the cefficients in the frmal series 55 the case f multiple zers) which are mean peridic with respect t the distributin T. It is clear that any linear cmbinatin f mean peridic expnentials is als mean peridic and the first prblem is t determine, fr any mean - peridic functin f, the cefficients f the mean peridic expnentials in the expansin f the functin. Determinatin f the cefficients in the frmal series Let T be a distributin with cmpact supprt and M(λ) its Furier- Laplace transfrm. The set f zers f M(λ) will be called the spectrum f M(λ) and will be dented by (σ). Fr the sake f simplicity we suppse that these zers are simple. 67 Let F be a functin sufficiently regular fr the validity f the scalar prduct T, x e λ(x ξ) F(ξ)dξ If T is a measure with cmpact supprt, F need be nly an integrable functin and if T is a distributin with cmpact supprt and rder m, F can be any (m ) times cntinuusly differentiable functin. Let F(x)=e αx whereα C is fixed s that T, x x e λ(x ξ) e αξ dξ= eλx e αx λ α e λ(x ξ) e αξ M(λ) M(α) dξ = =τ α (λ) τ α (λ) λ α is an integral functin f expnential type and fr α, β (σ), τ α (β)=0 if β α = M (α) if α=β. Let t α (λ)= M (α) τ α(λ) s that t α (β)=δ β = ifα=β α = 0 ifα β Then t α (λ) is an entire functin f expnential type and therefre by the therem f Paley-Wiener, there exists a distributin T α with cmpact 68
2 2 2 The correct formula for the cosine of the sum of two angles is given by the following theorem.
5 TRIGONOMETRIC FORMULAS FOR SUMS AND DIFFERENCES The fundamental trignmetric identities cnsidered earlier express relatinships amng trignmetric functins f a single variable In this sectin we develp trignmetric
2 2 2 The correct formula for the cosine of the sum of two angles is given by the following theorem.
5 TRIGONOMETRIC FORMULAS FOR SUMS AND DIFFERENCES The fundamental trignmetric identities cnsidered earlier express relatinships amng trignmetric functins f a single variable In this sectin we develp trignmetric
SOLUTIONS & ANSWERS FOR KERALA ENGINEERING ENTRANCE EXAMINATION-2018 PAPER II VERSION B1
SOLUTIONS & ANSWERS FOR KERALA ENGINEERING ENTRANCE EXAMINATION-8 PAPER II VERSION B [MATHEMATICS]. Ans: ( i) It is (cs5 isin5 ) ( i). Ans: i z. Ans: i i i The epressin ( i) ( ). Ans: cs i sin cs i sin
Second Order Partial Differential Equations
Chapter 7 Second Order Partial Differential Equations 7.1 Introduction A second order linear PDE in two independent variables (x, y Ω can be written as A(x, y u x + B(x, y u xy + C(x, y u u u + D(x, y
Example Sheet 3 Solutions
Example Sheet 3 Solutions. i Regular Sturm-Liouville. ii Singular Sturm-Liouville mixed boundary conditions. iii Not Sturm-Liouville ODE is not in Sturm-Liouville form. iv Regular Sturm-Liouville note
D Alembert s Solution to the Wave Equation
D Alembert s Solution to the Wave Equation MATH 467 Partial Differential Equations J. Robert Buchanan Department of Mathematics Fall 2018 Objectives In this lesson we will learn: a change of variable technique
Class 03 Systems modelling
Class 03 Systems mdelling Systems mdelling input utput spring / mass / damper Systems mdelling spring / mass / damper Systems mdelling spring / mass / damper applied frce displacement input utput Systems
2 Composition. Invertible Mappings
Arkansas Tech University MATH 4033: Elementary Modern Algebra Dr. Marcel B. Finan Composition. Invertible Mappings In this section we discuss two procedures for creating new mappings from old ones, namely,
Partial Differential Equations in Biology The boundary element method. March 26, 2013
The boundary element method March 26, 203 Introduction and notation The problem: u = f in D R d u = ϕ in Γ D u n = g on Γ N, where D = Γ D Γ N, Γ D Γ N = (possibly, Γ D = [Neumann problem] or Γ N = [Dirichlet
Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequality for metrics: Let (X, d) be a metric space and let x, y, z X.
Math 446 Homework 3 Solutions. (1). (i): Reverse triangle inequalit for metrics: Let (X, d) be a metric space and let x,, z X. Prove that d(x, z) d(, z) d(x, ). (ii): Reverse triangle inequalit for norms:
Section 8.3 Trigonometric Equations
99 Section 8. Trigonometric Equations Objective 1: Solve Equations Involving One Trigonometric Function. In this section and the next, we will exple how to solving equations involving trigonometric functions.
Chapter 6: Systems of Linear Differential. be continuous functions on the interval
Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations
SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM
SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM Solutions to Question 1 a) The cumulative distribution function of T conditional on N n is Pr T t N n) Pr max X 1,..., X N ) t N n) Pr max
Homework 8 Model Solution Section
MATH 004 Homework Solution Homework 8 Model Solution Section 14.5 14.6. 14.5. Use the Chain Rule to find dz where z cosx + 4y), x 5t 4, y 1 t. dz dx + dy y sinx + 4y)0t + 4) sinx + 4y) 1t ) 0t + 4t ) sinx
derivation of the Laplacian from rectangular to spherical coordinates
derivation of the Laplacian from rectangular to spherical coordinates swapnizzle 03-03- :5:43 We begin by recognizing the familiar conversion from rectangular to spherical coordinates (note that φ is used
CHAPTER 101 FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD
CHAPTER FOURIER SERIES FOR PERIODIC FUNCTIONS OF PERIOD EXERCISE 36 Page 66. Determine the Fourier series for the periodic function: f(x), when x +, when x which is periodic outside this rge of period.
Every set of first-order formulas is equivalent to an independent set
Every set of first-order formulas is equivalent to an independent set May 6, 2008 Abstract A set of first-order formulas, whatever the cardinality of the set of symbols, is equivalent to an independent
EE512: Error Control Coding
EE512: Error Control Coding Solution for Assignment on Finite Fields February 16, 2007 1. (a) Addition and Multiplication tables for GF (5) and GF (7) are shown in Tables 1 and 2. + 0 1 2 3 4 0 0 1 2 3
Math221: HW# 1 solutions
Math: HW# solutions Andy Royston October, 5 7.5.7, 3 rd Ed. We have a n = b n = a = fxdx = xdx =, x cos nxdx = x sin nx n sin nxdx n = cos nx n = n n, x sin nxdx = x cos nx n + cos nxdx n cos n = + sin
SCHOOL OF MATHEMATICAL SCIENCES G11LMA Linear Mathematics Examination Solutions
SCHOOL OF MATHEMATICAL SCIENCES GLMA Linear Mathematics 00- Examination Solutions. (a) i. ( + 5i)( i) = (6 + 5) + (5 )i = + i. Real part is, imaginary part is. (b) ii. + 5i i ( + 5i)( + i) = ( i)( + i)
CHAPTER 25 SOLVING EQUATIONS BY ITERATIVE METHODS
CHAPTER 5 SOLVING EQUATIONS BY ITERATIVE METHODS EXERCISE 104 Page 8 1. Find the positive root of the equation x + 3x 5 = 0, correct to 3 significant figures, using the method of bisection. Let f(x) =
Matrices and Determinants
Matrices and Determinants SUBJECTIVE PROBLEMS: Q 1. For what value of k do the following system of equations possess a non-trivial (i.e., not all zero) solution over the set of rationals Q? x + ky + 3z
ST5224: Advanced Statistical Theory II
ST5224: Advanced Statistical Theory II 2014/2015: Semester II Tutorial 7 1. Let X be a sample from a population P and consider testing hypotheses H 0 : P = P 0 versus H 1 : P = P 1, where P j is a known
Uniform Convergence of Fourier Series Michael Taylor
Uniform Convergence of Fourier Series Michael Taylor Given f L 1 T 1 ), we consider the partial sums of the Fourier series of f: N 1) S N fθ) = ˆfk)e ikθ. k= N A calculation gives the Dirichlet formula
Chapter 6: Systems of Linear Differential. be continuous functions on the interval
Chapter 6: Systems of Linear Differential Equations Let a (t), a 2 (t),..., a nn (t), b (t), b 2 (t),..., b n (t) be continuous functions on the interval I. The system of n first-order differential equations
Reminders: linear functions
Reminders: linear functions Let U and V be vector spaces over the same field F. Definition A function f : U V is linear if for every u 1, u 2 U, f (u 1 + u 2 ) = f (u 1 ) + f (u 2 ), and for every u U
Απόκριση σε Μοναδιαία Ωστική Δύναμη (Unit Impulse) Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο. Απόστολος Σ.
Απόκριση σε Δυνάμεις Αυθαίρετα Μεταβαλλόμενες με το Χρόνο The time integral of a force is referred to as impulse, is determined by and is obtained from: Newton s 2 nd Law of motion states that the action
Srednicki Chapter 55
Srednicki Chapter 55 QFT Problems & Solutions A. George August 3, 03 Srednicki 55.. Use equations 55.3-55.0 and A i, A j ] = Π i, Π j ] = 0 (at equal times) to verify equations 55.-55.3. This is our third
4.6 Autoregressive Moving Average Model ARMA(1,1)
84 CHAPTER 4. STATIONARY TS MODELS 4.6 Autoregressive Moving Average Model ARMA(,) This section is an introduction to a wide class of models ARMA(p,q) which we will consider in more detail later in this
6.3 Forecasting ARMA processes
122 CHAPTER 6. ARMA MODELS 6.3 Forecasting ARMA processes The purpose of forecasting is to predict future values of a TS based on the data collected to the present. In this section we will discuss a linear
CRASH COURSE IN PRECALCULUS
CRASH COURSE IN PRECALCULUS Shiah-Sen Wang The graphs are prepared by Chien-Lun Lai Based on : Precalculus: Mathematics for Calculus by J. Stuwart, L. Redin & S. Watson, 6th edition, 01, Brooks/Cole Chapter
Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3
Lecture 2: Dirac notation and a review of linear algebra Read Sakurai chapter 1, Baym chatper 3 1 State vector space and the dual space Space of wavefunctions The space of wavefunctions is the set of all
k A = [k, k]( )[a 1, a 2 ] = [ka 1,ka 2 ] 4For the division of two intervals of confidence in R +
Chapter 3. Fuzzy Arithmetic 3- Fuzzy arithmetic: ~Addition(+) and subtraction (-): Let A = [a and B = [b, b in R If x [a and y [b, b than x+y [a +b +b Symbolically,we write A(+)B = [a (+)[b, b = [a +b
DiracDelta. Notations. Primary definition. Specific values. General characteristics. Traditional name. Traditional notation
DiracDelta Notations Traditional name Dirac delta function Traditional notation x Mathematica StandardForm notation DiracDeltax Primary definition 4.03.02.000.0 x Π lim ε ; x ε0 x 2 2 ε Specific values
SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM
SOLUTIONS TO MATH38181 EXTREME VALUES AND FINANCIAL RISK EXAM Solutions to Question 1 a) The cumulative distribution function of T conditional on N n is Pr (T t N n) Pr (max (X 1,..., X N ) t N n) Pr (max
SPECIAL FUNCTIONS and POLYNOMIALS
SPECIAL FUNCTIONS and POLYNOMIALS Gerard t Hooft Stefan Nobbenhuis Institute for Theoretical Physics Utrecht University, Leuvenlaan 4 3584 CC Utrecht, the Netherlands and Spinoza Institute Postbox 8.195
ANSWERSHEET (TOPIC = DIFFERENTIAL CALCULUS) COLLECTION #2. h 0 h h 0 h h 0 ( ) g k = g 0 + g 1 + g g 2009 =?
Teko Classes IITJEE/AIEEE Maths by SUHAAG SIR, Bhopal, Ph (0755) 3 00 000 www.tekoclasses.com ANSWERSHEET (TOPIC DIFFERENTIAL CALCULUS) COLLECTION # Question Type A.Single Correct Type Q. (A) Sol least
5. Choice under Uncertainty
5. Choice under Uncertainty Daisuke Oyama Microeconomics I May 23, 2018 Formulations von Neumann-Morgenstern (1944/1947) X: Set of prizes Π: Set of probability distributions on X : Preference relation
Solutions to Exercise Sheet 5
Solutions to Eercise Sheet 5 jacques@ucsd.edu. Let X and Y be random variables with joint pdf f(, y) = 3y( + y) where and y. Determine each of the following probabilities. Solutions. a. P (X ). b. P (X
forms This gives Remark 1. How to remember the above formulas: Substituting these into the equation we obtain with
Week 03: C lassification of S econd- Order L inear Equations In last week s lectures we have illustrated how to obtain the general solutions of first order PDEs using the method of characteristics. We
Phys460.nb Solution for the t-dependent Schrodinger s equation How did we find the solution? (not required)
Phys460.nb 81 ψ n (t) is still the (same) eigenstate of H But for tdependent H. The answer is NO. 5.5.5. Solution for the tdependent Schrodinger s equation If we assume that at time t 0, the electron starts
Section 7.6 Double and Half Angle Formulas
09 Section 7. Double and Half Angle Fmulas To derive the double-angles fmulas, we will use the sum of two angles fmulas that we developed in the last section. We will let α θ and β θ: cos(θ) cos(θ + θ)
Lecture 13 - Root Space Decomposition II
Lecture 13 - Root Space Decomposition II October 18, 2012 1 Review First let us recall the situation. Let g be a simple algebra, with maximal toral subalgebra h (which we are calling a CSA, or Cartan Subalgebra).
Διερεύνηση και αξιολόγηση μεθόδων ομογενοποίησης υδροκλιματικών δεδομένων ΔΙΠΛΩΜΑΤΙΚΗ ΕΡΓΑΣΙΑ
ΕΘΝΙΚΟ ΜΕΤΣΟΒΕΙΟ ΠΟΛΥΤΕΧΝΕΙΟ ΣΧΟΛΗ ΠΟΛΙΤΙΚΩΝ ΜΗΧΑΝΙΚΩΝ Τομέας Υδατικών Πόρων και Περιβάλλοντος Εύα- Στυλιανή Στείρου Διερεύνηση και αξιολόγηση μεθόδων ομογενοποίησης υδροκλιματικών δεδομένων ΔΙΠΛΩΜΑΤΙΚΗ
Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit
Ordinal Arithmetic: Addition, Multiplication, Exponentiation and Limit Ting Zhang Stanford May 11, 2001 Stanford, 5/11/2001 1 Outline Ordinal Classification Ordinal Addition Ordinal Multiplication Ordinal
DIRECT PRODUCT AND WREATH PRODUCT OF TRANSFORMATION SEMIGROUPS
GANIT J. Bangladesh Math. oc. IN 606-694) 0) -7 DIRECT PRODUCT AND WREATH PRODUCT OF TRANFORMATION EMIGROUP ubrata Majumdar, * Kalyan Kumar Dey and Mohd. Altab Hossain Department of Mathematics University
Other Test Constructions: Likelihood Ratio & Bayes Tests
Other Test Constructions: Likelihood Ratio & Bayes Tests Side-Note: So far we have seen a few approaches for creating tests such as Neyman-Pearson Lemma ( most powerful tests of H 0 : θ = θ 0 vs H 1 :
CHAPTER 10. Hence, the circuit in the frequency domain is as shown below. 4 Ω V 1 V 2. 3Vx 10 = + 2 Ω. j4 Ω. V x. At node 1, (1) At node 2, where V
February 5, 006 CHAPTER 0 P.P.0. 0 in(t 0 0, ω H jωl j4 0. F -j.5 jωc Hence, e circuit in e frequency dmain i a hwn belw. -j.5 Ω 4 Ω 0 0 A Ω x j4 Ω x At nde, At nde, 0 - j.5 00 (5 j4 j ( 4 x where x j4
Parametrized Surfaces
Parametrized Surfaces Recall from our unit on vector-valued functions at the beginning of the semester that an R 3 -valued function c(t) in one parameter is a mapping of the form c : I R 3 where I is some
Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in
Nowhere-zero flows Let be a digraph, Abelian group. A Γ-circulation in is a mapping : such that, where, and : tail in X, head in : tail in X, head in A nowhere-zero Γ-flow is a Γ-circulation such that
HOMEWORK 4 = G. In order to plot the stress versus the stretch we define a normalized stretch:
HOMEWORK 4 Problem a For the fast loading case, we want to derive the relationship between P zz and λ z. We know that the nominal stress is expressed as: P zz = ψ λ z where λ z = λ λ z. Therefore, applying
MA 342N Assignment 1 Due 24 February 2016
M 342N ssignment Due 24 February 206 Id: 342N-s206-.m4,v. 206/02/5 2:25:36 john Exp john. Suppose that q, in addition to satisfying the assumptions from lecture, is an even function. Prove that η(λ = 0,
Inverse trigonometric functions & General Solution of Trigonometric Equations. ------------------ ----------------------------- -----------------
Inverse trigonometric functions & General Solution of Trigonometric Equations. 1. Sin ( ) = a) b) c) d) Ans b. Solution : Method 1. Ans a: 17 > 1 a) is rejected. w.k.t Sin ( sin ) = d is rejected. If sin
A Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering
Electronic Companion A Two-Sie Laplace Inversion Algorithm with Computable Error Bouns an Its Applications in Financial Engineering Ning Cai, S. G. Kou, Zongjian Liu HKUST an Columbia University Appenix
Problem Set 3: Solutions
CMPSCI 69GG Applied Information Theory Fall 006 Problem Set 3: Solutions. [Cover and Thomas 7.] a Define the following notation, C I p xx; Y max X; Y C I p xx; Ỹ max I X; Ỹ We would like to show that C
Concrete Mathematics Exercises from 30 September 2016
Concrete Mathematics Exercises from 30 September 2016 Silvio Capobianco Exercise 1.7 Let H(n) = J(n + 1) J(n). Equation (1.8) tells us that H(2n) = 2, and H(2n+1) = J(2n+2) J(2n+1) = (2J(n+1) 1) (2J(n)+1)
3.4 SUM AND DIFFERENCE FORMULAS. NOTE: cos(α+β) cos α + cos β cos(α-β) cos α -cos β
3.4 SUM AND DIFFERENCE FORMULAS Page Theorem cos(αβ cos α cos β -sin α cos(α-β cos α cos β sin α NOTE: cos(αβ cos α cos β cos(α-β cos α -cos β Proof of cos(α-β cos α cos β sin α Let s use a unit circle
Statistical Inference I Locally most powerful tests
Statistical Inference I Locally most powerful tests Shirsendu Mukherjee Department of Statistics, Asutosh College, Kolkata, India. shirsendu st@yahoo.co.in So far we have treated the testing of one-sided
6.1. Dirac Equation. Hamiltonian. Dirac Eq.
6.1. Dirac Equation Ref: M.Kaku, Quantum Field Theory, Oxford Univ Press (1993) η μν = η μν = diag(1, -1, -1, -1) p 0 = p 0 p = p i = -p i p μ p μ = p 0 p 0 + p i p i = E c 2 - p 2 = (m c) 2 H = c p 2
Quadratic Expressions
Quadratic Expressions. The standard form of a quadratic equation is ax + bx + c = 0 where a, b, c R and a 0. The roots of ax + bx + c = 0 are b ± b a 4ac. 3. For the equation ax +bx+c = 0, sum of the roots
C.S. 430 Assignment 6, Sample Solutions
C.S. 430 Assignment 6, Sample Solutions Paul Liu November 15, 2007 Note that these are sample solutions only; in many cases there were many acceptable answers. 1 Reynolds Problem 10.1 1.1 Normal-order
SCITECH Volume 13, Issue 2 RESEARCH ORGANISATION Published online: March 29, 2018
Journal of rogressive Research in Mathematics(JRM) ISSN: 2395-028 SCITECH Volume 3, Issue 2 RESEARCH ORGANISATION ublished online: March 29, 208 Journal of rogressive Research in Mathematics www.scitecresearch.com/journals
Areas and Lengths in Polar Coordinates
Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the
The Simply Typed Lambda Calculus
Type Inference Instead of writing type annotations, can we use an algorithm to infer what the type annotations should be? That depends on the type system. For simple type systems the answer is yes, and
Mock Exam 7. 1 Hong Kong Educational Publishing Company. Section A 1. Reference: HKDSE Math M Q2 (a) (1 + kx) n 1M + 1A = (1) =
Mock Eam 7 Mock Eam 7 Section A. Reference: HKDSE Math M 0 Q (a) ( + k) n nn ( )( k) + nk ( ) + + nn ( ) k + nk + + + A nk... () nn ( ) k... () From (), k...() n Substituting () into (), nn ( ) n 76n 76n
Jesse Maassen and Mark Lundstrom Purdue University November 25, 2013
Notes on Average Scattering imes and Hall Factors Jesse Maassen and Mar Lundstrom Purdue University November 5, 13 I. Introduction 1 II. Solution of the BE 1 III. Exercises: Woring out average scattering
Solution Series 9. i=1 x i and i=1 x i.
Lecturer: Prof. Dr. Mete SONER Coordinator: Yilin WANG Solution Series 9 Q1. Let α, β >, the p.d.f. of a beta distribution with parameters α and β is { Γ(α+β) Γ(α)Γ(β) f(x α, β) xα 1 (1 x) β 1 for < x
Lecture 15 - Root System Axiomatics
Lecture 15 - Root System Axiomatics Nov 1, 01 In this lecture we examine root systems from an axiomatic point of view. 1 Reflections If v R n, then it determines a hyperplane, denoted P v, through the
Appendix A. Curvilinear coordinates. A.1 Lamé coefficients. Consider set of equations. ξ i = ξ i (x 1,x 2,x 3 ), i = 1,2,3
Appendix A Curvilinear coordinates A. Lamé coefficients Consider set of equations ξ i = ξ i x,x 2,x 3, i =,2,3 where ξ,ξ 2,ξ 3 independent, single-valued and continuous x,x 2,x 3 : coordinates of point
( y) Partial Differential Equations
Partial Dierential Equations Linear P.D.Es. contains no owers roducts o the deendent variables / an o its derivatives can occasionall be solved. Consider eamle ( ) a (sometimes written as a ) we can integrate
ω ω ω ω ω ω+2 ω ω+2 + ω ω ω ω+2 + ω ω+1 ω ω+2 2 ω ω ω ω ω ω ω ω+1 ω ω2 ω ω2 + ω ω ω2 + ω ω ω ω2 + ω ω+1 ω ω2 + ω ω+1 + ω ω ω ω2 + ω
0 1 2 3 4 5 6 ω ω + 1 ω + 2 ω + 3 ω + 4 ω2 ω2 + 1 ω2 + 2 ω2 + 3 ω3 ω3 + 1 ω3 + 2 ω4 ω4 + 1 ω5 ω 2 ω 2 + 1 ω 2 + 2 ω 2 + ω ω 2 + ω + 1 ω 2 + ω2 ω 2 2 ω 2 2 + 1 ω 2 2 + ω ω 2 3 ω 3 ω 3 + 1 ω 3 + ω ω 3 +
On the summability of divergent power series solutions for certain first-order linear PDEs Masaki HIBINO (Meijo University)
On the summability of divergent power series solutions for certain first-order linear PDEs Masaki HIBINO (Meijo University) 1 1 Introduction (E) {1+x 2 +β(x,y)}y u x (x,y)+{x+b(x,y)}y2 u y (x,y) +u(x,y)=f(x,y)
MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS
MINIMAL CLOSED SETS AND MAXIMAL CLOSED SETS FUMIE NAKAOKA AND NOBUYUKI ODA Received 20 December 2005; Revised 28 May 2006; Accepted 6 August 2006 Some properties of minimal closed sets and maximal closed
b. Use the parametrization from (a) to compute the area of S a as S a ds. Be sure to substitute for ds!
MTH U341 urface Integrals, tokes theorem, the divergence theorem To be turned in Wed., Dec. 1. 1. Let be the sphere of radius a, x 2 + y 2 + z 2 a 2. a. Use spherical coordinates (with ρ a) to parametrize.
2. Let H 1 and H 2 be Hilbert spaces and let T : H 1 H 2 be a bounded linear operator. Prove that [T (H 1 )] = N (T ). (6p)
Uppsala Universitet Matematiska Institutionen Andreas Strömbergsson Prov i matematik Funktionalanalys Kurs: F3B, F4Sy, NVP 2005-03-08 Skrivtid: 9 14 Tillåtna hjälpmedel: Manuella skrivdon, Kreyszigs bok
Orbital angular momentum and the spherical harmonics
Orbital angular momentum and the spherical harmonics March 8, 03 Orbital angular momentum We compare our result on representations of rotations with our previous experience of angular momentum, defined
2. THEORY OF EQUATIONS. PREVIOUS EAMCET Bits.
EAMCET-. THEORY OF EQUATIONS PREVIOUS EAMCET Bits. Each of the roots of the equation x 6x + 6x 5= are increased by k so that the new transformed equation does not contain term. Then k =... - 4. - Sol.
Homework 3 Solutions
Homework 3 Solutions Igor Yanovsky (Math 151A TA) Problem 1: Compute the absolute error and relative error in approximations of p by p. (Use calculator!) a) p π, p 22/7; b) p π, p 3.141. Solution: For
Econ 2110: Fall 2008 Suggested Solutions to Problem Set 8 questions or comments to Dan Fetter 1
Eon : Fall 8 Suggested Solutions to Problem Set 8 Email questions or omments to Dan Fetter Problem. Let X be a salar with density f(x, θ) (θx + θ) [ x ] with θ. (a) Find the most powerful level α test
Finite Field Problems: Solutions
Finite Field Problems: Solutions 1. Let f = x 2 +1 Z 11 [x] and let F = Z 11 [x]/(f), a field. Let Solution: F =11 2 = 121, so F = 121 1 = 120. The possible orders are the divisors of 120. Solution: The
Variational Wavefunction for the Helium Atom
Technische Universität Graz Institut für Festkörperphysik Student project Variational Wavefunction for the Helium Atom Molecular and Solid State Physics 53. submitted on: 3. November 9 by: Markus Krammer
Homomorphism in Intuitionistic Fuzzy Automata
International Journal of Fuzzy Mathematics Systems. ISSN 2248-9940 Volume 3, Number 1 (2013), pp. 39-45 Research India Publications http://www.ripublication.com/ijfms.htm Homomorphism in Intuitionistic
Areas and Lengths in Polar Coordinates
Kiryl Tsishchanka Areas and Lengths in Polar Coordinates In this section we develop the formula for the area of a region whose boundary is given by a polar equation. We need to use the formula for the
SOLVING CUBICS AND QUARTICS BY RADICALS
SOLVING CUBICS AND QUARTICS BY RADICALS The purpose of this handout is to record the classical formulas expressing the roots of degree three and degree four polynomials in terms of radicals. We begin with
On the Galois Group of Linear Difference-Differential Equations
On the Galois Group of Linear Difference-Differential Equations Ruyong Feng KLMM, Chinese Academy of Sciences, China Ruyong Feng (KLMM, CAS) Galois Group 1 / 19 Contents 1 Basic Notations and Concepts
F19MC2 Solutions 9 Complex Analysis
F9MC Solutions 9 Complex Analysis. (i) Let f(z) = eaz +z. Then f is ifferentiable except at z = ±i an so by Cauchy s Resiue Theorem e az z = πi[res(f,i)+res(f, i)]. +z C(,) Since + has zeros of orer at
5.4 The Poisson Distribution.
The worst thing you can do about a situation is nothing. Sr. O Shea Jackson 5.4 The Poisson Distribution. Description of the Poisson Distribution Discrete probability distribution. The random variable
Numerical Analysis FMN011
Numerical Analysis FMN011 Carmen Arévalo Lund University carmen@maths.lth.se Lecture 12 Periodic data A function g has period P if g(x + P ) = g(x) Model: Trigonometric polynomial of order M T M (x) =
The semiclassical Garding inequality
The semiclassical Garding inequality We give a proof of the semiclassical Garding inequality (Theorem 4.1 using as the only black box the Calderon-Vaillancourt Theorem. 1 Anti-Wick quantization For (q,
ORDINAL ARITHMETIC JULIAN J. SCHLÖDER
ORDINAL ARITHMETIC JULIAN J. SCHLÖDER Abstract. We define ordinal arithmetic and show laws of Left- Monotonicity, Associativity, Distributivity, some minor related properties and the Cantor Normal Form.
Durbin-Levinson recursive method
Durbin-Levinson recursive method A recursive method for computing ϕ n is useful because it avoids inverting large matrices; when new data are acquired, one can update predictions, instead of starting again
Finite difference method for 2-D heat equation
Finite difference method for 2-D heat equation Praveen. C praveen@math.tifrbng.res.in Tata Institute of Fundamental Research Center for Applicable Mathematics Bangalore 560065 http://math.tifrbng.res.in/~praveen
The k-α-exponential Function
Int Journal of Math Analysis, Vol 7, 213, no 11, 535-542 The --Exponential Function Luciano L Luque and Rubén A Cerutti Faculty of Exact Sciences National University of Nordeste Av Libertad 554 34 Corrientes,
Intuitionistic Fuzzy Ideals of Near Rings
International Mathematical Forum, Vol. 7, 202, no. 6, 769-776 Intuitionistic Fuzzy Ideals of Near Rings P. K. Sharma P.G. Department of Mathematics D.A.V. College Jalandhar city, Punjab, India pksharma@davjalandhar.com
Exercises 10. Find a fundamental matrix of the given system of equations. Also find the fundamental matrix Φ(t) satisfying Φ(0) = I. 1.
Exercises 0 More exercises are available in Elementary Differential Equations. If you have a problem to solve any of them, feel free to come to office hour. Problem Find a fundamental matrix of the given
A Note on Intuitionistic Fuzzy. Equivalence Relation
International Mathematical Forum, 5, 2010, no. 67, 3301-3307 A Note on Intuitionistic Fuzzy Equivalence Relation D. K. Basnet Dept. of Mathematics, Assam University Silchar-788011, Assam, India dkbasnet@rediffmail.com
Section 9.2 Polar Equations and Graphs
180 Section 9. Polar Equations and Graphs In this section, we will be graphing polar equations on a polar grid. In the first few examples, we will write the polar equation in rectangular form to help identify
Generating Set of the Complete Semigroups of Binary Relations
Applied Mathematics 06 7 98-07 Published Online January 06 in SciRes http://wwwscirporg/journal/am http://dxdoiorg/036/am067009 Generating Set of the Complete Semigroups of Binary Relations Yasha iasamidze
ExpIntegralE. Notations. Primary definition. Specific values. Traditional name. Traditional notation. Mathematica StandardForm notation
ExpIntegralE Notations Traditional name Exponential integral E Traditional notation E Mathematica StandardForm notation ExpIntegralE, Primary definition 06.34.0.000.0 E t t t ; Re 0 Specific values Specialied
Differentiation exercise show differential equation
Differentiation exercise show differential equation 1. If y x sin 2x, prove that x d2 y 2 2 + 2y x + 4xy 0 y x sin 2x sin 2x + 2x cos 2x 2 2cos 2x + (2 cos 2x 4x sin 2x) x d2 y 2 2 + 2y x + 4xy (2x cos