浅谈隐函数及其应用毕业论文.docx

分类号：
学校代码：11460
学 号：11201910

南京晓庄学院本科生毕业论文

浅谈隐函数及其应用
On the implicit function and its application

所属院(部)：信息工程学院
学生姓名： 王林林
指导教师： 马圣容
研究起止日期：二○一四年十一月至二○一五年五月

【摘要】本文从隐函数定理的内容、隐函数的概念、证明方法，以及隐函数定理的应用几个方面进
行了简单的介绍。首先从隐函数定理出发，介绍并证明隐函数组定理和反函数组定理。 通过这些推论，我们知道了隐函数定理的在很多方面都有着广泛的用途。 最后讨论了隐函数定理在计算偏导数和导数、几何应用这几个方面的应用并做了具体的论述.
【关键词】 隐函数定理； 应用； 导数； 证明

【Abstract】 In this paper, the contents of the implicit function theorem, the concept of implicit function, the proof method, and the application of the implicit function theorem are briefly introduced.. From the implicit function theorem, we introduce and prove the implicit function theorem and inverse function group theorem.. Through these inferences, we know that the implicit function theorem is widely used in many aspects.. At last, the application of the implicit function theorem in the calculation of partial derivative and derivative, and its application in geometrical application are discussed.
【Key words】 implicit function theorem; Application; Optimization theory; proof

不要删除行尾的分节符，此行不会被打印
- II -
目 录
摘要 I
Abstract II
绪论 1
第1章 隐函数 2
1. 1 隐函数 2
1. 2 隐函数组的概念 2
1. 3 反函数组的概念 3
第2章 隐函数定理 4
2. 1 隐函数定理 4
2. 2 隐函数组定理 6
2. 3 反函数组定理 7
第3章 隐函数定理的应用 9
3. 1 计算导数和偏导数 9
3. 1. 1 隐函数的导数 9
3. 1. 2 隐函数组的导数 9
3. 1. 3 对数求导法 10
3. 1. 4 由参数方程所确定的函数的导数 10
3. 2 几何应用 11
3. 2. 1 空间曲线的切线与法平面 11
3. 2. 2 空间曲面的切平面与法线 13

结论 18
参考文献 19
致谢 20

怎么回事？

绪 论
我们平时所遇到的大多是显函数，但是在实际问题中，有些问题显函数是无法解决的。隐函数的产生为现实生活中的很多问题带来了便捷。本论文就隐函数的定理做了一些研究，并列举了一些实例，对此进行了有效的验证。通过对隐函数的几个方面的研究，使我对加深了对隐函数的认识。
文章主要介绍了隐函数定理等相关推论，并给出了隐函数定理在计算偏导数和导数、几何应用这两个方面上的应用.

第一章 隐函数
1.1 隐函数
函数（对应关系）大多是用自变量的数学表达式来表示的，通常称这样的函数为显函数. 例如，=.
定义1.1 如果方程f(x,y)=0能确定y是x的函数，那么称这种方式表示的函数是隐函数
例如，能确定一个定义在（-∞，-1）∪（-1，+∞）上的隐函数y=f(x),如果从方程中把y解出，这个函数也可以用表示为隐函数形式
不是所有的隐函数都能写成的形式，如，所以隐函数不一定是函数，而是方程. 换句话说，方程不一定是函数，但函数都是方程。
1.2 隐函数组的概念
定义1.2
设有方程组
其中为定义在上的4元函数，若存在平面区域D，，对于D中每一点（x,y)，有唯一的,使得，且满足方程组，则称由方程组确定了隐函数组

并在D上成立恒等式

第二章 隐函数定理
2.1隐函数定理
定理2.1 定理2. 1 若函数满足下列条件
(1)F在以内点的某一区域上连续，
(2) (通常成为初始条件）
(3) F在内存在连续的偏导数
(4)
则有下列结论成立：
①在区间内连续；
②存在点的某领域 在 . 上方程 唯一地决定了一个定义在某区间 上的（隐）函数 使得当 时， 且
证 先证明隐函数f的存在性与惟一性.
∵，∴是连续的，
∵我们知道的连续性与局部保号性，
且闭矩形域

有

∴，对任意的，在上严格单调增加.
∵，∴可得

又由于在上是连续的，∴存在，使得

∴对每一个固定的，在上都是单调递增的连续函数，

∵零点存在定理，存在惟一的，使得. 因此由与的对应关系就确定了一个函数，其定义域为，值域包含于，记为：

从而结论①得以证明.
再证明的连续性.
对于 上的任意点 ,则由上述结论可知 任给 且 足够小，使得
由及 关于严格递增，可得 ，根据保号性，知存在的某领域 ，使得当 时同样有
因为存在唯一的，使得 , 即这就证明了当 时, ，即在连续，由 得任意性，可得 在 上连续
最后证明隐函数的可微性.
任取和都属于，它们相对应的隐函数值为和，那么

由多元函数微分中值定理，可得

在这里， . 因此，当充分小时
.
因为和是连续的，取极限可得

且在内连续.
相应的，我们能够得出由方程所确定的元隐函数的存在定理：
定理2.2如果f(x)满足下列几个条件
(1)；
(2)在点的一个邻域内,函数连续；
(3) ，
那么则有以下结论成立：
①在邻域内连续；
②在邻域内具有连续的偏导数，满足
.
例2. 1 验证方程在原点的某邻域内确定唯一的连续函数.
证明 由于与都在上连续，当然在点的邻域内连续，且
由此可知方程在点的某邻域内确定唯一连续的隐函数.
例2.2

2.2隐函数组定理
定理2.3 设以及它们的一阶偏导数在以点为内点的某区域内连续，且满足
(1)
(2)
则在的某邻域内唯一确定两个隐函数，，结论如下：
①，则有

②在邻域内具有连续的一阶偏导数，且

例2. 2 验证方程组在点的邻域内确定隐函数组，并求，.
解 令 ，
则：

与以及它们的一阶偏导数都连续
且，
所以由隐函数组定理可知题设方程组确定隐函数组
在方程两端同时对求导得
解得，

2.3反函数组定理
定理2. 4若函数组满足如下条件：
(1)均具有连续的偏导数
(2)
则函数组可确定唯一的具有连续偏导数的反函数组

且有
，，，
及 或
定理2. 5 若函数组满足如下条件：
(1)均具有连续的偏导数
(2)
则此函数组可确定唯一的具有连续偏导数的反函数组

且有
例：设平面上点P的直角坐标与极坐标之间的坐标变换公式为
求反函数组
解：由于
∴反函数组是，

第三章 隐函数定理的应用
3.1计算导数和偏导数
3.1.1隐函数的导数 例 求由方程所确定的函数的导数¢.
解 将方程两端对求导数，
由于方程中的是的函数，从而是的复合函数。
于是

得     
3.1.2对数求导法
例3. 3 求函数 的导数
解：等号两端绝对值的对数，有

由隐函数的求导法则，有

即

3.1.3由参数方程所确定的函数的导数
由参数方程确定了是的函数，则称这个函数为有参数方程所确定的函数，其中为参数．
参数方程所确定的函数求导法：
设函数的单调连续的反函数为，而且能与函数复合成复合函数，由此所确定的函数可以当做是与复合而成的函数，如果，都是可导函数，且，则：
；；
即

若都二阶可导，则有：

例3.4　已知抛物体的运动轨迹的参数方程为求抛物体在此时刻的运动速度的大小和方向.
解 水平方向：因为速度的水平分量为，垂直分量为，所以抛物体运动速度为

速度方向：轨道的切线方向，设是切线的倾角，则
所以抛物体刚射出（即）时

当时

由此证明，此时运动方向是水平的，抛物体已经达到最高点.
3.2几何应用
3.2.1空间曲线的切线与法平面
1. 设空间曲线C的参数方程是
（区间）
（1）切线方程是

（2）切线法平面的方程是

或
例1. 求螺旋线处的切线方程与法线方程.
解： 切线方程是

即
法线方程是

（2） 设空间曲线的方程为 . 当 空间曲线点附近可表示成参量方程如下： ，，，且
在处的法平面方程
切线方程为
例2　求球面与锥面所截出的曲线在点(3,4,5)处的切线与法平面方程。
　　 解：设
在点(3,4,5)处的雅可比行列式和偏导数的值为： ，，
且
∴切线方程： 法平面方程：

3.2.2曲面的切平面与法线
1. 设曲面为S，S上的任意点的切平面方程是　　

即切平面的法向量是n.于是，法线方程是

例3. 求曲面上在点的切平面方程与法线方程.
解：

于是，曲面在点的切平面方程与法线方程分别是

与
或
例4　求椭圆面在(1,1,1)处的切平面方程与法线方程。
解：设 因为在整个空间上处于连续状态.在处.
切平面方程为 得，
法线方程为

结 论
文章主要从隐函数的概念、隐函数定理、隐函数在计算导数和偏导数以及几何方面的应用入手，其中着重介绍了隐函数的在计算导数和偏导数，几何方面两大板块。在撰写论文的时候，也遇到了很多难点，例如如何能够将理论知识具体、深刻、形象的运用到实际问题中。
本文介绍并证明了隐函数连续性定理、可微性定理及存在性定理。通过这些定理，我们得出了反函数定理。通过隐函数，导数的计算变的更加快捷简便，本文通过列举了一系列的例子对此进行了有效的验证。此外隐函数求导数在空间几何等方面也有着一定的用途。例如计算空间曲线的切线与法平面和空间曲面的切平面与法线
参考文献
[1]华东师范大学数学系.数学分析（第四版）[M].高等教育出版社,2010.
[2] 杜继宏，隐函数存在的充分必要条件[J]. 清华大学学报(自然科学版)，1999,39 (1),75-78.
[3] 陈传璋, 金福临. 数学分析[M]. 上海: 上海科学技术出版社, 1962:201-204.
[4] 吉米多维奇(苏)，数学分析习题全解(五) [M].安徽人民出版社，2007:152-156.
[5] 张骞，隐函数求导法在导数计算中的作用[J].陇东学院学报，2004，14 (2),14-16.
[6] 倪敬能，关于隐函数求导问题的归纳与总结[J].巢湖学院学报(自然科学版)，2002，,4 (3),3-5.
[7] 陆全，隐函数求导在曲线、曲面设计中的应用[J].高等教学研究报，2005， 8 (2)，54-55.
[8] 胡华，隐函数定理的一个推广及应用[J].广西民族学院学报(自然科学版)，2000，6 (2)，2-5.

致 谢
通过半年的努力，终于将毕业论文顺利完成，在此过程中，我衷心的感谢的马圣容老师，感谢您这段时间的悉心指导，没有您的指导，我不可能顺利完成毕业论文的撰写。
除此之外，我还要感谢跟我共同度过大学四年的老师、同学、朋友，是你们让我从一个什么都不懂的高中生，慢慢的成长起来，对未来充满了憧憬。感谢你们对我一直以来的帮助与关怀！
最后由衷的感谢各位评委、专家，谢谢您们提成的宝贵意见！
1. 基于C8051F单片机直流电动机反馈控制系统的设计与研究
2. 基于单片机的嵌入式Web服务器的研究
3. MOTOROLA单片机MC68HC（8）05PV8/A内嵌EEPROM的工艺和制程方法及对良率的影响研究
4. 基于模糊控制的电阻钎焊单片机温度控制系统的研制
5. 基于MCS-51系列单片机的通用控制模块的研究
6. 基于单片机实现的供暖系统最佳启停自校正（STR）调节器
7. 单片机控制的二级倒立摆系统的研究
8. 基于增强型51系列单片机的TCP/IP协议栈的实现
9. 基于单片机的蓄电池自动监测系统
10. 基于32位嵌入式单片机系统的图像采集与处理技术的研究
11. 基于单片机的作物营养诊断专家系统的研究
12. 基于单片机的交流伺服电机运动控制系统研究与开发
13. 基于单片机的泵管内壁硬度测试仪的研制
14. 基于单片机的自动找平控制系统研究
15. 基于C8051F040单片机的嵌入式系统开发
16. 基于单片机的液压动力系统状态监测仪开发
17. 模糊Smith智能控制方法的研究及其单片机实现
18. 一种基于单片机的轴快流CO〈,2〉激光器的手持控制面板的研制
19. 基于双单片机冲床数控系统的研究
20. 基于CYGNAL单片机的在线间歇式浊度仪的研制
21. 基于单片机的喷油泵试验台控制器的研制
22. 基于单片机的软起动器的研究和设计
23. 基于单片机控制的高速快走丝电火花线切割机床短循环走丝方式研究
24. 基于单片机的机电产品控制系统开发
25. 基于PIC单片机的智能手机充电器
26. 基于单片机的实时内核设计及其应用研究
27. 基于单片机的远程抄表系统的设计与研究
28. 基于单片机的烟气二氧化硫浓度检测仪的研制
29. 基于微型光谱仪的单片机系统
30. 单片机系统软件构件开发的技术研究
31. 基于单片机的液体点滴速度自动检测仪的研制
32. 基于单片机系统的多功能温度测量仪的研制
33. 基于PIC单片机的电能采集终端的设计和应用
34. 基于单片机的光纤光栅解调仪的研制
35. 气压式线性摩擦焊机单片机控制系统的研制
36. 基于单片机的数字磁通门传感器
37. 基于单片机的旋转变压器-数字转换器的研究
38. 基于单片机的光纤Bragg光栅解调系统的研究
39. 单片机控制的便携式多功能乳腺治疗仪的研制
40. 基于C8051F020单片机的多生理信号检测仪
41. 基于单片机的电机运动控制系统设计
42. Pico专用单片机核的可测性设计研究
43. 基于MCS-51单片机的热量计
44. 基于双单片机的智能遥测微型气象站
45. MCS-51单片机构建机器人的实践研究
46. 基于单片机的轮轨力检测
47. 基于单片机的GPS定位仪的研究与实现
48. 基于单片机的电液伺服控制系统
49. 用于单片机系统的MMC卡文件系统研制
50. 基于单片机的时控和计数系统性能优化的研究
51. 基于单片机和CPLD的粗光栅位移测量系统研究
52. 单片机控制的后备式方波UPS
53. 提升高职学生单片机应用能力的探究
54. 基于单片机控制的自动低频减载装置研究
55. 基于单片机控制的水下焊接电源的研究
56. 基于单片机的多通道数据采集系统
57. 基于uPSD3234单片机的氚表面污染测量仪的研制
58. 基于单片机的红外测油仪的研究
59. 96系列单片机仿真器研究与设计
60. 基于单片机的单晶金刚石刀具刃磨设备的数控改造
61. 基于单片机的温度智能控制系统的设计与实现
62. 基于MSP430单片机的电梯门机控制器的研制
63. 基于单片机的气体测漏仪的研究
64. 基于三菱M16C/6N系列单片机的CAN/USB协议转换器
65. 基于单片机和DSP的变压器油色谱在线监测技术研究
66. 基于单片机的膛壁温度报警系统设计
67. 基于AVR单片机的低压无功补偿控制器的设计
68. 基于单片机船舶电力推进电机监测系统
69. 基于单片机网络的振动信号的采集系统
70. 基于单片机的大容量数据存储技术的应用研究
71. 基于单片机的叠图机研究与教学方法实践
72. 基于单片机嵌入式Web服务器技术的研究及实现
73. 基于AT89S52单片机的通用数据采集系统
74. 基于单片机的多道脉冲幅度分析仪研究
75. 机器人旋转电弧传感角焊缝跟踪单片机控制系统
76. 基于单片机的控制系统在PLC虚拟教学实验中的应用研究
77. 基于单片机系统的网络通信研究与应用
78. 基于PIC16F877单片机的莫尔斯码自动译码系统设计与研究
79. 基于单片机的模糊控制器在工业电阻炉上的应用研究
80. 基于双单片机冲床数控系统的研究与开发
81. 基于Cygnal单片机的μC/OS-Ⅱ的研究
82. 基于单片机的一体化智能差示扫描量热仪系统研究
83. 基于TCP/IP协议的单片机与Internet互联的研究与实现
84. 变频调速液压电梯单片机控制器的研究
85. 基于单片机γ-免疫计数器自动换样功能的研究与实现
86. 基于单片机的倒立摆控制系统设计与实现
87. 单片机嵌入式以太网防盗报警系统
88. 基于51单片机的嵌入式Internet系统的设计与实现
89. 单片机监测系统在挤压机上的应用
90. MSP430单片机在智能水表系统上的研究与应用
91. 基于单片机的嵌入式系统中TCP/IP协议栈的实现与应用
92. 单片机在高楼恒压供水系统中的应用
93. 基于ATmega16单片机的流量控制器的开发
94. 基于MSP430单片机的远程抄表系统及智能网络水表的设计
95. 基于MSP430单片机具有数据存储与回放功能的嵌入式电子血压计的设计
96. 基于单片机的氨分解率检测系统的研究与开发
97. 锅炉的单片机控制系统
98. 基于单片机控制的电磁振动式播种控制系统的设计
99. 基于单片机技术的WDR-01型聚氨酯导热系数测试仪的研制
100. 一种RISC结构8位单片机的设计与实现
101. 基于单片机的公寓用电智能管理系统设计
102. 基于单片机的温度测控系统在温室大棚中的设计与实现
103. 基于MSP430单片机的数字化超声电源的研制
104. 基于ADμC841单片机的防爆软起动综合控制器的研究
105. 基于单片机控制的井下低爆综合保护系统的设计
106. 基于单片机的空调器故障诊断系统的设计研究
107. 单片机实现的寻呼机编码器
108. 单片机实现的鲁棒MRACS及其在液压系统中的应用研究
109. 自适应控制的单片机实现方法及基上隅角瓦斯积聚处理中的应用研究
110. 基于单片机的锅炉智能控制器的设计与研究
111. 超精密机床床身隔振的单片机主动控制
112. PIC单片机在空调中的应用
113. 单片机控制力矩加载控制系统的研究
项目论证，项目可行性研究报告，可行性研究报告，项目推广，项目研究报告，项目设计，项目建议书，项目可研报告，本文档支持完整下载，支持任意编辑！选择我们，选择成功！
项目论证，项目可行性研究报告，可行性研究报告，项目推广，项目研究报告，项目设计，项目建议书，项目可研报告，本文档支持完整下载，支持任意编辑！选择我们，选择成功！
单片机论文，毕业设计，毕业论文，单片机设计，硕士论文，研究生论文，单片机研究论文，单片机设计论文，优秀毕业论文，毕业论文设计，毕业过关论文，毕业设计，毕业设计说明，毕业论文，单片机论文，基于单片机论文，毕业论文终稿，毕业论文初稿，本文档支持完整下载，支持任意编辑！本文档全网独一无二，放心使用，下载这篇文档，定会成功！

- 16 -