arxiv:math/ v1 [math.dg] 6 Jul 1998
|
|
- William Ferguson
- 5 years ago
- Views:
Transcription
1 arxiv:math/ v [math.dg] 6 Jul 998 The Fundamental Theorem of Geometric Calculus via a Generalized Riemann Integral Alan Macdonald Department of Mathematics Luther College, Decorah, IA 520, U.S.A. macdonal@luther.edu February, 2008 Abstract Using recent advances in integration theory, we give a proof of the fundamental theorem of geometric calculus. We assume only that the tangential derivative V F exists and is Lebesgue integrable. We also give sufficient conditions that V F exists. 99 Mathematics Subject Classification. Primary 5A66. Secondary 26A39, 26B20. Keywords: Geometric Calculus, Geometric Algebra, Clifford Analysis, Clifford Algebra, Generalized Riemann Integral, RP integral. I. Introduction. We assume that the reader is familiar with the fundamentals of geometric calculus [4, 8]. We prove here this version of the Fundamental Theorem of Geometric Calculus. Let M be a C n chain in R m. Suppose that the multivector field F is continuous on M and that the tangential derivative V F (defined below) exists and is Lebesgue integrable on M M. Then dv V F daf. () M Here V is the tangent to M and A is the tangent to M. (By the tangent, we mean, e.g., that V (X) is the unit positively oriented pseudoscalar in the tangent algebra to M at X.) Recall the important relationship V A N, where N is the unit outward normal to M [4, p. 39]. The relationships dv dv V and da da A define the integrals componentwise as Lebesgue integrals on M and M [4, p. 37]. Eq. is a generalization of the fundamental theorem of calculus and the integral theorems of vector calculus [4, p. 323], Cauchy s theorem [5], and an arbitrary dimension multivector version of Cauchy s theorem [3, 5]. M
2 Hestenes gives a heuristic demonstration of the fundamental theorem [4]. The demonstration is wonderfully brief and offers great intuitive insight, but it is not a rigorous proof. In particular, the demonstration does not provide sufficient conditions on F for Eq. to hold. Some condition is necessary even for the fundamental theorem of calculus. A standard example is the function f(x) x 2 cos(π/x 2 ) for x (0, ], with f(0) 0. The derivative f exists on [ 0, ]. But f is not absolutely continuous on [ 0, ], and so f is not Lebesgue integrable there. We show that Eq. holds whenever V F is Lebesgue integrable. This may come as a surprise, as most similar theorems assume more than Lebesgue integrability of a derivative. Some assume that the derivative is continuous. Examples are most versions of Stokes theorem on manifolds, Cauchy s theorem, and the abovementioned multivector version of Cauchy s theorem. Others assume that the derivative is Riemann integrable. Examples are the one dimensional fundamental theorem of calculus and a recent version of Stokes theorem []. We shall prove the multivector version of Cauchy s theorem as a corollary to our fundamental theorem assuming only that the derivative exists. This is a generalization of the Cauchy-Goursat theorem, not just the Cauchy theorem. We shall prove the fundamental theorem first for M [ 0, ] n, and then for M a C n chain. (This is against the spirit of Hestenes appealing program to work in vector manifolds in a coordinate free manner [7, 8]. Perhaps I suffer coordinitis [6], but I see no way to obtain the results of this paper within Hestenes program.) Let f be a multivector valued function defined in a neighborhood u of x R n. We define the gradient, f(x). (This is the tangential derivative v f(x) in R n where v(x) v, the unit positively oriented pseudoscalar in R n.) Let c be a cube with x c u. Define f(x) v lim x c diam(c) 0 da f. (2) c c If f is differentiable, i.e., if each component of f is differentiable, then f exists and f i e i i f in every rectangular coordinate system. This is a special case of the theorem of Sec. V. The definition of f, Eq. 2, is the key to Hestenes heuristic demonstration of the fundamental theorem. It is also a key to our proof of the theorem. There is a second key to our proof, again a definition, this time of an integral. II. The RP integral. The RP integral [9, 0] is one of several generalized Riemann integrals which were designed to overcome the deficiency of the Lebesgue integral shown by the example above: the Lebesgue integral does not integrate all derivatives. In R this deficiency is completely removed by the Henstock-Kurzweil (HK) generalized Riemann integral: If f exists on an interval [a, b], then f is HK integrable over [a, b] to f(b) f(a) [2, ]. The HK integral is super Lebesgue: If f is Lebesgue integrable, then it is HK integrable to the same value. 2
3 The HK integral in R n is super Lebesgue, but it does not integrate all divergences [2, Example 5.7]. The RP integral was designed to overcome this [9, Theorem 2]. It is also super Lebesgue. To see this, note that the definition of the HK integral on [ 0, ] n is the same as that of the RP integral, except that [ 0, ] n is partitioned into rectangles rather than cubes [, p. 33]. It follows that the RP integral is super HK. Also, the HK integral is super Lebesgue [, p. 236]. Thus the RP integral is super Lebesgue. We shall prove that if f exists on [ 0, ] n, then it is RP integrable there. If the RP integral is super Lebesgue and always integrates f, why don t we abandon the Lebesgue integral in favor of the RP integral? Most important for us, the change of variable theorem fails [3, p. 43], and so the integral cannot be lifted to manifolds. Fubini s theorem also fails [2, Remark 5.8]. And there are other deficiencies [2, Remark 7.3]. Unlike R, where the HK integral seems to be completely satisfactory, none of the several generalized Riemann integrals in higher dimensions has enough desirable properties to make it a useful general purpose integral. We use the RP integral here only as a catalyst: since the RP integral is super Lebesgue, we use it to compute Lebesgue integrals. This will allow us to make Hestenes heuristic demonstration of the fundamental theorem rigorous. We now give a series of definitions leading to the RP integral, specialized to [ 0, ] n. A gauge on [ 0, ] n is a positive function δ(x) on [ 0, ] n. (The gauge function δ(x) in generalized Riemann integrals replaces the constant norm δ of a partition in the Riemann integral.) A tagged RP partition {c j, x j } k j of [ 0, ]n is a decomposition of [ 0, ] n into closed subcubes c j together with points x j c j. The c j are disjoint except for boundaries and have sides parallel to the axes. Let δ be a gauge on [ 0, ] n. A tagged RP partition {c j, x j } k j is δ-fine if diam(c j ) δ(x j ), j...k. Let f be a multivector valued function defined on [ 0, ] n. A multivector, denoted (RP) [0,] dv f, is the directed RP integral of f over [ 0, n ]n if, given ǫ > 0, there is a gauge δ on [ 0, ] n such that for every δ-fine tagged RP partition of [ 0, ] n, k (RP) dv f v c j f(x j ) ε. (3) [0,] n The definition makes sense only if a δ-fine RP partition of [ 0, ] n exists. We now prove this (Cousin s lemma). First note that if a cube is partitioned into subcubes, each of which has a δ-fine RP partition, then the original cube also has a δ-fine RP partition. Thus if there is no δ-fine RP partition of [ 0, ] n, then there is a sequence c c 2... of compact subcubes of [ 0, ] n, with no δ-fine RP partition and with diam c i 0. Let {x} i c i. Choose j so large that diam (c j ) δ(x). Then {(x, c j )} is a δ-fine RP partition of c j, which is a contradiction. (It is interesting to note that the proof of the Cauchy-Goursat j 3
4 theorem uses a similar compactness argument to obtain a contradiction.) If the RP integral exists, then it is unique. This follows from the fact that if δ and δ 2 are gauges and δ Min(δ, δ 2 ), then a δ-fine RP partition is also δ -fine and δ 2 -fine. III. Proof of the Fundamental Theorem on [0,] n. On [ 0, ] n the fundamental theorem, Eq., becomes dv f da f, (4) [0,] n [0,] n where f is continuous on [ 0, ] n and f exists and is Lebesgue integrable on (0, ) n. First suppose that f exists on all of [ 0, ] n. (Thus f is defined on an open set containing [ 0, ] n.) Make no assumption about the integrability of f. We show that f is RP-integrable. Let ε > 0 be given. Define a gauge δ on [ 0, ] n as follows. Choose x [ 0, ] n. By the definition of f(x), Eq. 2, there is a δ(x) > 0 so that if c is a cube with x c and diam(c) δ(x) then v da f f (x) c ε. c Let {c j, x j } k j be a δ-fine RP partition of [ 0, ]n. Then daf v c j f (x j ) [0,] n j daf v c j f(x j ) j c j j daf v c j f(x j ) j c j v daf f(x j ) c j j c j c j j ε c j ε. Thus by the definition of the RP integral, Eq. 3, (RP) dv f [0,] n da f. [0,] n (5) The definitions of the gradient and the RP integral fit hand in glove to produce this equation. The equation shows that the RP integral integrates all gradients on [ 0, ] n, and integrates them to the right value. 4
5 Now suppose that f is continuous on [ 0, ] n, and that f exists and is Lebesgue integrable on (0, ) n. Let c j [j, j ] n. Then by Eq. 5 (which applies to c j ), dv f da f. (6) c j c j We have removed the RP designation since f is Lebesgue integrable on c j. Let j in Eq. 6. By the Lebesgue dominated convergence theorem (applied componentwise), the left side of Eq. 6 approaches the left side of Eq. 4. And by the uniform continuity of f on [ 0, ] n, the right side of Eq. 6 approaches the right side of Eq. 4. This completes the proof. IV. Proof of the Fundamental Theorem on a C n chain M. For convenience, we reproduce the statement of the theorem, Eq. : dv V F daf. M We must first define V F(X) in this equation, where F is an R m -multivector valued function defined in a neighborhood U of X M R m. Let c [ 0, ] n be a cube with X ϕ(c) C U. Then V F (X) V (X) M lim X C diam(c) 0 lim x c diam(c) 0 daf. C C (Cf. the definition of the gradient, Eq. 2.) With X ϕ(x), V F (X) V c (X) daf C c V (X) J (x) lim x c diam(c) 0 C daf. (7) c C In Sec. V we show that if F is differentiable on a C 2 n-chain, then V F exists and V F N i i F for certain vectors N i. Proof. It is sufficient to prove the theorem for a singular n-cube ϕ: [ 0, ] n M R m, where ϕ is continuous on [ 0, ] n, and ϕ, the differential of ϕ, exists and is continuous on (0, ) n. As in Sec. III, we can further reduce our theorem to the case where V F exists on all of M. In this reduced case ϕ is exists and is continuous on [ 0, ] n. Thus, with J det(ϕ ) > 0, supj(x) <. The Lebesgue integral M dv V F can be expressed, using dv dv V and the change of variable formula, as dv V F(X) (RP) dv J(x) V (X) V F(X). (8) [0,] n M The RP designation is allowed in the integral on the right side since the RP integral is super Lebesgue. We now compute this integral. 5
6 Let ǫ > 0 be given. We define a gauge δ on [ 0, ] n. Choose x [ 0, ] n. From Eq. 7, there is a δ(x) > 0 so that if c is a cube with x c and diam(c) δ(x) then V (X) daf V F (X) J (x) c ε sup J(x). (9) C Let {c j, x j } k j be a δ-fine RP partition of [ 0, ]n. From the definition of the RP integral, Eq. 3, the approximating sum for the RP integral in Eq. 8 is cj J (x j )V (X j ) V F(X j ). Then using Eq. 9, daf c j J (x j ) V (X j ) V F(X j ) M j daf c j J (x j ) V (X j ) V F(X j ) j C j j daf c j J (x j ) V (X j ) V F(X j ) j C j V (X j ) daf V F(X j ) c j j J (x j ) C j c j J (x j ) ε supj(x) c j J(x j ) ε. j Corollary. (Cauchy-Goursat Theorem). Let F be a multivector valued function defined on a C n chain M in R m. Suppose that F is continuous on M and that V F 0 on M M. Then M daf 0 (I elaborate a bit on the relationship to complex analysis. Suppose that the vector field f ue + ve 2 is differentiable on an open set in R 2. Define the complex function f v + iu. Then by the Cauchy-Riemann equations, f 0 f 0 and f 0 u x v y and u y v x f is analytic. Generalizing, a differentiable multivector field F on an open set U M is called analytic, or monogenic, if V F 0 on U. See [3, p. 46].) V. Existence of V F and its coordinate representation. To show that V F exists, we must show that the limit defining V F in Eq. 7 exists and is invariant under coordinate changes. Theorem. Let M R m be a C 2 n chain and F be a differentiable multivector valued function defined on M. Then V F exists. Moreover, using notation to 6
7 be defined presently, V F(ϕ(x 0 )) i V (ϕ(x 0 )) ϕ (x 0, a i ) i F(ϕ(x 0 )). (0) J(x 0 ) Here ϕ is a singular C 2 n-cube. Let h i be the oriented hyperplane through x 0 with normal vector +e i. Let a i be the tangent to h i. For fixed x, the linear transformation ϕ (x, ) extends to an outermorphism from the tangent geometric algebra to R n at x to the tangent geometric algebra to M at ϕ(x) [8, p. 65]. This defines ϕ (x 0, a i ). Since a i is the unit tangent to h i, ϕ (x 0, a i ) is a tangent to the surface ϕ(h i ) at ϕ(x 0 ) [8, p. 65]. Thus, using N V A, the coefficient N i V (ϕ(x 0 )) ϕ (x 0, a i )/J(x 0 ) in Eq. (0) is a vector normal to ϕ(h i ) at ϕ(x 0 ). The N i need be neither orthogonal nor normalized. With this notation Eq. 0 becomes V F N i i F. Proof. For notational simplicity take ϕ : [, ] n M and x 0 0. Let c (, ) n be a cube with 0 c, of width ǫ, and with sides s ± i : on s+ i, x i ε + i > 0, and on s i, x i ε i < 0. Then ε + i + ε i ε. And ±a i is the tangent to s ± i. From the change of variables formula da ϕ (x, da) da ϕ (x, a) [8, p. 266] and Eq. 7, V F (ϕ(0)) V (ϕ(0)) () J (0) [ ] lim ε 0 ε n da ϕ (x, a i )F(ϕ(x)) + da ϕ (x, a i ) F(ϕ(x)). i Since F ϕ is differentiable, F(ϕ(x)) F(ϕ(0)) + s i j F(ϕ(0)) x j + R(x), (2) j where R(x) / x 0 as x 0. We shall substitute separately the three terms on the right side of Eq. 2 into the right side of Eq.. We shall find that the value of the first and third terms is 0 and that of the second term is the right side of Eq. 0, thus proving Eq. 0. First term. Since a i vn ve i, a i ( ) n i e... ě i... e n, where ě i indicates that e i is missing from the product. Since the matrix element [ϕ ] ij j ϕ i, ϕ (x, e j ) j ϕ(x). Thus ϕ (x, a i ) ( ) n i ϕ(x)... i ˇϕ(x)... n ϕ(x). 7
8 Then (we justify setting the double sum to zero below) i ϕ (x, a i ) i i ( ) n i ϕ(x)... ji ϕ(x)... i ˇϕ(x)... n ϕ(x) j j i 0. (3) The terms in the double sum are paired by exchanging the i and j indices. The indicated term is paired with ( ) n j ϕ(x)... j ˇϕ(x)... ij ϕ(x)... n ϕ(x). Since ϕ C 2, ij ϕ ji ϕ, and the paired terms differ by a factor of ( ) i j ( ) n j / ( ) n i. Thus the paired terms cancel and the double sum is zero. Let x. Then x i ǫ + i. Let m ix be the corresponding point on the opposite side s i : (m ix) i ǫ i, and for j i, (m ix) j x j. By the mean value theorem and our hypothesis ϕ C 2, ϕ (x, a i ) ϕ (m i x, a i ) ε i ϕ (x, a i ) i ϕ (0, a i ) + S i (x ), (4) where x is between x and m i x (and by abuse of notation x is in general different for different components of the equation), and S i (x ) 0 as ε 0. Substitute the first term on the right side of Eq. 2 into Eq.. Notice that da ε n. From Eqs. 4 and 3, the sum in Eq. becomes i [ ε n i da ϕ (x, a i )F(ϕ(0)) + s i ε n da ϕ (x, a i ) ϕ (m i x, a i ) ε i ϕ (0, a i )F(ϕ(0)) 0. i da ϕ (x, a i )F(ϕ(0)) εf(ϕ(0)) Second term. Substitute the second term on the right side of Eq. 2 into Eq.. There are two cases in the resulting double sum: i j and i j. i j. Recall that (m i x) j x j. Then ] 8
9 [ ε n da ϕ (x, a i ) i F(ϕ(0))x j + ] da ϕ (x, a i ) i F(ϕ(0))x j ε n s i da [ϕ (x, a i ) ϕ (m i x, a i )] i F(ϕ(0))x j sup ϕ (x, a i ) ϕ (m i x, a i ) i F(ϕ(0)) 0. x i j. Recall that on s ± i, x i ±ε ± i. Then [ ε n ε n ε n da ϕ (x, a i ) i F(ϕ(0))ε + i + s i da ϕ (x, a i ) i F(ϕ(0))( ε i ) ] da [ ϕ (x, a i )ε + i + ϕ (m i x, a i )ε ] i i F(ϕ(0)) da { [ϕ (x, a i ) ϕ (0, a i )] ε + i + ϕ (0, a i ) i F(ϕ(0)), [ϕ (m i x, a i ) ϕ (0, a i )] ε i + ϕ (0, a i ) ε } i F(ϕ(0)) which when multiplied by V (ϕ(0))/j (0) from Eq. is the i th summand in Eq. 0. Third term. Substitute R(x) into the first (for example) term in a summand on the right side of Eq.. Then since R(x) / x 0 as x 0, ε n da ϕ (x, a i )R(x) ε n da ϕ (x, a i ) nε R(x) x 0. (From [8, pp. 3-4] we see that x + y x + y and that if x is simple, then xy x y. This justifies the inequality above.) The coordinate representation for F, Eq. 0, is now proved. Our remaining task is to show that the representation is invariant under a coordinate change. Suppose then that ψ : [, ] n M is a second C 2 singular n cube with, again for notational convenience, ψ(0) ϕ(0). For this n cube use the notations y, f i, b i, and w corresponding to x, e i, a i, and v above. Define g(y) x by g ϕ ψ. Reversing v a j e j gives a j v e j, i.e., a j v ( ) (n )n/2 e i. Similarly, b i w ( ) (n )n/2 f i. Let ḡ be the adjoint map to g. The matrix element 9
10 [ḡ] ij [g] ji x j / y i. Then ḡ(0, a j v) ( ) (n )n/2 ḡ(0, e j ) n ( ) (n )n/2 x j x j f i b i w. (5) y i y i The outermorphisms g and ḡ are related by a duality [8, Eq. 3-20b]. By this duality the equality of the outermost members of Eq. 5 is equivalent to ( ) x j J g (0) g 0, b i a j. y i i With this identity we show that the right side of Eq. 0 is invariant under a coordinate change: V (ψ(0)) ψ (0, b i ) yi F(ψ(0)) J i ψ (0) V (ϕ(0)) (ϕ g) (0, b i ) [ xj F(ϕ(0)) x ] j J i ϕ g (0) y j i { ( )] } V (ϕ(0)) ϕ [0, x j J ϕ (0) J g (0) g 0, b i xj F(ϕ(0)) y i j j i V (ϕ(0)) ϕ (0, a j ) xj F(ϕ(0)). J ϕ (0) i i 0
11 References [] P. Acker, The Missing Link, Math. Intell. 8 (996), 4-9. [2] R. Bartle, Return to the Riemann Integral, Am. Math. Monthly 03 (996), [3] F. Brackx, R. Delange, and F. Sommen, Clifford Analysis, Res. Notes in Math., vol. 76, Pitman, London, 982, Sec [4] D. Hestenes, Multivector Calculus, J. Math. Anal. Appl. 24 (968), [5] D. Hestenes. Multivector Functions, J. Math. Anal. Appl. 24 (968), [6] D. Hestenes, Mathematical viruses, in Clifford Algebras and their Applications in Mathematical Physics, A. Micali et al (eds.), Kluwer, Dordrecht, 992, 3-6. [7] D. Hestenes, Differential Forms in Geometric Calculus, in Clifford Algebras and their Applications in Mathematical Physics, F. Brackx et al (eds.), Kluwer, Dordrecht, 993, [8] D. Hestenes and G. Sobczyk, Clifford algebra to geometric calculus, Reidel, Dordrecht-Boston, 984. [9] J. Mawhin, Generalized Riemann integrals and the divergence theorem for differentiable vector fields, in E. B. Christoffel, Birkhauser, Basel-Boston, 98, [0] J. Mawhin, Generalized multiple Perron integrals and the Green-Goursat theorem for differentiable vector fields, Cz. Math. J. 3 (98), [] R. McLeod, The generalized Riemann integral, Carus Math. Monographs, no. 20, Math. Assn. Amer., Washington, 980. [2] W. Pfeffer, The divergence theorem, Trans. Amer. Math. Soc. 295 (986), [3] W. Pfeffer, The multidimensional fundamental theorem of calculus, J. Austral. Math. Soc. Ser. A 43 (987),
Multivector Calculus
In: J. Math. Anal. and Appl., ol. 24, No. 2, c Academic Press (1968) 313 325. Multivector Calculus David Hestenes INTRODUCTION The object of this paper is to show how differential and integral calculus
More informationMultivector Functions of a Multivector Variable
arxiv:math/0212223v2 [math.gm] 18 Dec 2002 Multivector Functions of a Multivector Variable A. M. Moya 1, V. V. Fernández 1 and W. A. Rodrigues Jr. 1,2 1 Institute of Mathematics, Statistics and Scientific
More informationDedicated to Prof. Jaroslav Kurzweil on the occasion of his 80th birthday
131 (2006) MATHEMATICA BOHEMICA No. 4, 365 378 ON MCSHANE-TYPE INTEGRALS WITH RESPECT TO SOME DERIVATION BASES Valentin A. Skvortsov, Piotr Sworowski, Bydgoszcz (Received November 11, 2005) Dedicated to
More informationReview of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)
Review of Multi-Calculus (Study Guide for Spivak s CHPTER ONE TO THREE) This material is for June 9 to 16 (Monday to Monday) Chapter I: Functions on R n Dot product and norm for vectors in R n : Let X
More informationStability of Adjointable Mappings in Hilbert
Stability of Adjointable Mappings in Hilbert arxiv:math/0501139v2 [math.fa] 1 Aug 2005 C -Modules M. S. Moslehian Abstract The generalized Hyers Ulam Rassias stability of adjointable mappings on Hilbert
More informationExistence Theorem for Abstract Measure. Differential Equations Involving. the Distributional Henstock-Kurzweil Integral
Journal of Applied Mathematics & Bioinformatics, vol.4, no.1, 2014, 11-20 ISSN: 1792-6602 (print), 1792-6939 (online) Scienpress Ltd, 2014 Existence Theorem for Abstract Measure Differential Equations
More informationf k j M k j Among them we recognize the gradient operator on polynomial-valued functions which is part of the complete gradient (see [9]) u j xj.
Advances in Applied Clifford Algebras 4, No. 1 (1994) 65 FUNCTIONS OF TWO VECTOR VARIABLES F. Sommen* and N. Van Acker Department of Mathematical Analysis, University of Gent, Galglaan 2 B-9000 Gent, Belgium
More informationconvergence theorem in abstract set up. Our proof produces a positive integrable function required unlike other known
https://sites.google.com/site/anilpedgaonkar/ profanilp@gmail.com 218 Chapter 5 Convergence and Integration In this chapter we obtain convergence theorems. Convergence theorems will apply to various types
More informationProblem Set. Problem Set #1. Math 5322, Fall March 4, 2002 ANSWERS
Problem Set Problem Set #1 Math 5322, Fall 2001 March 4, 2002 ANSWRS i All of the problems are from Chapter 3 of the text. Problem 1. [Problem 2, page 88] If ν is a signed measure, is ν-null iff ν () 0.
More informationCzechoslovak Mathematical Journal
Czechoslovak Mathematical Journal Oktay Duman; Cihan Orhan µ-statistically convergent function sequences Czechoslovak Mathematical Journal, Vol. 54 (2004), No. 2, 413 422 Persistent URL: http://dml.cz/dmlcz/127899
More informationTHEOREM OF OSELEDETS. We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets [1].
THEOREM OF OSELEDETS We recall some basic facts and terminology relative to linear cocycles and the multiplicative ergodic theorem of Oseledets []. 0.. Cocycles over maps. Let µ be a probability measure
More informationThe Kurzweil-Henstock integral and its extensions : a historical survey
The Kurzweil-Henstock integral and its extensions : a historical survey Jean Mawhin Université Catholique de Louvain The Kurzweil-Henstock integral and its extensions : a historical survey p.1/29 This
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 informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationInequalities of Babuška-Aziz and Friedrichs-Velte for differential forms
Inequalities of Babuška-Aziz and Friedrichs-Velte for differential forms Martin Costabel Abstract. For sufficiently smooth bounded plane domains, the equivalence between the inequalities of Babuška Aziz
More informationA Generalization of Bernoulli's Inequality
Florida International University FIU Digital Commons Department of Mathematics and Statistics College of Arts, Sciences & Education 200 A Generalization of Bernoulli's Inequality Laura De Carli Department
More informationTitle: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on
Title: Localized self-adjointness of Schrödinger-type operators on Riemannian manifolds. Proposed running head: Schrödinger-type operators on manifolds. Author: Ognjen Milatovic Department Address: Department
More informationGENERALIZED POPOVICIU FUNCTIONAL EQUATIONS IN BANACH MODULES OVER A C ALGEBRA AND APPROXIMATE ALGEBRA HOMOMORPHISMS. Chun Gil Park
NEW ZEALAND JOURNAL OF MATHEMATICS Volume 3 (003), 183 193 GENERALIZED POPOVICIU FUNCTIONAL EQUATIONS IN BANACH MODULES OVER A C ALGEBRA AND APPROXIMATE ALGEBRA HOMOMORPHISMS Chun Gil Park (Received March
More informationi c Robert C. Gunning
c Robert C. Gunning i ii MATHEMATICS 218: NOTES Robert C. Gunning January 27, 2010 ii Introduction These are notes of honors courses on calculus of several variables given at Princeton University during
More informationGEOMETRIC APPROACH TO CONVEX SUBDIFFERENTIAL CALCULUS October 10, Dedicated to Franco Giannessi and Diethard Pallaschke with great respect
GEOMETRIC APPROACH TO CONVEX SUBDIFFERENTIAL CALCULUS October 10, 2018 BORIS S. MORDUKHOVICH 1 and NGUYEN MAU NAM 2 Dedicated to Franco Giannessi and Diethard Pallaschke with great respect Abstract. In
More informationThe Gauge Integral of Denjoy, Luzin, Perron, Henstock and Kurzweil
The Gauge Integral of Denjoy, Luzin, Perron, Henstock and Kurzweil Tim Sullivan tjs@caltech.edu California Institute of Technology Ortiz Group Meeting Caltech, California, U.S.A. 12 August 2011 Sullivan
More informationFinal. due May 8, 2012
Final due May 8, 2012 Write your solutions clearly in complete sentences. All notation used must be properly introduced. Your arguments besides being correct should be also complete. Pay close attention
More informationTHE RIEMANN INTEGRAL USING ORDERED OPEN COVERINGS
ROCKY MOUNTAIN JOURNAL OF MATHEMATICS THE RIEMANN INTEGRAL USING ORDERED OPEN COVERINGS ZHAO DONGSHENG AND LEE PENG YEE ABSTRACT. We define the Riemann integral for bounded functions defined on a general
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationMotivation towards Clifford Analysis: The classical Cauchy s Integral Theorem from a Clifford perspective
Motivation towards Clifford Analysis: The classical Cauchy s Integral Theorem from a Clifford perspective Lashi Bandara November 26, 29 Abstract Clifford Algebras generalise complex variables algebraically
More informationFunctional Analysis HW #3
Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform
More informationRolle s Theorem for Polynomials of Degree Four in a Hilbert Space 1
Journal of Mathematical Analysis and Applications 265, 322 33 (2002) doi:0.006/jmaa.200.7708, available online at http://www.idealibrary.com on Rolle s Theorem for Polynomials of Degree Four in a Hilbert
More informationMath 302 Outcome Statements Winter 2013
Math 302 Outcome Statements Winter 2013 1 Rectangular Space Coordinates; Vectors in the Three-Dimensional Space (a) Cartesian coordinates of a point (b) sphere (c) symmetry about a point, a line, and a
More information2 Sequences, Continuity, and Limits
2 Sequences, Continuity, and Limits In this chapter, we introduce the fundamental notions of continuity and limit of a real-valued function of two variables. As in ACICARA, the definitions as well as proofs
More informationAdvanced Calculus I Chapter 2 & 3 Homework Solutions October 30, Prove that f has a limit at 2 and x + 2 find it. f(x) = 2x2 + 3x 2 x + 2
Advanced Calculus I Chapter 2 & 3 Homework Solutions October 30, 2009 2. Define f : ( 2, 0) R by f(x) = 2x2 + 3x 2. Prove that f has a limit at 2 and x + 2 find it. Note that when x 2 we have f(x) = 2x2
More informationarxiv:math/ v1 [math.ca] 21 Apr 2006
arxiv:math/0604463v1 [math.ca] 21 Apr 2006 ORTHOGONAL CONSTANT MAPPINGS IN ISOSCELES ORTHOGONAL SPACES MADJID MIRZAVAZIRI AND MOHAMMAD SAL MOSLEHIAN Abstract. In this paper we introduce the notion of orthogonally
More informationChapter 8. General Countably Additive Set Functions. 8.1 Hahn Decomposition Theorem
Chapter 8 General Countably dditive Set Functions In Theorem 5.2.2 the reader saw that if f : X R is integrable on the measure space (X,, µ) then we can define a countably additive set function ν on by
More informationArticle Review: A Survey of Geometric Calculus and Geometric Algebra
Article Review: A Survey of Geometric Calculus and Geometric Algebra Josh Pollock June 6, 2017 Contents 1 Introduction 2 2 Motivating the Geometric Product and Higher Dimensional Geometric Objects 3 2.1
More informationSmooth Structure. lies on the boundary, then it is determined up to the identifications it 1 2
132 3. Smooth Structure lies on the boundary, then it is determined up to the identifications 1 2 + it 1 2 + it on the vertical boundary and z 1/z on the circular part. Notice that since z z + 1 and z
More informationConvexity in R n. The following lemma will be needed in a while. Lemma 1 Let x E, u R n. If τ I(x, u), τ 0, define. f(x + τu) f(x). τ.
Convexity in R n Let E be a convex subset of R n. A function f : E (, ] is convex iff f(tx + (1 t)y) (1 t)f(x) + tf(y) x, y E, t [0, 1]. A similar definition holds in any vector space. A topology is needed
More information11 a 12 a 21 a 11 a 22 a 12 a 21. (C.11) A = The determinant of a product of two matrices is given by AB = A B 1 1 = (C.13) and similarly.
C PROPERTIES OF MATRICES 697 to whether the permutation i 1 i 2 i N is even or odd, respectively Note that I =1 Thus, for a 2 2 matrix, the determinant takes the form A = a 11 a 12 = a a 21 a 11 a 22 a
More informationarxiv: v1 [math.ap] 18 May 2017
Littlewood-Paley-Stein functions for Schrödinger operators arxiv:175.6794v1 [math.ap] 18 May 217 El Maati Ouhabaz Dedicated to the memory of Abdelghani Bellouquid (2/2/1966 8/31/215) Abstract We study
More informationLebesgue Measure on R n
CHAPTER 2 Lebesgue Measure on R n Our goal is to construct a notion of the volume, or Lebesgue measure, of rather general subsets of R n that reduces to the usual volume of elementary geometrical sets
More informationMAT 257, Handout 13: December 5-7, 2011.
MAT 257, Handout 13: December 5-7, 2011. The Change of Variables Theorem. In these notes, I try to make more explicit some parts of Spivak s proof of the Change of Variable Theorem, and to supply most
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 informationAPPLICATIONS OF DIFFERENTIABILITY IN R n.
APPLICATIONS OF DIFFERENTIABILITY IN R n. MATANIA BEN-ARTZI April 2015 Functions here are defined on a subset T R n and take values in R m, where m can be smaller, equal or greater than n. The (open) ball
More informationGENERALITY OF HENSTOCK-KURZWEIL TYPE INTEGRAL ON A COMPACT ZERO-DIMENSIONAL METRIC SPACE
Ø Ñ Å Ø Ñ Ø Ð ÈÙ Ð Ø ÓÒ DOI: 10.2478/v10127-011-0027-z Tatra Mt. Math. Publ. 49 (2011), 81 88 GENERALITY OF HENSTOCK-KURZWEIL TYPE INTEGRAL ON A COMPACT ZERO-DIMENSIONAL METRIC SPACE Francesco Tulone ABSTRACT.
More informationarxiv:math/ v1 [math.dg] 23 Dec 2001
arxiv:math/0112260v1 [math.dg] 23 Dec 2001 VOLUME PRESERVING EMBEDDINGS OF OPEN SUBSETS OF Ê n INTO MANIFOLDS FELIX SCHLENK Abstract. We consider a connected smooth n-dimensional manifold M endowed with
More information4 Divergence theorem and its consequences
Tel Aviv University, 205/6 Analysis-IV 65 4 Divergence theorem and its consequences 4a Divergence and flux................. 65 4b Piecewise smooth case............... 67 4c Divergence of gradient: Laplacian........
More informationSTOKES THEOREM ON MANIFOLDS
STOKES THEOREM ON MANIFOLDS GIDEON DRESDNER Abstract. The generalization of the Fundamental Theorem of Calculus to higher dimensions requires fairly sophisticated geometric and algebraic machinery. In
More informationconverges as well if x < 1. 1 x n x n 1 1 = 2 a nx n
Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists
More informationAnalysis-3 lecture schemes
Analysis-3 lecture schemes (with Homeworks) 1 Csörgő István November, 2015 1 A jegyzet az ELTE Informatikai Kar 2015. évi Jegyzetpályázatának támogatásával készült Contents 1. Lesson 1 4 1.1. The Space
More informationON THE PROBLEM OF CHARACTERIZING DERIVATIVES
Real Analysis Exchange Vol. 23(2), 997 998, pp. 805 82 Chris Freiling,Department of Mathematics, California State University, San Bernardino, California, 92407. e-mail: cfreilin@wiley.csusb.edu ON THE
More informationLebesgue measure and integration
Chapter 4 Lebesgue measure and integration If you look back at what you have learned in your earlier mathematics courses, you will definitely recall a lot about area and volume from the simple formulas
More informationNotes on Complex Analysis
Michael Papadimitrakis Notes on Complex Analysis Department of Mathematics University of Crete Contents The complex plane.. The complex plane...................................2 Argument and polar representation.........................
More informationCoordinate free integrals in Geometric Calculus
Coordinate free integrals in Geometric Calculus Timo Alho e-mail: alho@hi.is arxiv:1509.08403v2 [math.dg] 14 Sep 2016 Science Institute, University of Iceland Dunhaga 5, 107 Reykjavik, Iceland September
More informationMATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions.
MATH 409 Advanced Calculus I Lecture 10: Continuity. Properties of continuous functions. Continuity Definition. Given a set E R, a function f : E R, and a point c E, the function f is continuous at c if
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 informationMultivariate Differentiation 1
John Nachbar Washington University February 23, 2017 1 Preliminaries. Multivariate Differentiation 1 I assume that you are already familiar with standard concepts and results from univariate calculus;
More informationEstimates for probabilities of independent events and infinite series
Estimates for probabilities of independent events and infinite series Jürgen Grahl and Shahar evo September 9, 06 arxiv:609.0894v [math.pr] 8 Sep 06 Abstract This paper deals with finite or infinite sequences
More informationMathematical Methods for Physics and Engineering
Mathematical Methods for Physics and Engineering Lecture notes for PDEs Sergei V. Shabanov Department of Mathematics, University of Florida, Gainesville, FL 32611 USA CHAPTER 1 The integration theory
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationThe Mean Value Inequality (without the Mean Value Theorem)
The Mean Value Inequality (without the Mean Value Theorem) Michael Müger September 13, 017 1 Introduction Abstract Once one has defined the notion of differentiability of a function of one variable, it
More informationComparison between some Kurzweil-Henstock type integrals for Riesz-space-valued functions
Comparison between some Kurzweil-Henstock type integrals for Riesz-space-valued functions A. Boccuto V. A. Skvortsov ABSTRACT. Some kinds of integral, like variational, Kurzweil-Henstock and (SL)-integral
More informationThe Kurzweil Henstock integral for undergraduates
The Kurzweil Henstock integral for undergraduates A promenade along the marvelous theory of integration Alessandro Fonda May 6, 208 To Sofia, Marcello, and Elisa Contents Introduction vii Functions of
More information5 Compact linear operators
5 Compact linear operators One of the most important results of Linear Algebra is that for every selfadjoint linear map A on a finite-dimensional space, there exists a basis consisting of eigenvectors.
More informationPOINTWISE PRODUCTS OF UNIFORMLY CONTINUOUS FUNCTIONS
SARAJEVO JOURNAL OF MATHEMATICS Vol.1 (13) (2005), 117 127 POINTWISE PRODUCTS OF UNIFORMLY CONTINUOUS FUNCTIONS SAM B. NADLER, JR. Abstract. The problem of characterizing the metric spaces on which the
More informationOn John type ellipsoids
On John type ellipsoids B. Klartag Tel Aviv University Abstract Given an arbitrary convex symmetric body K R n, we construct a natural and non-trivial continuous map u K which associates ellipsoids to
More informationLebesgue Integration: A non-rigorous introduction. What is wrong with Riemann integration?
Lebesgue Integration: A non-rigorous introduction What is wrong with Riemann integration? xample. Let f(x) = { 0 for x Q 1 for x / Q. The upper integral is 1, while the lower integral is 0. Yet, the function
More informationMath 201 Handout 1. Rich Schwartz. September 6, 2006
Math 21 Handout 1 Rich Schwartz September 6, 26 The purpose of this handout is to give a proof of the basic existence and uniqueness result for ordinary differential equations. This result includes the
More informationA Brief Introduction to the Theory of Lebesgue Integration
A Brief Introduction to the Theory of Lebesgue Integration Kevin Sigler June 8, 25 Introduction Gonzalez-Velasco s paper The Lebesgue Integral as a Riemann Integral provides a non-standard, direct construction
More informationElementary Analysis Math 140D Fall 2007
Elementary Analysis Math 140D Fall 2007 Bernard Russo Contents 1 Friday September 28, 2007 1 1.1 Course information............................ 1 1.2 Outline of the course........................... 1
More informationTransformations from R m to R n.
Transformations from R m to R n 1 Differentiablity First of all because of an unfortunate combination of traditions (the fact that we read from left to right and the way we define matrix multiplication
More information2. Complex Analytic Functions
2. Complex Analytic Functions John Douglas Moore July 6, 2011 Recall that if A and B are sets, a function f : A B is a rule which assigns to each element a A a unique element f(a) B. In this course, we
More informationImplicit Functions, Curves and Surfaces
Chapter 11 Implicit Functions, Curves and Surfaces 11.1 Implicit Function Theorem Motivation. In many problems, objects or quantities of interest can only be described indirectly or implicitly. It is then
More informationASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE
ASYMPTOTIC DIOPHANTINE APPROXIMATION: THE MULTIPLICATIVE CASE MARTIN WIDMER ABSTRACT Let α and β be irrational real numbers and 0 < ε < 1/30 We prove a precise estimate for the number of positive integers
More informationArchiv der Mathematik Holomorphic approximation of L2-functions on the unit sphere in R^3
Manuscript Number: Archiv der Mathematik Holomorphic approximation of L-functions on the unit sphere in R^ --Manuscript Draft-- Full Title: Article Type: Corresponding Author: Holomorphic approximation
More informationfor all x,y [a,b]. The Lipschitz constant of f is the infimum of constants C with this property.
viii 3.A. FUNCTIONS 77 Appendix In this appendix, we describe without proof some results from real analysis which help to understand weak and distributional derivatives in the simplest context of functions
More informationRegularity for Poisson Equation
Regularity for Poisson Equation OcMountain Daylight Time. 4, 20 Intuitively, the solution u to the Poisson equation u= f () should have better regularity than the right hand side f. In particular one expects
More informationNormal Fans of Polyhedral Convex Sets
Set-Valued Analysis manuscript No. (will be inserted by the editor) Normal Fans of Polyhedral Convex Sets Structures and Connections Shu Lu Stephen M. Robinson Received: date / Accepted: date Dedicated
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 information5 Measure theory II. (or. lim. Prove the proposition. 5. For fixed F A and φ M define the restriction of φ on F by writing.
5 Measure theory II 1. Charges (signed measures). Let (Ω, A) be a σ -algebra. A map φ: A R is called a charge, (or signed measure or σ -additive set function) if φ = φ(a j ) (5.1) A j for any disjoint
More informationPrague, II.2. Integrability (existence of the Riemann integral) sufficient conditions... 37
Mathematics II Prague, 1998 ontents Introduction.................................................................... 3 I. Functions of Several Real Variables (Stanislav Kračmar) II. I.1. Euclidean space
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationHyperbolic Conformal Geometry with Clifford Algebra 1)
MM Research Preprints, 72 83 No. 18, Dec. 1999. Beijing Hyperbolic Conformal Geometry with Clifford Algebra 1) Hongbo Li Abstract. In this paper we study hyperbolic conformal geometry following a Clifford
More information1 Radon, Helly and Carathéodory theorems
Math 735: Algebraic Methods in Combinatorics Sep. 16, 2008 Scribe: Thành Nguyen In this lecture note, we describe some properties of convex sets and their connection with a more general model in topological
More informationTEST CODE: PMB SYLLABUS
TEST CODE: PMB SYLLABUS Convergence and divergence of sequence and series; Cauchy sequence and completeness; Bolzano-Weierstrass theorem; continuity, uniform continuity, differentiability; directional
More informationSet, functions and Euclidean space. Seungjin Han
Set, functions and Euclidean space Seungjin Han September, 2018 1 Some Basics LOGIC A is necessary for B : If B holds, then A holds. B A A B is the contraposition of B A. A is sufficient for B: If A holds,
More informationSCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE
SCALE INVARIANT FOURIER RESTRICTION TO A HYPERBOLIC SURFACE BETSY STOVALL Abstract. This result sharpens the bilinear to linear deduction of Lee and Vargas for extension estimates on the hyperbolic paraboloid
More informationSolutions Final Exam May. 14, 2014
Solutions Final Exam May. 14, 2014 1. Determine whether the following statements are true or false. Justify your answer (i.e., prove the claim, derive a contradiction or give a counter-example). (a) (10
More informationREGULARITY FOR INFINITY HARMONIC FUNCTIONS IN TWO DIMENSIONS
C,α REGULARITY FOR INFINITY HARMONIC FUNCTIONS IN TWO DIMENSIONS LAWRENCE C. EVANS AND OVIDIU SAVIN Abstract. We propose a new method for showing C,α regularity for solutions of the infinity Laplacian
More informationInner Variation and the SLi-Functions
International Journal of Mathematical Analysis Vol. 9, 2015, no. 3, 141-150 HIKARI Ltd, www.m-hikari.com http://dx.doi.org/10.12988/ijma.2015.411343 Inner Variation and the SLi-Functions Julius V. Benitez
More informationCURRENT MATERIAL: Vector Calculus.
Math 275, section 002 (Ultman) Spring 2012 FINAL EXAM REVIEW The final exam will be held on Wednesday 9 May from 8:00 10:00am in our regular classroom. You will be allowed both sides of two 8.5 11 sheets
More informationMath 127C, Spring 2006 Final Exam Solutions. x 2 ), g(y 1, y 2 ) = ( y 1 y 2, y1 2 + y2) 2. (g f) (0) = g (f(0))f (0).
Math 27C, Spring 26 Final Exam Solutions. Define f : R 2 R 2 and g : R 2 R 2 by f(x, x 2 (sin x 2 x, e x x 2, g(y, y 2 ( y y 2, y 2 + y2 2. Use the chain rule to compute the matrix of (g f (,. By the chain
More informationA collocation method for solving some integral equations in distributions
A collocation method for solving some integral equations in distributions Sapto W. Indratno Department of Mathematics Kansas State University, Manhattan, KS 66506-2602, USA sapto@math.ksu.edu A G Ramm
More informationNONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS. Shouchuan Hu Nikolas S. Papageorgiou. 1. Introduction
Topological Methods in Nonlinear Analysis Journal of the Juliusz Schauder Center Volume 34, 29, 327 338 NONTRIVIAL SOLUTIONS FOR SUPERQUADRATIC NONAUTONOMOUS PERIODIC SYSTEMS Shouchuan Hu Nikolas S. Papageorgiou
More informationBordism and the Pontryagin-Thom Theorem
Bordism and the Pontryagin-Thom Theorem Richard Wong Differential Topology Term Paper December 2, 2016 1 Introduction Given the classification of low dimensional manifolds up to equivalence relations such
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematics ON SOME APPROXIMATE FUNCTIONAL RELATIONS STEMMING FROM ORTHOGONALITY PRESERVING PROPERTY JACEK CHMIELIŃSKI Instytut Matematyki, Akademia Pedagogiczna
More information1 Lesson 1: Brunn Minkowski Inequality
1 Lesson 1: Brunn Minkowski Inequality A set A R n is called convex if (1 λ)x + λy A for any x, y A and any λ [0, 1]. The Minkowski sum of two sets A, B R n is defined by A + B := {a + b : a A, b B}. One
More informationMidterm 1 Solutions Thursday, February 26
Math 59 Dr. DeTurck Midterm 1 Solutions Thursday, February 26 1. First note that since f() = f( + ) = f()f(), we have either f() = (in which case f(x) = f(x + ) = f(x)f() = for all x, so c = ) or else
More informationTwo chain rules for divided differences
Two chain rules for divided differences and Faà di Bruno s formula Michael S Floater and Tom Lyche Abstract In this paper we derive two formulas for divided differences of a function of a function Both
More informationA LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION
A LOCALIZATION PROPERTY AT THE BOUNDARY FOR MONGE-AMPERE EQUATION O. SAVIN. Introduction In this paper we study the geometry of the sections for solutions to the Monge- Ampere equation det D 2 u = f, u
More informationREAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE
REAL ANALYSIS LECTURE NOTES: 1.4 OUTER MEASURE CHRISTOPHER HEIL 1.4.1 Introduction We will expand on Section 1.4 of Folland s text, which covers abstract outer measures also called exterior measures).
More informationTHE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS
THE FORM SUM AND THE FRIEDRICHS EXTENSION OF SCHRÖDINGER-TYPE OPERATORS ON RIEMANNIAN MANIFOLDS OGNJEN MILATOVIC Abstract. We consider H V = M +V, where (M, g) is a Riemannian manifold (not necessarily
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 information