arxiv:math/ v1 [math.ca] 1 Oct 2003

Transcription

1 arxiv:mat/ v1 [mat.ca] 1 Oct 2003 Cange of Variable for Multi-dimensional Integral 4 Marc 2003 Isidore Fleiscer Abstract Te cange of variable teorem is proved under te sole ypotesis of differentiability of te transformation. Specifically, it is sown under tis ypotesis tat te transformed integral equals te given one over every measurable subset on wic te transformation is injective; tat countably many of tese subsets cover te domain of invertibility; and tat its complement te domain of non-invertibility is measurable and so may be broken off and andled separately. A.M.S. Subj. Classification 26B12, 26B15, 28A75. 1

2 Tecangeofvariableformulainmulti-dimensionalcalculus, ϕdy = F() ϕ(f) JF dz, is usually establised on te assumption tat F is a oneto-one selfmap of n-space continuously differentiable wit non-vanising Jacobian J F in an open domain containing, F() is a closed bounded domain and ϕ is real-valued integrable. Te integrals make sense owever and tus te equality can be formulated under more general conditions, te natural most general being just measurability of te domains and (Lebesgue) integrability of te integrands. Given te standard properties of te Lebesgue integral, it suffices to obtain te equality for te integrand ϕ = 1: F() = F dz, a formula wic will be sown valid on measurable subsets on wic F is injective. Te absolute value of te Jacobian of F as been rewritten F (for reasons wic will appear below). If one wises to cumulate tese subsets (wic will be sown to cover F > 0 countably) one will need to replace te value of te measure on te left wit te integral of te Banac indicatrix N(y), wic counts te number of elements of sent by F on y. Also, te zero-set of F will be sown to ave measure zero, wic permits establising te equality over it seperately. Tis form as been attained gradually see te successive editions of Rudin and appears finally in is most recent edition as well as in Smit wit, owever, some superfluous restrictions and wat is peraps more irritating an appeal in bot cases to Brouwer teory. A purely analytic proof can be extracted by specialization from a proof of te area formula in vans et al. but as given tere contains some gaps and unnecessary detours. Tus te proof below, accessible to anyone wit a modest command of Lebesgue teory, sould offer some appeal. Tis paper was submitted to te Montly in September 1998, tus was contemporaneous wit Lax s wic (altoug far less complete) appeared in te Montly just wen tis one was rejected; a couple of years later, Lax publised an extension (II in te References) wic still does not tell te full story. Te sequel is organized as follows: Te next five paragraps motivate and introduce te scale factor, wic is te ratio by wic a linear selfmap augments (or reduces) volume, and verifies its continuity for te operator norm. Te following tree paragraps recall te definition of te derivative for vector-valued functions and sow its Borel measurability as a function from te domain of differentibility to te operator normed linear selfmaps. Te remaining tree paragraps ten justify te integrability of te integrand, te break-off of its zero set, and te desired equality. For real-valued functions of a single real variable, te derivative equals simultaneously two a priori distinct caracteristics of a function F in te neigborood of an argument x: it is te coefficient F (x) of te closest linear approximation to F near x and it is te slope of te tangent to te grap at x. Tese entities need to be distinguised in iger dimension; let s start wit slope. For a linear function on te line, te absolute value of its slope is te 2

3 ratio of te lengt of te image of an interval by its lengt: it is te same for all intervals and so may as well be defined as te lengt of te image of te unit semi-open interval [0, 1). For a linear selfmap L of n-space, define analogously te slope or scale factor L as te ratio of te volume of te image of a box (i.e. a product of intervals) by its volume. Tis will be sown in a moment to be independent of te box and so may as well be defined as te volume of te image of te unit semi-open box (s.o.b.), i.e. te set of x s wose coordinates satisfy 0 x i < 1. (In te plane te image of te unit square is te parallelogram spanned by te images of te co-ordinate vectors, wose cross product gives its area; to recognize L in general as te absolute value of te determinant of te image vectors, one sould arrange to obtain tese as non negative multiples of an ortonormal basis. However, tis identification is not used in wat follows.) Divide te unit s.o.b. into disjoint equal size s.o.b. s of side 1 k : teir volume is 1 k n and tere are k n of tem, sent into eac oter by translation. If L is invertible it sends tem into disjoint parallelepipeds, also sent into eac oter by translation, ence of equal volume, wose union as volume L tus eac image as volume ( 1 k n ) L. (If L is not invertible it maps into a lower dimensional space and all images ave n-volume zero.) Any open U is a disjoint union of countably many s.o.b. s, so its Lebesgue n- volume is also increased L times by L and tus finally L() = ( L) for every set. is a continuous function on te L, topologized by uniform convergence on bounded sets i.e. on any bounded wit non-void interior. Te image (by every L) of te closed unit box is compact, ence its epsilon neigboroods are a base around te image: so a uniformly convergent sequence as image measures wit lim sup te image measure of te limit L. To obtain te dual inequality, apply te same reasoning to te complement of te open unit box in some larger closed box. A vector-valued function of a real variable can be differentiated in te classical way by taking te vector limit of te difference quotient, but tis is already impossible even for a scalar-valued function of a vector variable. Wat one can do is to fix a vector u and take te limit of F(z+u) F(z) as 0. Tis limit would ten exist for, and be positive omogeneous in, every positive multiple pu in place of u. It tus suffices to postulate tese limits for unit vectors u; tey are called te directional derivatives (of F at z) in te directions u (te unit vectors are construed to point in te direction from te origin to teir endpoint on te unit spere; for a function of a single real variable tis is te one-sided derivative and for co-ordinate u, te one-sided partials). Assuming te directional derivatives exist in all directions u at z, one could define te derivative F (z) of F at z as te function wic takes eac u to te directional derivative F (z)u. One will owever require te approac of F(z+u) F(z) to F (z)u to be uniform in te unit vectors bounded for x u; and if F (z) is bounded tis will result in F(x) F(z) x z sufficiently close to z. Tis last may be sown to entail tat F (z)pu := pf (z)u, p 0, acts linearly on vectors pu for a.e. z: accordingly, we now 3

4 strengten te definition by making F (z) a linear operator wose value at every v is te limit as 0, uniform for bounded vector arguments v, of F(z+v) F(z). Te derivative is tus a function from te domain, assumed measurable (follows from F continuous), of differentiability of F to te space of linear selfmaps ofn-space topologized byuniform convergence onte unitball 1 a base at 0 is obtained by taking for every centered open ball te subset of tose wic send te unit ball into it. Tis function will next be sown to be (Borel) measurable: i.e., te inverse image of every open is measurable. Let r m r, te radius ofcentered open ball B in R n, wic is an increasing union of closed balls B m of radius r m wit center zero. Ten F (z)u B entails (by compactness of te u s) tat all but finitely many (in k) of te continuous k [ F ( ] z + k) u F(z) belong to some Bm (recall) uniformly in u; te converse already olds if te belonging is uniform in some countable dense subset of te unit ball. Hence {z : F (z)u B} is te countable union (over m) of te sets were a countable intersection (over u) of lim sup (over k) of te modulus of continuous functions of z and u is r m. Since L as been sown continuous for linear operators L, it follows tat te composite, F (z), is a non-negative measurable function on a measurable subset of n-space, ence as a well-defined Lebesgue integral F (z)dz. (It also follows tat te set were F (z) = 0 is measurable; since te equality for tis set can be establised by a simple calculation, we sall restrict to F (z) > 0 in te sequel.) If F := F (z) is invertible at z ten for v < some δ, F(z + v) F(z) F v [ ε/ F 1 ] v ε F v ; tus (1 ε) F x F z Fx Fz (1 + ε) F x F z for x z < δ. Observe tat for fixed δ te set of z s satisfying (te extremes of) te first inequality is measurable: bot terms are continuous in v and measurable in z so imposing it at a countable dense subset of te ball of radius δ reduces te implication to a countable set of inequalities between measurable functions. Since is a countable union of tese sets for a sequence of δ s, it suffices to establis te teorem on eac of tem. Ten one can replace te fixed argument z of F wit any y in tis subset and still obtain (for tis δ) te extremes of te first, ence also te second, inequality wit y in place of z. Restricting furter to measurable subsets of diameter < δ on wic te values of F lie between (1 ε) and (1 + ε) of its value at z for every vector in te ball of radius δ, pass from te inequality wit y in place of z back to F at z, to attain (1 ε) 2 F x F y Fx Fy (1 + ε) 2 F x F y even for x,y z. (Since tere is a countable cover by suc sets, it suffices to restrict attention to eac of tem.) By te left inequality and invertibility of F at z, F is one-to-one on tis subset. From Fx Fy Gx Gy for any one-to-one F and all x,y in some measurable set follows: FG 1 is non-expansive Lip(1) ence does not increase measure; so F FG 1 G G for eac of its subsets : tus (1 ε) 2n F = (1 ε) 2n F () F() (1+ε) 2n F () = 1 Tis topology is defined by te norm L, te radius of te smallest ball centered at 0 wic contains te image of te centered ball of radius one; by linearity tis L is also te Lipscitz constant. 4

5 (1+ε) 2n F. Since F is one-to-one, it preserves disjointness of subsets and since differentiable, measurability of subsets; ence F( ) is additive on measurable decompositions. By passing to te limit in te definition of te integral one is led at last to (1 ε) 2n F dz F() (1+ε) 2n F dz wit arbitrary ε. References T. M. Apostol, Matematical Analysis, Addison-Wesley (1957). P. Billingsley, Probability and Measure, Jon Wiley & Sons (1979). L. C. vans & R. F. Gariepy, Measure Teory and Fine Properties of Functions, CRC Press (1992). P. D. Lax, Cange of variables in multiple integrals, Amer. Mat. Montly, 106 (1999), ; II, Ibid 108 (2001) I. P. Natanson, Teory of Functions of a Real Variable, F. Ungar (1955). W. F. Pfeffer, Te Riemann Approac to Integration, Cambridge U. Press (1993). W. Rudin, Real and Complex Analysis, 3rd edition, McGraw-Hill (1987). K. T. Smit, Primer of Modern Analysis, Springer (1983). T. Traynor, Cange of Variable for Hausdorff Measure (from te beginning), Rendiconti dell Istit di Mat., Trieste 26 (1994), suppl., / Centre de recerces matématiques Université de Montréal C.P. 6128, succursale centre-ville Montréal, Qc H3C 3J7 fleisci@crm.umontreal.ca 5