当前位置:网站首页>20220701 barbarat lemma proof
20220701 barbarat lemma proof
2022-07-04 08:48:00 【Can you eat spicy food】
(Barbalat lemma )
If differentiable function f ( t ) f(t) f(t), When t → ∞ t \rightarrow \infty t→∞ There is a finite limit , And f ˙ ( t ) \dot{f}(t) f˙(t) Uniformly continuous , So when t → ∞ t \rightarrow \infty t→∞ when , f ˙ ( t ) → 0 \dot{f}(t) \rightarrow 0 f˙(t)→0.
prove ( Reduction to absurdity ):
Suppose that t → ∞ t \rightarrow \infty t→∞ when , f ˙ ( t ) → 0 \dot{f}(t) \rightarrow 0 f˙(t)→0 Don't set up , Then there is an increasing infinite sequence { t n } n ∈ N \{t_n\}_{n\in\mathbb{N}} { tn}n∈N bring (1) When n → ∞ n \rightarrow \infty n→∞ Yes t n → ∞ t_n \rightarrow \infty tn→∞ ;(2) ∣ f ˙ ( t n ) ∣ ⩾ ϵ > 0 |\dot{f}(t_n) | \geqslant \epsilon>0 ∣f˙(tn)∣⩾ϵ>0 For all { t n } \{t_n\} { tn}.
consider f ˙ ( t ) \dot{f}(t) f˙(t) Consistent continuity of , according to ϵ − δ \epsilon-\delta ϵ−δ theory , There is a certain ϵ > 0 \epsilon>0 ϵ>0 , Such that for all n ∈ N n\in\mathbb{N} n∈N and all t ∈ R t \in \mathbb{R} t∈R, When
∣ t n − t ∣ ⩽ δ |t_n -t|\leqslant\delta ∣tn−t∣⩽δ Then there are ∣ f ˙ ( t n ) − f ˙ ( t ) ∣ ≤ ε 2 \left|\dot{f}\left(t_{n}\right)-\dot{f}(t)\right| \leq \frac{\varepsilon}{2} ∣∣∣f˙(tn)−f˙(t)∣∣∣≤2ε
therefore , For all t ∈ [ t n , t n + δ ] t\in[t_n,t_n+\delta] t∈[tn,tn+δ], And all n ∈ N n\in\mathbb{N} n∈N, Yes ∣ f ˙ ( t ) ∣ = ∣ f ˙ ( t n ) − ( f ˙ ( t n ) − f ˙ ( t ) ) ∣ ⩾ ∣ f ˙ ( t n ) ∣ − ∣ f ˙ ( t n ) − f ˙ ( t ) ∣ ⩾ ε − ε 2 = ε 2 \begin{aligned} |\dot{f}(t)| =\left|\dot{f}\left(t_{n}\right)-\left(\dot{f}\left(t_{n}\right)-\dot{f}(t)\right)\right| \geqslant \left|\dot{f}\left(t_{n}\right)\right|-\left|\dot{f}\left(t_{n}\right)-\dot{f}(t)\right| \geqslant \varepsilon-\frac{\varepsilon}{2}=\frac{\varepsilon}{2} \end{aligned} ∣f˙(t)∣=∣∣∣f˙(tn)−(f˙(tn)−f˙(t))∣∣∣⩾∣∣∣f˙(tn)∣∣∣−∣∣∣f˙(tn)−f˙(t)∣∣∣⩾ε−2ε=2ε therefore , For all n ∈ N n\in\mathbb{N} n∈N, Yes ∣ ∫ 0 t n + δ f ˙ ( t ) d t − ∫ 0 t n f ˙ ( t ) d t ∣ = ∣ ∫ t n t n + δ f ˙ ( t ) d t ∣ = ∫ t n t n + δ ∣ f ˙ ( t ) ∣ d t ≥ ε δ 2 > 0 \left|\int_{0}^{t_{n}+\delta} \dot{f}(t) d t-\int_{0}^{t_{n}} \dot{f}(t) d t\right|=\left|\int_{t_{n}}^{t_{n}+\delta} \dot{f}(t) d t\right|=\int_{t_{n}}^{t_{n}+\delta}|\dot{f}(t)| d t \geq \frac{\varepsilon \delta}{2}>0 ∣∣∣∣∣∫0tn+δf˙(t)dt−∫0tnf˙(t)dt∣∣∣∣∣=∣∣∣∣∣∫tntn+δf˙(t)dt∣∣∣∣∣=∫tntn+δ∣f˙(t)∣dt≥2εδ>0
According to the hypothesis , ∫ 0 ∞ f ˙ ( t ) d t < β \int_0^\infty \dot f(t) dt<\beta ∫0∞f˙(t)dt<β There is , therefore , When n → ∞ n\rightarrow \infty n→∞, ∣ ∫ 0 t n + δ f ˙ ( t ) d t − ∫ 0 t n f ˙ ( t ) d t ∣ → 0 \left|\int_{0}^{t_{n}+\delta} \dot{f}(t) d t-\int_{0}^{t_{n}} \dot{f}(t) d t\right| \rightarrow 0 ∣∣∣∣∣∫0tn+δf˙(t)dt−∫0tnf˙(t)dt∣∣∣∣∣→0, Conflict with the above formula , Therefore, the counter evidence method can prove , When t → ∞ t \rightarrow \infty t→∞ when , f ˙ ( t ) → 0 \dot{f}(t) \rightarrow 0 f˙(t)→0.
边栏推荐
- 4 small ways to make your Tiktok video clearer
- Webapi interview question summary 01
- Take you to master the formatter of visual studio code
- awk从入门到入土(5)简单条件匹配
- awk从入门到入土(7)条件语句
- FRP intranet penetration, reverse proxy
- ctfshow web255 web 256 web257
- deno debugger
- NewH3C——ACL
- C, Numerical Recipes in C, solution of linear algebraic equations, Gauss Jordan elimination method, source code
猜你喜欢
DM8 command line installation and database creation
随机事件的关系与运算
Manjaro install wechat
Go zero micro service practical series (IX. ultimate optimization of seckill performance)
FOC control
Live in a dream, only do things you don't say
What exactly is DAAS data as a service? Don't be misled by other DAAS concepts
[error record] no matching function for call to 'cacheflush' cacheflush();)
Question 49: how to quickly determine the impact of IO latency on MySQL performance
How to choose solid state hard disk and mechanical hard disk in computer
随机推荐
Codeforces Round #793 (Div. 2)(A-D)
DM8 tablespace backup and recovery
Newh3c - network address translation (NAT)
Fault analysis | MySQL: unique key constraint failure
awk从入门到入土(11)awk getline函数详解
Three paradigms of database design
Group programming ladder race - exercise set l2-002 linked list de duplication
AI Winter Olympics | is the future coming? Enter the entrance of the meta universe - virtual digital human
Snipaste convenient screenshot software, which can be copied on the screen
2022 examination questions for safety managers of metal and nonmetal mines (underground mines) and examination papers for safety managers of metal and nonmetal mines (underground mines)
NewH3C——ACL
随机事件的关系与运算
Mouse over to change the transparency of web page image
deno debugger
Awk from entry to earth (18) GAW K line manual
Industry depression has the advantages of industry depression
根据数字显示中文汉字
The map set type is stored in the form of key value pairs, and the iterative traversal is faster than the list set
System disk expansion in virtual machine
如何通过antd的upload控件,将图片以文件流的形式发送给服务器