On Distributional Marchi-Zgrablich Transformation
|
|
- Lorena Lambert
- 5 years ago
- Views:
Transcription
1 IMA Journal of Applied Mathematics (1985) 34, On Distributional Marchi-Zgrablich Transformation S. D. BHOSALE Department of Mathematics and Statistics, Marathwada University, Aurangabad , India AND S. V. MORE Institute of Science, 15 Madam Cama Road, Bombay-32, India [Received 20 June 1984 and in revised form 8 January 1985] The purpose of this paper is to extend the classical Marchi-Zgrablich transformation to a class of distributions, in the spirit of L. Schwartz's extension of the Fourier transformation to distributions. The inversion and uniqueness theorems have been proved. An operational transform formula is also established. A differential equation of the form P(A, J*u = g has been solved by using Marchi-Zgrablich transform of distribution. 1. Introduction THE FINITE HANKEL TRANSFORMATION has been extended to a class of generalized functions by Zemanian (1968), by using orthonormal series expansion. In our earlier paper (Bhosale & More, 1984) we extended Marchi-Zgrablich transformation to distributions by using orthononnal series expansion. In this work we extend the classical Marchi-Zgrablich transformation to a class of distribution by quite a different method from the two mentioned above. The method involved in this work is related to Hilbert-space techniques and is in the spirit of L. Schwartz's extension of the Fourier transformation to distributions. Further, the classical inversion theorem for the Marchi-Zgrablich transformation (Marchi & Zgrablich, 1964) is extended to a class of distributions which gives rise to the Fourier-Bessel series expansion of generalized functions. The convergence of the series is interpreted in the weak distributional sense. An operation transform formula is also established. A differential equation of the form P(A,J*u = g has been solved by using Marchi-Zgrablich transform of distribution. The classical Marchi-Zgrablich transform of a function / defined on (a, b), is defined (Marchi-Zgrablich, 1964) as whose inversion theorem is given by Rn)=[ b xfix)sjlk 1,k 2, l i n x)dx (1.1) ^) = I-7tn)S^i,*2,A*.*X (1-2) 0272^*960/85/ $03.00/ Academic Press Inc. (London) Limited
2 214 S. D. BHOSALE AND S. V. MORE where SJLk lt k 2, ft,*) = JJ^x)lYJ,k u ^a) + YJLk 2, and = r JJp m x) and y^i,x) are the Bessel functions of the first and second kind respectively of order v and // are the positive roots of the equation 2. Notation and Terminology 0..(1.3) In notation and terminology we follow Zemanian (1968). n m n= 1,2,... will denote the positive roots of the equation (1.3) with (i t < \x 2 < n 3 <... The open set (a, b) will be denoted by the letter /. The letters x and t will be real and onedimensional variables restricted to the open interval /. We will use the following Bessel operator, and the expression ^ ^ J fc = 0,l,2,..., v^-i, > x = ^ (2.1) GJt, x) = - SJLk u k 2, /V)S.(*i, k 2, n n x). (2.2) 3. The Testing Function Space MZ^ 1) and Its Dual Let x e I = (a,b) and m, v be fixed real numbers satisfying v 3= ^ and m > \. Let (x) be an infinitely differentiable function defined over /, satisfying (x) > 0 for all x > 0 and such that (»( x ) = 2t-i» 0 < a < x < b and for large values of /v Now we define MZ mi,(/) to be the collection of all infinitely differentiable complex valued functions #(x) on / such that pr? (#c))= sup IftxK^x-^x)]! (3.1) a<ki exists (i.e. finite) for each k = 0, 1, 2, MZ^^i) is a linear space over the field of complex numbers. We assign the topology to it by taking {pi 1 *'(< )} as its seminorms and in addition Po'"(4>) is a norm on MZ K,^/). We equip MZ M-y (J) with the topology that is generated by the countable multinorm {pr*(^)}» -o aq d this makes MZ,,(/) a complete countable multinormed space. The dual space MZ^/) consists of all continuous linear functional on MZ M,^7). By Zemanian [1968, th. (1.8.3)], MZ' m, J(I) is also complete. It is clear that MZ M, J(I) is a Frechet space.
3 MARCM-ZGRABLICH TRANSFORMATION 215 LEMMA 3.1 MZ^XO is a testing Junction space. Proof. Clearly MZ^ T) satisfies the first two conditions (Zemanian, 1968, p. 39) of a testing function space. Now we shall prove the third. We have the result for all k Ik n-0 ), for (3.2) Let {< a (x)} -i converge in MZ m,(/) to zero. In view of (3.2) and the seminorms defined in (3.1) it follows by induction on k that for each k, [D m (j> B (x)} converges uniformly to zero on every compact subset of /. This proves the third condition. Hence MZ,, XO is a testing function space. We now list some further properties of the space MZ m _XO and its dual. (i) D{I) is a subspace of MZ m>,(/) and convergence in D(I) implies convergence in MZ M X0- The topology of D{T) is stronger than the induced topology on it by MZ n,(/). Consequently the restriction of any member of MZJ.,,(/) to D(I) is (ii) in iy(i). Moreover convergence in MZ^ JJ) imphes convergence in I>(I). MZ m,,(/) c (/). Moreover it is dense in (/) because D(I) cz MZ M>,(/) and D{I) is dense in (/). The topology of MZ m> JJ) is stronger than that induced on it by (/). Hence '(/) can be identified with subspace of MZ^,,(/). (iii) For each / e MZ^, XO there exists a non-negative integer r and a positive constant C such that </,0> <C max pr'(#*)) for every ^»(x) e MZ_,(/). Here r and C depend on/but not on <f>(x). The proof of this follows by the boundedness property of generalized functions. (iv) Let f[x) be a locally integrable function defined on / such that f xf(x) dx exists. Then_/fa) generates a regular generalized function in MZ^,(/) defined by if, <t>> = \ b Ax)4>(x) dx, Indeed, let <j>{x) e MZ M,XO- Then 4>(x) e MZ M,X/). (3.3)
4 216 S. D. BHOSALE AND S. V. MORE X/{X) o- y (<t>(x)) r dx < oo for all 4>{x) e MZ W 1) and hence our assertion. (v) For each n = 1,2,3,... and v^ \ and a < x < b, the function xsj^k u k 2, u B x) is a member of MZ my (/). Indeed, an easy computation leads to ~D X - x"v j SJk lt k 2, u n x) = -uls^ky, k 2, u n x). (3.4) Since a < x < b, \x n are the positive zeros of (1.3) and S^k u k 2, u n x) = O(l//xJ (Wankhede, 1972) uniformly on (a, b). Therefore p"' y [_xs,(k u k 2, /x,x)] < oo for allfc = 0, 1, 2,... (vi) The operation <j> - xa* -x [x" 1 </>(x)] is a linear continuous mapping of MZ M,(/) onto itself since 4. The Generalized Marchi-Zgrablich Transformation for all </>emz M>v (J). Let m, v satisfy v > ^ and m > ^. We shall call a generalized function / Marchi- Zgrablich transformable if it belongs to MZ^i). We are now in a position to define our generalized Marchi-Zgrablich transformation, which we denote by /?(/). For a given Marchi-Zgrablich transformable generalized function /, the Marchi- Zgrablich transform F(n) of / is defined as the application of / to the kernel xs^fci.fcj, n n x), that is, P(f)(n) = Fin) = <J[x), xsjk u k 2, ^x)>, (4.1) where fi n are.the positive roots of (1.3). (4.1) is well defined in view of the fact that xs,(k lt k 2, n n x) e MZ., JH) for each n = 1, 2, 3 The boundedness property of the generalized Marchi-Zgrablich transform has been established by proving the following theorem. THEOREM 4.1 Let f be a member o/mz^i), m ^ i v > -^, a < x < b and Then F(n) satisfies the inequality F(n) = Cflx), xsjik lt k 2, ft.x)> for n = 1, 2, 3,... \F{nlH ^ (A/J-POO, (4.2) where the polynomial Pfjtf'J will depend upon the choices of a,b and n. Proof. Since / e MZ'^J), then by Section 3, property (iiix there exists a nonnegative integer r and positive constant C such that max
5 MARCJfl-ZGRABLICH TRANSFORMATION 217 = C max p Since m 2* }, v ^(x)5,(fc!, fe 2> /x,,x) = C max sup \i(x)sjlk u k 2, xml -\ and S^k v k 2, n,x) = 0(l//O (Wankhede, 1972), then.4, for all x e /, where i4. is a constant Hence [F(n)\ max This completes the proof of the theorem. 5. Inversion and Uniqueness We shall now derive an inversion formula for Marchi-Zgrablich transformation of generalized functions. The proof of the inversion formula requires the following lemmas. LEMMA 5.1 For any positive integer N, tg^t, x) e MZ m,(i). Proof. To prove this we shall show that for all k = 0, 1,2,... sup (x)a* i,[r 1 {rg*(r,x)}] is finite. Therefore it/ since X ^ 1 1,2k- 1 - SJLk lt k 2, fi m t)s,(k u k 2, nn mr fr-fl t, k 2, (Wankhede, 1972). Therefore since sup MM' oo, is bounded, where M and M' are constants. Hence tg^t, x) e MZ m
6 218 S. D. BHOSALE AND S. V. MORE Now it is clear that rtgjt,x)x<mx)dx is a member of MZ n,(/), for an arbitrary < {x) e >(/). LEMMA 5.2 Let f e MZ^,,(/), then for any positive integer N and for an arbitrary 4>{x) e T <yt ). tg.it, x)>#x)x dx = </U), T dx>. (5.1) Proof. In view of Lemma (5. IX rthe function tg^t, x) and t, x)4>(x)x dx are the members of the space MZ m,(/) with t as the variable of testing functions. Expressions on both the sides of (5.1) have a sense. Using the technique of Riemann sums (Pandey & Zemanian, 1968, th. 2\ (5.1) can be easily established. LEMMA 5.3 Let 4>(x) be an arbitrary member of D(I) and I = (a, b), then for a ^ $, f* G^t J x)[^i(x)-il/{t)']xdx O asn-*oo (5.2) uniformly for all t e (a, b) where the support of ip(x) is contained in the interval (a, b) and 0 < a < a' < b' < b. Proof. Let us divide the interval (a, b) into two mutually disjoint sets (a, a') u {b', b) and [a', b']. For t e (a, d) u(fc, b\ 4>{t) = 0 as support of \f/(t) is contained in [a', i/]. Therefore P G^t, x)mx)- mix dx = f * Cfr, dx. Ja' Jo' In view of Lemma (5.1) and of the analogue of the Riemann Lebesgue Lemma (Watson, 1958), for a given \: e > 0 there exists a positive integer N Q such that where M, M' are the constants. Therefore for all N > N o and for all t e (a, a 7 ) u (b\ b), f\{ b G N {t,x)il>(x)xdx since a > \ and a < t < b. Hence as e is arbitrary we have J>, f >0 as N -* oo uniformly for all t e (a, d) u (b', b).
7 Next we want to show that MARCHI-ZGRABLICH TRANSFORMATION 219 t, x)o(x)- ij/(t)]x dx -> 0 uniformly for all t e [a', #]. Let F(t, x)(x 2 -t 2 ) = x~'[i/r(x)-^(t)] for a < x < b and a < t < b. Now define the function H(t, x) in the square domain {a < t < b; a < x < b} as { F(t, x\ t =x, ->'(*) t_ x Obviously H(t, x) is a continuous function of t and x in the domain {a < t < b, a < x < b). Now Jo' Ja' = rx' +1 if(f,x)(x 2 -t 2 Ja' as the value of the integral remains unchanged by replacing the expression F(t, x)(x 2 t 2 ) by H(t, x)(x ). Let us now divide the interval d < x ^ b' into P equal parts by the points d = XQ, x lt x 2,..., x p = b' and after choosing a positive number e, p so large that m-l where u M and L^, are respectively the upper and lower bounds of H(t, x) taken over {x m _, < x < x B a' ^ ^ b'}, m = 1, 2,..., p. Using uniform continuity of the function H(t, x) over the region {a 1 < t ^ ', a 7 < x < b'} and following the line in the proof of the analogue of the Riemann Lebesgue Lemma (Watson, 1958) for an arbitrary e > 0, we get ir x^h {t,x)[x 2 -t 2 ) Gt At,x)dx ^MM>(fc ;- ar where M and M' are constants. Hence for t e [d,b'] and as e is arbitrary, AfM'(b'-oOVe as N -* oo uniformly for all t e [d, b"~\. r Thus uniformly for all r e (a, b) as N - co when the support of tp(x) is contained in the interval \d, f].
8 220 S. D. BHOSALE AND S. V. MORE LEMMA 5.4 Let <f>(x) e D(I) with the support contained in (a, b) then t\ G^t,x)x4>{x)dx converges in MZ.,,(/) to t<f>(t) as N -* oo for all t e (a, b). Proof. In view of the operation relation (3.4) we can easily see that Since the integrand in t, x)x<p(x) dx is a smooth function and <p{x) is of bounded support, we may differentiate under the integral sign and by integration by parts we obtain v>, j*, x)x<kx) dx = J A^G^t, x)]xflx) dx 1 Operating the operator A,, successively and using the integration by parts, it can be shown that Hence as N -» oo we have At., f" G^t, x)x<ftx) dx = T GA x)at. x [0(x)]x dx. A*. t P G^t, x)x[0(x)-*(t)] dx = T G^t, JC)[<^W-A:,,#))]X dx = f*g(t,x)[^(x)-^(t)]xdx, where ip(x) = At x 0(x) which is obviously a member of D(/) with support contained in (a, b). Hence it suffices to show that ^G^t, converges to zero as N -> oo uniformly for all t e (a, b) which is true in view of Lemma (5.3). This completes the proof. THEOREM 5.1 (Inversion). Letf(x) be a Marchi-Zgrablich transformable generalized function and F(n) be the generalized Marchi-Zgrablich transform offe MZ^/) as
9 MARCK-ZGRABLJCH TRANSFORMATION 221 defined by (4.1). Then in the sense of convergence in D'(I) M= lira t -F(n)SAk u k 2,H.x)- W-co -1 C n Proof. Let < {x) e D(I). We wish to show that - F(n)S,(k u k 2, ^x), <Kx)) = <M <Kt)> asat - oo. (5.3) We know that #c) e D(-0 iff x<j>(x) e >(/). (5.3) is equivalent to showing as N -> oo. (5.4) Suppose that the support of <f>(x) is contained in (a, b). We prove (5.4) by justifying the following steps. As _ 1 \ p{fj\ ^ I Is If II v\ is locally integrable and since x< (x) e D{I) then without limit notation (5.4) can be written as f»_ 1 y F(n)S^k 1> k 2,n, Since <p(x) has a compact support and the integrand is continuous in (a, b), therefore By Lemma (5.2) we have JO \ C B " Cn I u k 2,» n x)x4>(x) dx Ja i C n Then by Lemma (5.4) ( - F(n)SAk lt k 2, n n x)x<p(x) dx) ^ <J{t), t<j>(t)y as N -» oo. \Ja " C n I This completes the proof.
10 222 S. D. BHOSALE AND S. V. MORE THEOREM 5.2 (Uniqueness). Let F(n) = fhj) and G{n) = P(g) be the Marchi- Zgrablich transform of f and g. lff[n) = G(n)for each n = 1, 2,..., thenf= g in the sense of equality in Proof. By Theorem 5.1 (f-g)= lim -{.F(n)-G as F(n) = G(n) for each n = 1, 2, Hence/ = g in the sense of equality in 6. Operational Transform Formula and Operational Calculus For v ^ i and m $s ^, we define a generalized operator [A,. J* on MZ^/) as the adjoint of the operator [xa, Jix'^x)] on MZ m ^/). More specifically for arbitrary ftx) 6 MZ m>,(/) and / e MZ^,.(/) ^), <W^)> = <^), xajx-'««x))). (6.1) The right-hand side of (6.1) makes sense, because xa, JC (x" 1^)(x)) e MZ^XO when < (x) e MZ my (/). Since the mapping <^(x)-»-xa T ^"^(x)) is linear continuous on MZ,, t,(/) into itself, then [A, J* is also a continuous linear mapping on MZ^,,(/) into itself. It can also be seen inductively that for any integer k we have <(AJ, x)*flx), #x)> = y[x\ xaj,.(x "»0(x))>. (6.2) which leads to the following operation transform formula /*[AU*/=(-l)W(A «= 1,2,... (6.3) Indeed, for/e MZ^_,(/) and xs v (ki, k 2, fi,x) e MZ Hi i/) we have ; t, k 2, p B x)> = </(x), xa^jx-ixsakt, k 2, n n x))> where /?(/) = (J[x\ xs,(/c 1( k 2, rt.x)>. The formula (6.3) represents the property of Marchi-Zgrablich transformation which makes it so useful as an operational tool for solving differential equations involving generalized functions. The Marchi-Zgrablich transformation generates an operational calculus by means of which certain differential equations involving generalized functions can be solved. Now the differential equations that can be solved by using the generalized Marchi-Zgrablich transformation are of the form P(A,, J*u = g, (6.4) where P is a polynomial and given g and unknown u are required to be in MZ',, XO- Here our object is to find a generalized function u e MZ^, XO satisfying the operational formula (6.3). Applying generalized Marchi-Zgrablich transform to the equation (6.4) and using (6.3) we get = G{ n ), (6.5)
11 MARCHI-ZGRABLICH TRANSFORMATION 223 where U and G are the generalized Marchi-Zgrablich transform of u and g respectively. If P( /^) ± 0 for every x we can divide by P( 1 ) to obtain (6.5) and applying the inversion theorem (5.1) to (6.5) we get Therefore u(x) = lim Gvv ""'7' r "" / (6.6) is a solution of (6.4) where the equality is considered in the sense of D'(f). This solution is unique in view of the uniqueness Theorem 5.2. The first author is grateful to CSIR for providing financial assistance. The authors also wish to thank the referee for the valuable suggestions for the improvement of the paper. REFERENCES BHOSALE, S. D. & MORE, S. V On Marchi-Zgrablich transformation of generalized function. IMA J. appl. Math. 33, MARCHI, E. & ZGRABUCH, G Heat conduction in hollow cylinders with radiation. Proc. Edinb. Math. Soc. 14(2), PANDEY, J. N. & ZEMANIAN, A. H Complex inversion for the generalized convolution transformation. Pacif. J. Math. IS (1), SCHWARTZ, L Theoriedes Distributions, Vol. II. Paris: Hermann. WATSON, G. N Theory of Bessel Functions. Cambridge: CUP. WANKHEDE, P. C A study of some aspects of integral transforms with applications to problems of physics and engineering. Ph.D. Thesis. Jabalpur University (M.P.), India. ZEMANIAN, A. H Generalized Integral Transformations. Interscience.
Orthonormal 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 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 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 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 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 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 informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
More informationReal Analysis Qualifying Exam May 14th 2016
Real Analysis Qualifying Exam May 4th 26 Solve 8 out of 2 problems. () Prove the Banach contraction principle: Let T be a mapping from a complete metric space X into itself such that d(tx,ty) apple qd(x,
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 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 informationAnalysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t
Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using
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 informationMA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt
MA526 Homework 4 Group 4 April 26, 26 Qn 6.2 Show that H is not bounded as a map: L L. Deduce from this that H is not bounded as a map L L. Let {ϕ n } be an approximation of the identity s.t. ϕ C, sptϕ
More informationSome topics in analysis related to Banach algebras, 2
Some topics in analysis related to Banach algebras, 2 Stephen Semmes Rice University... Abstract Contents I Preliminaries 3 1 A few basic inequalities 3 2 q-semimetrics 4 3 q-absolute value functions 7
More informationHilbert Spaces. Contents
Hilbert Spaces Contents 1 Introducing Hilbert Spaces 1 1.1 Basic definitions........................... 1 1.2 Results about norms and inner products.............. 3 1.3 Banach and Hilbert spaces......................
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 informationMATH 5640: Fourier Series
MATH 564: Fourier Series Hung Phan, UMass Lowell September, 8 Power Series A power series in the variable x is a series of the form a + a x + a x + = where the coefficients a, a,... are real or complex
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 informationDUNFORD-PETTIS OPERATORS ON BANACH LATTICES1
transactions of the american mathematical society Volume 274, Number 1, November 1982 DUNFORD-PETTIS OPERATORS ON BANACH LATTICES1 BY C. D. ALIPRANTIS AND O. BURKINSHAW Abstract. Consider a Banach lattice
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 informationarxiv:math/ v1 [math.fa] 26 Oct 1993
arxiv:math/9310217v1 [math.fa] 26 Oct 1993 ON COMPLEMENTED SUBSPACES OF SUMS AND PRODUCTS OF BANACH SPACES M.I.Ostrovskii Abstract. It is proved that there exist complemented subspaces of countable topological
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 informationMath 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationTHE PSEUDO DIFFERENTIAL-TYPE OPERATOR ( x 1 D) (α β) ASSOCIATED WITH THE FOURIER-BESSEL TYPE SERIES REPRESENTATION
Palestine Journal of Mathematics Vol. 5(2) (216), 175 182 Palestine Polytechnic University-PPU 216 THE PSEUDO DIFFERENTIAL-TYPE OPERATOR ( x 1 D) (α β) ASSOCIATED WITH THE FOURIER-BESSEL TYPE SERIES REPRESENTATION
More 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 informationPseudo-Differential Operators associated with Bessel Type Operators - I
Thai Journal of Mathematics Volume 8 (21 Number 1 : 51 62 www.math.science.cmu.ac.th/thaijournal Online ISSN 1686-29 Pseudo-Differential Operators associated with Bessel Type Operators - I B. B. Waphare
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
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 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 information1 Math 241A-B Homework Problem List for F2015 and W2016
1 Math 241A-B Homework Problem List for F2015 W2016 1.1 Homework 1. Due Wednesday, October 7, 2015 Notation 1.1 Let U be any set, g be a positive function on U, Y be a normed space. For any f : U Y let
More informationTopics in Harmonic Analysis Lecture 1: The Fourier transform
Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise
More informationFunctional Analysis I
Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationChapter 4. Measure Theory. 1. Measure Spaces
Chapter 4. Measure Theory 1. Measure Spaces Let X be a nonempty set. A collection S of subsets of X is said to be an algebra on X if S has the following properties: 1. X S; 2. if A S, then A c S; 3. if
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationMAA6617 COURSE NOTES SPRING 2014
MAA6617 COURSE NOTES SPRING 2014 19. Normed vector spaces Let X be a vector space over a field K (in this course we always have either K = R or K = C). Definition 19.1. A norm on X is a function : X K
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 informationMath 240 (Driver) Qual Exam (5/22/2017)
1 Name: I.D. #: Math 240 (Driver) Qual Exam (5/22/2017) Instructions: Clearly explain and justify your answers. You may cite theorems from the text, notes, or class as long as they are not what the problem
More informationProblem Set 5: Solutions Math 201A: Fall 2016
Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict
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 informationMarch Algebra 2 Question 1. March Algebra 2 Question 1
March Algebra 2 Question 1 If the statement is always true for the domain, assign that part a 3. If it is sometimes true, assign it a 2. If it is never true, assign it a 1. Your answer for this question
More informationd(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N
Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x
More informationlim f f(kx)dp(x) = cmf
proceedings of the american mathematical society Volume 107, Number 3, November 1989 MAGNIFIED CURVES ON A FLAT TORUS, DETERMINATION OF ALMOST PERIODIC FUNCTIONS, AND THE RIEMANN-LEBESGUE LEMMA ROBERT
More informationCzechoslovak Mathematical Journal
Czechoslovak Mathematical Journal Józef Burzyk An example of a group convergence with unique sequential limits which cannot be associated with a Hausdorff topology Czechoslovak Mathematical Journal, Vol.
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 informationUNBOUNDED OPERATORS ON HILBERT SPACES. Let X and Y be normed linear spaces, and suppose A : X Y is a linear map.
UNBOUNDED OPERATORS ON HILBERT SPACES EFTON PARK Let X and Y be normed linear spaces, and suppose A : X Y is a linear map. Define { } Ax A op = sup x : x 0 = { Ax : x 1} = { Ax : x = 1} If A
More informationNotes on uniform convergence
Notes on uniform convergence Erik Wahlén erik.wahlen@math.lu.se January 17, 2012 1 Numerical sequences We begin by recalling some properties of numerical sequences. By a numerical sequence we simply mean
More information1.5 Approximate Identities
38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these
More 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 informationNUMERICAL RADIUS OF A HOLOMORPHIC MAPPING
Geometric Complex Analysis edited by Junjiro Noguchi et al. World Scientific, Singapore, 1995 pp.1 7 NUMERICAL RADIUS OF A HOLOMORPHIC MAPPING YUN SUNG CHOI Department of Mathematics Pohang University
More informationINTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES
INTRODUCTION TO REAL ANALYSIS II MATH 433 BLECHER NOTES. As in earlier classnotes. As in earlier classnotes (Fourier series) 3. Fourier series (continued) (NOTE: UNDERGRADS IN THE CLASS ARE NOT RESPONSIBLE
More informationTopics in Fourier analysis - Lecture 2.
Topics in Fourier analysis - Lecture 2. Akos Magyar 1 Infinite Fourier series. In this section we develop the basic theory of Fourier series of periodic functions of one variable, but only to the extent
More informationA NOTE ON FUNCTION SPACES GENERATED BY RADEMACHER SERIES
Proceedings of the Edinburgh Mathematical Society (1997) 40, 119-126 A NOTE ON FUNCTION SPACES GENERATED BY RADEMACHER SERIES by GUILLERMO P. CURBERA* (Received 29th March 1995) Let X be a rearrangement
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationTHE RANGE OF A VECTOR-VALUED MEASURE
THE RANGE OF A VECTOR-VALUED MEASURE J. J. UHL, JR. Liapounoff, in 1940, proved that the range of a countably additive bounded measure with values in a finite dimensional vector space is compact and, in
More informationMath 321 Final Examination April 1995 Notation used in this exam: N. (1) S N (f,x) = f(t)e int dt e inx.
Math 321 Final Examination April 1995 Notation used in this exam: N 1 π (1) S N (f,x) = f(t)e int dt e inx. 2π n= N π (2) C(X, R) is the space of bounded real-valued functions on the metric space X, equipped
More informationSIMULTANEOUS APPROXIMATION BY A NEW SEQUENCE OF SZÃSZ BETA TYPE OPERATORS
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Volumen 5, Número 1, 29, Páginas 31 4 SIMULTANEOUS APPROIMATION BY A NEW SEQUENCE OF SZÃSZ BETA TYPE OPERATORS ALI J. MOHAMMAD AND AMAL K. HASSAN Abstract. In this
More informationChapter 8 Integral Operators
Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,
More informationNOWHERE LOCALLY UNIFORMLY CONTINUOUS FUNCTIONS
NOWHERE LOCALLY UNIFORMLY CONTINUOUS FUNCTIONS K. Jarosz Southern Illinois University at Edwardsville, IL 606, and Bowling Green State University, OH 43403 kjarosz@siue.edu September, 995 Abstract. Suppose
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week: December 4 8 Deadline to hand in the homework: your exercise class on week January 5. Exercises with solutions ) Let H, K be Hilbert spaces, and A : H K be a linear
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 informationBASES IN NON-CLOSED SUBSPACES OF a>
BASES IN NON-CLOSED SUBSPACES OF a> N. J. KALTON A Schauder basis {x n } of a locally convex space E is called equi-schauder if the projection maps P n given by / oo \ n are equicontinuous; recently, Cook
More informationInfinite-dimensional Vector Spaces and Sequences
2 Infinite-dimensional Vector Spaces and Sequences After the introduction to frames in finite-dimensional vector spaces in Chapter 1, the rest of the book will deal with expansions in infinitedimensional
More informationAnalysis Qualifying Exam
Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,
More informationOWN ZEROS LUIS DANIEL ABREU
Pré-Publicações do Departamento de Matemática Universidade de Coimbra Preprint Number 4 3 FUNCTIONS q-orthogonal WITH RESPECT TO THEIR OWN ZEROS LUIS DANIEL ABREU Abstract: In [4], G. H. Hardy proved that,
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationHILBERT SPACES AND THE RADON-NIKODYM THEOREM. where the bar in the first equation denotes complex conjugation. In either case, for any x V define
HILBERT SPACES AND THE RADON-NIKODYM THEOREM STEVEN P. LALLEY 1. DEFINITIONS Definition 1. A real inner product space is a real vector space V together with a symmetric, bilinear, positive-definite mapping,
More informationTHE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES
THE STONE-WEIERSTRASS THEOREM AND ITS APPLICATIONS TO L 2 SPACES PHILIP GADDY Abstract. Throughout the course of this paper, we will first prove the Stone- Weierstrass Theroem, after providing some initial
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationRIESZ BASES AND UNCONDITIONAL BASES
In this paper we give a brief introduction to adjoint operators on Hilbert spaces and a characterization of the dual space of a Hilbert space. We then introduce the notion of a Riesz basis and give some
More informationBOUNDARY PROPERTIES OF FIRST-ORDER PARTIAL DERIVATIVES OF THE POISSON INTEGRAL FOR THE HALF-SPACE R + k+1. (k > 1)
GEORGIAN MATHEMATICAL JOURNAL: Vol. 4, No. 6, 1997, 585-6 BOUNDARY PROPERTIES OF FIRST-ORDER PARTIAL DERIVATIVES OF THE POISSON INTEGRAL FOR THE HALF-SPACE R + k+1 (k > 1) S. TOPURIA Abstract. Boundary
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationSingular Integrals. 1 Calderon-Zygmund decomposition
Singular Integrals Analysis III Calderon-Zygmund decomposition Let f be an integrable function f dx 0, f = g + b with g Cα almost everywhere, with b
More informationMultidimensional Riemann derivatives
STUDIA MATHEMATICA 235 (1) (2016) Multidimensional Riemann derivatives by J. Marshall Ash and Stefan Catoiu (Chicago, IL) Abstract. The well-known concepts of nth Peano, Lipschitz, Riemann, Riemann Lipschitz,
More information1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e.,
Abstract Hilbert Space Results We have learned a little about the Hilbert spaces L U and and we have at least defined H 1 U and the scale of Hilbert spaces H p U. Now we are going to develop additional
More informationSolutions: Problem Set 4 Math 201B, Winter 2007
Solutions: Problem Set 4 Math 2B, Winter 27 Problem. (a Define f : by { x /2 if < x
More informationI ƒii - [ Jj ƒ(*) \'dzj'.
I93 2 -] COMPACTNESS OF THE SPACE L p 79 ON THE COMPACTNESS OF THE SPACE L p BY J. D. TAMARKIN* 1. Introduction, Let R n be the ^-dimensional euclidean space and L p (p>l) the function-space consisting
More informationBoundedly complete weak-cauchy basic sequences in Banach spaces with the PCP
Journal of Functional Analysis 253 (2007) 772 781 www.elsevier.com/locate/jfa Note Boundedly complete weak-cauchy basic sequences in Banach spaces with the PCP Haskell Rosenthal Department of Mathematics,
More informationChapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space.
Chapter 1 Preliminaries The purpose of this chapter is to provide some basic background information. Linear Space Hilbert Space Basic Principles 1 2 Preliminaries Linear Space The notion of linear space
More informationBANACH SPACES IN WHICH EVERY p-weakly SUMMABLE SEQUENCE LIES IN THE RANGE OF A VECTOR MEASURE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 124, Number 7, July 1996 BANACH SPACES IN WHICH EVERY p-weakly SUMMABLE SEQUENCE LIES IN THE RANGE OF A VECTOR MEASURE C. PIÑEIRO (Communicated by
More informationMeasurable functions are approximately nice, even if look terrible.
Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............
More informationExercise Solutions to Functional Analysis
Exercise Solutions to Functional Analysis Note: References refer to M. Schechter, Principles of Functional Analysis Exersize that. Let φ,..., φ n be an orthonormal set in a Hilbert space H. Show n f n
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationMath 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1
Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,
More informationB. Appendix B. Topological vector spaces
B.1 B. Appendix B. Topological vector spaces B.1. Fréchet spaces. In this appendix we go through the definition of Fréchet spaces and their inductive limits, such as they are used for definitions of function
More information1 Review of di erential calculus
Review of di erential calculus This chapter presents the main elements of di erential calculus needed in probability theory. Often, students taking a course on probability theory have problems with concepts
More informationReal Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi
Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.
More informationn»i \ v f(x + h)-f(x-h)
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 72, Number 2, November 1978 SYMMETRIC AND ORDINARY DIFFERENTIATION C. L. BELNA, M. J. EVANS AND P. D. HUMKE Abstract. In 1927, A. Khintchine proved
More informationLax Solution Part 4. October 27, 2016
Lax Solution Part 4 www.mathtuition88.com October 27, 2016 Textbook: Functional Analysis by Peter D. Lax Exercises: Ch 16: Q2 4. Ch 21: Q1, 2, 9, 10. Ch 28: 1, 5, 9, 10. 1 Chapter 16 Exercise 2 Let h =
More informationCHRISTENSEN ZERO SETS AND MEASURABLE CONVEX FUNCTIONS1 PAL FISCHER AND ZBIGNIEW SLODKOWSKI
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 79, Number 3, July 1980 CHRISTENSEN ZERO SETS AND MEASURABLE CONVEX FUNCTIONS1 PAL FISCHER AND ZBIGNIEW SLODKOWSKI Abstract. A notion of measurability
More informationMath212a1413 The Lebesgue integral.
Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the
More informationDYNAMIC ONE-PILE NIM Arthur Holshouser 3600 Bullard St., Charlotte, NC, USA, 28208
Arthur Holshouser 3600 Bullard St., Charlotte, NC, USA, 28208 Harold Reiter Department of Mathematics, UNC Charlotte, Charlotte, NC 28223 James Riidzinski Undergraduate, Dept. of Math., UNC Charlotte,
More informationNATIONAL BOARD FOR HIGHER MATHEMATICS. Research Scholarships Screening Test. Saturday, February 2, Time Allowed: Two Hours Maximum Marks: 40
NATIONAL BOARD FOR HIGHER MATHEMATICS Research Scholarships Screening Test Saturday, February 2, 2008 Time Allowed: Two Hours Maximum Marks: 40 Please read, carefully, the instructions on the following
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 information4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan
The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan Wir müssen wissen, wir werden wissen. David Hilbert We now continue to study a special class of Banach spaces,
More informationADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS
J. OPERATOR THEORY 44(2000), 243 254 c Copyright by Theta, 2000 ADJOINTS, ABSOLUTE VALUES AND POLAR DECOMPOSITIONS DOUGLAS BRIDGES, FRED RICHMAN and PETER SCHUSTER Communicated by William B. Arveson Abstract.
More informationON RESTRICTED WEAK TYPE (1, l)1 K. H. MOON
proceedings of the american mathematical society Volume 42, Number 1, January 1974 ON RESTRICTED WEAK TYPE (1, l)1 K. H. MOON Abstract. Let {S*}* a i be a sequence of linear operators defined on L'CR")
More information