《高数双语》课件section 9.5

Section9.5FermatDifferentiationofMultivariableImplicitFunctionsJacobi,Jakob2DifferentiationofImplicitFunctions[隐函数]Foranequationifthereexistsafunctionofnvariablessuchthatwhenwesubstituteitintotheequation,theequationbecomesanidentityiscalledanimplicitfunctiondeterminedbytheequation.thenDifferentiationofImplicitFunctionsTheorem(Existenceofimplicitfunctions隐函数存在定理)(2)BothpartialderivativesofthefunctionFarecontinuousinasatisfiestheconditions:Supposethatthefunction(3)Then(1)neighborhoodofthepointandina(1)Thereexistsoneandonlyonefunctionhasacontinuousderivativeinthe(2)Thefunctionsuchthatneighbourhoodofthepointandneighbourhood34DifferentiationofImplicitFunctionsTheproofofthistheoremisbeyondthescopeofthisbook.Wejustwithacontinuousderivative.determinesaimplicitfunctiondeducetheformulaundertheassumptionthattheequationweobtainSubstitutingintoDifferentiatebothsidesoftheaboveidentityusingthechainrule,wehavethereexistsaneighbourhoodSinceiscontinuousandthussuchthatin5DifferentiationofImplicitFunctionsisdeterminedbySimilarly,ifthefunctionoftwovariablesinthreevariables,thenwehaveanequationDifferentiatebothsidesoftheaboveidentity,wehavesothatSupposethatthefunctionz=z(x,y)isdeterminedbytheequationFindthetotaldifferentialdzatthepoint(1,0,-1).6DifferentiationofImplicitFunctionsExampleSolution(I)Usingtheformulaforderivation7DifferentiationofImplicitFunctionsSolution(I)UsingtheformulaforderivationTherefore,8DifferentiationofImplicitFunctionsSolution(II)UsingtheinvarianceofthetotaldifferentialformFinish.9DifferentiationofImplicitFunctionsSolutionObviously,allthefirstorderLethascontinuousfirstExampleSupposethatthefunctionisdeterminedbyorderpartialderivativesandthefunctionconstants.Findwherea,bandcarealltheequationexistandpartialderivativesofthecompositefunctionwehavearecontinuous.soLet10DifferentiationofImplicitFunctionsDefinedByMoreThanOneEquationConsiderthesystemoftwoequationsoffunctionsIngeneral,twooftheThesetwoequationscontainfourvariables.Iftheycandeterminetwovariablescanbedeterminedbytheothers.functionsoftwovariableswithcontinuouspartialderivativessothatDifferentiatebothsidesofaboveidentities,wehave11DifferentiationofImplicitFunctionsDefinedByMoreThanOneEquationThesetwoequationsformalinearalgebraicsystemforthetwounknownandquantitiesIfthedeterminantofcoefficientsthen,bytheCramer’srule,weobtainBythesameway,wehaveJacobi,Jakob(1804-1851)Germanmathematician12DifferentiationofImplicitFunctionsDefinedByMoreThanOneEquationExampleFindthepartialderivativesoftheimplicitfunctionsdeterminedbytheequationsandSolution(I)Byformulasofderivativesoftheimplicitfunctions,ifweobtainSimilarly,wehaveand13DifferentiationofImplicitFunctionsDefinedByMoreThanOneEquationSolution(II)Findthetotaldifferentialstobothsidesoftheequations.wehaveWhileExampleFindthepartialderivativesoftheimplicitfunctionsdeterminedbytheequationsandFermatDerivativesandDifferentialsofVector-valuedFunctionsAppendix15Vector-ValuedFunctionsJustaswedidforplanarcurvesbefore,totractaparticlemovinginspace,werunavectorrfromtheorigintotheparticleandstudythechangesinr.Iftheparticle’spositioncoordinatesaretwice-differentiablefunctionsoftime,thensoisr,andwecanfindtheparticle’svelocityandaccelerationvectorsatanytimebydifferentiatingr.Conversely,ifwehaveenoughinformationabouttheparticle’sinitialvelocityandposition,wecanfindrasafunctionoftimebyintegration.16SpaceCurvesWhenaparticlemovesthroughspaceduringatimeintervalI,wethinkoftheparticle’scoordinatesasfunctionsdefinedonI:makeupthecurveinspaceThepointsTheequationsandintervalinlastthatwecalltheparticle’spath.equationparametrizethecurve.AcurveinspacecanalsobewroteinThevectorvectorform.definesrasavectorfunctionoftherealvariabletontheintervalI.Moregenerally,avectorfunctionorvector-valuedfunctiononadomainsetDisarulethatassignsavectorinspacetoeachelementinD.17LimitsandContinuityDefinitionLimitandContinuity,thenIfinitsdomainifAvectorfunctioniscontinuousatapointThefunctioniscontinuousifitiscontinuousateverypointinitsdomain.ExamplethenSupposethat18DerivativesisdifferentiableifitisdifferentiableateverypointiscontinuousandThatisiff,gandhhavecontinuousfirstderivativesthatareAvectorfunctionDefinitionDerivativeataPoint

isdifferentiable

atThevectorfunctionThederivativeisthevectoriff,g,andharedifferentiableatt0.ofitsdomain.Thecurvetracedbyrissmoothifnever0.notsimultaneouslyby0.19DifferentiationRulesLetuandvbedifferentiablevectorfunctionsoft,Caconstantvector,