[再寄小读者之数学篇](2014-07-27 $H^{-1}$ 中的有界集与弱收敛极限)

简介: 设 $H^{-1}$ 是 $H^1_0$ 的对偶空间, 定义域为 $[0,1]$. 试证: (1) $\sed{h\sin (2\pi hx);\ h>0}$ 在 $H^{-1}$ 中有界; (2) 试求 $h\sin (2\pi hx)$ 在 $H^{-1}$ 中的弱极限.

设 $H^{-1}$ 是 $H^1_0$ 的对偶空间, 定义域为 $[0,1]$. 试证:

(1) $\sed{h\sin (2\pi hx);\ h>0}$ 在 $H^{-1}$ 中有界;

(2) 试求 $h\sin (2\pi hx)$ 在 $H^{-1}$ 中的弱极限.

 

证明:

(1) 对 $\forall\ f\in H^1_0$, $\sen{f}_{H^1}\leq 1$, $$\beex \bea \sef{h\sin (2\pi hx),f(x)}&=\int_0^1 h\sin (2\pi hx)f(x)\rd x\\ &=-\frac{1}{2\pi} \int_0^1 f(x)\rd \cos(2\pi hx)\\ &=\frac{1}{2\pi} \int_0^1 f'(x)\cos (2\pi hx)\rd x. \eea \eeex$$ 故 $$\bex \sen{h\sin (2\pi hx)}_{H^{-1}}\leq \frac{1}{2\pi}. \eex$$

(2) 由 Riemann-Lebesgue 引理, $$\bex \sef{h\sin (2\pi hx),f(x)} =\frac{1}{2\pi} \int_0^1 f'(x)\cos (2\pi hx)\rd x\to 0\quad\sex{h\to\infty}. \eex$$ 故 $$\bex h\sin (2\pi hx)\rightharpoonup 0,\mbox{ in }H^{-1}. \eex$$

目录
相关文章
|
3天前
|
分布式计算 自然语言处理 知识图谱
形式化定理证明新突破:SubgoalXL框架让大模型在Isabelle中性能暴涨
【10月更文挑战第22天】该方法通过结合子目标导向的证明策略和专家学习,显著提升了大型语言模型(LLMs)在Isabelle环境中的形式化定理证明能力。SubgoalXL优化了数据效率,从有限的证明数据中提取丰富信息,并充分利用Isabelle的子目标管理功能,显著提高了模型的多步骤推理能力。实验结果显示,SubgoalXL在miniF2F数据集上取得了56.1%的准确率,比之前最佳方法提高了4.9%。这一成果为形式化定理证明领域带来了新的机遇和挑战。
11 3
|
6月前
|
机器学习/深度学习 人工智能 算法
上升到人生法则的贝叶斯理论
贝叶斯定理在数据分析、机器学习和人工智能等领域有广泛的应用。贝叶斯定理(Bayes' theorem)是一种用于计算条件概率的重要定理,它基于条件概率的定义,描述了在已知某一条件下,另一个条件发生的概率。
|
机器学习/深度学习 人工智能 算法
【机器学习】支持向量机(SVM)——硬间隔+对偶+KKT条件+拉格朗日乘子(理论+图解+公式推导)
【机器学习】支持向量机(SVM)——硬间隔+对偶+KKT条件+拉格朗日乘子(理论+图解+公式推导)
295 0
【机器学习】支持向量机(SVM)——硬间隔+对偶+KKT条件+拉格朗日乘子(理论+图解+公式推导)
|
算法
【计算理论】图灵机 ( 非确定性图灵机 -> 确定性图灵机 | 模仿过程示例 | 算法的数学模型 )
【计算理论】图灵机 ( 非确定性图灵机 -> 确定性图灵机 | 模仿过程示例 | 算法的数学模型 )
339 0
【计算理论】图灵机 ( 非确定性图灵机 -> 确定性图灵机 | 模仿过程示例 | 算法的数学模型 )
|
BI
【运筹学】对偶理论 : 弱对偶性质 ( 弱对偶原理 | 弱对偶性 | 推论 1 | 推论 2 对偶问题的无界性 | 推论 3 )
【运筹学】对偶理论 : 弱对偶性质 ( 弱对偶原理 | 弱对偶性 | 推论 1 | 推论 2 对偶问题的无界性 | 推论 3 )
428 0
【运筹学】对偶理论 : 互补松弛性 ( 定理内容 | 定理证明 )
【运筹学】对偶理论 : 互补松弛性 ( 定理内容 | 定理证明 )
1032 0
【运筹学】对偶理论 : 最优性定理、强对偶性
【运筹学】对偶理论 : 最优性定理、强对偶性
440 0
【计算理论】可判定性 ( 可判定性总结 )
【计算理论】可判定性 ( 可判定性总结 )
231 0
|
自然语言处理 Java C++
计算理论入门 1.1 命题逻辑
1.1 命题逻辑 原文:Foundations of Computation 译者:飞龙 协议:CC BY-NC-SA 4.0 自豪地采用谷歌翻译 一个命题是一个或真或假的陈述。
1006 0