[高等数学]笔记:Jensen不等式证明与MATLAB仿真注意点
moboyou 2025-04-26 18:34 18 浏览
目录
1 琴生不等式证明
2 MATLAB仿真注意点
2.1负数开根号会得复数解
2.2 欧拉法比龙格库塔法更可靠
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
正文
琴生不等式 (Jensen)证明
Jensen不等式有多种,共同点都是凸函数。这里指的是
证明
构造函数
如果能够证明f(x) 在xε(0, +∞) 是单调递减函数.那么原不等式成立。这其实是比原问题更具普遍性的命题。(因为原问题p,q是正整数,而这里x能取任意正实数。原问题是新问题的特例。)有时问题难以证明,跳出原问题证明更普遍的命题反而容易。用求导数方法证明函数单调递减。
因为 ln f(x) ∝ f(x), 而计算 ln f(x) 更容易。因此我们后面就考虑 ln f(x) 。
令
下面就要证明 g(x)是单调递减函数。用求导数法。
//利用ln是上凸函数的性质(另一个Jensen不等式)于是得到
//此处把分母乘积展开比分子多出很多项,因此分式<1, 取对数则<0
得证。
向量的1-范数大于2-范数大于无穷范数。是本定理的实例
其中
MATLAB仿真注意点两条
- 负数开根号会得到复数解
我们解方程一般都是想得到实数解。负数开根号也可以得到实数。例如
但是在Matlab里面,凡是负数开根号,默认的都是复变函数的运算,给出的都是复数根。
例如 -1 的复数表示:
的三个根分别是
Matlab给出的就是第一个复数根0.5000 + 0.8660i
Matlab程序运行窗口:
而我们一般需要实数根。这点一定要注意。我就多次掉坑。特此记录以免遗忘。
怎么让Matlab给出实数根呢?我们知道负数开根号还会得到负数。我们先对绝对值开根号再乘以-1即可.
于是对于任意实数x, Matlab开根号的通用公式是 sign(x)*(abs(x))^(p/q)
其中sign是符号函数,abs是绝对值函数。
MATLAB运行窗口:
- 欧拉法比龙格库塔法更可靠
微分方程的数值解法一般用四阶龙格库塔算法,优点是精度比较高,缺点是程序复杂。欧拉法的精度较低,但是程序简单。
但是!在某些参数剧烈变化的控制算法程序中,用龙格库塔方法会产生与实际方案不符的错误结果,误导开发者。对于滑模控制就一定要用欧拉法。某些自适应控制也应该使用欧拉法。某院士专门研究滑模控制,就曾说过滑模控制仿真应该用欧拉法。
究其原因,滑模控制里面有符号函数,它是可能跳变的。龙格库塔方法每一步长要计算四次函数值,最后加权平均得到每一步长的导数值。之前的四个值都是临时的导数值。函数中如果有符号函数,那么在这四个值中可能反复跳变,计算误差也可能造成错误的跳变。最终加权得到的结果可能是错误的。应该在每个步长符号函数保持不变。剧烈变化的参数也有同样问题。
用欧拉法不存在这个问题。一个步长计算一个导数值没有临时值。欧拉法精度较低的缺点可以用小的步长来弥补。仿真时用步长<0.0001, 0.00001更好。但是步长越小计算时间越长。
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
本账号“星辰博士讲数学”专注大学理工科教育科研和数学思维训练。
如果本文对你有用,请关注作者。欢迎点赞评论转发收藏。
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
相关推荐
- 黄道十二宫杀手密码51年后被破解,来自两位程序员和数学家合作
-
杨净边策发自凹非寺量子位报道|公众号QbitAI黄道十二宫杀手(ZodiacKiller)可能是世界上最知名的高智商连环杀手,52年来从未被抓获。他的事迹已被改编成了多部好莱坞电影。△...
- 深入剖析MediaCodec解码器的基本原理及使用「建议新手收藏」
-
一,MediaCodec工作原理MediaCodec类Android提供的用于访问低层多媒体编/解码器接口,它是Android低层多媒体架构的一部分,通常与MediaExtractor、MediaMu...
- Retrofit WebService 实践
-
前言作为Android开发,平时和后端聊得最多的除了喝酒就是接口。常用语:Restful和WebService,前者现在聊得多,后者以前聊得多。默认含义分别为:Restful:HTTP协议...
- 建议收藏!175部4K UHD版本经典高分电影洗版参考目录(2015之前)
-
本内容来源于@什么值得买APP,观点仅代表作者本人|作者:1L789近两年很多经典高分老电影陆续开始重制成4KUHD版本,虽然我早已将这些电影的BD蓝光版收入,但纠结一番后还是花了不少时间将其全部...
- 2 个月的面试亲身经历告诉大家,如何进入 BAT 等大厂?
-
这篇文章主要是从项目来讲的,所以,从以下几个方面展开。怎么介绍项目?怎么介绍项目难点与亮点?你负责的模块?怎么让面试官满意?怎么介绍项目?我在刚刚开始面试的时候,也遇到了这个问题,也是我第一个思考的问...
- 详解Android官推Kotlin-First的图片加载库
-
前言Coil是一个非常年轻的图片加载库,在2020年10月22日才发布了1.0.0版本,但却受到了Android官方的推广,在AndroidDevelopersBackst...
- webview 渲染机制:硬件加速方式渲染的Android Web
-
webview渲染是什么?webview渲染是用于展现web页面的控件;webview可以内嵌在移动端,实现前端的混合式开发,大多数混合式开发框架都是基于webview模式进行二次开发的w...
- 因为我对Handler的了解,居然直接给我加了5K
-
1Handler是什么?android提供的线程切换工具类。主要的作用是通过handler实现从子线程切换回主线程进行ui刷新操作。1.1为什么Handler能实现线程切换?在创建Handler的...
- 「经典总结」一个View,从无到有会走的三个流程,你知道吗?
-
前言一个View,从无到有会走三个流程,也就是老生常谈的measure,layout,draw三流程我们都知道Android视图是由一层一层构成的层级结构,直白点说,就是父View包含子View而子V...
- 这些垃圾代码是谁写的?哦,原来小丑竟是我自己
-
程序员是最喜欢自嘲、自黑的群体之一,比如他们常常称自己是“码农”、“程序猿”,再比如他们的工作明明是写代码、修Bug,也有人调侃说:“明明我们是修代码、写Bug!”本文整理了一些程序员“修代码、写...
- 手把手教你爬取天堂网1920*1080大图片(批量下载)——理论篇
-
/1前言/平时我们要下载图片,要要一个一个点击下载是不是觉得很麻烦?那有没有更加简便的方法呢?答案是肯定的,这里我们以天堂网为例,批量下载天堂网的图片。/2项目准备工作/首先我们第一步我们要安装...
- 音视频开发需要你懂得 ffmpeg 开源库的编码原理
-
引言音视频开发需要你懂得音视频中一些基本概念,针对编解码而言,我们必须提前懂得编解码器的一些特性,码流的结构,码流中一些重要信息如sps,pps,vps,startcode以及基本的工作原理,...
- 「8年老 Android 开发」最全最新 Android 面试题系列全家桶(带答案)
-
下面跟大家分享的这些面试题都是互联网大厂真实流出的面试内容,每个问题都附带完整详细的答案,不像网上的那些资料三教九流有的甚至还没答案,这些面试题我也是经过日积月累才整理出来的精品资料。这些面试题主要是...
- 手把手教你爬取天堂网1920*1080大图片(批量下载)——实战篇
-
/1前言/上篇文章手把手教你爬取天堂网1920*1080大图片(批量下载)——理论篇我们谈及了天堂网站图片抓取的理论,这篇文章将针对上篇文章的未尽事宜进行完善,完成图片的批量抓取。/2图片网址解...
- PHP 8.1.9 更新发布
-
CLI:修复了内置服务器通过PHP_CLI_server_WORKERS环境变量的潜在溢出。修正了GH-8952(不再可能有意关闭std句柄)。Core:修复了GH-8923的错误(Windows上的...
- 一周热门
- 最近发表
- 标签列表
-
- curseforge官网网址 (16)
- 外键约束 oracle (36)
- oracle的row number (32)
- 唯一索引 oracle (34)
- oracle in 表变量 (28)
- oracle导出dmp导出 (28)
- oracle 数据导出导入 (16)
- oracle两个表 (20)
- oracle 数据库 字符集 (20)
- oracle安装补丁 (19)
- matlab化简多项式 (20)
- 多线程的创建方式 (29)
- 多线程 python (30)
- java多线程并发处理 (32)
- 宏程序代码一览表 (35)
- c++需要学多久 (25)
- c语言编程小知识大全 (17)
- css class选择器用法 (25)
- css样式引入 (30)
- html5和css3新特性 (19)
- css教程文字移动 (33)
- php简单源码 (36)
- php个人中心源码 (25)
- 网站管理平台php源码 (19)
- php小说爬取源码 (23)