百度360必应搜狗淘宝本站头条
当前位置:网站首页 > 技术资源 > 正文

[高等数学]笔记: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上的...