Distributions in Spaces with Thick Points II Yunyun Yang Louisiana State University yyang18@math.lsu.edu May 18, 2012 Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 1 / 44 Preliminaries We shall need to consider the di¤erentiation of functions and distributions de…ned only on a smooth hypersurface of R n : Naturally, if (v )1 n 1 is a local Gaussian coordinate system and f is de…ned on then one may consider the derivatives @f =@v ; 1 n 1: However, it is many times convenient and necessary to consider derivatives with respect to the variables (xj )1 j n of the surrounding space R n : The derivatives are de…ned as follows. De…nition Suppose f is a smooth function de…ned in and let F be any smooth extension of f to an open neighborhood of in R n ; the derivatives @F =@xj will exist, but their restriction to will depend not only on f but also on the extension employed. However, it can be shown that the formulas f = xj @F @xj nj dF dn (1) ; where n = (nj ) is the normal unit vector to and where dF =dn = nk @F =@xk is the derivative of F in the normal direction. Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 2 / 44 Preliminaries Fact Delta derivatives f = xj ; 1 extension. Yunyun Yang (Louisiana State University) j n; that depend only on f and not on the Distributions in Spaces with Thick Points II May 18, 2012 3 / 44 It can be shown that f @f @v = ; xj @v @xj (2) In this talk, we suppose now that the surface is Sn 1 ; the unit sphere in Rn : Let f be a smooth function de…ned in Sn 1 ; that is, f (w) is de…ned if w 2 Rn satis…es jwj = 1: While (1) can be applied for any extension F of f ; the fact that our surface is S allows us to consider some rather natural extensions. In particular, there is an extension to Rn n f0g that is homogeneous of degree 0; namely, F0 (x) = f x r (3) ; where r = jxj : Since dF0 =dn = 0 we obtain f @F0 = xj @xj Yunyun Yang (Louisiana State University) (4) : S Distributions in Spaces with Thick Points II May 18, 2012 4 / 44 Preliminaries ( ) xj = + xj xj (5) ; Lemma T T ( ) = xj xj + (6) ; xj Proof. * T ( ) ; xj + = = Yunyun Yang (Louisiana State University) ; ; = xj ( ; ) xj xj = xj * Distributions in Spaces with Thick Points II T xj + xj ; + May 18, 2012 : 5 / 44 Preliminaries Thus T xj T = And ( 1) xj T 1 xj = T = (n 1 xj + xj ; 1) nj So | ni = xj ij Yunyun Yang (Louisiana State University) (ni nj ) (n 1) (ni nj ) = Distributions in Spaces with Thick Points II ij n 1 (ni nj ) May 18, 2012 6 / 44 A Short Review Problem Z 1 cos (2kx) dx: 0 Proof. [1] Z 0 1 Z 1 cos (2kx) dx: = 2 Z 1 = 2 = Yunyun Yang (Louisiana State University) +1 cos (2kx) dx 1 +1 e 2ikx dx 1 (2k) = 2 Distributions in Spaces with Thick Points II (k) May 18, 2012 7 / 44 A Short Review On the other hand, Proof. [2] Z 1 cos (2kx) dx = 0 sin (2kx) 2k 1 x =0 sin (2kx) : x !1 2k = lim By de…nition of a distribution, we must evaluate this limit on a test function, f (k), with support in [0; 1) : Z 1 Z 1 sin (2kx) sin (2kx) f (k) dk = lim f (k) dk; lim x !1 0 x !1 2k 2k 0 Z 1 1 sin (u) = f (0) du = f (0) : 2 u 4 0 R1 So 0 cos (2kx) dx = 4 (k) : Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 8 / 44 A Short Review Solution [Correction of proof 1] Z Z 1 1 cos (2kx) dx: = 2 0 Z 1 = 2 Here Z +1 1 +1 cos (2kx) dx 1 +1 1 1 1; 2kg; e 2ikx dx = Ffe 2 = e (2k) = 2 e (k) : (7) e 2ikx dx = Ffe 1; 2kg = 2 e (2k) = e (k) : is the Fourier transform of the funcion 1 in the space W 0 and result in S 0 ; the thick point space. This result holds for k positive or negative. Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 9 / 44 A Short Review Solution [Correction of proof 2] As were pointed out, in solution 2, we have ”secretly” multiplied H (k) : Z 1 Z +1 sin (2kx) sin (2kx) H (k) f (k) dk = lim f (k) dk lim x !1 0 x !1 2k 2k 1 In fact if we want the result for k > 0, we need to apply the projection multiplicaiton operator MH0 : S 0 ! S 0 : Z 1 H (k) cos (2kx) dx = MH0 e (k) = (k) (8) 2 4 0 Now the consistency of the results holds. Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 10 / 44 Space of Test Functions on Rn with a Thick Point De…nition A function de…ned on Rn is in D (a + x) = ;a (Rn ) i¤ (a + r w) 1 X aJ (w) r J J =N where N is an integer, and w 2Sn 1 ; aJ (w) 2 D Sn 1 . Moreover, we require the the asymptotic development to be "strong". Namely, for any di¤erentiation operator (@=@x)p = (@ p1 :::@ pn ) =@x1p1 :::@xnpn , the asymptotic development of (@=@x)p (x) exists and is equal to the 1 P term-by-term di¤erentiation of aJ (w) r J : J =N Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 11 / 44 We use D (Rn ) to denote D Yunyun Yang (Louisiana State University) ;0 (Rn ) : Distributions in Spaces with Thick Points II May 18, 2012 12 / 44 Space of Test Functions on Rn with a Thick Point De…nition De…ne D [k ] (Rn ) as the subspace consists of test functions (r w) 1 X aJ (w) r J J =k Notice that D [k ] (Rn ) is not closed under di¤erentiation. Note: In particular, if is a smooth function, then 1 P [0] (a + r !) a0 + aJ (!) r J 2 D (Rn ). So Da (Rn ) J =1 Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II D ;a (R n) : May 18, 2012 13 / 44 The Topology–to have a TVS De…nitions De…ne a seminorm. (@=@x)p (x) lP1 aj ;p (w) r j j =N jpj rl jj jjl ;m = sup jpj m where (@=@x)p (x) 1 X ;l N jpj aJ ;p (w) r J (9) (10) J =N jpj A sequence f g in D (Rn ) converges to ' i¤ there exists an integer N [N ] such that ' 2 D (Rn ) ;and a compact set K such that for any l; m; we have jj jjl ;m ! 0 as ! 1: Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 14 / 44 Space of Test Functions on Rn with a Thick Point Fact D (Rn ) is a subspace of D (Rn ) i : D (Rn ) ! D (Rn ) (11) ,! Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 15 / 44 Space of Distributions on Rn with a Thick Point De…nitions The space of distributions on Rn with a thick point is the dual space of that contains all the continous linear functionals of the test functions. We denote it D0 (Rn ) : Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 16 / 44 Space of Distributions on Rn with a Thick Point De…nitions The space of distributions on Rn with a thick point is the dual space of that contains all the continous linear functionals of the test functions. We denote it D0 (Rn ) : Theorem i D ,! D (12) ;a : D0 ;a ! D0 : , the projection operator is given explicitly as h (f ) ; iD0 Yunyun Yang (Louisiana State University) D = hf ; i ( )iD0 ;a Distributions in Spaces with Thick Points II D ;a (13) : May 18, 2012 17 / 44 Space of Distributions on Rn with a Thick Point Theorem i D ,! D D 0 ;a ;a : ! D0 : , the projection operator is given explicitly as h (f ) ; iD0 D = hf ; i ( )iD0 ;a D ;a : Theorem Let g 2 D0 ; there exists a distribution f 2 D0 ;a ,s.t. Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II (f ) = g . May 18, 2012 18 / 44 Space of Distributions on Rn with a Thick Point Example Suppose f (x) is a locally integrable funcion in Rn ; homogeneous of degree 0 Now let’s de…ne a "thick delta function" f 2 D0 (Rn ): Let be a test function in D (Rn ), thus by de…nition could be asymptotically expanded as 1 P aJ (w) r J = aN (w) r N + ::: + a0 (w) + a1 (w) r + ::: J =N Then f hf is given by ; iD0 (Rn ) D (Rn ) Yunyun Yang (Louisiana State University) := 1 Cn 1 = Cn 1 1 hf (w) ; a0 (w)iD0 (Sn 1 ) D Z f (w) a0 (w) d (w) Sn (Sn 1) (14) 1 Distributions in Spaces with Thick Points II May 18, 2012 19 / 44 Space of Distributions on Rn with a Thick Point Example When n = 3; ; i= hf 1 4 Z Sn f (w) a0 (w) d (w) 1 Example In particular, if f (x) h ; iD0 (Rn ) 1; thenf D (Rn ) : = : We may call = = : 1 Cn 1 Z 1 Cn 1 h1; a0 (w)iD0 (Sn Sn 1 1) D (Sn 1) a0 (w) d (w) the "plain thick delta function". Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 20 / 44 Projection of a Thick Delta Function onto the Usual Distribution Space Example 2 D0 (Rn ) can be asymptotically expanded as 1 P (r w) a0 + aJ (w) r J ; so Since a usual test function it’s Taylor expansion: J =1 h (f ) ; i = hf 1 Cn 1 Sn Z a0 = Cn 1 Sn = Yunyun Yang (Louisiana State University) ; i ( )i Z 1 (15) f (w) a0 d (w) f (w) d (w) (16) 1 Distributions in Spaces with Thick Points II May 18, 2012 21 / 44 Projection of a Thick Delta Function onto the Usual Distribution Space Example In particular, for a plain thick delta function, it projects onto the usual delta function: Z a0 d (w) (17) h ( ); i = Cn 1 Sn 1 = a0 = (0) =h ; i Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 22 / 44 Space of Distributions on Rn with a Thick Point De…nition (thick delta functions of degree m) A thick delta functions of degree m, [m] denoted f ; acting on a thick test function (x) is de…ned as the action of f on am (w) in the corresponding asymptotic expansion divide by the surface area of Sn 1 : Namely, D f [m] ; E D0 (Rn ) D (Rn ) = 1 Cn 1 hf ; am (w)iD0 (Sn 1) D (Sn 1) Example If f is a locally integrable funcion in Rn ; homogeneous of degree 0, a natural example would be D f [m] ; E D0 (Rn ) D (Rn ) Yunyun Yang (Louisiana State University) 1 Cn 1 = Cn = 1 1 hf ; am (w)iD0 (Sn 1 ) D (Sn 1 ) Z f (w) am (w) d (w) Sn 1 Distributions in Spaces with Thick Points II May 18, 2012 23 / 44 Space of Distributions on Rn with a Thick Point De…nitions Let f ; g 2 D0 (Rn );and (x) 2 D (Rn ) is a test function. We de…ne the following algebraic operators: 1 2 3 4 hf + g ; i = hf ; i + hg ; i : hf (Ax) ; (x)i = jdet1 Aj f (x) ; A 1 x : where A is a non-singular n n matrix. In particular, hf ( x) ; (x)i = hf (x) ; ( x)i hf (x + c) ; (x)i = hf (x) ; (x h f ; i = hf ; 8 2 D ;a i ; where Yunyun Yang (Louisiana State University) c)i ; where c 2 Rn : is a multiplier of D Distributions in Spaces with Thick Points II ;a ; i.e. 2D ;a , May 18, 2012 24 / 44 Derivatives on Thick Distributions De…nition The p @ @x th order derivative of a thick distribution f 2 D0 is given by p f; = ( 1)jpj f ; @ @x p = ( 1)jpj f ; (@ p1 :::@ pn ) @x1p1 :::@xnpn , We can call it "thick distributional derivative" to indicate the space D0 ; in which f sits. Example a …rst order parital derivative on f may be given by @ f ; @xj Yunyun Yang (Louisiana State University) = f; @ @xj Distributions in Spaces with Thick Points II May 18, 2012 25 / 44 Derivatives on Thick Distributions Lemma Suppose f 2 D0 ; and the projection of f onto D0 is p (@ =@x)p f = @=@x g : (f ) = g . Then Proof. if is an ordinary test function that is in D (Rn ); i denotes the inclusion map from D to D ; the projection of f from D0 to D0 is (f ) = g , then we have, @ @x p f ;i ( ) = ( 1)jpj f ; = ( 1)jpj Yunyun Yang (Louisiana State University) @ @x (f ) ; p @ p = ( 1)jpj f ; i @x * + p @ @ p = g; @x @x Distributions in Spaces with Thick Points II May 18, 2012 26 / 44 More about derivatives Because aJ (w)0 s are …nite on Sn 1 , the asymptotic expansion, 1 1 P P aJ (x=r ) r J :etc. aJ (w) r J = (r w) J =k J =k So 1 X @aJ (x=r ) @ = r J + JaJ (x=r ) nj r j @xj @xj 1 J =k Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 27 / 44 Distributional Derivative of 1=r Lemma [m] The partial derivative of the thick delta function wi is [m] @ ni = [ ij + ( m 1 n) ni nj ] @xj with respect to xj [m+1] where ij is the Kronecker delta function, m is the degree of wi the dimension of Rn ; wi = xi =r ; wi = xi =r : [m] ; n is Proof. * @ ni Yunyun Yang (Louisiana State University) [m] @xj ; + = ni [m] ; Distributions in Spaces with Thick Points II @ @xj May 18, 2012 28 / 44 Distributional Derivative of 1=r Proof. 1 = Cn 1 Cn = 1 Cn 1 1 = Cn 1 1 1 Z am+1 (w) + (m + 1) nj am+1 (w) d (w) xj Sn 1 am+1 (w) ni ; xj D0 (Sn 1 ) D (Sn 1 ) ni hni ; (m + 1) wj am+1 (w)iD0 (Sn 1) | ni ; am+1 (w) xj Since D0 (Sn 1) D (Sn D (Sn 1) 1) D (m + 1) ni nj [m+1] ; E D0 (Rn | ni = xj ij n (ni nj ) The result is obtained. Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 29 / 44 Distributional Derivative of r In his paper, [4,Franklin] brought up a question: As a distribution, the well-known formula of the second derivative of 1=r 2 @ @xi @xj 1 r = r2 3xi xj 4 3 ij r5 ij (x) cannot act on functions that are not smooth at the orign. In other words, 2 @ @xi @xj 1 r = Yunyun Yang (Louisiana State University) r2 3xi xj r5 ij 4 3 ij (x) 2 D0 but 2 = D0 Distributions in Spaces with Thick Points II May 18, 2012 30 / 44 Distributional Derivative of 1=r De…nition Let 2 D (Rn ) ; D Pf r ; E = F :p: lim Z "!1 jxj " r (x) dx Hence @ @x p Pf r ; jpj = ( 1) Pf r = ( 1)jpj F :p: lim ; Z @ @x "!1 jxj " Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II r p @ @x p (x) dx May 18, 2012 31 / 44 Distributional Derivative of r Lemma We denote Sn" 1 the n-1 sphere Rwith radius ": De…ne r nj Sn" 1 ; (x) = Sn" 1 " nj (x) dx:for any thick test function ;then D E lim r wj Sn" 1 ; (x) "!0 ( = 0D if 2 =Z E [1 n ] = Cn 1 nj ; (x) 0 n 1 if 2 Z n 1 D (S ) D (S ) Proof. D r nj Sn" 1 ; (x) E = Z Sn" Z " nj (x) dx " nj ("w) "n Z Distributions in Spaces with Thick Points II = Sn Yunyun Yang (Louisiana State University) 1 1 d (w) 1 May 18, 2012 32 / 44 Distributional Derivative of r Theorem @ pf r @xj where Cn 1 = ( xj Pf r xj Pf r 2 2 ; + Cn is the surface area of the n Yunyun Yang (Louisiana State University) 1 nj [ n+1] 2 =Z 2Z (18) 1 unit sphere. Distributions in Spaces with Thick Points II May 18, 2012 33 / 44 Distributional Derivative of r Proof. By de…nition, @ Pf r @xj ; = Pf r = F :p: lim Z @ ; @xj "!1 jxj " = F :p: lim Z "!1 jxj " @H (r ") r @xj dx = We already know the usual distributional derivative of H (r by [2,Kanwal] @ H (r @xj Yunyun Yang (Louisiana State University) ") r = xj r 2 H (r r @ dx @xj (19) @H (r ") r ; @xj ") r is given ") + r nj (S" ) Distributions in Spaces with Thick Points II May 18, 2012 34 / 44 Distributional Derivative of r Proof. So equation 19 becomes @ H (r ") r ; "!1 @xj D E = F :p: lim xj r 2 H (r ") + r nj (S" ) ; "!1 D E D E = xj Pf r 2 ; + F :p: lim r nj (S" ) ; F :p: lim "!1 By 29, lim r nj "!0 Sn" 1 ; (x) = Cn 1 nj [1 n ] So the theorem holds. Example When n = 3; Yunyun Yang = 1;the …rst derivative of 1=r is @ pf r 1 = xj Pf r 3 + 4 nj @x j (Louisiana State University) Distributions in Spaces with Thick Points II [ 1] May 18, 2012 35 / 44 Second Order Distributional Derivative of r Lemma xj [Q ] = wj [Q 1] : Theorem If is an integer, @ 2 @xj @xk pf r = jk Pf r +Cn Yunyun Yang (Louisiana State University) 1 (2 2 + ( 2) nj nk 2) xj xk Pf r [ Distributions in Spaces with Thick Points II n+2] + Cn 4 1 jk [ May 18, 2012 n+2] 36 / 44 Second Order Distributional Derivative of r Proof. Take the derivative of the …rst order derivative [ n+1] @ = xj Pf r 2 + Cn 1 nj , we have @xj pf r @ 2 @xj @xk pf r = @ (xj ) Pf r @xk = jk 1 Yunyun Yang (Louisiana State University) Pf r @xk 2 2) Pf r 4 @ @xk Pf r + x j Cn + xj n+1] [ nj @ +Cn 2 1 nk 2 + xj ( [ n+3] @ + Cn Distributions in Spaces with Thick Points II 1 nj [ n+1] @xk May 18, 2012 37 / 44 Second Order Distributional Derivative of 1=r Proof. Together with the lemma 27, @ nj [ n+1] =[ @xk jk +( And by lemma 32, xj So, [ 2) nj nk ] n+3] = nj [ n+2] [ n+2] : : Theorem If is an integer, @ 2 @xj @xk pf r = jk Pf r +Cn Yunyun Yang (Louisiana State University) 1 ( n 2 + ( 1) nj nk 2) xj xk Pf r [ Distributions in Spaces with Thick Points II n+2] 4 [ n+2] May 18, 2012 38 / 44 + Cn 1 jk Second Order Distributional Derivative of 1=r Theorem If is an integer, @ 2 @xj @xk pf r = jk Pf r +Cn 1 (2 2 + ( 2) nj nk 4 2) xj xk Pf r n+2] [ + Cn 1 jk [ n+2] Example If n = 3; = 1; @ 2 pf r @xj @xk 1 = 3xj xk Pf r 16 nj nk Yunyun Yang (Louisiana State University) 5 +4 Distributions in Spaces with Thick Points II jk Pf r 3 jk May 18, 2012 39 / 44 Second Order Distributional Derivative of 1=r So in the thick point spaces, @ @xj @xk 1 r In particular, if Z 16 xj xk r2 R3 = r2 3xj xk r5 jk 16 xj xk r2 (x) +4 (x) 2 D (Rn ) ; i:e:; a0 is a constant, then Z (x) (x) dx = 4a0 ni nj d (!)+4 jk a0 = S2 Z R3 4 jk (x) (x) dx = 4 (20) jk a0 16 3 jk jk a0 Hence the projection is given explicitly as: ( @ @xi @xj Yunyun Yang (Louisiana State University) 3xi xj r 2 1 )= r r5 ij 4 3 Distributions in Spaces with Thick Points II ij (x) May 18, 2012 (21) 40 / 44 Second Order Distributional Derivative of 1=r Conclusion: @ @xi @xj 1 r = r2 3xi xj r5 ij 16 xj xk r2 (x) +4 jk (22) is a thick distribution. ( @ @xi @xj 3xi xj r 2 1 )= r r5 ij 4 3 ij (x) (23) is a usual distribution. Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 41 / 44 References Vibet, C. (1999) Transient analysis of energy equation of dynamical systems, IEEE Trans. Edu. 42, 217-219. Kanwal, R.P. (1998) Generalized Functions: Theory and Technique, second edition. Birkhauser, Boston. Ricardo Estrada and Stephen A. Fulling. (2007) Functions and Distributions in Spaces with Thick Points. International Journal of Applied Mathematics & Statistics, Vol 10, No. S07, 25-37. Jerrold Franklin. (2010) Comment in "Some novel delta-function identities". American Journal of Physics, November 2010 – Volume 78, Issue 11, pp. 1225 Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 42 / 44 References Estrada, R., Essays in the Theory and Applications of Generalized Functions, Ph. D. Dissertation, Pennsylvania State University, 1980. [?]Estrada, R. and Kanwal, R. P., Distributional analysis of discontinuous …elds, J.Math.Anal.Appl. 105 (1985), 478-490. [?]Estrada, R. and Kanwal, R. P., Higher order fundamental forms of a surface and their applications to wave propagation and distributional derivatives, Rend. Cir. Mat. Palermo 36 (1987), 27-62. Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 43 / 44 Thank you! Yunyun Yang (Louisiana State University) Distributions in Spaces with Thick Points II May 18, 2012 44 / 44
0
You can add this document to your study collection(s)
Sign in Available only to authorized usersYou can add this document to your saved list
Sign in Available only to authorized users(For complaints, use another form )