利用离散序列的差分运算寻找序列的下降沿、上升沿、极大值(波峰)、极小值(波谷)的原理

本文主要是介绍利用离散序列的差分运算寻找序列的下降沿、上升沿、极大值(波峰)、极小值(波谷)的原理,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

我们先来看一看对于连续函数,我们通常是怎么求其极值的。
通常我们用函数极值的第一充分条件和第二充分条件来求函数的极值。
函数极值的第一充分条件和第二充分条件的内容如下:
(懒得自己写了,直接把高等数学书上的内容截图发上来吧,大家将就看吧!)
在这里插入图片描述
在这里插入图片描述
在实际工程中,我们用得最多的是第二充分条件。

说完了连续函数求极值点,自然该说离散序列怎么找极值点了,即我们常说的寻找离散序列的波峰、波谷。

为了说明这个问题,首先我们要知道“离散序列差分运算”的概念。
设有序列 . . . , f ( k − 2 ) , f ( k − 1 ) , f ( k ) , f ( k + 1 ) , f ( k + 2 ) , . . . ...,f(k-2),f(k-1),f(k),f(k+1),f(k+2),... ...,f(k2),f(k1),f(k),f(k+1),f(k+2),...
则这个序列第k点的:
一阶前向差分定义为: △ f ( k ) = f ( k + 1 ) − f ( k ) \bigtriangleup f(k)=f(k+1)-f(k) f(k)=f(k+1)f(k)
一阶后向差分定义为: ▽ f ( k ) = f ( k ) − f ( k − 1 ) \bigtriangledown f(k)=f(k)-f(k-1) f(k)=f(k)f(k1)
从上面的定义来看,前向差分和后向差分其实没有本质上的区别,所以它们的性质也相同。
序列f(k)的二阶差分是对其一阶差分的差分,即:
△ 2 f ( k ) = △ [ △ f ( k ) ] = △ [ f ( k + 1 ) − f ( k ) ] = △ f ( k + 1 ) − △ f ( k ) \bigtriangleup ^{2} f(k)=\bigtriangleup [\bigtriangleup f(k)]=\bigtriangleup [f(k+1)-f(k)]=\bigtriangleup f(k+1)-\bigtriangleup f(k) 2f(k)=[f(k)]=[f(k+1)f(k)]=f(k+1)f(k)
      = f ( k + 2 ) − 2 f ( k + 1 ) + f ( k ) =f(k+2)-2f(k+1)+f(k) =f(k+2)2f(k+1)+f(k)

用通俗的话来讲:差分,其实就是下一个数值 ,减去上一个数值 。用下一个数值,减去上一个数值 ,就叫“一阶差分”,对一阶差分的结果再做一次差分,就叫“二阶差分"。

从上面的定义式我们可以看出:
对于序列的前向差分,其最后一个点是没有一阶差分的,其最后两个点是没有二阶差分的。

对于序列的后向差分,其第一个点是没有一阶差分的,其第一个点和第二个点是没有二阶差分的。

那么怎么利用序列的差分运算寻找序列的下降沿、上升沿、极值点(波峰、波谷)呢?
离散序列的差分运算类似于连续函数中的求导运算,所以对比上面连续函数对极值点判定的充分条件,我们可以探索出对离散序列下降沿、上升沿、极值点(波峰、波谷)的找寻方法。具体方法如下:

情况一:寻找下降沿
设离散序列中序号为k的点满足以下条件:
△ f ( k ) = 0 \bigtriangleup f(k)=0 f(k)=0
△ f ( k + 1 ) < 0 \bigtriangleup f(k+1)<0 f(k+1)<0
则序号为k+1的点是一个下降沿。
证明:
因为 △ f ( k ) = 0 \bigtriangleup f(k)=0 f(k)=0,所以有 f ( k + 1 ) − f ( k ) = 0 f(k+1)-f(k)=0 f(k+1)f(k)=0,所以 f ( k + 1 ) = f ( k ) f(k+1)=f(k) f(k+1)=f(k)
又由于 △ f ( k + 1 ) < 0 \bigtriangleup f(k+1)<0 f(k+1)<0
所以 △ f ( k + 1 ) = f ( k + 2 ) − f ( k + 1 ) < 0 \bigtriangleup f(k+1)=f(k+2)-f(k+1)<0 f(k+1)=f(k+2)f(k+1)<0
综上,有 f ( k ) = f ( k + 1 ) > f ( k + 2 ) f(k)=f(k+1)>f(k+2) f(k)=f(k+1)>f(k+2)
所以第k+1个点是一个下降沿的边缘。
此时相关点的位置关系如下图所示:
在这里插入图片描述
情况二:寻找上升沿
设离散序列中序号为k的点满足以下条件:
△ f ( k ) = 0 \bigtriangleup f(k)=0 f(k)=0
△ f ( k + 1 ) > 0 \bigtriangleup f(k+1)>0 f(k+1)>0
则序号为k+1的点是一个上升沿。
证明:
因为 △ f ( k ) = 0 \bigtriangleup f(k)=0 f(k)=0,所以有 f ( k + 1 ) − f ( k ) = 0 f(k+1)-f(k)=0 f(k+1)f(k)=0,所以 f ( k + 1 ) = f ( k ) f(k+1)=f(k) f(k+1)=f(k)
又由于 △ f ( k + 1 ) > 0 \bigtriangleup f(k+1)>0 f(k+1)>0
所以 △ f ( k + 1 ) = f ( k + 2 ) − f ( k + 1 ) > 0 \bigtriangleup f(k+1)=f(k+2)-f(k+1)>0 f(k+1)=f(k+2)f(k+1)>0
综上,有 f ( k ) = f ( k + 1 ) < f ( k + 2 ) f(k)=f(k+1)<f(k+2) f(k)=f(k+1)<f(k+2)
所以第k+1个点是一个上升沿的边缘。
此时相关点的位置关系如下图所示:
在这里插入图片描述

情况三:寻找极大值点
设离散序列中序号为k的点满足以下条件:
△ f ( k − 2 ) > 0 \bigtriangleup f(k-2)>0 f(k2)>0
△ f ( k − 1 ) = 0 \bigtriangleup f(k-1)=0 f(k1)=0
△ f ( k ) = 0 \bigtriangleup f(k)=0 f(k)=0
△ f ( k + 1 ) < 0 \bigtriangleup f(k+1)<0 f(k+1)<0
则序号为k的点是一个极大值点。
证明:略,参考情况一、情况二的证明。
此时相关点的位置关系如下图所示:
在这里插入图片描述
情况四:找寻极小值点
设离散序列中序号为k的点满足以下条件:
△ f ( k − 2 ) < 0 \bigtriangleup f(k-2)<0 f(k2)<0
△ f ( k − 1 ) = 0 \bigtriangleup f(k-1)=0 f(k1)=0
△ f ( k ) = 0 \bigtriangleup f(k)=0 f(k)=0
△ f ( k + 1 ) > 0 \bigtriangleup f(k+1)>0 f(k+1)>0
则序号为k的点是一个极小值点。
证明:略,参考情况一、情况二的证明。
此时相关点的位置关系如下图所示:
在这里插入图片描述
需要说明的两点:
①上面情况三、情况四的条件是充分条件,也就是说不满足上面情况的点也有可能是极大值点,极小值点。比如下面图中的k点,它是一个波峰,但它并不满足上面的判定条件。
在这里插入图片描述
②上面的判断条件中并没有用到前面介绍的二阶差分,那为什么要说二阶差分运算呢?因为刚好说到这个知识点,所以就多说了几句嘛。

下面这个链接是运用序列的差分运算找寻离散序列下降沿的例子:
https://www.hhai.cc/thread-232-1-1.html

这篇关于利用离散序列的差分运算寻找序列的下降沿、上升沿、极大值(波峰)、极小值(波谷)的原理的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/314027

相关文章

Golang HashMap实现原理解析

《GolangHashMap实现原理解析》HashMap是一种基于哈希表实现的键值对存储结构,它通过哈希函数将键映射到数组的索引位置,支持高效的插入、查找和删除操作,:本文主要介绍GolangH... 目录HashMap是一种基于哈希表实现的键值对存储结构,它通过哈希函数将键映射到数组的索引位置,支持

Spring Boot循环依赖原理、解决方案与最佳实践(全解析)

《SpringBoot循环依赖原理、解决方案与最佳实践(全解析)》循环依赖指两个或多个Bean相互直接或间接引用,形成闭环依赖关系,:本文主要介绍SpringBoot循环依赖原理、解决方案与最... 目录一、循环依赖的本质与危害1.1 什么是循环依赖?1.2 核心危害二、Spring的三级缓存机制2.1 三

C#中async await异步关键字用法和异步的底层原理全解析

《C#中asyncawait异步关键字用法和异步的底层原理全解析》:本文主要介绍C#中asyncawait异步关键字用法和异步的底层原理全解析,本文给大家介绍的非常详细,对大家的学习或工作具有一... 目录C#异步编程一、异步编程基础二、异步方法的工作原理三、代码示例四、编译后的底层实现五、总结C#异步编程

Go 语言中的select语句详解及工作原理

《Go语言中的select语句详解及工作原理》在Go语言中,select语句是用于处理多个通道(channel)操作的一种控制结构,它类似于switch语句,本文给大家介绍Go语言中的select语... 目录Go 语言中的 select 是做什么的基本功能语法工作原理示例示例 1:监听多个通道示例 2:带

鸿蒙中@State的原理使用详解(HarmonyOS 5)

《鸿蒙中@State的原理使用详解(HarmonyOS5)》@State是HarmonyOSArkTS框架中用于管理组件状态的核心装饰器,其核心作用是实现数据驱动UI的响应式编程模式,本文给大家介绍... 目录一、@State在鸿蒙中是做什么的?二、@Spythontate的基本原理1. 依赖关系的收集2.

Java编译生成多个.class文件的原理和作用

《Java编译生成多个.class文件的原理和作用》作为一名经验丰富的开发者,在Java项目中执行编译后,可能会发现一个.java源文件有时会产生多个.class文件,从技术实现层面详细剖析这一现象... 目录一、内部类机制与.class文件生成成员内部类(常规内部类)局部内部类(方法内部类)匿名内部类二、

Python中随机休眠技术原理与应用详解

《Python中随机休眠技术原理与应用详解》在编程中,让程序暂停执行特定时间是常见需求,当需要引入不确定性时,随机休眠就成为关键技巧,下面我们就来看看Python中随机休眠技术的具体实现与应用吧... 目录引言一、实现原理与基础方法1.1 核心函数解析1.2 基础实现模板1.3 整数版实现二、典型应用场景2

Java的IO模型、Netty原理解析

《Java的IO模型、Netty原理解析》Java的I/O是以流的方式进行数据输入输出的,Java的类库涉及很多领域的IO内容:标准的输入输出,文件的操作、网络上的数据传输流、字符串流、对象流等,这篇... 目录1.什么是IO2.同步与异步、阻塞与非阻塞3.三种IO模型BIO(blocking I/O)NI

C++从序列容器中删除元素的四种方法

《C++从序列容器中删除元素的四种方法》删除元素的方法在序列容器和关联容器之间是非常不同的,在序列容器中,vector和string是最常用的,但这里也会介绍deque和list以供全面了解,尽管在一... 目录一、简介二、移除给定位置的元素三、移除与某个值相等的元素3.1、序列容器vector、deque

JAVA封装多线程实现的方式及原理

《JAVA封装多线程实现的方式及原理》:本文主要介绍Java中封装多线程的原理和常见方式,通过封装可以简化多线程的使用,提高安全性,并增强代码的可维护性和可扩展性,需要的朋友可以参考下... 目录前言一、封装的目标二、常见的封装方式及原理总结前言在 Java 中,封装多线程的原理主要围绕着将多线程相关的操