THE PSEUDO DIFFERENTIAL-TYPE OPERATOR ( x 1 D) (α β) ASSOCIATED WITH THE FOURIER-BESSEL TYPE SERIES REPRESENTATION
|
|
- Clare Walsh
- 5 years ago
- Views:
Transcription
1 Palestine Journal of Mathematics Vol. 5(2) (216), Palestine Polytechnic University-PPU 216 THE PSEUDO DIFFERENTIAL-TYPE OPERATOR ( x 1 D) (α β) ASSOCIATED WITH THE FOURIER-BESSEL TYPE SERIES REPRESENTATION B.B.Waphare and S.G.Gajbhiv Communicated by Ayman Badawi MSC 21 Classifications: Primary 47 G 3, 26 A 33; Secondary 46 F 12. Keywords and phrases: Pseudo differential-type operator, Hankel-type transform, Open mapping theorem, almost inverse. Abstract. For certain Frechet space F consisting of complex valued C functions defined on I = (, ) and characterized by their asymptotic behavior near the boundaries, we show that : (i) The Pseudo differential operator ( x 1 D) (α β), (α β) R, D = d dx, is an automorphism (in the topological sense) on F. (ii) ( x 1 D) (α β) is almost an inverse of the Hankel type transform h α,β in the sense that h α,β (x 1 D) (α β) (ϕ) = h (ϕ),for all ϕ F and (α β) R (iii) ( x 1 D) (α β) has a Fourier-Bessel type series representation on a subspace F b F and also on its dual F b. 1 Introduction The theory of pseudo differential operators has been developed by many researchers in India and abroad. In recent years pseudo differential operators involving Hankel transform, Hankel convolution, Bessel operators etc. has been studied by many mathematicians. It is the purpose of this paper to give the Fourier-Bessel type series representation of the pseudo differential type operator ( x 1 D) (α β). We denote by F the space of all C - complex valued functions ϕ(x) defined on I = (, ), such that ϕ(x) = k a i x 2i + O(x 2k ) (1.1) i= near the origin and is rapidly decreasing as x. For (α β) > 1/2, we define a (α β) th order Hankel-type transform h α,β on F by where Φ(y) = [h α,β ϕ(x)](y) = dm(x) = m (x)dx = [ 2 α β Γ(3α + β) ] 1 x 4α dx, ϕ(x)j α,β (xy)dm(x) (1.2) J α,β (x) = 2 α β Γ(3α + β)x (α β) J α β (x),
2 176 B.B.Waphare and S.G.Gajbhiv and J α β (x) is the Bessel-type function of order (α β). The inversion formula for (1.2) is given by [1, 3, 4], ϕ(x) = In the present paper we will show that for every real (α β): Φ(y)J α,β (xy)dm(y). (1.3) (i) The pseudo differentialâăştype operator ( x 1 D) (α β) is a topological automorphism on F. (ii) The Hankel-type transform h α,β is also an automorphism on F. (iii) On F,( x 1 D) (α β) is almost an inverse of h α,β in the sense that [h α,β ( x 1 D) (α β) ](ϕ) = h (ϕ), ϕ F. (iv) On a certain subspace F b F and on its dual F b, ( x 1 D) (α β) has Fourier-Bessel type series representation. All automorphisms are topological automorphisms in the sequel. 2 Notations and Terminology For any real number (α β) 1/2, F α,β is the space of all C - complex valued functions ϕ(x) defined on I such that m,k (ϕ) = Sup x I x m k α,β,x ϕ(x) < (2.1) For each m, k =, 1, 2... where α,β,x = D 2 + x 1 (4α)D. We can easily note that F α,β { is a } Frechet space. Its topology is generated by the countable family of separating seminorms m,k m,k=,1,2. By Lee [3, Theorem 2.1(i), page 429], we have F α,β = F a,b = F (as a set) for each (α β), (a b)( 1/2) R. Thus for each (α β)( 1/2), we have a topology T α β on F generated by the countable family of seminorms m,k. Hence (F, T α β) is a Frechet space. When (α β) = 1/2, F 1/2 F, since the factor x 1 (4α)D in α,β,x responsible for the even nature of ϕ(x) F α,β (x) near the origin, vanishes. For example e x F 1/2 but e x / F α,β. Following Zemanian [7, 8] we define Hankel-type transform h α,β with (α β) 1/2 by Ψ(y) = [ h α,β ψ(x) ] (y) = ψ(x)(xy) α+β J α β (xy)dx (2.2) It can be easily proved that h α,β is an automorphism on the space H α,β that consists of complex valued C functions defined on I and satisfies the relation m,k (ψ) = Sup x I x m (x 1 D) k [ x 2β 1 ψ(x) ] < (2.3) for each m, k =, 1, 2... where D = d/dx. Now we will need following theorem which is an important result for the development of our theory. Theorem 2.1. Let (α β), (a b) 1/2; a, b are real numbers. Then (i) The operation ϕ x 2α ϕ is an homeomorphism from F onto H α,β (ii) ( x 1 D ) n : F F is an automorphism of F. (iii) (F, T a b ) and (F, T α β ) are equivalent topological spaces. (iv) h α,β (ϕ) = ( 1) [ ( n h α,β,n x 1 D ) n] (ϕ), ϕ F, (α β) 1/2, n =, 1, 2....
3 THE PSEUDO DIFFERENTIAL-TYPE OPERATOR ( x 1 D) (α β) 177 Notation: In view of Theorem 2.1((i),(ii)), we will always write x 2α ϕ = ϕ(x) H α,β for ϕ F and drop the suffix, (α β) from T α β. So henceforth the topological linear space (F, T ) will be denoted by F. Proof of Theorem 2.1:(i)We use induction on n and noting that It can be proved that α,β,x = x 2 (x 1 D) 2 + 2(3α + β)(x 1 D) (2.4) n α,β,x= x 2n (x 1 D) 2n + a 1 x 2(n 1) (x 1 D) 2n a n (x 1 D) n (2.5) where a i are the constants depending on α β. Now ϕ F if and only if ϕ H α,β (see remark II of Lee [3]) and taking a = 1, it follows from (2.5) that m,k (ϕ) 2k i=k a 2k i (ϕ) (2.6) m+2(i k),i Proving the continuity of the inverse operation ϕ x 2β 1 ϕ. By using open mapping theorem [6, page.172], F being Frechet space, we complete the proof. (ii) Letϕ j be a sequence tending to zero in F. Then ϕ j in H α,β for arbitrary (α β) 1/2. Hence [ m,k (x 1 D) n ϕ j (x) ] 2k i=k a 2k i m+2(i k),i+n ϕ j, as j (by(2.6)) Now it remains to be shown that (x 1 D) n is bijective. It is enough to prove this for n = 1. So, let x 1 Dϕ 1 (x) = x 1 Dϕ 2 (x) for ϕ 1, ϕ 2 F. Hence ϕ 1 (x) ϕ 2 (x) = constant. But ϕ 1 (x)and ϕ 2 (x) are of rapid descent as x ϕ 1 = ϕ 2 (x). Now let ψ F, then ϕ(x) = x tψ(t)dt, defined uniquely (since ψ is of rapid descent as x ) in F, is such that x 1 Dϕ(x) = ψ(x). Thus we see that (x 1 D) n is a continuous bijection on F. The space F being a Frechet space, the Open Mapping Theorem shows that(x 1 D) n is a bicontinuous bijection on (F, T α β ) for each (α β) R {1/2}. (iii)let α β = a b + d, d R and ϕ n be a sequence tending to zero in (F, T a b ). Then x m,k (ϕ m n) = Sup [ x I a,b,x +2d(x 1 D) ] k ϕn (x) < [ Sup x I x m k k i a,b,x (2dx 1 D) i ϕ n (x) + i= k (2dx 1 D) k i i a,b,x ϕ n (x) i= + terms of type i 1 a,b,x (2dx 1 D) i 2 i 3 a,b,x... ϕ n(x) ] and (2dx 1 D) j 1 j 2 a,b,x (2dx 1 D) j 3... ϕ n (x) (where i 1 + i 2 + i 3 + = j 1 + j 2 + j 3 + = k) as n, for each m, k =, 1, 2,... Since i a,b,x and (x 1 D) i are continuous on (F, T a b ). This follows from integration by parts and induction on n. Remark 2.2. It can be shown that on F k α,β,x (x 1 D) n = (x 1 D) n k α,β n,x This proof follows by induction on k.
4 178 B.B.Waphare and S.G.Gajbhiv Definition 2.3. In view of Theorem 2.1(iv), we define the Hankel-type transform h α,β formally for any (α β) R as h α,β (ϕ) = h α,β,n (x 1 D) n ϕ, ϕ F (2.7) where n is chosen such that α β + n > 1/2. This is well defined definition as (x 1 D) n is an automorphism. Definition 2.4. Let F be the dual space of F.Then for f F define the generalized Hankel-type transform h α,β f = f ˆ of f by h α,β f, h α,β ϕ = f, ϕ, ϕ F, (α β) R Theorem 2.5. For (α β) R, h α,β is an automorphism on F and hence on F. Proof:Let ϕ(x) F. Then h α,β (ϕ) = Φ(y) = (x 1 D) 2n ϕ(x)j α,β,2n (xy)dm(x) = y 2β 1 h a,b ( ψ(x) ) (y), (2.8) where a b = α β + 2n > 1/2 and ψ(x) = x 2a ψ(x) = x 2a (x 1 D) 2n ϕ(x). Let ϕ n (x) in F ψ m (x) in H a,b h a,b (ψ m ) in H a,b h a,b (ϕ m ) in F. Now h a,b,the Hankel-type transform being bijective, (2.7) shows that h α,β is a bijection. Finally by making use of the Open Mapping Theorem we can complete the proof. Writing α = β =, in (2.7) and h, = h in definition(2.1) we get h (ϕ) = h n ( x 1 D) n ϕ(x), ϕ F. The above equation motivates us to propose the following definition. Definition 2.6. For (α β) R, define ( x 1 D) α β by ( x 1 D) α β (ϕ) = h 1 α,β h (ϕ), (2.9) Then ( x 1 D) α β is clearly an automorphism on F for each real (α β). From equation (2.9) we get ( x 1 D) α β ϕ(x) = dm(y)j α,β (xy) For distribution f F, define ( x 1 D) α β by ( x 1 D) α β f, ϕ = f, ( x 1 D) α β ϕ, ϕ F Now we modify theorem 2.1 (ii) to give our main result. dmϕ(x)j (xy) (2.1) Theorem 2.7. The pseudo differential operator ( x 1 D) α β is an automorphism on F and hence on F for each (α β) R. 3 The Fourier-Bessel type Series expansion of ( x 1 D) α β Equation (2.1) gives the integral representation of the operator ( x 1 D) α β. To get the Fourier-Bessel type series expansion, we modify our leading function space F suitably as follows (similar to the ones as in Zemanian [7, 9]). For b >, define F b = {ϕ F ϕ = for x > b} (3.1) The topology of F b is generated by a countable family of seminorms k (ϕ) = Sup <x<b k α,β,x ϕ(x) < k =, 1, 2... (3.2) Clearly all the topologies obtained by choosing different (α β) s are equivalent.
5 THE PSEUDO DIFFERENTIAL-TYPE OPERATOR ( x 1 D) (α β) 179 Remark 3.1. Without loss of generality, we may take (α β) > 1/2. Definition 3.2. We define finite Hankel type transform h α,β by Φ(z) = [h α,β ϕ] (z) = b ϕ(x)j α,β (xz)dm(x) (3.3) Then Φ(z) is an even entire function by Griffith Theorem [2, 9]. Let z = y + iw and G b = {Φ(z) Φ(z)is an even entire function satisfying (3.4)}. ηb k e (Φ) = Sup b w z C z 2k Φ(z) < (3.4) for k =, 1, Then G b is a linear topological space with ηb k as seminorms. Both spaces F b and G b are Hausdorff locally convex topological linear spaces satisfying the axiom of first countability. They are sequentially complete spaces. Theorem 3.3. h α,β is an homeomorphism from F b onto G b. Proof:Let ϕ F b. Then Hence z 2m Φ(z) = Φ(z) = h α,β,2m [ ( x 1 D) 2m ϕ(x) ] m N b From the asymptotic formula J α β) (z) 2/πz cos x 4α+2m [ ( x 1 D) 2m ϕ(x) ] (xz) (α β) J α β+2m (xz)dz ( (α β)π z π ) 2 4 z, argz < π and from the fact that z (α β) J α β+m (z) is an entire function, it follows that for all x, z, e b w (xz) (α β) J α β+2m (xz) < C m(α β) (a constant) Thus η m b (Φ) C m(α β) b 2(m+3α+β) [ (x 1 D) 2m ϕ(x) ] < (3.5) (x 1 D) 2m being an automorphism (also on F b ), (3.5) implies the continuity of h α,β. h α,β is clearly injective. For any Φ(z) G b, take ϕ(x) = Φ(y)J α,β (xz)dm(y) Then it follows from Griffith Theorem [2] that ϕ is zero almost everywhere for x > b. Also k (ϕ) = Sup <x<b k α,β,x Φ(y)J α,β (xz)dm(y) = Sup <x<b Φ(y)( 1) k y 4α+2k (xy) (α β) J α β (xy)dy <, [ Since k α,β,x (xy) (α β) J α β (xy) ] = ( 1) k y 2k (xy) (α β) J α β (xy), Φ(y) is of rapid descent as y, and [ (xy) (α β) J α β (xy) ] is bounded for < y <. Therefore, ϕ F b. Hence h α,β is surjective. Now the Open Mapping Theorem completes the proof. Theorem 3.4. Let ϕ F b. Then 2 ϕ(x) = lim ϵ + b 2 ( ) α β λn J α β (xλ n ) λ ϵ (x) x J3α+β 2 (bλ n) Φ(λ n) (3.6) n=1
6 18 B.B.Waphare and S.G.Gajbhiv where the λ n s are the positive roots of J α β (bz) = arranged in the ascending order and for < ϵ < b/4, E ( ) x 2ϵ < x < 2ϵ 1 2ϵ x b 2ϵ λ ϵ (x) = 1 E ( ) x b+2ϵ 2ϵ b 2ϵ < x < b x b and E(u) = u e 1 x(x 1) dx 1 e 1 x(x 1) dx Proof: By following [5] proof can be completed. Theorem 3.4 gives the required Fourier-Bessel type series expansion for the pseudo differential type operator ( x 1 D) α β, which we obtain in the following. Theorem 3.5 (The Fourier-Bessel type series). For ϕ F b, we have where [ ( x 1 D) α β] 2 ϕ(x) = lim ϵ + b 2 ( ) α β λn J α β (xλ n ) λ ϵ (x) x J3α+β 2 (bλ n) Φ (λ n ) (3.7) n=1 Φ (y) = h [ϕ(x)](y) Proof: Equation (2.9) along with Theorem 3.4 gives the required proof. Note that, λ 2α n Φ (λ n ) A k(α β) λ 2α 2k n J α β (xλ n ) A k(α β) constant and x α β λ 1/2 n J3α+β 2 (bλ n) is smooth and bounded on < x < b, < λ n <. Hence the truncation error 2 ( ) α β λn J α β (xλ n ) E N = lim ϵ + b 2 λ ϵ (x) x J3α+β 2 (bλ n) Φ (λ n ) n=n+1 has exponential decay for large N. This completes the proof. Theorem 3.5 gives the Fourier-Bessel type series representation of the operator ( x 1 D) α β on the testing function space F b. We wish to investigate the nature of the Fourier-Bessel series for the pseudo-differential type operator ( x 1 D) α β on the distribution space F b. The spaces F b and G b are dual spaces of F b and G b respectively. They are assigned the weak topologies generated by the seminorms and P ϕ (f) = f, ϕ, ϕ F b, f F b P ϕ (h α,β f) = h α,β f, h α,β ϕ, h α,β ϕ G b, h α,β f G b respectively.both the spaces are sequentially complete. Definition 3.6. For f F b, ϕ F b, we define the generalized finite hankel-type transform h α,β f by h α,β f, h α,β ϕ = f, ϕ (3.8) Theorem 3.7. For (α β) R, h α,β is an homeomorphism from F b onto G b. Theorem 3.8. For every ϵ (, b/4) and each f F b, the function ˆ f ϵ (y) = f(x), y 2β 1 λ ϵ (x)m (y)j α,β (xy) (3.9) where λ ϵ (x) is defined as in Theorem 3.4 is a smooth function of slow growth and defined a regular generalized function in G b
7 THE PSEUDO DIFFERENTIAL-TYPE OPERATOR ( x 1 D) (α β) 181 Proof: We note that (x 1 D) k λ ϵ (x) is bounded on < x < b for each k.using (2.6), it is simple to see that y 2β 1 λ ϵ (x)m (y)j α,β (xy) F b. Hence (3.9) is well defined. The result of the proof is similar to that of Zemanian [ Lemma 12]H. Theorem 3.9. The finite Hankel-type transform h α,β f of a generalized function f F b distributional limit, as ϵ + of the family fϵ ˆ (z) defined by (3.9). is the Proof: Proof is simple and hence omitted. Theorem 3.1. Let f F b and f ˆ = hα,β f. Then in the sense of convergence in F b, we have 2 f(x) = lim N b 2 N n=1 x 3α+β J α β (xλ n ) λn J3α+β 2 (bλ f(λ n) ˆ n ) (3.1) Proof: The proof follows easily from Theorem 3.4 and 3.9. Remark 3:For f F b, such that either f is regular or suppf [, b], the limit of fϵ ˆ (z) as ϵ + exists as an ordinary function and is equivalent to the finite Hankel-type transform of f [5]. A consequence of the above theorem is the following: Theorem Let f, g F b. If (h α,βf)(λ n ) = (h α,β g)(λ n ), for n = 1, 2, 3... then f = g and h α,β f = h α,β g. Definition For f F b, define ( x 1 D) α β f by ( x 1 D) α β f, ϕ = f, ( x 1 D) α β ϕ, ϕ F b, (α β) R (3.11) From equations (2.9),(3.8) and (3.11), it follows that ( x 1 D) α β f, ϕ = f, ( x 1 D) α β ϕ = h 1 h α,βf, ϕ, f F b, ϕ F b Hence Applying Theorem 3.1 to equation (3.12) we get ( x 1 D) α β f = h 1 h α,βf on F b (3.12) Theorem 3.13 (The Fourier-Bessel type series). Let f F b and f ˆ = hα,β f. Then in the sense of convergence in F b, we have References ( x 1 D) α β 2 f(x) = lim N b 2 N x J (xλ n ) λn J1 2(bλ f(λ n) ˆ n ). (3.13) [1] L.S.Dubey and J.N.Pandey, On the Hankel transformation of distributions, Tohoku Math.J.27(1975), [2] J.L.Griffith, Hankel transforms of functions zero outside a finite interval, J.Proc.Roy.Soc.New South Wales 89(1955) [3] W.Y.Lee, On Schwartz Hankel transformation of certain space of distributions, SIAM J.Math.Anal. 6(1975), [4] A.L.Schwartz, An inversion theorem for Hankel transforms, Proc.Amer.Math.Soc. 22(1969), [5] O.P.Singh, On distributional finite Hankel transform, Appl.Anal. 21(1986), [6] F.Traves,Topological vector Spaces,Distributions and Kernels, Academic Press, New york and London, [7] A.H.Zemanian, Generalized integral transformations, Interscience, New York [8] A.H. Zemanian, A Distributional Hankel transform, J.SIAM.Appl.Math. 14(1966), [9] A.H. Zemanian, The Hankel transformations of certain distributions of rapid growth, J.SIAM.Appl.Math. 14(1966), n=1
8 182 B.B.Waphare and S.G.Gajbhiv Author information B.B.Waphare, MIT ACSC, Alandi, Pune, Maharashtra, India. S.G.Gajbhiv, Research Scholar, Savitribai Phule Pune University and Assistant Professor MIT Academy of Engineering, Alandi, Pune, Maharashtra, India. Received: May 22, 215. Accepted: October 23, 215.
Pseudo-Differential Operators associated with Bessel Type Operators - I
Thai Journal of Mathematics Volume 8 (21 Number 1 : 51 62 www.math.science.cmu.ac.th/thaijournal Online ISSN 1686-29 Pseudo-Differential Operators associated with Bessel Type Operators - I B. B. Waphare
More informationA Generalized Finite Hankel Type Transformation and a Parseval Type Equation
International Journal of Scientific and Innovative Mathematical Research (IJSIMR) Volume 4, Issue 1, January 2016, PP 21-31 ISSN 2347-307X (Print) & ISSN 2347-3142 (Online) wwwarcjournalsorg A Generalized
More informationOrthonormal series expansion and finite spherical Hankel transform of generalized functions
Malaya Journal of Matematik 2(1)(2013) 77 82 Orthonormal series expansion and finite spherical Hankel transform of generalized functions S.K. Panchal a, a Department of Mathematics, Dr. Babasaheb Ambedkar
More informationTHE FOURIER-BESSEL SERIES REPRESENTATION OF THE PSEUDO-DIFFERENTIAL OPERATOR (-r1/))'
proceedings of the american mathematical society Volume 115, Number 4, AUGUST 1992 THE FOURIER-BESSEL SERIES REPRESENTATION OF THE PSEUDO-DIFFERENTIAL OPERATOR (-r1/))' O. P. SINGH AND J. N. PANDEY (Communicated
More informationThe Bessel Wavelet Transform
Int. Journal of Math. Analysis, Vol. 5, 211, no. 2, 87-97 The Bessel Wavelet Transform Akhilesh Prasad* and Ashutosh Mahato Department of Applied Mathematics Indian School of Mines Dhanbad-8264, Jharkhand,
More informationNotes on Distributions
Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationThe fractional Hankel transformation of certain tempered distributions and pseudo-differential operators
Chapter 5 The fractional Hankel transformation of certain tempered distributions and pseudo-differential operators 5.1 Introduction The fractional Hankel transformation is a generalization of the conventional
More informationGENERALIZED FUNCTIONS LECTURES. Contents
GENERALIZED FUNCTIONS LECTURES Contents 1. The space of generalized functions on R n 2 1.1. Motivation 2 1.2. Basic definitions 3 1.3. Derivatives of generalized functions 5 1.4. The support of generalized
More informationi=1 β i,i.e. = β 1 x β x β 1 1 xβ d
66 2. Every family of seminorms on a vector space containing a norm induces ahausdorff locally convex topology. 3. Given an open subset Ω of R d with the euclidean topology, the space C(Ω) of real valued
More informationInternational Journal of Pure and Applied Mathematics Volume 55 No ,
International Journal of Pure and Applied Mathematics Volume 55 No. 9, 47-56 THE HANKEL CONVOLUTION OF ARBITRARY ORDER C.K. Li Department of Mathematics and Computer Science Brandon University Brandon,
More informationOrthonormal Series Expansion and Laguerre-Finite Hankel Transform of Generalized Functions
IOSR Journal of Mathematics (IOSR-JM) e-issn: 2278-5728, p-issn: 2319-765X. Volume 10, Issue 4 Ver. IV (Jul-Aug. 2014), PP 96-101 Orthonormal Series Expansion and Laguerre-Finite Hankel Transform of Generalized
More informationWAVELET EXPANSIONS OF DISTRIBUTIONS
WAVELET EXPANSIONS OF DISTRIBUTIONS JASSON VINDAS Abstract. These are lecture notes of a talk at the School of Mathematics of the National University of Costa Rica. The aim is to present a wavelet expansion
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationGeneralized Hankel-Schwartz Type Transformations on L p,ν Spaces of Distributions
Int. Journal of Math. Analysis, Vol. 4, 21, no. 51, 2515-2523 Generalized Hankel-Schwartz Type Transformations on L p,ν Spaces of Distributions B. B. Waphare MAEER s MIT Arts, Commerce and Science College
More informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationDistributions: Topology and Sequential Compactness
Distributions: Topology and Sequential Compactness Acknowledgement Distributions: Topology and Sequential Compactness Acknowledgement First of all I want to thank Professor Mouhot for setting this essay
More informationInternational Journal of Pure and Applied Sciences and Technology
Int. J. Pure Appl. Sci. Technol., 16(1) (2013), pp. 20-25 International Journal of Pure and Applied Sciences and Technology ISSN 2229-6107 Available online at www.ijopaasat.in Research Paper Generalized
More informationDavid Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent
Chapter 5 ddddd dddddd dddddddd ddddddd dddddddd ddddddd Hilbert Space The Euclidean norm is special among all norms defined in R n for being induced by the Euclidean inner product (the dot product). A
More informationOn the Stieltjes moment problem
On the Stieltjes moment problem Jasson Vindas jvindas@cage.ugent.be Department of Mathematics Ghent University Logic and Analysis Seminar March 11, 215 The problem of moments, as its generalizations, is
More informationKernel Method: Data Analysis with Positive Definite Kernels
Kernel Method: Data Analysis with Positive Definite Kernels 2. Positive Definite Kernel and Reproducing Kernel Hilbert Space Kenji Fukumizu The Institute of Statistical Mathematics. Graduate University
More informationUnions of Dominant Chains of Pairwise Disjoint, Completely Isolated Subsemigroups
Palestine Journal of Mathematics Vol. 4 (Spec. 1) (2015), 490 495 Palestine Polytechnic University-PPU 2015 Unions of Dominant Chains of Pairwise Disjoint, Completely Isolated Subsemigroups Karen A. Linton
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationReverse Mathematics of Topology
Reverse Mathematics of Topology William Chan 1 Abstract. This paper develops the Reverse Mathematics of second countable topologies, where the elements of the topological space exist. The notion of topology,
More informationOutline of Fourier Series: Math 201B
Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C
More informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
More informationMethods of constructing topological vector spaces
CHAPTER 2 Methods of constructing topological vector spaces In this chapter we consider projective limits (in particular, products) of families of topological vector spaces, inductive limits (in particular,
More information12. Hilbert s fifth problem for compact groups: Von Neumann s theorem
12. Hilbert s fifth problem for compact groups: Von Neumann s theorem 12.1. The Hilbert problem. In his address entitled Mathematical Problems before the International Congress of Mathematicians in Paris
More informationg(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)
Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to
More informationMTH 503: Functional Analysis
MTH 53: Functional Analysis Semester 1, 215-216 Dr. Prahlad Vaidyanathan Contents I. Normed Linear Spaces 4 1. Review of Linear Algebra........................... 4 2. Definition and Examples...........................
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationReal Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis
Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It
More informationCONVOLUTION OPERATORS IN INFINITE DIMENSION
PORTUGALIAE MATHEMATICA Vol. 51 Fasc. 4 1994 CONVOLUTION OPERATORS IN INFINITE DIMENSION Nguyen Van Khue and Nguyen Dinh Sang 1 Introduction Let E be a complete convex bornological vector space (denoted
More informationHilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality
(October 29, 2016) Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2016-17/03 hsp.pdf] Hilbert spaces are
More informationA Walking Tour of Microlocal Analysis
A Walking Tour of Microlocal Analysis Jeff Schonert August 10, 2006 Abstract We summarize some of the basic principles of microlocal analysis and their applications. After reviewing distributions, we then
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationChapter 1. Introduction
Chapter 1 Introduction Functional analysis can be seen as a natural extension of the real analysis to more general spaces. As an example we can think at the Heine - Borel theorem (closed and bounded is
More informationInversion of the Dual Dunkl Sonine Transform on R Using Dunkl Wavelets
Symmetry, Integrability and Geometry: Methods and Applications SIGMA 5 2009), 071, 12 pages Inversion of the Dual Dunkl Sonine Transform on Using Dunkl Wavelets Mohamed Ali MOUOU Department of Mathematics,
More informationProblem Set 6: Solutions Math 201A: Fall a n x n,
Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series
More informationA locally convex topology and an inner product 1
Global Journal of Pure and Applied Mathematics. ISSN 0973-1768 Volume 12, Number 4 (2016, pp. 3327-3338 Research India Publications http://www.ripublication.com/gjpam.htm A locally convex topology and
More informationBanach Spaces V: A Closer Look at the w- and the w -Topologies
BS V c Gabriel Nagy Banach Spaces V: A Closer Look at the w- and the w -Topologies Notes from the Functional Analysis Course (Fall 07 - Spring 08) In this section we discuss two important, but highly non-trivial,
More informationCompleteness and quasi-completeness. 1. Products, limits, coproducts, colimits
(April 24, 2014) Completeness and quasi-completeness Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2012-13/07d quasi-completeness.pdf]
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationINTRODUCTION TO DISTRIBUTIONS
INTRODUCTION TO DISTRIBUTIONS TSOGTGEREL GANTUMUR Abstract. We introduce locally convex spaces by the seminorms approach, and present the fundamentals of distributions. Contents 1. Introduction 1 2. Locally
More informationHyperbolic homeomorphisms and bishadowing
ANNALES POLONICI MATHEMATICI LXV.2 (1997) Hyperbolic homeomorphisms and bishadowing by P. E. Kloeden (Geelong, Victoria) and J. Ombach (Kraków) Abstract. Hyperbolic homeomorphisms on compact manifolds
More informationA CHARACTERIZATION OF REFLEXIVITY OF NORMED ALMOST LINEAR SPACES
Comm. Korean Math. Soc. 12 (1997), No. 2, pp. 211 219 A CHARACTERIZATION OF REFLEXIVITY OF NORMED ALMOST LINEAR SPACES SUNG MO IM AND SANG HAN LEE ABSTRACT. In [6] we proved that if a nals X is reflexive,
More informationOn Distributional Marchi-Zgrablich Transformation
IMA Journal of Applied Mathematics (1985) 34, 213-223 On Distributional Marchi-Zgrablich Transformation S. D. BHOSALE Department of Mathematics and Statistics, Marathwada University, Aurangabad 431004,
More informationElements of Positive Definite Kernel and Reproducing Kernel Hilbert Space
Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space Statistical Inference with Reproducing Kernel Hilbert Space Kenji Fukumizu Institute of Statistical Mathematics, ROIS Department
More informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More informationHomework in Topology, Spring 2009.
Homework in Topology, Spring 2009. Björn Gustafsson April 29, 2009 1 Generalities To pass the course you should hand in correct and well-written solutions of approximately 10-15 of the problems. For higher
More informationSOME REMARKS ON THE SPACE OF DIFFERENCES OF SUBLINEAR FUNCTIONS
APPLICATIONES MATHEMATICAE 22,3 (1994), pp. 419 426 S. G. BARTELS and D. PALLASCHKE (Karlsruhe) SOME REMARKS ON THE SPACE OF DIFFERENCES OF SUBLINEAR FUNCTIONS Abstract. Two properties concerning the space
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More informationarxiv:math/ v1 [math.fa] 12 Nov 2005
arxiv:math/051130v1 [math.fa] 1 Nov 005 STABILITY OF GENERALIZED JENSEN EQUATION ON RESTRICTED DOMAINS S.-M. JUNG, M. S. MOSLEHIAN, AND P. K. SAHOO Abstract. In this paper, we establish the conditional
More informationA proof for the full Fourier series on [ π, π] is given here.
niform convergence of Fourier series A smooth function on an interval [a, b] may be represented by a full, sine, or cosine Fourier series, and pointwise convergence can be achieved, except possibly at
More informationAlgebraic Topology M3P solutions 1
Algebraic Topology M3P21 2015 solutions 1 AC Imperial College London a.corti@imperial.ac.uk 9 th February 2015 (1) (a) Quotient maps are continuous, so preimages of closed sets are closed (preimages of
More informationfy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))
1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical
More informationi = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)
2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More information1 Continuity Classes C m (Ω)
0.1 Norms 0.1 Norms A norm on a linear space X is a function : X R with the properties: Positive Definite: x 0 x X (nonnegative) x = 0 x = 0 (strictly positive) λx = λ x x X, λ C(homogeneous) x + y x +
More informationCHAPTER V DUAL SPACES
CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the
More information2.2 Annihilators, complemented subspaces
34CHAPTER 2. WEAK TOPOLOGIES, REFLEXIVITY, ADJOINT OPERATORS 2.2 Annihilators, complemented subspaces Definition 2.2.1. [Annihilators, Pre-Annihilators] Assume X is a Banach space. Let M X and N X. We
More informationLectures on Analysis John Roe
Lectures on Analysis John Roe 2005 2009 1 Lecture 1 About Functional Analysis The key objects of study in functional analysis are various kinds of topological vector spaces. The simplest of these are the
More informationThe -Calculus & Enumeration Operators
The -Calculus & Enumeration Operators Dana S. Scott University Professor Emeritus Carnegie Mellon University Visiting Scholar University of California, Berkeley dana.scott@cs.cmu.edu Version of 2 October
More informationStone-Čech compactification of Tychonoff spaces
The Stone-Čech compactification of Tychonoff spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto June 27, 2014 1 Completely regular spaces and Tychonoff spaces A topological
More informationTopological properties of Z p and Q p and Euclidean models
Topological properties of Z p and Q p and Euclidean models Samuel Trautwein, Esther Röder, Giorgio Barozzi November 3, 20 Topology of Q p vs Topology of R Both R and Q p are normed fields and complete
More informationCHAPTER 6 bis. Distributions
CHAPTER 6 bis Distributions The Dirac function has proved extremely useful and convenient to physicists, even though many a mathematician was truly horrified when the Dirac function was described to him:
More informationMATH MEASURE THEORY AND FOURIER ANALYSIS. Contents
MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure
More informationThe Marr Conjecture in One Dimension and Uniqueness of Wavelet Transforms
The Marr Conjecture in One Dimension and Uniqueness of Wavelet Transforms Ben Allen Harvard University One Brattle Square Cambridge, MA 02138 Mark Kon Boston University 111 Cummington St Boston, MA 02115
More informationThe method of stationary phase
Chapter The method of stationary phase In this chapter we introduce a very useful analytical tool which will allow us to find asymptotic expansions for integrals that cannot, in many cases, be calculated
More informationShort notes on Axioms of set theory, Well orderings and Ordinal Numbers
Short notes on Axioms of set theory, Well orderings and Ordinal Numbers August 29, 2013 1 Logic and Notation Any formula in Mathematics can be stated using the symbols and the variables,,,, =, (, ) v j
More informationHere we used the multiindex notation:
Mathematics Department Stanford University Math 51H Distributions Distributions first arose in solving partial differential equations by duality arguments; a later related benefit was that one could always
More informationAPPLICATIONS OF THE THICK DISTRIBUTIONAL CALCULUS
Novi Sad J. Math. Vol. 44, No. 2, 2014, 121-135 APPLICATIONS OF THE THICK DISTRIBUTIONAL CALCULUS Ricardo Estrada 1 and Yunyun Yang 2 Abstract. We give several applications of the thick distributional
More informationReflexivity of Locally Convex Spaces over Local Fields
Reflexivity of Locally Convex Spaces over Local Fields Tomoki Mihara University of Tokyo & Keio University 1 0 Introduction For any Hilbert space H, the Hermit inner product induces an anti C- linear isometric
More informationNOTES ON WELL ORDERING AND ORDINAL NUMBERS. 1. Logic and Notation Any formula in Mathematics can be stated using the symbols
NOTES ON WELL ORDERING AND ORDINAL NUMBERS TH. SCHLUMPRECHT 1. Logic and Notation Any formula in Mathematics can be stated using the symbols,,,, =, (, ) and the variables v j : where j is a natural number.
More informationON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 7, July 1996 ON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES M. I. OSTROVSKII (Communicated by Dale Alspach) Abstract.
More informationTopological vectorspaces
(July 25, 2011) Topological vectorspaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ Natural non-fréchet spaces Topological vector spaces Quotients and linear maps More topological
More informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
More informationARCS IN FINITE PROJECTIVE SPACES. Basic objects and definitions
ARCS IN FINITE PROJECTIVE SPACES SIMEON BALL Abstract. These notes are an outline of a course on arcs given at the Finite Geometry Summer School, University of Sussex, June 26-30, 2017. Let K denote an
More informationOn Laplace Finite Marchi Fasulo Transform Of Generalized Functions. A.M.Mahajan
On Laplace Finite Marchi Fasulo Transform Of Generalized Functions A.M.Mahajan Department of Mathematics, Walchand College of Arts and Science, Solapur-43 006 email:-ammahajan9@gmail.com Abstract : In
More informationFUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0
FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM If M is a linear subspace of a normal linear space X and if F is a bounded linear functional on M then F can be extended to M + [x 0 ] without changing its norm.
More informationGeometry/Topology 868
Geometry/Topology 868 Homework Samuel Otten CLAIM: A bijective map between manifolds is not necessarily a diffeomorphism. Consider the example f : R R, x x 3. We know that R is a manifold by example from
More informationSEVERAL RESULTS OF FRACTIONAL DERIVATIVES IN D (R + ) Chenkuan Li. Author's Copy
RESEARCH PAPER SEVERAL RESULTS OF FRACTIONAL DERIVATIVES IN D (R ) Chenkuan Li Abstract In this paper, we define fractional derivative of arbitrary complex order of the distributions concentrated on R,
More informationSIMULTANEOUS REDUCIBILITY OF PAIRS OF BOREL EQUIVALENCE RELATIONS
SIMULTANEOUS REDUCIBILITY OF PAIRS OF BOREL EQUIVALENCE RELATIONS SCOTT SCHNEIDER Abstract. Let E F and E F be Borel equivalence relations on the standard Borel spaces X and Y, respectively. The pair (E,
More informationTHE AUTOMORPHISM GROUP OF A SHIFT OF LINEAR GROWTH: BEYOND TRANSITIVITY
THE AUTOMORPHISM GROUP OF A SHIFT OF LINEAR GROWTH: BEYOND TRANSITIVITY VAN CYR AND BRYNA KRA Abstract. For a finite alphabet A and shift X A Z whose factor complexity function grows at most linearly,
More information1 Functional Analysis
1 Functional Analysis 1 1.1 Banach spaces Remark 1.1. In classical mechanics, the state of some physical system is characterized as a point x in phase space (generalized position and momentum coordinates).
More informationFourier Transformation of L 2 loc -functions
J. Math. Tokushima Univ. Vol. 49 (205), 39-58 39 Fourier Transformation of L 2 -functions By Professor Emeritus, The University of Tokushima Home Address : 209-5 Kamifukuman Hachiman-cho Tokushima 770-8073,
More information1. Bounded linear maps. A linear map T : E F of real Banach
DIFFERENTIABLE MAPS 1. Bounded linear maps. A linear map T : E F of real Banach spaces E, F is bounded if M > 0 so that for all v E: T v M v. If v r T v C for some positive constants r, C, then T is bounded:
More informationTow estimates for the Generalized Fourier-Bessel Transform in the Space L 2 α,n
Palestine Journal of Mathematics Vol. 6(1)(17), 195 1 Palestine Polytechnic University-PPU 17 Tow estimates for the Generalized Fourier-Bessel Transform in the Space L α,n R. Daher, S. El ouadih and M.
More informationViscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces
Viscosity Iterative Approximating the Common Fixed Points of Non-expansive Semigroups in Banach Spaces YUAN-HENG WANG Zhejiang Normal University Department of Mathematics Yingbing Road 688, 321004 Jinhua
More informationConstructive Proof of the Fan-Glicksberg Fixed Point Theorem for Sequentially Locally Non-constant Multi-functions in a Locally Convex Space
Constructive Proof of the Fan-Glicksberg Fixed Point Theorem for Sequentially Locally Non-constant Multi-functions in a Locally Convex Space Yasuhito Tanaka, Member, IAENG, Abstract In this paper we constructively
More informationMARKOV PARTITIONS FOR HYPERBOLIC SETS
MARKOV PARTITIONS FOR HYPERBOLIC SETS TODD FISHER, HIMAL RATHNAKUMARA Abstract. We show that if f is a diffeomorphism of a manifold to itself, Λ is a mixing (or transitive) hyperbolic set, and V is a neighborhood
More informationChapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem
Chapter 4 Inverse Function Theorem d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d dd d d d d This chapter
More informationINVERSE FUNCTION THEOREM and SURFACES IN R n
INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that
More informationMA651 Topology. Lecture 9. Compactness 2.
MA651 Topology. Lecture 9. Compactness 2. This text is based on the following books: Topology by James Dugundgji Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology
More informationAN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE. Mona Nabiei (Received 23 June, 2015)
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 46 (2016), 53-64 AN EFFECTIVE METRIC ON C(H, K) WITH NORMAL STRUCTURE Mona Nabiei (Received 23 June, 2015) Abstract. This study first defines a new metric with
More informationSCHWARTZ SPACES ASSOCIATED WITH SOME NON-DIFFERENTIAL CONVOLUTION OPERATORS ON HOMOGENEOUS GROUPS
C O L L O Q U I U M M A T H E M A T I C U M VOL. LXIII 1992 FASC. 2 SCHWARTZ SPACES ASSOCIATED WITH SOME NON-DIFFERENTIAL CONVOLUTION OPERATORS ON HOMOGENEOUS GROUPS BY JACEK D Z I U B A Ń S K I (WROC
More informationJASSON VINDAS AND RICARDO ESTRADA
A QUICK DISTRIBUTIONAL WAY TO THE PRIME NUMBER THEOREM JASSON VINDAS AND RICARDO ESTRADA Abstract. We use distribution theory (generalized functions) to show the prime number theorem. No tauberian results
More informationIntroduction to Microlocal Analysis
Introduction to Microlocal Analysis First lecture: Basics Dorothea Bahns (Göttingen) Third Summer School on Dynamical Approaches in Spectral Geometry Microlocal Methods in Global Analysis University of
More informationHermite functions. Jordan Bell Department of Mathematics, University of Toronto. September 9, 2015
Hermite functions Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto September 9, 25 Locally convex spaces If V is a vector space and {p α : α A} is a separating family
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More information