Calculus I 22

import%20marimo%0A%0A__generated_with%20%3D%20%220.13.7%22%0Aapp%20%3D%20marimo.App()%0A%0A%0A%40app.cell%0Adef%20_()%3A%0A%20%20%20%20import%20marimo%20as%20mo%0A%0A%20%20%20%20return%20(mo%2C)%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20nav_menu%20%3D%20mo.nav_menu(%0A%20%20%20%20%20%20%20%20%7B%0A%20%20%20%20%20%20%20%20%20%20%20%20%22%2Findex.html%22%3A%20f%22%7Bmo.icon('lucide%3Ahome')%7D%20Home%22%2C%0A%20%20%20%20%20%20%20%20%7D%2C%0A%20%20%20%20%20%20%20%20orientation%3D%22vertical%22%2C%0A%20%20%20%20)%0A%20%20%20%20nav_menu%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%23%204.3%20Evaluating%20Definite%20Integrals%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%23%23%20Evaluation%20Theorem%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20r%22%22%22%0A%20%20%20%20If%20%24f%24%20is%20**integrable**%20on%20%24%5Ba%2C%20b%5D%24%2C%20then%20%24%5Cdisplaystyle%20%5Cint%5Climits_a%5Eb%20f(x)%20dx%20%3D%20F(b)%20-%20F(a)%24%2C%20where%20%24F%24%20is%20an%20antiderivative%20of%20%24f%24%2C%20i.e.%20%24F%24%20is%20*any*%20function%20satisfies%20that%20%24F'(x)%20%3D%20f(x)%24.%0A%0A%20%20%20%20There%20are%20several%20remarks%20about%20the%20theorem%3A%0A%0A%20%20%20%201.%20This%20theorem%20is%20a%20part%20of%20the%20so%20called%20'Fundamental%20Theorem%20of%20Calculus'%3B%0A%20%20%20%202.%20A%20rather%20surprising%20fact%3A%20**the%20valuation%20of%20definite%20integral%20depends%20only%20on%20the%20values%20of%20antiderivative%20at%20two%20end-points**%3B%0A%20%20%20%203.%20Same%20as%20all%20the%20theorem%20before%2C%20whenever%20we%20use%20a%20theorem%20we%20need%20to%20be%20sure%20if%20we%20satisfy%20the%20assumption.%20With%20this%20theorem%2C%20we%20need%20to%20have%20%24f%24%20being%20**integrable**%20on%20a%20closed%20interval%20%24%5Ba%2C%20b%5D%24.%20Recall%20that%20if%20%24f%24%20is%20continuous%2C%20then%20%24f%24%20is%20integrable%3A%20thus%20continuous%20function%20always%20satisfies%20the%20assumption.%20However%2C%20continuity%20is%20not%20necessary%2C%20see%20examples%20below%3B%0A%20%20%20%204.%20Any%20antiderivative%20works.%20Remember%20if%20%24F%24%20is%20an%20antiderivative%20of%20%24f%24%2C%20then%20%24F%2Bc%24%20is%20also%20an%20antiderivative%20of%20%24f%24%20for%20any%20%24c%24.%20For%20example%2C%20%24%5Ccos(x)%24%20is%20antiderivative%20of%20%24%5Csin(x)%24%2C%20%24%5Ccos(x)%20%2B%20c%24%20is%20also%20an%20antiderivative%20of%20%24%5Csin(x)%24.%20**But%20usually%20when%20we%20evaluate%20definite%20integral**%2C%20we%20use%20the%20'simplest'%20antiderivative%2C%20i.e.%20%24c%20%3D%200%24.%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%23%23%23%20Examples%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20r%22%22%22%0A%20%20%20%20Evaluate%20the%20following%20definite%20integral.%0A%0A%20%20%20%201.%20%24%5Cdisplaystyle%20%5Cint%5Climits_0%5E21%2B3y-y%5E2dy%24.%20This%20example%20has%20nothing%20special%3A%20the%20integrand%20is%20continuous%20everywhere%2C%20so%20in%20particular%20it%20is%20continuous%20on%20%24%5B0%2C2%5D%24.%20It's%20antiderivative%20(general%20form)%20is%20%24%5Cdisplaystyle%20y%20%2B%20%5Cfrac%7B3%7D%7B2%7Dy%5E2%20-%20%5Cfrac%7B1%7D%7B3%7Dy%5E3%20%2B%20c%24%20and%20we%20can%20take%20%24c%20%3D%200%24%20and%20set%20%24%5Cdisplaystyle%20F(y)%20%3D%20y%20%2B%20%5Cfrac%7B3%7D%7B2%7Dy%5E2%20-%20%5Cfrac%7B1%7D%7B3%7Dy%5E3%24.%20Thus%20%24%5Cdisplaystyle%20%5Cint%5Climits_0%5E21%2B3y-y%5E2dy%24%20%24%3D%20F(2)%20-%20F(0)%24%20%24%5Cdisplaystyle%20%3D%202%20%2B%206%20-%20%5Cfrac%7B8%7D%7B3%7D%20-%200%24%20%24%5Cdisplaystyle%20%3D%20%5Cfrac%7B16%7D%7B3%7D%24%3B%0A%20%20%20%202.%20%24%5Cdisplaystyle%20%5Cint%5Climits_%7B-%5Cpi%7D%5E%7B%5Cpi%7D%20%5Csin(x)%20dx%24.%20Again%2C%20the%20integrand%20is%20continuous%20(everywhere).%20In%20this%20example%2C%20notice%20that%20%24%5Csin(x)%24%20is%20an%20odd%20function%20and%20lower%20limit%20equals%20negative%20upper%20limit%2C%20thus%20the%20area%20of%20regions%20we%20are%20evaluating%20'cancel'%20each%20other%2C%20the%20result%20should%20be%20%240%24%3B%0A%20%20%20%203.%20%24%5Cdisplaystyle%20%5Cint%5Climits_%7B-1%7D%5E1%20%5Cfrac%7B1%7D%7Bx%7D%20dx%24.%20Recall%20from%20last%20lecture%2C%20this%20integral%20is%20not%20defined%20although%20the%20integrand%20is%20also%20an%20odd%20function%20and%20lower%20limit%20equals%20negative%20upper%20limit.%20The%20problem%20is%20that%20the%20integrand%20is%20not%20bounded%3B%0A%20%20%20%204.%20%24%5Cdisplaystyle%20%5Cint%5Climits_%7B-%5Cpi%7D%5E%7B%5Cpi%7D%20%7C%20%5Csin(x)%20%7C%20dx%24.%20The%20integrand%20is%20continuous%20everywhere%20and%20is%20not%20an%20odd%20function.%20However%2C%20it%20is%20not%20easy%20to%20find%20an%20antiderivative%20of%20%24%7C%20%5Csin(x)%20%7C%24%20so%20we%20cannot%20simply%20evaluate%20it%20like%20example%201.%20The%20way%20we%20evaluate%20this%20integral%20to%20to%20write%20%24%5Cdisplaystyle%20%5Cint%5Climits_%7B-%5Cpi%7D%5E%7B%5Cpi%7D%20%7C%20%5Csin(x)%20%7C%20dx%24%20%24%5Cdisplaystyle%20%3D%20%5Cint%5Climits_%7B-%5Cpi%7D%5E%7B0%7D%20-%5Csin(x)%20dx%20%2B%20%5Cint%5Climits_%7B0%7D%5E%7B%5Cpi%7D%20%5Csin(x)%20dx%24%20then%20evaluate%20in%20the%20usual%20way.%20Notice%20in%20the%20first%20part%20the%20integrand%20becomes%20%24-%5Csin(x)%24%20because%20%24%5Csin(x)%24%20on%20%24(-%5Cpi%2C0)%24%20is%20negative%20but%20%24%7C%20%5Csin(x)%20%7C%24%20should%20be%20positive%3B%0A%20%20%20%205.%20%24%5Cdisplaystyle%20%5Cint%5Climits_%7B-1%7D%5E1f(x)dx%24%20where%20%24f(x)%20%3D%20%5Cbegin%7Bcases%7D1%26%2Cx%20%5Cin%20%5B-1%2C0%5D%20%5C%5C%20%5Csin(x)%26%2Cx%20%5Cin%20(0%2C1%5D%5Cend%7Bcases%7D%24.%20An%20easy%20calculation%20would%20reveal%20that%20%24f%24%20is%20not%20continuous%20on%20%24%5B-1%2C1%5D%24.%20However%2C%20we%20can%20view%20this%20definite%20integral%20as%20'calculate%20the%20area%20under%20%24y%20%3D%201%24%20on%20%24%5B-1%2C%200%5D%24%20and%20the%20area%20under%20%24y%20%3D%20%5Csin(x)%24%20on%20%24(0%2C1%5D%24'%2C%20and%20notice%20that%20the%20area%20under%20%24y%20%3D%20%5Csin(x)%24%20on%20%24(0%2C1%5D%24%20is%20really%20the%20same%20as%20the%20area%20under%20%24y%20%3D%20%5Csin(x)%24%20on%20%24%5B0%2C1%5D%24%20(why%3F).%20Thus%20%24%5Cdisplaystyle%20%5Cint%5Climits_%7B-1%7D%5E1f(x)dx%24%20%24%5Cdisplaystyle%20%3D%20%5Cint%5Climits_%7B-1%7D%5E01dx%20%2B%20%5Cint%5Climits_0%5E1%5Csin(x)dx%24.%20In%20particular%2C%20this%20means%20**sometimes**%20we%20can%20do%20something%20to%20discontinuous%20%24f%24%20so%20that%20we%20can%20still%20take%20the%20definite%20integral%3B%0A%20%20%20%206.%20Again%20consider%20%24%5Cdisplaystyle%20%5Cint%5Climits_%7B-1%7D%5E1%20%5Cfrac%7B1%7D%7Bx%7D%20dx%24.%20The%20integrand%20is%20not%20continuous%20at%20%240%24%2C%20and%20we%20know%20that%20this%20definite%20integral%20is%20not%20defined.%20The%20point%20is%3A%20indeed%20it%20is%20**not%20always**%20that%20we%20can%20integrate%20discontinuous%20functions%3B%0A%20%20%20%207.%20**Simplification%20is%20crucial%20in%20taking%20integral**.%20Unlike%20taking%20derivative%2C%20where%20the%20product%20rule%2Fquotient%20rule%2Fchain%20rule%20can%20help%20us%20take%20derivative%20of%20all%20elementary%20functions%2C%20there%20is%20no%20such%20powerful%20rule%20in%20taking%20integral%20(there%20are%20rules%2C%20but%20not%20that%20powerful).%20Thus%20simplification%20will%20really%20be%20helpful.%20For%20example%2C%20it%20is%20impossible%20to%20evaluate%20%24%5Cdisplaystyle%20%5Cint%5Climits_%7B0%7D%5E%7B%5Cpi%7D%5Cfrac%7B%5Csin(x)%20%2B%20%5Csin(x)%5Ctan%5E2(x)%7D%7B%5Csec%5E2(x)%7Ddx%24%20directly.%20However%2C%20if%20we%20simplify%20the%20integrand%20and%20realize%20%24%5Cdisplaystyle%20%5Cfrac%7B%5Csin(x)%20%2B%20%5Csin(x)%5Ctan%5E2(x)%7D%7B%5Csec%5E2(x)%7D%24%20%24%3D%5Csin(x)%24%2C%20then%20the%20definite%20integral%20is%20actually%20very%20easy%20to%20evaluate.%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%23%23%20Motion%20Problem%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20r%22%22%22%0A%20%20%20%20Let%20%24v(t)%20%3D%20t%5E2%20-%202t%20-%208%24%20and%20%241%20%5Cle%20t%20%5Cle%206%24.%20%24v%24%20is%20the%20velocity%20function%20for%20a%20particle%20along%20a%20straight%20line.%0A%0A%20%20%20%20What%20is%20the%20displacement%20function%3F%0A%0A%20%20%20%20To%20answer%20this%20question%2C%20probably%20we%20should%20ask%20first%2C%20what%20is%20a%20displacement%20function%3F%20From%20the%20name%2C%20displacement%20function%20should%20describe%20the%20displacement%20of%20the%20particle.%20That%20is%2C%20if%20we%20input%20the%20time%20%24t%24%2C%20the%20output%20should%20be%20the%20displacement%20of%20the%20particle%20during%20the%20time%20between%20starting%20point%20and%20%24t%24.%20In%20particular%2C%20if%20we%20know%20the%20position%20function%20%24s(t)%24%2C%20then%20in%20this%20problem%2C%20the%20displacement%20function%20should%20be%20%24p(t)%20%3D%20s(t)%20-%20s(1)%24.%0A%0A%20%20%20%20Recall%20that%20the%20derivative%20of%20position%20function%20gives%20us%20the%20velocity%20function.%20Thus%20position%20function%20is%20an%20antiderivative%20of%20the%20velocity%20function.%20Thus%20by%20the%20Evaluation%20Theorem%2C%20%24%5Cdisplaystyle%20s(t)%20-%20s(1)%20%3D%20%5Cint%5Climits_1%5Et%20v(x)%20dx%24.%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20r%22%22%22%0A%20%20%20%20%2F%2F%2F%20admonition%20%7C%20Dummy%20Variable%0A%20%20%20%20%20%20%20%20type%3A%20info%0A%0A%20%20%20%20Notice%20we%20use%20another%20variable%20for%20the%20input%20of%20%24v%24.%20In%20general%2C%20the%20variable%20in%20the%20integrand%20can%20be%20changed%20arbitrarily%20(afterall%2C%20it%20is%20really%20just%20a%20name)%2C%20%24%5Cdisplaystyle%20%5Cint_a%5Eb%20f(x)dx%24%20is%20the%20**same%20things**%20as%20%24%5Cdisplaystyle%20%5Cint_a%5Eb%20f(%F0%9F%8D%A9)d%F0%9F%8D%A9%24.%0A%0A%20%20%20%20Here%20we%20used%20a%20general%20rule%3A%20**never%20let%20a%20variable%20appear%20both%20after%20%24d%24%20and%20in%20the%20upper%20or%20lower%20limit**%2C%20for%20example%2C%20it%20is%20problematic%20to%20write%20%24%5Cdisplaystyle%20%5Cint_x%5Eb%20f(x)%20dx%24.%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20r%22%22%22%0A%20%20%20%20In%20other%20words%2C%20%24%5Cdisplaystyle%20p(t)%20%3D%20%5Cint%5Climits_1%5Et%20x%5E2%20-%202x%20-%208%20dx%24.%20Choose%20an%20antiderivative%20for%20%24v(x)%24%2C%20say%20%24%5Cdisplaystyle%20V(x)%20%3D%20%5Cfrac%7B1%7D%7B3%7Dx%5E3%20-%20x%5E2%20-%208x%24%2C%20then%20%24%5Cdisplaystyle%20p(t)%20%3D%20V(t)%20-%20V(1)%20%3D%20%5Cfrac%7B1%7D%7B3%7Dt%5E3%20-%20t%5E2%20-%208t%20-%20(%5Cfrac%7B1%7D%7B3%7D%20-%201%20-%208)%24%20%24%5Cdisplaystyle%20%3D%20%5Cfrac%7B1%7D%7B3%7Dt%5E3%20-%20t%5E2%20-%208t%20%2B%20%5Cfrac%7B26%7D%7B3%7D%24.%0A%0A%20%20%20%20What%20is%20the%20displacement%20during%20the%20time%20period%20%241%20%5Cle%20t%20%5Cle%206%24%3F%0A%0A%20%20%20%20This%20question%20is%20the%20same%20as%20'what%20is%20%24p(6)%24%3F'.%20Plugin%20%24t%20%3D%206%24%2C%20we%20get%20%24%5Cdisplaystyle%20p(6)%20%3D%20%5Cfrac%7B1%7D%7B3%7D6%5E3%20-%206%5E2%20-%208%5Ccdot%206%20%2B%20%5Cfrac%7B26%7D%7B3%7D%20%3D%20-%5Cfrac%7B10%7D%7B3%7D%24%20(it%20is%20the%20same%20as%20%24%5Cdisplaystyle%20%5Cint_1%5E6v(t)dt%24).%0A%0A%20%20%20%20What%20is%20the%20distance%20travelled%20during%20this%20time%20period%3F%0A%0A%20%20%20%20This%20question%20is%20asking%20us%20to%20evaluate%20the%20**unsigned%20area**%20of%20region%20under%20curve%20%24v(t)%24%2C%20or%20say%2C%20the%20area%20under%20curve%20%24%7C%20v(t)%20%7C%24.%20In%20order%20to%20find%20it%2C%20we%20need%20to%20know%20when%20is%20%24v(t)%24%20positive%20and%20when%20is%20%24v(t)%24%20negative.%0A%0A%20%20%20%20Write%20%24v(t)%20%3D%20t%5E2%20-%202t%20-%208%20%3D%20(t-4)(t%2B2)%24%2C%20we%20should%20be%20able%20to%20derive%20from%20there%20that%20if%20%241%20%5Cle%20t%20%5Cle%204%24%2C%20%24v(t)%20%5Cle%200%24%2C%20and%20if%20%244%20%5Cle%20t%20%5Cle%206%24%2C%20then%20%24v(t)%20%5Cge%200%24.%20Thus%20%24%5Cdisplaystyle%20%5Cint_1%5E6%20%7C%20v(t)%20%7C%20dt%20%3D%20%5Cint_1%5E4%20-v(t)%20dt%20%2B%20%5Cint_4%5E6%20v(t)%20dt%24%20%24%5Cdisplaystyle%20%3D%20%5Cint_1%5E4%20-%20t%5E2%20%2B%202t%20%2B%208%20dt%20%2B%20%5Cint_4%5E6%20t%5E2%20-%202t%20-%208%20dt%24.%20Evaluate%20in%20the%20usual%20ways%2C%20we%20get%20%24%5Cdisplaystyle%20%3D%2018%20%2B%20%5Cfrac%7B44%7D%7B3%7D%24%20%24%3D%20%5Cfrac%7B98%7D%7B3%7D%24.%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(r%22%22%22%23%23%20Indefinite%20Integral%22%22%22)%0A%20%20%20%20return%0A%0A%0A%40app.cell%0Adef%20_(mo)%3A%0A%20%20%20%20mo.md(%0A%20%20%20%20%20%20%20%20r%22%22%22%0A%20%20%20%20The%20indefinite%20integral%20is%20not%20at%20all%20a%20new%20concept.%20It%20is%20really%20just%20another%20name%20for%20antiderivative.%20When%20we%20talk%20about%20'indefinite%20integral%20of%20%24f%24'%20we%20are%20assuming%20we%20are%20talking%20about%20'general%20form%20of%20antiderivative%20of%20%24f%24'.%20In%20particular%2C%20**do%20not%20forget%20%24%2Bc%24**.%20The%20notation%20of%20indefinite%20integral%20of%20%24f%24%20is%20%24%5Cdisplaystyle%20%5Cint%20f(x)%20dx%24.%0A%0A%20%20%20%20By%20above%2C%20we%20have%20%24%5Cdisplaystyle%20%5Cint%20f(x)%20dx%20%3D%20F(x)%20%2B%20c%24%20where%20%24F(x)%24%20is%20a%20function%20such%20that%20%24F'(x)%20%3D%20f(x)%24%20and%20%24c%24%20is%20an%20arbitrary%20number.%20So%20for%20example%2C%20the%20indefinite%20integral%20%24%5Cdisplaystyle%20%5Cint%20%5Csin(x)%20dx%24%20equals%20%24-%5Ccos(x)%2Bc%24.%0A%20%20%20%20%22%22%22%0A%20%20%20%20)%0A%20%20%20%20return%0A%0A%0Aif%20__name__%20%3D%3D%20%22__main__%22%3A%0A%20%20%20%20app.run()%0A