数学模型第四章 变分法模型.pptVIP

第四章 变分法模型 机动 下页 返回 结束 泛函简介 在许多工程实际问题中，除了需要确定某一函数 y =f(x) 的极 大值和极小值问题以外， 还需要求另一类特殊的量即所谓泛函的 极大值和极小值。 所谓泛函就是函数的函数，这个概念其实并不 陌生。 例如连接平面两点的曲线的弧长 l 就是一个泛函。 设连接 A、B 两点的曲线为 y = y(x) ， 当曲线的方程 y = y(x) 给定时， 在 A、B 间的曲线弧长 l 就确定为 是曲线 y = y(x) 的函数，因而是泛函。 类似地,曲面的面积 是曲面方程 的函数，因而也是泛函。 求泛函的极大值和极小值问题叫做变分问题， (由欧拉创立)。 变分法求泛函的极值简介 1. 最简泛函极值的必要条件 求一曲线 y = y(x) ,使泛函 在满足边界条件 下取得极值。 上式泛函中的被积函数 只涉及到一个未知函数 y(x) 及其一阶导数 y(x) , 因而是泛函极值中最为简单的情形， 故称之为最简泛函。 泛函 v[ y(x)] 在曲线 y = y(x) 取得极值的必要条件是， 函数 y= y(x) 满足欧拉方程 欧拉方程是二阶常微分方程,一般没有有限解， 以下五种简单 的特殊情况,可确定是否有解。 有解时,它的通解中含的两个任意 由边界条件 来确定。 下面对这五种简单特殊情况做一一讨论。 常数C1,C2 机动 上页 下页 返回 结束 变分法求泛函的极值简介 （1）泛函中的被积函数 F 不依赖于 y 这样 欧拉方程 欧拉方程变为 不是微分方程 这是一条曲线,令为C: 若C过点 则极值曲线 y = y(x) 存在。 若C不过点 则极值曲线 y = y(x) 不存在。 和 或 （2）泛函中的被积函数 F 线性地依赖于 y 泛函 欧拉方程变为 这样 不是微分方程 跟(1)类似,若 则泛函 与路径无关， 变分（泛函的极值）失去意义。 机动 上页 下页 返回 结束 机动 上页 下页 返回 结束 欧拉方程 泛函 （3）泛函中的被积函数 F只依赖于 y ，不含x 和 y 由于 欧拉方程变为 得 或 由 得 由 得 其中Ci 由边界条件 确定 (直线)。 例1. 求连接平面上、两定点距离为最短的曲线。 解. 设连接 A,B 两点的曲线为 y = y(x) , ∵弧微分 则弧长 是曲线 y = y(x) 的泛函。 只是 y 的函数， 由(3) 知极值曲线为 其中C1,C2 由过两个端点 确定。 这就从理论上证明了,连接两定点的距离最短的曲线是直线。 平面几何中的公理 直线 机动 上页 下页 返回 结束 欧拉方程 泛函 （4）泛函中的被积函数 F 只依赖于 x 和 y ，不含 y 这样 欧拉方程变为 积分后变为 这是一阶微分方程. 有以下两种解法: ① 直接由 解出 然后积分得通解 ② 用适当方式引入参数求解， 此时得极值曲线的参数形式 (极值曲线) 机动 上页 下页 返回 结束 欧拉方程 泛函 （5）泛函中的被积函数 F 只依赖于 y 和 y ，不含x 这样 欧拉方程变为 降阶后积分得 这是一阶微分方程. 有以下两种解法: ① 直接由 解出 然后积分得通解 (极值曲线) ② 用适当方式引入参数求解， 此时得极值曲线的参数形式 依赖于多个函数和依赖于较高阶导数的泛函的极值的情形略. 下面介绍用变分法求泛函极值的模型。 §1 最速降线模型 1696年,约翰·伯努利在《教师报》上发表了一封公开信, 机动 上页 下页 返回 结束 呼吁 全世界的数学家来解决当时的一个难题——最速降线问题, 并向 当时全世界最精明的数学家挑战。 此信的发表哄动了欧洲，引起 了数学家们极大的兴趣, 许多有名的数学家纷纷参与这一竞争。 最速降线问题被牛顿、莱布尼兹和伯努利兄弟二人分别所解决, 该问题的解决应用了新的思想方法,由此而产生了一门应用极为 广泛的新学科——变分法。 问题：设 A,B为一铅直平面上不在一铅直线上的两点， 试确定 一条连接 A,B两定点的曲线， 使质点在这曲线上由A滑至 B点所用时间最短 (空气阻力和介质的摩擦力忽略不计)。 机动 上页 下页 返回 结束 ,由于分力所致,运动的速度是比较慢的。 如果取一条由A为起点, 下降得较为陡峻的曲线时， 虽然路径加长了， 但由于分力变大， 质点将