14 Divergence, flux, Laplacian
|
|
- Angel Boone
- 5 years ago
- Views:
Transcription
1 Tel Aviv University, 204/5 Analysis-III,IV Divergence, flux, Laplacian 4a What is the problem b Integral of derivative (again) c Divergence and flux d Divergence of gradient: Laplacian e Laplacian at a singular point Divergence and flux are widely used in order to relate volume integrals and surface integrals in a geometrically natural way. 4a What is the problem The integral of derivative (3b3) deserves a generalization. The most straightforward generalization is (4a) Df = 0 if f C (R n R m ) has a bounded support; R n but this is boring. Indeed, (Df) x may be thought of as a matrix whose rows are gradients of the coordinate functions f,..., f m C (R n ) of f (recall Sect. 2e), and (4a) is just (3b3) applied rowwise. Restricting ourselves to the case m = n, we may think about det(df); definitely an interesting function of Df. We cannot expect det(df) to vanish, since the determinant is a nonlinear function of a matrix. But we know (recall 2e9) that (4a2) det(i + H) = + tr(h) + o(h) for small H. The trace being a linear function of a matrix, we have (4a3) tr(df) = 0 if f C (R n R n ) has a bounded support. R n Now the question is, what is tr(df) good for? Consider a one-parameter family of diffeomorphisms ϕ t : R n R n given for t R; we assume that the mapping (x, t) ϕ t (x) belongs to C 2 (R n+ R n ), and ϕ 0 (x) = x for all x R n. Then (Dϕ 0 ) 0 = I and (Dϕ t ) 0 = I + ta + o(t) where A = d dt t=0 (Dϕ t ) 0 ; thus, det(dϕ t ) 0 = + t tr A + o(t) for small t. If tr A > 0, then det(dϕ t ) 0 > for small t > 0, which means that
2 Tel Aviv University, 204/5 Analysis-III,IV 24 v ( ϕ t (U) ) > v(u) for a small enough neighborhood U of 0 in R n. Moreover, v ( ϕ t (U) ) ( + t tr A)v(U). In mechanics, a flowing matter may be described this way; every point x flows to another point ϕ t (x) during the time interval (0, t). A small drop of the flowing matter inflates if tr A > 0 and deflates if tr A < 0. The rate of this inflation/deflation is tr A. The vector F (x) = d dt t=0 ϕ t (x) is the velocity of the flow at a point x and the instant 0. This mapping F : R n R n is called the velocity field of the flow. We have A = d (Dϕ t ) 0 = dt t=0 ( D ( d )) ϕ t dt t=0 0 = (DF ) 0, thus, the inflation/deflation rate at the origin is tr A = tr(df ) 0, and similarly, at a point x it is tr(df ) x. The velocity field is a vector field. The word field in vector field is not related to the algebraic notion of a field. Rather, it is related to the physical notion of a force field (gravitational, for example), or the velocity field of a moving matter (usually liquid or gas). Mathematically, a vector field formally is just a mapping R n R n ; less formally, a vector is attached to each point. A vector field on an affine space is a mapping from this space to its difference space. Note that the determinant is well-defined in a (finite-dimensional) vector space; metric is irrelevant. The same holds for the trace. 4a4 Definition. The divergence of a mapping ( vector field ) F C (R n R n ) is the function ( scalar field ) div F C(R n ), div F = tr(df ). That is, for F (x) = ( F (x),..., F n (x) ) we have div F = D F + + D n F n = ( F ) + + ( F n ) n ; div F (x,..., x n ) = F (x,..., x n ) + + F n (x,..., x n ). x x n Once again: if F is a velocity field, then div F is the inflation/deflation rate. For a vector field F C (V V ) on an n-dimensional vector space V, still, div F = tr(df ); here (DF ) x : V V. For a vector field F C (S S) on an n-dimensional affine space S, also, div F = tr(df ); here (DF ) x : S S. Clearly, (4a5) div F = 0 if F has a bounded support. R n
3 Tel Aviv University, 204/5 Analysis-III,IV 242 Similarly to the singular gradient (treated in Sect. 3b), we want to introduce singular divergence; and then, similarly to Theorem 3b9, we want to generalize (4a5) to a vector field continuous up to a surface. 4b Integral of derivative (again) Similarly to Sect. 3b we consider a hypersurface, that is, an n-dimensional manifold M in R N, N = n +. Similarly to 3b5, for a vector field F : R N \ M R N we define the notion continuous up to M. Clearly, F = (F,..., F N ) is continuous up to M if and only if F,..., F N are continuous up to M (as defined by 3b5). The one-sided limits F, F + are now vectorvalued, and the jump F + (x 0 ) F (x 0 ) is a vector; its sign depends on the side indicator. Recall the unit normal vector n x R N ; its sign also depends on the side indicator. Here is a definition similar to 3b7. As before, we denote F (x 0n x ) = F (x) and F (x + 0n x ) = F + (x). 4b Definition. The singular divergence div sng F (x) at x M of a mapping F : R N \ M R N continuous up to M is the number div sng F (x) = F (x + 0n x ) F (x 0n x ), n x. As before, the singular divergence does not depend on the side indicator (and n x ). It is a continuous function div sng F : M R. Less formally, the singular divergence is the jump of the normal component of the vector field. Here is the singular counterpart of the formula div F = k ( F k ) k. 4b2 Lemma. div sng F = N ( sng F k ) k. Proof. ( sng F k (x)) k = (( Fk (x + 0n x ) F k (x 0n x ) ) ) n x k = k k = ( F (x + 0nx ) F (x 0n x ) ) k(n x ) k = k k= = F (x + 0n x ) F (x 0n x ), n x = div sng F (x). Not a standard terminology.
4 Tel Aviv University, 204/5 Analysis-III,IV 243 A theorem, similar to 3b9, follows easily. 4b3 Theorem. Let M R n+ be an n-manifold, K M a compact subset, and F : R n+ \ K R n+ a mapping such that (a) F is continuously differentiable (on R n+ \ K); (b) F R n+ \M is continuous up to M; (c) F has a bounded support, and DF is bounded (on R n+ \ K). Then div F + div sng f = 0. R n+ \K Proof. We have F (x) = ( F (x),..., F N (x) ), and Theorem 3b9 applies to each F k, giving F k + sng F k = 0. R n+ \K It remains to take the k-th coordinate, and sum up over k. 4c Divergence and flux We return to the case treated before, in the end of Sect. 3b: R N is a bounded regular open set, and R N a (necessarily compact) hypersurface (that is, n-manifold for n = N ). Recall the outward unit normal vector n x for x. 4c Definition. For a continuous F : R n, the (outward) flux of (the vector field) F through is F, n. (The integral is interpreted according to (3a8).) If a vector field F on R 3 is the velocity field of a fluid, then the flux of F through a surface is the amount of fluid flowing through the surface (per unit time). 2 If the fluid is flowing parallel to the surface then, evidently, the flux is zero. We continue similarly to Sect. 3b. Let F : R N be continuous, F C ( R N ), with DF bounded (on ). Then the mapping F : R N \ R N defined by { F (x) for x, F (x) = 0 for x / The volume is meant, not the mass. However, these are proportional if the density (kg/m 3 ) of the matter is constant (which often holds for fluids). 2 See also mathinsight. M M
5 Tel Aviv University, 204/5 Analysis-III,IV 244 is continuous up to, and F (x 0n x ) = F (x), F (x + 0nx ) = 0 ; div sng F (x) = F (x), nx. By Theorem 4b3 (applied to F and K = ), (4c2) div F = F, n, just the flux. The divergence theorem, formulated below, is thus proved. 4c3 Theorem (Divergence theorem). Let R n+ be a bounded regular open set, an n-manifold, F : R n+ continuous, F C ( R n+ ), with DF bounded on. Then the integral of div F over is equal to the (outward) flux of F through. In particular, if div F = 0, then F, n = 0. 4c4 Exercise. (a) For every f C (), boundedness of f on ensures that f extends to by continuity (and therefore is bounded). (b) For every F C ( R n+ ), boundedness of DF on ensures that F extends to by continuity (and therefore is bounded). Prove it. 2 In such cases we ll always mean this extension. 4c5 Exercise. div(ff ) = f div F + f, F whenever f C () and F C ( R N ) Prove it. Thus, the divergence theorem, applied to ff when f C () with bounded f, and F C ( R N ) with bounded DF, gives a kind of integration by parts, similar to (3b3): (4c6) f, F = f F, n f div F. In particular, if div F = 0, then f, F = f F, n Divergence is often explained in terms of sources and sinks (of a moving matter). But be careful; the flux of a velocity field is the amount (per unit time) as long as amount means volume. If by amount you mean mass, then you need the vector field of momentum, not velocity; multiply the velocity by the density of the matter. However, the problem disappears if the density is constant (which often holds for fluids). 2 Hint: recall the proof of 3b4.
6 Tel Aviv University, 204/5 Analysis-III,IV 245 4d Divergence of gradient: Laplacian Some (but not all) vector fields are gradients of scalar fields. 4d Definition. (a) The Laplacian f of a function f C 2 () on an open set R n is f = div f. (b) f is harmonic, if f = 0. We have f = (D f,..., D n f), thus, div f = D (D f)+ +D n (D n f); in this sense, = D Dn 2 = , x 2 x 2 n the so-called Laplace operator, or Laplacian. Any n-dimensional Euclidean affine space may be used instead of R n. Indeed, the gradient is well-defined in such space, and the divergence is welldefined even without Euclidean metric. The divergence theorem 4c3 gives the so-called first reen formula (4d2) f = f, n = D n f, where ( D n f ) (x) = ( D nx f ) x is the directional derivative of f at x in the normal direction n x. Here f C 2 (), with bounded second derivatives. Here is another instance of integration by parts. Let u C (), with bounded gradient, and v C 2 (), with bounded second derivatives. Applying (4c6) to f = u and F = v we get u, v = u v, n u v, that is, (4d3) (u v + u, v ) = u v, n = ud n v, the second reen formula. It follows that (4d4) (u v v u) = (ud n v vd n u), the third reen formula; here u, v C 2 (), with bounded second derivatives. In particular, ud n v = vd n u for harmonic u, v.
7 Tel Aviv University, 204/5 Analysis-III,IV 246 Rewriting (4d4) as (4d5) u v = v u vd n u + (D n v)u we may say that really (ul ) v = v (ul ) where (ul ) consists of the usual Laplacian ( u)l sitting on and the singular Laplacian sitting on, of two terms, so-called single layer ( D n u) and double layer ud n. Why two layers? Because the Laplacian (unlike gradient and divergence) involves second derivatives. 4d6 Exercise. Consider homogeneous polynomials on R 2 : m f(x, y) = c k x k y m k. k=0 For m =, 2 and 3 find all harmonic functions among these polynomials. 4d7 Exercise. On R 2, (a) a function of the form m f(x, y) = c k e a kx+b k y k= is harmonic only if it is constant; (b) a function of the form is harmonic if and only if a = b. 2 Prove it. f(x, y) = e ax cos by (a k, b k, c k R) 4d8 Exercise. Consider f : R N \ {0} R of the form f(x) = g( x ) for a given g C 2 (0, ). Prove that 3 (a) f C 2 (R N \ {0}); (b) f(r + ε, δ, 0,..., 0) = g(r) + g (r)ε + 2( g (r)ε 2 + r g (r)δ 2) + o(ε 2 + δ 2 ); (c) f(x) = g ( x ) + N x g ( x ). ( Thus, f is harmonic if and only if g (r) + N g (r) = 0 for all r; that is: r log g (r) ) = N = (N )(log r) ; log g (r) = (N ) log r + const; r g (r) = const r (N ) ; g(r) = const r () + const 2 ; { c + c x (4d9) f(x) = 2 if N 2; c log x + c 2 if N = 2. In fact, they are Re (x + iy) m, Im (x + iy) m and their linear combinations. 2 That is, f(x, y) = Re ( e x+iy). 3 Hint: (a,b) x = x 2 ; (c) rotation invariance.
8 Tel Aviv University, 204/5 Analysis-III,IV 247 4e Laplacian at a singular point The function g(x) = / x is harmonic on R N \{0}, thus, for every f C 2 compactly supported within R N \ {0}, g f = f g = 0. It appears that for f C 2 (R N ) with a compact support, g f = const f(0) ; in this sense g has a kind of singular Laplacian at the origin. 4e Lemma. R N f(x) 2πN/2 dx = (N 2) x Γ(N/2) f(0) for every N > 2 and f C 2 (R N ) with a compact support. This improper integral converges, since / x is improperly integrable near 0 (recall 0b7(c)). The coefficient 2πN/2 is the (N )-dimensional Γ(N/2) volume of the unit sphere (recall (3c9)). Proof. For arbitrary ε > 0 we consider the function g ε (x) = / ( max( x, ε) ), and g(x) = / x. Clearly, g ε g 0 (as ε 0), and g ε g f 0, thus, g ε f g f. We take R (0, ) such that f(x) = 0 for x R, introduce regular open sets = {x : x < ε}, 2 = {x : ε < x < R}, and apply (4d4), taking into account that g ε = 0 on and 2 : ( ) ( ) (gε ) g ε f = g ε f = D n f fd n g ε ; however, these D n must be interpreted differently under and 2 : g ε D n f = x =ε ε D nf, g ε D n2 f = 2 x =ε ε D nf where n is the outward normal of and inward normal of 2 ; these two summands cancel each other. Further, fd n g ε = f 0 = 0 since g x =ε ε is constant on ; and fd n2 g ε = f N 2 2 x =ε ε, N 2
9 Tel Aviv University, 204/5 Analysis-III,IV 248 since g ε (x) = / x on 2, and f(x) = 0 when x = R. Finally, g ε f = (N 2) ε N x =ε f = (N 2) 2πN/2 Γ(N/2) f ε, where f ε is the mean value of f on the ε-sphere. By continuity, f ε f(0) as ε 0; and, as we know, g ε f g f. 4e2 Remark. For N = 2 the situation is similar: f(x) log x dx = 2πf(0) R 2 for every compactly supported f C 2 (R 2 ). When the boundary consists of a hypersurface and an isolated point, we get a combination of (4d5) and 4e: a singular point and two layers. 4e3 Remark. Let R N be a bounded regular open set, an n-manifold, f C 2 () with bounded second derivatives, and 0. Then f(x) 2πN/2 dx = (N 2) x Γ(N/2) f(0) ( ) x f(x)d n + x ( ) x (D n f(x)). x The proof is very close to that of 4e. The case N = 2 is similar to 4e2, of course. The case = {x : x < R} is especially interesting. Here = {x : x = R}; on, thus, x <R x = 2 and D R nx = N x R ; N f(x) 2πN/2 dx = (N 2) x Γ(N/2) f(0)+ N 2 f + D R N =R R n f. =R Taking into account that D =R nf = f by (4d2) we get <R ( (N 2) 2πN/2 Γ(N/2) f(0) = x <R x ) f(x) dx + N 2 R R N =R f
10 Tel Aviv University, 204/5 Analysis-III,IV 249 for N > 2; and similarly, 2πf(0) = x <R for N = 2. In particular, for a harmonic f, ( ) log R log x f(x) dx + f R =R f(0) = Γ(N/2) f = 2π N/2 R N =R f =R =R for N 2; the following result is thus proved (and holds also for N =, trivially). 4e4 Proposition (Mean value property). For every harmonic function on a ball, with bounded second derivatives, its value at the center of the ball is equal to its mean value on the boundary of the ball. 4e5 Remark. Now it is easy to understand why harmonic functions occur in physics ( the stationary heat equation ). Consider a homogeneous material solid body (in three dimensions). Fix the temperature on its boundary, and let the heat flow until a stationary state is reached. Then the temperature in the interior is a harmonic function (with the given boundary conditions). 4e6 Remark. Can the mean value property be generalized to a nonspherical boundary? We leave this question to more special courses (PDE, potential theory). But here is the idea. In 4e3 we may replace f(x) dx x with ( ) + g(x) f(x) dx where g is a harmonic function satisfying x + g(x) = 0 for all x (if we are lucky to have such g). Then x the double layer (D nv)u in (4d5), and the corresponding term in 4e3, disappears, and we get ( (N 2) (x 2πN/2 Γ(N/2) f(0) = )) f(x)d n x + g(x). 4e7 Exercise (Maximum principle for harmonic functions). Let u be a harmonic function on a connected open set R N. If sup x u(x) = u(x 0 ) for some x 0 then u is constant. Prove it. 2 In fact, the mean value property is also sufficient for harmonicity, even if differentiability is not assumed. 2 Hint: the set {x 0 : u(x 0 ) = sup x u(x)} is both open and closed in.
11 Tel Aviv University, 204/5 Analysis-III,IV 250 (4e8) It appears that ( (mean ) ) f(x) = 2N lim of f on {y : y x = ε} f(x). ε 0 ε 2 4e9 Exercise. (a) Prove that, for N > 2, ( R 2 x ) dx does not depend on R; R x <R and for N = 2, R 2 x <R( log R log x ) dx does not depend on R. (No need to calculate these integrals.) (b) For f of class C 2 near the origin, prove that the mean value of f on {x : x = ε} is f(0) + c N ε 2 f(0) + o(ε 2 ) as ε 0, for some c 2, c 3, R (not dependent on f). (c) Applying (b) to f(x) = x 2, find c 2, c 3,... and prove (4e8). 4e0 Exercise. (a) For every f integrable (properly) on {x : x < R}, f R <R <R = =r f drn 0 R. =r N (b) For every bounded harmonic function on a ball, its value at the center of the ball is equal to its mean value on the ball. Prove it. 2 4e Proposition. (Liouville s theorem for harmonic functions) Every harmonic function R N [0, ) is constant. Proof. (Nelson s short proof) For arbitrary x, y R N and R > 0 we have f(x) = f(z) dz z x <R z x <R dz ( ) N R + x y = R f(z) dz z x <R dz = z y <R+ x y ( ) f(z) dz N R + x y z y <R+ x y dz = f(y), R z y <R+ x y since the R-neighborhood of x is contained in the (R + x y )-neighborhood of y. In the limit R we get f(x) f(y); similarly, f(y) f(x). Hint: change of variable. 2 Hint: (a) recall 3c8.
12 Tel Aviv University, 204/5 Analysis-III,IV 25 Index divergence, 24 divergence theorem, 244 flux, 243 reen formula first, 245 second, 245 third, 245 harmonic, 245 heat, 249 Laplacian, 245 layer, 246 Liouville s theorem, 250 maximum principle, 249 mean value property, 249 singular divergence, 242 trace, 240 vector field, 24 velocity field, 24, 245 div, 24 div sng, 242 tr, 240
4 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 information14 Higher order forms; divergence theorem
Tel Aviv University, 2013/14 Analysis-III,IV 221 14 Higher order forms; divergence theorem 14a Forms of order three................ 221 14b Divergence theorem in three dimensions.... 225 14c Order four,
More informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
More informationRiemann integral and volume are generalized to unbounded functions and sets. is an admissible set, and its volume is a Riemann integral, 1l E,
Tel Aviv University, 26 Analysis-III 9 9 Improper integral 9a Introduction....................... 9 9b Positive integrands................... 9c Special functions gamma and beta......... 4 9d Change of
More information8 Nonlinear change of variables
Tel Aviv University, 206 Analysis-III 98 8 Nonlinear change of variables 8a Introduction....................... 98 8b Examples......................... 00 8c Measure 0 is preserved................. 02
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationRiemann integral and Jordan measure are generalized to unbounded functions. is a Jordan measurable set, and its volume is a Riemann integral, R n
Tel Aviv University, 214/15 Analysis-III,IV 161 1 Improper integral 1a What is the problem................ 161 1b Positive integrands................. 162 1c Newton potential.................. 166 1d Special
More informationMATH 51H Section 4. October 16, Recall what it means for a function between metric spaces to be continuous:
MATH 51H Section 4 October 16, 2015 1 Continuity Recall what it means for a function between metric spaces to be continuous: Definition. Let (X, d X ), (Y, d Y ) be metric spaces. A function f : X Y is
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 informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More information4 Inverse function theorem
Tel Aviv University, 2014/15 Analysis-III,IV 71 4 Inverse function theorem 4a What is the problem................ 71 4b Simple observations before the theorem..... 72 4c The theorem.....................
More informationTHEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)
4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M
More informationMultivariable Calculus
2 Multivariable Calculus 2.1 Limits and Continuity Problem 2.1.1 (Fa94) Let the function f : R n R n satisfy the following two conditions: (i) f (K ) is compact whenever K is a compact subset of R n. (ii)
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 information8 Change of variables
Tel Aviv University, 2013/14 Analysis-III,IV 111 8 Change of variables 8a What is the problem................ 111 8b Examples and exercises............... 113 8c Differentiating set functions............
More informationOne-dimensional integrals are taken over intervals, while n-dimensional integrals are taken over more complicated sets in R n.
Tel Aviv University, 2013/14 Analysis-III,IV 71 6 Riemann integral 6a What is the problem................ 71 6b Dimension one: reminder.............. 73 6c Higher dimensions.................. 75 6d asic
More informationMath 328 Course Notes
Math 328 Course Notes Ian Robertson March 3, 2006 3 Properties of C[0, 1]: Sup-norm and Completeness In this chapter we are going to examine the vector space of all continuous functions defined on the
More informationSMSTC (2017/18) Geometry and Topology 2.
SMSTC (2017/18) Geometry and Topology 2 Lecture 1: Differentiable Functions and Manifolds in R n Lecturer: Diletta Martinelli (Notes by Bernd Schroers) a wwwsmstcacuk 11 General remarks In this lecture
More informationQuasi-conformal maps and Beltrami equation
Chapter 7 Quasi-conformal maps and Beltrami equation 7. Linear distortion Assume that f(x + iy) =u(x + iy)+iv(x + iy) be a (real) linear map from C C that is orientation preserving. Let z = x + iy and
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More information9 Change of variables
Tel Aviv University, 2014/15 Analysis-III,IV 143 9 Change of variables 9a What is the problem................ 143 9b Examples....................... 144 9c Rotation invariance................. 147 9d Linear
More information2.20 Fall 2018 Math Review
2.20 Fall 2018 Math Review September 10, 2018 These notes are to help you through the math used in this class. This is just a refresher, so if you never learned one of these topics you should look more
More informationCorrections to the First Printing: Chapter 6. This list includes corrections and clarifications through November 6, 1999.
June 2,2 1 Corrections to the First Printing: Chapter 6 This list includes corrections and clarifications through November 6, 1999. We should have mentioned that our treatment of differential forms, especially
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 informationHARMONIC ANALYSIS. Date:
HARMONIC ANALYSIS Contents. Introduction 2. Hardy-Littlewood maximal function 3. Approximation by convolution 4. Muckenhaupt weights 4.. Calderón-Zygmund decomposition 5. Fourier transform 6. BMO (bounded
More informationBefore you begin read these instructions carefully.
MATHEMATICAL TRIPOS Part IB Thursday, 6 June, 2013 9:00 am to 12:00 pm PAPER 3 Before you begin read these instructions carefully. Each question in Section II carries twice the number of marks of each
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationWilliam P. Thurston. The Geometry and Topology of Three-Manifolds
William P. Thurston The Geometry and Topology of Three-Manifolds Electronic version 1.1 - March 00 http://www.msri.org/publications/books/gt3m/ This is an electronic edition of the 1980 notes distributed
More information9 Radon-Nikodym theorem and conditioning
Tel Aviv University, 2015 Functions of real variables 93 9 Radon-Nikodym theorem and conditioning 9a Borel-Kolmogorov paradox............. 93 9b Radon-Nikodym theorem.............. 94 9c Conditioning.....................
More information1 Independent increments
Tel Aviv University, 2008 Brownian motion 1 1 Independent increments 1a Three convolution semigroups........... 1 1b Independent increments.............. 2 1c Continuous time................... 3 1d Bad
More informationExercises from other sources REAL NUMBERS 2,...,
Exercises from other sources REAL NUMBERS 1. Find the supremum and infimum of the following sets: a) {1, b) c) 12, 13, 14, }, { 1 3, 4 9, 13 27, 40 } 81,, { 2, 2 + 2, 2 + 2 + } 2,..., d) {n N : n 2 < 10},
More informationDepartment of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016
Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on
More informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More information1 Distributions (due January 22, 2009)
Distributions (due January 22, 29). The distribution derivative of the locally integrable function ln( x ) is the principal value distribution /x. We know that, φ = lim φ(x) dx. x ɛ x Show that x, φ =
More informationGreen s Functions and Distributions
CHAPTER 9 Green s Functions and Distributions 9.1. Boundary Value Problems We would like to study, and solve if possible, boundary value problems such as the following: (1.1) u = f in U u = g on U, where
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 informationEach is equal to CP 1 minus one point, which is the origin of the other: (C =) U 1 = CP 1 the line λ (1, 0) U 0
Algebraic Curves/Fall 2015 Aaron Bertram 1. Introduction. What is a complex curve? (Geometry) It s a Riemann surface, that is, a compact oriented twodimensional real manifold Σ with a complex structure.
More informationTangent spaces, normals and extrema
Chapter 3 Tangent spaces, normals and extrema If S is a surface in 3-space, with a point a S where S looks smooth, i.e., without any fold or cusp or self-crossing, we can intuitively define the tangent
More informationLecture Notes on Metric Spaces
Lecture Notes on Metric Spaces Math 117: Summer 2007 John Douglas Moore Our goal of these notes is to explain a few facts regarding metric spaces not included in the first few chapters of the text [1],
More informationChapter -1: Di erential Calculus and Regular Surfaces
Chapter -1: Di erential Calculus and Regular Surfaces Peter Perry August 2008 Contents 1 Introduction 1 2 The Derivative as a Linear Map 2 3 The Big Theorems of Di erential Calculus 4 3.1 The Chain Rule............................
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationEXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018
EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More information7 About Egorov s and Lusin s theorems
Tel Aviv University, 2013 Measure and category 62 7 About Egorov s and Lusin s theorems 7a About Severini-Egorov theorem.......... 62 7b About Lusin s theorem............... 64 7c About measurable functions............
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 informationChapter 6: The metric space M(G) and normal families
Chapter 6: The metric space MG) and normal families Course 414, 003 04 March 9, 004 Remark 6.1 For G C open, we recall the notation MG) for the set algebra) of all meromorphic functions on G. We now consider
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 informationDifferential Forms and Applications to Complex Analysis, Harmonic Functions, and Degree Theory Michael Taylor
Differential Forms and Applications to Complex Analysis, Harmonic Functions, and Degree Theory Michael Taylor Contents 6. Differential forms 7. Products and exterior derivatives of forms 8. The general
More information10.8 Further Applications of the Divergence Theorem
10.8 Further Applications of the Divergence Theorem Let D be an open subset of R 3, and let f : D R. Recall that the Laplacian of f, denoted by 2 f, is defined by We say that f is harmonic on D provided
More informationVector Calculus, Maths II
Section A Vector Calculus, Maths II REVISION (VECTORS) 1. Position vector of a point P(x, y, z) is given as + y and its magnitude by 2. The scalar components of a vector are its direction ratios, and represent
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE
FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE CHRISTOPHER HEIL 1. Weak and Weak* Convergence of Vectors Definition 1.1. Let X be a normed linear space, and let x n, x X. a. We say that
More informationAfter taking the square and expanding, we get x + y 2 = (x + y) (x + y) = x 2 + 2x y + y 2, inequality in analysis, we obtain.
Lecture 1: August 25 Introduction. Topology grew out of certain questions in geometry and analysis about 100 years ago. As Wikipedia puts it, the motivating insight behind topology is that some geometric
More informationLecture 7: The wave equation: higher dimensional case
Lecture 7: The wave equation: higher dimensional case Some auxiliary facts The co area formula. Let be a bounded domain and be a function of class. Denote by : the level set of. Let be any integrable function.
More informationMathematics for Economists
Mathematics for Economists Victor Filipe Sao Paulo School of Economics FGV Metric Spaces: Basic Definitions Victor Filipe (EESP/FGV) Mathematics for Economists Jan.-Feb. 2017 1 / 34 Definitions and Examples
More informationBasic facts and definitions
Synopsis Thursday, September 27 Basic facts and definitions We have one one hand ideals I in the polynomial ring k[x 1,... x n ] and subsets V of k n. There is a natural correspondence. I V (I) = {(k 1,
More informationEigenvalues and eigenfunctions of the Laplacian. Andrew Hassell
Eigenvalues and eigenfunctions of the Laplacian Andrew Hassell 1 2 The setting In this talk I will consider the Laplace operator,, on various geometric spaces M. Here, M will be either a bounded Euclidean
More informationLECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES)
LECTURE # 0 BASIC NOTATIONS AND CONCEPTS IN THE THEORY OF PARTIAL DIFFERENTIAL EQUATIONS (PDES) RAYTCHO LAZAROV 1 Notations and Basic Functional Spaces Scalar function in R d, d 1 will be denoted by u,
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 informationMetric spaces and metrizability
1 Motivation Metric spaces and metrizability By this point in the course, this section should not need much in the way of motivation. From the very beginning, we have talked about R n usual and how relatively
More informationIntroduction to Topology
Introduction to Topology Randall R. Holmes Auburn University Typeset by AMS-TEX Chapter 1. Metric Spaces 1. Definition and Examples. As the course progresses we will need to review some basic notions about
More informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
More information10 Typical compact sets
Tel Aviv University, 2013 Measure and category 83 10 Typical compact sets 10a Covering, packing, volume, and dimension... 83 10b A space of compact sets.............. 85 10c Dimensions of typical sets.............
More information3. The Sheaf of Regular Functions
24 Andreas Gathmann 3. The Sheaf of Regular Functions After having defined affine varieties, our next goal must be to say what kind of maps between them we want to consider as morphisms, i. e. as nice
More informationThe theory of manifolds Lecture 2
The theory of manifolds Lecture 2 Let X be a subset of R N, Y a subset of R n and f : X Y a continuous map. We recall Definition 1. f is a C map if for every p X, there exists a neighborhood, U p, of p
More informationMath 342 Partial Differential Equations «Viktor Grigoryan
Math 342 Partial ifferential Equations «Viktor Grigoryan 3 Green s first identity Having studied Laplace s equation in regions with simple geometry, we now start developing some tools, which will lead
More informationLecture notes: Introduction to Partial Differential Equations
Lecture notes: Introduction to Partial Differential Equations Sergei V. Shabanov Department of Mathematics, University of Florida, Gainesville, FL 32611 USA CHAPTER 1 Classification of Partial Differential
More informationThe Heine-Borel and Arzela-Ascoli Theorems
The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them
More informationAssignment-10. (Due 11/21) Solution: Any continuous function on a compact set is uniformly continuous.
Assignment-1 (Due 11/21) 1. Consider the sequence of functions f n (x) = x n on [, 1]. (a) Show that each function f n is uniformly continuous on [, 1]. Solution: Any continuous function on a compact set
More informationMid Term-1 : Practice problems
Mid Term-1 : Practice problems These problems are meant only to provide practice; they do not necessarily reflect the difficulty level of the problems in the exam. The actual exam problems are likely to
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 informationFrom now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.
Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationExistence and Uniqueness
Chapter 3 Existence and Uniqueness An intellect which at a certain moment would know all forces that set nature in motion, and all positions of all items of which nature is composed, if this intellect
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More information9 Sequences of Functions
9 Sequences of Functions 9.1 Pointwise convergence and uniform convergence Let D R d, and let f n : D R be functions (n N). We may think of the functions f 1, f 2, f 3,... as forming a sequence of functions.
More informationINTEGRATION WORKSHOP 2003 COMPLEX ANALYSIS EXERCISES
INTEGRATION WORKSHOP 23 COMPLEX ANALYSIS EXERCISES DOUGLAS ULMER 1. Meromorphic functions on the Riemann sphere It s often useful to allow functions to take the value. This exercise outlines one way to
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 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 informationContinuity of convex functions in normed spaces
Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
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 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 informationUNDERGROUND LECTURE NOTES 1: Optimality Conditions for Constrained Optimization Problems
UNDERGROUND LECTURE NOTES 1: Optimality Conditions for Constrained Optimization Problems Robert M. Freund February 2016 c 2016 Massachusetts Institute of Technology. All rights reserved. 1 1 Introduction
More information4 Inverse function theorem
Tel Aviv Universit, 2013/14 Analsis-III,IV 53 4 Inverse function theorem 4a What is the problem................ 53 4b Simple observations before the theorem..... 54 4c The theorem.....................
More informationPrinciple of Mathematical Induction
Advanced Calculus I. Math 451, Fall 2016, Prof. Vershynin Principle of Mathematical Induction 1. Prove that 1 + 2 + + n = 1 n(n + 1) for all n N. 2 2. Prove that 1 2 + 2 2 + + n 2 = 1 n(n + 1)(2n + 1)
More informationMetric Spaces Math 413 Honors Project
Metric Spaces Math 413 Honors Project 1 Metric Spaces Definition 1.1 Let X be a set. A metric on X is a function d : X X R such that for all x, y, z X: i) d(x, y) = d(y, x); ii) d(x, y) = 0 if and only
More information1. Continuous Functions between Euclidean spaces
Math 441 Topology Fall 2012 Metric Spaces by John M. Lee This handout should be read between Chapters 1 and 2 of the text. It incorporates material from notes originally prepared by Steve Mitchell and
More informationB553 Lecture 3: Multivariate Calculus and Linear Algebra Review
B553 Lecture 3: Multivariate Calculus and Linear Algebra Review Kris Hauser December 30, 2011 We now move from the univariate setting to the multivariate setting, where we will spend the rest of the class.
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 informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationSome analysis problems 1. x x 2 +yn2, y > 0. g(y) := lim
Some analysis problems. Let f be a continuous function on R and let for n =,2,..., F n (x) = x (x t) n f(t)dt. Prove that F n is n times differentiable, and prove a simple formula for its n-th derivative.
More informationBootcamp. Christoph Thiele. Summer As in the case of separability we have the following two observations: Lemma 1 Finite sets are compact.
Bootcamp Christoph Thiele Summer 212.1 Compactness Definition 1 A metric space is called compact, if every cover of the space has a finite subcover. As in the case of separability we have the following
More informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationLECTURE 5: THE METHOD OF STATIONARY PHASE
LECTURE 5: THE METHOD OF STATIONARY PHASE Some notions.. A crash course on Fourier transform For j =,, n, j = x j. D j = i j. For any multi-index α = (α,, α n ) N n. α = α + + α n. α! = α! α n!. x α =
More informationIn this chapter we study elliptical PDEs. That is, PDEs of the form. 2 u = lots,
Chapter 8 Elliptic PDEs In this chapter we study elliptical PDEs. That is, PDEs of the form 2 u = lots, where lots means lower-order terms (u x, u y,..., u, f). Here are some ways to think about the physical
More information(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε
1. Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More informationAn Introduction to Partial Differential Equations in the Undergraduate Curriculum
An Introduction to Partial Differential Equations in the Undergraduate Curriculum John C. Polking LECTURE 12 Heat Transfer in the Ball 12.1. Outline of Lecture The problem The problem for radial temperatures
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 information